static void webs_toTripleFile(Collection<Web> webs, PrintWriter out) {
  new L<S> names;
  new Map<S, Int> index;
  new StringBuilder buf;
  for (Web web : webs) {
    T3<S> t = ai_webToTriple(web);
    if (t == null) fail("Not tripelizable: " + webToStringShort(web));
    buf.append(
      webs_toTripleFile_indexGet(names, index, t.a) + " " +
      webs_toTripleFile_indexGet(names, index, t.b) + " " +
      webs_toTripleFile_indexGet(names, index, t.c) + "\n");
  }
  out.println(struct(names));
  out.print(buf);
}

static int webs_toTripleFile_indexGet(L<S> names, Map<S, Int> index, S s) {
  int i = index.get(s);
  if (i < 0) {
    i = l(names);
    names.add(i);
  }
  ret i;
}