diff --git a/src/circuit.rs b/src/circuit.rs index 0bf473ac7..91a5fe13a 100644 --- a/src/circuit.rs +++ b/src/circuit.rs @@ -68,7 +68,7 @@ mod note_commit; mod value_commit_orchard; /// Size of the Orchard circuit. -const K: u32 = 12; +const K: u32 = 11; // Absolute offsets for public inputs. const ANCHOR: usize = 0; @@ -342,10 +342,12 @@ impl plonk::Circuit for Circuit { // Fixed columns for the Sinsemilla generator lookup table let table_idx = meta.lookup_table_column(); + let table_range_check_tag = meta.lookup_table_column(); let lookup = ( table_idx, meta.lookup_table_column(), meta.lookup_table_column(), + table_range_check_tag, ); // Instance column used for public inputs @@ -381,7 +383,8 @@ impl plonk::Circuit for Circuit { // We have a lot of free space in the right-most advice columns; use one of them // for all of our range checks. - let range_check = LookupRangeCheckConfig::configure(meta, advices[9], table_idx); + let range_check = + LookupRangeCheckConfig::configure(meta, advices[9], table_idx, table_range_check_tag); // Configuration for curve point operations. // This uses 10 advice columns and spans the whole circuit. @@ -1287,8 +1290,8 @@ mod tests { K, &circuits[0], ); - assert_eq!(usize::from(circuit_cost.proof_size(1)), 5088); - assert_eq!(usize::from(circuit_cost.proof_size(2)), 7360); + assert_eq!(usize::from(circuit_cost.proof_size(1)), 5120); + assert_eq!(usize::from(circuit_cost.proof_size(2)), 7392); usize::from(circuit_cost.proof_size(instances.len())) }; @@ -1405,7 +1408,7 @@ mod tests { let test_case_bytes = fs::read("src/circuit_proof_test_case.bin").unwrap(); read_test_case(&test_case_bytes[..]).expect("proof must be valid") }; - assert_eq!(proof.0.len(), 5088); + assert_eq!(proof.0.len(), 5120); assert!(proof.verify(&vk, &[instance]).is_ok()); } diff --git a/src/circuit/commit_ivk.rs b/src/circuit/commit_ivk.rs index 33692a4a8..73c24a91f 100644 --- a/src/circuit/commit_ivk.rs +++ b/src/circuit/commit_ivk.rs @@ -734,10 +734,12 @@ mod tests { } let table_idx = meta.lookup_table_column(); + let table_range_check_tag = meta.lookup_table_column(); let lookup = ( table_idx, meta.lookup_table_column(), meta.lookup_table_column(), + table_range_check_tag, ); let lagrange_coeffs = [ meta.fixed_column(), @@ -750,7 +752,12 @@ mod tests { meta.fixed_column(), ]; - let range_check = LookupRangeCheckConfig::configure(meta, advices[9], table_idx); + let range_check = LookupRangeCheckConfig::configure( + meta, + advices[9], + table_idx, + table_range_check_tag, + ); let sinsemilla_config = SinsemillaChip::< OrchardHashDomains, OrchardCommitDomains, diff --git a/src/circuit/gadget/mux_chip.rs b/src/circuit/gadget/mux_chip.rs index dbe54ed40..fb81f8ea3 100644 --- a/src/circuit/gadget/mux_chip.rs +++ b/src/circuit/gadget/mux_chip.rs @@ -215,6 +215,7 @@ mod tests { MuxChip::configure(meta, advices[0], advices[1], advices[2], advices[3]); let table_idx = meta.lookup_table_column(); + let table_range_check_tag = meta.lookup_table_column(); let lagrange_coeffs = [ meta.fixed_column(), @@ -228,7 +229,12 @@ mod tests { ]; meta.enable_constant(lagrange_coeffs[0]); - let range_check = LookupRangeCheckConfig::configure(meta, advices[9], table_idx); + let range_check = LookupRangeCheckConfig::configure( + meta, + advices[9], + table_idx, + table_range_check_tag, + ); let ecc_config = EccChip::::configure( meta, diff --git a/src/circuit/note_commit.rs b/src/circuit/note_commit.rs index 47e2fda1c..c5c8f44e8 100644 --- a/src/circuit/note_commit.rs +++ b/src/circuit/note_commit.rs @@ -2369,10 +2369,12 @@ mod tests { } let table_idx = meta.lookup_table_column(); + let table_range_check_tag = meta.lookup_table_column(); let lookup = ( table_idx, meta.lookup_table_column(), meta.lookup_table_column(), + table_range_check_tag, ); let lagrange_coeffs = [ meta.fixed_column(), @@ -2385,7 +2387,12 @@ mod tests { meta.fixed_column(), ]; - let range_check = LookupRangeCheckConfig::configure(meta, advices[9], table_idx); + let range_check = LookupRangeCheckConfig::configure( + meta, + advices[9], + table_idx, + table_range_check_tag, + ); let sinsemilla_config = SinsemillaChip::< OrchardHashDomains, OrchardCommitDomains, diff --git a/src/circuit/value_commit_orchard.rs b/src/circuit/value_commit_orchard.rs index 4e4dfa36d..4356ad583 100644 --- a/src/circuit/value_commit_orchard.rs +++ b/src/circuit/value_commit_orchard.rs @@ -169,10 +169,12 @@ mod tests { meta.enable_equality(primary); let table_idx = meta.lookup_table_column(); + let table_range_check_tag = meta.lookup_table_column(); let lookup = ( table_idx, meta.lookup_table_column(), meta.lookup_table_column(), + table_range_check_tag, ); let lagrange_coeffs = [ @@ -187,7 +189,12 @@ mod tests { ]; meta.enable_constant(lagrange_coeffs[0]); - let range_check = LookupRangeCheckConfig::configure(meta, advices[9], table_idx); + let range_check = LookupRangeCheckConfig::configure( + meta, + advices[9], + table_idx, + table_range_check_tag, + ); let sinsemilla_config = SinsemillaChip::configure( meta, diff --git a/src/circuit_description b/src/circuit_description index cffc54ff8..19578d04b 100644 --- a/src/circuit_description +++ b/src/circuit_description @@ -2,23 +2,23 @@ PinnedVerificationKey { base_modulus: "0x40000000000000000000000000000000224698fc0994a8dd8c46eb2100000001", scalar_modulus: "0x40000000000000000000000000000000224698fc094cf91b992d30ed00000001", domain: PinnedEvaluationDomain { - k: 12, - extended_k: 15, - omega: 0x028961bbd9c63b7bd7c75f72e02a9727d14d99e7985184470d34cd1b8ef03001, + k: 11, + extended_k: 14, + omega: 0x181b50ad5f32119e31cbd395426d600b7a9b88bcaaa1c24eef28545aada17813, }, cs: PinnedConstraintSystem { - num_fixed_columns: 30, + num_fixed_columns: 33, num_advice_columns: 10, num_instance_columns: 1, - num_selectors: 59, + num_selectors: 61, gates: [ Product( Product( Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -29,8 +29,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -44,8 +44,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -59,8 +59,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -97,8 +97,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -109,8 +109,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -124,8 +124,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -139,8 +139,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -208,8 +208,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -220,8 +220,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -235,8 +235,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -250,8 +250,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -308,8 +308,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -320,8 +320,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -335,8 +335,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -350,8 +350,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -388,8 +388,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -400,8 +400,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -415,8 +415,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -430,8 +430,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -468,8 +468,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -480,8 +480,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -495,8 +495,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -510,8 +510,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -548,8 +548,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -560,8 +560,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -575,8 +575,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -590,8 +590,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -628,8 +628,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -640,8 +640,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -655,8 +655,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -670,8 +670,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -708,8 +708,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -720,8 +720,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -735,8 +735,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -750,8 +750,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -843,8 +843,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -855,8 +855,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -870,8 +870,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -885,8 +885,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -934,8 +934,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -946,8 +946,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -961,8 +961,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -976,8 +976,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1007,8 +1007,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1019,8 +1019,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1034,8 +1034,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1049,8 +1049,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1094,8 +1094,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1106,8 +1106,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1121,8 +1121,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1136,8 +1136,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1178,8 +1178,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1190,8 +1190,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1205,8 +1205,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1220,8 +1220,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1266,20 +1266,20 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), }, Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000001, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1289,12 +1289,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000002, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1304,12 +1304,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1384,20 +1384,20 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), }, Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000001, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1407,12 +1407,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000002, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1422,12 +1422,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 21, + column_index: 21, rotation: Rotation( 0, ), @@ -1501,20 +1501,20 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), }, Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000002, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1528,8 +1528,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1543,8 +1543,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1610,8 +1610,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1622,8 +1622,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1633,12 +1633,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1652,8 +1652,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1774,8 +1774,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1786,8 +1786,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1797,12 +1797,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1816,8 +1816,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1909,8 +1909,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1921,8 +1921,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1936,8 +1936,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -1947,12 +1947,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2035,8 +2035,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2047,8 +2047,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2062,8 +2062,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2073,12 +2073,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2174,8 +2174,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2186,8 +2186,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2201,8 +2201,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2212,12 +2212,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2318,8 +2318,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2330,8 +2330,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2345,8 +2345,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2356,12 +2356,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2462,8 +2462,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2474,8 +2474,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2489,8 +2489,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2500,12 +2500,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2604,8 +2604,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2616,8 +2616,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2631,8 +2631,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2642,12 +2642,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2746,8 +2746,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2758,8 +2758,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2773,8 +2773,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2784,12 +2784,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2846,8 +2846,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2858,8 +2858,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2873,8 +2873,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2884,12 +2884,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2946,8 +2946,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2958,8 +2958,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2973,8 +2973,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -2984,12 +2984,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3046,8 +3046,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3058,8 +3058,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3073,8 +3073,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3084,12 +3084,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3146,8 +3146,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3158,8 +3158,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3173,8 +3173,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3184,12 +3184,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3275,8 +3275,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3287,8 +3287,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3302,8 +3302,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3313,12 +3313,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 19, - column_index: 19, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3404,8 +3404,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 18, - column_index: 18, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3416,8 +3416,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3431,8 +3431,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3446,8 +3446,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 18, - column_index: 18, + query_index: 22, + column_index: 22, rotation: Rotation( 0, ), @@ -3544,8 +3544,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3556,8 +3556,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3571,8 +3571,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3586,8 +3586,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3601,8 +3601,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3616,8 +3616,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3651,8 +3651,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3663,8 +3663,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3678,8 +3678,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3693,8 +3693,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3708,8 +3708,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3723,8 +3723,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3758,8 +3758,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3770,8 +3770,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3785,8 +3785,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3800,8 +3800,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3815,8 +3815,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3830,8 +3830,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3898,8 +3898,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3910,8 +3910,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3925,8 +3925,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3940,8 +3940,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3955,8 +3955,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -3970,8 +3970,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4130,8 +4130,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4142,8 +4142,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4157,8 +4157,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4172,8 +4172,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4187,8 +4187,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4202,8 +4202,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4299,8 +4299,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4311,8 +4311,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4326,8 +4326,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4341,8 +4341,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4356,8 +4356,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4371,8 +4371,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4563,8 +4563,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4575,8 +4575,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4590,8 +4590,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4605,8 +4605,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4620,8 +4620,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4635,8 +4635,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4703,8 +4703,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4715,8 +4715,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4730,8 +4730,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4745,8 +4745,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4760,8 +4760,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4775,8 +4775,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4935,8 +4935,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4947,8 +4947,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4962,8 +4962,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4977,8 +4977,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -4992,8 +4992,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5007,8 +5007,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5104,8 +5104,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5116,8 +5116,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5131,8 +5131,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5146,8 +5146,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5161,8 +5161,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5176,8 +5176,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5305,8 +5305,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5317,8 +5317,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5332,8 +5332,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5347,8 +5347,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5362,8 +5362,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5377,8 +5377,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -5474,8 +5474,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5486,8 +5486,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5501,8 +5501,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5516,8 +5516,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5531,8 +5531,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5565,8 +5565,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5577,8 +5577,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5592,8 +5592,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5607,8 +5607,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5622,8 +5622,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5656,8 +5656,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5668,8 +5668,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5683,8 +5683,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5698,8 +5698,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5713,8 +5713,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5780,8 +5780,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5792,8 +5792,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5807,8 +5807,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5822,8 +5822,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5837,8 +5837,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -5996,8 +5996,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -6008,8 +6008,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -6023,8 +6023,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -6038,8 +6038,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -6053,8 +6053,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -6149,8 +6149,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -6161,8 +6161,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -6176,8 +6176,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -6191,8 +6191,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -6206,8 +6206,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -6398,8 +6398,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6410,8 +6410,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6425,8 +6425,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6440,8 +6440,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6455,8 +6455,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6470,8 +6470,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6538,8 +6538,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6550,8 +6550,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6565,8 +6565,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6580,8 +6580,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6595,8 +6595,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6610,8 +6610,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6770,8 +6770,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6782,8 +6782,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6797,8 +6797,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6812,8 +6812,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6827,8 +6827,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6842,8 +6842,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6939,8 +6939,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6951,8 +6951,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6966,8 +6966,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6981,8 +6981,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -6996,8 +6996,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7011,8 +7011,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7140,8 +7140,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7152,8 +7152,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7167,8 +7167,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7182,8 +7182,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7197,8 +7197,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7212,8 +7212,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7284,8 +7284,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7296,8 +7296,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7311,8 +7311,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7326,8 +7326,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7341,8 +7341,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7356,8 +7356,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7465,8 +7465,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7477,8 +7477,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7492,8 +7492,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7507,8 +7507,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7522,8 +7522,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7575,8 +7575,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7587,8 +7587,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7602,8 +7602,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7617,8 +7617,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7632,8 +7632,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7673,8 +7673,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7685,8 +7685,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7700,8 +7700,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7715,8 +7715,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7730,8 +7730,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7769,8 +7769,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7781,8 +7781,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7796,8 +7796,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7811,8 +7811,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7826,8 +7826,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7858,8 +7858,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7870,8 +7870,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7885,8 +7885,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7900,8 +7900,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7915,8 +7915,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -7980,8 +7980,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -7992,8 +7992,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8007,8 +8007,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8022,8 +8022,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8037,8 +8037,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8052,8 +8052,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8120,8 +8120,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8132,8 +8132,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8147,8 +8147,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8162,8 +8162,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8177,8 +8177,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8192,8 +8192,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8289,8 +8289,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8301,8 +8301,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8316,8 +8316,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8331,8 +8331,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8346,8 +8346,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8361,8 +8361,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 20, - column_index: 20, + query_index: 23, + column_index: 23, rotation: Rotation( 0, ), @@ -8451,8 +8451,8 @@ PinnedVerificationKey { ), Product( Fixed { - query_index: 22, - column_index: 22, + query_index: 25, + column_index: 25, rotation: Rotation( 0, ), @@ -8691,8 +8691,8 @@ PinnedVerificationKey { ), Product( Fixed { - query_index: 22, - column_index: 22, + query_index: 25, + column_index: 25, rotation: Rotation( 0, ), @@ -8715,7 +8715,7 @@ PinnedVerificationKey { ), Fixed { query_index: 0, - column_index: 3, + column_index: 4, rotation: Rotation( 0, ), @@ -8750,8 +8750,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 3, - column_index: 4, + query_index: 4, + column_index: 5, rotation: Rotation( 0, ), @@ -8809,8 +8809,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -8891,8 +8891,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -8996,8 +8996,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -9124,8 +9124,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 7, - column_index: 8, + query_index: 8, + column_index: 9, rotation: Rotation( 0, ), @@ -9275,8 +9275,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 8, - column_index: 9, + query_index: 9, + column_index: 10, rotation: Rotation( 0, ), @@ -9449,8 +9449,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 9, - column_index: 10, + query_index: 10, + column_index: 11, rotation: Rotation( 0, ), @@ -9470,8 +9470,8 @@ PinnedVerificationKey { ), Product( Fixed { - query_index: 22, - column_index: 22, + query_index: 25, + column_index: 25, rotation: Rotation( 0, ), @@ -9506,8 +9506,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 2, - column_index: 11, + query_index: 3, + column_index: 12, rotation: Rotation( 0, ), @@ -9517,8 +9517,8 @@ PinnedVerificationKey { ), Product( Fixed { - query_index: 22, - column_index: 22, + query_index: 25, + column_index: 25, rotation: Rotation( 0, ), @@ -9578,8 +9578,8 @@ PinnedVerificationKey { ), Product( Fixed { - query_index: 23, - column_index: 23, + query_index: 26, + column_index: 26, rotation: Rotation( 0, ), @@ -9602,7 +9602,7 @@ PinnedVerificationKey { ), Fixed { query_index: 0, - column_index: 3, + column_index: 4, rotation: Rotation( 0, ), @@ -9623,8 +9623,8 @@ PinnedVerificationKey { }, ), Fixed { - query_index: 3, - column_index: 4, + query_index: 4, + column_index: 5, rotation: Rotation( 0, ), @@ -9654,8 +9654,8 @@ PinnedVerificationKey { }, ), Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -9694,8 +9694,8 @@ PinnedVerificationKey { }, ), Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -9743,8 +9743,8 @@ PinnedVerificationKey { }, ), Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -9801,8 +9801,8 @@ PinnedVerificationKey { }, ), Fixed { - query_index: 7, - column_index: 8, + query_index: 8, + column_index: 9, rotation: Rotation( 0, ), @@ -9868,8 +9868,8 @@ PinnedVerificationKey { }, ), Fixed { - query_index: 8, - column_index: 9, + query_index: 9, + column_index: 10, rotation: Rotation( 0, ), @@ -9944,8 +9944,8 @@ PinnedVerificationKey { }, ), Fixed { - query_index: 9, - column_index: 10, + query_index: 10, + column_index: 11, rotation: Rotation( 0, ), @@ -9965,8 +9965,8 @@ PinnedVerificationKey { ), Product( Fixed { - query_index: 23, - column_index: 23, + query_index: 26, + column_index: 26, rotation: Rotation( 0, ), @@ -10001,8 +10001,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 2, - column_index: 11, + query_index: 3, + column_index: 12, rotation: Rotation( 0, ), @@ -10012,8 +10012,8 @@ PinnedVerificationKey { ), Product( Fixed { - query_index: 23, - column_index: 23, + query_index: 26, + column_index: 26, rotation: Rotation( 0, ), @@ -10073,8 +10073,8 @@ PinnedVerificationKey { ), Product( Fixed { - query_index: 23, - column_index: 23, + query_index: 26, + column_index: 26, rotation: Rotation( 0, ), @@ -10205,8 +10205,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10217,8 +10217,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10232,8 +10232,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10247,8 +10247,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10262,8 +10262,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10301,8 +10301,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10313,8 +10313,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10328,8 +10328,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10343,8 +10343,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10358,8 +10358,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10397,8 +10397,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10409,8 +10409,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10424,8 +10424,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10439,8 +10439,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10454,8 +10454,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10506,8 +10506,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10518,8 +10518,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10533,8 +10533,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10548,8 +10548,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10563,8 +10563,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10606,8 +10606,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10618,8 +10618,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10633,8 +10633,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10648,8 +10648,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10663,8 +10663,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10695,8 +10695,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10707,8 +10707,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10722,8 +10722,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10737,8 +10737,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10752,8 +10752,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10800,8 +10800,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10812,8 +10812,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10827,8 +10827,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10842,8 +10842,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10857,8 +10857,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10933,8 +10933,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10945,8 +10945,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10960,8 +10960,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10975,8 +10975,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -10990,8 +10990,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11022,8 +11022,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11034,8 +11034,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11049,8 +11049,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11064,8 +11064,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11079,8 +11079,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11150,8 +11150,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11162,8 +11162,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11177,8 +11177,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11192,8 +11192,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11207,8 +11207,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11246,8 +11246,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11258,8 +11258,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11273,8 +11273,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11288,8 +11288,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11303,8 +11303,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11349,8 +11349,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11361,8 +11361,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11376,8 +11376,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11391,8 +11391,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11406,8 +11406,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -11465,8 +11465,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -11477,8 +11477,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -11492,8 +11492,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -11507,8 +11507,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -11532,8 +11532,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -11548,8 +11548,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -11566,8 +11566,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -11582,8 +11582,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -11600,8 +11600,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -11623,8 +11623,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -11639,8 +11639,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -11657,8 +11657,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -11673,8 +11673,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -11691,8 +11691,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -11715,8 +11715,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -11731,8 +11731,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -11749,8 +11749,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -11765,8 +11765,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -11783,8 +11783,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -11810,8 +11810,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -11822,8 +11822,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -11837,8 +11837,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -11852,8 +11852,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -11877,8 +11877,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -11893,8 +11893,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -11911,8 +11911,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -11927,8 +11927,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -11945,8 +11945,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -11968,8 +11968,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -11984,8 +11984,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12002,8 +12002,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12018,8 +12018,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12036,8 +12036,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12060,8 +12060,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12076,8 +12076,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12094,8 +12094,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12110,8 +12110,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12128,8 +12128,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12155,8 +12155,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -12167,8 +12167,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -12182,8 +12182,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -12197,8 +12197,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -12222,8 +12222,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -12238,8 +12238,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -12256,8 +12256,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -12272,8 +12272,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -12290,8 +12290,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -12313,8 +12313,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12329,8 +12329,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12347,8 +12347,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12363,8 +12363,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12381,8 +12381,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12405,8 +12405,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12421,8 +12421,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12439,8 +12439,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12455,8 +12455,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12473,8 +12473,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12500,8 +12500,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -12512,8 +12512,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -12527,8 +12527,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -12542,8 +12542,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -12564,8 +12564,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -12580,8 +12580,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -12598,8 +12598,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -12614,8 +12614,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -12632,8 +12632,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 4, - column_index: 5, + query_index: 5, + column_index: 6, rotation: Rotation( 0, ), @@ -12656,8 +12656,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -12668,8 +12668,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -12683,8 +12683,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -12698,8 +12698,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -12734,8 +12734,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12754,8 +12754,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12765,8 +12765,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 7, - column_index: 8, + query_index: 8, + column_index: 9, rotation: Rotation( 0, ), @@ -12795,8 +12795,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12815,8 +12815,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12826,8 +12826,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 7, - column_index: 8, + query_index: 8, + column_index: 9, rotation: Rotation( 0, ), @@ -12858,8 +12858,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12878,8 +12878,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12889,8 +12889,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 7, - column_index: 8, + query_index: 8, + column_index: 9, rotation: Rotation( 0, ), @@ -12919,8 +12919,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -12939,8 +12939,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -12950,8 +12950,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 7, - column_index: 8, + query_index: 8, + column_index: 9, rotation: Rotation( 0, ), @@ -12982,8 +12982,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -13002,8 +13002,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -13013,8 +13013,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 7, - column_index: 8, + query_index: 8, + column_index: 9, rotation: Rotation( 0, ), @@ -13064,8 +13064,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -13076,8 +13076,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -13091,8 +13091,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -13106,8 +13106,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -13139,8 +13139,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -13159,8 +13159,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -13170,8 +13170,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 8, - column_index: 9, + query_index: 9, + column_index: 10, rotation: Rotation( 0, ), @@ -13220,8 +13220,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -13232,8 +13232,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -13247,8 +13247,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -13262,8 +13262,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -13295,8 +13295,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 5, - column_index: 6, + query_index: 6, + column_index: 7, rotation: Rotation( 0, ), @@ -13315,8 +13315,8 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 6, - column_index: 7, + query_index: 7, + column_index: 8, rotation: Rotation( 0, ), @@ -13326,8 +13326,8 @@ PinnedVerificationKey { ), ), Fixed { - query_index: 9, - column_index: 10, + query_index: 10, + column_index: 11, rotation: Rotation( 0, ), @@ -13377,8 +13377,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13389,8 +13389,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13404,8 +13404,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13419,8 +13419,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13434,8 +13434,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13477,8 +13477,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13489,8 +13489,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13504,8 +13504,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13519,8 +13519,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13534,8 +13534,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13577,8 +13577,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13589,8 +13589,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13604,8 +13604,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13619,8 +13619,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13634,8 +13634,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 21, - column_index: 21, + query_index: 24, + column_index: 24, rotation: Rotation( 0, ), @@ -13669,8 +13669,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -13681,8 +13681,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -13696,8 +13696,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -13711,8 +13711,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -13726,8 +13726,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -13741,8 +13741,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -13754,7 +13754,7 @@ PinnedVerificationKey { Scaled( Fixed { query_index: 0, - column_index: 3, + column_index: 4, rotation: Rotation( 0, ), @@ -13834,8 +13834,8 @@ PinnedVerificationKey { ), Product( Fixed { - query_index: 16, - column_index: 16, + query_index: 19, + column_index: 19, rotation: Rotation( 0, ), @@ -13919,8 +13919,8 @@ PinnedVerificationKey { ), Product( Fixed { - query_index: 16, - column_index: 16, + query_index: 19, + column_index: 19, rotation: Rotation( 0, ), @@ -14037,16 +14037,16 @@ PinnedVerificationKey { Negated( Product( Fixed { - query_index: 10, - column_index: 12, + query_index: 11, + column_index: 13, rotation: Rotation( 0, ), }, Sum( Fixed { - query_index: 10, - column_index: 12, + query_index: 11, + column_index: 13, rotation: Rotation( 0, ), @@ -14133,16 +14133,16 @@ PinnedVerificationKey { Scaled( Product( Fixed { - query_index: 10, - column_index: 12, + query_index: 11, + column_index: 13, rotation: Rotation( 0, ), }, Sum( Fixed { - query_index: 10, - column_index: 12, + query_index: 11, + column_index: 13, rotation: Rotation( 0, ), @@ -14173,8 +14173,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14185,8 +14185,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14200,8 +14200,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14215,8 +14215,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14282,8 +14282,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14294,8 +14294,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14309,8 +14309,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14324,8 +14324,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14391,8 +14391,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14403,8 +14403,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14418,8 +14418,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14433,8 +14433,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14471,8 +14471,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14483,8 +14483,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14498,8 +14498,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14513,8 +14513,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14560,8 +14560,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14572,8 +14572,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14587,8 +14587,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14602,8 +14602,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14673,8 +14673,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14685,8 +14685,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14700,8 +14700,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14715,8 +14715,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14760,8 +14760,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14772,8 +14772,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14787,8 +14787,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14802,8 +14802,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 24, - column_index: 24, + query_index: 27, + column_index: 27, rotation: Rotation( 0, ), @@ -14849,8 +14849,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -14861,8 +14861,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -14876,8 +14876,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -14891,8 +14891,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -14906,8 +14906,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -14921,8 +14921,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -14933,8 +14933,8 @@ PinnedVerificationKey { Sum( Scaled( Fixed { - query_index: 3, - column_index: 4, + query_index: 4, + column_index: 5, rotation: Rotation( 0, ), @@ -15014,8 +15014,8 @@ PinnedVerificationKey { ), Product( Fixed { - query_index: 17, - column_index: 17, + query_index: 20, + column_index: 20, rotation: Rotation( 0, ), @@ -15099,8 +15099,8 @@ PinnedVerificationKey { ), Product( Fixed { - query_index: 17, - column_index: 17, + query_index: 20, + column_index: 20, rotation: Rotation( 0, ), @@ -15217,16 +15217,16 @@ PinnedVerificationKey { Negated( Product( Fixed { - query_index: 13, - column_index: 13, + query_index: 14, + column_index: 14, rotation: Rotation( 0, ), }, Sum( Fixed { - query_index: 13, - column_index: 13, + query_index: 14, + column_index: 14, rotation: Rotation( 0, ), @@ -15313,16 +15313,16 @@ PinnedVerificationKey { Scaled( Product( Fixed { - query_index: 13, - column_index: 13, + query_index: 14, + column_index: 14, rotation: Rotation( 0, ), }, Sum( Fixed { - query_index: 13, - column_index: 13, + query_index: 14, + column_index: 14, rotation: Rotation( 0, ), @@ -15355,8 +15355,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15367,8 +15367,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15382,8 +15382,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15397,8 +15397,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15412,8 +15412,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15427,8 +15427,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15496,8 +15496,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15508,8 +15508,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15523,8 +15523,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15538,8 +15538,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15553,8 +15553,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15568,8 +15568,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15637,8 +15637,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15649,8 +15649,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15664,8 +15664,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15679,8 +15679,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15694,8 +15694,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15709,8 +15709,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15749,8 +15749,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15761,8 +15761,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15776,8 +15776,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15791,8 +15791,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15806,8 +15806,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15821,8 +15821,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15870,8 +15870,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15882,8 +15882,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15897,8 +15897,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15912,8 +15912,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15927,8 +15927,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15942,8 +15942,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16015,8 +16015,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16027,8 +16027,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16042,8 +16042,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16057,8 +16057,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16072,8 +16072,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16087,8 +16087,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16134,8 +16134,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16146,8 +16146,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16161,8 +16161,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16176,8 +16176,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16191,8 +16191,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16206,8 +16206,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16253,8 +16253,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16265,8 +16265,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16280,8 +16280,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16295,8 +16295,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16310,8 +16310,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16325,8 +16325,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16365,8 +16365,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16377,8 +16377,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16392,8 +16392,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16407,8 +16407,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16422,8 +16422,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16437,8 +16437,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16477,8 +16477,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16489,8 +16489,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16504,8 +16504,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16519,8 +16519,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16534,8 +16534,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16549,8 +16549,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16608,8 +16608,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16620,8 +16620,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16635,8 +16635,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16650,8 +16650,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16665,8 +16665,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16680,8 +16680,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16727,8 +16727,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16739,8 +16739,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16754,8 +16754,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16769,8 +16769,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16784,8 +16784,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16799,9 +16799,9 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, - rotation: Rotation( + query_index: 28, + column_index: 28, + rotation: Rotation( 0, ), }, @@ -16858,8 +16858,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16870,8 +16870,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16885,8 +16885,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16900,8 +16900,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16915,8 +16915,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -16930,8 +16930,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17001,8 +17001,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17013,8 +17013,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17028,8 +17028,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17043,8 +17043,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17058,8 +17058,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17073,8 +17073,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17106,8 +17106,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17118,8 +17118,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17133,8 +17133,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17148,8 +17148,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17163,8 +17163,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17178,8 +17178,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17211,8 +17211,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17223,8 +17223,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17238,8 +17238,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17253,8 +17253,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17268,8 +17268,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17283,8 +17283,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17330,8 +17330,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17342,8 +17342,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17357,8 +17357,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17372,8 +17372,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17387,8 +17387,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17402,8 +17402,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17435,8 +17435,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17447,8 +17447,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17462,8 +17462,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17477,8 +17477,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17492,8 +17492,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17507,8 +17507,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17540,8 +17540,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17552,8 +17552,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17567,8 +17567,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17582,8 +17582,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17597,8 +17597,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17612,8 +17612,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17645,8 +17645,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17657,8 +17657,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17672,8 +17672,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17687,8 +17687,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17702,8 +17702,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17717,8 +17717,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17776,8 +17776,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17788,8 +17788,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17803,8 +17803,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17818,8 +17818,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17833,8 +17833,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17848,8 +17848,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17881,8 +17881,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17893,8 +17893,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17908,8 +17908,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17923,8 +17923,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17938,8 +17938,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17953,8 +17953,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -17993,8 +17993,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18005,8 +18005,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18020,8 +18020,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18035,8 +18035,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18050,8 +18050,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18065,8 +18065,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18105,8 +18105,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18117,8 +18117,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18132,8 +18132,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18147,8 +18147,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18162,8 +18162,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18177,8 +18177,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18248,8 +18248,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18260,8 +18260,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18275,8 +18275,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18290,8 +18290,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18305,8 +18305,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18320,8 +18320,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18360,8 +18360,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18372,8 +18372,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18387,8 +18387,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18402,8 +18402,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18417,8 +18417,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18432,8 +18432,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18472,8 +18472,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18484,8 +18484,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18499,8 +18499,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18514,8 +18514,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18529,8 +18529,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18544,8 +18544,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 25, - column_index: 25, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -18615,8 +18615,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18627,8 +18627,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18642,8 +18642,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18657,8 +18657,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18672,8 +18672,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18687,8 +18687,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18734,8 +18734,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18746,8 +18746,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18761,8 +18761,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18776,8 +18776,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18791,8 +18791,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18806,8 +18806,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18846,8 +18846,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18858,8 +18858,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18873,8 +18873,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18888,8 +18888,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18903,8 +18903,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18918,8 +18918,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18977,8 +18977,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18989,8 +18989,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19004,8 +19004,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19019,8 +19019,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19034,8 +19034,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19049,8 +19049,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19089,8 +19089,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19101,8 +19101,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19116,8 +19116,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19131,8 +19131,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19146,8 +19146,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19161,8 +19161,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19208,8 +19208,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19220,8 +19220,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19235,8 +19235,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19250,8 +19250,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19265,8 +19265,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19280,8 +19280,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19339,8 +19339,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19351,8 +19351,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19366,8 +19366,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19381,8 +19381,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19396,8 +19396,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19411,8 +19411,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19451,8 +19451,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19463,8 +19463,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19478,8 +19478,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19493,8 +19493,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19508,8 +19508,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19523,8 +19523,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19563,8 +19563,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19575,8 +19575,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19590,8 +19590,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19605,8 +19605,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19620,8 +19620,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19635,8 +19635,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19682,9 +19682,9 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, - rotation: Rotation( + query_index: 29, + column_index: 29, + rotation: Rotation( 0, ), }, @@ -19694,8 +19694,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19709,8 +19709,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19724,8 +19724,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19739,8 +19739,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19754,8 +19754,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19813,8 +19813,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19825,8 +19825,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19840,8 +19840,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19855,8 +19855,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19870,8 +19870,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19885,8 +19885,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19932,8 +19932,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19944,8 +19944,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19959,8 +19959,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19974,8 +19974,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -19989,8 +19989,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20004,8 +20004,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20037,8 +20037,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20049,8 +20049,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20064,8 +20064,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20079,8 +20079,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20094,8 +20094,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20109,8 +20109,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20142,8 +20142,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20154,8 +20154,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20169,8 +20169,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20184,8 +20184,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20199,8 +20199,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20214,8 +20214,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 26, - column_index: 26, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -20248,8 +20248,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20260,8 +20260,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20275,8 +20275,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20290,8 +20290,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20305,8 +20305,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20320,8 +20320,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20335,8 +20335,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20395,8 +20395,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20407,8 +20407,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20422,8 +20422,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20437,8 +20437,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20452,8 +20452,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20467,8 +20467,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20482,8 +20482,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20542,8 +20542,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20554,8 +20554,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20569,8 +20569,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20584,8 +20584,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20599,8 +20599,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20614,8 +20614,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20629,8 +20629,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20663,8 +20663,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20675,8 +20675,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20690,8 +20690,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20705,8 +20705,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20720,8 +20720,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20735,8 +20735,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20750,8 +20750,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20784,8 +20784,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20796,8 +20796,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20811,8 +20811,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20826,8 +20826,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20841,8 +20841,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20856,8 +20856,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20871,8 +20871,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20931,8 +20931,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20943,8 +20943,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20958,8 +20958,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20973,8 +20973,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20988,8 +20988,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21003,8 +21003,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21018,8 +21018,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21078,8 +21078,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21090,8 +21090,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21105,8 +21105,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21120,8 +21120,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21135,8 +21135,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21150,8 +21150,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21165,8 +21165,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21225,8 +21225,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21237,8 +21237,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21252,8 +21252,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21267,8 +21267,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21282,8 +21282,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21297,8 +21297,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21312,8 +21312,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21346,8 +21346,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21358,8 +21358,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21373,8 +21373,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21388,8 +21388,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21403,8 +21403,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21418,8 +21418,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21433,8 +21433,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21467,8 +21467,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21479,8 +21479,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21494,8 +21494,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21509,8 +21509,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21524,8 +21524,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21539,8 +21539,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21554,8 +21554,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21626,8 +21626,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21638,8 +21638,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21653,8 +21653,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21668,8 +21668,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21683,8 +21683,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21698,8 +21698,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21713,8 +21713,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21773,8 +21773,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21785,8 +21785,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21800,8 +21800,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21815,8 +21815,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21830,8 +21830,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21845,8 +21845,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21860,8 +21860,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21894,8 +21894,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21906,8 +21906,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21921,8 +21921,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21936,8 +21936,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21951,8 +21951,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21966,8 +21966,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -21981,8 +21981,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22015,8 +22015,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22027,8 +22027,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22042,8 +22042,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22057,8 +22057,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22072,8 +22072,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22087,8 +22087,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22102,8 +22102,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22136,8 +22136,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22148,8 +22148,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22163,8 +22163,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22178,8 +22178,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22193,8 +22193,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22208,8 +22208,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22223,8 +22223,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22264,8 +22264,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22276,8 +22276,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22291,8 +22291,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22306,8 +22306,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22321,8 +22321,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22336,8 +22336,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22351,8 +22351,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22411,8 +22411,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22423,8 +22423,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22438,8 +22438,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22453,8 +22453,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22468,8 +22468,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22483,8 +22483,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22498,8 +22498,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22558,8 +22558,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22570,8 +22570,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22585,8 +22585,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22600,8 +22600,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22615,8 +22615,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22630,8 +22630,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22645,8 +22645,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22693,8 +22693,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22705,8 +22705,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22720,8 +22720,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22735,8 +22735,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22750,8 +22750,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22765,8 +22765,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22780,8 +22780,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22814,8 +22814,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22826,8 +22826,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22841,8 +22841,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22856,8 +22856,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22871,8 +22871,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22886,8 +22886,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22901,8 +22901,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22935,8 +22935,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22947,8 +22947,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22962,8 +22962,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22977,8 +22977,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -22992,8 +22992,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23007,8 +23007,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23022,8 +23022,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23056,8 +23056,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23068,8 +23068,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23083,8 +23083,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23098,8 +23098,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23113,8 +23113,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23128,8 +23128,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23143,8 +23143,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23184,8 +23184,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23196,8 +23196,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23211,8 +23211,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23226,8 +23226,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23241,8 +23241,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23256,8 +23256,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23271,8 +23271,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23312,8 +23312,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23324,8 +23324,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23339,8 +23339,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23354,8 +23354,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23369,8 +23369,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23384,8 +23384,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23399,8 +23399,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23471,8 +23471,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23483,8 +23483,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23498,8 +23498,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23513,8 +23513,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23528,8 +23528,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23543,8 +23543,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23558,8 +23558,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23599,8 +23599,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23611,8 +23611,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23626,8 +23626,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23641,8 +23641,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23656,8 +23656,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23671,8 +23671,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23686,8 +23686,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23727,8 +23727,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23739,8 +23739,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23754,8 +23754,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23769,8 +23769,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23784,8 +23784,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23799,8 +23799,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23814,8 +23814,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -23886,8 +23886,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23898,8 +23898,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23913,8 +23913,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23928,8 +23928,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23943,8 +23943,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23958,8 +23958,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23973,8 +23973,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24021,8 +24021,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24033,8 +24033,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24048,8 +24048,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24063,8 +24063,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24078,8 +24078,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24093,8 +24093,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24108,8 +24108,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24149,8 +24149,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24161,8 +24161,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24176,8 +24176,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24191,8 +24191,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24206,8 +24206,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24221,8 +24221,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24236,8 +24236,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24296,8 +24296,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24308,8 +24308,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24323,8 +24323,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24338,8 +24338,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24353,8 +24353,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24368,8 +24368,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24383,8 +24383,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24424,8 +24424,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24436,8 +24436,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24451,8 +24451,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24466,8 +24466,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24481,8 +24481,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24496,8 +24496,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24511,8 +24511,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24559,8 +24559,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24571,8 +24571,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24586,8 +24586,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24601,8 +24601,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24616,8 +24616,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24631,8 +24631,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24646,8 +24646,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24706,8 +24706,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24718,8 +24718,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24733,8 +24733,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24748,8 +24748,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24763,8 +24763,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24778,8 +24778,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24793,8 +24793,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24834,8 +24834,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24846,8 +24846,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24861,8 +24861,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24876,8 +24876,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24891,8 +24891,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24906,8 +24906,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24921,8 +24921,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24962,8 +24962,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24974,8 +24974,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -24989,8 +24989,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25004,8 +25004,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25019,8 +25019,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25034,8 +25034,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25049,8 +25049,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25097,8 +25097,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25109,8 +25109,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25124,8 +25124,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25139,8 +25139,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25154,8 +25154,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25169,8 +25169,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25184,8 +25184,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25244,8 +25244,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25256,8 +25256,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25271,8 +25271,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25286,8 +25286,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25301,8 +25301,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25316,8 +25316,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25331,8 +25331,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25379,8 +25379,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25391,8 +25391,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25406,8 +25406,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25421,8 +25421,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25436,8 +25436,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25451,8 +25451,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25466,8 +25466,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25500,8 +25500,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25512,8 +25512,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25527,8 +25527,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25542,8 +25542,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25557,8 +25557,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25572,8 +25572,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25587,8 +25587,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25621,8 +25621,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25633,8 +25633,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25648,8 +25648,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25663,8 +25663,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25678,8 +25678,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25693,8 +25693,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25708,8 +25708,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25742,8 +25742,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25754,8 +25754,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25769,8 +25769,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25784,8 +25784,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25799,8 +25799,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25814,8 +25814,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25829,8 +25829,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25889,8 +25889,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25901,8 +25901,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25916,8 +25916,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25931,8 +25931,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25946,8 +25946,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25961,8 +25961,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -25976,8 +25976,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26036,8 +26036,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26048,8 +26048,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26063,8 +26063,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26078,8 +26078,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26093,8 +26093,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26108,8 +26108,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26123,8 +26123,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26157,8 +26157,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26169,8 +26169,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26184,8 +26184,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26199,8 +26199,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26214,8 +26214,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26229,8 +26229,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26244,8 +26244,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26278,8 +26278,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26290,8 +26290,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26305,8 +26305,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26320,8 +26320,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26335,8 +26335,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26350,8 +26350,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26365,8 +26365,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -26422,8 +26422,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26434,8 +26434,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26449,8 +26449,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26464,8 +26464,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26521,8 +26521,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26533,8 +26533,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26548,8 +26548,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26563,8 +26563,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26620,8 +26620,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26632,8 +26632,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26647,8 +26647,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26662,8 +26662,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26693,8 +26693,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26705,8 +26705,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26720,8 +26720,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26735,8 +26735,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26766,8 +26766,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26778,8 +26778,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26793,8 +26793,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26808,8 +26808,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26877,8 +26877,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26889,8 +26889,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26904,8 +26904,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26919,8 +26919,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26976,8 +26976,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -26988,8 +26988,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27003,8 +27003,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27018,8 +27018,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27049,8 +27049,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27061,8 +27061,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27076,8 +27076,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27091,8 +27091,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27122,8 +27122,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27134,8 +27134,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27149,8 +27149,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27164,8 +27164,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27195,8 +27195,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27207,8 +27207,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27222,8 +27222,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27237,8 +27237,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27275,8 +27275,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27287,8 +27287,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27302,8 +27302,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27317,8 +27317,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27374,8 +27374,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27386,8 +27386,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27401,8 +27401,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27416,8 +27416,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27473,8 +27473,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27485,8 +27485,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27500,8 +27500,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27515,8 +27515,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27560,8 +27560,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27572,8 +27572,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27587,8 +27587,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27602,8 +27602,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27633,8 +27633,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27645,8 +27645,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27660,8 +27660,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27675,8 +27675,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27706,8 +27706,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27718,8 +27718,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27733,8 +27733,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27748,8 +27748,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27779,8 +27779,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27791,8 +27791,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27806,8 +27806,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -27821,8 +27821,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 32, + column_index: 32, rotation: Rotation( 0, ), @@ -28125,7 +28125,7 @@ PinnedVerificationKey { fixed_queries: [ ( Column { - index: 3, + index: 4, column_type: Fixed, }, Rotation( @@ -28143,7 +28143,7 @@ PinnedVerificationKey { ), ( Column { - index: 11, + index: 1, column_type: Fixed, }, Rotation( @@ -28152,7 +28152,7 @@ PinnedVerificationKey { ), ( Column { - index: 4, + index: 12, column_type: Fixed, }, Rotation( @@ -28215,7 +28215,7 @@ PinnedVerificationKey { ), ( Column { - index: 12, + index: 11, column_type: Fixed, }, Rotation( @@ -28224,7 +28224,7 @@ PinnedVerificationKey { ), ( Column { - index: 1, + index: 13, column_type: Fixed, }, Rotation( @@ -28242,7 +28242,7 @@ PinnedVerificationKey { ), ( Column { - index: 13, + index: 3, column_type: Fixed, }, Rotation( @@ -28393,6 +28393,33 @@ PinnedVerificationKey { 0, ), ), + ( + Column { + index: 30, + column_type: Fixed, + }, + Rotation( + 0, + ), + ), + ( + Column { + index: 31, + column_type: Fixed, + }, + Rotation( + 0, + ), + ), + ( + Column { + index: 32, + column_type: Fixed, + }, + Rotation( + 0, + ), + ), ], permutation: Argument { columns: [ @@ -28441,19 +28468,19 @@ PinnedVerificationKey { column_type: Advice, }, Column { - index: 3, + index: 4, column_type: Fixed, }, Column { - index: 8, + index: 9, column_type: Fixed, }, Column { - index: 9, + index: 10, column_type: Fixed, }, Column { - index: 10, + index: 11, column_type: Fixed, }, ], @@ -28463,40 +28490,111 @@ PinnedVerificationKey { input_expressions: [ Product( Fixed { - query_index: 14, - column_index: 14, + query_index: 15, + column_index: 15, rotation: Rotation( 0, ), }, Sum( Product( - Fixed { - query_index: 15, - column_index: 15, - rotation: Rotation( - 0, - ), - }, Sum( - Advice { - query_index: 9, - column_index: 9, - rotation: Rotation( - 0, - ), - }, + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), Negated( - Scaled( + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Product( + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 17, + column_index: 17, + rotation: Rotation( + 0, + ), + }, + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 18, + column_index: 18, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + ), + ), + ), + ), + Sum( + Product( + Fixed { + query_index: 16, + column_index: 16, + rotation: Rotation( + 0, + ), + }, + Sum( Advice { - query_index: 17, + query_index: 9, column_index: 9, rotation: Rotation( - 1, + 0, ), }, - 0x0000000000000000000000000000000000000000000000000000000000000400, + Negated( + Scaled( + Advice { + query_index: 17, + column_index: 9, + rotation: Rotation( + 1, + ), + }, + 0x0000000000000000000000000000000000000000000000000000000000000400, + ), + ), + ), + ), + Product( + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 16, + column_index: 16, + rotation: Rotation( + 0, + ), + }, + ), ), + Advice { + query_index: 9, + column_index: 9, + rotation: Rotation( + 0, + ), + }, ), ), ), @@ -28506,13 +28604,36 @@ PinnedVerificationKey { 0x0000000000000000000000000000000000000000000000000000000000000001, ), Negated( - Fixed { - query_index: 15, - column_index: 15, - rotation: Rotation( - 0, + Product( + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 17, + column_index: 17, + rotation: Rotation( + 0, + ), + }, + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 18, + column_index: 18, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), ), ), Advice { @@ -28525,6 +28646,96 @@ PinnedVerificationKey { ), ), ), + Product( + Product( + Fixed { + query_index: 15, + column_index: 15, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Product( + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 17, + column_index: 17, + rotation: Rotation( + 0, + ), + }, + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 18, + column_index: 18, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + ), + ), + ), + Sum( + Product( + Fixed { + query_index: 18, + column_index: 18, + rotation: Rotation( + 0, + ), + }, + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000005, + ), + ), + Product( + Product( + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 18, + column_index: 18, + rotation: Rotation( + 0, + ), + }, + ), + ), + Fixed { + query_index: 17, + column_index: 17, + rotation: Rotation( + 0, + ), + }, + ), + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000004, + ), + ), + ), + ), ], table_expressions: [ Fixed { @@ -28534,14 +28745,21 @@ PinnedVerificationKey { 0, ), }, + Fixed { + query_index: 2, + column_index: 1, + rotation: Rotation( + 0, + ), + }, ], }, Argument { input_expressions: [ Product( Fixed { - query_index: 16, - column_index: 16, + query_index: 19, + column_index: 19, rotation: Rotation( 0, ), @@ -28559,8 +28777,8 @@ PinnedVerificationKey { Product( Sum( Fixed { - query_index: 10, - column_index: 12, + query_index: 11, + column_index: 13, rotation: Rotation( 0, ), @@ -28568,16 +28786,16 @@ PinnedVerificationKey { Negated( Product( Fixed { - query_index: 10, - column_index: 12, + query_index: 11, + column_index: 13, rotation: Rotation( 0, ), }, Sum( Fixed { - query_index: 10, - column_index: 12, + query_index: 11, + column_index: 13, rotation: Rotation( 0, ), @@ -28607,8 +28825,8 @@ PinnedVerificationKey { Sum( Product( Fixed { - query_index: 16, - column_index: 16, + query_index: 19, + column_index: 19, rotation: Rotation( 0, ), @@ -28628,8 +28846,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 16, - column_index: 16, + query_index: 19, + column_index: 19, rotation: Rotation( 0, ), @@ -28642,8 +28860,8 @@ PinnedVerificationKey { Sum( Product( Fixed { - query_index: 16, - column_index: 16, + query_index: 19, + column_index: 19, rotation: Rotation( 0, ), @@ -28757,8 +28975,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 16, - column_index: 16, + query_index: 19, + column_index: 19, rotation: Rotation( 0, ), @@ -28778,15 +28996,15 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 11, - column_index: 1, + query_index: 12, + column_index: 2, rotation: Rotation( 0, ), }, Fixed { - query_index: 12, - column_index: 2, + query_index: 13, + column_index: 3, rotation: Rotation( 0, ), @@ -28797,8 +29015,8 @@ PinnedVerificationKey { input_expressions: [ Product( Fixed { - query_index: 17, - column_index: 17, + query_index: 20, + column_index: 20, rotation: Rotation( 0, ), @@ -28816,8 +29034,8 @@ PinnedVerificationKey { Product( Sum( Fixed { - query_index: 13, - column_index: 13, + query_index: 14, + column_index: 14, rotation: Rotation( 0, ), @@ -28825,16 +29043,16 @@ PinnedVerificationKey { Negated( Product( Fixed { - query_index: 13, - column_index: 13, + query_index: 14, + column_index: 14, rotation: Rotation( 0, ), }, Sum( Fixed { - query_index: 13, - column_index: 13, + query_index: 14, + column_index: 14, rotation: Rotation( 0, ), @@ -28864,8 +29082,8 @@ PinnedVerificationKey { Sum( Product( Fixed { - query_index: 17, - column_index: 17, + query_index: 20, + column_index: 20, rotation: Rotation( 0, ), @@ -28885,8 +29103,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 17, - column_index: 17, + query_index: 20, + column_index: 20, rotation: Rotation( 0, ), @@ -28899,8 +29117,8 @@ PinnedVerificationKey { Sum( Product( Fixed { - query_index: 17, - column_index: 17, + query_index: 20, + column_index: 20, rotation: Rotation( 0, ), @@ -29014,8 +29232,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 17, - column_index: 17, + query_index: 20, + column_index: 20, rotation: Rotation( 0, ), @@ -29035,15 +29253,15 @@ PinnedVerificationKey { ), }, Fixed { - query_index: 11, - column_index: 1, + query_index: 12, + column_index: 2, rotation: Rotation( 0, ), }, Fixed { - query_index: 12, - column_index: 2, + query_index: 13, + column_index: 3, rotation: Rotation( 0, ), @@ -29053,58 +29271,61 @@ PinnedVerificationKey { ], constants: [ Column { - index: 3, + index: 4, column_type: Fixed, }, ], minimum_degree: None, }, fixed_commitments: [ - (0x3a83a8e762ebade712aa5cf3c41c730a79369475085bf1155579f7f7682408e2, 0x25b00d3ee1da9a6bbd36b35ba461da45abd931c767b863ec4a604f8ce094e4eb), - (0x1caeb4d7ebb44a717f83ee5afd35446a5e2124f6a4075342ba4eff589523fb57, 0x3a8c431a13632a5b5f035eb4b804d37f2591e84d05d765ba3f70a3d61b907ebb), - (0x107d95a6361fc98df9042f32451faa4fd48c1381653be7847d97cf997a55a4ad, 0x31ebf6a2e352108bb180c3278e72d88bb5bab723d3b38aa47c144fc37fb8a962), - (0x20700a506e3d86a64a39b130676dddce5f1b2bf0334fec71ed2551c204822c67, 0x3b6942d1884ab8af10fad654411308e22b2cd04efc964b92fd921678436c0c98), - (0x01050032408d33b1dfaede46b04fa62672309dd6068c0833589f4c8080e829a2, 0x0e3f605da6ff82b3aa6ad00dcf43b9478f05ff876599522bf6e560d3d014fc34), - (0x3de6d72fbecfa7c79cc390c6a7d5f80f1bcdb6ec66967002c0f003890ca6e1fb, 0x188d7336a6662b8e16e4b3a279958e60dbe1f86bfdbc1dca253db40235430f44), - (0x1581f8e414673d197d0cd5730da9bb65faae27e4a7aa70055f1c92d70fa31f7d, 0x3262ae14b4137e321618661aa7a5f4b817ff8b2846d9362813da34512c6bd965), - (0x21c96b5ae31bc87ecc34afaeb56d6c155b624b22f23f474ea80fc0bc7312735d, 0x123f4ffff944155267ab11f68de7573cb27a78b30d96ad315756086adfc75137), - (0x17a4fffca31db428439c483107a7b92f8b81451bb66892f2e8b2e4a3f2181083, 0x31f214f9e19e6282a502fd0984b81b9f7c761d66236e7600049e45ec7acfe778), - (0x31efd1ed8ab3ef69dd0a927b9c371fc0e9a2dfbd3586c5f596133f2605445850, 0x28da702b4e3f6df487b6530829a48751c10557127d11b0056c7c581091a8e03e), - (0x098c8a506a6d33d2744d0e1810c2b5070d49f597c8b87fcef67ee008da94f56c, 0x3d7dd49111a5e9834dbd5c1fee58ceae6ac758ee167522843fbb50bd95715cab), - (0x17c91b96eabea3a9ff280ae99e74bb96e80e14d770cf5d0a35814500c08159ac, 0x021d68cbd102f26c8c1b849312c3970f06d0e8c4733d325c5247137da3f940eb), - (0x3c0f3f0d7b2306490dac7d578d4846c63adcc76988ce322d8691c3b8b5b0f623, 0x12d81ca672a1c18f6e0d9b7eb8fbabdbe450fae6667cf349c1a0e63ca9a0824e), - (0x27d13b33003ffddcd36efb731fe94db93d181bd994e0c057e945402bc8501789, 0x0e1dde94ea3b35e0d0a66350163ba2ff9dd5070500912b7d076747816965ffd2), - (0x3fdc611a96e66e8f5c21c211bff2006204c4884b2c6df9b55d92420af8e32d15, 0x0a525125d5a85a579cbc8e4862b88800d7dbaf8a8adc18bd0181bbbab9434b8d), - (0x245ebb4ccefa7c4e2d5a9d7b1746b8277abc25f74cd11b2dbb752d49612f248e, 0x145f605111205a7c3e4620ac035b3cccb6375f8d3c3469b7900e427607c401c9), - (0x1751912a19fa0009ece61b686342d6b4385415e942159e8db3f174ad24d612b9, 0x0f31114ef566211d46914d0bc2d1a27a0e34eeda04dab53a0af7a37024f057a1), - (0x091c6c4854fa5d9ed8a966f2a1c4946b41f6872de6c19fa8b521a0a8eb2bd899, 0x29100b4e15344d750fae4a81c82faca1e8e0573336b1f54b394946e95e7baad0), - (0x0f1d83f1dd2f4ba4d92cae2a2f40fc6d5d66fb2b6d1f1a2e981931cfc7c751af, 0x385ae95bb483cc65bb507d8418e447a7ad8346bc52b5114913d1e2c25c0fd11d), - (0x070664e70f0b48311a30b833a6b93cdf4ab06b872f28a723b935c88802275bd0, 0x1a3c22a9ff9d9d5434b8b979d6635d135d909b143927bc90a96cde88c6e93331), - (0x34c8b83a2cc924f1b0237978c8f911e6a54375c509ba46456a011fbb74c8698c, 0x260cc681c222535c0030f702172ee8855b681c16d706b1b9a786165e06705de6), - (0x1b7a61e8a9b32fe558433feec9aaf51204e5486aa468d7215087ed35fd6ecbe5, 0x1f36dc6852f92c141ba800f721d079ffc553c7449b85d16e7487e0c3009c7835), - (0x3bb657ca32617e6242b6c6a0b166a1db205024d0441d091b8d45fb478cd4782c, 0x3189ce1b97103345fc0eafd287eed80ab186151171f22af2c9befc71a0957529), - (0x25578b0a6d546cf38dc84329fad41e59690a2bd94a0db5fddb42e0db8c267827, 0x03448e4552625dda62a96318bcafcc305deafd6a028f8379d8c8d9ffa0f86e64), - (0x3eab58caf9fc2aa3fee6d649cf087fe9bca284c27f57c08410b0f8a7e09d634c, 0x04b350dc56fe19a25da0882d2acb6622bdad1c4b3e2200d35acf689782c20da7), - (0x37e00880dbfd31f1c3f86201583025a666bf48745428ac39caa1d0a0acaa0bd9, 0x0ff8ef43177aa324665a296a9a444fb4a6666e250930a039a687e53acc43eddc), - (0x0934479f5c328fdb235ac47bf94cb8551784068de4fc26f0dcdca078138cb71d, 0x213f745ff2233ec74c310b142665e4e223643eb72607fc50b98aae5c7149c78f), - (0x1a98842473bddb61c943296a39cc0a8a41cec5aa02696bd0a97569ca9f839186, 0x08291ab77b541973368946a0d14c85c69a142bfda31f9021328c98b69be25e3c), - (0x34a41b2fa64d913ddc6df62a3b881658ee29bd5c69154dc30bee28d64acee443, 0x1d88f6fd73525eeb4e8b0531297edcd107bf3c2303dd615f34732d7fb01a9b16), - (0x0a6e085a051cab2808d58f29990b4ba83ed49fba5f363f67b78c329514ac79e5, 0x20b236e5722f4cff16ee1607ffa3bf60c63e9f866b27d85e85a0b06b0b8c58ec), + (0x3887a29815d3a28d43c453904169e07def787baca6c9452505d2de78dd44b86f, 0x2f95e59472ab087725d62deea9c3b406ae490eff7c0318269d6f2b025934cc70), + (0x0decb727cf32e573604ae3928a761b450d9460f2a7283c8cf88a2b38b796e575, 0x044c0a88bc6aa468e75fc709f9eb21b6e309dd8a6ca62f7a3da86299141ea3a9), + (0x285e16cead69d5fef9441d4d4ac695fe8880120d209e1e631d8a4bc5f55e90e6, 0x3700fd2dfcfac5b2cb6d33c60ac79dfac3fb95518cd0aa97c75a51d62281f2c1), + (0x2dc11f4f0000da15c59cd395ea5f32b4e79783d958c290c821c89e0bcb50eaf1, 0x2c53e12ce0a2022516ef31f0224b0bc1b119861078358f78d245ba5d2f180099), + (0x02656490d7b8420bfe91e220b7d95ff7e79bca851ec0d26cb2221772c25e8638, 0x0ee047851a6b3d0038ff02a38782e8d349febf23035d21227fb95693083eb710), + (0x1dd2f90c7130eabb75c1f83620474ecd7565c6751cac21e6b3400e2554cb30ae, 0x0135321193a6f63fd7bdcbe4ec21c79cf2705deb072779586e4eafdbd52cc0eb), + (0x29a5048146830326a4c86c7959158cb88e6be880e1980adaa3d4bbdc1e4aae22, 0x2b1c22a72f40fc3196890c6e8723a9df96a73c0d81c83c015af087f920da8465), + (0x0087eb927dee14807ad837123f7ed3e34accaa3739d3e6172467acc8671c2653, 0x351df64e5f2b6956c800cc9c5e3a0e875b6f700be165bc478b53caf05776f9e0), + (0x319b61505610a63e57bbc53df58f1086f5840a826163fd5ca22b8d4a3238abbe, 0x232fe2570f8b5df28088f667ca920fe603329464a3a9dcfdbc78497aee19193e), + (0x3dfff1fb77235cfc3c9b39b7c4f99b5df4e89e957155385507a4ea91750069a2, 0x0a60bb0d445d0cf8fa75d1625b6ad86944d150c6679f00e78016829bf47ffa12), + (0x37bdb76a767d836c13381bf59417e256c1b326df542851d623617f2a45c59992, 0x09509cfe95dca7401708bab0ce45a126bac7fc5051b1c45f119e54a4e5fd881d), + (0x2d482cf0c1c13d6d2afe85feac3f565d054238acc10b7ff78dc08cb9aea3a5ab, 0x2f7182906fc5aa8952982e96ae29891fc988d468623244e02ea8453b5b3c65f8), + (0x184b191b2c11511c81ace6f3a56f833c5b6465a7a394dad84226588b7750969b, 0x0d200f2a66888760d60a9e117a85d826abe27a0f7cf6211b2ddf843475667618), + (0x04fae4e51e99d50ff8a55a449c0234a9a613e996a9b202db18ef01e7ad42b052, 0x1d083ab8f2c454ea5e1f9cf81a419a4a55347136c4feff75ec8a0a19f909d558), + (0x12d6a260a08c59e9df032cd6c855f081d99321fe2f33d33508b4180411f0dadc, 0x31fbd5ce92f6cd283658690e93a0bcbb515b1aa9728024f5eb583f5f27da6a11), + (0x3aaa1190000787a9cc4008d68adf7a91b48ff5470fdfb3d3ee36f64df7cfd045, 0x2f1723e3595adf0106d4fe2f11af025978f616b6697036c27ebbd682a013928e), + (0x1bbe9643cceac1b79ea642312b57cf5b7739a2accb6641c7c902a0651f8c90b2, 0x3a7c2a5db44cd0fa31f5a26206fc3ea8e81fea14ddbcdab3204dbcd840a14184), + (0x39a9e0b36cd0cf9445f6533d02ea7187f1d8100085a6228509c8af4743f2eb24, 0x311a439a351fdadfaced9213ff8bcadca7a03d1bc18d9f4bb33ea1806bc2c6be), + (0x0957fb68f275d18d730f9c106de4b4cfd966b3eeb0434b1ea66ddfda2420a8ad, 0x1ae46e6b003224d3f30eb366fc3d9db07d07ded1c474d239602aed8ac859e895), + (0x3d5fc48944b2527964ab562447e540f7512a225c2468ba76398dbd6842bcd776, 0x22ca98fd09c21884a128d63511bcd366d7fa61d7b21271e0c0927b4677c7242f), + (0x03be84ba69d6def665955d6dc72a6f647cb206de2fc5cc6d0e1474354bb03f3e, 0x1eabb979cab6e3e9a82d7b692d18e9757b684f1b855845db1ed8925f3b9ad918), + (0x0c1fbfb10301c163416949dff37b9334f8c62372f154386e40882b4327d0cf98, 0x19f48dbe5b56cb8711943bed857307de739099a1cb78c12a1015770f8553c601), + (0x2096a01846851be44913d49936d7362716c296970aeba41f35b23946cc1fa41c, 0x3af057b14acc535df8dc9f159a1290d92b8fa875b1982d669b0df5a4429f59e6), + (0x334105dd96996a08df56e88261dcd87c5356cfc0f2b8ae0a9419899d5def147b, 0x09ddf24ae765eda056cf59b16ac14464240c83e253135682c02e6546f89dd396), + (0x0aa9bf3b3cae0bbeb70f32d96a43603853872c28ef246db1bb85c885e112b4c1, 0x0718dce6ad248d2cedc43f3a23ec6d4d7dd305cb6f8fc9a3098a11acf42b5967), + (0x06fe6f3926a9de1432ebf4934fef695942a41eaea45a2c42d6af795af6dd1f7b, 0x30342fc0dc2cdec7fdf1aab0eb28f7ca21b4dd478c596540444c0932d8dd56dc), + (0x12fb328eaf326033eb7376c6aa6aff345bbb300b7e5fab858feec8cd3e4bdf58, 0x28bdf84118d334220e557ae9959a091ceb54c36d4a6d1f8a1518948d8a8124c5), + (0x0558514fa4d8feae12519efa8c79b7e7fe327642f28455ae300cffdc21cf5a22, 0x22c8f7ede18bcf4083f7cb6bf94b1de06305107537bcc31027dd400a7455dded), + (0x0aa54dc82361b7d6f35e36d55290ede3e4962e85665475fb15e51b626c849f7f, 0x16927eaf3dcbd28a8e1eb1a19235a512da8858d10040d3b26425ec054ce0eb3a), + (0x39c1526f64989d617bd43b64427f26c5068485b3d635bbb746b6be5ebf8361c8, 0x398ab66905a4e1e36fc3e2da5d1b1e918bda970ad17d46cd08b852e51879ca6a), + (0x3aa89e6834df650fcbdc0a295b03a58002cdcd14198f8af3069eb222d2d17c66, 0x067ec4c41d0352ea32b5872af2b051c78882157d0ae87486dce3c4c2c29877f9), + (0x1394764de03aaa28c9a9d2b91798a25629d0412264057ef247c6faf21e4354e3, 0x1de01702d1d58eff7824e40712beb1429a101c1ed844fcaa7100519f85faffd7), + (0x261a83f8122eb036760791a4e9d52235df4939fdf8175f8d240a333e06557e7e, 0x184fb28734999d991d4bb862d1e47e3ae20336706f82ceb180609fa68fd85501), ], permutation: VerifyingKey { commitments: [ - (0x26d7150d98acf5efa7739440641d97629e2d6553547920432e43d747b998d49e, 0x3223285fb44e1736e7216cd51276087bce39f7e5c0fdb1ef49ab4c6de26b256d), - (0x07800024b352149368405f222a8dfbf373bd4603df89929a5d00f7ac9ffac504, 0x250be8a84de9a8ded91e85860f1b1751f6bd2c0aba96329ee2d6f0e377f4679f), - (0x3384b0dbfa6553ad5adf0b218df2cbe6243c33102a97774b4e023ec1dc2d83e9, 0x2873fe49458cd70b9d72419e0d6a6ceadb8070f4b62a0bb47c58a89269e0b583), - (0x38def0fd8f233ef8651a28ffb7ae6f1e4eaeb0acec19453a3e5a0d70b2058782, 0x0512c67736284a225f0b6617cabd76ac2e4a6805940af4480798ca884e02d277), - (0x26b6d69fd8c13013c6ab5fb74bd3fbe85d01b0abb57e149ff53e77a535c6bf40, 0x05ae4f52e4ab72ff3cf2b64df6d371fda270f4f78ed0bccce8e3138d4e30e4a0), - (0x3f1b6f3ea5a2b24646dbe1c6f7c7dbf797fe6602a344bed59668ba5413519631, 0x0401a6f6ed893aa112f234127f8c30ee6e09b45f75993351aea9974389b261d6), - (0x2f34843015cfc9c9ff59c7ecab3cbb6aea69dcf6f5af79e166f25d90f70353d5, 0x2bcfde5880412d171705b41124b404a323697c4d1008b2e8b2bf9966e5809d3d), - (0x082e9af26adc31f97c38ce587ffde9af5d8238d16ad61a236bbd3c805515f144, 0x051d36eb85b6402dfb2a55ae1507b358319d016483d7ecf6be49793bbb64e79e), - (0x240a361e73afa04a2e5cc578680e54bf28e3375dbb35a8918c3cdbc91f1bc25b, 0x161c53e65c1b6500b576d8fa982e2565dbe35954840b0bab8a3d912158b9dbe7), - (0x32f883bbd63b0700f0150ea8d71f6f5d7cdcc4463289983d71e9bc104d4a5c28, 0x33aeb42bec794138b8db28696bd7cef4946a8a89edcbf3f8289655ff9f9129ee), - (0x03f33d3064517ab1a8e538444013bd0d6b011f9923f8cb964763a88d6d7409e0, 0x16f534b6d12d9e011b951e374982f048f0bed808099fd3ed97cd827360f6fb65), - (0x0ee42598f7ed2c349d720bdcbe34f85d6650e1b3f2add5a71ab0bf330fcd4f51, 0x346a2c51d2895839bb3e556eb20e6af8f5248f2d538a1407622c9d69bde1448a), + (0x286d1f6ab2fb58b3ba974d1807c606914deea07b64615089452f1feaa06ef0db, 0x08bb42474059164d528fb06f0b80b08b3ebdc87cbe0c2718d0c6199984b2119d), + (0x31fd9e62ffdd86ec55a2ead7a4b74dd21ddcf56029dc5d334491bffc7bd2ffb3, 0x2f990b235ee3f35e09a77f1414d21fab06cc60fe8fe6f52407d7599204632cd4), + (0x2044e502b5716abe00c9dde5348392b4fc489b5097aca8f5401a5153820903dd, 0x155aa6b3f9ea3e01f25eca37b0a62d28fe24a1a96d033c074e6cb22b08d118d5), + (0x36599df2c3de06015c3167fe0b2b22aab1ae9587ff050977193d5d753c8be6a8, 0x32b02df0138a92f3b23556ad96f9ef9bee0c34c8900cb4ecaadf3252ae4e0edc), + (0x13631970b4bae5c49d31638a2af724495c8b2074bd015f3c1c06af24956ca995, 0x1b7e3517b6db255c9b71753707de5d6fb33f83825ad8416db482669daac81ba3), + (0x021eb6e340ea808444c833c25e326c03223ea3fb458771e814a7d9130eddeb74, 0x230be5c1f0b81145d7a45c032c4dbc68e53db1fbda374a0f0d2e0da702032b2f), + (0x18720c0f1f48ad21f6e1d0d33adc569ac901c68cdcb16d5398ac986b421f7038, 0x11cf59a013ad87f91ce8567087a80ee9395af8fc1383ac10e490d9c903290a09), + (0x007f8cdd8d1fcd8f5a32af8e1b3347ef4c8b41fb46c93eeac7895851009cc5da, 0x37b9278f063e6d6a578aa76657ff19dffd9d00d572711bfdfbfff13b16a6c6ce), + (0x20d64c097c7b989a44316bdc366ae83097832f00289736b772bea49c4e7b00e1, 0x3db86fbe002fea7ec1504b8c3a37781255f3990674df29c3df80b01c346599dc), + (0x3a80a8a3e35f9d6d83a547f054657216eea971085206d9a1fa1da905b4ebeff7, 0x18501e269b09e80f6465be2cdfdfea1140edda48656e7ea57f9134c1426a05bd), + (0x3aa059c2e0c14fe94e426dce09603ba37f6674a0643c3084822fd9c6f90a9208, 0x1512147967321b4ef9e690745a80b3f58a55706151c6661f112d84eed9e3f83c), + (0x00bccfb987b16c011682099a4600073bf54c652644cbf2e52c55654af4047592, 0x3a2ea83323de8bc350419de781b6ac0481845cf87d83430d29782e3d62d134d0), (0x21d210b41675a1eae44cbd0f3fd27d69e30716c71873f6089cee61acacd403ab, 0x2275e97c7e84f68bfaa528a9d8be4e059f7abefd80d03fbfca774e8414a9b7c1), (0x0f9e7de28e0f650d99d99d95c0fcd39c9dac9db5aa1973319f66922d6eb9f7d5, 0x1ba644ecc18ad711ddd33af7f695f6834e9f35c93d47a6a5273dabbe800fc7e6), (0x0aab3ab73afac76277cd94a891de15e42ceb09f3a9865dab5c814bebfbb4453f, 0x27119fec3736d99abeeef1ad7b857db7e754e0c158780ed3dd0cdd4dc2453e10), diff --git a/src/circuit_proof_test_case.bin b/src/circuit_proof_test_case.bin index 83ca7c053..4dda7dc76 100644 Binary files a/src/circuit_proof_test_case.bin and b/src/circuit_proof_test_case.bin differ