@Dolfin:
d77 = (4) = 4
d77 = (4) = 4d77 = (74) = 74d77 = (70) = 70d77 = (59) = 59d77 = (4) = 4d77 = (45) = 45d77 = (31) = 31d77 = (1) = 1d77 = (31) = 31d77 = (13) = 13d77 = (10) = 10d77 = (45) = 45d77 = (61) = 61d77 = (17) = 17d77 = (57) = 57d77 = (16) = 16d77 = (23) = 23d77 = (5) = 5d77 = (52) = 52d77 = (76) = 76d77 = (53) = 53d77 = (2) = 2d77 = (49) = 49d77 = (70) = 70d77 = (57) = 57d77 = (39) = 39d77 = (37) = 37d77 = (38) = 38d77 = (17) = 17d77 = (60) = 60d77 = (49) = 49d77 = (55) = 55d77 = (15) = 15d77 = (10) = 10d77 = (77) = 77d77 = (9) = 9d777 = (645) = 645