diff --git a/src/air/layouts/recursive_with_poseidon/autogenerated.cairo b/src/air/layouts/recursive_with_poseidon/autogenerated.cairo index db0d5fcd5..442ab141f 100644 --- a/src/air/layouts/recursive_with_poseidon/autogenerated.cairo +++ b/src/air/layouts/recursive_with_poseidon/autogenerated.cairo @@ -7,8 +7,8 @@ use cairo_verifier::{ }; fn eval_composition_polynomial_inner( - mask_values: Span, - constraint_coefficients: Span, + mut mask_values: Span, + mut constraint_coefficients: Span, point: felt252, trace_generator: felt252, global_values: GlobalValues @@ -155,198 +155,198 @@ fn eval_composition_polynomial_inner( let domain30 = point - pow13; // Fetch mask variables. - let column0_row0 = *mask_values[0]; - let column0_row1 = *mask_values[1]; - let column0_row2 = *mask_values[2]; - let column0_row3 = *mask_values[3]; - let column0_row4 = *mask_values[4]; - let column0_row5 = *mask_values[5]; - let column0_row6 = *mask_values[6]; - let column0_row7 = *mask_values[7]; - let column0_row8 = *mask_values[8]; - let column0_row9 = *mask_values[9]; - let column0_row10 = *mask_values[10]; - let column0_row11 = *mask_values[11]; - let column0_row12 = *mask_values[12]; - let column0_row13 = *mask_values[13]; - let column0_row14 = *mask_values[14]; - let column0_row15 = *mask_values[15]; - let column1_row0 = *mask_values[16]; - let column1_row1 = *mask_values[17]; - let column1_row2 = *mask_values[18]; - let column1_row3 = *mask_values[19]; - let column1_row4 = *mask_values[20]; - let column1_row5 = *mask_values[21]; - let column1_row8 = *mask_values[22]; - let column1_row9 = *mask_values[23]; - let column1_row10 = *mask_values[24]; - let column1_row11 = *mask_values[25]; - let column1_row12 = *mask_values[26]; - let column1_row13 = *mask_values[27]; - let column1_row16 = *mask_values[28]; - let column1_row42 = *mask_values[29]; - let column1_row43 = *mask_values[30]; - let column1_row74 = *mask_values[31]; - let column1_row75 = *mask_values[32]; - let column1_row106 = *mask_values[33]; - let column1_row138 = *mask_values[34]; - let column1_row139 = *mask_values[35]; - let column1_row171 = *mask_values[36]; - let column1_row202 = *mask_values[37]; - let column1_row203 = *mask_values[38]; - let column1_row234 = *mask_values[39]; - let column1_row235 = *mask_values[40]; - let column1_row266 = *mask_values[41]; - let column1_row267 = *mask_values[42]; - let column1_row298 = *mask_values[43]; - let column1_row394 = *mask_values[44]; - let column1_row458 = *mask_values[45]; - let column1_row459 = *mask_values[46]; - let column1_row714 = *mask_values[47]; - let column1_row715 = *mask_values[48]; - let column1_row778 = *mask_values[49]; - let column1_row779 = *mask_values[50]; - let column1_row970 = *mask_values[51]; - let column1_row971 = *mask_values[52]; - let column1_row1034 = *mask_values[53]; - let column1_row1035 = *mask_values[54]; - let column1_row2058 = *mask_values[55]; - let column1_row2059 = *mask_values[56]; - let column1_row4106 = *mask_values[57]; - let column2_row0 = *mask_values[58]; - let column2_row1 = *mask_values[59]; - let column2_row2 = *mask_values[60]; - let column2_row3 = *mask_values[61]; - let column3_row0 = *mask_values[62]; - let column3_row1 = *mask_values[63]; - let column3_row2 = *mask_values[64]; - let column3_row3 = *mask_values[65]; - let column3_row4 = *mask_values[66]; - let column3_row8 = *mask_values[67]; - let column3_row12 = *mask_values[68]; - let column3_row16 = *mask_values[69]; - let column3_row20 = *mask_values[70]; - let column3_row24 = *mask_values[71]; - let column3_row28 = *mask_values[72]; - let column3_row32 = *mask_values[73]; - let column3_row36 = *mask_values[74]; - let column3_row40 = *mask_values[75]; - let column3_row44 = *mask_values[76]; - let column3_row48 = *mask_values[77]; - let column3_row52 = *mask_values[78]; - let column3_row56 = *mask_values[79]; - let column3_row60 = *mask_values[80]; - let column3_row64 = *mask_values[81]; - let column3_row66 = *mask_values[82]; - let column3_row128 = *mask_values[83]; - let column3_row130 = *mask_values[84]; - let column3_row176 = *mask_values[85]; - let column3_row180 = *mask_values[86]; - let column3_row184 = *mask_values[87]; - let column3_row188 = *mask_values[88]; - let column3_row192 = *mask_values[89]; - let column3_row194 = *mask_values[90]; - let column3_row240 = *mask_values[91]; - let column3_row244 = *mask_values[92]; - let column3_row248 = *mask_values[93]; - let column3_row252 = *mask_values[94]; - let column4_row0 = *mask_values[95]; - let column4_row1 = *mask_values[96]; - let column4_row2 = *mask_values[97]; - let column4_row3 = *mask_values[98]; - let column4_row4 = *mask_values[99]; - let column4_row5 = *mask_values[100]; - let column4_row6 = *mask_values[101]; - let column4_row7 = *mask_values[102]; - let column4_row8 = *mask_values[103]; - let column4_row9 = *mask_values[104]; - let column4_row11 = *mask_values[105]; - let column4_row12 = *mask_values[106]; - let column4_row13 = *mask_values[107]; - let column4_row44 = *mask_values[108]; - let column4_row76 = *mask_values[109]; - let column4_row108 = *mask_values[110]; - let column4_row140 = *mask_values[111]; - let column4_row172 = *mask_values[112]; - let column4_row204 = *mask_values[113]; - let column4_row236 = *mask_values[114]; - let column4_row1539 = *mask_values[115]; - let column4_row1547 = *mask_values[116]; - let column4_row1571 = *mask_values[117]; - let column4_row1579 = *mask_values[118]; - let column4_row2011 = *mask_values[119]; - let column4_row2019 = *mask_values[120]; - let column4_row2041 = *mask_values[121]; - let column4_row2045 = *mask_values[122]; - let column4_row2047 = *mask_values[123]; - let column4_row2049 = *mask_values[124]; - let column4_row2051 = *mask_values[125]; - let column4_row2053 = *mask_values[126]; - let column4_row4089 = *mask_values[127]; - let column5_row0 = *mask_values[128]; - let column5_row1 = *mask_values[129]; - let column5_row2 = *mask_values[130]; - let column5_row4 = *mask_values[131]; - let column5_row6 = *mask_values[132]; - let column5_row8 = *mask_values[133]; - let column5_row9 = *mask_values[134]; - let column5_row10 = *mask_values[135]; - let column5_row12 = *mask_values[136]; - let column5_row14 = *mask_values[137]; - let column5_row16 = *mask_values[138]; - let column5_row17 = *mask_values[139]; - let column5_row22 = *mask_values[140]; - let column5_row24 = *mask_values[141]; - let column5_row25 = *mask_values[142]; - let column5_row30 = *mask_values[143]; - let column5_row33 = *mask_values[144]; - let column5_row38 = *mask_values[145]; - let column5_row41 = *mask_values[146]; - let column5_row46 = *mask_values[147]; - let column5_row49 = *mask_values[148]; - let column5_row54 = *mask_values[149]; - let column5_row57 = *mask_values[150]; - let column5_row65 = *mask_values[151]; - let column5_row73 = *mask_values[152]; - let column5_row81 = *mask_values[153]; - let column5_row89 = *mask_values[154]; - let column5_row97 = *mask_values[155]; - let column5_row105 = *mask_values[156]; - let column5_row137 = *mask_values[157]; - let column5_row169 = *mask_values[158]; - let column5_row201 = *mask_values[159]; - let column5_row393 = *mask_values[160]; - let column5_row409 = *mask_values[161]; - let column5_row425 = *mask_values[162]; - let column5_row457 = *mask_values[163]; - let column5_row473 = *mask_values[164]; - let column5_row489 = *mask_values[165]; - let column5_row521 = *mask_values[166]; - let column5_row553 = *mask_values[167]; - let column5_row585 = *mask_values[168]; - let column5_row609 = *mask_values[169]; - let column5_row625 = *mask_values[170]; - let column5_row641 = *mask_values[171]; - let column5_row657 = *mask_values[172]; - let column5_row673 = *mask_values[173]; - let column5_row689 = *mask_values[174]; - let column5_row905 = *mask_values[175]; - let column5_row921 = *mask_values[176]; - let column5_row937 = *mask_values[177]; - let column5_row969 = *mask_values[178]; - let column5_row982 = *mask_values[179]; - let column5_row985 = *mask_values[180]; - let column5_row998 = *mask_values[181]; - let column5_row1001 = *mask_values[182]; - let column5_row1014 = *mask_values[183]; - let column6_inter1_row0 = *mask_values[184]; - let column6_inter1_row1 = *mask_values[185]; - let column6_inter1_row2 = *mask_values[186]; - let column6_inter1_row3 = *mask_values[187]; - let column7_inter1_row0 = *mask_values[188]; - let column7_inter1_row1 = *mask_values[189]; - let column7_inter1_row2 = *mask_values[190]; - let column7_inter1_row5 = *mask_values[191]; + let column0_row0 = *mask_values.pop_front().unwrap(); + let column0_row1 = *mask_values.pop_front().unwrap(); + let column0_row2 = *mask_values.pop_front().unwrap(); + let column0_row3 = *mask_values.pop_front().unwrap(); + let column0_row4 = *mask_values.pop_front().unwrap(); + let column0_row5 = *mask_values.pop_front().unwrap(); + let column0_row6 = *mask_values.pop_front().unwrap(); + let column0_row7 = *mask_values.pop_front().unwrap(); + let column0_row8 = *mask_values.pop_front().unwrap(); + let column0_row9 = *mask_values.pop_front().unwrap(); + let column0_row10 = *mask_values.pop_front().unwrap(); + let column0_row11 = *mask_values.pop_front().unwrap(); + let column0_row12 = *mask_values.pop_front().unwrap(); + let column0_row13 = *mask_values.pop_front().unwrap(); + let column0_row14 = *mask_values.pop_front().unwrap(); + let column0_row15 = *mask_values.pop_front().unwrap(); + let column1_row0 = *mask_values.pop_front().unwrap(); + let column1_row1 = *mask_values.pop_front().unwrap(); + let column1_row2 = *mask_values.pop_front().unwrap(); + let column1_row3 = *mask_values.pop_front().unwrap(); + let column1_row4 = *mask_values.pop_front().unwrap(); + let column1_row5 = *mask_values.pop_front().unwrap(); + let column1_row8 = *mask_values.pop_front().unwrap(); + let column1_row9 = *mask_values.pop_front().unwrap(); + let column1_row10 = *mask_values.pop_front().unwrap(); + let column1_row11 = *mask_values.pop_front().unwrap(); + let column1_row12 = *mask_values.pop_front().unwrap(); + let column1_row13 = *mask_values.pop_front().unwrap(); + let column1_row16 = *mask_values.pop_front().unwrap(); + let column1_row42 = *mask_values.pop_front().unwrap(); + let column1_row43 = *mask_values.pop_front().unwrap(); + let column1_row74 = *mask_values.pop_front().unwrap(); + let column1_row75 = *mask_values.pop_front().unwrap(); + let column1_row106 = *mask_values.pop_front().unwrap(); + let column1_row138 = *mask_values.pop_front().unwrap(); + let column1_row139 = *mask_values.pop_front().unwrap(); + let column1_row171 = *mask_values.pop_front().unwrap(); + let column1_row202 = *mask_values.pop_front().unwrap(); + let column1_row203 = *mask_values.pop_front().unwrap(); + let column1_row234 = *mask_values.pop_front().unwrap(); + let column1_row235 = *mask_values.pop_front().unwrap(); + let column1_row266 = *mask_values.pop_front().unwrap(); + let column1_row267 = *mask_values.pop_front().unwrap(); + let column1_row298 = *mask_values.pop_front().unwrap(); + let column1_row394 = *mask_values.pop_front().unwrap(); + let column1_row458 = *mask_values.pop_front().unwrap(); + let column1_row459 = *mask_values.pop_front().unwrap(); + let column1_row714 = *mask_values.pop_front().unwrap(); + let column1_row715 = *mask_values.pop_front().unwrap(); + let column1_row778 = *mask_values.pop_front().unwrap(); + let column1_row779 = *mask_values.pop_front().unwrap(); + let column1_row970 = *mask_values.pop_front().unwrap(); + let column1_row971 = *mask_values.pop_front().unwrap(); + let column1_row1034 = *mask_values.pop_front().unwrap(); + let column1_row1035 = *mask_values.pop_front().unwrap(); + let column1_row2058 = *mask_values.pop_front().unwrap(); + let column1_row2059 = *mask_values.pop_front().unwrap(); + let column1_row4106 = *mask_values.pop_front().unwrap(); + let column2_row0 = *mask_values.pop_front().unwrap(); + let column2_row1 = *mask_values.pop_front().unwrap(); + let column2_row2 = *mask_values.pop_front().unwrap(); + let column2_row3 = *mask_values.pop_front().unwrap(); + let column3_row0 = *mask_values.pop_front().unwrap(); + let column3_row1 = *mask_values.pop_front().unwrap(); + let column3_row2 = *mask_values.pop_front().unwrap(); + let column3_row3 = *mask_values.pop_front().unwrap(); + let column3_row4 = *mask_values.pop_front().unwrap(); + let column3_row8 = *mask_values.pop_front().unwrap(); + let column3_row12 = *mask_values.pop_front().unwrap(); + let column3_row16 = *mask_values.pop_front().unwrap(); + let column3_row20 = *mask_values.pop_front().unwrap(); + let column3_row24 = *mask_values.pop_front().unwrap(); + let column3_row28 = *mask_values.pop_front().unwrap(); + let column3_row32 = *mask_values.pop_front().unwrap(); + let column3_row36 = *mask_values.pop_front().unwrap(); + let column3_row40 = *mask_values.pop_front().unwrap(); + let column3_row44 = *mask_values.pop_front().unwrap(); + let column3_row48 = *mask_values.pop_front().unwrap(); + let column3_row52 = *mask_values.pop_front().unwrap(); + let column3_row56 = *mask_values.pop_front().unwrap(); + let column3_row60 = *mask_values.pop_front().unwrap(); + let column3_row64 = *mask_values.pop_front().unwrap(); + let column3_row66 = *mask_values.pop_front().unwrap(); + let column3_row128 = *mask_values.pop_front().unwrap(); + let column3_row130 = *mask_values.pop_front().unwrap(); + let column3_row176 = *mask_values.pop_front().unwrap(); + let column3_row180 = *mask_values.pop_front().unwrap(); + let column3_row184 = *mask_values.pop_front().unwrap(); + let column3_row188 = *mask_values.pop_front().unwrap(); + let column3_row192 = *mask_values.pop_front().unwrap(); + let column3_row194 = *mask_values.pop_front().unwrap(); + let column3_row240 = *mask_values.pop_front().unwrap(); + let column3_row244 = *mask_values.pop_front().unwrap(); + let column3_row248 = *mask_values.pop_front().unwrap(); + let column3_row252 = *mask_values.pop_front().unwrap(); + let column4_row0 = *mask_values.pop_front().unwrap(); + let column4_row1 = *mask_values.pop_front().unwrap(); + let column4_row2 = *mask_values.pop_front().unwrap(); + let column4_row3 = *mask_values.pop_front().unwrap(); + let column4_row4 = *mask_values.pop_front().unwrap(); + let column4_row5 = *mask_values.pop_front().unwrap(); + let column4_row6 = *mask_values.pop_front().unwrap(); + let column4_row7 = *mask_values.pop_front().unwrap(); + let column4_row8 = *mask_values.pop_front().unwrap(); + let column4_row9 = *mask_values.pop_front().unwrap(); + let column4_row11 = *mask_values.pop_front().unwrap(); + let column4_row12 = *mask_values.pop_front().unwrap(); + let column4_row13 = *mask_values.pop_front().unwrap(); + let column4_row44 = *mask_values.pop_front().unwrap(); + let column4_row76 = *mask_values.pop_front().unwrap(); + let column4_row108 = *mask_values.pop_front().unwrap(); + let column4_row140 = *mask_values.pop_front().unwrap(); + let column4_row172 = *mask_values.pop_front().unwrap(); + let column4_row204 = *mask_values.pop_front().unwrap(); + let column4_row236 = *mask_values.pop_front().unwrap(); + let column4_row1539 = *mask_values.pop_front().unwrap(); + let column4_row1547 = *mask_values.pop_front().unwrap(); + let column4_row1571 = *mask_values.pop_front().unwrap(); + let column4_row1579 = *mask_values.pop_front().unwrap(); + let column4_row2011 = *mask_values.pop_front().unwrap(); + let column4_row2019 = *mask_values.pop_front().unwrap(); + let column4_row2041 = *mask_values.pop_front().unwrap(); + let column4_row2045 = *mask_values.pop_front().unwrap(); + let column4_row2047 = *mask_values.pop_front().unwrap(); + let column4_row2049 = *mask_values.pop_front().unwrap(); + let column4_row2051 = *mask_values.pop_front().unwrap(); + let column4_row2053 = *mask_values.pop_front().unwrap(); + let column4_row4089 = *mask_values.pop_front().unwrap(); + let column5_row0 = *mask_values.pop_front().unwrap(); + let column5_row1 = *mask_values.pop_front().unwrap(); + let column5_row2 = *mask_values.pop_front().unwrap(); + let column5_row4 = *mask_values.pop_front().unwrap(); + let column5_row6 = *mask_values.pop_front().unwrap(); + let column5_row8 = *mask_values.pop_front().unwrap(); + let column5_row9 = *mask_values.pop_front().unwrap(); + let column5_row10 = *mask_values.pop_front().unwrap(); + let column5_row12 = *mask_values.pop_front().unwrap(); + let column5_row14 = *mask_values.pop_front().unwrap(); + let column5_row16 = *mask_values.pop_front().unwrap(); + let column5_row17 = *mask_values.pop_front().unwrap(); + let column5_row22 = *mask_values.pop_front().unwrap(); + let column5_row24 = *mask_values.pop_front().unwrap(); + let column5_row25 = *mask_values.pop_front().unwrap(); + let column5_row30 = *mask_values.pop_front().unwrap(); + let column5_row33 = *mask_values.pop_front().unwrap(); + let column5_row38 = *mask_values.pop_front().unwrap(); + let column5_row41 = *mask_values.pop_front().unwrap(); + let column5_row46 = *mask_values.pop_front().unwrap(); + let column5_row49 = *mask_values.pop_front().unwrap(); + let column5_row54 = *mask_values.pop_front().unwrap(); + let column5_row57 = *mask_values.pop_front().unwrap(); + let column5_row65 = *mask_values.pop_front().unwrap(); + let column5_row73 = *mask_values.pop_front().unwrap(); + let column5_row81 = *mask_values.pop_front().unwrap(); + let column5_row89 = *mask_values.pop_front().unwrap(); + let column5_row97 = *mask_values.pop_front().unwrap(); + let column5_row105 = *mask_values.pop_front().unwrap(); + let column5_row137 = *mask_values.pop_front().unwrap(); + let column5_row169 = *mask_values.pop_front().unwrap(); + let column5_row201 = *mask_values.pop_front().unwrap(); + let column5_row393 = *mask_values.pop_front().unwrap(); + let column5_row409 = *mask_values.pop_front().unwrap(); + let column5_row425 = *mask_values.pop_front().unwrap(); + let column5_row457 = *mask_values.pop_front().unwrap(); + let column5_row473 = *mask_values.pop_front().unwrap(); + let column5_row489 = *mask_values.pop_front().unwrap(); + let column5_row521 = *mask_values.pop_front().unwrap(); + let column5_row553 = *mask_values.pop_front().unwrap(); + let column5_row585 = *mask_values.pop_front().unwrap(); + let column5_row609 = *mask_values.pop_front().unwrap(); + let column5_row625 = *mask_values.pop_front().unwrap(); + let column5_row641 = *mask_values.pop_front().unwrap(); + let column5_row657 = *mask_values.pop_front().unwrap(); + let column5_row673 = *mask_values.pop_front().unwrap(); + let column5_row689 = *mask_values.pop_front().unwrap(); + let column5_row905 = *mask_values.pop_front().unwrap(); + let column5_row921 = *mask_values.pop_front().unwrap(); + let column5_row937 = *mask_values.pop_front().unwrap(); + let column5_row969 = *mask_values.pop_front().unwrap(); + let column5_row982 = *mask_values.pop_front().unwrap(); + let column5_row985 = *mask_values.pop_front().unwrap(); + let column5_row998 = *mask_values.pop_front().unwrap(); + let column5_row1001 = *mask_values.pop_front().unwrap(); + let column5_row1014 = *mask_values.pop_front().unwrap(); + let column6_inter1_row0 = *mask_values.pop_front().unwrap(); + let column6_inter1_row1 = *mask_values.pop_front().unwrap(); + let column6_inter1_row2 = *mask_values.pop_front().unwrap(); + let column6_inter1_row3 = *mask_values.pop_front().unwrap(); + let column7_inter1_row0 = *mask_values.pop_front().unwrap(); + let column7_inter1_row1 = *mask_values.pop_front().unwrap(); + let column7_inter1_row2 = *mask_values.pop_front().unwrap(); + let column7_inter1_row5 = *mask_values.pop_front().unwrap(); // Compute intermediate values. let cpu_decode_opcode_range_check_bit_0 = column0_row0 - (column0_row1 + column0_row1); @@ -441,11 +441,11 @@ fn eval_composition_polynomial_inner( - cpu_decode_opcode_range_check_bit_0) * domain4 / domain0; - let total_sum = total_sum + *constraint_coefficients[0] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/decode/opcode_range_check/zero. let value = (column0_row0) / domain4; - let total_sum = total_sum + *constraint_coefficients[1] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/decode/opcode_range_check_input. let value = (column1_row1 @@ -454,30 +454,30 @@ fn eval_composition_polynomial_inner( * global_values.offset_size + column4_row0)) / domain5; - let total_sum = total_sum + *constraint_coefficients[2] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/decode/flag_op1_base_op0_bit. let value = (cpu_decode_flag_op1_base_op0_0 * cpu_decode_flag_op1_base_op0_0 - cpu_decode_flag_op1_base_op0_0) / domain5; - let total_sum = total_sum + *constraint_coefficients[3] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/decode/flag_res_op1_bit. let value = (cpu_decode_flag_res_op1_0 * cpu_decode_flag_res_op1_0 - cpu_decode_flag_res_op1_0) / domain5; - let total_sum = total_sum + *constraint_coefficients[4] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/decode/flag_pc_update_regular_bit. let value = (cpu_decode_flag_pc_update_regular_0 * cpu_decode_flag_pc_update_regular_0 - cpu_decode_flag_pc_update_regular_0) / domain5; - let total_sum = total_sum + *constraint_coefficients[5] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/decode/fp_update_regular_bit. let value = (cpu_decode_fp_update_regular_0 * cpu_decode_fp_update_regular_0 - cpu_decode_fp_update_regular_0) / domain5; - let total_sum = total_sum + *constraint_coefficients[6] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/operands/mem_dst_addr. let value = (column1_row8 @@ -486,7 +486,7 @@ fn eval_composition_polynomial_inner( + (1 - cpu_decode_opcode_range_check_bit_0) * column5_row0 + column4_row0)) / domain5; - let total_sum = total_sum + *constraint_coefficients[7] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/operands/mem0_addr. let value = (column1_row4 @@ -495,7 +495,7 @@ fn eval_composition_polynomial_inner( + (1 - cpu_decode_opcode_range_check_bit_1) * column5_row0 + column4_row8)) / domain5; - let total_sum = total_sum + *constraint_coefficients[8] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/operands/mem1_addr. let value = (column1_row12 @@ -506,11 +506,11 @@ fn eval_composition_polynomial_inner( + cpu_decode_flag_op1_base_op0_0 * column1_row5 + column4_row4)) / domain5; - let total_sum = total_sum + *constraint_coefficients[9] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/operands/ops_mul. let value = (column5_row4 - column1_row5 * column1_row13) / domain5; - let total_sum = total_sum + *constraint_coefficients[10] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/operands/res. let value = ((1 - cpu_decode_opcode_range_check_bit_9) * column5_row12 @@ -518,17 +518,17 @@ fn eval_composition_polynomial_inner( + cpu_decode_opcode_range_check_bit_6 * column5_row4 + cpu_decode_flag_res_op1_0 * column1_row13)) / domain5; - let total_sum = total_sum + *constraint_coefficients[11] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/update_registers/update_pc/tmp0. let value = (column5_row2 - cpu_decode_opcode_range_check_bit_9 * column1_row9) * domain24 / domain5; - let total_sum = total_sum + *constraint_coefficients[12] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/update_registers/update_pc/tmp1. let value = (column5_row10 - column5_row2 * column5_row12) * domain24 / domain5; - let total_sum = total_sum + *constraint_coefficients[13] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/update_registers/update_pc/pc_cond_negative. let value = ((1 - cpu_decode_opcode_range_check_bit_9) * column1_row16 @@ -538,14 +538,14 @@ fn eval_composition_polynomial_inner( + cpu_decode_opcode_range_check_bit_8 * (column1_row0 + column5_row12))) * domain24 / domain5; - let total_sum = total_sum + *constraint_coefficients[14] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/update_registers/update_pc/pc_cond_positive. let value = ((column5_row10 - cpu_decode_opcode_range_check_bit_9) * (column1_row16 - npc_reg_0)) * domain24 / domain5; - let total_sum = total_sum + *constraint_coefficients[15] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/update_registers/update_ap/ap_update. let value = (column5_row16 @@ -555,7 +555,7 @@ fn eval_composition_polynomial_inner( + cpu_decode_opcode_range_check_bit_12 * 2)) * domain24 / domain5; - let total_sum = total_sum + *constraint_coefficients[16] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/update_registers/update_fp/fp_update. let value = (column5_row24 @@ -564,29 +564,29 @@ fn eval_composition_polynomial_inner( + cpu_decode_opcode_range_check_bit_12 * (column5_row0 + 2))) * domain24 / domain5; - let total_sum = total_sum + *constraint_coefficients[17] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/opcodes/call/push_fp. let value = (cpu_decode_opcode_range_check_bit_12 * (column1_row9 - column5_row8)) / domain5; - let total_sum = total_sum + *constraint_coefficients[18] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/opcodes/call/push_pc. let value = (cpu_decode_opcode_range_check_bit_12 * (column1_row5 - (column1_row0 + cpu_decode_opcode_range_check_bit_2 + 1))) / domain5; - let total_sum = total_sum + *constraint_coefficients[19] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/opcodes/call/off0. let value = (cpu_decode_opcode_range_check_bit_12 * (column4_row0 - global_values.half_offset_size)) / domain5; - let total_sum = total_sum + *constraint_coefficients[20] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/opcodes/call/off1. let value = (cpu_decode_opcode_range_check_bit_12 * (column4_row8 - (global_values.half_offset_size + 1))) / domain5; - let total_sum = total_sum + *constraint_coefficients[21] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/opcodes/call/flags. let value = (cpu_decode_opcode_range_check_bit_12 @@ -596,19 +596,19 @@ fn eval_composition_polynomial_inner( + 1 - (cpu_decode_opcode_range_check_bit_0 + cpu_decode_opcode_range_check_bit_1 + 4))) / domain5; - let total_sum = total_sum + *constraint_coefficients[22] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/opcodes/ret/off0. let value = (cpu_decode_opcode_range_check_bit_13 * (column4_row0 + 2 - global_values.half_offset_size)) / domain5; - let total_sum = total_sum + *constraint_coefficients[23] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/opcodes/ret/off2. let value = (cpu_decode_opcode_range_check_bit_13 * (column4_row4 + 1 - global_values.half_offset_size)) / domain5; - let total_sum = total_sum + *constraint_coefficients[24] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/opcodes/ret/flags. let value = (cpu_decode_opcode_range_check_bit_13 @@ -618,35 +618,35 @@ fn eval_composition_polynomial_inner( + cpu_decode_flag_res_op1_0 - 4)) / domain5; - let total_sum = total_sum + *constraint_coefficients[25] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: cpu/opcodes/assert_eq/assert_eq. let value = (cpu_decode_opcode_range_check_bit_14 * (column1_row9 - column5_row12)) / domain5; - let total_sum = total_sum + *constraint_coefficients[26] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: initial_ap. let value = (column5_row0 - global_values.initial_ap) / domain25; - let total_sum = total_sum + *constraint_coefficients[27] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: initial_fp. let value = (column5_row8 - global_values.initial_ap) / domain25; - let total_sum = total_sum + *constraint_coefficients[28] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: initial_pc. let value = (column1_row0 - global_values.initial_pc) / domain25; - let total_sum = total_sum + *constraint_coefficients[29] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: final_ap. let value = (column5_row0 - global_values.final_ap) / domain24; - let total_sum = total_sum + *constraint_coefficients[30] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: final_fp. let value = (column5_row8 - global_values.initial_ap) / domain24; - let total_sum = total_sum + *constraint_coefficients[31] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: final_pc. let value = (column1_row0 - global_values.final_pc) / domain24; - let total_sum = total_sum + *constraint_coefficients[32] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: memory/multi_column_perm/perm/init0. let value = ((global_values.memory_multi_column_perm_perm_interaction_elm @@ -657,7 +657,7 @@ fn eval_composition_polynomial_inner( + global_values.memory_multi_column_perm_hash_interaction_elm0 * column1_row1 - global_values.memory_multi_column_perm_perm_interaction_elm) / domain25; - let total_sum = total_sum + *constraint_coefficients[33] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: memory/multi_column_perm/perm/step0. let value = ((global_values.memory_multi_column_perm_perm_interaction_elm @@ -670,35 +670,35 @@ fn eval_composition_polynomial_inner( * column6_inter1_row0) * domain26 / domain1; - let total_sum = total_sum + *constraint_coefficients[34] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: memory/multi_column_perm/perm/last. let value = (column6_inter1_row0 - global_values.memory_multi_column_perm_perm_public_memory_prod) / domain26; - let total_sum = total_sum + *constraint_coefficients[35] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: memory/diff_is_bit. let value = (memory_address_diff_0 * memory_address_diff_0 - memory_address_diff_0) * domain26 / domain1; - let total_sum = total_sum + *constraint_coefficients[36] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: memory/is_func. let value = ((memory_address_diff_0 - 1) * (column2_row1 - column2_row3)) * domain26 / domain1; - let total_sum = total_sum + *constraint_coefficients[37] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: memory/initial_addr. let value = (column2_row0 - 1) / domain25; - let total_sum = total_sum + *constraint_coefficients[38] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: public_memory_addr_zero. let value = (column1_row2) / domain5; - let total_sum = total_sum + *constraint_coefficients[39] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: public_memory_value_zero. let value = (column1_row3) / domain5; - let total_sum = total_sum + *constraint_coefficients[40] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: range_check16/perm/init0. let value = ((global_values.range_check16_perm_interaction_elm - column4_row2) @@ -706,7 +706,7 @@ fn eval_composition_polynomial_inner( + column4_row0 - global_values.range_check16_perm_interaction_elm) / domain25; - let total_sum = total_sum + *constraint_coefficients[41] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: range_check16/perm/step0. let value = ((global_values.range_check16_perm_interaction_elm - column4_row6) @@ -714,26 +714,26 @@ fn eval_composition_polynomial_inner( - (global_values.range_check16_perm_interaction_elm - column4_row4) * column7_inter1_row1) * domain27 / domain2; - let total_sum = total_sum + *constraint_coefficients[42] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: range_check16/perm/last. let value = (column7_inter1_row1 - global_values.range_check16_perm_public_memory_prod) / domain27; - let total_sum = total_sum + *constraint_coefficients[43] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: range_check16/diff_is_bit. let value = (range_check16_diff_0 * range_check16_diff_0 - range_check16_diff_0) * domain27 / domain2; - let total_sum = total_sum + *constraint_coefficients[44] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: range_check16/minimum. let value = (column4_row2 - global_values.range_check_min) / domain25; - let total_sum = total_sum + *constraint_coefficients[45] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: range_check16/maximum. let value = (column4_row2 - global_values.range_check_max) / domain27; - let total_sum = total_sum + *constraint_coefficients[46] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: diluted_check/permutation/init0. let value = ((global_values.diluted_check_permutation_interaction_elm - column3_row1) @@ -741,7 +741,7 @@ fn eval_composition_polynomial_inner( + column3_row0 - global_values.diluted_check_permutation_interaction_elm) / domain25; - let total_sum = total_sum + *constraint_coefficients[47] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: diluted_check/permutation/step0. let value = ((global_values.diluted_check_permutation_interaction_elm - column3_row3) @@ -750,20 +750,20 @@ fn eval_composition_polynomial_inner( * column7_inter1_row0) * domain26 / domain1; - let total_sum = total_sum + *constraint_coefficients[48] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: diluted_check/permutation/last. let value = (column7_inter1_row0 - global_values.diluted_check_permutation_public_memory_prod) / domain26; - let total_sum = total_sum + *constraint_coefficients[49] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: diluted_check/init. let value = (column6_inter1_row1 - 1) / domain25; - let total_sum = total_sum + *constraint_coefficients[50] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: diluted_check/first_element. let value = (column3_row1 - global_values.diluted_check_first_elm) / domain25; - let total_sum = total_sum + *constraint_coefficients[51] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: diluted_check/step. let value = (column6_inter1_row3 @@ -774,59 +774,59 @@ fn eval_composition_polynomial_inner( * (column3_row3 - column3_row1))) * domain26 / domain1; - let total_sum = total_sum + *constraint_coefficients[52] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: diluted_check/last. let value = (column6_inter1_row1 - global_values.diluted_check_final_cum_val) / domain26; - let total_sum = total_sum + *constraint_coefficients[53] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/bit_unpacking/last_one_is_zero. let value = (column5_row57 * (column4_row3 - (column4_row11 + column4_row11))) / domain19; - let total_sum = total_sum + *constraint_coefficients[54] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/bit_unpacking/zeroes_between_ones0. let value = (column5_row57 * (column4_row11 - 3138550867693340381917894711603833208051177722232017256448 * column4_row1539)) / domain19; - let total_sum = total_sum + *constraint_coefficients[55] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/bit_unpacking/cumulative_bit192. let value = (column5_row57 - column4_row2047 * (column4_row1539 - (column4_row1547 + column4_row1547))) / domain19; - let total_sum = total_sum + *constraint_coefficients[56] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/bit_unpacking/zeroes_between_ones192. let value = (column4_row2047 * (column4_row1547 - 8 * column4_row1571)) / domain19; - let total_sum = total_sum + *constraint_coefficients[57] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/bit_unpacking/cumulative_bit196. let value = (column4_row2047 - (column4_row2011 - (column4_row2019 + column4_row2019)) * (column4_row1571 - (column4_row1579 + column4_row1579))) / domain19; - let total_sum = total_sum + *constraint_coefficients[58] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/bit_unpacking/zeroes_between_ones196. let value = ((column4_row2011 - (column4_row2019 + column4_row2019)) * (column4_row1579 - 18014398509481984 * column4_row2011)) / domain19; - let total_sum = total_sum + *constraint_coefficients[59] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/booleanity_test. let value = (pedersen_hash0_ec_subset_sum_bit_0 * (pedersen_hash0_ec_subset_sum_bit_0 - 1)) * domain20 / domain3; - let total_sum = total_sum + *constraint_coefficients[60] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/bit_extraction_end. let value = (column4_row3) / domain21; - let total_sum = total_sum + *constraint_coefficients[61] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/zeros_tail. let value = (column4_row3) / domain20; - let total_sum = total_sum + *constraint_coefficients[62] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/add_points/slope. let value = (pedersen_hash0_ec_subset_sum_bit_0 @@ -834,7 +834,7 @@ fn eval_composition_polynomial_inner( - column4_row7 * (column4_row1 - global_values.pedersen_points_x)) * domain20 / domain3; - let total_sum = total_sum + *constraint_coefficients[63] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/add_points/x. let value = (column4_row7 * column4_row7 @@ -842,192 +842,192 @@ fn eval_composition_polynomial_inner( * (column4_row1 + global_values.pedersen_points_x + column4_row9)) * domain20 / domain3; - let total_sum = total_sum + *constraint_coefficients[64] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/add_points/y. let value = (pedersen_hash0_ec_subset_sum_bit_0 * (column4_row5 + column4_row13) - column4_row7 * (column4_row1 - column4_row9)) * domain20 / domain3; - let total_sum = total_sum + *constraint_coefficients[65] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/copy_point/x. let value = (pedersen_hash0_ec_subset_sum_bit_neg_0 * (column4_row9 - column4_row1)) * domain20 / domain3; - let total_sum = total_sum + *constraint_coefficients[66] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/ec_subset_sum/copy_point/y. let value = (pedersen_hash0_ec_subset_sum_bit_neg_0 * (column4_row13 - column4_row5)) * domain20 / domain3; - let total_sum = total_sum + *constraint_coefficients[67] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/copy_point/x. let value = (column4_row2049 - column4_row2041) * domain22 / domain19; - let total_sum = total_sum + *constraint_coefficients[68] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/copy_point/y. let value = (column4_row2053 - column4_row2045) * domain22 / domain19; - let total_sum = total_sum + *constraint_coefficients[69] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/init/x. let value = (column4_row1 - global_values.pedersen_shift_point.x) / domain23; - let total_sum = total_sum + *constraint_coefficients[70] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/hash0/init/y. let value = (column4_row5 - global_values.pedersen_shift_point.y) / domain23; - let total_sum = total_sum + *constraint_coefficients[71] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/input0_value0. let value = (column1_row11 - column4_row3) / domain23; - let total_sum = total_sum + *constraint_coefficients[72] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/input0_addr. let value = (column1_row4106 - (column1_row1034 + 1)) * domain28 / domain23; - let total_sum = total_sum + *constraint_coefficients[73] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/init_addr. let value = (column1_row10 - global_values.initial_pedersen_addr) / domain25; - let total_sum = total_sum + *constraint_coefficients[74] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/input1_value0. let value = (column1_row2059 - column4_row2051) / domain23; - let total_sum = total_sum + *constraint_coefficients[75] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/input1_addr. let value = (column1_row2058 - (column1_row10 + 1)) / domain23; - let total_sum = total_sum + *constraint_coefficients[76] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/output_value0. let value = (column1_row1035 - column4_row4089) / domain23; - let total_sum = total_sum + *constraint_coefficients[77] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: pedersen/output_addr. let value = (column1_row1034 - (column1_row2058 + 1)) / domain23; - let total_sum = total_sum + *constraint_coefficients[78] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: range_check_builtin/value. let value = (range_check_builtin_value7_0 - column1_row139) / domain9; - let total_sum = total_sum + *constraint_coefficients[79] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: range_check_builtin/addr_step. let value = (column1_row394 - (column1_row138 + 1)) * domain29 / domain9; - let total_sum = total_sum + *constraint_coefficients[80] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: range_check_builtin/init_addr. let value = (column1_row138 - global_values.initial_range_check_addr) / domain25; - let total_sum = total_sum + *constraint_coefficients[81] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: bitwise/init_var_pool_addr. let value = (column1_row42 - global_values.initial_bitwise_addr) / domain25; - let total_sum = total_sum + *constraint_coefficients[82] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: bitwise/step_var_pool_addr. let value = (column1_row106 - (column1_row42 + 1)) * domain10 / domain7; - let total_sum = total_sum + *constraint_coefficients[83] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: bitwise/x_or_y_addr. let value = (column1_row74 - (column1_row234 + 1)) / domain9; - let total_sum = total_sum + *constraint_coefficients[84] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: bitwise/next_var_pool_addr. let value = (column1_row298 - (column1_row74 + 1)) * domain29 / domain9; - let total_sum = total_sum + *constraint_coefficients[85] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: bitwise/partition. let value = (bitwise_sum_var_0_0 + bitwise_sum_var_8_0 - column1_row43) / domain7; - let total_sum = total_sum + *constraint_coefficients[86] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: bitwise/or_is_and_plus_xor. let value = (column1_row75 - (column1_row171 + column1_row235)) / domain9; - let total_sum = total_sum + *constraint_coefficients[87] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: bitwise/addition_is_xor_with_and. let value = (column3_row0 + column3_row64 - (column3_row192 + column3_row128 + column3_row128)) / domain11; - let total_sum = total_sum + *constraint_coefficients[88] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: bitwise/unique_unpacking192. let value = ((column3_row176 + column3_row240) * 16 - column3_row2) / domain9; - let total_sum = total_sum + *constraint_coefficients[89] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: bitwise/unique_unpacking193. let value = ((column3_row180 + column3_row244) * 16 - column3_row130) / domain9; - let total_sum = total_sum + *constraint_coefficients[90] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: bitwise/unique_unpacking194. let value = ((column3_row184 + column3_row248) * 16 - column3_row66) / domain9; - let total_sum = total_sum + *constraint_coefficients[91] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: bitwise/unique_unpacking195. let value = ((column3_row188 + column3_row252) * 256 - column3_row194) / domain9; - let total_sum = total_sum + *constraint_coefficients[92] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/param_0/init_input_output_addr. let value = (column1_row266 - global_values.initial_poseidon_addr) / domain25; - let total_sum = total_sum + *constraint_coefficients[93] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/param_0/addr_input_output_step. let value = (column1_row778 - (column1_row266 + 3)) * domain30 / domain12; - let total_sum = total_sum + *constraint_coefficients[94] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/param_1/init_input_output_addr. let value = (column1_row202 - (global_values.initial_poseidon_addr + 1)) / domain25; - let total_sum = total_sum + *constraint_coefficients[95] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/param_1/addr_input_output_step. let value = (column1_row714 - (column1_row202 + 3)) * domain30 / domain12; - let total_sum = total_sum + *constraint_coefficients[96] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/param_2/init_input_output_addr. let value = (column1_row458 - (global_values.initial_poseidon_addr + 2)) / domain25; - let total_sum = total_sum + *constraint_coefficients[97] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/param_2/addr_input_output_step. let value = (column1_row970 - (column1_row458 + 3)) * domain30 / domain12; - let total_sum = total_sum + *constraint_coefficients[98] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/full_rounds_state0_squaring. let value = (column5_row9 * column5_row9 - column5_row105) / domain8; - let total_sum = total_sum + *constraint_coefficients[99] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/full_rounds_state1_squaring. let value = (column5_row73 * column5_row73 - column5_row25) / domain8; - let total_sum = total_sum + *constraint_coefficients[100] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/full_rounds_state2_squaring. let value = (column5_row41 * column5_row41 - column5_row89) / domain8; - let total_sum = total_sum + *constraint_coefficients[101] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/partial_rounds_state0_squaring. let value = (column5_row6 * column5_row6 - column5_row14) / domain5; - let total_sum = total_sum + *constraint_coefficients[102] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/partial_rounds_state1_squaring. let value = (column5_row1 * column5_row1 - column5_row17) * domain15 / domain6; - let total_sum = total_sum + *constraint_coefficients[103] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/add_first_round_key0. let value = (column1_row267 + 2950795762459345168613727575620414179244544320470208355568817838579231751791 - column5_row9) / domain16; - let total_sum = total_sum + *constraint_coefficients[104] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/add_first_round_key1. let value = (column1_row203 + 1587446564224215276866294500450702039420286416111469274423465069420553242820 - column5_row73) / domain16; - let total_sum = total_sum + *constraint_coefficients[105] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/add_first_round_key2. let value = (column1_row459 + 1645965921169490687904413452218868659025437693527479459426157555728339600137 - column5_row41) / domain16; - let total_sum = total_sum + *constraint_coefficients[106] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/full_round0. let value = (column5_row137 @@ -1039,7 +1039,7 @@ fn eval_composition_polynomial_inner( + global_values.poseidon_poseidon_full_round_key0)) * domain13 / domain8; - let total_sum = total_sum + *constraint_coefficients[107] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/full_round1. let value = (column5_row201 @@ -1049,7 +1049,7 @@ fn eval_composition_polynomial_inner( + global_values.poseidon_poseidon_full_round_key1)) * domain13 / domain8; - let total_sum = total_sum + *constraint_coefficients[108] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/full_round2. let value = (column5_row169 @@ -1060,7 +1060,7 @@ fn eval_composition_polynomial_inner( + global_values.poseidon_poseidon_full_round_key2)) * domain13 / domain8; - let total_sum = total_sum + *constraint_coefficients[109] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/last_full_round0. let value = (column1_row779 @@ -1070,7 +1070,7 @@ fn eval_composition_polynomial_inner( + poseidon_poseidon_full_rounds_state1_cubed_7 + poseidon_poseidon_full_rounds_state2_cubed_7)) / domain16; - let total_sum = total_sum + *constraint_coefficients[110] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/last_full_round1. let value = (column1_row715 @@ -1078,7 +1078,7 @@ fn eval_composition_polynomial_inner( - (poseidon_poseidon_full_rounds_state0_cubed_7 + poseidon_poseidon_full_rounds_state2_cubed_7)) / domain16; - let total_sum = total_sum + *constraint_coefficients[111] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/last_full_round2. let value = (column1_row971 @@ -1087,19 +1087,19 @@ fn eval_composition_polynomial_inner( - (poseidon_poseidon_full_rounds_state0_cubed_7 + poseidon_poseidon_full_rounds_state1_cubed_7)) / domain16; - let total_sum = total_sum + *constraint_coefficients[112] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/copy_partial_rounds0_i0. let value = (column5_row982 - column5_row1) / domain16; - let total_sum = total_sum + *constraint_coefficients[113] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/copy_partial_rounds0_i1. let value = (column5_row998 - column5_row33) / domain16; - let total_sum = total_sum + *constraint_coefficients[114] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/copy_partial_rounds0_i2. let value = (column5_row1014 - column5_row65) / domain16; - let total_sum = total_sum + *constraint_coefficients[115] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/margin_full_to_partial0. let value = (column5_row6 @@ -1109,7 +1109,7 @@ fn eval_composition_polynomial_inner( + poseidon_poseidon_full_rounds_state1_cubed_3 + 2121140748740143694053732746913428481442990369183417228688865837805149503386)) / domain16; - let total_sum = total_sum + *constraint_coefficients[116] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/margin_full_to_partial1. let value = (column5_row22 @@ -1121,7 +1121,7 @@ fn eval_composition_polynomial_inner( * poseidon_poseidon_partial_rounds_state0_cubed_0 + 2006642341318481906727563724340978325665491359415674592697055778067937914672)) / domain16; - let total_sum = total_sum + *constraint_coefficients[117] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/margin_full_to_partial2. let value = (column5_row38 @@ -1134,7 +1134,7 @@ fn eval_composition_polynomial_inner( * poseidon_poseidon_partial_rounds_state0_cubed_1 + 427751140904099001132521606468025610873158555767197326325930641757709538586)) / domain16; - let total_sum = total_sum + *constraint_coefficients[118] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/partial_round0. let value = (column5_row54 @@ -1148,7 +1148,7 @@ fn eval_composition_polynomial_inner( + global_values.poseidon_poseidon_partial_round_key0)) * domain17 / domain5; - let total_sum = total_sum + *constraint_coefficients[119] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/partial_round1. let value = (column5_row97 @@ -1162,7 +1162,7 @@ fn eval_composition_polynomial_inner( + global_values.poseidon_poseidon_partial_round_key1)) * domain18 / domain6; - let total_sum = total_sum + *constraint_coefficients[120] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/margin_partial_to_full0. let value = (column5_row521 @@ -1173,7 +1173,7 @@ fn eval_composition_polynomial_inner( + poseidon_poseidon_partial_rounds_state1_cubed_21 + 560279373700919169769089400651532183647886248799764942664266404650165812023)) / domain16; - let total_sum = total_sum + *constraint_coefficients[121] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/margin_partial_to_full1. let value = (column5_row585 @@ -1183,7 +1183,7 @@ fn eval_composition_polynomial_inner( + poseidon_poseidon_partial_rounds_state1_cubed_21 + 1401754474293352309994371631695783042590401941592571735921592823982231996415)) / domain16; - let total_sum = total_sum + *constraint_coefficients[122] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Constraint: poseidon/poseidon/margin_partial_to_full2. let value = (column5_row553 @@ -1196,15 +1196,15 @@ fn eval_composition_polynomial_inner( * poseidon_poseidon_partial_rounds_state1_cubed_21 + 1246177936547655338400308396717835700699368047388302793172818304164989556526)) / domain16; - let total_sum = total_sum + *constraint_coefficients[123] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; total_sum } fn eval_oods_polynomial_inner( - column_values: Span, - oods_values: Span, - constraint_coefficients: Span, + mut column_values: Span, + mut oods_values: Span, + mut constraint_coefficients: Span, point: felt252, oods_point: felt252, trace_generator: felt252, @@ -1346,604 +1346,604 @@ fn eval_oods_polynomial_inner( let pow133 = pow1 * pow21; // pow(trace_generator, 4106). // Fetch columns. - let column0 = *column_values[0]; - let column1 = *column_values[1]; - let column2 = *column_values[2]; - let column3 = *column_values[3]; - let column4 = *column_values[4]; - let column5 = *column_values[5]; - let column6 = *column_values[6]; - let column7 = *column_values[7]; + let column0 = *column_values.pop_front().unwrap(); + let column1 = *column_values.pop_front().unwrap(); + let column2 = *column_values.pop_front().unwrap(); + let column3 = *column_values.pop_front().unwrap(); + let column4 = *column_values.pop_front().unwrap(); + let column5 = *column_values.pop_front().unwrap(); + let column6 = *column_values.pop_front().unwrap(); + let column7 = *column_values.pop_front().unwrap(); // Sum the OODS constraints on the trace polynomials. let total_sum = 0; - let value = (column0 - *oods_values[0]) / (point - pow0 * oods_point); - let total_sum = total_sum + *constraint_coefficients[0] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow0 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[1]) / (point - pow4 * oods_point); - let total_sum = total_sum + *constraint_coefficients[1] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow4 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[2]) / (point - pow5 * oods_point); - let total_sum = total_sum + *constraint_coefficients[2] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow5 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[3]) / (point - pow6 * oods_point); - let total_sum = total_sum + *constraint_coefficients[3] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow6 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[4]) / (point - pow7 * oods_point); - let total_sum = total_sum + *constraint_coefficients[4] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow7 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[5]) / (point - pow8 * oods_point); - let total_sum = total_sum + *constraint_coefficients[5] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow8 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[6]) / (point - pow9 * oods_point); - let total_sum = total_sum + *constraint_coefficients[6] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow9 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[7]) / (point - pow10 * oods_point); - let total_sum = total_sum + *constraint_coefficients[7] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow10 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[8]) / (point - pow11 * oods_point); - let total_sum = total_sum + *constraint_coefficients[8] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow11 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[9]) / (point - pow13 * oods_point); - let total_sum = total_sum + *constraint_coefficients[9] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow13 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[10]) / (point - pow14 * oods_point); - let total_sum = total_sum + *constraint_coefficients[10] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow14 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[11]) / (point - pow15 * oods_point); - let total_sum = total_sum + *constraint_coefficients[11] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow15 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[12]) / (point - pow16 * oods_point); - let total_sum = total_sum + *constraint_coefficients[12] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow16 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[13]) / (point - pow17 * oods_point); - let total_sum = total_sum + *constraint_coefficients[13] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow17 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[14]) / (point - pow18 * oods_point); - let total_sum = total_sum + *constraint_coefficients[14] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow18 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column0 - *oods_values[15]) / (point - pow19 * oods_point); - let total_sum = total_sum + *constraint_coefficients[15] * value; + let value = (column0 - *oods_values.pop_front().unwrap()) / (point - pow19 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[16]) / (point - pow0 * oods_point); - let total_sum = total_sum + *constraint_coefficients[16] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow0 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[17]) / (point - pow4 * oods_point); - let total_sum = total_sum + *constraint_coefficients[17] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow4 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[18]) / (point - pow5 * oods_point); - let total_sum = total_sum + *constraint_coefficients[18] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow5 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[19]) / (point - pow6 * oods_point); - let total_sum = total_sum + *constraint_coefficients[19] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow6 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[20]) / (point - pow7 * oods_point); - let total_sum = total_sum + *constraint_coefficients[20] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow7 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[21]) / (point - pow8 * oods_point); - let total_sum = total_sum + *constraint_coefficients[21] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow8 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[22]) / (point - pow11 * oods_point); - let total_sum = total_sum + *constraint_coefficients[22] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow11 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[23]) / (point - pow13 * oods_point); - let total_sum = total_sum + *constraint_coefficients[23] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow13 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[24]) / (point - pow14 * oods_point); - let total_sum = total_sum + *constraint_coefficients[24] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow14 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[25]) / (point - pow15 * oods_point); - let total_sum = total_sum + *constraint_coefficients[25] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow15 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[26]) / (point - pow16 * oods_point); - let total_sum = total_sum + *constraint_coefficients[26] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow16 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[27]) / (point - pow17 * oods_point); - let total_sum = total_sum + *constraint_coefficients[27] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow17 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[28]) / (point - pow20 * oods_point); - let total_sum = total_sum + *constraint_coefficients[28] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow20 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[29]) / (point - pow35 * oods_point); - let total_sum = total_sum + *constraint_coefficients[29] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow35 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[30]) / (point - pow36 * oods_point); - let total_sum = total_sum + *constraint_coefficients[30] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow36 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[31]) / (point - pow50 * oods_point); - let total_sum = total_sum + *constraint_coefficients[31] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow50 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[32]) / (point - pow51 * oods_point); - let total_sum = total_sum + *constraint_coefficients[32] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow51 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[33]) / (point - pow57 * oods_point); - let total_sum = total_sum + *constraint_coefficients[33] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow57 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[34]) / (point - pow62 * oods_point); - let total_sum = total_sum + *constraint_coefficients[34] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow62 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[35]) / (point - pow63 * oods_point); - let total_sum = total_sum + *constraint_coefficients[35] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow63 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[36]) / (point - pow65 * oods_point); - let total_sum = total_sum + *constraint_coefficients[36] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow65 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[37]) / (point - pow75 * oods_point); - let total_sum = total_sum + *constraint_coefficients[37] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow75 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[38]) / (point - pow76 * oods_point); - let total_sum = total_sum + *constraint_coefficients[38] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow76 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[39]) / (point - pow79 * oods_point); - let total_sum = total_sum + *constraint_coefficients[39] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow79 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[40]) / (point - pow80 * oods_point); - let total_sum = total_sum + *constraint_coefficients[40] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow80 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[41]) / (point - pow86 * oods_point); - let total_sum = total_sum + *constraint_coefficients[41] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow86 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[42]) / (point - pow87 * oods_point); - let total_sum = total_sum + *constraint_coefficients[42] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow87 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[43]) / (point - pow115 * oods_point); - let total_sum = total_sum + *constraint_coefficients[43] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow115 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[44]) / (point - pow88 * oods_point); - let total_sum = total_sum + *constraint_coefficients[44] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow88 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[45]) / (point - pow92 * oods_point); - let total_sum = total_sum + *constraint_coefficients[45] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow92 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[46]) / (point - pow93 * oods_point); - let total_sum = total_sum + *constraint_coefficients[46] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow93 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[47]) / (point - pow109 * oods_point); - let total_sum = total_sum + *constraint_coefficients[47] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow109 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[48]) / (point - pow113 * oods_point); - let total_sum = total_sum + *constraint_coefficients[48] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow113 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[49]) / (point - pow110 * oods_point); - let total_sum = total_sum + *constraint_coefficients[49] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow110 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[50]) / (point - pow114 * oods_point); - let total_sum = total_sum + *constraint_coefficients[50] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow114 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[51]) / (point - pow111 * oods_point); - let total_sum = total_sum + *constraint_coefficients[51] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow111 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[52]) / (point - pow116 * oods_point); - let total_sum = total_sum + *constraint_coefficients[52] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow116 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[53]) / (point - pow122 * oods_point); - let total_sum = total_sum + *constraint_coefficients[53] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow122 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[54]) / (point - pow127 * oods_point); - let total_sum = total_sum + *constraint_coefficients[54] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow127 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[55]) / (point - pow131 * oods_point); - let total_sum = total_sum + *constraint_coefficients[55] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow131 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[56]) / (point - pow132 * oods_point); - let total_sum = total_sum + *constraint_coefficients[56] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow132 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column1 - *oods_values[57]) / (point - pow133 * oods_point); - let total_sum = total_sum + *constraint_coefficients[57] * value; + let value = (column1 - *oods_values.pop_front().unwrap()) / (point - pow133 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column2 - *oods_values[58]) / (point - pow0 * oods_point); - let total_sum = total_sum + *constraint_coefficients[58] * value; + let value = (column2 - *oods_values.pop_front().unwrap()) / (point - pow0 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column2 - *oods_values[59]) / (point - pow4 * oods_point); - let total_sum = total_sum + *constraint_coefficients[59] * value; + let value = (column2 - *oods_values.pop_front().unwrap()) / (point - pow4 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column2 - *oods_values[60]) / (point - pow5 * oods_point); - let total_sum = total_sum + *constraint_coefficients[60] * value; + let value = (column2 - *oods_values.pop_front().unwrap()) / (point - pow5 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column2 - *oods_values[61]) / (point - pow6 * oods_point); - let total_sum = total_sum + *constraint_coefficients[61] * value; + let value = (column2 - *oods_values.pop_front().unwrap()) / (point - pow6 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[62]) / (point - pow0 * oods_point); - let total_sum = total_sum + *constraint_coefficients[62] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow0 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[63]) / (point - pow4 * oods_point); - let total_sum = total_sum + *constraint_coefficients[63] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow4 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[64]) / (point - pow5 * oods_point); - let total_sum = total_sum + *constraint_coefficients[64] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow5 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[65]) / (point - pow6 * oods_point); - let total_sum = total_sum + *constraint_coefficients[65] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow6 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[66]) / (point - pow7 * oods_point); - let total_sum = total_sum + *constraint_coefficients[66] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow7 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[67]) / (point - pow11 * oods_point); - let total_sum = total_sum + *constraint_coefficients[67] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow11 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[68]) / (point - pow16 * oods_point); - let total_sum = total_sum + *constraint_coefficients[68] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow16 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[69]) / (point - pow20 * oods_point); - let total_sum = total_sum + *constraint_coefficients[69] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow20 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[70]) / (point - pow22 * oods_point); - let total_sum = total_sum + *constraint_coefficients[70] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow22 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[71]) / (point - pow24 * oods_point); - let total_sum = total_sum + *constraint_coefficients[71] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow24 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[72]) / (point - pow26 * oods_point); - let total_sum = total_sum + *constraint_coefficients[72] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow26 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[73]) / (point - pow28 * oods_point); - let total_sum = total_sum + *constraint_coefficients[73] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow28 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[74]) / (point - pow31 * oods_point); - let total_sum = total_sum + *constraint_coefficients[74] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow31 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[75]) / (point - pow33 * oods_point); - let total_sum = total_sum + *constraint_coefficients[75] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow33 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[76]) / (point - pow37 * oods_point); - let total_sum = total_sum + *constraint_coefficients[76] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow37 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[77]) / (point - pow39 * oods_point); - let total_sum = total_sum + *constraint_coefficients[77] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow39 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[78]) / (point - pow41 * oods_point); - let total_sum = total_sum + *constraint_coefficients[78] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow41 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[79]) / (point - pow43 * oods_point); - let total_sum = total_sum + *constraint_coefficients[79] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow43 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[80]) / (point - pow45 * oods_point); - let total_sum = total_sum + *constraint_coefficients[80] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow45 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[81]) / (point - pow46 * oods_point); - let total_sum = total_sum + *constraint_coefficients[81] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow46 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[82]) / (point - pow48 * oods_point); - let total_sum = total_sum + *constraint_coefficients[82] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow48 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[83]) / (point - pow59 * oods_point); - let total_sum = total_sum + *constraint_coefficients[83] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow59 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[84]) / (point - pow60 * oods_point); - let total_sum = total_sum + *constraint_coefficients[84] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow60 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[85]) / (point - pow68 * oods_point); - let total_sum = total_sum + *constraint_coefficients[85] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow68 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[86]) / (point - pow69 * oods_point); - let total_sum = total_sum + *constraint_coefficients[86] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow69 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[87]) / (point - pow70 * oods_point); - let total_sum = total_sum + *constraint_coefficients[87] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow70 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[88]) / (point - pow71 * oods_point); - let total_sum = total_sum + *constraint_coefficients[88] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow71 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[89]) / (point - pow72 * oods_point); - let total_sum = total_sum + *constraint_coefficients[89] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow72 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[90]) / (point - pow73 * oods_point); - let total_sum = total_sum + *constraint_coefficients[90] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow73 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[91]) / (point - pow82 * oods_point); - let total_sum = total_sum + *constraint_coefficients[91] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow82 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[92]) / (point - pow83 * oods_point); - let total_sum = total_sum + *constraint_coefficients[92] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow83 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[93]) / (point - pow84 * oods_point); - let total_sum = total_sum + *constraint_coefficients[93] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow84 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column3 - *oods_values[94]) / (point - pow85 * oods_point); - let total_sum = total_sum + *constraint_coefficients[94] * value; + let value = (column3 - *oods_values.pop_front().unwrap()) / (point - pow85 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[95]) / (point - pow0 * oods_point); - let total_sum = total_sum + *constraint_coefficients[95] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow0 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[96]) / (point - pow4 * oods_point); - let total_sum = total_sum + *constraint_coefficients[96] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow4 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[97]) / (point - pow5 * oods_point); - let total_sum = total_sum + *constraint_coefficients[97] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow5 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[98]) / (point - pow6 * oods_point); - let total_sum = total_sum + *constraint_coefficients[98] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow6 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[99]) / (point - pow7 * oods_point); - let total_sum = total_sum + *constraint_coefficients[99] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow7 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[100]) / (point - pow8 * oods_point); - let total_sum = total_sum + *constraint_coefficients[100] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow8 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[101]) / (point - pow9 * oods_point); - let total_sum = total_sum + *constraint_coefficients[101] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow9 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[102]) / (point - pow10 * oods_point); - let total_sum = total_sum + *constraint_coefficients[102] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow10 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[103]) / (point - pow11 * oods_point); - let total_sum = total_sum + *constraint_coefficients[103] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow11 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[104]) / (point - pow13 * oods_point); - let total_sum = total_sum + *constraint_coefficients[104] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow13 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[105]) / (point - pow15 * oods_point); - let total_sum = total_sum + *constraint_coefficients[105] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow15 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[106]) / (point - pow16 * oods_point); - let total_sum = total_sum + *constraint_coefficients[106] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow16 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[107]) / (point - pow17 * oods_point); - let total_sum = total_sum + *constraint_coefficients[107] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow17 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[108]) / (point - pow37 * oods_point); - let total_sum = total_sum + *constraint_coefficients[108] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow37 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[109]) / (point - pow52 * oods_point); - let total_sum = total_sum + *constraint_coefficients[109] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow52 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[110]) / (point - pow58 * oods_point); - let total_sum = total_sum + *constraint_coefficients[110] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow58 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[111]) / (point - pow66 * oods_point); - let total_sum = total_sum + *constraint_coefficients[111] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow66 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[112]) / (point - pow67 * oods_point); - let total_sum = total_sum + *constraint_coefficients[112] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow67 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[113]) / (point - pow78 * oods_point); - let total_sum = total_sum + *constraint_coefficients[113] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow78 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[114]) / (point - pow81 * oods_point); - let total_sum = total_sum + *constraint_coefficients[114] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow81 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[115]) / (point - pow3 * oods_point); - let total_sum = total_sum + *constraint_coefficients[115] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow3 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[116]) / (point - pow12 * oods_point); - let total_sum = total_sum + *constraint_coefficients[116] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow12 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[117]) / (point - pow30 * oods_point); - let total_sum = total_sum + *constraint_coefficients[117] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow30 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[118]) / (point - pow112 * oods_point); - let total_sum = total_sum + *constraint_coefficients[118] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow112 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[119]) / (point - pow2 * oods_point); - let total_sum = total_sum + *constraint_coefficients[119] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow2 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[120]) / (point - pow123 * oods_point); - let total_sum = total_sum + *constraint_coefficients[120] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow123 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[121]) / (point - pow124 * oods_point); - let total_sum = total_sum + *constraint_coefficients[121] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow124 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[122]) / (point - pow125 * oods_point); - let total_sum = total_sum + *constraint_coefficients[122] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow125 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[123]) / (point - pow126 * oods_point); - let total_sum = total_sum + *constraint_coefficients[123] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow126 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[124]) / (point - pow128 * oods_point); - let total_sum = total_sum + *constraint_coefficients[124] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow128 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[125]) / (point - pow129 * oods_point); - let total_sum = total_sum + *constraint_coefficients[125] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow129 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[126]) / (point - pow130 * oods_point); - let total_sum = total_sum + *constraint_coefficients[126] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow130 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column4 - *oods_values[127]) / (point - pow1 * oods_point); - let total_sum = total_sum + *constraint_coefficients[127] * value; + let value = (column4 - *oods_values.pop_front().unwrap()) / (point - pow1 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[128]) / (point - pow0 * oods_point); - let total_sum = total_sum + *constraint_coefficients[128] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow0 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[129]) / (point - pow4 * oods_point); - let total_sum = total_sum + *constraint_coefficients[129] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow4 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[130]) / (point - pow5 * oods_point); - let total_sum = total_sum + *constraint_coefficients[130] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow5 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[131]) / (point - pow7 * oods_point); - let total_sum = total_sum + *constraint_coefficients[131] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow7 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[132]) / (point - pow9 * oods_point); - let total_sum = total_sum + *constraint_coefficients[132] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow9 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[133]) / (point - pow11 * oods_point); - let total_sum = total_sum + *constraint_coefficients[133] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow11 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[134]) / (point - pow13 * oods_point); - let total_sum = total_sum + *constraint_coefficients[134] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow13 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[135]) / (point - pow14 * oods_point); - let total_sum = total_sum + *constraint_coefficients[135] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow14 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[136]) / (point - pow16 * oods_point); - let total_sum = total_sum + *constraint_coefficients[136] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow16 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[137]) / (point - pow18 * oods_point); - let total_sum = total_sum + *constraint_coefficients[137] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow18 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[138]) / (point - pow20 * oods_point); - let total_sum = total_sum + *constraint_coefficients[138] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow20 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[139]) / (point - pow21 * oods_point); - let total_sum = total_sum + *constraint_coefficients[139] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow21 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[140]) / (point - pow23 * oods_point); - let total_sum = total_sum + *constraint_coefficients[140] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow23 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[141]) / (point - pow24 * oods_point); - let total_sum = total_sum + *constraint_coefficients[141] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow24 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[142]) / (point - pow25 * oods_point); - let total_sum = total_sum + *constraint_coefficients[142] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow25 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[143]) / (point - pow27 * oods_point); - let total_sum = total_sum + *constraint_coefficients[143] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow27 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[144]) / (point - pow29 * oods_point); - let total_sum = total_sum + *constraint_coefficients[144] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow29 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[145]) / (point - pow32 * oods_point); - let total_sum = total_sum + *constraint_coefficients[145] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow32 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[146]) / (point - pow34 * oods_point); - let total_sum = total_sum + *constraint_coefficients[146] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow34 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[147]) / (point - pow38 * oods_point); - let total_sum = total_sum + *constraint_coefficients[147] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow38 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[148]) / (point - pow40 * oods_point); - let total_sum = total_sum + *constraint_coefficients[148] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow40 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[149]) / (point - pow42 * oods_point); - let total_sum = total_sum + *constraint_coefficients[149] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow42 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[150]) / (point - pow44 * oods_point); - let total_sum = total_sum + *constraint_coefficients[150] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow44 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[151]) / (point - pow47 * oods_point); - let total_sum = total_sum + *constraint_coefficients[151] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow47 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[152]) / (point - pow49 * oods_point); - let total_sum = total_sum + *constraint_coefficients[152] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow49 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[153]) / (point - pow53 * oods_point); - let total_sum = total_sum + *constraint_coefficients[153] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow53 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[154]) / (point - pow54 * oods_point); - let total_sum = total_sum + *constraint_coefficients[154] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow54 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[155]) / (point - pow55 * oods_point); - let total_sum = total_sum + *constraint_coefficients[155] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow55 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[156]) / (point - pow56 * oods_point); - let total_sum = total_sum + *constraint_coefficients[156] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow56 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[157]) / (point - pow61 * oods_point); - let total_sum = total_sum + *constraint_coefficients[157] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow61 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[158]) / (point - pow64 * oods_point); - let total_sum = total_sum + *constraint_coefficients[158] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow64 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[159]) / (point - pow74 * oods_point); - let total_sum = total_sum + *constraint_coefficients[159] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow74 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[160]) / (point - pow77 * oods_point); - let total_sum = total_sum + *constraint_coefficients[160] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow77 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[161]) / (point - pow89 * oods_point); - let total_sum = total_sum + *constraint_coefficients[161] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow89 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[162]) / (point - pow90 * oods_point); - let total_sum = total_sum + *constraint_coefficients[162] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow90 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[163]) / (point - pow91 * oods_point); - let total_sum = total_sum + *constraint_coefficients[163] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow91 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[164]) / (point - pow94 * oods_point); - let total_sum = total_sum + *constraint_coefficients[164] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow94 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[165]) / (point - pow95 * oods_point); - let total_sum = total_sum + *constraint_coefficients[165] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow95 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[166]) / (point - pow96 * oods_point); - let total_sum = total_sum + *constraint_coefficients[166] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow96 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[167]) / (point - pow97 * oods_point); - let total_sum = total_sum + *constraint_coefficients[167] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow97 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[168]) / (point - pow98 * oods_point); - let total_sum = total_sum + *constraint_coefficients[168] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow98 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[169]) / (point - pow99 * oods_point); - let total_sum = total_sum + *constraint_coefficients[169] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow99 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[170]) / (point - pow100 * oods_point); - let total_sum = total_sum + *constraint_coefficients[170] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow100 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[171]) / (point - pow101 * oods_point); - let total_sum = total_sum + *constraint_coefficients[171] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow101 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[172]) / (point - pow102 * oods_point); - let total_sum = total_sum + *constraint_coefficients[172] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow102 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[173]) / (point - pow104 * oods_point); - let total_sum = total_sum + *constraint_coefficients[173] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow104 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[174]) / (point - pow106 * oods_point); - let total_sum = total_sum + *constraint_coefficients[174] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow106 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[175]) / (point - pow103 * oods_point); - let total_sum = total_sum + *constraint_coefficients[175] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow103 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[176]) / (point - pow105 * oods_point); - let total_sum = total_sum + *constraint_coefficients[176] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow105 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[177]) / (point - pow107 * oods_point); - let total_sum = total_sum + *constraint_coefficients[177] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow107 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[178]) / (point - pow108 * oods_point); - let total_sum = total_sum + *constraint_coefficients[178] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow108 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[179]) / (point - pow117 * oods_point); - let total_sum = total_sum + *constraint_coefficients[179] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow117 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[180]) / (point - pow118 * oods_point); - let total_sum = total_sum + *constraint_coefficients[180] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow118 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[181]) / (point - pow119 * oods_point); - let total_sum = total_sum + *constraint_coefficients[181] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow119 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[182]) / (point - pow120 * oods_point); - let total_sum = total_sum + *constraint_coefficients[182] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow120 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column5 - *oods_values[183]) / (point - pow121 * oods_point); - let total_sum = total_sum + *constraint_coefficients[183] * value; + let value = (column5 - *oods_values.pop_front().unwrap()) / (point - pow121 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column6 - *oods_values[184]) / (point - pow0 * oods_point); - let total_sum = total_sum + *constraint_coefficients[184] * value; + let value = (column6 - *oods_values.pop_front().unwrap()) / (point - pow0 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column6 - *oods_values[185]) / (point - pow4 * oods_point); - let total_sum = total_sum + *constraint_coefficients[185] * value; + let value = (column6 - *oods_values.pop_front().unwrap()) / (point - pow4 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column6 - *oods_values[186]) / (point - pow5 * oods_point); - let total_sum = total_sum + *constraint_coefficients[186] * value; + let value = (column6 - *oods_values.pop_front().unwrap()) / (point - pow5 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column6 - *oods_values[187]) / (point - pow6 * oods_point); - let total_sum = total_sum + *constraint_coefficients[187] * value; + let value = (column6 - *oods_values.pop_front().unwrap()) / (point - pow6 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column7 - *oods_values[188]) / (point - pow0 * oods_point); - let total_sum = total_sum + *constraint_coefficients[188] * value; + let value = (column7 - *oods_values.pop_front().unwrap()) / (point - pow0 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column7 - *oods_values[189]) / (point - pow4 * oods_point); - let total_sum = total_sum + *constraint_coefficients[189] * value; + let value = (column7 - *oods_values.pop_front().unwrap()) / (point - pow4 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column7 - *oods_values[190]) / (point - pow5 * oods_point); - let total_sum = total_sum + *constraint_coefficients[190] * value; + let value = (column7 - *oods_values.pop_front().unwrap()) / (point - pow5 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (column7 - *oods_values[191]) / (point - pow8 * oods_point); - let total_sum = total_sum + *constraint_coefficients[191] * value; + let value = (column7 - *oods_values.pop_front().unwrap()) / (point - pow8 * oods_point); + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; // Sum the OODS boundary constraints on the composition polynomials. let oods_point_to_deg = pow(oods_point, CONSTRAINT_DEGREE.into()); - let value = (*column_values[NUM_COLUMNS_FIRST + NUM_COLUMNS_SECOND] - *oods_values[192]) + let value = (*column_values.pop_front().unwrap() - *oods_values.pop_front().unwrap()) / (point - oods_point_to_deg); - let total_sum = total_sum + *constraint_coefficients[192] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; - let value = (*column_values[NUM_COLUMNS_FIRST + NUM_COLUMNS_SECOND + 1] - *oods_values[193]) + let value = (*column_values.pop_front().unwrap() - *oods_values.pop_front().unwrap()) / (point - oods_point_to_deg); - let total_sum = total_sum + *constraint_coefficients[193] * value; + let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; assert(194 == MASK_SIZE + CONSTRAINT_DEGREE, 'Invalid value'); total_sum