<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_tp7icruvvl7hrc84g72sm23pii, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
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));
  for (S s : names) out.println(quoteUnlessIdentifierOrInteger(s));
  out.println();
  out.print(buf);
}

static int webs_toTripleFile_indexGet(L<S> names, Map<S, Int> index, S s) {
  Int i = index.get(s);
  if (i == null) {
    i = l(names);
    names.add(s);
  }
  ret i;
}