sum(sum(if 0=c:?logand(a,b)then printf(?t,"~a ~a:~a
",a,b,a+b),b,0,127),a,0,127);