Justification complexity (sum),ELK (669),LETHE (603),20000