zisk-verifier 1.3.0-alpha

use alloc::string::ToString;
use alloc::vec;
use proofman_fields::{
    CubicExtensionField, Field, Goldilocks, Poseidon2_16, Poseidon2_8, Transcript,
};
use proofman_verifier::VadcopFinalProof;
use proofman_verifier::{stark_verify, Boundary, FriEvalGroup, FriEvalRef, VerifierInfo};

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_0(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>], _publics: &[Goldilocks]) {
    tmp_3[0] = evals[50] - _publics[0];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[51] - _publics[1];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[52] - _publics[2];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[53] - _publics[3];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[54] - _publics[4];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[55] - _publics[5];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[56] - _publics[6];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[57] - _publics[7];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[58] - _publics[8];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[59] - _publics[9];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[60] - _publics[10];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[61] - _publics[11];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[62] - _publics[12];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[63] - _publics[13];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[64] - _publics[14];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[65] - _publics[15];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[66] - _publics[16];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[67] - _publics[17];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[68] - _publics[18];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[69] - _publics[19];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[70] - _publics[20];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[71] - _publics[21];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[72] - _publics[22];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[73] - _publics[23];
    tmp_3[0] = evals[47] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[50] - _publics[24];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[51] - _publics[25];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_1(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>], _publics: &[Goldilocks]) {
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[52] - _publics[26];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[53] - _publics[27];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[54] - _publics[28];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[55] - _publics[29];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[56] - _publics[30];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[57] - _publics[31];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[58] - _publics[32];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[59] - _publics[33];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[60] - _publics[34];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[61] - _publics[35];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[62] - _publics[36];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[63] - _publics[37];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[64] - _publics[38];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[65] - _publics[39];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[66] - _publics[40];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[67] - _publics[41];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[68] - _publics[42];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[69] - _publics[43];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[70] - _publics[44];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[71] - _publics[45];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[72] - _publics[46];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[73] - _publics[47];
    tmp_3[0] = evals[1] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[50] - _publics[48];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[51] - _publics[49];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[52] - _publics[50];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_2(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>], _publics: &[Goldilocks]) {
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[53] - _publics[51];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[54] - _publics[52];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[55] - _publics[53];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[56] - _publics[54];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[57] - _publics[55];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[58] - _publics[56];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[59] - _publics[57];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[60] - _publics[58];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[61] - _publics[59];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[62] - _publics[60];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[63] - _publics[61];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[64] - _publics[62];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[65] - _publics[63];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[66] - _publics[64];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[67] - _publics[65];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[68] - _publics[66];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[69] - _publics[67];
    tmp_3[0] = evals[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[2] = challenges[2] * tmp_3[0];
    tmp_3[4] = evals[46] + evals[109];
    tmp_3[0] = tmp_3[4] + evals[39];
    tmp_3[3] = tmp_3[0] + evals[110];
    tmp_3[0] = evals[50] * evals[51];
    tmp_3[0] = evals[27] * tmp_3[0];
    tmp_3[1] = evals[28] * evals[50];
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[1] = evals[29] * evals[51];
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[1] = evals[30] * evals[52];
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[0] = tmp_3[0] + evals[31];
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = tmp_3[2] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[53] * evals[54];
    tmp_3[0] = evals[27] * tmp_3[0];
    tmp_3[41] = evals[28] * evals[53];
    tmp_3[0] = tmp_3[0] + tmp_3[41];
    tmp_3[2] = evals[29] * evals[54];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[30] * evals[55];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[0] = tmp_3[0] + evals[31];
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[2] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[56] * evals[57];
    tmp_3[0] = evals[32] * tmp_3[0];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_3(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[42] = evals[33] * evals[56];
    tmp_3[0] = tmp_3[0] + tmp_3[42];
    tmp_3[1] = evals[34] * evals[57];
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[1] = evals[35] * evals[58];
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[0] = tmp_3[0] + evals[36];
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = tmp_3[2] + tmp_3[0];
    tmp_3[2] = challenges[2] * tmp_3[0];
    tmp_3[3] = tmp_3[4] + evals[110];
    tmp_3[4] = evals[59] * evals[60];
    tmp_3[4] = evals[32] * tmp_3[4];
    tmp_3[0] = evals[33] * evals[59];
    tmp_3[0] = tmp_3[4] + tmp_3[0];
    tmp_3[4] = evals[34] * evals[60];
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[43] = evals[35] * evals[61];
    tmp_3[0] = tmp_3[0] + tmp_3[43];
    tmp_3[0] = tmp_3[0] + evals[36];
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = tmp_3[2] + tmp_3[0];
    tmp_3[4] = challenges[2] * tmp_3[0];
    tmp_3[44] = evals[62] * evals[63];
    tmp_3[0] = evals[32] * tmp_3[44];
    tmp_3[2] = evals[33] * evals[62];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[34] * evals[63];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[35] * evals[64];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[0] = tmp_3[0] + evals[36];
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = tmp_3[4] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[65] * evals[66];
    tmp_3[0] = evals[32] * tmp_3[0];
    tmp_3[4] = evals[33] * evals[65];
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[4] = evals[34] * evals[66];
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[4] = evals[35] * evals[67];
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[0] = tmp_3[0] + evals[36];
    tmp_3[0] = evals[46] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[4] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[46] + evals[41];
    tmp_3[2] = tmp_3[0] + evals[44];
    tmp_3[0] = evals[68] * evals[69];
    tmp_3[0] = evals[32] * tmp_3[0];
    tmp_3[3] = evals[33] * evals[68];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[3] = evals[34] * evals[69];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[3] = evals[35] * evals[70];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[0] = tmp_3[0] + evals[36];
    tmp_3[0] = tmp_3[2] * tmp_3[0];
    tmp_3[0] = tmp_3[4] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[4] = tmp_3[2] + evals[42];
    tmp_3[2] = evals[71] * evals[72];
    tmp_3[2] = evals[32] * tmp_3[2];
    tmp_3[0] = evals[33] * evals[71];
    tmp_3[0] = tmp_3[2] + tmp_3[0];
    tmp_3[2] = evals[34] * evals[72];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[35] * evals[73];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[0] = tmp_3[0] + evals[36];
    tmp_3[0] = tmp_3[4] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[4] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[38] * evals[112];
    tmp_3[3] = evals[112] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] * tmp_3[3];
    tmp_3[0] = tmp_3[4] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[38] * evals[129];
    tmp_3[4] = evals[129] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] * tmp_3[4];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[11] = challenges[2] * tmp_3[0];
    tmp_3[24] = evals[37] + evals[38];
    tmp_3[3] = evals[112].sub_from_scalar(Goldilocks::new(1));
    tmp_3[0] = evals[129].sub_from_scalar(Goldilocks::new(1));
    tmp_3[6] = tmp_3[3] * tmp_3[0];
    tmp_3[4] = tmp_3[6] * evals[53];
    tmp_3[7] = evals[112] * tmp_3[0];
    tmp_3[8] = tmp_3[3] * evals[129];
    tmp_3[3] = tmp_3[7] + tmp_3[8];
    tmp_3[9] = evals[112] * evals[129];
    tmp_3[1] = tmp_3[3] + tmp_3[9];
    tmp_3[3] = tmp_3[1] * evals[57];
    tmp_3[3] = tmp_3[4] + tmp_3[3];
    tmp_3[3] = evals[38] * tmp_3[3];
    tmp_3[4] = evals[37] * evals[53];
    tmp_3[5] = tmp_3[3] + tmp_3[4];
    tmp_3[2] = tmp_3[5] * Goldilocks::new(2);
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_4(tmp_3: &mut [CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[3] = tmp_3[6] * evals[50];
    tmp_3[4] = tmp_3[1] * evals[54];
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[3] = evals[38] * tmp_3[3];
    tmp_3[4] = evals[37] * evals[50];
    tmp_3[0] = tmp_3[3] + tmp_3[4];
    tmp_3[3] = tmp_3[6] * evals[51];
    tmp_3[4] = tmp_3[1] * evals[55];
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[3] = evals[38] * tmp_3[3];
    tmp_3[4] = evals[37] * evals[51];
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[14] = tmp_3[2] + tmp_3[0];
    tmp_3[2] = tmp_3[0] * Goldilocks::new(4);
    tmp_3[0] = tmp_3[3] * Goldilocks::new(2);
    tmp_3[3] = tmp_3[6] * evals[52];
    tmp_3[1] = tmp_3[1] * evals[56];
    tmp_3[1] = tmp_3[3] + tmp_3[1];
    tmp_3[1] = evals[38] * tmp_3[1];
    tmp_3[3] = evals[37] * evals[52];
    tmp_3[1] = tmp_3[1] + tmp_3[3];
    tmp_3[13] = tmp_3[1] + tmp_3[5];
    tmp_3[15] = tmp_3[0] + tmp_3[13];
    tmp_3[12] = tmp_3[2] + tmp_3[15];
    tmp_3[10] = tmp_3[14] + tmp_3[12];
    tmp_3[2] = tmp_3[6] * evals[57];
    tmp_3[0] = tmp_3[7] * evals[53];
    tmp_3[0] = tmp_3[2] + tmp_3[0];
    tmp_3[3] = tmp_3[8] + tmp_3[9];
    tmp_3[2] = tmp_3[3] * evals[61];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[0] = evals[38] * tmp_3[0];
    tmp_3[2] = evals[37] * evals[57];
    tmp_3[4] = tmp_3[0] + tmp_3[2];
    tmp_3[5] = tmp_3[4] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[6] * evals[54];
    tmp_3[2] = tmp_3[7] * evals[50];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = tmp_3[3] * evals[58];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[0] = evals[38] * tmp_3[0];
    tmp_3[2] = evals[37] * evals[54];
    tmp_3[1] = tmp_3[0] + tmp_3[2];
    tmp_3[0] = tmp_3[6] * evals[55];
    tmp_3[2] = tmp_3[7] * evals[51];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = tmp_3[3] * evals[59];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[0] = evals[38] * tmp_3[0];
    tmp_3[2] = evals[37] * evals[55];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[1] = tmp_3[1] + tmp_3[0];
    tmp_3[16] = tmp_3[5] + tmp_3[1];
    tmp_3[2] = tmp_3[1] * Goldilocks::new(4);
    tmp_3[5] = tmp_3[0] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[6] * evals[56];
    tmp_3[1] = tmp_3[7] * evals[52];
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[3] = tmp_3[3] * evals[60];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[0] = evals[38] * tmp_3[0];
    tmp_3[3] = evals[37] * evals[56];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[1] = tmp_3[0] + tmp_3[4];
    tmp_3[17] = tmp_3[5] + tmp_3[1];
    tmp_3[21] = tmp_3[2] + tmp_3[17];
    tmp_3[20] = tmp_3[16] + tmp_3[21];
    tmp_3[4] = tmp_3[10] + tmp_3[20];
    tmp_3[3] = tmp_3[6] + tmp_3[7];
    tmp_3[6] = tmp_3[3] * evals[61];
    tmp_3[7] = tmp_3[8] * evals[53];
    tmp_3[6] = tmp_3[6] + tmp_3[7];
    tmp_3[7] = tmp_3[9] * evals[65];
    tmp_3[6] = tmp_3[6] + tmp_3[7];
    tmp_3[6] = evals[38] * tmp_3[6];
    tmp_3[7] = evals[37] * evals[61];
    tmp_3[0] = tmp_3[6] + tmp_3[7];
    tmp_3[5] = tmp_3[0] * Goldilocks::new(2);
    tmp_3[6] = tmp_3[3] * evals[58];
    tmp_3[7] = tmp_3[8] * evals[50];
    tmp_3[6] = tmp_3[6] + tmp_3[7];
    tmp_3[7] = tmp_3[9] * evals[62];
    tmp_3[6] = tmp_3[6] + tmp_3[7];
    tmp_3[6] = evals[38] * tmp_3[6];
    tmp_3[7] = evals[37] * evals[58];
    tmp_3[2] = tmp_3[6] + tmp_3[7];
    tmp_3[6] = tmp_3[3] * evals[59];
    tmp_3[7] = tmp_3[8] * evals[51];
    tmp_3[6] = tmp_3[6] + tmp_3[7];
    tmp_3[7] = tmp_3[9] * evals[63];
    tmp_3[6] = tmp_3[6] + tmp_3[7];
    tmp_3[6] = evals[38] * tmp_3[6];
    tmp_3[7] = evals[37] * evals[59];
    tmp_3[6] = tmp_3[6] + tmp_3[7];
    tmp_3[2] = tmp_3[2] + tmp_3[6];
    tmp_3[18] = tmp_3[5] + tmp_3[2];
    tmp_3[7] = tmp_3[2] * Goldilocks::new(4);
    tmp_3[5] = tmp_3[6] * Goldilocks::new(2);
    tmp_3[6] = tmp_3[3] * evals[60];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_5(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[2] = tmp_3[8] * evals[52];
    tmp_3[2] = tmp_3[6] + tmp_3[2];
    tmp_3[6] = tmp_3[9] * evals[64];
    tmp_3[2] = tmp_3[2] + tmp_3[6];
    tmp_3[2] = evals[38] * tmp_3[2];
    tmp_3[6] = evals[37] * evals[60];
    tmp_3[2] = tmp_3[2] + tmp_3[6];
    tmp_3[6] = tmp_3[2] + tmp_3[0];
    tmp_3[19] = tmp_3[5] + tmp_3[6];
    tmp_3[23] = tmp_3[7] + tmp_3[19];
    tmp_3[22] = tmp_3[18] + tmp_3[23];
    tmp_3[2] = tmp_3[4] + tmp_3[22];
    tmp_3[5] = tmp_3[3] + tmp_3[8];
    tmp_3[3] = tmp_3[5] * evals[65];
    tmp_3[8] = tmp_3[9] * evals[53];
    tmp_3[3] = tmp_3[3] + tmp_3[8];
    tmp_3[3] = evals[38] * tmp_3[3];
    tmp_3[8] = evals[37] * evals[65];
    tmp_3[0] = tmp_3[3] + tmp_3[8];
    tmp_3[7] = tmp_3[0] * Goldilocks::new(2);
    tmp_3[3] = tmp_3[5] * evals[62];
    tmp_3[8] = tmp_3[9] * evals[50];
    tmp_3[3] = tmp_3[3] + tmp_3[8];
    tmp_3[3] = evals[38] * tmp_3[3];
    tmp_3[8] = evals[37] * evals[62];
    tmp_3[4] = tmp_3[3] + tmp_3[8];
    tmp_3[3] = tmp_3[5] * evals[63];
    tmp_3[8] = tmp_3[9] * evals[51];
    tmp_3[3] = tmp_3[3] + tmp_3[8];
    tmp_3[3] = evals[38] * tmp_3[3];
    tmp_3[8] = evals[37] * evals[63];
    tmp_3[3] = tmp_3[3] + tmp_3[8];
    tmp_3[4] = tmp_3[4] + tmp_3[3];
    tmp_3[7] = tmp_3[7] + tmp_3[4];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(4);
    tmp_3[3] = tmp_3[3] * Goldilocks::new(2);
    tmp_3[5] = tmp_3[5] * evals[64];
    tmp_3[9] = tmp_3[9] * evals[52];
    tmp_3[5] = tmp_3[5] + tmp_3[9];
    tmp_3[5] = evals[38] * tmp_3[5];
    tmp_3[9] = evals[37] * evals[64];
    tmp_3[5] = tmp_3[5] + tmp_3[9];
    tmp_3[0] = tmp_3[5] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[0];
    tmp_3[5] = tmp_3[4] + tmp_3[3];
    tmp_3[4] = tmp_3[7] + tmp_3[5];
    tmp_3[2] = tmp_3[2] + tmp_3[4];
    tmp_3[10] = tmp_3[10] + tmp_3[2];
    tmp_3[10] = evals[66] - tmp_3[10];
    tmp_3[10] = tmp_3[24] * tmp_3[10];
    tmp_3[10] = tmp_3[11] + tmp_3[10];
    tmp_3[11] = challenges[2] * tmp_3[10];
    tmp_3[10] = tmp_3[12] + tmp_3[21];
    tmp_3[10] = tmp_3[10] + tmp_3[23];
    tmp_3[10] = tmp_3[10] + tmp_3[5];
    tmp_3[12] = tmp_3[12] + tmp_3[10];
    tmp_3[12] = evals[67] - tmp_3[12];
    tmp_3[12] = tmp_3[24] * tmp_3[12];
    tmp_3[11] = tmp_3[11] + tmp_3[12];
    tmp_3[11] = challenges[2] * tmp_3[11];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(4);
    tmp_3[13] = tmp_3[13] + tmp_3[14];
    tmp_3[15] = tmp_3[15] + tmp_3[13];
    tmp_3[1] = tmp_3[1] * Goldilocks::new(4);
    tmp_3[16] = tmp_3[1] + tmp_3[16];
    tmp_3[1] = tmp_3[17] + tmp_3[16];
    tmp_3[17] = tmp_3[15] + tmp_3[1];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(4);
    tmp_3[6] = tmp_3[6] + tmp_3[18];
    tmp_3[19] = tmp_3[19] + tmp_3[6];
    tmp_3[17] = tmp_3[17] + tmp_3[19];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(4);
    tmp_3[0] = tmp_3[0] + tmp_3[7];
    tmp_3[3] = tmp_3[3] + tmp_3[0];
    tmp_3[17] = tmp_3[17] + tmp_3[3];
    tmp_3[15] = tmp_3[15] + tmp_3[17];
    tmp_3[15] = evals[68] - tmp_3[15];
    tmp_3[15] = tmp_3[24] * tmp_3[15];
    tmp_3[11] = tmp_3[11] + tmp_3[15];
    tmp_3[15] = challenges[2] * tmp_3[11];
    tmp_3[11] = tmp_3[13] + tmp_3[16];
    tmp_3[11] = tmp_3[11] + tmp_3[6];
    tmp_3[11] = tmp_3[11] + tmp_3[0];
    tmp_3[13] = tmp_3[13] + tmp_3[11];
    tmp_3[13] = evals[69] - tmp_3[13];
    tmp_3[13] = tmp_3[24] * tmp_3[13];
    tmp_3[13] = tmp_3[15] + tmp_3[13];
    tmp_3[13] = challenges[2] * tmp_3[13];
    tmp_3[20] = tmp_3[20] + tmp_3[2];
    tmp_3[20] = evals[70] - tmp_3[20];
    tmp_3[20] = tmp_3[24] * tmp_3[20];
    tmp_3[13] = tmp_3[13] + tmp_3[20];
    tmp_3[13] = challenges[2] * tmp_3[13];
    tmp_3[21] = tmp_3[21] + tmp_3[10];
    tmp_3[21] = evals[71] - tmp_3[21];
    tmp_3[21] = tmp_3[24] * tmp_3[21];
    tmp_3[13] = tmp_3[13] + tmp_3[21];
    tmp_3[13] = challenges[2] * tmp_3[13];
    tmp_3[1] = tmp_3[1] + tmp_3[17];
    tmp_3[1] = evals[72] - tmp_3[1];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_6(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[1] = tmp_3[24] * tmp_3[1];
    tmp_3[1] = tmp_3[13] + tmp_3[1];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[16] = tmp_3[16] + tmp_3[11];
    tmp_3[16] = evals[73] - tmp_3[16];
    tmp_3[16] = tmp_3[24] * tmp_3[16];
    tmp_3[1] = tmp_3[1] + tmp_3[16];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[22] = tmp_3[22] + tmp_3[2];
    tmp_3[22] = evals[74] - tmp_3[22];
    tmp_3[22] = tmp_3[24] * tmp_3[22];
    tmp_3[1] = tmp_3[1] + tmp_3[22];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[23] = tmp_3[23] + tmp_3[10];
    tmp_3[23] = evals[75] - tmp_3[23];
    tmp_3[23] = tmp_3[24] * tmp_3[23];
    tmp_3[1] = tmp_3[1] + tmp_3[23];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[19] = tmp_3[19] + tmp_3[17];
    tmp_3[19] = evals[76] - tmp_3[19];
    tmp_3[19] = tmp_3[24] * tmp_3[19];
    tmp_3[1] = tmp_3[1] + tmp_3[19];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[6] = tmp_3[6] + tmp_3[11];
    tmp_3[6] = evals[77] - tmp_3[6];
    tmp_3[6] = tmp_3[24] * tmp_3[6];
    tmp_3[1] = tmp_3[1] + tmp_3[6];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[2] = tmp_3[4] + tmp_3[2];
    tmp_3[2] = evals[78] - tmp_3[2];
    tmp_3[2] = tmp_3[24] * tmp_3[2];
    tmp_3[1] = tmp_3[1] + tmp_3[2];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[5] = tmp_3[5] + tmp_3[10];
    tmp_3[5] = evals[79] - tmp_3[5];
    tmp_3[5] = tmp_3[24] * tmp_3[5];
    tmp_3[1] = tmp_3[1] + tmp_3[5];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[3] = tmp_3[3] + tmp_3[17];
    tmp_3[3] = evals[80] - tmp_3[3];
    tmp_3[3] = tmp_3[24] * tmp_3[3];
    tmp_3[1] = tmp_3[1] + tmp_3[3];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[0] = tmp_3[0] + tmp_3[11];
    tmp_3[0] = evals[81] - tmp_3[0];
    tmp_3[0] = tmp_3[24] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[4] = challenges[2] * tmp_3[0];
    tmp_3[0] = tmp_3[24] + evals[109];
    tmp_3[0] = tmp_3[0] + evals[110];
    tmp_3[25] = tmp_3[0] + evals[40];
    tmp_3[0] = tmp_3[24] * Goldilocks::new(5625716564419252202);
    tmp_3[1] = evals[109] * Goldilocks::new(11810209965918630788);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[1] = evals[110] * Goldilocks::new(2197120128337974909);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[1] = evals[40] * Goldilocks::new(16343835012250148340);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[11] = evals[69] + tmp_3[0];
    tmp_3[0] = tmp_3[11] * tmp_3[11];
    tmp_3[1] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] * tmp_3[0];
    tmp_3[5] = tmp_3[0] * tmp_3[11];
    tmp_3[17] = tmp_3[5] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[24] * Goldilocks::new(1579613653969377219);
    tmp_3[11] = evals[109] * Goldilocks::new(12437259172286625042);
    tmp_3[0] = tmp_3[0] + tmp_3[11];
    tmp_3[11] = evals[110] * Goldilocks::new(15766898731627159621);
    tmp_3[0] = tmp_3[0] + tmp_3[11];
    tmp_3[11] = evals[40] * Goldilocks::new(9738621014989498753);
    tmp_3[0] = tmp_3[0] + tmp_3[11];
    tmp_3[1] = evals[66] + tmp_3[0];
    tmp_3[0] = tmp_3[1] * tmp_3[1];
    tmp_3[11] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[11] * tmp_3[0];
    tmp_3[3] = tmp_3[0] * tmp_3[1];
    tmp_3[0] = tmp_3[24] * Goldilocks::new(15509510893087893340);
    tmp_3[1] = evals[109] * Goldilocks::new(3143835545170851304);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[1] = evals[110] * Goldilocks::new(6714370142978148338);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[1] = evals[40] * Goldilocks::new(237412858668409460);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[11] = evals[67] + tmp_3[0];
    tmp_3[0] = tmp_3[11] * tmp_3[11];
    tmp_3[1] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] * tmp_3[0];
    tmp_3[0] = tmp_3[0] * tmp_3[11];
    tmp_3[3] = tmp_3[3] + tmp_3[0];
    tmp_3[23] = tmp_3[17] + tmp_3[3];
    tmp_3[1] = tmp_3[3] * Goldilocks::new(4);
    tmp_3[11] = tmp_3[0] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[24] * Goldilocks::new(10090715174060125222);
    tmp_3[3] = evals[109] * Goldilocks::new(14361575850007152549);
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[3] = evals[110] * Goldilocks::new(5906664861467821209);
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[3] = evals[40] * Goldilocks::new(6405904454922718574);
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[17] = evals[68] + tmp_3[0];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_7(tmp_3: &mut [CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[0] = tmp_3[17] * tmp_3[17];
    tmp_3[3] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = tmp_3[0] * tmp_3[17];
    tmp_3[19] = tmp_3[0] + tmp_3[5];
    tmp_3[22] = tmp_3[11] + tmp_3[19];
    tmp_3[6] = tmp_3[1] + tmp_3[22];
    tmp_3[2] = tmp_3[23] + tmp_3[6];
    tmp_3[1] = tmp_3[24] * Goldilocks::new(2027625550790675754);
    tmp_3[11] = evals[109] * Goldilocks::new(1778669202480014256);
    tmp_3[1] = tmp_3[1] + tmp_3[11];
    tmp_3[11] = evals[110] * Goldilocks::new(12399217337488717232);
    tmp_3[1] = tmp_3[1] + tmp_3[11];
    tmp_3[11] = evals[40] * Goldilocks::new(16030622638137836774);
    tmp_3[1] = tmp_3[1] + tmp_3[11];
    tmp_3[0] = evals[73] + tmp_3[1];
    tmp_3[1] = tmp_3[0] * tmp_3[0];
    tmp_3[11] = tmp_3[1] * tmp_3[1];
    tmp_3[1] = tmp_3[11] * tmp_3[1];
    tmp_3[3] = tmp_3[1] * tmp_3[0];
    tmp_3[17] = tmp_3[3] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[24] * Goldilocks::new(3006005019077469174);
    tmp_3[1] = evals[109] * Goldilocks::new(17667700303515849362);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[1] = evals[110] * Goldilocks::new(9400421283898153864);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[1] = evals[40] * Goldilocks::new(9342245617122491936);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[11] = evals[70] + tmp_3[0];
    tmp_3[0] = tmp_3[11] * tmp_3[11];
    tmp_3[1] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] * tmp_3[0];
    tmp_3[5] = tmp_3[0] * tmp_3[11];
    tmp_3[0] = tmp_3[24] * Goldilocks::new(18314693207014427912);
    tmp_3[11] = evals[109] * Goldilocks::new(13451932870729425780);
    tmp_3[0] = tmp_3[0] + tmp_3[11];
    tmp_3[11] = evals[110] * Goldilocks::new(16740473708727660723);
    tmp_3[0] = tmp_3[0] + tmp_3[11];
    tmp_3[11] = evals[40] * Goldilocks::new(824922755340087111);
    tmp_3[0] = tmp_3[0] + tmp_3[11];
    tmp_3[1] = evals[71] + tmp_3[0];
    tmp_3[0] = tmp_3[1] * tmp_3[1];
    tmp_3[11] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[11] * tmp_3[0];
    tmp_3[0] = tmp_3[0] * tmp_3[1];
    tmp_3[5] = tmp_3[5] + tmp_3[0];
    tmp_3[13] = tmp_3[17] + tmp_3[5];
    tmp_3[11] = tmp_3[5] * Goldilocks::new(4);
    tmp_3[1] = tmp_3[0] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[24] * Goldilocks::new(10170571510627764565);
    tmp_3[5] = evals[109] * Goldilocks::new(17496644301504593329);
    tmp_3[0] = tmp_3[0] + tmp_3[5];
    tmp_3[5] = evals[110] * Goldilocks::new(7287335615015370599);
    tmp_3[0] = tmp_3[0] + tmp_3[5];
    tmp_3[5] = evals[40] * Goldilocks::new(5398764608665671277);
    tmp_3[0] = tmp_3[0] + tmp_3[5];
    tmp_3[17] = evals[72] + tmp_3[0];
    tmp_3[0] = tmp_3[17] * tmp_3[17];
    tmp_3[5] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[5] * tmp_3[0];
    tmp_3[0] = tmp_3[0] * tmp_3[17];
    tmp_3[16] = tmp_3[0] + tmp_3[3];
    tmp_3[21] = tmp_3[1] + tmp_3[16];
    tmp_3[12] = tmp_3[11] + tmp_3[21];
    tmp_3[14] = tmp_3[13] + tmp_3[12];
    tmp_3[10] = tmp_3[2] + tmp_3[14];
    tmp_3[11] = tmp_3[24] * Goldilocks::new(3151070045406026687);
    tmp_3[1] = evals[109] * Goldilocks::new(15182093233826554989);
    tmp_3[1] = tmp_3[11] + tmp_3[1];
    tmp_3[11] = evals[110] * Goldilocks::new(3483661079725019706);
    tmp_3[1] = tmp_3[1] + tmp_3[11];
    tmp_3[11] = evals[40] * Goldilocks::new(587812931475326787);
    tmp_3[1] = tmp_3[1] + tmp_3[11];
    tmp_3[0] = evals[77] + tmp_3[1];
    tmp_3[1] = tmp_3[0] * tmp_3[0];
    tmp_3[11] = tmp_3[1] * tmp_3[1];
    tmp_3[1] = tmp_3[11] * tmp_3[1];
    tmp_3[5] = tmp_3[1] * tmp_3[0];
    tmp_3[17] = tmp_3[5] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[24] * Goldilocks::new(3983470257916202094);
    tmp_3[1] = evals[109] * Goldilocks::new(11124488067381312952);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[1] = evals[110] * Goldilocks::new(12655834778591227242);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[1] = evals[40] * Goldilocks::new(4921899302518525668);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[11] = evals[74] + tmp_3[0];
    tmp_3[0] = tmp_3[11] * tmp_3[11];
    tmp_3[1] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] * tmp_3[0];
    tmp_3[3] = tmp_3[0] * tmp_3[11];
    tmp_3[0] = tmp_3[24] * Goldilocks::new(3423470109396435354);
    tmp_3[11] = evals[109] * Goldilocks::new(14273583775934080755);
    tmp_3[0] = tmp_3[0] + tmp_3[11];
    tmp_3[11] = evals[110] * Goldilocks::new(7516917516498792203);
    tmp_3[0] = tmp_3[0] + tmp_3[11];
    tmp_3[11] = evals[40] * Goldilocks::new(10676667276121395674);
    tmp_3[0] = tmp_3[0] + tmp_3[11];
    tmp_3[1] = evals[75] + tmp_3[0];
    tmp_3[0] = tmp_3[1] * tmp_3[1];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_8(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[11] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[11] * tmp_3[0];
    tmp_3[0] = tmp_3[0] * tmp_3[1];
    tmp_3[3] = tmp_3[3] + tmp_3[0];
    tmp_3[15] = tmp_3[17] + tmp_3[3];
    tmp_3[11] = tmp_3[3] * Goldilocks::new(4);
    tmp_3[1] = tmp_3[0] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[24] * Goldilocks::new(3450488264035752368);
    tmp_3[3] = evals[109] * Goldilocks::new(13257379154210125715);
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[3] = evals[110] * Goldilocks::new(17291898461659961460);
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[3] = evals[40] * Goldilocks::new(16304445044992359788);
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[17] = evals[76] + tmp_3[0];
    tmp_3[0] = tmp_3[17] * tmp_3[17];
    tmp_3[3] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = tmp_3[0] * tmp_3[17];
    tmp_3[20] = tmp_3[0] + tmp_3[5];
    tmp_3[7] = tmp_3[1] + tmp_3[20];
    tmp_3[8] = tmp_3[11] + tmp_3[7];
    tmp_3[9] = tmp_3[15] + tmp_3[8];
    tmp_3[3] = tmp_3[10] + tmp_3[9];
    tmp_3[10] = tmp_3[24] * Goldilocks::new(7780139165529418388);
    tmp_3[11] = evals[109] * Goldilocks::new(3717595218375990594);
    tmp_3[10] = tmp_3[10] + tmp_3[11];
    tmp_3[11] = evals[110] * Goldilocks::new(17138720803294251067);
    tmp_3[10] = tmp_3[10] + tmp_3[11];
    tmp_3[11] = evals[40] * Goldilocks::new(15665352327749112015);
    tmp_3[10] = tmp_3[10] + tmp_3[11];
    tmp_3[1] = evals[81] + tmp_3[10];
    tmp_3[10] = tmp_3[1] * tmp_3[1];
    tmp_3[11] = tmp_3[10] * tmp_3[10];
    tmp_3[10] = tmp_3[11] * tmp_3[10];
    tmp_3[17] = tmp_3[10] * tmp_3[1];
    tmp_3[5] = tmp_3[17] * Goldilocks::new(2);
    tmp_3[1] = tmp_3[24] * Goldilocks::new(13462781804006123550);
    tmp_3[10] = evals[109] * Goldilocks::new(5343815959848316783);
    tmp_3[1] = tmp_3[1] + tmp_3[10];
    tmp_3[10] = evals[110] * Goldilocks::new(18038566855851505564);
    tmp_3[1] = tmp_3[1] + tmp_3[10];
    tmp_3[10] = evals[40] * Goldilocks::new(7627897473303434798);
    tmp_3[1] = tmp_3[1] + tmp_3[10];
    tmp_3[11] = evals[78] + tmp_3[1];
    tmp_3[1] = tmp_3[11] * tmp_3[11];
    tmp_3[10] = tmp_3[1] * tmp_3[1];
    tmp_3[1] = tmp_3[10] * tmp_3[1];
    tmp_3[0] = tmp_3[1] * tmp_3[11];
    tmp_3[1] = tmp_3[24] * Goldilocks::new(13288575772684627216);
    tmp_3[11] = evals[109] * Goldilocks::new(5696193414571279556);
    tmp_3[1] = tmp_3[1] + tmp_3[11];
    tmp_3[11] = evals[110] * Goldilocks::new(6166154478921479976);
    tmp_3[1] = tmp_3[1] + tmp_3[11];
    tmp_3[11] = evals[40] * Goldilocks::new(2633542348821978290);
    tmp_3[1] = tmp_3[1] + tmp_3[11];
    tmp_3[10] = evals[79] + tmp_3[1];
    tmp_3[1] = tmp_3[10] * tmp_3[10];
    tmp_3[11] = tmp_3[1] * tmp_3[1];
    tmp_3[1] = tmp_3[11] * tmp_3[1];
    tmp_3[1] = tmp_3[1] * tmp_3[10];
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[18] = tmp_3[5] + tmp_3[0];
    tmp_3[11] = tmp_3[0] * Goldilocks::new(4);
    tmp_3[10] = tmp_3[1] * Goldilocks::new(2);
    tmp_3[1] = tmp_3[24] * Goldilocks::new(13745549378090937523);
    tmp_3[0] = evals[109] * Goldilocks::new(6089787229781325813);
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = evals[110] * Goldilocks::new(8824538844032254328);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[1] = evals[40] * Goldilocks::new(5714662808802647771);
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[5] = evals[80] + tmp_3[0];
    tmp_3[0] = tmp_3[5] * tmp_3[5];
    tmp_3[1] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[1] * tmp_3[0];
    tmp_3[0] = tmp_3[0] * tmp_3[5];
    tmp_3[0] = tmp_3[0] + tmp_3[17];
    tmp_3[10] = tmp_3[10] + tmp_3[0];
    tmp_3[17] = tmp_3[11] + tmp_3[10];
    tmp_3[11] = tmp_3[18] + tmp_3[17];
    tmp_3[3] = tmp_3[3] + tmp_3[11];
    tmp_3[2] = tmp_3[2] + tmp_3[3];
    tmp_3[2] = evals[82] - tmp_3[2];
    tmp_3[2] = tmp_3[25] * tmp_3[2];
    tmp_3[2] = tmp_3[4] + tmp_3[2];
    tmp_3[4] = challenges[2] * tmp_3[2];
    tmp_3[2] = tmp_3[6] + tmp_3[12];
    tmp_3[2] = tmp_3[2] + tmp_3[8];
    tmp_3[2] = tmp_3[2] + tmp_3[17];
    tmp_3[6] = tmp_3[6] + tmp_3[2];
    tmp_3[6] = evals[83] - tmp_3[6];
    tmp_3[6] = tmp_3[25] * tmp_3[6];
    tmp_3[4] = tmp_3[4] + tmp_3[6];
    tmp_3[4] = challenges[2] * tmp_3[4];
    tmp_3[19] = tmp_3[19] * Goldilocks::new(4);
    tmp_3[19] = tmp_3[19] + tmp_3[23];
    tmp_3[22] = tmp_3[22] + tmp_3[19];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(4);
    tmp_3[16] = tmp_3[16] + tmp_3[13];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_9(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[13] = tmp_3[21] + tmp_3[16];
    tmp_3[21] = tmp_3[22] + tmp_3[13];
    tmp_3[20] = tmp_3[20] * Goldilocks::new(4);
    tmp_3[15] = tmp_3[20] + tmp_3[15];
    tmp_3[7] = tmp_3[7] + tmp_3[15];
    tmp_3[21] = tmp_3[21] + tmp_3[7];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(4);
    tmp_3[0] = tmp_3[0] + tmp_3[18];
    tmp_3[10] = tmp_3[10] + tmp_3[0];
    tmp_3[21] = tmp_3[21] + tmp_3[10];
    tmp_3[22] = tmp_3[22] + tmp_3[21];
    tmp_3[22] = evals[84] - tmp_3[22];
    tmp_3[22] = tmp_3[25] * tmp_3[22];
    tmp_3[4] = tmp_3[4] + tmp_3[22];
    tmp_3[22] = challenges[2] * tmp_3[4];
    tmp_3[4] = tmp_3[19] + tmp_3[16];
    tmp_3[4] = tmp_3[4] + tmp_3[15];
    tmp_3[4] = tmp_3[4] + tmp_3[0];
    tmp_3[19] = tmp_3[19] + tmp_3[4];
    tmp_3[19] = evals[85] - tmp_3[19];
    tmp_3[19] = tmp_3[25] * tmp_3[19];
    tmp_3[19] = tmp_3[22] + tmp_3[19];
    tmp_3[19] = challenges[2] * tmp_3[19];
    tmp_3[14] = tmp_3[14] + tmp_3[3];
    tmp_3[14] = evals[86] - tmp_3[14];
    tmp_3[14] = tmp_3[25] * tmp_3[14];
    tmp_3[14] = tmp_3[19] + tmp_3[14];
    tmp_3[14] = challenges[2] * tmp_3[14];
    tmp_3[12] = tmp_3[12] + tmp_3[2];
    tmp_3[12] = evals[87] - tmp_3[12];
    tmp_3[12] = tmp_3[25] * tmp_3[12];
    tmp_3[12] = tmp_3[14] + tmp_3[12];
    tmp_3[12] = challenges[2] * tmp_3[12];
    tmp_3[13] = tmp_3[13] + tmp_3[21];
    tmp_3[13] = evals[88] - tmp_3[13];
    tmp_3[13] = tmp_3[25] * tmp_3[13];
    tmp_3[12] = tmp_3[12] + tmp_3[13];
    tmp_3[12] = challenges[2] * tmp_3[12];
    tmp_3[16] = tmp_3[16] + tmp_3[4];
    tmp_3[16] = evals[89] - tmp_3[16];
    tmp_3[16] = tmp_3[25] * tmp_3[16];
    tmp_3[12] = tmp_3[12] + tmp_3[16];
    tmp_3[12] = challenges[2] * tmp_3[12];
    tmp_3[9] = tmp_3[9] + tmp_3[3];
    tmp_3[9] = evals[90] - tmp_3[9];
    tmp_3[9] = tmp_3[25] * tmp_3[9];
    tmp_3[9] = tmp_3[12] + tmp_3[9];
    tmp_3[9] = challenges[2] * tmp_3[9];
    tmp_3[8] = tmp_3[8] + tmp_3[2];
    tmp_3[8] = evals[91] - tmp_3[8];
    tmp_3[8] = tmp_3[25] * tmp_3[8];
    tmp_3[8] = tmp_3[9] + tmp_3[8];
    tmp_3[8] = challenges[2] * tmp_3[8];
    tmp_3[7] = tmp_3[7] + tmp_3[21];
    tmp_3[7] = evals[92] - tmp_3[7];
    tmp_3[7] = tmp_3[25] * tmp_3[7];
    tmp_3[7] = tmp_3[8] + tmp_3[7];
    tmp_3[7] = challenges[2] * tmp_3[7];
    tmp_3[15] = tmp_3[15] + tmp_3[4];
    tmp_3[15] = evals[93] - tmp_3[15];
    tmp_3[15] = tmp_3[25] * tmp_3[15];
    tmp_3[7] = tmp_3[7] + tmp_3[15];
    tmp_3[7] = challenges[2] * tmp_3[7];
    tmp_3[3] = tmp_3[11] + tmp_3[3];
    tmp_3[3] = evals[94] - tmp_3[3];
    tmp_3[3] = tmp_3[25] * tmp_3[3];
    tmp_3[3] = tmp_3[7] + tmp_3[3];
    tmp_3[3] = challenges[2] * tmp_3[3];
    tmp_3[2] = tmp_3[17] + tmp_3[2];
    tmp_3[2] = evals[95] - tmp_3[2];
    tmp_3[2] = tmp_3[25] * tmp_3[2];
    tmp_3[2] = tmp_3[3] + tmp_3[2];
    tmp_3[2] = challenges[2] * tmp_3[2];
    tmp_3[10] = tmp_3[10] + tmp_3[21];
    tmp_3[10] = evals[96] - tmp_3[10];
    tmp_3[10] = tmp_3[25] * tmp_3[10];
    tmp_3[2] = tmp_3[2] + tmp_3[10];
    tmp_3[2] = challenges[2] * tmp_3[2];
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[0] = evals[97] - tmp_3[0];
    tmp_3[0] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = tmp_3[2] + tmp_3[0];
    tmp_3[11] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[40] * evals[50];
    tmp_3[1] = evals[40].sub_from_scalar(Goldilocks::new(1));
    tmp_3[2] = tmp_3[1] * evals[113];
    tmp_3[7] = tmp_3[0] + tmp_3[2];
    tmp_3[0] = tmp_3[24] * Goldilocks::new(12037145371429260559);
    tmp_3[2] = evals[109] * Goldilocks::new(12343504462597575239);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[110] * Goldilocks::new(6108317238076822824);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[40] * Goldilocks::new(9076340683484238287);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[39] * Goldilocks::new(12399309956582731760);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[4] = evals[85] + tmp_3[0];
    tmp_3[0] = tmp_3[4] * tmp_3[4];
    tmp_3[2] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[2] * tmp_3[0];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_10(tmp_3: &mut [CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[29] = tmp_3[0] * tmp_3[4];
    tmp_3[10] = tmp_3[29] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[24] * Goldilocks::new(11699769881923825909);
    tmp_3[4] = evals[109] * Goldilocks::new(12355842859741995537);
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[4] = evals[110] * Goldilocks::new(4158286797471309733);
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[4] = evals[40] * Goldilocks::new(8041781683128153420);
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[4] = evals[39] * Goldilocks::new(2949845317987848448);
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[2] = evals[82] + tmp_3[0];
    tmp_3[0] = tmp_3[2] * tmp_3[2];
    tmp_3[4] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[4] * tmp_3[0];
    tmp_3[26] = tmp_3[0] * tmp_3[2];
    tmp_3[0] = tmp_3[24] * Goldilocks::new(4349260652212695338);
    tmp_3[2] = evals[109] * Goldilocks::new(14160921043125059199);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[110] * Goldilocks::new(1589482450994236426);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[40] * Goldilocks::new(13172746155287932121);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[39] * Goldilocks::new(6935557324168256069);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[4] = evals[83] + tmp_3[0];
    tmp_3[0] = tmp_3[4] * tmp_3[4];
    tmp_3[2] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[2] * tmp_3[0];
    tmp_3[27] = tmp_3[0] * tmp_3[4];
    tmp_3[0] = tmp_3[26] + tmp_3[27];
    tmp_3[9] = tmp_3[10] + tmp_3[0];
    tmp_3[21] = tmp_3[0] * Goldilocks::new(4);
    tmp_3[2] = tmp_3[27] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[24] * Goldilocks::new(8228348357294662898);
    tmp_3[10] = evals[109] * Goldilocks::new(13682913322779819091);
    tmp_3[0] = tmp_3[0] + tmp_3[10];
    tmp_3[10] = evals[110] * Goldilocks::new(4836112672767737407);
    tmp_3[0] = tmp_3[0] + tmp_3[10];
    tmp_3[10] = evals[40] * Goldilocks::new(6611413049825339003);
    tmp_3[0] = tmp_3[0] + tmp_3[10];
    tmp_3[10] = evals[39] * Goldilocks::new(2055390472619727748);
    tmp_3[0] = tmp_3[0] + tmp_3[10];
    tmp_3[4] = evals[84] + tmp_3[0];
    tmp_3[0] = tmp_3[4] * tmp_3[4];
    tmp_3[10] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[10] * tmp_3[0];
    tmp_3[28] = tmp_3[0] * tmp_3[4];
    tmp_3[8] = tmp_3[28] + tmp_3[29];
    tmp_3[12] = tmp_3[2] + tmp_3[8];
    tmp_3[15] = tmp_3[21] + tmp_3[12];
    tmp_3[17] = tmp_3[9] + tmp_3[15];
    tmp_3[21] = tmp_3[24] * Goldilocks::new(10157815501749214163);
    tmp_3[2] = evals[109] * Goldilocks::new(690520822232718983);
    tmp_3[2] = tmp_3[21] + tmp_3[2];
    tmp_3[21] = evals[110] * Goldilocks::new(6643835433125335951);
    tmp_3[2] = tmp_3[2] + tmp_3[21];
    tmp_3[21] = evals[40] * Goldilocks::new(16216654076620539925);
    tmp_3[2] = tmp_3[2] + tmp_3[21];
    tmp_3[21] = evals[39] * Goldilocks::new(14821962908959377092);
    tmp_3[2] = tmp_3[2] + tmp_3[21];
    tmp_3[0] = evals[89] + tmp_3[2];
    tmp_3[2] = tmp_3[0] * tmp_3[0];
    tmp_3[21] = tmp_3[2] * tmp_3[2];
    tmp_3[2] = tmp_3[21] * tmp_3[2];
    tmp_3[33] = tmp_3[2] * tmp_3[0];
    tmp_3[4] = tmp_3[33] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[24] * Goldilocks::new(7743383997471469184);
    tmp_3[2] = evals[109] * Goldilocks::new(14249643564311509087);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[110] * Goldilocks::new(11174425919404088598);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[40] * Goldilocks::new(12295614633782496176);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[39] * Goldilocks::new(3088058410657255303);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[21] = evals[86] + tmp_3[0];
    tmp_3[0] = tmp_3[21] * tmp_3[21];
    tmp_3[2] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[2] * tmp_3[0];
    tmp_3[30] = tmp_3[0] * tmp_3[21];
    tmp_3[0] = tmp_3[24] * Goldilocks::new(7842006993218978420);
    tmp_3[21] = evals[109] * Goldilocks::new(15849758561085927402);
    tmp_3[0] = tmp_3[0] + tmp_3[21];
    tmp_3[21] = evals[110] * Goldilocks::new(2755155124184744585);
    tmp_3[0] = tmp_3[0] + tmp_3[21];
    tmp_3[21] = evals[40] * Goldilocks::new(11414162089917699064);
    tmp_3[0] = tmp_3[0] + tmp_3[21];
    tmp_3[21] = evals[39] * Goldilocks::new(8790959064194804235);
    tmp_3[0] = tmp_3[0] + tmp_3[21];
    tmp_3[2] = evals[87] + tmp_3[0];
    tmp_3[0] = tmp_3[2] * tmp_3[2];
    tmp_3[21] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[21] * tmp_3[0];
    tmp_3[31] = tmp_3[0] * tmp_3[2];
    tmp_3[0] = tmp_3[30] + tmp_3[31];
    tmp_3[13] = tmp_3[4] + tmp_3[0];
    tmp_3[10] = tmp_3[0] * Goldilocks::new(4);
    tmp_3[21] = tmp_3[31] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[24] * Goldilocks::new(18369471830829996810);
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_11(tmp_3: &mut [CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[4] = evals[109] * Goldilocks::new(12186564686511703262);
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[4] = evals[110] * Goldilocks::new(13202523778257173956);
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[4] = evals[40] * Goldilocks::new(13658053783093222498);
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[4] = evals[39] * Goldilocks::new(4582664136559626757);
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[2] = evals[88] + tmp_3[0];
    tmp_3[0] = tmp_3[2] * tmp_3[2];
    tmp_3[4] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[4] * tmp_3[0];
    tmp_3[32] = tmp_3[0] * tmp_3[2];
    tmp_3[16] = tmp_3[32] + tmp_3[33];
    tmp_3[14] = tmp_3[21] + tmp_3[16];
    tmp_3[23] = tmp_3[10] + tmp_3[14];
    tmp_3[20] = tmp_3[13] + tmp_3[23];
    tmp_3[3] = tmp_3[17] + tmp_3[20];
    tmp_3[10] = tmp_3[24] * Goldilocks::new(6178857985076893256);
    tmp_3[21] = evals[109] * Goldilocks::new(12083506578988585239);
    tmp_3[10] = tmp_3[10] + tmp_3[21];
    tmp_3[21] = evals[110] * Goldilocks::new(257624298448087449);
    tmp_3[10] = tmp_3[10] + tmp_3[21];
    tmp_3[21] = evals[40] * Goldilocks::new(13499421621575350806);
    tmp_3[10] = tmp_3[10] + tmp_3[21];
    tmp_3[21] = evals[39] * Goldilocks::new(11973738501993105496);
    tmp_3[10] = tmp_3[10] + tmp_3[21];
    tmp_3[0] = evals[93] + tmp_3[10];
    tmp_3[10] = tmp_3[0] * tmp_3[0];
    tmp_3[21] = tmp_3[10] * tmp_3[10];
    tmp_3[10] = tmp_3[21] * tmp_3[10];
    tmp_3[37] = tmp_3[10] * tmp_3[0];
    tmp_3[2] = tmp_3[37] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[24] * Goldilocks::new(11128005290408113568);
    tmp_3[10] = evals[109] * Goldilocks::new(684200944081655198);
    tmp_3[0] = tmp_3[0] + tmp_3[10];
    tmp_3[10] = evals[110] * Goldilocks::new(2748965361441888477);
    tmp_3[0] = tmp_3[0] + tmp_3[10];
    tmp_3[10] = evals[40] * Goldilocks::new(17782598995085730495);
    tmp_3[0] = tmp_3[0] + tmp_3[10];
    tmp_3[10] = evals[39] * Goldilocks::new(2002685046256118388);
    tmp_3[0] = tmp_3[0] + tmp_3[10];
    tmp_3[21] = evals[90] + tmp_3[0];
    tmp_3[0] = tmp_3[21] * tmp_3[21];
    tmp_3[10] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[10] * tmp_3[0];
    tmp_3[34] = tmp_3[0] * tmp_3[21];
    tmp_3[0] = tmp_3[24] * Goldilocks::new(12272917402811871099);
    tmp_3[21] = evals[109] * Goldilocks::new(6008958449718781068);
    tmp_3[0] = tmp_3[0] + tmp_3[21];
    tmp_3[21] = evals[110] * Goldilocks::new(14297205492001640506);
    tmp_3[0] = tmp_3[0] + tmp_3[21];
    tmp_3[21] = evals[40] * Goldilocks::new(18362903988365127450);
    tmp_3[0] = tmp_3[0] + tmp_3[21];
    tmp_3[21] = evals[39] * Goldilocks::new(15689593639089632368);
    tmp_3[0] = tmp_3[0] + tmp_3[21];
    tmp_3[10] = evals[91] + tmp_3[0];
    tmp_3[0] = tmp_3[10] * tmp_3[10];
    tmp_3[21] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[21] * tmp_3[0];
    tmp_3[35] = tmp_3[0] * tmp_3[10];
    tmp_3[0] = tmp_3[34] + tmp_3[35];
    tmp_3[19] = tmp_3[2] + tmp_3[0];
    tmp_3[4] = tmp_3[0] * Goldilocks::new(4);
    tmp_3[21] = tmp_3[35] * Goldilocks::new(2);
    tmp_3[0] = tmp_3[24] * Goldilocks::new(106820976709770637);
    tmp_3[2] = evals[109] * Goldilocks::new(3098079696536837500);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[110] * Goldilocks::new(12595977886586773319);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[40] * Goldilocks::new(11596821426909532371);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[2] = evals[39] * Goldilocks::new(10512046881800463697);
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[10] = evals[92] + tmp_3[0];
    tmp_3[0] = tmp_3[10] * tmp_3[10];
    tmp_3[2] = tmp_3[0] * tmp_3[0];
    tmp_3[0] = tmp_3[2] * tmp_3[0];
    tmp_3[36] = tmp_3[0] * tmp_3[10];
    tmp_3[2] = tmp_3[36] + tmp_3[37];
    tmp_3[22] = tmp_3[21] + tmp_3[2];
    tmp_3[5] = tmp_3[4] + tmp_3[22];
    tmp_3[6] = tmp_3[19] + tmp_3[5];
    tmp_3[10] = tmp_3[3] + tmp_3[6];
    tmp_3[3] = tmp_3[24] * Goldilocks::new(10060334973073197601);
    tmp_3[4] = evals[109] * Goldilocks::new(17095617549195818058);
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[4] = evals[110] * Goldilocks::new(7256201493271212720);
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[4] = evals[40] * Goldilocks::new(4615393526180652407);
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[4] = evals[39] * Goldilocks::new(17528314872631229800);
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[21] = evals[97] + tmp_3[3];
    tmp_3[3] = tmp_3[21] * tmp_3[21];
    tmp_3[4] = tmp_3[3] * tmp_3[3];
    tmp_3[3] = tmp_3[4] * tmp_3[3];
    tmp_3[40] = tmp_3[3] * tmp_3[21];
    tmp_3[0] = tmp_3[40] * Goldilocks::new(2);
    tmp_3[3] = tmp_3[24] * Goldilocks::new(14036787039817180193);
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_12(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[21] = evals[109] * Goldilocks::new(6489163969976034646);
    tmp_3[3] = tmp_3[3] + tmp_3[21];
    tmp_3[21] = evals[110] * Goldilocks::new(2744326799038764281);
    tmp_3[3] = tmp_3[3] + tmp_3[21];
    tmp_3[21] = evals[40] * Goldilocks::new(15256312875610823807);
    tmp_3[3] = tmp_3[3] + tmp_3[21];
    tmp_3[21] = evals[39] * Goldilocks::new(13009070935614847359);
    tmp_3[3] = tmp_3[3] + tmp_3[21];
    tmp_3[4] = evals[94] + tmp_3[3];
    tmp_3[3] = tmp_3[4] * tmp_3[4];
    tmp_3[21] = tmp_3[3] * tmp_3[3];
    tmp_3[3] = tmp_3[21] * tmp_3[3];
    tmp_3[38] = tmp_3[3] * tmp_3[4];
    tmp_3[3] = tmp_3[24] * Goldilocks::new(1659458828486927362);
    tmp_3[4] = evals[109] * Goldilocks::new(1186411428667285248);
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[4] = evals[110] * Goldilocks::new(9097808034015176417);
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[4] = evals[40] * Goldilocks::new(1558929959921731273);
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[4] = evals[39] * Goldilocks::new(12908033183314664096);
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[21] = evals[95] + tmp_3[3];
    tmp_3[3] = tmp_3[21] * tmp_3[21];
    tmp_3[4] = tmp_3[3] * tmp_3[3];
    tmp_3[3] = tmp_3[4] * tmp_3[3];
    tmp_3[39] = tmp_3[3] * tmp_3[21];
    tmp_3[3] = tmp_3[38] + tmp_3[39];
    tmp_3[18] = tmp_3[0] + tmp_3[3];
    tmp_3[4] = tmp_3[3] * Goldilocks::new(4);
    tmp_3[21] = tmp_3[39] * Goldilocks::new(2);
    tmp_3[24] = tmp_3[24] * Goldilocks::new(15938183887757779615);
    tmp_3[3] = evals[109] * Goldilocks::new(11192474480021157091);
    tmp_3[3] = tmp_3[24] + tmp_3[3];
    tmp_3[24] = evals[110] * Goldilocks::new(5523099006222423939);
    tmp_3[3] = tmp_3[3] + tmp_3[24];
    tmp_3[24] = evals[40] * Goldilocks::new(17567284148478398281);
    tmp_3[3] = tmp_3[3] + tmp_3[24];
    tmp_3[24] = evals[39] * Goldilocks::new(9530849385991780809);
    tmp_3[3] = tmp_3[3] + tmp_3[24];
    tmp_3[0] = evals[96] + tmp_3[3];
    tmp_3[3] = tmp_3[0] * tmp_3[0];
    tmp_3[24] = tmp_3[3] * tmp_3[3];
    tmp_3[3] = tmp_3[24] * tmp_3[3];
    tmp_3[24] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = tmp_3[24] + tmp_3[40];
    tmp_3[21] = tmp_3[21] + tmp_3[0];
    tmp_3[3] = tmp_3[4] + tmp_3[21];
    tmp_3[4] = tmp_3[18] + tmp_3[3];
    tmp_3[10] = tmp_3[10] + tmp_3[4];
    tmp_3[17] = tmp_3[17] + tmp_3[10];
    tmp_3[7] = tmp_3[7] - tmp_3[17];
    tmp_3[7] = tmp_3[25] * tmp_3[7];
    tmp_3[7] = tmp_3[11] + tmp_3[7];
    tmp_3[17] = challenges[2] * tmp_3[7];
    tmp_3[7] = evals[40] * evals[51];
    tmp_3[11] = tmp_3[1] * evals[114];
    tmp_3[11] = tmp_3[7] + tmp_3[11];
    tmp_3[7] = tmp_3[15] + tmp_3[23];
    tmp_3[7] = tmp_3[7] + tmp_3[5];
    tmp_3[7] = tmp_3[7] + tmp_3[3];
    tmp_3[15] = tmp_3[15] + tmp_3[7];
    tmp_3[11] = tmp_3[11] - tmp_3[15];
    tmp_3[11] = tmp_3[25] * tmp_3[11];
    tmp_3[11] = tmp_3[17] + tmp_3[11];
    tmp_3[15] = challenges[2] * tmp_3[11];
    tmp_3[11] = evals[40] * evals[52];
    tmp_3[17] = tmp_3[1] * evals[115];
    tmp_3[11] = tmp_3[11] + tmp_3[17];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(4);
    tmp_3[8] = tmp_3[8] + tmp_3[9];
    tmp_3[12] = tmp_3[12] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(4);
    tmp_3[16] = tmp_3[16] + tmp_3[13];
    tmp_3[13] = tmp_3[14] + tmp_3[16];
    tmp_3[14] = tmp_3[12] + tmp_3[13];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(4);
    tmp_3[2] = tmp_3[2] + tmp_3[19];
    tmp_3[22] = tmp_3[22] + tmp_3[2];
    tmp_3[14] = tmp_3[14] + tmp_3[22];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(4);
    tmp_3[0] = tmp_3[0] + tmp_3[18];
    tmp_3[21] = tmp_3[21] + tmp_3[0];
    tmp_3[14] = tmp_3[14] + tmp_3[21];
    tmp_3[12] = tmp_3[12] + tmp_3[14];
    tmp_3[11] = tmp_3[11] - tmp_3[12];
    tmp_3[11] = tmp_3[25] * tmp_3[11];
    tmp_3[11] = tmp_3[15] + tmp_3[11];
    tmp_3[12] = challenges[2] * tmp_3[11];
    tmp_3[11] = evals[40] * evals[53];
    tmp_3[15] = tmp_3[1] * evals[116];
    tmp_3[15] = tmp_3[11] + tmp_3[15];
    tmp_3[11] = tmp_3[8] + tmp_3[16];
    tmp_3[11] = tmp_3[11] + tmp_3[2];
    tmp_3[11] = tmp_3[11] + tmp_3[0];
    tmp_3[8] = tmp_3[8] + tmp_3[11];
    tmp_3[8] = tmp_3[15] - tmp_3[8];
    tmp_3[8] = tmp_3[25] * tmp_3[8];
    tmp_3[8] = tmp_3[12] + tmp_3[8];
    tmp_3[15] = challenges[2] * tmp_3[8];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_13(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[8] = evals[40] * evals[54];
    tmp_3[12] = tmp_3[1] * evals[117];
    tmp_3[8] = tmp_3[8] + tmp_3[12];
    tmp_3[20] = tmp_3[20] + tmp_3[10];
    tmp_3[8] = tmp_3[8] - tmp_3[20];
    tmp_3[8] = tmp_3[25] * tmp_3[8];
    tmp_3[8] = tmp_3[15] + tmp_3[8];
    tmp_3[20] = challenges[2] * tmp_3[8];
    tmp_3[8] = evals[40] * evals[55];
    tmp_3[15] = tmp_3[1] * evals[118];
    tmp_3[8] = tmp_3[8] + tmp_3[15];
    tmp_3[23] = tmp_3[23] + tmp_3[7];
    tmp_3[8] = tmp_3[8] - tmp_3[23];
    tmp_3[8] = tmp_3[25] * tmp_3[8];
    tmp_3[8] = tmp_3[20] + tmp_3[8];
    tmp_3[23] = challenges[2] * tmp_3[8];
    tmp_3[8] = evals[40] * evals[56];
    tmp_3[20] = tmp_3[1] * evals[119];
    tmp_3[8] = tmp_3[8] + tmp_3[20];
    tmp_3[13] = tmp_3[13] + tmp_3[14];
    tmp_3[8] = tmp_3[8] - tmp_3[13];
    tmp_3[8] = tmp_3[25] * tmp_3[8];
    tmp_3[8] = tmp_3[23] + tmp_3[8];
    tmp_3[13] = challenges[2] * tmp_3[8];
    tmp_3[8] = evals[40] * evals[57];
    tmp_3[23] = tmp_3[1] * evals[120];
    tmp_3[8] = tmp_3[8] + tmp_3[23];
    tmp_3[16] = tmp_3[16] + tmp_3[11];
    tmp_3[8] = tmp_3[8] - tmp_3[16];
    tmp_3[8] = tmp_3[25] * tmp_3[8];
    tmp_3[8] = tmp_3[13] + tmp_3[8];
    tmp_3[16] = challenges[2] * tmp_3[8];
    tmp_3[8] = evals[40] * evals[58];
    tmp_3[13] = tmp_3[1] * evals[121];
    tmp_3[8] = tmp_3[8] + tmp_3[13];
    tmp_3[6] = tmp_3[6] + tmp_3[10];
    tmp_3[6] = tmp_3[8] - tmp_3[6];
    tmp_3[6] = tmp_3[25] * tmp_3[6];
    tmp_3[6] = tmp_3[16] + tmp_3[6];
    tmp_3[8] = challenges[2] * tmp_3[6];
    tmp_3[6] = evals[40] * evals[59];
    tmp_3[16] = tmp_3[1] * evals[122];
    tmp_3[6] = tmp_3[6] + tmp_3[16];
    tmp_3[5] = tmp_3[5] + tmp_3[7];
    tmp_3[5] = tmp_3[6] - tmp_3[5];
    tmp_3[5] = tmp_3[25] * tmp_3[5];
    tmp_3[5] = tmp_3[8] + tmp_3[5];
    tmp_3[6] = challenges[2] * tmp_3[5];
    tmp_3[5] = evals[40] * evals[60];
    tmp_3[8] = tmp_3[1] * evals[123];
    tmp_3[5] = tmp_3[5] + tmp_3[8];
    tmp_3[22] = tmp_3[22] + tmp_3[14];
    tmp_3[5] = tmp_3[5] - tmp_3[22];
    tmp_3[5] = tmp_3[25] * tmp_3[5];
    tmp_3[5] = tmp_3[6] + tmp_3[5];
    tmp_3[22] = challenges[2] * tmp_3[5];
    tmp_3[5] = evals[40] * evals[61];
    tmp_3[6] = tmp_3[1] * evals[124];
    tmp_3[5] = tmp_3[5] + tmp_3[6];
    tmp_3[2] = tmp_3[2] + tmp_3[11];
    tmp_3[2] = tmp_3[5] - tmp_3[2];
    tmp_3[2] = tmp_3[25] * tmp_3[2];
    tmp_3[2] = tmp_3[22] + tmp_3[2];
    tmp_3[5] = challenges[2] * tmp_3[2];
    tmp_3[2] = evals[40] * evals[62];
    tmp_3[22] = tmp_3[1] * evals[125];
    tmp_3[2] = tmp_3[2] + tmp_3[22];
    tmp_3[4] = tmp_3[4] + tmp_3[10];
    tmp_3[2] = tmp_3[2] - tmp_3[4];
    tmp_3[2] = tmp_3[25] * tmp_3[2];
    tmp_3[2] = tmp_3[5] + tmp_3[2];
    tmp_3[4] = challenges[2] * tmp_3[2];
    tmp_3[2] = evals[40] * evals[63];
    tmp_3[5] = tmp_3[1] * evals[126];
    tmp_3[2] = tmp_3[2] + tmp_3[5];
    tmp_3[3] = tmp_3[3] + tmp_3[7];
    tmp_3[2] = tmp_3[2] - tmp_3[3];
    tmp_3[2] = tmp_3[25] * tmp_3[2];
    tmp_3[2] = tmp_3[4] + tmp_3[2];
    tmp_3[3] = challenges[2] * tmp_3[2];
    tmp_3[2] = evals[40] * evals[64];
    tmp_3[4] = tmp_3[1] * evals[127];
    tmp_3[2] = tmp_3[2] + tmp_3[4];
    tmp_3[14] = tmp_3[21] + tmp_3[14];
    tmp_3[2] = tmp_3[2] - tmp_3[14];
    tmp_3[2] = tmp_3[25] * tmp_3[2];
    tmp_3[2] = tmp_3[3] + tmp_3[2];
    tmp_3[3] = challenges[2] * tmp_3[2];
    tmp_3[2] = evals[40] * evals[65];
    tmp_3[1] = tmp_3[1] * evals[128];
    tmp_3[1] = tmp_3[2] + tmp_3[1];
    tmp_3[0] = tmp_3[0] + tmp_3[11];
    tmp_3[0] = tmp_3[1] - tmp_3[0];
    tmp_3[0] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[82] - evals[66];
    tmp_3[0] = evals[39] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_14(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[0] = tmp_3[26] * Goldilocks::new(16040574633112940480);
    tmp_3[26] = tmp_3[26] + evals[67];
    tmp_3[26] = tmp_3[26] + evals[68];
    tmp_3[26] = tmp_3[26] + evals[69];
    tmp_3[26] = tmp_3[26] + evals[70];
    tmp_3[26] = tmp_3[26] + evals[71];
    tmp_3[26] = tmp_3[26] + evals[72];
    tmp_3[26] = tmp_3[26] + evals[73];
    tmp_3[26] = tmp_3[26] + evals[74];
    tmp_3[26] = tmp_3[26] + evals[75];
    tmp_3[26] = tmp_3[26] + evals[76];
    tmp_3[26] = tmp_3[26] + evals[77];
    tmp_3[26] = tmp_3[26] + evals[78];
    tmp_3[26] = tmp_3[26] + evals[79];
    tmp_3[26] = tmp_3[26] + evals[80];
    tmp_3[26] = tmp_3[26] + evals[81];
    tmp_3[0] = tmp_3[0] + tmp_3[26];
    tmp_3[0] = evals[83] - tmp_3[0];
    tmp_3[0] = evals[39] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[3] = tmp_3[27] * Goldilocks::new(16040574633112940480);
    tmp_3[0] = evals[67] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[0] + tmp_3[26];
    tmp_3[0] = tmp_3[27] + tmp_3[1];
    tmp_3[27] = evals[68] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[27] + tmp_3[26];
    tmp_3[27] = tmp_3[0] + tmp_3[11];
    tmp_3[0] = evals[69] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[0] + tmp_3[26];
    tmp_3[0] = tmp_3[27] + tmp_3[2];
    tmp_3[27] = evals[70] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[27] + tmp_3[26];
    tmp_3[27] = tmp_3[0] + tmp_3[14];
    tmp_3[0] = evals[71] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[0] + tmp_3[26];
    tmp_3[0] = tmp_3[27] + tmp_3[21];
    tmp_3[27] = evals[72] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[27] + tmp_3[26];
    tmp_3[27] = tmp_3[0] + tmp_3[4];
    tmp_3[0] = evals[73] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[0] + tmp_3[26];
    tmp_3[0] = tmp_3[27] + tmp_3[7];
    tmp_3[27] = evals[74] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[27] + tmp_3[26];
    tmp_3[27] = tmp_3[0] + tmp_3[5];
    tmp_3[0] = evals[75] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[0] + tmp_3[26];
    tmp_3[0] = tmp_3[27] + tmp_3[10];
    tmp_3[27] = evals[76] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[27] + tmp_3[26];
    tmp_3[27] = tmp_3[0] + tmp_3[22];
    tmp_3[0] = evals[77] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[0] + tmp_3[26];
    tmp_3[0] = tmp_3[27] + tmp_3[6];
    tmp_3[27] = evals[78] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[27] + tmp_3[26];
    tmp_3[27] = tmp_3[0] + tmp_3[8];
    tmp_3[0] = evals[79] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[0] + tmp_3[26];
    tmp_3[0] = tmp_3[27] + tmp_3[16];
    tmp_3[27] = evals[80] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[27] + tmp_3[26];
    tmp_3[27] = tmp_3[0] + tmp_3[13];
    tmp_3[0] = evals[81] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[26];
    tmp_3[27] = tmp_3[27] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[27];
    tmp_3[3] = evals[84] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[28] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[10];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_15(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[27];
    tmp_3[28] = tmp_3[28] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[28];
    tmp_3[3] = evals[85] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[29] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[28];
    tmp_3[29] = tmp_3[29] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[29];
    tmp_3[3] = evals[86] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[30] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_16(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[10] = tmp_3[10] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[29];
    tmp_3[30] = tmp_3[30] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[30];
    tmp_3[3] = evals[87] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[31] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[30];
    tmp_3[31] = tmp_3[31] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[31];
    tmp_3[3] = evals[88] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[32] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[31];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_17(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[32] = tmp_3[32] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[31];
    tmp_3[32] = tmp_3[32] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[32];
    tmp_3[3] = evals[89] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[33] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[32];
    tmp_3[33] = tmp_3[33] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[33];
    tmp_3[3] = evals[90] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[34] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[7];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_18(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[33];
    tmp_3[34] = tmp_3[34] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[34];
    tmp_3[3] = evals[91] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[35] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[34];
    tmp_3[35] = tmp_3[35] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[35];
    tmp_3[3] = evals[92] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[36] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_19(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[7] = tmp_3[7] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[35];
    tmp_3[36] = tmp_3[36] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[36];
    tmp_3[3] = evals[93] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[37] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[36];
    tmp_3[37] = tmp_3[37] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[37];
    tmp_3[3] = evals[94] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[38] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[37];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_20(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[38] = tmp_3[38] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[37];
    tmp_3[38] = tmp_3[38] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[38];
    tmp_3[3] = evals[95] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[39] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[38];
    tmp_3[39] = tmp_3[39] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[39];
    tmp_3[3] = evals[96] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[24] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[21];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_21(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[39];
    tmp_3[24] = tmp_3[24] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[24];
    tmp_3[3] = evals[97] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[3];
    tmp_3[3] = tmp_3[40] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[24];
    tmp_3[40] = tmp_3[40] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[24];
    tmp_3[24] = tmp_3[40] + tmp_3[0];
    tmp_3[3] = tmp_3[3] + tmp_3[24];
    tmp_3[3] = evals[59] - tmp_3[3];
    tmp_3[3] = evals[39] * tmp_3[3];
    tmp_3[3] = tmp_3[25] + tmp_3[3];
    tmp_3[39] = challenges[2] * tmp_3[3];
    tmp_3[40] = evals[59] + Goldilocks::new(17869527288639567155);
    tmp_3[3] = tmp_3[40] * tmp_3[40];
    tmp_3[25] = tmp_3[3] * tmp_3[3];
    tmp_3[3] = tmp_3[25] * tmp_3[3];
    tmp_3[3] = tmp_3[3] * tmp_3[40];
    tmp_3[40] = tmp_3[3] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[24];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_22(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[3] = tmp_3[3] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[24];
    tmp_3[24] = tmp_3[3] + tmp_3[0];
    tmp_3[40] = tmp_3[40] + tmp_3[24];
    tmp_3[40] = evals[60] - tmp_3[40];
    tmp_3[40] = evals[39] * tmp_3[40];
    tmp_3[39] = tmp_3[39] + tmp_3[40];
    tmp_3[25] = challenges[2] * tmp_3[39];
    tmp_3[3] = evals[60] + Goldilocks::new(7829055113315023688);
    tmp_3[39] = tmp_3[3] * tmp_3[3];
    tmp_3[40] = tmp_3[39] * tmp_3[39];
    tmp_3[39] = tmp_3[40] * tmp_3[39];
    tmp_3[3] = tmp_3[39] * tmp_3[3];
    tmp_3[39] = tmp_3[3] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[24];
    tmp_3[24] = tmp_3[3] + tmp_3[0];
    tmp_3[39] = tmp_3[39] + tmp_3[24];
    tmp_3[39] = evals[61] - tmp_3[39];
    tmp_3[39] = evals[39] * tmp_3[39];
    tmp_3[25] = tmp_3[25] + tmp_3[39];
    tmp_3[40] = challenges[2] * tmp_3[25];
    tmp_3[3] = evals[61] + Goldilocks::new(3256047469251174543);
    tmp_3[25] = tmp_3[3] * tmp_3[3];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_23(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[39] = tmp_3[25] * tmp_3[25];
    tmp_3[25] = tmp_3[39] * tmp_3[25];
    tmp_3[3] = tmp_3[25] * tmp_3[3];
    tmp_3[25] = tmp_3[3] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[24];
    tmp_3[24] = tmp_3[3] + tmp_3[0];
    tmp_3[25] = tmp_3[25] + tmp_3[24];
    tmp_3[25] = evals[62] - tmp_3[25];
    tmp_3[25] = evals[39] * tmp_3[25];
    tmp_3[25] = tmp_3[40] + tmp_3[25];
    tmp_3[39] = challenges[2] * tmp_3[25];
    tmp_3[3] = evals[62] + Goldilocks::new(3015723851705964382);
    tmp_3[25] = tmp_3[3] * tmp_3[3];
    tmp_3[40] = tmp_3[25] * tmp_3[25];
    tmp_3[25] = tmp_3[40] * tmp_3[25];
    tmp_3[3] = tmp_3[25] * tmp_3[3];
    tmp_3[25] = tmp_3[3] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_24(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[13] = tmp_3[13] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[24];
    tmp_3[24] = tmp_3[3] + tmp_3[0];
    tmp_3[25] = tmp_3[25] + tmp_3[24];
    tmp_3[25] = evals[63] - tmp_3[25];
    tmp_3[25] = evals[39] * tmp_3[25];
    tmp_3[25] = tmp_3[39] + tmp_3[25];
    tmp_3[40] = challenges[2] * tmp_3[25];
    tmp_3[3] = evals[63] + Goldilocks::new(5177282273995529875);
    tmp_3[25] = tmp_3[3] * tmp_3[3];
    tmp_3[39] = tmp_3[25] * tmp_3[25];
    tmp_3[25] = tmp_3[39] * tmp_3[25];
    tmp_3[3] = tmp_3[25] * tmp_3[3];
    tmp_3[25] = tmp_3[3] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[24];
    tmp_3[24] = tmp_3[3] + tmp_3[0];
    tmp_3[25] = tmp_3[25] + tmp_3[24];
    tmp_3[25] = evals[64] - tmp_3[25];
    tmp_3[25] = evals[39] * tmp_3[25];
    tmp_3[25] = tmp_3[40] + tmp_3[25];
    tmp_3[39] = challenges[2] * tmp_3[25];
    tmp_3[3] = evals[64] + Goldilocks::new(16035152896984012190);
    tmp_3[25] = tmp_3[3] * tmp_3[3];
    tmp_3[40] = tmp_3[25] * tmp_3[25];
    tmp_3[25] = tmp_3[40] * tmp_3[25];
    tmp_3[3] = tmp_3[25] * tmp_3[3];
    tmp_3[25] = tmp_3[3] * Goldilocks::new(16040574633112940480);
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[11];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[2];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[14];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[21];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[4];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[7];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[5];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[10];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_25(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[22] = tmp_3[22] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[22];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[6];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[8];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[16];
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[13];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[24];
    tmp_3[3] = tmp_3[3] + tmp_3[0];
    tmp_3[25] = tmp_3[25] + tmp_3[3];
    tmp_3[25] = evals[113] - tmp_3[25];
    tmp_3[25] = evals[39] * tmp_3[25];
    tmp_3[25] = tmp_3[39] + tmp_3[25];
    tmp_3[25] = challenges[2] * tmp_3[25];
    tmp_3[1] = tmp_3[1] * Goldilocks::new(14263299814608977431);
    tmp_3[1] = tmp_3[1] + tmp_3[3];
    tmp_3[1] = evals[114] - tmp_3[1];
    tmp_3[1] = evals[39] * tmp_3[1];
    tmp_3[1] = tmp_3[25] + tmp_3[1];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[11] = tmp_3[11] * Goldilocks::new(770395855193680981);
    tmp_3[11] = tmp_3[11] + tmp_3[3];
    tmp_3[11] = evals[115] - tmp_3[11];
    tmp_3[11] = evals[39] * tmp_3[11];
    tmp_3[1] = tmp_3[1] + tmp_3[11];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[2] = tmp_3[2] * Goldilocks::new(3459277367440070515);
    tmp_3[2] = tmp_3[2] + tmp_3[3];
    tmp_3[2] = evals[116] - tmp_3[2];
    tmp_3[2] = evals[39] * tmp_3[2];
    tmp_3[1] = tmp_3[1] + tmp_3[2];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[14] = tmp_3[14] * Goldilocks::new(17087697094293314027);
    tmp_3[14] = tmp_3[14] + tmp_3[3];
    tmp_3[14] = evals[117] - tmp_3[14];
    tmp_3[14] = evals[39] * tmp_3[14];
    tmp_3[1] = tmp_3[1] + tmp_3[14];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[21] = tmp_3[21] * Goldilocks::new(6694380135428747348);
    tmp_3[21] = tmp_3[21] + tmp_3[3];
    tmp_3[21] = evals[118] - tmp_3[21];
    tmp_3[21] = evals[39] * tmp_3[21];
    tmp_3[1] = tmp_3[1] + tmp_3[21];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[4] = tmp_3[4] * Goldilocks::new(2034408310088972836);
    tmp_3[4] = tmp_3[4] + tmp_3[3];
    tmp_3[4] = evals[119] - tmp_3[4];
    tmp_3[4] = evals[39] * tmp_3[4];
    tmp_3[1] = tmp_3[1] + tmp_3[4];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[7] = tmp_3[7] * Goldilocks::new(3434575637390274478);
    tmp_3[7] = tmp_3[7] + tmp_3[3];
    tmp_3[7] = evals[120] - tmp_3[7];
    tmp_3[7] = evals[39] * tmp_3[7];
    tmp_3[1] = tmp_3[1] + tmp_3[7];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[5] = tmp_3[5] * Goldilocks::new(6052753985947965968);
    tmp_3[5] = tmp_3[5] + tmp_3[3];
    tmp_3[5] = evals[121] - tmp_3[5];
    tmp_3[5] = evals[39] * tmp_3[5];
    tmp_3[1] = tmp_3[1] + tmp_3[5];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[10] = tmp_3[10] * Goldilocks::new(13608362914817483670);
    tmp_3[10] = tmp_3[10] + tmp_3[3];
    tmp_3[10] = evals[122] - tmp_3[10];
    tmp_3[10] = evals[39] * tmp_3[10];
    tmp_3[1] = tmp_3[1] + tmp_3[10];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[22] = tmp_3[22] * Goldilocks::new(18163707672964630459);
    tmp_3[22] = tmp_3[22] + tmp_3[3];
    tmp_3[22] = evals[123] - tmp_3[22];
    tmp_3[22] = evals[39] * tmp_3[22];
    tmp_3[1] = tmp_3[1] + tmp_3[22];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[6] = tmp_3[6] * Goldilocks::new(14373610220374016704);
    tmp_3[6] = tmp_3[6] + tmp_3[3];
    tmp_3[6] = evals[124] - tmp_3[6];
    tmp_3[6] = evals[39] * tmp_3[6];
    tmp_3[1] = tmp_3[1] + tmp_3[6];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[8] = tmp_3[8] * Goldilocks::new(6226282807566121054);
    tmp_3[8] = tmp_3[8] + tmp_3[3];
    tmp_3[8] = evals[125] - tmp_3[8];
    tmp_3[8] = evals[39] * tmp_3[8];
    tmp_3[1] = tmp_3[1] + tmp_3[8];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[16] = tmp_3[16] * Goldilocks::new(3643354756180461803);
    tmp_3[16] = tmp_3[16] + tmp_3[3];
    tmp_3[16] = evals[126] - tmp_3[16];
    tmp_3[16] = evals[39] * tmp_3[16];
    tmp_3[1] = tmp_3[1] + tmp_3[16];
    tmp_3[1] = challenges[2] * tmp_3[1];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_26(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[13] = tmp_3[13] * Goldilocks::new(13046961313070095543);
    tmp_3[13] = tmp_3[13] + tmp_3[3];
    tmp_3[13] = evals[127] - tmp_3[13];
    tmp_3[13] = evals[39] * tmp_3[13];
    tmp_3[1] = tmp_3[1] + tmp_3[13];
    tmp_3[1] = challenges[2] * tmp_3[1];
    tmp_3[0] = tmp_3[0] * Goldilocks::new(8594143216561850811);
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[0] = evals[128] - tmp_3[0];
    tmp_3[0] = evals[39] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[50] * evals[53];
    tmp_3[3] = evals[51] * evals[55];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[13] = evals[52] * evals[54];
    tmp_3[0] = tmp_3[0] + tmp_3[13];
    tmp_3[0] = evals[56] - tmp_3[0];
    tmp_3[0] = evals[41] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[16] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[50] * evals[54];
    tmp_3[1] = evals[51] * evals[53];
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[0] = tmp_3[0] + tmp_3[13];
    tmp_3[13] = evals[52] * evals[55];
    tmp_3[0] = tmp_3[0] + tmp_3[13];
    tmp_3[0] = evals[57] - tmp_3[0];
    tmp_3[0] = evals[41] * tmp_3[0];
    tmp_3[0] = tmp_3[16] + tmp_3[0];
    tmp_3[16] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[50] * evals[55];
    tmp_3[0] = tmp_3[0] + tmp_3[13];
    tmp_3[13] = evals[52] * evals[53];
    tmp_3[0] = tmp_3[0] + tmp_3[13];
    tmp_3[13] = evals[51] * evals[54];
    tmp_3[0] = tmp_3[0] + tmp_3[13];
    tmp_3[0] = evals[58] - tmp_3[0];
    tmp_3[0] = evals[41] * tmp_3[0];
    tmp_3[0] = tmp_3[16] + tmp_3[0];
    tmp_3[16] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[59] * evals[62];
    tmp_3[13] = evals[60] * evals[64];
    tmp_3[0] = tmp_3[0] + tmp_3[13];
    tmp_3[3] = evals[61] * evals[63];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[0] = evals[65] - tmp_3[0];
    tmp_3[0] = evals[41] * tmp_3[0];
    tmp_3[0] = tmp_3[16] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[59] * evals[63];
    tmp_3[16] = evals[60] * evals[62];
    tmp_3[0] = tmp_3[0] + tmp_3[16];
    tmp_3[0] = tmp_3[0] + tmp_3[13];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[3] = evals[61] * evals[64];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[0] = evals[66] - tmp_3[0];
    tmp_3[0] = evals[41] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[59] * evals[64];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[3] = evals[61] * evals[62];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[3] = evals[60] * evals[63];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[0] = evals[67] - tmp_3[0];
    tmp_3[0] = evals[41] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[3] = evals[27] * evals[50];
    tmp_3[14] = tmp_3[3] + tmp_3[41];
    tmp_3[2] = evals[29] * evals[56];
    tmp_3[0] = tmp_3[14] + tmp_3[2];
    tmp_3[11] = evals[30] * evals[59];
    tmp_3[0] = tmp_3[0] + tmp_3[11];
    tmp_3[13] = evals[33] * evals[50];
    tmp_3[0] = tmp_3[0] + tmp_3[13];
    tmp_3[16] = evals[34] * evals[53];
    tmp_3[0] = tmp_3[0] + tmp_3[16];
    tmp_3[0] = evals[62] - tmp_3[0];
    tmp_3[0] = evals[43] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[8] = evals[27] * evals[51];
    tmp_3[6] = evals[28] * evals[54];
    tmp_3[25] = tmp_3[8] + tmp_3[6];
    tmp_3[39] = evals[29] * evals[57];
    tmp_3[0] = tmp_3[25] + tmp_3[39];
    tmp_3[24] = evals[30] * evals[60];
    tmp_3[0] = tmp_3[0] + tmp_3[24];
    tmp_3[22] = evals[33] * evals[51];
    tmp_3[0] = tmp_3[0] + tmp_3[22];
    tmp_3[10] = evals[34] * evals[54];
    tmp_3[0] = tmp_3[0] + tmp_3[10];
    tmp_3[0] = evals[63] - tmp_3[0];
    tmp_3[0] = evals[43] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_27(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[1] = challenges[2] * tmp_3[0];
    tmp_3[5] = evals[27] * evals[52];
    tmp_3[7] = evals[28] * evals[55];
    tmp_3[40] = tmp_3[5] + tmp_3[7];
    tmp_3[38] = evals[29] * evals[58];
    tmp_3[0] = tmp_3[40] + tmp_3[38];
    tmp_3[37] = evals[30] * evals[61];
    tmp_3[0] = tmp_3[0] + tmp_3[37];
    tmp_3[4] = evals[33] * evals[52];
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[21] = evals[34] * evals[55];
    tmp_3[0] = tmp_3[0] + tmp_3[21];
    tmp_3[0] = evals[64] - tmp_3[0];
    tmp_3[0] = evals[43] * tmp_3[0];
    tmp_3[0] = tmp_3[1] + tmp_3[0];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[41] = tmp_3[3] - tmp_3[41];
    tmp_3[1] = evals[31] * evals[56];
    tmp_3[3] = tmp_3[41] + tmp_3[1];
    tmp_3[36] = evals[32] * evals[59];
    tmp_3[3] = tmp_3[3] - tmp_3[36];
    tmp_3[3] = tmp_3[3] + tmp_3[13];
    tmp_3[3] = tmp_3[3] - tmp_3[16];
    tmp_3[3] = evals[65] - tmp_3[3];
    tmp_3[3] = evals[43] * tmp_3[3];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[8] = tmp_3[8] - tmp_3[6];
    tmp_3[3] = evals[31] * evals[57];
    tmp_3[6] = tmp_3[8] + tmp_3[3];
    tmp_3[16] = evals[32] * evals[60];
    tmp_3[6] = tmp_3[6] - tmp_3[16];
    tmp_3[6] = tmp_3[6] + tmp_3[22];
    tmp_3[6] = tmp_3[6] - tmp_3[10];
    tmp_3[6] = evals[66] - tmp_3[6];
    tmp_3[6] = evals[43] * tmp_3[6];
    tmp_3[0] = tmp_3[0] + tmp_3[6];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[7] = tmp_3[5] - tmp_3[7];
    tmp_3[6] = evals[31] * evals[58];
    tmp_3[5] = tmp_3[7] + tmp_3[6];
    tmp_3[10] = evals[32] * evals[61];
    tmp_3[5] = tmp_3[5] - tmp_3[10];
    tmp_3[4] = tmp_3[5] + tmp_3[4];
    tmp_3[4] = tmp_3[4] - tmp_3[21];
    tmp_3[4] = evals[67] - tmp_3[4];
    tmp_3[4] = evals[43] * tmp_3[4];
    tmp_3[0] = tmp_3[0] + tmp_3[4];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[2] = tmp_3[14] - tmp_3[2];
    tmp_3[2] = tmp_3[2] - tmp_3[11];
    tmp_3[2] = tmp_3[2] + tmp_3[42];
    tmp_3[11] = evals[35] * evals[59];
    tmp_3[2] = tmp_3[2] + tmp_3[11];
    tmp_3[2] = evals[68] - tmp_3[2];
    tmp_3[2] = evals[43] * tmp_3[2];
    tmp_3[0] = tmp_3[0] + tmp_3[2];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[25] = tmp_3[25] - tmp_3[39];
    tmp_3[24] = tmp_3[25] - tmp_3[24];
    tmp_3[25] = evals[33] * evals[57];
    tmp_3[24] = tmp_3[24] + tmp_3[25];
    tmp_3[39] = evals[35] * evals[60];
    tmp_3[24] = tmp_3[24] + tmp_3[39];
    tmp_3[24] = evals[69] - tmp_3[24];
    tmp_3[24] = evals[43] * tmp_3[24];
    tmp_3[0] = tmp_3[0] + tmp_3[24];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[38] = tmp_3[40] - tmp_3[38];
    tmp_3[37] = tmp_3[38] - tmp_3[37];
    tmp_3[38] = evals[33] * evals[58];
    tmp_3[37] = tmp_3[37] + tmp_3[38];
    tmp_3[37] = tmp_3[37] + tmp_3[43];
    tmp_3[37] = evals[70] - tmp_3[37];
    tmp_3[37] = evals[43] * tmp_3[37];
    tmp_3[0] = tmp_3[0] + tmp_3[37];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[1] = tmp_3[41] - tmp_3[1];
    tmp_3[1] = tmp_3[1] + tmp_3[36];
    tmp_3[1] = tmp_3[1] + tmp_3[42];
    tmp_3[1] = tmp_3[1] - tmp_3[11];
    tmp_3[1] = evals[71] - tmp_3[1];
    tmp_3[1] = evals[43] * tmp_3[1];
    tmp_3[0] = tmp_3[0] + tmp_3[1];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[3] = tmp_3[8] - tmp_3[3];
    tmp_3[3] = tmp_3[3] + tmp_3[16];
    tmp_3[3] = tmp_3[3] + tmp_3[25];
    tmp_3[3] = tmp_3[3] - tmp_3[39];
    tmp_3[3] = evals[72] - tmp_3[3];
    tmp_3[3] = evals[43] * tmp_3[3];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[6] = tmp_3[7] - tmp_3[6];
    tmp_3[6] = tmp_3[6] + tmp_3[10];
    tmp_3[6] = tmp_3[6] + tmp_3[38];
    tmp_3[6] = tmp_3[6] - tmp_3[43];
    tmp_3[6] = evals[73] - tmp_3[6];
    tmp_3[6] = evals[43] * tmp_3[6];
    tmp_3[0] = tmp_3[0] + tmp_3[6];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_28(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[16] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[62] * evals[65];
    tmp_3[43] = evals[63] * evals[67];
    tmp_3[0] = tmp_3[0] + tmp_3[43];
    tmp_3[38] = evals[64] * evals[66];
    tmp_3[0] = tmp_3[0] + tmp_3[38];
    tmp_3[7] = tmp_3[0] + evals[59];
    tmp_3[10] = tmp_3[7] * evals[65];
    tmp_3[0] = evals[62] * evals[66];
    tmp_3[6] = evals[63] * evals[65];
    tmp_3[0] = tmp_3[0] + tmp_3[6];
    tmp_3[0] = tmp_3[0] + tmp_3[43];
    tmp_3[0] = tmp_3[0] + tmp_3[38];
    tmp_3[38] = evals[64] * evals[67];
    tmp_3[0] = tmp_3[0] + tmp_3[38];
    tmp_3[39] = tmp_3[0] + evals[60];
    tmp_3[43] = tmp_3[39] * evals[67];
    tmp_3[0] = tmp_3[10] + tmp_3[43];
    tmp_3[10] = evals[62] * evals[67];
    tmp_3[10] = tmp_3[10] + tmp_3[38];
    tmp_3[38] = evals[64] * evals[65];
    tmp_3[10] = tmp_3[10] + tmp_3[38];
    tmp_3[38] = evals[63] * evals[66];
    tmp_3[10] = tmp_3[10] + tmp_3[38];
    tmp_3[3] = tmp_3[10] + evals[61];
    tmp_3[38] = tmp_3[3] * evals[66];
    tmp_3[0] = tmp_3[0] + tmp_3[38];
    tmp_3[25] = tmp_3[0] + evals[56];
    tmp_3[6] = tmp_3[25] * evals[65];
    tmp_3[0] = tmp_3[7] * evals[66];
    tmp_3[10] = tmp_3[39] * evals[65];
    tmp_3[0] = tmp_3[0] + tmp_3[10];
    tmp_3[0] = tmp_3[0] + tmp_3[43];
    tmp_3[0] = tmp_3[0] + tmp_3[38];
    tmp_3[38] = tmp_3[3] * evals[67];
    tmp_3[0] = tmp_3[0] + tmp_3[38];
    tmp_3[43] = tmp_3[0] + evals[57];
    tmp_3[0] = tmp_3[43] * evals[67];
    tmp_3[6] = tmp_3[6] + tmp_3[0];
    tmp_3[7] = tmp_3[7] * evals[67];
    tmp_3[7] = tmp_3[7] + tmp_3[38];
    tmp_3[3] = tmp_3[3] * evals[65];
    tmp_3[3] = tmp_3[7] + tmp_3[3];
    tmp_3[39] = tmp_3[39] * evals[66];
    tmp_3[3] = tmp_3[3] + tmp_3[39];
    tmp_3[38] = tmp_3[3] + evals[58];
    tmp_3[39] = tmp_3[38] * evals[66];
    tmp_3[6] = tmp_3[6] + tmp_3[39];
    tmp_3[10] = tmp_3[6] + evals[53];
    tmp_3[7] = tmp_3[10] * evals[65];
    tmp_3[6] = tmp_3[25] * evals[66];
    tmp_3[3] = tmp_3[43] * evals[65];
    tmp_3[3] = tmp_3[6] + tmp_3[3];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[0] = tmp_3[0] + tmp_3[39];
    tmp_3[39] = tmp_3[38] * evals[67];
    tmp_3[0] = tmp_3[0] + tmp_3[39];
    tmp_3[3] = tmp_3[0] + evals[54];
    tmp_3[0] = tmp_3[3] * evals[67];
    tmp_3[7] = tmp_3[7] + tmp_3[0];
    tmp_3[25] = tmp_3[25] * evals[67];
    tmp_3[25] = tmp_3[25] + tmp_3[39];
    tmp_3[38] = tmp_3[38] * evals[65];
    tmp_3[25] = tmp_3[25] + tmp_3[38];
    tmp_3[43] = tmp_3[43] * evals[66];
    tmp_3[25] = tmp_3[25] + tmp_3[43];
    tmp_3[38] = tmp_3[25] + evals[55];
    tmp_3[25] = tmp_3[38] * evals[66];
    tmp_3[7] = tmp_3[7] + tmp_3[25];
    tmp_3[7] = tmp_3[7] + evals[50];
    tmp_3[7] = tmp_3[7] - evals[68];
    tmp_3[7] = evals[42] * tmp_3[7];
    tmp_3[7] = tmp_3[16] + tmp_3[7];
    tmp_3[43] = challenges[2] * tmp_3[7];
    tmp_3[7] = tmp_3[10] * evals[66];
    tmp_3[16] = tmp_3[3] * evals[65];
    tmp_3[7] = tmp_3[7] + tmp_3[16];
    tmp_3[0] = tmp_3[7] + tmp_3[0];
    tmp_3[0] = tmp_3[0] + tmp_3[25];
    tmp_3[25] = tmp_3[38] * evals[67];
    tmp_3[0] = tmp_3[0] + tmp_3[25];
    tmp_3[0] = tmp_3[0] + evals[51];
    tmp_3[0] = tmp_3[0] - evals[69];
    tmp_3[0] = evals[42] * tmp_3[0];
    tmp_3[0] = tmp_3[43] + tmp_3[0];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[10] = tmp_3[10] * evals[67];
    tmp_3[10] = tmp_3[10] + tmp_3[25];
    tmp_3[38] = tmp_3[38] * evals[65];
    tmp_3[10] = tmp_3[10] + tmp_3[38];
    tmp_3[3] = tmp_3[3] * evals[66];
    tmp_3[3] = tmp_3[10] + tmp_3[3];
    tmp_3[3] = tmp_3[3] + evals[52];
    tmp_3[3] = tmp_3[3] - evals[70];
    tmp_3[3] = evals[42] * tmp_3[3];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[38] = evals[62].sub_from_scalar(Goldilocks::new(1));
    tmp_3[25] = evals[63].sub_from_scalar(Goldilocks::new(1));
    tmp_3[0] = tmp_3[38] * tmp_3[25];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_29(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[10] = evals[44] * tmp_3[0];
    tmp_3[0] = evals[50] - evals[64];
    tmp_3[0] = tmp_3[10] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[51] - evals[65];
    tmp_3[0] = tmp_3[10] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[52] - evals[66];
    tmp_3[0] = tmp_3[10] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[62] * tmp_3[25];
    tmp_3[10] = evals[44] * tmp_3[0];
    tmp_3[0] = evals[53] - evals[64];
    tmp_3[0] = tmp_3[10] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[54] - evals[65];
    tmp_3[0] = tmp_3[10] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[55] - evals[66];
    tmp_3[0] = tmp_3[10] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[0] = tmp_3[38] * evals[63];
    tmp_3[10] = evals[44] * tmp_3[0];
    tmp_3[0] = evals[56] - evals[64];
    tmp_3[0] = tmp_3[10] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[57] - evals[65];
    tmp_3[0] = tmp_3[10] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[58] - evals[66];
    tmp_3[0] = tmp_3[10] * tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[3] = evals[44] * tmp_3[44];
    tmp_3[44] = evals[59] - evals[64];
    tmp_3[44] = tmp_3[3] * tmp_3[44];
    tmp_3[0] = tmp_3[0] + tmp_3[44];
    tmp_3[44] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[60] - evals[65];
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = tmp_3[44] + tmp_3[0];
    tmp_3[44] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[61] - evals[66];
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = tmp_3[44] + tmp_3[0];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[38] = evals[62] * tmp_3[38];
    tmp_3[38] = evals[44] * tmp_3[38];
    tmp_3[0] = tmp_3[0] + tmp_3[38];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[25] = evals[63] * tmp_3[25];
    tmp_3[25] = evals[44] * tmp_3[25];
    tmp_3[0] = tmp_3[0] + tmp_3[25];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[44] = evals[66].sub_from_scalar(Goldilocks::new(1));
    tmp_3[3] = evals[67].sub_from_scalar(Goldilocks::new(1));
    tmp_3[0] = tmp_3[44] * tmp_3[3];
    tmp_3[38] = evals[45] * tmp_3[0];
    tmp_3[0] = evals[50] - evals[68];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[51] - evals[69];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[52] - evals[70];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[53] - evals[71];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[66] * tmp_3[3];
    tmp_3[38] = evals[45] * tmp_3[0];
    tmp_3[0] = evals[54] - evals[68];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[55] - evals[69];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[56] - evals[70];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[57] - evals[71];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_30(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[0] = tmp_3[44] * evals[67];
    tmp_3[38] = evals[45] * tmp_3[0];
    tmp_3[0] = evals[58] - evals[68];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[59] - evals[69];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[60] - evals[70];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[61] - evals[71];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[66] * evals[67];
    tmp_3[38] = evals[45] * tmp_3[0];
    tmp_3[0] = evals[62] - evals[68];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[63] - evals[69];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[64] - evals[70];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[65] - evals[71];
    tmp_3[0] = tmp_3[38] * tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[44] = evals[66] * tmp_3[44];
    tmp_3[44] = evals[45] * tmp_3[44];
    tmp_3[0] = tmp_3[0] + tmp_3[44];
    tmp_3[0] = challenges[2] * tmp_3[0];
    tmp_3[3] = evals[67] * tmp_3[3];
    tmp_3[3] = evals[45] * tmp_3[3];
    tmp_3[0] = tmp_3[0] + tmp_3[3];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[48] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[50];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[3] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = evals[48] * Goldilocks::new(12275445934081160404);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[51];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(4756475762779100925);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[52];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(1279992132519201448);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[53];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(8312008622371998338);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[54];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(7781028390488215464);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[55];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(11302600489504509467);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[56];
    tmp_3[0] = tmp_3[0] * challenges[0];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_31(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[44] = evals[99] * tmp_3[0];
    tmp_3[0] = evals[3] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[50];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[3] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = evals[4] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[51];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[5] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[52];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[6] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[53];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[7] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[54];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[8] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[55];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[9] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[56];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[10] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[57];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = tmp_3[44] - tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[3] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(4549350404001778198);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[57];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[25] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = evals[48] * Goldilocks::new(3688660304411827445);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[58];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(16725109960945739746);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[59];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(16538725463549498621);
    tmp_3[0] = tmp_3[0] * challenges[0];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_32(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[0] = tmp_3[0] + evals[60];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(12756200801261202346);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[61];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(15099809066790865939);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[62];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(17214954929431464349);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[63];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[25] * tmp_3[0];
    tmp_3[44] = evals[100] * tmp_3[0];
    tmp_3[0] = evals[11] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[58];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = evals[99] * tmp_3[0];
    tmp_3[0] = evals[12] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[59];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = evals[13] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[60];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = evals[14] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[61];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = evals[15] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[62];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = evals[16] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[63];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = evals[17] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[64];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = tmp_3[44] - tmp_3[0];
    tmp_3[0] = tmp_3[3] + tmp_3[0];
    tmp_3[25] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(11016800570561344835);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[64];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_33(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[3] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = evals[48] * Goldilocks::new(11274872323250451096);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[65];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(6534114114080170934);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[66];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(13047390008333835222);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[67];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(11189528522318044176);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[68];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(3320735505586735876);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[69];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(7240278926970958133);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[70];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[44] = evals[101] * tmp_3[0];
    tmp_3[0] = evals[18] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[65];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = evals[100] * tmp_3[0];
    tmp_3[0] = evals[19] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[66];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[20] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[67];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[21] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[68];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[22] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[69];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[23] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[70];
    tmp_3[0] = tmp_3[0] * challenges[0];
}

#[inline(never)]
#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify_chunk_34(tmp_3: &mut [CubicExtensionField<Goldilocks>], challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>], zi: &[CubicExtensionField<Goldilocks>]) {
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[3] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = evals[24] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[71];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[3] * tmp_3[0];
    tmp_3[0] = tmp_3[44] - tmp_3[0];
    tmp_3[0] = tmp_3[25] + tmp_3[0];
    tmp_3[38] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(8246665031048405574);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[71];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[25] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = evals[48] * Goldilocks::new(12693612801792047873);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[72];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = evals[48] * Goldilocks::new(9404062091095256088);
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[73];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[25] * tmp_3[0];
    tmp_3[3] = evals[98] * tmp_3[0];
    tmp_3[0] = evals[49].sub_from_scalar(Goldilocks::new(1));
    tmp_3[0] = evals[2] * tmp_3[0];
    tmp_3[44] = tmp_3[0] + evals[49];
    tmp_3[0] = evals[25] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[72];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[25] = evals[101] * tmp_3[0];
    tmp_3[0] = evals[26] * challenges[0];
    tmp_3[0] = tmp_3[0] + evals[73];
    tmp_3[0] = tmp_3[0] * challenges[0];
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + challenges[1];
    tmp_3[0] = tmp_3[0] - Goldilocks::new(1);
    tmp_3[0] = tmp_3[0] + Goldilocks::new(1);
    tmp_3[0] = tmp_3[25] * tmp_3[0];
    tmp_3[0] = tmp_3[44] * tmp_3[0];
    tmp_3[0] = tmp_3[3] - tmp_3[0];
    tmp_3[0] = tmp_3[38] + tmp_3[0];
    tmp_3[38] = challenges[2] * tmp_3[0];
    tmp_3[0] = evals[98].sub_from_scalar(Goldilocks::new(1));
    tmp_3[0] = evals[111] * tmp_3[0];
    tmp_3[0] = tmp_3[38] + tmp_3[0];
    tmp_3[0] = tmp_3[0] * zi[0];
}

#[rustfmt::skip]
#[allow(clippy::all)]
fn q_verify(challenges: &[CubicExtensionField<Goldilocks>], evals: &[CubicExtensionField<Goldilocks>], _publics: &[Goldilocks], zi: &[CubicExtensionField<Goldilocks>]) -> CubicExtensionField<Goldilocks> {
    let mut tmp_3 = vec![CubicExtensionField { value: [Goldilocks::ZERO, Goldilocks::ZERO, Goldilocks::ZERO] }; 45];
    q_verify_chunk_0(&mut tmp_3, challenges, evals, _publics);
    q_verify_chunk_1(&mut tmp_3, challenges, evals, _publics);
    q_verify_chunk_2(&mut tmp_3, challenges, evals, _publics);
    q_verify_chunk_3(&mut tmp_3, challenges, evals);
    q_verify_chunk_4(&mut tmp_3, evals);
    q_verify_chunk_5(&mut tmp_3, challenges, evals);
    q_verify_chunk_6(&mut tmp_3, challenges, evals);
    q_verify_chunk_7(&mut tmp_3, evals);
    q_verify_chunk_8(&mut tmp_3, challenges, evals);
    q_verify_chunk_9(&mut tmp_3, challenges, evals);
    q_verify_chunk_10(&mut tmp_3, evals);
    q_verify_chunk_11(&mut tmp_3, evals);
    q_verify_chunk_12(&mut tmp_3, challenges, evals);
    q_verify_chunk_13(&mut tmp_3, challenges, evals);
    q_verify_chunk_14(&mut tmp_3, challenges, evals);
    q_verify_chunk_15(&mut tmp_3, challenges, evals);
    q_verify_chunk_16(&mut tmp_3, challenges, evals);
    q_verify_chunk_17(&mut tmp_3, challenges, evals);
    q_verify_chunk_18(&mut tmp_3, challenges, evals);
    q_verify_chunk_19(&mut tmp_3, challenges, evals);
    q_verify_chunk_20(&mut tmp_3, challenges, evals);
    q_verify_chunk_21(&mut tmp_3, challenges, evals);
    q_verify_chunk_22(&mut tmp_3, challenges, evals);
    q_verify_chunk_23(&mut tmp_3, challenges, evals);
    q_verify_chunk_24(&mut tmp_3, challenges, evals);
    q_verify_chunk_25(&mut tmp_3, challenges, evals);
    q_verify_chunk_26(&mut tmp_3, challenges, evals);
    q_verify_chunk_27(&mut tmp_3, challenges, evals);
    q_verify_chunk_28(&mut tmp_3, challenges, evals);
    q_verify_chunk_29(&mut tmp_3, challenges, evals);
    q_verify_chunk_30(&mut tmp_3, challenges, evals);
    q_verify_chunk_31(&mut tmp_3, challenges, evals);
    q_verify_chunk_32(&mut tmp_3, challenges, evals);
    q_verify_chunk_33(&mut tmp_3, challenges, evals);
    q_verify_chunk_34(&mut tmp_3, challenges, evals, zi);
    return tmp_3[0];
}

#[rustfmt::skip]
fn verifier_info() -> VerifierInfo {
    VerifierInfo {
        n_stages: 2,
        n_constants: 47,
        n_evals: 130,
        n_bits: 15,
        n_bits_ext: 19,
        arity: 2,
        n_fri_queries: 54,
        n_fri_steps: 4,
        n_challenges: 6,
        n_challenges_total: 11,
        fri_steps: vec![19, 16, 13, 10],
        hash_commits: true,
        last_level_verification: 6,
        pow_bits: 22,
        num_vals: vec![48, 12, 21],
        opening_points: vec![-2, -1, 0, 1, 2],
        boundaries: vec![Boundary { name: "everyRow".to_string(), offset_min: None, offset_max: None }],
        fri_ev_groups: vec![
            FriEvalGroup { opening: 0, refs: vec![FriEvalRef::new(0, 44, 1)] },
            FriEvalGroup { opening: 1, refs: vec![FriEvalRef::new(0, 44, 1), FriEvalRef::new(2, 0, 3)] },
            FriEvalGroup { opening: 2, refs: vec![FriEvalRef::new(0, 0, 1), FriEvalRef::new(0, 1, 1), FriEvalRef::new(0, 2, 1), FriEvalRef::new(0, 3, 1), FriEvalRef::new(0, 4, 1), FriEvalRef::new(0, 5, 1), FriEvalRef::new(0, 6, 1), FriEvalRef::new(0, 7, 1), FriEvalRef::new(0, 8, 1), FriEvalRef::new(0, 9, 1), FriEvalRef::new(0, 10, 1), FriEvalRef::new(0, 11, 1), FriEvalRef::new(0, 12, 1), FriEvalRef::new(0, 13, 1), FriEvalRef::new(0, 14, 1), FriEvalRef::new(0, 15, 1), FriEvalRef::new(0, 16, 1), FriEvalRef::new(0, 17, 1), FriEvalRef::new(0, 18, 1), FriEvalRef::new(0, 19, 1), FriEvalRef::new(0, 20, 1), FriEvalRef::new(0, 21, 1), FriEvalRef::new(0, 22, 1), FriEvalRef::new(0, 23, 1), FriEvalRef::new(0, 24, 1), FriEvalRef::new(0, 25, 1), FriEvalRef::new(0, 26, 1), FriEvalRef::new(0, 27, 1), FriEvalRef::new(0, 28, 1), FriEvalRef::new(0, 29, 1), FriEvalRef::new(0, 30, 1), FriEvalRef::new(0, 31, 1), FriEvalRef::new(0, 32, 1), FriEvalRef::new(0, 33, 1), FriEvalRef::new(0, 34, 1), FriEvalRef::new(0, 35, 1), FriEvalRef::new(0, 36, 1), FriEvalRef::new(0, 37, 1), FriEvalRef::new(0, 38, 1), FriEvalRef::new(0, 39, 1), FriEvalRef::new(0, 40, 1), FriEvalRef::new(0, 41, 1), FriEvalRef::new(0, 42, 1), FriEvalRef::new(0, 43, 1), FriEvalRef::new(0, 44, 1), FriEvalRef::new(0, 45, 1), FriEvalRef::new(0, 46, 1), FriEvalRef::new(1, 0, 1), FriEvalRef::new(1, 1, 1), FriEvalRef::new(1, 2, 1), FriEvalRef::new(1, 3, 1), FriEvalRef::new(1, 4, 1), FriEvalRef::new(1, 5, 1), FriEvalRef::new(1, 6, 1), FriEvalRef::new(1, 7, 1), FriEvalRef::new(1, 8, 1), FriEvalRef::new(1, 9, 1), FriEvalRef::new(1, 10, 1), FriEvalRef::new(1, 11, 1), FriEvalRef::new(1, 12, 1), FriEvalRef::new(1, 13, 1), FriEvalRef::new(1, 14, 1), FriEvalRef::new(1, 15, 1), FriEvalRef::new(1, 16, 1), FriEvalRef::new(1, 17, 1), FriEvalRef::new(1, 18, 1), FriEvalRef::new(1, 19, 1), FriEvalRef::new(1, 20, 1), FriEvalRef::new(1, 21, 1), FriEvalRef::new(1, 22, 1), FriEvalRef::new(1, 23, 1), FriEvalRef::new(1, 24, 1), FriEvalRef::new(1, 25, 1), FriEvalRef::new(1, 26, 1), FriEvalRef::new(1, 27, 1), FriEvalRef::new(1, 28, 1), FriEvalRef::new(1, 29, 1), FriEvalRef::new(1, 30, 1), FriEvalRef::new(1, 31, 1), FriEvalRef::new(1, 32, 1), FriEvalRef::new(1, 33, 1), FriEvalRef::new(1, 34, 1), FriEvalRef::new(1, 35, 1), FriEvalRef::new(1, 36, 1), FriEvalRef::new(1, 37, 1), FriEvalRef::new(1, 38, 1), FriEvalRef::new(1, 39, 1), FriEvalRef::new(1, 40, 1), FriEvalRef::new(1, 41, 1), FriEvalRef::new(1, 42, 1), FriEvalRef::new(1, 43, 1), FriEvalRef::new(1, 44, 1), FriEvalRef::new(1, 45, 1), FriEvalRef::new(1, 46, 1), FriEvalRef::new(1, 47, 1), FriEvalRef::new(2, 0, 3), FriEvalRef::new(2, 3, 3), FriEvalRef::new(2, 6, 3), FriEvalRef::new(2, 9, 3), FriEvalRef::new(3, 0, 3), FriEvalRef::new(3, 3, 3), FriEvalRef::new(3, 6, 3), FriEvalRef::new(3, 9, 3), FriEvalRef::new(3, 12, 3), FriEvalRef::new(3, 15, 3), FriEvalRef::new(3, 18, 3)] },
            FriEvalGroup { opening: 3, refs: vec![FriEvalRef::new(0, 36, 1), FriEvalRef::new(0, 37, 1), FriEvalRef::new(0, 46, 1), FriEvalRef::new(1, 15, 1), FriEvalRef::new(1, 16, 1), FriEvalRef::new(1, 17, 1), FriEvalRef::new(1, 18, 1), FriEvalRef::new(1, 19, 1), FriEvalRef::new(1, 20, 1), FriEvalRef::new(1, 21, 1), FriEvalRef::new(1, 22, 1), FriEvalRef::new(1, 23, 1), FriEvalRef::new(1, 24, 1), FriEvalRef::new(1, 25, 1), FriEvalRef::new(1, 26, 1), FriEvalRef::new(1, 27, 1), FriEvalRef::new(1, 28, 1), FriEvalRef::new(1, 29, 1), FriEvalRef::new(1, 30, 1), FriEvalRef::new(1, 31, 1)] },
            FriEvalGroup { opening: 4, refs: vec![FriEvalRef::new(1, 15, 1)] }
        ],
        q_deg: 7,
        q_index: 102,
    }
}

pub fn verify(proof: &VadcopFinalProof, vk: &[u64]) -> bool {
    stark_verify::<Poseidon2_8, Poseidon2_8, Transcript<Goldilocks, Poseidon2_16>, Poseidon2_8>(
        &proof.proof_with_publics(),
        vk,
        &verifier_info(),
        q_verify,
    )
}

pub fn verify_u64(proof: &[u64], vk: &[u64]) -> bool {
    stark_verify::<Poseidon2_8, Poseidon2_8, Transcript<Goldilocks, Poseidon2_16>, Poseidon2_8>(
        proof,
        vk,
        &verifier_info(),
        q_verify,
    )
}

pub fn expected_proof_bytes() -> usize {
    proofman_verifier::expected_proof_size_bytes(&verifier_info())
}