tests/sav/base_closure9_alt2.sav

   1 0
   2 [A,0
   3  [a,1
   4   [a,2
   5    {a,3
   6    {b,3
   7    {c,3
   8   <a,2
   9   [b,2
  10    {a,3
  11    {b,3
  12    {c,3
  13   <b,2
  14   [c,2
  15    {a,3
  16    {b,3
  17    {c,3
  18   <c,2
  19  <a,1
  20  [b,1
  21   [a,2
  22    {a,3
  23    {b,3
  24    {c,3
  25   <a,2
  26   [b,2
  27    {a,3
  28    {b,3
  29    {c,3
  30   <b,2
  31   [c,2
  32    {a,3
  33    {b,3
  34    {c,3
  35   <c,2
  36  <b,1
  37  [c,1
  38   [a,2
  39    {a,3
  40    {b,3
  41    {c,3
  42   <a,2
  43   [b,2
  44    {a,3
  45    {b,3
  46    {c,3
  47   <b,2
  48   [c,2
  49    {a,3
  50    {b,3
  51    {c,3
  52   <c,2
  53  <c,1
  54 <A,0
  55 [B,0
  56  [a,1
  57   [a,2
  58    {a,3
  59    {b,3
  60    {c,3
  61   <a,2
  62   [b,2
  63    {a,3
  64    {b,3
  65    {c,3
  66   <b,2
  67   [c,2
  68    {a,3
  69    {b,3
  70    {c,3
  71   <c,2
  72  <a,1
  73  [b,1
  74   [a,2
  75    {a,3
  76    {b,3
  77    {c,3
  78   <a,2
  79   [b,2
  80    {a,3
  81    {b,3
  82    {c,3
  83   <b,2
  84   [c,2
  85    {a,3
  86    {b,3
  87    {c,3
  88   <c,2
  89  <b,1
  90  [c,1
  91   [a,2
  92    {a,3
  93    {b,3
  94    {c,3
  95   <a,2
  96   [b,2
  97    {a,3
  98    {b,3
  99    {c,3
 100   <b,2
 101   [c,2
 102    {a,3
 103    {b,3
 104    {c,3
 105   <c,2
 106  <c,1
 107 <B,0
 108 [C,0
 109  [a,1
 110   [a,2
 111    {a,3
 112    {b,3
 113    {c,3
 114   <a,2
 115   [b,2
 116    {a,3
 117    {b,3
 118    {c,3
 119   <b,2
 120   [c,2
 121    {a,3
 122    {b,3
 123    {c,3
 124   <c,2
 125  <a,1
 126  [b,1
 127   [a,2
 128    {a,3
 129    {b,3
 130    {c,3
 131   <a,2
 132   [b,2
 133    {a,3
 134    {b,3
 135    {c,3
 136   <b,2
 137   [c,2
 138    {a,3
 139    {b,3
 140    {c,3
 141   <c,2
 142  <b,1
 143  [c,1
 144   [a,2
 145    {a,3
 146    {b,3
 147    {c,3
 148   <a,2
 149   [b,2
 150    {a,3
 151    {b,3
 152    {c,3
 153   <b,2
 154   [c,2
 155    {a,3
 156    {b,3
 157    {c,3
 158   <c,2
 159  <c,1
 160 <C,0
 161 1
 162 3