CHECKPOINT-EXTRACTED; EXACT-COUNT VALIDATED