Class Set10

ZezeJava/ZezeJavaTest/src/Infinite/CoverHistory.java:208–243

	}

	public static class Set10 implements Job {

		private static void randRemove(PSet1<Integer> set) {
			if (set.isEmpty())
				return;

			var index = getRandom().nextInt(set.size());
			for (var it = set.iterator(); it.hasNext(); /**/) {
				if (index == 0) {
					it.remove();
					break;
				}
				--index;
				it.next();
			}
		}

		@Override
		public void run(BValue value) {
			var set = value.getSet10();
			var forceRemove = set.size() >= 3;
			if (forceRemove) {
				randRemove(set);
			} else {
				switch (getRandom().nextInt(2)) {
				case 0: // insert
					set.add(getRandom().nextInt());
					break;

				case 1: // remove
					randRemove(set);
					break;
				}
			}
		}
	}

	public static class Map11 implements Job {
		@Override