b^ a bitovt r