@Dolfin:
d777 = (58) = 58
d777 = (58) = 58d20 = (9) = 9d777 = (144) = 144d20 = (20) = 20d777 = (676) = 676d77 = (30) = 30d777 = (681) = 681d77 = (11) = 11d777 = (615) = 615d77 = (53) = 53d777 = (239) = 239d77 = (21) = 21d777 = (335) = 335d77 = (43) = 43d777 = (385) = 385d77 = (72) = 72d777 = (577) = 577d77 = (9) = 9d77 = (8) = 8d777 = (386) = 386d77 = (43) = 43d77 = (57) = 57d77 = (17) = 17d777 = (307) = 307d77 = (41) = 41d777%5 = (518)%5 = 3d777 = (638) = 638d777 = (466) = 466d77 = (75) = 75d77 = (26) = 26d77 = (52) = 52d77 = (58) = 58d77 = (1) = 1d77 = (23) = 23