From 64a7c43abbb986bccb1d1e8532d711b269644994 Mon Sep 17 00:00:00 2001
From: nemo <nemo@protocol.ai>
Date: Tue, 6 Jul 2021 09:11:49 -0400
Subject: [PATCH] feat: add a srs key loading bench (#1474)

* feat: add a srs key loading bench
* feat: separate aggregation benches from preprocessing
* feat: add an aggregate proof encode/decode test
* fix: separate aggregate proof test bytes from test
* fix: improve tests by adding specific constants expected
* doc: update comment and rename argument variable
* feat: re-factor aggregation testing
---
 filecoin-proofs/Cargo.toml                  |   4 +
 filecoin-proofs/benches/aggregation.rs      | 166 ++++++++++++++++
 filecoin-proofs/src/lib.rs                  |   2 +-
 filecoin-proofs/tests/aggregate_proof_bytes | Bin 0 -> 29044 bytes
 filecoin-proofs/tests/api.rs                | 207 +++++++++++++-------
 storage-proofs-core/src/compound_proof.rs   |  14 +-
 6 files changed, 320 insertions(+), 73 deletions(-)
 create mode 100644 filecoin-proofs/benches/aggregation.rs
 create mode 100644 filecoin-proofs/tests/aggregate_proof_bytes

diff --git a/filecoin-proofs/Cargo.toml b/filecoin-proofs/Cargo.toml
index 981370de8..196bba978 100644
--- a/filecoin-proofs/Cargo.toml
+++ b/filecoin-proofs/Cargo.toml
@@ -82,3 +82,7 @@ blst = [
 [[bench]]
 name = "preprocessing"
 harness = false
+
+[[bench]]
+name = "aggregation"
+harness = false
diff --git a/filecoin-proofs/benches/aggregation.rs b/filecoin-proofs/benches/aggregation.rs
new file mode 100644
index 000000000..88ca02974
--- /dev/null
+++ b/filecoin-proofs/benches/aggregation.rs
@@ -0,0 +1,166 @@
+use std::sync::Once;
+use std::time::Duration;
+
+use criterion::{black_box, criterion_group, criterion_main, Criterion, Throughput};
+use filecoin_proofs::{
+    caches::{get_stacked_srs_key, get_stacked_srs_verifier_key},
+    get_seal_inputs, PoRepConfig, PoRepProofPartitions, SectorShape2KiB, SectorShape32GiB,
+    SectorSize, POREP_PARTITIONS, SECTOR_SIZE_2_KIB, SECTOR_SIZE_32_GIB,
+};
+use rand::{thread_rng, Rng};
+use storage_proofs_core::{api_version::ApiVersion, is_legacy_porep_id};
+
+static INIT_LOGGER: Once = Once::new();
+fn init_logger() {
+    INIT_LOGGER.call_once(|| {
+        fil_logger::init();
+    });
+}
+
+fn bench_seal_inputs(c: &mut Criterion) {
+    let params = vec![1, 256, 512, 1024];
+
+    let mut rng = thread_rng();
+
+    let porep_id_v1_1: u64 = 5; // This is a RegisteredSealProof value
+
+    let mut porep_id = [0u8; 32];
+    porep_id[..8].copy_from_slice(&porep_id_v1_1.to_le_bytes());
+    assert!(!is_legacy_porep_id(porep_id));
+
+    let config = PoRepConfig {
+        sector_size: SectorSize(SECTOR_SIZE_2_KIB),
+        partitions: PoRepProofPartitions(
+            *POREP_PARTITIONS
+                .read()
+                .expect("POREP_PARTITIONS poisoned")
+                .get(&SECTOR_SIZE_2_KIB)
+                .expect("unknown sector size"),
+        ),
+        porep_id,
+        api_version: ApiVersion::V1_1_0,
+    };
+    let comm_r = [5u8; 32];
+    let comm_d = [6u8; 32];
+    let prover_id = [7u8; 32];
+
+    let ticket = rng.gen();
+    let seed = rng.gen();
+    let sector_id = rng.gen::<u64>().into();
+
+    let mut group = c.benchmark_group("bench_seal_inputs");
+    for iterations in params {
+        group
+            .bench_function(format!("get-seal-inputs-{}", iterations), |b| {
+                b.iter(|| {
+                    for _ in 0..iterations {
+                        get_seal_inputs::<SectorShape2KiB>(
+                            config, comm_r, comm_d, prover_id, sector_id, ticket, seed,
+                        )
+                        .expect("get seal inputs failed");
+                    }
+                });
+            })
+            .sample_size(10)
+            .throughput(Throughput::Bytes(iterations as u64))
+            .warm_up_time(Duration::from_secs(1));
+    }
+
+    group.finish();
+}
+
+fn bench_stacked_srs_key(c: &mut Criterion) {
+    init_logger();
+    let params = vec![128, 256, 512, 1024];
+
+    let porep_id_v1_1: u64 = 5; // This is a RegisteredSealProof value
+
+    let mut porep_id = [0u8; 32];
+    porep_id[..8].copy_from_slice(&porep_id_v1_1.to_le_bytes());
+    assert!(!is_legacy_porep_id(porep_id));
+
+    let config = PoRepConfig {
+        sector_size: SectorSize(SECTOR_SIZE_32_GIB),
+        partitions: PoRepProofPartitions(
+            *POREP_PARTITIONS
+                .read()
+                .expect("POREP_PARTITIONS poisoned")
+                .get(&SECTOR_SIZE_32_GIB)
+                .expect("unknown sector size"),
+        ),
+        porep_id,
+        api_version: ApiVersion::V1_1_0,
+    };
+
+    let mut group = c.benchmark_group("bench-stacked-srs-key");
+    for num_proofs_to_aggregate in params {
+        group.bench_function(
+            format!("get-stacked-srs-key-{}", num_proofs_to_aggregate),
+            |b| {
+                b.iter(|| {
+                    black_box(
+                        get_stacked_srs_key::<SectorShape32GiB>(config, num_proofs_to_aggregate)
+                            .expect("get stacked srs key failed"),
+                    )
+                })
+            },
+        );
+    }
+
+    group.finish();
+}
+
+fn bench_stacked_srs_verifier_key(c: &mut Criterion) {
+    init_logger();
+    let params = vec![128, 256, 512, 1024];
+
+    let porep_id_v1_1: u64 = 5; // This is a RegisteredSealProof value
+
+    let mut porep_id = [0u8; 32];
+    porep_id[..8].copy_from_slice(&porep_id_v1_1.to_le_bytes());
+    assert!(!is_legacy_porep_id(porep_id));
+
+    let config = PoRepConfig {
+        sector_size: SectorSize(SECTOR_SIZE_32_GIB),
+        partitions: PoRepProofPartitions(
+            *POREP_PARTITIONS
+                .read()
+                .expect("POREP_PARTITIONS poisoned")
+                .get(&SECTOR_SIZE_32_GIB)
+                .expect("unknown sector size"),
+        ),
+        porep_id,
+        api_version: ApiVersion::V1_1_0,
+    };
+
+    let mut group = c.benchmark_group("bench-stacked-srs-verifier-key");
+    for num_proofs_to_aggregate in params {
+        group
+            .bench_function(
+                format!("get-stacked-srs-verifier-key-{}", num_proofs_to_aggregate),
+                |b| {
+                    b.iter(|| {
+                        black_box(
+                            get_stacked_srs_verifier_key::<SectorShape32GiB>(
+                                config,
+                                num_proofs_to_aggregate,
+                            )
+                            .expect("get stacked srs key failed"),
+                        )
+                    })
+                },
+            )
+            .sample_size(10)
+            .warm_up_time(Duration::from_secs(1));
+    }
+
+    group.finish();
+}
+
+criterion_group!(
+    benches,
+    bench_seal_inputs,
+    bench_stacked_srs_key,
+    bench_stacked_srs_verifier_key,
+);
+criterion_main!(benches);
diff --git a/filecoin-proofs/src/lib.rs b/filecoin-proofs/src/lib.rs
index d6a7c9580..5488fab86 100644
--- a/filecoin-proofs/src/lib.rs
+++ b/filecoin-proofs/src/lib.rs
@@ -3,6 +3,7 @@
 #![warn(clippy::unnecessary_wraps)]
 #![allow(clippy::upper_case_acronyms)]
 
+pub mod caches;
 pub mod constants;
 pub mod param;
 pub mod parameters;
@@ -10,7 +11,6 @@ pub mod pieces;
 pub mod types;
 
 mod api;
-mod caches;
 mod commitment_reader;
 
 pub use api::*;
diff --git a/filecoin-proofs/tests/aggregate_proof_bytes b/filecoin-proofs/tests/aggregate_proof_bytes
new file mode 100644
index 0000000000000000000000000000000000000000..86dc9efff9a6ac6021960a826f9867d95cc148a2
GIT binary patch
literal 29044
zcmV(nK=Qw$VqPWow$uH+JJqXRIV=qQ@I4P|bM>4;%G}xdD?38{Q)G^dTMFb*@CI0c
zHmwIUI+)&}gC7n~F)jsJf$kYubm~PPOhAqc-2=X#3TkW^=tfRN?k<KOW5;O>SSS*(
z*6xmDH%9!mzkd#epgY}C?O^)O(15dxaRE_0u63Rgo6h6-W(_Y*3s<LMDq{$?^wpug
zt#Y@&<uFvJ59x5)XqjCQa+o#vGW2IWcxU6MXseT1!Rr#HP7A(U?#ck_=m7PpjnSG}
z%|Mf8cfN!?fL+c4hXf`^V{%=XmF&KGEUC8}!6*?Kk3(}V>c|<_^WtNBtX;q#??ve{
zxC%KlT%ReC;WGp$S3+*W@+p95&I(&fNs9;vqb5fD{Ko`>u;t3Q6eHeW((bpzNkPV1
zMCx(4WnXA#>HcD<wKas3Q{@Z_K2IM8LiMl6h}{-jJZF5sO%o%(c4~eOyta3uv>$rP
zurJF2xxP&6L4}yOW$&1Zm=w2na@<yDMf(7I^~1Mx6*YpgPU*VGC?Jd&B^6^bai*x#
z<B!RYehUv|qCn$U2xvb3wSR<~vN{TagcX1(TO93sx=5i3paZ^JTvK3`yGsmt%C_e3
z5sj}=m136HCOU+Gd#(JLR*V+qMqA2~2^+2B7`}zS(QJGZBkV@^nAR!(3Wz|1uVf3|
zcwQH$%Pe$pM2!N2#BCO=JXxF-m><9lxcuv_@UmuIzb6lBONsr!hgO$}Gtc4QyVwLf
z!CLI)iruodigX5`3DfL>u3P({M!|Db-KC2>;IU~BRr?6_YJ0J$z54YV0$++fgGM*4
zWUG0g!YU8CFy{sKPET@iGX6+PVqwVMU&tK3O)~kP2fn`YaNENG&E4-^$dK`N+X9ed
z`Y{0r9JwGe@AZzHbser~$A$uTHS%Ea_JkfM-%(=?g;~Fs2zn*ajw0ZL73#is9?b*<
z%c(Z7)6EY^lzKHEr)Sdu7ly>5bT1P)#g3J{J;j0{R?ft)U4{`jOj-EPHmMGvs+u!6
zM@=nHAzTFoyY|xDeb2mQ_G&JKjeu6193a$5n`?ak2Y3M20p#S*ggXQdL@6Sr_&GOU
zXNQxk!A;^0e46X#8L0jB<KCuFnpsFP5pt?GG~}_n<LcqwHtrV_Tt5fVAmK4tpdB~Z
zIFvTYj5zCfhZHFTTKgnx7*=iemzJnd?^dXHci%c4UcDI=s&!nH@Z;XdtbwaZ+^;+r
z3dD$9C=(|9`}L^LaYLRk46N_$9^`N2=q-KODOVLNwNoIqS~QR_)qEKqITE~0Rksg3
zE{Wvs8xHP#H9~JlZEYRRWyk{nZP`7gOvD6(U<3>00vc83s7lD_BRBu$Tp}~qwN$7|
zs#_uo=Q!{9Y`01@!mECTKv5~F8dDXq*3H+!@DLVGhl?*c$LJxV7o*ZWL4tCYWThrf
zt=?#+wQpFzm;{X%f^5d$?pqIrNcO$*=AH_3t`s>-;;o5wN18EXK2K~gS{Vf0hHbu4
zlRFJOzOdvBf0;~LybS?!j8_Rty9Z)FVa_U~;eNwzAd0y}21-Xyttp0pd3vIEVGCf7
zn@av>Ouc__s$L23dO6RmriO{>LoHJjp{P<n=yxJqY<`T%7W5s+iY%@N#=M9LBjGTo
z)xVvnlg<E6HGMu9dbNO2kpaXL`-K@Z-peOb&?ZWBIR=h)DQ5GwiD`~I%YT8~5TSX#
zP5=mG$&%zvyD7Z^WXN?2z4BpRc{&{lb)@y+nAw?Gm+6Prj0lc*LguQGQJCaeV^skf
zd6$*sOj{>>^+D^uHEaj(*?oX;b*je-_ikD^Xtc0Df#A-Jww&hVCL9NYxor_mo@lme
zXMsx_4w9IjlORJ+%VF`5qLp{g%lyGk7dRwzlCR>{mr7GI<Z`YQz55Y`150y=KbppI
z!&XIF5Z+d4BdvhSrJGj+go#79W_q+Y>_-nGhG=K)n=<iC5AP8G0ssJ4KW7&T(VDW=
ze+7^N^4%iY3&I3JHW^=ytyhh$V4xp^Lwl_}xV4LWHsx020SyHcI;DTCLO}(b+t{&>
z=&_rA)%4_)u<ni{)u1zj7=Np_8XED0mw+S&T5w!I1zH%f*#x;bO+b)QwuX?~-J1YM
zbt)lwGIaf)to;`q+Sd_>v!1QG)a#TJFUrZ}fNTy3j~0{h^dDEO*zl4N*JuSXpq#@z
zI!b4Xy?V{(kJunsEfnf@v_@Nq@0&XnI{gh(JN>#Slvw7UHnN9_JdvOk-#23s3r-)Y
za1U!zaAI+6q^1xX$7>0{6MlCRpHB@Co!RMef*jRp+BfXABVJY3Wf&F+6<8z*b9xXQ
zn^_2hF^EBqCric(I>hGW!n+g^qWz=&7~sXqy?ht&GH|B6<`%97nl;l;c69pRz4v0W
zsej13<x*7p$yZ0mg5L**KJ4Yvk@mXVK)-M!RE#<YSMSuKUeyiLD(0uM?g=H=*9wqU
zN<wd`G4e_fXX_7sqt`r&ybhS;VUFtYTx4OH|M;&+Mo%IbRw);bB0TGEJz1IjusXmk
zi>JM0sE-azmEArKgf+<DiUBSh?|1^=zfm<36kxwu$=ZK??1Tk8CN`8y_o%x|icdO|
zZL|ZduenU7Le$P8z#+)$9qg@&4gcqyX#(w>-ke@0Pn+xPhNV~+o^xLXxyZsq+|v*!
zkKX~ViIGu7wO{_hamsOS2srr98h><;uzAUu+5lI=f%q^`TZp=o{F`?$lZ*&gwpxrk
z0JN-%oX0880GjYALpMWyF66I3ITJEVz@#0|xY63;a0z`bPFAw*R$vdvGN~sD-z%P@
z8x<<;0sfokX6OCbaV;+rA~Yv)d;fQN-KWecAG%&igj<{QPrVlXKmc*12=UG~B=(Mk
zgqZd$BoO%wN5;(kG};1L*IFTo7(2tqVST6vgXK}CQ-cnHCTL*RIZRJgwp{csUo6zX
zL&&+-sHHTq%i7l#0wO)K>62`mmkgJu!5IpEQ``?cx(PWC%K4>EO8V!(0xMJV;&cL?
zfUd;tzB0NPnzb$xNkQf|3P`ppYX-MU(%S@2)!F+<*Dc5N+UtFxdiGv_>(s|cOBlC~
zH|+eby+dE&bdR|3oL0IFl;A<kzH%8kCeV#Tnto$E%wQstT8n?Z=*2-v=%Y7!+2}<9
zMJyba_vOenfIO1xdoj((pt%OK2$Yxrap-H0?3zOy(L(UGRFcKJ%a*l)#u8J^OvSrP
z0A0ZPNqB$kJ7}2yycZZYVQV;DyjGKzFG~%nC^MY5L-0c#UfMULjk(K8Cu(02HX%ap
zz884PpT_y}a3ThVr}kZ6iiMXi8C|56U6hNz=?9s~5QuB|J)c;}iIZc>+wHUxGDl&u
zj4QMF0}c>ppGUkGe2!)ErH%hzDw$a4HqyqQ#p^tO-6SN#5~ubU!}O;&ULdo947!HT
zBP<KH6Sh!g7nNPEvKKXMgu)8Y=qaIf3gllQp$f|RCxd+lJ$x9jdXgaa-;QLK{(BZ}
znchjlsL}biVt!`auFT+GNWz+pHE!i8pOn0Cs(QL{x~3<e_}V;}!(<>|1$PUKBJ(mp
zeP3TSt!kWK`ag*3U)XD)+m4%%X3_tQe=cw<e!?PPvXXqO!ksc_w(|oL+fxXWSBbpF
z-$*Rus&Ow9O_^}GeuHZXq|n{7vR>EgN(bxV+a0|nw7nMD8F>I8*+wJBo6PE+Lb@H{
z*Vw-g3I1hkBL&ntUUk-%rh`I%=ylErO3(f*IkCKv9jg$f8Ju*jzADpv;ms+U-x*C@
zFCg?(OrEN|*m1}#v$Cy`%~j4pZ5wAUv4j^Ga4Q*5*Cd66ISydJ{7?&8+rn_dyBcQQ
zzv`^lj>iU?dT(?PP%-4=z4o?M?h$O;ywwm`x+8s2GbpPm9c0-AvzpNhbG%wXB<}M6
z8m0yozS<U@%a5?Ebya~liNbg}jwl3&gl^)x{vV5<*+v1|S8XK%`A&_Hi$IxAH_R&S
zrdB1G$j-FqbAL2U8+$R_1fdSNX)cRTHlJIV?2^iMRBj<32ZQgAXnxbaUO6wtS@DMs
zofic_jqU@Id{S#yW!?(~0yMYKEg~zCN0=n~Jf?B!of*LJY8~%`l{+RSD=H&iTrF^_
zvbf;B6;ql>%YzP(z6}j;h@n(OG-y^?W9a#c(ez`@L>$LCi=rEsd{GWf9iNzu?jxsf
zEd7Ds8Mzr(f`^)g^Y;;=eFJ?r^+6uG0ZNz>-<V1RbDz90LklcYZ+=UsbfUq|pI0(s
z4VV}>?S8X(M&X~gIimvHvzL<#6DIlGa){73Thy81<tpGSPl3$7ulTgOk>Me?mWKfF
za9q}QxIZ&P&&sF!j7ZOd$+#1p3w(Q|+JgtGBkx9py(H(a1ZFC)qf5KPN)-%-7KVRv
zquNpx8SW|(3;4pQU<NFzynN=SLImQcJUtHpB4j=yU2#`fpUQt=vHS;M<t(yvG^(D^
z6`RUE%@RLX1`lv3Enkk(1An9!!|<pqayT0ph@2c%%&YnwHpC2F7P|PO^l(~1z5@%u
z9gU9aMqQ5~6-e`3y@`#tcs@Q5()YYX__#4NV>_LoM%n>iMKG$5d@Nl5as@ms`RH&A
z)3M~@I5+gaA6kUbT(CpXfC%YIQ)p)z`<@9Fo>BnThPVH9m@(e3&H%;jPQ;GH>pv1I
zMK(Cf5I7ZT=td?8r!TyyuJwhbJlhRU3=0pO2P+1$Ie)UHPz3diW`~$ASw<Nq8}RLf
zXOSm4-~873j<ocR`y46|_&M&uFu51NwjLJ^H_rPe#lR#yzpTR(;env^+||VBqd15B
zUI%O2o7c?s>l8>2oe|A&!^aES=IFEbRsdd9TsWlcP?d4m`Wt7oUSJ3?2Q>%cL{=a_
z=u2O1ZxE`|yFFe}0;CmOu29~_=b#ehYV;^x2(jf_qQhK8KZ$Ir38@xzd@>^co!lU)
z;A)=jXUof85V{Cd46SXw5?yub8`cBwI@+nuni1a6K%g}C<80ccB}>=t%|sn7*ZS54
zZ_$niz9SQIQ4sF!{9c^RwfUqUGyD9oRC<TkWBoi8hDm>G;FPXqnB4J_7*70wlx8c}
zqooc#7_gDIZ7A})+9rZ|TPPIRBa0VPMbBHu6NX|c6RnVsUDbQ{jH>#E!$;+_1serU
zPCxowt7RC+Cw0CDoe<s}dOxUPU1Yb6vOrufNiGJDCj<~V$WSJ_Jz$Zj7%vl~fy+7(
zyouU#eEp=b_l?3l18ag0i68gqy$F+)cA59DfCPv%8%Mf~p7W9}iX;)yJFC5L#~Xe4
z45e27m9C>1-t7J}+;57S?&>dC6<&OHg6jOoOUsoub3o@#jgkhhP<g!{Hl=Z2EPCkz
z7t|e8Lt>H&TNyAqr}Aqr_QQgU-M*Ph`hzT%dK)P=RFM-PQPE?mQA&m)jCieWFr6`4
z|MT!Dp)vcW#HNxIS;_*^#zXB>IsOWJ!=!<LA<GlWF%hf9;=T9m{8+m^IA{{T@2pEO
z5ZiK>Bc=C_+4!Qa+Vt1vJ&x0SrIfLLMsgI&VG-H9&h1dLW8@(L43b$<x$1B=s!8)W
z>!s9wyvW5r!#YCy#L4x49Ou#Dx^o1wC5Q{OKsqbw$HxYGST$}qAm=OAAvSKg=8r?V
z$%U7wRrE1jqoANVfGNs1D3S=IfW)qx397uDy0M_Wt`^?F*)$#&h6>Yr#%l|xx%8_s
z`DKmIc!1tMMt4WxbP*EcYBM;b*GGPCI34`4amvs0$)$s`yiZqwOg>g`!ttk9QbV$d
zWw*ftW-iDy6Egs##)^75HJx0DAPt@M6P(5=+jJU`YC-5X)YY+=Ai1S2JsPDBn2-5b
zaanijhtvQ<EGX1FIae&;_lPMxO8k?mEhJ&kwkVlZ(Cl7kKY=Jo+RvCCbq(+-RP$jv
z48;oB+T^z|T2v;jZx}udd8;=|(hDQ_1X!;lU<-*jrr<ZN&N30XkqzrTDO6q|nr9PV
zirNq!ce@xm%rIcsGJ!)gD0189U#>~TEcS74V*Hp@KB>DTAVYk<^kKq0dLa&g`61a3
zXUA=kM!r_J<_}nJ23j{WKH5b4t8)#$)wi_4AKHsrEsGkzs@3KJp|ut4B*i-V#z8?%
zmNbe-FLA_JTo%4YTAU06bcs{Rk*aViRPS!?(aYBBD~3<oJmC#l;A)M7lbrl(^<eoc
zgr;ApBvW)SnHuMHc4UrLRdLa78_N|$;k-Ot787A_$QKZve?XBNHoDY82bl#QNKly=
z$qT1Y!8!s<+MEXUF#w{W1ZcH4k=HyYZq@SAJ?R5%OHs%3O>;@~)L1tS+<rgXCV#-B
zXVvT~|Dy3hlXzV*EGYerPRhTOsHnyNcR~ZL-h42L;LC>6*ZyaRq?_Lvb<ZLpihUV*
zs@sgR>j>0_Zw)Yimv-8kY>f2RUCtMkXnH;7>3nPRk(eP)(>v`1+4uuO*Q`+ib-2ob
zGCM_*=!nJBD~|NFYs$ev2679}ed88C1U06P)JUbz0)}xcDY_OCl8H=8vqs4evYVCK
zZRG^=U0tvV*%s?U9vBqID`v+lfzYdZ_~muIR6dEp?TTxXp5*I>fWb9Sk)t5?&CC*X
zqb~?-;DR_{FX0*FvtXQpX7EoZSs>;b(QQbU!)QL3oNvxZ#>tM!`>@+}t8exOZQno(
z*WNuk837TsC^<sD+xMj&GJ9*h5Ja!8)-hj(*f&*mNCbc*Y7-q8kV!)Din`GKbxDLk
z+K>!8=dIccmZ@NrbtD06+S3h`x~X5TA*@65{|34+;|_M|7-O!XR(k5C0L;Qf_HGRF
z&k5HPoYEX}?uF&g1@82hXJw{C<7|FP<}Av)UdA{&OxQc1bZ@Iic>&L%XCVmJi4ww@
z<4Nv5**jYpJLr;_QxZbmn<ZWszSpi~UD~BcrprmRJ9*BL;^R~RYd!*lEr-K1G9>#q
ze>K*DPsC;TaAU6dAAlngz5Q1rJfFm+=|#lVzJ7&2$nDQn!O;np^osd_T4Dl$`r>!?
zAG1sYcXH0Ta4OU=I-`N0r~HEf^EV65HR+t8O}t}Wj?xx44z0s13b9?N@N?sSPUbL;
zd)}zGo6><f#SSD*xDa&P0H#8;^baQ_SAjP;d?^FI%Css#U$W911y5-=Or`$9neg(w
z##CPR7EX)Pf!Vq1j~^o+WNa!varPaC*B22f-5V+xJ?91Ryqao3nb$!k^e&n^CKODY
z$Jfl*{>qHSkF8zXf>_g%+$wvVdx{z9+`rRP38+VBX5J6!*`4s{D!gmFzbiNqtv->#
zsI%V{(GzF=SH;3(c~nB=&2$i&ndZmtZ1Jhq1x-Y?%LR9EOdqzt_q@jZYO&=R%$-81
z4}V~INi~xmWA5H7zxoyol78dYE-AnR1al7F40w)YCqG4hZ%3EY9?T9s3LE3y#1lb!
z=tQ6iFq-3c*jo#t<_)rp3bo1d`Aw~P;);3Hiz3wbc1Q8ttp^rDxF%39VsR~%siaos
z_GUx5-ZTgf(a&H=pof3}h_%N$n(HL|<KZd6%Yz-~)K94e;jVLkU~8GzcN%KU%k?$!
zCW8us-b(YTh-?1xjv@<PMagv7b=NSwDGyYDj`|`u0w+uTT*KFP??XAu^o`3X{uUR$
z%+O9PJk2g(vE@0&67Q)8d)FhzJ_d9xNAab#yhq&OEW>KT`nI#_IMOOlM{g7~7NT4M
ze>NP`JkylDz~g;_n|l`u@-^+B(=t#Ac`cq}UwZH;>_^QiT4t&z_ktKSPhn7iCsoAG
zG<_%hwBi;6hA96U;BLp8UOgxkEhF=h-v_7m$0HTYVwrMx6zCJV%u`flQLAy_(wBBK
z1mpu=N$|vae*ABnq8v*j4+f}pp0;2@OSl?!-U+l8kj?@-RN-J<^86s1NdI}+pUZvW
z5*5Ur(oW#IeZ1BRNlygTtMvnS2t^!74kaXoQ;-S{;W$TLr}~9qp^nFi4+-OJN;hr;
z&v61hA0@|Ya5MzzOTk6*<epwJhR%#7+nE6hLV+;uMT_`BeOD<aYMv2gjCNQR%=K6f
z=^uW9RwC(mrTulHEUjy+aixQhdBF{<k*Isl=}xhVd*$Q`8Xi?BMOw&3KcCjI=<fU!
zXfqElESk2F1|bZo4hYxxywVR{uvse@yjBHv)CAd=z)6N~@h=j#2QO%jM@N5Bd@us8
zu}7EzBq5u)?(V*A-2@4tmvT2Mj$*CbJEeY(XPb~@FiZXZid#2L<~}bEkiCwKa=f3J
z5wX@!gKQv+PiYn_pf1*EZ~;=&&{6#hyKbY3)H$?Fum7M@NmV0&&m=Bm!T&+c?5H~B
z@1eqojLZ)@3qmwDr}yw{?d;+?H$sh8$cn@2oT}3O%4FbrQ({XtqrJ!~<33Ki*r}fy
zkPi)u8~TogIg=)@sQuAd(kwq*d<8%#k>*9)yMwxPa!YRB(-C2IRYD2b^)DuqmO&54
zSq#P+`Eh_)C-C_HMZ0~hDNHBJty?E$jd8<Nb#)uRK5E2Hp}G@dc}JGCYtjp*NI^>5
zj8lUl-KM!^F8`i6U+|VjZRuFy)R@L2UvuU2*iUTBNWi<tMuDfJv!odN6gQ)AN02-)
z4vbC^Fh;XtM8xy?t)fd2USFnBzT~2e^Ml>6>d4ojwo3ZVs2ms|(}*bP{=d6Aie2V6
zk7sp_6}#$aft3~-Vsc9!>EcE<wf#tIczfLN=#vIa;BW=$fhELv09J)KuA_I+413{p
zX>8{Wt$lQ=l7Hv0kJRpC4%!M*dj!%ky(2Y9z*qwMxCT$#yG)d(+bF!SUNmiVIVlrj
zE(C)JG0#P0B5>D72VyBr2P7`}R=^>HbfXp`zNpMmNyUTWoFcHJ$%to)`)R)e?1+0G
z%(FcRxBuE=M?Uz>pQ-T8`neO1wSWWBdkH_#m5M3}#+AY_-rqMB#0oSz4!(4-MYzow
zV%!(TBYcvR+W<x|+0VNmS$+;Bf>Ag#{A`IdI7NJ8_A+_FlDe({#+;dZ$G-VayesUu
zefp0Y(@Z}?BHRB`Mh6P0b9ME!4|vQo!1UQcf}oUKRcf&z;c!!^QCJZ?G8@OPN)Me!
zu~e&H)l`*8?S>a9pAXKLqdOBJob8pc35Sn@Ss1Ys76^2gBlk!nIoirQG6J77cx?2I
zJXYwkOiU1>YT=~i4*ps21s$gh?id-a9X$vf%Sa-A^QPHHMKPlys>WRBzStCppKKk=
zg?a#IMvNNe{ezJm5i_Y+W~&*)Y*#OD1B-GZVMz(Wz`Y$U#&a?Qv!b+B8SqjzZh8{o
zaYc{0BF3>uc)pn)c7$)OCu>N#43ZW#3{aoOwIP3EgFHM%;TJb1*bz7^c#Hu;qK5mZ
z)5nL>u@E6S4kXwCJA<t-K4K?04f8w9j+(LeF`|yNUJq{|pPb(AC4&{9E!OrDc*}72
z`(pds%&qYwqWt@md3-Chj}F$WK&p<LZbtS+YX`#$LU?a#XUi2>n>P$c61`FjE<4wt
zTVF~I(1*+gy0G*X6lnbV+zBfi^G<5rZyCg!ICzK;x;h7C{y6|spyw_#-H22r1rgL%
zy6`|(un<LQlvXvi58j37zD4SjvvL18Up>YtxR)5u)(HD+eVQe>9!X}5P1!Jmu+rS*
zuQ{e=01)%W?Lux$Q2+O`5o;&rT{nd^Iu8^NT#gl6B)AYw%Ez!5+%)4fa%m}0TDMib
ztkml@x2vHhfeTmo4Wfr0WUN8%@{a%@rGO=>B3J&booG<G#9TII`2pf&1lPwkFA+%2
zkwCYq27eAORJJJqRtaz#`9=<4+NyY^P#`J=5%+@_i>#Qh*<4i4YNR~7(1ZKZqRm9C
zjYKygj)&TOxTKEHEcODXqEVy2xSuGd<c~U&aS(&LwE%2;9O36`iWEY;36W7>nN8a;
z)Izzl8?4CMs6Y;7Wk{(|O%}Gbd6LjPW=pIlPJ>>|jTr~l;CxRLU=Ippl>T<e?<&eK
z0|WpZVk`^GQ5Os9QaG^}T9Ufj;?>I0@x$&Eg+L0W#0KYCPuGQ&GJ1dM{XJ?666~6{
zU+xYkbP7bBdSiNihgbzm>^G)*P^}QFW@C>jV~<k@_gTum&Aa(1{sb5#o5+`$v-=E$
zN&k!uv_NeW?S5@0j2U4HPm`wh6JNSQTuL5ZQcN>j6L&Y8ST)q}tg>*;gzXQDqsmY5
z9cV&na~pGp$-u=Fp4Y=0>xc}K$x~yGHh7AoKwg|I|E0iSP%JCQksJgbl)dj$q9WZM
zpwIb;f5h>O%v|xwNE*?*wUk}lH|F`lOt?{#@?bT9BPkgG9DNFf+<n4wO0XJN3K<7G
z_4y~I<VB*fOq_#&hZV;bSMmJwP9Bh&SaAQ%x|9io3}OtnAuMOBS^2H<zqQN`X$t8T
zdY6j^)qirXDMjzyXs5|0-{4k9HTCpv_=ZoL6ORRN&KI0tJPE{fqlzp2b)SvmGK~dL
zC?)=Z+X%=w!Q*m!Q&&=x!(;FPH2dmumk1LPg--@@brW@<PdCW(GKWi9FJf9yq&rsV
z(&uyg&-z1O{$Sb`xVrv+3w9de$HEu7+)9PdM&Vbfk`xj;%9rNQ^^V*<`~@&znM3=z
z1;#Y*bfnUp$5JK(4`_^)T^tlg!B*9YM1ym#vjvoUcEn@evjp6C+7<0_xe&z46;xws
z+a<C}(&URQ0mIO32mTRYM^YnnVxE<(R_JnI1f&&}?-X*GG!ttIml9u4)JwnU3$oT#
z+=v7bMXVBi_zD;4*P{g8YTa$G)Zk)wXh6nwb`8LiTr3Aoq!V2{nAn*MITixrlH2-G
zZVIf@H6sA(CJZe#UGUB1Q(;CFT(8v>{FM1)a6Fk(yRzUGQ6&l=HvZ|sm8hq>3kn<M
z?PwMjiLj~H$2=LUY7)VThm%|coUCw-B3|F7Icfe{ICyS(w16)lWTfoxEJi`&qQwsB
zbMN<j%#43;TOjssVE<Z0`>=s$0E|%cpEhnj*woheL}{pGLNyZ&u#UH6S)>eodb$wv
z7SR^n_s=?$(-zdiTRIL%sFpI2E#nPNef4y+bEv|F1Y*RhR7LsG;w=Kg9Jq-cd84=*
zBnbS*gs&S7(*Tuc7CsWkslD)ssB#lJrA`A?EWZYoiqL?~SzH(hY9*FR0%mQPHnP1k
z9=0=kgCB%-B(wV?dJhax(gx~&Ooyg~DkKM7k6b*gwP_e<^>TIL*TQbDB6#`|fTB7I
zSB|kTLo?44_WM2O<Ho@Omnz-70<xzYWDTr-Yaj*$fk(#=J_2?MI(2TKI)u4>qLPy_
zbB041=9>Va=M9Paf9FA>n@(k-X${pt>Q)M=5T-ul5LlX3tBwtb!a|$#o-+I~)3npm
zRnYgsgFs8_dM`cbr5yv*FHnn*cBBV;+VwJ%Jb?Ea-<y*2R?J5^@5LBIL1sH)n6Fli
zPW37ce+W9*ld&)QoqGcWoDu})C=`h90&+n7mS~cV_0yqyDPmTrd>>w)WfuyT_6lDw
z;vN}*-dBr%phCi4q-z90QG}0OeQQd|J|1KWn#g>#abbya3PK4^K^6P3F^Jz#@?&rE
zbdY@Fpvm{Zp#2OA{XW2rSPSU696F7qutV(748^jl8tT5Z5;%1%nRDU?U%^X;EaI)-
z`isUvVQv<u7JAvH$wwze7^F6P&KeZquX-gZK<_9?!-51e6j!z^BGH$`sPJsi7c9)*
zwek(|;UrHv!Oh>gOCP<R7V6=IC`~C^?d*J=h17yMznAsvntx$YFu{-N<OxtXA}SGw
zB%G!$c|m9s!|BxhUH^DlUn4aDr<dH)h4L=y=2KUXf!l{k8FTeo!sZ9!MT8cxQet7E
z8)L!9q#up5g6PyUMul@8Y&k_k@vEYOw?eL)goe?q3zaQpi?VTYq{k2VpMD;wP*Dl$
z#l~{7Hpp9K3Q|^^Y?RdSeCtxrc8_ZXRV+f$HgJEJsrnI4h6)Zsxt?aTT{a(?q_4!R
z*K5<@Xzyb$v0*D^+T0xu<f89xp1<c#U}OPPQoZUj2aW@GQge_e)ULy+VauOPzaHVS
zS@Vw(5~4!906dx!ex5DNS7Dr-V8<1K0kOZs-ue?H+E0WrVC@Acy)o4IsN+<1`JNVo
zl+^@yem->xo+UTJ`^>@rd75TGB9v|<*mV?v5m)@;Mq6U@mj5*pL#9h25U*TiDW~ro
zSkyVLebf7UFDu#^$dhYqkCJ~E&(Q;QkxKveyp!0BEHGBasO$KaV*|TVekukFaDupq
zXU)3+e;liK6F_1~i>6Q=Pu&Pw=1Xh&av%6pe+SoVn{v}K$RqnHTm!1U2T6z9sNtSH
z-PMM#!Dw9>*u8&t0wfNVX{iQ8hHa$|r4~T}Ja>Rn_#%GeT#NK=BY*;heIp_KGK|U7
z_YZ`d4@`WD-suAY=S^NgHq>t;`H`@?Ann?-pXPGfSeC6L%YiDfJl;;++c+(4ImD8>
zBgQElj5reS8D&h<rS#r(&D)je(m?Nyo$poMiC(mVAs!}@jyvL+<X9hx=4opQtYJDg
zSat@DP}3coB*nV0y2aGupy<>t3<x4YfA0uH+${i*XyORDuFBG$dafr0#uU_%ju8?=
zd2b-=6df0GWV_e^OvEu`BfLGl7fAcmq#!QfBXZfC@UAoVrWUwKJPUU}LXH^s>NmWU
zl5gi2+C)NVvZS2c{YLlX%h}1WI|+URdXLafuirbJ6{vT818oROxC;qK<*O`Ejmcdu
z3S_UO#(5!)?o@=^MN(b+l<jdM`-AK>>3O53MEkpJiS@0no)Zy2#)|lUKkb$I!4liW
zQN}TV;FlYY)ooNlrW6Ss-fqA{rU{V}@^WYtn{~F@$Rh_Jn9rI!a$XM|<Ny#Ex7DwJ
zF93lj4~6<Tmtp{2j7Ko*-4lwN0$j_$te<qUuYC+{S3?~6eQY<mDFUrd0VbyePB=$W
ze<Sl9cpsf~9g>K6)_+&cIiLL6xgmJ-{xA;rTN#Vwz;Tb}I*8!$0S5V=L*?522HpE#
zsrT@xXuK%PxrMum>JrT~zTVEB1$q#y$7Jh-CXYMV0n$PzWU=l3E;mMU8#dre+fR84
zWs2EM3jDM-DQgA_+uFJ>yz&!d5RLPEED+v4MJjKm(qEOwZ|zyHbK4BErYAcYKz&a%
zP+D=6mowSYWw2hXal8~BML)N&2UQabW1Xn$=}0(skjC#r<?x@Q$vAcm;cC^7pvkZ(
z8dK7fZKp>mbSn!hcEi1P5w=d^%in*iM<(ABZuS(=6#fru!b&W)YWoJSUd<tb;D;r}
z<9-I<UzrPZqUV}=w?!oT%RS)mBeqpIOfe@TenBPJ*z4>`<VC&v-(X0DUspw9f#XFF
z%s~r-lOuTk@2}<sTYK)q<@G4`QoZu`{7=@=6o?|xsm2XyJ<3~1B?2bJ_Q~1L@~Id%
zdKoKgAxNnxF7!C_xde=ivZF`<sA*J<WW_nYy6(~3Vj>|7i&e9OCgp>hoAnuy+{&ur
zG0i1*WsJpEB>uSSFOfJv%&9(H2a|*4+@Mi+9yOCUUHE|iV;vJ|o1zuiUrj}*m1@OW
zRr`H6$<#fsx`YkHJw!1{MdTiGR7m_Lm_B{<BVWRbY~rwDRH_4f{6Atc+2_qboK+(l
z-V{M;zqO9is}M8YMoRFcPI8G995_@{L}d%FCSiO8P~8+N;)6e(S$YZv`uTZ3v8_i5
z<N=fg6Lo%>$x3BQWvqs%J1}d#;DO79kE((okMsf<H#VbGL|~31HwiC3j!dK1-=L(A
zl(z1Vh1+3%9{jyI?$Xu0CtuW$Sp`LWKU5JopuMT#Pq@`*M#v&MNSqDBly=^hdrIv{
zbfQiHZd-}GoMynWok|eVA8I&l3gQHe_n|r5s2e+bL7$hKT~o^Y<iGM6frz$8V5dR0
zc>}RbCoLB#p@G529I-sOpjQ$Q!zQ`DUeZ{0s?=!LT}pfU80sX09%n#iIeRQ8-s3`p
zInXD#<Z&gMJ{Sro`mYt&LnET|1jgiA&t|S7J*K@~BF!AUeGcUNZjI3;TX8=gmd=v+
zlgCQIj|Agi-5e6UH44PX-%UZBcy>pP&&b9f2*ZZ>BEOx5qbF4K45ES}Xy<V$QQM~N
zOQ%d9TssTf*cbpgSVCmL76tt-l4;DZKn;s;V_GZIY&UE{uv^kO!aD~Cr#pYoPbxZV
zt(O#$QLC&zpfLNx)GsDd?7wwT1WhG@v)3{}H%!j4_BYZ+IAtBES}Ug)w==}@C(If1
z^3tID0V>mMb_~Wv4^z+1rjJ1ms_KLR9X!XZYijkxQ6p?<28j(q34Z|##aaVXiQ(zW
zKM%UNS;Oxygow@Bx1`|C^Ct-gGBAZYY&ghAEcn|)z-+|J5lohB-B=9SsDj@*-Zhtc
z${>?|`zmWB(s!*6EW7UE(y*3MpTYymQB!A^F)cXur%55^N@W2d&R%PLQ@aU2T9b9w
z9(#Y(w!cof13yAw&Lb9v?>oD#a8zxL!7Hc<B&<{qU2_7MHW(FX-e$U>kZxotV}H{~
zX6%7O&NBW_RU3NM%&dA_X1QcW=LBzYlzA)iT~H6ZN?Gk||32(SkpCen!1sA_yhU5#
z$Pg`R>m3IL3V3P=3Fv28(@c>fG{5xXUf2-h>p5F;*tM4BSqvdm#(r6A!ULm1Y_@2k
zgAhf-)qIqPJi7+LTAH<GNRXB2X`2E1`GA+V>9n{M@(YRvV$oLQO9*~*j_{t5q-j=n
zaIw_S1aHsVdCcn^-+(8aguxcW6!Gy*_3fn6TYdV^Z%;+S$xg4#r>A6>dn!6r3&>E}
zbYte_CtPb(!x1ti%V`xczvC93Dg()3F8{JZ7`Pr02|)*%GNncC0A9e(#?1MGYxO#P
zkv=sk-8$a!e(n;b`1+U#j$q6GD1G4>wdqktTB|>?_2h5GWy#B6-MZ<HD)Qpw@Jmx)
zmZv6mws057pv=jv!Id}=mzJzt9A6)rpa*m(6RMWwh~jeE`%!T1f9?F8cWd4>HoxDQ
zUAhhKnz6&m$I8eSQ(+`fX-yeV&#YR;EsECx#5-4(V^pTBcgUQuzWb7}axts5x5^Q6
zYA#709$l*!<9P$uf66C-z!m%~&{Toqdr6FO2bLA^f$C8hRXachBc$gcqZ0&peMfyr
z*o;*v_se%SJcy=Y08Zx?e>I5T$0V5Ora~J+la70(Y}cymAzt3?_y!A;=)>s03$oqF
zm0MjXqr}-<tryGwFZSEdEB-k0l<nxyp0UghyO-?MEQU2(tOW}BQ<<umHb-}oI^Ox{
zDMtWR<TlgNK0YAu<_#=ngqg0F=5gGjfy8+A3z-kwhQJFX%)^35Z<6bcP~vO(u9H~K
zmhZY4i^+vJ=1xw&<s&>!Lm-O$p;0=BG5ugz-boa{BucXQWqjwy-E8R<bR)7rLR%u)
z4?yR~U8MQcRJyDrx&`d<6aniLuWb@SAY%gRV%+(h_gu`4TNIv;wTo&6N^TSZe&!?{
zOr*M%pTdJkvU6P`LzUOrF~RqdKt%+0iS-9-e^_i`z^@s2BYjKrZPT}d>0#iioj|he
zn*SaJhcFFnNJOJ<6pzozhaCp|J&vzQZP6qN0i+j|eXd4%72p>|5!h+A;iA>2>k59%
zz3xj`@eKwQT4%Pf2o4t)TwHQp$FPZJEFUQ(l(00EBHaMf<#IDluSsrGQD4@`yh`4y
zXoV14n{uJCqpu5E{-F_SyyexU$<fCiDh7hJ@;+O_i<rF!@FOBhEnGm~8TJ>qvR71*
z;~HBr999WJv{e1oiM_oU7(X%8b$pa>5SVOh&Et_ekKO??yfE$^Xx*<xrV4F`QfBh;
zFkb;Ig~8e+Nc+anHG3|TWsG_TFD`hFwPLtZQe-DQ0euBX!~pNC@*7erUE&^ClX(GO
z3gzDk%tu96A9%$qOs75uYda6V&i=qZ`WK=e7&dOOFDLl_fmDm!^JT#CBjXGJ4glk!
zEu=N%8$b*5=?XUi9RH{It*KbW$Ymcack|P1?ijIGzSG+r#Yy1tl*kj^K82jT%U{F)
z^KLAR1y{feBx^<@qkosvM@!-ZCcwn6C+JlL@x+H}TzqC!)zAk~3*u2|B@E=Rv*XM*
zHRS6H^~vU%YC18J21bPM^)gW=ul$kR>E0NeC}4WLePah~d6L1umPAg@>B$~$2DnPW
zv~MEXZJmx3ryZ#eE$XSzt^}FfKJ`zZa9pxe@Z1pKPdi`Qt)1F0ip2%{lwC(p*8qPo
zxUo1kXk~F-TC5LWn#|-Zu_a6MgvPdTh7Se8N3iMGxLR65sKr5S#IefpHk_=mIwJqN
z!pD-h&|CqZFV>p!{|(k&>ag4+Lh=h2*5FXJ<TBbFmp-B4;%&=|CTbdk0_*Kv)V2)4
z%T$5-LjGs&CF*+;0NjxfC$bN98YORs?@7AXZZ?`6bF8v%Je^-(co_j}4kOY&*s3&#
zyVQ|Tm3e4#CZv=Rnd%oLkj|9F1;lFYs4`{S$rQMUsI!jL6&;Qt2No@#U{mc%w(8!y
z?BZKQw4*Vnx9SK1RVsi@8WD!t@*7Mi&lt-MXJdnI^J}*gVk5rmiGo>rwcee*vwotK
z`tbk7K{OCR!0===5ysA$Q8V(b_>OBX!<JyRTE$VW&C`CO$e#T@DO>o;v7wE#s-ebC
zRr3W`WaJsq0yAtkPr;Oiu#FB+v5!N`C`U?1-^G1!niLy4Cb0|zhcylIlo|s#5OW!A
z+#v@}FSrP~eCMG`&P4<Br2#X46V*5)w|QD_CeAup`${KSwSLMo;>$xAPc8@0YtbgX
zVJ7!EsEj1u>+UVr#64yc<<yI8a}c7f<n>X*V4q2#n#Zq+0av6f6NC$r)#YTIa_7C=
zId^VTx=fOPPh#6$C0i_1)#InWaH-aCKIx^ZWAdK<ispS0G@}g7s*T=vE{JV{jU;LU
zoZu+LU2h9s{J}7_YhZks=Qq4eCz0danekC;$0z`w?OzI|F_dG7nxQ*ohaC1ijm8ur
zVi7d8auObF1t=})qusQX>jnxsTcSCL6^{JbOui6-4a|Q|gM!hoF$>}%OEpvqC#T@y
zSU^Xxr$lMxGPhxE4+$iU57%!Rylr-JW5Nbj-MufF2KTu5a)uGGvqu@Hg~<$v)!QBm
zz8{QUi+Bu0Yv4={nL~#=pe25dj<pasbyKlLANKwCl%shlFgxCGBLh{^%5efyS9;pU
zfF&}>VbN*MrxQElymCyK?-Ucm`MlcXLAwGq9uUsy05sB9?(W&9nW@uzXd-BSuSfV|
zUrV<Z%c}>#*vQV%u4@R{L@PG{OZDDY(5NK0stO>x5L5<fA+RV&cR}*?WdMIBolF`2
zzF7tTiI%zCzA^$ZWNvFQx<Klz^l@j=6^t-j+2+ImY<-{*JofVy6kAU8R|mO>Kw6zj
ziAsq8j5!2MEjAugIBs0iU9L5kqRaI9ei@#?^FZAFs<~2(ez+s=i~T6P^2rd=oH`l&
z3>g%;f!CyGiI!UT13VYmvt24xydEP^(~(9!A8agac|qXbFG0Ppb|l?#BrAmR$ddt)
zScpiUS+U{q9f}3zDyk0H6R!Uu&L<t>G||(p&>(aNJxnpT;^?U(&#McpdUg!Ql9V>1
z0j)iVaEY^y)XZB);X`($i3_Jhi)E(0*GDrSaB~+SQ>_nN?1cwNQveh5u-&@MO_J5<
zag_B^Q5M>ks<!c0H~S0uU%gPx+yg5S_mbU1tbX>;#DZ(HJ46oe=#B%ha+OC<PxDu{
zD~k_(qfXcVF+kv8!7|*mKXb<uYl(2X5ND0guiF7b7e*0C>6wYW?2-Cp_j0)Pb+!ix
zcEblzRP>I>3UTLak!4}m-B-0TCt$kkm07p?Ix!NFH2BkM45rGRr|4kC|GFe`>TUyO
zHss#GkRPKX8W2-uFl~y0Gz5ER_!Qzc&l3|cu3!65E@|kQPt+1uagY_YO}NTGk_>r3
zjjVr4VL!eh(qx8YvAr$?klz^Y=`|Fd+fyE6z?$>k6N`Q#ZfJU?LD_u-M)hXOw7cbF
zRrXX+TThokwcra=AhtqjyL$~U?o{OCh)&Ro;5Ukuj^6>U)+dWRS`rGsNUf(N?`x$e
z<-q6S!jN4Wqrnh`zl#Nu4+$niOEsa9%(BC+>MUM{OMaXxL~8APS91*YRp>Oyfg`RG
z2fL~^^|nJ!zTp7Amlfwm`Ok+hrh5Mgc970NdloJeb0`*535y5@Kpak1go(H585Xh;
zX?bcszk&(}nRT6~`TJiLEN7`^vCdgze=d(#5TXNXxdd?gOYg~yzc$ujRKY5McVPbI
zF`x^b4KRLGduO`N!ncIJc&6lI2oM!9MFn!HKkGsBO=8Z79YBBy{&7x-Y@D-kkfI4C
zgn2XzOv7Qi=?5iO3F*NKsX)Rg9YLR!A-aTi{VN<h!w(yH1>S2n1Exwljp7(k>N>0^
zfZxN9_j%2ZC(<bxyOmdxvrA;WmYQ+gr(Q|QZ8k~Us@H{F6eS#N`N04uT}xy~_0=_W
zOqv!$QtT4UU1@<K*ejia@f^w57|3x1*wa{$FoxB-D!c_yu+Rg|<v|kMX>opocnyGI
zC~kgMKW@<<utokr7h!YR*TV^Qj%$zt4Z5D#vX>oGjCKT2AcN;?Zp7vOThC)OryaFq
zv|OlgLSgu$q`3HhZg$uz&RD=zWbRLfCGUrXv?KwG0e~K#sVR^c&Tcj-_(Nckt$W$E
zFyM=vCON7u(88##Ja1$`0U8@sn~ZJCHXjhU+s3mz<NjO~I0n&s`a6V^UF@DUgp`A2
zm8qAa18ofbS}4JqyWR4MzcTa#%<~Fpyh}KV{~kks^P_>G(NnA6Njz$B%z4<_&T!1l
zJ<1Ml@pB&H^SlKa++df5{xlY24K%Yoa8O`{l|t@$v%79x0R$-Z9o`Z=tV^tD!y2>%
za57`+SYM+NRoGEUoMZ~blxpn)a}(kbT1t3CDKpp;!%7b+>GYVUzzVm#)sf#2g{_%P
zhEKo1S9Jv)itrBygu!Ej;k3c*{jvK^7Y%@cA!i|eGIEqq32>7Q#A%(+MTXS(?pf94
z@cp-4wJ#2o<6NIbb(r{4Qn4VefKEYw2WB*=`Y;_R)VMtGv!SySWF+WD&5I%}{>f~3
zny3!)j>}!6m+Z7b)~*5oxlnFRmLgPQMn1&hP%Q9^B+<5CZVcObc?u~LXc<G=&>RDp
z=#Z{`TH~p<7A@AMn6NaY-UQT(E>s8z^Ai}Jol=sWA(DeSK0<%k#>f{Cy?6tNNAaKG
zs1m!>nE=W9PZzYf)9-9%jr}^6@h}v!fF6IeOK3prQ6+ny=U(F`Eou#ed8ON>Xo+>~
z8&gPw$)7XPNRv1abt<@iU&;aFSyb_9Br9JZ*xZvwV#?(7#!mo6618IIj)&;@ECSr&
zivkuMR!H+R-N*~^SP;`zBHndkiK|KExh7SzB=L6RP`(mV&tCN(f5)+FYTjsAXX+#@
z>7A_Mu29}}_X~>v_xP!>=rWDN5n0+7eV*_9DH{dIaqrga(zem2lwg7-+2qztNz<Vg
zce-d`MzN5*z&^WS?5g~g>TQ{Mc^3XpbSDsvXV0$l+e1N9=ja8yQ^iFoS?b$5don^o
z-!_J8c-R#BlXJt+jHQqRR_jo8HU<a)k)3gy-%?UpOF>tK$<t_a*GX}hJIM*aRm{i$
z3r$%$xbluovS6J%$Z_1#v_}?<7iDv%xKyS1R<PVJK^EY59+j2BSY;U=MKkJ#+f)Fg
z1`sTlgud3?Be}{Y=<*F~=%M;e2d&$~xtNIy5-RRjSH3XCb|}x-SX&t3Ln%no^ELea
z-kr|^tNpMMgiHxksS!5vXM*HN5!M2$1vK@72%_wj{?yUzl{Xw08b?+#9N~%KtMGnc
z*w}u(z~2Vn2uPd$+1b5*s+=c=w%k=HsgZ&uA6@GtZZV+Y-hMcm!5)Y>YG`>5RU6`e
ze2oMs_j+*+shZuRcD6llbu|VpN)Kb;i=xF0gN%`d;pg+=D2ywo)nQOIq&_LelRXK>
z&YshUUBvB#y7OGkWQa>uL)#9u6n{BJAhNTmRah~EIpQWZ+){S9T0elZ$-)OpD+9OW
zYE=9YMY(_vOSIgs%FPLe*7w^F{Z*yaLYHwT-J7&x*oc(h4$#Annm-VR_V9sUfryBB
z7wTW!HAhEwR!wuc#O=ezEO8^jQ|cT^Ah6UbLQ!Uk$-7$5WpDw>zfKP^Cj{!_KyDSb
zU#BUWMG<=ewpR{~mJ0HKxLQ#->>9rjF005#5N#+`xnv47LJ6s)eQ+3!42S-uO%{s;
zsk&l0usDLUBhD}uTO^k)I{>ZfG3&bcGU||do7)IgN2#0rR%$IoV8`m~lv@8gc(snN
z+b(rUa;*&&9*WR`9s%`4D9+Ap#fjtuA<_b-lxZ+mijI}c>Jy9R8^1oZ@6Ul6ekRTk
zX~ZKI5ozE!*2X!nCf*T~3VkgBF<%d`sUV4{Ru}1ye0GTzD7mQkaGtIkBFWb`xe%is
zLdDJt0Mr5j2Z0w@UM@e*g^(BNJd-NE-u=>nZUrGvAW5cT>8Mps(!%;dr_7m+fCJ1j
zQ<oJiR@3&bQ?-kNIspuP^LAt@TIMpuFkGhNW?LC$r$kGEjAF5tV?3qYqSdkDwVF>P
zHgy~Nyw!nva26IHtNTxdd~<05{EKd+TOyRu(|Lz^DuK3UEzNnAIcCuL|9b;;)n^#Y
zf7xaJ(ya=wHC<)RCcfF%d!gU1xej#n5cQO+05Bb6rk@aC*!m~y>`YrZRLSXK3VMAm
z!|n<kRas-j<BcQv&27(<Y}1R<=T2Mn5rgpt)fO=qq7=9gVYuitIk!#}Wmxt49HR<p
zKYVfNN+rv3h4Wj6dQt90>U`*f-cu8!`>}M6EtaPiqdUkW<syrr@`3yV1)CG`vPrc)
zB$SjA2A6fIPYT{I)*lA*6P-@Q^43dIwbfVV9B1!Xwi3DON8a};_g)M=XN5A3N!7C!
zI-zmZBbFNbu#vq?QHXYinFGfFM`=*kJxiV_wdt!I3PV%w5nmE&-&^qqRLOLZrzx+J
z?Y*d#zwhk6U$wlv#4t=fKbvukXh~rQ1C$y(s288UCt(pAD_|Hg6`LLW+*cTIWhDiS
zmFO~M%h4hv<C-Tik~z)f+<f6YqL2*;PQ#8p0CpIANRLJ}lCS4#xo`IjOxFSmmCut&
zpD0e`jj61K)NXF#(O1mpPY=##(&+=;0VfE{GQc&aw~CCuOt2VZ*;3fKx*3@&*y1Q)
zE{=PEZMp;Lgb)xRLEP9fLf)Zp;~)^%w;1j6hCV_BcW(_S=d5LCX<oRDpcDXc{k7Kh
zb*okZzd>>gl#@8l<F^K}zbyi#o4eC(Fxsktk24&`1{@gk*F7n1;Bf1{DTsn)+#7Zm
z+hX7<!8p`$ZnC@VxP|~<%AOZpU#sF{<~CwVD7oj#0%if%On()<rRm82yO1tsIh0vw
z7<INy;PVXFo0$j$j_FVwDL}z)*w~JEq)_dFr?50zeE-==WHl2<)W(4}iT4LxZXPzf
z(w?=tMUEN8!TL5e4@K=l9K&nCx0%Xk=C3eqYSQ=SV<DdZQ@uRwj+eG;uSVaeGFR8#
z9)=KTDN6-695oSrhFfJznNyB@_GReV2u8}o6hkotCArHVunfqOqzIYL_4{CmSPcb4
z(T0LP<J$1P6!>>MZgm<*AmPIC8F`cO0cSCo&YB!f6c7<ZwU{q~wuByAi};w#BnIUZ
z5Y8$(+dgnlFg#t79zFQQ72<O|xIlqFtym0ops(A`PgnvG$%HgSUNhpT&6X<@oPm5M
z-0fYLD~5-+hDg0qm7W`yeUU0DL<H{95*);zhuu1ioP5<WAVlo00H(D8!PB+^Jai^x
z@Ed+goLRXnilcF&80q`Oaj%zB*oPMs-Dm-M5$k3dx<-U<e_R9t6X9SznTyXXw=ED(
z#IaQ0vuiGSayBdMW3u~%S@4~j@1*Khw|A%iRp~M1`p|Fz;EK*Km+>0QT#?vCE*EEH
z3h^%KU?I5-Z|?)f!diO+l8Vne{9Q=)ZD?{JgUIj}*QP-F^g{nu($lh#1(dq>&7N2W
z!{iOJgCuqahDO@fsD==falewCwVbo*E9UC}(nqe^-?-xb8ds-qr{|@(c)kmlt|&gY
z;Ts3@UZl-KYniAHXKX!<KZ+d^dg|d3{0b)9`GFNBm6%Kmn*hyWH30!){y&ud7E|CL
z#T-Fc<k9q511#s4!r5?7q}ibX9+!+vxf0m|?OF5lhHBMP0*~#{kySIo(H5XIdsjxc
zKZ_FrwPhnLvwqW@#{BCL`_}ay0NAI4O8d8y8;#P~Kr{%PMLZd4+R{m0GE#l`kD9ra
zzcWq~Vrp;=xs00vvm{!w+_-bZV@Jfd>IoFKz2dmFKvX+2U^&6wOPx+P^^0tAoj<{|
zZ#*bSV;RI5u7PF3g0x;a1^0x$F_|AM7f@*a$BUN4lAA+75n<X=`uX4u($@wjtvrDY
zPn3KWIWU46(U@{~hZXPr#~liL8qB2}ER2l^hk>_TQxiGiv65JVq!^oSxQ5vS`!u`{
z_Oa*VC|ZOVzd>aeB`n{>yg4_jkmj$+Lk)`qIY}rIB&<H<<%GC@N^$LXen|EO5{6R)
zdkm=mA?w95!qp^jjTIshb6vSb76S}$ciq97%`e6OK>b6#nA3)1{;|LVxsetzoMtkj
zp9pn1!TL_EgXQO7dSw0>96j;d(XFw2Xju+{!EJ7Sq%llH|JDZ!)K`X|i%FxtohQ0t
z)Sln;bEykSaxYb=Xh3W`yCu`&sU_k^$lZBq-hN{Ky$3Q7vV2yJnS^c1(ED7to`7^9
zuJYLLsquFZ7cth(dHn%c``4SbOXeyyvi~+bqYYjS0R%YP{!M4Q^^H&w89Fb#)1AN-
za%b8Dz55H>W2Z<l0`j>%9ak4=s(QdxTf}`0d{gF>Hl6%!PNhFcmF3^%{~`dH_zMAE
zNAdYRfD|Q>;RK>3IiVczqym*vBy|iD9h+ev)N4AeTQ-Mi!o2Q3NKM6Pz=<4QQf7rK
zv%;Hecs89`k{==_qY7T6%=4E6Dsod>QBqCaRL6G5LM`7w;k;PUAiM6gfq#wIsv<NE
zxkHE5!3&m#&p%QwwjM+g0drcU7`u0BcE=gO3BAT#{<C|T*Eb@t`hph?Txu0k)LL_7
zU*QWhy^_G($g5%pJ!K2)omUJC3?uZe@|`i*g<SIUCE~9NQj?grSK~Eex3mq&pC^hI
zmEA0_iZY8C^+kEGFfPYyOzGTqm`;qZ_urSxY)TQEC!UvW2m2eNbmEx9aR>DV+LUk7
zNEp-^Jn*@$vC-r6sg8bDH_Z0`H0*<<)wyhZlp5Z9WUhcPTT=SQ+ZoI(5{9Mxx(z-8
zNDRRyI=0k+`0q%}d=jqCsW|iFn6|s^@R>TpImJjyU-G`}^_nCQd*4`np7}TiJD~MH
z4<p0dUG-6?-K9yh+F6_158Q!a8DF~%r>RjemL)j;F_B=j3>Rg(g5_ct!S)^Z6Wigy
z3lG{ZD@99rQlcv2(K4OX-vmFXx_oPk$7wj6h&Sy&<@~}wbY$cS88}_Z`~<-N%&5iP
z-&LC6O+qgJ87X?>>0zhcw{?(TWj$;`WYt7$$1jIddGZYsJjo|!GAK~PolQq@1JKQk
zW#h#i#U4dit7koptsfD^xyjJzH+KfYO|@mBU}+;3p+p%82ckL@Rj7x^G#p_LB$2dA
zaY7k4P`C&|T8aWRPLO&e!6^$pV9!s5no%YMQdr|Y5q~KmY?4{_|K!N(>Tkf9vDBzY
z!TG%as5pveQx3d5uxTR7Cd3nqD%MN^7)`(qA4ZDK$?|Ko!mB6ZjkYK;Y#Z<{RbR&(
z@%h}9FlKys4pRJ=hXoazi`fedBPZiVzB_-5q+LHnAPc|>F7uB^@VIvVo#rzra+Zvo
zmaz2x_*{!Fhgp6I=7R4Hi=+9nMl#~wBPoj*$Y=MBm&LgE2<B;RF@c|U@W%n#L5`vT
z64|>21O-aT)8G~u?((pH%^zU(-G<&-Ok2}&eX_E>&ZtW9%$vsTup9It6wp^r&A*bC
z{N5}n4bP_-)%wM_V8>o}hP_;2-0;qQ)iU1^zRDt#-yA;GWi1&%iS?$=PxyM>%K{3W
z3&^(%hq-(aR04>7rNam@$yahc<|L{J9lm4cc+#Q6`}S2-tNW<Zm}TJ?ngO9xj?{`0
z4OK`aGyppjdMz+`BabRmh!2L<Utu;F4(<7B9CY!^!?mK1$as`!zjJq!*+m!y-D+)z
z>U+J%TR_&qNWgR*C;k{l51!vSh%>vPKIsGW^msdSDjA!B5bol+JXdZKFXKd3y`7x(
zkVn!gjEi$caA{vO^YItITJgHF0{f;_c5z*C1X5?rY?hjAtE=P!|8xIxC#`gMxbIte
zoPv^diR}pf+lm_~&FktMVfA^LBR}w^)<Y7H_U*^*&77|dKUS`!Hvqd1i~*gam-mhI
zU0|8#<U?K1t>9o=rJ4u4Gu0#IKH8(rJnBFLf{p1ATKr}S?h9E;rkFlU1;>hv@%0>&
zt%fR6_05xK`C+Kz$Z8eA-W0R_asAtyHUsbu4*%x5JlzPLCEWFOm>Kozo{rzFtX*o6
z?C_6%q;n9?B`yn&9mefQln+>Voa1&3y^{k7&%3m{Z3>{SUSS^>bv2X+TY()~klIRj
zp><c<rz718QOfPlf<QaV7D(g`o2vnvbPwT*@G;zpupy^o`QVVOD<Q<&OqO*gRkB%6
zxb9-2o)UacR5k^i|AMa=GI01(*r4%_V1(mEDRl&W^orFNfli+)53@UrHEyUz1vzP@
zT<5sUor2w5?m+wl*$nepCivJM=E7V9t2S4+Y~O<CRu)!4)s>Eq?PA-3;JRn`|5)lP
zfU-@gediPihg4j(eE5c@_V!J|_4@;vgy#27>?O|0B*rgx63IXqHSd-0zB;gF27JqO
z3~n71+xAHxxt?|7<4WFM0a#KQ8+7gNOc^CRj#Q-_kS9J#2K_I=fjf$K-zBR6H?-6O
zOV(yXtUK1CQF?2mXVqCdcD5w2F`@tk6RExnw<XO0?-acjA2$16!N_}#9pAnHo|WqI
zwoiFOLxYmQ1@FHHySMmlcpl;|8{B!vr*9uo+}@LuXn-p3o`yJ$G00vMpMfj}jQVqz
zAIONT3iqBHQ*KGl0TZf`BrBbU?H(gZ4c6Fze>ub$Xt`d#h&(9}OBEAYQ2jr)fKxro
zEx_{(J-Q-lxq-udury_!aD>u#rpL;!LObX*eHOQiO~u&>fMU~C-NmcK!Gf!^TT=%^
zo3s~%vp)xuAOiGO7AvZ64OcQM#ccLj_m9#IhJYswjTL4>GV<ds?O1M#$XJ@D9oZl*
zU|PTXnr~B;QE$xo$_0`IoBUU>ijS;8yqw(_mZr-^hj@deYRMiH{;eTg9uRc(@nOfH
zbQ!mcL$*OG!#N3>N9)%5pu52=8^>i2tgD~Pz{go*@X|U%Agn4}>R}j^HW>X;#{YtH
zFqQW3hLkV_bLB3m<$qD#fKPT6j<*&}T7|Cp#d9QQbmU@I@ltC-A*OChUw3=;M~0%!
zPSz*4#Goi?nTA-@tJN0`K`?^Ik4MIC*DruKxX8~xvV8q&75^1T|1g;_$sY%$6J`M7
zjLFXDoyO+h!=Q`=;eFt?!{gHJPMW#dd*Hrg5Y@)8`ei8Ua0Al^{)}uU^N%3Ep-)eh
z0XXm#K}#tKYhBv#mmn$C%MqiHh>=wi*|%$l*RmIijNgGDzX}M=b<m;-sS%{q5~%#}
zhwYsbXLQhYPk(!CmAO8_!c`7eZQpYma1_V#RmJ2~<vQFlKIrRVocF(@BE!MQR5p4E
z{EeI_X+uBm-0~3Oa?`<QU@7=S5UmRjKg?T^BRBrc3Y(gU9SIdWf+j3-G149nVmxAw
z?S7?7gmd1*Odwr9INeU=zCa(%OPpZB?jk0OGq6J+pAtTwZ*VF9FCHEh`@{d8C+{gy
z_G@(!!RV=ZWZ#!k59dJ(ICY5^+v(XczIV7QlIECBBP1D<-Z1M7J;z`!L7FF{$EsCD
z3`d*rbwx8ncrbOz0W^_LAR>L+F?Ws^iPrpQM<g88@)QFS3GU+Io%PsRoS$%`jXZJu
zR2&%~=oTZ+o@EOw;?rFYrL-=|n)jt)M<VreOe>KWE?+&1_KUtx6#3$EA;Fh^<Q(9`
zz0`GvuS<JXMbpUGNsCaWv2<4<d=q9NiJIR9vr#ykzDi4)DtEuBnQ9Gvfk`G_!1kqQ
zsl4k$9YOh^BTEwWjZ%G0DVo<ToI`^IL&JCg>pQCh?sQWTA2$4hsLAdQ{C8fH0z}y+
z^x8pMsfa`Flf)4zM(RxbKdnLmYUxDhSq}Y{M`k@*0%yifzH$&bV{^R`Dc6W|-$JH~
zA^}zdpcI9FguJ)J7pDIaTGIblF6j~jOiH@gP<z0mHFg_ELyW8<F&l;x8y%H`I-TS9
zhz}4J%o@{lC*vOjt7BL#=`}{iZV$JCuv$mBX0Z74V^9FGz0=p~#Ba3!m1nZi1z!#B
z{;y|EGidh~)@^N805mhDPae5zp}22ua>~Oed8fZ(BV9pwIUnG7*?oA%!a4FPs4p2_
z9KNyxihZMBm3oiEaJ(hkb9d!#q;ksEHWMYSs!2=bPXEzSL8*H9{Wk%L1p4k-UH{+;
zbfPSxVX-?uv&G|<mQzZ6F2K|NkiT+YGF-(Ct7w~yxCV_pG<;<kwx|T@R5WP{KcR9B
z_fe>|IQ+HHKm`p~<ct&}VkI`#@?S8@fx_b%KmoQsM*$msVHM?REC~Sxni|19u-3~}
z$F<yv5U8*WK@f61Zre)$i`{og`Cx1l>u5?&pbUIJpJ^N62XQ1ANIgq2!0qSDPA%Q5
zstj8jevatdMXD~>EiwdJjhhaP6x}P0P~gdzjV$I7?lDdaxuac4k(O5FmWRquc-;Ke
zL*UekEt1j5yn<{4^YZ<~KsO;wc5>8^-ogNVOd^5=e%$yl-)9^j{SOV_|FN+TqJ;4K
z-ZD_xm->|K9BMDyzwi*iHzlaL6&&=4RgX{r9%2RcrZE)7(3i`%Zo#?glLE&}_6+|H
zy~n~q&&4WJs;V4i?~6cz1)Dv{++$G=`t(+2YJc@s;$H-t1XP>VSbr5W3U8Y^>rx;&
zv;KF&dt4#tp9f*4qe3CWZoFmz1%JQA+6iD6z?MYJq|h5(EWrS;dbODw42XxSA9#^x
zpjAo;LF`x`B(s;hhx9%RP`U)@vZBnj*jXJjDxV#SUUBuGD;En+c@H7GkuE|uFD*d)
zN*dPQ?1P4*Jn}*h2YN3_z6NJoq>(nI2$L?pa$ysMms2ra1Pi?2#InF0w>yn|MDdQ4
z_6t+yzG8(I0IP!{1V-i)sVyO&B%0sSQWE7X_Nd1@L>g%g>G}W|MRnek1GhJ0me)9V
zxZj5l^3dCp#M92tz9do9+x`pO9Cjt9*}?vw9qI=2L!(vGQI}y~0Rik_zD@4_5NJRG
zmhjEz)XTuNja1)5?CQKIE<8hD%7V_9LM{8mX)F=R&>af5Bzx5H)4MfO;8D2?xH2<o
zD!T+74(Y{H3%V1;EbVj64lYcBSX*f#K5rumr;?s*;Qmk7j{!MMd2`YNZzPnqoC#34
zEKYT6nHKFyi`PNxM-V*&<tsTjcNtuxc5gP7iNU5raBSD1cx3_-r)!s@S`tuTrk$s@
zGU_aKQjnI<s}D+R4e-Vs8<hVu(6Vq^aXw9!O3+hW&(BU4xLm^t2@{#w3IGVE80z2-
zvjT`awP84e&*a2Y$f&624*duS7fLsQf~>G<9g&6rSIGt&<I08Cx;B0zak~!A0+Jtd
zH2?G5!ADQzwLdu7A9o6cZ`F0@2?!t#AG!S*^KddwF}^GwKq92)@Dd$yl03}Yu&5Kg
z&@9QpZFyI?^b#P~p|?{gM0nd21RH`1nU85jgAxEpN-Qbk!o@yy3_ml+Lr2eA;eW7>
z)$#yhquU%BN&j8L&wjMj3Z9}741T-PBgRdXi2<zvwRcVC$@~`HNMv$1ALqWAxkaju
zns64SBA1Y<AN!+eVM&hyZ|p=4%p$(#+U4T77s%%?{2JKiPhK@oD;ir8o1=Cl5nlt8
z#4p0y9i;5|Ju#~jO!o7*9m7CFB+q84X@cFd_WQ9dLmD(|@T&oEzVL(jqP<bjSrmD#
z2G_oc-=K33;szW}4ZUI`d;oz$B+J8Nt3gx~T96NhRS}`~h%67Pn{K651}P`iSo5y8
zYExAUxJWspAHyE+pws!?Sw$0xhak5j<^+^)beh;}RCcAr(8q~;rhVk}MVi~|DIoY2
zh`z-H;8rKI#6LC~WD{*>$}%a?CdpRGflZ*uX*(tJOG%J+v8EW1x^d<xO4=C)lqXHZ
zpzN&W2ulobN_A~grZR@iC;{s1ZUqS*sU~M+2(JswaBsyD*1wR@80j<?x=Og~l8nYe
zvHPWK?|jMGD-vhWBSfoGH5gs?zoNx)Ui4OQslb5g0b}+a<Mb^SQXT_-Glt5HXl&GX
z=NX<#yf(b=fIznB8FZy4&DEhg`^Q#T_4lznB#!jQ?IB4L4J~(NXCztA%SK_!iv*|5
zF14=5bg5M}S9vpnD?g_4AwIEFNtX_liuDd}IY-<Of7*`;6nM8l)1S!%JXz}KhR0|8
zOtoMkr$t_m`)i!~#<kf?#G4kE5cvoX66QS=cHe$Fr}>msMkl1@RNSB(c6brK#y}x`
z)~>V75NSnfQ#EF*nJ+W;D7Pb&!-TdDZc1*s=`W_;r!Q?L8LYGKp{g@G29eh?nNkSH
z_v=<SXivfaG&Gwf-<(=@6A70D5*s*merJ9|WFuOP$ki1LJ>O^yM|=3c0B{}_8k}FW
z6#y~4IunLB+90g1UQ)yrP#)oRVF5%Gu=42J)nYup9|g*E)B&o*CNvXT4hAAROnppa
za8213_FCF+Wx%Noj&ybH1`wwK`x=Aao6D<<tG~%WPm|lYTk5V*VW!sG?G10?ghh+w
zecrHqQ=ygtLoBY2RL!VT`xH+=jdxx&>U$e~;+#Z(<5GPP3=mOO%9I0{3^|e9gAN#z
z5b>=Bm9>FOy|-nuDQ6)Y6&C{?jcNnb-lL3q!JO^np?3y8q72oivbQXTc^J}72#+WM
zn;CB#JDZpj>-~9q(ewEOBAvlf_3W-ub<axcUARVcc+_@`z-nf!8pbJH=lSLchf&*d
z+GJ5|TbwR;=W?DDkzeJ3M$eup46nY~;T;Sv7fqtblEppi#M;Z}+}4-{b;K44)zbT%
zb2U@*seb9<zqq#KGG)<S4{xwf;)@3~FB8_V^My$7)^;c~21_punC48}hUM#WqPddd
zjbqtjD(6Gj;XD(%eL!9dxkjtmEst|9te>4%j&f+7Vc<v<cfZjID~R{bvHBBMI~Tu2
z6^{#dSL!exjMio_aKH;=5~Tt*f{aE9(dN$8-P%tT*ly+1ZZ>evQ6<M57nJW0f`hby
zuvF<Uapj?dfDnzbunP4Q;#k&X=Bi4pLx!^sDn)_}_K)7|(uuRvD$>V|wyd>bW34E{
zP6vYH#~&Ub8${jv8pzvtV$JVgM1zYC&`jAoqGV#pHB<M+jN(PVqiqv9U40MYc<q8*
zxX^e;R+=_H-v12-GX?G;6kB-(o^pal1!Q9Qf=Xy$cMSRLx|8X#un_Ce`Ho!;M$Gw8
zCtqt7LF7hk2ztZ3*8kxOS)$`pp+``qOsz3%kqb6Y9(P_xv{`g#eRR?|@MnLaw-_hZ
zSE08?3jKfLM9k^{@kYDu?7@{S;|44;IKF&V->~oLny}(l@SnunKxx}KbTv$zhi)v+
zqm12y)<+W%NO<+}6k(+y{C9=r5)#`zhAGo$Z_%@;Lf>6;45%q_aQV1M%8Y?j7PZMf
zH$nXX1H+x2n0TF*>%mBr>5Ide)s<j0Pa>5nNUwQnKLkol{N@!v`J&DjS?MEF%(iO{
zi`z-af<}i`i>-*8b5EORo<B7|CO0fyA^-Y{<>OeGAyhNJI*DT~=1uyrN+SsX)|bsF
zgajz%x4#@=8^gWX$S{DpjpG*sX~WgdBzY;`$k+lq-XwXWw7Rz#;o#E=%HfCo>{?3r
z(d`zXzLri7Ys-8NG21b!3U^!L+~}qM)o#c-)I7fO#?{rPkebH@!hClO<lx9^zH33u
zm9^E9CVijGqaRMFui{Z=3|1t2prO^l!F@rUSnd=Qdp_s~TsW&PM{+tWbYK$S!gfiM
zxu4ly5UdWX{sU8PxV0Z^)r;fqou6%|&wzS64xe@l*`0cJ!g2~`Q2&*c2qOMeqnrTc
zM>6`Bc%qYm05BP^1ielyZ1q$VjNAb(81Wnk{F?Yq+H4dT0qC><c+5wt-NDv{JhE1}
z^QYwywZMW@3Nk6Ow!E!$LGy(mCAtR_C}YW$@CX1w{Q9OuQ|`(_Li4gMwb+u(h9V&z
z5|R(@i74~`XHNIEEWK7Ik_dVS?*vp7Hvrp)wJs)PQMQgaX9cZNvD(^kE)}k$5NaoF
z)w%`tBqqG%oxS@!?S7>XiKekJI3l0FfYw4(S*NJ)V=Qi~zk9}#)Zb@fj)my?DB8WG
z9msVycyPhbz~!PBp7+c<0I;s?dY;&-d+W-jm^-do2NbO6hic$9KP^VTUUsrVI^B9}
zF16mw7uebrzYy`Rh4F2i#7UwE#G@~|#9?B7ZkTZ^b2hbU$6)xuN@hTEX0#~flMR;}
zS0`@@_plHgtq1t6tzU`+=&%Gq;)1Ft$4xb0V)PJC5V$BI1W<Fh`Va+kS`!4)D#g(X
z>`IeyWP5b~m}Cl&o#_RL=xu5gxl=d%QcesgeF#tKovyY7J;xE9Hy8?`EG)$j3Mte#
zA7{6xC!?FYNbC$47P^FK8SFgz5tvdtSyb{Y2QFXU3JQ-OhN@jqZDW-bFiCU+b)ts9
z5^PU+$A=Yb+*H<}cy$#|GfyC2bc7xIRXR2g@QcK=@N(%5r-6<Q)Uat)cdY?B_92Ou
z&kwkG9YWzfidxDi=cN}|y_|{X_CPJ%`Q1R|_D}Cog~@#w2d#F5bl4j1GgtCNV!&+8
z>G2Xpl{x;cMbE-t`Rw1%e-p#1iJE7aNdwLSN{^oaN`U*tpHerLO!?Wd(kc`?kxr#A
z?k&)xD5DQSR#DY%TY_UTV?_n4;9~-djxzNF$I}H#^`vu@s#e(R;4DYxl2|H2tH&wT
z{s_E%ZjTBWiqXXj0}6&7Ou+eZO2(`fQGb<#o<YIZSP>!kXNa6~MFv=H#f_Q`5#*gb
zM&=fY=rNp`)BftfjYO%r=#l~v02gG9_`jbg@~_hd`2|J@+r)T$Le*Q#P>GW$H#_OT
zNXV7P`rar8ufcAFZ4<-|y~Ht74f!~F!p_V5x`VOyXw#Q9!aMvz&DC+0?tg|ROs74|
zP#Y%7TyC}mfcM-3F5a9tRs=57Fe4jO#*8Zq%*O9zlq#}VWfeWQYe%w<{@yCymH=lR
zq+XTgzL$dspsT_JPHDCe72xkjbzk2g$0PHIzesj!jY%J%Ih=0$Qy=k`>&HQ{u*0af
zCSutE)4+=YJAt$we_HI}(gvy_AgnGW`w3)4=Il!)Zr&UdAI3Q1&<hLSs?=*+kjV2B
zTTR<4SzWe)t5zg=)gkKlnlc1Q79ZP=r}{EqsWQ~bHxz*3xBeC9iDvJGQD-R@&*H<Y
zPP=dKreaGx+^c^g9`RLJxW9}<&}qL^ym5dzEQF>p`(zB@)DETt7xWtuyJABDd`S6O
z*{Ct~GCWc;l*a;<j)`iVyH+I?e?4xBN+DOYfkb^2Xz|XmVwTngaK<=;uk}Y!RxJCP
zGk6ZiC=}#mL+Dry8yXF6hyw#}qNjq_Fna_C#q~$&)&fTir=x+x1mB}O=q8IC(|86_
zMU2=y>YM_IMo>H6AiY>9hOR=1Od!z*0nbeq^mr8w*_`z}lM=fvD0wSeqqi*GkzL@A
zsi)c@d>LV^+4KZ-V?$u{<PYzk^H8_o#E>@w`$zAn9k(gOt)IvcRdX#E1#bW<1sYe6
ztV^%qwiTy?a{&dNctN4;xvYQA*;J<ngAu>Zqg3KtRV!+TqXI>3Ou(X81GBN`biV`~
zc+8d**6Je0WcB~Y$&bf#D%Sc4RMcJTWO?PCergunqo{C2=9~ioRwkTJr5~~PQy`wE
zHKyc-Oe_Z7@aHeLv1IuW#R7$5?n<2%xXihshUJa2k~KWv7Ye@=$=jO#U7$Xrvk6%x
zLoJ`yYxkI#w~h7$HY{O&@{dYbSj4N-{>do_9$Z(QQ7p`B0-#cyMPj~5m%ll5>RE4X
z=CyYtKfK--bO!B#HoodyI}!f~Z`mPN086CYxBxEg|KZ1IVG1*0LpXNHm@iaL|JZr_
z!7Eo6Y&FH<=o#q{t839f@WEs*|Hm|h#6RZ#HmMx06US6aM@`pP6q1cph&Wy3Z!*;Y
zim55%B7;^Cf1}&_inqFES)~^E6dm0JWUVtt>I(lwm)M)vG-S^Y<H-<B0D}n!5H(Gx
zQgREx#|EE(N)he0Yg&AckJndZXeqpSF;UaQI9ck{n=4-bFuP|*ih>>sa1cZdFCm;G
zUDrM|lLu9x+ne^emJVU8+KJcyHtuA_K;(3CRVF)x96G1z#N6>27S=)v<OA}ub&_yx
zxa44)^j>u)of^boqLgP4C}s0_`<o!oG}9*;?dOHNcx#*%QMS$%&-HKIeoCaAN}jc0
zQrGy#QY;Jk1$?8*>qF@)aDN^Z0hyhLA<L^=Dbno%;VidN44!qym{v*F_yz@#dSVi(
zIuKUiT7wU^WeuM;Ow1gie@VG)lCS_x&@?#+=)FhZ%m!VhvtMxvH%Zct#Pn9!#)^!s
zXW}&JqyafBoYBX*hrXTEoc}TSTdB(wOKPJZotV|MJ|fF~j10DC@;24hNMw;doS-OI
zapv<2wcpo~ZaXl%4O5nr?6UR?``MUd8!$(Pz(cT7;+i`6#+-N&$fq<yC49AgLK3OS
z^|YO%+_Kqs_$JyJ!BrXv7(y3sDt*{)n+kfepwEq{N&1l+S@JUjX10vhA1ECJ5W<JS
zKBl~Fx{UyD$TU3_yuK@=Y7N$^N@vr&rJl`vrhDqYwf*(b+Z}qKCYT8$v}FwFe7F9m
zHNb22=vHqE^cS{1WjETLp8or-oPg@Kt#Zm~bS(o9vuJLlE5Wj5vVtVpG{OI=PK$DZ
zQS9RrDOtABoHrUN9hB;=AD0&j!WxW|Z~$G#%#NUkRv$_~^~!IPl1<~erw`op2)hRj
zt>^p3mOm2|NM>H{A@^kSY1M4JI+8&z8DM%LqfW0uh+KKbf>g)fzwX~nvH~3g?hZBq
z0Hw4+M@)<~d@-gnSm-ALR^anjMZE`|4>6P6xHj`ELXd@r2F?iHVX__x!3sqBj`Bey
zxH!FV_YVUW*UPVI*7Yi$3!W^ov3BNt&t?cfUDNb#H>YHJ>F$aMbox+xzn$hgrr0R&
z2-g~)R^>i~k;+(@7kaZ}PkWZeXRVRDt8@|x3KpI#4EP%itL3`!6m9Mm3;4Z52W=e8
zue8SxDC*2{b>tV$2}*7MT8-(%;|*Sd5ZNJe-f*A`AiSWJ9u~6o`L_DxZ&vadU)<@=
zu*mEUdcGL1hL<;wQ_E|hkSC9X;|MV|VWngN24G5Zbaa5xBXYMFrA`+8krSATV+k!c
z%{<<<6a4g>Y=^zuHe8&$Q5oaJpVGMtof~Y(r2#^;NcQ(gXWUzmf8NKp-2NaNc>zQ6
z5JXg7mFb+NAj5<Qly)!OuGd`{{raodEBf=k5N7cTOTIQQA;afGu?fj%)vSj$E;*Jq
zgaYn(ujZFyf7#P<DaNi93koje1DMim;l>hBS~#KtYhv5Xn7*oPq5B@jhmUKld1d^l
zxV;tMckX{IrX(o|UqKhs!y?AqF*iBb1)o((b$7|EfcMdZ)Zdbt$aK{r3_hsn<L*6t
z1ExkwvTlYFclj!2_^E6y^z7;|$z^{5XerroP$~IrhFS~b2)zTs@qC1}>KO8wl$1F}
z$y!VREN@&*B+=4t<I#)+5xpLMYA4^8NoVLIi^xJA>lvwuRg&0%QznoQKixe+*^zY*
z8=g_!@JjN!lEzXbriN`9H0<F18TPs%h?xiK6TlblYM;)>(s!^M++bzK^i~HGIG1I2
zvpWYXs0dnwkBZIp6f0Y=QQ-j%3yf30=kVFl`BsU1*BoY@tL+7<aBAWPSXQcA)#+OI
zIoO)SqS*6%Kzl%OX2v%9LHMwV9ldM?p6*cERk8L=;bj?Q6Dt!2fXTbe%A<{#a`>7u
z=sS$Dx|COyTY(<l)OF*T?+<cBmI7gOcd<atYKM#rRO^Khc!XR!wbMi7HGbj)q;C6-
z3X~m9b!_k8ZKjz}Je!!}d#7KqK)I_7IKBK7H7^7bw?aN{cp5dhVStMMDSUgWP+sw2
zR4h|5Xt?^M;hu+mDmYqjt<yQSNx-_IA#HXJk#H;^l8D&Bh91G>DLnb6la}fBf7?9w
z{9?yydfdS8s1#XHjL;nx?Rb;6NQyxKyPjDOa$t%Br-13@pO0F71TDycGU3;!O_>Lt
z*I_w+%0w{Va%?A6mLYW2$Y-1m0Vbi=jMt8IC0%EFp{-H2m&33aUutNbMrXdN9SAuy
zDMC_D-hy!5m&9p`7$+YF_@Ak7aTGH)3cjLo)@qM62&-}JIP!b+BODj0S_D|0m<WLU
zj7MA-oeP#psix!^u9`^TQsmG*<gvlJmRd(2gakp8!_*Zhv<K9uZ5pvuy=w}tK8b_?
zr@f$x5Twu)CrOkQ;Gx2)zahICxHkQioxo%o<9&6+9T2&VH8lb^Q~C=t>&U9I-M@Od
zt1p=hV+lHp>@mMm|0zcwhKg71*t=)!CSojL(!=8}%^8jTdJT*i;O%yZh*vgMd#I=s
zx};b4>hB$At&U`cx04(oNOn5NVYf!VF9!H_(MT4g{s}K&P@1@&bo&f;VZ$~PXP_#7
zongBJ7*9+XI0}TWaQHH%-jdf0d?-xVY{Etl5SfcGNzl+U+dP3fBg9S**RKXfIR3#Q
zCza~cyPozI?V<PLUHjQ#*?Q}%Hw}iPJXE`-VIfrVAdGWm;u!1{O-@X0$+TyI5_0UI
z4XrXIJ%mLPU0;lh3*12Ex_K#*8TcTAEzzOZVk>o=T82j%#T?7I0rY~dHwIDA95ht5
z**zNVwfY(E#c#cCKVa98>m|uP<94;KY84VY7rhk(oN(fb2SXAel0*YB=OQyk44+1$
z==+X6Ej>uVxvHZ=*luF52}3ur8e>*(hrizrRL$#l^t3oa*;ePm!_BH*cSUu+o*3e&
zy%E$ase@7TI;f=`5c}jKy?g$oRYqVCxeH$8z0;GOIshjE`E$=I9sMlHOF+%}WVoB{
zqBk%{S$a5~LbE@byvb=n?5J7<huCimz*rKLm4RFFGJWuuZ#MOgAktHE)>B$b_6Qwi
zS<kgy!w+YimD4>~z(#x+Gsw~lxg0$j^5xjyO$bL&=6g&yO(-T%!Nt!`azUHh4%vu#
z8X--=y-U<P7B%1u%tGOdrFK6ulBsKkz<nrD8jH=VI7`WIw=?0w;2+B_6m52wjj|*l
z3!8~Q$S`^qyd$I8u1}BeG~)O012a$s1+2Rfjm<!I%ci_(pWr|*Kb}E#ZE|t5mC%+-
z_e{wZ)UQvUYAWOjaU;V#JxkYDqFpF0--%Y;tC(Cdc`qPiXu?4Jn(0}RQ~G5sH_xIA
zm<Am0OJC;@qZ=+eE6bJKr<VmkIK;Xa89K@9{n~kXh^137M}}AFkFAiArNRjcz<<8+
z!&>J8Y|^^sVU9T$!IUTYtj54FGk(8P8kg%Wzvd0rn7KA_xcmJ&@Ig5X6z34w1dQLg
z`})}R_HWNi8CisHZi;|wZp1D8*$vg5l#B26G*T4DZch?Z^Z;5Cs$KnPiMIIr!w(Ox
zq|U=Kbz!!b<TeSQ5z;_vij3i|Vuzv}42G4JcGGU<16I-l^;N7#%C65NU;qB$=tdJ!
za5KcBWExWboGjEXqT<g{;^kBf;yD_fV46`eO`-P?DET*jXh|{wWb2S8Q;-mdM#l$y
z+e;jVpB-n`H4?dZUia&|Eo1&8k~4F;h?~?6Tu@Jq%wq3r#Kw1~w@<F~H7<HTEl8xJ
zeZl+@!KhkBYV-e)S80#ZXm%~}5tBL=-4V*g`jpG|w0K)H(%G*rXgY#MLN3e75Qyi(
zFE@Uoo@A8A3nY}3h`-uEe7&;*tUD9DCg+&jEPMwJagDga!;z}HQG@_&XcU$<>0e>9
zy$+lit{0hJh*?mgQbJ&=l<@KOY+XBLDVgpfRk>cQOjXoQhn;<7>Sbqag*r&rFkMdL
zosGs#l?%SQr}lCdtusOQ8Y#jqB?A&LVpZZDiE?Akr5iH44nrHed?Y#<zLnv`pjVoV
zhuw5oh+Zi#fk~-p%<(G4(43B(sIR?qTEJ;10?9zgh7j5;pPOAEyr%MQq;nk{s)Jzg
z`1`efn0a`3L*G+2<HF^r<p*_mG~UIo*I@gx!ktphKzhCqupcE^Bs0O|MMz!(MpI1X
zgw55eu+=tv<(-|sfbjtrDH<g8+W}&H2E7N&u`Tv+YG%`xE1ez5WKZxrA1eqir?$_$
z;%;vuZx;y}`$SiHHhIIR3h0cLG7UPDzH<RKsTRNkp(1^_tGv!zC)&A)t_wF{^jl<G
zC%a^r0FQ0SO<69;o968YyP`xI=5~IO*&;2s96Xqz77Oj3Y|j|&kL9|3GM;b9Z}pjl
z1ywK&`#*QMe-|WJvs?Br1C6kl5dZftXrd7C!V{VxwF*1ms|ROo93YKE^mW>ya4|Ef
zEnkjJ?AJChjzvemJbi)7lcmY=O?I&Wlw&YY1-Ds<rr)h3DvvfDE|cku?^LkE_(vZp
z8me#6lA0P+j?o5``9Q%~7Lk_hjT*{-JE}Qajo|I4P5yx#iBF?D77KSXK56##4!PWB
zpiIqkaxl#WG)3EeDP5BuY5uWohW{nOlHz_>G+^c{jD52_ro+1+o3uTGh|q=}N&Q_T
zu>60pN;siL`0Gn4SNk44JPb~np;|P0l=-MsMb|gs$mqQ)oVuBPJ8_&W^46Kr9Z1RU
ze~!Z~2MS7m@}fTLxhb`4tGvy(!MWm;p*mwc4957)Bf_dOv*cHFC#z4j<2@};eq+|4
z0f$s90S(Z>D14^}ry_$H0mu_+*1gBYa1^cL3DXU=AgfTwM>9<&R?d0C07afYZcyms
z>q7U-Wa7;Rq}*K=T8$~5{JqNgP<n%j9JvXaPU=geR}*-8z(%~+u474wF_^Ph4|g$o
zh)%Q(k0L!jQQ}Ef`B}ln2HK1bt?k%1wr^{Lwp0KA20g~Z5+kc72N<_j)p1sV5U3l@
zlLiL9n`EFSN`rnP+53rQ162FHsyxbO5$AEwm!9P6Ab+NV6?eS<v-<$*vja?$tj66*
zWQkA{E}>vZKrkVjM~R{~N&!veOo4%137=3g?UG$>Sj|8<pN(8<x+9A347_;C{6`|p
zL)Iv!z4~hxu&K#j503Chno$wtEhdE=66tgOeFT=&VtGp=^$#aiv=EBg#MFk;C+NT|
zcSXTBG7<su20}+|&|R;9u<2Uw8=ugO(Q_N)kk1uHV8${0vpZ9d1g(QGsWK4wTF{}Q
zajhNUC{89+3m>ruCP~RZ*TS8B0LkNI{p3Km^GC)I8TXzEo`gYJ<;&f1ytV+)huGwW
z{^`R0cpvAmNq{g(I@NsOm+RB;jRgJbY=cqXnbhTKtH}VT{eltfNvGJ=r2d1;qlhdh
zkpS2bn{g@M@na?%>e?xj2tj|dzIAJq3$uMXsK+uLEypFXEqgKZy0O#7D0^?$?z|y{
z`x|!YLkUHrfPefv$uVugcVeP{l!{W7p*RP(^X$AG44CXyjN<bPdoyotl>eL>JvmW(
z{@^}`f#cipAQLgGx*dWVs$TI9u#ewM8xQ+QjZlIQF;-e?>;1DXXPOm*lWdjHULu=|
zrUGe$uRS!Nr!uX*jW=ZzT_3ds3Md!!h52~>5^GJJWY&s$Xgis)G<oLPNCS28D|j}0
z#YGE_k4XO91yqG=OlQmdf3s=I=JC^zh>;PsoCRG7?I^zWx}*XIMst?0WU9<14{FuZ
zZtUZqvV9&wDHIjEnx`@u=e`9$4aespRMUC3JQwCE=Vv`v)1@zsI4yBnYpre?N-J{t
z48KT>{stc%=kX5P$^Jp+5WH{ke@KYYD}o!1=#K3x;(y_MP1$Yd?yOX~)-0M!hwM{M
zNvmxgF8X{Ttho03wRTt5m23Rm^0+|-!HawJNK2erkcN>WK5~#qA;9gZv_7W-gzx3$
r-S)%;wP+*{ND5*FO}d4uFCa-rIAkJp9NSfN*0SoqR{hpR;1iS$ekVEM

literal 0
HcmV?d00001

diff --git a/filecoin-proofs/tests/api.rs b/filecoin-proofs/tests/api.rs
index fa1517776..b972626e8 100644
--- a/filecoin-proofs/tests/api.rs
+++ b/filecoin-proofs/tests/api.rs
@@ -5,7 +5,9 @@ use std::path::{Path, PathBuf};
 use std::sync::Once;
 
 use anyhow::{ensure, Result};
-use bellperson::bls::Fr;
+use bellperson::bls::{Bls12, Fr};
+use bellperson::groth16;
+use bincode::serialize;
 use ff::Field;
 use filecoin_hashers::Hasher;
 use filecoin_proofs::{
@@ -221,14 +223,54 @@ fn test_seal_proof_aggregation_1_2kib_porep_id_v1_1_base_8() -> Result<()> {
 #[ignore]
 fn test_seal_proof_aggregation_3_2kib_porep_id_v1_1_base_8() -> Result<()> {
     let proofs_to_aggregate = 3; // Requires auto-padding
-    inner_test_seal_proof_aggregation_2kib_porep_id_v1_1_base_8(proofs_to_aggregate)
+
+    let porep_id = ARBITRARY_POREP_ID_V1_1_0;
+    assert!(!is_legacy_porep_id(porep_id));
+    let verified = aggregate_proofs::<SectorShape2KiB>(
+        SECTOR_SIZE_2_KIB,
+        &porep_id,
+        ApiVersion::V1_1_0,
+        proofs_to_aggregate,
+    )?;
+    assert!(verified);
+
+    Ok(())
 }
 
 #[test]
 #[ignore]
 fn test_seal_proof_aggregation_5_2kib_porep_id_v1_1_base_8() -> Result<()> {
     let proofs_to_aggregate = 5; // Requires auto-padding
-    inner_test_seal_proof_aggregation_2kib_porep_id_v1_1_base_8(proofs_to_aggregate)
+
+    let porep_id = ARBITRARY_POREP_ID_V1_1_0;
+    assert!(!is_legacy_porep_id(porep_id));
+    let verified = aggregate_proofs::<SectorShape2KiB>(
+        SECTOR_SIZE_2_KIB,
+        &porep_id,
+        ApiVersion::V1_1_0,
+        proofs_to_aggregate,
+    )?;
+    assert!(verified);
+
+    Ok(())
+}
+
+#[test]
+#[ignore]
+fn test_seal_proof_aggregation_257_2kib_porep_id_v1_1_base_8() -> Result<()> {
+    let proofs_to_aggregate = 257; // Requires auto-padding
+
+    let porep_id = ARBITRARY_POREP_ID_V1_1_0;
+    assert!(!is_legacy_porep_id(porep_id));
+    let verified = aggregate_proofs::<SectorShape2KiB>(
+        SECTOR_SIZE_2_KIB,
+        &porep_id,
+        ApiVersion::V1_1_0,
+        proofs_to_aggregate,
+    )?;
+    assert!(verified);
+
+    Ok(())
 }
 
 #[test]
@@ -267,6 +309,60 @@ fn test_seal_proof_aggregation_1_32kib_porep_id_v1_1_base_8() -> Result<()> {
     Ok(())
 }
 
+#[test]
+#[ignore]
+fn test_seal_proof_aggregation_818_32kib_porep_id_v1_1_base_8() -> Result<()> {
+    let proofs_to_aggregate = 818; // Requires auto-padding
+
+    let porep_id = ARBITRARY_POREP_ID_V1_1_0;
+    assert!(!is_legacy_porep_id(porep_id));
+    let verified = aggregate_proofs::<SectorShape32KiB>(
+        SECTOR_SIZE_32_KIB,
+        &porep_id,
+        ApiVersion::V1_1_0,
+        proofs_to_aggregate,
+    )?;
+    assert!(verified);
+
+    Ok(())
+}
+
+//#[test]
+//#[ignore]
+//fn test_seal_proof_aggregation_818_32gib_porep_id_v1_1_base_8() -> Result<()> {
+//    let proofs_to_aggregate = 818; // Requires auto-padding
+//
+//    let porep_id = ARBITRARY_POREP_ID_V1_1_0;
+//    assert!(!is_legacy_porep_id(porep_id));
+//    let verified = aggregate_proofs::<SectorShape32GiB>(
+//        SECTOR_SIZE_32_GIB,
+//        &porep_id,
+//        ApiVersion::V1_1_0,
+//        proofs_to_aggregate,
+//    )?;
+//    assert!(verified);
+//
+//    Ok(())
+//}
+
+//#[test]
+//#[ignore]
+//fn test_seal_proof_aggregation_818_64gib_porep_id_v1_1_base_8() -> Result<()> {
+//    let proofs_to_aggregate = 818; // Requires auto-padding
+//
+//    let porep_id = ARBITRARY_POREP_ID_V1_1_0;
+//    assert!(!is_legacy_porep_id(porep_id));
+//    let verified = aggregate_proofs::<SectorShape64GiB>(
+//        SECTOR_SIZE_64_GIB,
+//        &porep_id,
+//        ApiVersion::V1_1_0,
+//        proofs_to_aggregate,
+//    )?;
+//    assert!(verified);
+//
+//    Ok(())
+//}
+
 //#[test]
 //#[ignore]
 //fn test_seal_proof_aggregation_1024_2kib_porep_id_v1_1_base_8() -> Result<()> {
@@ -281,61 +377,6 @@ fn test_seal_proof_aggregation_1_32kib_porep_id_v1_1_base_8() -> Result<()> {
 //    inner_test_seal_proof_aggregation_2kib_porep_id_v1_1_base_8(proofs_to_aggregate)
 //}
 
-fn inner_test_seal_proof_aggregation_2kib_porep_id_v1_1_base_8(
-    proofs_to_aggregate: usize,
-) -> Result<()> {
-    let porep_id_v1_1: u64 = 5; // This is a RegisteredSealProof value
-
-    let mut porep_id = [0u8; 32];
-    porep_id[..8].copy_from_slice(&porep_id_v1_1.to_le_bytes());
-    assert!(!is_legacy_porep_id(porep_id));
-
-    let rng = &mut XorShiftRng::from_seed(TEST_SEED);
-    let prover_fr: DefaultTreeDomain = Fr::random(rng).into();
-    let mut prover_id = [0u8; 32];
-    prover_id.copy_from_slice(AsRef::<[u8]>::as_ref(&prover_fr));
-
-    let mut commit_outputs = Vec::with_capacity(proofs_to_aggregate);
-    let mut commit_inputs = Vec::with_capacity(proofs_to_aggregate);
-    let mut seeds = Vec::with_capacity(proofs_to_aggregate);
-    let mut comm_rs = Vec::with_capacity(proofs_to_aggregate);
-
-    let (commit_output, commit_input, seed, comm_r) =
-        create_seal_for_aggregation::<_, SectorShape2KiB>(
-            rng,
-            SECTOR_SIZE_2_KIB,
-            prover_id,
-            &porep_id,
-            ApiVersion::V1_1_0,
-        )?;
-
-    // duplicate a single proof to desired target for aggregation
-    for _ in 0..proofs_to_aggregate {
-        commit_outputs.push(commit_output.clone());
-        commit_inputs.extend(commit_input.clone());
-        seeds.push(seed);
-        comm_rs.push(comm_r);
-    }
-
-    let config = porep_config(SECTOR_SIZE_2_KIB, porep_id, ApiVersion::V1_1_0);
-    let aggregate_proof = aggregate_seal_commit_proofs::<SectorShape2KiB>(
-        config,
-        &comm_rs,
-        &seeds,
-        commit_outputs.as_slice(),
-    )?;
-    let verified = verify_aggregate_seal_commit_proofs::<SectorShape2KiB>(
-        config,
-        aggregate_proof,
-        &comm_rs,
-        &seeds,
-        commit_inputs,
-    )?;
-    assert!(verified);
-
-    Ok(())
-}
-
 fn aggregate_proofs<Tree: 'static + MerkleTreeTrait>(
     sector_size: u64,
     porep_id: &[u8; 32],
@@ -352,16 +393,12 @@ fn aggregate_proofs<Tree: 'static + MerkleTreeTrait>(
     let mut seeds = Vec::with_capacity(num_proofs_to_aggregate);
     let mut comm_rs = Vec::with_capacity(num_proofs_to_aggregate);
 
+    let (commit_output, commit_input, seed, comm_r) =
+        create_seal_for_aggregation::<_, Tree>(rng, sector_size, prover_id, porep_id, api_version)?;
+
     for _ in 0..num_proofs_to_aggregate {
-        let (commit_output, commit_input, seed, comm_r) = create_seal_for_aggregation::<_, Tree>(
-            rng,
-            sector_size,
-            prover_id,
-            porep_id,
-            api_version,
-        )?;
-        commit_outputs.push(commit_output);
-        commit_inputs.extend(commit_input);
+        commit_outputs.push(commit_output.clone());
+        commit_inputs.extend(commit_input.clone());
         seeds.push(seed);
         comm_rs.push(comm_r);
     }
@@ -1474,3 +1511,39 @@ fn create_fake_seal<R: rand::Rng, Tree: 'static + MerkleTreeTrait>(
 
     Ok((sector_id, sealed_sector_file, comm_r, cache_dir))
 }
+
+#[test]
+fn test_aggregate_proof_encode_decode() -> Result<()> {
+    // This byte vector is a natively serialized aggregate proof generated from the
+    // 'test_seal_proof_aggregation_257_2kib_porep_id_v1_1_base_8' test.
+    let aggregate_proof_bytes = std::include_bytes!("./aggregate_proof_bytes");
+    let expected_aggregate_proof_len = 29_044;
+
+    // Re-construct the aggregate proof from the bytes, using the native deserialization method.
+    let aggregate_proof: groth16::aggregate::AggregateProof<Bls12> =
+        groth16::aggregate::AggregateProof::read(std::io::Cursor::new(&aggregate_proof_bytes))?;
+    let aggregate_proof_count = aggregate_proof.tmipp.gipa.nproofs as usize;
+    let expected_aggregate_proof_count = 512;
+
+    assert_eq!(aggregate_proof_count, expected_aggregate_proof_count);
+
+    // Re-serialize the proof to ensure a round-trip match.
+    let mut aggregate_proof_bytes2 = Vec::new();
+    aggregate_proof.write(&mut aggregate_proof_bytes2)?;
+
+    assert_eq!(aggregate_proof_bytes.len(), expected_aggregate_proof_len);
+    assert_eq!(aggregate_proof_bytes.len(), aggregate_proof_bytes2.len());
+    assert_eq!(aggregate_proof_bytes, aggregate_proof_bytes2.as_slice());
+
+    // Note: the native serialization format is more compact than bincode serialization, so assert that here.
+    let bincode_serialized_proof = serialize(&aggregate_proof)?;
+    let expected_bincode_serialized_proof_len = 56_436;
+
+    assert!(aggregate_proof_bytes2.len() < bincode_serialized_proof.len());
+    assert_eq!(
+        bincode_serialized_proof.len(),
+        expected_bincode_serialized_proof_len
+    );
+
+    Ok(())
+}
diff --git a/storage-proofs-core/src/compound_proof.rs b/storage-proofs-core/src/compound_proof.rs
index 6c46823ce..6532a835f 100644
--- a/storage-proofs-core/src/compound_proof.rs
+++ b/storage-proofs-core/src/compound_proof.rs
@@ -278,14 +278,18 @@ where
     }
 
     /// Given a prover_srs key, a list of groth16 proofs, and an ordered list of seeds
-    /// (used to derive the PoRep challenges) hashed using FIXME, aggregate them all into
+    /// (used to derive the PoRep challenges) hashed pair-wise with the comm_rs using sha256, aggregate them all into
     /// an AggregateProof type.
     fn aggregate_proofs(
         prover_srs: &ProverSRS<Bls12>,
-        hashed_seeds: &[u8],
+        hashed_seeds_and_comm_rs: &[u8],
         proofs: &[groth16::Proof<Bls12>],
     ) -> Result<AggregateProof<Bls12>> {
-        Ok(aggregate_proofs::<Bls12>(prover_srs, hashed_seeds, proofs)?)
+        Ok(aggregate_proofs::<Bls12>(
+            prover_srs,
+            hashed_seeds_and_comm_rs,
+            proofs,
+        )?)
     }
 
     /// Verifies the aggregate proof, with respect to the flattened input list.
@@ -298,7 +302,7 @@ where
     fn verify_aggregate_proofs(
         ip_verifier_srs: &VerifierSRS<Bls12>,
         pvk: &PreparedVerifyingKey<Bls12>,
-        hashed_seeds: &[u8],
+        hashed_seeds_and_comm_rs: &[u8],
         public_inputs: &[Vec<Fr>],
         aggregate_proof: &groth16::aggregate::AggregateProof<Bls12>,
     ) -> Result<bool> {
@@ -310,7 +314,7 @@ where
             &mut rng,
             public_inputs,
             aggregate_proof,
-            hashed_seeds,
+            hashed_seeds_and_comm_rs,
         )?)
     }