This is example F12, used in timing experiments in the Allegro
paper. This family is 12 bits.

To run Allegro type

allegro f12.opt

to run Genehunter type

gh < f12.gh
