!7

p {
  for (S s : keys(gac36k())) pcall-short {
    print(s);
    T3<S> t = ai_tripelize(s);
    if (t != null)
      print("  " + t.a + " -> " + t.b + " -> " + t.c);
  }
}