Justification complexity (sum),ELK (411),FAME (214),20000