@Dolfin:
d77 = (42) = 42
d77 = (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) = 45d77 = (61) = 61d77 = (17) = 17d77 = (57) = 57d77 = (16) = 16d77 = (23) = 23d77 = (5) = 5d77 = (52) = 52d77 = (76) = 76