"`,Zsqrt_compat&ZArith#Coq@&BinNat&NArith#Coq@%Zeven&ZArith#Coq@'Zminmax&ZArith#Coq@$Zmin&ZArith#Coq@'BinNums'Numbers#Coq@)BinPosDef&PArith#Coq@&BinPos&PArith#Coq@$Pnat&PArith#Coq@&BinInt&ZArith#Coq@(Zcompare&ZArith#Coq@&Zorder&ZArith#Coq@$Zmax&ZArith#Coq@$Zabs&ZArith#Coq@$Znat&ZArith#Coq@(PeanoNat%Arith#Coq@"Gt%Arith#Coq@$Plus%Arith#Coq@%Minus%Arith#Coq@"Le%Arith#Coq@"Lt%Arith#Coq@$Mult%Arith#Coq@'Between%Arith#Coq@)Peano_dec%Arith#Coq@)Factorial%Arith#Coq@%EqNat%Arith#Coq@&Wf_nat%Arith#Coq@*Arith_base%Arith#Coq@+Compare_dec%Arith#Coq@)auxiliary&ZArith#Coq@*ZArith_dec&ZArith#Coq@%Zbool&ZArith#Coq@%Zmisc&ZArith#Coq@$Wf_Z&ZArith#Coq@)Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@&Zhints&ZArith#Coq@+ZArith_base&ZArith#Coq@@)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r'Prelude$Init#Coq@0JqTttֱ$Bool#Coq@0j 2cZ`FW&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>'BinNums'Numbers#Coq@0dmk(5Ju<*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI'BinList+setoid_ring#Coq@0Au$Pnat&PArith#Coq@0,?pr.gZ'ZAxioms(Abstract'Integer'Numbers#Coq@0\}zK=PK%ZBase(Abstract'Integer'Numbers#Coq@0 TL}2_} ؠ$ZAdd(Abstract'Integer'Numbers#Coq@0Y9Vgⲫ򐠠$ZMul(Abstract'Integer'Numbers#Coq@0Mtr\b"H#ZLt(Abstract'Integer'Numbers#Coq@0xK|j2[&=}۠)ZAddOrder(Abstract'Integer'Numbers#Coq@0w:}H#NK}{)ZMulOrder(Abstract'Integer'Numbers#Coq@0Dr~-~ECM'ZMaxMin(Abstract'Integer'Numbers#Coq@0bAX1'ZSgnAbs(Abstract'Integer'Numbers#Coq@02`ou{Z'ZParity(Abstract'Integer'Numbers#Coq@0S)*Dd$ZPow(Abstract'Integer'Numbers#Coq@0AşsאI)ZDivTrunc(Abstract'Integer'Numbers#Coq@0`]f5FԠ)ZDivFloor(Abstract'Integer'Numbers#Coq@0dj_TYQc|$ZGcd(Abstract'Integer'Numbers#Coq@0G0=$ZLcm(Abstract'Integer'Numbers#Coq@0(9g%MmN]%ZBits(Abstract'Integer'Numbers#Coq@0ܹCF5s+ZProperties(Abstract'Integer'Numbers#Coq@0Ve*ʞ_OV)BinIntDef&ZArith#Coq@0ådR4Tuy&BinInt&ZArith#Coq@0BpHޞun^,Ring_polynom+setoid_ring#Coq@0gaKw9`UW+ListTactics%Lists#Coq@0,Jcy{%Zeven&ZArith#Coq@0i?eK#aU堠#Min%Arith#Coq@0Ce-Fѕ(PreOmega%omega#Coq@0\|چBb~w4%Omega%omega#Coq@0t.J'6\ϨrKe o9%3IQ :Р,Zsqrt_compat&ZArith#Coq@A)sqrt_data,<!n'BinNums'Numbers@@!Z7@@@&c_sqrt!s!r@%Logic$Init@"eq @)C&BinIntE*)@#add1P&)BinIntDef/@ ̀@#mul1P] @ BA@*@#andЖw@$@"le1P,VA ^Bc@(positive*@BCDFE@@@AB@aDD@@!.@@@@AAD@@A@AA@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@.sqrt_data_rect @!Px@!.@h#r A@@!f!eD!azQ AY %&AWX@@@@@@D0+@ض9ũ@!.@76@3鶐21/.ک*ː +k()= R'>  # ''+k$'4~AH|@@#r@T@A@A@@@}-sqrt_data_ind @ mkA^@r9Ք hg"feީd鐐8kAH|@@@@@-sqrt_data_rec @CA-4@ ;1@LJrqp=h9O7Pg5S)g吩/ih2h <+k() 7%'h@@@@@ࠠ*sqrtrempos @@@ !pؐ!Ӑ @AA@AA@@@@@@@DE ꐩ30AQ"p' Ϸ!x"Cϐ"s'"r'#HeqT$HintnР&Specif@'sumbool7̂K@BAAAA@@@@@D)zroquizGp@"gt1P,<RTy*ZArith_dec@+Z_le_gt_dece'#Hle,2̠)@#sub1P@ pؠ8.ڠˠ:7@(eq_ind_r!2#栩נ1D!z֩ᠩQ( P\Y!,ԩK`24 g/:)?#At+Ȑ(hyp_list)Datatypes.@$list]@A @$prodt@,Ring_polynom+setoid_ring^@%PExprk@j  Ȑ'fv_list'Buw.*ZArithRing@.Zr_ring_lemma1 80𚠐(Ring_tac$@0ring_subst_niter!GH/E4G9C>  FD=H $! WF-*')5©2"@$Truey@AA@$boolZ'@A@ Ȑ#lmp@.mk_monpol_list(뚠@#opp1P@ {%Zbool@(Zeq_bool0߀@'quotrem\@/ŀ@#Monf@@#Polj@@#Peqj*(@*norm_subst7:d0J 5/'0L"71)rFCǩVV551%Pos2Z@&inj_xIրNS QC7V)Decidable7@+dec_not_notHɀMOU@'dec_and  (@,le_decidableHƀ!H?@#notШ  I@"or @!O%S:YZ@&or_ind""2-Z^\MG/? T5gX9 ěx@%Falsee@BDŠKxΩzkڐHة@'and_ind14ۀЩb] d yZI")Hint_left *Hint_righto eJ@&ex_ind 5{ɷ!y̩ΩrM<%Zvar0Է&Omega4 ٷکܩNJ%Zvar1ⷐ&Omega5 +OmegaLemmas%omega@/fast_Zmult_comm#W@ˠ͠#Ѡ 1P/k4Oi@ݠߠР ?7(@|,@4fast_Zopp_plus_distrpe G~@̠ǩ9@6fast_Zopp_mult_distr_r0A<#W&@٠ԩ"H^J@2fast_Zplus_permuteЩ \ld:>CqطB@`@8fast_Zplus_assoc_reverse 'v M@&U&Omega3 /!1%z_b@;'?tC4Qݩuu@(#N:RTEuq@83^JbJp·@D?jVnokJ\@PKvb^e @YTkƐt@umaY@id{w&#@qlIm4o1̶@zd@ =ض@ NeP@Y&Omega2ɠuˠ!@,fast_OMEGA11I֠Ǡ36jݠΠRЩ;ʩ?Bv 頩ڠ ܠKթMnV栩'Y˩)auxiliary-&* hkݩS ?y|񵵩@*comparison;f@CC< 0@'compare3x+@]= C CKC+auxiliary_1+auxiliary_2 '"M>X<RCW,(Y[Gl`QZeVWOUUǷzn_aZҠvg ֩zk-l qu.-᩷,}0>թvq[EzC~  Cxrqto`_ @,fast_OMEGA13Ka̠Р@,fast_OMEGA14Lµ@)False_induُ|ΐC@ɩC@7@&OMEGA2.$D2V161u @/Zmult_le_approx"8=gQdQ@&OMEGA1.$Css NK{" &IC@-ta3$_f̐6@(Zgt_leftE=@(Zle_left*x퀰FH91@'new_var&/wSB %L&ZorderZ@*Znot_le_gt>/:K68Y:l]>ɩ %Zvar2'Omega11ک%Zvar3'Omega12ԩԷ@fazՐbf-·*Ŷ@xs74϶@}A >ٶ@&KH@0UR@ƠȠ:_\@РBgd@ؠJol@ࠩ?+נ/젩ݠI@Πɩ~;@7fast_Zmult_plus_distr_l+;SV B@8fast_Zmult_assoc_reverse"',ҷ/@ݩ(O i)1=@6$BvE@>kЩ"$i k mU@. ũu@0fast_Zplus_assoc Da~''7+#"~@1fast_Zred_factor4'h..k@D,Fg2ݷ&Omega9'"M>y?$@4/ZB󩚠@7fast_Zopp_eq_mult_neg_1=Ҁ@C>iZ&;S@1fast_Zred_factor6)c`&Omega7UP{lM VR=ǩpz<yu{! ƩYOLe('s  Ơ$Cٰ+#C ٠ʠ ݠɩ㠩Ԡ@Щ렩ܠ6gِRJuuAm~)kC@ޠ٩8Oܩ:k۰  ѐ @'not_and7G6שC#HgtuoXNHSC>T8V,::6Q\0G]A_+ Va'LbFd#%&ީްk۰m@Rwds__0u J9z1 CYwXM>yKRgPGC_}F:4/6K,=89317,7GBs;Kw`A}&CSNGW#lMP RӠY #޷"@pkݐ/.ɶ@|w=@1fast_Zred_factor0#H@S&Omega1à &Zٰ͠J-ѠՠƠ٠ʠ9 ᠩҠC$Š렩ܠM4ՠЩ;(  y됩d  ."{ΰ7װ͐h  K L Ov PwlQ T@   - /LvȩT `@   9 ! Щ h@   A C ک^9 r@ %  K  3Y z@ - ( S:v , WBT 0 @ 9 4 _  G'Omega10 @ ; f @ H C n p\ c D e F1 ]d  @ X S ~ f P @ ` [ ͐~ Z @ j e ' b b& @ t o  1@/fast_Zplus_comm11{[  { yd; ֩  ة  -  D ߩ ð    I     ϰ  à  Ǡ%"̩ ٰ  ͠  Ѡ/,s   נ Ƞ ۠ ̠8;8605 à   J~    ک }  ۩&P  S "  $    \ *   b ԩ  2   x j ܩ  <!   q  v 詷ө     "  &  ꩷   2f 4 %u tonj #hHC? ";   & %   4 B 34 F * .- ǐGb 2 1   ʐ@ N ?7 Ru} :  ө# E &ک   C B BD7 FC     ꐩ 3  2     S נ Oթ uЩ  H  Gé      z [ [    w à  ©     ǩ  ɩ   qeb`XWO  G ԩD A:-K +% کO "3@  0     a 0     c C ʰ       @ 7@&inj_xO܀ PNC ٰ S    P R   R àV ɠ ĩ  Ϡ ȩ I ϩ *}xvqyomh ,c[ -Ybl 0WQ 1OXM fV  5@   +AU n:  =@   4519 s  E@   < ,J ~  M@   &D'#     /! 1% z _  b@   ;' ?\֩ n  n@ !  G3 K M lh   |@ / * UA Y Ag   @ ; 6 aM efbASN UE m D{_  @ O J ua w _8 Rܩ ۷  @ ] X o ީ  oΐ ` w7  dx{ fѷͩ n i @ iT p  + Ʃ  ȩ   w   y y  4 ϩ     ө &h            {}|zxl k  " V  հ  ɠi ˠf ~ # + _  ް  d 0  Ԡ^ ֠\©   ڠZ 0ߩ   T 6   J < 8 N8 F    q q    x X     { { ݩ  J  q C@  ۩  M :;հ а˩  l ϐ  & j! K L Ov Pwn w  V@   / 1%ȩx ]  `@   9 ;''ҩV^   j@   C E)1ܩSq   t@ ' " M O+;L/C=8G ?:G&A<K .C )  @ 9 4 _ a;} 3y  @ C > i  u  ;p = =  @ M H sk  E  @ U P { c  ۷  @ ] X $ Щ yRyrn{Tipwc] zX # @ q l    0S x s Q pLD?72A0. xc&   : թ  ש $      C ީ °  "    f ʰ   é а  Ġ    ʠ  % # " 2 /    U U ٠ ۠  K \C@   ࠩ ⠩  {    Ґ    C z Yy % S  m  !  # ߩ  !  '   (  *  ! ,   -  /f           b  6\ r k@  h ] [ @ - < PZ (0 >  m   C X R J    gC " @X  x  TNC & D       ǩ            X   \ũ     @   D շ          ܷ  ·    u    v    y    z       ~@ 1 , W C v  r M Щ g    @ ; 6 a M b  ^ O O N B = h  >  Z Z > ̷     s [ Ӡ  w Q   { K    Q a \  W ZiR \QKJMHW  a z y M    ~  ` o :NE V@ r A  nb p  F #   9        =2 ӷ0     A. ׷,    ط @ ۶@    r M     J @      U    R @   Ơ  ]   #   ( \ @   Р  g    Ԡ,    . }w   ۠   " ;  o @   s z   @ m ,   y@ Ǡ © g  4 t @ Ϡ ʩ    $    & W_   ڠ թ  ө 4  ^, Y a 02     = 9   b j 9; Z o= l  %CV o +IR u  %N { _Y 驷^H  a /  ]A_57 j   fJh D j@۩B@RpF> KXvL:#,'R4) %   '      ,Z ,3ED  ݐSac :KJ 䐩d  ON"  琩]km  YJU  7+ 9b&. \[[]HD PH_C\   I a _ > ; 2 1 0 (gh        @      ɩ 0b {     4s  0d }     6u C   cC |vqjxln   z { u s y n y { b F   &Omega0  @ VC  WC  Ӱ    ]C ^Hr "  "5㩵C nC oC pZ@ĐƐIGACK     mjѰ  M ~ v |I z  x! v t q o  a٠ _ Wϩ RҐ M J  B r @ < n 6 2= + (>"@ & H @  =H  3I-K   BM  8N2P       ۩   ũ ʰW  Y ΰ[     @@    e Ra u M0c 8' h } w o  ө O0e :) j  y q ! CIg F= @3 9@ U >;{ CNl> 5)#=%? , * % &    $  $4/B (8F   .>9 f j6  6F   =  ? F s C               ۩      ѩ   Ϸ@a\qY     @kf   (   %@sn  0   -ȶ@{v   8  t     u   }   ַ>ٶ@  / w M  J@    '  Y  pV@ʠ  4 c  ,`@Ԡ  ؠ =  o  S   j    c   U   зr @ ҩЩ /   G M  L@Πɩ  O     d      < 8٠ԩ  F ҩ 3   .]`/1 *  bd < 8ffi8:  ' n< ǩ"@ !q (F w " }  { u   橷    z    ^  Z>\2 ҩ4  y g  " "cGe  ͩ g= ǩ?  OmC  HUsI  )$O  " 1  $        W )BAڐ P^ K` I H Gᐩ a LK䐩 Zh Fj DJRC@IDo [ u BE   @O  ; 6| 4L c 2 ): $Vg R Tՠ            !      %   ⩵  &@to   3  ȷ0˶@~y   =  :ն@  " G  D߶@  , Q                    V@ʠ  a  ^@Ҡ \ i  /  h@ܠ  s  p @ {  Dx@Ơ 9    3 ٩   5 Щ   7 ʩ     ;   "  %@ؠө ! E  ߠک  L 4   3       ߩ @  T m< >  o [ I Es vE)G  {I !  f1O%  *7U+ {  1 s         d 9 d $# 2@ GB  * EC@!GI{  7 C ␩  D      99 ;.=C 6WVL|urlF` 4Hbys[Y~xS QO.+)! WX  2Dٵ@B0Pzi"a C} 0qy~{@C}thb]zd| .ide_] cXcsngw ,Pm}x=qA *<x z9-(&C!)G ݷ K  J@ 9W   9 "V@ʠ  a   $   z        03g*8ޠ 9 4 ? #ĠE C =      B ROuu gx    \ѩR}xvto3j 4 is7^ 8 _Tm9<@\ :tF@ foN@'iB7yX@ 1 ~ȩT 0   zܷ֩:[ԩfi@BD0۩+g2Ωuu@(#N  շ}@0+V   [((f@:5 ~:K ?: 6 ! 6ķwk ES YY=˷~Рt xH }~N ^YTW f OY N H G J E T ,_  7{ ! } ~  Io*ũ ɩ :  f    { u t w r  w<< ~  b C #FF ʠ|6H:K YxP T  z u_  >:>CRj7h`v3d b `^[YtKàI?:qr2* Z($T#n$& .$!,-/ &124ie;=}yr@"odbG4CW/0Et J_YQq10Gv La[SpC+I_"-"]5]C0N8 79  > B vJ& &٩зĩ@?:eM@GBmʷ@OJu] շ @WR}~zsqkjW^Y@faxӐxQ'$@rmߐH3J0˶@~y I=:ն@^ID r-J@ $Y%$X@̠Π'Рi֠13ݠR ^6>r  ZͩB=EyJk P㠩 tTL& J^V٩۩  Fh` D >Ωз C ;Jt :wF*H SO3Q S)+;Y/ 3 T 8Ec9*=?~E6IK""   1,WY0]4_K!J8M#Lqel gj OݐhASR&됩ao\qZH.YXr`]\0kyW ~uaC@XS~jŐOM\ HC?n=4E/a;r]E_@'  (,!·0Ʒ1̶@zD>ӷ;ֶ@F#HE@H-RO@àŠJ7\   _@Ӡՠ l i@ݠ gt  :  s@ ~ {@ɠĩO@Ѡ̩$DЩ@ BݩDD ש  /2@  . ǩ YA  @      Ma zI-K! #| VRR6T  V, .>\2  7Db8  >  qF q10ɐ?M TO)?7 RC@.)TVD P# QFF H)%;)JC= C|{ŵ ߷ySm Amhf  ^\;86.-%de ԩ ?@m0]v/n C ʩ =  kCuojq ;vqrlj pep{ʩt 9]z~ 7I [:53P.6,*% T)X  #U%> - !    (0d5ĩƩ۠ 1 ש 7  =!  O Grrdu LΩO |zu}sql0g1fp4[5\Qj69@ Y7qC@ c|l/,n~ ۩C z   | ˷ ũ)J+ rWZ@ 3w ʩzbb@; ҩ ·j@CکHrStt@'"M5  ): .) %W ~..h\6^5FL77q  àgiC@ym^qfHvwh{_}TT ]Xt ``\QK^SMLOJP 1oj njB,ǩɩ+T5Щ  ԩE   ư<{Ơʠ ̠<*"ؠ ڠ Ʃ}{yTƐ? 7bb $iIXll qbs xo YUYCmfYY2ng@dYW<)8L$0:i?TNF&0<kAVPH eC >oC vx ŷ {}C L C  +-yCCѐ;=??=9@CA1B@ HI;̵@u0Cm\T0Eo^VC~˩rICg[UPPWRߩ\WXRP VKVX?#_aC-C.bqqBoq&멵C=C>(r R862C:@e'BinNums'Numbers#Coq@@(positive*@@@!Z7@BA ,ok*(=*  Rvo'>=Y 7RL?'>3 = R&'>6 77!7!7 77!7!7!= R%'> +* 677!7!77!777!7!7 77!7!7!7!777!7!7 77!7!7!L7!777!7!77!7 77!7!7 77!7!7!7!7 77!7!7 77!7!7!L7!7777!7!77!777!7!777!7!7!7!777!7!777!7!7!L7!7!7"  97  999 b7 99 99 GL77LL::77+7!7!77+7977!7!77  +=79977!7!77777!7!777!7!7!777!7!8'>+2 Y77!77!777!7!7!777!7!L7!77!77!7 77!7!7!7 77!7!L7!7 77!77!777!7!7!777!7!L7!7!7"  97  999 b7 99 99 GL77LL::77+"7!7!77+"7977!7!77  +"79977!7!77777!7!77!8'''>3 = R;'>6 77!7!7 77!7!7!= RI;'> +" 677!7!77!777!7!7 77!7!7!7!777!7!7 77!7!7!L7!777!7!77!7 77!7!7 77!7!7!7!7 77!7!7 77!7!7!L7!7777!7!77!777!7!777!7!7!7!777!7!777!7!7!L7!7!7"  97  999 ]7 99 99 GL77LL::77+_07!7!77+0977!77  +079977!7!77777!7!777!7!7!777!7!8'>+0 Y77!77!777!7!7!777!7!L7!77!77!7 77!7!7!7 77!7!L7!7 77!77!777!7!7!777!7!L7!7!7"  97  999 ]7 99 99 GL77LL::77+-87!7!77+I8977!77  +c879977!7!77777!7!77!8'''+~8 )677!77!7L7!777!77!7L7!7777!77!7L7!7!7" GL77LL77778''>= -R&h'>3 = R"Q'>6 77!7!7 77!7!7!= RP'> +W8 677!7!77!777!7!7 77!7!7!7!777!7!7 77!7!7!L7!777!7!77!7 77!7!7 77!7!7!7!7 77!7!7 77!7!7!L7!7777!7!77!777!7!777!7!7!7!777!7!777!7!7!L7!7!7"  97  999 b7 99 99 GL77LL::77+E7!7!77+/F7977!7!77  +WF 9977!77777!7!777!7!7!777!7!8'>+QF Y77!77!777!7!7!777!7!L7!77!77!7 77!7!7!7 77!7!L7!7 77!77!777!7!7!777!7!L7!7!7"  97  999 b7 99 99 GL77LL::77+M7!7!77+M7977!7!77  +M 9977!77777!7!77!8'''>3 = Rhd'>77!7 77!7!7!= R2d'> +M 677!7!77!777!7!77!7!7!777!7!77!7!L7!777!7!77!7 77!7! 77!7!7!7 77!7! 77!7!L7!7777!7!77!777!7!77!7!7!777!7!77!7!L7!7!7"  97  999 ]7 99 99 GL77LL::77+Z7!7!77+Z977!77  +Z 9977!77777!7!77!7!777!7!8'>+Z C77!77!77!7!77!L7!77!77! 77!7! 77!L7!7 77!77!77!7!77!L7!7!7"  97  999 ]7 99 99 GL77LL::77+wa7!7!77+a977!77  +a 9977!7777!77!8'''+a )677!77!7L7!777!77!7L7!7777!77!7L7!7!7" GL77LL77778''+a %677!L7!LL7!777!L7!LL7!7777!L7!LL7!7!7" GL77LL77L78''l777!7!777!7!7!L7!777!7!77!777!7!777!7!7!7!777!7!777!7!7!L7!7+b+7777!7!77!777!7!777!7!7!7!7 777!7!777!7!7!L7!7 7#'777!7!77!777!7!777!7!7!7" +777!7!L7!7#'()97  +7+77#'()7!7 +7+77#'()777!7!77!777!7!777!7!7!7" {hZ=) fI5+o+F777 +V777!7!77!77!7+F7777!7+U7777!7!77!7 +R777!777!7!77!7!7+<77+^777!7+s777+7777!7+777!7!77+77+7777!7+7777!7!77!7+7777!7+0777!777!7!7+>77+r777!7+77+77#'77!7" +$+77!7"+7"+77#'k 1G+77777+77777!7!7777777!7!77!7!7!7!777!7!77!7!7LL7777!7!77!7!77777!7!77!7!L77!7!77!7!7 +y +L7L7 +7777!7!L77!7!7#'777!7!7!777!7!77!7!77&'777!7!77!7!77&'G 77%'+ L7!T'6'+ L7!T'6'+ 77!7!L7!T'6'+ 77!7!L7!T'6'+7 7!L7!T'6'+777!7! 7!L7!T'6'+ L7!T'6'+ 77!7!77!7!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+(77 7!777!7!77!7!7!L7!T'6'+ 777!7!77!7!7!L7!T'6'+-777! 7!7 777!7!77!7!7!L7!T'6'+# 7 777!7!77!7!7!L7!T'6'+# 7 777!7!77!7!7!L7!T'6'+-7 7!77!7 777!7!77!7!7!L7!T'6'+(777!7!77!7 77!7!7!L7!T'6'+777!7!77!7 7!L7!T'6'+-777!7!77!7 7 77!7!7!7!L7!T'6'+$777!7!77!7 7 7!7!L7!T'6'+:777!7!77!7 777 7!777!7!7!7!7!L7!T'6'+2777!7!77!7 7 777!7!7!7!7!L7!T'6'+:777!7!77!7 777!7 777!7!7!7!7!L7!T'6'+:777!7!77!7 7777!7!7 77!7!7!7!L7!T'6'7!77&'977&'777!7!777!7!7!L7" +777!7!L7!7#'()97 +7+:77#'()7!7 +7+ 77#'()777!7!777!7!7" bUC6+b+7777!7 +#777!777!7!7+77+1777!7+>77+X77#'777!7!777!7!7!L7" ~cVD7"++777!77 +777!7!77!77+77+777!7+77 +6777!7!77!7+17777!7 +?777!777!7!7+;77+]777!7+r77+77#'Bh /G+g77L77+77L77!7!7777L77!7!77!7!7!7!777!7!77!7!7LL7L77!7!77!7!77 l 1G+%77777+>77777!7!7777777!7!77!7!7!7!777!7!77!7!7LL7777!7!77!7!77L77!7!77!7!777!7!77!7!7 + +LL77 +LL77!7!777!7!7#'777!7!7!777!7!77!7!77&'777!7!77!7!77&'777!7!7!777!7!77!7!77&'777!7!77!7!77&'G 77%'+ L7!T'6'+ L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+77 7!77!7!77!L7!T'6'+ 77!7!77!L7!T'6'+777!7!7 7!77!L7!T'6'+ 77!L7!T'6'+ 77!7!7 77!L7!T'6'+ 7 77!L7!T'6'+'77 7!777!7!7!7 77!L7!T'6'+ 777!7!7!7 77!L7!T'6'+'7 7!7 777!7!7!7 77!L7!T'6'+'777!7!7 7 7!7!7 77!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+77 7!777!7!7!L7!T'6'+ 777!7!7!L7!T'6'+7 7!7 777!7!7!L7!T'6'+777!7!7 7 7!7!L7!T'6'7!77&'977&'677!7!777!7!7!777!7!777!7!7!7!77 77!7!77!7!77&'677!7!777!7!7!777!7!777!7!7!7!7 77!7!77&'677!7!777!7!7!777!7!777!7!7!7! 77&'=777!7!L7!77!77!777!7!7!777!7!L7!7+?+777!77!777!7!7!7 777!7!L7!7 7#'77!77!777!7!7" +777!7!L7!7#'()97 +7+U77#'()7!7 +7+&77#'()777!7!777!7!7" t`SA4+r+777!L7 +777!7!L77!7+77+)777!7+577+N7777!7+\77#'77!77!777!7!7" p\O=.!+m +77!777!7!7+77+777+77!77+77+7777!7+77#'Bi /G+f77L77+77L77!7!7777L77!7!77!7!7!7!777!7!77!7!7LL7L77!7!77!7!77 k 1G+%77777+>77777!7!7777777!7!77!7!7!7!777!7!77!7!7LL7777!7!77!7!77L77!7!77!7!777!7!77!7!7 + +LL77 +LL77!7!777!7!7#'777!7!7!777!7!77!7!77&'777!7!77!7!77&'777!7!7!777!7!77!7!77&'777!7!77!7!77&'G 77%'+ L7!T'6'+ L7!T'6'+ L7!T'6'+ 777!7!7!L7!T'6'+ 7 777!7!7!L7!T'6'+ 7 777!7!7!L7!T'6'+ 77!7 777!7!7!L7!T'6'+77!77!7 7!L7!T'6'+$77!77!7 777!7!7!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+77 7!L77!7!7!L7!T'6'+ L77!7!7!L7!T'6'+7 7!7 L77!7!7!L7!T'6'+777!7!7 7!L7!T'6'+$777!7!7 777!7!7!L7!T'6'7!77&'977&'777!7!L7" +777!7!L7!7#'()97  +7+77#'()7!7 +7+77#'()777!7!L7" 7%+< +777!77 + 77 +777!7 +"77#'L7" + +7#'kO9 G+r7L777L7777!7!7!7!777!7!7LLL777!7!77777!7!L77!7!7 +% +,L7L7#'777!7!77&'G 77%'+ L7!T'6'+ L 7!L7!T'6'+ L7!T'6'+77 7!77!L7!T'6'+ 77!L7!T'6'+7 7!7 77!L7!T'6'7!77&'977&'677!7!77!77!7!7!77 77!7!77!7!77&'677!7!77!77!7!7!7 77!7!77&'677!7!77!77!7!7! 77&'+k9997$'+k9997$'l777!7!777!7!7!L7!777!7!77!777!7!777!7!7!7!777!7!777!7!7!L7!7+b+7777!7!77!777!7!777!7!7!7!7 777!7!777!7!7!L7!7 7#'777!7!77!777!7!777!7!7!7" +777!7!L7!7#'()97  +7+77#'()7!7 +7+77#'()777!7!77!777!7!777!7!7!7" yfX;' fI5+m+D777 +T777!7!77!77!7+D7777!7+S7777!7!77!7 +P777!777!7!77!7!7+:77+\777!7+q777+7777!7+777!7!77+77+7L77!7+7L77!7!77!7+7777!7+0777!777!7!7+>77+r777!7+77+77#'77!7" +$+77!7"+7"+77#'k 1G+77777+77777!7!7777777!7!77!7!7!7!777!7!77!7!7LL7777!7!77!7!77777!7!77!7!L77!7!77!7!7 +y +L7L7 +7777!7!L77!7!7#'777!7!7!777!7!77!7!77&'777!7!77!7!77&'G 77%'+ L7!T'6'+ L7!T'6'+ 77!7!L7!T'6'+ 77!7!L7!T'6'+7 7!L7!T'6'+777!7! 7!L7!T'6'+ L7!T'6'+ 77!7!77!7!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+(77 7!777!7!77!7!7!L7!T'6'+ 777!7!77!7!7!L7!T'6'+-777! 7!7 777!7!77!7!7!L7!T'6'+# 7 777!7!77!7!7!L7!T'6'+# 7 777!7!77!7!7!L7!T'6'+-7 7!77!7 777!7!77!7!7!L7!T'6'+(777!7!77!7 77!7!7!L7!T'6'+777!7!77!7 7!L7!T'6'+-777!7!77!7 7 77!7!7!7!L7!T'6'+$777!7!77!7 7 7!7!L7!T'6'+:777!7!77!7 777 7!777!7!7!7!7!L7!T'6'+2777!7!77!7 7 777!7!7!7!7!L7!T'6'+:777!7!77!7 777!7 777!7!7!7!7!L7!T'6'+:777!7!77!7 7777!7!7 77!7!7!7!L7!T'6'7!77&'977&'777!7!777!7!7!L7" +777!7!L7!7#'()97 +7+-77#'()7!7 +7+77#'()777!7!777!7!7" bUC6+b+7777!7 +777!777!7!7+ 77+$777!7+177+K77#'777!7!777!7!7!L7" z`SB5"++L77!77 +L77!7!77!77+77+L77!7+77 +,L77!7!77!7+(7777!7 +6777!777!7!7+277+T777!7+i77+77#'=d -G+b7LL77+|7LL77!7!77L7L77!7!77!7!7!7!L77!7!77!7!7LLLL77!7!77!7!77 l 1G+#77777+<77777!7!7777777!7!77!7!7!7!777!7!77!7!7LL7777!7!77!7!77L77!7!77!7!777!7!77!7!7 + +LL77 +LL77!7!777!7!7#'777!7!7!L77!7!77!7!77&'L77!7!77!7!77&'777!7!7!777!7!77!7!77&'777!7!77!7!77&'G 77%'+ L7!T'6'+ L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+L7 7!77!7!77!L7!T'6'+ 77!7!77!L7!T'6'+L77!7!7 7!77!L7!T'6'+ 77!L7!T'6'+ 77!7!7 77!L7!T'6'+ 7 77!L7!T'6'+'77 7!777!7!7!7 77!L7!T'6'+ 777!7!7!7 77!L7!T'6'+'7 7!7 777!7!7!7 77!L7!T'6'+'777!7!7 7 7!7!7 77!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+77 7!777!7!7!L7!T'6'+ 777!7!7!L7!T'6'+7 7!7 777!7!7!L7!T'6'+777!7!7 7 7!7!L7!T'6'7!77&'977&'677!7!777!7!7!777!7!777!7!7!7!7 77!77!7!77&'677!7!777!7!7!777!7!777!7!7!7!7 77!7!77&'677!7!777!7!7!777!7!777!7!7!7! 77&'=777!7!L7!77!77!777!7!7!777!7!L7!7+?+777!77!777!7!7!7 777!7!L7!7 7#'77!77!777!7!7" +777!7!L7!7#'()97 +7+I77#'()7!7 +7+77#'()777!7!777!7!7" t`SA4+r+777!L7 +777!7!L77!7+77+777!7+)77+B7777!7+P77#'77!77!777!7!7" o[N<- +l +77!L77!7!7+77+777+77!77+77+7777!7+77#'=e -G+a7LL77+{7LL77!7!77L7L77!7!77!7!7!7!L77!7!77!7!7LLLL77!7!77!7!77 k 1G+#77777+<77777!7!7777777!7!77!7!7!7!777!7!77!7!7LL7777!7!77!7!77L77!7!77!7!777!7!77!7!7 + +LL77 +LL77!7!777!7!7#'777!7!7!L77!7!77!7!77&'L77!7!77!7!77&'777!7!7!777!7!77!7!77&'777!7!77!7!77&'G 77%'+ L7!T'6'+ L7!T'6'+ L7!T'6'+ L77!7!7!L7!T'6'+ 7 L77!7!7!L7!T'6'+ 7 L77!7!7!L7!T'6'+ 77!7 L77!7!7!L7!T'6'+77!77!7 7!L7!T'6'+$77!77!7 777!7!7!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+77 7!L77!7!7!L7!T'6'+ L77!7!7!L7!T'6'+7 7!7 L77!7!7!L7!T'6'+777!7!7 7!L7!T'6'+$777!7!7 777!7!7!L7!T'6'7!77&'977&'777!7!L7" +777!7!L7!7#'()97  +7+77#'()7!7 +7+77#'()777!7!L7" 7%+< +777!77 +77 +!777!7 +%77#'L7" + +7#'nR; G+u7777777777!7!7!7!777!7!7LL7777!7!77777!7!L77!7!7 +% +,L7L7#'777!7!77&'G 77%'+ L7!T'6'+ L 7!L7!T'6'+ L7!T'6'+77 7!77!L7!T'6'+ 77!L7!T'6'+7 7!7 77!L7!T'6'7!77&'977&'677!7!77!77!7!7!7 77!77!7!77&'677!7!77!77!7!7!7 77!7!77&'677!7!77!77!7!7! 77&'+k9997$'+k9997$'7L7!777!77!7L7!7 +& +@7777!77!7 7L7!7 7#'G 777!77"777!77#'G 7L7"7L7#'+k997$'l777!7!777!7!7!L7!777!7!77!777!7!777!7!7!7!777!7!777!7!7!L7!7+b+7777!7!77!777!7!777!7!7!7!7 777!7!777!7!7!L7!7 7#'777!7!77!777!7!777!7!7!7" +777!7!L7!7#'()97  +7+77#'()7!7 +7+77#'()777!7!77!777!7!777!7!7!7" xeW:& dH5+l+C777 +S777!7!77!77!7+C7L77!7+S7L77!7!77!7 +Q777!L77!7!77!7!7+<77+]777!7+q777+7777!7+777!7!77+77+7777!7+7777!7!77!7+ 7777!7+*777!777!7!7+877+l777!7+77+77#'77!7" +$+77!7"+7"+77#'k 1G+77777+77777!7!7777777!7!77!7!7!7!777!7!77!7!7LL7777!7!77!7!77777!7!77!7!L77!7!77!7!7 +y +L7L7 +7777!7!L77!7!7#'777!7!7!777!7!77!7!77&'777!7!77!7!77&'G 77%'+ L7!T'6'+ L7!T'6'+ 77!7!L7!T'6'+ 77!7!L7!T'6'+7 7!L7!T'6'+777!7! 7!L7!T'6'+ L7!T'6'+ 77!7!77!7!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+'77 7!L77!7!77!7!7!L7!T'6'+ L77!7!77!7!7!L7!T'6'+,777! 7!7 L77!7!77!7!7!L7!T'6'+" 7 L77!7!77!7!7!L7!T'6'+" 7 L77!7!77!7!7!L7!T'6'+,7 7!77!7 L77!7!77!7!7!L7!T'6'+(777!7!77!7 77!7!7!L7!T'6'+777!7!77!7 7!L7!T'6'+-777!7!77!7 7 77!7!7!7!L7!T'6'+$777!7!77!7 7 7!7!L7!T'6'+:777!7!77!7 777 7!777!7!7!7!7!L7!T'6'+2777!7!77!7 7 777!7!7!7!7!L7!T'6'+:777!7!77!7 777!7 777!7!7!7!7!L7!T'6'+:777!7!77!7 7777!7!7 77!7!7!7!L7!T'6'7!77&'977&'777!7!777!7!7!L7" +777!7!L7!7#'()97 +7+:77#'()7!7 +7+ 77#'()777!7!777!7!7" bUC6+b+7777!7 +#777!777!7!7+77+1777!7+>77+X77#'777!7!777!7!7!L7" ~cVD7"++777!77 +777!7!77!77+77+777!7+77 +6777!7!77!7+17777!7 +?777!777!7!7+;77+]777!7+r77+77#'Bh /G+g77L77+77L77!7!7777L77!7!77!7!7!7!777!7!77!7!7LL7L77!7!77!7!77 l 1G+%77777+>77777!7!7777777!7!77!7!7!7!777!7!77!7!7LL7777!7!77!7!77L77!7!77!7!777!7!77!7!7 + +LL77 +LL77!7!777!7!7#'777!7!7!777!7!77!7!77&'777!7!77!7!77&'777!7!7!777!7!77!7!77&'777!7!77!7!77&'G 77%'+ L7!T'6'+ L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+77 7!77!7!77!L7!T'6'+ 77!7!77!L7!T'6'+777!7!7 7!77!L7!T'6'+ 77!L7!T'6'+ 77!7!7 77!L7!T'6'+ 7 77!L7!T'6'+'77 7!777!7!7!7 77!L7!T'6'+ 777!7!7!7 77!L7!T'6'+'7 7!7 777!7!7!7 77!L7!T'6'+'777!7!7 7 7!7!7 77!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+77 7!777!7!7!L7!T'6'+ 777!7!7!L7!T'6'+7 7!7 777!7!7!L7!T'6'+777!7!7 7 7!7!L7!T'6'7!77&'977&'677!7!777!7!7!777!7!777!7!7!7!7 77!7!77!77&'677!7!777!7!7!777!7!777!7!7!7! 77!77&'677!7!777!7!7!777!7!777!7!7!7! 77&'=777!7!L7!77!77!777!7!7!777!7!L7!7+?+777!77!777!7!7!7 777!7!L7!7 7#'77!77!777!7!7" +777!7!L7!7#'()97 +7+U77#'()7!7 +7+&77#'()777!7!777!7!7" t`SA4+r+777!L7 +777!7!L77!7+77+)777!7+577+N7777!7+\77#'77!77!777!7!7" p\O=.!+m +77!777!7!7+77+777+77!77+77+7777!7+77#'Bi /G+f77L77+77L77!7!7777L77!7!77!7!7!7!777!7!77!7!7LL7L77!7!77!7!77 k 1G+%77777+>77777!7!7777777!7!77!7!7!7!777!7!77!7!7LL7777!7!77!7!77L77!7!77!7!777!7!77!7!7 + +LL77 +LL77!7!777!7!7#'777!7!7!777!7!77!7!77&'777!7!77!7!77&'777!7!7!777!7!77!7!77&'777!7!77!7!77&'G 77%'+ L7!T'6'+ L7!T'6'+ L7!T'6'+ 777!7!7!L7!T'6'+ 7 777!7!7!L7!T'6'+ 7 777!7!7!L7!T'6'+ 77!7 777!7!7!L7!T'6'+77!77!7 7!L7!T'6'+$77!77!7 777!7!7!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+77 7!L77!7!7!L7!T'6'+ L77!7!7!L7!T'6'+7 7!7 L77!7!7!L7!T'6'+777!7!7 7!L7!T'6'+$777!7!7 777!7!7!L7!T'6'7!77&'977&'777!7!L7" +777!7!L7!7#'()97  +7+77#'()7!7 +7+77#'()777!7!L7" 7%+< +777!77 +77 +!777!7 +%77#'L7" + +7#'nR; G+u7777777777!7!7!7!777!7!7LL7777!7!77777!7!L77!7!7 +% +,L7L7#'777!7!77&'G 77%'+ L7!T'6'+ L 7!L7!T'6'+ L7!T'6'+77 7!77!L7!T'6'+ 77!L7!T'6'+7 7!7 77!L7!T'6'7!77&'977&'677!7!77!77!7!7!7 77!7!77!77&'677!7!77!77!7!7! 77!77&'677!7!77!77!7!7! 77&'+k9997$'+k9997$']777!7!77!7!L7!777!7!77!777!7!77!7!7!777!7!77!7!L7!7+X+T7777!7!77!777!7!77!7!7!7 777!7!77!7!L7!7 7#'777!7!77!777!7!77!7!7" +777!7!L7!7#'()97  +7+77#'()7!7 +7+m77#'()777!7!77!777!7!77!7!7" pbOA) fI5+X++777 +;777!7!77!77!7++7777!7+:7777!7!77!7 +7777!777!7!77!7!7+!77+C777!7+X777+}7777!7+777!7!77+77+7777!7+7777!7!77!7+777!77!7+77+6777!7+X77+77#'77!7" +$+}77!7"+7"+77#'h /G+7L777+7L777!7!77L7777!7!77!7!7!7!777!7!77!7!7LLL777!7!77!7!77777!7!77!7!L77!7!77!7!7 +y +L7L7 +7777!7!L77!7!7#'777!7!7!777!7!77!7!77&'777!7!77!7!77&'G 77%'+ L7!T'6'+ L7!T'6'+ 77!7!L7!T'6'+ 77!7!L7!T'6'+7 7!L7!T'6'+777!7! 7!L7!T'6'+ L7!T'6'+ 77!7!77!7!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+(77 7!777!7!77!7!7!L7!T'6'+ 777!7!77!7!7!L7!T'6'+-777! 7!7 777!7!77!7!7!L7!T'6'+# 7 777!7!77!7!7!L7!T'6'+# 7 777!7!77!7!7!L7!T'6'+-7 7!77!7 777!7!77!7!7!L7!T'6'+(777!7!77!7 77!7!7!L7!T'6'+777!7!77!7 7!L7!T'6'+$777!7!77!7 7 7!7!L7!T'6'+5777!7!77!7 777 7!77!7!7!7!L7!T'6'+-777!7!77!7 7 77!7!7!7!L7!T'6'+5777!7!77!7 777!7 77!7!7!7!L7!T'6'+5777!7!77!7 7777!7!7 7!7!7!L7!T'6'7!77&'977&'777!7!77!7!L7" +777!7!L7!7#'()97 +7+77#'()7!7 +7+h77#'()77!777!7!7" I<*+K +777!77!7+77+777!7+77+77#'777!7!77!7!L7" ~cVD7++777!77 +777!7!77!77+77+777!7+77 +777!7!77!7 +777!77!7+77+1777!7+A77+^77#'=k 1G+b77777+{77777!7!7777777!7!77!7!7!7!777!7!77!7!7LL7777!7!77!7!77 e -G+7LL77+67LL77!7!77L7L77!7!77!7!7!7!L77!7!77!7!7LLLL77!7!77!7!77777!7!77!7!L77!7!77!7!7 + +L7L7 +L777!7!L77!7!7#'777!7!7!777!7!77!7!77&'777!7!77!7!77&'777!7!7!L77!7!77!7!77&'L77!7!77!7!77&'G 77%'+ L7!T'6'+ L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+77 7!77!7!77!L7!T'6'+ 77!7!77!L7!T'6'+777!7!7 7!77!L7!T'6'+ 77!L7!T'6'+ 7 77!L7!T'6'+"77 7!77!7!7 77!L7!T'6'+ 77!7!7 77!L7!T'6'+"7 7!7 77!7!7 77!L7!T'6'+"777!7!7 7!7 77!L7!T'6'+ L7!T'6'+77 7!77!7!L7!T'6'+ 77!7!L7!T'6'+7 7!7 77!7!L7!T'6'+777!7!7 7!L7!T'6'7!77&'977&'677!7!77!7!777!7!777!7!7!7! 77!77!77&'677!7!77!7!777!7!777!7!7!7! 77!77&'677!7!77!7!777!7!777!7!7!7! 77&'.77!L7!77!77!77!7!77!L7!7+5+F777!77!77!7!7 77!L7!7 7#'77!77!77!7" +777!7!L7!7#'()97 +7+77#'()7!7 +7+77#'()77!777!7!7" [G:-+[+77!L7 +77!L77!7+77+77+7777!7+77#'77!77!77!7" \O=.!+[ +77!777!7!7+w77+777+77!77+77+77#'=l 1G+a77777+z77777!7!7777777!7!77!7!7!7!777!7!77!7!7LL7777!7!77!7!77 d -G+7LL77+67LL77!7!77L7L77!7!77!7!7!7!L77!7!77!7!7LLLL77!7!77!7!77777!7!77!7!L77!7!77!7!7 + +L7L7 +L777!7!L77!7!7#'777!7!7!777!7!77!7!77&'777!7!77!7!77&'777!7!7!L77!7!77!7!77&'L77!7!77!7!77&'G 77%'+ L7!T'6'+ L7!T'6'+ L7!T'6'+ 777!7!7!L7!T'6'+ 7 777!7!7!L7!T'6'+ 7 777!7!7!L7!T'6'+ 77!7 777!7!7!L7!T'6'+77!77!7 7 7!7!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+ L77!7!7!L7!T'6'+ 7 L77!7!7!L7!T'6'+77!7 7!L7!T'6'+77!7 777!7!7!L7!T'6'7!77&'977&'77!L7" +777!7!L7!7#'()97  +7+77#'()7!7 +7+`77#'()77!L7" #+* +77!77 +77 + 77#'L7" + +7#'nR; G+u7777777777!7!7!7!777!7!7LL7777!7!77777!7!L77!7!7 +% +,L7L7#'777!7!77&'G 77%'+ L7!T'6'+ L 7!L7!T'6'+ L7!T'6'+ 77!L7!T'6'+ 7 77!L7!T'6'7!77&'977&'77!77!77!7!7! 77!77!77&'77!77!77!7!7! 77!77&'77!77!77!7!7! 77&'+k9997$'+k9997$'7L7!777!77!7L7!7 +& +@7777!77!7 7L7!7 7#'G 777!77"777!77#'G 7L7"7L7#'+k997$'LL7!777!L7!LL7!7 +$ +<7777!L7!7 LL7!7 7#'G 777!L7"777!L7#'G LL7"LL7#'+k97$'+7Tk97$'8xDki`XdBx&%%@" ,DT4@{_`^@][<B?CEAAB@EAAB@CEB@B@BB@AA@Ԡ @ 1<0,,|% p4d|0`htLL`4`$H(,H@h`84~H}\|{zzhyxx@wvv8uuDtt`t$ssXrrr\re|ddXb`]t]\\D\[[pWVUUThSSXRRXRQQPPOONNPNM@t??L=88d77\666,5x4403|3 22P11H00x0//  D4 4tH`P,x(h,, 4 | |@8(0HDڠ48ӤҜlиpμ`͐̌`$<t\H|, \D$P@H T,$`y xwvxqhpp@oo8nnmm4lkkkjj,ii$hhhLhY8XXVUTTSRpQQPXONNDMxLL(KKKJJXJII@IH;;:x8DCEAA@AA@AA@4@|dV,?pPXx(XT:AA@tX\PƤt, `x$  }{zyXwvvuuuLttsTr q(pooxn<mtll,^^h[ZZDYWVUTSEDDdDAA>L> % X0  EAAB@EAAB@CEB@B@BB@1- l88eTdVV`@L?  (۠|xx\YX;t:i,@ `l 0C,54X0,H%t L$ Ltt0<T`4@XLL@$$lH P,|p,x`<\D <4<$0\,|X ``  ttP(X4x4hD `H$ ~~~~ ~~}}}4}(}||h|\|P|,{{|{p{8zzz@z4yyy|yXy xxxxx wwtwhwDw vvvxvvuuuttssss0rqqqdq@qppooooo8onnn|ndn@mjj(hhh8glf(eccc0bbaapa0`___(^^^T^ ]L],\\\x[[8ZZZ8YYYWtUTTTTT@T$SSSS0S$RRRQQQQ|PPlP`OOOXOLNNMMlMLLLpLLKKKKPK$JJhJ<JIIIhIDIIHHGGG8GFFFFXD4CAA @? >x>4=t=<<>t=>d> =`=(<;;::99|887755 4X311h008/@..h---H++*|*))t((L'''@'&&&`&%%($$#|#P#""""<!!L! <$$Dxp$x8   d    T    4,DxLh<Dhhp<40l`8h H<x8߰ld(ݴ݀HL Lٸtش|<ԼXPLϘ ̬8ˀʈɰDȘhl$äP¤x<d` d(Px | tH8`p8$Xh l@,L P$p,l 0(44tLL8X|LH ~~~}|||{{l{4zzzyydwvvuuuXttTs`s4rqppoonm|ll4jPiidhgg<ffleedcbbbDaa0````___H_^^p^]]d]$[[[[`[$ZZZLYYWWVtUTSOONxMMLpJ|HDGGEE4DD\DBBBlB4AAA @??L>>\>=<`<4: 99@988777D766d3000///x..,++++ ***))))t((x'%D% $$X##"" td4t0$D`XP$\T$    X   l td4t0$B@44\@4x \(|P$h,`xXd\d0X,l0d$dH~}|| {dpppphp8oo`nn mmlk@jjjj]D\\ZZhZ`Z ZYYY\YTWTQhKK8K0JJPJHJ$IIHHHlHdH$HGFFdE,B55H443L22p2 11-P-,,,,++d+\***4*,)))P(|((&8%$$$`$@"!h  D l    l $ph D<x tl```X|<Ј@Ό0Ͱ`\\ȠPHh`<ƴƬ<ń|<4ĠÄT8@ddtlL` p(T``t T p4,\T$P~}{\nlmmlpkk`jjiieepeheddd\ccbbbbb\bTa``^^`]<\ZZ<V`U`TSRR JtH<GGHGGFF\FEE,DDlD$CPAA|A@=l,XHc|><w89D@ߐ|ؠ,641-X&!\(4  \AABAA[(llxphxT$x\LD`h\,dx\qqpee__L^]][DW VUhU8MM(L|L@@<;:9P9 /d..D-  \4hhD\\@\Ԑ`ʬ8ɌTT$<@X(84y$xu t(sqqgg`ff@YPXWPW HH;;02224.l. -''L&""$!\4h  ` $l lChg,t=hY PiD|}8?ԠAABA@@A`P`222<.t.-''T&"",!d<p  h ,pDmlHljlj<XEE DCB'H'#$" X  \P \0l¬€l(~}}x{{<__[[hCBB@@x`X,6 41-P&|!T , TCEEAAB@B@EAAB@B@CEAABB@BB@AA@CECEAAB@B@AA@CEAAB@B@AA@DCEAABB@BB@AAB@CEAABB@B@AA@!CECEAAB@B@AA@CEAAB@B@AA@DCEAABB@BB@AAA@CEAABB@B@AA@BBBB@0qqLn l\HhGEXAB@XtpT<T@lpD<0lLT@D~~p}}||{{{D{$zzyyyvusromlljdj4jiiiii@eeddccbbta<a___l_8_^^^^l^4^]] \`XDWTUUTTStRtQpQHQ4PPP IHH\HE4EDDDDCdCPC<BX@?X>>>>X>>==T==<<>>l>(>==h=0=<<>>>h> ===>===\=TA@||l$hPdXHh| @dl`P lxDd~~d}}x||{{zyyvpxohnn(mmkjifecccbbhaaPa`^`ZZYxYLTP@OO,NLL,KK JtJIHHGhG\FFFF@F4EEDB@<@<;;4;::D:99p87654310.p--,,<++**X),) ((X(D('''&%% #D"!@P<<  L t   x\@0 4XDhx(H<$H޸ ݬ@@٬hبpהh0ָtHՄ@԰P,ҼH$ D ϐɸ$njŨ|ð` 4\ Hxll880x$xh0 hP `4 @XDd\@ X$D(,~~{dytttHssss(rrrprDqpp\oTnmPlfeDdd8ccc bbbbLa``t`0_@[[YWtVhVUhUT4SS4RQQ,PtOOONpMMMLhG FEDDtD,Bd@D@>>T> <(;99988L7|7 66X6(5584444@4,4333333p..+++L**p*,))h)(('#"!h($h@<t4PxLD|LDd    (Xh($hp\,dLhpd4ldqqx__T^]][LUpU@MM0LL<;:9X9(/l..L-<$pddHԘhʴ@ɔ$\,$H`0<u(t0sqqgghffHWXW(HH @ 0 LdPh\44Hl 0p0(Pp\~0}D|x{zzPyxx(wvv uhu,ttHt ss@rrrDdd|cdbba]\\\\,[[V V TTPSS@RR@RQPP|OOhNNtN8M??p>>@==H88L77D66t65`443d322811000`0/ppphl|\0dP$$<$PD0tdd( l0ٔ؜ ӌ҄ѴTРXΤHxt˨H L8\Dx0dxD,||x(|0hh< xxw vvuqPpp(oo nnmmlkkxjjjii hhph4XHX4VUTTSRXQPP@OtNN,M`LLKKtJJJ@III(H::9p877p555l5X4L443300040,<++0*%h%,$$x @ x`h(|@ | @  @ aA_(X Рk jh\gETBB &! L D@`|h`8}{z^ZdAA\@>>,50fLd cTbaa`<:9#\4d\<Llptsr8\ W<:@9`877d6.,,++ **)" 0Pp4t0PXL,<cpc>>L0٠w,v9|80,lX!l  PYC@@@g+R+InitialRing+setoid_ring#Coq@@ al)Datatypes$Init#Coq@@A@@Ơ%Zsqrt @UU@@AA@AA@@@@@@D^@@$sigT#6@gRh@#sig#* @pXq+-'<M@"lt1P-©CV?>!h㩜(Av$vIu>iMG\B DD2AYNyjb`ZU3WqiZxlal@,eq_decidableOk up@,lt_decidablèpntitv.]A} @#Zne>o=<T@(Zne_left0߀5JJ}a Q ᩵ClCmCnXa@"ge1P,f>.CCCDCEo@(Zge_leftsvސ@*Znot_lt_ge>π吩j萩{vC|jcڠ;&<Ԡ>&?%C Ѡ̩@9y;Q9R7U,YDZ\D]Ca9,kSl&RpH80.(< ?RU:AhV\MaD>^`Uh\ݠh?=ЩOJQ U5Nhxq b@axMP{zbP'¶@ũ␩JJx8/vV:ն@ةjIF@ưvQ^N@ΰ ~Ġ ]j3Z@ڰΠРi#Df@ڠ©ܠ ͠usѠMηt@蠩3ߩ̩jʩ?'*@RJ|ܩc.9]};@cҩ[3G@o İ%O@w(*q©ϰZ@35&#Ωf@?'A 2/کذir@K< $RjTVz--@,fast_OMEGA15M$_*a 8M@@1fast_Zred_factor5()m^[ ]]] ufc! "eePPe$}Tn˩@'OMEGA17 PЩ=+tpqаZ@*Zegal_left;6t~~ MQmG!zЩ`\[Ȑ*to_rewritehRjLed$Heq0ưltvnqȐ(list_hypȐ-list_hyp_normȐ0list_hyp_norm_eq'@ٰȐ*ring_lemma@.Zr_ring_lemma2 81~ةM?"pe#npe@0=("Rʩ@&PEeval"s 8F1+Ring_theory@%IDphio @$of_N1\Y@ >j@#pow1P1@ ؀.@(Pphi_powcH5d :O5dI5+InitialRing@)get_signZ#7Ȑ#res;CE@ADȐ&res_eqJ @4L>0T)Ynh`Ȑ#thm/=[K8]2!bw]F]=71/T_:b"<$/BȐ$res01s3u0 0 1pȐ'res_eq0,@^vh0~)SB>Ȑ$thm0 DCky86`Otke_H:dS:xoiZLgipŷQKvr'\h\V|1_ZUSYNY[B$HeukXmT w>z|~ѩ3ЩTP.,U*%Ӱ̠s^"3.ܰ.g)< 7  Ƞ77pe $iP eɩ蠐^w @Š/2]\ "@ՠЩD a 0@ީ ɷ 8@  Z#u D@ "  $ Щ $   T@  ©  Z@   3 5 ̩ 9%$@1fast_Zred_factor3&, m@   F . H 9X66 7$ + &_ 0 + V Gf /i 1F Ej ^ Oo 7 b SsPP L M' =tܩ0ox : l" _& B*}V I4! dO੷Qө  ٩ v Wn  طЩ $ /̩ (%Zvar4 ɩ .%Zvar5 Ʒ'Omega13ȩ°1 ̶@  z 쐩    }DҠA ܶ@    Yũ   T ͷQ @   Š  ɠ$`  c'^ @   Ҡ\i  ֠ 1h!@   ܠ' s p! @   /  Ω- ꠩ F"H!@ ͠ ȩ > ŷ!"@ ՠ Щ F Щ! _ݩ! J egܩ ɩ!  ! !=@  ! !! )_!l{!J@  !#! !'k !+(!-! !w!A!_@!! !8! IѩްJ!i@!!!B!3a!+کذ &Omega8!&!!!Lb!N!%m!R!)!T@!?e!-B!Af!Z !\!M{ !F!G!nq!d!f!W!8v#r!S!SUH!W!`!s!Z!!ZC@!Y!S!h!7!7!{!70!n!4C@!7!k!k:!n!oCH  = ;1!g!b{! !@)False_recu唀`!!!©Z!ķ!!ũ!!!ɩ !!!~!WR@ 6 @!&ZArith#Coq@!Z@!1P,!!!@@!7@AA&Specif$Init#Coq@@#6@ !@#sig#* @ !%Logic$Init#Coq@@#andЖw@@"eq @Q!gN@!1P&!&ZArith#Coq@!Z@! ̀!!%Logic$Init#Coq@@!Жw@ko@" 1P]!@"  ""!v@"lt1P-!֐ K +k= R]'>+'>+'+I''7 = R'>[9 GLLL :L77 *G77"  7! G77 "77!77!7!+E {677!77!7!7!77!7!7!77!7!77!7!777!77!7!7!77!7!7!77!7!77!7!7777!77!7!7!77!7!7!77!7!77!7!7!7"+Z 777!77!7!7!77 +^ 77!77+q  7!7!77+y 7!7!97!7!7!977"7": : :''M77!7!77!7!777!77!7!7!77!7!7!77!7!77!7!7+K+A7777!77!7!7!77!7!7!7 77!7!77!7!7 7#'777!77!7!7!77!7!7" +777!7!L7!7#'()67!7  +7+77#'()97  +7+e77#'()7!7 +7+277#'()777!77!7!7!77!7!7"77! !77!  n[;$+  +777!7!77!7!7+7"+77 +277!77!7!77!7+#777!7+.777!7!7 +1777!7!77!7!7+!77+=777!7+K7"+j777!7!7+l777!7+t77+77+77# '77!7" +$+77!7"+7"+77#'.777!7!77!7!L77!7!77!7!7 +1 +8L7L7 +:7777!7!L77!7!7#'G 77%'+ L7!T'6'+ L7!T'6'+ 77!7!L7!T'6'+ 77!7!L7!T'6'+7 7!L7!T'6'+ L7!T'6'+7 7!77!7!L7!7!L7!T'6'+77!77!7! 7!L7!T'6'+ L7!T'6'+ 7!77!7!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+"77 7!77!7!7!7!L7!T'6'+ 77!7!7!7!L7!T'6'+"777!7!7 7!7!7!L7!T'6'+ 7!7!L7!T'6'+ 7 7!7!L7!T'6'+7 7!7!7 7!7!L7!T'6'+"777! 7!7!7 7!7!L7!T'6'+'777!77!7!7!7  7!7!L7!T'6'7!77&'977&'77!77&'77!7!77!7" +777!7!L7!7#'()67!7  +7+77#'()97  +7+77#'()7!7 +7+77#'()77!7!77!7"77! 77! hUC'+ +777!7!7+77 +)777!7!77!7+77!77+*77!77 +177!77!77!7+&7"+>7"+U7+b77+u77# 'L7" + +T7#'777!7!L77!7!7 + +L7L7#'G 77%'+ L7!T'6'+ L 7!L7!T'6'+ L7!T'6'+777!7! 7!L7!T'6'+ L7!T'6'+ 7!77!7!L7!T'6'+ 77!7!L7!T'6'+ L7!T'6'+ 77!7!77!7!L7!T'6'+7 7!77!7!L7!T'6'+ 77!7!L7!T'6'+ 7!7 77!7!L7!T'6'+77!7!7 7 7!7!L7!T'6'7!77&'977&'77!77&'77!7!7!77!7!77!7!7%'67!77!7! 7!7! 7! 7!7%'67!77!7! 7! 7!7!7%' +777!7!L7!7#'()97 +7+_77#'()7!7 +7+,77#'()7!7!97"9 ^7! H+U +77!7" +,7" +E7"+Z 7"+m7+v 77+77# '7!7!97"9 R7! < +O+77!7"+7"+7"+7"+%7+-77+;77#'A7L77!7!77!7!77!7!L77!7!77!7!77!7!7 vQ*+ +7L7!L7!7 +7LL777 +7L77!7!7!L77!7!7!7 +7L77!7!L77!7!777 +7L77!7!77!7!7!L77!7!77!7!7!7 +7L77!7!77!7!L77!7!77!7!777# 'G $'+ L 7!T'6'+ L 7!T'6'+ L 7!T'6'+ L 7!T'6'+ L 7!T'6'+ L 7!T'6'+L 77!7!77!7!7!T'6'+L77!77!7! 7!7!T'6'+L 77!7!7!7!T'6'+L7 7!7!7!T'6'+ L 7!7!T'6'+L 7!7 7!7!T'6'+L7!7!7 7!7!T'6'+L 77!7!77!7!77"T'6'+L77!77!7! 7!77"T'6'+L 77!7!7!77"T'6'+L7 7!7!77"T'6'+L 7!77"T'6'+L 7!7 7!77"T'6'+L7!7!7 7!77"T'6'7!77&'977&'+k+ 77%'+ 77%'67!77!7!97!97!7!7! 7!7!977"7%'G + 77!7%'+ 77%'67!77!7!97!97!7!7! 7!7!977"7%'+ ~=6L7!7L7!7!L7!LLL7!7!7L7!7L7!7!L7!LLL7!7!7LLL7!7!L7!7L7!7L7!7!L7!LLL7!7!7!LLL7!7!L77"77L7!7L7!7!L7!LLL7!7!7!LLL7!7!L77"7!7"L:L:'ALLL7!7!L7!7L7!7L7!7!L7!LLL7!7!7!LLL7!7!L77"7 +B +77L7!7L7!7!L7!LLL7!7!7!7 LLL7!7!L77"7 7#'+LLL7!7!7L7!7L7!7!L7!LLL7!7!7 +0 +X77L7!7L7!7!L7!7 LLL7!7!7 7#'G 7L7!7L7!7!L7"7L7!7L7!7!L7#'G LLL7!7"LLL7!7#'G LLL7!7!L7#'+k+ L7!T'+ 77%'+ 77%'67!77!7!7!7!7!7! 7!7!77"7%'K1/#Hp{I0XJ@x? GE>t===0<H>,===X=<<<<< ;;l; :::x:,999x9h9888`6x6T6,65555P5,444L4@4 3t22222`2<0<.(+++++`+H**))))4)()(((X(L(4''''&&&&%`$x$P"!!L P xlL@x(|h, |XtT0p     $   \ 0`8|h\l`t̠͠B643Ƞ$,dDMFB<$`CCAA@@AAB@@AA@.@"04;::899988 777X76ࠑaJ<@?TCAA@B@A@\,B@P>>T==d=<<(;11//--D**D*##phL @  $D^0.Ph54\3!\ !t ,110/##xL&1 /$$Hd 4AB@,+***h)|   \ 8$p|h\<\X  0      h    h D <lH`L|@,D0XDEB@B@dECB@AA@CB@AA@~@H 2$\CB GpE`DJGG@F$E4DC<BA?,+* (DB#DJJJIpI4IHHH GGXG0FFxF<FE|ELE$DDLDCCCTC,BBBxB0BAhA8A@??>> 8=<::9))($XؠI접A@JlJTHHHlHTGGGGEEE DCCCBB`BHAA@@??l;x8l6622l+++T+<$`\0P  x < 4#K\KFEDpCA@0>>>\==l=<<0;**L*T$#JIHGdFHEXD(C`BAD?,,,8++))D((h''h',&&\& %%p%$P<(8x<l0$   T""A^Р,"t4 H$GFF`  4#@@@@@"+Zsqrt_plain @!#0!###C#3"")BBB@@@@D!3###-####R!#T#N#c!'!"#"@V9") {@)is_nonneg2o###"s0#n";"9#]@" € Ā 8+k=. )R8'>7 97!= R'>''>G'G''+k6'+k6'РlQADx"p#Ǡ,CABAB)X@@@@@#N.Zsqrt_interval @@#@#ߛ 쀶@ AA$@{be####䀠#̩-@B#򀠩$#کB#@@@@@#2Zsqrt_plain_is_pos @@$@A$/'BinNums'Numbers @@ 7@@e[AAmcAT$ @@@@@#ɠ/Zsqrt_square_id @@$kB#+@{AAGq&$+$+$+@@@@@#ꠠ(Zsqrt_le @@$C#L!qO@LABBA$o$Y@@@@@$+Zsqrt_equiv @@$D$A&BinInt&ZArith#Coq@@$sqrt1\@$sqrt A@@@@@$?@@@ ӳ2@ ӳ2[@A@ Գq@ Գq\@A@#r#@ABC@@AcA$H$G$F@A.0TQ+Ring_theory+setoid_ring#Coq@@BBA.U>[J @C@@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@A\@&BinInt&ZArith#Coq@!Z@'quotrem\)BinIntDef&ZArith#Coq@!Z@ /@A@\@@+pred_double\@/S@@A@As2@3@&shiftls2*@vY@A@BCs8@8@&shiftrs8/@vY@A@ѓ@>@&squareѓ5@y@A@@D@&to_intϑ;@@A@z@5@&doublez,@/!@A@ABCD/@O@)log2_iter/F@wd@A@NH/@B@&moduloNH/9@1,@A@A\d@G@&of_int\d>@1?A @A@bz@M@&of_natbzD@1?G!@A@#@S@&shiftl#J@1dV@A@#@Y@&shiftr#P@1d\@A@ABCD/x@&BinPos&PArith#Coq@#Pos@)pred_mask/x)BinPosDef&PArith#Coq@#Pos@ )X@A@6@x@&square6o@19@A@AV+L@}@&to_intV+Lt@2@A@V1b@@&to_natV1bz@2 @A@V5=@@&to_posV5=@2@A@ABCl@@)sqrt_iterl@!$:@A@@@6@(sub_mask@-@)@A@ADEF c@@'testbit c@!ć@A@7 B@D@'of_uint7 B;@*`]?@A@AG@I@)mask_rectG@@+ED@A@F˱@O@)add_carryF˱F@+p@A@AB^Ҷ@@'to_uint^Ҷ@#m@A@gL7@@'sqrtremgL7@40@A@Aq@@'testbitq@5)@A@ݎO@@+succ_doubleݎO@6r@A@A p@l@0double_pred_mask pc@0-+m@A@BCD T@&BinNat&NArith#Coq@!N@!t T)BinNatDef&NArith#Coq@!N@ 2@A@ @@#add @3 @A@A l@@#div l@3@A@ Y@%@#eqb Y@3@A@AB #@*@#gcd #!@3n@A@ T@0@#leb T'@3@A@ACEG "@5@#lor ",@3m@A@ q@?@#ltb q6@3@A@A @D@#max ;@3@A@ @J@#min A@3`@A@AB @O@#mul F@3B@A@ ~@U@#odd ~L@3@A@AC =@Z@#one =Q@3@A@ @b@#pow ˑY@3@A@A c@g@#sub c^@3@A@ @m@#two d@3J@A@AB hx@r@$div2 hxi@>@A@ @x@$even o@>4@A@ACD @}@$ggcd Бt@>U@A@ @@$iter }@>:@A@A 3"@@$land 3"@>m@A@ F)@@$log2 F)@>t@A@AB S@@$lxor S@>@A@ @@$pred @?U@A@AC @@$size ܑ@?'@A@ !@@$sqrt !@?@A@A ! @@$succ ! @?\@A@ !7@@$zero !7@@P@A@ *@@%ldiff *@@A@AB g_@1@+pred_double g_(@25\@A@CD m@6@÷ m-@2j@A@S@=@&of_intS㫑4@4}5@A@AS@B@&of_natS9@4};@A@BEFGH\R@G@(mask_ind\R>@4@A@\^@Q@(mask_rec\^H@4@A@A!,@V@&pred_N!,M@4s)@A@B@[@&shiftlR@5X@A@@b@&shiftrY@5X@A@A&@g@&square&ّ^@5,x@A@BC"@l@&to_int"c@5L@A@"@t@&to_nat"k@5L @A@AnTq@y@+testbit_natnTqp@6n@A@B@@(succ_posB@@A@I@@'abs_natI@?n@A@AB.@@'of_uint.@MS@A@3~@@'sqrtrem3~@7]%{@A@ACD,@ @'bitwise,@/v@A@>4'@@'testbit>4'@8g$@A@A{U@@,sqrtrem_step{U@8R@A@u^@9@(div_euclu^0@ @A@Afz@@'to_uintfz@9w@A@Bl@'@'comparel@3R@A@CDEFs8@,@+of_uint_accs8#@5+@A@}@R@,pos_div_eucl}I@&`@A@3x@(@'compare3x@]=@A@A@^@&doubleU@'޺_@A@BCq@@+of_succ_natq@$@A@w@i@&modulowɑ`@)1@A@ADK@n@&of_intKe@)j,I@A@K@v@&of_natKm@)j2_@A@AI@{@&shiftlIr@*O@A@O@@&shiftrOx@*O@A@AB,@@&square,}@*ow@A@Z@@&to_intZ@*81@A@ACE`@@&to_nat`@*9G@A@e@@+testbit_nateđ@+@A@A+{@@'sqrtrem+{ё@,J@A@5z@@'testbit5z@-T|@A@A @@'to_uint ͑@.@A@ @@+succ_double @.^4@A@A#@'@'compare#ݑ@ )Q@A@BCD%t2@,@(size_nat%t2#@ @A@%9@3@+of_uint_acc%9*@ ΋@A@A%V@8@+double_mask%V/@ S@A@%%@>@'div2_up%%5@ "@A@ABEF'ş@C@'Ndouble'ş:@ @A@(b0@K@*shiftl_nat(b0B@9-@A@A(nՖ@P@*shiftr_nat(nՖG@'@A@(@V@0succ_double_mask(M@@A@*W$@\@,compare_cont*W$S@!@A@.0@b@.sub_mask_carry.0Y@΂@A@ABCD.@@!t.@ ;@A@.먩@@#add.먩@ `@A@A.U@@#div.U@ @A@.B@@#eqb.B@ @A@A. @@#gcd. @ @A@.=@@#leb.=@ @A@ABCEGHI. @@#lor. @ @A@.Z@ @#ltb.Z@ @A@A.p@@#max.p@ '@A@B.@@#min. @ @A@.@@#mul.@ @A@AC.g@@#odd.g@ @A@.&@&@#one.&@ @A@A.뾴@+@#pow.뾴"@ k@A@.L@1@#sub.L(@ @A@.@7@#two..@ @A@ABCD.,a@<@$div2.,a3@ @A@.Xz@D@$even.Xz;@ ?1@A@A.@I@$iter.ؑ@@ @A@B. @N@$land. E@ @A@. @T@$log2. K@ @A@ACE.@Y@$lxor.P@ R@A@.y@`@$pred.yW@ `<@A@A.Ʉ@e@$sqrt.Ʉ\@ ;@A@.@l@$succ.c@ @A@.t @r@$zero.t i@ Z@A@AB/@w@.to_little_uint/n@ @A@CDF/@|@%ldiff/s@ H@A@00@@'compare00@?H{@A@A1P%@w@!t1P%n@  @A@B1P@|@#abs1Ps@ @A@1P&@@#add1P&z@ @A@A1P@@#div1Pґ@ y@A@BC1P@@#eqb1P@ f@A@1P@@#gcd1P@ 0@A@A1P@@#geb1P@ T@A@B1P@@#gtb1Pʑ@ q@A@1Pĺ@@#leb1Pĺ@ a@A@A1Pň@@#lor1Pň@ /@A@BCD1P@@#ltb1Pב@ ~@A@1P@@#max1P@ @A@A1P{@@#min1P{@ "@A@B1P]@@#mul1P]@ @A@1P@@#odd1P@ @A@A1Pɣ@@#one1Pɣ@ J@A@BC1P@@#opp1Pԑ@ {@A@1P1@@#pow1P1@ @A@A1P;@@#rem1P;@ @A@B1P@@#sgn1Pˑ@ r@A@1P@@#sub1Pɑ@ p@A@A1Pe@@#two1Pe@  @A@BCDE1[8@@$div21[8ޑ@ @A@1[d@@$even1[d@ I@A@A1[6@@$ggcd1[6@ i@A@B1[U@ @$iter1[U@ @A@1\@@$land1\@ /@A@A1\@@$log21\ @ 6@A@BC1\$@@$lxor1\$@ @A@1\Y@$@$of_N1\YÑ@ >j@A@A1\@)@$pred1\ @ j@A@B1\@.@$quot1\֑%@ }@A@1\@5@$sqrt1\,@ @A@A1\w@:@$succ1\w1@ @A@BC1\k@?@$to_N1\k6@ @A@1]@G@$zero1]>@ eD@A@A2:@L@%abs_N2:C@ @A@21@R@%ldiff21I@ ߵ@A@2=*@X@%quot22=*O@ @A@ABC2kF@@(size_nat2kF@{@A@3@x@(tail_add3o@^q@A@ADEFGH3@}@(tail_mul3t@^@A@5Z@@*shiftl_nat5Z@y/@A@5f}@@*shiftr_nat5f}@4@A@AB5a@@'iter_op5a@ @A@C6w~@@'of_uint6w~@^5@A@8j@@'of_uint8j@'"h@A@9E@@(div_eucl9Eđ@(*k@A@AB:x@6@,Nsucc_double:x-@ ʭ@A@CD@[@&divmod>R@C@A@>@b@&double>Y@NĴ@A@?2@S@,pos_div_eucl?2J@-u@A@AB?;@m@&modulo?;d@"i@A@CEFGIJ@@%Arith#Coq@0I|кX*o4)ArithRing+setoid_ring#Coq@0ṔCgt?}*Arith_base%Arith#Coq@0Ĕ}CS&Basics'Program#Coq@0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C00BpHޞun^)BinIntDef&ZArith#Coq@0ådR4Tuy'BinList+setoid_ring#Coq@0Au&BinNat&NArith#Coq@0K11ڤs+Π)BinNatDef&NArith#Coq@03@1O,[{ 'BinNums'Numbers#Coq@0dmk(5Ju<&BinPos&PArith#Coq@0vyػ0= u)BinPosDef&PArith#Coq@0}H d.%,b$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1+Compare_dec%Arith#Coq@0jXF 8@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua%EqNat%Arith#Coq@0AIgՋXRV *EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼*Equalities*Structures#Coq@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ)Factorial%Arith#Coq@0@oehJd-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh.@0k/T=cN"Le%Arith#Coq@0d}Omq+$List%Lists#Coq@0>I+ListTactics%Lists#Coq@0,Jcy{ l0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ%Minus%Arith#Coq@0LFtR")Morphisms'Classes#Coq@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$Mult%Arith#Coq@0햖Qyb0$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠$Nnat&NArith#Coq@0$W;s #%M)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ%Omega%omega#Coq@0t.J'6\ϨrK+OmegaLemmas%omega#Coq@0TJ#Jes4Operators_Properties)Relations#Coq@0U3y#h&&Orders*Structures#Coq@0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%%Peano$Init#Coq@0 jha|ؠ(PeanoNat%Arith#Coq@0O~2$k[#lZ)Peano_dec%Arith#Coq@0Kݢ*k$Plus%Arith#Coq@04tmG$Pnat&PArith#Coq@0,?pr.gZ(PreOmega%omega#Coq@0\|چBb~w4'Prelude$Init#Coq@0JqTttֱ%Quote%quote#Coq@0J@ŹVz-,3%/RelationClasses'Classes#Coq@0Gz rA6ՠ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0-SetoidTactics'Classes#Coq@0S_`nOU$ U0;RWMi\N'Sumbool$Bool#Coq@0sB ,$11.]m'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03+compute_POSF@@@ B@@@@"B@ ./theories/ZArith/Zsqrt_compat.vbbݠDA@ bbᠠ"X1bb@bb@bb@E@Ba@A B2cc?LFI(=cc@@@@0^0]0v@@/*@C@Qd d @ @C AA@@@AA@ %Pos2Z@&inj_xI@re+e+<Hdye+e+IK@|e+e+<K@@@@@@@@@@@gWgWkoB@gWgWqsgWgWtw@gWgWqw@gWgWkx@@B@B Bh~h~h~h~@@@@@ii@@C AA@@@A@@&inj_xO@jjڠjj@jj@@@@@@@@1N$@@B@1$0 @1 @@@@@@"_90E@A@@@@@@@@A@#_10'`o@@A'Z_scope@1<@#_11'`o@!@AE@@@1O1R1U1;1@0Ơ2 Q@@G@#_121w@0 ;1DB@#_132M접 DD@A#_14'`o@DB.function_scope@@1AA0@#_15? 3V/_rect_from_type0,02 Q@@7@#_161@0.`Lzx@#_172M접 DD@A#_18'`o@Dx68@@1AA0@#_19? 3V._ind_from_type0+02 Q@@l@#_201@0.`Q@#_212M접 DD@A#_22'`o@Dkm@@1AA1@#_23? 3V._rec_from_type1+02 Q@@@@#_242@09@A@@@@@#_252M접 AA@A#_26'`o@A.positive_scope@C@ՠ2 Q@@@@#_272<@9@A@@@@@#_282M접 AA@A#_29'`o@B@@Rq@̠2 Q@@@@#_30\&-@#_312M접 AA@A#_32'`o@A-@v@2 Q@@@@#_332@tPa@A@@@@P@#_342M접 #_35'`o@BQ@@@m2 Q@@@@#_392@x#\@A@@@@x@#_402M접 #_41'`o@By@@@j2 Q@@@@#_542@u)s@A@@@@@#_552M접 #_56'`o@B@@ @q2 Q@@@@#_752@|?e@A@@@@@#_762M접 #_77'`o@Cɠˠ@@٠ܠ@p2 Q@@A@#_783)@{M(4@A@@@@@#_792M접 #_80'`o@A@?@@@k ms-^'RRɄ@<3cjS 򄕦@0Liy@FGk #D[k)>$x G10А!n'BinNums'Numbers#Coq@@!Z7@ @@AA@AA@@@@@@D!z@&BinInt&ZArith@"le1P,'AA%Logic$Init+@#andЖw@ @#mul1P])BinIntDef"8@ ,Zsqrt_compat+@+Zsqrt_plainbeB 7@"lt1P-@@#add1P& @ ̀cBg@(positive*@CD"HpXMMKA@P@"eq @)DatatypesW@*comparison;f@ A Cf@%Falsee@Bs#ACwlbYrTN!pKFVȐ!sx@%Zsqrt9cw%Pos2Z@)is_nonneg2o&Specif@$sigT#6@ٷک @#sig#* @ⷐ!rmDǩƠ٠  +BBB@@@@DH5K,& ߠ E$栩&Ġ  젩"!xR"h#I%C&*ɐFAC =3 z5"s0OQ"@ ;fBBB@@@@DpLjM#հQ'C-,?0 2#  7b!a:BBB@@@@D@DrG>*Ob - F("YlNzz(H<U71i#Heq&$HintpCodZݩQߩjLF:C@)False_induُwqoj d+G; 3Coq_ZArith_Zsqrt_compat_Zsqrt_plain_is_pos_subproofж"H3}{B巐!m@ѠƩ@.Zsqrt_intervaltPa̐"H1·"H2ŠР@"or @BAAAA@@@@@D@,Ơ @+le_gt_cases* !HUw.,G-ȷ@@?@#notШ@ (@]/@&le_ngt Z@@@9iWUpV%.21D@(le_trans  +  :DȐ(hyp_list@$list]@A@$prodt@,Ring_polynom+setoid_ring}@%PExprk@ Ȑ'fv_list$BO"* *ZArithRing@.Zr_ring_lemma1 80𚠐(Ring_tac#@0ring_subst_niter!Z.E3G8DR ACbũ@$Truey@A3O@$boolZ'@A@` Ȑ#lmpb@.mk_monpol_list(@#sub1P@ p@#opp1P@ {%Zbool@(Zeq_bool0߀@'quotrem\@/ŀw@#Monf@@#Polj@@#Peqj*(@*norm_subst7:d0!;5/'x0#=71)`LC%̠éΠM@&eq_ind J2٠ݠ\ٷ%;" [CM:3QO})Decidable'O@+dec_not_notHɀB@,le_decidableHƀ?/CM@"gt1P,6:J@&ex_ind 5{|!ygX%Zvar0&Omega0 Xc%Zvar1&Omega1!P@Awrp@(eq_ind_r!2#vSy]J@QH+OmegaLemmas%omega@7fast_Zopp_eq_mult_neg_1=ҀϷ@e/@/fast_Zplus_comm11ʶ@:&Omega3w &@>;K߶@ǠJ@NN_^\ЩɩYʠ@թʠ'YtW@/fast_Zmult_comm. @+l,j@8fast_Zplus_assoc_reverse 'ʩƠEw$@ Π= ,@ ֠ؠH Ga6@ࠩR䠩c&D@,! .)@0fast_Zplus_assoc Da~  @1fast_Zred_factor3& B`@H= <(ԩ@1fast_Zred_factor5(&Omega2VK$O@,fast_OMEGA11IMSS\z|#E ZWEG+M/Q`+ff)auxiliary9[=_&9tt/xEgIkEC/)@'compare3xr@]=%CM+auxiliary_1+auxiliary_2 RhMe@,fast_OMEGA13KN"hYSGG&FC@`Z12PMC@O2@&OMEGA2.$Dũ"CCKh@/Zmult_le_approx"8=8AAL@&OMEGA1.$Cʠz'gM@(Zgt_leftEՠːIܠ9 멚'@(Zlt_left,ڀp@'new_var&/wS&Zorder@*Znot_le_gt>/ 0Coq_ZArith_Zsqrt_compat_Zsqrt_square_id_subproof9#Haa@$(Wu/ 1Coq_ZArith_Zsqrt_compat_Zsqrt_square_id_subproof0Q/9@;0h=2  6穷 1Coq_ZArith_Zsqrt_compat_Zsqrt_square_id_subproof1c*($N!  1Coq_ZArith_Zsqrt_compat_Zsqrt_square_id_subproof2  pNX9 @K^@11(+*D%0j@1mul_nonneg_nonneg#"~55;;=V872@~TK#Zhwww @Z 24ky@@@%lemma@#iffС))Morphisms'Classes@4iff_impl_subrelation5ZW_#@+lt_eq_cases0㜀/ 2-0Ȑ"H0@@@@@<_nge1 @@@ܰ͠}}ϠŐ@+le_lt_trans56  ڠ  @1Zmult_le_compat_l`XL?q!$"=#@Ԡ@@9۠D "@⠩L6@7蠩-S%@1mul_lt_mono_pos_rlZ@@@<`LOMhN@+%'Щ CCC9ECa?!r2@&eq_sym Xd;ʩʩ?B3W@2mul_le_mono_nonneg0N@6+k.1Ʒ?4%9w*9@,fast_OMEGA14L@FCC:$(Nr 6Dh<JhgNDRppoJXumqn^#!t %Zvar3&Omega8.),%Zvar4'Omega12947,"%Zvar5'Omega13'%J"4pDK@km6ʶ@t >x'p ֶ̰@i13N'Omega11ɠ%<VTȩbQc@ؠͩũ fM@ש nQ4@ߩ~xBK @ @ 'Omega10ɠˠ9` Ϡ8c:e©Nנ٠ 1ߠm#ew`vv"#@(imp_simp{a%d&Q/9=@,lt_decidablè|*H@"ge1P,/Z:VWL9;Qqyzթ}~W  NQQ`p@vk<&Omega7{p=nrx)NtXfRv@N̩÷@XZP#]d@d0ksmj640B~S^Զ@~,H+ܶ@ĠO ʠŵ#CpjA`C 8<F@,fast_OMEGA10H(VP֩Š$T7ˠ͠ ?Z@,fast_OMEGA12J3 cFoLhKF4ߠnr򩚠p@&OMEGA7.$I ̠. Р21 uu=@(Zge_lefts LPqF@(Zle_left*x퀰 Ip l%{ "B ٩ K LҰ N % O&Omega9 T U۰ W   2ʷ \ _ ` b 9ѷ c'Omega14_۷'Omega16 R GٷM r` # IN簷V t@ \ Q G˰^ |@ d Y & (M Yj:<yk @ q f 3 e 5= x m : <M멷w r  N t˩ũ |nٷé   Ls    ^   @   Y   $*   a  ]  h !  Ʃ L ȩ o  @,fast_OMEGA16N-% %  5 ө z 3 v  ] O c    9 'Omega17 o    ǩ?@,fast_OMEGA15M$/    UMM M06   !5 T7'Omega18  ?  [ >9' _ ⩚]@&OMEGA6.$HЩ Q Sh 됩g@&OMEGA8.$J1 1  d z :D . W_  Р  # {y{ F @*Znot_lt_ge>π   ;l`dߠ \멷  P  Q T ÷ U X Y ߰ [ 2 ʷ \~| B `@ H = p ԩ J h@ P E  D ܩU  T r@ Z O  h N p  \ z@ b W $ V g g \ ) K f j @ p e 2 4:   s @ y n ;  m ϩ } @  x E= թ  } J} { N6 CD E⵵?C@{ 6 0   ' $C@  & `1- bZ n D@  l> f:43S 0 9- ˷+1W ηR ϩ U   @) ҷ'^ շY ֩ \ M  G% ٷ#!  ݶ@ Š   S6!  @ Ϡ ĩ    \ C '0F  @ ۠ Щ    g η  @  ة   o!  ݩ { [[ KG2DB  @   8    ? 3pV  U,tt Wu@ ɠ  YcQL ^   Ԡ  쐩 G )Coq_ZArith_Zsqrt_compat_Zsqrt_le_subproof  9!q < F $   FN ' *Coq_ZArith_Zsqrt_compat_Zsqrt_le_subproof0  F  G N^ &\ *Coq_ZArith_Zsqrt_compat_Zsqrt_le_subproof1 *Coq_ZArith_Zsqrt_compat_Zsqrt_le_subproof2  R Ss  -     A  *Coq_ZArith_Zsqrt_compat_Zsqrt_le_subproof3  `' a     K  z *Coq_ZArith_Zsqrt_compat_Zsqrt_le_subproof4   k2 l J C2 = @ G3 2 Z `  L 7 ~ & v@ k3  ~ o  e $ f̩ʠ k; Ű n ] z z ;   b  eF g I @  F ~ <   >  z t  0 u / w  T   I  j    : # %  C } V As * P@   G k I{  4  h b ՠ Q < S  r  z )  p D_ Z ? r Q0 J a  q@   Q à̩  U ѐ  ө     n    Ԡ [  @'le_refl/(   ͐ H   ) ۩ ː ߩ    u       | }{   &x  *  ;   @   ? 1   !@   ˠ z y >  *@   Ԡ    jhql  4@   ޠ   2 -# #  堩  HqQ & D@ , !  ^q 3 >  0 N@ 6 +  *  © 3 X I  / = o > \@ D 9  Щ %^ X J h@ P E  ܷ U J #   J P   ! - Sw Rg Ap b ][  p \  N 5 91 0 6"H4 \7 -          #    !  [ t     *  %  (  {   1  ,  / S         ' c  y [ q V C  @   c Ӑ / ܩ    ԩ   ɶ@   s  =    xI z ) C A  =       ~ T  2 n "  ݰ!׷z Π é % b  $" C C  &D O   ̩2   =  X Š   & ȩ ␩   ᐷ \   ѷ  ѩ   թ    .              "  #  %    & [  &Omega6  [  T  1@   ۠ S   w vW q3   =@ %  &e d *  d t   o   j  ɩ 5 * o  0ke 2mgijd(2   4   4 Z %  Xx ^   ѩ J ??    CC  4G  é   H ES   O    N (  K  r S  b   E W  _ @a gZ ^  [  M   f       y e            l       g ҩ )  @  { H j  ǩ   Ov Q    #  @   Y   #  @   a  + @1fast_Zred_factor6)  Ķ@   n  8 E   s)  , w/  y ( n o  * p         S ǰ U l Ð  5     ٷ ة ֩ x ] ^ n  a^ |  b g   Sj̩ J ʩ : 3 Z· Q % G A W  :    N R(  ` e   C  E&   d  G Y Y1 Z*ZArith_dec @+Z_le_gt_dece  P@'sumbool7̂K@  BAAAA@@@@@D u  5 I@$sqrt1\ @  O!lB  V)@+sqrt_uniqueىM  ] [!gA:P+ װS     Y$      ; B@@@@@D  @   E  C@     q, f>K S   ͠T  쩷 Y   T  ֠] !e@@@@@@@@@@@D!c  f  Ȁ i %k ܶ@ ©R.d շ  Q 6 j  uӺ