Create BitwiseEquations.py