@Dolfin:
d77 = (7) = 7
d77 = (7) = 7d77 = (19) = 19d77 = (67) = 67d77 = (53) = 53d77 = (13) = 13d77 = (67) = 67d77 = (45) = 45d77 = (42) = 42d77 = (65) = 65d77 = (24) = 24d77 = (22) = 22d77 = (14) = 14d77 = (58) = 58d77 = (12) = 12d77 = (76) = 76d77 = (11) = 11d77 = (58) = 58d77 = (25) = 25d77 = (56) = 56d77 = (72) = 72d77 = (76) = 76d77 = (67) = 67d77 = (40) = 40d77 = (29) = 29d77 = (4) = 4d77 = (74) = 74d77 = (70) = 70d77 = (59) = 59d77 = (4) = 4d77 = (45) = 45d77 = (31) = 31d77 = (1) = 1d77 = (31) = 31d77 = (13) = 13d77 = (10) = 10d77 = (45) = 45