Let D = {(a,b,2a): a,b