Add pair abstraction to BrentKung upsweep
Pairwise abstraction for BrentKung downsweep