@Dolfin:
d777 = (733) = 733
d777 = (733) = 733d777 = (445) = 445d777 = (673) = 673d777 = (512) = 512d777 = (38) = 38d777 = (638) = 638d777 = (7) = 7d777 = (86) = 86d7777%11 = (2044)%11 = 9d2 = (2) = 2d1 = (1) = 1d3 = (1) = 1d1 = (1) = 1d2 = (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) = 244