/**
 * 
 */
package hu.herba.codejam;

import java.io.BufferedReader;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileNotFoundException;
import java.io.FileOutputStream;
import java.io.FileReader;
import java.io.IOException;
import java.io.InputStream;
import java.io.OutputStream;
import java.io.PrintWriter;

/**
 * Base functionality, helper functions for CodeJam problem solver utilities.
 * 
 * @author csorbazoli
 */
public abstract class AbstractCodeJamBase {
    private static final String EXT_OUT = ".out";
    protected static final int STREAM_TYPE = 0;
    protected static final int FILE_TYPE = 1;
    protected static final int READER_TYPE = 2;
    private static final String DEFAULT_INPUT = "test_input";
    private static final String DEFAULT_OUTPUT = "test_output";

    private final File inputFolder;
    private final File outputFolder;

    public AbstractCodeJamBase(String[] args, int type) {
	String inputFolderName = AbstractCodeJamBase.DEFAULT_INPUT;
	String outputFolderName = AbstractCodeJamBase.DEFAULT_OUTPUT;
	if (args.length > 0) {
	    inputFolderName = args[0];
	}
	this.inputFolder = new File(inputFolderName);
	if (!this.inputFolder.exists()) {
	    this.showUsage("Input folder '" + this.inputFolder.getAbsolutePath() + "' not exists!");
	}
	if (args.length > 1) {
	    outputFolderName = args[1];
	}
	this.outputFolder = new File(outputFolderName);
	if (this.outputFolder.exists() && !this.outputFolder.canWrite()) {
	    this.showUsage("Output folder '" + this.outputFolder.getAbsolutePath() + "' not writeable!");
	} else if (!this.outputFolder.exists() && !this.outputFolder.mkdirs()) {
	    this.showUsage("Could not create output folder '" + this.outputFolder.getAbsolutePath() + "'!");
	}
	File[] inputFiles = this.inputFolder.listFiles();
	for (File inputFile : inputFiles) {
	    this.processInputFile(inputFile, type);
	}
    }

    /**
     * @return the inputFolder
     */
    public File getInputFolder() {
	return this.inputFolder;
    }

    /**
     * @return the outputFolder
     */
    public File getOutputFolder() {
	return this.outputFolder;
    }

    /**
     * @param input
     *            input reader
     * @param output
     *            output writer
     * @throws IOException
     *             in case input or output fails
     * @throws IllegalArgumentException
     *             in case the given input is invalid
     */
    @SuppressWarnings("unused")
    protected void process(BufferedReader reader, PrintWriter pw) throws IOException, IllegalArgumentException {
	System.out.println("NEED TO IMPLEMENT (reader/writer)!!!");
	System.exit(-2);
    }

    /**
     * @param input
     *            input file
     * @param output
     *            output file (will be overwritten)
     * @throws IOException
     *             in case input or output fails
     * @throws IllegalArgumentException
     *             in case the given input is invalid
     */
    protected void process(File input, File output) throws IOException, IllegalArgumentException {
	System.out.println("NEED TO IMPLEMENT (file/file)!!!");
	System.exit(-2);
    }

    /**
     * @param input
     *            input stream
     * @param output
     *            output stream
     * @throws IOException
     *             in case input or output fails
     * @throws IllegalArgumentException
     *             in case the given input is invalid
     */
    protected void process(InputStream input, OutputStream output) throws IOException, IllegalArgumentException {
	System.out.println("NEED TO IMPLEMENT (stream/stream)!!!");
	System.exit(-2);
    }

    /**
     * @param type
     * @param input
     * @param output
     */
    private void processInputFile(File input, int type) {
	long starttime = System.currentTimeMillis();
	System.out.println("Processing '" + input.getAbsolutePath() + "'...");
	File output = new File(this.outputFolder, input.getName() + AbstractCodeJamBase.EXT_OUT);
	if (type == AbstractCodeJamBase.STREAM_TYPE) {
	    InputStream is = null;
	    OutputStream os = null;
	    try {
		is = new FileInputStream(input);
		os = new FileOutputStream(output);
		this.process(is, os);
	    } catch (FileNotFoundException e) {
		this.showUsage("FileNotFound: " + e.getLocalizedMessage());
	    } catch (IllegalArgumentException excIA) {
		this.showUsage(excIA.getLocalizedMessage());
	    } catch (Exception exc) {
		System.out.println("Program failed: " + exc.getLocalizedMessage());
		exc.printStackTrace(System.out);
	    } finally {
		if (is != null) {
		    try {
			is.close();
		    } catch (IOException e) {
			System.out.println("Failed to close input: " + e.getLocalizedMessage());
		    }
		}
		if (os != null) {
		    try {
			os.close();
		    } catch (IOException e) {
			System.out.println("Failed to close output: " + e.getLocalizedMessage());
		    }
		}
	    }
	} else if (type == AbstractCodeJamBase.READER_TYPE) {
	    BufferedReader reader = null;
	    PrintWriter pw = null;
	    try {
		reader = new BufferedReader(new FileReader(input));
		pw = new PrintWriter(output);
		this.process(reader, pw);
	    } catch (FileNotFoundException e) {
		this.showUsage("FileNotFound: " + e.getLocalizedMessage());
	    } catch (IllegalArgumentException excIA) {
		this.showUsage(excIA.getLocalizedMessage());
	    } catch (Exception exc) {
		System.out.println("Program failed: " + exc.getLocalizedMessage());
		exc.printStackTrace(System.out);
	    } finally {
		if (reader != null) {
		    try {
			reader.close();
		    } catch (IOException e) {
			System.out.println("Failed to close input: " + e.getLocalizedMessage());
		    }
		}
		if (pw != null) {
		    pw.close();
		}
	    }
	} else if (type == AbstractCodeJamBase.FILE_TYPE) {
	    try {
		this.process(input, output);
	    } catch (IllegalArgumentException excIA) {
		this.showUsage(excIA.getLocalizedMessage());
	    } catch (Exception exc) {
		System.out.println("Program failed: " + exc.getLocalizedMessage());
		exc.printStackTrace(System.out);
	    }
	} else {
	    this.showUsage("Unknown type given: " + type + " (accepted values: 0,1)");
	}
	System.out.println("  READY (" + (System.currentTimeMillis() - starttime) + " ms)");
    }

    /**
     * Read a single number from input
     * 
     * @param reader
     * @param purpose
     *            What is the purpose of given data
     * @return
     * @throws IOException
     * @throws IllegalArgumentException
     */
    protected int readInt(BufferedReader reader, String purpose) throws IOException, IllegalArgumentException {
	int ret = 0;
	String line = reader.readLine();
	if (line == null) {
	    throw new IllegalArgumentException("Invalid input: line is empty, it should be an integer (" + purpose + ")!");
	}
	try {
	    ret = Integer.parseInt(line);
	} catch (NumberFormatException excNF) {
	    throw new IllegalArgumentException("Invalid input: the first line '" + line + "' should be an integer (" + purpose + ")!");
	}
	return ret;
    }

    /**
     * Read array of integers
     * 
     * @param reader
     * @param purpose
     * @return
     */
    protected int[] readIntArray(BufferedReader reader, String purpose) throws IOException {
	int[] ret = null;
	String line = reader.readLine();
	if (line == null) {
	    throw new IllegalArgumentException("Invalid input: line is empty, it should be an integer list (" + purpose + ")!");
	}
	String[] strArr = line.split("\\s");
	int len = strArr.length;
	ret = new int[len];
	for (int i = 0; i < len; i++) {
	    try {
		ret[i] = Integer.parseInt(strArr[i]);
	    } catch (NumberFormatException excNF) {
		throw new IllegalArgumentException("Invalid input: line '" + line + "' should be an integer list (" + purpose + ")!");
	    }
	}
	return ret;
    }

    /**
     * Read array of strings
     * 
     * @param reader
     * @param purpose
     * @return
     */
    protected String[] readStringArray(BufferedReader reader, String purpose) throws IOException {
	String[] ret = null;
	String line = reader.readLine();
	if (line == null) {
	    throw new IllegalArgumentException("Invalid input: line is empty, it should be a string list (" + purpose + ")!");
	}
	ret = line.split("\\s");
	return ret == null ? new String[0] : ret;
    }

    /**
     * Basic usage pattern. Can be overwritten by current implementation
     * 
     * @param message
     *            Short message, describing the problem with given program
     *            arguments
     */
    protected void showUsage(String message) {
	if (message != null) {
	    System.out.println(message);
	}
	System.out.println("Usage:");
	System.out.println("\t" + this.getClass().getName() + " program");
	System.out.println("\tArguments:");
	System.out.println("\t\t<input folder>:\tpath of input folder (default: " + AbstractCodeJamBase.DEFAULT_INPUT + ").");
	System.out.println("\t\t               \tAll files will be processed in the folder");
	System.out.println("\t\t<output folder>:\tpath of output folder (default: " + AbstractCodeJamBase.DEFAULT_OUTPUT + ")");
	System.out.println("\t\t               \tOutput file name will be the same as input");
	System.out.println("\t\t               \tinput with extension '.out'");
	System.exit(-1);
    }
}

import java.io.BufferedReader;
import java.io.File;
import java.io.FileOutputStream;
import java.io.FileReader;
import java.io.PrintWriter;


public class DancingWiththeGooglers {
	
	private static tripletOfScore[] triples;
	
	private static void iniciarEscenario() {
		triples=new tripletOfScore[31];
		triples[0]=new tripletOfScore(0, 0, 0);
		triples[1]=new tripletOfScore(1, 0, 0);
		triples[2]=new tripletOfScore(1,1,0,2,0,0);
		triples[3]=new tripletOfScore(1,1,1,2,1,0);
		triples[4]=new tripletOfScore(2,1,1,2,2,0);
		triples[5]=new tripletOfScore(2,2,1,3,1,1);
		triples[6]=new tripletOfScore(2,2,2,3,2,1);
		triples[7]=new tripletOfScore(3,2,2,3,3,1);
		triples[8]=new tripletOfScore(3,3,2,4,2,2);
		triples[9]=new tripletOfScore(3,3,3,4,3,2);
		triples[10]=new tripletOfScore(4,3,3,4,4,2);
		triples[11]=new tripletOfScore(4,4,3,5,3,3);
		triples[12]=new tripletOfScore(4,4,4,5,4,3);
		triples[13]=new tripletOfScore(5,4,4,5,5,3);
		triples[14]=new tripletOfScore(5,5,4,6,4,4);
		triples[15]=new tripletOfScore(5,5,5,6,5,4);
		triples[16]=new tripletOfScore(6,5,5,6,6,4);
		triples[17]=new tripletOfScore(6,6,5,7,5,5);
		triples[18]=new tripletOfScore(6,6,6,7,6,5);
		triples[19]=new tripletOfScore(7,6,6,7,7,5);
		triples[20]=new tripletOfScore(7,7,6,8,6,6);
		triples[21]=new tripletOfScore(7,7,7,8,7,6);
		triples[22]=new tripletOfScore(8,7,7,8,8,6);
		triples[23]=new tripletOfScore(8,8,7,9,7,7);
		triples[24]=new tripletOfScore(8,8,8,9,8,7);
		triples[25]=new tripletOfScore(9,8,8,9,9,7);
		triples[26]=new tripletOfScore(9,9,8,10,8,8);
		triples[27]=new tripletOfScore(9,9,9,10,9,8);
		triples[28]=new tripletOfScore(10,9,9,10,10,8);
		triples[29]=new tripletOfScore(10,10,9);
		triples[30]=new tripletOfScore(10,10,10);
		
	}
	public static void main(String[] args) {

		iniciarEscenario();
		try {
			FileOutputStream fos=new FileOutputStream(new File("data/outB.txt"));
			BufferedReader br=new BufferedReader(new FileReader("data/B-large.in"));
			PrintWriter pw=new PrintWriter(fos);
			
			String a=br.readLine();
			System.out.println("Ignore"+a);
			int contadorCasos=1;
			
			while((a=br.readLine())!=null)
			{
				String parte[]=a.split(" ");
				int googlers=Integer.parseInt(parte[0]);
				int sps=Integer.parseInt(parte[1]);
				int numeroMayor=Integer.parseInt(parte[2]);
				int contador=0;
				
				for(int i=0;i<googlers;i++){
					int puntajeActual=Integer.parseInt(parte[3+i]);
					tripletOfScore temporal=triples[puntajeActual];
					
					if(temporal.existeAlgunValorMayorPrimero(numeroMayor)){
						contador++;
					}
					else{
						if(sps>0)
						{
							if(temporal.existeAlgunValorMayorSegundo(numeroMayor))
							{
								contador++;
								sps--;
							}
						}
					}
				}
				pw.println("Case #"+contadorCasos+": "+contador);
				contadorCasos++;
			}
			pw.close();
		} catch (Exception e) {e.printStackTrace();}
		}
}

class tripletOfScore{
	private int puntajeUno;
	private int puntajeDos;
	private int puntajeTres;
	private int segundoPuntajeUno;
	private int segundoPuntajeDos;
	private int segundoPuntajeTres;
	private int TIPO;
	
	public tripletOfScore(int a, int b, int c){
		puntajeUno=a;
		puntajeDos=b;
		puntajeTres=c;
		TIPO=1;
	}
	
	public tripletOfScore(int a, int b, int c, int a2, int b2, int c2){
		puntajeUno=a;
		puntajeDos=b;
		puntajeTres=c;
		segundoPuntajeUno=a2;
		segundoPuntajeDos=b2;
		segundoPuntajeTres=c2;
		TIPO=2;
	}

	public int getPuntajeUno() {
		return puntajeUno;
	}

	public int getPuntajeDos() {
		return puntajeDos;
	}

	public int getPuntajeTres() {
		return puntajeTres;
	}

	public int getSegundoPuntajeUno() {
		return segundoPuntajeUno;
	}

	public int getSegundoPuntajeDos() {
		return segundoPuntajeDos;
	}

	public int getSegundoPuntajeTres() {
		return segundoPuntajeTres;
	}
	
	public int getTipo() {
		return TIPO;
	}
	
	public boolean existeAlgunValorMayorPrimero(int num){
		if(puntajeUno>=num||puntajeDos>=num||puntajeTres>=num){
			return true;
		}
		else return false;
	}
	
	public boolean existeAlgunValorMayorSegundo(int num){
		if(TIPO==1){
			return false;
		}
		else{
			if(segundoPuntajeUno>=num||segundoPuntajeDos>=num||segundoPuntajeTres>=num){
				return true;
			}
			else return false;
		}
	}
}
