Optimizations to be done

Bit slicing

Used on verification algorithm
Write some assembly procedures
Use four registers

Lookup-tables

Two approaches
- Include 0000-values in the table
- Do not include 0000-values in the table