1  == Basics
 2  
 3  === Manipulating Rightmost Bits
 4  
 5  include::../proofs/turn_off_rightmost_one.txt[]
 6  include::../proofs/next_with_same_popcnt.txt[]
 7  
 8  === (no proofs in this section)
 9  {nbsp}
10  
11  === (no proofs in this section)
12  {nbsp}
13  
14  === (no proofs in this section)
15  {nbsp}
16  
17  === Average of two integers
18  
19  include::../proofs/average_round_down.txt[]
20  
21  include::../proofs/average_round_up.txt[]