static void ai_writeTripleFile(Collection<TripleWeb> triples, OutputStream out) {
  new L<S> names;
  new Map<S, Int> index;
  new ByteArrayOutputStream baos;
  PrintWriter writer = utf8printWriter(baos);
  for (TripleWeb w : triples) {
    S title = null;
    S moreInfo = quote(str(w.globalID())) + " " + quote(unnull(title)) + " " + quote(unnull(w.source())) + " " + (web.unverified() ? "u" : "v") + " " + web.created();
    writer.write(
      ai_writeTripleFile_indexGet(names, index, w.a) + " " +
      ai_writeTripleFile_indexGet(names, index, w.b) + " " +
      ai_writeTripleFile_indexGet(names, index, w.c) + " " + moreInfo + "\n");
  }
  //out.println(struct(names));
  PrintWriter writer2 = utf8printWriter(out);
  for (S s : names)
    writer2.println(quoteUnlessIdentifierOrInteger(s));
  writer2.println();
  baos.writeTo(out);
}

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