Check BitVecAll June 2, 2026 BitVecAny June 2, 2026 BitVecEmpty June 2, 2026 BitVecIsSorted June 2, 2026 BitVecNone June 2, 2026