linear boolean width 64 working