<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_7kms1avk867e9rb6dvc8nm5clk, 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(L<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);
}