// This file was created by the AIR team.
use crate::components::prelude::*;
use crate::components::subroutines::add_252::Add252;
use crate::components::subroutines::mul_252::Mul252;
use crate::components::subroutines::range_check_mem_value_n_28::RangeCheckMemValueN28;
use crate::components::subroutines::verify_mul_252::VerifyMul252;
#[derive(Copy, Clone, Serialize, Deserialize, CairoSerialize)]
pub struct EcDouble {}
impl EcDouble {
#[allow(unused_parens)]
#[allow(clippy::double_parens)]
#[allow(non_snake_case)]
#[allow(clippy::unused_unit)]
#[allow(unused_variables)]
#[allow(clippy::too_many_arguments)]
pub fn evaluate<E: EvalAtRow>(
[ec_double_input_x_limb_0, ec_double_input_x_limb_1, ec_double_input_x_limb_2, ec_double_input_x_limb_3, ec_double_input_x_limb_4, ec_double_input_x_limb_5, ec_double_input_x_limb_6, ec_double_input_x_limb_7, ec_double_input_x_limb_8, ec_double_input_x_limb_9, ec_double_input_x_limb_10, ec_double_input_x_limb_11, ec_double_input_x_limb_12, ec_double_input_x_limb_13, ec_double_input_x_limb_14, ec_double_input_x_limb_15, ec_double_input_x_limb_16, ec_double_input_x_limb_17, ec_double_input_x_limb_18, ec_double_input_x_limb_19, ec_double_input_x_limb_20, ec_double_input_x_limb_21, ec_double_input_x_limb_22, ec_double_input_x_limb_23, ec_double_input_x_limb_24, ec_double_input_x_limb_25, ec_double_input_x_limb_26, ec_double_input_x_limb_27, ec_double_input_y_limb_0, ec_double_input_y_limb_1, ec_double_input_y_limb_2, ec_double_input_y_limb_3, ec_double_input_y_limb_4, ec_double_input_y_limb_5, ec_double_input_y_limb_6, ec_double_input_y_limb_7, ec_double_input_y_limb_8, ec_double_input_y_limb_9, ec_double_input_y_limb_10, ec_double_input_y_limb_11, ec_double_input_y_limb_12, ec_double_input_y_limb_13, ec_double_input_y_limb_14, ec_double_input_y_limb_15, ec_double_input_y_limb_16, ec_double_input_y_limb_17, ec_double_input_y_limb_18, ec_double_input_y_limb_19, ec_double_input_y_limb_20, ec_double_input_y_limb_21, ec_double_input_y_limb_22, ec_double_input_y_limb_23, ec_double_input_y_limb_24, ec_double_input_y_limb_25, ec_double_input_y_limb_26, ec_double_input_y_limb_27]: [E::F; 56],
mul_res_limb_0_col0: E::F,
mul_res_limb_1_col1: E::F,
mul_res_limb_2_col2: E::F,
mul_res_limb_3_col3: E::F,
mul_res_limb_4_col4: E::F,
mul_res_limb_5_col5: E::F,
mul_res_limb_6_col6: E::F,
mul_res_limb_7_col7: E::F,
mul_res_limb_8_col8: E::F,
mul_res_limb_9_col9: E::F,
mul_res_limb_10_col10: E::F,
mul_res_limb_11_col11: E::F,
mul_res_limb_12_col12: E::F,
mul_res_limb_13_col13: E::F,
mul_res_limb_14_col14: E::F,
mul_res_limb_15_col15: E::F,
mul_res_limb_16_col16: E::F,
mul_res_limb_17_col17: E::F,
mul_res_limb_18_col18: E::F,
mul_res_limb_19_col19: E::F,
mul_res_limb_20_col20: E::F,
mul_res_limb_21_col21: E::F,
mul_res_limb_22_col22: E::F,
mul_res_limb_23_col23: E::F,
mul_res_limb_24_col24: E::F,
mul_res_limb_25_col25: E::F,
mul_res_limb_26_col26: E::F,
mul_res_limb_27_col27: E::F,
k_col28: E::F,
carry_0_col29: E::F,
carry_1_col30: E::F,
carry_2_col31: E::F,
carry_3_col32: E::F,
carry_4_col33: E::F,
carry_5_col34: E::F,
carry_6_col35: E::F,
carry_7_col36: E::F,
carry_8_col37: E::F,
carry_9_col38: E::F,
carry_10_col39: E::F,
carry_11_col40: E::F,
carry_12_col41: E::F,
carry_13_col42: E::F,
carry_14_col43: E::F,
carry_15_col44: E::F,
carry_16_col45: E::F,
carry_17_col46: E::F,
carry_18_col47: E::F,
carry_19_col48: E::F,
carry_20_col49: E::F,
carry_21_col50: E::F,
carry_22_col51: E::F,
carry_23_col52: E::F,
carry_24_col53: E::F,
carry_25_col54: E::F,
carry_26_col55: E::F,
add_res_limb_0_col56: E::F,
add_res_limb_1_col57: E::F,
add_res_limb_2_col58: E::F,
add_res_limb_3_col59: E::F,
add_res_limb_4_col60: E::F,
add_res_limb_5_col61: E::F,
add_res_limb_6_col62: E::F,
add_res_limb_7_col63: E::F,
add_res_limb_8_col64: E::F,
add_res_limb_9_col65: E::F,
add_res_limb_10_col66: E::F,
add_res_limb_11_col67: E::F,
add_res_limb_12_col68: E::F,
add_res_limb_13_col69: E::F,
add_res_limb_14_col70: E::F,
add_res_limb_15_col71: E::F,
add_res_limb_16_col72: E::F,
add_res_limb_17_col73: E::F,
add_res_limb_18_col74: E::F,
add_res_limb_19_col75: E::F,
add_res_limb_20_col76: E::F,
add_res_limb_21_col77: E::F,
add_res_limb_22_col78: E::F,
add_res_limb_23_col79: E::F,
add_res_limb_24_col80: E::F,
add_res_limb_25_col81: E::F,
add_res_limb_26_col82: E::F,
add_res_limb_27_col83: E::F,
sub_p_bit_col84: E::F,
slope_limb_0_col85: E::F,
slope_limb_1_col86: E::F,
slope_limb_2_col87: E::F,
slope_limb_3_col88: E::F,
slope_limb_4_col89: E::F,
slope_limb_5_col90: E::F,
slope_limb_6_col91: E::F,
slope_limb_7_col92: E::F,
slope_limb_8_col93: E::F,
slope_limb_9_col94: E::F,
slope_limb_10_col95: E::F,
slope_limb_11_col96: E::F,
slope_limb_12_col97: E::F,
slope_limb_13_col98: E::F,
slope_limb_14_col99: E::F,
slope_limb_15_col100: E::F,
slope_limb_16_col101: E::F,
slope_limb_17_col102: E::F,
slope_limb_18_col103: E::F,
slope_limb_19_col104: E::F,
slope_limb_20_col105: E::F,
slope_limb_21_col106: E::F,
slope_limb_22_col107: E::F,
slope_limb_23_col108: E::F,
slope_limb_24_col109: E::F,
slope_limb_25_col110: E::F,
slope_limb_26_col111: E::F,
slope_limb_27_col112: E::F,
k_col113: E::F,
carry_0_col114: E::F,
carry_1_col115: E::F,
carry_2_col116: E::F,
carry_3_col117: E::F,
carry_4_col118: E::F,
carry_5_col119: E::F,
carry_6_col120: E::F,
carry_7_col121: E::F,
carry_8_col122: E::F,
carry_9_col123: E::F,
carry_10_col124: E::F,
carry_11_col125: E::F,
carry_12_col126: E::F,
carry_13_col127: E::F,
carry_14_col128: E::F,
carry_15_col129: E::F,
carry_16_col130: E::F,
carry_17_col131: E::F,
carry_18_col132: E::F,
carry_19_col133: E::F,
carry_20_col134: E::F,
carry_21_col135: E::F,
carry_22_col136: E::F,
carry_23_col137: E::F,
carry_24_col138: E::F,
carry_25_col139: E::F,
carry_26_col140: E::F,
result_x_limb_0_col141: E::F,
result_x_limb_1_col142: E::F,
result_x_limb_2_col143: E::F,
result_x_limb_3_col144: E::F,
result_x_limb_4_col145: E::F,
result_x_limb_5_col146: E::F,
result_x_limb_6_col147: E::F,
result_x_limb_7_col148: E::F,
result_x_limb_8_col149: E::F,
result_x_limb_9_col150: E::F,
result_x_limb_10_col151: E::F,
result_x_limb_11_col152: E::F,
result_x_limb_12_col153: E::F,
result_x_limb_13_col154: E::F,
result_x_limb_14_col155: E::F,
result_x_limb_15_col156: E::F,
result_x_limb_16_col157: E::F,
result_x_limb_17_col158: E::F,
result_x_limb_18_col159: E::F,
result_x_limb_19_col160: E::F,
result_x_limb_20_col161: E::F,
result_x_limb_21_col162: E::F,
result_x_limb_22_col163: E::F,
result_x_limb_23_col164: E::F,
result_x_limb_24_col165: E::F,
result_x_limb_25_col166: E::F,
result_x_limb_26_col167: E::F,
result_x_limb_27_col168: E::F,
k_col169: E::F,
carry_0_col170: E::F,
carry_1_col171: E::F,
carry_2_col172: E::F,
carry_3_col173: E::F,
carry_4_col174: E::F,
carry_5_col175: E::F,
carry_6_col176: E::F,
carry_7_col177: E::F,
carry_8_col178: E::F,
carry_9_col179: E::F,
carry_10_col180: E::F,
carry_11_col181: E::F,
carry_12_col182: E::F,
carry_13_col183: E::F,
carry_14_col184: E::F,
carry_15_col185: E::F,
carry_16_col186: E::F,
carry_17_col187: E::F,
carry_18_col188: E::F,
carry_19_col189: E::F,
carry_20_col190: E::F,
carry_21_col191: E::F,
carry_22_col192: E::F,
carry_23_col193: E::F,
carry_24_col194: E::F,
carry_25_col195: E::F,
carry_26_col196: E::F,
result_y_limb_0_col197: E::F,
result_y_limb_1_col198: E::F,
result_y_limb_2_col199: E::F,
result_y_limb_3_col200: E::F,
result_y_limb_4_col201: E::F,
result_y_limb_5_col202: E::F,
result_y_limb_6_col203: E::F,
result_y_limb_7_col204: E::F,
result_y_limb_8_col205: E::F,
result_y_limb_9_col206: E::F,
result_y_limb_10_col207: E::F,
result_y_limb_11_col208: E::F,
result_y_limb_12_col209: E::F,
result_y_limb_13_col210: E::F,
result_y_limb_14_col211: E::F,
result_y_limb_15_col212: E::F,
result_y_limb_16_col213: E::F,
result_y_limb_17_col214: E::F,
result_y_limb_18_col215: E::F,
result_y_limb_19_col216: E::F,
result_y_limb_20_col217: E::F,
result_y_limb_21_col218: E::F,
result_y_limb_22_col219: E::F,
result_y_limb_23_col220: E::F,
result_y_limb_24_col221: E::F,
result_y_limb_25_col222: E::F,
result_y_limb_26_col223: E::F,
result_y_limb_27_col224: E::F,
k_col225: E::F,
carry_0_col226: E::F,
carry_1_col227: E::F,
carry_2_col228: E::F,
carry_3_col229: E::F,
carry_4_col230: E::F,
carry_5_col231: E::F,
carry_6_col232: E::F,
carry_7_col233: E::F,
carry_8_col234: E::F,
carry_9_col235: E::F,
carry_10_col236: E::F,
carry_11_col237: E::F,
carry_12_col238: E::F,
carry_13_col239: E::F,
carry_14_col240: E::F,
carry_15_col241: E::F,
carry_16_col242: E::F,
carry_17_col243: E::F,
carry_18_col244: E::F,
carry_19_col245: E::F,
carry_20_col246: E::F,
carry_21_col247: E::F,
carry_22_col248: E::F,
carry_23_col249: E::F,
carry_24_col250: E::F,
carry_25_col251: E::F,
carry_26_col252: E::F,
common_lookup_elements: &relations::CommonLookupElements,
eval: &mut E,
) -> [E::F; 0] {
let M31_1 = E::F::from(M31::from(1));
let M31_3 = E::F::from(M31::from(3));
Mul252::evaluate(
[
ec_double_input_x_limb_0.clone(),
ec_double_input_x_limb_1.clone(),
ec_double_input_x_limb_2.clone(),
ec_double_input_x_limb_3.clone(),
ec_double_input_x_limb_4.clone(),
ec_double_input_x_limb_5.clone(),
ec_double_input_x_limb_6.clone(),
ec_double_input_x_limb_7.clone(),
ec_double_input_x_limb_8.clone(),
ec_double_input_x_limb_9.clone(),
ec_double_input_x_limb_10.clone(),
ec_double_input_x_limb_11.clone(),
ec_double_input_x_limb_12.clone(),
ec_double_input_x_limb_13.clone(),
ec_double_input_x_limb_14.clone(),
ec_double_input_x_limb_15.clone(),
ec_double_input_x_limb_16.clone(),
ec_double_input_x_limb_17.clone(),
ec_double_input_x_limb_18.clone(),
ec_double_input_x_limb_19.clone(),
ec_double_input_x_limb_20.clone(),
ec_double_input_x_limb_21.clone(),
ec_double_input_x_limb_22.clone(),
ec_double_input_x_limb_23.clone(),
ec_double_input_x_limb_24.clone(),
ec_double_input_x_limb_25.clone(),
ec_double_input_x_limb_26.clone(),
ec_double_input_x_limb_27.clone(),
ec_double_input_x_limb_0.clone(),
ec_double_input_x_limb_1.clone(),
ec_double_input_x_limb_2.clone(),
ec_double_input_x_limb_3.clone(),
ec_double_input_x_limb_4.clone(),
ec_double_input_x_limb_5.clone(),
ec_double_input_x_limb_6.clone(),
ec_double_input_x_limb_7.clone(),
ec_double_input_x_limb_8.clone(),
ec_double_input_x_limb_9.clone(),
ec_double_input_x_limb_10.clone(),
ec_double_input_x_limb_11.clone(),
ec_double_input_x_limb_12.clone(),
ec_double_input_x_limb_13.clone(),
ec_double_input_x_limb_14.clone(),
ec_double_input_x_limb_15.clone(),
ec_double_input_x_limb_16.clone(),
ec_double_input_x_limb_17.clone(),
ec_double_input_x_limb_18.clone(),
ec_double_input_x_limb_19.clone(),
ec_double_input_x_limb_20.clone(),
ec_double_input_x_limb_21.clone(),
ec_double_input_x_limb_22.clone(),
ec_double_input_x_limb_23.clone(),
ec_double_input_x_limb_24.clone(),
ec_double_input_x_limb_25.clone(),
ec_double_input_x_limb_26.clone(),
ec_double_input_x_limb_27.clone(),
],
mul_res_limb_0_col0.clone(),
mul_res_limb_1_col1.clone(),
mul_res_limb_2_col2.clone(),
mul_res_limb_3_col3.clone(),
mul_res_limb_4_col4.clone(),
mul_res_limb_5_col5.clone(),
mul_res_limb_6_col6.clone(),
mul_res_limb_7_col7.clone(),
mul_res_limb_8_col8.clone(),
mul_res_limb_9_col9.clone(),
mul_res_limb_10_col10.clone(),
mul_res_limb_11_col11.clone(),
mul_res_limb_12_col12.clone(),
mul_res_limb_13_col13.clone(),
mul_res_limb_14_col14.clone(),
mul_res_limb_15_col15.clone(),
mul_res_limb_16_col16.clone(),
mul_res_limb_17_col17.clone(),
mul_res_limb_18_col18.clone(),
mul_res_limb_19_col19.clone(),
mul_res_limb_20_col20.clone(),
mul_res_limb_21_col21.clone(),
mul_res_limb_22_col22.clone(),
mul_res_limb_23_col23.clone(),
mul_res_limb_24_col24.clone(),
mul_res_limb_25_col25.clone(),
mul_res_limb_26_col26.clone(),
mul_res_limb_27_col27.clone(),
k_col28.clone(),
carry_0_col29.clone(),
carry_1_col30.clone(),
carry_2_col31.clone(),
carry_3_col32.clone(),
carry_4_col33.clone(),
carry_5_col34.clone(),
carry_6_col35.clone(),
carry_7_col36.clone(),
carry_8_col37.clone(),
carry_9_col38.clone(),
carry_10_col39.clone(),
carry_11_col40.clone(),
carry_12_col41.clone(),
carry_13_col42.clone(),
carry_14_col43.clone(),
carry_15_col44.clone(),
carry_16_col45.clone(),
carry_17_col46.clone(),
carry_18_col47.clone(),
carry_19_col48.clone(),
carry_20_col49.clone(),
carry_21_col50.clone(),
carry_22_col51.clone(),
carry_23_col52.clone(),
carry_24_col53.clone(),
carry_25_col54.clone(),
carry_26_col55.clone(),
common_lookup_elements,
eval,
);
Add252::evaluate(
[
ec_double_input_y_limb_0.clone(),
ec_double_input_y_limb_1.clone(),
ec_double_input_y_limb_2.clone(),
ec_double_input_y_limb_3.clone(),
ec_double_input_y_limb_4.clone(),
ec_double_input_y_limb_5.clone(),
ec_double_input_y_limb_6.clone(),
ec_double_input_y_limb_7.clone(),
ec_double_input_y_limb_8.clone(),
ec_double_input_y_limb_9.clone(),
ec_double_input_y_limb_10.clone(),
ec_double_input_y_limb_11.clone(),
ec_double_input_y_limb_12.clone(),
ec_double_input_y_limb_13.clone(),
ec_double_input_y_limb_14.clone(),
ec_double_input_y_limb_15.clone(),
ec_double_input_y_limb_16.clone(),
ec_double_input_y_limb_17.clone(),
ec_double_input_y_limb_18.clone(),
ec_double_input_y_limb_19.clone(),
ec_double_input_y_limb_20.clone(),
ec_double_input_y_limb_21.clone(),
ec_double_input_y_limb_22.clone(),
ec_double_input_y_limb_23.clone(),
ec_double_input_y_limb_24.clone(),
ec_double_input_y_limb_25.clone(),
ec_double_input_y_limb_26.clone(),
ec_double_input_y_limb_27.clone(),
ec_double_input_y_limb_0.clone(),
ec_double_input_y_limb_1.clone(),
ec_double_input_y_limb_2.clone(),
ec_double_input_y_limb_3.clone(),
ec_double_input_y_limb_4.clone(),
ec_double_input_y_limb_5.clone(),
ec_double_input_y_limb_6.clone(),
ec_double_input_y_limb_7.clone(),
ec_double_input_y_limb_8.clone(),
ec_double_input_y_limb_9.clone(),
ec_double_input_y_limb_10.clone(),
ec_double_input_y_limb_11.clone(),
ec_double_input_y_limb_12.clone(),
ec_double_input_y_limb_13.clone(),
ec_double_input_y_limb_14.clone(),
ec_double_input_y_limb_15.clone(),
ec_double_input_y_limb_16.clone(),
ec_double_input_y_limb_17.clone(),
ec_double_input_y_limb_18.clone(),
ec_double_input_y_limb_19.clone(),
ec_double_input_y_limb_20.clone(),
ec_double_input_y_limb_21.clone(),
ec_double_input_y_limb_22.clone(),
ec_double_input_y_limb_23.clone(),
ec_double_input_y_limb_24.clone(),
ec_double_input_y_limb_25.clone(),
ec_double_input_y_limb_26.clone(),
ec_double_input_y_limb_27.clone(),
],
add_res_limb_0_col56.clone(),
add_res_limb_1_col57.clone(),
add_res_limb_2_col58.clone(),
add_res_limb_3_col59.clone(),
add_res_limb_4_col60.clone(),
add_res_limb_5_col61.clone(),
add_res_limb_6_col62.clone(),
add_res_limb_7_col63.clone(),
add_res_limb_8_col64.clone(),
add_res_limb_9_col65.clone(),
add_res_limb_10_col66.clone(),
add_res_limb_11_col67.clone(),
add_res_limb_12_col68.clone(),
add_res_limb_13_col69.clone(),
add_res_limb_14_col70.clone(),
add_res_limb_15_col71.clone(),
add_res_limb_16_col72.clone(),
add_res_limb_17_col73.clone(),
add_res_limb_18_col74.clone(),
add_res_limb_19_col75.clone(),
add_res_limb_20_col76.clone(),
add_res_limb_21_col77.clone(),
add_res_limb_22_col78.clone(),
add_res_limb_23_col79.clone(),
add_res_limb_24_col80.clone(),
add_res_limb_25_col81.clone(),
add_res_limb_26_col82.clone(),
add_res_limb_27_col83.clone(),
sub_p_bit_col84.clone(),
common_lookup_elements,
eval,
);
RangeCheckMemValueN28::evaluate(
[
slope_limb_0_col85.clone(),
slope_limb_1_col86.clone(),
slope_limb_2_col87.clone(),
slope_limb_3_col88.clone(),
slope_limb_4_col89.clone(),
slope_limb_5_col90.clone(),
slope_limb_6_col91.clone(),
slope_limb_7_col92.clone(),
slope_limb_8_col93.clone(),
slope_limb_9_col94.clone(),
slope_limb_10_col95.clone(),
slope_limb_11_col96.clone(),
slope_limb_12_col97.clone(),
slope_limb_13_col98.clone(),
slope_limb_14_col99.clone(),
slope_limb_15_col100.clone(),
slope_limb_16_col101.clone(),
slope_limb_17_col102.clone(),
slope_limb_18_col103.clone(),
slope_limb_19_col104.clone(),
slope_limb_20_col105.clone(),
slope_limb_21_col106.clone(),
slope_limb_22_col107.clone(),
slope_limb_23_col108.clone(),
slope_limb_24_col109.clone(),
slope_limb_25_col110.clone(),
slope_limb_26_col111.clone(),
slope_limb_27_col112.clone(),
],
common_lookup_elements,
eval,
);
let numerator_0_tmp_63f6c_36 =
eval.add_intermediate(((M31_3.clone() * mul_res_limb_0_col0.clone()) + M31_1.clone()));
let numerator_1_tmp_63f6c_37 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_1_col1.clone()));
let numerator_2_tmp_63f6c_38 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_2_col2.clone()));
let numerator_3_tmp_63f6c_39 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_3_col3.clone()));
let numerator_4_tmp_63f6c_40 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_4_col4.clone()));
let numerator_5_tmp_63f6c_41 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_5_col5.clone()));
let numerator_6_tmp_63f6c_42 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_6_col6.clone()));
let numerator_7_tmp_63f6c_43 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_7_col7.clone()));
let numerator_8_tmp_63f6c_44 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_8_col8.clone()));
let numerator_9_tmp_63f6c_45 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_9_col9.clone()));
let numerator_10_tmp_63f6c_46 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_10_col10.clone()));
let numerator_11_tmp_63f6c_47 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_11_col11.clone()));
let numerator_12_tmp_63f6c_48 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_12_col12.clone()));
let numerator_13_tmp_63f6c_49 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_13_col13.clone()));
let numerator_14_tmp_63f6c_50 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_14_col14.clone()));
let numerator_15_tmp_63f6c_51 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_15_col15.clone()));
let numerator_16_tmp_63f6c_52 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_16_col16.clone()));
let numerator_17_tmp_63f6c_53 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_17_col17.clone()));
let numerator_18_tmp_63f6c_54 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_18_col18.clone()));
let numerator_19_tmp_63f6c_55 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_19_col19.clone()));
let numerator_20_tmp_63f6c_56 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_20_col20.clone()));
let numerator_21_tmp_63f6c_57 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_21_col21.clone()));
let numerator_22_tmp_63f6c_58 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_22_col22.clone()));
let numerator_23_tmp_63f6c_59 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_23_col23.clone()));
let numerator_24_tmp_63f6c_60 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_24_col24.clone()));
let numerator_25_tmp_63f6c_61 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_25_col25.clone()));
let numerator_26_tmp_63f6c_62 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_26_col26.clone()));
let numerator_27_tmp_63f6c_63 =
eval.add_intermediate((M31_3.clone() * mul_res_limb_27_col27.clone()));
VerifyMul252::evaluate(
[
slope_limb_0_col85.clone(),
slope_limb_1_col86.clone(),
slope_limb_2_col87.clone(),
slope_limb_3_col88.clone(),
slope_limb_4_col89.clone(),
slope_limb_5_col90.clone(),
slope_limb_6_col91.clone(),
slope_limb_7_col92.clone(),
slope_limb_8_col93.clone(),
slope_limb_9_col94.clone(),
slope_limb_10_col95.clone(),
slope_limb_11_col96.clone(),
slope_limb_12_col97.clone(),
slope_limb_13_col98.clone(),
slope_limb_14_col99.clone(),
slope_limb_15_col100.clone(),
slope_limb_16_col101.clone(),
slope_limb_17_col102.clone(),
slope_limb_18_col103.clone(),
slope_limb_19_col104.clone(),
slope_limb_20_col105.clone(),
slope_limb_21_col106.clone(),
slope_limb_22_col107.clone(),
slope_limb_23_col108.clone(),
slope_limb_24_col109.clone(),
slope_limb_25_col110.clone(),
slope_limb_26_col111.clone(),
slope_limb_27_col112.clone(),
add_res_limb_0_col56.clone(),
add_res_limb_1_col57.clone(),
add_res_limb_2_col58.clone(),
add_res_limb_3_col59.clone(),
add_res_limb_4_col60.clone(),
add_res_limb_5_col61.clone(),
add_res_limb_6_col62.clone(),
add_res_limb_7_col63.clone(),
add_res_limb_8_col64.clone(),
add_res_limb_9_col65.clone(),
add_res_limb_10_col66.clone(),
add_res_limb_11_col67.clone(),
add_res_limb_12_col68.clone(),
add_res_limb_13_col69.clone(),
add_res_limb_14_col70.clone(),
add_res_limb_15_col71.clone(),
add_res_limb_16_col72.clone(),
add_res_limb_17_col73.clone(),
add_res_limb_18_col74.clone(),
add_res_limb_19_col75.clone(),
add_res_limb_20_col76.clone(),
add_res_limb_21_col77.clone(),
add_res_limb_22_col78.clone(),
add_res_limb_23_col79.clone(),
add_res_limb_24_col80.clone(),
add_res_limb_25_col81.clone(),
add_res_limb_26_col82.clone(),
add_res_limb_27_col83.clone(),
numerator_0_tmp_63f6c_36.clone(),
numerator_1_tmp_63f6c_37.clone(),
numerator_2_tmp_63f6c_38.clone(),
numerator_3_tmp_63f6c_39.clone(),
numerator_4_tmp_63f6c_40.clone(),
numerator_5_tmp_63f6c_41.clone(),
numerator_6_tmp_63f6c_42.clone(),
numerator_7_tmp_63f6c_43.clone(),
numerator_8_tmp_63f6c_44.clone(),
numerator_9_tmp_63f6c_45.clone(),
numerator_10_tmp_63f6c_46.clone(),
numerator_11_tmp_63f6c_47.clone(),
numerator_12_tmp_63f6c_48.clone(),
numerator_13_tmp_63f6c_49.clone(),
numerator_14_tmp_63f6c_50.clone(),
numerator_15_tmp_63f6c_51.clone(),
numerator_16_tmp_63f6c_52.clone(),
numerator_17_tmp_63f6c_53.clone(),
numerator_18_tmp_63f6c_54.clone(),
numerator_19_tmp_63f6c_55.clone(),
numerator_20_tmp_63f6c_56.clone(),
numerator_21_tmp_63f6c_57.clone(),
numerator_22_tmp_63f6c_58.clone(),
numerator_23_tmp_63f6c_59.clone(),
numerator_24_tmp_63f6c_60.clone(),
numerator_25_tmp_63f6c_61.clone(),
numerator_26_tmp_63f6c_62.clone(),
numerator_27_tmp_63f6c_63.clone(),
],
k_col113.clone(),
carry_0_col114.clone(),
carry_1_col115.clone(),
carry_2_col116.clone(),
carry_3_col117.clone(),
carry_4_col118.clone(),
carry_5_col119.clone(),
carry_6_col120.clone(),
carry_7_col121.clone(),
carry_8_col122.clone(),
carry_9_col123.clone(),
carry_10_col124.clone(),
carry_11_col125.clone(),
carry_12_col126.clone(),
carry_13_col127.clone(),
carry_14_col128.clone(),
carry_15_col129.clone(),
carry_16_col130.clone(),
carry_17_col131.clone(),
carry_18_col132.clone(),
carry_19_col133.clone(),
carry_20_col134.clone(),
carry_21_col135.clone(),
carry_22_col136.clone(),
carry_23_col137.clone(),
carry_24_col138.clone(),
carry_25_col139.clone(),
carry_26_col140.clone(),
common_lookup_elements,
eval,
);
RangeCheckMemValueN28::evaluate(
[
result_x_limb_0_col141.clone(),
result_x_limb_1_col142.clone(),
result_x_limb_2_col143.clone(),
result_x_limb_3_col144.clone(),
result_x_limb_4_col145.clone(),
result_x_limb_5_col146.clone(),
result_x_limb_6_col147.clone(),
result_x_limb_7_col148.clone(),
result_x_limb_8_col149.clone(),
result_x_limb_9_col150.clone(),
result_x_limb_10_col151.clone(),
result_x_limb_11_col152.clone(),
result_x_limb_12_col153.clone(),
result_x_limb_13_col154.clone(),
result_x_limb_14_col155.clone(),
result_x_limb_15_col156.clone(),
result_x_limb_16_col157.clone(),
result_x_limb_17_col158.clone(),
result_x_limb_18_col159.clone(),
result_x_limb_19_col160.clone(),
result_x_limb_20_col161.clone(),
result_x_limb_21_col162.clone(),
result_x_limb_22_col163.clone(),
result_x_limb_23_col164.clone(),
result_x_limb_24_col165.clone(),
result_x_limb_25_col166.clone(),
result_x_limb_26_col167.clone(),
result_x_limb_27_col168.clone(),
],
common_lookup_elements,
eval,
);
let x_sum_0_tmp_63f6c_86 = eval.add_intermediate(
((ec_double_input_x_limb_0.clone() + ec_double_input_x_limb_0.clone())
+ result_x_limb_0_col141.clone()),
);
let x_sum_1_tmp_63f6c_87 = eval.add_intermediate(
((ec_double_input_x_limb_1.clone() + ec_double_input_x_limb_1.clone())
+ result_x_limb_1_col142.clone()),
);
let x_sum_2_tmp_63f6c_88 = eval.add_intermediate(
((ec_double_input_x_limb_2.clone() + ec_double_input_x_limb_2.clone())
+ result_x_limb_2_col143.clone()),
);
let x_sum_3_tmp_63f6c_89 = eval.add_intermediate(
((ec_double_input_x_limb_3.clone() + ec_double_input_x_limb_3.clone())
+ result_x_limb_3_col144.clone()),
);
let x_sum_4_tmp_63f6c_90 = eval.add_intermediate(
((ec_double_input_x_limb_4.clone() + ec_double_input_x_limb_4.clone())
+ result_x_limb_4_col145.clone()),
);
let x_sum_5_tmp_63f6c_91 = eval.add_intermediate(
((ec_double_input_x_limb_5.clone() + ec_double_input_x_limb_5.clone())
+ result_x_limb_5_col146.clone()),
);
let x_sum_6_tmp_63f6c_92 = eval.add_intermediate(
((ec_double_input_x_limb_6.clone() + ec_double_input_x_limb_6.clone())
+ result_x_limb_6_col147.clone()),
);
let x_sum_7_tmp_63f6c_93 = eval.add_intermediate(
((ec_double_input_x_limb_7.clone() + ec_double_input_x_limb_7.clone())
+ result_x_limb_7_col148.clone()),
);
let x_sum_8_tmp_63f6c_94 = eval.add_intermediate(
((ec_double_input_x_limb_8.clone() + ec_double_input_x_limb_8.clone())
+ result_x_limb_8_col149.clone()),
);
let x_sum_9_tmp_63f6c_95 = eval.add_intermediate(
((ec_double_input_x_limb_9.clone() + ec_double_input_x_limb_9.clone())
+ result_x_limb_9_col150.clone()),
);
let x_sum_10_tmp_63f6c_96 = eval.add_intermediate(
((ec_double_input_x_limb_10.clone() + ec_double_input_x_limb_10.clone())
+ result_x_limb_10_col151.clone()),
);
let x_sum_11_tmp_63f6c_97 = eval.add_intermediate(
((ec_double_input_x_limb_11.clone() + ec_double_input_x_limb_11.clone())
+ result_x_limb_11_col152.clone()),
);
let x_sum_12_tmp_63f6c_98 = eval.add_intermediate(
((ec_double_input_x_limb_12.clone() + ec_double_input_x_limb_12.clone())
+ result_x_limb_12_col153.clone()),
);
let x_sum_13_tmp_63f6c_99 = eval.add_intermediate(
((ec_double_input_x_limb_13.clone() + ec_double_input_x_limb_13.clone())
+ result_x_limb_13_col154.clone()),
);
let x_sum_14_tmp_63f6c_100 = eval.add_intermediate(
((ec_double_input_x_limb_14.clone() + ec_double_input_x_limb_14.clone())
+ result_x_limb_14_col155.clone()),
);
let x_sum_15_tmp_63f6c_101 = eval.add_intermediate(
((ec_double_input_x_limb_15.clone() + ec_double_input_x_limb_15.clone())
+ result_x_limb_15_col156.clone()),
);
let x_sum_16_tmp_63f6c_102 = eval.add_intermediate(
((ec_double_input_x_limb_16.clone() + ec_double_input_x_limb_16.clone())
+ result_x_limb_16_col157.clone()),
);
let x_sum_17_tmp_63f6c_103 = eval.add_intermediate(
((ec_double_input_x_limb_17.clone() + ec_double_input_x_limb_17.clone())
+ result_x_limb_17_col158.clone()),
);
let x_sum_18_tmp_63f6c_104 = eval.add_intermediate(
((ec_double_input_x_limb_18.clone() + ec_double_input_x_limb_18.clone())
+ result_x_limb_18_col159.clone()),
);
let x_sum_19_tmp_63f6c_105 = eval.add_intermediate(
((ec_double_input_x_limb_19.clone() + ec_double_input_x_limb_19.clone())
+ result_x_limb_19_col160.clone()),
);
let x_sum_20_tmp_63f6c_106 = eval.add_intermediate(
((ec_double_input_x_limb_20.clone() + ec_double_input_x_limb_20.clone())
+ result_x_limb_20_col161.clone()),
);
let x_sum_21_tmp_63f6c_107 = eval.add_intermediate(
((ec_double_input_x_limb_21.clone() + ec_double_input_x_limb_21.clone())
+ result_x_limb_21_col162.clone()),
);
let x_sum_22_tmp_63f6c_108 = eval.add_intermediate(
((ec_double_input_x_limb_22.clone() + ec_double_input_x_limb_22.clone())
+ result_x_limb_22_col163.clone()),
);
let x_sum_23_tmp_63f6c_109 = eval.add_intermediate(
((ec_double_input_x_limb_23.clone() + ec_double_input_x_limb_23.clone())
+ result_x_limb_23_col164.clone()),
);
let x_sum_24_tmp_63f6c_110 = eval.add_intermediate(
((ec_double_input_x_limb_24.clone() + ec_double_input_x_limb_24.clone())
+ result_x_limb_24_col165.clone()),
);
let x_sum_25_tmp_63f6c_111 = eval.add_intermediate(
((ec_double_input_x_limb_25.clone() + ec_double_input_x_limb_25.clone())
+ result_x_limb_25_col166.clone()),
);
let x_sum_26_tmp_63f6c_112 = eval.add_intermediate(
((ec_double_input_x_limb_26.clone() + ec_double_input_x_limb_26.clone())
+ result_x_limb_26_col167.clone()),
);
let x_sum_27_tmp_63f6c_113 = eval.add_intermediate(
((ec_double_input_x_limb_27.clone() + ec_double_input_x_limb_27.clone())
+ result_x_limb_27_col168.clone()),
);
VerifyMul252::evaluate(
[
slope_limb_0_col85.clone(),
slope_limb_1_col86.clone(),
slope_limb_2_col87.clone(),
slope_limb_3_col88.clone(),
slope_limb_4_col89.clone(),
slope_limb_5_col90.clone(),
slope_limb_6_col91.clone(),
slope_limb_7_col92.clone(),
slope_limb_8_col93.clone(),
slope_limb_9_col94.clone(),
slope_limb_10_col95.clone(),
slope_limb_11_col96.clone(),
slope_limb_12_col97.clone(),
slope_limb_13_col98.clone(),
slope_limb_14_col99.clone(),
slope_limb_15_col100.clone(),
slope_limb_16_col101.clone(),
slope_limb_17_col102.clone(),
slope_limb_18_col103.clone(),
slope_limb_19_col104.clone(),
slope_limb_20_col105.clone(),
slope_limb_21_col106.clone(),
slope_limb_22_col107.clone(),
slope_limb_23_col108.clone(),
slope_limb_24_col109.clone(),
slope_limb_25_col110.clone(),
slope_limb_26_col111.clone(),
slope_limb_27_col112.clone(),
slope_limb_0_col85.clone(),
slope_limb_1_col86.clone(),
slope_limb_2_col87.clone(),
slope_limb_3_col88.clone(),
slope_limb_4_col89.clone(),
slope_limb_5_col90.clone(),
slope_limb_6_col91.clone(),
slope_limb_7_col92.clone(),
slope_limb_8_col93.clone(),
slope_limb_9_col94.clone(),
slope_limb_10_col95.clone(),
slope_limb_11_col96.clone(),
slope_limb_12_col97.clone(),
slope_limb_13_col98.clone(),
slope_limb_14_col99.clone(),
slope_limb_15_col100.clone(),
slope_limb_16_col101.clone(),
slope_limb_17_col102.clone(),
slope_limb_18_col103.clone(),
slope_limb_19_col104.clone(),
slope_limb_20_col105.clone(),
slope_limb_21_col106.clone(),
slope_limb_22_col107.clone(),
slope_limb_23_col108.clone(),
slope_limb_24_col109.clone(),
slope_limb_25_col110.clone(),
slope_limb_26_col111.clone(),
slope_limb_27_col112.clone(),
x_sum_0_tmp_63f6c_86.clone(),
x_sum_1_tmp_63f6c_87.clone(),
x_sum_2_tmp_63f6c_88.clone(),
x_sum_3_tmp_63f6c_89.clone(),
x_sum_4_tmp_63f6c_90.clone(),
x_sum_5_tmp_63f6c_91.clone(),
x_sum_6_tmp_63f6c_92.clone(),
x_sum_7_tmp_63f6c_93.clone(),
x_sum_8_tmp_63f6c_94.clone(),
x_sum_9_tmp_63f6c_95.clone(),
x_sum_10_tmp_63f6c_96.clone(),
x_sum_11_tmp_63f6c_97.clone(),
x_sum_12_tmp_63f6c_98.clone(),
x_sum_13_tmp_63f6c_99.clone(),
x_sum_14_tmp_63f6c_100.clone(),
x_sum_15_tmp_63f6c_101.clone(),
x_sum_16_tmp_63f6c_102.clone(),
x_sum_17_tmp_63f6c_103.clone(),
x_sum_18_tmp_63f6c_104.clone(),
x_sum_19_tmp_63f6c_105.clone(),
x_sum_20_tmp_63f6c_106.clone(),
x_sum_21_tmp_63f6c_107.clone(),
x_sum_22_tmp_63f6c_108.clone(),
x_sum_23_tmp_63f6c_109.clone(),
x_sum_24_tmp_63f6c_110.clone(),
x_sum_25_tmp_63f6c_111.clone(),
x_sum_26_tmp_63f6c_112.clone(),
x_sum_27_tmp_63f6c_113.clone(),
],
k_col169.clone(),
carry_0_col170.clone(),
carry_1_col171.clone(),
carry_2_col172.clone(),
carry_3_col173.clone(),
carry_4_col174.clone(),
carry_5_col175.clone(),
carry_6_col176.clone(),
carry_7_col177.clone(),
carry_8_col178.clone(),
carry_9_col179.clone(),
carry_10_col180.clone(),
carry_11_col181.clone(),
carry_12_col182.clone(),
carry_13_col183.clone(),
carry_14_col184.clone(),
carry_15_col185.clone(),
carry_16_col186.clone(),
carry_17_col187.clone(),
carry_18_col188.clone(),
carry_19_col189.clone(),
carry_20_col190.clone(),
carry_21_col191.clone(),
carry_22_col192.clone(),
carry_23_col193.clone(),
carry_24_col194.clone(),
carry_25_col195.clone(),
carry_26_col196.clone(),
common_lookup_elements,
eval,
);
RangeCheckMemValueN28::evaluate(
[
result_y_limb_0_col197.clone(),
result_y_limb_1_col198.clone(),
result_y_limb_2_col199.clone(),
result_y_limb_3_col200.clone(),
result_y_limb_4_col201.clone(),
result_y_limb_5_col202.clone(),
result_y_limb_6_col203.clone(),
result_y_limb_7_col204.clone(),
result_y_limb_8_col205.clone(),
result_y_limb_9_col206.clone(),
result_y_limb_10_col207.clone(),
result_y_limb_11_col208.clone(),
result_y_limb_12_col209.clone(),
result_y_limb_13_col210.clone(),
result_y_limb_14_col211.clone(),
result_y_limb_15_col212.clone(),
result_y_limb_16_col213.clone(),
result_y_limb_17_col214.clone(),
result_y_limb_18_col215.clone(),
result_y_limb_19_col216.clone(),
result_y_limb_20_col217.clone(),
result_y_limb_21_col218.clone(),
result_y_limb_22_col219.clone(),
result_y_limb_23_col220.clone(),
result_y_limb_24_col221.clone(),
result_y_limb_25_col222.clone(),
result_y_limb_26_col223.clone(),
result_y_limb_27_col224.clone(),
],
common_lookup_elements,
eval,
);
let x_diff_0_tmp_63f6c_136 = eval
.add_intermediate((ec_double_input_x_limb_0.clone() - result_x_limb_0_col141.clone()));
let x_diff_1_tmp_63f6c_137 = eval
.add_intermediate((ec_double_input_x_limb_1.clone() - result_x_limb_1_col142.clone()));
let x_diff_2_tmp_63f6c_138 = eval
.add_intermediate((ec_double_input_x_limb_2.clone() - result_x_limb_2_col143.clone()));
let x_diff_3_tmp_63f6c_139 = eval
.add_intermediate((ec_double_input_x_limb_3.clone() - result_x_limb_3_col144.clone()));
let x_diff_4_tmp_63f6c_140 = eval
.add_intermediate((ec_double_input_x_limb_4.clone() - result_x_limb_4_col145.clone()));
let x_diff_5_tmp_63f6c_141 = eval
.add_intermediate((ec_double_input_x_limb_5.clone() - result_x_limb_5_col146.clone()));
let x_diff_6_tmp_63f6c_142 = eval
.add_intermediate((ec_double_input_x_limb_6.clone() - result_x_limb_6_col147.clone()));
let x_diff_7_tmp_63f6c_143 = eval
.add_intermediate((ec_double_input_x_limb_7.clone() - result_x_limb_7_col148.clone()));
let x_diff_8_tmp_63f6c_144 = eval
.add_intermediate((ec_double_input_x_limb_8.clone() - result_x_limb_8_col149.clone()));
let x_diff_9_tmp_63f6c_145 = eval
.add_intermediate((ec_double_input_x_limb_9.clone() - result_x_limb_9_col150.clone()));
let x_diff_10_tmp_63f6c_146 = eval.add_intermediate(
(ec_double_input_x_limb_10.clone() - result_x_limb_10_col151.clone()),
);
let x_diff_11_tmp_63f6c_147 = eval.add_intermediate(
(ec_double_input_x_limb_11.clone() - result_x_limb_11_col152.clone()),
);
let x_diff_12_tmp_63f6c_148 = eval.add_intermediate(
(ec_double_input_x_limb_12.clone() - result_x_limb_12_col153.clone()),
);
let x_diff_13_tmp_63f6c_149 = eval.add_intermediate(
(ec_double_input_x_limb_13.clone() - result_x_limb_13_col154.clone()),
);
let x_diff_14_tmp_63f6c_150 = eval.add_intermediate(
(ec_double_input_x_limb_14.clone() - result_x_limb_14_col155.clone()),
);
let x_diff_15_tmp_63f6c_151 = eval.add_intermediate(
(ec_double_input_x_limb_15.clone() - result_x_limb_15_col156.clone()),
);
let x_diff_16_tmp_63f6c_152 = eval.add_intermediate(
(ec_double_input_x_limb_16.clone() - result_x_limb_16_col157.clone()),
);
let x_diff_17_tmp_63f6c_153 = eval.add_intermediate(
(ec_double_input_x_limb_17.clone() - result_x_limb_17_col158.clone()),
);
let x_diff_18_tmp_63f6c_154 = eval.add_intermediate(
(ec_double_input_x_limb_18.clone() - result_x_limb_18_col159.clone()),
);
let x_diff_19_tmp_63f6c_155 = eval.add_intermediate(
(ec_double_input_x_limb_19.clone() - result_x_limb_19_col160.clone()),
);
let x_diff_20_tmp_63f6c_156 = eval.add_intermediate(
(ec_double_input_x_limb_20.clone() - result_x_limb_20_col161.clone()),
);
let x_diff_21_tmp_63f6c_157 = eval.add_intermediate(
(ec_double_input_x_limb_21.clone() - result_x_limb_21_col162.clone()),
);
let x_diff_22_tmp_63f6c_158 = eval.add_intermediate(
(ec_double_input_x_limb_22.clone() - result_x_limb_22_col163.clone()),
);
let x_diff_23_tmp_63f6c_159 = eval.add_intermediate(
(ec_double_input_x_limb_23.clone() - result_x_limb_23_col164.clone()),
);
let x_diff_24_tmp_63f6c_160 = eval.add_intermediate(
(ec_double_input_x_limb_24.clone() - result_x_limb_24_col165.clone()),
);
let x_diff_25_tmp_63f6c_161 = eval.add_intermediate(
(ec_double_input_x_limb_25.clone() - result_x_limb_25_col166.clone()),
);
let x_diff_26_tmp_63f6c_162 = eval.add_intermediate(
(ec_double_input_x_limb_26.clone() - result_x_limb_26_col167.clone()),
);
let x_diff_27_tmp_63f6c_163 = eval.add_intermediate(
(ec_double_input_x_limb_27.clone() - result_x_limb_27_col168.clone()),
);
let y_sum_0_tmp_63f6c_164 = eval
.add_intermediate((ec_double_input_y_limb_0.clone() + result_y_limb_0_col197.clone()));
let y_sum_1_tmp_63f6c_165 = eval
.add_intermediate((ec_double_input_y_limb_1.clone() + result_y_limb_1_col198.clone()));
let y_sum_2_tmp_63f6c_166 = eval
.add_intermediate((ec_double_input_y_limb_2.clone() + result_y_limb_2_col199.clone()));
let y_sum_3_tmp_63f6c_167 = eval
.add_intermediate((ec_double_input_y_limb_3.clone() + result_y_limb_3_col200.clone()));
let y_sum_4_tmp_63f6c_168 = eval
.add_intermediate((ec_double_input_y_limb_4.clone() + result_y_limb_4_col201.clone()));
let y_sum_5_tmp_63f6c_169 = eval
.add_intermediate((ec_double_input_y_limb_5.clone() + result_y_limb_5_col202.clone()));
let y_sum_6_tmp_63f6c_170 = eval
.add_intermediate((ec_double_input_y_limb_6.clone() + result_y_limb_6_col203.clone()));
let y_sum_7_tmp_63f6c_171 = eval
.add_intermediate((ec_double_input_y_limb_7.clone() + result_y_limb_7_col204.clone()));
let y_sum_8_tmp_63f6c_172 = eval
.add_intermediate((ec_double_input_y_limb_8.clone() + result_y_limb_8_col205.clone()));
let y_sum_9_tmp_63f6c_173 = eval
.add_intermediate((ec_double_input_y_limb_9.clone() + result_y_limb_9_col206.clone()));
let y_sum_10_tmp_63f6c_174 = eval.add_intermediate(
(ec_double_input_y_limb_10.clone() + result_y_limb_10_col207.clone()),
);
let y_sum_11_tmp_63f6c_175 = eval.add_intermediate(
(ec_double_input_y_limb_11.clone() + result_y_limb_11_col208.clone()),
);
let y_sum_12_tmp_63f6c_176 = eval.add_intermediate(
(ec_double_input_y_limb_12.clone() + result_y_limb_12_col209.clone()),
);
let y_sum_13_tmp_63f6c_177 = eval.add_intermediate(
(ec_double_input_y_limb_13.clone() + result_y_limb_13_col210.clone()),
);
let y_sum_14_tmp_63f6c_178 = eval.add_intermediate(
(ec_double_input_y_limb_14.clone() + result_y_limb_14_col211.clone()),
);
let y_sum_15_tmp_63f6c_179 = eval.add_intermediate(
(ec_double_input_y_limb_15.clone() + result_y_limb_15_col212.clone()),
);
let y_sum_16_tmp_63f6c_180 = eval.add_intermediate(
(ec_double_input_y_limb_16.clone() + result_y_limb_16_col213.clone()),
);
let y_sum_17_tmp_63f6c_181 = eval.add_intermediate(
(ec_double_input_y_limb_17.clone() + result_y_limb_17_col214.clone()),
);
let y_sum_18_tmp_63f6c_182 = eval.add_intermediate(
(ec_double_input_y_limb_18.clone() + result_y_limb_18_col215.clone()),
);
let y_sum_19_tmp_63f6c_183 = eval.add_intermediate(
(ec_double_input_y_limb_19.clone() + result_y_limb_19_col216.clone()),
);
let y_sum_20_tmp_63f6c_184 = eval.add_intermediate(
(ec_double_input_y_limb_20.clone() + result_y_limb_20_col217.clone()),
);
let y_sum_21_tmp_63f6c_185 = eval.add_intermediate(
(ec_double_input_y_limb_21.clone() + result_y_limb_21_col218.clone()),
);
let y_sum_22_tmp_63f6c_186 = eval.add_intermediate(
(ec_double_input_y_limb_22.clone() + result_y_limb_22_col219.clone()),
);
let y_sum_23_tmp_63f6c_187 = eval.add_intermediate(
(ec_double_input_y_limb_23.clone() + result_y_limb_23_col220.clone()),
);
let y_sum_24_tmp_63f6c_188 = eval.add_intermediate(
(ec_double_input_y_limb_24.clone() + result_y_limb_24_col221.clone()),
);
let y_sum_25_tmp_63f6c_189 = eval.add_intermediate(
(ec_double_input_y_limb_25.clone() + result_y_limb_25_col222.clone()),
);
let y_sum_26_tmp_63f6c_190 = eval.add_intermediate(
(ec_double_input_y_limb_26.clone() + result_y_limb_26_col223.clone()),
);
let y_sum_27_tmp_63f6c_191 = eval.add_intermediate(
(ec_double_input_y_limb_27.clone() + result_y_limb_27_col224.clone()),
);
VerifyMul252::evaluate(
[
slope_limb_0_col85.clone(),
slope_limb_1_col86.clone(),
slope_limb_2_col87.clone(),
slope_limb_3_col88.clone(),
slope_limb_4_col89.clone(),
slope_limb_5_col90.clone(),
slope_limb_6_col91.clone(),
slope_limb_7_col92.clone(),
slope_limb_8_col93.clone(),
slope_limb_9_col94.clone(),
slope_limb_10_col95.clone(),
slope_limb_11_col96.clone(),
slope_limb_12_col97.clone(),
slope_limb_13_col98.clone(),
slope_limb_14_col99.clone(),
slope_limb_15_col100.clone(),
slope_limb_16_col101.clone(),
slope_limb_17_col102.clone(),
slope_limb_18_col103.clone(),
slope_limb_19_col104.clone(),
slope_limb_20_col105.clone(),
slope_limb_21_col106.clone(),
slope_limb_22_col107.clone(),
slope_limb_23_col108.clone(),
slope_limb_24_col109.clone(),
slope_limb_25_col110.clone(),
slope_limb_26_col111.clone(),
slope_limb_27_col112.clone(),
x_diff_0_tmp_63f6c_136.clone(),
x_diff_1_tmp_63f6c_137.clone(),
x_diff_2_tmp_63f6c_138.clone(),
x_diff_3_tmp_63f6c_139.clone(),
x_diff_4_tmp_63f6c_140.clone(),
x_diff_5_tmp_63f6c_141.clone(),
x_diff_6_tmp_63f6c_142.clone(),
x_diff_7_tmp_63f6c_143.clone(),
x_diff_8_tmp_63f6c_144.clone(),
x_diff_9_tmp_63f6c_145.clone(),
x_diff_10_tmp_63f6c_146.clone(),
x_diff_11_tmp_63f6c_147.clone(),
x_diff_12_tmp_63f6c_148.clone(),
x_diff_13_tmp_63f6c_149.clone(),
x_diff_14_tmp_63f6c_150.clone(),
x_diff_15_tmp_63f6c_151.clone(),
x_diff_16_tmp_63f6c_152.clone(),
x_diff_17_tmp_63f6c_153.clone(),
x_diff_18_tmp_63f6c_154.clone(),
x_diff_19_tmp_63f6c_155.clone(),
x_diff_20_tmp_63f6c_156.clone(),
x_diff_21_tmp_63f6c_157.clone(),
x_diff_22_tmp_63f6c_158.clone(),
x_diff_23_tmp_63f6c_159.clone(),
x_diff_24_tmp_63f6c_160.clone(),
x_diff_25_tmp_63f6c_161.clone(),
x_diff_26_tmp_63f6c_162.clone(),
x_diff_27_tmp_63f6c_163.clone(),
y_sum_0_tmp_63f6c_164.clone(),
y_sum_1_tmp_63f6c_165.clone(),
y_sum_2_tmp_63f6c_166.clone(),
y_sum_3_tmp_63f6c_167.clone(),
y_sum_4_tmp_63f6c_168.clone(),
y_sum_5_tmp_63f6c_169.clone(),
y_sum_6_tmp_63f6c_170.clone(),
y_sum_7_tmp_63f6c_171.clone(),
y_sum_8_tmp_63f6c_172.clone(),
y_sum_9_tmp_63f6c_173.clone(),
y_sum_10_tmp_63f6c_174.clone(),
y_sum_11_tmp_63f6c_175.clone(),
y_sum_12_tmp_63f6c_176.clone(),
y_sum_13_tmp_63f6c_177.clone(),
y_sum_14_tmp_63f6c_178.clone(),
y_sum_15_tmp_63f6c_179.clone(),
y_sum_16_tmp_63f6c_180.clone(),
y_sum_17_tmp_63f6c_181.clone(),
y_sum_18_tmp_63f6c_182.clone(),
y_sum_19_tmp_63f6c_183.clone(),
y_sum_20_tmp_63f6c_184.clone(),
y_sum_21_tmp_63f6c_185.clone(),
y_sum_22_tmp_63f6c_186.clone(),
y_sum_23_tmp_63f6c_187.clone(),
y_sum_24_tmp_63f6c_188.clone(),
y_sum_25_tmp_63f6c_189.clone(),
y_sum_26_tmp_63f6c_190.clone(),
y_sum_27_tmp_63f6c_191.clone(),
],
k_col225.clone(),
carry_0_col226.clone(),
carry_1_col227.clone(),
carry_2_col228.clone(),
carry_3_col229.clone(),
carry_4_col230.clone(),
carry_5_col231.clone(),
carry_6_col232.clone(),
carry_7_col233.clone(),
carry_8_col234.clone(),
carry_9_col235.clone(),
carry_10_col236.clone(),
carry_11_col237.clone(),
carry_12_col238.clone(),
carry_13_col239.clone(),
carry_14_col240.clone(),
carry_15_col241.clone(),
carry_16_col242.clone(),
carry_17_col243.clone(),
carry_18_col244.clone(),
carry_19_col245.clone(),
carry_20_col246.clone(),
carry_21_col247.clone(),
carry_22_col248.clone(),
carry_23_col249.clone(),
carry_24_col250.clone(),
carry_25_col251.clone(),
carry_26_col252.clone(),
common_lookup_elements,
eval,
);
[]
}
}