R0(x0, x1), R1(x0, x1)
R2(x1, x2), R3(x1, x2)
R4(x2, x3), R5(x1, x3), R6(x1, x3)
