Replaced primed number array with JSAV solution in 11.5. Bit Vectors for Representing Sets