众所周知，蔡光数组指的是相同的字代表的数一样，而不同的字代表的数不一样的数的有序组合。

例如，对于哔哩哔哩-蔡光数组，由于 '哔哩哔哩' 包含 $$$4$$$ 个字，且第一个字与第三个字相同，第二个字与第四个字相同，那么只有数组长度为 $$$4$$$， $$$a_1 = a_3$$$， $$$a_2 = a_4$$$ 且 $$$a_1 \neq a_2$$$ 时，该数组才是哔哩哔哩-蔡光数组。

所以，$$$[1,2,1,2]$$$ 和 $$$[6,4,6,4]$$$ 都是哔哩哔哩-蔡光数组，而 $$$[1, 2, 3, 1]$$$ 和 $$$[1, 2, 3]$$$ 不是。

例如，对于xhy-蔡光数组，由于 'xhy' 包含 $$$3$$$ 个字，且三个字互不相同，那么只有数组长度为 $$$3$$$，且 $$$a_1, a_2, a_3$$$ 互不相同时，该数组才是xhy-蔡光数组。

所以，$$$[1,2,3]$$$ 和 $$$[5,3,4]$$$ 都是xhy-蔡光数组，而 $$$[1, 2, 3, 1]$$$ 和 $$$[1, 2, 1]$$$ 不是。

例如，对于ICPC-蔡光数组，由于 'ICPC' 包含 $$$4$$$ 个字，且第二个字与第四个字相同，那么只有数组长度为 $$$4$$$，且 $$$a_2 = a_4$$$，$$$a_1, a_2, a_3$$$ 互不相同时，该数组才是ICPC-蔡光数组。

所以，$$$[1,2,3,2]$$$ 和 $$$[4,0,9,0]$$$ 都是ICPC-蔡光数组，而 $$$[1, 2, 2, 2]$$$ 和 $$$[1, 2, 1]$$$ 不是。

现在，蔡光想让你判断一个长度为 $$$4$$$ 的正整数数组 $$$a$$$ 是不是 USST-蔡光数组。