pub fn prime_field_sum_of_products_test_helper<F: PrimeField, const N: usize>(
    a_max: F,
    b_max: F
)