A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT

0 12345677 8 9 98 998

!"#$%&'()*+%!,'%-.*,/#$'01"(2,'%-#$.3,'#4#$,5 6789:;<8=>=?@ABC7CD>=:EF<A>=C=:GB:H8ICJ6?FGK

L>I@EA>==:M7N:78:;BO>

PCE@I>QGB:H8IC

RSTRUVTWXTWYZT[\RTX]^_Y`YR[T[\YabcVdeTYSY]dS]

fghijklimM7An:E><A=:I>=:QAn:;:n>9:o::7<:9:;>E8DpE:D:7A>A8C7<

Cq:H>IA;:>E7@Do:;ICDp@A>A8C7r?EECqAn:D A;sAC:<A>oE8<n>7<A>7t

=>;=AC@<:87=8u:;:7Ap;CN;>DD87NE>7N@>N:<rvCw:9:;Q7C7:CqAn:D n><<@II::=:=C7An>ANC>ErM7An8<p>p:;Qw:p;:<:7A>7CAn:;8DpE:t D:7A>A8C7Cq>I>EI@E>AC;qC;:H>IA;:>E7@Do:;ICDp@A>A8C7o><:=C7 An:<C@7=>7=ICDpE:A:An:C;:A8I>Ep;CN;>DD87NE>7N@>N:xyPrPn:

I>EI@E>AC;8<p;CN;>DD:=87Lz{{ >7=|G}rLz{{ n><An::E:N>7I:

Cqq@7IA8C7>Ep;CN;>DD87Nwn8E:|G}>EECw<ACICDp@A:q><A:;ACAn:

;:~@8;:=7@Do:;Cq=8N8A<r:p;:<:7AAn:ECN8<A8ID>p8DpE:D:7A>A8C7Q AC<nCwp;:E8D87>;s:€I8:7Is;:<@EA<ICDp>;:=ACCAn:;q@7IA8C7>Ep;Ct N;>DD87N8DpE:D:7A>A8C7<r

‚ƒ„…†‡ˆ‰Š‹(2',*+#"!Œ,'(%!"22)%#Ž,",#2)*‘%!"22)%#Ž’‘“Ž

,!#2)(”%•'%–'!!)#–*#–"–,”

— ˜8

™š,,‹(2',*#"!Œ,'(%!"22)%#'$)–! ›%)$”2š,'%"#$)#–%œ,''%'”

2š2%(("'”)#%2)#–%)#2')2š!,2)(™š,!)#',”%#)”2š22š,',*”',

ž,*$Ÿš)*,2š,%2)#–%)#2#"!Œ,'”',#%2Š‹(2',*#"!Œ,'(%!"22)%#

**%Ÿ”2%(*("*2,Ÿ)2š',*#"!Œ,'”2%2š,',")',$',()”)%#Ÿ)2š%"2(''

%#'%"#$)#–,''%'”™š,',š›,Œ,,#”,›,'*2š,%',2)(*'%%”*”2%,‹(2',*

#"!Œ,'(%!"22)%#” ¡¢-£-¡¤¥&%”2%•2š,! š›,”"((,,$,$2%'%›,2š22š, 2š,%' )””%"#$#$(%!*,2,3%Ÿ,›,'-Ÿš,#2š, š›,Œ,,#)!*,!,#2,$-#%#,

%•2š,! š”(š),›,$2%Œ,,¦(),#2#$”2')–š2•%'Ÿ'$2%2'#”*2,•'%! 2š, 2š,%' 2%2š,'(2)(,

§#2š,%2š,'š#$-)!*,!,#22)%#””"(š”¨.&  ¡©¥-&’“ ª¥#$,+

*1)Œ «¥š›,Œ,,#$,›,*%,$)#‘#$‘¬¬-š%Ÿ,›,'-)#%'$,'2%'"#•”2,'-2š,

š›,*%”22š,,*,–#( %••"#(2)%#*'%–'!!)#–#$*”%-2š, š›,”*)–š2*

$,›)2,$•'%! 2š,2š,%' .*2š%"–šŸ,(%#”)$,'2š2•”2,')!*,!,#22)%#”)”

Ÿš2)”',")',$)#'(2)(,-Ÿ,Œ,*),›,2š22š,',)”)#(',”,$(%#ž$,#(,)#2š, (%'',(2#,””%•#)!*,!,#22)%#2š,(*%”,')2)”2%2š,%')–)#*2š,%' .)'%•

01234145676085907473894718546445648752760474 7757849049050064249456760850123414564054 60471375849246043 844779970647689099384 675!""#$ 9054%%4547338120349681844&0456846754604 713"49246686484904012341456760857368754'433456648 092494564644&0450954414560854

#(6443349673094648(84'7647351481267608509)"*

+)7574(8"45756*496,-.!679445284676758126734 /9684(560857544/5405)"*-$848475012341456760858(

)"*05 79043379445249456485$70734673-- 8440694&045 81274687905006424945676085-1794288!560927244 24945675012341456760858()"*85642871105375742%%2%%

09754'64590858(%%0733896867593764(56085732871905731896 7596706(87714750567664434758((56085732871909 64430546462498(2%% 7464967578(%% +00123049676 514974657648854,4940596476462498(4$54$509 7433058530708126497061460824760859(7964675175 864012341456760859#060857334$57338968812646875404 2409085

*427240900479(83389059460856437574)"*094/54

!5946085704(4'2375760858(64012341456760850909994(83384 7812709858(4&0458(7501286756(56085249456405643064764 205733648539085975(64800909994

6 789:;7 :<=>?<>9

@40568464)"*375740718569686437574859044 97A8B0664277334385060857341847578596756CDEFDGHI

74*09097733571437574 JKL MNOPQR

*437574)"* 09754'64590858(52+5871105812673425 60859,06785624(84735149759067342010604(560859(8 473514812676085!6979567'09045

S T UVWXVYZ[\

]^^_`abcdeefcgc]h ]\

i^^_Sc`cbjklcmafnlc+%o,+i,c+po,+i,c +_q,+i,crmibsl`ilfnlicte`n_uvHvw+i,c barf_uvHvw+i,cjblnbGHI+i,cxS^]yiciiczi\

44UVWXVYZ[0979468(707349]4249456979468(62490560979464 375747964485624964576735149624+42494564`ab,

0123445267892282702367012702657320292282702 311274028012820470265876806881477 0124!

52024063522655726732268522827027018567"6"222742 0125227060472827021224782801245202265572#$1202

%& %2740281"1242028#$124780084012567"6"292282702 3'62012663528922827023(012478067084760657328 6734452678922827023)*+,-67./0-01282842228467 2165028042244260478476065873289939!67945012 5688656.42604465480674"67"567"6"2701224260474 286026573240604799)0*/667+*-0*12201283808 40124780089)067*/662604765702658984202002768:

4::67014824+*-0*626047657328#$12568001224780048 4012567"6"2862014824012563665589;(<%=''' 67>'122 012?8027402863806047012824765604767012012847#

@2682012702704740186287400428270012274060476582!

67084012567"6"211836824742467852A8028270 0126012606543A2081128320129)0*/667+*-0*4780048#

$124012862012255B747CDE478004867673247850260FG

# H20I J01270479)0K<I & I 801271272687"6L72 6016"201270265:#2#

9)0_MKNKO9((4 P::

Q (3:3:

Q ::

Q (3:3:

Q R

$160828652670678560201270265840160032428::

672?729)0_MKNKO9((04320127026511285084 657"012 86228657"6706785604704((#S74204B220127406047852 127012470280208282(04228270((2677"0160012862 4260478652043401274708401270265430672428652012 9)070476732002768<

9)0_MKNKO9(4::

Q (3:3:

Q 9

$127047*/6MKNKO9(<I & I 865207282#2#

*/6K99)0K9(4(=

T42282501245547"5207282806B27122UK8::67VK8:3:<

*/6_MKNKO9(4689799Q(VKWUK=

$182?7047"6670228016001267"24012*/67047870127!

0265!#$1220658410188647272702?70476732478502 7G#S0840104270470160677?702817B7"82127249)07!

02658228270626573270127026501242604765826708 2?723254"286524478007"6265732#

01232456768589712957685 122 !"#2

#7685#$5%&2'#5&298%$#723#'

()*+

,- . -/

69)0(12 3 4" 69)0( "*

69)05"2*6

(7*

01295768572'76'882#7685#$$98%87#&$2&2#'298#59#:%257) :6;2565725'685#$$9#'#'165<65:'2=25289>?@A6572;#$'7128%87#7685#$

$2''9'72%#76#$$92'7#&$6'185289712'2%63263#&$285367685' ! )#53 )!"122 "#2#7685#$5%&2'6

BCB DEFGHIJ?@HKLFMH@IJ>A

N285'632#'%#$$O'728'79$2882#7685#$'2%#576'988$#5:#:26N2 32452712852O'7282376852$#7685 78&2712$2#'72$#7685857#6565:712 852O'728237685$2'982;#$#768589PQR5ST378:2712671718'2:6;25

&2$86

N24'75223'8%282$6%65#62'6R86572;#$'U#53V6551SS3232452 UV+WXYZ[(V*

122WXYZ6'71295768532452382;68'$96016'882#76856'#''86#76;2#53 1#'7126572;#$51SS3(3258723&9\*#'67'527#$2$2%2575T3

(UV*]+U(V]* U\+\U+U^

_57126572;#$38%#65$672#725S3U`V6aV0U6b828;2 U`Vcd e]f^U]+V

#53716']6'56=269U1#'585Og28$25:716_5716'#'22325872]&9 VhU^

R86572;#$'U#53V232452

UiVcd UiV

#53

UjVcd e]^Ui]#53Vi]^

N671716'587#7685712$2'98k2#$PQR#'324523655T3#2

0123456₇03456₈92 3456₇₈9 02345679 345679

02703456892 3456 02703456892 3456

0 2703456892 3456_8!79 "#$%&' 0(27092 7092

0)2*+,-9 . 9 0/2**6-9 . .

002*9 ..1 *9..1

2343546#$75#789:;<=8#%%>

01?2+-6@A03456792 +,-BC 0112+-6@A03456792 *6-DB 012+-6_@A9 +-6_@A9^E 9 9^EF GHIJKLMN

1OP568012Q6#RS#T45T#64368#$%#U35$VSV3VW8#SS3T#VXVR6#=OYW8%8#

SVW#VZ3VW#$%7X8Q#4V#6$34U#V3$#Z35V#48#6$5UZ84<#$%S VW848S56V3765$7VW8Q#4V#6$34U#V3$V378VW84$#$$T48U8$V#6=#RO [88\ ]34#54VW84%ST5SS3$$T65%$7#783U8V4T#6$V84Q48V#V3$O OP568S02<0(2<002#$%012#48#QQ68%=W8$8X84#$R3VW83VW844568S#48

U#VTW8%O

OP5680248Q48S8$VSVW8#TVVW#V=8#648#%R^$3=VW#VVW848SV3VW848#6

$5UZ84=8#48633^$734S#$$_$V8S8`58$T83VW8$V84X#6\a1b?]<O8O 3456'3456034560FFF22

OP56802SSU6#4V3456802O

OP5680 2S#QQ68%=W8$VW8Q#4V#6$34U#V3$#TT5U56#V8%#VS3U8Q3$V T3$V#$SVW8$V84X#63VW8$8cV$Q5VO

(OP568S0)2#$%0/2#48VW8T6#SST#6T3$%V3$#64568SO

)Od3VT8VW#VVW8$V84X#6ST3$V#$8%$VW8$V84X#6\DbC]<4568S01?2#$%

0112T#$Z8#QQ68%O

/OP568S01?2e012T#$$3VZ8U#%8%8V84U$SVT7X8$VW8Q#4VT56#4T3UQ5V#e V3$#6#%8`5#TR34U56#V3$=WTWSQ43X8%$ \1?]O

0Of$Q4#TVT8<3$8=356%6^8V3#X3%%X8478$VT3UQ5V#V3$SZRT3$S%84$7

#SV4#V87R34#QQ6T#V3$3VW84568SOf$\1?]V3V#6T3448TV$8SS3Z#ST#673e 4VWUS#$%$\1]V3V#6T3448TV$8SS3_4SV34%845$TV3$S#48SW3=$<W8$T8

#$RUQ68U8$V#V3$3#$RSV4#V87R=66Z8T3448TVO

234#%88Q84%ST5SS3$3VW8486#V3$Z8V=88$VW83Q84#V3$#6#$%%8$3V#e V3$#6S8U#$VTS3gPY<VW848#%84S488448%V3\1?<1]O

0 12345673538998

!

"#$%&'(( ))) *

+,- .

.) /012) ))

.)).3+.)).

))/04002,

5&'(( )** 67!#

) 89:;<=>>:?@ABC;@;<D9:;<=>>:

E+/%002 @ABC;@;<.,-

!)* +,&!)

F,0G* *1HGIJK *

L1HGIMKN 1,GI *E,- E

&'((.O PQRSTSUVPWXYPZ

[RU\PXRRSW]

[RU\P^_`SW]

abcPSWde^]

PQRSTSUVPWXYPZ

fgVPhbcPSWde^_i^gVPejklRmec]

gcPSlR_cScP]

ajklRmec]

no+"#$)*) LpqrstMuvvstN,n

)* *E+ !,w

+ "#$ +*+/x0M02

+)) ,

yA:9Bz@{|n!))*0

* O

VPWXYPbcUgcgPSfgVP}cS~

RX^gY€Xc‚QRShfgVPhbcPSWde^_iiZ fgVPhbcPSWde^_iY_cVPZ

bcPSWde^gƒ]

[RU\gcgP\VSP\Xg„gƒ…^_`SW†‡ˆ]

[RU\gcgP\VSP\Xg„gƒ…XRRSW†ƒˆ]

WSPXWcY_cV„gƒ†YXWWQ„bcUgcgPSfgVP}cS„ˆˆˆ]

a^gVPegcUgcgPe]a

-* .) .,n.%

.) .++‰Š‹ŒL1M0N,

..++‰Š‹ŒL1M0N‰Š‹ŒL1M0N,- +

01023440256270879593033953297395027957 32 55095345 !! 4015"2502040#1$#550"0560409795 8745"5%395&329'559"295"157395020447397(0932 5)"35

*5785093785259535)"0937323855950277(2+

,-./0-12345

6/78901:/3;<6=>?3-=.@A8B?3-=.@A8B?3-=.@A8CD

?3-=.@A826=.A-2.EFE?3-=.@A8AB?3-=.@A8GF023,-D H6IJ-A/GK

H6IJ939-LEA/GBM.=0FK H6IJ939-LE91N82O=.BM.=0FK H6IJ939-LE91N/66=.BM.=0FK PPEAQ6RAS2OFPL RRCT H6IJ,/7EA/GBAN/66=.BAN82O=.FK H6IJU9@J/9EA/GBA/GBLFK

PPETFVG RRCW

H6IJH/8E91N/66=.BA/GBGN/66=.FK H6IJH/8E91N82O=.BA/GBGN82O=.FK PPEAQ6XAS2OFPL

H6IJAUUEA/GBAN/66=.BAN82O=.FK H6IJU9@J/9EA/GBA/GBLFK

H6IJAUUE91N82O=.B91N82O=.BA/GFK H6IJAUUE91N/66=.B91N/66=.BA/GFK H6IJ08=A.EA/GFK

.=-/.391K YY0234K

Z4473975)"0937320350"4937(3490[529(739502 0238"92059"202353950027"98"9290953954751$\%9506

%9506%950]*5339303^093770301523_`a32751$95"4#

9378339b*32"493790[529(70"592695030159715339303^5 03928543237395271392%932402500"c330$95870030150 071039500301563(349552"93259"5605339303^5d0234 785093723[50393762"1904937659405478"953_`a(395285430 8745"52*52578509372153(3995(78*54759234"5 3954756334095(347850937328575*5505404780595 78509372003295)"093730$6958745"58450655$034 57$0740937"251$_`a639328745"595"3)"57400301532 0"cZ233038559093732475795efgh"4937

01233415672892492794894849189139428612972866 2336981899979818927286792349661649649 89484961823369248949228611896386819 19 93499889488!14918913942861297286091894249 1967624

"#$%&#'()*%)#+,-.

/%0*+&12%-34/567+"#68-#5$()*9:7+"#68-#5$()*99;

7+"#68-#5$()*9,/5$)#,$<=<7+"#68-#5$()*958=&,-"#;

8-#5$()*&,-">:&,-"?@

&,-">AB5)C<58=@

58A#)+*<58=@

&,-"?AB5)C<58=@

DDEFGHIJEFGHKJLMMN EFGHIKJLM +O<&,-">P#4/5AAQRR&,-"?P#4/5AAQ=;

58A#)+*<58=@

$5#%$-&,-"<&,-S<&,-">:&,-"?=:58=@

DDEFGHIL N EFGHIL^T U5*"5+O<&,-">P#4/5AAQ=

$5#%$-'()*%)#+,-<=<&,-"<&,-">:'()*%)#+,-<=<58===@

VWXYZ[\]16946^_52739`2281aZbcVdYefcghZijZkk 49848968942EFGHJ`Dlm`M094921682822n999894769 8288!179794189668968ghZijZ24999961494811n 8262997981892oaZ[249848968942EFGHJpDqm`M0 VdYefcghZijZk3419246r6^999168942194^n 6^81`

86!148811898288667397982861189139428612972861

!14r!6849279468968942st`m`u09249881899649 3496616228978636^186894293168288992189 l818931!94189953198

o281394286129728649349989686323946891n989476686 vwxHw13942814061394281429341^4277968!1!223168918 689349619861y91897 68911!6^z

{|}~|€‚{|ƒ„~…†‡ˆ‰~Š‹„‚Œ„Ž|„Ž|‘‡{|Œ’Š|‚}“”†•–€‚{|—‚“–˜

€‚{|—‚“•„‚}”|•}™š™›•~…†‚†›•~…†‚}‘‡{|Œ’Š|‚}“”†•–‡š•Š{|˜

’Š|‚}“”†•”~œž‚”›™‡šŸ

€‚{|—‚“}|‚{|›‚“Ÿ

  ¡ ¢£¤

‡Ž™„Ž„›™”~œ¥~„„‚}}šŒ¦š˜

}|‚{|›‚“¥…|}~‚Ÿ

}|‚{|›‚“¥†‡{|”€‚{|‡Ÿ

}‚|~}Š}|‚{|›‚“Ÿ

001 23 4

567869767 686 786!

686798"#689!

6$686

00$69%61 &3'$1 23 4 56786

6$"#687(679$9!

5 568!5

)*+,-*.+/..+*01234221,5,6.+*-7*81,423,0*29.,:*.+*7;1.+*<4/.1,5=

/>>,;2.+*7*/0*7.,450*72./50.+*1?->*?*5./.1,5,6@ABCAD EFG HIBJKLMCAMNOPQ

R+*>,:12.13?/-12/6453.1,5STUVWXYZ UVWXY0*[5*0\]

S^_`ab_^Xc_`

6,7/:18*53,52./5.bDd*8/5*]UeY2./.*0.+/.1.;/2[72.3,5210*7*0/2/?,0*>

,6-,-4>/.1,5:7,;.+\]f1*77*g*7+4>2.\]15XheiDj,7*k/?->*9/8/>4*VDi

?/]7*-7*2*5.iVl ,6.+*?/k1?4? -,-4>/.1,5,63/..>*15/:18*56/7?DR+*

-7,\>*? 3,5212.2,59:18*5/7*/>54?\*7_m9.,3,?-4.*.+*,7\1.2 __mWS^__m`WS^S^_<sub>m</sub>``nnnS<sup>o</sup>^_<sub>m</sub>`WnnnW

;+13+3,>>*3..+*-,-4>/.1,58/>4*,62433*2218*:*5*7/.1,52DR+*-47-,2*12., 3,?-4.*/5151.1/>2*:?*5.,6.+*,7\1.6,7/:18*5151.1/>-,-4>/.1,5_mDp.+/2

\**510*5.1[*0.+/.3+,,215:bae12/3+/,.133/2*DR+*?/15-7,\>*? 12.+/.

1.28/>4*122*521.18*.,2?/>>8/71/.1,52,61.28/71/\>*2DR+*7*24>.,63,?-4.15:

,7\1.26,7.+*2/?*151.1/>8/>4*_maVnqrXhri91521?->*/500,4\>*-7*3121,5 15.+*s-7,:7/??15:>/5:4/:*122+,;515R/\>*XDt>2,9R/\>*X2+,;2.+*

*k/3.7*24>./50.+*8/>4*,\./15*04215:,47jsuu1?->*?*5./.1,5Dt21.3/5

\*5,.13*0.+*./\>*2/7**<4/>4-.,va rDj7,? 7,; h.+4-.,wx.+.+*

0,4\>*9*k/3./50jsuu 3,>4?57*-,7.*<4/>7*24>.2Dj7,? 7,; eV.+.+*s 0,4\>*1?->*?*5./.1,522+,; /2?/>>0*81/.1,567,? .+**k/3.7*24>./50/.

.+*>/2.qw707,; .+120*81/.1,512?,7**810*5.Dp.12;,7.+.,?*5.1,5.+/.

*8*7]*k/3.7*/>54?\*73,?-4./.1,51?->*?*5./.1,5?42.-7,043*.+*3,77*3.

7*24>./212.+*3/2*15,471?->*?*5./.1,5DR+*?/1507/;\/3y,6.+*6453.1,5/>

>/5:4/:*21?->*?*5./.1,5212.+**k*34.1,5.1?*./y*5.,3,?-4.*.+*,7\1.2D R+*1?->*?*5./.1,5-7*2*5.*0+*7*1?-7,8*2.+**z31*53].,3,?-4.*.+*7*24>. /23/5\*2**5153,>4?5[8*,6./\>*X3,?-/7*0.,3,>4?521k,6.+*2/?*

./\>*Dp.126/17.,2/].+/.1?->*?*5./.1,52>1y*1{{t|9-7,:7/??*0,5suu9 745?43+6/2.*7.+/5.+*,5*-7*2*5.*0+*7*9+,;*8*7;*+/8*5,.*k->,7*.+*

01}*7*5.?*3+/512?2*?->,]*0\]1{{t|Dp5/647.+*78*721,5,6.+12-/-*7

;*;1>>-7*2*5./5,.+*71?->*?*5./.1,53,5210*715:?/15>]*z31*53]Dp5.+12 [72.8*721,59;*;/5.*0.,2+,;.+/.1.12-,221\>*.,:,67,? .+*.+*,7].,.+*

-7/3.13*15/2?,,.+;/]D

0 123456

476829256

4768292 23456

3629 8

695

236 1222 236

!!! !!39 "39

" # # # # 39 !39

! $"! $"! $"! $"! !39 39

# ""39 $39

!#!"!#!"!#!" !#!"#"39 39

$##$$##$$##$ $##$39 !9

""" """ """ """ !39 #9

#""#"!#"! #"!!39 ""#9

$ $##$##$## $##$39 #9

!!!!!!!!!! !!!"""39 $9

#$$ $! "39 "#9

"#$#### ##39 !9

!$$ $$ $$$ $ $$ $ 39 32

# #39 !32

"""""! ""! ""! 39 # #32

# !9 $32

!"!# !"!$!"!$ !"!$#"9 "#!32 ! $ $ $ "#9 # $32

$#!!#!##!# #!#"#9 % &7

"$!!$"$"$"$" $"$"" !9 % &7

" "! #$ #$ #$"!9 % &7

!$!#$"### ### ### !$#$9 % "&79

! # "!! $!! $ !! $"" 32 % "&79

!$#!!! ! 32 % !&79

# $ "#"#$ "#$ 32 % !&79

#"!"$#" " " "!32 % #&79 # #$ " ""32 % &79 $!# !! ## ! ## 32 % &79

!$# $$ $$ !32 % &79 '()*+,-6959.8342&65292834.7923456//5647682922&6 477332560723456362/&668769573 156902 /02#&6923456//56476829276946821653/6126.73 &6687695 4//225530&655985399&5 2368347297695668346

&615692723456362/92/2276476962

0 12345678237

9

!!"#$%&'(!!)

!*)+*%&

!,,'-../+

+*%&

*%!!*

!'0+)+!

*+***!*'1+)!+

*(#'(,!+2

*!*!&)''

!*%,'( *!+2

3**&%*

%'

4565753457

89:9;<=>?@AB>CD;9EFCG9HI?>JCKLMI=B9NC:9;<=>?@ABOH9P9Q><<>BO>CD R9:9S9P>J<>F?OMDJKI=@OTUVWXYYZY[\Y]^_^V`Yabcdefg_^eV_eOhIiF?MjO k>GM@8l8mn9oi>=MCDICp=M@@O8qqr9

s9;9t>FM=>CDN9u>hAiM=9N?kiM?MCKJCG=M>iCF?<M=@vJKL=w9NCxfY_eeW^V]yY[

dze{Ycfdz|VdefVUd^YVU}`YV[efeV_eYV`YabcdUX^}^d~UVW`Yab}e^d~^V€VU}~y^y

``€Ok>GM@jm‚ljnr9SƒRo:Os„„n9

j9;9oJ>…>GiJICM>CDp9H9QJ>C>CKICJI9;†M=KJ‡MDO†I=M†F=@JhMJ?kiM?MCK>KJICIˆ

M‰>†K=M>iCF?<M=@9ŠzeYfed^_U}`Yabcdefg_^eV_eOj‚8‹8Œjql‚8Os„„m9

r9Ž99HMh>CMB9€V|VdfYWc_d^YVdY`zUYd^_U}~VUa^_U}g~ydeay9;DDJ@IC‘’M@iMBO o>iJˆI=CJ>OsDIMDJKJICO8qnq9

‚9P9“9S@†>=D”I9po•M‰KMCDMDvJKL=M>iCF?<M=@9ŠzeYfed^_U}`Yabcdefg_^eV_eO 8ms‹8Œ–ql88‚O;FGF@K8qqm9

m9p9p”MiJ@@JM=Q9“>C=IKO—9Mˆ”Mh=M>CDp9˜J??M=?>CC9RLMPp•ŽiJ<=>=B9NƒŽN;9 LKKk™™?kˆ=9I=G9

–9o9;9QFCKM=9geaUVd^_yY[xfY]fUaa^V]\UV]cU]ey9RLMPNRp=M@@O8qqs9 n9t9 >?<Ih9 RLM =M>iiJ< k=IšM†K9 tŽNo:O ›CJhM=@JKB Iˆ ;>=LF@9

LKKk™™<=J†@9DA™œ<>=CJM™ŽM>iJ<9

q9E9Ž9P>=†J>i‘ŽI?M=I9geaUVd^_yY[UyeceVd^U}}UV]cU]e[YfeU_dfeU}žVcaXef _YabcdUd^YV9pLHKLM@J@O›CJhM=@JKBIˆtJ=?JCGL>?OHM†M?<M=s„„r9

8„9E9Ž9P>=†J>i‘ŽI?M=I>CDP9“9S@†>=D”I9:M?>CKJ†@Iˆ>@MŸFMCKJ>ii>CGF>GMˆI=

M‰>†K=M>i‘CF?<M=†I?kFK>KJIC9ŠzeYfed^_U}`Yabcdefg_^eV_eOj–q‹8‘sŒ8s„l8r8O s„„–9

889E9Ž9P>=†J>i‘ŽI?M=IOE9;9“M=C”>CDMwO>CD“”M†KI=;9PICKM@‘—MCMG>@9oI?‘

k>=JCGJ?kiM?MCK>KJIC@Iˆ>†>i†Fi>KI=ˆI=M‰>†K=M>iCF?<M=†I?kFK>KJIC9 NC

“>=>iDQ>CwJCGM=OMDJKI=OxfY_eeW^V]yY[dze e^_UV|VdefVUd^YVU}`YV[efeV_eYV

`Yabcdefg_^eV_e¡¢`Ok>GM@8jlsj9NSSSoI?kFKM=:I†JMKBp=M@@OEFiBs„„q9 8s9E9Ž9P>=†J>i‘ŽI?M=I>CD;9PI@LJM=9:MŸFMCKJ>i=M>iCF?<M=†I?kFK>KJIC>CD

=M†F=@JhM=Mi>KJIC@9NCxfY_eeW^V]yY[dze{Ycfdz|VdefVUd^YVU}`YV[efeV_eYV`Yaž

bcdUX^}^d~UVW`Yab}e^d~^V€VU}~y^y``€Ok>GM@8–8l8nq9SƒRo:Os„„n9

012324256789647625972967678696 78797692 !"#$%&!"'())#*+,-.,/0-123,45+24462

0-272 5 72 9445 868 67998 9 9::2 ;9796 <7972 0==>>>29?769@297972=94452

0,2A2B2C@92D9E897667F769F6F6F2G%)!"#H% I() J"!K"+,.0/022132,,+01552

0L2B6C2 86867?78687678692-M67C7N8 47+B67?97898679O896P9F8+;979Q?

R97F+01162

052C232C+2R66+652S R867T2698?86876679982P UKV)%"W!K&X%YGZ#[\KK(#U]]] J* I%X!( %K$%&!"UKH% I() J"!K"2PRRR9789QC7+01152