Justification complexity (sum),LETHE (101),FAME (462),20000