Update hw6_theirs.txt