축구 월드컵 주최 측에게 최종 조 추첨은 매우 민감한 작업이다. 이 추첨으로 대회 1차 리그의 조 편성이 정해지고, 간접적으로는 토너먼트 단계의 대진까지 좌우된다. 한 팀의 성적은 어떤 상대를 만나느냐에 크게 달려 있고, 심지어 우승 팀까지 바뀔 수 있기 때문에 그만큼 중요하다.
최종 추첨은 조작 의혹의 대상이 되곤 한다. 어떤 팀들은 자기 조가 다른 조보다 강하다고 여겨 부당한 대우를 받았다고 항의한다. 당신의 임무는 그렇지 않다는 것을 납득시킬 근거를 제시하는 것이다.
추첨에는 여러 공정성 조건이 있어 다소 복잡하다. 강한 팀들이 한 조에 몰리지 않도록 하고, 서로 다른 대륙연맹의 팀들을 여러 조에 나누어 배치해야 한다. 이는 다음 규칙으로 보장된다.
주어진 한 팀에 대해, 그 팀의 상대(같은 조에 속한 다른 팀들)의 평균 강함을 구하려 한다. 즉, 그 팀과 같은 조에 있는 다른 팀들의 강함의 합을, 동일한 확률로 일어난다고 가정한 모든 올바른 추첨에 대해 평균낸 값이다. 각 팀의 강함은 입력으로 주어진다.
입력의 첫 줄에는 테스트 케이스의 개수가 주어진다. 각 테스트 케이스는 다음과 같이 구성된다.
첫째 줄에는 그룹의 개수 $g \le 8$과 그룹당 팀 수 $m \le 4$가 주어진다.
다음 줄에는 $g \cdot m$개의 정수가 주어지며, $i$번째 정수 $0 \le s_i \le 10,000$은 팀 $i$의 강함이다. 팀 번호는 $0$부터 시작하고, 관례상 개최국은 팀 $0$이다.
그다음 줄에는 시드 배정된 $g - 1$개의 팀 번호가 주어진다. 이어지는 $m - 1$개의 줄에는 각각 같은 포트에 속하는 $g$개의 팀 번호가 주어진다.
그다음 줄에는 대륙연맹의 개수 $c$가 주어진다. 이어지는 $c$개의 줄은 각각 하나의 대륙연맹을 나타내며, 팀 수 $n_i > 0$으로 시작해 $n_i$개의 팀 번호가 뒤따른다.
마지막 줄에는 평균 조 강함을 계산할 팀의 번호 $t$가 주어진다.
각 테스트 케이스마다, 조별 리그에서 팀 $t$의 상대들의 강함의 합에 대한 평균을 소수점 아래 셋째 자리까지 반올림하여 한 줄에 출력한다.