{"id":"set-membership-over-trial-division","text":"Primality in `is_prime` is checked via O(1) set lookup rather than computed via trial division, because the domain is bounded (0–20) by the problem's input constraint of at most `10^6 < 2^20`","truth_value":"IN","source":"entries/2026/06/06/prime-number-of-set-bits-in-binary-representation-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"set-membership-over-trial-division","truth_value":"IN","reason":"premise"}]}}