../../Task/Palindrome-detection/ACL2