Recently, the ACM/ICPC team of Marjar University decided to choose some new members from freshmen to take part in the ACM/ICPC competitions of the next season. As a traditional elite university in ACM/ICPC, there is no doubt that application forms will fill up the mailbox. To constitute some powerful teams, coaches of the ACM/ICPC team decided to use a system to score all applicants, the rules are described as below. Please note that the score of an applicant is measured by pts, which is short for "points".

1. Of course, the number of solved ACM/ICPC problems of a applicant is important. Proudly, Marjar University have a best online judge system called Marjar Online Judge System V2.0, and in short, MOJ. All solved problems in MOJ of a applicant will be scored under these rules:

• (1) The problems in a set, called MaoMao Selection, will be counted as 2.5 pts for a problem.
• (2) The problems from Old Surgeon Contest, will be counted as 1.5 pts for a problem. There is no problem in MaoMao Selection from Old Surgeon Contest.
• (3) Besides the problem from MaoMao Selection and Old Surgeon Contest, if the problem's id is a prime, then it will be counted as 1 pts.
• (4) If a solved problem doesn't meet above three condition, then it will be counted as 0.3 pts.

 

2. Competitions also show the strength of an applicant. Marjar University holds the ACM/ICPC competition of whole school once a year. To get some pts from the competition, an applicant should fulfill rules as below:

• The member of a team will be counted as 36 pts if the team won first prize in the competition.
• The member of a team will be counted as 27 pts if the team won second prize in the competition.
• The member of a team will be counted as 18 pts if the team won third prize in the competition.
• Otherwise, 0 pts will be counted.

 

3. We all know that some websites held problem solving contest regularly, such as JapanJam, ZacaiForces and so on. The registered member of JapanJam will have a rating after each contest held by it. Coaches thinks that the third highest rating in JapanJam of an applicant is good to show his/her ability, so the scoring formula is:

Pts = max(0, (r - 1200) / 100) * 1.5

 

Here r is the third highest rating in JapanJam of an applicant.

4. And most importantly - if the applicant is a girl, then the score will be added by 33 pts.

The system is so complicated that it becomes a huge problem for coaches when calculating the score of all applicants. Please help coaches to choose the best M applicants!

Input

There are multiple test cases.

The first line of input is an integer T (1 ≤ T ≤ 10), indicating the number of test cases.

For each test case, first line contains two integers N (1 ≤ N ≤ 500) - the number of applicants and M (1 ≤ M ≤ N) - the number of members coaches want to choose.

The following line contains an integer R followed by R (0 ≤ R ≤ 500) numbers, indicating the id of R problems in MaoMao Selection.

And then the following line contains an integer S (0 ≤ S ≤ 500) followed by S numbers, indicating the id of S problems from Old Surgeon Contest.

The following line contains an integer Q (0 ≤ Q ≤ 500) - There are Q teams took part in Marjar University's competition.

Following Q lines, each line contains a string - team name and one integer - prize the team get. More specifically, 1 means first prize, 2 means second prize, 3 means third prize, and 0 means no prize.

In the end of each test case, there are N parts. In each part, first line contains two strings - the applicant's name and his/her team name in Marjar University's competition, a char sex - M for male, F for female and two integers P (0 ≤ P ≤ 1000) - the number of problem the applicant solved, C (0 ≤ C ≤ 1000) - the number of competitions the applicant have taken part in JapanJam.

The following line contains P integers, indicating the id of the solved problems of this applicant.

And, the following line contains C integers, means the rating for C competitions the applicant have taken part in.

We promise:

• The problems' id in MaoMao Selection, Old Surgeon Contest and applicant's solving list are distinct, and all of them have 4 digits (such as 1010).
• All names don't contain spaces, and length of each name is less than 30.
• All ratings are non-negative integers and less than 3500.

 

Output

For each test case, output M lines, means that M applicants and their scores. Please output these informations by sorting scores in descending order. If two applicants have the same rating, then sort their names in alphabet order. The score should be rounded to 3 decimal points.

Sample Input

15 33 1001 1002 10034 1004 1005 1006 10073MagicGirl!!! 3Sister's_noise 2NexusHD+NexusHD 1Edward EKaDiYaKanWen M 5 31001 1003 1005 1007 10091800 1800 1800FScarlet MagicGirl!!! F 3 51004 1005 10071300 1400 1500 1600 1700A NexusHD+NexusHD M 0 0B None F 0 0IamMM Sister's_noise M 15 11001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 10153000

Sample Output

FScarlet 60.000IamMM 44.300A 36.000#include
    
      #include
     
       #include
      
        #include
       
         #include
        
          using namespace std; const double eps=1e-6; struct lmx{
   string str;  double score; }; struct gcd{
   string team;  int rank; }; gcd gd[505]; lmx lm[505]; int mao[505]; int old[505]; int solve[1005]; int jan[1005]; int _nmao,_nold; bool cmp2(int a,int b) {
      return a>b; } double maxi(double a,double b) {
   return a>b?a:b; } bool cmp(lmx s, lmx t) {
   if(fabs(s.score-t.score)
         
          t.score; } bool prime(int x) {  int i;  if(x==1||x==0) return false;  for(i=2;i<=(int)sqrt(x);i++)  {   if(x%i==0) return false;  }  return true; } int ismao(int k) {  int i;  for(i=1;i<=_nmao;i++)         {   if(solve[k]==mao[i]) return 1;  }  return 0; } int isold(int k) {  int i;  for(i=1;i<=_nold;i++)  {   if(solve[k]==old[i]) return 1;  }  return 0; } int main() {     int test,n,i,m,_test,j,nja,nso,k,flag1,flag2,flag3;  string steam,name;  double point;  cout.precision(3);  char c;  cin>>test;  while(test--)  {            cin>>n>>m;     cin>>_nmao;     for(i=1;i<=_nmao;i++)  cin>>mao[i];     cin>>_nold;     for(i=1;i<=_nold;i++) cin>>old[i];            cin>>_test;     for(i=1;i<=_test;i++)     {      cin>>gd[i].team>>gd[i].rank;     }     for(i=1;i<=n;i++)     {                    cin>>name>>steam>>c>>nso>>nja;      point=0;      for(j=1;j<=nso;j++)      {       cin>>solve[j];                            if(ismao(j)) point+=2.5;       else if(isold(j)) point+=1.5;       else if(prime(solve[j])) point+=1;       else point+=0.3;      }      for(j=1;j<=nja;j++)      {                       cin>>jan[j];      }      if(nja>=3)      {      sort(jan+1,jan+1+nja,cmp2);      point+=maxi(0.0,(jan[3]-1200)*1.0/100*1.5);      }                    for(j=1;j<=_test;j++)      {       if(gd[j].team==steam)       {        if(gd[j].rank==3) point+=18;         else if(gd[j].rank==2) point+=27;        else if(gd[j].rank==1) point+=36;                                    break;       }      }                    if(c=='F') point+=33;      lm[i].str=name;      lm[i].score=point;     }     sort(lm+1,lm+n+1,cmp);     for(i=1;i<=m;i++)     {      cout<
          
           <<" "<
           
            <
            
             <