in reply to Re^5: bit-vector > global minimum
in thread bit-vector > global minimum

I saw and looked at that also. It appeared to me that the OP has a special case of this situation.