@Dolfin:
d2 = (1) = 1
d2 = (1) = 1d1 = (1) = 1d2 = (1) = 1d1 = (1) = 1d2 = (1) = 1d1 = (1) = 1d1 = (1) = 1d2 = (1) = 1d2 = (1) = 1d1 = (1) = 1d1 = (1) = 1d2 = (2) = 2d2 = (2) = 2d77 = (73) = 73d3 = (1) = 1d3 = (3) = 3d77 = (7) = 7d77 = (35) = 35d4 = (3) = 3d77 = (68) = 68d77 = (30) = 30d777 = (156) = 156d777 = (417) = 417d77 = (70) = 70d777 = (244) = 244d777 = (687) = 687d77 = (9) = 9d77 = (70) = 70d77 = (39) = 39d777 = (546) = 546d77 = (23) = 23d77 = (16) = 16d777 = (133) = 133d777 = (382) = 382d77 = (12) = 12d77 = (30) = 30d777 = (641) = 641