RBL odd

[ndattani]

Change name to: PTR-RBL
z1z2z3z4 -> 4za*(z1+z2+z3+z4)+2*(z1z2+z1z3+z1z4+z2z3+z2z4+z3z4)+7;
Alternative forms: (2za + sum_i z_i)^2 -1
Note: original paper does not have the -1 !!!
Con: (2za + sum_i z_i)^2 -1 doesn't work for k=5, but maybe if we changed the coefficients it could.

[ndattani]

New gadget:
PTR-RBL-endPoint

I have chosen to divide their original gadget by 2, so this is not what they originally had:
z1z2z3-> 2za+(z1+z2+z3)+2za*(z1+z2+z3)+(z1z2+z1z3+z2*z3)+3

Alternative form: (1+2*za + sum_i z_i)^2 -1
Note: original paper does not have the -1 !!!

NTR-RBL-endPoint:
z1z2z3-> (1 + 4t_a + sum_i z_i)^2 -1