Update case-31.txt