@Dolfin:
d777 = (760) = 760
d777 = (760) = 760d77 = (56) = 56d777 = (385) = 385d77 = (31) = 31d777 = (757) = 757d77 = (65) = 65d77 = (39) = 39d77 = (10) = 10d77 = (62) = 62d777 = (482) = 482d777 = (681) = 681d77 = (12) = 12d777 = (307) = 307d77 = (76) = 76d777 = (175) = 175d777 = (372) = 372d777 = (325) = 325d777 = (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) = 386