static Map ai_mainIndexMap() {
  ret tripleIndex().mainIndexMap();
}