static void ai_fillTripleIndex() { print("Getting webs."); time2 { L webs = ai_filterBadWebs(allWebs()); } print("Got webs in " + lastTiming() + " ms. Making triple index of " + nWebs(webs) + "."); time "Triple index made." { ai_replaceTripleIndex(webs); } }