From a36528a242dc12677e36581a91b85621f982112a Mon Sep 17 00:00:00 2001
From: batzor <32958247+batzor@users.noreply.github.com>
Date: Thu, 29 Aug 2024 17:01:46 +0900
Subject: [PATCH] test(benchmark): add fri benchmark

---
 Cargo.Bazel.lock                          |  81 ++++++++++-
 Cargo.lock                                |  19 +++
 Cargo.toml                                |   1 +
 WORKSPACE                                 |   1 +
 benchmark/fri/BUILD.bazel                 |  63 +++++++++
 benchmark/fri/README.md                   |  48 +++++++
 benchmark/fri/fri_benchmark.cc            | 159 ++++++++++++++++++++++
 benchmark/fri/fri_benchmark_mac_m3.png    | Bin 0 -> 17670 bytes
 benchmark/fri/fri_benchmark_ubuntu_i9.png | Bin 0 -> 16949 bytes
 benchmark/fri/fri_config.cc               |  56 ++++++++
 benchmark/fri/fri_config.h                |  40 ++++++
 benchmark/fri/fri_runner.h                |  94 +++++++++++++
 benchmark/fri/plonky3/BUILD.bazel         |  13 ++
 benchmark/fri/plonky3/Cargo.toml          |  31 +++++
 benchmark/fri/plonky3/src/lib.rs          | 142 +++++++++++++++++++
 15 files changed, 747 insertions(+), 1 deletion(-)
 create mode 100644 benchmark/fri/BUILD.bazel
 create mode 100644 benchmark/fri/README.md
 create mode 100644 benchmark/fri/fri_benchmark.cc
 create mode 100644 benchmark/fri/fri_benchmark_mac_m3.png
 create mode 100644 benchmark/fri/fri_benchmark_ubuntu_i9.png
 create mode 100644 benchmark/fri/fri_config.cc
 create mode 100644 benchmark/fri/fri_config.h
 create mode 100644 benchmark/fri/fri_runner.h
 create mode 100644 benchmark/fri/plonky3/BUILD.bazel
 create mode 100644 benchmark/fri/plonky3/Cargo.toml
 create mode 100644 benchmark/fri/plonky3/src/lib.rs

diff --git a/Cargo.Bazel.lock b/Cargo.Bazel.lock
index 6eb764bf4..09737038c 100644
--- a/Cargo.Bazel.lock
+++ b/Cargo.Bazel.lock
@@ -1,5 +1,5 @@
 {
-  "checksum": "493a31da6b3ac2a5605ba241c05d083f25487a1fdd2efcb09d582c8b3be8cba9",
+  "checksum": "9871a4efaf95d41779221d5e5a0d86242b4e5832107cd0c8e50ccc004fb34199",
   "crates": {
     "addchain 0.2.0": {
       "name": "addchain",
@@ -12952,6 +12952,84 @@
       },
       "license": "MIT OR Apache-2.0"
     },
+    "plonky3_fri_benchmark 0.0.1": {
+      "name": "plonky3_fri_benchmark",
+      "version": "0.0.1",
+      "repository": null,
+      "targets": [
+        {
+          "Library": {
+            "crate_name": "plonky3_fri_benchmark",
+            "crate_root": "src/lib.rs",
+            "srcs": [
+              "**/*.rs"
+            ]
+          }
+        }
+      ],
+      "library_target_name": "plonky3_fri_benchmark",
+      "common_attrs": {
+        "compile_data_glob": [
+          "**"
+        ],
+        "deps": {
+          "common": [
+            {
+              "id": "p3-baby-bear 0.1.3-succinct",
+              "target": "p3_baby_bear"
+            },
+            {
+              "id": "p3-challenger 0.1.3-succinct",
+              "target": "p3_challenger"
+            },
+            {
+              "id": "p3-commit 0.1.3-succinct",
+              "target": "p3_commit"
+            },
+            {
+              "id": "p3-dft 0.1.3-succinct",
+              "target": "p3_dft"
+            },
+            {
+              "id": "p3-field 0.1.3-succinct",
+              "target": "p3_field"
+            },
+            {
+              "id": "p3-fri 0.1.3-succinct",
+              "target": "p3_fri"
+            },
+            {
+              "id": "p3-matrix 0.1.3-succinct",
+              "target": "p3_matrix"
+            },
+            {
+              "id": "p3-merkle-tree 0.1.3-succinct",
+              "target": "p3_merkle_tree"
+            },
+            {
+              "id": "p3-poseidon2 0.1.3-succinct",
+              "target": "p3_poseidon2"
+            },
+            {
+              "id": "p3-symmetric 0.1.3-succinct",
+              "target": "p3_symmetric"
+            },
+            {
+              "id": "p3-util 0.1.3-succinct",
+              "target": "p3_util"
+            },
+            {
+              "id": "zkhash 0.2.0",
+              "target": "zkhash"
+            }
+          ],
+          "selects": {}
+        },
+        "edition": "2021",
+        "version": "0.0.1"
+      },
+      "license": "MIT OR Apache-2.0"
+    },
     "plonky3_poseidon2_benchmark 0.0.1": {
       "name": "plonky3_poseidon2_benchmark",
       "version": "0.0.1",
@@ -21549,6 +21627,7 @@
     "halo2_msm_benchmark 0.0.1": "benchmark/msm/halo2",
     "horizen_poseidon2_benchmark 0.0.1": "benchmark/poseidon2/horizen",
     "plonky3_batch_fft_benchmark 0.0.1": "benchmark/fft_batch/plonky3",
+    "plonky3_fri_benchmark 0.0.1": "benchmark/fri/plonky3",
     "plonky3_poseidon2_benchmark 0.0.1": "benchmark/poseidon2/plonky3",
     "tachyon_plonky3 0.0.1": "vendors/plonky3",
     "tachyon_rs 0.0.1": "tachyon/rs",
diff --git a/Cargo.lock b/Cargo.lock
index 3c2aa8214..2e86e81e7 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2509,6 +2509,25 @@ dependencies = [
  "tachyon_rs",
 ]
 
+[[package]]
+name = "plonky3_fri_benchmark"
+version = "0.0.1"
+dependencies = [
+ "p3-baby-bear",
+ "p3-challenger",
+ "p3-commit",
+ "p3-dft",
+ "p3-field",
+ "p3-fri",
+ "p3-matrix",
+ "p3-merkle-tree",
+ "p3-poseidon2",
+ "p3-symmetric",
+ "p3-util",
+ "tachyon_rs",
+ "zkhash 0.2.0 (git+https://github.com/HorizenLabs/poseidon2.git?rev=bb476b9)",
+]
+
 [[package]]
 name = "plonky3_poseidon2_benchmark"
 version = "0.0.1"
diff --git a/Cargo.toml b/Cargo.toml
index cd6e937b9..571e41dad 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -7,6 +7,7 @@ members = [
     "benchmark/fft/bellman",
     "benchmark/fft/halo2",
     "benchmark/fft_batch/plonky3",
+    "benchmark/fri/plonky3",
     "benchmark/poseidon/arkworks",
     "benchmark/poseidon2/horizen",
     "benchmark/poseidon2/plonky3",
diff --git a/WORKSPACE b/WORKSPACE
index dda3518e9..8aefd0dd6 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -58,6 +58,7 @@ crates_repository(
         "//benchmark/fft/bellman:Cargo.toml",
         "//benchmark/fft/halo2:Cargo.toml",
         "//benchmark/fft_batch/plonky3:Cargo.toml",
+        "//benchmark/fri/plonky3:Cargo.toml",
         "//benchmark/poseidon/arkworks:Cargo.toml",
         "//benchmark/poseidon2/horizen:Cargo.toml",
         "//benchmark/poseidon2/plonky3:Cargo.toml",
diff --git a/benchmark/fri/BUILD.bazel b/benchmark/fri/BUILD.bazel
new file mode 100644
index 000000000..f96aeda53
--- /dev/null
+++ b/benchmark/fri/BUILD.bazel
@@ -0,0 +1,63 @@
+load(
+    "//bazel:tachyon_cc.bzl",
+    "tachyon_cc_binary",
+    "tachyon_cc_library",
+)
+
+tachyon_cc_library(
+    name = "fri_config",
+    testonly = True,
+    srcs = ["fri_config.cc"],
+    hdrs = ["fri_config.h"],
+    deps = [
+        "//benchmark:config",
+        "//tachyon/base/console",
+        "//tachyon/base/containers:container_util",
+    ],
+)
+
+tachyon_cc_library(
+    name = "fri_runner",
+    testonly = True,
+    hdrs = ["fri_runner.h"],
+    deps = [
+        ":fri_config",
+        "//benchmark:simple_reporter",
+        "//tachyon/base/containers:container_util",
+        "//tachyon/base/time",
+        "//tachyon/c/math/matrix",
+        "//tachyon/crypto/hashes/sponge/poseidon2:poseidon2_horizen_external_matrix",
+        "//tachyon/math/matrix:matrix_types",
+    ],
+)
+
+tachyon_cc_binary(
+    name = "fri_benchmark",
+    testonly = True,
+    srcs = ["fri_benchmark.cc"],
+    deps = [
+        ":fri_config",
+        ":fri_runner",
+        "//benchmark:simple_reporter",
+        "//benchmark/fri/plonky3",
+        "//tachyon/base:profiler",
+        "//tachyon/c/math/finite_fields/baby_bear",
+        "//tachyon/crypto/challenger:duplex_challenger",
+        "//tachyon/crypto/commitments/fri:fri_config",
+        "//tachyon/crypto/commitments/fri:two_adic_fri",
+        "//tachyon/crypto/commitments/fri:two_adic_multiplicative_coset",
+        "//tachyon/crypto/commitments/merkle_tree/field_merkle_tree:extension_field_merkle_tree_mmcs",
+        "//tachyon/crypto/commitments/merkle_tree/field_merkle_tree:field_merkle_tree_mmcs",
+        "//tachyon/crypto/hashes/sponge:padding_free_sponge",
+        "//tachyon/crypto/hashes/sponge:truncated_permutation",
+        "//tachyon/crypto/hashes/sponge/poseidon2",
+        "//tachyon/crypto/hashes/sponge/poseidon2:poseidon2_horizen_external_matrix",
+        "//tachyon/math/finite_fields:packed_field_traits_forward",
+        "//tachyon/math/finite_fields/baby_bear:baby_bear4",
+        "//tachyon/math/finite_fields/baby_bear:packed_baby_bear4",
+        "//tachyon/math/finite_fields/baby_bear:poseidon2",
+        "//tachyon/math/matrix:matrix_types",
+        "//tachyon/math/polynomials/univariate:radix2_evaluation_domain",
+        "@com_google_absl//absl/strings",
+    ],
+)
diff --git a/benchmark/fri/README.md b/benchmark/fri/README.md
new file mode 100644
index 000000000..bae5c423f
--- /dev/null
+++ b/benchmark/fri/README.md
@@ -0,0 +1,48 @@
+# FRI Benchmark
+
+## CPU
+
+```bash
+Run on 13th Gen Intel(R) Core(TM) i9-13900K (32 X 5500 MHz CPU s)
+CPU Caches:
+  L1 Data 48 KiB (x16)
+  L1 Instruction 32 KiB (x16)
+  L2 Unified 2048 KiB (x16)
+  L3 Unified 36864 KiB (x1)
+
+Run on Apple M3 Pro (12 X 4050 MHz)
+CPU Caches:
+  L1 Data 64 KiB (x12)
+  L1 Instruction 128 KiB (x12)
+  L2 Unified 4096 KiB (x12)
+```
+
+```shell
+bazel run -c opt --//:has_openmp --//:has_rtti --//:has_matplotlib //benchmark/fri:fri_benchmark -- -k 18 -k 19 -k 20 -k 21 -k 22 --batch_size 100 --input_num 4 --log_blowup 2 --vendor plonky3 --check_results
+```
+
+## On Intel i9-13900K
+
+| Exponent | Tachyon     | Plonky3 |
+| :------- | ----------- | ------- |
+| 18       | **1.49223** | 1.70032 |
+| 19       | **2.84027** | 3.45716 |
+| 20       | **5.77075** | 6.91221 |
+| 21       | **11.6113** | 13.8407 |
+| 22       | **23.3140** | 27.9832 |
+
+![image](/benchmark/fri/fri_benchmark_ubuntu_i9.png)
+
+## On Mac M3 Pro
+
+WARNING: On Mac M3, high degree tests are not feasible due to memory constraints.
+
+| Exponent | Tachyon | Plonky3      |
+| :------- | ------- | ------------ |
+| 18       | 3.68509 | **1.39107**  |
+| 19       | 7.37079 | **2.76483**  |
+| 20       | 14.9081 | **5.62375**  |
+| 21       | 30.3153 | **11.8295**  |
+| 22       | 64.8022 | **25.4490**  |
+
+![image](/benchmark/fri/fri_benchmark_mac_m3.png)
diff --git a/benchmark/fri/fri_benchmark.cc b/benchmark/fri/fri_benchmark.cc
new file mode 100644
index 000000000..7241f5125
--- /dev/null
+++ b/benchmark/fri/fri_benchmark.cc
@@ -0,0 +1,159 @@
+#include <iostream>
+
+#include "absl/strings/substitute.h"
+
+// clang-format off
+#include "benchmark/simple_reporter.h"
+#include "benchmark/fri/fri_config.h"
+#include "benchmark/fri/fri_runner.h"
+// clang-format on
+#include "tachyon/base/profiler.h"
+#include "tachyon/c/math/finite_fields/baby_bear/baby_bear_type_traits.h"
+#include "tachyon/crypto/challenger/duplex_challenger.h"
+#include "tachyon/crypto/commitments/fri/fri_config.h"
+#include "tachyon/crypto/commitments/fri/two_adic_fri.h"
+#include "tachyon/crypto/commitments/fri/two_adic_multiplicative_coset.h"
+#include "tachyon/crypto/commitments/merkle_tree/field_merkle_tree/extension_field_merkle_tree_mmcs.h"
+#include "tachyon/crypto/commitments/merkle_tree/field_merkle_tree/field_merkle_tree_mmcs.h"
+#include "tachyon/crypto/hashes/sponge/padding_free_sponge.h"
+#include "tachyon/crypto/hashes/sponge/poseidon2/poseidon2.h"
+#include "tachyon/crypto/hashes/sponge/poseidon2/poseidon2_horizen_external_matrix.h"
+#include "tachyon/crypto/hashes/sponge/truncated_permutation.h"
+#include "tachyon/math/finite_fields/baby_bear/baby_bear4.h"
+#include "tachyon/math/finite_fields/baby_bear/packed_baby_bear4.h"
+#include "tachyon/math/finite_fields/baby_bear/poseidon2.h"
+#include "tachyon/math/matrix/matrix_types.h"
+#include "tachyon/math/polynomials/univariate/radix2_evaluation_domain.h"
+
+namespace tachyon::benchmark {
+
+extern "C" tachyon_baby_bear* run_fri_plonky3_baby_bear(
+    const tachyon_baby_bear* data, const size_t* raw_degrees,
+    size_t num_of_degrees, size_t batch_size, uint32_t log_blowup,
+    uint64_t* duration);
+
+template <typename Commitment>
+void CheckResult(bool check_results, const Commitment& tachyon_result,
+                 const Commitment& vendor_result) {
+  if (check_results) {
+    CHECK_EQ(tachyon_result, vendor_result) << "Results not matched";
+  }
+}
+
+void Run(const FRIConfig& config) {
+  constexpr size_t kRate = 8;
+  constexpr size_t kChunk = 8;
+  constexpr size_t kN = 2;
+
+  using F = math::BabyBear;
+  using ExtF = math::BabyBear4;
+  using PackedF = math::PackedBabyBear;
+  using ExtPackedF = math::PackedBabyBear4;
+  using Poseidon2 = crypto::Poseidon2Sponge<crypto::Poseidon2ExternalMatrix<
+      crypto::Poseidon2HorizenExternalMatrix<F>>>;
+  using PackedPoseidon2 =
+      crypto::Poseidon2Sponge<crypto::Poseidon2ExternalMatrix<
+          crypto::Poseidon2HorizenExternalMatrix<PackedF>>>;
+  using MyHasher = crypto::PaddingFreeSponge<Poseidon2, kRate, kChunk>;
+  using MyPackedHasher =
+      crypto::PaddingFreeSponge<PackedPoseidon2, kRate, kChunk>;
+  using MyCompressor = crypto::TruncatedPermutation<Poseidon2, kChunk, kN>;
+  using MyPackedCompressor =
+      crypto::TruncatedPermutation<PackedPoseidon2, kChunk, kN>;
+  using MMCS =
+      crypto::FieldMerkleTreeMMCS<F, MyHasher, MyPackedHasher, MyCompressor,
+                                  MyPackedCompressor, kChunk>;
+  using ExtMMCS =
+      crypto::FieldMerkleTreeMMCS<ExtF, MyHasher, MyPackedHasher, MyCompressor,
+                                  MyPackedCompressor, kChunk>;
+  using ChallengeMMCS = crypto::ExtensionFieldMerkleTreeMMCS<ExtF, ExtMMCS>;
+  using Challenger = crypto::DuplexChallenger<Poseidon2, 16, kRate>;
+  using MyPCS = crypto::TwoAdicFRI<ExtF, MMCS, ChallengeMMCS, Challenger>;
+
+  PackedF::Init();
+  ExtPackedF::Init();
+
+  crypto::Poseidon2Config<F> poseidon2_config =
+      crypto::Poseidon2Config<F>::CreateCustom(
+          15, 7, 8, 13, math::GetPoseidon2BabyBearInternalShiftVector<15>());
+  Poseidon2 sponge(poseidon2_config);
+  MyHasher hasher(sponge);
+  MyCompressor compressor(sponge);
+
+  crypto::Poseidon2Config<PackedF> packed_config =
+      crypto::Poseidon2Config<PackedF>::CreateCustom(
+          15, 7, 8, 13, math::GetPoseidon2BabyBearInternalShiftVector<15>());
+  PackedPoseidon2 packed_sponge(packed_config);
+  MyPackedHasher packed_hasher(packed_sponge);
+  MyPackedCompressor packed_compressor(std::move(packed_sponge));
+  MMCS mmcs(hasher, packed_hasher, compressor, packed_compressor);
+
+  ChallengeMMCS challenge_mmcs(
+      ExtMMCS(std::move(hasher), std::move(packed_hasher),
+              std::move(compressor), std::move(packed_compressor)));
+
+  crypto::FRIConfig<ChallengeMMCS> fri_config{config.log_blowup(), 10, 8,
+                                              challenge_mmcs};
+  MyPCS pcs = MyPCS(std::move(mmcs), std::move(fri_config));
+
+  SimpleReporter reporter;
+  std::string name;
+  name = absl::Substitute("FRI Benchmark (b: $0, l: $1)", config.batch_size(),
+                          config.log_blowup());
+  reporter.set_title(name);
+  reporter.set_x_label("Max Exponent");
+  reporter.set_column_labels(base::Map(
+      config.exponents(),
+      [](uint32_t exponent) { return base::NumberToString(exponent); }));
+
+  FRIRunner runner(reporter, config, pcs);
+
+  std::vector<size_t> degrees = config.GetDegrees();
+
+  reporter.AddVendor(Vendor::Tachyon());
+  for (Vendor vendor : config.vendors()) {
+    reporter.AddVendor(vendor);
+  }
+
+  for (size_t degree : degrees) {
+    math::RowMajorMatrix<F> input =
+        math::RowMajorMatrix<F>::Random(degree, config.batch_size());
+
+    F tachyon_commit = runner.Run(Vendor::Tachyon(), input);
+    for (Vendor vendor : config.vendors()) {
+      if (vendor.value() == Vendor::kPlonky3) {
+        F vendor_commit =
+            runner.RunExternal(vendor, run_fri_plonky3_baby_bear, input);
+        CheckResult(config.check_results(), tachyon_commit, vendor_commit);
+      } else {
+        NOTREACHED();
+      }
+    }
+  }
+
+  reporter.Show();
+}
+
+int RealMain(int argc, char** argv) {
+  base::FilePath tmp_file;
+  CHECK(base::GetTempDir(&tmp_file));
+  tmp_file = tmp_file.Append("fri_benchmark.perfetto-trace");
+  base::Profiler profiler({tmp_file});
+
+  profiler.Init();
+  profiler.Start();
+
+  FRIConfig config;
+  if (!config.Parse(argc, argv)) {
+    return 1;
+  }
+
+  Run(config);
+  return 0;
+}
+
+}  // namespace tachyon::benchmark
+
+int main(int argc, char** argv) {
+  return tachyon::benchmark::RealMain(argc, argv);
+}
diff --git a/benchmark/fri/fri_benchmark_mac_m3.png b/benchmark/fri/fri_benchmark_mac_m3.png
new file mode 100644
index 0000000000000000000000000000000000000000..1065aaf2b23a8e431602b88ba98bffebb8e740d2
GIT binary patch
literal 17670
zcmeIacT|=6wk7(388MUsf)Wg%k`X}=NhT1GAXy|BksvuKSuL?dK}CX+1z{5eL_l&-
zBnYCCl`M!P0Z~9CzWKB2oO|na^&R*1A3fga(PxZPR>9t1Tw$&`=kkVzn&K*kjSLh;
ztx`I2NRy)Iy(x;WYxz?AM7*}`6aLuicv#<2%f{5v<&^z7O7)bZ?FAdh3+AUcJD;<6
zFt@SZEwooiL}0U-qob{Zl(4YXzds;kV}D*)Z1It2ILHdyBgY*mYRxI~f4T%YnmI)s
za!@+7U;ASCaQh|0z=`>Vg+A{K47;tD2MBx)aN`Trd=UC+-6b)lnxi~|Z<XE!UPwP&
zqm>wB8EWNIQN_Zq`rYB{ecsUAFvWeLCpHGt$J56@{bX1yH@mk}VQuZnr8%5GTCJ=l
zQh&^N7&TjdPOAT2kXCb=)n^N?=DyGM{FV6A+wwPxj-rnGP|GRmr08OKs@JFN^sxg6
zuH;wm49>D_t~#CGpYc{Uf5hs-ho^@-Iy$C*_C;}6{r1~$d3}*?$}unPU!6`j>wbA7
zt|)49xOM2&jwpeNIcnqpwYch!B`aAfPp30YUz#4EarA86x;1<{Njov-gmv!Wl^cWv
zp44>v+}Wn+&-9+wXrWUbEGT~d4ZBf}?ZcPF!l@%4&PO$R(=B4+<TM_faUF;Y8P6`B
zQ{BIRzuv0j#q-n2(-T9qB%S0ci>xHQG-I40ih*OF*Sx#9b(?-sQIW;F=*z}la}%1=
zOZBpyhIDzjxf9Im<C8Swd|$kH(U4{$H{4lVT=Je4>8k9|_eRISAaoPo5@iz}mkm_O
zhet~Hw6m>^XwOV*LiY-0U-+PTTW&swdthp;$Mr|Mi}=~fwY{G|58hSe%pLJq!zv>0
z(&>@S&CAcPvhc%efp&MB;$UBtS5tCYk!yQvSypSV1FdL&+R_8x75dQW@K%P_)pat<
zqEVS&FSVdMr_*b}C}N+BuC8uy<fYGSmo8m0FTce$_&z<>d893Iqqv1+dC^4EiRlWt
z`G@b{>+@{iZZS7Kfu9GyiP%TOEmSd^RKIFS)XF+lx^!Z=RZq|$Qv-MO`SpX?rj!$w
z_3^4|3y~9pjVijyIyMDkKHF78KYcT}ta+Z=xjrBufKjO&AG^uEfs@nv<;$0nS?A84
zWu2d&SLiACi)d+neEiH2Q5Ioi!%utGaLHacB5Le0p+j@dZ@130YHeD+VnwcxjixI%
z+t}FHh*0d2pFe*pSX*1Cd(H5(;SzsiVKIF_>`a?{;qRp+=|1)36swP2_sbOr19qKy
z@%w=a)d;D^J7*DIWwp;-MvY7B>+4x1tixl6+j1Qg{5Fa+G)UQY$;T=O@s%fP(NdG&
z#8~8quG+MRH8(d`&1&YysD!(_`>o51ma(u#-MMq}_v_a;NG_E>T*7-YntnMWqjs!<
zpJV^KhwIu?5!o6VcldPpE<Ww*T$s<6a_o=h(@EO7d9(bkUAw07qdu|iLPBb|^XZ9Z
zlg4}(o1Zf?{30S6XDa*!Z4EwHXInNsK5o%bkn8T@!OY5<Fw&lH+4{_C$z-A9fTp-*
z(@|MjS&Np;#DIJEBBpn!h3~vs7Be^VW9a!ZuD}{ot&=CCBfaJ?vH3iVRlF@_dhyED
ztKwEIVzi0x-@b`?&R#sMpipI+k%(IzeE0AwPSqneQkVF>+1O2W_xU&4g{~8ydU|4I
z+$Nc(-997!BHc#r)|loGzV4`tQ*r8xa6!5<wJby}%qj|=covwJmKG{z9wS^d6;pEm
z;PutaGf_AG_~Vb$eluS(-Znh5I+2CfSKE|uY@5?S-Qg(D>BLy8nox16OWz(T++zKh
z>FMrX@Fr3wnVDag$<nKAtmn2IpSbu$Qjc}vgzhCbw|!aSX7A)x!}c_G6uPavRXmiM
zKmPr#oMqpe2p%0i4b!#MWzp@(iQ>7*u=+lW`Kg{YbKk0klXO#BOj>^AI`py6%pz~a
zTt*CecI>dMyt75Er^9Q(qwM9&%Fa#`Et*;*4wr`e?VoJ5X+~CsmmBBU?r+a?(n4U2
zw^*hn;?0Eau?p?*oUx+WmHMoz@2`zz-ncOdp)!bL2jdy+v1<7wHqvTS-1x_D+Z-3>
zehdZa86Q(q^FMv&jMKMIujo5zUJLV2TZcnM&-u1wS<*I`xF5swZZL9bkK1IOvmY0t
zgM1Tr{-U39BKu9cv9t5D4v!y3PJ<0f<RV|*Snq^@b{c9*c_(rwFz`{ciI-97^)=0z
z=Jn*I(Vuw}C6^W{<2IN-T2zl;rkt=Tobavqh=0|wut+jMsWDqX1UD3Wc}?`!9=x|h
zT{liSs3F_NB*h@B%G@wS$fzMsC4_&Z&)~zb^KeU+id9P{?>m=j!EA)~K`DpNx3~vp
zMvFrp(VyA2ZCmfhk01MmSNLs`XzF@?HO<nfR3tDmGBs4(lBNIVty_WIR_~vD6mDD=
zs5BCJWwC8-oL0#-k9h%U>9+ostYng$J-DZGM7Q7mt4o<(UB?a7={8JW8n0E1P`ezl
z*P%SYAS-FCa@%c5t8IdUHBUZVP#Zqz!?=r^?cR1(`;DzhI{e#2MeEXMYa}{Z18yCQ
zRbWmSemfI<_M)5Hre$k59W&>C6fcN#v!xZ!=fzsR_<e;B_nE1$AN`-n%}<pkXwm#n
zrR(3~)ryyFQIC?fn)>;Z4Trbe==L-5MLkV@6WTyI?tA5|wQh1_Wo4!9#)ZDl`PUD2
zD^&P%_~AY`qNI9U9=({06SUkpD_~MoAa8Q<V$POVQ?uXSa#$Tdep~^M(N8zUfSGj@
zC#PrQ+}!bFG;iSvBTwm7r6Ql-L|7gX^_(43EEQqgCM(<Vb$ndFk?Zp1%jI)FI=xh#
zj5PJF0&e+p>@#kjBr%I><~2WiV5YFJ&`*)eV?6KKs=#w?i|GS*k?w-PyvhEZ<Ry-v
zX0=9U{GCbBF>=R)t=VahZf2b9bpP)6xh8A}7Z+E}{aptGGA$bU&Y7B8lz7vrW!#I5
zjI?M@HM(5?C}8}y*KDbIF4EZ*q0CVo<u#uxz;bi@(fb-F+pE<tD<~=^8yC9z_p%5Y
zR9a-QxNaCMT_g8J+azp{)p)gVvDy14r~D_;IS1pztnCdt>+7{}^Z=nZt~gzlb#^lH
zxh4IK;^n!Q<>f4roFQk=olCTAP9+^S(|Onc1uOHNotLxup6|-L^R{f+lJ}#-jiVZk
z<?6CEP3S>E!NKw9Zc2P2n`ZPP<h+anP_(q7-!?Zlo4@|~y>Df>_1yRODm}_q>>_N$
z=Ef?xn7O#p5)u;VGulG5lXX+{Grr1SItT!9A4nnYoz?{}=K;sh*H&&A$Bp!tZ7^vV
zsHde(akX`mCLa?U%TetyJ$|?BbS(lv+_7In+@`~D*=qJX-0he8BCc7NT4YHHn&d@}
zzQtX~BYgG+ui=n-bmz{U1L_gRLIMJh<y(7O^Xv4(YPOr0bkfsiF6=pRS*vnky17^k
z<#}$Z=XTZGw=S6`p4TUXT7=kSTr=(M?Z*)a8~A7EJ_KD+MRi!YxJPAy_ObHrHh)UL
zZgzH-+o&LT%zp3Qy=rIhUx6VZdi~D$8hcM0kD#C`8qU)X7p75&*)K2H`<yZylR6qL
zy^W&p)j$d6*pEVEZPAc$cO<uu6F*S7apMM0UYd|mp4pr5y(kzFp%OMi`Rzgj-A>-u
zmiSfMu;$iz>8I%(TX-n+=6(0$1+<)<=w*d&KbqF7OFuNovUr78jmjc49`76T;%J(2
z;W(bXWmO=r0Wg=ebgJjTM4VzG6N^QAqU*%qx3RI>v7U;R<3<)MSFE_p-I!{0VuO&O
zhJu2RMPpJgYe+~44M&qI&pim(;yT{{@b&AXDJI25l?I}_cdsmzUAuF1xwrh1wd>c%
zB25N+Lrj{`VO?|*HRE1Bo2%gRI+8avE1~3Hp9UagA1XM@KiHT|3*y%sL=csQE)lSb
z@|b*JT`;ELF;=!gEko{FL`+dAI!!X7(f8&}EqQrwWQ<Fr6Mzu6l9c<D?ZY|L76Fmn
zP6MaP%L>DOxL&+?G2znp&(}I06khsn+J3Rek74=pJC0+=g8~3u_Eco>2n)6jJ1Z6^
z_kQ}6aQ<y%OR-lmL2BaWb)S6C06*&W_Vy;)^^^-eUTeE*gnlXC9|SS(P>*cbH(H<-
z(`r=Yp36P(Im{;5(XPDKB8%Lovy`~&s~hWgq+a4mPfr(RJSbf7^}yw#p~9k}v>Y*&
zsXh;zj)LQxB&-WkhgWe*>t~#Q+Z1L~bo}wM&7HQTs~A?T5)?C2s!Kmpk$Lvjx(a)=
z8x|qMgkZrFQZ-e^)n`un4i(Le)C00bShQx_L>2w~ys2U$wysQNF~P!{zrG2RP{)JR
zJ$m%$jYjRZiV{O~P2iB`a=%Sk7spN?K75#YujkC<aDetFj#l|gWsI9O_K&0SAkyl`
z2kMcK!otF7mL27IbK{7lBLRrI*v4eNAvEOXl<bbARHJ<5yo-LF1(&{ynZ4VbW!-Lo
zx>!uVXi-pTXc7=Z|Fc%>`tZFDspiFiwoTFduZp=%Uf__lm2b~?32C=(27qtObvPeV
zyzm1!rWQ^2q1$Mo9ufnu@=1sLcU8QEm%G-xrmS1HE-)e@<$RQf?w&B!x6<E_-tBRl
z7>wgl31)I#Wq{%;e&M}{RePQe`hx3d;SbX69zEiw*@bY@X@!UFCk1*AbzjP5B%IqE
z@WB-k#iMj}=_>mIf9scj{N@Vm#DqY_Bd@BiRzZ!>15)f67ON|(?_QYglOrXn$YUl6
zS!q!0StvWzwWx5sPDO2ZA%al{fJYoycF6Uu4G?o9s%MH({<BIuGBn_=#go>Lp!WA_
z62A2H`Lc*$y%dAECr?BW_=BOA^i@*yn>8-q;@GEaXJ<G4wR8>hh7B$?LtbdN)BUlx
zNg)vy5ICwXJ@$L~ZLU$r;g&^fq@(ZLS*!X$^l)0ybdtS;gH!1$i3HLV`X63TO`gQv
zXPMO=_}=%n8QH%jtR@~PDCgWH4@!c$xw-35N_M7wuQHzSAuji?mjUkG8}A$oJRf;U
z0j<%0Eh`t7S6Moa*N9h`iK(L9b7ol0Bcvm7=H+^Iv(6$9Jc?A=pP$wP^$h1(hRJyq
zX=-Y+R|6p1wbgpe3}^47KZy)&N;OK}b*7w@?Z9?xJ(^mC*qQQM^b#|-Sa%&THZ~^U
zjXa`v?=(o?yDc+$zdlFhVIDwEvyqpbp{q~Nx87=w-K}1eeUw>t>jdUcOSG`I#a9?!
zozCf*WuUr}@*D?Z@Hl9SpS2IE%l>>MJKevHL;B*AcZ#obN&$^0N*1jlI4O?vD4ok@
zie8>A3+2G6|J{DH3ES5tI)|)UpEYi~Egkc*^m=|i)AfXeo#eM^1>b!0Rp^wL(5<DY
zlCwE0S;-&Ey)ij&M}wj$5jOhGn4({;{WV3$zmQ(uVx2woKK%^JOxME*d~QLmRK)S~
zYqo2@|1QZnXmX0a3o*vDapT~KD1KY@2!lY9T7*;pp9aPFt29*~PtldoTSQSBd(NIe
z&o3s{a5v}?0}~}2F_~qMf(f1SuAcq5Zm%^x2KRrRU;DmRNtx5f7fX8k`ttJ`4a*V4
z=;|XvIF6QxDka8v5O2Ne^=n5L-kd9FgM5;b_baAwlB%QYDdB6yXb*|@y;Z;85`8Jc
zh<sIJV`B?=1TdVRyOpB&_Gm3G!N@N8!UVXx&1f~l$G*NDN>!DW8o;NL9E_AauV|U-
z=8)8%$%eU4!}#|f6XM`XtzAq-J3iP-8NV>^eCpS;2z0}JK8hZ9K$$7C+&rujBIM-4
zhDWM;)NcKeV_PGQKR)%~c(Bf)X2=oH8Y4^tI=V^`9`Q-#*W`=$8R?!d-bC$JR`$hc
z&U3SDD<&+2sX0P|L?k+`W4)?`IcBFNO&%x(4VmUzKc}V=5KqcSj@S+^3}<&b;^#@Y
zTLK>td)o)PcmEu0PD{g_RbxJjk@{S^zT?-f{Yshu=V*mIUS3{!D-%P_>H`A<{$uNR
zsA+?)n3$g#<=?vX0BRB`eW;LHb#m(|Do0^)iRcAffv>M`9SN$QirYhA4w3+CQ3hhm
zZf>xA8!59<&a;3_`yN16{uAhAw5h3!tGHwh^Ib-po}R1LF81`GSrvbMu@cu7h3k*Q
z^l)O)vel?0w6p2@Vn8}PJUn~-)RmR%I9%EuqM%j-zo7$2ISmFP8wrM-8?RR%1k+J3
zb$vBQ9m$18J(B?t6PkF0@kbwMy2>G_ce2!*EYc7DaA6O|x@0^WhSjT`Gs(IAi!s$C
zW0DxGSC`W%_MGEZBJ(7t*Q}k)<oh%JcE}v37H31l@TH8bo0VLD_J)X~&Rc;kLY>#c
z&r!0{@GAR*Pgo!G^eh4_{dAw%u+TNjd9))1QxZa4J0R2c;{hN`ZPZt%FSrZK=U0}H
zR?WR?qu3GLQj>~sp>~}dGoJ3!*HrL90;<oReS~(?J35+{-RXHEF)=Yfs7R>?$v24G
zyxVG48*{B^6!Se$u#|Bb%er+j_wTb70<8u->a7mpmypo&n3)XX9&XRqd-(97|JNN#
zs-a@X8k2OgKtm{=ICSXuZL>-nOvaqexe%is_vr-A%g#@o@k5;kp`xX&9Y{}4KR%e8
zX7T-VO~8C7e`6~0uG;*=>GVqL?0vypo>QmD<?l9qt)ZzIF#TiHtHwq%w?&qsm~Zk&
zJ+>1}?c-%<=Ae6W>-*$n696uI^`<=+-jVkD+cpKsmem|mpQiSKodDftfCq;5<=#G1
zI5U#36Q|5vgC_s#)hmJpW7B|8q+G`n{5fR??=NY~IDZ=$tPw2MP{$66vR$P{7h;El
zv=m&*@Mqr})9E>*iYt5f%&L`i0We`EZ{-#Wo>{jKX1>AXM@Wg9NSPC;j_(Kpm>x<q
zsrQtTkwIgk;Z%v33K87)<A*V90AFpCw2gND^8O)Sv)R|K=Y+UwLEdfc+(c1<ob)Hz
zBrrN(a&=8oy0@JHluWjDdjn0KYhtw11VdQ;t9v^lOc(K(g8&HK>k!{@v1b*Dg&%DW
zw^y@E+Sbf)?zwRP+qZAy?+&inn{`5f#RE|W79n&br)M=TVW@nQO~Z~T_irIZ{N!$L
zf?>+PxpT#b4<CTBtE#F38ZDd#t6#mUMS0i3u>Es-Ixq3XxATDQh?SdoYDv-2(VCrH
z6)UJJiBvj)Fox<QhKv57Cyf=;uxhyEF~o|K(iG}xYANqYrmwY%T)fiKh7TS*aP1A!
zLrFvuomwo<v=&bYmC_90D(|Durhoqe#s1!wze?DzX7Z0+q&oMHKbF^o@69-r{UK3n
zhaaa*-l6Oj=o70u7K_$?e&KO0*V@Ed%&z;8$Lv@IdE*6zh0JVhi6O?WN_dnGE})g=
zUsEwmVi(?PIDCFxiy3|bC65nv$|&Et5va7yXd^|frF-&vs3GwlfmV0!Yz98S&^(CV
z8gh#Dn!mcLst)FZPoty4$&E>#bJM&sGVQf;IBgcF(9z<BB9OUfGd}zxQ&6Jy9-k`n
zWhV0szzgA___l0$p16QW`i8&;tmjc$BmLDIqncBXpF|RP*ic!Iyr&r%V3<?aO&vyh
znH;7Bmd#J3d0{+IZh3m{Cdzvp=DeYHmrg;EH~;gxmP4xlKwaE45^)^0jhBb#uvYw0
zUdPUxEP{1lkjFn>=d$Q3x$HXi@j5WkRuH#R<?euC<o!6}Vp;U%goV{@isznP*b`<A
zFkL*Qf*uthk1ING@Symaa>jNv6%ynM{_KftyG@x`vt1`FhC2#R;2fH$LxeR#{_^46
zq=MbbXdO0qa`G~sX*`nH>|OMJ{}1_cVf$QCL99JQ^%)}69rwgQy<)&PCI+c;LH#H4
zKz~p51^k}@(kX+3{5CPsc#CZ}sp5@~k7vB}L~pU3TkhQ}kKl@Up@Ra1^oS;X*{?O<
zB@NdK=4;T*vhL9hWJeN4KdBbHD5kY*yYzwApNWc!hCiDCv2OnQ{w{R<ASvfB{boOK
z8ldy>4!2RI0FuS1Tl;Y-YC|p~ZO8Yyj5L7UrXh}!O^Q92OagVZU8T$jc2lcH69)~P
zn4*)ci@a_i_`S=u^g5TPKIZs3;o{jC08ui9Gpt$TvQZ0Ft1->QWVkiEdG_abOoBW$
zQF6tOMM#L8?Tbt7Poj{jRfDL|1T_DIUfa--V|Ru_##LMKHm6hO@P`aVB%DRvqgUd?
z86Y_fGEDu7X1}TUvG1)*OhX~EsE_ySxYWl1{`&~xqHu8Xi*tUx(^XQx$%8{bU$=gJ
zmQAOu2f(%K+(h%l`!lzhSvPQSq@V*^B22)2Tz_`qL(KE5%aTDZ;)pfkquHlQeaOjV
z7iPcHukrCjD2bn|VgiwiTW+rPocwZJ=KJg2D0=ri=YO8J>MSxM*cs$g5~c=YhgB36
z{V7*~nnxvdMd<0oDy#xco`_3sd1e(B+bP26$0cWsbO?@$iXwT^RYIp1q!&-d!@jps
z&4Sr&F@Oi8<!+R9zj)aWPu|4yXB=TP_KoC}j_nKv@coqc!vpAN0K+8elgA?r*=@D5
zCrc=uByFWdOBwHg4UKIF4FHxc7VKx^lT!yLzI@Ok<187+z*i2XqQnKV-?WQcRuvSD
zK`0sTcCalsgVSUD*pj772TLw5!jKt>q~4(vD&>^4T|M%#*W8c^L0^R2CRyP&`NfWb
zRWBeSLJ*bZ@nZp?Ct6W>I6H@|yFLa6!KP<b0YJTp=c<Ew=JT?P2SJ;VqoM;PVXO_Q
z+*AGCj-ER5n|hk9%Zh7KqCDm8JUKe2*k19ZT?xZk5$i#LfuGEhan>H2QV}tS&qrm@
zFmPER+~yx&Tw`EhAZW)499e$MQKo}H9%_-&i4d*S5PrhxUzbsoVFeG(I|RcAW}^g~
z&LTX_V5CKyOUI>(TCb_Er{dz`c%`ITYE3gfG^85svuevpe`f{aop0a1)`6>ah>E3z
z7D384;*k%G*dxxIY+o^Usmskh!n@_&wd)wh)m!AYz=6JMZ9M@R^B9yFZr+_cE6od|
zqc<yd_L4`q!T93C21}Q0gg{>Y;vErEPI=vy{V3)?y8_tc^V?JLScXt3bdgwMpgLr}
zRc`Y#Uuxc#V}}N3?>;}<kMcknK2V`QiAJze`g$rFwX&*e5ciU0%TxmD>gyxQAJJ(0
zriJ=?dbTAu4vr&}OB!>zsSf8>s}|4*TCMYQGaNRz6Yxx-Ohj}jhGFUk%;4waOL{rj
z)o|`Z`4}BlB5r8Es_Xu)GmaP{3EiO!RG4|Lnx$}VvegxXACHl{XFF*4iSC=iNk9tz
z6(zs_{(FMUXouIOg%D#8Xj*#_{Bym-4;{lXYG^*!YotTH?G2#bLzECa{`3&0==#4j
zICMiTfL_O2m%hE);e<pZ5E)e<4`&Ms4>#QU_UiZXac#i1pu2asC?#S35MZe`=@3%(
zImJo_epEee4BGT*If!hYYMwP$oUg@jE*3OmWczC-^03<({MSrmyPE1{T60AxtZj00
z|I?Dw>11#qaq;c@_jaSzLOs2`Wv>ATg-(Z37jMvLJNDzC_d`{{4B=gU*iZcrL*ai&
ztN$$o@OL%#|H!Z0QlakxG{BG*E{k!}e!TC~r=7C0#^M$YcZ!RPQI~=+y86~3oR3zV
z+wDyRCNPm4QE1UkwGyVUSp`js3~z1_*2M?|cp5M3F`bhnhL39{etOEGlk}*otBZaZ
zJVq#33CtUh2vrvl2w?{N7ZF1(I*SUEmC37G5>i8Pf|DXV_E`BQaVU*(@$t$5&uls|
zOS%JG?knG8(QxF{sZ%XEc0J75Az@+3U%p(Rt-<M1-|)~q0jeUc9*Q4mXK7O4IHVlk
zJ=lFdFgSR-jg5^?ib11!1QH#^#K<lTlxc8{se?NTn99!+IEXf*(B36&v5IRdI*DqV
z?>r32I~4^)+tbstIjaU)j51Q29v%^)x*V6hb7{8p(s)p?7Vn=tT+Jz+0InSzCGYOt
z_2x%iU0okGGa7gQEyH=Jc}%JhJMTb4NU5wmLiA;b!T$5Ww7lZtI>(M38`+5)iay}*
zikI*cNnk?Jv77O)Vy9j#2687l1n}KP0C6->okCY9lytORO?<bFjuAuxgW)>L>u2wV
zRZzpxPqd+RS{KhbLoHB(<`M7+u&J`N^dJb)s+t;r@b+<__M8~<+UnC;eNN@%{}FKK
z-wh*m*<z|>6=4KM)-gDpRlb$4Vw?OzbloV)vwyK3f3hzBH^Kh0Zv1nx=n1AI0acC*
zuwa^KsSUn&FBU+eG2z%jKuljhKOI-synR)uVhQgIIVrrCr0fn?6@;R#1=nuVTfxF6
zsUR%)fovhIX+_C;7#eY+)LrYVqo$xZ639f@Q|%N3aYZ*M0iWMSr4iizX5XkbkTKi^
z<ACsh{Hmz}zahq6IG9tnZr|2Bdh`}>P6QgyuS}y&LhI)R%L!WC@!SnW1+y`a-f%xO
z=O*NMCQt*t2kJEj3SHFth?c8Yt{}s7`zJA@1%-tT>A!jNMyS>m^^=b;<Tb?!&`8Kc
z+1alLG42Id?m<urgw=eW`rXGTxYC(?PAX(^3BUmVwrvL?w-Ciu8;~^a(Id0TFCXAk
z3AloDK<0q3L7PAWWoBnL?B7%2w}}QwQ_+VOCp5JkSK1q;qDJQe2_4LhvxOTN*am3o
zG7}A2pz?ztl<1}zr@*(NR0l8^2znf1*MaN-Bq<kHlx7+So=S|J65;<eGE8g2TZl=9
zm_Ayrui6y<^5r4SVn)!{V3pAZ=EoBo^<78$MCmz+%Z4==5k7tVNPHofYzRT^iW#fT
zh=shQGrJf|ZC!rj*|Kln3D8t1iBAnuMudQU>Tg_hy_T=Cv*9l9t`VW<DHwPQ{zrQA
zL2}39fT*an%uF#t3L=q{j0^Ml2SLTj^YS__{fglaLR2IMiJh1fF}xD{4L(My2dFR2
ze*ShmAdN}p<=%u;2d9F7U;^5Pnr#8voailktlJV+tl!=bwp;@uXJet83uJ;44krX<
zmlU()k^=a5@PgFP2m~Fk5&IAU*Fao}m@XhW8H3B%IdK4wL_?Heamj7j=>&cL>8YuH
zu7xSZ8yiqGz3ZG*UFgoAKW~Xiu?4;k^F|!pTT}Ne^#$Y_d@|dVq`c+}0N`UW?j|0-
z$ubSSz({j5u3lO9E}bnz1LDcxHh&es14Rb_Bvi)jnX&uW;SeTxr@RAn&Qh-d#H4=+
z@7;SGRgM6W)2C18%xu8x4d)Z3e0+Q?fNP}OCLg0&G-g@qDb*oSdWVLF0tlC@@zmFS
zeI<g5G$G<U0lfei7~nY8V2ioP=onxJrL2!@fnb439-*nF<<xBC@~X6_`}dE25*?M|
z-uOgsgHGoXc2EK+^t5O9@88$t$MsQh$tB|6n2T$nz~0RIhG8e`beZouVd8v?qsdc*
zGlDTn?DWg!b2FU_O&|)`J-lYet`p)>qT}L0RE1<vSZUtgR0s<SzISna32zsM-ofI9
zxisQ5TE=-%9+b<s@$tahw{L?+-Jygw6~qY|tgNiePC^7hvsbHM+*_j4J%dbXh43_C
zat<LQ6A_AGpdq}fPKK$fUNcw^?{%7=R5x>Sa$0<N8fWnA!axiFHl@+x>%Nw>4L(l#
z&G^t?<ojQ3pp3yA8el_J5I@J7KlU)jYTqQWI>0MRMM_`NtgWpjZF8h(#+pOU(=Y%m
ziHHn*DMGv$K`EZ(N=g#&f=o-G6UiHlErc~hSxrr7qMMxho3H!oF0c9TTq%aRny`P^
zS=fL>#`X7U3gVeiaj}(bC6M!^YG#e>2OD_7JO>&a!!LHq99~*Nr~r&6{^vkj1JUal
zUpkDe`uCxwm&{i2rzL<DCo>`8yFT4hAM{$7iNdH92gg%Rk^&AD7`^p86$WO37>nSG
z0pDBb2wY6a1h^gwF#`1^Z6pD8#W$QTkQ);il(Q!0EPS_QN$N(*!QMX8vRMcoFG5pJ
z%njRk@n^ljZ#ATR8NER%ZiI9KxhI?615+k6-<|*ZZNXC8PnCCxWx=0I4(jvB_?B6m
zC{P_YH$LtNUm73A8l4FoD>{&wjT+4#m4y=4bU2Qjo7orN2TM-A-;`#Oh8P50TAk>H
zY8hw1j*loC-=+H+dt0`SJYrOB3rsSE5s|%F216m9;&oi$TiKb%#uq;>kpZ>+?d#5O
z7k1&BRX4V385tW#B0|*(NtYn+d(;`TRxN13?j!?zqKp1;Bz=+X$1BE{dYQ@VLyOyK
zyS@@~r%IM2J`h;2bx{{+4s;iOrMfk8vt128`ZgWFZ!|oa*eJN*dXl8bfws1_<EBrF
zE-|HM#s^}F%Mm6-_*4$3&Jvl+;1oW!lLNoD+7s3@EgM#&`-zrA2>w4U8L%w!@$o4y
z%>O9nn1esS7u^sz7;IY_ig+B27E;oTTPW!jzyuQ_p%yBp1R_GGw<<{G?2hUX;Sd^)
zwo%M%bE(L9n%A5P5de!8=G_QoN=l#ZWBrHZnoKizw`|#u>}kQ2pZ??Szp>Tvl%{ow
zU}l+2Ue@!s869}&fAof(%L;29eFZ)-3J`LTh!q(76PdLD^a{bO<&752Fv0JJx;Oyo
z`5rg%L|9-PCbb*B&kdGti{(KK-K6yQFbCgdC|sFy=cxW^A;X+#fQO+kA2Ns*f)56v
zne_LYRowrx+kXi~3P;awm84Rg$|_0%#~tR0DggNndOY!fsRRoggQY0bp-+t{6R0O@
zJ%4t7=dxk+J3a}CW&(|kVkVI1+S+=I-bj=Ji{;WzgWBmXzqBB<8H~tvNP_q+2Yq((
z@Wf388JoiR<@)j3hEz8XyseD9)08{;uK~5r<S{@DFvC1bckkY9$#Y63Oe7{_evpJH
z`)V29Af}*?6m?HxoS>mU|5E4)pnq(PdgMFkOZOFkTevYy9_$m~2?$zV=;<lOg$8I0
z0gwIzcIz2-R#Yg$G#ICg>Mnm+$BYsf7+N651%TNJICTC^cx}w#o5XoTf)-62a<|s$
z(=nh+gwS$fibF8@Zo<>2lrLireN$Qa4yG@s*(p27IYb18$COyvc$7kSo$-;DmS)<t
zDY>o95Qs_@UQmS_P57$!O@>w8&iRFhTts1G+B)Om;UNxNUQNWl>_b1`6!yNtP{06=
zn_}MdrxyB;^fl7rKUs<Y8IS&hZu<WT!E4*Q;51a6MNCaQGn4h{;8y1v#?83GzxM$W
zj{hCT{eQ<L|7}hYTH%cuP#3OI=Cy01iS7zwgwQYb_d$@ARa7J+HNO4$p?BfJV_;6B
zV?f*9i8<U<{G&%?N(MVxhvW=IB7xH#L~8j%U%yogm7G{RfL{BF1XfSG%}-FhNRV>s
zdnJ4Or}f{iELjPAl^`J}UE1ufKYjXC41Q@sm4fi1ar5%>DiOzEylPlOk%yaJAUg0#
z2J76VBCv1<z{lvM^bZ+K@VbEGCU|kH-n?<1#zXHK#2hi~oUd@3Go{r!UlpE`d)yd)
z3Hybj;<RxS6Vs#2%*+GXyDxn^ix{ogAtsiYsRB@%uohqK>FJpuMlT@$d6iZ+Sb=e+
z>`@TPgEg+<_{?D{sdNS0sBI=56G5QGXplQ4TdrQc3aI@Hs~;!L2&~tJJVDs$NDp>?
zMZV~-VoI$l)quM_Sm1b!P0>#U<bc!QZ8#$T1nI+O#7+ZT#mvmy`xnOM+3gKqvq7fW
zUBWakS-e;>btvP*1@J-lYE0{&oGJ~xe?I{|x7s4h0?iS1u6y-Kys~wl11L!_0!o_j
zJcPI01MJ<f0hH-K<)F`>uZlTjv3#jWs#JM%vmOM_Mi`)tG%z!HUm6p_A^(3F&OvQP
z6gA8IH=-7;e%B&^&R+`!{~Ip**ELY*nhu5K^Y3hXDd3{#ZST(}|6e~b%zk+LiG=BZ
zy$$9;u*DJ6t4iOY`RU|4TY;ej_iF$N)b_AB4i(=MKwSjPYIpx$6S~jE`r#aLhnT*N
zOaYwL3X`zW4dT;jNI4;a&Xp4*jc;h#y>g)3V2nd4XKFdm>SOvQ{1*WYOK<?Upka;%
z>`DfCj)^113!Zv`<biFpE?)Ze>&H@M6%{Q<$IRFoxWPd%fqIJF#7|(&{kHk-cQB19
zX~LhR<%WO6riqZ`tEq7kz<d*;b{S`8zSVl3N^Ab~>fX7G5A0F!*0_WKK4}Q$$WTlF
z#Rj*)XwTts?QaQY5kbCvt##2!%sUu&AH(vsuZ0M8@XNq8W@IOWj3R9QU;J0|pWM>L
zuhD0I;<{U~=zzwQ3U3qG1_R<008)w0a~dMrqTZ1sf4Ke_8TS2#vm7nsp|eF5B-+B6
zy&%d1#IRLCWH933A+~dfwfwtxYeC%4$G}A9q<??$32fJ*j6J?{0H}Zmb>NB(kD)zz
zC+5y=l*iF?SpJvWl;Jl%$>_(v|9L#7qckr6uSayjip7+2>3;+#70q~ZDdvs;!b$Ys
z?1&vp+#~+Rk>SqIvG4ZAAOGY}@(GjoeroowzL^iLJdiT|f9?PLm+2b0NWb>$EWolY
z^S|sk|LH!o;_16kvY3DSZHtMC34{!_6VEQ#xhUaknAIMv@P<Ht1LPr`a*K!GrynF!
zAOa)))-6Vtkfn&uhk*|$NsnnqB5e>GTf-xz^@Tq_hmko9;-t*KK6Qh-k3vs~8=}p8
z2KNC(32mm<F9_XSTl!r0UT?B;K+q?6SK1{0LGbFe)O#RrfqW|Lb(_liUY|p{7(etn
z{Z^(gV9qf4!cD?8_Qmwrr%3uYCopm<`hOJXyIP^qEor>lzejx6j9o#XA7jtL-0E}i
zG~I@4Vd&Zh<DKs~A-eilRQZcevznPJKS+6elrN*0r6T=()feHiT?O0EO*Z2Y_e5tb
zbEhOD_c|!-X)W^zzCr0@&IPr~2W>qO-U_4V&!1mQ-EG|_i8)Ft7#)<1ec*wxLltOI
z$ioW`2R;=d`ajl9&aZy%)GZn8#a`-rxkrDOExSrE<PPis95`@*-3k}z>gL8TDyj+Z
zjP7VhA&(KGBl%bS_TkXf)Kq0fMMYu?;B=g!`9Qis%Ira7I$QQ?Isa2-C3cTlCH;B&
z>Rxy9;5f>f0GmFHY%vhYh=+%mtceT*3;V$lAtG!Z;N4C41Y@$4T{rP360(Tc1TaW0
zv1Y^@DKXJ9rH|&u2A1Jipv~c4tgwLYVUmpS`*y8If8LIff2sc&oL0btrRVLB#VB*p
zFZkE5xq_JR9{L-0S}eaoA9fel$uEhp`+?FFG|Fp8T!8yZ4^183s%>&|a>Ub!-X8Df
zTgGfOEE!Lu@x$~8f}g}up37(|)TA7mzF{rOV<Yq?wDbh50Svb1XJbIY2GEWjis<+d
z?0jbD=9o8aI?=U%!Zxj&y@J?`2qV*I5rkDDQ`3K)B2vmp8RT4pszf_CF5ud=Yvvef
z{hN!sr+=f2x&YDg5XQjMZ3kx7uU`+<>hT)cDS5XaBaNVYg6`ajh7OvWqsbJP&|}8x
zgA$p7WgI1<?~=jp+V$&*bOUrMr-NBJ&@q^R5{ZmKBz)iyLM739#Qs?qNw+Xem8=*;
zUJiB?<`ch}gsyLl;jkp<KIfxgbn7kC3ge05zmi2j12EBN)uzv%tN5u!LOieZpPs#;
zbpj{ygKuYV7CgQ!7bicQH_~TIE$gkYg9+4!y9Z*wZ6>z%o@3WajIcTq+JAJz87RWd
z21JPoRsj#{V{h*{0po)AyG#*_SoHu8Ho~`F&+ez)Yz9~#tcZXe%r6o#ycgr&!$UTa
zJ`N9CeS(?s$y49!Y$c*yO($#`VTv0cN-M4sVN5xmp@7XVJ<x^iMjL&3;pGbWga%>u
z{p;5|AfJlnCQrBoT|1rQ$Va^F0gp(vkdre3|Kq<4v$m$b{(X$D{lOdUoI<!11J%p+
z`u|Cef_ptGQ<c-Ug$kx4%PC}m3iz@T;1zzhW;{oy3J#Z?d@-i_IByXoYlN(a0R$By
zg?mE&0Ik&4-usaOlixo8;QW&OvOmYy&pv#1;@3D71LbgPQmy8HzV))eLWodmYWEh|
zkY6W9$~{785Tg-Xcv@J;LjH!EZqabY83%3(7rg`iB*>hU5rl}0>-e4L8BNuX!SK()
ziu1ZI*nz#m_oGF{E))+qt6`nEv0W{^zonaRGktUzA>D{RP2e!RaY~x7vyf4{aI(b`
zb_{OR5BNW{!RmvJBJ)4Uz(laH$op$YjvRTXXW|h@Kokm<|Kxwtp;$!zEN9jUOowyp
z><<03&+54d6Rgu{hY=keodM#iprD{l<6PMb-jfp5Z{O-co|l#mUvmxA2A*74(hHMQ
z86U_Qk*sC}B|z8DS9uY|>htjT-xm{!m@Lc;Hl++TaQ%C_ZmETACky=!6LD2zZ#P4#
zGy5@Franp2^XJLZ05KyWhQd>`$|ue&eYeDOVa^3M;dklo(E71%s0Fm6hsXe%ov<VF
z;sFS7;IZ|fG7|eexY~SV(}+cd-B@=Sv9aN!gsrIHbUO;K&1cg{(d`(}i0vrE#4`~@
zX@!#q26i0ge<qy~Au=qvf=6$ke_h$o-uk*a_JxiSI4JOx7*?+AF}*9=ZBa3%Ifd5{
zPE6<MS^RjF0eCb!)z#Hqf=!BYCpgdE%NbvOrCN@xU@?}8fSj{_Sysk|n&$(@haD^-
zY{=r>c(QIQuis1Ns5qWs$_Dy!7v91xV6~pyzR2AmD%wwoG3@-psw@hUo}DbM*}$d!
z0@X3}Sg!rK9yDQb9DAfF=9s*lf6wnL)~8A>9dW|Djaz6BI?FEW{yrru#D%4_i@^y^
zfA_~<Q0%{9d;6y$eCNIH?rzvz$-Yypya{3-TTb|qa+VKax3K6qrQHxx%eB}35I`WF
z53J3UG8^4m`3GeG55prd&bVX(j>8Fh7*EqdX%$qIirZW+)3YG=g+547fh_c!y+xA|
z!%%7(v4Zf?YzD3cCKi@>w1mBWs%mOYaL=V;;7-C=PIjKLOS(mI;l;I;#CVG6lx!iE
zF8p!;wL$Ok^V8`&B_-bvtY>1vP6|3AoD>sSdfZp;h2`IW+u{CYAx2r_h5wZ-YrsVj
z7!=g2Ujg?k04;F~W3jd2={XfFNA8;zu6a%NU<h31(@T9!_C<(PmNbFIMjd#2Q7mZy
z`Y3M7q*IJ59y-(yb4C+v?}TW;TPFSt|9L<z<p6XJc&B5Kw?<<wbQ(q20uMBYsG<X(
z>Y1PL$krcRBcpw??L)@-AdI*0_!7bR+t;t}@H>929Vroxn9%5}*d;ZHOh8yi_{8+k
zN*?0++>Nq`S%@47Qa|=g_h4&K0j@4hG-}xOyIEaeuqM`L11!)0-cMkg$`Znc|2$&T
z96F5aa8@&+sqt=9y=GcF!(SwE%V2SJ<38udWGfntiipzFpb5B@aQ~V=M%vM=lQAw0
z+*6mWMYB#usi0XM4cns%722-hD|RW6a2^4V;8Q&kK-PRnwdTFJDB&a{weu=K&gt>N
z#%k;nijb9Jv~*TQfA(G2_4UL1V#U}diqF`WO{j-Uo;o6m+#fdE2dnilni@wB3|HdN
z3va=RnOM0I3B;(RfQc|%7Hz|2qXcx7SeVGlvAJ<l%%-EQ^3^N5an<`G&#_o2MjD4=
zD|8f_Qv6TSb2bMK*5B5x(~J&=MR(&ig<B#>>(#$@ugT)6;sVHHxq|`eWM5i@@eIuG
z<(R%Ao~3)vx&Ar?v@CK6>~l*`bzSxM#IANjl1}w~Xm$0T02MP^y*5z2COp~k>Qs(z
zNr^mmZq4AihO~t?k%V_}*^an>F$|N@50PWz|Dd>`L7OZ&2N1Cr&OH+hiS@*-Ohd;`
znpv}aIdKbzx4?uS9&F+^EKWWQpGFgK6;NMK0~hiN3$@SF*_oMnpn!k~C0hrmxA(2{
zhxgE&$Un(usFQ`|FZVXoA(a3ac!-`#eh#-)KJjx(mE-R*zyV+%PliEa$uqlwac2dE
zaviT_6!S__10>*%uSk52C1Vz;_`mE7uz|z^H)4a9To_uYS`X->9jK#348n(W<mKh>
z&P;y&ssaA@Cc6VtodYn*Io}9za10_`+Q(MrC~!qRHjr?X{G(@}fDes&E#xErbxsz_
zb&7oNvodUX6K6$<tVyL?tnrz&Je&#pgL=@`8OEcaLczXSPyP-7Z1W}H>ZLIAT(;}<
z_z@AW7Lf#VXmw|2amj>T^ENQf0E*E>c7q}kMI5XvUnii!!C`&IzZaeO6)Y7J?T+^_
z5da#HMID;co(u1zvEa{??~l79n+8cRZeG5fo$ZqT%+9<GlAUj%3DvtEb7GY=ZXO2s
z=CL2WsB!U_Hu_QTbfLRojmw~Gd?ap@815|&6h;E7g+=SL6oS5CK_B&<+4F0wWJ!x<
zV-nArHET$A5~3Y=m(<3Enc{_dR3EZ%u(x~~Y7YF}B&*3T7u;}(xGK=-!Q3)qFV}~P
zoVtP@Ps2I}A9zSo&ZQ#U#MNach~AxsM3$NTT1x)*21xU<pb^a>B$c%&VEu#?zE7Xd
zHYRE*;_rPxr!7mRlmGdgakIDmbBip9Ei5g4m=Q@s0K2CLg`GfUqH3s};dJ}53pUiU
zvC3fRGsIu_Ye#VoHch=Y8|>YYt=q19cke#LIBNlslkD7{%QC=%^+QY@CPU3>&Delr
zZ%x4B<21w|vZ8?sqyrE@{4J8xig<XC2#Cl?{@wsoI?P6**qe`jU#yN#1qK9=zabzQ
z#g~YsWPZY8>S>!;*r18R+~GPTh~1$CsC;F{8{~hU{!`JXG>#EdI<&&x;f+)k)8EGU
m@IOs5fBV^=eE81=Dr(W4%%11b(P+?=(qXkjsRvG8`F{Y0^y7R0

literal 0
HcmV?d00001

diff --git a/benchmark/fri/fri_benchmark_ubuntu_i9.png b/benchmark/fri/fri_benchmark_ubuntu_i9.png
new file mode 100644
index 0000000000000000000000000000000000000000..96f4ffb8ec1498bc83d6b59957a051ffe0248186
GIT binary patch
literal 16949
zcmd^mc|4cvzV<`&#HvtaXrK^EWJ;7uX+UNok(tagN28ULlBmd#WXe1fT1lov#>|x|
z^GxRVy7zkbIeVXXpYxu5KJPjIy!*4(viUu~=eeKzzQ5n^bzR@<zN;vIa>H7dwG>5d
zkUMo;iK1vd@$ZV&EAbbZq_d~+L)`v^hP|?tk-ejyts!+z&)(X?%HG0MfBRKKTRT%L
zOCbSqf&F~jP3-Nh?IiZ?yYep=2w2$~?-O2rDg!rJV|_}~j-u%G$iFnv(ov=qb@Zj&
z@uMnE!Go=iPAZ0ri=(calvZ;dJM)CW#fo+(FYSA!<ID9-cW$E5<f7S_>?yEZE%KD=
zZ`*FISiumPyY2Wb&r=Pn`A*#xzD+4@TK({N_x$2W;LL&DoHUQ0arP|aBxEN9_ek~x
zSAL4<&#N?LD%`)GhN9jHw`l8NKveKOYBfb&I<Wi*etEouqUAoo$8_&yM1+oxY=}im
z)_JCTCqg|IXV``>7e8Pdo0zB_?I<3+vT@@^m(E8g$09!LEY(lu-o5+vJ72ruyy?Ek
zz>B;i9aMr0wS4W}nem=-{bYkV=dLH}0}DHM?qsch!mE0Ey2Z|yiBIF9VW{(l9k^?`
z?OADQ>4O$u6;q8Ws_$<T9b1^&>6n;58#_DE8!<96LMvUr&FXFVNe*|F>({Sm-+80!
zv7ma`bxP&g0mIIoo+tsGoS!|R9-lLYTe9s`<J9<_U0vg}(#>3YUO2A(xvkT(=kp8i
z2M^R<NI0m(s_@*teLKduGDO1ur(!_<zJmD_qsox@SFbp?sH|mpyD33{@{GVs#wkUf
zrn}<MU+<t{`86s0qSN;ka@D;xQIlUza>RHnEuKDerlv+g+P%1Vs3yvn{n{@*IVD@$
zl*RGTC6k|3;S$&8v)Wwx;}5m%v(%N5xsks(YwkYX>L@SXW}cY$IxKAaL9^OZ<_!sX
zh6Q`o6Qc2;)AI85KfgqDeg7Vg=foM72b?~2N^xeaYtX&jW6AyS_$Q&hw!B<fpRM5)
zL89hglk{?2CSxyNn=v$Y<6rf7_qpl-{tLAcC+X`Fb#>+B<enci4;adyv%J!rQSrS!
z6|+=QS*b9bKbP>)mt%NB>pHD5#m%69`SJ$2kDp&0vK!dK&TeVnS6doBIMA3X+glxZ
zACoAaX7x4ckB0_)Iyu6{?(BzMY9AWBovgn=Hz*QRVbYWqvvJcV+imTyzMVSo^5siy
z9oYv54jk}FOG}enn#w$2@pb<$KE6*$jTUr+jrTpSiMdQf>utSbGt?q}%un#@z*md8
zbI*lK9~umNO)hM^`t2P}VQXva)`MpLd4qj*ak6;()Y_&@E8Pf{7^RQ5*KHY!{v2#p
zUV%5oGlab|j(O2BU%YrxwmsiHb;9?-1CjTIg{eL?imcXaw{owXUszC0H9E(&dv|yL
zHGZahw9A&MzC2$4c*WAfut(j?6YI!+%+Js7tBrZQI9;$LK5^H_M+I*_*`HVti`C)P
z$w|Xa4%&8>@I^hjA`)cuIXK2;vahtc`NHDjVqaDG&8ve=PrAPDRePh@n&Z&b)fFk>
z(8nzx@LA9O>{%ZK6CInxt34r3GHP+E_{MCH^b$|ue*3Xbxw-WUii!_k%fIMLa(8jb
z`RKzO@$vq)a<lYUysO!lm$yYMzJ9CPH(opA&!a4S`Qv)k7^M?<*QNpwkBkCiEv@J5
z&Yc@I<LkAJr_|nPgnO~OoMO7i)jX-|KKX=2#Dd$(%Bn6w=R$b^e|hyDK|#UFrL)J6
zAMcE5N3bNkJ{J^gTJw4;1KT9_T#(4@Kx*Z{m2DyxRS4UI1|`3F4Mx0t>HqwBEJEaf
zLUH-M&}*}Dd*p*l(%Z3-_b4bRcx9N?#m30LkdUzcb|hfYW3IW~e*TvY7bj<@dd!jV
zqsRfzIy(&(rkbtjLR;n+=Z0sy0(Dg~EE)^!2jbKdn|x=+E2Yh+1{%HZ-BVs#Twt5!
z*UnNzm?~ij4w_bTE+Cp}7Z>Ix-z}s6`8D}6ox4>_R`}FlbDZ1E*z*I1-dY(JF)_+f
zeK+Z)tbdAP7#ldGw8O*0p9`D%U3BhZL?$qA&bUIikiRf>VFUAl<9V*r^_``U9TsLC
z9ERI;dMZOJ$K0`?TtOAD?{3}`tC?!#vM||j5YxRdXys9(<JcN0_jq><-jqe$_Laz$
zCWCeXF0K<C?h}s?9pp2f-MeLxVU*{l22(dIOHNKEc}Li3<kGnp5~^KgPs*!%n$pet
zTC!8~=Y|fs<L)^KLQ8SFg2mZ5`Czf|+~NE~&68gA9BPRd^J<eXpFH<;|52{f{))cr
zhtn)uCA_X(X-YdEByz>lIk?#{wK2`OlAX*>d5-H)_Q|_<@8-D8q;U3naa?=&iqCzU
zs3o7MsOa46ydqNJ;hE0Ij%o3FTP5teeRx%(9~$a(e7w&kcOk=K=FB9`ZNIpv?KJZ{
z#u==yh6dgC^4d1olrDs9U>tnN@$=VQ$HXs*x&;;rzHLK1-v*>ArRLrg@+6f9?%QTq
z<}Vm>ZPwJwos)};SuL(EJP%p%4(H|hU!!#H+YXu;2wS#%&7ZFjZQttWqgQyxFlMm(
z@|gpYhY#Q1b@IX2=4<n#Cy)7!em*q(wfW-%HuF;lR?@RuSj{a=x8L_>+{?mrujr|m
z&C9%nA4T_MOZ~X+V;>xvSQw9ae{ah^78HVyo;1r+<}I&XyY{g$)tGIzeZE;Y->uQ4
zF(vYRxXg+U%ty%>+tL6+S%i}r`|WdzfTU#0Lj$+bqAgPy*qOV;#J-x;MxPJJ|Ni}Z
zHv6!V_zT+4+S5Iw!s`p49(K*xQTnSlDs+9}exK-QZX~9|&6j`8&27UT%8$=EV5lC%
z8G$VAm{x$q#Ny|ZZP#Oz+g4Lk<22Q1JZ#c_MDOFd?MHS9xlUQACSE*TEJXqn*@Uer
z#HBB$z%AnAw?A&yAz{mTe7fO2ULpEi$oRqAw{L~rXYJ*xa~%5Zd#kx7duxjIu2#3U
z>Qp>GSZ@1V#V^FUo7t<2iC@d)`}^BdUHkHX$)HN3K3Aj+hALdoxYDeq8mp4LuK{HM
zlhfFCTf(GjyVopY;-&7jnG?%a(WPYu@+ixq0$G1;!<~nQhWr+vPUhJ6`dNqsk?V#F
zmZZvUavX<43?&b6?b#EjlY4b`rYAJrrbD(aMtM*3HPQ0minnz>mZwhr&h9!OIF}L{
z8XDp@CWmy6+9S7i?OMNAe5uJEb?N2}oN`E8n)L|ALlfCo2ekrf;zg$`1_C*J4!K42
zDo8K9!u%ezYLhJIb9|j*Sl(^Q#LjKD+VjW`yUN4U2Cm+NM$e*zNa(xIP4!MT=r$DH
z+hR4t(egG{E&h2^#uanjq5AkBBwM3TPs3@Jt&F~y=OW?uD~YogS+VRY2d06p{8__z
z>l=&4lpLqgm+s<%g6DVa*wGjwv5=aSl*D(%qpdxDRx4f&gESUzHBQ$`4VED#A)cg{
zsL*Rlva)yb7AhT0+GF`^M!px446-m%NbkJXLo`=4DF(?P;8O662g?JtLq_zTGw}wc
zetwHt0i%@(x&=d3QTX+=f<on0X)H_TwA~W`4u`&4IaCGUtL(!gOV9MSX1=A{%w2}}
z-l&2N?5b$qo}Xt{|0d=nyYq1&<IlCfZ`?IDsexqh<&9=)nrY4Mx;S+Ok)U(c91S!^
zTZ9+g3QOV_3tggYXXza-&UPEl`ARQpJbLt~uPHt5qTA?+70Z{GV7WK%K3g*N+B^9D
z*+2oEG=tJj=Yqw~uVdnS7<6GM@S?HQX|7zw{?o`@j{^e(<wK=j80r{Zz&dmCh>2;4
zTDDXn+!%lR?b2{yNJzqXPi6C5whW+;#MOc5Gl2r8<J}eF^|r|17K!xBy(MV3E3OBs
zkmJ9QQ5$5HALB9K!NH3Snm;%<-R==MQ9Rzx*{D#ka`|$xPfUx9_~Z-Hr33c1WCbl#
zTBY=o_LIHp_1G4yMjk1LPP_<8(8-O(e)RV7@lQ-l?EduZalgnx^Ll?yw!<#M&66h|
zu$CSWdNQ-W<851o>z<aD78T@Gi{Vdg`R=*A>Ir<hfJYvZaY}wD-G&|+2HhzYMyZL8
z8T}23adthQ0Sq4!xQ5y}7vS!(FsU9H6&0rzuO<KHH*2~f+LhjS19h)yqI5JM#XL=%
z)5&v5=Zraeb0vbvW@3E22Cvy`Z6;iUgkU+hwKdl<P;V=XsHJv*gQJUkgYF~oGfv~l
znO5xy@fR}NzATck$wQTN0fHWzpgMDha?YTJHLm2B1D5a)*r#i$D=#Pa<;IG2wMlx%
zyfhn|o!6hexBv{(fK<(9cF1WYEPtkZ+uUSCHAmoT|Gnx0XTH5aGI4WrtHu6xi{nZ3
zy`F8;aR-$y5)U=Q>X@~?b$+nmINZiBC*GF4fkE{XMO$<ncw9BpQU`$G-1+n8$3{l7
z2HoA37N%!^b@+101@6<WpPlTVEZU;`6U9t9_v#?$g3bN*U~#+JL|y4t0E52P+)U&+
zhaVr-xX*M2<}5AFVQt<tOIY^T#{-#4lQ$)?iD}-Bq6;V+2k<NJu{6BPSMnwDX>W2d
zyK<EL3;T(m=kuo9T(Q;}?z<<ho;Z1OFDfq~25;2jWPRCRTwVgGH33F!ym(VB&&6Q_
ztC->;$03zVm%_R$f}#*I+#(|N;kw<sE{)j=mAt>b&H?xY%cbf^q9<>0w%_m7wT0P6
z-IJm~Jnp}~dl4ik`+${)o}Qk}0m{r&X3Z&&V5X&pg2hOrsmY&Tjtw?vHsAr1qs1Kk
z_eI;RpZ2z9*+gh%TE-_|E^hncdd<8pHWCok45e0l%Juv0Eoo+TybePxnp*_4la^9L
zdhhNDvDUblY5C&)`}Zh75zPr}xCapUf(L9nPo0pJ?R%^sb>6_B^NLl0)2KfG#kU%W
z@i8!$UQB)MQ^Cuu2|BLxqs5GyHoXLF>5I>7Qvx6y%IOzKH~Au?aCowot&V-$wm7Vo
z`A|!?3re10x>nsQxy^x}@{h~P^78P=A<5_0C+Nf>-1<9wrR%FB&)98X7H2-}lIHjL
z@!*dAyu5t@?yJ^s4Ff7N1&nn0c6}9Vy<xucG#SMoH&+3Xa=Fj;MwzweFR(R;I1XtS
z6&E)LiduZVR1h(DeHDAssw0TDD<G1H<F^+*791KaMAFUbPS->!RNAIiKHPDv6MP4I
z6aY(g?S>6?6TLN)Eq0aS6Xomc{`lh$M{SRb22zDKlYMnl&jy29St)?<{9ixTVXYqq
z9Z}@dT(2IiOG9-M47+yC8XG4Ad7FvqGy6<Oe-uezGBbRi+T3Q`tM(I%rLM29e|?qm
zJI2+Xl;Wu??fE+VT4`0^3%v$~tc%XqygoNMQKMi!^6ifVfuaQG@ooabcPoSp^eK7L
z0?ks?erAL}`9Zs#qC87~qrj!l-uYV!%_Bm8BcsuR#I2jVyR*q2knJVot#<@;^WQvt
z_}kpEg?r~HNqj1E?3j)Y?sX)bZ~@gf8t0V+*Ls4B_$~gjMZFS8z=vVhr{v_$o0vo&
z-YZwcO&NtuO^%Q6qG%~<zO*8+#AY+d`(KCg`fD)l=QyB0?p?bI>kPjsNJ>g}qO$iL
zz<^iOEI(4X-{0T=6*6>o4nvC!xHAI-!-vam6vch%^%~D--}i0bend)2>XwhphyCkG
zkbopV;ast5Rc_W!it-j!Uj7bu|5~VvfYZ^TOF5rnASYM-XDxWwdx@gfKIE~aEq&Wv
zSzKIP^kn;<XB~wHpHmbAAHI1uc#6MeD+d&ZLKT|dAT}&NqMV|^r<JUKJFXnR3g~+W
z9kJasS{5jOs6P4b3rp7^WZW3w#^-{UWf!+#^3UF7K7uQuQZVVGsCoPPHhg*}WSFdB
zkgVbV^l9|<WvgOA+IcloUYXTKhd&cCHfp?zBp0h3MNkz3E9;w|KTW(Q3l^q=2xOW0
z^(z`x8~;3cB^^?#o^Gak?%9E&a1YRRK#2#e;ydLeY<}DVEP9F1C<l3l=unIM4lG>O
z*C(l%&=qJQDO&L)?O~0B+od;CRMxrW?_?}cn2=+$2}ph+<*pT_5UN(>&8V8Je}Z2p
zM`dn$xB+o2>@s2E4!Afqh|438UpBByYPe1hAsXUTFd{E^-)*Au<hdb-T_=Dy;;h>9
zbF9CU5w1jJe*LQ9wMaO}$RDdzaXrGzp||=3@{FRJ+uQp13sHa<nt3jhwqJJx@_?pR
zf$*gnRj?pZ&3}BjyJGq#4dp2*xNy+(_Om*(Cs9#Rs2bQB238!Rmca|dr=ReeB6Smf
zSet6BAXg1Mov`Ji(@{XP;5=PK4cinOGjoiT`|K&dHn;I}B*8Z&U-m+R4=X7-b)Q*C
z_R!UVs>9PQ5k5Za5pg9_d$X=BxD2-Ds-N^_SH<?`H2veo3bIaDhgwXf11gMa=4Zyc
z`uq3F^))1h)+g#FinclJD)8W?DC=!cY4~ms$%c^S_IBOKGlBK1INZWE?~y+>+i{Ks
zl|u<!$+qR>!tCUrM<5tJ!f8r9`Sz__(WooWMXf?OO_5Ka;3$J(amuZtV^t(EHZP|H
z_M`gxEHj&!^}9BvjT`moJ*qhpoysK<i`Hzkmo}yXE!}4oR|1BvRo8Woymf0iQmrzO
zUEqXAqDuLFFE6jclp_5{KotAvS%goW3E=wz1k8X`3{2WO6{KQ&h}>+0Jk1u{kdTlZ
z6lHg3<W|B7g;9iDFX-#PT(CmcJaPQE30}dhHD{8IWBR)nhgytMq_FX4)}o>!F!ys)
z4oIZcrH}VG5HW%88~72Ho{PYi2fk|%X*Vg25^@s|Q(&{FrvnAzk!8tLYvo>z2L^iu
z-eLyo3c<n8J?QDvtwdv5yLz=EP=LeCnBkSiloJqGD#mRf$}nP$&qv4-pi8#3yAF6Y
zp*53(&FVr%pQ=zz5_TNB6O9UPR{csY|C$FyEv9UZi`!dr@oY*tT?NlK8OzR+N4AcR
z>X_!P;o(F=<S%4eLg)#^rhE-3dFa#1(@IbR2>;HT8_Fenf~Xv9Qf|L8d=G=*1B>;?
zM1|OzWFmWH+eVfJ@W)~K6`^twvONjHwir1KEjPGOf9sv^eLKgFoj&aiz<`q0)zj0H
zG=!2U0T~MK&k2QOi>k(iMcZ3Vf~ql>j9a&Ad@H^jOi?S|cM5qn8gk0h?79c3>BS*O
zd1xqoUn0De-y@G%vy%_NL-tBaY6C}CLsdXlq^J_(<wp!QVzQ7dO{RxhbNUl<wg39T
zpZN><`{{a;1>YH<5>eFdV}BNxzgCrdS-=0jy5gzeF5T(ISk=AIG$eJWv7&3~+m`?M
z)KHi;5?T3~Ve{q)t}_8Y@m%P#Du5c3AGcXWqf{pdY@n#$nU64dVrGH8G@HQVi2#Dl
z5Dnlg;W!i=cV-zy?WCAo;<eJ1?CsMa`2ruPf_4zi#b0l0<COG2&VBv=UhZ=%XUU%*
zJEIw|<~~-s$K_|Z7XusHVA3K)St1-`+PUOFNV34!;>w=vje~IXT;$4gB_$;Y8X<1K
zPGCNCPf&ccivYH9$M0?;NrdQa*zCO#zEWk?l}4#Cs9z-g{pjdOhcvP<KVC_;&#{6J
zACAXsB+KA+zhEyhaBw677a6$@oVdpnqYx@J+xb|b7CPbv#N<6Degc;ADvLQh-Vm@&
ze|SPMU=YN8@{d&<B@p0%<vm6Nu`)B)DUIc~?%Xkh6dij$;?C^UU|jeyFY>GAY`kv4
zMUtvtp14<=Wpf!Y_bgZx$-5+t4I8I63VSTN)x}>>N77R)xVA8m>L?lnUE$7p=9i#u
z{f|zvKjH-VJ?EEZ+jZKt0Lt6m0|%6#e6(dCLq8GF(Q0dJdoJakLlXH~M&8b5E9{*i
zR+^;MSwO~Y?^Qvz9Da@H0e=>Tx1$0wu&~5dRVlh&_&1qs2NKGht+jR1=a9qwNr{A2
z5kyAr3!vK6oR^nJz&X&kg5Lxr7*J1l5G?zz`9zsMb*jp--8~9YW;B*c^8sLw_D#w}
zhMk?At{mb6q~P#)B!{u->4vw?<0;x!Vvrm_G~^5B$L>L5o~$}X&jax#Tmd<Z)U{UE
z;k@UE91~9abBBW_F@4&C7t6ej*|uoUZ`E@~av|KlrL~o<iJ<AndldSx)2A{P=BE2m
zjX?^guCS$|I5j2d-Be4^j={1>yn)ISLi7uI>3Kygb2TI)+t$zuBfBh1gj*IJCQc07
znrP@ZSJ9gRBNDN00)W%7w;|)o1wyEyG1P&XCbAv6`m=OTs0xxZaP#A4DN7WMbiKlr
z?f}!8?CTHX6$x{`qxTbxB{ehZ^=q?<pI@-OgC1~5CxG^uzw@M-g<JuR$G15Flh!GX
z8Zv^d2u5z6(-Y##z{nVhAMzN?=juxRWD}$?-U}IT*xg2s&P8ZQElkuLlDc}I<=_N#
zG!rshkcojo_t}Z_cQ<j>Mk#PWuV`*YdY(ixA_luL_F`TR0{jh<sW~<W66j~P20VJq
zw<xP_S(o=ye}4vqC^Q`ano7Oa$^Hfh5G~N|(j9LYR*-a1cxS`-f`gSu9oURY<Y~si
zmTYA#zhnMDD!1=uD(pAA?h6H$UXR;;3(%4Mp=zDQ&&<p$;j#GkqU+#6vamBui@>Gh
zkl-^>4fxm6(ba>ePPVxYXXmgYb*@4Q?-a3Y`PsLL70jqFATb=-=)^LizfFe9D~`zP
zFj@N0Q`BcYZ|dnxUn*8NCu>tDr=8p4e5?dTJuEnDv-$Vj+}tvMo`_WA%F}*;E<l6Y
z+KdO7?}X#>K6Em8m0zC?P;UXsnK$&NxaE!>J?dvbf1TS6-@42JfUanLb~A<Uz>S+X
zA!~#Iq^JkplpY-!xzvq^?-4vleFBh{uR=a}Z3LK#pCcasFmV$)@R5hc`u(jnW@wFo
z0gxL)ujqr)N9T^x$#t*j$B1+HGvna%?3kk%F)r$3aq(VW-qYCeHPHP0A3X|(F2Qr~
zU|o1S)-)bWsaYD^|EjDr8Nd(!9_nLJkvLyvsI)E(4NX&?YbMz(uDQOx^j0@;3HK#|
z?3Me)#Wnp@612s=rWB-Rjx+MAkoE)=KW-rVI>s)Hl)+ryWApF8T13qP#gDUW&6%1)
zPSl1P3M%!5AkMM!ef=0abau^*IXNIEBu;m6F0ROT=Bw~1x?pw+ZGtqbb}9F{!A!bA
zY~+k39l!$chB#2N(`V1BpvjUlV2n8-8p!pAb(rxMu}KDNlpPeOhz;9BqV<cs#iy>+
zzj?;lTk>dEV*&>{K!k&a;>EjN^YB(hkCct54TV)z;m6Y5W^4(i#C^*gf&jtfl&r0-
zGy3!1zU}PldJ<|#>gx?<+Dj@b{*XyuK|U&LXi$eL>BkvY7wgA$h8Iwnq=!O!={I9t
z<>r+khg}wDdM3Z!q>qIj@R@rfYLRg8CaUMtvt7NuUWeQHL`2j;I!GaF(DjIC7Bb>K
zcu*B84Qa`deQ)fK`MAU@e`rPUV<cdp>q8L?7<WyF&O7}0w<VtJl)od6=)L}5P{BX_
z6@P07d?(E5cc-p1>VXgAFSjKmgpKH}{P%&!KmCY*z<~c7UgUq~DF{V*G+wZ2pFmcm
zrKPP+H&<tqbgBxkM3Q7grp8u@gC<Xw{By8)htC)m_G}Rk&3-AVi%`o*<|hRe2?UT|
zJ|-q+N{SR&v~}XaQh0F{At#xZt^Ygt{jEP9{qf@mYXG#wL{Cp@ur2Qbz0|KT?EHh!
zQh*vx0h&DI<iX}6SRc~9Jv2gzh_iUGvUTY}&(hLTzgM<hWpaL3huh-GgReB#w?!FM
zJYTzRT@41KbABf@hU6}P=66BhhNL})+E&n4AHP@b^y$-npnFJz9aW<H_bVbm8i)4q
z^Pe*{HJ$2$SU?-cjQt~KGrOLI63}`S0Ox$<!dXlcIzEeQHf*SfT8mBNEgH4*9msXO
zW~wY&h>GC3gM-Mk;6)91bJp2VaXVT3-Z*3qwF`~z3=jDbNzI3mNc#-i<kxuK(c_ko
z&_Z9SLA2d10##l74dni0NEm5gimuJjnuwxEdIZhxF3!%Ss9oRjWzQDzE|zzo&1A07
zM<;^tLXOm*QC?=2ZuafnbrwPWTfm!pU^3XiCZPg|(?fR&Uv=yDr^G;~<dh)pvNm15
zd>IsnM~=WPXvVd9u8xtBkug96F6i68_?L9ea_5mb2Z%#O$l(j9Iag(XTdD4%T+jcn
zgXf<K(Px{o9ZE_{6qS_x5-#TPdU$vsLw{!eOS1AbIJC?O)U)E5&`ER*{Lxi{aYO~3
z%$d14LbcE>N&~#^9nivjKcr7t{tonjXXj2Ch#+Ro8S$hOj*`G8VSftLvJOq-$+_VI
z(!V0jdO8lN0q-1q)7mQ~n6@q3E(#spS5WH=a{nL#1$sw6p*bsCSiBLjYI_5^%;*%3
z^)2Dhr2U3Q<ak;*dLrn+J#*U!?TuQ|pD{#Bw0U$a?XlNx#G(pNEBK13uh2@+u{+~u
zKiG5--P+^CumU<yv~#h@Be<$Fk#*TOwBc*vLy)URZZU*RsFU+5v;EqI#Dc{f<+TvK
zjx3f5QoHx;X%3y+vSmxuP-|{^aq&sC$bSs!Vh``+EvB{t@&jt~q8{1U*qAjWyx{D`
zP{*dGuAaV*=alG*=dUsNHS)c$IWv)n03##TM1rm6h`Q5X7uVx6i;Ess+OGFJc4z&0
zcyR0yX{7o6IH;Lp^Bt^BHw(s#XEiv|p#7r(i_TS(el!-YGh&3EH=ZB_i3kl$>)hl7
zwP6;hVLXo;w`B<Cqp=2`C)o&E??n63qB;bJ)I`$eO-CP_kbEM2)W)gro0*-JNWX+{
z%^%d1r`e~GbVPdbR|IldBmpHnJUoyNF#CaI)5t;Md$e)`%PS~MLo1=EaO<b!txN)O
zn}tX=39kVu>Jo6_0DZj%b&7_R7^@h5BekE*s#NLd?%&WQC$1yl4|^qXJeJ!;TxzvM
zfkjiA9N4}ZI$jXju%EssN&U&nzSo2wTV?Ezr(Kdj(n5kas|vdgEy}%I3LCBpww=LH
zNCJl<gmJr?(n)d8nQ$~_`>+cixDySMfuYmK7N4E1;1Tk4PDVEsJ-KMv`z$Wd038<R
zXIST=A|rXYxQhPFZe2VSySVLfI8oB2w>RzgapQjpK}IX-(sd$=5%U3x3W!QA*2FTq
z;?|nY2I*RZp;c8?Zt)Nd!m`Rn8Ad=W!E5%B4l^WI(tAM{><y7i(G7hr;b4}}@FmyL
zYOWppMj2aF6_}skD@Y=xSA#(7Oh5d-krV_5neCW6_D->7zrec*MJM_wF!#V96h<X&
zZSCufs@b-Ns?mx^(S^%4<k+`w-^|R6I7DXZVJ@pNRWRGPH(n=K4T8MANg@ayn9{{d
zCl;__2!Q|sUpKH77aKjfOr1S<&f)1yx&8O|E1aF3yJohlCurL|tvCejX49rk1lwY3
z%0u^1hRVXo!0-wZKpv$3SgrI}ScW{d>8`+?oF8@Yd?U?r$X-*1_lkC+=LDUH^qicf
zO0YRlkaiI-mY=Zxht=f&T>j|u2%G}8ln7!u!_+mryS}Ur4F5{o+nEfR-MH)6?qcS5
z<TgMH*!F?d&<@aa==E5d3l-4L3PbAZoY@XCRW|zhJHSA9o<6=c&n5nuLQz)tqGPLG
zMlTtLa3?Sl$h-!OH4KuJSez^_?2OQEU#_37HQ5)JC=tPgzla@8pc#RL(v)iK3kttC
zsG>V*2v#)yr1$t#aX+FL!S4d$WwP0-z);gTS;N*%nIxmNQLKqHtP=LoE)ze)K_<$L
zQpMd?L!6^dC_kVXfrL&9B%Dz%RKa$rwHo;2u*Xs^;b*Vlg`~c%7r(en%)FkDw7!Bw
zt<Y(kMAPPb(luDnR%n6HQDeFfXsp3bXEEN+!NGX!#xninuML`fOtjmvWj6X>rraj$
z)DK#=h~<ry?X|TlAGHv~7rlRHRn~#|34O^EzfjM)Wo?6L2HFb>z<ibOvmb8KoW$EX
zebCU+IXb29r=vsTorSE4`wKgd8IYX>XjW;vxdi>ZwP|9wV`l+AZ_9J7!?Ma%=ey6b
z*0;JHBe~l90Y162VOy{&nU>&NxrgxM?C$dQmw?EKQiGiugPI|3`4(|OyLUZ4Ua{*8
zm8KOx)j#*9UdCk_+CDX;5kPH)oC}YjIpj?5`}ZAAoWtL_k2GSM@PazowndHU_{+OB
zDI0)n#B!kuQevh2!?fMvWZsKv_(PXzU>3EHeS-o!mbV>$WO#F7<vW{>k2YKOW5NXO
z%PF{TtdJeVQvY24j0Vbf0m9>v(V{;Y#p6MqOV|bjAi~r)&P=!UWWe5g$b|p3C-mRI
zFqGfdA*_Bwqb5OM$A#jzSQ5qkPic@;|AVgBe;X$tWE)aAF;~gR$bkB%=@+f_n!KZD
z^69A{bO$vUhw7l~KtKM<9ErOB^Z|IGnOQ80ut^wNSH`*5#yU$~KwXJCVT#&?81zT>
zNQ4>SP=q9ARGH_y&rSP*uji3wKV5yHxAnQ;<vWD&kv@xG+ND2eSFBuV2E<ERKtiX<
zL~IDuUFHN)g^P<T2D<c=2=FM%7-^#jyum7kIoX!2za;PH=f^3B4l~^#X)`-C{w=+}
zM2bJRk+#$_r>Na$pKgz<Gh2cVnUljwD)Ap(H2b-^Px;w*e`5BULZAC<gQ4-?BI_^*
zut|n30`#6B$x5&pqFh*6odHk*im!u2cfqo!tBVVe*oy?cZI8b>m8hNlk~p&h(G-aV
zgd*8hPfw3U$}NjDZegrFhnrPPFU=^BRtjp;XKsA?oeFre<6u)H5?gcNNuRAd<oXc6
z-Jmpq7hU8~Bv~Y#k_fO_#qM+jNs0iIziJuOSLoZ!cWlZhp(1t^`!@U<?Raq>@!}bi
zJx@>vCAQ^15X!Nj|LrXLpFy_&eqZ>%5CJ^j`)H{!4e#WfoErm0oVhu))NShTB(ndB
zP=BYp@o!_DYGL`$4S`3PW<QLP(6YZP!-A_Gh^(PFz!2L*)yF8Ggo8WXJ^T1w8C9rY
zN0JqzH>p9-B=Cr|t10hv8N0O_en9J_X|9@}tw}^#U`)$KQSehhK{{kYsxzT#`8yI=
z08X%w*1(2BOe4er0jJ96jHQ3YLyCLU5qOHijL#{6v6G~fp>n7r;3q?u=1-Caj&Z1a
zz?CJy9UgJ<#zk@Gu~(1x5@7j!ZQVgn(Y?yAePY!U6A&Q=xozd;XJBcQPe7k3?B`x#
zAy1F1U1f~$8S}zYSQm-0G3>p)n?es+X>@dybl-^g^YGNy%cT7kD&?-N!$MwM$wZ!J
z3E-y>9`etj()+-L4v)NBMwA4YXmtL15$!jKR@yp<X-^)8=gRMJe`~t`iPbNW^{K04
zG}yPhv5paCp5{Nd_WxkB7X}@<WVSKUt+#Jeio>U7ayM@wqyN)C@ejWGZ<=HObj%YO
zti)JQO<nzA-ctj0bxhu(^xr)?m^S~|-;d4n{R8GBxR4x)_<t?S{ey(Uqe5d%Y|y{|
z{xCB$lk`GSY_k56>-D3s$3c2kcFFow5jG3r6bG6E%S|5X<@8l!nBGrhHd9gOf?mU@
zs0H(nKUiQq8bk{4bC7=bU%GwVYHLqWXQ9Y|M3S258ifCmW*o?4P7=b-^GDRJxOER-
zwO^Y%2cD-08`Uva{O1}RJ{Fn(Qk{sh?C<BNWPQ8sL%`KKp5kmB9;U)NE`v(B4%^(V
z#my?KiysNTJ$KuBJ=e$448aGPMFSmApWR>Iv2@K#W+OHH0bvPqa2DSn^izT8*CR<e
zIi44uX_)NY>%Vp|u}G|2GkhU(YhkmJi3dOKz|f>yUfMxa0nK<1)>Osi@4)AXk<s{b
zu#Jf{jLkQ0+(>CPLIEUD*1gdvwHID5Ufuk+d`xGq*9V27$4DAu5R=Ow9MyGwqZ52^
zg5$D=<o*Xm%Q~JGtS_wUDi4I2O5bWP15H&;jWQ4>ak|01sxIfTJO{aAuY`m|^A(Ud
zXv|$zYOl{eqfJQr_G@Nll-^nJofwn5kKQPL(ED6oEDfG1SK+1&<GjCBPzDVvbsWyH
zhh4%19{<zl&ebU^9Pawpb#sL$54J;7AQmWcr2E3SWlLb!N655b!pI`0(V(5+SD0Z^
zN6uk6bk!oDrjc7~Yw=58K|c1a#Xqjw@HsJcbi3X_XebUadapVPB>m2LwI^=yFS>Ks
z=6}Fz7om%hlQG1X0yhsiEdYHn#N4}xzf0r+rWYQxR{&O>9UT#9{{2L!Ac2P|Q&{i)
z@`G2JRNz)3Zh?jb9fy%`N4=zAZB>U*SQfZ15iPnnbfYxcRp=Ya%Ehk1o&quD$^860
zKpOEiH!$40P<DlNAIK6qcd?+r#JB@HoG{Le%=PQq^sM%je~9A;Ao(VU4fF)Cwopqa
zi0cl7jNlS<t)XP_?osy+?i7A-M~{G#zu1(~P9^5twe<Ar=&L+={=Dyonay6LVsCG6
zBBK&py`g~t>4wvFOn}UqgZpab*vFu+3|lS_*kQ$O)sD)s0}s>_FRFsC5u?r)H9SY;
z0YuztIM##>%NXDUR6wUqU0XYNB^~R}A7%GwmdSIKYUI0RAG-jR#s@6nP#W<?evC`Z
z@B2_@eP~hg!76%oVNPb$p43dzxE-0E7L}SGIkrXR_qP(RQ*U;Z{_g853fnnAlYx_y
z(^mAn)2GF)zj^K`{hH$t7gu&%0Cy2>M(1-!X%_6v<Le5ql$x>%5hu|dNV@1$eE(49
z&0$2XyAFXx0Rm?=BqiR${b}f55^W6aVLJ!Yk_b2(<ou9x@+vAS&S87a;;@E}D%05Z
zaTTR(+b&MIT*qNGSf7z6%!f%KhX?U5I5uWu_T0GGOA{<E<SAl~;yTR`dy;vJIJ{5a
zUO2X$Cmm>*ot#}<Vxd_)N8g+Dsni4SNS3W%9U*(a8cN9%IEbNQ^ukd41?q{84!h+a
zMyaL{tB7%wI8o&gyM8z{koxw5<ewU~K=h{UQcKqJ6P<>v9&>}D3;nuF)#y>Z(AF6}
z<|eSb&AEpSsQVmVTFJ>NiwJxWhyhu}KFNfQz|vX;FR?JJBn05XAV*X~RA}y-#_?OU
zh>V|U#gUqJg0(|K5{nJ2K|G-(p~4{3!=%1`Bc(F{&d&myB&@j!urbK_!KRc5$PE7&
zTG+Rc+%(p#Sp%J04cr!myzY&r5H!FKb&)%^efjc5E7j;e85TstrskVBZunysu*Tw_
zXhZ(g$pxYr#Ix%#yQPQ_I0q4XCFo#59}k4VXk9GdMX?nF`slirm6SXT3hGeI%FP9@
z&yMDuXZ-V=5m9;2MvTN3LLF&=qYw63b2#^AyMwH7zKF|f5-BbKcl!%7AP!=36a}u<
zL%G^5GL{{`zud8}<EfwDOWdUt2@$htn^n)^h`P8Z%eD(-T3laO>R+`Oa;gr^USc#Q
zsRTz!_ClJ1AEFA>TwCMdB44JBHUbQ@!N|n)8fPf_vU@_5kvp=VMLoQWu!N0**dU++
zHYN6_YQ>X$0N)PcDthBC*=X%-+c9{n(f<Q~u_J9}fduwvw%bnj`u2-I_VXK9YC~aD
zCpl@|x(=g9GCMPEKCSma_|_4h2h^*`SFcX_;rU%y^s=#gB7to;EjB&#-TrGliX2_h
z+xih(@IC~^U7VaBMy94jpfT#5eIZeY<7)~0taP^9iedg^fp#T~#)MB&(*BP0hKoYg
z)z#V;gi}f^*K;vLgr1VZI|;$!q3_Rsp?+j^RFIerJK$?g*vq1cJqvSHkU2+|nq`Mm
z+*0ck16G`=i%j3*z*P8ctpifF(D%O(pZ_BC;P&6SYZpwB6Q6`C4K%kfGNR-B5^6hb
zydF?8^gm6hqDjLE4B~N-{&`p(<Id11zC*288;`anzh=sD3_mqfr{J0n@yTdtJXJOu
z!MtN?*rbYmIULK9X~M#QVHmXF3CM(vHQl1|fNL{iiUI42JT5+QA6T5oTL%owqH$1*
z92JE@(?qubWSN*+aMURylbptaWu_MTnw92Fj0G&Ua1TP<&mN}(SFBjk3(G^=^wLo7
zaA$9C3@Y#$Klpcv?J^I!0bb!JzP`RLQv)$L$ulQ{V-Vnv>ZoMo3?5`2UYx<pm$Eam
zY)mmUYt2a~Uih%1%dWKM)P>hu6)dO`Qx4<-MgRk7!=&M!FNHpWRsPItI4ifqFhl&-
zI9ZmIm<WR$Cvm@F{!qs1_&v5zC$`c2b|hTn(mSf?<Hx4J9vIG}LR@&y6x7zLkh%|V
zd^He6S9ka8Vs_WF7@yw+aefdZAIvqRE74!Rub>th<15ml2UK%Z2`T_{#+{IAkUr0V
z#i+qI1RqsA^2OIVHfX`2?o-c5M=>i)jFdQ*0|vjlFF?gR=+LKv{By!}YT!JfH9sSK
zC2pz8xe(b6K4_fEi-yWZh{m<01xGn0*bIq76EQ=S@>w{aCkHdzc_k#8^f+LXR0U=k
zI4C(ckSc-Pz-fvN<M#?Rg!ovmu5P2enU_&(!{IsHrjuhY2qbFm<m}9htAxk_7$;ZP
zZP59J;GNZ<7;aw*Xb#1BG92@4&24DA3Pm>p9siH1l~U%*SFU8SdOIrn;NXXkA908Z
z4qkCL4D4H#RmsC0vM9^<5xy<aF!tEs$jw|1Oerh~;Ey<#sBbj~rP4erJDVA!5<$fT
zR!OO?PBT@$j4zXj{t|H#$6GPS2D(cHOAD0`4Orpr+`qnXtC)3|AP(tyxx@X}Xl-XF
z1TENT>m9vYI0UC4IeN=Iufj+OU0@$^yKXVo9&(y&)R9JU;)%8C>~c?S90ZFaZc=HF
z{Pl&3fCM<QbDM90P*%aqABpF37SlN(<bflT#CpLchwNAfFI-)|yK5^##|5XNZ4c+8
zVVS?Q=<1aLh9|+NfCU8hr~`aTcb&F`?k)a?9=#JBLp0R2gzXaNv*_3*xj8sEfG$px
zR&JpP`7b$5=aqr|*1SYVM;E~P;;^e4i7puKqS1N!iSq=>(}L@dVH*<9EtKh$fnDPh
zQ_#Td7T73;eanwfx7%Qs8i+aoi`R=Qp>XVwejCTNU*SYrOKns^HHQ20&_r{Z>0=nP
z9A+m>BVWIUwL-M`a&C4uIU^}PC3p5LIdX#Qp_vIHxQ9jZb=sVroW3q)Xz;;!lLHz5
zi}d0sJ^C(u<yS@9_uGw29hiQcO;2_IaS(YZ57mzQ@L?U4H;^3nfJt)F1`XiJCiBD?
z=<RSu2MAnz`!uqhc+!9#h?y4$b?pQCJBE&<;D$K;Sc5;ES(<Gq5H_g_;}bH&B2-~i
z1LZ)2k3oBo*>^zv0w^$nL5Z#zg6|2)^q=k6NK%^`ZcoHhjAoo%T)Is;o-Kf^JnHG7
z<$eyKQ}JhZZY}|!Qw2-pI2oZCQop_}gW;wB!`;oA^20`LVS)g$4$uryD^#FQ)@9on
zljAxCUCA2?(f3penDX?bva_>$>(q5sadxWh+T0bA8JA`%J%o``&`AH-)__CCU=IyA
z{tLeK5=n}jTPG*$IP-q}xCbWi2F~4=B-g<p0Kh>PWoI`IHK89`rYhVuq(6puGDQOp
zhf`iaDR~m*z8noF97ZEYZb`Bn9ORFyd)~uBF|gqP5ceh^beyRV9F#zJj8p@H|FC^0
zfsy-h%Eb2PILvY}KoC<WGtjhCAn9^()Ys!DY%zIVHp*aHtgOLZc2fhIq=!VD!Qf(W
z-tHkcgkK&Vgn9@y19LFn$HMUR8j+=eWJfwrlSuYW4fNYY&Jwn}Zr|H5q%0l*0eOPu
zfb_@a=WxzQmq;o&q@|T+5{`O9h!gBerQ=e>Oh~$?<X{W-Y%Qz@l2+@&Op+1SSvjjI
z?gSJNq7b(w(1a=eoe`#x=MqZq<G=gcpTfhlrB%%w)7x7Mcn5I>C3iypc!JEO8~+Qv
C2<W%~

literal 0
HcmV?d00001

diff --git a/benchmark/fri/fri_config.cc b/benchmark/fri/fri_config.cc
new file mode 100644
index 000000000..fe1dc364e
--- /dev/null
+++ b/benchmark/fri/fri_config.cc
@@ -0,0 +1,56 @@
+#include "benchmark/fri/fri_config.h"
+
+#include <set>
+
+#include "tachyon/base/console/iostream.h"
+#include "tachyon/base/containers/container_util.h"
+
+namespace tachyon::benchmark {
+
+FRIConfig::FRIConfig() {
+  parser_.AddFlag<base::Flag<std::vector<uint32_t>>>(&exponents_)
+      .set_short_name("-k")
+      .set_required()
+      .set_help(
+          "Specify the exponent 'k's where the degree of poly to test is 2ᵏ.");
+  parser_.AddFlag<base::Flag<size_t>>(&batch_size_)
+      .set_short_name("-b")
+      .set_long_name("--batch_size")
+      .set_default_value(100)
+      .set_help("Specify the batch size. By default, 100.");
+  parser_.AddFlag<base::Flag<size_t>>(&input_num_)
+      .set_short_name("-i")
+      .set_long_name("--input_num")
+      .set_default_value(4)
+      .set_help(
+          "Specify the number of inputs in a single round. By default, 4.");
+  parser_.AddFlag<base::Flag<uint32_t>>(&log_blowup_)
+      .set_short_name("-l")
+      .set_long_name("--log_blowup")
+      .set_default_value(1)
+      .set_help("Specify the log blowup. By default, 1.");
+  parser_.AddFlag<base::Flag<std::set<Vendor>>>(&vendors_)
+      .set_long_name("--vendor")
+      .set_help("Vendors to be benchmarked with. (supported vendors: plonky3");
+}
+
+void FRIConfig::PostParse() {
+  base::ranges::sort(exponents_);  // NOLINT(build/include_what_you_use)
+}
+
+std::vector<size_t> FRIConfig::GetDegrees() const {
+  return base::Map(exponents_,
+                   [](uint32_t exponent) { return (size_t{1} << exponent); });
+}
+
+bool FRIConfig::Validate() const {
+  for (const Vendor vendor : vendors_) {
+    if (vendor.value() != Vendor::kPlonky3) {
+      tachyon_cerr << "Unsupported vendor " << vendor.ToString() << std::endl;
+      return false;
+    }
+  }
+  return true;
+}
+
+}  // namespace tachyon::benchmark
diff --git a/benchmark/fri/fri_config.h b/benchmark/fri/fri_config.h
new file mode 100644
index 000000000..b89b7a22e
--- /dev/null
+++ b/benchmark/fri/fri_config.h
@@ -0,0 +1,40 @@
+#ifndef BENCHMARK_FRI_FRI_CONFIG_H_
+#define BENCHMARK_FRI_FRI_CONFIG_H_
+
+#include <stddef.h>
+
+#include <vector>
+
+// clang-format off
+#include "benchmark/config.h"
+// clang-format on
+
+namespace tachyon::benchmark {
+
+class FRIConfig : public Config {
+ public:
+  FRIConfig();
+  FRIConfig(const FRIConfig& other) = delete;
+  FRIConfig& operator=(const FRIConfig& other) = delete;
+
+  const std::vector<uint32_t>& exponents() const { return exponents_; }
+  size_t batch_size() const { return batch_size_; }
+  size_t input_num() const { return input_num_; }
+  uint32_t log_blowup() const { return log_blowup_; }
+
+  std::vector<size_t> GetDegrees() const;
+
+ private:
+  // Config methods
+  void PostParse() override;
+  bool Validate() const override;
+
+  std::vector<uint32_t> exponents_;
+  size_t batch_size_;
+  size_t input_num_;
+  uint32_t log_blowup_;
+};
+
+}  // namespace tachyon::benchmark
+
+#endif  // BENCHMARK_FRI_FRI_CONFIG_H_
diff --git a/benchmark/fri/fri_runner.h b/benchmark/fri/fri_runner.h
new file mode 100644
index 000000000..dbe18177f
--- /dev/null
+++ b/benchmark/fri/fri_runner.h
@@ -0,0 +1,94 @@
+#ifndef BENCHMARK_FRI_FRI_RUNNER_H_
+#define BENCHMARK_FRI_FRI_RUNNER_H_
+
+#include <stddef.h>
+#include <stdint.h>
+
+#include <memory>
+#include <utility>
+#include <vector>
+
+// clang-format off
+#include "benchmark/fri/fri_config.h"
+#include "benchmark/simple_reporter.h"
+// clang-format on
+#include "tachyon/base/time/time.h"
+#include "tachyon/c/math/finite_fields/baby_bear/baby_bear_type_traits.h"
+#include "tachyon/crypto/commitments/fri/two_adic_multiplicative_coset.h"
+#include "tachyon/math/matrix/matrix_types.h"
+
+namespace tachyon::benchmark {
+
+template <typename PCS>
+class FRIRunner {
+ public:
+  using F = typename PCS::F;
+  using Domain = crypto::TwoAdicMultiplicativeCoset<F>;
+
+  typedef tachyon_baby_bear* (*ExternalFn)(const tachyon_baby_bear* data,
+                                           const size_t* degrees,
+                                           size_t num_of_degrees,
+                                           size_t batch_size,
+                                           uint32_t log_blowup,
+                                           uint64_t* duration);
+
+  FRIRunner(SimpleReporter& reporter, const FRIConfig& config, PCS& pcs)
+      : reporter_(reporter), config_(config), pcs_(pcs) {}
+
+  F Run(Vendor vendor, const math::RowMajorMatrix<F>& input) {
+    size_t max_degree = static_cast<size_t>(input.rows());
+    std::vector<size_t> degrees = GetInputDegrees(max_degree);
+
+    std::vector<math::RowMajorMatrix<F>> inner_polys =
+        base::Map(degrees, [this, input](size_t degree) {
+          math::RowMajorMatrix<F> ret =
+              Eigen::Map<const math::RowMajorMatrix<F>>(
+                  &input.data()[0], degree, config_.batch_size());
+          return ret;
+        });
+
+    std::vector<Domain> inner_domains =
+        base::Map(degrees, [this](size_t degree) {
+          return this->pcs_.GetNaturalDomainForDegree(degree);
+        });
+
+    base::TimeTicks start = base::TimeTicks::Now();
+    typename PCS::Commitment commit;
+    typename PCS::ProverData prover_data;
+    CHECK(pcs_.Commit(inner_domains, inner_polys, &commit, &prover_data));
+    reporter_.AddTime(vendor, base::TimeTicks::Now() - start);
+    return commit[1];
+  }
+
+  F RunExternal(Vendor vendor, ExternalFn fn,
+                const math::RowMajorMatrix<F>& input) {
+    size_t max_degree = static_cast<size_t>(input.rows());
+    std::vector<size_t> degrees = GetInputDegrees(max_degree);
+
+    uint64_t duration_in_us = 0;
+    tachyon_baby_bear* data =
+        fn(c::base::c_cast(input.data()), &degrees[0], degrees.size(),
+           config_.batch_size(), config_.log_blowup(), &duration_in_us);
+    reporter_.AddTime(vendor, base::Microseconds(duration_in_us));
+    return c::base::native_cast(data)[1];
+  }
+
+ private:
+  std::vector<size_t> GetInputDegrees(size_t max_degree) {
+    std::vector<size_t> degrees;
+    degrees.reserve(config_.input_num());
+    for (size_t d = max_degree >> (config_.input_num() - 1); d <= max_degree;
+         d <<= 1) {
+      degrees.push_back(d);
+    }
+    return degrees;
+  }
+
+  SimpleReporter& reporter_;
+  const FRIConfig& config_;
+  PCS& pcs_;
+};
+
+}  // namespace tachyon::benchmark
+
+#endif  // BENCHMARK_FRI_FRI_RUNNER_H_
diff --git a/benchmark/fri/plonky3/BUILD.bazel b/benchmark/fri/plonky3/BUILD.bazel
new file mode 100644
index 000000000..0152e05a6
--- /dev/null
+++ b/benchmark/fri/plonky3/BUILD.bazel
@@ -0,0 +1,13 @@
+load("@crate_index//:defs.bzl", "aliases", "all_crate_deps")
+load("//bazel:tachyon_rust.bzl", "tachyon_rust_static_library")
+
+tachyon_rust_static_library(
+    name = "plonky3",
+    srcs = glob(["src/**/*.rs"]),
+    aliases = aliases(),
+    proc_macro_deps = all_crate_deps(proc_macro = True),
+    visibility = ["//benchmark/fri:__pkg__"],
+    deps = all_crate_deps(normal = True) + [
+        "//tachyon/rs:tachyon_rs",
+    ],
+)
diff --git a/benchmark/fri/plonky3/Cargo.toml b/benchmark/fri/plonky3/Cargo.toml
new file mode 100644
index 000000000..994774f5c
--- /dev/null
+++ b/benchmark/fri/plonky3/Cargo.toml
@@ -0,0 +1,31 @@
+[package]
+name = "plonky3_fri_benchmark"
+version = "0.0.1"
+authors = ["The Tachyon Authors <tachyon-discuss@kroma.network>"]
+edition = "2021"
+description = """
+Plonky3 FRI Benchmark
+"""
+license = "MIT OR Apache-2.0"
+repository = "https://github.com/kroma-network/tachyon"
+readme = "README.md"
+categories = ["cryptography"]
+keywords = ["tachyon", "benchmark", "plonky3"]
+publish = false
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+p3-baby-bear = "0.1.3-succinct"
+p3-challenger = "0.1.3-succinct"
+p3-commit = "0.1.3-succinct"
+p3-dft = "0.1.3-succinct"
+p3-field = "0.1.3-succinct"
+p3-fri = "0.1.3-succinct"
+p3-matrix = "0.1.3-succinct"
+p3-merkle-tree = "0.1.3-succinct"
+p3-poseidon2 = "0.1.3-succinct"
+p3-symmetric = "0.1.3-succinct"
+p3-util = "0.1.3-succinct"
+tachyon_rs = { path = "../../../tachyon/rs" }
+zkhash = { git = "https://github.com/HorizenLabs/poseidon2.git", rev = "bb476b9" }
diff --git a/benchmark/fri/plonky3/src/lib.rs b/benchmark/fri/plonky3/src/lib.rs
new file mode 100644
index 000000000..e78198f16
--- /dev/null
+++ b/benchmark/fri/plonky3/src/lib.rs
@@ -0,0 +1,142 @@
+use std::fmt::Debug;
+use std::time::Instant;
+
+use p3_baby_bear::{BabyBear, DiffusionMatrixBabyBear};
+use p3_challenger::{CanObserve, DuplexChallenger, FieldChallenger};
+use p3_commit::{ExtensionMmcs, Pcs, PolynomialSpace};
+use p3_dft::Radix2DitParallel;
+use p3_field::extension::BinomialExtensionField;
+use p3_field::{AbstractField, ExtensionField, Field};
+use p3_fri::{FriConfig, TwoAdicFriPcs};
+use p3_matrix::dense::RowMajorMatrix;
+use p3_merkle_tree::FieldMerkleTreeMmcs;
+use p3_poseidon2::{Poseidon2, Poseidon2ExternalMatrixHL};
+use p3_symmetric::{PaddingFreeSponge, TruncatedPermutation};
+use p3_util::log2_strict_usize;
+
+use tachyon_rs::math::finite_fields::baby_bear::BabyBear as CppBabyBear;
+use zkhash::ark_ff::PrimeField as ark_PrimeField;
+use zkhash::poseidon2::poseidon2_instance_babybear::RC16 as BabyBearRC16;
+
+type Val = BabyBear;
+type Challenge = BinomialExtensionField<Val, 4>;
+
+type Perm = Poseidon2<Val, Poseidon2ExternalMatrixHL, DiffusionMatrixBabyBear, 16, 7>;
+type MyHash = PaddingFreeSponge<Perm, 16, 8, 8>;
+type MyCompress = TruncatedPermutation<Perm, 2, 8, 16>;
+
+type ValMmcs =
+    FieldMerkleTreeMmcs<<Val as Field>::Packing, <Val as Field>::Packing, MyHash, MyCompress, 8>;
+type ChallengeMmcs = ExtensionMmcs<Val, Challenge, ValMmcs>;
+
+type Dft = Radix2DitParallel;
+type Challenger = DuplexChallenger<Val, Perm, 16, 8>;
+type MyPcs = TwoAdicFriPcs<Val, Dft, ValMmcs, ChallengeMmcs>;
+
+fn get_perm(rounds_f: usize, rounds_p: usize) -> Perm {
+    let mut round_constants: Vec<[BabyBear; 16]> = BabyBearRC16
+        .iter()
+        .map(|vec| {
+            vec.iter()
+                .cloned()
+                .map(|ark_ff| BabyBear::from_canonical_u32(ark_ff.into_bigint().0[0] as u32))
+                .collect::<Vec<_>>()
+                .try_into()
+                .unwrap()
+        })
+        .collect();
+    let internal_start = rounds_f / 2;
+    let internal_end = (rounds_f / 2) + rounds_p;
+    let internal_round_constants = round_constants
+        .drain(internal_start..internal_end)
+        .map(|vec| vec[0])
+        .collect::<Vec<_>>();
+    let external_round_constants = round_constants;
+
+    Perm::new(
+        rounds_f,
+        external_round_constants,
+        Poseidon2ExternalMatrixHL,
+        rounds_p,
+        internal_round_constants,
+        DiffusionMatrixBabyBear,
+    )
+}
+
+fn get_pcs(log_blowup: usize, log_n: usize) -> (MyPcs, Challenger) {
+    let perm = get_perm(8, 13);
+
+    let hash = MyHash::new(perm.clone());
+    let compress = MyCompress::new(perm.clone());
+
+    let val_mmcs = ValMmcs::new(hash, compress);
+    let challenge_mmcs = ChallengeMmcs::new(val_mmcs.clone());
+
+    let fri_config = FriConfig {
+        log_blowup,
+        num_queries: 10,
+        proof_of_work_bits: 8,
+        mmcs: challenge_mmcs,
+    };
+
+    let pcs = MyPcs::new(log_n, Dft {}, val_mmcs, fri_config);
+    (pcs, Challenger::new(perm.clone()))
+}
+
+fn do_test_fri<Val, Challenge, Challenger, P>(
+    (pcs, _challenger): &(P, Challenger),
+    degrees: Vec<usize>,
+    data: Vec<RowMajorMatrix<Val>>,
+    duration: *mut u64,
+) -> *mut CppBabyBear
+where
+    P: Pcs<Challenge, Challenger>,
+    P::Domain: PolynomialSpace<Val = Val>,
+    Val: Field,
+    Challenge: ExtensionField<Val>,
+    Challenger: Clone + CanObserve<P::Commitment> + FieldChallenger<Val>,
+    <P as Pcs<Challenge, Challenger>>::Commitment: Debug,
+{
+    let domains: Vec<_> = degrees
+        .iter()
+        .map(|&degree| pcs.natural_domain_for_degree(degree))
+        .collect();
+    let domains_and_polys: Vec<(P::Domain, RowMajorMatrix<Val>)> =
+        domains.into_iter().zip(data.into_iter()).collect();
+
+    let start = Instant::now();
+    let (commit, _data) = pcs.commit(domains_and_polys);
+    unsafe {
+        duration.write(start.elapsed().as_micros() as u64);
+    }
+    Box::into_raw(Box::new(commit)) as *mut CppBabyBear
+}
+
+#[no_mangle]
+pub extern "C" fn run_fri_plonky3_baby_bear(
+    data: *const BabyBear,
+    raw_degrees: *const usize,
+    num_of_degrees: usize,
+    batch_size: usize,
+    log_blowup: u32,
+    duration: *mut u64,
+) -> *mut CppBabyBear {
+    let degrees =
+        unsafe { std::slice::from_raw_parts(raw_degrees as *mut usize, num_of_degrees).to_vec() };
+
+    let (pcs, challenger) = get_pcs(
+        log_blowup as usize,
+        log2_strict_usize(*degrees.last().unwrap()),
+    );
+
+    let polys: Vec<RowMajorMatrix<Val>> = degrees
+        .iter()
+        .map(|&degree| {
+            let size = degree * batch_size;
+            let values: Vec<BabyBear> =
+                unsafe { std::slice::from_raw_parts(data as *mut BabyBear, size).to_vec() };
+            RowMajorMatrix::<BabyBear>::new(values, batch_size)
+        })
+        .collect();
+    do_test_fri(&(pcs, challenger), degrees, polys, duration)
+}