1  == Counting Bits
 2  
 3  === Counting 1-bits
 4  
 5  include::../proofs/pop.txt[]
 6  
 7  === Parity
 8  
 9  include::../proofs/parity.txt[]
10  
11  include::../proofs/pareven.txt[]
12  
13  include::../proofs/parodd.txt[]
14  
15  === Counting Leading 0s
16  
17  include::../proofs/nlz.txt[]