From e66905aaf6cabbf9897aee23ce791ede0c063730 Mon Sep 17 00:00:00 2001
From: JacobBarthelmeh <jacob@wolfssl.com>
Date: Thu, 19 Dec 2024 14:25:12 -0700
Subject: [PATCH] fix for gencertbuf script and add dilithium public key

---
 .../bench_dilithium_level2_pubkey.der         | Bin 0 -> 1312 bytes
 .../bench_dilithium_level3_pubkey.der         | Bin 0 -> 1952 bytes
 .../bench_dilithium_level5_pubkey.der         | Bin 0 -> 2592 bytes
 certs/dilithium/include.am                    |   5 +-
 gencertbuf.pl                                 |  18 +-
 wolfssl/certs_test.h                          | 618 +++++++++++++++++-
 6 files changed, 628 insertions(+), 13 deletions(-)
 create mode 100644 certs/dilithium/bench_dilithium_level2_pubkey.der
 create mode 100644 certs/dilithium/bench_dilithium_level3_pubkey.der
 create mode 100644 certs/dilithium/bench_dilithium_level5_pubkey.der

diff --git a/certs/dilithium/bench_dilithium_level2_pubkey.der b/certs/dilithium/bench_dilithium_level2_pubkey.der
new file mode 100644
index 0000000000000000000000000000000000000000..af50c28a2f318c4e6e31bbdd3efb35377b6290c2
GIT binary patch
literal 1312
zcmV+*1>gGW1tblCawS#tTf!5Ihg~t5FCD2t2?chiw_c1y;$(TC>>nhy$OT)$7_hg`
zj9_PLfkY>^4*i?M%Th7=$ux~39tWM4YGZ?3*Mlv8NMw1+w4b5^w}u@K$N6jrz%^<#
zd3?AJ?U+#eQQ$U2OvW{$yH&7UIS2wEHC$G0F1ha^CWnWGiZZpQXmC3H4IxO8qbb2E
zIOQfWA41*>CI203wBTJW&qURI#P*f)22X>CogV8P2}NROJ^xWh=)9W)AIEZK&ZvyS
zpu)Xdd>0mra{95o-$~Y?0A;>{=V-_0yuzg0s?6#^Qh!#oXdjZ656;xkhfGRywQSUB
zRTW3vlz-AxUb2wFN96V1i<`z>P?ccd@TX4T%|Qw8vptYpcU0`2U5e)kT*+7r&_XrR
z6j?ZFt@*XTijFhbUV2r~Qx!l?#fI09UoTaH!cP|E>KwfPULQF|a8!CaCl(qjY|^)Y
z)6tzJS?%UgvGT2cQFs(98Lnh<57-!aj%J9{q@%-jA<N`>UX^s?F&KI6$LIToNE>@~
zTYr3l#j6ptU0H8<vZXo3V>oQ<PzDrs@aX#yl^>m)rs3iZqh|adgHR4rb+r=o-!Vpm
ztXuP$rqO#V#oTcRCo?rP^)MO1JGzRmeo2!^TR6bHF2`9L+4anZ^?Oa%Ij5plAV`>f
zPjyzCxRpg0^M*Z_3P~Hv{~*95EK$M=JiiBE9EgRRg)K_{S{#t|kP_1aJd7@tN=J4N
zA6=g9#bm^rzlOzQgfjr~CKw^}h#CkOZ7=WD>n~}@Zjv<oay^=-o>BW&<J|O*n{5p$
z>}C=sHN9cNXBqW=p=Y9;J7=)MQEE4QNa;(tqc|`8-n4w$QiKbz*$C-+N^f~7J;Ypi
z?qjx=XxV~J!5eQ<^|Slv#3~2IJB1DOzp!ij&K<PBV+)aI#G?kJuWZxhi-%5RoU!w8
zd}u>P6GrYQbrMBF-ldJt_X&rnfIYTF?m;blMFE|vc&HGh{k3224|lqA|4H2XIo6|Z
zCAniPlEvTqx{3Mvlv{6FO&sLO5c#0!#LHD0+g4wWkpm;jupjTZY!h0UCGbh9T1EH$
z8p3e~<1Hm*uu>8OV#l`m+#h)Vi~8Pwai%pstRPgBr!JjG7fY>@vlJ$bTF@3tBIyiy
zYmTf967^<|f*M5g=~i0J92<dqV_E*lz~kB$Yi|v@4o4D(p71+Ohdc6hb1mP>b_>1d
zw{#@)#^!ZDi)z`e?Z9vZ9t)0(f9kwBYl=jsnk@~CAz%s8O5kG8`skZAZzC_YWe8xB
z70_E_%w+}9?+<<(vyR3Rg~@_bc`kro4132MgFyz^LCNR2OQB)LhG+E<_cRSTo-1D&
z1_Gr5BXPnKWz2yF{f!A|HwHWZ#3ZvH*5;3#bSz%Q^y%x$(*#?Ro?IFop{F#`1+LpY
zaS(1W*`q|Dy`Fou5{eQBVAmg#=Kch!K4N45UwnHs3F}H2o_BIOF&bhjwaZRZ&aI1D
zAWzpm7Wfe2uDw43sTiOE7=)D~E|YddP7!+pQBWCq=et~c%5=0PCfjDJ3n2&ldX^A<
znW+}b4!UEjmHb-1rhnM9&3whsu^UK0`{pkzl>TU<#5UQ@!IN$8IbK6BS}ta`^6i?9
z65m{|trik~fr62JD-!9JxVJ*fANbMzgL>pP9Rw##<-K(z_r11iXih8}Rz6^)Ldtqn
W<p$&01^0J0i-9JYl0w==vHnZKwR~X!

literal 0
HcmV?d00001

diff --git a/certs/dilithium/bench_dilithium_level3_pubkey.der b/certs/dilithium/bench_dilithium_level3_pubkey.der
new file mode 100644
index 0000000000000000000000000000000000000000..b2345f059c9e342d38a4364beb2a2cb0ecade574
GIT binary patch
literal 1952
zcmV;R2VeLV$>mco*dMf`pRTR55YTdI(*pC~XIe2*8Ok{)cVTT0!80Za@cB&=dhhok
zCM@9Mk{_MXs;>wX@~R}64<J`H1TvP6ZV+VS<5wm#GJE70L3h(6V?7b-+`d`=jl$%|
z1oPD39bO4WzXAovrniDXA64mhg22p%nHia)$s14INlbVOSh(;btQv7wZPq$EZ<Dht
z3BK%mTlYHc`OvZcpPTFvwrkP00CIn5nqj5&Zs|s(f(V~bOm)LZg?2gW4D#rHNNL$`
znu&dw!4}*v#|jasyXTRy4-W9O$U%N$o;)y2yiDsiuSjxPWRClH5h&d-QjTeipFQl~
zr(Z%C+PWH+k$qy-QvXEB9Vw={1DYl#&sRWjek;B3fpHHDE}H|oF+pfI$p7lZbEWyh
zl6VZ~{avyFwT<g!)D-G^(L%_X<b7LyJCCb^65qR_MKH+^x#ha%it~73%%9;#Dw-G$
zDp&L6R?$L8;aZL}&Kc!Ce*kctOw-{Ep?=h<o{Qq}tlOq?b!Vnm?RhTBjq979x4$p~
zE3-q1o2ZDTyEECDFnq_<C|+JaoozLBGmig+E-l*d|8V8CVwN*H*|mZtfq_6>PZ5S=
z8V12<$4LXn<ZrYSK38J>ipDEtTcjyhjozj1GQxHP%Fe+^>_yKoAt-+kN7CEw%3BZB
zIXc6pc(N6*f;=z8QCw23@`;j;^H4bL_{kJZ<fEFe#9Z^A!=u2yMH?Yw`rzP^D?-YV
z`(Brt3e<?YxFW{CR#+aAshy|o$*WXPb&W#7;bG8`nmRz5qx*YK@P+W)Kysf2sJ@k2
zf4X%5Zk2YuvOx8)WC||^J)f*<rAAtXq;KvgpzB{Bk-aMd7T<K2EYPT*I(y$fm`ah{
z8J383AsT9^OCL4SlJ$1<a#a)CT?dWXa^!X1fV}CP@LXz&4m9>ZT<;FdQaCMp!W(Iy
z<?R%(kqhZfG}Wrq(ndK&euXdFiS+*kbWyt9?)JjL3Xj?A$6+v!hKnD9!6N;G^j*c2
z_1722dvWz%6-jWiSD?UGV^cM@QXqSS)K_CAj)Sv~CLamj6xOEv<&!*!j`a{%xyhUV
za-BUtm)SfZ;#d7DTo)4N2(RQOmbq=itRnM^iQdPGlLq%42q88WbSsx5<asd&BVsUT
z;_Wb-4EYFpDRahmin}TtX3*W9qv>MIw}>T5U%aa0<WKCTj;5p=A}cJ9SAVxN{uV=p
z#nP4LxgltXm@|wW6`W0CA8Y7(Eo%<L-WsUwXS1_5TT9F6s9Xy#%GYt|h38G>dqwTC
zOlbsuPr&aQ$_=K(c@=n^(vdteRY2#<e%=SBmjEqr_B|EfDUPF-ZSuRN8+%wV_7}a{
z6ZbR1VlvbmE-`eHt(lAtd{80H|3T}~$`rS<F)zLr&QB&51j4Vr4J50YAvXrBP$Tia
zT)SlR(`KW%zKcnX_Q$!8PB8{i<?{|!#3V5F={9k^$#5)eOcg^!r2O&HacoS^Fl+^V
zF1NhoWp*TWHs2`x&6>Kx&9E@r=Po>wV;wLfbg{V1*S3&lbD}D4NtF$&B;PH+c18h2
z<QR_Cns&*?yxV_(QpP|*5;lB*Y0i7$pi`pOk3aX<VF_@epvJGD(E1a<z-blE73?HS
zYuuAj#)27=gk71ikSxq9fomdU3d>O?f=~i2KGbrv3>A0M%9t-flN7Rlp_ik$idG~z
zr#8g_z@I-pn)c}yf&o}?4h_8e16O6JT0K{RBff5_=px@QaO(;KmTT`IpYmeovTiya
zKp)bVNYNPZ>rz+(CeC%SI-Ofml(KFPKRLG9ik;|ugEGuRHJf_vvK~=4Y!ukIRkM-r
z3_9g^(7mvIID{%kvbNgSb=EFm#}HEY-3b+M1Tn)}YYbozsBR#s-M4bXo`uqn7Jfb8
zV}UaL%DfNnK6GlaV8IYjd}pK?r?~Cr^-e)krg9rBGio>SwHyI`q8}_y3cu7WB#~HR
z`}kwo_;~flcrx0V>sTNq8L<X`YAGPw$RbFoe<W0meT}hcvZI(354!rc73e6LKQIJP
zt6Dtqm*L0{4zv+tT6qXab+4Ps*%KJdv9s>oW8L&2n0Dem)rKQ8e#f*mOTsPT;;?Ls
zn;<<%Bz)?jbtmQYaO*qACN~8Cih9t(w}iJT`wpY1am`o;HsbPk%nx`7E4$-U1##SL
zH!_h%LQf&!G_5}{TE`6+896anX*`U+=cYTY`$mZd!HgD~20GAw*06hh_>p}2*=9NV
zyjQ1qi#B+`91bG|4g_HqH2KD3Sl{$g&d?7G?6HFMa&vM&0>0y%V{^zMWx7{VsTr(j
zP`xd3TaynQfp^y~!;?~O+<8);<KE%ASXHZv@-=GDlphzQBQA~@A-)v)=UK%>G|mI`
zw{_D|Rp0;5Pekq$o68ce<y%B$D9dV`BpvE4UZul$t?dj2rmvL*(zTHepayrvg7)2V
zg9Oa5t9tOXO*V0I8k!BwqY<bLeM!!o2^|QeIW7a=I>`QND+>pJRf?$Q4#|Fl&N`Tw
mPCf`Aj}ZL9#LqX4Y1mhtNPueZ4BaQ0`RCBmHrVY!6dMqKlg3m4

literal 0
HcmV?d00001

diff --git a/certs/dilithium/bench_dilithium_level5_pubkey.der b/certs/dilithium/bench_dilithium_level5_pubkey.der
new file mode 100644
index 0000000000000000000000000000000000000000..e3b1f10e645865bc60cca64cf2672e1ee396b2aa
GIT binary patch
literal 2592
zcmV+*3g7kbNqI*V#EPkOD)2UxT#+1I|15*@iv;{#WW7mq&CHolUn>?myO_YIX%3Z{
z3!-fPY}?4E2}W#?P^5J*_mHeHw%sAG#`*s4##^Y53NFw>tEfDUzxPDF4bSvw{1#{T
zIY?ht(dQpYfKa|v(YMLcGRFvv-YhZp9mlM*dDlxDBZ&&!jzmEeD47$pCZ-O9V5*IL
zBNMu8D3Df!p(BfdAeVe*KkZ%6<X!GYyh}U-wY*J@H=|ZdGp+B`w(Q#kni*JE*Z?|`
zVGIk%Qso2!ngD+6ew3>3Eq}Hye6Vw(AixJOK~NwR7$IINZ*U>jmlL_co{(qERf_EF
z3LcQ$Kd?>F80t^UT@_5YHJdafFa}c>@V+NDvjl3rzo$9wsgDkr#r2;?C6meW_A8E(
z1_3>R81n4#1x&3=%b29KVIbOpq5G0duZM4L(pT)wl(TuiS%?>b&WcygSFS#SfiHt$
z*!gH7=W<)tfK_N+XB7;K+)u-aHax7a7G50sXmo0;XxLenEi+=|y|cGXh&8zFvKEDx
z2yt;aehgC<+BoGX37pwR>}cAJ(5<q0C_5e!$=|7MJt>(lQ^L^sh$fUrulAPn;Sr{S
zJwrbqy!M#B{|1I(C)|-#)ck0J=rum>lvyY*-rWOWX2D5U-MrNbXEgDq3Rje60xVKP
za67@8|JrZ4R7U~YC*(*<ke{`~?hXl8{zy>>G+vJu$qRJZeIh^Bw_VnD0F6#~bB5O2
zDrKwRu<8-5-?~HFs0#Z8IDsppDg2dlnhb27&D_rl3>ZOg9i#RVOcU|~#!#7tbEo-!
zgnvu`&MqN#ju(1|Z-M5(Ql+3gR6Ojkog6#t<xWaB=hdkPha)ImJt6{mKtC-&$>pY-
zsJM3acUz5emOc}|cKUm_f?wyIR1O6ipQJ*iw38zSSwpDkT>Kc9+pU^_3i2ROticmL
zm<itUaGn&xT<m2B3;F_F_;IS6MPlM7uXp(4>w6@7JZHjfZWpd@hHse3tP`JyWIau9
zptCu~Xd9>NJ`Zchq~ahabw3Ff{~FAv#BIX-!wWZK|C<oz0QVR}p9fGeQPlmdq7Qf4
zLBR@dhS%JRQr4j-+Z1Oek+aPKUtpnsLlqi=57TB}U{^1)j3+9c8~O5CAUWB^uktpG
zSO6Q)#f}<Ds9?U)*DA2Wt5}M9sX=IPz3OwN0}-+(+0FF{=p5otP-=uUVlFnSOu>VA
zm^FGQe*W=qStm7f&UC7@a)PMhfqHAoGo{+1W6Ca&12XJm+fsWL`~fX65+3=Zav?l*
z3}Kvpa|CfgMO}YM90>@d>@WSq`&nuyder=1AOtjh2<?Jekm0NSH9C#E3Y~NRY31n&
zRTSBKZw;B!esTCuaxc5a#5TzR)0>p5K@Un{TxjLj4V0?xx|Pd}4uv`bYn4#_0{x^|
zDR@uNu4dL;=SBXQu%qIKz|w&T@$u){VxFKhhU=kjN+ymu3{em>5r_DBJV|<s&cO-}
z;ngav@H!o8YUSa9aILQuOe%0HYa$IW=T_}4ONAFnaylDtR~+|po*>&-9Q!s<QtVsS
zY8&`;t>yr91jU(y<XQ~F=xsXJJUqY}D6=Vg5S}?^TfsQ2Ax_N!^7b$+E4IJ&>S3=8
zrU4NZ83~MjY2Q2Q(+WD*z2O(Hl05bPHP+7uruXT=neBk%64gt&->*(mt&V1g<t)%e
zaM^f|OZ4IKBJ$(yAM5FGF-&D&RqkD?gNJs$5w6$r`$Oj!fio3Hp!1G|SN}DhN{Xvc
zIz`~abINyNXgJWLUjvOn!qZ9@;Hatq^YUA$;RdEF+u?M*#L_EOny~ma*lX<D#q?}I
zkZNejwadHEu)LqSs!$Y@JD(-XK)49Z6Xo1LgqGlQdwrfkl3mQC>Q9plKrTXx>A4bg
zyLo)DHz2mJLpq3Ad}t_Nn8NTXyrE%;A49xCk3;i*7MA*waIZX{OW9!Q_AZ3lh%q##
zg%AbrK&Yipl3DlQ#48dPalVX70{#-VJB4*O^K&hn09}BsATL@A7k+1QBwD%iu`{Gs
z9Z7O5e@7Ju;6)VOcZO{PzE{wy7^dBn7(a^hwbxqg$a#NJVLY3%oAb0a(Kx?1&Q#I(
zwnghw4Vnp94J-?>@-RA;!4r|vpN);sI6h3SN>!&q5rf2V@GEGZ2d%e*##21|3SA`J
z;Z<_a&OXS{SBipOcq@R#xd}%2kU3JR&ObdtJ19k?vmwIG6iGpBINBRu7D@SK08X?Z
zRdDE78W_Jp?=i9GjfufX==E1M`oVebEa-i<1I%U#Z&HK`G#D%aMS%e2UX89CmWxGm
z01CCwjSe+k8V<i?no=N0#<@V#EK<so&%2Zc^Ox?-U8CywS~+(#*Y-}niU(g&Q^gyM
zM~^fPU<#1p+I#QT^<CvMH+7kTN-B79-1Ozj*lRnGXfBh*5JFuzkTOQ<hv2-pniwEx
zg>9S3kDJoI6%uIBuohq9X&nRr{9`lCABoLU|LhrQbfeBqtCQr$6ILh5C0YTpHj829
zi<qqBDz-qMLgX7#_x;!~2Q&Fc%RH?T!OSUQNdycdms+HRXWm-nHqwak)aw(0R8bM*
zy1ee)Y|ZAhp^FP<`;Jhc+G&l<E#xf3H{W5v1HFqV%F>J+@uVhc<<CXiT1R>9pZC(+
zx<*q^&ZxeRO4i>l2Ifqf!L~{5#Otc0DQ(oujJ7}#IcfKG&9RwAPTtG*oig*uM@M?g
z`=bmy-?!fEnclD_1T?N|{F%Jo)xPKJ`RAqqnhaiM=2PU+SghJ<cYA2oFe;pDzMnmD
z)>O?|P9NigPSK99m#F2oS$C)cAmr;ral8i<c~1-{2071s?<<>L#BF&K07Gw4ceTTE
ztrMx`np+x~bijJ~#jsd49Hmj)p%l#~ak1yB6sJa$(_D-ik#|Ne6{?>1D|tb7_aak$
zQQMe3TX<i?$tk1%b%F+(7G9)z4bg1~|3mMb^Ba0UG`<-X1~c2Gam!z8jlEkkk+L^E
zv_PH$o405nSX`^i$RjOx%nSB-Yk&rksr`QXC77Sgc?ud-gREp0kmcE@*Bgcn=H?<R
zA4Ex*oKbJjSW5c(gc79?^vdv<E6D?KH|N~Ku});(Peu)EC5T<t|070MHWV1A%ecMp
z#WyzY;q9MI)H&sn&y`JPHeJxn2hSB+&J?)X4Luu0#V#~MB?3Cl6h-?!`G{Q&DKWXB
z<}nyjMn57?pL%6Bh@%`nZ%}$RzE*xv%X$!??Dm4zFdXPiQ29RFtiDf>vDF(AmHX%j
zWLA8Z%#g9Xp!G6ovtK6<zRA7o`b%8JnVwn%%+O6K=!8{_*Te=BO_Jr9oJ_&@uY1)i
zl4xida7>;?xHRhlN4{CB3nC@wR;aX-Jk^+=VJ`a1Ut8D-gXuu&4no}**KQe&l?syy
CCi<oT

literal 0
HcmV?d00001

diff --git a/certs/dilithium/include.am b/certs/dilithium/include.am
index 514f4fe67d..f9502b1390 100644
--- a/certs/dilithium/include.am
+++ b/certs/dilithium/include.am
@@ -5,4 +5,7 @@
 EXTRA_DIST += \
          certs/dilithium/bench_dilithium_level2_key.der \
          certs/dilithium/bench_dilithium_level3_key.der \
-         certs/dilithium/bench_dilithium_level5_key.der
+         certs/dilithium/bench_dilithium_level5_key.der \
+         certs/dilithium/bench_dilithium_level2_pubkey.der \
+         certs/dilithium/bench_dilithium_level3_pubkey.der \
+         certs/dilithium/bench_dilithium_level5_pubkey.der
diff --git a/gencertbuf.pl b/gencertbuf.pl
index a2612084b0..cc36e2e318 100755
--- a/gencertbuf.pl
+++ b/gencertbuf.pl
@@ -122,6 +122,12 @@
         ["certs/dilithium/bench_dilithium_level2_key.der", "bench_dilithium_level2_key" ],
         ["certs/dilithium/bench_dilithium_level3_key.der", "bench_dilithium_level3_key" ],
         ["certs/dilithium/bench_dilithium_level5_key.der", "bench_dilithium_level5_key" ],
+        ["certs/dilithium/bench_dilithium_level2_pubkey.der",
+            "bench_dilithium_level2_pubkey" ],
+        ["certs/dilithium/bench_dilithium_level3_pubkey.der",
+            "bench_dilithium_level3_pubkey" ],
+        ["certs/dilithium/bench_dilithium_level5_pubkey.der",
+            "bench_dilithium_level5_pubkey" ],
         );
 
 #Sphincs+ Post-Quantum Keys
@@ -229,7 +235,7 @@
 print OUT_FILE "#endif /* USE_CERT_BUFFERS_4096 */\n\n";
 
 # convert and print falcon keys
-print OUT_FILE "#if defined(HAVE_PQC) && defined(HAVE_FALCON)\n\n";
+print OUT_FILE "#if defined(HAVE_FALCON)\n\n";
 for (my $i = 0; $i < $num_falcon; $i++) {
 
     my $fname = $fileList_falcon[$i][0];
@@ -243,10 +249,10 @@
     print OUT_FILE "static const int sizeof_$sname = sizeof($sname);\n\n";
 }
 
-print OUT_FILE "#endif /* HAVE_PQC && HAVE_FALCON */\n\n";
+print OUT_FILE "#endif /* HAVE_FALCON */\n\n";
 
 # convert and print dilithium keys
-print OUT_FILE "#if defined (HAVE_PQC) && defined(HAVE_DILITHIUM)\n\n";
+print OUT_FILE "#if defined(HAVE_DILITHIUM)\n\n";
 for (my $i = 0; $i < $num_dilithium; $i++) {
 
     my $fname = $fileList_dilithium[$i][0];
@@ -260,10 +266,10 @@
     print OUT_FILE "static const int sizeof_$sname = sizeof($sname);\n\n";
 }
 
-print OUT_FILE "#endif /* HAVE_PQC && HAVE_DILITHIUM */\n\n";
+print OUT_FILE "#endif /* HAVE_DILITHIUM */\n\n";
 
 # convert and print sphincs keys
-print OUT_FILE "#if defined(HAVE_PQC) && defined(HAVE_SPHINCS)\n\n";
+print OUT_FILE "#if defined(HAVE_SPHINCS)\n\n";
 for (my $i = 0; $i < $num_sphincs; $i++) {
 
     my $fname = $fileList_sphincs[$i][0];
@@ -277,7 +283,7 @@
     print OUT_FILE "static const int sizeof_$sname = sizeof($sname);\n\n";
 }
 
-print OUT_FILE "#endif /* HAVE_PQC && HAVE_SPHINCS */\n\n";
+print OUT_FILE "#endif /* HAVE_SPHINCS */\n\n";
 
 # convert and print 256-bit cert/keys
 print OUT_FILE "#if defined(HAVE_ECC) && defined(USE_CERT_BUFFERS_256)\n\n";
diff --git a/wolfssl/certs_test.h b/wolfssl/certs_test.h
index 122870af52..a37d76a706 100644
--- a/wolfssl/certs_test.h
+++ b/wolfssl/certs_test.h
@@ -3457,7 +3457,7 @@ static const int sizeof_dh_key_der_4096 = sizeof(dh_key_der_4096);
 
 #endif /* USE_CERT_BUFFERS_4096 */
 
-#if defined(HAVE_PQC) && defined(HAVE_FALCON)
+#if defined(HAVE_FALCON)
 
 /* certs/falcon/bench_falcon_level1_key.der */
 static const unsigned char bench_falcon_level1_key[] =
@@ -4105,9 +4105,9 @@ static const unsigned char bench_falcon_level5_key[] =
 };
 static const int sizeof_bench_falcon_level5_key = sizeof(bench_falcon_level5_key);
 
-#endif /* HAVE_PQC && HAVE_FALCON */
+#endif /* HAVE_FALCON */
 
-#if defined (HAVE_PQC) && defined(HAVE_DILITHIUM)
+#if defined(HAVE_DILITHIUM)
 
 /* certs/dilithium/bench_dilithium_level2_key.der */
 static const unsigned char bench_dilithium_level2_key[] =
@@ -5863,9 +5863,615 @@ static const unsigned char bench_dilithium_level5_key[] =
 };
 static const int sizeof_bench_dilithium_level5_key = sizeof(bench_dilithium_level5_key);
 
-#endif /* HAVE_PQC && HAVE_DILITHIUM */
+/* certs/dilithium/bench_dilithium_level2_pubkey.der */
+static const unsigned char bench_dilithium_level2_pubkey[] =
+{
+        0xEA, 0x05, 0x24, 0x0D, 0x80, 0x72, 0x25, 0x55, 0xF4, 0x5B,
+        0xC2, 0x13, 0x8B, 0x87, 0x5D, 0x31, 0x99, 0x2F, 0x1D, 0xA9,
+        0x41, 0x09, 0x05, 0x76, 0xA7, 0xB7, 0x5E, 0x8C, 0x44, 0xE2,
+        0x64, 0x79, 0xA0, 0xEC, 0x1F, 0x24, 0xB6, 0xC8, 0x05, 0x5B,
+        0xC1, 0x18, 0xB0, 0xB7, 0xCF, 0x8C, 0x60, 0x67, 0x6B, 0x81,
+        0x44, 0x27, 0xB6, 0x0E, 0xFD, 0x9B, 0xC3, 0xCB, 0x52, 0x31,
+        0xFA, 0xC9, 0x34, 0x8D, 0x22, 0x1E, 0x07, 0x9D, 0x96, 0x6A,
+        0x63, 0x83, 0x5C, 0xD7, 0x83, 0x2D, 0x7F, 0x48, 0x64, 0x79,
+        0xCA, 0xB4, 0x9F, 0xA2, 0x02, 0xB7, 0x86, 0x1D, 0x0E, 0xC7,
+        0xF9, 0x6C, 0x07, 0xC0, 0x35, 0x6A, 0x34, 0x79, 0x7C, 0xB8,
+        0x0F, 0xED, 0x98, 0x50, 0xFB, 0x51, 0xE0, 0x36, 0x44, 0x4C,
+        0xC6, 0x35, 0xA2, 0xBB, 0x55, 0xB0, 0x5C, 0x39, 0x08, 0x02,
+        0x20, 0x35, 0x5C, 0x56, 0x6D, 0x2E, 0xB9, 0xEF, 0x21, 0x26,
+        0x87, 0x87, 0x85, 0x8A, 0x32, 0xB5, 0xA7, 0x68, 0x70, 0x3A,
+        0xFD, 0x0D, 0x21, 0x48, 0x91, 0xA3, 0x29, 0xC1, 0x2A, 0x38,
+        0xE5, 0x26, 0x31, 0x1F, 0x42, 0xDE, 0x0B, 0x25, 0xFF, 0x1D,
+        0x6B, 0xB4, 0xE0, 0x5D, 0x2D, 0xCF, 0x44, 0xD5, 0x7D, 0xC4,
+        0xF6, 0x95, 0xF2, 0x06, 0x4F, 0x83, 0x88, 0x9D, 0x1E, 0xEB,
+        0x1C, 0x09, 0x45, 0x62, 0x67, 0x3D, 0xFF, 0x51, 0x47, 0xE8,
+        0xBC, 0x9B, 0x03, 0x1F, 0xC7, 0x72, 0x65, 0xCE, 0xA8, 0x8C,
+        0xC2, 0xA0, 0xC2, 0xBD, 0x5B, 0x7C, 0x17, 0x16, 0x8B, 0x72,
+        0xFA, 0xB1, 0xBD, 0xDF, 0x49, 0xD6, 0xA1, 0x00, 0x65, 0xBE,
+        0x82, 0xE7, 0x68, 0xC7, 0xE7, 0xBC, 0xC2, 0xA4, 0xDB, 0xAA,
+        0xCC, 0xEA, 0x41, 0x52, 0x7F, 0x56, 0xB4, 0x68, 0x1F, 0x92,
+        0x96, 0x0F, 0xCE, 0xD4, 0xD0, 0x87, 0x4C, 0x4A, 0x73, 0xB5,
+        0x6C, 0xD4, 0x69, 0x55, 0x15, 0x47, 0xDC, 0x94, 0x7F, 0xD2,
+        0x54, 0x5E, 0xB2, 0x90, 0xC2, 0x47, 0xE4, 0xF5, 0xDE, 0x8B,
+        0x9B, 0xC6, 0x5D, 0x50, 0x95, 0x60, 0xE0, 0xF0, 0xA7, 0x4E,
+        0xE0, 0xCD, 0x41, 0x09, 0xEF, 0xB3, 0x3D, 0x90, 0x5C, 0x77,
+        0x54, 0xEC, 0x9E, 0x5D, 0x8A, 0xE7, 0x09, 0x5C, 0xC9, 0x58,
+        0x0C, 0xD0, 0x42, 0x35, 0xD2, 0x14, 0x59, 0x38, 0x69, 0xAD,
+        0xF9, 0xB5, 0xBF, 0x8A, 0x8E, 0x33, 0xD8, 0x5E, 0x7A, 0x55,
+        0xD0, 0x53, 0x15, 0x40, 0x4E, 0xC5, 0x86, 0xD7, 0x8F, 0x5F,
+        0x2F, 0x55, 0x82, 0xC2, 0x4F, 0x16, 0xE5, 0xEA, 0x1C, 0xBC,
+        0xFF, 0x5E, 0x1F, 0x39, 0x46, 0x70, 0x54, 0x7A, 0x3A, 0x27,
+        0x16, 0x1A, 0x2B, 0x6C, 0xD2, 0xB7, 0x80, 0xD3, 0xD1, 0x9D,
+        0x25, 0x59, 0xED, 0xE6, 0x51, 0xB1, 0xF2, 0xAD, 0x7E, 0x51,
+        0x78, 0x14, 0x2B, 0x19, 0xAE, 0x64, 0x72, 0x0F, 0xD8, 0x18,
+        0x79, 0x8E, 0x66, 0x88, 0xD3, 0xA4, 0xA3, 0xC3, 0x76, 0x21,
+        0xCB, 0xE4, 0x79, 0x5E, 0x95, 0x74, 0xE3, 0x31, 0x18, 0x79,
+        0xED, 0xC7, 0xE7, 0xFB, 0x86, 0x48, 0x1B, 0x7B, 0x75, 0x5B,
+        0x7F, 0x7C, 0x82, 0xC5, 0xAB, 0x11, 0xB4, 0x5D, 0x59, 0x6F,
+        0x78, 0xB2, 0xA5, 0x39, 0xC6, 0x63, 0x38, 0x6C, 0xEB, 0x50,
+        0x06, 0x14, 0x76, 0xF0, 0xE8, 0xFB, 0x11, 0x95, 0x1F, 0x9D,
+        0x9C, 0xA6, 0xE1, 0xE2, 0x0D, 0xA3, 0x66, 0xFC, 0x20, 0x83,
+        0x50, 0x0E, 0x53, 0x75, 0xB5, 0x12, 0xF4, 0xDF, 0x31, 0x46,
+        0x83, 0xAC, 0x5B, 0xF3, 0x99, 0xA6, 0xD1, 0x7B, 0x2B, 0xC5,
+        0xDC, 0x71, 0x07, 0x27, 0x33, 0x35, 0x34, 0xF5, 0x30, 0x19,
+        0xC1, 0x3B, 0xBA, 0x8A, 0xAF, 0x7E, 0x49, 0x93, 0x48, 0x5B,
+        0x38, 0xC0, 0xBC, 0x2E, 0xC7, 0x59, 0x1B, 0xD9, 0xF5, 0xCC,
+        0x86, 0xF5, 0x7B, 0x4D, 0xD7, 0x39, 0xA7, 0xA2, 0x56, 0x20,
+        0x48, 0x98, 0x7D, 0x4F, 0x75, 0x56, 0x9B, 0xB8, 0x95, 0x45,
+        0x17, 0xF3, 0x86, 0x3D, 0x97, 0x0A, 0x49, 0x1B, 0xCA, 0xFF,
+        0x20, 0xC0, 0x24, 0x2C, 0x51, 0xC2, 0x0A, 0x3C, 0xBF, 0x07,
+        0x60, 0x1C, 0x88, 0x85, 0x9B, 0x85, 0x2D, 0x4A, 0xFE, 0x5A,
+        0x1C, 0x90, 0xF5, 0x90, 0x12, 0xD3, 0x03, 0x3C, 0x8C, 0x2E,
+        0x95, 0x4A, 0x47, 0x76, 0x0F, 0x1F, 0x5D, 0x9E, 0xED, 0xC5,
+        0x64, 0xC4, 0x9B, 0xBF, 0x86, 0xC5, 0x63, 0x84, 0x33, 0x00,
+        0xF1, 0x26, 0x18, 0x21, 0xF3, 0x88, 0x1A, 0x08, 0x18, 0x6D,
+        0x2F, 0xEF, 0xD5, 0xEB, 0x2F, 0x69, 0xC8, 0x6E, 0x92, 0x34,
+        0xFC, 0x72, 0x3D, 0x9A, 0xA7, 0x9E, 0x51, 0xFB, 0x56, 0xE3,
+        0xDC, 0xF4, 0x8F, 0x9B, 0x6D, 0x0D, 0x2A, 0xEC, 0x66, 0x12,
+        0x26, 0x35, 0xBD, 0x61, 0xC2, 0x67, 0x19, 0xF5, 0x7E, 0xA1,
+        0x67, 0xA2, 0x9C, 0x3B, 0x67, 0xB0, 0xC2, 0x51, 0x6A, 0x37,
+        0x7C, 0x48, 0xE9, 0x4B, 0xB9, 0xA3, 0x38, 0x2F, 0xFC, 0xDE,
+        0xB4, 0x7C, 0xDA, 0x52, 0x84, 0x0B, 0xB0, 0xD9, 0x08, 0xE9,
+        0x7A, 0x4A, 0x6F, 0x79, 0x29, 0x3D, 0xC4, 0x5C, 0x78, 0xEE,
+        0x63, 0xB6, 0x96, 0x68, 0xD9, 0x82, 0x4E, 0xC1, 0x1B, 0x6F,
+        0x52, 0xF5, 0xB3, 0xFB, 0xE8, 0xC4, 0x2A, 0x07, 0xC6, 0x3B,
+        0x85, 0x0D, 0xF4, 0xBF, 0xB0, 0x6B, 0xFB, 0xCE, 0x1D, 0xB4,
+        0xBF, 0x63, 0x0B, 0x91, 0x67, 0xC4, 0xA3, 0x06, 0xA4, 0xAF,
+        0x6C, 0xD3, 0xE5, 0x8B, 0x87, 0x4E, 0x64, 0x9C, 0xB1, 0xF3,
+        0x70, 0x7C, 0x68, 0x43, 0x46, 0x13, 0x46, 0xEE, 0x27, 0x75,
+        0x12, 0x45, 0x42, 0xDE, 0xA5, 0x8D, 0xCF, 0xF7, 0x09, 0x87,
+        0xA8, 0x80, 0x3D, 0xB6, 0x45, 0xEE, 0x41, 0x2D, 0x7C, 0x45,
+        0x01, 0x9D, 0xAA, 0x78, 0xA8, 0x10, 0xA4, 0xFD, 0xB5, 0x5F,
+        0xEE, 0x0F, 0x77, 0xBA, 0x73, 0xFF, 0x49, 0xDC, 0xFA, 0x39,
+        0xD6, 0xA3, 0x6F, 0x25, 0xB9, 0x63, 0x2C, 0x92, 0xC5, 0xDF,
+        0xFB, 0xBA, 0x89, 0xF9, 0xFA, 0x94, 0x5B, 0x6F, 0x5A, 0x4D,
+        0x1C, 0xE4, 0xC9, 0x10, 0xF9, 0xA0, 0xE8, 0xC4, 0xCB, 0x55,
+        0x1A, 0xDB, 0x56, 0x5F, 0x8E, 0x91, 0x03, 0x23, 0xCA, 0xB0,
+        0x1F, 0xEF, 0xB8, 0x6C, 0x13, 0x5A, 0x99, 0x25, 0xF0, 0x49,
+        0xA9, 0x5A, 0x45, 0xF7, 0xFD, 0x1A, 0xC2, 0x71, 0x06, 0xE3,
+        0x2D, 0x25, 0x64, 0xB0, 0x52, 0x12, 0x03, 0x62, 0xC7, 0xB6,
+        0xF9, 0xDC, 0x1F, 0x78, 0xFF, 0x8B, 0xFA, 0xDE, 0x7F, 0x71,
+        0xA6, 0x35, 0x3E, 0xAC, 0x20, 0x54, 0x94, 0xA7, 0x2E, 0x9D,
+        0x47, 0x17, 0x4B, 0xAD, 0x92, 0xB3, 0x14, 0x26, 0x8C, 0x5A,
+        0xD0, 0x16, 0x4B, 0x22, 0xE9, 0x0C, 0x79, 0x6B, 0x8E, 0xAC,
+        0x0D, 0x12, 0xF5, 0x66, 0x8E, 0x82, 0x1A, 0x44, 0xF3, 0xE9,
+        0x56, 0x5A, 0xCD, 0x1C, 0x1B, 0x81, 0x7B, 0x63, 0x59, 0xFE,
+        0xC8, 0xC0, 0xE3, 0xDA, 0x16, 0x6B, 0x6F, 0x0D, 0xBA, 0x0E,
+        0x47, 0x12, 0x86, 0x9E, 0xF0, 0x3B, 0x4D, 0x87, 0x3B, 0xF2,
+        0x75, 0x73, 0x2D, 0xDF, 0xCA, 0x76, 0x0B, 0xBD, 0xE7, 0xB7,
+        0x74, 0x24, 0xF3, 0xC6, 0xE6, 0x75, 0x3F, 0x8B, 0x6A, 0xD9,
+        0xAD, 0xED, 0xC0, 0x70, 0x04, 0x1E, 0x0B, 0x8E, 0x8B, 0x7F,
+        0xEA, 0xBC, 0x39, 0x6B, 0x8A, 0x44, 0xA6, 0x9A, 0x2D, 0x0D,
+        0x8C, 0x21, 0x60, 0x09, 0xD2, 0x4A, 0xE0, 0x62, 0xCF, 0xFA,
+        0xE8, 0x9B, 0x35, 0x6F, 0x23, 0x2F, 0xB5, 0x65, 0x08, 0x60,
+        0x92, 0x15, 0xD0, 0x5B, 0x63, 0xCC, 0x65, 0x05, 0xD1, 0xEF,
+        0x0F, 0x7E, 0x1B, 0xB3, 0x8E, 0xC6, 0x12, 0x85, 0xC9, 0x82,
+        0x53, 0x79, 0x2E, 0x80, 0x5F, 0x0C, 0x7B, 0xC7, 0x1C, 0x83,
+        0x41, 0x06, 0xD8, 0x41, 0xC9, 0xE7, 0xB9, 0x4B, 0xA1, 0x61,
+        0xC6, 0x86, 0x67, 0xF5, 0x10, 0xF7, 0x34, 0x0D, 0x39, 0x9E,
+        0x2B, 0x5F, 0x19, 0x06, 0x02, 0xA5, 0x02, 0x23, 0x71, 0xC2,
+        0x12, 0x65, 0xCC, 0x81, 0x06, 0xFD, 0x8D, 0x09, 0x68, 0x37,
+        0x06, 0x3B, 0xFF, 0xC4, 0x24, 0xB3, 0x1F, 0xD6, 0xE6, 0x8F,
+        0x9C, 0x74, 0x2C, 0x5E, 0xC5, 0xF4, 0xE9, 0xEB, 0xCA, 0xD3,
+        0x04, 0x5B, 0x92, 0x9E, 0x5C, 0x1A, 0x1D, 0xA1, 0xA7, 0x34,
+        0xD2, 0x05, 0xAE, 0xDB, 0x3D, 0x71, 0x10, 0x6E, 0x30, 0xD9,
+        0xA3, 0x44, 0xA0, 0xBD, 0x9E, 0x7B, 0xB5, 0x12, 0x8A, 0x12,
+        0x07, 0x60, 0xD7, 0x1F, 0x92, 0xE6, 0xFE, 0x04, 0xA9, 0x3E,
+        0x62, 0x64, 0x00, 0x5F, 0x7C, 0x7B, 0x34, 0x09, 0xEB, 0x4A,
+        0x18, 0x9E, 0x77, 0x72, 0x3A, 0x31, 0x1A, 0x62, 0x2A, 0xB5,
+        0xCB, 0x4E, 0x53, 0xCE, 0xAD, 0x8B, 0x5A, 0x20, 0x4F, 0xD7,
+        0x3E, 0x16, 0xF8, 0x10, 0xE2, 0xAE, 0xBD, 0x3F, 0x02, 0xA9,
+        0x18, 0xA0, 0x01, 0x18, 0x84, 0x95, 0x22, 0x2E, 0x93, 0x76,
+        0x44, 0x4E, 0x11, 0x7B, 0x03, 0x51, 0x50, 0x19, 0x79, 0xE7,
+        0xBB, 0x5C, 0x7B, 0xCA, 0x74, 0xB4, 0x25, 0x26, 0xDB, 0x66,
+        0xAA, 0x0B, 0x21, 0x07, 0xFB, 0x7A, 0x96, 0x10, 0x7D, 0x99,
+        0xA9, 0x16, 0xCB, 0x0E, 0xBA, 0x63, 0xAB, 0x95, 0xFC, 0x5A,
+        0xBE, 0xA6, 0x7F, 0xD8, 0xB4, 0xCD, 0x7C, 0xC5, 0xD0, 0xB1,
+        0x1B, 0x48, 0x40, 0xFB, 0xE6, 0x2F, 0x2B, 0x94, 0xFE, 0x68,
+        0xA2, 0xC4, 0x36, 0xD9, 0xCD, 0xC1, 0x93, 0x6D, 0xEF, 0x39,
+        0x5E, 0x43, 0x30, 0x5A, 0x2E, 0x66, 0xB6, 0xF2, 0xED, 0x9A,
+        0x8D, 0x12, 0xDF, 0x5C, 0xAE, 0xAD, 0x16, 0x12, 0x7E, 0x81,
+        0x82, 0x91, 0x7D, 0x2B, 0x12, 0xE9, 0x96, 0xB8, 0xB7, 0x42,
+        0xCB, 0x1F, 0xF8, 0xD1, 0xFD, 0x83, 0x7A, 0xE4, 0x36, 0x1D,
+        0x04, 0x27, 0x4C, 0xE5, 0xBD, 0x75, 0x24, 0xF7, 0xBD, 0xB6,
+        0x6A, 0x68, 0x4E, 0x2C, 0x1B, 0x56, 0x3E, 0x60, 0xA4, 0x42,
+        0xCA, 0x7A, 0x54, 0xE5, 0x06, 0xE3, 0xDA, 0x05, 0xF7, 0x77,
+        0x36, 0x8B, 0x81, 0x26, 0x99, 0x92, 0x42, 0xDA, 0x45, 0xB1,
+        0xFE, 0x4B
+};
+static const int sizeof_bench_dilithium_level2_pubkey = sizeof(bench_dilithium_level2_pubkey);
+
+/* certs/dilithium/bench_dilithium_level3_pubkey.der */
+static const unsigned char bench_dilithium_level3_pubkey[] =
+{
+        0x15, 0xC9, 0xE5, 0x53, 0x2F, 0xD8, 0x1F, 0xB4, 0xA3, 0x9F,
+        0xAE, 0xAD, 0xB3, 0x10, 0xD0, 0x72, 0x69, 0xD3, 0x02, 0xF3,
+        0xDF, 0x67, 0x5A, 0x31, 0x52, 0x19, 0xCA, 0x39, 0x27, 0x77,
+        0x61, 0x6D, 0x0F, 0xC1, 0x33, 0x26, 0x09, 0xF0, 0xF9, 0x4D,
+        0x12, 0x7A, 0xEF, 0xF7, 0x21, 0x26, 0x2C, 0xE0, 0xE2, 0x92,
+        0x1F, 0x9D, 0xD1, 0xAA, 0xAF, 0x08, 0x14, 0xF2, 0xAA, 0x24,
+        0x99, 0x0F, 0x20, 0x57, 0x35, 0x04, 0x32, 0x96, 0x8E, 0x6E,
+        0x10, 0x64, 0xE3, 0xE3, 0x57, 0x26, 0x33, 0x32, 0x7B, 0xE4,
+        0x18, 0x41, 0x77, 0xD3, 0x24, 0x63, 0x3D, 0x11, 0xEA, 0xDC,
+        0xBE, 0x59, 0xFF, 0x8D, 0xC2, 0xE4, 0xC7, 0x04, 0xF3, 0xD4,
+        0xE0, 0x1D, 0x5E, 0x09, 0x46, 0xBF, 0x02, 0x05, 0xC7, 0xA6,
+        0xB7, 0x82, 0x40, 0x1F, 0x55, 0xE9, 0x77, 0x82, 0xC0, 0xCC,
+        0x86, 0x99, 0x19, 0x99, 0xA2, 0xC9, 0x1B, 0x4F, 0xDD, 0x49,
+        0x4C, 0x78, 0x0A, 0x58, 0xB8, 0xF0, 0x23, 0xAC, 0x1A, 0x71,
+        0x57, 0x6D, 0xD6, 0x3A, 0x3A, 0x6F, 0x93, 0xB3, 0x2B, 0x09,
+        0xBE, 0xEC, 0x7B, 0x5B, 0xF7, 0x3A, 0xED, 0xF9, 0xD0, 0xB1,
+        0xFE, 0x9F, 0x9B, 0xEC, 0x11, 0xB6, 0x6B, 0xD1, 0xB6, 0x00,
+        0x72, 0x7F, 0x68, 0x9A, 0x61, 0xA5, 0xF5, 0x6E, 0xE9, 0x46,
+        0xA4, 0x82, 0x08, 0x9F, 0x50, 0x4C, 0x75, 0xC3, 0x48, 0x85,
+        0x76, 0x39, 0xEA, 0x0C, 0xF2, 0xE8, 0x7E, 0x48, 0x69, 0xD9,
+        0x6F, 0x9A, 0x89, 0x7D, 0x98, 0xC1, 0x16, 0xDC, 0x2F, 0xC7,
+        0x0A, 0x11, 0xA8, 0xBB, 0xE7, 0x91, 0xB1, 0x0F, 0x0E, 0xF0,
+        0xB4, 0xC8, 0x41, 0x7E, 0x62, 0x9E, 0x3C, 0x30, 0x4C, 0xBC,
+        0x4C, 0xEB, 0x37, 0xAF, 0x48, 0x72, 0x59, 0x64, 0x8E, 0xFB,
+        0x77, 0x11, 0x28, 0xDD, 0x30, 0x52, 0x8E, 0x69, 0x8C, 0x9F,
+        0x3D, 0xEC, 0xDF, 0xA7, 0x5F, 0x42, 0x18, 0xDA, 0xBA, 0x1A,
+        0x96, 0x91, 0x7D, 0x62, 0xD5, 0x52, 0xFF, 0x44, 0xC9, 0x1D,
+        0x29, 0xA6, 0xB9, 0x03, 0x9A, 0x26, 0x26, 0xCF, 0x57, 0x40,
+        0x70, 0x7E, 0x2B, 0xBD, 0xF0, 0x81, 0x71, 0x0F, 0x0B, 0x2E,
+        0x9B, 0x03, 0xBA, 0x31, 0x41, 0x68, 0x37, 0xC8, 0xFF, 0xEA,
+        0xC4, 0x73, 0xA5, 0xF9, 0xC2, 0x92, 0x78, 0x0C, 0xE7, 0xFD,
+        0x5D, 0xB2, 0x01, 0xB5, 0x8D, 0xEB, 0x64, 0xD4, 0x14, 0xEA,
+        0x7A, 0xD1, 0x42, 0xC8, 0x99, 0xE4, 0x7D, 0x5B, 0x7E, 0x3B,
+        0x8F, 0xAB, 0x82, 0x12, 0xDF, 0xBB, 0xA1, 0x45, 0x30, 0xC9,
+        0x0F, 0xB9, 0xE5, 0xBA, 0xE6, 0x8A, 0xF3, 0x78, 0x61, 0xCC,
+        0x9F, 0xE1, 0x46, 0x2A, 0x9A, 0x18, 0x0E, 0x2A, 0x57, 0xF3,
+        0xE5, 0x56, 0xD1, 0x42, 0x48, 0xE1, 0x5A, 0x8E, 0x33, 0xCE,
+        0x19, 0xE5, 0x3E, 0x7F, 0x00, 0x70, 0x9C, 0x4C, 0xD3, 0xE1,
+        0x0C, 0xA1, 0x7E, 0xD4, 0xA9, 0x9E, 0x8B, 0xE2, 0xF0, 0xAC,
+        0xDB, 0xA6, 0x72, 0x75, 0x67, 0xA6, 0x57, 0xED, 0x79, 0x2E,
+        0xCA, 0x8D, 0xEB, 0x9B, 0x9E, 0xB7, 0xBF, 0x30, 0x02, 0x2B,
+        0xB3, 0x43, 0x89, 0x9B, 0xA8, 0x88, 0xA5, 0xBB, 0x33, 0xD9,
+        0x99, 0x30, 0x7C, 0xC7, 0xD4, 0x28, 0x5E, 0x5E, 0x3F, 0x9D,
+        0x6D, 0x35, 0x75, 0x33, 0x8E, 0xFF, 0x84, 0x2E, 0x2D, 0xDA,
+        0xF0, 0xFF, 0x70, 0xE5, 0xB5, 0x62, 0x96, 0x33, 0x3A, 0xD9,
+        0xB5, 0x82, 0x25, 0x81, 0x81, 0x40, 0x5D, 0x4F, 0x11, 0x86,
+        0x63, 0x1A, 0x06, 0xC1, 0x67, 0xC7, 0x49, 0x03, 0xC7, 0xE4,
+        0x6F, 0xB4, 0x13, 0x3E, 0x57, 0x62, 0xFD, 0x8A, 0xC6, 0x2B,
+        0x65, 0x5B, 0xA4, 0x29, 0x57, 0x8D, 0xDE, 0xA5, 0xEE, 0x32,
+        0xC2, 0x76, 0x03, 0xCA, 0xCE, 0xC1, 0x48, 0xEC, 0x45, 0xCF,
+        0x30, 0x21, 0x28, 0x7F, 0x10, 0x47, 0xD2, 0xDB, 0xEE, 0xCA,
+        0x5B, 0x0F, 0xD5, 0x39, 0x3A, 0xC3, 0xA6, 0x78, 0xB2, 0x15,
+        0xAF, 0x82, 0x3C, 0x2F, 0xC4, 0x51, 0x5C, 0x52, 0xAD, 0xF2,
+        0x89, 0x92, 0x8E, 0xF3, 0x50, 0x38, 0xED, 0xF8, 0xC9, 0x14,
+        0x4C, 0xE4, 0xA3, 0x9A, 0xAF, 0xC4, 0x5C, 0xF3, 0x9F, 0xC3,
+        0xA3, 0xC0, 0xBE, 0x45, 0x1B, 0x21, 0x63, 0xFA, 0xE0, 0xE0,
+        0x91, 0x2B, 0x42, 0xCA, 0x91, 0xFB, 0x5E, 0x97, 0x9A, 0x0A,
+        0xD4, 0x88, 0xBA, 0xB8, 0x22, 0xC6, 0xBF, 0x56, 0x58, 0x1E,
+        0x92, 0xA9, 0x9D, 0xA7, 0xED, 0xC9, 0xAB, 0x54, 0x4F, 0x75,
+        0x8D, 0x42, 0xC1, 0xE1, 0x61, 0xD0, 0x91, 0x9A, 0x3A, 0x40,
+        0x9A, 0xA3, 0xFB, 0x7B, 0x4E, 0xF0, 0x85, 0xF0, 0xDC, 0x40,
+        0x72, 0x9F, 0x05, 0xA8, 0xBE, 0x95, 0x5A, 0x7F, 0xBA, 0x75,
+        0x00, 0x6E, 0x95, 0x76, 0xBD, 0xB2, 0x40, 0xF5, 0xB0, 0x64,
+        0x0A, 0x2F, 0x06, 0x3D, 0x9F, 0xAC, 0x6A, 0xA5, 0x46, 0x5A,
+        0x85, 0xA4, 0x6F, 0xEE, 0x27, 0xA0, 0xEB, 0x5F, 0x1F, 0x91,
+        0xBD, 0x2B, 0x02, 0x16, 0xDF, 0x74, 0x97, 0x2C, 0xD0, 0xA8,
+        0x9F, 0x3A, 0x7B, 0xDF, 0x3E, 0x98, 0x4A, 0x91, 0xDC, 0x19,
+        0x96, 0x88, 0x75, 0x21, 0x1A, 0x6A, 0xA8, 0x4B, 0x1F, 0x35,
+        0xD1, 0x92, 0xF5, 0x76, 0xF4, 0x72, 0x55, 0x13, 0xDB, 0x5D,
+        0x07, 0x8D, 0xD9, 0x72, 0xE4, 0x75, 0xDE, 0x80, 0xBC, 0xE9,
+        0x9C, 0xF0, 0x5C, 0x6A, 0x8A, 0x0E, 0x34, 0xF6, 0x3F, 0x5C,
+        0xEF, 0x0E, 0xCC, 0x52, 0x38, 0x2D, 0x7B, 0xC2, 0x1B, 0x69,
+        0x9F, 0xE5, 0xED, 0x14, 0xB0, 0x91, 0x0B, 0xE9, 0x4D, 0x34,
+        0xD5, 0xAA, 0xD4, 0xD2, 0x46, 0x39, 0x45, 0x7E, 0x85, 0x2F,
+        0xDB, 0x89, 0xF4, 0xFF, 0x05, 0x74, 0x51, 0xBA, 0xDD, 0xEE,
+        0xF6, 0xC2, 0xC1, 0x0A, 0x8F, 0xD9, 0xEB, 0xC7, 0x61, 0x30,
+        0x8F, 0x86, 0x8B, 0x1F, 0x82, 0xC1, 0x22, 0xFD, 0x83, 0xF4,
+        0x5D, 0xC5, 0x94, 0xF5, 0xD7, 0x17, 0xC7, 0x7B, 0x71, 0xF5,
+        0x5E, 0x15, 0x49, 0x70, 0xB2, 0x57, 0xA0, 0xC0, 0x57, 0x63,
+        0x53, 0x35, 0xB6, 0x52, 0x20, 0x7B, 0x83, 0xD4, 0x57, 0x63,
+        0x25, 0x8E, 0x83, 0xB3, 0x8E, 0x26, 0x1F, 0x09, 0xDE, 0x14,
+        0xD6, 0xA6, 0xFC, 0xE5, 0x93, 0x3C, 0x88, 0x8E, 0xF5, 0x10,
+        0x57, 0xB9, 0xC9, 0x9B, 0xFF, 0x72, 0x9D, 0x3D, 0x3F, 0x97,
+        0xD9, 0x3C, 0x20, 0xE2, 0x57, 0xFD, 0x2A, 0x5C, 0x17, 0x12,
+        0xE6, 0x08, 0xAF, 0xE4, 0x26, 0x96, 0xB9, 0x6D, 0xC3, 0xAC,
+        0x22, 0xF3, 0x8B, 0x89, 0xDE, 0xC7, 0x8A, 0x93, 0x06, 0xF7,
+        0x1D, 0x08, 0x21, 0x36, 0x16, 0x74, 0x2B, 0x97, 0x23, 0xE4,
+        0x79, 0x31, 0x08, 0x23, 0x62, 0x30, 0x67, 0xE2, 0xED, 0x30,
+        0x9B, 0x0C, 0xF9, 0x08, 0x7A, 0x29, 0x73, 0xC6, 0x77, 0x8A,
+        0xBB, 0x2A, 0x1C, 0x66, 0xD0, 0xDD, 0x9E, 0xA3, 0xE9, 0x62,
+        0xCC, 0xB7, 0x88, 0x25, 0x4A, 0x5F, 0xBC, 0xAA, 0xE3, 0xE4,
+        0x4F, 0xEC, 0xA6, 0x8E, 0xA6, 0xA4, 0x1B, 0x22, 0x2B, 0x2C,
+        0x8F, 0x57, 0x7F, 0xB7, 0x33, 0xFE, 0x16, 0x43, 0x85, 0xC5,
+        0xD2, 0x95, 0xE6, 0xB9, 0x21, 0x68, 0x88, 0x98, 0x33, 0x8C,
+        0x1D, 0x15, 0x9C, 0x4D, 0x62, 0x1F, 0x6B, 0xE8, 0x7A, 0x2D,
+        0x6B, 0x0E, 0xC3, 0xDE, 0x1A, 0xA8, 0xED, 0x67, 0xB3, 0xB3,
+        0x36, 0x5B, 0x4B, 0xCB, 0xE8, 0xA8, 0x5C, 0x0B, 0x2F, 0xCA,
+        0xD7, 0x71, 0xE8, 0x85, 0xE7, 0x4D, 0xE5, 0x7B, 0x45, 0xED,
+        0xB2, 0x4C, 0x69, 0x04, 0x7E, 0x4F, 0xC0, 0xEF, 0x1A, 0xCA,
+        0x0D, 0xA6, 0xC4, 0x79, 0x15, 0x78, 0x9C, 0xD2, 0x91, 0x3C,
+        0x32, 0x55, 0x40, 0xE7, 0xCB, 0x7E, 0xDE, 0x07, 0xA6, 0x97,
+        0x00, 0x2D, 0x70, 0xF6, 0x3D, 0x15, 0xDF, 0x29, 0x8E, 0xA3,
+        0x96, 0x6D, 0xF2, 0xBB, 0xA5, 0x1B, 0x7B, 0x58, 0x30, 0xF6,
+        0x17, 0xBD, 0xDA, 0x13, 0xF7, 0x33, 0xC2, 0x62, 0x32, 0xD4,
+        0x1C, 0x2E, 0x31, 0x74, 0x92, 0xAD, 0x99, 0x8C, 0x0E, 0x7C,
+        0x50, 0x21, 0xCD, 0xFF, 0x41, 0xEB, 0xD1, 0xCA, 0x14, 0xB7,
+        0xB2, 0x31, 0x2F, 0xBE, 0x16, 0xCE, 0x4F, 0x26, 0x16, 0x04,
+        0xC2, 0xAF, 0xBE, 0x0D, 0x24, 0xAB, 0x9A, 0x21, 0x37, 0x06,
+        0xAC, 0x50, 0x23, 0xF1, 0xBE, 0x5C, 0xBB, 0x64, 0xF3, 0xD3,
+        0x66, 0xA3, 0xB8, 0xBE, 0x8B, 0x49, 0x8D, 0xF6, 0xC7, 0xB9,
+        0x8F, 0x4E, 0x31, 0x06, 0x51, 0xE5, 0xF3, 0x0E, 0x56, 0xC4,
+        0x24, 0x30, 0xF5, 0xE9, 0x36, 0x71, 0xBC, 0xC9, 0x70, 0x2C,
+        0x6C, 0x4C, 0x15, 0x43, 0x44, 0xA4, 0xFC, 0xF1, 0xD2, 0x71,
+        0x6C, 0x4C, 0xCE, 0x30, 0x6C, 0x05, 0x7D, 0x2E, 0xB7, 0xBC,
+        0xE4, 0x65, 0x76, 0x24, 0x75, 0x36, 0xDF, 0x28, 0xFC, 0xCD,
+        0x9A, 0xBA, 0xC2, 0xCD, 0xB0, 0x30, 0xDB, 0xE7, 0x2E, 0x3C,
+        0x92, 0x63, 0x1D, 0x30, 0x23, 0x74, 0xB1, 0xB8, 0xCC, 0xD7,
+        0xB6, 0x90, 0x65, 0x73, 0xA2, 0x2A, 0x6E, 0x49, 0x95, 0x0D,
+        0xAB, 0x24, 0xDF, 0x2D, 0xBF, 0x76, 0x46, 0x01, 0x44, 0xE4,
+        0x18, 0x8E, 0xD5, 0x9A, 0x76, 0xC9, 0xC6, 0xBC, 0xDB, 0x7F,
+        0x80, 0x52, 0xC6, 0x40, 0x41, 0x12, 0x36, 0x7C, 0x80, 0x69,
+        0xCE, 0x7B, 0xE1, 0xA0, 0x53, 0xA2, 0xD6, 0x8F, 0x3F, 0xF7,
+        0xD7, 0x61, 0x09, 0x70, 0xA2, 0xA0, 0xC6, 0xAF, 0xA0, 0xD0,
+        0xFA, 0x13, 0xBF, 0xC0, 0x69, 0x15, 0xCE, 0x15, 0xEC, 0x24,
+        0x4B, 0x6B, 0xDC, 0x93, 0x51, 0xC6, 0x82, 0x19, 0x92, 0x84,
+        0x5D, 0x99, 0xB0, 0x90, 0x2C, 0xCC, 0x2A, 0x81, 0x6B, 0x22,
+        0x64, 0x0A, 0xCB, 0x51, 0x25, 0x82, 0x50, 0x02, 0x2D, 0x3E,
+        0xD4, 0x72, 0xB3, 0x0C, 0x15, 0x77, 0xD2, 0xCA, 0x98, 0x2F,
+        0x41, 0x93, 0x14, 0xB2, 0x7F, 0xA1, 0x97, 0xA3, 0xB8, 0x8A,
+        0x56, 0x24, 0x38, 0xA7, 0x36, 0xC5, 0x01, 0xC0, 0x9F, 0x3F,
+        0x3E, 0x9A, 0xF6, 0xE9, 0x16, 0x82, 0x01, 0x58, 0x70, 0x0E,
+        0x0D, 0xBC, 0xFA, 0x03, 0x57, 0x65, 0xA8, 0x5A, 0x3D, 0x57,
+        0x81, 0x23, 0xBE, 0x6E, 0xA9, 0xE8, 0x22, 0xDF, 0x2F, 0x70,
+        0xEB, 0x0A, 0x03, 0x96, 0x6B, 0xEF, 0x20, 0x9F, 0xF2, 0x62,
+        0xE7, 0xB2, 0x6E, 0x3A, 0x1E, 0x40, 0x1F, 0xD2, 0x97, 0x48,
+        0xD1, 0x18, 0xF0, 0xEB, 0x52, 0x58, 0x02, 0x26, 0xCE, 0x75,
+        0xB1, 0x3A, 0x9D, 0x5B, 0x52, 0x94, 0xB2, 0x6E, 0x0E, 0x3F,
+        0x39, 0xB6, 0xD9, 0x8A, 0x9D, 0xE8, 0x7C, 0x83, 0x32, 0xCC,
+        0x43, 0x35, 0x9B, 0x7A, 0xED, 0xB2, 0x1E, 0x51, 0x37, 0x6C,
+        0x14, 0xD8, 0xB8, 0x55, 0xB3, 0x91, 0xEF, 0x0C, 0x3A, 0xE5,
+        0x77, 0xD0, 0xBD, 0xB0, 0x7D, 0x38, 0x84, 0x2A, 0x47, 0xB2,
+        0xB6, 0xDA, 0xD7, 0x75, 0xD6, 0x2E, 0x60, 0xC7, 0x10, 0x52,
+        0xF7, 0xDD, 0x09, 0x15, 0x6F, 0x04, 0x31, 0xC3, 0x5A, 0x6B,
+        0x0C, 0x60, 0x10, 0xA8, 0x6E, 0x20, 0xA9, 0xDD, 0xB7, 0x72,
+        0xC3, 0x9E, 0x85, 0xD2, 0x8F, 0x16, 0x7E, 0x3D, 0xE0, 0x63,
+        0x81, 0x32, 0xFD, 0xCA, 0xBC, 0x0F, 0xEF, 0x3E, 0x74, 0x6A,
+        0xB1, 0x60, 0xC1, 0x10, 0x50, 0x7C, 0x67, 0xA4, 0x19, 0xA7,
+        0xB8, 0xED, 0xE6, 0xF5, 0x4E, 0x41, 0x53, 0xA6, 0x72, 0x1B,
+        0x2C, 0x33, 0x6A, 0x37, 0xF1, 0xB5, 0x1C, 0x01, 0x7D, 0xA2,
+        0x1F, 0x2C, 0x4E, 0x0A, 0xBF, 0xD4, 0x2C, 0x24, 0x91, 0x58,
+        0x62, 0xFB, 0xF8, 0x63, 0xD9, 0xF8, 0x78, 0xF5, 0xC7, 0x78,
+        0x32, 0xDA, 0x99, 0xEB, 0x58, 0x20, 0x25, 0x19, 0xB1, 0x06,
+        0x7F, 0x6A, 0x29, 0x20, 0xDB, 0xC8, 0x22, 0x48, 0xA9, 0x7F,
+        0x24, 0x54, 0x8D, 0x7D, 0x8D, 0xB1, 0x69, 0xB2, 0xA3, 0x98,
+        0x14, 0x0F, 0xBA, 0xFA, 0xB6, 0x15, 0xE8, 0x28, 0x99, 0x3F,
+        0x30, 0x04, 0x50, 0xAB, 0x5A, 0x3C, 0xF1, 0x97, 0xE1, 0xC8,
+        0x0F, 0x0E, 0xB4, 0x11, 0x63, 0x5A, 0x79, 0x08, 0x48, 0x75,
+        0xAF, 0x9B, 0xCA, 0xD9, 0x13, 0x18, 0xCC, 0xB1, 0xB3, 0xEE,
+        0xDD, 0x63, 0xDD, 0xF4, 0x21, 0x98, 0x76, 0xE2, 0x3E, 0xD5,
+        0x86, 0x23, 0x33, 0x7E, 0xC7, 0xB4, 0x35, 0x4B, 0xC2, 0x2D,
+        0xE1, 0xE2, 0xB0, 0x6C, 0x8B, 0x9B, 0x20, 0x3D, 0x48, 0x24,
+        0x7C, 0xEA, 0xA1, 0x75, 0x27, 0xE5, 0xF4, 0x70, 0xEB, 0x3B,
+        0xC7, 0x26, 0x37, 0x04, 0xFF, 0x8A, 0x7A, 0xD0, 0xC2, 0xB7,
+        0x84, 0xB7, 0x29, 0xFB, 0x0E, 0xA3, 0xA8, 0x71, 0xCD, 0x58,
+        0x06, 0x36, 0xE2, 0xF2, 0x77, 0xCC, 0x0F, 0x78, 0x08, 0x2B,
+        0xBB, 0xE3, 0x53, 0x05, 0x71, 0xDC, 0x6C, 0x37, 0x32, 0x91,
+        0x46, 0x42, 0x4F, 0x21, 0xE0, 0x34, 0xAD, 0x3F, 0x30, 0x5A,
+        0xC7, 0x0D, 0x17, 0x19, 0x39, 0x31, 0x58, 0x69, 0x3C, 0x8C,
+        0xBE, 0xE7, 0xA6, 0x3B, 0xAD, 0xFB, 0x46, 0x89, 0x06, 0xC1,
+        0x8C, 0x16, 0x9A, 0x06, 0x3A, 0xD0, 0x7E, 0xD6, 0xB0, 0x7B,
+        0x7D, 0xF8, 0x91, 0x7C, 0xFA, 0xD9, 0x66, 0x39, 0xFA, 0xBC,
+        0x57, 0xA7, 0x78, 0x8B, 0x36, 0x78, 0xC0, 0x1C, 0x0E, 0x23,
+        0x05, 0x0E, 0x04, 0x61, 0x16, 0x34, 0xF9, 0xC6, 0x63, 0x58,
+        0xDF, 0xF4, 0x52, 0xCE, 0xD0, 0x0F, 0x0C, 0xEC, 0xB1, 0x82,
+        0xF4, 0x72, 0x73, 0x72, 0x3F, 0x02, 0xBE, 0xE3, 0x9C, 0x63,
+        0x73, 0xC8, 0x21, 0x65, 0xBA, 0x57, 0x52, 0xA9, 0x19, 0xAC,
+        0x68, 0x50, 0xBD, 0x2D, 0x72, 0x5B, 0x93, 0x0F, 0x1C, 0x81,
+        0x77, 0xD7, 0x2E, 0xC3, 0x93, 0x52, 0x6E, 0xDC, 0x79, 0x52,
+        0x9F, 0xE3, 0xDE, 0xE1, 0xBA, 0x58, 0x55, 0xAB, 0x8A, 0xF2,
+        0x35, 0x6A, 0xCF, 0x94, 0x1F, 0x17, 0xA4, 0x23, 0x2E, 0x8E,
+        0x18, 0x21, 0xBE, 0x14, 0xFA, 0xE7, 0x59, 0xC5, 0x44, 0x34,
+        0xCE, 0x03, 0xF4, 0xB7, 0x75, 0xD3, 0x51, 0x55, 0xDF, 0xFF,
+        0xCF, 0x4F, 0x44, 0xEE, 0x13, 0x9B, 0xCB, 0x12, 0xAE, 0xE5,
+        0x5B, 0x44, 0x65, 0x28, 0xCB, 0x6A, 0x9C, 0x24, 0x1D, 0xEA,
+        0x2D, 0x5E, 0xA5, 0xC3, 0x78, 0xAD, 0xED, 0x0C, 0x05, 0xA6,
+        0xAF, 0x95, 0x04, 0xD2, 0xB5, 0x91, 0x0E, 0xA0, 0x06, 0x77,
+        0xC5, 0x82, 0xF6, 0xDD, 0x72, 0x83, 0x04, 0xCC, 0xB0, 0xAB,
+        0x7A, 0xF0, 0xB4, 0x4D, 0x36, 0x71, 0x72, 0x1A, 0x9A, 0x0D,
+        0xCD, 0xA3, 0x11, 0xA8, 0x0D, 0x7D, 0x49, 0xCE, 0x9C, 0x09,
+        0x1D, 0x08, 0xA4, 0x39, 0x2E, 0x03, 0xDF, 0x3A, 0xC8, 0xFE,
+        0x6A, 0x2B, 0x0B, 0x07, 0x80, 0x55, 0x8A, 0xA8, 0xE6, 0x0E,
+        0xC9, 0x7E, 0x83, 0xCE, 0x3A, 0x98, 0x98, 0x4E, 0x3E, 0x08,
+        0x20, 0x8F, 0x10, 0xFC, 0xC1, 0xC4, 0xCF, 0x37, 0x8D, 0x69,
+        0xD8, 0x57, 0x9D, 0x48, 0x80, 0x6A, 0xEF, 0x0C, 0xDD, 0x27,
+        0x99, 0xF9, 0xE7, 0xD0, 0xD2, 0x36, 0xD8, 0xED, 0x41, 0x14,
+        0x1B, 0x10
+};
+static const int sizeof_bench_dilithium_level3_pubkey = sizeof(bench_dilithium_level3_pubkey);
+
+/* certs/dilithium/bench_dilithium_level5_pubkey.der */
+static const unsigned char bench_dilithium_level5_pubkey[] =
+{
+        0xEF, 0x49, 0x79, 0x47, 0x15, 0xC4, 0x8A, 0xA9, 0x74, 0x2A,
+        0xF0, 0x36, 0x94, 0x5C, 0x91, 0x1C, 0x5D, 0xFF, 0x2C, 0x83,
+        0xF2, 0x8B, 0x04, 0xFC, 0x5D, 0x64, 0xBD, 0x49, 0x73, 0xCD,
+        0xCC, 0x99, 0x50, 0x5F, 0x2B, 0x16, 0x3A, 0xBB, 0x98, 0xC0,
+        0xA7, 0x69, 0x0E, 0x95, 0x99, 0x0B, 0xA2, 0x6C, 0xFE, 0x6C,
+        0xDB, 0xC8, 0xA7, 0x09, 0x46, 0x6C, 0x90, 0x50, 0xA4, 0x75,
+        0x30, 0xF7, 0x90, 0xAC, 0x31, 0xB6, 0xDD, 0x21, 0xAF, 0xC6,
+        0xF9, 0xFE, 0xEE, 0xC6, 0x5B, 0xA8, 0x8F, 0x0A, 0x2E, 0xD0,
+        0x42, 0xAB, 0xA8, 0x3C, 0x8D, 0xBF, 0xF7, 0x44, 0xBD, 0x0D,
+        0xCF, 0xF4, 0x68, 0xFC, 0x16, 0x67, 0xF7, 0x39, 0x48, 0x5F,
+        0x56, 0xD1, 0xE7, 0x1F, 0x49, 0x80, 0x50, 0xBE, 0x54, 0xD1,
+        0xB7, 0xC9, 0xD2, 0x32, 0xC7, 0x08, 0x8C, 0xDE, 0x2C, 0x31,
+        0xF6, 0x1D, 0xC7, 0xAC, 0xB3, 0x79, 0xD7, 0x4B, 0x1B, 0x23,
+        0x89, 0x0A, 0xDC, 0x8E, 0x44, 0x41, 0x14, 0x28, 0x99, 0x13,
+        0xB3, 0x26, 0xA6, 0x0E, 0x83, 0x60, 0xAA, 0x8D, 0x7C, 0x23,
+        0x13, 0xBA, 0x6C, 0x28, 0x90, 0x56, 0x84, 0xA1, 0x23, 0x8B,
+        0x81, 0x20, 0x97, 0x7C, 0x66, 0x3F, 0xED, 0x5D, 0xD0, 0xE4,
+        0x5D, 0xEE, 0x46, 0xBC, 0x4B, 0x3C, 0x03, 0xB5, 0xBC, 0x4D,
+        0x8D, 0x37, 0xA3, 0x56, 0x4B, 0x33, 0xAD, 0xEF, 0xD4, 0xB6,
+        0xEC, 0xDB, 0x04, 0x9A, 0x19, 0x58, 0x57, 0xD8, 0x00, 0x3A,
+        0x92, 0x61, 0x0C, 0x0B, 0xC8, 0x52, 0xE5, 0x04, 0x02, 0x9A,
+        0x00, 0x7E, 0xEC, 0x7E, 0x94, 0xAA, 0xEF, 0x2D, 0x7F, 0xB6,
+        0x2E, 0x7C, 0xB0, 0x73, 0xA2, 0x20, 0xC0, 0x07, 0x30, 0x41,
+        0x50, 0x20, 0x14, 0x18, 0x21, 0x5E, 0x2A, 0x6F, 0x70, 0x21,
+        0xD6, 0x97, 0x13, 0xB9, 0xC1, 0x9E, 0x90, 0x67, 0xCC, 0x55,
+        0x8A, 0xEC, 0xEC, 0x0A, 0x1E, 0x90, 0xDC, 0x3F, 0xB0, 0x4D,
+        0xD1, 0x18, 0xEA, 0x4F, 0xCB, 0x5D, 0x15, 0x4C, 0xB8, 0x35,
+        0x9B, 0x34, 0x24, 0x30, 0x06, 0x53, 0x17, 0xF0, 0xBE, 0x27,
+        0x36, 0xB3, 0x04, 0x6A, 0xBD, 0xBF, 0xA7, 0x39, 0xEE, 0xA9,
+        0x8F, 0x0E, 0x98, 0xC5, 0xF5, 0x9F, 0x46, 0x25, 0x93, 0xC9,
+        0xF2, 0xF6, 0x2B, 0x8E, 0x92, 0x06, 0x01, 0x3D, 0x81, 0x18,
+        0xF2, 0xEC, 0xF1, 0x05, 0x4C, 0xAD, 0x4B, 0xCB, 0x98, 0xA4,
+        0xB5, 0x61, 0x20, 0xDA, 0x81, 0xA1, 0xFB, 0x92, 0x4C, 0xAF,
+        0x87, 0x6F, 0x6E, 0xD2, 0x57, 0xEC, 0xCD, 0x94, 0xB3, 0x79,
+        0xBF, 0x59, 0x88, 0x17, 0x81, 0xCE, 0x8A, 0x57, 0xCE, 0x57,
+        0xAE, 0x3E, 0x82, 0x81, 0x2F, 0x83, 0x61, 0xD8, 0xF9, 0x68,
+        0x21, 0xE7, 0x72, 0x5B, 0xD6, 0x80, 0x55, 0x68, 0x5D, 0x67,
+        0x15, 0x0C, 0x8B, 0xDC, 0x4F, 0xC3, 0x89, 0x36, 0x3C, 0xAC,
+        0xAF, 0x16, 0x5E, 0x1C, 0xFA, 0x68, 0x74, 0x6A, 0xAB, 0x68,
+        0xD8, 0x59, 0x96, 0x2D, 0x33, 0x62, 0xE4, 0xBD, 0xB3, 0xB7,
+        0x4D, 0x88, 0x35, 0xB8, 0xED, 0xB2, 0x16, 0x85, 0x97, 0x08,
+        0x71, 0x71, 0x39, 0x7E, 0x0C, 0x53, 0x16, 0xDA, 0x38, 0xE5,
+        0x28, 0x09, 0x9C, 0xD9, 0x46, 0xEC, 0x68, 0xDA, 0x8D, 0xD0,
+        0xAD, 0xB2, 0x79, 0x28, 0x3B, 0x1E, 0x12, 0xC9, 0xDF, 0xA9,
+        0x6D, 0x3D, 0x29, 0x99, 0x2F, 0x53, 0xC2, 0xD0, 0xF9, 0x88,
+        0x26, 0x94, 0x47, 0xAF, 0xF6, 0x96, 0xF3, 0xE1, 0x11, 0xA6,
+        0x82, 0x3D, 0x43, 0x3F, 0x1F, 0xBC, 0xF6, 0x98, 0xBE, 0xFF,
+        0x06, 0x86, 0x61, 0x27, 0xDC, 0x91, 0x54, 0xD4, 0xFC, 0x68,
+        0x83, 0xE8, 0x35, 0x3E, 0xEE, 0x94, 0x59, 0x28, 0x2F, 0xDE,
+        0xDD, 0x03, 0x60, 0x66, 0xC1, 0x49, 0x57, 0xDD, 0xBC, 0xD5,
+        0x0A, 0x67, 0x34, 0xF1, 0xA6, 0x0A, 0x57, 0x94, 0x65, 0x02,
+        0x2C, 0x52, 0x43, 0x70, 0x3B, 0xC1, 0x9A, 0xFF, 0xDA, 0x6F,
+        0xB9, 0x54, 0x47, 0x01, 0xDA, 0x27, 0xE4, 0x48, 0x4A, 0x90,
+        0x9F, 0xB5, 0xC3, 0xEE, 0x0E, 0x09, 0x57, 0xFE, 0x48, 0x51,
+        0x08, 0x34, 0x5E, 0x8F, 0x16, 0xC9, 0x0B, 0x74, 0xD9, 0x7D,
+        0x22, 0x3F, 0xD6, 0xB7, 0x5D, 0xD6, 0x76, 0x00, 0x8D, 0x4E,
+        0x78, 0x73, 0x86, 0xD6, 0xDB, 0x2A, 0x65, 0xAB, 0xDF, 0xB0,
+        0xEA, 0x11, 0xAD, 0xDF, 0xBA, 0x43, 0xDB, 0xA8, 0x0A, 0xFB,
+        0x04, 0x38, 0x81, 0x2B, 0xA3, 0x29, 0xFC, 0x95, 0x73, 0x9A,
+        0x0C, 0x6C, 0x9E, 0xCD, 0xDC, 0xCF, 0x0A, 0x0C, 0x18, 0x41,
+        0x6F, 0x1D, 0xA3, 0xF6, 0x12, 0x4C, 0x13, 0xF2, 0x02, 0xC6,
+        0x50, 0x99, 0x86, 0x73, 0xA7, 0xF9, 0x7E, 0x84, 0x7F, 0x4C,
+        0x00, 0xCE, 0x2E, 0x21, 0x76, 0x8E, 0x17, 0x7A, 0x87, 0x6F,
+        0x81, 0xE6, 0xC0, 0x52, 0xA5, 0xA0, 0x3C, 0x54, 0x3C, 0xEC,
+        0xB0, 0x9D, 0x1C, 0x3B, 0xEC, 0xE5, 0x4E, 0x4A, 0x37, 0xE7,
+        0xD5, 0xA9, 0x07, 0x87, 0x23, 0x28, 0x5D, 0x3D, 0x22, 0x02,
+        0x79, 0x40, 0x3F, 0x2D, 0x40, 0xC9, 0xE5, 0xA6, 0x9B, 0xA8,
+        0xB8, 0x76, 0xF6, 0x77, 0x5B, 0x8D, 0x72, 0x96, 0x3E, 0x13,
+        0xBF, 0x76, 0xFA, 0x7B, 0xB7, 0x82, 0x5F, 0xE7, 0x9D, 0x54,
+        0x0E, 0x05, 0x1A, 0x9F, 0xA4, 0x42, 0xA5, 0xB4, 0x93, 0x23,
+        0x06, 0x59, 0x43, 0xA8, 0xE8, 0x5C, 0xFC, 0x18, 0x97, 0xDB,
+        0xAD, 0x9A, 0x80, 0x0A, 0xF2, 0x20, 0x50, 0xAC, 0xC1, 0x13,
+        0x3E, 0x98, 0x09, 0xDE, 0xF2, 0x70, 0x9E, 0x14, 0xC2, 0x5C,
+        0xEC, 0x65, 0x07, 0x0B, 0xFA, 0x02, 0x5C, 0xF8, 0x71, 0xAA,
+        0x9B, 0x45, 0x62, 0xE2, 0x27, 0xAF, 0x77, 0xF8, 0xE3, 0xEB,
+        0x7B, 0x24, 0x7B, 0x3C, 0x67, 0xC2, 0x6D, 0x6E, 0x17, 0xAE,
+        0x6E, 0x86, 0x6F, 0x98, 0xC9, 0xAC, 0x13, 0x9F, 0x87, 0x64,
+        0x3D, 0x4D, 0x6F, 0xA0, 0xB3, 0x39, 0xC6, 0x68, 0x1B, 0xA7,
+        0xEB, 0x3E, 0x0F, 0x6B, 0xC7, 0xA4, 0xE2, 0x20, 0x27, 0x75,
+        0x3F, 0x09, 0x16, 0xFF, 0x1A, 0xCC, 0xA7, 0xC4, 0x6D, 0xC2,
+        0xFC, 0xC3, 0x0B, 0x37, 0x63, 0xFF, 0x9B, 0x10, 0xE6, 0x00,
+        0xF7, 0x18, 0x43, 0x9F, 0x07, 0x50, 0x31, 0x51, 0xD4, 0xFD,
+        0xAD, 0xA2, 0x0F, 0x77, 0xDA, 0x41, 0xC1, 0x0A, 0x6F, 0x86,
+        0xD7, 0xDC, 0x8A, 0x52, 0xD6, 0xA1, 0x27, 0xDB, 0x14, 0x67,
+        0x26, 0x91, 0xB3, 0xCD, 0x01, 0x5F, 0x60, 0xA1, 0x7F, 0x43,
+        0x15, 0x1A, 0x82, 0x0F, 0xD3, 0x66, 0x5F, 0x60, 0x57, 0x2F,
+        0xB2, 0x8C, 0x27, 0x2A, 0x9D, 0x1B, 0xF9, 0xF2, 0x59, 0x20,
+        0x39, 0xD9, 0xC5, 0xAF, 0xF2, 0x36, 0x8C, 0x58, 0x00, 0x1B,
+        0xD0, 0xC5, 0x8E, 0x1A, 0x49, 0xA8, 0x60, 0xBE, 0xD1, 0xD7,
+        0x2A, 0xB0, 0xC2, 0xAB, 0x58, 0x8A, 0x7A, 0xA9, 0x41, 0x68,
+        0x70, 0xBD, 0xEA, 0x73, 0xA5, 0x03, 0x11, 0xB2, 0x27, 0xD9,
+        0xCD, 0xF5, 0x09, 0xE8, 0x1C, 0xE2, 0x4F, 0x50, 0x6A, 0x84,
+        0x34, 0x62, 0x2E, 0x36, 0xAA, 0x4C, 0xC1, 0x83, 0x78, 0x98,
+        0x35, 0x7A, 0x27, 0x7E, 0xFE, 0xF1, 0x6F, 0x59, 0x27, 0x35,
+        0x73, 0xCE, 0x74, 0xAA, 0xB4, 0x72, 0x82, 0xA8, 0xE2, 0x81,
+        0x7A, 0x6B, 0xCA, 0x33, 0xA5, 0xDA, 0xA2, 0x63, 0xCA, 0x2E,
+        0x90, 0x03, 0x32, 0xEC, 0x63, 0xDB, 0x52, 0x7B, 0x16, 0xFC,
+        0x01, 0x2D, 0x30, 0x12, 0x1E, 0xF9, 0xA3, 0x72, 0x21, 0x3C,
+        0x75, 0x0C, 0x61, 0x9C, 0x7E, 0x73, 0x04, 0x71, 0x41, 0x45,
+        0x5D, 0x7F, 0x49, 0x1C, 0x09, 0x08, 0xA4, 0xEC, 0x2F, 0xFD,
+        0xC4, 0xFB, 0x59, 0x6A, 0x27, 0x7A, 0xD4, 0xFC, 0x5F, 0x20,
+        0x04, 0x34, 0x7D, 0x08, 0xED, 0x82, 0x5A, 0x90, 0xE1, 0xAB,
+        0xFD, 0x35, 0x3A, 0x8D, 0xBB, 0x0A, 0x9D, 0x73, 0xFF, 0x69,
+        0xE5, 0xE9, 0x09, 0x55, 0x14, 0xD9, 0x7B, 0x6F, 0x0D, 0x99,
+        0xD2, 0x7E, 0x71, 0xF8, 0x4F, 0x72, 0x2F, 0xBB, 0xC6, 0xC4,
+        0x36, 0xC9, 0x01, 0xD3, 0x9B, 0x94, 0xAB, 0x41, 0x0F, 0x4A,
+        0x61, 0x5C, 0x68, 0xE5, 0xD7, 0x0D, 0x94, 0xAA, 0xEE, 0xBA,
+        0x95, 0xCB, 0x8C, 0x0E, 0x85, 0x3A, 0x02, 0x6B, 0x95, 0x50,
+        0xFD, 0x02, 0xFD, 0xA4, 0x58, 0x29, 0x78, 0x4F, 0xD0, 0xAE,
+        0x66, 0xD6, 0x5C, 0xE7, 0x45, 0xFE, 0x98, 0xB0, 0xA3, 0xE2,
+        0x87, 0xC0, 0xD2, 0x81, 0x08, 0xF1, 0xF1, 0xE7, 0xDA, 0x62,
+        0x9E, 0xA0, 0x34, 0x86, 0xEB, 0xA1, 0x6E, 0x4A, 0x26, 0x8E,
+        0x39, 0x0C, 0x51, 0x10, 0x33, 0x11, 0x87, 0xF8, 0x79, 0x3C,
+        0x49, 0x7A, 0x8B, 0xCE, 0xC1, 0x0A, 0x0E, 0xE1, 0xD5, 0x2A,
+        0xAC, 0xF0, 0x3A, 0x1D, 0x6A, 0x6A, 0xE5, 0xE1, 0x81, 0x70,
+        0xAD, 0xAF, 0x15, 0x4C, 0x2A, 0x70, 0x2A, 0x6B, 0x22, 0x0D,
+        0x30, 0xE7, 0x56, 0xED, 0x2D, 0x4B, 0x85, 0x17, 0x49, 0x72,
+        0x3A, 0x1B, 0x6F, 0x57, 0x1C, 0xF7, 0x72, 0x9E, 0x20, 0xDB,
+        0x57, 0x1C, 0xFB, 0x36, 0x50, 0x52, 0xEC, 0x5B, 0xD6, 0x6A,
+        0x1B, 0xF8, 0x74, 0xAD, 0xE6, 0x00, 0x74, 0x04, 0xC5, 0x99,
+        0x83, 0xE4, 0x5A, 0x0C, 0xC3, 0xE8, 0x6D, 0x3A, 0xD7, 0x3C,
+        0x3C, 0xC0, 0x1A, 0x28, 0xB3, 0x29, 0x7A, 0x10, 0x9E, 0x39,
+        0x66, 0x5B, 0xC1, 0x38, 0xAC, 0x21, 0x4E, 0xCD, 0x01, 0xF2,
+        0xF6, 0x30, 0x2C, 0x2B, 0xB6, 0xBF, 0xF5, 0xEA, 0x61, 0xAF,
+        0x0C, 0xA6, 0x01, 0x11, 0x15, 0x19, 0x09, 0x8C, 0x7E, 0x69,
+        0xDF, 0x3B, 0xEA, 0xD3, 0x0A, 0x3A, 0xD7, 0xBD, 0xE1, 0x17,
+        0xAF, 0x92, 0x3C, 0xF5, 0xFE, 0x35, 0xD6, 0xCF, 0x07, 0xA6,
+        0xF7, 0xE9, 0xC1, 0x99, 0xED, 0x80, 0xE3, 0x12, 0xD5, 0x4B,
+        0xB9, 0xDF, 0xAF, 0x4E, 0x52, 0xAD, 0x8E, 0x66, 0x87, 0xE5,
+        0x2C, 0xD0, 0x45, 0x70, 0xD9, 0x78, 0x8F, 0x4B, 0xF4, 0xE1,
+        0xF1, 0x22, 0xF2, 0xE3, 0xED, 0x1F, 0xEB, 0xE9, 0x70, 0x31,
+        0x4C, 0x65, 0x5F, 0x55, 0xEE, 0x5D, 0xAA, 0x83, 0x87, 0x76,
+        0xBE, 0x11, 0xAE, 0xD7, 0xF2, 0xFB, 0x43, 0xE7, 0x17, 0x81,
+        0x33, 0x15, 0x47, 0xA0, 0xF3, 0x8E, 0x84, 0x57, 0xFF, 0x35,
+        0x9E, 0x4A, 0x8A, 0xAB, 0x50, 0x3A, 0x45, 0xE0, 0xC3, 0x73,
+        0xCA, 0x77, 0x61, 0x68, 0x38, 0xD0, 0xA3, 0x5F, 0x03, 0x8D,
+        0x41, 0xC2, 0xD3, 0x4A, 0x17, 0xE0, 0xA8, 0xAA, 0x00, 0xF3,
+        0xF2, 0x5B, 0xA8, 0xE1, 0x06, 0xA6, 0x2B, 0xDB, 0xE1, 0x74,
+        0xBD, 0xC4, 0xD2, 0x2B, 0x55, 0x9A, 0xB0, 0xF8, 0x35, 0xD8,
+        0x6B, 0xEC, 0xDB, 0xC5, 0xF4, 0x6C, 0x40, 0x90, 0x6A, 0x68,
+        0xC9, 0xB5, 0xCB, 0xBB, 0xD0, 0xB0, 0xBC, 0x9F, 0xB9, 0xAA,
+        0x50, 0x14, 0x93, 0x3B, 0x9F, 0x25, 0xCB, 0x40, 0xB8, 0x08,
+        0xCC, 0x13, 0xE5, 0xDC, 0x3F, 0x84, 0x96, 0xE0, 0x73, 0x7B,
+        0x7D, 0x9E, 0x41, 0x92, 0x5D, 0xCC, 0xA4, 0xEA, 0x4F, 0x93,
+        0x0C, 0x40, 0x2E, 0x42, 0x8A, 0xE9, 0xB9, 0x12, 0x74, 0xBB,
+        0x79, 0x7C, 0xB0, 0x37, 0x20, 0xB6, 0xAF, 0x43, 0x3A, 0x88,
+        0x59, 0x7C, 0x68, 0x28, 0x5F, 0x98, 0xC2, 0xF0, 0x2A, 0xBC,
+        0xA1, 0x61, 0x88, 0x1F, 0x43, 0xBC, 0x42, 0x8F, 0x43, 0xF3,
+        0x7E, 0x16, 0x96, 0xFA, 0x92, 0x70, 0xAF, 0x3C, 0x9F, 0x4B,
+        0xD9, 0x60, 0xE9, 0xF6, 0x2E, 0x84, 0xDA, 0x88, 0x31, 0x34,
+        0xA6, 0x85, 0x10, 0x05, 0xEF, 0x40, 0xA8, 0xA5, 0x4F, 0x92,
+        0x59, 0xF7, 0xE0, 0xC4, 0x2B, 0x12, 0x17, 0x71, 0xBE, 0x8C,
+        0x4A, 0x02, 0xFE, 0x12, 0xB6, 0x3B, 0x85, 0x75, 0x37, 0xF3,
+        0x73, 0x2D, 0x9C, 0x00, 0x5D, 0x80, 0xAD, 0x20, 0x2F, 0x5A,
+        0x0B, 0x17, 0x7E, 0x67, 0x72, 0x24, 0x5A, 0xB9, 0xF3, 0xB1,
+        0x33, 0xA4, 0x57, 0x1D, 0x49, 0x72, 0x2C, 0x7F, 0x47, 0x15,
+        0x07, 0xE0, 0x45, 0x14, 0xDD, 0x77, 0x86, 0x6D, 0x03, 0xBE,
+        0x57, 0xD0, 0xAA, 0x18, 0xA6, 0xDD, 0x94, 0x18, 0x3F, 0x8A,
+        0xF3, 0xB5, 0xD7, 0x5A, 0xEC, 0xC8, 0x79, 0x7F, 0x51, 0x61,
+        0x3C, 0x9B, 0xB2, 0x9B, 0xF3, 0xB4, 0x35, 0xD1, 0x38, 0xBF,
+        0x37, 0xCE, 0x54, 0xD1, 0xF8, 0xB6, 0x45, 0xEB, 0x52, 0x0D,
+        0x9A, 0x09, 0x58, 0x0D, 0x2C, 0x0B, 0xB1, 0xF2, 0x30, 0x3A,
+        0x95, 0xC1, 0x13, 0x91, 0xD2, 0x9F, 0x8D, 0x8D, 0xD0, 0x38,
+        0x3E, 0x4C, 0xAE, 0x4A, 0x55, 0xA7, 0x42, 0x11, 0x83, 0xC4,
+        0x70, 0xF0, 0x2B, 0x68, 0x9E, 0x07, 0xAD, 0xB7, 0x83, 0xC6,
+        0x53, 0x3C, 0xFB, 0x0A, 0x5D, 0x24, 0xDC, 0xE1, 0x55, 0x72,
+        0xCF, 0xCE, 0x3E, 0xC8, 0xD0, 0x57, 0x8A, 0x82, 0x5E, 0x78,
+        0x2B, 0x80, 0xC5, 0xB9, 0x09, 0x46, 0xF8, 0x90, 0x39, 0x52,
+        0xA9, 0xCE, 0x3F, 0x3D, 0x41, 0x3B, 0x28, 0x45, 0xA3, 0xB3,
+        0x21, 0xC2, 0xCD, 0x14, 0x49, 0x41, 0x6C, 0x38, 0xDA, 0x1B,
+        0x5F, 0x16, 0x49, 0xF9, 0x65, 0x00, 0x4E, 0xB4, 0x20, 0x55,
+        0x70, 0xE8, 0x58, 0x1A, 0x18, 0xBF, 0x41, 0xEF, 0x31, 0xB1,
+        0xE7, 0x8D, 0x89, 0xC1, 0x48, 0xE8, 0xF5, 0x57, 0x35, 0xFA,
+        0xC1, 0x79, 0xEE, 0x2C, 0xE8, 0x7D, 0xB6, 0x03, 0xCC, 0x66,
+        0x09, 0x6F, 0x52, 0x84, 0x0A, 0x34, 0x18, 0x2C, 0x01, 0x45,
+        0x81, 0x00, 0xE5, 0x5E, 0x8D, 0xAE, 0x1C, 0x96, 0x8B, 0x45,
+        0x73, 0x00, 0x0A, 0xB5, 0xCF, 0x8D, 0x0E, 0x35, 0x5D, 0x1A,
+        0x0E, 0xBF, 0x64, 0x9A, 0x52, 0x20, 0x48, 0xC6, 0xB9, 0x40,
+        0xD3, 0x2C, 0x52, 0xCA, 0x93, 0xCF, 0xBB, 0x94, 0x06, 0xF3,
+        0x97, 0xEE, 0xCC, 0x5D, 0xA3, 0xEA, 0xF8, 0x5A, 0x39, 0x77,
+        0x34, 0xD7, 0xF6, 0x4E, 0xBE, 0x8A, 0x07, 0x5F, 0x51, 0x53,
+        0xC5, 0x1B, 0x8C, 0x47, 0x8F, 0x34, 0x0E, 0x60, 0x0A, 0x90,
+        0xE2, 0xDA, 0x7B, 0xEF, 0xD6, 0xF5, 0x5D, 0xE5, 0x32, 0x37,
+        0x75, 0x99, 0x81, 0x4A, 0x2A, 0x78, 0x71, 0xDC, 0xF4, 0xE5,
+        0xCA, 0xD8, 0x6B, 0x3B, 0x90, 0x68, 0x2E, 0x93, 0xC5, 0x10,
+        0x42, 0x5D, 0x38, 0x90, 0x32, 0x46, 0xEA, 0x87, 0xE0, 0xBC,
+        0xB8, 0x9A, 0x18, 0x20, 0x68, 0x85, 0x6D, 0x9B, 0xC9, 0x8F,
+        0x9B, 0xD2, 0xBE, 0x15, 0x12, 0x68, 0xD0, 0xB0, 0x16, 0x5F,
+        0xE2, 0x69, 0x1D, 0x04, 0x00, 0xFC, 0x63, 0x33, 0xCD, 0x1F,
+        0x89, 0xCD, 0x52, 0xFF, 0xEC, 0x19, 0x69, 0x74, 0xA3, 0xCE,
+        0x4D, 0xAB, 0x93, 0xE4, 0xC6, 0x13, 0x56, 0x27, 0xC9, 0x25,
+        0x5A, 0x01, 0xB2, 0x36, 0x8B, 0x61, 0xE5, 0x8B, 0x98, 0xAC,
+        0xE4, 0x2A, 0xB6, 0x40, 0x9F, 0x42, 0xE4, 0x1B, 0x52, 0xF7,
+        0xFD, 0xD8, 0x30, 0x07, 0x33, 0xF9, 0x47, 0xCB, 0x3C, 0xAD,
+        0x12, 0xC1, 0xCC, 0x29, 0x62, 0x49, 0x04, 0x0C, 0x23, 0x97,
+        0x5A, 0xA4, 0x84, 0x67, 0xDE, 0x5A, 0xE5, 0x36, 0xD2, 0x88,
+        0xF1, 0xD4, 0xEB, 0x13, 0x81, 0x54, 0x51, 0x11, 0xE3, 0xBA,
+        0xBC, 0xEE, 0xDD, 0x6C, 0xCD, 0xE6, 0xB4, 0xA1, 0x8B, 0x0B,
+        0x66, 0xFB, 0x8E, 0x50, 0xA0, 0xDA, 0x69, 0x8D, 0xCC, 0x2D,
+        0xE4, 0x2C, 0xC4, 0x37, 0xDF, 0x61, 0xC0, 0x03, 0xBD, 0x8B,
+        0x28, 0xCA, 0xD2, 0x8C, 0x1C, 0xF1, 0xA4, 0x26, 0x69, 0xE5,
+        0xCF, 0x45, 0xDB, 0x5A, 0x47, 0x79, 0xED, 0x9F, 0xF7, 0xD2,
+        0xDB, 0xBA, 0x46, 0x53, 0x4F, 0xCE, 0xA8, 0xBE, 0x8F, 0x4A,
+        0xD6, 0xDF, 0x2E, 0x06, 0xE6, 0x4C, 0x9A, 0xC1, 0xB6, 0x49,
+        0xED, 0xC4, 0xEB, 0xAA, 0xA4, 0x29, 0x6D, 0xD4, 0xCC, 0x8C,
+        0xB6, 0x40, 0x11, 0x39, 0x69, 0xF7, 0x75, 0xCD, 0xB1, 0x99,
+        0x46, 0x4E, 0xDE, 0xCB, 0xF6, 0x9D, 0x32, 0xF3, 0xC9, 0x47,
+        0x47, 0x7A, 0xCB, 0xFB, 0xA3, 0x0C, 0x3B, 0xDF, 0xB7, 0xDE,
+        0xEC, 0x99, 0xDE, 0xB0, 0x26, 0x04, 0x34, 0xAE, 0x6B, 0xFC,
+        0x99, 0xBC, 0xDE, 0xD5, 0xBE, 0xE7, 0xEB, 0xF9, 0xE7, 0xA6,
+        0x01, 0x9A, 0x0C, 0x5E, 0x66, 0xE6, 0x53, 0xE4, 0xD1, 0x58,
+        0xAC, 0xDA, 0x69, 0x77, 0x7B, 0x68, 0xD6, 0x30, 0x2A, 0x9C,
+        0x6B, 0xBE, 0x9F, 0x3D, 0x71, 0xD6, 0x54, 0xCD, 0x59, 0x4E,
+        0x1F, 0xE3, 0x83, 0x4E, 0xD1, 0x8E, 0xAF, 0x97, 0xA8, 0xE5,
+        0xB6, 0x59, 0x77, 0xA8, 0x02, 0x20, 0xE4, 0xEB, 0x44, 0x71,
+        0xBC, 0x07, 0x14, 0x79, 0x4F, 0x0C, 0x27, 0x06, 0x39, 0xCF,
+        0x7C, 0xEF, 0x2B, 0x9B, 0x5E, 0xC4, 0x6D, 0x79, 0x13, 0x00,
+        0x43, 0x6F, 0x51, 0x77, 0xB5, 0xC3, 0x72, 0xAD, 0x13, 0xA9,
+        0xE5, 0x9A, 0x5B, 0x1A, 0x99, 0x74, 0xC0, 0x7A, 0xF9, 0xC5,
+        0xB0, 0x58, 0x35, 0x1C, 0xA5, 0x51, 0xDB, 0xA1, 0x14, 0xCD,
+        0x26, 0x71, 0xB1, 0xE7, 0xAA, 0x14, 0xA7, 0x46, 0x93, 0xD3,
+        0x5C, 0x8C, 0x1A, 0x91, 0x77, 0x46, 0x2E, 0x15, 0xAA, 0x9E,
+        0xF7, 0x2B, 0x79, 0x41, 0x76, 0xF7, 0x22, 0x53, 0x7D, 0x51,
+        0xDB, 0x98, 0x3D, 0x5B, 0x78, 0x5F, 0xC3, 0xC9, 0x29, 0xA3,
+        0xFF, 0x75, 0x82, 0x06, 0x9A, 0x16, 0x5E, 0xA4, 0x79, 0x0D,
+        0xD1, 0x6D, 0x08, 0xFF, 0x43, 0xEF, 0x9C, 0xF3, 0x1B, 0x7A,
+        0x3F, 0x34, 0xBE, 0x19, 0x15, 0x06, 0x33, 0xDB, 0xA5, 0x71,
+        0xCB, 0x5F, 0x6B, 0x8D, 0xBD, 0x5B, 0x32, 0x91, 0xB2, 0x37,
+        0x3D, 0xB4, 0x40, 0x9E, 0x02, 0x9B, 0xB7, 0x68, 0x20, 0x58,
+        0x5C, 0xAB, 0xCB, 0xC8, 0x23, 0x2D, 0x77, 0xCC, 0x0B, 0xF6,
+        0x78, 0x6B, 0x80, 0x06, 0x91, 0xA9, 0xFD, 0x7E, 0xFA, 0x25,
+        0x98, 0x9F, 0xCC, 0x79, 0x0A, 0x1A, 0x54, 0x83, 0xAC, 0x64,
+        0x16, 0x90, 0xE5, 0xD9, 0xA7, 0xD7, 0x1B, 0x86, 0x0D, 0xE6,
+        0xE6, 0x22, 0x2B, 0x1F, 0x44, 0x49, 0x98, 0x9C, 0x51, 0x6F,
+        0xCF, 0x58, 0x4A, 0xFA, 0xFA, 0x84, 0x12, 0xA5, 0x10, 0xF4,
+        0xCA, 0xF0, 0x98, 0x2B, 0xC9, 0x03, 0x71, 0x37, 0xE7, 0xDC,
+        0xC2, 0xB1, 0x4E, 0x64, 0xDE, 0x4F, 0x46, 0x0D, 0x6B, 0x25,
+        0x88, 0x5D, 0xD6, 0xFF, 0x23, 0x46, 0x57, 0x36, 0x14, 0x18,
+        0xA7, 0xCB, 0xB8, 0xBD, 0xF0, 0xC5, 0x37, 0x36, 0xEE, 0xE1,
+        0xED, 0x9F, 0x4D, 0xD4, 0x39, 0xE5, 0x92, 0xCF, 0x95, 0x4D,
+        0x66, 0x36, 0x5D, 0xD0, 0xCC, 0x07, 0xCF, 0x15, 0x5A, 0xCE,
+        0x14, 0xB8, 0xDA, 0x0D, 0x3D, 0x1B, 0x45, 0xC5, 0x2E, 0x34,
+        0x43, 0x25, 0x02, 0x3A, 0xCD, 0x14, 0x45, 0xFB, 0x3E, 0xF9,
+        0x88, 0x5D, 0x0D, 0x29, 0x31, 0xB9, 0xA1, 0xE6, 0x31, 0x18,
+        0x52, 0x46, 0x3F, 0x22, 0x4F, 0x9F, 0x7A, 0x65, 0x36, 0x88,
+        0xA3, 0x1C, 0x3E, 0x6F, 0x50, 0x7A, 0x36, 0xBE, 0x56, 0x7E,
+        0x50, 0xCB, 0x7A, 0x10, 0xA0, 0xEC, 0xF6, 0x82, 0xD6, 0x30,
+        0x1C, 0xE8, 0x4C, 0x50, 0xF9, 0x3E, 0xDB, 0xAC, 0xBE, 0x4F,
+        0x90, 0xB1, 0xD5, 0x1B, 0x12, 0x95, 0xFB, 0xE8, 0x08, 0x64,
+        0x56, 0x7C, 0x96, 0xCC, 0x90, 0xB1, 0xBC, 0xA0, 0xF5, 0x32,
+        0x69, 0xB3, 0x5F, 0x27, 0x0F, 0xBE, 0xC9, 0xBD, 0xEB, 0xFA,
+        0x4B, 0x5C, 0xC5, 0x99, 0x9E, 0x5A, 0x04, 0xCC, 0xD0, 0x4D,
+        0x29, 0xE8, 0x84, 0x55, 0x8C, 0xD7, 0xC4, 0x06, 0x13, 0x4D,
+        0x92, 0xE5, 0x98, 0x9C, 0x4C, 0xC1, 0xF7, 0xAF, 0x7B, 0xD5,
+        0x2B, 0x92, 0x68, 0x68, 0x19, 0x70, 0x4C, 0x9E, 0x46, 0xB8,
+        0x34, 0xEB, 0x01, 0x47, 0xBE, 0x59, 0xAB, 0x0B, 0x22, 0x25,
+        0xE7, 0x56, 0xA8, 0xB4, 0x93, 0x3C, 0xD5, 0x98, 0x9F, 0x61,
+        0x2E, 0xFA, 0xCB, 0x5F, 0x5B, 0xD8, 0x09, 0x83, 0xE9, 0x40,
+        0xE9, 0x0E, 0x42, 0xDD, 0x17, 0xD7, 0x6E, 0x19, 0x8D, 0x95,
+        0x0A, 0x93
+};
+static const int sizeof_bench_dilithium_level5_pubkey = sizeof(bench_dilithium_level5_pubkey);
+
+#endif /* HAVE_DILITHIUM */
 
-#if defined(HAVE_PQC) && defined(HAVE_SPHINCS)
+#if defined(HAVE_SPHINCS)
 
 /* certs/sphincs/bench_sphincs_fast_level1_key.der */
 static const unsigned char bench_sphincs_fast_level1_key[] =
@@ -6005,7 +6611,7 @@ static const unsigned char bench_sphincs_small_level5_key[] =
 };
 static const int sizeof_bench_sphincs_small_level5_key = sizeof(bench_sphincs_small_level5_key);
 
-#endif /* HAVE_PQC && HAVE_SPHINCS */
+#endif /* HAVE_SPHINCS */
 
 #if defined(HAVE_ECC) && defined(USE_CERT_BUFFERS_256)