설명 중에서

For any pair of distinct roads adjacent to an area, let a and b be the
costs of decorations along those roads. It must hold that (a + b) mod 3
6= 1.

위 문장의 마지막 정체불명의 기호 "6="가 원문을 찾아보니 "≠" 입니다.