static S ai_tripleToString(Triple<S> t) {
  ret t == null ? "" : t.a + " -> " + t.b + " -> " + t.c;
}