digrt=: +/@(#.inv)^:_
addpr=: _1 + [: # +/@(#.inv)^:a: