@Dolfin:
d7777 = (6530) = 6530
d7777 = (6530) = 6530d7777 = (387) = 387d7777 = (4855) = 4855d7777 = (5957) = 5957d7777 = (6753) = 6753d7777 = (1376) = 1376d7777 = (1737) = 1737d7777 = (2783) = 2783d7777 = (2476) = 2476d7777 = (1768) = 1768d7777 = (7474) = 7474d7777 = (4864) = 4864d7777 = (2519) = 2519d7777 = (777) = 777d7777 = (6252) = 6252d7777 = (3703) = 3703d7777 = (5080) = 5080d7777 = (3595) = 3595d7777 = (633) = 633d7777 = (5373) = 5373d7777 = (7713) = 7713d7777 = (3041) = 3041d7777 = (7546) = 7546d7777 = (4075) = 4075d7777 = (4288) = 4288d7777 = (7155) = 7155d7777 = (2102) = 2102d7777 = (5051) = 5051d7777 = (6890) = 6890d7777 = (4209) = 4209d7777 = (6854) = 6854d7777 = (6093) = 6093d7777 = (386) = 386d7777 = (5731) = 5731d7777 = (2748) = 2748d7777 = (6069) = 6069d7777 = (2155) = 2155d7777 = (1812) = 1812d7777 = (3439) = 3439