@Contract(pure = true)
  public static int min(int @NotNull [] values) {
    int min = Integer.MAX_VALUE;
    for (int value : values) {
      if (value < min) min = value;
    }
    return min;
  }
@Contract(pure = true)
  public static int min(int @NotNull [] values)