Tired of boring office work, Denis decided to open a fast food restaurant.

On the first day he made a portions of dumplings, b portions of cranberry juice and c pancakes with condensed milk.

The peculiarity of Denis's restaurant is the procedure of ordering food. For each visitor Denis himself chooses a set of dishes that this visitor will receive. When doing so, Denis is guided by the following rules:

  * every visitor should receive at least one dish (dumplings, cranberry juice, pancakes with condensed milk are all considered to be dishes); 
  * each visitor should receive no more than one portion of dumplings, no more than one portion of cranberry juice and no more than one pancake with condensed milk; 
  * all visitors should receive different sets of dishes. 



What is the maximum number of visitors Denis can feed?

Input

The first line contains an integer t (1 ≤ t ≤ 500) — the number of test cases to solve.

Each of the remaining t lines contains integers a, b and c (0 ≤ a, b, c ≤ 10) — the number of portions of dumplings, the number of portions of cranberry juice and the number of condensed milk pancakes Denis made.

Output

For each test case print a single integer — the maximum number of visitors Denis can feed.

Example

Input

7
1 2 1
0 0 0
9 1 7
2 2 3
2 3 2
3 2 2
4 4 4


Output

3
0
4
5
5
5
7

Note

In the first test case of the example, Denis can feed the first visitor with dumplings, give the second a portion of cranberry juice, and give the third visitor a portion of cranberry juice and a pancake with a condensed milk.

In the second test case of the example, the restaurant Denis is not very promising: he can serve no customers.

In the third test case of the example, Denise can serve four visitors. The first guest will receive a full lunch of dumplings, a portion of cranberry juice and a pancake with condensed milk. The second visitor will get only dumplings. The third guest will receive a pancake with condensed milk, and the fourth guest will receive a pancake and a portion of dumplings. Please note that Denis hasn't used all of the prepared products, but is unable to serve more visitors.

import java.io.BufferedReader;
import java.io.FileNotFoundException;
import java.io.IOException;
import java.io.InputStreamReader;




public class Easy {
	public static void main(String[] args) {
		try {
			BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
			String linea;
			linea=br.readLine();
			int a;
			int b;
			int c;
			int clientes;
			int limite=Integer.parseInt(linea);
			for(int n=1;n<=limite;n++) {
			    linea=br.readLine();
			    String array[]=linea.split(" ");
			    a=Integer.parseInt(array[0]);
			    b=Integer.parseInt(array[1]);
			    c=Integer.parseInt(array[2]);
			    int aux=0;
			    if(a>b) {
			    	aux=b;
			    	b=a;
			    	a=aux;
			    }
			    if(a>c) {
			    	aux=c;
			    	c=a;
			    	a=aux;
		    	}
			    if(b>c) {
			    	aux=c;
			    	c=b;
			    	b=aux;
			    }
			    clientes=7;
			    if(a>4) {
			    	a=4;
			    }
			    if(b>4) {
			    	b=4;
			    }
			    if(c>4) {
			    	c=4;
			    }
			   
			    clientes=clientes+(a-4); 
			    if(b<2) {
			    	clientes=clientes+(b-2);
			    }
			   
			    if(c<1) {
			    	clientes=clientes+(b-1);;
			    	
			    }
			    if(a==2 && b==2 && c==2) {
			    	clientes=clientes-1;
			    }
			    System.out.println(clientes);
		
			    
			    
			}
			br.close();
		} catch (FileNotFoundException e) {
			// TODO Auto-generated catch block
			e.printStackTrace();
		} catch (IOException e) {
			// TODO Auto-generated catch block
			e.printStackTrace();
		}
	}
	

	

}
