No estoy seguro de cómo resolver esto, pero esta es mi conjetura. Ya queremos saber cuántos 12 de cadenas de bits tiene más de 1 a 0, empezar con 5, ya que es uno menos que 12/2=6.
A continuación, se procede con:
$${12 \choose 5} + {12 \choose 4} + {12 \choose 3} + {12 \choose 2}+ {12 \choose 1}+ {12 \choose 0}=1586$$
Es mi razonamiento correcto? No estoy seguro de si debemos usar la función choose aquí, pero creo que vamos a hacer.