fn lookup_point<F: FieldWitness>(
(b0, b1): (bool, bool),
(t1, t2, t3, t4): (InnerCurve<F>, InnerCurve<F>, InnerCurve<F>, InnerCurve<F>),
w: &mut Witness<F>,
) -> (F, F)
fn lookup_point<F: FieldWitness>(
(b0, b1): (bool, bool),
(t1, t2, t3, t4): (InnerCurve<F>, InnerCurve<F>, InnerCurve<F>, InnerCurve<F>),
w: &mut Witness<F>,
) -> (F, F)