@Dolfin:
d777 = (292) = 292
d777 = (292) = 292d777 = (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) = 1