69552214, 69552218
          };
      System.arraycopy(temp, 0, prob, prob.length - temp.length, temp.length);
    }

    private static int[] chars;

    private static void populateChars1() {
      chars = new int[10002];
      int[] temp =
          new int[] {
            32, 9, 10, 101, 97, 13, 105, 111, 110, 116, 114, 115, 108, 100, 99, 117, 109, 104, 112,

            69552214, 69552218
          };
      System.arraycopy(temp, 0, prob, prob.length - temp.length, temp.length);
    }

    private static int[] chars;

    private static void populateChars1() {
      chars = new int[10002];
      int[] temp =
          new int[] {
            32, 9, 10, 101, 97, 13, 105, 111, 110, 116, 114, 115, 108, 100, 99, 117, 109, 104, 112,