@Dolfin:
d777 = (38) = 38
d777 = (38) = 38d77 = (41) = 41d77 = (24) = 24d77 = (31) = 31d777 = (719) = 719d77 = (70) = 70d77 = (58) = 58d77 = (2) = 2d777 = (425) = 425d77 = (13) = 13d77 = (38) = 38d777 = (267) = 267d77 = (49) = 49d77 = (27) = 27d77 = (23) = 23d777 = (609) = 609d77 = (8) = 8d777 = (623) = 623d77 = (19) = 19d77 = (14) = 14d77 = (57) = 57d77 = (5) = 5d77 = (70) = 70d77 = (19) = 19d77 = (11) = 11d77 = (46) = 46d77 = (64) = 64d77 = (74) = 74d77 = (33) = 33d77 = (31) = 31d77 = (31) = 31d77 = (59) = 59d777 = (39) = 39d777 = (233) = 233d777 = (509) = 509d777 = (540) = 540d777 = (447) = 447d777 = (224) = 224d777 = (494) = 494d777 = (157) = 157