@Dolfin:
d2 = (2) = 2
d2 = (2) = 2d3 = (1) = 1d1 = (1) = 1d2 = (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) = 23