in the silly post correspondence problem, the top string of each domino is equal in length to the bottom string of that same domino. show that spcp is decidable.