세종이는 종이 세 장을 가지고 있다. 각각의 종이는 크기이고, 크기의 정사각형 개를 이어 붙인 형태이다. 이 개의 정사각형에는 각각 부터 까지의 서로 다른 정수가 하나씩 양면에 모두 적혀있다.
올바른 주사위를 정육면체의 각 면에 부터 까지의 서로 다른 정수가 하나씩 적혀 있고, 서로 마주 보는 면에 적혀 있는 두 수의 합이 인 주사위로 정의하자. 세종이가 가지고 있는 세 종이를 정사각형의 변끼리 적절히 이어 붙인 뒤, 각 정사각형이 정육면체의 한 면이 되도록 접어서 올바른 주사위를 만들 수 있는지 판정해 보자.
첫 번째 줄에 세종이가 가진 첫 번째 종이에 적힌 두 수를 의미하는 두 정수 , 가 공백으로 구분되어 주어진다.
두 번째 줄에 세종이가 가진 두 번째 종이에 적힌 두 수를 의미하는 두 정수 , 가 공백으로 구분되어 주어진다.
세 번째 줄에 세종이가 가진 세 번째 종이에 적힌 두 수를 의미하는 두 정수 , 가 공백으로 구분되어 주어진다.
입력으로 주어지는 개의 정수는 모두 다르다.
첫 번째 줄에 세종이가 세 종이를 적절히 이어 붙여서 올바른 주사위를 만들 수 있다면 Yes를, 그렇지 않다면 No를 출력한다.
