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

public class DancingWithTheGooglers
{
    public DancingWithTheGooglers()
    {
        Scanner inFile = null;
        try
        {
            inFile = new Scanner(new File("inputB.txt"));
        }
        catch(Exception e)
        {
            System.out.println("Problem opening input file. Exiting...");
			System.exit(0);
        }
        int t = inFile.nextInt();
        
        int [] results = new int [t];
        DancingWithTheGooglersMax [] rnc = new DancingWithTheGooglersMax[t];
        
        int i, j;
        int [] scores;
        int s, p;
        for(i = 0; i < t; i++)
        {
            scores = new int [inFile.nextInt()];
            s = inFile.nextInt();
            p = inFile.nextInt();
            for(j = 0; j < scores.length; j++)
                scores[j] = inFile.nextInt();
            
            rnc[i] = new DancingWithTheGooglersMax(i, scores, s, p, results);
            rnc[i].start();
        }
        inFile.close();
        
        boolean done = false;
        
        while(!done)
        {
            done = true;
            for(i = 0; i < t; i++)
                if(rnc[i].isAlive())
                {
                    done = false;
                    break;
                }
        }
        
        PrintWriter outFile = null;
        try
        {
            outFile = new PrintWriter(new File("outputB.txt"));
        }
        catch(Exception e)
        {
            System.out.println("Problem opening output file. Exiting...");
			System.exit(0);
        }
        
        for(i = 0; i < results.length; i++)
            outFile.printf("Case #%d: %d\n", i+1, results[i]);
        outFile.close();
    }
    
    public static void main(String [] args)
    {
        new DancingWithTheGooglers();
    }
    
    private class DancingWithTheGooglersMax extends Thread
    {
        int id;
        int s, p;
        int [] results, scores;
        
        public DancingWithTheGooglersMax(int i, int [] aScores, int aS, int aP,int [] res)
        {
            id = i;
            s = aS;
            p = aP;
            results = res;
            scores = aScores;
        }
        
        public void run()
        {
            int a = 0, b = 0;
            
            if(p == 0)
                results[id] = scores.length;
            else if(p == 1)
            {
                int y;
                y = 3*p - 3;
                
                for(int i = 0; i < scores.length; i++)
                    if(scores[i] > y)
                        a++;
                    else if(scores[i] > 0)
                        b++;
                
                b = Math.min(b, s);
                results[id] = a+b;
            }
            else
            {
                int y, z;
                y = 3*p - 3;
                z = 3*p - 5;
                
                for(int i = 0; i < scores.length; i++)
                    if(scores[i] > y)
                        a++;
                    else if(scores[i] > z)
                        b++;
                
                b = Math.min(b, s);
                results[id] = a+b;
            }
        }
    }
}
package jp.funnything.competition.util;

import java.io.File;
import java.math.BigDecimal;
import java.math.BigInteger;

import org.apache.commons.io.FileUtils;

public class CompetitionIO {
    private final QuestionReader _reader;
    private final AnswerWriter _writer;

    /**
     * Default constructor. Use latest "*.in" as input
     */
    public CompetitionIO() {
        this( null , null , null );
    }

    public CompetitionIO( final File input , final File output ) {
        this( input , output , null );
    }

    public CompetitionIO( File input , File output , final String format ) {
        if ( input == null ) {
            for ( final File file : FileUtils.listFiles( new File( "." ) , new String[] { "in" } , false ) ) {
                if ( input == null || file.lastModified() > input.lastModified() ) {
                    input = file;
                }
            }

            if ( input == null ) {
                throw new RuntimeException( "No *.in found" );
            }
        }

        if ( output == null ) {
            final String inPath = input.getPath();

            if ( !inPath.endsWith( ".in" ) ) {
                throw new IllegalArgumentException();
            }

            output = new File( inPath.replaceFirst( ".in$" , ".out" ) );
        }

        _reader = new QuestionReader( input );
        _writer = new AnswerWriter( output , format );
    }

    public CompetitionIO( final String format ) {
        this( null , null , format );
    }

    public void close() {
        _reader.close();
        _writer.close();
    }

    public String read() {
        return _reader.read();
    }

    public BigDecimal[] readBigDecimals() {
        return _reader.readBigDecimals();
    }

    public BigDecimal[] readBigDecimals( final String separator ) {
        return _reader.readBigDecimals( separator );
    }

    public BigInteger[] readBigInts() {
        return _reader.readBigInts();
    }

    public BigInteger[] readBigInts( final String separator ) {
        return _reader.readBigInts( separator );
    }

    /**
     * Read line as single integer
     */
    public int readInt() {
        return _reader.readInt();
    }

    /**
     * Read line as multiple integer, separated by space
     */
    public int[] readInts() {
        return _reader.readInts();
    }

    /**
     * Read line as multiple integer, separated by 'separator'
     */
    public int[] readInts( final String separator ) {
        return _reader.readInts( separator );
    }

    /**
     * Read line as single integer
     */
    public long readLong() {
        return _reader.readLong();
    }

    /**
     * Read line as multiple integer, separated by space
     */
    public long[] readLongs() {
        return _reader.readLongs();
    }

    /**
     * Read line as multiple integer, separated by 'separator'
     */
    public long[] readLongs( final String separator ) {
        return _reader.readLongs( separator );
    }

    /**
     * Read line as token list, separated by space
     */
    public String[] readTokens() {
        return _reader.readTokens();
    }

    /**
     * Read line as token list, separated by 'separator'
     */
    public String[] readTokens( final String separator ) {
        return _reader.readTokens( separator );
    }

    public void write( final int questionNumber , final Object result ) {
        _writer.write( questionNumber , result );
    }

    public void write( final int questionNumber , final String result ) {
        _writer.write( questionNumber , result );
    }

    public void write( final int questionNumber , final String result , final boolean tee ) {
        _writer.write( questionNumber , result , tee );
    }
}
