@Dolfin:
d777 = (738) = 738
d777 = (738) = 738d777 = (765) = 765d777 = (685) = 685d2 = (1) = 1d777 = (504) = 504d4294967295 = (3332050051) = -962917245d777 = (258) = 258d777 = (90) = 90d777 = (513) = 513d777 = (614) = 614d777 = (330) = 330d777 = (93) = 93d777 = (767) = 767d777 = (44) = 44d777 = (417) = 417d777 = (106) = 106d777 = (217) = 217d777 = (534) = 534d777 = (469) = 469d777 = (489) = 489d777 = (423) = 423d777 = (521) = 521d777 = (586) = 586d777 = (447) = 447d777 = (95) = 95d777 = (110) = 110d777 = (146) = 146d777 = (675) = 675d777 = (67) = 67d777 = (644) = 644d777 = (63) = 63d777 = (169) = 169d777 = (382) = 382d777 = (342) = 342d777 = (78) = 78d777 = (469) = 469d777 = (479) = 479d777 = (162) = 162