Time Limit: 1s
Memory Limit: 128MB
WithCS 농장의 토토로는 로또를 좋아라하며, 매우 많은 로또를 구매하고 있습니다. 로또는 1부터 49까지의 숫자 6개를 겹치지 않게 가집니다. 토토로는 한번 로또를 구매할 때 1부터 49까지 모든 숫자가 1번 이상 포함되게 구매하는 버릇이 있습니다. 로또 묶음들이 주어졌을때, 토토로의 로또 묶음인지 아닌지를 판별해보세요!
입력은 여러개의 테스트로 이루어집니다.
각각의 테스트는 다음과 같이 구성됩니다.
* Line 1 : 단일 상수 N (1~100; 로또 장수)
* Line 2 ~ N+1 : 6개 상수 (1~49사이의 겹치지 않는 숫자)
입력 파일의 끝에는 '0'이 들어가 있습니다.
각각의 테스트에 대해 토토로의 로또 묶음일 가능성이 있다면 'Yes', 아니라면 'No'를 출력합니다. 다른말로, 로또 묶음에 1~49의 모든 숫자가 포함되면 'Yes', 아닐 경우 'No'를 출력합니다.
1 1 2 3 4 5 6 9 1 2 3 4 5 6 10 9 8 7 12 11 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 19 34 27 25 13 0
No Yes