Qfish有个神奇的魔方, 只有1、2、3、4、5、6六种数字。他想把其中一面的数字重新排列，使其每行数字相等，每列自上而下从小到大排列，意思是上一行严格小于下一行。排列后与排列前数字个数不能改变。
他会给你9个数字，代表3×3的魔方一面中的数字，问排列后是否能满足要求。
输入描述:
一行九个正整数A1,A2,A3,A4,A5,A6,A7,A8,A9 ，代表3×3的魔方一面中的数字, A1 到 A3 代表魔方第一行， A4 到 A6 代表魔方第二行， A7 到 A9 代表魔方第三行。
输出描述:
一行输出，若魔方能满足条件，则输出"Yes",否则输出"No".