tests/sav/base_closure9_alt1.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 >B,0
 163  >c,1
 164   >c,2
 165    }c,3
 166    }b,3
 167    }a,3
 168   ]c,2
 169   >b,2
 170    }c,3
 171    }b,3
 172    }a,3
 173   ]b,2
 174   >a,2
 175    }c,3
 176    }b,3
 177    }a,3
 178   ]a,2
 179  ]c,1
 180  >b,1
 181   >c,2
 182    }c,3
 183    }b,3
 184    }a,3
 185   ]c,2
 186   >b,2
 187    }c,3
 188    }b,3
 189    }a,3
 190   ]b,2
 191   >a,2
 192    }c,3
 193    }b,3
 194    }a,3
 195   ]a,2
 196  ]b,1
 197  >a,1
 198   >c,2
 199    }c,3
 200    }b,3
 201    }a,3
 202   ]c,2
 203   >b,2
 204    }c,3
 205    }b,3
 206    }a,3
 207   ]b,2
 208   >a,2
 209    }c,3
 210    }b,3
 211    }a,3
 212   ]a,2
 213  ]a,1
 214 ]B,0
 215 >A,0
 216  >c,1
 217   >c,2
 218    }c,3
 219    }b,3
 220    }a,3
 221   ]c,2
 222   >b,2
 223    }c,3
 224    }b,3
 225    }a,3
 226   ]b,2
 227   >a,2
 228    }c,3
 229    }b,3
 230    }a,3
 231   ]a,2
 232  ]c,1
 233  >b,1
 234   >c,2
 235    }c,3
 236    }b,3
 237    }a,3
 238   ]c,2
 239   >b,2
 240    }c,3
 241    }b,3
 242    }a,3
 243   ]b,2
 244   >a,2
 245    }c,3
 246    }b,3
 247    }a,3
 248   ]a,2
 249  ]b,1
 250  >a,1
 251   >c,2
 252    }c,3
 253    }b,3
 254    }a,3
 255   ]c,2
 256   >b,2
 257    }c,3
 258    }b,3
 259    }a,3
 260   ]b,2
 261   >a,2
 262    }c,3
 263    }b,3
 264    }a,3
 265   ]a,2
 266  ]a,1
 267 ]A,0
 268 2
 269 3