346347348349350351352
} else if(rnd.nextDouble() < rprob) { randomset.set((int) Math.floor(rnd.nextDouble() * randomsize), id1); } } return new DoubleMinMax(minhotset.first().getFirst(), maxhotset.first().getFirst()); }