@Dolfin:
d777 = (386) = 386
d777 = (386) = 386d77 = (43) = 43d77 = (57) = 57d77 = (17) = 17d777 = (307) = 307d77 = (41) = 41d777%5 = (518)%5 = 3d777 = (638) = 638d777 = (466) = 466d77 = (75) = 75d77 = (26) = 26d77 = (52) = 52d77 = (58) = 58d77 = (1) = 1d77 = (23) = 23d77 = (17) = 17d777 = (443) = 443d77 = (20) = 20d77 = (27) = 27d777 = (742) = 742d77 = (62) = 62d777 = (223) = 223d77 = (35) = 35d77 = (70) = 70d777 = (187) = 187d777 = (172) = 172d77 = (31) = 31d77 = (36) = 36