vals[i] = new BitVector(fleet.getWordWidth()).set(random.nextLong());
for(int j=36; j<vals[i].length(); j++)
vals[i].set(j, false);
vals[i] = new BitVector(fleet.getWordWidth()).set(random.nextLong());
for(int j=36; j<vals[i].length(); j++)
vals[i].set(j, false);