static void ai_fillTripleIndex() {
  print("Getting triples.");
  time2 {
    L<TripleWeb> triples = localSoftwareMadeTriples();
  }
  long time = lastTiming();
  long us = time*1000/l(triples);
  //print("Got triples in " + time + " ms. Making triple index of " + nTriples(triples) + ".");
  print("Got " + nTriples(triples) + " in " + us + " "+ unicode_micro() + "s per triple. Making triple index.");
  time "Triple index made." {
    ai_replaceTripleIndexWithTriples(triples);
  }
}