diff --git a/crates/air/Cargo.toml b/crates/air/Cargo.toml
index d0b91a5..a833c7f 100644
--- a/crates/air/Cargo.toml
+++ b/crates/air/Cargo.toml
@@ -8,7 +8,7 @@ repository.workspace = true
 version.workspace = true
 
 [features]
-default = ["std", "recursive", "keccak_160_lsb", "stone5"]
+default = ["std", "dynamic", "keccak_160_lsb", "stone5"]
 std = [
     "dep:thiserror",
     "swiftness_commitment/std",
diff --git a/crates/air/src/layout/dynamic/autogenerated/autogenerated_composition.rs b/crates/air/src/layout/dynamic/autogenerated/autogenerated_composition.rs
index 8b89599..ff670b1 100644
--- a/crates/air/src/layout/dynamic/autogenerated/autogenerated_composition.rs
+++ b/crates/air/src/layout/dynamic/autogenerated/autogenerated_composition.rs
@@ -7150,99 +7150,41 @@ pub fn eval_composition_polynomial_inner(
     let mut domain43 = FELT_0;
     let mut domain44 = FELT_0;
     let mut domain45 = FELT_0;
-    let mut domain46 = FELT_0;
     let mut domain47 = FELT_0;
     let mut domain48 = FELT_0;
-    let mut domain49 = FELT_0;
     let mut domain50 = FELT_0;
     let mut domain51 = FELT_0;
     let mut domain52 = FELT_0;
-    let mut domain53 = FELT_0;
-    let mut domain54 = FELT_0;
     let mut domain55 = FELT_0;
     let mut domain56 = FELT_0;
     let mut domain57 = FELT_0;
-    let mut domain58 = FELT_0;
-    let mut domain59 = FELT_0;
-    let mut domain60 = FELT_0;
     let mut domain61 = FELT_0;
-    let mut domain62 = FELT_0;
-    let mut domain63 = FELT_0;
     let mut domain64 = FELT_0;
     let mut domain65 = FELT_0;
-    let mut domain66 = FELT_0;
     let mut domain67 = FELT_0;
-    let mut domain68 = FELT_0;
-    let mut domain69 = FELT_0;
     let mut domain70 = FELT_0;
-    let mut domain71 = FELT_0;
     let mut domain72 = FELT_0;
-    let mut domain73 = FELT_0;
-    let mut domain74 = FELT_0;
-    let mut domain75 = FELT_0;
     let mut domain76 = FELT_0;
-    let mut domain77 = FELT_0;
-    let mut domain78 = FELT_0;
-    let mut domain79 = FELT_0;
-    let mut domain80 = FELT_0;
     let mut domain81 = FELT_0;
-    let mut domain82 = FELT_0;
-    let mut domain83 = FELT_0;
-    let mut domain84 = FELT_0;
-    let mut domain85 = FELT_0;
-    let mut domain86 = FELT_0;
-    let mut domain87 = FELT_0;
-    let mut domain88 = FELT_0;
-    let mut domain89 = FELT_0;
-    let mut domain90 = FELT_0;
     let mut domain91 = FELT_0;
-    let mut domain92 = FELT_0;
     let mut domain93 = FELT_0;
-    let mut domain94 = FELT_0;
-    let mut domain95 = FELT_0;
     let mut domain96 = FELT_0;
     let mut domain97 = FELT_0;
     let mut domain98 = FELT_0;
-    let mut domain99 = FELT_0;
-    let mut domain100 = FELT_0;
-    let mut domain101 = FELT_0;
-    let mut domain102 = FELT_0;
     let mut domain103 = FELT_0;
-    let mut domain104 = FELT_0;
-    let mut domain105 = FELT_0;
-    let mut domain106 = FELT_0;
-    let mut domain107 = FELT_0;
-    let mut domain108 = FELT_0;
     let mut domain109 = FELT_0;
-    let mut domain110 = FELT_0;
-    let mut domain111 = FELT_0;
-    let mut domain112 = FELT_0;
-    let mut domain113 = FELT_0;
-    let mut domain114 = FELT_0;
-    let mut domain115 = FELT_0;
-    let mut domain116 = FELT_0;
-    let mut domain117 = FELT_0;
-    let mut domain118 = FELT_0;
-    let mut domain119 = FELT_0;
     let mut domain120 = FELT_0;
-    let mut domain121 = FELT_0;
     let mut domain122 = FELT_0;
-    let mut domain123 = FELT_0;
-    let mut domain124 = FELT_0;
     let mut domain125 = FELT_0;
     let mut domain126 = FELT_0;
     let mut domain127 = FELT_0;
     let mut domain128 = FELT_0;
-    let mut domain129 = FELT_0;
     let mut domain130 = FELT_0;
     let mut domain131 = FELT_0;
-    let mut domain132 = FELT_0;
     let mut domain133 = FELT_0;
     let mut domain134 = FELT_0;
     let mut domain135 = FELT_0;
-    let mut domain136 = FELT_0;
     let mut domain137 = FELT_0;
-    let mut domain138 = FELT_0;
     let mut domain139 = FELT_0;
     let mut domain140 = FELT_0;
     let mut domain141 = FELT_0;
@@ -7629,7 +7571,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow46 - pow2050);
         domain44 = temp * (domain43);
         domain45 = pow45 - FELT_1;
-        domain46 = pow44 - FELT_1;
+        let domain46 = pow44 - FELT_1;
         let temp = pow44 - pow58;
         domain47 = temp * (domain46);
         let temp = pow44 - pow51;
@@ -7653,7 +7595,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow69);
         let temp = temp * (pow44 - pow70);
         let temp = temp * (pow44 - pow71);
-        domain49 = temp * (domain47);
+        let domain49 = temp * (domain47);
         let temp = pow44 - pow72;
         let temp = temp * (pow44 - pow73);
         let temp = temp * (pow44 - pow74);
@@ -7704,7 +7646,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow696);
         let temp = temp * (pow44 - pow726);
         let temp = temp * (pow44 - pow756);
-        domain53 = temp * (pow44 - pow786);
+        let domain53 = temp * (pow44 - pow786);
         let temp = pow44 - pow97;
         let temp = temp * (pow44 - pow127);
         let temp = temp * (pow44 - pow157);
@@ -7729,7 +7671,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow727);
         let temp = temp * (pow44 - pow757);
         let temp = temp * (pow44 - pow787);
-        domain54 = temp * (domain53);
+        let domain54 = temp * (domain53);
         let temp = domain47;
         domain55 = temp * (domain54);
         let temp = pow44 - pow98;
@@ -8408,7 +8350,7 @@ pub fn eval_composition_polynomial_inner(
         domain56 = temp * (domain54);
         let temp = domain46;
         domain57 = temp * (domain53);
-        domain58 = pow44 - pow2614;
+        let domain58 = pow44 - pow2614;
         let temp = pow46 - pow2149;
         let temp = temp * (pow46 - pow2271);
         let temp = temp * (pow46 - pow2347);
@@ -8439,8 +8381,8 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow3274);
         let temp = temp * (pow44 - pow3304);
         let temp = temp * (pow44 - pow3334);
-        domain59 = temp * (domain58);
-        domain60 = pow44 - pow2615;
+        let domain59 = temp * (domain58);
+        let domain60 = pow44 - pow2615;
         let temp = pow46 - pow2219;
         let temp = temp * (pow46 - pow2295);
         let temp = temp * (pow46 - pow2371);
@@ -8480,7 +8422,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2618);
         let temp = temp * (pow44 - pow2619);
         let temp = temp * (pow44 - pow2620);
-        domain62 = temp * (pow44 - pow2621);
+        let domain62 = temp * (pow44 - pow2621);
         let temp = pow44 - pow2622;
         let temp = temp * (pow44 - pow2623);
         let temp = temp * (pow44 - pow2624);
@@ -8497,7 +8439,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2635);
         let temp = temp * (pow44 - pow2636);
         let temp = temp * (pow44 - pow2637);
-        domain63 = temp * (domain62);
+        let domain63 = temp * (domain62);
         let temp = pow48 - pow2499;
         let temp = temp * (pow48 - pow2575);
         let temp = temp * (pow46 - pow2220);
@@ -9379,10 +9321,10 @@ pub fn eval_composition_polynomial_inner(
         let temp = pow46 - pow2147;
         domain65 = temp * (domain59);
         let temp = domain58;
-        domain66 = temp * (domain60);
+        let domain66 = temp * (domain60);
         let temp = domain63;
         domain67 = temp * (domain66);
-        domain68 = pow44 - pow819;
+        let domain68 = pow44 - pow819;
         let temp = pow44 - pow820;
         let temp = temp * (pow44 - pow821);
         let temp = temp * (pow44 - pow822);
@@ -9390,7 +9332,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow824);
         let temp = temp * (pow44 - pow825);
         let temp = temp * (pow44 - pow826);
-        domain69 = temp * (domain68);
+        let domain69 = temp * (domain68);
         let temp = pow44 - pow827;
         let temp = temp * (pow44 - pow828);
         let temp = temp * (pow44 - pow829);
@@ -9416,7 +9358,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2579);
         let temp = temp * (pow44 - pow2580);
         let temp = temp * (pow44 - pow2581);
-        domain71 = temp * (pow44 - pow2582);
+        let domain71 = temp * (pow44 - pow2582);
         let temp = pow44 - pow2583;
         let temp = temp * (pow44 - pow2584);
         let temp = temp * (pow44 - pow2585);
@@ -9442,7 +9384,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2542);
         let temp = temp * (pow44 - pow2543);
         let temp = temp * (pow44 - pow2544);
-        domain73 = temp * (pow44 - pow2545);
+        let domain73 = temp * (pow44 - pow2545);
         let temp = pow44 - pow2423;
         let temp = temp * (pow44 - pow2424);
         let temp = temp * (pow44 - pow2425);
@@ -9467,7 +9409,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2504);
         let temp = temp * (pow44 - pow2505);
         let temp = temp * (pow44 - pow2506);
-        domain74 = temp * (domain73);
+        let domain74 = temp * (domain73);
         let temp = pow44 - pow2546;
         let temp = temp * (pow44 - pow2547);
         let temp = temp * (pow44 - pow2548);
@@ -9484,7 +9426,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2559);
         let temp = temp * (pow44 - pow2560);
         let temp = temp * (pow44 - pow2561);
-        domain75 = temp * (domain72);
+        let domain75 = temp * (domain72);
         let temp = pow44 - pow2431;
         let temp = temp * (pow44 - pow2432);
         let temp = temp * (pow44 - pow2433);
@@ -9550,7 +9492,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2390);
         let temp = temp * (pow44 - pow2391);
         let temp = temp * (pow44 - pow2392);
-        domain77 = temp * (pow44 - pow2393);
+        let domain77 = temp * (pow44 - pow2393);
         let temp = pow44 - pow2310;
         let temp = temp * (pow44 - pow2311);
         let temp = temp * (pow44 - pow2312);
@@ -9559,7 +9501,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2315);
         let temp = temp * (pow44 - pow2316);
         let temp = temp * (pow44 - pow2317);
-        domain78 = temp * (domain77);
+        let domain78 = temp * (domain77);
         let temp = pow44 - pow2271;
         let temp = temp * (pow44 - pow2272);
         let temp = temp * (pow44 - pow2273);
@@ -9568,7 +9510,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2276);
         let temp = temp * (pow44 - pow2277);
         let temp = temp * (pow44 - pow2278);
-        domain79 = temp * (domain78);
+        let domain79 = temp * (domain78);
         let temp = pow44 - pow2355;
         let temp = temp * (pow44 - pow2356);
         let temp = temp * (pow44 - pow2357);
@@ -9601,7 +9543,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2407);
         let temp = temp * (pow44 - pow2408);
         let temp = temp * (pow44 - pow2409);
-        domain80 = temp * (domain76);
+        let domain80 = temp * (domain76);
         let temp = pow44 - pow2279;
         let temp = temp * (pow44 - pow2280);
         let temp = temp * (pow44 - pow2281);
@@ -9667,7 +9609,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2238);
         let temp = temp * (pow44 - pow2239);
         let temp = temp * (pow44 - pow2240);
-        domain82 = temp * (pow44 - pow2241);
+        let domain82 = temp * (pow44 - pow2241);
         let temp = pow44 - pow2069;
         let temp = temp * (pow44 - pow2070);
         let temp = temp * (pow44 - pow2071);
@@ -9676,7 +9618,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2074);
         let temp = temp * (pow44 - pow2129);
         let temp = temp * (pow44 - pow2130);
-        domain83 = temp * (domain82);
+        let domain83 = temp * (domain82);
         let temp = pow44 - pow2051;
         let temp = temp * (pow44 - pow2054);
         let temp = temp * (pow44 - pow2057);
@@ -9701,7 +9643,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2068);
         let temp = temp * (pow44 - pow2077);
         let temp = temp * (pow44 - pow2112);
-        domain84 = temp * (domain83);
+        let domain84 = temp * (domain83);
         let temp = pow44 - pow2020;
         let temp = temp * (pow44 - pow2021);
         let temp = temp * (pow44 - pow2022);
@@ -9710,7 +9652,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2025);
         let temp = temp * (pow44 - pow2026);
         let temp = temp * (pow44 - pow2027);
-        domain85 = temp * (domain84);
+        let domain85 = temp * (domain84);
         let temp = pow44 - pow1981;
         let temp = temp * (pow44 - pow1982);
         let temp = temp * (pow44 - pow1983);
@@ -9719,7 +9661,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1986);
         let temp = temp * (pow44 - pow1987);
         let temp = temp * (pow44 - pow1988);
-        domain86 = temp * (domain85);
+        let domain86 = temp * (domain85);
         let temp = pow44 - pow2169;
         let temp = temp * (pow44 - pow2170);
         let temp = temp * (pow44 - pow2171);
@@ -9784,7 +9726,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2255);
         let temp = temp * (pow44 - pow2256);
         let temp = temp * (pow44 - pow2257);
-        domain87 = temp * (domain81);
+        let domain87 = temp * (domain81);
         let temp = pow44 - pow2131;
         let temp = temp * (pow44 - pow2132);
         let temp = temp * (pow44 - pow2133);
@@ -9801,7 +9743,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2144);
         let temp = temp * (pow44 - pow2145);
         let temp = temp * (pow44 - pow2146);
-        domain88 = temp * (domain87);
+        let domain88 = temp * (domain87);
         let temp = pow44 - pow2079;
         let temp = temp * (pow44 - pow2080);
         let temp = temp * (pow44 - pow2081);
@@ -9850,7 +9792,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2126);
         let temp = temp * (pow44 - pow2127);
         let temp = temp * (pow44 - pow2128);
-        domain89 = temp * (domain88);
+        let domain89 = temp * (domain88);
         let temp = pow44 - pow2028;
         let temp = temp * (pow44 - pow2029);
         let temp = temp * (pow44 - pow2030);
@@ -9867,7 +9809,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow2041);
         let temp = temp * (pow44 - pow2042);
         let temp = temp * (pow44 - pow2043);
-        domain90 = temp * (domain89);
+        let domain90 = temp * (domain89);
         let temp = pow44 - pow1989;
         let temp = temp * (pow44 - pow1990);
         let temp = temp * (pow44 - pow1991);
@@ -9893,7 +9835,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1954);
         let temp = temp * (pow44 - pow1955);
         let temp = temp * (pow44 - pow1956);
-        domain92 = temp * (pow44 - pow1957);
+        let domain92 = temp * (pow44 - pow1957);
         let temp = pow44 - pow1958;
         let temp = temp * (pow44 - pow1959);
         let temp = temp * (pow44 - pow1960);
@@ -9927,7 +9869,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1915);
         let temp = temp * (pow44 - pow1916);
         let temp = temp * (pow44 - pow1917);
-        domain94 = temp * (pow44 - pow1918);
+        let domain94 = temp * (pow44 - pow1918);
         let temp = pow44 - pow1817;
         let temp = temp * (pow44 - pow1818);
         let temp = temp * (pow44 - pow1819);
@@ -9944,7 +9886,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1846);
         let temp = temp * (pow44 - pow1847);
         let temp = temp * (pow44 - pow1848);
-        domain95 = temp * (domain94);
+        let domain95 = temp * (domain94);
         let temp = pow44 - pow1825;
         let temp = temp * (pow44 - pow1826);
         let temp = temp * (pow44 - pow1827);
@@ -10092,8 +10034,8 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow854);
         let temp = temp * (pow44 - pow855);
         let temp = temp * (pow44 - pow856);
-        domain99 = temp * (pow44 - pow857);
-        domain100 = pow44 - pow889;
+        let domain99 = temp * (pow44 - pow857);
+        let domain100 = pow44 - pow889;
         let temp = pow44 - pow890;
         let temp = temp * (pow44 - pow891);
         let temp = temp * (pow44 - pow892);
@@ -10118,7 +10060,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow965);
         let temp = temp * (pow44 - pow966);
         let temp = temp * (domain99);
-        domain101 = temp * (domain100);
+        let domain101 = temp * (domain100);
         let temp = pow44 - pow858;
         let temp = temp * (pow44 - pow859);
         let temp = temp * (pow44 - pow860);
@@ -10135,7 +10077,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow871);
         let temp = temp * (pow44 - pow872);
         let temp = temp * (pow44 - pow873);
-        domain102 = temp * (domain70);
+        let domain102 = temp * (domain70);
         let temp = pow44 - pow897;
         let temp = temp * (pow44 - pow898);
         let temp = temp * (pow44 - pow899);
@@ -10186,7 +10128,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow982);
         let temp = temp * (domain101);
         domain103 = temp * (domain102);
-        domain104 = pow44 - pow1014;
+        let domain104 = pow44 - pow1014;
         let temp = pow44 - pow990;
         let temp = temp * (pow44 - pow991);
         let temp = temp * (pow44 - pow992);
@@ -10202,7 +10144,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1029);
         let temp = temp * (pow44 - pow1032);
         let temp = temp * (pow44 - pow1035);
-        domain105 = temp * (domain104);
+        let domain105 = temp * (domain104);
         let temp = pow44 - pow1015;
         let temp = temp * (pow44 - pow1018);
         let temp = temp * (pow44 - pow1021);
@@ -10211,7 +10153,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1030);
         let temp = temp * (pow44 - pow1033);
         let temp = temp * (pow44 - pow1052);
-        domain106 = temp * (domain105);
+        let domain106 = temp * (domain105);
         let temp = pow44 - pow1016;
         let temp = temp * (pow44 - pow1019);
         let temp = temp * (pow44 - pow1022);
@@ -10220,7 +10162,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1031);
         let temp = temp * (pow44 - pow1034);
         let temp = temp * (pow44 - pow1069);
-        domain107 = temp * (domain106);
+        let domain107 = temp * (domain106);
         let temp = pow44 - pow998;
         let temp = temp * (pow44 - pow999);
         let temp = temp * (pow44 - pow1000);
@@ -10253,7 +10195,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1049);
         let temp = temp * (pow44 - pow1050);
         let temp = temp * (pow44 - pow1051);
-        domain108 = temp * (domain103);
+        let domain108 = temp * (domain103);
         let temp = pow44 - pow1053;
         let temp = temp * (pow44 - pow1054);
         let temp = temp * (pow44 - pow1055);
@@ -10319,7 +10261,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1199);
         let temp = temp * (pow44 - pow1200);
         let temp = temp * (pow44 - pow1201);
-        domain110 = temp * (pow44 - pow1202);
+        let domain110 = temp * (pow44 - pow1202);
         let temp = pow44 - pow1226;
         let temp = temp * (pow44 - pow1227);
         let temp = temp * (pow44 - pow1228);
@@ -10328,8 +10270,8 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1231);
         let temp = temp * (pow44 - pow1232);
         let temp = temp * (pow44 - pow1233);
-        domain111 = temp * (domain110);
-        domain112 = pow44 - pow1265;
+        let domain111 = temp * (domain110);
+        let domain112 = pow44 - pow1265;
         let temp = pow44 - pow1266;
         let temp = temp * (pow44 - pow1267);
         let temp = temp * (pow44 - pow1268);
@@ -10354,7 +10296,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1321);
         let temp = temp * (pow44 - pow1326);
         let temp = temp * (domain111);
-        domain113 = temp * (domain112);
+        let domain113 = temp * (domain112);
         let temp = pow44 - pow1298;
         let temp = temp * (pow44 - pow1302);
         let temp = temp * (pow44 - pow1306);
@@ -10363,7 +10305,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1318);
         let temp = temp * (pow44 - pow1322);
         let temp = temp * (pow44 - pow1328);
-        domain114 = temp * (domain113);
+        let domain114 = temp * (domain113);
         let temp = pow44 - pow1299;
         let temp = temp * (pow44 - pow1303);
         let temp = temp * (pow44 - pow1307);
@@ -10372,7 +10314,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1319);
         let temp = temp * (pow44 - pow1323);
         let temp = temp * (pow44 - pow1330);
-        domain115 = temp * (domain114);
+        let domain115 = temp * (domain114);
         let temp = pow44 - pow1094;
         let temp = temp * (pow44 - pow1095);
         let temp = temp * (pow44 - pow1096);
@@ -10437,7 +10379,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1216);
         let temp = temp * (pow44 - pow1217);
         let temp = temp * (pow44 - pow1218);
-        domain116 = temp * (domain109);
+        let domain116 = temp * (domain109);
         let temp = pow44 - pow1234;
         let temp = temp * (pow44 - pow1235);
         let temp = temp * (pow44 - pow1236);
@@ -10454,7 +10396,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1247);
         let temp = temp * (pow44 - pow1248);
         let temp = temp * (pow44 - pow1249);
-        domain117 = temp * (domain116);
+        let domain117 = temp * (domain116);
         let temp = pow44 - pow1273;
         let temp = temp * (pow44 - pow1274);
         let temp = temp * (pow44 - pow1275);
@@ -10503,7 +10445,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1381);
         let temp = temp * (pow44 - pow1385);
         let temp = temp * (pow44 - pow1389);
-        domain118 = temp * (domain117);
+        let domain118 = temp * (domain117);
         let temp = pow44 - pow1329;
         let temp = temp * (pow44 - pow1334);
         let temp = temp * (pow44 - pow1338);
@@ -10520,7 +10462,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1382);
         let temp = temp * (pow44 - pow1386);
         let temp = temp * (pow44 - pow1390);
-        domain119 = temp * (domain118);
+        let domain119 = temp * (domain118);
         let temp = pow44 - pow1331;
         let temp = temp * (pow44 - pow1335);
         let temp = temp * (pow44 - pow1339);
@@ -10546,7 +10488,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1396);
         let temp = temp * (pow44 - pow1397);
         let temp = temp * (pow44 - pow1398);
-        domain121 = temp * (pow44 - pow1399);
+        let domain121 = temp * (pow44 - pow1399);
         let temp = pow44 - pow1400;
         let temp = temp * (pow44 - pow1401);
         let temp = temp * (pow44 - pow1402);
@@ -10580,7 +10522,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1466);
         let temp = temp * (pow44 - pow1467);
         let temp = temp * (pow44 - pow1468);
-        domain123 = temp * (pow44 - pow1469);
+        let domain123 = temp * (pow44 - pow1469);
         let temp = pow44 - pow1501;
         let temp = temp * (pow44 - pow1502);
         let temp = temp * (pow44 - pow1503);
@@ -10597,7 +10539,7 @@ pub fn eval_composition_polynomial_inner(
         let temp = temp * (pow44 - pow1537);
         let temp = temp * (pow44 - pow1538);
         let temp = temp * (pow44 - pow1539);
-        domain124 = temp * (domain123);
+        let domain124 = temp * (domain123);
         let temp = pow44 - pow1439;
         let temp = temp * (pow44 - pow1440);
         let temp = temp * (pow44 - pow1441);
@@ -10741,14 +10683,14 @@ pub fn eval_composition_polynomial_inner(
         let temp = domain49;
         domain128 = temp * (domain69);
         let temp = domain101;
-        domain129 = temp * (domain128);
+        let domain129 = temp * (domain128);
         let temp = domain106;
         domain130 = temp * (domain129);
         let temp = domain62;
         let temp = temp * (domain66);
         domain131 = temp * (domain71);
         let temp = domain74;
-        domain132 = temp * (domain131);
+        let domain132 = temp * (domain131);
         let temp = domain78;
         domain133 = temp * (domain132);
         let temp = domain73;
@@ -10758,13 +10700,13 @@ pub fn eval_composition_polynomial_inner(
         let temp = domain107;
         let temp = temp * (domain115);
         let temp = temp * (domain121);
-        domain136 = temp * (domain129);
+        let domain136 = temp * (domain129);
         let temp = domain124;
         domain137 = temp * (domain136);
         let temp = domain79;
         let temp = temp * (domain86);
         let temp = temp * (domain92);
-        domain138 = temp * (domain132);
+        let domain138 = temp * (domain132);
         let temp = domain95;
         domain139 = temp * (domain138);
         let temp = domain123;
@@ -10970,7 +10912,6 @@ pub fn eval_composition_polynomial_inner(
     let mut domain168 = FELT_0;
     let mut domain169 = FELT_0;
     let mut domain170 = FELT_0;
-    let mut domain171 = FELT_0;
     let mut domain172 = FELT_0;
     let mut domain173 = FELT_0;
     let mut domain174 = FELT_0;
@@ -10983,7 +10924,7 @@ pub fn eval_composition_polynomial_inner(
         domain168 = pow3406 - FELT_1;
         domain169 = pow3405 - FELT_1;
         domain170 = pow3405 - pow3424;
-        domain171 = pow3404 - pow3423;
+        let domain171 = pow3404 - pow3423;
         let temp = pow3404 - pow3422;
         let temp = temp * (pow3404 - pow3421);
         let temp = temp * (pow3404 - pow3424);
diff --git a/crates/air/src/layout/dynamic/autogenerated/autogenerated_oods.rs b/crates/air/src/layout/dynamic/autogenerated/autogenerated_oods.rs
index f7c14c2..6907ffd 100644
--- a/crates/air/src/layout/dynamic/autogenerated/autogenerated_oods.rs
+++ b/crates/air/src/layout/dynamic/autogenerated/autogenerated_oods.rs
@@ -381,16 +381,6 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow17 = pow3 * pow16; // pow(trace_generator, (safe_div((safe_mult(15, bitwise__row_ratio)), 64))).
     let pow18 = pow3 * pow17; // pow(trace_generator, (safe_div(bitwise__row_ratio, 4))).
     let pow19 = pow18 * pow18; // pow(trace_generator, (safe_div(bitwise__row_ratio, 2))).
-    let pow20 = pow14 * pow19; // pow(trace_generator, (safe_div((safe_mult(3, bitwise__row_ratio)), 16)) + (safe_div(bitwise__row_ratio, 2))).
-    let pow21 = pow3 * pow20; // pow(trace_generator, (safe_div((safe_mult(13, bitwise__row_ratio)), 64)) + (safe_div(bitwise__row_ratio, 2))).
-    let pow22 = pow3 * pow21; // pow(trace_generator, (safe_div((safe_mult(7, bitwise__row_ratio)), 32)) + (safe_div(bitwise__row_ratio, 2))).
-    let pow23 = pow3 * pow22; // pow(trace_generator, (safe_div((safe_mult(15, bitwise__row_ratio)), 64)) + (safe_div(bitwise__row_ratio, 2))).
-    let pow24 = pow3 * pow23; // pow(trace_generator, (safe_div((safe_mult(3, bitwise__row_ratio)), 4))).
-    let pow25 = pow14 * pow24; // pow(trace_generator, (safe_div((safe_mult(3, bitwise__row_ratio)), 16)) + (safe_div((safe_mult(3, bitwise__row_ratio)), 4))).
-    let pow26 = pow3 * pow25; // pow(trace_generator, (safe_div((safe_mult(13, bitwise__row_ratio)), 64)) + (safe_div((safe_mult(3, bitwise__row_ratio)), 4))).
-    let pow27 = pow3 * pow26; // pow(trace_generator, (safe_div((safe_mult(7, bitwise__row_ratio)), 32)) + (safe_div((safe_mult(3, bitwise__row_ratio)), 4))).
-    let pow28 = pow3 * pow27; // pow(trace_generator, (safe_div((safe_mult(15, bitwise__row_ratio)), 64)) + (safe_div((safe_mult(3, bitwise__row_ratio)), 4))).
-    let pow29 = pow3 * pow28; // pow(trace_generator, bitwise__row_ratio).
     let pow30 = trace_generator
         .pow_felt(&(range_check_builtin_row_ratio.floor_div(&felt_nonzero!(FELT_8))));
     let pow31 = pow30 * pow30; // pow(trace_generator, (safe_div(range_check_builtin_row_ratio, 4))).
@@ -548,20 +538,13 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow117 = trace_generator.pow_felt(&(mul_mod_b_offset_suboffset * memory_units_row_ratio));
     let pow118 = trace_generator.pow_felt(&(mul_mod_a_offset_suboffset * memory_units_row_ratio));
     let pow119 = trace_generator.pow_felt(&(mul_mod_n_suboffset * memory_units_row_ratio));
-    let pow120 = pow0 * pow119; // pow(trace_generator, mul_mod__row_ratio + (safe_mult(mul_mod__n_suboffset, memory_units_row_ratio))).
     let pow121 =
         trace_generator.pow_felt(&(mul_mod_offsets_ptr_suboffset * memory_units_row_ratio));
-    let pow122 = pow0 * pow121; // pow(trace_generator, mul_mod__row_ratio + (safe_mult(mul_mod__offsets_ptr_suboffset, memory_units_row_ratio))).
     let pow123 = trace_generator.pow_felt(&(mul_mod_values_ptr_suboffset * memory_units_row_ratio));
-    let pow124 = pow0 * pow123; // pow(trace_generator, mul_mod__row_ratio + (safe_mult(mul_mod__values_ptr_suboffset, memory_units_row_ratio))).
     let pow125 = trace_generator.pow_felt(&(mul_mod_p3_suboffset * memory_units_row_ratio));
-    let pow126 = pow0 * pow125; // pow(trace_generator, mul_mod__row_ratio + (safe_mult(mul_mod__p3_suboffset, memory_units_row_ratio))).
     let pow127 = trace_generator.pow_felt(&(mul_mod_p2_suboffset * memory_units_row_ratio));
-    let pow128 = pow0 * pow127; // pow(trace_generator, mul_mod__row_ratio + (safe_mult(mul_mod__p2_suboffset, memory_units_row_ratio))).
     let pow129 = trace_generator.pow_felt(&(mul_mod_p1_suboffset * memory_units_row_ratio));
-    let pow130 = pow0 * pow129; // pow(trace_generator, mul_mod__row_ratio + (safe_mult(mul_mod__p1_suboffset, memory_units_row_ratio))).
     let pow131 = trace_generator.pow_felt(&(mul_mod_p0_suboffset * memory_units_row_ratio));
-    let pow132 = pow0 * pow131; // pow(trace_generator, mul_mod__row_ratio + (safe_mult(mul_mod__p0_suboffset, memory_units_row_ratio))).
     let pow133 = trace_generator.pow_felt(&(add_mod_c3_suboffset * memory_units_row_ratio));
     let pow134 = trace_generator.pow_felt(&(add_mod_c2_suboffset * memory_units_row_ratio));
     let pow135 = trace_generator.pow_felt(&(add_mod_c1_suboffset * memory_units_row_ratio));
@@ -578,20 +561,13 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow146 = trace_generator.pow_felt(&(add_mod_b_offset_suboffset * memory_units_row_ratio));
     let pow147 = trace_generator.pow_felt(&(add_mod_a_offset_suboffset * memory_units_row_ratio));
     let pow148 = trace_generator.pow_felt(&(add_mod_n_suboffset * memory_units_row_ratio));
-    let pow149 = pow1 * pow148; // pow(trace_generator, add_mod__row_ratio + (safe_mult(add_mod__n_suboffset, memory_units_row_ratio))).
     let pow150 =
         trace_generator.pow_felt(&(add_mod_offsets_ptr_suboffset * memory_units_row_ratio));
-    let pow151 = pow1 * pow150; // pow(trace_generator, add_mod__row_ratio + (safe_mult(add_mod__offsets_ptr_suboffset, memory_units_row_ratio))).
     let pow152 = trace_generator.pow_felt(&(add_mod_values_ptr_suboffset * memory_units_row_ratio));
-    let pow153 = pow1 * pow152; // pow(trace_generator, add_mod__row_ratio + (safe_mult(add_mod__values_ptr_suboffset, memory_units_row_ratio))).
     let pow154 = trace_generator.pow_felt(&(add_mod_p3_suboffset * memory_units_row_ratio));
-    let pow155 = pow1 * pow154; // pow(trace_generator, add_mod__row_ratio + (safe_mult(add_mod__p3_suboffset, memory_units_row_ratio))).
     let pow156 = trace_generator.pow_felt(&(add_mod_p2_suboffset * memory_units_row_ratio));
-    let pow157 = pow1 * pow156; // pow(trace_generator, add_mod__row_ratio + (safe_mult(add_mod__p2_suboffset, memory_units_row_ratio))).
     let pow158 = trace_generator.pow_felt(&(add_mod_p1_suboffset * memory_units_row_ratio));
-    let pow159 = pow1 * pow158; // pow(trace_generator, add_mod__row_ratio + (safe_mult(add_mod__p1_suboffset, memory_units_row_ratio))).
     let pow160 = trace_generator.pow_felt(&(add_mod_p0_suboffset * memory_units_row_ratio));
-    let pow161 = pow1 * pow160; // pow(trace_generator, add_mod__row_ratio + (safe_mult(add_mod__p0_suboffset, memory_units_row_ratio))).
     let pow162 = trace_generator.pow_felt(
         &(range_check96_builtin_inner_range_check5_suboffset * range_check_units_row_ratio),
     );
@@ -612,7 +588,6 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     );
     let pow168 =
         trace_generator.pow_felt(&(range_check96_builtin_mem_suboffset * memory_units_row_ratio));
-    let pow169 = pow2 * pow168; // pow(trace_generator, range_check96_builtin_row_ratio + (safe_mult(range_check96_builtin__mem_suboffset, memory_units_row_ratio))).
     let pow170 = trace_generator.pow_felt(&(poseidon_row_ratio.floor_div(&felt_nonzero!(FELT_64))));
     let pow171 = trace_generator
         .pow_felt(&((FELT_3 * poseidon_row_ratio).floor_div(&felt_nonzero!(FELT_8))));
@@ -625,20 +600,12 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow177 = pow172 * pow175; // pow(trace_generator, (safe_div(poseidon__row_ratio, 8))).
     let pow178 = pow171 * pow177; // pow(trace_generator, (safe_div(poseidon__row_ratio, 2))).
     let pow179 = pow175 * pow178; // pow(trace_generator, (safe_div((safe_mult(19, poseidon__row_ratio)), 32))).
-    let pow180 = pow172 * pow179; // pow(trace_generator, (safe_div((safe_mult(5, poseidon__row_ratio)), 8))).
-    let pow181 = pow172 * pow180; // pow(trace_generator, (safe_div((safe_mult(21, poseidon__row_ratio)), 32))).
-    let pow182 = pow171 * pow178; // pow(trace_generator, (safe_div((safe_mult(7, poseidon__row_ratio)), 8))).
-    let pow183 = pow170 * pow176; // pow(trace_generator, (safe_div((safe_mult(31, poseidon__row_ratio)), 32))).
-    let pow184 = pow170 * pow183; // pow(trace_generator, (safe_div((safe_mult(63, poseidon__row_ratio)), 64))).
     let pow185 = trace_generator
         .pow_felt(&(poseidon_param_2_input_output_suboffset * memory_units_row_ratio));
-    let pow186 = pow178 * pow185; // pow(trace_generator, (safe_div(poseidon__row_ratio, 2)) + (safe_mult(poseidon__param_2__input_output_suboffset, memory_units_row_ratio))).
     let pow187 = trace_generator
         .pow_felt(&(poseidon_param_1_input_output_suboffset * memory_units_row_ratio));
-    let pow188 = pow178 * pow187; // pow(trace_generator, (safe_div(poseidon__row_ratio, 2)) + (safe_mult(poseidon__param_1__input_output_suboffset, memory_units_row_ratio))).
     let pow189 = trace_generator
         .pow_felt(&(poseidon_param_0_input_output_suboffset * memory_units_row_ratio));
-    let pow190 = pow178 * pow189; // pow(trace_generator, (safe_div(poseidon__row_ratio, 2)) + (safe_mult(poseidon__param_0__input_output_suboffset, memory_units_row_ratio))).
     let pow191 = trace_generator
         .pow_felt(&(keccak_keccak_diluted_column2_suboffset * diluted_units_row_ratio));
     let pow192 = trace_generator
@@ -682,137 +649,78 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow226 = pow210 * pow225; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 1024))).
     let pow227 = pow210 * pow226; // pow(trace_generator, (safe_div((safe_mult(11, keccak__row_ratio)), 2048))).
     let pow228 = pow210 * pow227; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow229 = pow193 * pow228; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow230 = pow194 * pow228; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
     let pow231 = pow210 * pow228; // pow(trace_generator, (safe_div((safe_mult(13, keccak__row_ratio)), 2048))).
     let pow232 = pow210 * pow231; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 1024))).
     let pow233 = pow210 * pow232; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 2048))).
     let pow234 = pow202 * pow233; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 4096))).
     let pow235 = pow202 * pow234; // pow(trace_generator, (safe_div(keccak__row_ratio, 128))).
-    let pow236 = pow193 * pow235; // pow(trace_generator, (safe_div(keccak__row_ratio, 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow237 = pow210 * pow235; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_div(keccak__row_ratio, 128))).
     let pow238 = pow219 * pow237; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow239 = pow220 * pow238; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow240 = pow220 * pow239; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 512))).
-    let pow241 = pow193 * pow240; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow242 = pow219 * pow240; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 2048)) + (safe_div(keccak__row_ratio, 128))).
     let pow243 = pow202 * pow242; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 4096)) + (safe_div(keccak__row_ratio, 128))).
     let pow244 = pow202 * pow243; // pow(trace_generator, (safe_div(keccak__row_ratio, 64))).
     let pow245 = pow220 * pow244; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow246 = pow193 * pow244; // pow(trace_generator, (safe_div(keccak__row_ratio, 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow247 = pow224 * pow245; // pow(trace_generator, (safe_div((safe_mult(11, keccak__row_ratio)), 512))).
-    let pow248 = pow193 * pow247; // pow(trace_generator, (safe_div((safe_mult(11, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow249 = pow220 * pow247; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 128))).
-    let pow250 = pow191 * pow249; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow251 = pow192 * pow249; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow252 = pow202 * pow249; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 128)) + (safe_div(keccak__row_ratio, 4096))).
-    let pow253 = pow193 * pow249; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow254 = pow228 * pow249; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 512))).
-    let pow255 = pow193 * pow254; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow256 = pow220 * pow254; // pow(trace_generator, (safe_div(keccak__row_ratio, 32))).
-    let pow257 = pow191 * pow256; // pow(trace_generator, (safe_div(keccak__row_ratio, 32)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow258 = pow192 * pow256; // pow(trace_generator, (safe_div(keccak__row_ratio, 32)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow259 = pow193 * pow256; // pow(trace_generator, (safe_div(keccak__row_ratio, 32)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow260 = pow224 * pow256; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow261 = pow202 * pow256; // pow(trace_generator, (safe_div(keccak__row_ratio, 32)) + (safe_div(keccak__row_ratio, 4096))).
     let pow262 = pow220 * pow260; // pow(trace_generator, (safe_div((safe_mult(19, keccak__row_ratio)), 512))).
-    let pow263 = pow193 * pow262; // pow(trace_generator, (safe_div((safe_mult(19, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow264 = pow220 * pow262; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 128))).
     let pow265 = pow220 * pow264; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow266 = pow224 * pow265; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 512))).
-    let pow267 = pow193 * pow264; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow268 = pow193 * pow266; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow269 = pow220 * pow266; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 64))).
     let pow270 = pow228 * pow269; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 512))).
-    let pow271 = pow193 * pow269; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow272 = pow193 * pow270; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow273 = pow220 * pow270; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 128))).
     let pow274 = pow228 * pow273; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 512))).
-    let pow275 = pow193 * pow273; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow276 = pow193 * pow274; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow277 = pow220 * pow274; // pow(trace_generator, (safe_div(keccak__row_ratio, 16))).
-    let pow278 = pow193 * pow277; // pow(trace_generator, (safe_div(keccak__row_ratio, 16)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow279 = pow220 * pow277; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div(keccak__row_ratio, 16))).
     let pow280 = pow220 * pow279; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div(keccak__row_ratio, 16))).
     let pow281 = pow220 * pow280; // pow(trace_generator, (safe_div((safe_mult(35, keccak__row_ratio)), 512))).
-    let pow282 = pow193 * pow281; // pow(trace_generator, (safe_div((safe_mult(35, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow283 = pow220 * pow281; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 128))).
-    let pow284 = pow193 * pow283; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow285 = pow228 * pow283; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 512))).
-    let pow286 = pow193 * pow285; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow287 = pow220 * pow285; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 64))).
     let pow288 = pow228 * pow287; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 512))).
-    let pow289 = pow193 * pow287; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow290 = pow193 * pow288; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow291 = pow220 * pow288; // pow(trace_generator, (safe_div((safe_mult(11, keccak__row_ratio)), 128))).
     let pow292 = pow228 * pow291; // pow(trace_generator, (safe_div((safe_mult(47, keccak__row_ratio)), 512))).
-    let pow293 = pow193 * pow291; // pow(trace_generator, (safe_div((safe_mult(11, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow294 = pow193 * pow292; // pow(trace_generator, (safe_div((safe_mult(47, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow295 = pow220 * pow292; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 32))).
-    let pow296 = pow193 * pow295; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 32)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow297 = pow235 * pow295; // pow(trace_generator, (safe_div((safe_mult(13, keccak__row_ratio)), 128))).
-    let pow298 = pow193 * pow297; // pow(trace_generator, (safe_div((safe_mult(13, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow299 = pow235 * pow297; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 64))).
-    let pow300 = pow193 * pow299; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow301 = pow220 * pow299; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(7, keccak__row_ratio)), 64))).
     let pow302 = pow220 * pow301; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(7, keccak__row_ratio)), 64))).
     let pow303 = pow224 * pow302; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 128))).
     let pow304 = pow220 * pow303; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128))).
     let pow305 = pow220 * pow304; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128))).
-    let pow306 = pow193 * pow303; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow307 = pow224 * pow305; // pow(trace_generator, (safe_div(keccak__row_ratio, 8))).
-    let pow308 = pow193 * pow307; // pow(trace_generator, (safe_div(keccak__row_ratio, 8)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow309 = pow235 * pow307; // pow(trace_generator, (safe_div((safe_mult(17, keccak__row_ratio)), 128))).
-    let pow310 = pow193 * pow309; // pow(trace_generator, (safe_div((safe_mult(17, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow311 = pow235 * pow309; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 64))).
-    let pow312 = pow193 * pow311; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow313 = pow235 * pow311; // pow(trace_generator, (safe_div((safe_mult(19, keccak__row_ratio)), 128))).
-    let pow314 = pow193 * pow313; // pow(trace_generator, (safe_div((safe_mult(19, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow315 = pow235 * pow313; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 32))).
-    let pow316 = pow193 * pow315; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 32)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow317 = pow235 * pow315; // pow(trace_generator, (safe_div((safe_mult(21, keccak__row_ratio)), 128))).
-    let pow318 = pow193 * pow317; // pow(trace_generator, (safe_div((safe_mult(21, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow319 = pow220 * pow317; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128))).
-    let pow320 = pow193 * pow319; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow321 = pow220 * pow319; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128))).
-    let pow322 = pow193 * pow321; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow323 = pow224 * pow321; // pow(trace_generator, (safe_div((safe_mult(11, keccak__row_ratio)), 64))).
-    let pow324 = pow193 * pow323; // pow(trace_generator, (safe_div((safe_mult(11, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow325 = pow220 * pow323; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(11, keccak__row_ratio)), 64))).
-    let pow326 = pow193 * pow325; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(11, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow327 = pow220 * pow325; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(11, keccak__row_ratio)), 64))).
-    let pow328 = pow193 * pow327; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(11, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow329 = pow224 * pow327; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 128))).
-    let pow330 = pow193 * pow329; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow331 = pow220 * pow329; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(23, keccak__row_ratio)), 128))).
-    let pow332 = pow193 * pow331; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(23, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow333 = pow220 * pow331; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(23, keccak__row_ratio)), 128))).
-    let pow334 = pow193 * pow333; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(23, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow335 = pow224 * pow333; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 16))).
-    let pow336 = pow193 * pow335; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 16)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow337 = pow220 * pow335; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16))).
-    let pow338 = pow193 * pow337; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow339 = pow220 * pow337; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16))).
-    let pow340 = pow193 * pow339; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow341 = pow224 * pow339; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow342 = pow193 * pow341; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow343 = pow191 * pow341; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow344 = pow192 * pow341; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
     let pow345 = pow210 * pow341; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow346 = pow219 * pow345; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow347 = pow191 * pow346; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
     let pow348 = pow220 * pow346; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow349 = pow191 * pow348; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
     let pow350 = pow220 * pow348; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow351 = pow193 * pow350; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow352 = pow220 * pow350; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow353 = pow220 * pow352; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow354 = pow220 * pow353; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow355 = pow193 * pow354; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow356 = pow228 * pow354; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow357 = pow193 * pow356; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow358 = pow228 * pow356; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow359 = pow193 * pow358; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow360 = pow228 * pow358; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow361 = pow228 * pow360; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow362 = pow228 * pow361; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
@@ -829,21 +737,8 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow373 = pow220 * pow372; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow374 = pow228 * pow373; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow375 = pow228 * pow374; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow376 = pow193 * pow360; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow377 = pow193 * pow361; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow378 = pow228 * pow375; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow379 = pow228 * pow378; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow380 = pow192 * pow350; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow381 = pow192 * pow352; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow382 = pow192 * pow353; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow383 = pow192 * pow354; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow384 = pow192 * pow356; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow385 = pow192 * pow358; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow386 = pow192 * pow360; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow387 = pow192 * pow361; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow388 = pow192 * pow362; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow389 = pow192 * pow363; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow390 = pow192 * pow364; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
     let pow391 = pow247 * pow379; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 16))).
     let pow392 = pow244 * pow391; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_div((safe_mult(5, keccak__row_ratio)), 64))).
     let pow393 = pow269 * pow392; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 8))).
@@ -855,19 +750,14 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow399 = pow239 * pow398; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div(keccak__row_ratio, 64))).
     let pow400 = pow269 * pow399; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div(keccak__row_ratio, 16))).
     let pow401 = pow240 * pow400; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(39, keccak__row_ratio)), 512))).
-    let pow402 = pow193 * pow401; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(39, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow403 = pow235 * pow401; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(43, keccak__row_ratio)), 512))).
-    let pow404 = pow235 * pow403; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(47, keccak__row_ratio)), 512))).
     let pow405 = pow265 * pow403; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div(keccak__row_ratio, 8))).
     let pow406 = pow277 * pow405; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16))).
     let pow407 = pow220 * pow406; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16))).
     let pow408 = pow220 * pow407; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16))).
     let pow409 = pow224 * pow408; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow410 = pow273 * pow409; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4))).
-    let pow411 = pow202 * pow410; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 4096))).
     let pow412 = pow228 * pow410; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow413 = pow192 * pow409; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow414 = pow192 * pow410; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
     let pow415 = pow220 * pow412; // pow(trace_generator, (safe_div((safe_mult(97, keccak__row_ratio)), 128))).
     let pow416 = pow235 * pow415; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 64))).
     let pow417 = pow264 * pow416; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div((safe_mult(7, keccak__row_ratio)), 128))).
@@ -876,52 +766,13 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow420 = pow269 * pow419; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div((safe_mult(11, keccak__row_ratio)), 64))).
     let pow421 = pow244 * pow420; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(7, keccak__row_ratio)), 16))).
     let pow422 = pow235 * pow421; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow423 = pow192 * pow422; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow424 = pow228 * pow422; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow425 = pow191 * pow350; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow426 = pow191 * pow354; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow427 = pow191 * pow356; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow428 = pow191 * pow358; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow429 = pow191 * pow360; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow430 = pow191 * pow361; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow431 = pow191 * pow362; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow432 = pow191 * pow363; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow433 = pow191 * pow364; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow434 = pow191 * pow410; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow435 = pow191 * pow395; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow436 = pow193 * pow362; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow437 = pow193 * pow363; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow438 = pow193 * pow364; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow439 = pow193 * pow370; // pow(trace_generator, (safe_div((safe_mult(33, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow440 = pow193 * pow372; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_div(keccak__row_ratio, 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow441 = pow193 * pow406; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow442 = pow193 * pow407; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow443 = pow193 * pow408; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow444 = pow193 * pow392; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_div((safe_mult(5, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow445 = pow193 * pow403; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(43, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow446 = pow193 * pow410; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow447 = pow193 * pow424; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow448 = pow193 * pow404; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(47, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow449 = pow193 * pow415; // pow(trace_generator, (safe_div((safe_mult(97, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow450 = pow193 * pow416; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow451 = pow193 * pow417; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div((safe_mult(7, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow452 = pow273 * pow422; // pow(trace_generator, keccak__row_ratio).
     let pow453 = pow396 * pow452; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 2))).
-    let pow454 = pow228 * pow453; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow455 = pow228 * pow454; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow456 = pow291 * pow453; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 2)) + (safe_div((safe_mult(11, keccak__row_ratio)), 128))).
-    let pow457 = pow193 * pow456; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 2)) + (safe_div((safe_mult(11, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow458 = pow305 * pow456; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow459 = pow193 * pow458; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow460 = pow317 * pow456; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 4))).
-    let pow461 = pow191 * pow460; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow462 = pow192 * pow460; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow463 = pow193 * pow460; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow464 = pow202 * pow460; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 4096))).
     let pow465 = pow234 * pow464; // pow(trace_generator, (safe_div((safe_mult(225, keccak__row_ratio)), 128))).
     let pow466 = pow235 * pow465; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 64))).
-    let pow467 = pow193 * pow465; // pow(trace_generator, (safe_div((safe_mult(225, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow468 = pow193 * pow466; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow469 = pow363 * pow465; // pow(trace_generator, (safe_mult(2, keccak__row_ratio))).
     let pow470 = pow210 * pow469; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(2, keccak__row_ratio))).
     let pow471 = pow227 * pow470; // pow(trace_generator, (safe_mult(2, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
@@ -936,32 +787,13 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow480 = pow273 * pow479; // pow(trace_generator, (safe_mult(2, keccak__row_ratio)) + (safe_div((safe_mult(13, keccak__row_ratio)), 128))).
     let pow481 = pow287 * pow480; // pow(trace_generator, (safe_mult(2, keccak__row_ratio)) + (safe_div((safe_mult(23, keccak__row_ratio)), 128))).
     let pow482 = pow244 * pow481; // pow(trace_generator, (safe_mult(2, keccak__row_ratio)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow483 = pow191 * pow482; // pow(trace_generator, (safe_mult(2, keccak__row_ratio)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow484 = pow193 * pow480; // pow(trace_generator, (safe_mult(2, keccak__row_ratio)) + (safe_div((safe_mult(13, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow485 = pow269 * pow482; // pow(trace_generator, (safe_mult(2, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow486 = pow235 * pow485; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 4))).
     let pow487 = pow220 * pow486; // pow(trace_generator, (safe_div((safe_mult(1153, keccak__row_ratio)), 512))).
-    let pow488 = pow220 * pow487; // pow(trace_generator, (safe_div((safe_mult(577, keccak__row_ratio)), 256))).
-    let pow489 = pow192 * pow485; // pow(trace_generator, (safe_mult(2, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
     let pow490 = pow274 * pow487; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 16))).
-    let pow491 = pow220 * pow490; // pow(trace_generator, (safe_div((safe_mult(1153, keccak__row_ratio)), 512)) + (safe_div(keccak__row_ratio, 16))).
-    let pow492 = pow220 * pow491; // pow(trace_generator, (safe_div((safe_mult(577, keccak__row_ratio)), 256)) + (safe_div(keccak__row_ratio, 16))).
     let pow493 = pow309 * pow490; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow494 = pow191 * pow493; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
     let pow495 = pow220 * pow493; // pow(trace_generator, (safe_div((safe_mult(1153, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow496 = pow220 * pow495; // pow(trace_generator, (safe_div((safe_mult(577, keccak__row_ratio)), 256)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow497 = pow270 * pow495; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 2))).
-    let pow498 = pow191 * pow495; // pow(trace_generator, (safe_div((safe_mult(1153, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow499 = pow191 * pow496; // pow(trace_generator, (safe_div((safe_mult(577, keccak__row_ratio)), 256)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow500 = pow228 * pow497; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow501 = pow228 * pow500; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow502 = pow228 * pow501; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow503 = pow228 * pow502; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow504 = pow228 * pow503; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow505 = pow299 * pow503; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 2)) + (safe_div((safe_mult(17, keccak__row_ratio)), 128))).
-    let pow506 = pow193 * pow505; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 2)) + (safe_div((safe_mult(17, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow507 = pow292 * pow505; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow508 = pow193 * pow507; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow509 = pow396 * pow497; // pow(trace_generator, (safe_mult(3, keccak__row_ratio))).
     let pow510 = pow396 * pow509; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 2))).
     let pow511 = pow228 * pow510; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
@@ -970,28 +802,17 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow514 = pow228 * pow513; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow515 = pow228 * pow514; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow516 = pow220 * pow515; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 2)) + (safe_div(keccak__row_ratio, 32))).
-    let pow517 = pow224 * pow516; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow518 = pow341 * pow517; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow519 = pow193 * pow516; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 2)) + (safe_div(keccak__row_ratio, 32)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow520 = pow358 * pow516; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4))).
     let pow521 = pow228 * pow520; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow522 = pow191 * pow520; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow523 = pow192 * pow520; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow524 = pow193 * pow520; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow525 = pow202 * pow520; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 4096))).
     let pow526 = pow220 * pow521; // pow(trace_generator, (safe_div((safe_mult(481, keccak__row_ratio)), 128))).
     let pow527 = pow224 * pow526; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow528 = pow224 * pow527; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 64))).
     let pow529 = pow220 * pow528; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow530 = pow228 * pow529; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow531 = pow193 * pow526; // pow(trace_generator, (safe_div((safe_mult(481, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow532 = pow193 * pow528; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow533 = pow228 * pow530; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow534 = pow228 * pow533; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow535 = pow341 * pow534; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow536 = pow193 * pow535; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow537 = pow301 * pow533; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div((safe_mult(9, keccak__row_ratio)), 64))).
-    let pow538 = pow193 * pow537; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div((safe_mult(9, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow539 = pow299 * pow537; // pow(trace_generator, (safe_mult(4, keccak__row_ratio))).
     let pow540 = pow396 * pow539; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 2))).
     let pow541 = pow228 * pow540; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
@@ -1001,14 +822,10 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow545 = pow228 * pow544; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow546 = pow228 * pow545; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow547 = pow228 * pow546; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow548 = pow210 * pow539; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(4, keccak__row_ratio))).
     let pow549 = pow269 * pow539; // pow(trace_generator, (safe_mult(4, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 64))).
-    let pow550 = pow210 * pow549; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(4, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 64))).
     let pow551 = pow228 * pow547; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow552 = pow277 * pow551; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 2)) + (safe_div((safe_mult(7, keccak__row_ratio)), 64))).
-    let pow553 = pow193 * pow552; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 2)) + (safe_div((safe_mult(7, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow554 = pow309 * pow552; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow555 = pow191 * pow554; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
     let pow556 = pow235 * pow554; // pow(trace_generator, (safe_div((safe_mult(19, keccak__row_ratio)), 4))).
     let pow557 = pow307 * pow556; // pow(trace_generator, (safe_div((safe_mult(19, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 8))).
     let pow558 = pow283 * pow557; // pow(trace_generator, (safe_div((safe_mult(19, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
@@ -1020,10 +837,7 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow564 = pow228 * pow563; // pow(trace_generator, (safe_mult(5, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow565 = pow228 * pow564; // pow(trace_generator, (safe_mult(5, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow566 = pow239 * pow565; // pow(trace_generator, (safe_mult(5, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 64))).
-    let pow567 = pow193 * pow566; // pow(trace_generator, (safe_mult(5, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow568 = pow313 * pow566; // pow(trace_generator, (safe_mult(5, keccak__row_ratio)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow569 = pow260 * pow568; // pow(trace_generator, (safe_mult(5, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow570 = pow191 * pow569; // pow(trace_generator, (safe_mult(5, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
     let pow571 = pow273 * pow568; // pow(trace_generator, (safe_div((safe_mult(21, keccak__row_ratio)), 4))).
     let pow572 = pow396 * pow571; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 4))).
     let pow573 = pow220 * pow572; // pow(trace_generator, (safe_div((safe_mult(2945, keccak__row_ratio)), 512))).
@@ -1033,26 +847,17 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow577 = pow283 * pow576; // pow(trace_generator, (safe_div((safe_mult(21, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 32))).
     let pow578 = pow297 * pow577; // pow(trace_generator, (safe_div((safe_mult(21, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow579 = pow220 * pow575; // pow(trace_generator, (safe_div((safe_mult(2945, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow580 = pow220 * pow579; // pow(trace_generator, (safe_div((safe_mult(1473, keccak__row_ratio)), 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow581 = pow299 * pow579; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 4)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128))).
     let pow582 = pow220 * pow581; // pow(trace_generator, (safe_div((safe_mult(2945, keccak__row_ratio)), 512)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128))).
-    let pow583 = pow220 * pow582; // pow(trace_generator, (safe_div((safe_mult(1473, keccak__row_ratio)), 256)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128))).
     let pow584 = pow288 * pow581; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow585 = pow192 * pow584; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
     let pow586 = pow220 * pow584; // pow(trace_generator, (safe_div((safe_mult(2945, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow587 = pow192 * pow586; // pow(trace_generator, (safe_div((safe_mult(2945, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
     let pow588 = pow220 * pow586; // pow(trace_generator, (safe_div((safe_mult(1473, keccak__row_ratio)), 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow589 = pow192 * pow588; // pow(trace_generator, (safe_div((safe_mult(1473, keccak__row_ratio)), 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow590 = pow193 * pow576; // pow(trace_generator, (safe_div((safe_mult(21, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow591 = pow193 * pow578; // pow(trace_generator, (safe_div((safe_mult(21, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow592 = pow192 * pow578; // pow(trace_generator, (safe_div((safe_mult(21, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
     let pow593 = pow266 * pow588; // pow(trace_generator, (safe_mult(6, keccak__row_ratio))).
     let pow594 = pow283 * pow593; // pow(trace_generator, (safe_mult(6, keccak__row_ratio)) + (safe_div((safe_mult(9, keccak__row_ratio)), 128))).
     let pow595 = pow329 * pow594; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 4))).
     let pow596 = pow220 * pow595; // pow(trace_generator, (safe_div((safe_mult(3201, keccak__row_ratio)), 512))).
     let pow597 = pow220 * pow596; // pow(trace_generator, (safe_div((safe_mult(1601, keccak__row_ratio)), 256))).
     let pow598 = pow220 * pow597; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow599 = pow210 * pow593; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(6, keccak__row_ratio))).
     let pow600 = pow220 * pow598; // pow(trace_generator, (safe_div((safe_mult(3201, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow601 = pow220 * pow600; // pow(trace_generator, (safe_div((safe_mult(1601, keccak__row_ratio)), 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow602 = pow220 * pow601; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
@@ -1064,96 +869,49 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow608 = pow228 * pow607; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow609 = pow269 * pow608; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 32))).
     let pow610 = pow244 * pow609; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 4)) + (safe_div((safe_mult(7, keccak__row_ratio)), 64))).
-    let pow611 = pow220 * pow610; // pow(trace_generator, (safe_div((safe_mult(3201, keccak__row_ratio)), 512)) + (safe_div((safe_mult(7, keccak__row_ratio)), 64))).
-    let pow612 = pow220 * pow611; // pow(trace_generator, (safe_div((safe_mult(1601, keccak__row_ratio)), 256)) + (safe_div((safe_mult(7, keccak__row_ratio)), 64))).
     let pow613 = pow292 * pow610; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow614 = pow220 * pow613; // pow(trace_generator, (safe_div((safe_mult(3201, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow615 = pow220 * pow614; // pow(trace_generator, (safe_div((safe_mult(1601, keccak__row_ratio)), 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow616 = pow262 * pow615; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow617 = pow370 * pow616; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 4))).
     let pow618 = pow228 * pow617; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow619 = pow301 * pow618; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 4)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128))).
-    let pow620 = pow193 * pow619; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 4)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow621 = pow228 * pow618; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow622 = pow228 * pow621; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow623 = pow341 * pow622; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow624 = pow262 * pow623; // pow(trace_generator, (safe_mult(7, keccak__row_ratio))).
-    let pow625 = pow228 * pow624; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow626 = pow228 * pow625; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow627 = pow410 * pow624; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 4))).
-    let pow628 = pow191 * pow627; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow629 = pow192 * pow627; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow630 = pow193 * pow627; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow631 = pow202 * pow627; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 4096))).
     let pow632 = pow234 * pow631; // pow(trace_generator, (safe_div((safe_mult(993, keccak__row_ratio)), 128))).
-    let pow633 = pow235 * pow632; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 64))).
-    let pow634 = pow193 * pow632; // pow(trace_generator, (safe_div((safe_mult(993, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow635 = pow193 * pow633; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow636 = pow363 * pow632; // pow(trace_generator, (safe_mult(8, keccak__row_ratio))).
-    let pow637 = pow295 * pow636; // pow(trace_generator, (safe_mult(8, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 32))).
     let pow638 = pow452 * pow636; // pow(trace_generator, (safe_mult(9, keccak__row_ratio))).
     let pow639 = pow228 * pow638; // pow(trace_generator, (safe_mult(9, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow640 = pow228 * pow639; // pow(trace_generator, (safe_mult(9, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow641 = pow193 * pow623; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow642 = pow228 * pow626; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow643 = pow228 * pow640; // pow(trace_generator, (safe_mult(9, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow644 = pow228 * pow642; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow645 = pow228 * pow643; // pow(trace_generator, (safe_mult(9, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 128))).
     let pow646 = pow297 * pow645; // pow(trace_generator, (safe_mult(9, keccak__row_ratio)) + (safe_div(keccak__row_ratio, 8))).
-    let pow647 = pow193 * pow646; // pow(trace_generator, (safe_mult(9, keccak__row_ratio)) + (safe_div(keccak__row_ratio, 8)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow648 = pow283 * pow646; // pow(trace_generator, (safe_mult(9, keccak__row_ratio)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow649 = pow191 * pow648; // pow(trace_generator, (safe_mult(9, keccak__row_ratio)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow650 = pow228 * pow644; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow651 = pow228 * pow650; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow652 = pow319 * pow651; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow653 = pow192 * pow652; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow654 = pow224 * pow651; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(5, keccak__row_ratio)), 128))).
     let pow655 = pow249 * pow648; // pow(trace_generator, (safe_mult(9, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow656 = pow256 * pow655; // pow(trace_generator, (safe_div((safe_mult(37, keccak__row_ratio)), 4))).
-    let pow657 = pow228 * pow656; // pow(trace_generator, (safe_div((safe_mult(37, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow658 = pow341 * pow657; // pow(trace_generator, (safe_div((safe_mult(37, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow659 = pow256 * pow656; // pow(trace_generator, (safe_div((safe_mult(37, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 32))).
-    let pow660 = pow254 * pow652; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow661 = pow192 * pow660; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow662 = pow193 * pow609; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 32)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow663 = pow193 * pow654; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(5, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow664 = pow193 * pow655; // pow(trace_generator, (safe_mult(9, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow665 = pow210 * pow594; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(6, keccak__row_ratio)) + (safe_div((safe_mult(9, keccak__row_ratio)), 128))).
-    let pow666 = pow210 * pow636; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(8, keccak__row_ratio))).
-    let pow667 = pow210 * pow637; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(8, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 32))).
     let pow668 = pow396 * pow656; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4))).
-    let pow669 = pow220 * pow668; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 512))).
-    let pow670 = pow220 * pow669; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 256))).
     let pow671 = pow254 * pow668; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div((safe_mult(15, keccak__row_ratio)), 512))).
     let pow672 = pow235 * pow671; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div((safe_mult(19, keccak__row_ratio)), 512))).
     let pow673 = pow235 * pow672; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div((safe_mult(23, keccak__row_ratio)), 512))).
     let pow674 = pow279 * pow672; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div((safe_mult(13, keccak__row_ratio)), 128))).
     let pow675 = pow283 * pow674; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div((safe_mult(11, keccak__row_ratio)), 64))).
     let pow676 = pow220 * pow675; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(11, keccak__row_ratio)), 64))).
-    let pow677 = pow220 * pow676; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(11, keccak__row_ratio)), 64))).
     let pow678 = pow247 * pow676; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow679 = pow273 * pow678; // pow(trace_generator, (safe_mult(10, keccak__row_ratio))).
     let pow680 = pow303 * pow679; // pow(trace_generator, (safe_mult(10, keccak__row_ratio)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128))).
     let pow681 = pow309 * pow680; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4))).
-    let pow682 = pow220 * pow681; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 512))).
-    let pow683 = pow220 * pow682; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 256))).
-    let pow684 = pow270 * pow681; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div((safe_mult(27, keccak__row_ratio)), 512))).
-    let pow685 = pow235 * pow684; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div((safe_mult(31, keccak__row_ratio)), 512))).
-    let pow686 = pow235 * pow685; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div((safe_mult(35, keccak__row_ratio)), 512))).
-    let pow687 = pow301 * pow686; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div((safe_mult(23, keccak__row_ratio)), 128))).
-    let pow688 = pow220 * pow687; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(23, keccak__row_ratio)), 128))).
-    let pow689 = pow220 * pow688; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(23, keccak__row_ratio)), 128))).
     let pow690 = pow396 * pow681; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4))).
     let pow691 = pow228 * pow690; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow692 = pow228 * pow691; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow693 = pow224 * pow692; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 64))).
-    let pow694 = pow193 * pow693; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow695 = pow220 * pow693; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow696 = pow228 * pow695; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow697 = pow228 * pow696; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow698 = pow301 * pow697; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div((safe_mult(9, keccak__row_ratio)), 64))).
     let pow699 = pow273 * pow698; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow700 = pow254 * pow699; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow701 = pow273 * pow699; // pow(trace_generator, (safe_mult(11, keccak__row_ratio))).
     let pow702 = pow228 * pow701; // pow(trace_generator, (safe_mult(11, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow703 = pow220 * pow702; // pow(trace_generator, (safe_mult(11, keccak__row_ratio)) + (safe_div(keccak__row_ratio, 128))).
@@ -1161,28 +919,7 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow705 = pow228 * pow704; // pow(trace_generator, (safe_mult(11, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow706 = pow228 * pow705; // pow(trace_generator, (safe_mult(11, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow707 = pow228 * pow706; // pow(trace_generator, (safe_mult(11, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow708 = pow323 * pow707; // pow(trace_generator, (safe_mult(11, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow709 = pow265 * pow707; // pow(trace_generator, (safe_mult(11, keccak__row_ratio)) + (safe_div((safe_mult(9, keccak__row_ratio)), 128))).
-    let pow710 = pow249 * pow708; // pow(trace_generator, (safe_mult(11, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow711 = pow192 * pow710; // pow(trace_generator, (safe_mult(11, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow712 = pow193 * pow671; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div((safe_mult(15, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow713 = pow193 * pow672; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div((safe_mult(19, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow714 = pow193 * pow673; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div((safe_mult(23, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow715 = pow193 * pow684; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div((safe_mult(27, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow716 = pow193 * pow685; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div((safe_mult(31, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow717 = pow193 * pow686; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div((safe_mult(35, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow718 = pow210 * pow679; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(10, keccak__row_ratio))).
-    let pow719 = pow210 * pow680; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(10, keccak__row_ratio)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128))).
-    let pow720 = pow193 * pow675; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div((safe_mult(11, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow721 = pow193 * pow676; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(11, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow722 = pow193 * pow677; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(11, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow723 = pow193 * pow687; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div((safe_mult(23, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow724 = pow193 * pow688; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(23, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow725 = pow193 * pow703; // pow(trace_generator, (safe_mult(11, keccak__row_ratio)) + (safe_div(keccak__row_ratio, 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow726 = pow193 * pow689; // pow(trace_generator, (safe_div((safe_mult(41, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(23, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow727 = pow191 * pow678; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow728 = pow191 * pow699; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow729 = pow191 * pow700; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
     let pow730 = pow329 * pow709; // pow(trace_generator, (safe_div((safe_mult(45, keccak__row_ratio)), 4))).
     let pow731 = pow228 * pow730; // pow(trace_generator, (safe_div((safe_mult(45, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow732 = pow228 * pow731; // pow(trace_generator, (safe_div((safe_mult(45, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
@@ -1192,21 +929,13 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow736 = pow228 * pow735; // pow(trace_generator, (safe_div((safe_mult(45, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow737 = pow228 * pow736; // pow(trace_generator, (safe_div((safe_mult(45, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow738 = pow247 * pow737; // pow(trace_generator, (safe_div((safe_mult(45, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 16))).
-    let pow739 = pow193 * pow738; // pow(trace_generator, (safe_div((safe_mult(45, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 16)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow740 = pow325 * pow738; // pow(trace_generator, (safe_div((safe_mult(45, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow741 = pow240 * pow740; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 2))).
-    let pow742 = pow315 * pow741; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 2)) + (safe_div((safe_mult(5, keccak__row_ratio)), 32))).
-    let pow743 = pow228 * pow741; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow744 = pow266 * pow742; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow745 = pow192 * pow744; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
     let pow746 = pow396 * pow741; // pow(trace_generator, (safe_mult(12, keccak__row_ratio))).
     let pow747 = pow311 * pow746; // pow(trace_generator, (safe_mult(12, keccak__row_ratio)) + (safe_div((safe_mult(9, keccak__row_ratio)), 64))).
     let pow748 = pow299 * pow747; // pow(trace_generator, (safe_div((safe_mult(49, keccak__row_ratio)), 4))).
     let pow749 = pow309 * pow748; // pow(trace_generator, (safe_div((safe_mult(49, keccak__row_ratio)), 4)) + (safe_div((safe_mult(17, keccak__row_ratio)), 128))).
     let pow750 = pow277 * pow749; // pow(trace_generator, (safe_div((safe_mult(49, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow751 = pow192 * pow750; // pow(trace_generator, (safe_div((safe_mult(49, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow752 = pow210 * pow746; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(12, keccak__row_ratio))).
-    let pow753 = pow210 * pow747; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(12, keccak__row_ratio)) + (safe_div((safe_mult(9, keccak__row_ratio)), 64))).
     let pow754 = pow273 * pow750; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 2))).
     let pow755 = pow228 * pow754; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
     let pow756 = pow331 * pow755; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16))).
@@ -1215,219 +944,14 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow759 = pow291 * pow758; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 2)) + (safe_div((safe_mult(11, keccak__row_ratio)), 128))).
     let pow760 = pow299 * pow759; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 2)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
     let pow761 = pow273 * pow760; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4))).
-    let pow762 = pow220 * pow761; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 512))).
-    let pow763 = pow220 * pow762; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 256))).
-    let pow764 = pow220 * pow763; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow765 = pow193 * pow764; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow766 = pow235 * pow764; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div((safe_mult(7, keccak__row_ratio)), 512))).
-    let pow767 = pow193 * pow766; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div((safe_mult(7, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow768 = pow235 * pow766; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div((safe_mult(11, keccak__row_ratio)), 512))).
-    let pow769 = pow193 * pow768; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div((safe_mult(11, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow770 = pow317 * pow761; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128))).
-    let pow771 = pow193 * pow770; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow772 = pow220 * pow770; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128))).
-    let pow773 = pow193 * pow772; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow774 = pow220 * pow772; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128))).
-    let pow775 = pow193 * pow774; // pow(trace_generator, (safe_div((safe_mult(55, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
     let pow776 = pow288 * pow772; // pow(trace_generator, (safe_mult(14, keccak__row_ratio))).
     let pow777 = pow396 * pow776; // pow(trace_generator, (safe_div((safe_mult(29, keccak__row_ratio)), 2))).
-    let pow778 = pow273 * pow777; // pow(trace_generator, (safe_div((safe_mult(29, keccak__row_ratio)), 2)) + (safe_div((safe_mult(7, keccak__row_ratio)), 128))).
     let pow779 = pow396 * pow777; // pow(trace_generator, (safe_mult(15, keccak__row_ratio))).
     let pow780 = pow364 * pow779; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4))).
-    let pow781 = pow228 * pow780; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow782 = pow228 * pow781; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow783 = pow228 * pow782; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow784 = pow228 * pow783; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow785 = pow210 * pow776; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(14, keccak__row_ratio))).
-    let pow786 = pow240 * pow756; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow787 = pow227 * pow785; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow788 = pow228 * pow787; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow789 = pow228 * pow788; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow790 = pow311 * pow778; // pow(trace_generator, (safe_div((safe_mult(29, keccak__row_ratio)), 2)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow791 = pow228 * pow784; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow792 = pow228 * pow791; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow793 = pow319 * pow792; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow794 = pow192 * pow790; // pow(trace_generator, (safe_div((safe_mult(29, keccak__row_ratio)), 2)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow795 = pow192 * pow793; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow796 = pow228 * pow789; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow797 = pow228 * pow796; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow798 = pow228 * pow797; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow799 = pow228 * pow798; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow800 = pow302 * pow798; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(19, keccak__row_ratio)), 128))).
-    let pow801 = pow244 * pow800; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128))).
-    let pow802 = pow210 * pow801; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128))).
-    let pow803 = pow262 * pow801; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow804 = pow260 * pow803; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow805 = pow193 * pow804; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow806 = pow193 * pow800; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(19, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow807 = pow228 * pow792; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow808 = pow254 * pow807; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(9, keccak__row_ratio)), 128))).
-    let pow809 = pow235 * pow808; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(5, keccak__row_ratio)), 64))).
-    let pow810 = pow193 * pow808; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(9, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow811 = pow260 * pow793; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow812 = pow192 * pow811; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow813 = pow240 * pow811; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2))).
-    let pow814 = pow220 * pow813; // pow(trace_generator, (safe_div((safe_mult(7937, keccak__row_ratio)), 512))).
-    let pow815 = pow220 * pow814; // pow(trace_generator, (safe_div((safe_mult(3969, keccak__row_ratio)), 256))).
-    let pow816 = pow220 * pow815; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow817 = pow228 * pow816; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow818 = pow228 * pow817; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow819 = pow228 * pow818; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow820 = pow228 * pow819; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow821 = pow228 * pow820; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow822 = pow228 * pow821; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow823 = pow228 * pow822; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow824 = pow299 * pow823; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(5, keccak__row_ratio)), 32))).
-    let pow825 = pow235 * pow824; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128))).
-    let pow826 = pow193 * pow824; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(5, keccak__row_ratio)), 32)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow827 = pow220 * pow825; // pow(trace_generator, (safe_div((safe_mult(7937, keccak__row_ratio)), 512)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128))).
-    let pow828 = pow220 * pow827; // pow(trace_generator, (safe_div((safe_mult(3969, keccak__row_ratio)), 256)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128))).
-    let pow829 = pow254 * pow827; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow830 = pow220 * pow829; // pow(trace_generator, (safe_div((safe_mult(7937, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow831 = pow220 * pow830; // pow(trace_generator, (safe_div((safe_mult(3969, keccak__row_ratio)), 256)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow832 = pow266 * pow830; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow833 = pow235 * pow832; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4))).
-    let pow834 = pow202 * pow833; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 4096))).
-    let pow835 = pow202 * pow834; // pow(trace_generator, (safe_div(keccak__row_ratio, 2048)) + (safe_div((safe_mult(63, keccak__row_ratio)), 4))).
-    let pow836 = pow191 * pow833; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow837 = pow192 * pow833; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow838 = pow227 * pow835; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512))).
-    let pow839 = pow219 * pow838; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 2048)) + (safe_div((safe_mult(63, keccak__row_ratio)), 4))).
-    let pow840 = pow202 * pow839; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 4096)) + (safe_div((safe_mult(63, keccak__row_ratio)), 4))).
-    let pow841 = pow202 * pow840; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 128))).
-    let pow842 = pow235 * pow841; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 64))).
-    let pow843 = pow329 * pow842; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow844 = pow192 * pow843; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow845 = pow228 * pow843; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128))).
-    let pow846 = pow191 * pow843; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column2_suboffset, diluted_units_row_ratio))).
-    let pow847 = pow192 * pow845; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column1_suboffset, diluted_units_row_ratio))).
-    let pow848 = pow193 * pow832; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow849 = pow193 * pow833; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow850 = pow193 * pow841; // pow(trace_generator, (safe_div((safe_mult(2017, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow851 = pow193 * pow842; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 64)) + (safe_mult(keccak__keccak__diluted_column3_suboffset, diluted_units_row_ratio))).
-    let pow852 = pow194 * pow202; // pow(trace_generator, (safe_div(keccak__row_ratio, 4096)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow853 = pow194 * pow235; // pow(trace_generator, (safe_div(keccak__row_ratio, 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow854 = pow194 * pow244; // pow(trace_generator, (safe_div(keccak__row_ratio, 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow855 = pow194 * pow249; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow856 = pow194 * pow645; // pow(trace_generator, (safe_mult(9, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow857 = pow194 * pow252; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 128)) + (safe_div(keccak__row_ratio, 4096)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow858 = pow194 * pow256; // pow(trace_generator, (safe_div(keccak__row_ratio, 32)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow859 = pow194 * pow261; // pow(trace_generator, (safe_div(keccak__row_ratio, 32)) + (safe_div(keccak__row_ratio, 4096)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow860 = pow194 * pow264; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow861 = pow194 * pow269; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow862 = pow194 * pow273; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow863 = pow194 * pow277; // pow(trace_generator, (safe_div(keccak__row_ratio, 16)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow864 = pow194 * pow279; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div(keccak__row_ratio, 16)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow865 = pow194 * pow280; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div(keccak__row_ratio, 16)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow866 = pow194 * pow283; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow867 = pow194 * pow287; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow868 = pow194 * pow809; // pow(trace_generator, (safe_div((safe_mult(61, keccak__row_ratio)), 4)) + (safe_div((safe_mult(5, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow869 = pow194 * pow291; // pow(trace_generator, (safe_div((safe_mult(11, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow870 = pow194 * pow295; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 32)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow871 = pow194 * pow297; // pow(trace_generator, (safe_div((safe_mult(13, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow872 = pow194 * pow299; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow873 = pow194 * pow301; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(7, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow874 = pow194 * pow302; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(7, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow875 = pow194 * pow303; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow876 = pow194 * pow304; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow877 = pow194 * pow305; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow878 = pow194 * pow307; // pow(trace_generator, (safe_div(keccak__row_ratio, 8)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow879 = pow194 * pow309; // pow(trace_generator, (safe_div((safe_mult(17, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow880 = pow194 * pow557; // pow(trace_generator, (safe_div((safe_mult(19, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 8)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow881 = pow194 * pow311; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow882 = pow194 * pow313; // pow(trace_generator, (safe_div((safe_mult(19, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow883 = pow194 * pow315; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 32)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow884 = pow194 * pow317; // pow(trace_generator, (safe_div((safe_mult(21, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow885 = pow194 * pow319; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow886 = pow194 * pow321; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow887 = pow194 * pow323; // pow(trace_generator, (safe_div((safe_mult(11, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow888 = pow194 * pow329; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow889 = pow194 * pow335; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 16)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow890 = pow194 * pow341; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow891 = pow194 * pow346; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow892 = pow194 * pow348; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow893 = pow194 * pow481; // pow(trace_generator, (safe_mult(2, keccak__row_ratio)) + (safe_div((safe_mult(23, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow894 = pow194 * pow490; // pow(trace_generator, (safe_div((safe_mult(9, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 16)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow895 = pow194 * pow759; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 2)) + (safe_div((safe_mult(11, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow896 = pow194 * pow760; // pow(trace_generator, (safe_div((safe_mult(27, keccak__row_ratio)), 2)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow897 = pow194 * pow610; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 4)) + (safe_div((safe_mult(7, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow898 = pow194 * pow350; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow899 = pow194 * pow352; // pow(trace_generator, (safe_div(keccak__row_ratio, 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow900 = pow194 * pow353; // pow(trace_generator, (safe_div(keccak__row_ratio, 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow901 = pow194 * pow558; // pow(trace_generator, (safe_div((safe_mult(19, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow902 = pow194 * pow566; // pow(trace_generator, (safe_mult(5, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow903 = pow194 * pow568; // pow(trace_generator, (safe_mult(5, keccak__row_ratio)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow904 = pow194 * pow577; // pow(trace_generator, (safe_div((safe_mult(21, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 32)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow905 = pow194 * pow354; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow906 = pow194 * pow356; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow907 = pow194 * pow491; // pow(trace_generator, (safe_div((safe_mult(1153, keccak__row_ratio)), 512)) + (safe_div(keccak__row_ratio, 16)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow908 = pow194 * pow611; // pow(trace_generator, (safe_div((safe_mult(3201, keccak__row_ratio)), 512)) + (safe_div((safe_mult(7, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow909 = pow194 * pow492; // pow(trace_generator, (safe_div((safe_mult(577, keccak__row_ratio)), 256)) + (safe_div(keccak__row_ratio, 16)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow910 = pow194 * pow358; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow911 = pow194 * pow365; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_div(keccak__row_ratio, 4096)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow912 = pow194 * pow411; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 4096)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow913 = pow194 * pow464; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 4096)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow914 = pow194 * pow525; // pow(trace_generator, (safe_div((safe_mult(15, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 4096)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow915 = pow194 * pow631; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 4096)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow916 = pow194 * pow360; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow917 = pow194 * pow361; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow918 = pow194 * pow420; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 4)) + (safe_div((safe_mult(11, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow919 = pow194 * pow581; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 4)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow920 = pow194 * pow582; // pow(trace_generator, (safe_div((safe_mult(2945, keccak__row_ratio)), 512)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow921 = pow194 * pow825; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow922 = pow194 * pow583; // pow(trace_generator, (safe_div((safe_mult(1473, keccak__row_ratio)), 256)) + (safe_div((safe_mult(15, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow923 = pow194 * pow674; // pow(trace_generator, (safe_div((safe_mult(39, keccak__row_ratio)), 4)) + (safe_div((safe_mult(13, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow924 = pow194 * pow827; // pow(trace_generator, (safe_div((safe_mult(7937, keccak__row_ratio)), 512)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow925 = pow194 * pow828; // pow(trace_generator, (safe_div((safe_mult(3969, keccak__row_ratio)), 256)) + (safe_div((safe_mult(21, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow926 = pow194 * pow829; // pow(trace_generator, (safe_div((safe_mult(31, keccak__row_ratio)), 2)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow927 = pow194 * pow830; // pow(trace_generator, (safe_div((safe_mult(7937, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow928 = pow194 * pow831; // pow(trace_generator, (safe_div((safe_mult(3969, keccak__row_ratio)), 256)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow929 = pow194 * pow833; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow930 = pow194 * pow834; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 4096)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow931 = pow194 * pow838; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow932 = pow194 * pow841; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow933 = pow194 * pow613; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow934 = pow194 * pow614; // pow(trace_generator, (safe_div((safe_mult(3201, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow935 = pow194 * pow658; // pow(trace_generator, (safe_div((safe_mult(37, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow936 = pow194 * pow708; // pow(trace_generator, (safe_mult(11, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow937 = pow194 * pow698; // pow(trace_generator, (safe_div((safe_mult(43, keccak__row_ratio)), 4)) + (safe_div((safe_mult(9, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow938 = pow194 * pow742; // pow(trace_generator, (safe_div((safe_mult(23, keccak__row_ratio)), 2)) + (safe_div((safe_mult(5, keccak__row_ratio)), 32)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow939 = pow194 * pow709; // pow(trace_generator, (safe_mult(11, keccak__row_ratio)) + (safe_div((safe_mult(9, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow940 = pow194 * pow843; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow941 = pow194 * pow518; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow942 = pow194 * pow612; // pow(trace_generator, (safe_div((safe_mult(1601, keccak__row_ratio)), 256)) + (safe_div((safe_mult(7, keccak__row_ratio)), 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow943 = pow194 * pow615; // pow(trace_generator, (safe_div((safe_mult(1601, keccak__row_ratio)), 256)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow944 = pow194 * pow654; // pow(trace_generator, (safe_mult(7, keccak__row_ratio)) + (safe_div((safe_mult(5, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow945 = pow194 * pow659; // pow(trace_generator, (safe_div((safe_mult(37, keccak__row_ratio)), 4)) + (safe_div(keccak__row_ratio, 32)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow946 = pow194 * pow778; // pow(trace_generator, (safe_div((safe_mult(29, keccak__row_ratio)), 2)) + (safe_div((safe_mult(7, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow947 = pow194 * pow362; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow948 = pow194 * pow363; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow949 = pow194 * pow399; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div(keccak__row_ratio, 64)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow950 = pow194 * pow756; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow951 = pow194 * pow786; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow952 = pow194 * pow749; // pow(trace_generator, (safe_div((safe_mult(49, keccak__row_ratio)), 4)) + (safe_div((safe_mult(17, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow953 = pow194 * pow800; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(19, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow954 = pow194 * pow803; // pow(trace_generator, (safe_mult(14, keccak__row_ratio)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow955 = pow194 * pow845; // pow(trace_generator, (safe_div((safe_mult(63, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow956 = pow194 * pow616; // pow(trace_generator, (safe_div((safe_mult(25, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
-    let pow957 = pow194 * pow740; // pow(trace_generator, (safe_div((safe_mult(45, keccak__row_ratio)), 4)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(3, keccak__row_ratio)), 512)) + (safe_div((safe_mult(25, keccak__row_ratio)), 128)) + (safe_mult(keccak__keccak__diluted_column0_suboffset, diluted_units_row_ratio))).
     let pow958 =
         trace_generator.pow_felt(&(keccak_input_output_suboffset * memory_units_row_ratio));
-    let pow959 = pow277 * pow958; // pow(trace_generator, (safe_div(keccak__row_ratio, 16)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow960 = pow277 * pow959; // pow(trace_generator, (safe_div(keccak__row_ratio, 8)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow961 = pow277 * pow960; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 16)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow962 = pow277 * pow961; // pow(trace_generator, (safe_div(keccak__row_ratio, 4)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow963 = pow277 * pow962; // pow(trace_generator, (safe_div((safe_mult(5, keccak__row_ratio)), 16)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow964 = pow277 * pow963; // pow(trace_generator, (safe_div((safe_mult(3, keccak__row_ratio)), 8)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow965 = pow277 * pow964; // pow(trace_generator, (safe_div((safe_mult(7, keccak__row_ratio)), 16)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow966 = pow277 * pow965; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow967 = pow277 * pow966; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div(keccak__row_ratio, 16)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow968 = pow277 * pow967; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div(keccak__row_ratio, 8)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow969 = pow277 * pow968; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 16)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow970 = pow277 * pow969; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div(keccak__row_ratio, 4)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow971 = pow277 * pow970; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(5, keccak__row_ratio)), 16)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow972 = pow277 * pow971; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(3, keccak__row_ratio)), 8)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
-    let pow973 = pow277 * pow972; // pow(trace_generator, (safe_div(keccak__row_ratio, 2)) + (safe_div((safe_mult(7, keccak__row_ratio)), 16)) + (safe_mult(keccak__input_output_suboffset, memory_units_row_ratio))).
     let pow974 = trace_generator
         .pow_felt(&((FELT_255 * ec_op_builtin_row_ratio).floor_div(&felt_nonzero!(FELT_256))));
     let pow975 = trace_generator
@@ -1439,9 +963,6 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow978 =
         trace_generator.pow_felt(&(ec_op_builtin_row_ratio.floor_div(&felt_nonzero!(FELT_256))));
     let pow979 = pow974 * pow978; // pow(trace_generator, ec_op_builtin_row_ratio).
-    let pow980 = pow976 * pow978; // pow(trace_generator, (safe_div((safe_mult(197, ec_op_builtin_row_ratio)), 256))).
-    let pow981 = pow975 * pow978; // pow(trace_generator, (safe_div((safe_mult(63, ec_op_builtin_row_ratio)), 64))).
-    let pow982 = pow977 * pow978; // pow(trace_generator, (safe_div((safe_mult(193, ec_op_builtin_row_ratio)), 256))).
     let pow983 = trace_generator.pow_felt(&(ec_op_r_y_suboffset * memory_units_row_ratio));
     let pow984 = trace_generator.pow_felt(&(ec_op_r_x_suboffset * memory_units_row_ratio));
     let pow985 = trace_generator.pow_felt(&(ec_op_m_suboffset * memory_units_row_ratio));
@@ -1449,7 +970,6 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow987 = trace_generator.pow_felt(&(ec_op_q_x_suboffset * memory_units_row_ratio));
     let pow988 = trace_generator.pow_felt(&(ec_op_p_y_suboffset * memory_units_row_ratio));
     let pow989 = trace_generator.pow_felt(&(ec_op_p_x_suboffset * memory_units_row_ratio));
-    let pow990 = pow979 * pow989; // pow(trace_generator, ec_op_builtin_row_ratio + (safe_mult(ec_op__p_x_suboffset, memory_units_row_ratio))).
     let pow991 =
         trace_generator.pow_felt(&(bitwise_trim_unpacking195_suboffset * diluted_units_row_ratio));
     let pow992 =
@@ -1460,38 +980,8 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
         trace_generator.pow_felt(&(bitwise_trim_unpacking192_suboffset * diluted_units_row_ratio));
     let pow995 =
         trace_generator.pow_felt(&(bitwise_diluted_var_pool_suboffset * diluted_units_row_ratio));
-    let pow996 = pow3 * pow995; // pow(trace_generator, (safe_div(bitwise__row_ratio, 64)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow997 = pow3 * pow996; // pow(trace_generator, (safe_div(bitwise__row_ratio, 32)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow998 = pow3 * pow997; // pow(trace_generator, (safe_div((safe_mult(3, bitwise__row_ratio)), 64)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow999 = pow3 * pow998; // pow(trace_generator, (safe_div(bitwise__row_ratio, 16)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1000 = pow3 * pow999; // pow(trace_generator, (safe_div((safe_mult(5, bitwise__row_ratio)), 64)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1001 = pow3 * pow1000; // pow(trace_generator, (safe_div((safe_mult(3, bitwise__row_ratio)), 32)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1002 = pow3 * pow1001; // pow(trace_generator, (safe_div((safe_mult(7, bitwise__row_ratio)), 64)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1003 = pow3 * pow1002; // pow(trace_generator, (safe_div(bitwise__row_ratio, 8)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1004 = pow3 * pow1003; // pow(trace_generator, (safe_div((safe_mult(9, bitwise__row_ratio)), 64)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1005 = pow3 * pow1004; // pow(trace_generator, (safe_div((safe_mult(5, bitwise__row_ratio)), 32)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1006 = pow3 * pow1005; // pow(trace_generator, (safe_div((safe_mult(11, bitwise__row_ratio)), 64)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1007 = pow3 * pow1006; // pow(trace_generator, (safe_div((safe_mult(3, bitwise__row_ratio)), 16)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1008 = pow3 * pow1007; // pow(trace_generator, (safe_div((safe_mult(13, bitwise__row_ratio)), 64)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1009 = pow3 * pow1008; // pow(trace_generator, (safe_div((safe_mult(7, bitwise__row_ratio)), 32)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1010 = pow3 * pow1009; // pow(trace_generator, (safe_div((safe_mult(15, bitwise__row_ratio)), 64)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1011 = pow3 * pow1010; // pow(trace_generator, (safe_div(bitwise__row_ratio, 4)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1012 = pow18 * pow1011; // pow(trace_generator, (safe_div(bitwise__row_ratio, 2)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1013 = pow14 * pow1012; // pow(trace_generator, (safe_div((safe_mult(3, bitwise__row_ratio)), 16)) + (safe_div(bitwise__row_ratio, 2)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1014 = pow3 * pow1013; // pow(trace_generator, (safe_div((safe_mult(13, bitwise__row_ratio)), 64)) + (safe_div(bitwise__row_ratio, 2)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1015 = pow3 * pow1014; // pow(trace_generator, (safe_div((safe_mult(7, bitwise__row_ratio)), 32)) + (safe_div(bitwise__row_ratio, 2)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1016 = pow3 * pow1015; // pow(trace_generator, (safe_div((safe_mult(15, bitwise__row_ratio)), 64)) + (safe_div(bitwise__row_ratio, 2)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1017 = pow3 * pow1016; // pow(trace_generator, (safe_div((safe_mult(3, bitwise__row_ratio)), 4)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1018 = pow14 * pow1017; // pow(trace_generator, (safe_div((safe_mult(3, bitwise__row_ratio)), 16)) + (safe_div((safe_mult(3, bitwise__row_ratio)), 4)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1019 = pow3 * pow1018; // pow(trace_generator, (safe_div((safe_mult(13, bitwise__row_ratio)), 64)) + (safe_div((safe_mult(3, bitwise__row_ratio)), 4)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1020 = pow3 * pow1019; // pow(trace_generator, (safe_div((safe_mult(7, bitwise__row_ratio)), 32)) + (safe_div((safe_mult(3, bitwise__row_ratio)), 4)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
-    let pow1021 = pow3 * pow1020; // pow(trace_generator, (safe_div((safe_mult(15, bitwise__row_ratio)), 64)) + (safe_div((safe_mult(3, bitwise__row_ratio)), 4)) + (safe_mult(bitwise__diluted_var_pool_suboffset, diluted_units_row_ratio))).
     let pow1022 = trace_generator.pow_felt(&(bitwise_x_or_y_suboffset * memory_units_row_ratio));
     let pow1023 = trace_generator.pow_felt(&(bitwise_var_pool_suboffset * memory_units_row_ratio));
-    let pow1024 = pow18 * pow1023; // pow(trace_generator, (safe_div(bitwise__row_ratio, 4)) + (safe_mult(bitwise__var_pool_suboffset, memory_units_row_ratio))).
-    let pow1025 = pow18 * pow1024; // pow(trace_generator, (safe_div(bitwise__row_ratio, 2)) + (safe_mult(bitwise__var_pool_suboffset, memory_units_row_ratio))).
-    let pow1026 = pow18 * pow1025; // pow(trace_generator, (safe_div((safe_mult(3, bitwise__row_ratio)), 4)) + (safe_mult(bitwise__var_pool_suboffset, memory_units_row_ratio))).
-    let pow1027 = pow18 * pow1026; // pow(trace_generator, bitwise__row_ratio + (safe_mult(bitwise__var_pool_suboffset, memory_units_row_ratio))).
     let pow1028 = trace_generator.pow_felt(&(ecdsa_message_suboffset * memory_units_row_ratio));
     let pow1029 = trace_generator.pow_felt(&(ecdsa_pubkey_suboffset * memory_units_row_ratio));
     let pow1030 = trace_generator
@@ -1499,23 +989,12 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow1031 = pow1030 * pow1030; // pow(trace_generator, (safe_div((safe_mult(255, ecdsa_builtin_row_ratio)), 256))).
     let pow1032 =
         trace_generator.pow_felt(&(ecdsa_builtin_row_ratio.floor_div(&felt_nonzero!(FELT_512))));
-    let pow1033 = pow1030 * pow1032; // pow(trace_generator, (safe_div(ecdsa_builtin_row_ratio, 2))).
-    let pow1034 = pow1030 * pow1033; // pow(trace_generator, (safe_div(ecdsa_builtin_row_ratio, 2)) + (safe_div((safe_mult(255, ecdsa_builtin_row_ratio)), 512))).
     let pow1035 = pow1032 * pow1032; // pow(trace_generator, (safe_div(ecdsa_builtin_row_ratio, 256))).
     let pow1036 = pow1031 * pow1035; // pow(trace_generator, ecdsa_builtin_row_ratio).
-    let pow1037 = pow1029 * pow1036; // pow(trace_generator, ecdsa_builtin_row_ratio + (safe_mult(ecdsa__pubkey_suboffset, memory_units_row_ratio))).
     let pow1038 = trace_generator
         .pow_felt(&(range_check_builtin_inner_range_check_suboffset * range_check_units_row_ratio));
-    let pow1039 = pow30 * pow1038; // pow(trace_generator, (safe_div(range_check_builtin_row_ratio, 8)) + (safe_mult(range_check_builtin__inner_range_check_suboffset, range_check_units_row_ratio))).
-    let pow1040 = pow30 * pow1039; // pow(trace_generator, (safe_div(range_check_builtin_row_ratio, 4)) + (safe_mult(range_check_builtin__inner_range_check_suboffset, range_check_units_row_ratio))).
-    let pow1041 = pow30 * pow1040; // pow(trace_generator, (safe_div((safe_mult(3, range_check_builtin_row_ratio)), 8)) + (safe_mult(range_check_builtin__inner_range_check_suboffset, range_check_units_row_ratio))).
-    let pow1042 = pow30 * pow1041; // pow(trace_generator, (safe_div(range_check_builtin_row_ratio, 2)) + (safe_mult(range_check_builtin__inner_range_check_suboffset, range_check_units_row_ratio))).
-    let pow1043 = pow30 * pow1042; // pow(trace_generator, (safe_div((safe_mult(5, range_check_builtin_row_ratio)), 8)) + (safe_mult(range_check_builtin__inner_range_check_suboffset, range_check_units_row_ratio))).
-    let pow1044 = pow30 * pow1043; // pow(trace_generator, (safe_div((safe_mult(3, range_check_builtin_row_ratio)), 4)) + (safe_mult(range_check_builtin__inner_range_check_suboffset, range_check_units_row_ratio))).
-    let pow1045 = pow30 * pow1044; // pow(trace_generator, (safe_div((safe_mult(7, range_check_builtin_row_ratio)), 8)) + (safe_mult(range_check_builtin__inner_range_check_suboffset, range_check_units_row_ratio))).
     let pow1046 =
         trace_generator.pow_felt(&(range_check_builtin_mem_suboffset * memory_units_row_ratio));
-    let pow1047 = pow37 * pow1046; // pow(trace_generator, range_check_builtin_row_ratio + (safe_mult(range_check_builtin__mem_suboffset, memory_units_row_ratio))).
     let pow1048 = trace_generator.pow_felt(&(pedersen_input1_suboffset * memory_units_row_ratio));
     let pow1049 = trace_generator.pow_felt(&(pedersen_output_suboffset * memory_units_row_ratio));
     let pow1050 = trace_generator.pow_felt(&(pedersen_input0_suboffset * memory_units_row_ratio));
@@ -1529,13 +1008,9 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
         .pow_felt(&((FELT_3 * pedersen_builtin_row_ratio).floor_div(&felt_nonzero!(FELT_8))));
     let pow1055 =
         trace_generator.pow_felt(&(pedersen_builtin_row_ratio.floor_div(&felt_nonzero!(FELT_512))));
-    let pow1056 = pow1054 * pow1055; // pow(trace_generator, (safe_div((safe_mult(193, pedersen_builtin_row_ratio)), 512))).
     let pow1057 = pow1051 * pow1055; // pow(trace_generator, (safe_div(pedersen_builtin_row_ratio, 2))).
     let pow1058 = pow1051 * pow1057; // pow(trace_generator, (safe_div(pedersen_builtin_row_ratio, 2)) + (safe_div((safe_mult(255, pedersen_builtin_row_ratio)), 512))).
     let pow1059 = pow1055 * pow1058; // pow(trace_generator, pedersen_builtin_row_ratio).
-    let pow1060 = pow1050 * pow1059; // pow(trace_generator, pedersen_builtin_row_ratio + (safe_mult(pedersen__input0_suboffset, memory_units_row_ratio))).
-    let pow1061 = pow1053 * pow1055; // pow(trace_generator, (safe_div((safe_mult(197, pedersen_builtin_row_ratio)), 512))).
-    let pow1062 = pow1052 * pow1055; // pow(trace_generator, (safe_div((safe_mult(63, pedersen_builtin_row_ratio)), 128))).
     let pow1063 = trace_generator.pow_felt(&(diluted_units_row_ratio));
     let pow1064 = trace_generator.pow_felt(&(range_check_units_row_ratio));
     let pow1065 =
@@ -1571,7 +1046,6 @@ pub fn eval_oods_polynomial_inner<Layout: LayoutTrait>(
     let pow1087 = pow1074 * pow1086; // pow(trace_generator, (safe_mult(13, cpu_component_step)) + cpu_component_step).
     let pow1088 = pow1074 * pow1087; // pow(trace_generator, (safe_mult(14, cpu_component_step)) + cpu_component_step).
     let pow1089 = pow1074 * pow1088; // pow(trace_generator, (safe_mult(16, cpu_component_step))).
-    let pow1090 = pow1073 * pow1089; // pow(trace_generator, (safe_mult(16, cpu_component_step)) + (safe_mult(cpu__decode__mem_inst_suboffset, memory_units_row_ratio))).
     let pow1091 = trace_generator.pow_felt(&(diluted_check_cumulative_value_offset));
     let pow1092 = pow1063 * pow1091; // pow(trace_generator, diluted_units_row_ratio + diluted_check__cumulative_value_offset).
     let pow1093 = trace_generator.pow_felt(&(diluted_check_permutation_cum_prod0_offset));