Justification complexity (max),ELK (374),FAME (189),1800