@Dolfin:
d777 = (40) = 40
d777 = (40) = 40d77 = (53) = 53d777 = (629) = 629d77 = (73) = 73d777 = (353) = 353d77 = (52) = 52d77 = (41) = 41d77 = (66) = 66d777 = (235) = 235d77 = (75) = 75d77 = (12) = 12d77 = (42) = 42d77 = (12) = 12d77 = (7) = 7d77 = (55) = 55d77 = (73) = 73d777 = (666) = 666d77 = (28) = 28d77 = (33) = 33d777 = (99) = 99d77 = (59) = 59d777 = (132) = 132d77 = (12) = 12d77 = (73) = 73d77 = (47) = 47d777 = (130) = 130d77 = (15) = 15d777 = (243) = 243d777 = (678) = 678d777 = (242) = 242d777 = (202) = 202d777 = (35) = 35d777 = (719) = 719d777 = (437) = 437d777 = (228) = 228d777 = (141) = 141d777 = (62) = 62d777 = (319) = 319d77 = (56) = 56