/* package whatever; // don't place package name! */

import java.util.*;
import java.lang.*;
import java.io.*;

/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static int NumArrNK(int n, int k) {
        int out = 1;

        for (int i = 0; i <= k - 1; i++)
            out *= n - i;

        return out;
    }

    public static String ArrByR(int n, int k, int x){
        String s = "ABCDEFGHJKLMNOPQ";
        int[] Dig = new int[n];

        int id, ank;

        String out = "";

        for (int i = 0; i < n; i++)
            Dig[i] = i;

        for (int i = 1; i <= k; i++) {

            ank = NumArrNK(n - i, k - i);  //might be optimized
            id = x / ank;
            x = x % ank;   //prepare for the next round
            out = out + s.charAt(Dig[id]);

            for (int j = id; j < n - i; j++)
                Dig[j] = Dig[j + 1];

        }

        return out;
    }
    
	public static void main (String[] args) throws java.lang.Exception
	{
		int dups = 0;

        for (int i = 0; i < 60; i++) {
            //String s = getS(i, 5, 3);
            String s = ArrByR(5, 3, i);

            System.out.print(i + ": " + s);

            for (int j = 0; j < s.length() - 1; j++) {
                for (int k = j + 1; k < s.length(); k++) {
                    if (s.charAt(k) == s.charAt(j)) {
                        j = s.length();
                        k = j;
                        System.out.print("@dup!");
                        dups++;
                    }
                }
            }
            System.out.println();
        }

        System.out.println("dups: " + dups);
	}
}