CSE MACHINE EXERCISES SOLUTIONS

  Exercise 1

  Control structures:

  <delta,0> = gamma <lambda,1,sum> <lambda,2,n>
  <delta,1> = gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 gamma sum 4
  <delta,2> = <delta,3> <delta,4> beta eq n 0
  <delta,3> = 0
  <delta,4> = <delta,5> <delta,6> beta eq n 1
  <delta,5> = 1
  <delta,6> = / * n + n 1 2

  Sequence of execution in the CSE Machine:

+----+----------------------------------------------------------------------------------------------------+-------------------------------------+-----------------------+
|Step| Control                                                                                            |                               Stack | Environment           |
+----+----------------------------------------------------------------------------------------------------+-------------------------------------+-----------------------+
|   1| e0 gamma <lambda,1,sum> <lambda,2,n>                                                               |                                 e0  | PE                    |
|   2| e0 gamma <lambda,1,sum>                                                                            |                    <lambda,2,n> e0  |                       |
|   3| e0 gamma                                                                                           | <lambda,1,sum,0> <lambda,2,n,0> e0  |                       |
|   4| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 gamma sum 4                            |                              e1 e0  | [<lambda,2,n,0>/sum]  |
|   5| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 gamma sum                              |                            4 e1 e0  |                       |
|   6| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 gamma                                  |             <lambda,2,n,0> 4 e1 e0  |                       |
|   7| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 <delta,3> <delta,4> beta eq n 0     |                           e2 e1 e0  | [4/n]e0               |
|   8| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 <delta,3> <delta,4> beta eq n       |                         0 e2 e1 e0  |                       |
|   9| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 <delta,3> <delta,4> beta eq         |                       4 0 e2 e1 e0  |                       |
|  10| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 <delta,3> <delta,4> beta            |                     false e2 e1 e0  |                       |
|  11| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 <delta,5> <delta,6> beta eq n 1     |                           e2 e1 e0  |                       |
|  12| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 <delta,5> <delta,6> beta eq n       |                         1 e2 e1 e0  |                       |
|  13| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 <delta,5> <delta,6> beta eq         |                       4 1 e2 e1 e0  |                       |
|  14| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 <delta,5> <delta,6> beta            |                     false e2 e1 e0  |                       |
|  15| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 / * n + n 1 2                       |                           e2 e1 e0  |                       |
|  16| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 / * n + n 1                         |                         2 e2 e1 e0  |                       |
|  17| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 / * n + n                           |                       1 2 e2 e1 e0  |                       |
|  18| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 / * n +                             |                     4 1 2 e2 e1 e0  |                       |
|  19| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 / * n                               |                       5 2 e2 e1 e0  |                       |
|  20| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 / *                                 |                     4 5 2 e2 e1 e0  |                       |
|  21| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2 /                                   |                      20 2 e2 e1 e0  |                       |
|  22| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1 e2                                     |                        10 e2 e1 e0  |                       |
|  23| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum 1                                        |                           10 e1 e0  |                       |
|  24| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma sum                                          |                         1 10 e1 e0  |                       |
|  25| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 gamma                                              |          <lambda,n,2,0> 1 10 e1 e0  |                       |
|  26| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 e2 <delta,3> <delta,4> beta eq n 0                 |                        e2 10 e1 e0  | [1/n]e0               |
|  27| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 e2 <delta,3> <delta,4> beta eq n                   |                      0 e2 10 e1 e0  |                       |
|  28| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 e2 <delta,3> <delta,4> beta eq                     |                    1 0 e2 10 e1 e0  |                       |
|  29| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 e2 <delta,3> <delta,4> beta                        |                  false e2 10 e1 e0  |                       |
|  30| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 e2 <delta,5> <delta,6> beta eq n 1                 |                        e2 10 e1 e0  |                       |
|  31| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 e2 <delta,5> <delta,6> beta eq n                   |                      1 e2 10 e1 e0  |                       |
|  32| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 e2 <delta,5> <delta,6> beta eq                     |                    1 1 e2 10 e1 e0  |                       |
|  33| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 e2 <delta,5> <delta,6> beta                        |                   true e2 10 e1 e0  |                       |
|  34| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 e2 1                                               |                        e2 10 e1 e0  |                       |
|  35| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0 e2                                                 |                      1 e2 10 e1 e0  |                       |
|  36| e0 e1 gamma Print tau4 gamma sum 30 gamma sum 0                                                    |                         1 10 e1 e0  |                       |
|  37| e0 e1 gamma Print tau4 gamma sum 30 gamma sum                                                      |                       0 1 10 e1 e0  |                       |
|  38| e0 e1 gamma Print tau4 gamma sum 30 gamma                                                          |        <lambda,n,2,0> 0 1 10 e1 e0  |                       |
|  39| e0 e1 gamma Print tau4 gamma sum 30 e2 <delta,3> <delta,4> beta eq n 0                             |                      e2 1 10 e1 e0  | [0/n]e0               |
|  40| e0 e1 gamma Print tau4 gamma sum 30 e2 <delta,3> <delta,4> beta eq n                               |                    0 e2 1 10 e1 e0  |                       |
|  41| e0 e1 gamma Print tau4 gamma sum 30 e2 <delta,3> <delta,4> beta eq                                 |                  0 0 e2 1 10 e1 e0  |                       |
|  42| e0 e1 gamma Print tau4 gamma sum 30 e2 <delta,3> <delta,4> beta                                    |                 true e2 1 10 e1 e0  |                       |
|  43| e0 e1 gamma Print tau4 gamma sum 30 e2 0                                                           |                      e2 1 10 e1 e0  |                       |
|  44| e0 e1 gamma Print tau4 gamma sum 30 e2                                                             |                    0 e2 1 10 e1 e0  |                       |
|  45| e0 e1 gamma Print tau4 gamma sum 30                                                                |                       0 1 10 e1 e0  |                       |
|  46| e0 e1 gamma Print tau4 gamma sum                                                                   |                    30 0 1 10 e1 e0  |                       |
|  47| e0 e1 gamma Print tau4 gamma                                                                       |     <lambda,n,2,0> 30 0 1 10 e1 e0  |                       |
|  48| e0 e1 gamma Print tau4 <delta,3> <delta,4> beta eq n 0                                             |                       0 1 10 e1 e0  | [30/n]e0              |
|  49| e0 e1 gamma Print tau4 <delta,3> <delta,4> beta eq n                                               |                     0 0 1 10 e1 e0  |                       |
|  50| e0 e1 gamma Print tau4 <delta,3> <delta,4> beta eq                                                 |                  30 0 0 1 10 e1 e0  |                       |
|  51| e0 e1 gamma Print tau4 <delta,3> <delta,4> beta                                                    |                 false 0 1 10 e1 e0  |                       |
|  52| e0 e1 gamma Print tau4 <delta,5> <delta,6> beta eq n 1                                             |                       0 1 10 e1 e0  |                       |
|  53| e0 e1 gamma Print tau4 <delta,5> <delta,6> beta eq n                                               |                     1 0 1 10 e1 e0  |                       |
|  54| e0 e1 gamma Print tau4 <delta,5> <delta,6> beta eq                                                 |                  30 1 0 1 10 e1 e0  |                       |
|  55| e0 e1 gamma Print tau4 <delta,5> <delta,6> beta                                                    |                 false 0 1 10 e1 e0  |                       |
|  56| e0 e1 gamma Print tau4 / * n + n 1 2                                                               |                       0 1 10 e1 e0  |                       |
|  57| e0 e1 gamma Print tau4 / * n + n 1                                                                 |                     2 0 1 10 e1 e0  |                       |
|  57| e0 e1 gamma Print tau4 / * n + n                                                                   |                   1 2 0 1 10 e1 e0  |                       |
|  58| e0 e1 gamma Print tau4 / * n +                                                                     |                30 1 2 0 1 10 e1 e0  |                       |
|  60| e0 e1 gamma Print tau4 / * n                                                                       |                  31 2 0 1 10 e1 e0  |                       |
|  61| e0 e1 gamma Print tau4 / *                                                                         |               30 31 2 0 1 10 e1 e0  |                       |
|  62| e0 e1 gamma Print tau4 /                                                                           |                 930 2 0 1 10 e1 e0  |                       |
|  63| e0 e1 gamma Print tau4                                                                             |                   465 0 1 10 e1 e0  |                       |
|  64| e0 e1 gamma Print                                                                                  |                 (465,0,1,10) e1 e0  |                       |
|  65| e0 e1 gamma                                                                                        |           Print (465,0,1,10) e1 e0  |                       |
|  66| e0 e1                                                                                              |                        dummy e1 e0  |                       |
|  67| e0                                                                                                 |                           dummy e0  |                       |
|  68|                                                                                                    |                              dummy  |                       |
+----+----------------------------------------------------------------------------------------------------+-------------------------------------+-----------------------+






 Exercise 2

 Control structures:

 <delta,0> = gamma <lambda,1,F> <lambda,2,x>
 <delta,1> = gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F "COP-" 55 55 gamma gamma gamma F 3 4 5
 <delta,2> = <lambda,3,y>
 <delta,3> = <lambda,4,z>
 <delta,4> = <delta,5> <delta,6> beta gamma Istuple x
 <delta,5> = aug aug aug nil gamma x y gamma x z gamma x + y * 2 z
 <delta,6> = <delta,7> <delta,8> beta gamma Isstring x
 <delta,7> = gamma gamma Conc gamma gamma Conc x gamma ItoS y gamma ItoS z
 <delta,8> = gamma Print + x + y z


 Sequence of execution in the CSE Machine:

+----+--------------------------------------------------------------------------------------------------------------------------------------------+----------------------------------------------------+---------------------+
|Step| Control                                                                                                                                    |                                              Stack | Environment         |
+----+--------------------------------------------------------------------------------------------------------------------------------------------+----------------------------------------------------+---------------------+
|   1| e0 gamma <lambda,1,F> <lambda,2,x>                                                                                                         |                                                e0  | PE                  |
|   2| e0 gamma <lambda,1,F>                                                                                                                      |                                 <lambda,2,x,0> e0  |                     |
|   3| e0 gamma                                                                                                                                   |                  <lambda,1,F,0> <lambda,2,x,0> e0  |                     |
|   4| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 gamma gamma gamma F 3 4 5                     |                                             e1 e0  |[<lambda,2,x,0>/F]e0 |
|   5| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 gamma gamma gamma F 3 4                       |                                           5 e1 e0  |                     |
|   6| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 gamma gamma gamma F 3                         |                                         4 5 e1 e0  |                     |
|   7| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 gamma gamma gamma F                           |                                       3 4 5 e1 e0  |                     |
|   8| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 gamma gamma gamma                             |                        <lambda,2,x,0> 3 4 5 e1 e0  |                     |
|   9| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 gamma gamma e2 <lambda,3,y>                   |                                      e2 4 5 e1 e0  |[3/x]e0              |
|  10| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 gamma gamma e2                                |                       <lambda,3,y,0> e2 4 5 e1 e0  |                     |
|  11| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 gamma gamma                                   |                          <lambda,3,y,0> 4 5 e1 e0  |                     |
|  12| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 gamma e2 <lambda,z,4>                         |                                        e2 5 e1 e0  |[4/y]e0              |
|  13| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 gamma e2                                      |                           <lambda,z,4> e2 5 e1 e0  |                     |
|  14| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 gamma                                         |                            <lambda,4,z,0> 5 e1 e0  |                     |
|  15| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 <delta,5> <delta,6> beta gamma Istuple x   |                                          e2 e1 e0  |[5/z]e0              |
|  16| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 <delta,5> <delta,6> beta gamma Istuple     |                                        3 e2 e1 e0  |                     |
|  17| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 <delta,5> <delta,6> beta gamma             |                                Istuple 3 e2 e1 e0  |                     |
|  18| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 <delta,5> <delta,6> beta                   |                                    false e2 e1 e0  |                     |
|  19| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 <delta,7> <delta,8> beta gamma Isstring x  |                                          e2 e1 e0  |                     |
|  20| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 <delta,7> <delta,8> beta gamma Isstring    |                                        3 e2 e1 e0  |                     |
|  21| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 <delta,7> <delta,8> beta gamma             |                               Isstring 3 e2 e1 e0  |                     |
|  22| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 <delta,7> <delta,8> beta                   |                                    false e2 e1 e0  |                     |
|  23| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 gamma Print + x + y z                      |                                          e2 e1 e0  |                     |
|  24| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 gamma Print + x + y                        |                                        5 e2 e1 e0  |                     |
|  25| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 gamma Print + x +                          |                                      4 5 e2 e1 e0  |                     |
|  26| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 gamma Print + x                            |                                        9 e2 e1 e0  |                     |
|  27| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 gamma Print +                              |                                      3 9 e2 e1 e0  |                     |
|  28| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 gamma Print                                |                                       12 e2 e1 e0  |                     |
|  29| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2 gamma                                      |                                 Print 12 e2 e1 e0  |                     |
|  30| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55 e2                                            |                                    dummy e2 e1 e0  |                     |
|  31| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55 55                                               |                                       dummy e1 e0  |                     |
|  32| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F 'COP-' 55                                                  |                                    55 dummy e1 e0  |                     |
|  33| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F "COP-"                                                     |                                 55 55 dummy e1 e0  |                     |
|  34| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma F                                                            |                          "COP-" 55 55 dummy e1 e0  |                     |
|  35| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma gamma                                                              |           <lambda,2,x,0> "COP-" 55 55 dummy e1 e0  |                     |
|  36| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma e2 <lambda,y,3>                                                    |                              e2 55 55 dummy e1 e0  |["COP-"/x]e0         |
|  37| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma e2                                                                 |               <lambda,y,3,0> e2 55 55 dummy e1 e0  |                     |
|  38| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma gamma                                                                    |                  <lambda,y,3,0> 55 55 dummy e1 e0  |                     |
|  39| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma e2 <lambda,4,z>                                                          |                                 e2 55 dummy e1 e0  |[55/y]e0             |
|  40| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma e2                                                                       |                  <lambda,z,4,0> e2 55 dummy e1 e0  |                     |
|  41| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 gamma                                                                          |                     <lambda,z,4,0> 55 dummy e1 e0  |                     |
|  42| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 <delta,5> <delta,6> beta gamma Istuple x                                    |                                    e2 dummy e1 e0  |[55/z]               |
|  43| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 <delta,5> <delta,6> beta gamma Istuple                                      |                             "COP-" e2 dummy e1 e0  |                     |
|  44| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 <delta,5> <delta,6> beta gamma                                              |                     Istuple "COP-" e2 dummy e1 e0  |                     |
|  45| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 <delta,5> <delta,6> beta                                                    |                              false e2 dummy e1 e0  |                     |
|  46| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 <delta,7> <delta,8> beta gamma Isstring x                                   |                                    e2 dummy e1 e0  |                     |
|  47| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 <delta,7> <delta,8> beta gamma Isstring                                     |                             "COP-" e2 dummy e1 e0  |                     |
|  48| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 <delta,7> <delta,8> beta gamma                                              |                    Isstring "COP-" e2 dummy e1 e0  |                     |
|  49| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 <delta,7> <delta,8> beta                                                    |                               true e2 dummy e1 e0  |                     |
|  50| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma gamma Conc gamma gamma Conc x gamma ItoS y gamma ItoS z               |                                    e2 dummy e1 e0  |                     |
|  51| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma gamma Conc gamma gamma Conc x gamma ItoS y gamma ItoS                 |                                 55 e2 dummy e1 e0  |                     |
|  52| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma gamma Conc gamma gamma Conc x gamma ItoS y gamma                      |                            ItoS 55 e2 dummy e1 e0  |                     |
|  53| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma gamma Conc gamma gamma Conc x gamma ItoS y                            |                               "55" e2 dummy e1 e0  |                     |
|  54| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma gamma Conc gamma gamma Conc x gamma ItoS                              |                            55 "55" e2 dummy e1 e0  |                     |
|  55| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma gamma Conc gamma gamma Conc x gamma                                   |                       ItoS 55 "55" e2 dummy e1 e0  |                     |
|  56| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma gamma Conc gamma gamma Conc x                                         |                          "55" "55" e2 dummy e1 e0  |                     |
|  57| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma gamma Conc gamma gamma Conc                                           |                   "COP-" "55" "55" e2 dummy e1 e0  |                     |
|  57| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma gamma Conc gamma gamma                                                |              Conc "COP-" "55" "55" e2 dummy e1 e0  |                     |
|  58| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma gamma Conc gamma                                                      |             Conc("COP-") "55" "55" e2 dummy e1 e0  |                     |
|  60| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma gamma Conc                                                            |                      "COP-55" "55" e2 dummy e1 e0  |                     |
|  61| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma gamma                                                                 |                 Conc "COP-55" "55" e2 dummy e1 e0  |                     |
|  62| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2 gamma                                                                       |                Conc("COP-55") "55" e2 dummy e1 e0  |                     |
|  63| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1 e2                                                                             |                         "COP-5555" e2 dummy e1 e0  |                     |
|  64| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2 1                                                                                |                            "COP-5555" dummy e1 e0  |                     |
|  65| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4 2                                                                                  |                          1 "COP-5555" dummy e1 e0  |                     |
|  66| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4 4                                                                                    |                        2 1 "COP-5555" dummy e1 e0  |                     |
|  67| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2 4                                                                                      |                      4 2 1 "COP-5555" dummy e1 e0  |                     |
|  68| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1 2                                                                                        |                    4 4 2 1 "COP-5555" dummy e1 e0  |                     |
|  69| e0 e1 gamma Print tau3 gamma gamma gamma F tau4 1                                                                                          |                  2 4 4 2 1 "COP-5555" dummy e1 e0  |                     |
|  70| e0 e1 gamma Print tau3 gamma gamma gamma F tau4                                                                                            |                1 2 4 4 2 1 "COP-5555" dummy e1 e0  |                     |
|  71| e0 e1 gamma Print tau3 gamma gamma gamma F                                                                                                 |              (1,2,4,4) 2 1 "COP-5555" dummy e1 e0  |                     |
|  72| e0 e1 gamma Print tau3 gamma gamma gamma                                                                                                   |<lambda,x,2,0> (1,2,4,4) 2 1 "COP-5555" dummy e1 e0 |                     |
|  73| e0 e1 gamma Print tau3 gamma gamma e2 <lambda,y,3>                                                                                         |                     e2 2 1 "COP-5555" dummy e1 e0  |[(1,2,4,4)/x]e0      |
|  74| e0 e1 gamma Print tau3 gamma gamma e2                                                                                                      |      <lambda,y,3,0> e2 2 1 "COP-5555" dummy e1 e0  |                     |
|  75| e0 e1 gamma Print tau3 gamma gamma                                                                                                         |        <lambda,y,3,0>  2 1 "COP-5555" dummy e1 e0  |                     |
|  76| e0 e1 gamma Print tau3 gamma e2 <lambda,z,4>                                                                                               |                       e2 1 "COP-5555" dummy e1 e0  |[2/y]e0              |
|  77| e0 e1 gamma Print tau3 gamma e2                                                                                                            |        <lambda,z,4,0> e2 1 "COP-5555" dummy e1 e0  |                     |
|  78| e0 e1 gamma Print tau3 gamma                                                                                                               |           <lambda,z,4,0> 1 "COP-5555" dummy e1 e0  |                     |
|  79| e0 e1 gamma Print tau3 e2 <delta,5> <delta,6> beta gamma Istuple x                                                                         |                         e2 "COP-5555" dummy e1 e0  |[1/z]e0              |
|  80| e0 e1 gamma Print tau3 e2 <delta,5> <delta,6> beta gamma Istuple                                                                           |               (1,2,4,4) e2 "COP-5555" dummy e1 e0  |                     |
|  81| e0 e1 gamma Print tau3 e2 <delta,5> <delta,6> beta gamma                                                                                   |       Istuple (1,2,4,4) e2 "COP-5555" dummy e1 e0  |                     |
|  82| e0 e1 gamma Print tau3 e2 <delta,5> <delta,6> beta                                                                                         |                    true e2 "COP-5555" dummy e1 e0  |                     |
|  83| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma x y gamma x z gamma x + y * 2 z                                                            |                         e2 "COP-5555" dummy e1 e0  |                     |
|  83| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma x y gamma x z gamma x + y * 2                                                              |                       1 e2 "COP-5555" dummy e1 e0  |                     |
|  84| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma x y gamma x z gamma x + y *                                                                |                     2 1 e2 "COP-5555" dummy e1 e0  |                     |
|  85| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma x y gamma x z gamma x + y                                                                  |                       2 e2 "COP-5555" dummy e1 e0  |                     |
|  86| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma x y gamma x z gamma x +                                                                    |                     2 2 e2 "COP-5555" dummy e1 e0  |                     |
|  87| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma x y gamma x z gamma x                                                                      |                       4 e2 "COP-5555" dummy e1 e0  |                     |
|  89| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma x y gamma x z gamma                                                                        |             (1,2,4,4) 4 e2 "COP-5555" dummy e1 e0  |                     |
|  90| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma x y gamma x z                                                                              |                       4 e2 "COP-5555" dummy e1 e0  |                     |
|  91| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma x y gamma x                                                                                |                     1 4 e2 "COP-5555" dummy e1 e0  |                     |
|  92| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma x y gamma                                                                                  |           (1,2,4,4) 1 4 e2 "COP-5555" dummy e1 e0  |                     |
|  93| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma x y                                                                                        |                     1 4 e2 "COP-5555" dummy e1 e0  |                     |
|  94| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma x                                                                                          |                   2 1 4 e2 "COP-5555" dummy e1 e0  |                     |
|  95| e0 e1 gamma Print tau3 e2 aug aug aug nil gamma                                                                                            |         (1,2,4,4) 2 1 4 e2 "COP-5555" dummy e1 e0  |                     |
|  96| e0 e1 gamma Print tau3 e2 aug aug aug nil                                                                                                  |                   2 1 4 e2 "COP-5555" dummy e1 e0  |                     |
|  97| e0 e1 gamma Print tau3 e2 aug aug aug                                                                                                      |               nil 2 1 4 e2 "COP-5555" dummy e1 e0  |                     |
|  98| e0 e1 gamma Print tau3 e2 aug aug                                                                                                          |                 (2) 1 4 e2 "COP-5555" dummy e1 e0  |                     |
|  99| e0 e1 gamma Print tau3 e2 aug                                                                                                              |                 (2 1) 4 e2 "COP-5555" dummy e1 e0  |                     |
| 100| e0 e1 gamma Print tau3 e2                                                                                                                  |                 (2 1 4) e2 "COP-5555" dummy e1 e0  |                     |
| 101| e0 e1 gamma Print tau3                                                                                                                     |                    (2 1 4) "COP-5555" dummy e1 e0  |                     |
| 102| e0 e1 gamma Print                                                                                                                          |                  ((2 1 4),"COP-5555",dummy) e1 e0  |                     |
| 103| e0 e1 gamma                                                                                                                                |            Print ((2 1 4),"COP-5555",dummy) e1 e0  |                     |
| 104| e0 e1                                                                                                                                      |                                       dummy e1 e0  |                     |
| 105| e0                                                                                                                                         |                                          dummy e0  |                     |
| 106|                                                                                                                                            |                                              dummy |                     |
+----+--------------------------------------------------------------------------------------------------------------------------------------------+----------------------------------------------------+---------------------+