From a680f410a4b52a5f6292faa7e7601f838c8682b5 Mon Sep 17 00:00:00 2001 From: Constance Beguier Date: Wed, 18 Oct 2023 10:38:59 +0200 Subject: [PATCH] Circuit: optimize ZEC/ZSA hash computations in note commitment (#87) We optimized note_commitment evaluation by sharing a portion of the hash evaluation between ZEC and ZSA. 1. message_common_prefix = a || b || c || d || e || f || g 2. message_suffix_zec = h_zec 3. message_suffix_zsa = h_zsa || i || j 4. Q = if (is_native_asset == 0) {Q_ZSA} else {Q_ZEC} 5. common_hash = hash(Q, message_common_prefix) // this part is shared 6. hash_point_zec = hash(common_hash, message_suffix_zec) 7. hash_point_zsa = hash(common_hash, message_suffix_zsa) 8. hash_point = if (is_native_asset == 0) {hash_point_zsa} else {hash_point_zec} --- src/circuit/note_commit.rs | 115 +- src/circuit_description | 5002 +++++++++++++++++++------------ src/circuit_proof_test_case.bin | Bin 5283 -> 5283 bytes 3 files changed, 3087 insertions(+), 2030 deletions(-) diff --git a/src/circuit/note_commit.rs b/src/circuit/note_commit.rs index c41a6194..857020c5 100644 --- a/src/circuit/note_commit.rs +++ b/src/circuit/note_commit.rs @@ -15,7 +15,7 @@ use crate::{ use halo2_gadgets::{ ecc::{ chip::{EccChip, NonIdentityEccPoint}, - Point, ScalarFixed, + NonIdentityPoint, Point, ScalarFixed, }, sinsemilla::{ chip::{SinsemillaChip, SinsemillaConfig}, @@ -1849,8 +1849,8 @@ pub(in crate::circuit) mod gadgets { // // https://p.z.cash/ZKS:action-cm-old-integrity?partial // https://p.z.cash/ZKS:action-cmx-new-integrity?partial - let (cm, zs) = { - let message_zec = Message::from_pieces( + let (cm, zs_common, zs_zsa_suffix) = { + let message_common_prefix = Message::from_pieces( chip.clone(), vec![ a.clone(), @@ -1860,26 +1860,24 @@ pub(in crate::circuit) mod gadgets { e.clone(), f.clone(), g.clone(), - h_zec.clone(), ], ); - let message_zsa = Message::from_pieces( - chip.clone(), - vec![ - a.clone(), - b.clone(), - c.clone(), - d.clone(), - e.clone(), - f.clone(), - g.clone(), - h_zsa.clone(), - i.clone(), - j.clone(), - ], - ); + let message_suffix_zec = Message::from_pieces(chip.clone(), vec![h_zec.clone()]); + let message_suffix_zsa = + Message::from_pieces(chip.clone(), vec![h_zsa.clone(), i.clone(), j.clone()]); + + // We will evaluate + // - `hash_point_zec = hash(Q_ZEC, message_common_prefix || message_suffix_zec)`, and + // - `hash_point_zsa = hash(Q_ZSA, message_common_prefix || message_suffix_zsa)`. + // by sharing a portion of the hash evaluation process between `hash_point_zec` and + // `hash_point_zsa`: + // 1. Q = if (is_native_asset == 0) {Q_ZSA} else {Q_ZEC} + // 2. common_hash = hash(Q, message_common_prefix) // this part is shared + // 3. hash_point_zec = hash(common_hash, message_suffix_zec) + // 4. hash_point_zsa = hash(common_hash, message_suffix_zsa) + // 5. hash_point = if (is_native_asset == 0) {hash_point_zsa} else {hash_point_zec} let zec_domain = CommitDomain::new( chip.clone(), ecc_chip.clone(), @@ -1888,22 +1886,53 @@ pub(in crate::circuit) mod gadgets { let zsa_domain = CommitDomain::new(chip, ecc_chip.clone(), &OrchardCommitDomains::NoteZsaCommit); - // We evaluate `hash_point_zec=hash(Q_ZEC, message_zec)` and `hash_point_zsa(Q_ZSA, message_zsa) - // and then perform a MUX to select the desired hash_point - // TODO: We can optimize the evaluation of hash_point by mutualizing a portion of the - // hash evaluation process between hash_point_zec and hash_point_zsa. - // 1. common_bits = a || b || c || d || e || f || g - // 2. suffix_zec = h_zec - // 3. suffix_zsa = h_zsa || i || j - // 4. Q = if (is_native_asset == 0) {Q_ZSA} else {Q_ZEC} - // 5. hash_prefix = hash(Q, common_bits) // this part is mutualized - // 6. hash_zec = hash(hash_prefix, suffix_zec) - // 7. hash_zsa = hash(hash_prefix, suffix_zsa) - // 8. hash_point = if (is_native_asset == 0) {hash_zsa} else {hash_zec} - let (hash_point_zec, _zs_zec) = - zec_domain.hash(layouter.namespace(|| "hash ZEC note"), message_zec)?; - let (hash_point_zsa, zs_zsa) = - zsa_domain.hash(layouter.namespace(|| "hash ZSA note"), message_zsa)?; + // Perform a MUX to select the desired initial Q point + // q_init = q_init_zec if is_native_asset is true + // q_init = q_init_zsa if is_native_asset is false + let q_init = { + let q_init_zec = NonIdentityPoint::new( + ecc_chip.clone(), + layouter.namespace(|| "q_init_zec"), + Value::known(zec_domain.q_init()), + )?; + + let q_init_zsa = NonIdentityPoint::new( + ecc_chip.clone(), + layouter.namespace(|| "q_init_zsa"), + Value::known(zsa_domain.q_init()), + )?; + + mux_chip.mux_on_non_identity_points( + layouter.namespace(|| "mux on hash point"), + &is_native_asset, + q_init_zsa.inner(), + q_init_zec.inner(), + )? + }; + + // common_hash = hash(q_init, message_common_prefix) + // + // To evaluate the different hash, we could use either zec_domain or zsa_domain + // because we use a private initial point. + let (common_hash, zs_common) = zec_domain.hash_with_private_init( + layouter.namespace(|| "hash common prefix note"), + &q_init, + message_common_prefix, + )?; + + // hash_point_zec = hash(common_hash, message_suffix_zec) = hash(q_init, message_zec) + let (hash_point_zec, _zs_zec) = zec_domain.hash_with_private_init( + layouter.namespace(|| "hash suffix ZEC note"), + common_hash.inner(), + message_suffix_zec, + )?; + + // hash_point_zsa = hash(common_hash, message_suffix_zsa) = hash(q_init, message_zsa) + let (hash_point_zsa, zs_zsa) = zec_domain.hash_with_private_init( + layouter.namespace(|| "hash suffix ZSA note"), + common_hash.inner(), + message_suffix_zsa, + )?; // Perform a MUX to select the desired hash point // hash_point = hash_zec if is_native_asset is true @@ -1925,19 +1954,19 @@ pub(in crate::circuit) mod gadgets { let commitment = hash_point.add(layouter.namespace(|| "M + [r] R"), &blinding_factor)?; - (commitment, zs_zsa) + (commitment, zs_common, zs_zsa) }; // `CommitDomain::hash` returns the running sum for each `MessagePiece`. Grab // the outputs that we will need for canonicity checks. - let z13_a = zs[0][13].clone(); - let z13_c = zs[2][13].clone(); - let z1_d = zs[3][1].clone(); - let z13_f = zs[5][13].clone(); - let z1_g = zs[6][1].clone(); + let z13_a = zs_common[0][13].clone(); + let z13_c = zs_common[2][13].clone(); + let z1_d = zs_common[3][1].clone(); + let z13_f = zs_common[5][13].clone(); + let z1_g = zs_common[6][1].clone(); let g_2 = z1_g.clone(); - let z13_g = zs[6][13].clone(); - let z13_i = zs[8][13].clone(); + let z13_g = zs_common[6][13].clone(); + let z13_i = zs_zsa_suffix[1][13].clone(); // Witness and constrain the bounds we need to ensure canonicity. let (a_prime, z13_a_prime) = canon_bitshift_130( diff --git a/src/circuit_description b/src/circuit_description index 19578d04..903fb301 100644 --- a/src/circuit_description +++ b/src/circuit_description @@ -10,7 +10,7 @@ PinnedVerificationKey { num_fixed_columns: 33, num_advice_columns: 10, num_instance_columns: 1, - num_selectors: 61, + num_selectors: 63, gates: [ Product( Product( @@ -13832,6 +13832,144 @@ PinnedVerificationKey { ), ), ), + Product( + Product( + Product( + Product( + Fixed { + query_index: 27, + column_index: 27, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 27, + column_index: 27, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 27, + column_index: 27, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000004, + ), + Negated( + Fixed { + query_index: 27, + column_index: 27, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Scaled( + Advice { + query_index: 22, + column_index: 1, + rotation: Rotation( + -1, + ), + }, + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Product( + Sum( + Advice { + query_index: 3, + column_index: 3, + rotation: Rotation( + 0, + ), + }, + Advice { + query_index: 4, + column_index: 4, + rotation: Rotation( + 0, + ), + }, + ), + Sum( + Advice { + query_index: 0, + column_index: 0, + rotation: Rotation( + 0, + ), + }, + Negated( + Sum( + Sum( + Product( + Advice { + query_index: 3, + column_index: 3, + rotation: Rotation( + 0, + ), + }, + Advice { + query_index: 3, + column_index: 3, + rotation: Rotation( + 0, + ), + }, + ), + Negated( + Advice { + query_index: 0, + column_index: 0, + rotation: Rotation( + 0, + ), + }, + ), + ), + Negated( + Advice { + query_index: 1, + column_index: 1, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + ), + ), + ), + ), + ), Product( Fixed { query_index: 19, @@ -14211,7 +14349,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -14320,7 +14458,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -14429,7 +14567,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -14470,21 +14608,53 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 27, - column_index: 27, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000003, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -14494,12 +14664,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -14509,12 +14679,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -14559,21 +14729,53 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 27, - column_index: 27, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000003, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -14583,12 +14785,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -14598,12 +14800,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -14672,21 +14874,53 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 27, - column_index: 27, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000003, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -14696,12 +14930,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -14711,12 +14945,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -14759,21 +14993,53 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 27, - column_index: 27, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000003, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -14783,12 +15049,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -14798,12 +15064,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 27, - column_index: 27, + query_index: 28, + column_index: 28, rotation: Rotation( 0, ), @@ -15012,6 +15278,176 @@ PinnedVerificationKey { ), ), ), + Product( + Product( + Product( + Product( + Product( + Product( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000004, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000005, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000006, + ), + Negated( + Fixed { + query_index: 28, + column_index: 28, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Scaled( + Advice { + query_index: 21, + column_index: 6, + rotation: Rotation( + -1, + ), + }, + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Product( + Sum( + Advice { + query_index: 8, + column_index: 8, + rotation: Rotation( + 0, + ), + }, + Advice { + query_index: 9, + column_index: 9, + rotation: Rotation( + 0, + ), + }, + ), + Sum( + Advice { + query_index: 5, + column_index: 5, + rotation: Rotation( + 0, + ), + }, + Negated( + Sum( + Sum( + Product( + Advice { + query_index: 8, + column_index: 8, + rotation: Rotation( + 0, + ), + }, + Advice { + query_index: 8, + column_index: 8, + rotation: Rotation( + 0, + ), + }, + ), + Negated( + Advice { + query_index: 5, + column_index: 5, + rotation: Rotation( + 0, + ), + }, + ), + ), + Negated( + Advice { + query_index: 6, + column_index: 6, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + ), + ), + ), + ), + ), Product( Fixed { query_index: 20, @@ -15355,8 +15791,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15367,8 +15803,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15382,8 +15818,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15397,8 +15833,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15412,8 +15848,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15427,8 +15863,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15496,8 +15932,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15508,8 +15944,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15523,8 +15959,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15538,8 +15974,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15553,8 +15989,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15568,8 +16004,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15637,8 +16073,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15649,8 +16085,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15664,8 +16100,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15679,8 +16115,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15694,8 +16130,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15709,8 +16145,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -15787,7 +16223,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -15908,7 +16344,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -16053,7 +16489,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -16172,7 +16608,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -16306,7 +16742,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -16418,7 +16854,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -16530,7 +16966,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -16661,7 +17097,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -16780,7 +17216,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -16911,7 +17347,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -17054,7 +17490,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -17159,7 +17595,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -17264,7 +17700,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -17383,7 +17819,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -17488,7 +17924,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -17593,7 +18029,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -17698,7 +18134,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -17829,7 +18265,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -17949,7 +18385,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -18061,7 +18497,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -18173,7 +18609,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -18248,8 +18684,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18260,8 +18696,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18275,8 +18711,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18286,12 +18722,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18301,12 +18737,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18316,12 +18752,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18360,8 +18796,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18372,8 +18808,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18387,8 +18823,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18398,12 +18834,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18413,12 +18849,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18428,12 +18864,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18472,8 +18908,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18484,8 +18920,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18499,8 +18935,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18510,12 +18946,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18525,12 +18961,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18540,12 +18976,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 28, - column_index: 28, + query_index: 29, + column_index: 29, rotation: Rotation( 0, ), @@ -18638,7 +19074,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000002, ), Negated( Fixed { @@ -18653,7 +19089,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -18772,7 +19208,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -18787,7 +19223,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -18884,7 +19320,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -18899,7 +19335,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -19030,7 +19466,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -19045,7 +19481,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -19142,7 +19578,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -19157,7 +19593,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -19261,7 +19697,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -19276,7 +19712,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -19338,21 +19774,37 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, + Product( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), ), - }, + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19362,12 +19814,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19377,12 +19829,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19392,12 +19844,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19407,12 +19859,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000007, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19450,21 +19902,37 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, + Product( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), ), - }, + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19474,12 +19942,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19489,12 +19957,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19504,12 +19972,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19519,12 +19987,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000007, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19562,21 +20030,37 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, + Product( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), ), - }, + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19586,12 +20070,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19601,12 +20085,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19616,12 +20100,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19631,12 +20115,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000007, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19681,21 +20165,37 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, + Product( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), ), - }, + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19705,12 +20205,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19720,12 +20220,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19735,12 +20235,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19750,12 +20250,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000007, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19812,21 +20312,37 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, + Product( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), ), - }, + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19836,12 +20352,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19851,12 +20367,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19866,12 +20382,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19881,12 +20397,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000007, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19931,21 +20447,37 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, + Product( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), ), - }, + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19955,12 +20487,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19970,12 +20502,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -19985,12 +20517,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20000,12 +20532,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000007, ), Negated( Fixed { - query_index: 29, - column_index: 29, + query_index: 30, + column_index: 30, rotation: Rotation( 0, ), @@ -20030,216 +20562,6 @@ PinnedVerificationKey { }, ), ), - Product( - Product( - Product( - Product( - Product( - Product( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, - ), - }, - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, - ), - Negated( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, - ), - Negated( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, - ), - Negated( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, - ), - Negated( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, - ), - Negated( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Product( - Advice { - query_index: 19, - column_index: 7, - rotation: Rotation( - 1, - ), - }, - Advice { - query_index: 9, - column_index: 9, - rotation: Rotation( - 0, - ), - }, - ), - ), - Product( - Product( - Product( - Product( - Product( - Product( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, - ), - }, - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, - ), - Negated( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, - ), - Negated( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, - ), - Negated( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, - ), - Negated( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, - ), - Negated( - Fixed { - query_index: 29, - column_index: 29, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Product( - Advice { - query_index: 19, - column_index: 7, - rotation: Rotation( - 1, - ), - }, - Advice { - query_index: 17, - column_index: 9, - rotation: Rotation( - 1, - ), - }, - ), - ), Product( Product( Product( @@ -20256,301 +20578,7 @@ PinnedVerificationKey { }, Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, - ), - Negated( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, - ), - Negated( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, - ), - Negated( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, - ), - Negated( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, - ), - Negated( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, - ), - Negated( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Sum( - Sum( - Advice { - query_index: 7, - column_index: 7, - rotation: Rotation( - 0, - ), - }, - Scaled( - Advice { - query_index: 8, - column_index: 8, - rotation: Rotation( - 0, - ), - }, - 0x0000000000000000000000000000000000000000000000000000000000000010, - ), - ), - Scaled( - Advice { - query_index: 19, - column_index: 7, - rotation: Rotation( - 1, - ), - }, - 0x4000000000000000000000000000000000000000000000000000000000000000, - ), - ), - Negated( - Advice { - query_index: 6, - column_index: 6, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Product( - Product( - Product( - Product( - Product( - Product( - Product( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, - ), - Negated( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, - ), - Negated( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, - ), - Negated( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, - ), - Negated( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, - ), - Negated( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, - ), - Negated( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Sum( - Sum( - Sum( - Advice { - query_index: 7, - column_index: 7, - rotation: Rotation( - 0, - ), - }, - Scaled( - Advice { - query_index: 8, - column_index: 8, - rotation: Rotation( - 0, - ), - }, - 0x0000000000000000000000000000000000000000000000000000000000000010, - ), - ), - Constant( - 0x0000000000000000000000000000100000000000000000000000000000000000, - ), - ), - Negated( - Constant( - 0x00000000000000000000000000000000224698fc094cf91b992d30ed00000001, - ), - ), - ), - Negated( - Advice { - query_index: 20, - column_index: 8, - rotation: Rotation( - 1, - ), - }, - ), - ), - ), - Product( - Product( - Product( - Product( - Product( - Product( - Product( - Fixed { - query_index: 30, - column_index: 30, - rotation: Rotation( - 0, - ), - }, - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000001, ), Negated( Fixed { @@ -20671,7 +20699,7 @@ PinnedVerificationKey { }, Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000001, ), Negated( Fixed { @@ -20807,7 +20835,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000002, ), Negated( Fixed { @@ -20880,6 +20908,542 @@ PinnedVerificationKey { ), ), ), + Sum( + Sum( + Sum( + Advice { + query_index: 7, + column_index: 7, + rotation: Rotation( + 0, + ), + }, + Scaled( + Advice { + query_index: 8, + column_index: 8, + rotation: Rotation( + 0, + ), + }, + 0x0000000000000000000000000000000000000000000000000000000000000010, + ), + ), + Scaled( + Advice { + query_index: 19, + column_index: 7, + rotation: Rotation( + 1, + ), + }, + 0x4000000000000000000000000000000000000000000000000000000000000000, + ), + ), + Negated( + Advice { + query_index: 6, + column_index: 6, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Product( + Product( + Product( + Product( + Product( + Product( + Product( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000004, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000005, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000006, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000007, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Sum( + Sum( + Sum( + Advice { + query_index: 7, + column_index: 7, + rotation: Rotation( + 0, + ), + }, + Scaled( + Advice { + query_index: 8, + column_index: 8, + rotation: Rotation( + 0, + ), + }, + 0x0000000000000000000000000000000000000000000000000000000000000010, + ), + ), + Constant( + 0x0000000000000000000000000000100000000000000000000000000000000000, + ), + ), + Negated( + Constant( + 0x00000000000000000000000000000000224698fc094cf91b992d30ed00000001, + ), + ), + ), + Negated( + Advice { + query_index: 20, + column_index: 8, + rotation: Rotation( + 1, + ), + }, + ), + ), + ), + Product( + Product( + Product( + Product( + Product( + Product( + Product( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000004, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000005, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000006, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000007, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Product( + Advice { + query_index: 19, + column_index: 7, + rotation: Rotation( + 1, + ), + }, + Advice { + query_index: 9, + column_index: 9, + rotation: Rotation( + 0, + ), + }, + ), + ), + Product( + Product( + Product( + Product( + Product( + Product( + Product( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000004, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000005, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000006, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000007, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Product( + Advice { + query_index: 19, + column_index: 7, + rotation: Rotation( + 1, + ), + }, + Advice { + query_index: 17, + column_index: 9, + rotation: Rotation( + 1, + ), + }, + ), + ), + Product( + Product( + Product( + Product( + Product( + Product( + Product( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000003, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000005, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000006, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000007, + ), + Negated( + Fixed { + query_index: 30, + column_index: 30, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Sum( Sum( @@ -20969,7 +21533,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -20984,7 +21548,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -21116,7 +21680,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -21131,7 +21695,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -21263,7 +21827,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -21278,7 +21842,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -21384,7 +21948,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -21399,7 +21963,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -21520,7 +22084,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -21535,7 +22099,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -21679,7 +22243,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -21694,7 +22258,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -21826,7 +22390,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -21841,7 +22405,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -21947,7 +22511,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -21962,7 +22526,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -22068,7 +22632,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -22083,7 +22647,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -22204,7 +22768,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -22219,7 +22783,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -22332,7 +22896,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -22347,7 +22911,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -22479,7 +23043,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -22494,7 +23058,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -22626,7 +23190,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -22641,7 +23205,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -22761,7 +23325,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -22776,7 +23340,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -22882,7 +23446,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -22897,7 +23461,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -23003,7 +23567,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -23018,7 +23582,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -23056,20 +23620,20 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), }, Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000002, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23079,12 +23643,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23094,12 +23658,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23109,12 +23673,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23124,12 +23688,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23143,8 +23707,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23184,20 +23748,20 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), }, Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000002, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23207,12 +23771,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23222,12 +23786,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23237,12 +23801,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23252,12 +23816,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23271,8 +23835,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23312,20 +23876,20 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), }, Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000002, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23335,12 +23899,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23350,12 +23914,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23365,12 +23929,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23380,12 +23944,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23399,8 +23963,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23471,8 +24035,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23483,8 +24047,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23494,12 +24058,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23509,12 +24073,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23524,12 +24088,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23539,12 +24103,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23554,12 +24118,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000007, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23599,8 +24163,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23611,8 +24175,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23622,12 +24186,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23637,12 +24201,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23652,12 +24216,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23667,12 +24231,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23682,12 +24246,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000007, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23727,8 +24291,8 @@ PinnedVerificationKey { Product( Product( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23739,8 +24303,8 @@ PinnedVerificationKey { ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23750,12 +24314,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23765,12 +24329,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23780,12 +24344,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23795,12 +24359,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23810,12 +24374,12 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000007, ), Negated( Fixed { - query_index: 30, - column_index: 30, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), @@ -23894,7 +24458,7 @@ PinnedVerificationKey { }, Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000001, ), Negated( Fixed { @@ -23909,7 +24473,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000002, ), Negated( Fixed { @@ -24044,7 +24608,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000002, ), Negated( Fixed { @@ -24059,7 +24623,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -24172,7 +24736,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000002, ), Negated( Fixed { @@ -24187,7 +24751,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -24334,7 +24898,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -24349,7 +24913,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -24462,7 +25026,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -24477,7 +25041,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -24597,7 +25161,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -24612,7 +25176,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -24759,7 +25323,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -24774,7 +25338,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -24887,7 +25451,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -24902,7 +25466,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -25015,7 +25579,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -25030,7 +25594,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -25165,7 +25729,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -25180,7 +25744,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -25312,7 +25876,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -25327,7 +25891,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -25447,7 +26011,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -25462,7 +26026,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -25492,784 +26056,6 @@ PinnedVerificationKey { }, ), ), - Product( - Product( - Product( - Product( - Product( - Product( - Product( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Product( - Advice { - query_index: 19, - column_index: 7, - rotation: Rotation( - 1, - ), - }, - Advice { - query_index: 9, - column_index: 9, - rotation: Rotation( - 0, - ), - }, - ), - ), - Product( - Product( - Product( - Product( - Product( - Product( - Product( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000006, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Product( - Advice { - query_index: 19, - column_index: 7, - rotation: Rotation( - 1, - ), - }, - Advice { - query_index: 17, - column_index: 9, - rotation: Rotation( - 1, - ), - }, - ), - ), - Product( - Product( - Product( - Product( - Product( - Product( - Product( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Sum( - Sum( - Advice { - query_index: 7, - column_index: 7, - rotation: Rotation( - 0, - ), - }, - Scaled( - Advice { - query_index: 8, - column_index: 8, - rotation: Rotation( - 0, - ), - }, - 0x0000000000000000000000000000000000000000000000000000000000000010, - ), - ), - Scaled( - Advice { - query_index: 19, - column_index: 7, - rotation: Rotation( - 1, - ), - }, - 0x4000000000000000000000000000000000000000000000000000000000000000, - ), - ), - Negated( - Advice { - query_index: 6, - column_index: 6, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Product( - Product( - Product( - Product( - Product( - Product( - Product( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Sum( - Sum( - Sum( - Advice { - query_index: 7, - column_index: 7, - rotation: Rotation( - 0, - ), - }, - Scaled( - Advice { - query_index: 8, - column_index: 8, - rotation: Rotation( - 0, - ), - }, - 0x0000000000000000000000000000000000000000000000000000000000000010, - ), - ), - Constant( - 0x0000000000000000000000000000100000000000000000000000000000000000, - ), - ), - Negated( - Constant( - 0x00000000000000000000000000000000224698fc094cf91b992d30ed00000001, - ), - ), - ), - Negated( - Advice { - query_index: 20, - column_index: 8, - rotation: Rotation( - 1, - ), - }, - ), - ), - ), - Product( - Product( - Product( - Product( - Product( - Product( - Product( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Product( - Advice { - query_index: 19, - column_index: 7, - rotation: Rotation( - 1, - ), - }, - Advice { - query_index: 9, - column_index: 9, - rotation: Rotation( - 0, - ), - }, - ), - ), - Product( - Product( - Product( - Product( - Product( - Product( - Product( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000005, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Sum( - Constant( - 0x0000000000000000000000000000000000000000000000000000000000000007, - ), - Negated( - Fixed { - query_index: 31, - column_index: 31, - rotation: Rotation( - 0, - ), - }, - ), - ), - ), - Product( - Advice { - query_index: 19, - column_index: 7, - rotation: Rotation( - 1, - ), - }, - Advice { - query_index: 17, - column_index: 9, - rotation: Rotation( - 1, - ), - }, - ), - ), Product( Product( Product( @@ -26374,63 +26160,190 @@ PinnedVerificationKey { ), ), ), - Sum( - Sum( - Sum( - Advice { - query_index: 7, - column_index: 7, - rotation: Rotation( - 0, - ), - }, - Scaled( - Advice { - query_index: 8, - column_index: 8, - rotation: Rotation( - 0, - ), - }, - 0x0000000000000000000000000000000000000000000000000000000000000100, - ), + Product( + Advice { + query_index: 19, + column_index: 7, + rotation: Rotation( + 1, ), - Scaled( - Advice { - query_index: 9, - column_index: 9, - rotation: Rotation( - 0, - ), - }, - 0x0000000000000000000000000000000000000000000000000400000000000000, + }, + Advice { + query_index: 9, + column_index: 9, + rotation: Rotation( + 0, ), - ), - Negated( - Advice { - query_index: 6, - column_index: 6, - rotation: Rotation( - 0, - ), - }, - ), + }, ), ), Product( Product( Product( Product( + Product( + Product( + Product( + Fixed { + query_index: 31, + column_index: 31, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 31, + column_index: 31, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 31, + column_index: 31, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000003, + ), + Negated( + Fixed { + query_index: 31, + column_index: 31, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000004, + ), + Negated( + Fixed { + query_index: 31, + column_index: 31, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000005, + ), + Negated( + Fixed { + query_index: 31, + column_index: 31, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000006, + ), + Negated( Fixed { - query_index: 32, - column_index: 32, + query_index: 31, + column_index: 31, rotation: Rotation( 0, ), }, + ), + ), + ), + Product( + Advice { + query_index: 19, + column_index: 7, + rotation: Rotation( + 1, + ), + }, + Advice { + query_index: 17, + column_index: 9, + rotation: Rotation( + 1, + ), + }, + ), + ), + Product( + Product( + Product( + Product( + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000003, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -26445,7 +26358,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -26460,7 +26373,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -26520,16 +26433,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000003, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -26544,7 +26489,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -26559,7 +26504,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -26619,16 +26564,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000003, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -26643,7 +26620,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -26658,7 +26635,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -26692,16 +26669,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000003, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -26716,7 +26725,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -26731,7 +26740,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -26765,16 +26774,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000003, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -26789,7 +26830,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -26804,7 +26845,610 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Sum( + Sum( + Advice { + query_index: 7, + column_index: 7, + rotation: Rotation( + 0, + ), + }, + Scaled( + Advice { + query_index: 8, + column_index: 8, + rotation: Rotation( + 0, + ), + }, + 0x0000000000000000000000000000000000000000000000000000000000000100, + ), + ), + Scaled( + Advice { + query_index: 9, + column_index: 9, + rotation: Rotation( + 0, + ), + }, + 0x0000000000000000000000000000000000000000000000000400000000000000, + ), + ), + Negated( + Advice { + query_index: 6, + column_index: 6, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Product( + Product( + Product( + Product( + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000004, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000005, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000006, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Sum( + Sum( + Advice { + query_index: 7, + column_index: 7, + rotation: Rotation( + 0, + ), + }, + Scaled( + Advice { + query_index: 8, + column_index: 8, + rotation: Rotation( + 0, + ), + }, + 0x0000000000000000000000000000000000000000000000000000000000000010, + ), + ), + Scaled( + Advice { + query_index: 19, + column_index: 7, + rotation: Rotation( + 1, + ), + }, + 0x4000000000000000000000000000000000000000000000000000000000000000, + ), + ), + Negated( + Advice { + query_index: 6, + column_index: 6, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Product( + Product( + Product( + Product( + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000004, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000005, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000006, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Sum( + Sum( + Sum( + Advice { + query_index: 7, + column_index: 7, + rotation: Rotation( + 0, + ), + }, + Scaled( + Advice { + query_index: 8, + column_index: 8, + rotation: Rotation( + 0, + ), + }, + 0x0000000000000000000000000000000000000000000000000000000000000010, + ), + ), + Constant( + 0x0000000000000000000000000000100000000000000000000000000000000000, + ), + ), + Negated( + Constant( + 0x00000000000000000000000000000000224698fc094cf91b992d30ed00000001, + ), + ), + ), + Negated( + Advice { + query_index: 20, + column_index: 8, + rotation: Rotation( + 1, + ), + }, + ), + ), + ), + Product( + Product( + Product( + Product( + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000004, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000005, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000006, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Product( + Advice { + query_index: 19, + column_index: 7, + rotation: Rotation( + 1, + ), + }, + Advice { + query_index: 9, + column_index: 9, + rotation: Rotation( + 0, + ), + }, + ), + ), + Product( + Product( + Product( + Product( + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000004, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000005, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000006, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Product( + Advice { + query_index: 19, + column_index: 7, + rotation: Rotation( + 1, + ), + }, + Advice { + query_index: 17, + column_index: 9, + rotation: Rotation( + 1, + ), + }, + ), + ), + Product( + Product( + Product( + Product( + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000003, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000005, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -26876,16 +27520,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -26900,7 +27576,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -26915,7 +27591,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -26975,16 +27651,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -26999,7 +27707,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -27014,7 +27722,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -27048,16 +27756,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -27072,7 +27812,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -27087,7 +27827,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -27121,16 +27861,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -27145,7 +27917,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -27160,7 +27932,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -27194,16 +27966,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -27218,7 +28022,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -27233,7 +28037,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -27274,16 +28078,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -27298,7 +28134,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -27313,7 +28149,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -27373,16 +28209,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -27397,7 +28265,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -27412,7 +28280,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -27472,16 +28340,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -27496,7 +28396,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -27511,7 +28411,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -27559,16 +28459,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -27583,7 +28515,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -27598,7 +28530,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -27632,16 +28564,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -27656,7 +28620,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -27671,7 +28635,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -27705,16 +28669,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -27729,7 +28725,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -27744,7 +28740,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000004, + 0x0000000000000000000000000000000000000000000000000000000000000006, ), Negated( Fixed { @@ -27778,16 +28774,48 @@ PinnedVerificationKey { Product( Product( Product( - Fixed { - query_index: 32, - column_index: 32, - rotation: Rotation( - 0, + Product( + Product( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000001, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), ), - }, + Sum( + Constant( + 0x0000000000000000000000000000000000000000000000000000000000000002, + ), + Negated( + Fixed { + query_index: 32, + column_index: 32, + rotation: Rotation( + 0, + ), + }, + ), + ), + ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000001, + 0x0000000000000000000000000000000000000000000000000000000000000003, ), Negated( Fixed { @@ -27802,7 +28830,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000002, + 0x0000000000000000000000000000000000000000000000000000000000000004, ), Negated( Fixed { @@ -27817,7 +28845,7 @@ PinnedVerificationKey { ), Sum( Constant( - 0x0000000000000000000000000000000000000000000000000000000000000003, + 0x0000000000000000000000000000000000000000000000000000000000000005, ), Negated( Fixed { @@ -29282,50 +30310,50 @@ PinnedVerificationKey { (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), + (0x3fb934de80a76b78bb5daf3fb368ebcefabc5b6b9ebae5cddc1e39c82b122b48, 0x130a034bee7622c60e8a53f70216e48696f5d9457aade41f0ef09166091c66e7), + (0x19e589077358b9abcb3e21a71537113cf43c43aea7e300fdfb755bb29449a5b6, 0x1da596141c740b648dabc4961ed014ed0dd8dfcc03b2d02cf6ff9e8a3ff0e42e), + (0x1af56c46ba6aaab50db1acd46003c05c3fee103776681f61100b1b6aef07c284, 0x38eea07b7f5881eff963d114e50084bb5bf5cf359f023fc855f3a01b0ca1e432), + (0x0cfb7c9b0bfcf398a53c13d6e1068989805f1cf254dddcaa4ab57da05ad0616e, 0x37fcd5b873385ee44169fe3870a9feeadbf64c21fa2c4b130f718e47f29ff8dc), + (0x03c0cdbe7ea6296a9eb724d225d0adf451999dd9686aaa5659e23102b5daec07, 0x1ec2e8d39dd47c991a31f9476467800bf49655e7293efc4e5261b7ffb15af542), + (0x1314cd9c9d35b73165e86972dc6007ec35aab9ef8f6358cc090043cf68c4c2f5, 0x3d9e921baede6846e7fd2f0805deec1da2395e7d3f647ef8f6e5ecdb456c22c3), + (0x3e3c175e12e425f9f5b499541aba80122e8c346ab329e8d2400debb7a4298473, 0x3621561ea96a7834b55250be2bc137fffa02705ca49848c61955417883a289c1), + (0x0491089f80b3aa79defa2923388ba287c07ff7b5d805932133b249b674c69dcb, 0x2463e5cde6ef2b91fbd72d8d1511556bf6d9ec460f19b890544bc6886906741c), + (0x2b8e5f9c2efdb6cca222b066bd10be6c1ec15951b5f22f11e7bdad199936d91e, 0x2579a5ebe80abe31205c73ebfe4012559a9c00f9ed2a7303c08420dd46ecccc8), + (0x06abaaea1008f82ba485632d1e6d130e8bd9baf450cee1210b5780fae7df1012, 0x0b21835ef9aed7d7b1a0dc9b2af53fab3a6c4f1a8a3568c2570d06ba392a73a1), + (0x1f18cb4d7fc46f1fe4aecbaf07fae7d29a0cb49317f60c17161837443e2f32a0, 0x3827b12472ab9f40d713702752e542832f8e812ca73b14e975b42ab7c56f10b9), + (0x1880c0651fead5ccae365349f9158252d6846f24f3d4c1fa9c190ee0b9020f3f, 0x05fb1b7ad97f29412f5a50cd0369f7c2a4cc07f98e2e4ddc0b677a97ac3617a6), + (0x18b67544d4466429760be2b231418b43d35d79462f8743051c8e437dd710035d, 0x2ca31a6106310316da5633fe4e16e2a0affafc4541b280a9722ae86219127aa0), + (0x0477cc6f6292f9d3dcbcdb6b896dbc2b76b8716db8d80f36af610738a89e58e0, 0x0fb4d1d92e0606c83e4d1359ad9e607a936339871c9c606cc9218225c8a762d4), + (0x027f5c9006d53a989091caa780c6b4ec009e328d03836f95ee05bfb2178ba931, 0x2c7612c86a27585617aa8b0202e638d57b079417ca8722a4f47c3c12892cbea9), + (0x1b9d2736bed08950ac569b6bc5d2a8bdd48cec8a206030c306f665af83c4df12, 0x2b8e0e07c521db751c386d011504b5f4c8fd2b09ace077e54f05bd0fbe0a2def), + (0x3d7f0951711965e07ab0e4c1451361e5b536793dcf76176e4e854285a7bdabba, 0x13780fb58b9b717ebd2040e8d79be7bc7f32c5d9b31b0766c6eea63ccc6c6ff1), + (0x2ebee709b368779cf6bc2bec772f19fee25938985b94fef3a86c9950adcc9ae0, 0x18af23ba308d2e8a6d9bf544def217546a8e9816192ce2c29841379a935b74ff), + (0x2a9ef8f91987bd8f2f6101abfc05caf7e30c7d79faba1022d547a00b04333f7c, 0x153a1907977cf09f557085c0f256b877f72567b3a2f92179e33d468fbfc8b10a), (0x334105dd96996a08df56e88261dcd87c5356cfc0f2b8ae0a9419899d5def147b, 0x09ddf24ae765eda056cf59b16ac14464240c83e253135682c02e6546f89dd396), - (0x0aa9bf3b3cae0bbeb70f32d96a43603853872c28ef246db1bb85c885e112b4c1, 0x0718dce6ad248d2cedc43f3a23ec6d4d7dd305cb6f8fc9a3098a11acf42b5967), - (0x06fe6f3926a9de1432ebf4934fef695942a41eaea45a2c42d6af795af6dd1f7b, 0x30342fc0dc2cdec7fdf1aab0eb28f7ca21b4dd478c596540444c0932d8dd56dc), - (0x12fb328eaf326033eb7376c6aa6aff345bbb300b7e5fab858feec8cd3e4bdf58, 0x28bdf84118d334220e557ae9959a091ceb54c36d4a6d1f8a1518948d8a8124c5), - (0x0558514fa4d8feae12519efa8c79b7e7fe327642f28455ae300cffdc21cf5a22, 0x22c8f7ede18bcf4083f7cb6bf94b1de06305107537bcc31027dd400a7455dded), - (0x0aa54dc82361b7d6f35e36d55290ede3e4962e85665475fb15e51b626c849f7f, 0x16927eaf3dcbd28a8e1eb1a19235a512da8858d10040d3b26425ec054ce0eb3a), - (0x39c1526f64989d617bd43b64427f26c5068485b3d635bbb746b6be5ebf8361c8, 0x398ab66905a4e1e36fc3e2da5d1b1e918bda970ad17d46cd08b852e51879ca6a), - (0x3aa89e6834df650fcbdc0a295b03a58002cdcd14198f8af3069eb222d2d17c66, 0x067ec4c41d0352ea32b5872af2b051c78882157d0ae87486dce3c4c2c29877f9), - (0x1394764de03aaa28c9a9d2b91798a25629d0412264057ef247c6faf21e4354e3, 0x1de01702d1d58eff7824e40712beb1429a101c1ed844fcaa7100519f85faffd7), - (0x261a83f8122eb036760791a4e9d52235df4939fdf8175f8d240a333e06557e7e, 0x184fb28734999d991d4bb862d1e47e3ae20336706f82ceb180609fa68fd85501), + (0x2dac89c801000721a4422cb8bb1def97cd3bfce7c64ac6327e335b3c0071a049, 0x2e2575abf15aa7424617ae9c7c9749c67c38a3e68082c4f937e4dbcff98b4dfc), + (0x0b89c282c8f2d54e66c7a11e6b4338a2f06a7c9430f7d3376328f12fa001cac5, 0x098b5c8ee6548183ccb4e60cdfee10b509db34ed136daf3530a426e8f200e89d), + (0x2f7f85b86b6adcf714d0df7878f4604d33fd319f39bd00fd5c34378247a155b5, 0x3a2f025447b83b65d148e99c93fe8bb991a81ef6d2f827f010680467361c47fc), + (0x121fe2a31c21b4d21266dde870a72ca2e96ea0fd80ca2ca59436c8cad25ae150, 0x0d2aff2c6e65712a354da894209b75ff8479cb958ab050156f63f3760b8a05ca), + (0x14815e90ec334c51da36b50c69b8f192f1cfd63fcd3257c7a16691b7be2a1759, 0x0711e90858dbade5aac1c82b1000a59e2beccfd84db4e212368b1a5b5a8ecf3a), + (0x3bd7f461093bd6b774837199b58d3d6741f80ce738345b18800adf8fedf37286, 0x3f9162dc512623e1c62b2360fb6db7400f9c545b2028af0f4580d308fd44818c), + (0x1f64379a921e197082d9e2afe9baa825f2af8fa02bbfa653772604bf22125eaa, 0x348d5a1de410f8c0ec8f9fe4514709c6cbc0882dc8d6ec0f8562f05c535ab2a9), + (0x12e6bba88452419d3d1632edf16b02a63a5ac81241118845ea41ed70111f1f83, 0x3f0899ae3f41bea051afee8df4dddb13d78857773df79d2e6eeae02b0c8f423d), + (0x0f59f5bdf3fbc2551cff44f3444bdb84ca5956aa0ec424cb8d8318abc12370d8, 0x219d1021cfd377e3ea006ed15485437702218e0cc6e76975025f7632bd66d072), ], permutation: VerifyingKey { commitments: [ - (0x286d1f6ab2fb58b3ba974d1807c606914deea07b64615089452f1feaa06ef0db, 0x08bb42474059164d528fb06f0b80b08b3ebdc87cbe0c2718d0c6199984b2119d), - (0x31fd9e62ffdd86ec55a2ead7a4b74dd21ddcf56029dc5d334491bffc7bd2ffb3, 0x2f990b235ee3f35e09a77f1414d21fab06cc60fe8fe6f52407d7599204632cd4), - (0x2044e502b5716abe00c9dde5348392b4fc489b5097aca8f5401a5153820903dd, 0x155aa6b3f9ea3e01f25eca37b0a62d28fe24a1a96d033c074e6cb22b08d118d5), - (0x36599df2c3de06015c3167fe0b2b22aab1ae9587ff050977193d5d753c8be6a8, 0x32b02df0138a92f3b23556ad96f9ef9bee0c34c8900cb4ecaadf3252ae4e0edc), - (0x13631970b4bae5c49d31638a2af724495c8b2074bd015f3c1c06af24956ca995, 0x1b7e3517b6db255c9b71753707de5d6fb33f83825ad8416db482669daac81ba3), - (0x021eb6e340ea808444c833c25e326c03223ea3fb458771e814a7d9130eddeb74, 0x230be5c1f0b81145d7a45c032c4dbc68e53db1fbda374a0f0d2e0da702032b2f), - (0x18720c0f1f48ad21f6e1d0d33adc569ac901c68cdcb16d5398ac986b421f7038, 0x11cf59a013ad87f91ce8567087a80ee9395af8fc1383ac10e490d9c903290a09), - (0x007f8cdd8d1fcd8f5a32af8e1b3347ef4c8b41fb46c93eeac7895851009cc5da, 0x37b9278f063e6d6a578aa76657ff19dffd9d00d572711bfdfbfff13b16a6c6ce), - (0x20d64c097c7b989a44316bdc366ae83097832f00289736b772bea49c4e7b00e1, 0x3db86fbe002fea7ec1504b8c3a37781255f3990674df29c3df80b01c346599dc), - (0x3a80a8a3e35f9d6d83a547f054657216eea971085206d9a1fa1da905b4ebeff7, 0x18501e269b09e80f6465be2cdfdfea1140edda48656e7ea57f9134c1426a05bd), - (0x3aa059c2e0c14fe94e426dce09603ba37f6674a0643c3084822fd9c6f90a9208, 0x1512147967321b4ef9e690745a80b3f58a55706151c6661f112d84eed9e3f83c), - (0x00bccfb987b16c011682099a4600073bf54c652644cbf2e52c55654af4047592, 0x3a2ea83323de8bc350419de781b6ac0481845cf87d83430d29782e3d62d134d0), + (0x05625166f1bf876dd59af0e45b068df3dc22e28accb12418d5111fc12b563d4a, 0x102be9e1b4fe8a6d8c00ffbf6513e8410b9a940a7b559914fdeb45a2b170cdb3), + (0x2319a6b8fdaca310c4042b98fe068ce93913270e534c3d88029fc5f8ba6ab3d9, 0x1a4374fb532ec3d030217dc66c6e0db4ac456bee8641cfe049190973c8b5c72f), + (0x0765958f562227c7838c73baba821f9c2f40868c58654dcf675b718feef1a01e, 0x378fb34b8ab337872d942b99123219ffe532124adc9cd3c31437aa6a5becd763), + (0x1df175a3908c91e4d9c1e4fd6e8f30d3fde110f9dc379eec7db39ceaa53f2ad6, 0x3b419848016ad53c7aaa29602b85580c499016ceb49ccf8496f7e9b3f413d4df), + (0x171cad3d3e6e7a153ff12d86ee56a01505acc1ee38fb9a11b68abfa5ad1a1e46, 0x37343f7a56d7e180ddd2ae2ca4301d5128becaec07cafcad1b7d3610e49f453d), + (0x207970fdc943d5b65689b132d27fdc46ed25c8d84042acf0e855c8bb00a60f2b, 0x364ad7be4b0b40da9d5df01c50967ee14cabc8bd669872613c1d62ad1f52f38b), + (0x19a1a3391e950797dbb98811f2ba3b4622147959449f9cb1c7f454aa047afe76, 0x079ae13ad5b0083006b06de42808f517d9797e5f42fc87a9947c761fa8784fea), + (0x08035a60101d47769ed0a30ce647c0e5d5c7850f1630247af48f351c7ac5b6e7, 0x3b0c43b451b947f7adbffa12d9e4c7ca94ac5c12eda34cee77b640f25a42d04b), + (0x116e9d6aef40f13742fb573a0779c99f5a12f59fab1246d64a55d94e3856800c, 0x0d595f9d79e749dbd9d69ca28b15f80a17b5312be520568e1f959f1b958bf1aa), + (0x3bf0f0b99e15ad38e2d9d5a9e12aa428f55db0cb878e058ea592eee7d16edfb4, 0x32a0e3bb91ab0ee8f25ab4d8f93782724cd68675e823e66369f0c6a36ece62d8), + (0x2cdb9602b74f420b08e5307df902d13340d3b1b53d081b110149e01d731dd862, 0x0b7b5bbb0b5b19148a410ce3c2625364660d100aad28542e75282ff7cc5926a7), + (0x20dc0d54e1617ea5a6251e447e06e8a98030d79b426bbe946fe960f85550efa8, 0x25f833bd3ee582088cf25891465c3908192d77eca169f8c7d3d373fd12c2fade), (0x21d210b41675a1eae44cbd0f3fd27d69e30716c71873f6089cee61acacd403ab, 0x2275e97c7e84f68bfaa528a9d8be4e059f7abefd80d03fbfca774e8414a9b7c1), (0x0f9e7de28e0f650d99d99d95c0fcd39c9dac9db5aa1973319f66922d6eb9f7d5, 0x1ba644ecc18ad711ddd33af7f695f6834e9f35c93d47a6a5273dabbe800fc7e6), (0x0aab3ab73afac76277cd94a891de15e42ceb09f3a9865dab5c814bebfbb4453f, 0x27119fec3736d99abeeef1ad7b857db7e754e0c158780ed3dd0cdd4dc2453e10), diff --git a/src/circuit_proof_test_case.bin b/src/circuit_proof_test_case.bin index 4dda7dc769a2a213c843fb2cb93181c282c89db1..97e15d58205d44afb2165e5137b7b4e81b843d4d 100644 GIT binary patch literal 5283 zcmV;U6kO}ApVR6dDSUdNx^}UTK(XA}sViHF!RuG;#F4%r8T$xBUG9Jn<}stEau7(g z3HySxg1K3$7rmYLD@gf83ULtC`#Ee=-ig(8m4XjZ)@&wt^{67&bDx+$2bYJu+jT$i zM^6q5k3c2{!aI`K3@e)Z4H(k5pQfJilW0F+O?9GXxZ_;L-$!4HYRULdUTGANxnTAk zYD}|3w5IHAWwitW0RRbt=wk^Cy!-q#u6<&-C@es`rZm3clj}fc0+E(ptPEWTk-ByE z27xxsjuWZ^GslCOCE&ymOXC$70fbwY`kWX|WTO@KCcl~l{OYYI`O(|izJ0<1j?wKD z5*`WefGK3fX#Qge-#XQi`cyvOL~nQHa}|b2KtY&f10bTf`M#yRNGzd;4^TN6s5<=d zK7<8pGSc)I#cP%>_)pjxN~0*~v|SSyuwe3fHhb>4V4spZ$FfvS!LYcqIp7AtuDG@< zCi#6nf!1#5K+;r9+EH6BKC!R10+)*bai^V@_>E)k?IdR&77T5mywAOx_A1~s{V>L* z9>zhKCj((|Tc%eIPE;2ztIUt=xY5lSn>G+yg)Qu&_Z`7ed0Z2cD6da%SWzJ$R8G$u zI9&Yn`SpyvBtn)OPBC1}NvyQRJgTKAeusUqZN0U4x(G&UudS_fB)Z;Qpy$vQ+E6-J z1h;wYtGj64BQhT^DI@*-1E9%uE3*a$p581mMU2!IY8ZlzDMyz&h1NVFBbD0@eU@WY zHC8y^l?5Ssa01^FWdRe4e1RK|9RW!AW4Uo_grp5bf0Vb~Tn%PwUH!|f0Tc`L;wRKZ9y4A1@?8mijd z4sBaCz_V!)*H$H*A@jo!^8zxn)%a&2uYg)rNvt`FzBhjItJf)FE{%@G9nx(b#Uz5G zLueGxdO5wTXqZ74?g7%D?ZC}Gf7C+Uygdu~A+Pk#l%ZuoTrEZ=Z&@QrKF*6%LC3i^ zqpn1Y#$=_e9+`|v#+(iqUYqTs2< zTcUTI9}4e+?iO7O%L87q(GY?YxH$fmcPqvEkN6`<*zNKEed*g<`LiZmZ>Om4g!f0g z@3IKP;Xk<7uL!U6(P89uXMwBGgex7&;+HMh zkQ?)^zru{F3Z=<&=e~ z+VZO;VxDSOV&D#v03!6^noY(EiUp{_T7ilOH;W=$W_G$00i%FiGUzJ^kV`CCD*uI0 z?MH*=B?x?m#vDYz>2^L(HCr7iyEwBJ>%q`i|sFq4CBUdMXO-W_e3>9Cr zN~N8apd45k0Xb|CN_|4Hm$!%@WV7)(R8W5t*QaZL!$~?&ychi`-zx(B6Oq{)?rd1klZT?{y zW(V24Q6){PTL(tWa4pI~RaE5R>`(n1tPv-x%z(?!icnbAXG%SmLli>I{nV^+ges;k zut(KmrNgRf&ZTR>kZdjxlH}J)DHP6Mml;kJED=rQVz1hv4L&V)p|i*s<I3M@Wr&XjY@9F>)KmzjCmHe%>me!a(XJQo75L5w(-!Rb=i!$zdz#AUq(s2+6fh!6 zlhFVQwN21+@3`3EgErH}l{^q&lN&v;Xw4O)NmHy9JG$&e#ZIU2V)K zPK31|ha3+E!2o7uXlJ!bNH-0}uvz?)*Ej|I0xB1HNiAOQ=pM92tu22-q0M0-gJL8} zTO)ETjt8QjYx*ZF8f!vTZfRi&=KR9MX^(TD)oOkqf2oOZ2|V%|xIbs>Mmf1g(}RDl z^ZsByj_xf?2-4L;rK$REN)#`*6HeRA8tX8cyNPloY2?<|1;8)HEx9Lu)c}Va(=Uk(Jmm>M;BX&M0tVVP+3D}57_Nf&D zK{VQStmd3Vn|uJ8@RmvCKLY8z>1-X_fg9Mhd}kLxNF5+J3r#3FVBd5x*~tuh6F188 zv6yco3-9sJdvZNb>@$<(L*!~R(ZplhA!r;-TL|@c?dijCCM?Xr9m~7xn>E4ar~SWv zv~b3}T?Gk5r8c^Qf{9O{KiD6F%-PB+bv3i@k{|9^aAWRoiDbhLd0{|^t*IwE@NjZV zj&lsSyC&;y_}FCldhBv1%Fm1m|2c#LBlWK-qI+Ib;l2(%nKh38I>e3ir=HXB29K~% zB8lM;M-VJoKEdDGXr}NA>>}~xSGayj%5eVtt<|FaZav?2q?ty4{;Q7V6yDQmbPRwB zAB^0Ugu}m*5b<6nt3qp(zQplDmIeYm!1*aV&oz_Quo;V>dNoQw-=w>A18r6j=VVMO zCxV90+zq?wFcS9ew0yozJrj&_Q-+b#Rd5|W25CM!DRHacHsCb+CnEB(x4>cAj%SK) zbQ`ote@c0IzEh09?x|1}$J9lE))AOxQx`4j50TUv5Q6nAM)S*e0F2-CEn@9F8ieaX z{TllWf*O+hPTY}i`WU#iQHGyb^LO6E*?Nv)p^lepZzD#|nMOB+zO*}=QJf-p*2#Ds z&eNqbWLn8-sMlQ;fp(Cy5`~HnXEh~ou+|0?$&#pN!?M6m4 z=t{a^Ne|wor>s~mj7-Ics>c=&-pOkwDoV?R)~nY6HwxidaWNJeR35dlMDaVIvv4H$ zP!fbU()3ZQC<+`^?O2m@&lR+PCJa*z50*j0?=7q^%y!3g&kkGJoves_J=LD71t}a1 zT6KEBQizo;i1QKPKz_T&&LPL{M701J`v$R;gD9}JfKy4R_hbe*G;W4I4dcY4864w! zZ!TZ>zbTo}ckoL`hbILo1rn2ssv2#5)Rt%?TEUwN zks|?l22c;#AUnY;EH_lm0MT%U&_9;;H=y;U=G9`Wza%3k9j2*eaw~!D;y@-Yd*|Fk z{MN*6z&-aKH6`lcurTlcbgF!-3IgCaM^=dAG4dNIqm)h z;3pbO2_?`sDZvX73q8Q?>vo;>bFLY9fAmXFzhtr6?b7H^NCf4iAv$#WLFa1^cozCY z!b0tql2cH)a23cXf~1 z^oGkUQ+8>h&{^6tN-}Zk1V%F22n=@p#wlqH_%c+;1P(nz3j!z|;E<@G;$GcbgE90iTOqXVHaz%%t)hcSJhbF>87s zxk_3Y2O2F`8For4v*SICz=z^ zMLWJp%1Fn4>gRmNde}cPyB6)NGd@8TCCJwFrI3BoEgqsh0?;@+WAL8|kF!J8mPG`* z|2=C9rw(#Ugv+SLB`Doyy9*2RdGo5&xK1L!^Q^nIyfO;S@=OiJW5aXc=Ur*-I&z*5 z7%w*Sbu~}LJGPBTfC_3UCOkvQhXqc$=@ z#t3Y2d4;C?s7eBYAyBkr5EjD{&%x=MHeW-~Br z2Kp#-k1Zs@P2oiBLHW00`8c0B?XF&Q4{@fkl^=659-af>(UoE!%`ND%w=<&Ccn9=A zI<2nOKSBE+`T%vQu>Q+~PYhJz{bBN|zTRsd93dQ8yM4O0s*&c97$dUCI`PLG-O_NT z+p8cw(+8Q|gLbBr)+&*3AW!0w5IJOE715BFwyme?6Hao(LvEUeA{cyH##`e>0I&aB&=F#V6-h5#yz+ zX`bDR>cOOmk0Su;z;7V0o? z>ASFbcPBa`J@AYv%NIio&gwWPBu-LZ`@SG5rf5x_yOU>SHywJUU_@deUx;JhY0jbw ziwO{v9~39~-0>(3K(O&#nrjzk`o6M|CRKMc*93SU(6M;7I(`(<*aVh%iEdQJVtLXj4pl z?nc5b3xZsKy%qbDZHBdhYsbwkqHbi}d*^VresumLvEibwpJfIC)0Ut@H&)%X5Vn)gm5)nBJO);EM1oon#`mo$&1Qrxdk20Bm!oQ4@*o?Q7 zVt`=IybLmWbqQI8z4#54NEOvkB5%JUOjXYhV-wLkcaoV4ULi!3oyX5+M;LBY^c${f z{y}8Yd&DqI9QR8ewd=`OYfb>Gg4Y;d_SFtK&0>_(qKx=@#%i<^{l_@yfhmQvRCa+J< z?f*gp!#1gU5~Pmz#Ro}Qi)CkEq?R<1M7-w3+@7(Bo7f{ULP;Fs-ciflSh|A%ic77m z%02dG;FU=kvzfK~*c{B9w1PJ;Nt@&yWdDRoD|T_ZeWHp5+*E8*I77wJ3Ke+~xbUI$ z<@nyI$W`b=3I@bXq&}i42OjREs^e9h6R~nO2zYF-?)eZvfi?w*mwH>J93N6Uj1s=# zpY8Bw%k}(i3xf5i?GZs3Y@EoYc(_M*)xQI9+r<2A-7v2iCBtn9?}0i za;wt0D-*Qy zA7#wn@+?bNQ8$o^H%gS9awc$6uF!(cLHRT7<|LXCb#`>edC31k&p*c}Y-h8peFeX= zog9lH{kU*QH-ju85WRCSSE&?76Uokbba=1{c29&7t(LjWtvB`t>Zw$57^8ZEB(Seo zjFqO4b*0ksj%BI|SC0t{Ih#2)372hjc>&@++3%1dwJAE(ZGmXN^43{ zw1_D!w|%~LDWErznze`ng)G|gU|*n`Qy2^_<>0lcJ-LXI!cil7Z+pT_@#~V`F6zc#0 literal 5283 zcmV;U6kO{&1jOWGSp|w}?L$%a003kU&&A3xxkGssGt6XWNA4>~3Ye%b6p1nM12CkP z(@GYXP>mun&O_9chI#{d;}no9W*6pOI#P77I7N*ysP=O*26@`$I`jFW(@{ z%RQu-Wm-XTQxT4Y)&tYbQ<5te*|h@nC_#QGYqupV?^%4wq=K8yVJh!Q@mcVpkJQ#1 zw6J8BmQ!P3Z5I{+0RZi&AM*~8(?qN-^~Hi>m>>)C6>n@d;}3w%Z%+NfTqR}%AR(Zg zHUqK39l(fU^eWoW`b?hNRg6w+jqn@@yYE{}2%z!KFyIUPHv~O_p+g$56L#uPvp9vN#W9bU$kspgb3e!D)qT-AO|GUO5gO zPjBPE9C~RN5YVK;t_gG9;Z)Q=aDBRYObgrdqPAVegX-LQBVlSQFS`85*{r zL-}9Zo=nFMq#W+K=d^>UdjG#9qGNgwgcW9emZ%xB(kaqYcVies48N6^(5{BBQvQRx z1h6h=bkywms)~r=u%r7modmL0y(@G#&8?_9uf%qpM@>qwPNp<}#M=67Ds?jgLo*k0 z+pgHzM~_>1O~~#oBkTg3%AUJ4Sj%~$5Zy-EkJJ0D!Jk2fFP7i46$1Ykm#qT&#fs*1 zUe%#;P@>b^%Y$h52_~iJpAXGcRklf>tIw525iZv88~)?-nw{*qYG@GAPBB3nCGqj>G@0{&xv3X^=fIPXyL~%(TpMIi2xmvyD+s zsGybD@J&@mm}a9ZngTJc zjGY3#VHQ47D8g_`21!A=>3Iw7p}Po9>CMH~HMT&%EA)9&X;x}E@W^ywP`5~@#ph#F z2#48#*G$CXmJz}^ThYe5;hxkp(79=lu*z5+Tt-DbP$l5{t<~z(q49*-&cU2$?JY;w z5V-as*G*y8)~S}ZTbzP(Iqhl;TS>-#pBL2)xUQ00&8V0-K3i@83t0$!ayMoUI*zom zIGt`&?^VIo!OmUne*fyGHL8wDEo();q$77NH<=0*OQj-Tv|>UbWz@i1Khx|&eh7(2 zW;$Mvh8KIs^dQvV8RxX)nNhOsC31vsKJ$|SUk70I3L&A6Bmsg&?1X1AM!B5QipC9w z2%(v+jIMyJPDWVLMfgDF^b>KeMS38TA&i)5HAo&*GmBYyO;3co&ZCGO&~BpNiEwm_e@sc z;P618Y9O(n-8?kUXco**0)M2j9=NyTF)%|hVvk+gQ@sD(dU>@zNHEd}P#>OfEhoM_ z0+!~Cz5e@lJdQ`2rfArehkkpJiZ2ap|biF6i$N?sTPWy&Pk#l zD84mv6wgu`ogn@9r@(rb^)+9Ng$>-5s5={?_ccW+8(Uux@Mz`0*229A=ejfCNxJ;S z-A60EK|DY3$xyAC1yke^aHnEbiZip)ueA!ruH61_6k8o9jqA?nodvJY# zt&1u8Po*m=$;m_rL=PFAdpXd&FflfQve{eXkW_EF%HNt-!=6HxZkY)#^5lt2wI8{3 z&ZKRxD?U8`jQ{+&y`^PNb(&wzjC{rQoU$YQ5^PvJ@~xnISTk-X5XD zI=*+t=A~uCy>$YWv6I_rfw8HuC*)A>O<_{j~DZEyBSi!_YNF8L<47xQz za}1UQ!*wT7#mu4go0jo9Cwmg0z!)O|CvQwg8lAw9SOO;Rw?sE zK7?ejlLESnb5s>F15oOK^I?+ib3I9%cPj}qb>yi;?j21iUJsdv@iwt_SA$f))R5QyvtTt^AydP zM35dG%0C?aGORqgy@%N!?;v6xIk~PE`mAR4V%a2!%}< zX8k*yh@aG(?~zgk_kmqGep66$JBY6cp<7WUK^Q4RU!T(JgjbMu5yF-hcqsAzaQgy_@?nGXoU>91T`uH z3REF`%^w6TGMJ#mj-1c8txACv$hlW`tIiVLhb+sG^Qilhrl<-qTV-FC^y4O43LwsYAGQEaMXHtG+;G|=IHdj(h~7+p^bGfS+(00Ehtnbems2J7dv8pgVz zDVKK$RHQS?&tDD-Zb6I$`yO9s5m%F0N++P(=Hc4+`KnK3AxuH05}(#d-tu19p%*Cu zuv(ja$uil&xwq4nEA7O!3EcPcZK7!PuZ$!_V?2R1U-P(Y=&O*QRk8$s#fTA8=Gnq* zW#q#j$cE|L&KV9P4^Xw#g-T~O?J@6}AYrdl-C-XAC;`wBwn=8uo-2>wfDeF6HsF0C zQhOP{3bC0)FNhRke~jx>R2gKtxjqX?D`r+&v*k$>s4F*wRF|)I{2~)XK}fzNBmGW4 z(mwLWVf%kR7`J)>aW+_##ez!fZjfyD%UdQbHq@d3uw(tPEXf{Yzyx z$)Gx?B&`~cyO%ky2s4u^#N?`JAlWfk2Vz8H@W)E~UFhs9EhM)9A>dP#bsK-qQ11tH zfdks$_TC(EAjYovi`!(7vReK|q~XIJs4y3soHJixRsQKk*0c`0MJ(}!T62bv#<@ox zzAEYnRTxq149!(+F24r6ieJjw@7<*}RRe725`P@Q6n&1{wGr)!?d$!)IxxNsgHe93 z$kzMA?P-H`Bp8JlA#y!`bQ|~q{IN3P(}bQOit*r2OS#EV$qr^YDw;0_o5JKr))Xcn zpQ;E0@rDxw)9Dt)g5@=bI4XI0{KX`D?!{oI2sZGiiY^2AW%pPJ7%Vxu9Gq@(TXWc0 z8ITBG=A_ZxzwipG3f)xS-=VHx*4dB_uRm6l!7ydnyqV&6-5jheoA+c~xgP zV*X{V^B{M5920B=yuy=DEVrNsbBC}fvrCRsUIunzcxih!K_A=W2^e7|wsf5M)yo%R z5L%@-u!MtE)BUundxw7#ZVgrgkKC%VjnQ-GqAKbuqFm~?r!yS49dm>c^u^H;ER1exNUkln5`un8JX}w?_#HlTADE+w>`$C<*^cmtv(kj4F-27V zX{}W5Dr5EyVE zzbAJ9_##F@sIoy6jJ1^IT=TI5L@%Y)TiJq&LU2kU83S|o!`ez(cWtrQY;2pKY0XOB6Z%#AGH*zCNxrn znfr-49QYr);E}hXscQZoY%w&``D(3mlZ!TW?-)BG#Rr_gs}5L`2KBZg%YF~gK{MKn2K6y2Ph{~$=8HS)HwPMUq5tvqgLD`nJOPeIPdV&lk;poRLx=6~435_S$?UdWRAI>a$7L zL;D=T)+v*YWbbn|x%gEoJnJ|I`8%dUg)66&CKtiu;^%L*CL0i7sA$Yt|7+Q>HxX)d zOUTQ_wbeb=STe=U+*b5s;~_=JHuWMZTV6kD^AH?cf}cC7pH z3tB&7MAiQ%mc?RbR;fV^K(9Dp#od!esV4}H7moYDhE)=z@GoxqEJ$dUQi;r)R2a&% z)qRaJn4u6BAj$T2d-Qd2`J!<+sx zi(q7AA3SWtp8;0@L8ZGv0HW5FW(S*cABv##lsfu!7;L>|nP-!E&=U$}#pc*aM9^Ud z!47{y9GZ&bv2O=A65FpWh~|!heexFFrppubt&tu%8!oK;)C6N^Us;sQ+Dy0ytws%X zOi8Zw>PQygxrS!+;1kFm*w&U6Tx3Ts3>+50oxU80BUYDgaz{J4&C;z!=_>cKRp=YE z?XU5_ul>kc;nh8;B4V(Whr0H9B`nG9va2bb;}k^p%-)}z+Z?J)6CQ^Z`wCf5{se}m z;>ZhFawJiZ7b$Tj2@1$ObOc)>F`N|Gz}9XFQuY3Z-Vm6CJtLbtY^XIQf4fy%ZY3@? zO@V@Y2brUkb1k=-fH*p7E|p%~mA$Dn0l$A%iFnma3Xu?fE=;*gDj_%Wt=9s>1CgF& z-;r553I<1(gqC6jDZj|P;z(Q|Or;W&rDZ&#X{WT3#8E=*w{3^dS_&HBk-(du^D?t~ z*WgeZ;M~qAsj2%P1EtgMi{1T*n@- z-~csyzQ4s*xAE8e`5OzeI}7EzKPbYC@q(@11!%qJ(GWorNrb{!!b_t>NgXnNDC0F; zUz3Zt4I)C@+?gtt1$S;-JDG*thmdQn zPWM`F_$@vYHHAW65fRT}P7VtqQaS7*`WpcvZQ`NgLf`UgQc_^+nxT7?!Gn12aaS#!VdanPbU9{y7>xh`