좋은 동전 액면가

나라마다 사용하는 동전의 액면가가 다르다. 예를 들어 미국은 1, 5, 10, 25를 사용한다. 동전 액면가가 바람직하게 갖춰야 할 성질은 정렬된 순서에서 각 동전의 액면가가 바로 앞 동전의 두 배 이상인 것이다. 예를 들어 미국의 액면가는 이 성질을 가지지만, {1, 5, 6}은 6이 5의 두 배 이상이 아니므로 이 성질을 가지지 않는다.

주어진 동전 액면가 집합이 위 성질을 가지는지 판별하라.

첫 줄에 판별할 액면가 집합의 개수를 나타내는 양의 정수 n이 주어진다. 이후 n개의 줄에 집합이 한 줄에 하나씩 주어진다. 각 줄은 집합에 포함된 동전 액면가의 개수 d ($1 \le d \le 10$)로 시작한다. 그 뒤에 서로 다른 양의 정수 d개가 오름차순으로 주어지며, 각 값은 1,000보다 작다.

각 테스트 케이스의 시작에 "Denominations: v"를 출력한다. 여기서 v는 입력된 값이다. 다음 줄에는 집합이 위 성질을 가지는지 여부를 알려주는 메시지를 출력한다. 각 테스트 케이스의 출력 뒤에는 빈 줄을 하나 남긴다. 출력 형식은 예시 출력을 따른다.