"` {o尠'ZAxioms(Abstract'Integer'Numbers#Coq@d2Relation_Operators)Relations#Coq@4Operators_Properties)Relations#Coq@)Relations#Coq@*Equalities*Structures#Coq@&Orders*Structures#Coq@4Relation_Definitions)Relations#Coq@-SetoidTactics'Classes#Coq@&Setoid'Setoids#Coq@$Init'Classes#Coq@/RelationClasses'Classes#Coq@)Morphisms'Classes#Coq@.Morphisms_Prop'Classes#Coq@*NumPrelude'Numbers#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@-GenericMinMax*Structures#Coq@(NZAxioms&NatInt'Numbers#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ֱ&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!>*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%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w&NZBits&NatInt'Numbers#Coq@0MlIpKtf~ݍ$}~x‹JР'ZAxioms(Abstract'Integer'Numbers#Coq@ A&ZAxiom@@!Z@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%"$@.@*"$A@@@@@(eq_equiv @@/RelationClasses'Classes1@+Equivalence~@J@F"$N@/"@@@FA݋X_A@A@@;$zero @T`@\"$@@@@@AA@@A@$succ @r@r@n"$v@r"$@@@@@$pred @d@@"$@"$@@@@@)'succ_wd @@)MorphismsX@&ProperL@@"$@"$@*respectful%WO?@"$@"$@"@"@X.Ě@@@AviA/@A@@d'pred_wd @@;@@"$@"$3@"$@"$@"@"@s.p%@@.@@)pred_succ @@!n@"$@" @.p%@.ĚA@@@@@,bi_induction @@!A@"@"$@@*@&"$0@,"$4@"%Logic$Init*@#iffС).@BF@/j@PL@H"$DAW@.ĚH`\@X"$EO@@@@#one @Tl@h"$@@@@@ #two @Tz@v"$@@@@@(one_succ @@@i"@*"ƀ@*.Ě@@/j@@@@@7(two_succ @@@"@9"@G.Ě@Q"ƀ@@@@@T#add @d@@"$@@"$@"$@@@@@l#sub @d@@"$@@"$@"$@@@@@#mul @d@@"$@@"$@"$@@@@@&add_wd @@s@ @"$@@ "$@"$p@"$@ @"$$@ "$(@ ".@*"$2@."$6@":@">@"I@@~@@ޠ&sub_wd @@@N@J"$@S@O"$W@S"$]@Y"$@b@^"$f@b"$j@K"p@l"$t@p"$x@Y"|@]"@"쀐@@@@ &mul_wd @@@@"$@@"$@"$@"$@@"$@"$@"@"$@"$@"@"@"@@@@b'add_0_l @@Ԛ@"$@"@""I@/jА@@@@@*add_succ_l @@򚠐@"$!m@"$@"@G"I@.Ě @.Ě@Y"I@@@@@'sub_0_r @@%!@"$&@",@["쀠1@/j!@@@@@Ѡ*sub_succ_r @@C?@;"$QD@@"$I@*"O@~"쀠U@.ĚFZ@.p%`@"N@@@@@'mul_0_l @@rn@j"$s@T"y@"~@'/jn@+/j@@@@@"*mul_succ_l @@@"$@"$@{"@"@>.Ě@"I@"@@@@@Q@(NZAxioms&NatInt'Numbers#Coq@,NZAxiomsSig'@@@@"$@@!t"$J@@A@A"@@"eq"^@@A@"I@@"Id@@A@AB"@@"d@@A@"@@w"ƠT@@A@A"@@ "d@@A@"@@q"T@@A@A.p%@@j.p%d@@A@.Ě@@.Ěr@@A@/j@@/jT@@A@ABCDE@)succ_pred @@!n@@@"$ @"eq"@.Ě@.p%A@@@@@AA@@A@@@@@@@@#Opp1@A!T?@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@@*Equalities*Structures#Coq@#Typ@@@-@)J@@A@A@#opp @d@A?h@b@@@@@O@@@@@@ @J@ d@@A@A@+OppNotation@BP@O3@@) @@S) *@A@A@C!O@. @-@@) @) @.@@{@y @@@@27@@E271@A@A@@@@@@$Opp'@D@e@@%"@@%"\@A@A@[ @Z@@%"@%"@[@@@@@@@@P @!@mP Y@A@A@%IsOpp@E@Р @@ @\@@\@@@Ƞ @@\ @d%@@@נ @)@\@@@ @@3@\7@\@@@ @@A@ \E@\@@@ @@Q@\U@!\[@'\_@+\c@d%g@d%k@@{@@٠u @t@w@C\{@G\@M\@Q\@:d%@>d%@@s@@q @po@g\@Qd%@@ml@k@@i @hg@@\Y@@@\a@\g@zd%e@[@IE@@\sZZ@G@\X@V@@RT @S@\@Q@@[O @N@\@L@@dJ @I@d%@rK @r@E@H@@}F @E@d%@} #@(@K@D@@B @A@2@\@7@\;@\@?@@= @<@E@\@J@\N@\@:@@8 @7@X@$\@]@)\a@-\@5@@Ϡ3 @2@m@9\@r@>\v@B\|@H\@@M\@Q\@:d%@[\@_\@Hd%@Ld%@΀@1@@ / @.ⰶ@@w\@@|\@\@\@@\@\@xd%@\@\@d%@d%@q@-@@K+ @* @@\@@\@\@\@@\@\@d%0 @\@\@d%@d%@@)@@' @&%@\*@d%0@G΀5@E@%@@# @"?@ \!D@\I@d%O@f΀U@Z@`@w΀@@@Π @>j@6\o@ d%u@tq6z@E:@@@蠠 @X@P\f@U\@?d%@q%@[@@qc@@@ @@{\@ed%@@8E@<E@@@1 @@\@\@d%@@K@΀@@ @@\@ @@\@@\@A@Ad%@@d%@A@@@@A@AB@@@A@K@@pK@A@Aq@@q@A@ @ @h @A@A@ @`@A@@@v@A@E@@E@A@ABCDE@Fa@ @@"@\@\@@@@W @@@@fr@@fr@A@A@&opp_wd @@)Morphisms'Classes@&ProperL@E@\@*respectful%WO?   @d%F,@fr@@@"AviA%'Classes#Coq@@A@@%opp_0 @@-@E@@@@@-(opp_succ @@X;/-@@BE@:I@@@@@G@@@5D@.OppCstNotationt@G!A@l @kj^]@@@[X @W@@{ D@@ DV@@@@@mT @@S&@ D*@w D@@H@@D @C6@ D@@@@@B? @>@C@ DG@ D@@@@@S= @<@T@ DX@ D@@@@@d; @@:@g@ Dk@ D2q@ Du@ Dy@ D}@ D@ Q@@-@@) @@c@@ D@ D[@  D@  D@ D@ D@ QY@@V@@( @@'@  D@  D@ QY@ Q%$@@@@@Ԡ# @@"@@ > D @@@ F D @ L D "@ 5 D D@@  RS@e@ ] D.@  Q[s@ k D@@@@  @@ w D@@@@@  @@  D@@@@@ '  @@(@ u D-@6 E2@ 6 Q7@ L RS@@@@@ C  @@D@  DI@D EvN@ R QS@\ E@@@@@ _  @ @`@  D@e@  Di@  D@@@@@ u  @@v@  D@{@  D@  D@@@@@  @@@  D@@  D@  D@@@@@  @@ w@@  D@@  D@  D t@  D@@  D@ $ D@  D @ . D@ 2 D@  D@  D@ E7@@ @@ ⠠ @@ @@ M D@@ R D@ V D @ \ D@@ a D@ e D@ N D @ o D @ s D@ \ D@ ` D@ Eڀ@@ @@ # @@ @&@  D@+@  D/@  D 5@  D@:@  D>@  DB@  D H@  DL@  DP@  DT@  DX@ En@@ @@ d @@ ՚e@  Dj@  Dp@ # E7u@  RS  ѐ@@@@@  @@ 򚠐@  D@  D@  D@ E E7@  Q @  Q@ V E7@@@@@  @@ @  D@  D@ V Eڀ @  RS @@@@@ ̠ @@ =@ 5 DK@ : D@ $ D@ x Eڀ @  Q @@  QY@  EڀH@@@@@  @@ k@ c D@ M D@  En @  RS g@ $ RS@@@@@  @@ @  D!@  D&@ s D,@  En2@ 6 Q 7@  E7=@  En @@@@@ I@+NZAxiomsSig@@ D@K@ D@A@A D@M@ D@A@ E7@P@  E7@A@AB En@R@  En@A@ E@V@ _ E@A@A E@X@  E@A@ Ev@\@ W Ev@A@A QY@^@ O QY@A@ Q@a@ e Q@A@ RS@d@ y RS@A@ABCDE@H!B @~ @}@w@  D@  D@~@@@P @@@@ A@@ A@A@A@@@@@@.ZAxiomsMiniSig @0 @  %'A*Equalities*Structures#Coq@@@ @ %'@ @A@A@@@ A @ @!@M=@&@R=A@@@@@   @@/RelationClasses'Classes*@ ~@@@l=D@l=𸍀@@@>A݋X_A 'Classes#Coq@@A@@ +  @ Y@ J=@@@@@   @ @f@ W=j@ [=@@@@@   @ @w@ h={@ l=@@@@@   @@ 氶@@ {=@ = @ =@ =@ r=𸍀@ v=𸍀@ 1=f@@@AviA 'Classes#Coq@@A@@ B ސ @@ @@ =@ = @ =@ =@ =𸍀@ =𸍀@ P=@@@A2@A@@ m ߐ @@ ޚ@ =@ =𸍀@ j=@ =f  ې@@@@@  ڐ @@ ٶ@@ = ˶@ h@ @ = ө \@ = ٚ@ =𸍀  @ ͐@ = @ #@ =  ̩ ̐,@ =f  *1@ "= ʐ@@@+A@A@@ Ƞ ʐ @ ɚ?@ 0=@@@@@ Ԡ Ȑ @ ǚK@ <=@@@@@ ࠠ Ɛ @@X@ .=𸍀]@ =Ub@ =fg@ = @@@@@  Ő @@t@ J=𸍀y@ =]u~@ =f@ =U@@@@@ "lt @h@@!t=@@=A@@@@@AA@@A@"le @h@@=@@=@@@@@%lt_wd @@ @@ =@@ =  @ =@@ = @ =𸍀 %@ = @ =𸍀 @"lt=@@@A@@A@@ {+lt_eq_cases @@ 횠@ = @ = @^= 㩛 @"or @ @*= 𩚠@ =𸍀 @@@@@ )lt_irrefl @@  @= @#notШ,@I=  @@@@@  )lt_succ_r @@ 4;@,= B@@1= G@d= M@ =f 3R@= 5@@@@@ 砠  @ @_@P=@d@U=h@Y=@@@@@   @ @u@f=@z@k=~@o=@3@@  @ @@{=@@=@=@H@@'  @@ @@=@@=@= @=@@=@=@=𸍀 @=@=@=𸍀@=𸍀@ =A6@@@A/@A@@j  @@@@@=@@=@==@=@@=@=@=𸍀P@= @=@=𸍀@=𸍀@ :=[ـ@@@Ar@A@@  @@@'@=@,@=0@!=6@'=@;@,=?@0=C@=𸍀I@:=M@>=Q@'=𸍀U@+=𸍀Y@ e=Sm@@@SA@A@@  @@ah@Y=m@C=𸍀s@ =A6x@= ]]@@@@@   @@~@v= @{=@e=𸍀@ =A6@(=f @-=f@ =A6 @@@@@;  @@@=@=𸍀@ =[ـ@a= @@@@@X  @@ɚ@= ך@=@=𸍀@=[ـ@s=f̩@e=@=[ـ Ԑ@@@@@  @@@=@=𸍀 @=Sm@= 󚠐@= @@@@@  @@@= &$@=)@=𸍀/@;=Sm5@=f $:@v=A6@@L=Sm #%@@@@@ՠ#max @d@O@!t=@U@=Y@ =@@@@@AA@@A@%max_l @@!xl@=!ys@$=@y@"le=AB@"eq=𸍀@D=QC@@@@@2%max_r @@/@J=-@O=@@+=)*@(=𸍀@k=Q'4@@@@@W#min @d@@p=@@u=@y=@@@@@o%min_l @@l@=j@=@@h==@d=𸍀@7=Rcb@@@@@%min_r @@@=@=@@= @=𸍀@[=R@@@@@  @  @ =!@ =𸍀'@=f-@=  @ @@  ː @ ʶ@7@(=;@,=@ @@  1 @ 0 /@G@8=K@<= 'Q@B=U@F=Y@ F=𸍀]@ J=𸍀a@ =U䀐@ ,@@ = ! @ k@ X=𸍀q@ =U䀐v@= z@= @ +@@ V ) @ ( @u=@ v=𸍀@ *=U䀐@"=f u@=@ ;=U @ 7@@ |@@@ %'@A@@]@AB@@=@@ = @A@A=@@ = @A@=@@=h@@A@AB=@@,=h@@A@=A6@@=A6 @A@A=Q@@v=Qd@@A@=R@@ =Rd@@A@ABC=Sm@@=Sm @A@=U@@X=U @A@=U@@ d=U P@A@AB=[@@=[ @A@=]u@@S=]u @A@A=@@K= @A@=f@@a=f @A@= @@u=  @A@ABCDE@/ZAxiomsMiniSig'@ܠ  @ȶ@ @ yS8@@ yS8ǐ@@@ɠ @é @$ yS8 @$ yZ@@@ؠ @)@ yS8@@@ @@3@ yS87@ yS8@@@ @@A@ yS8E@ yS8@@@ @@Q@ yS8U@" yS8[@( yS8_@, yS8c@ yZg@ yZk@ @@@ڠv @@w@D yS8{@H yS8@N yS8@R yS8@; yZ@? yZ@ 9@@@r @p@h yS8@R yZ@ 9@ nm@@@j @h@@ yS8Z@@@ yS8b@ yS8h@{ yZf@\@J Ԁ@@ yS8t[[@H @ yS8Y@@@SU @@ yS8@@@\P @@ yS8@@@eK @@ yZ@s yڀ @s @ Ԁ@@@~G @@ yZ@~ y#@ (@ yڀ@@@ @~@2@| yS8@7@ yS8{@y@@wt @s@A@ yS8@F@ yS8@q@@o @n@R@ yS8@W@$ yS8]@* yS8@b@/ yS8f@ yZl@9 yS8p@" yZ t@m y[<@l@@㠠h @gS~@K yS8a@P yS8!@ y[-If@ y[<P@H yZU@`@@^ @]u@m yS8\@ y[<W@V@@T @S@~ yS8@ yS8T@ y[<O@, @ y[-@R@@7 @P@@ yS8@@ yS8@ yS8@O@@Jސ @M@@ yS8@@ yS8@ yS8@L@@]ِ @K@@ yS8@@ yS8@ yS8@J@@pԐ @IE@ @ yS8@@ yS8@ yS8B@ yS8@!@ yS8%@ yS8)@ yZU/@ yS83@ yS87@ yZ;@ yZ?@W y]@H@@А @D@K@ yS8@P@ yS8T@! yS8Z@' yS8@_@, yS8c@0 yS8g@ yZm@: yS8q@> yS8u@' yZy@+ yZ}@} y@C@@젠̐ @?@@V yS8@@[ yS8@_ yS8@e yS8@@j yS8@n yS8@W yZ@x yS8@| yS8@e yZ@i yZ@ y@>@@*Ȑ @:@ yS8@| yZ@ y]@O Ԁ@9@@DĐ @7@ yS8š@ yS8@ yZ@ y]@^ @c @ y]@6@@o @4ߚ @ yS8@ yZ@ yך@ Ԁې@3@@ @1$@ yS8)@ yS8.@ yZ4@4 yƩ:@ ?@ 9E@E y@0@@ @.$O@ yS8T@ yZZ@B y_@ Ԁ c@ Ԁ@-@@Ҡ @+Bm@: yS8Pr@? yS8w@) yZ}@e y@ ND@ y]@v yMO@*@@( @'@@% yS8@@* yS8@. yS8@$@@" @@8 yS8@= yS8@@ y[-@ yZ@X y$@@@B @=@X yS8;@] yS8@@9 y[-@5 yZ@x y$4A@ @@b  @ @@x yS8@@} yS8@ yS8@@@u @p@ yS8n@ yS8@ @l y[-A@h yZ@; ygf@@@ @@ yS8#@ yS8@)@ y[-.@ yZ4@[ y@@@ @>@  yS8C@  yZI@ O@ 9  @ @@ɐ @ȶ@Y@& yS8]@* yS8@@@/ @.-@i@6 yS8m@: yS8%s@@ yS8w@D yS8{@D yZ@H yZ@ y @*@@; @@V yZ@  y @ Ԁ@ Ԁ@)@@T' @&}@s yS8@t yZ@( y @  s@ 9@9 y ~@5@@z@@@ %' @A@ @ [@AB@@ yS8@@ yS8@A@A yZ@@ yZ@A@ y[-@@  y[-@A@AB y[<@@ ) y[<@A@ y]@@ y]@A@A y$@@r y$@A@ y@@ y@A@ABC y@@ y@A@ y@@R y@A@ y @@^ y J@A@AB y@@ y@A@ y@@M y@A@A 9@@E 9@A@ @@[ @A@ @@o @A@ABCDE@&HasAbs@I@ ڠ @ ƶ@ @@@ Ő@ @@Ǡ @  @" @")@ @@֠ @ )@@ @@ @ @3@7@@ @@ @ @A@ E@@ @@ @ @Q@U@ [@&_@*c@)g@)k@P#@ @@ؠt @ @w@B{@F@L@P@9)@=)@@ @@p @ n@f@P)@@P#lk@ @@h @ f@@X@@@`@f@y)d@Z@HI@@rYY@FP#@W@ @@QS @ @@ @@ZN @ @@ @@cI @ @)@q?O @qP#@I@ @@|E @ @)@|G#@P#(@?O@ @@ } @ |@2@ z@7@  y@ w@@ u r @ q@A@ @F@  @ o@@  m @ l@R@@W@"]@(@b@-f@)l@7 p@ ) t@ k@ j@@ᠠ f @ eQ~@I_@N@ G d@ N@F)S@ ^@@ \ @ [s@k Z@  U@ T@@ R @ Q@|@R@ M@*P#@ @ P@@5 @ N@@@@@@ M@@Hܐ @ K@@@@@@ J@@[א @ I@@@@@@ H@@nҐ @ GC@ @@@@@@@!@%@)@)S/@3@7@);@)?@U*Ҁ@ F@@ΐ @ B@K@@P@T@~Z@%@_@*c@.g@)m@8q@<u@%)y@))}@{Eu@ A@@ꠠʐ @ =@@T@@Y@]@c@@h@l@U)@v@z@c)@g)@= @ <@@(Ɛ @ 8@@z)@*Ҁ@MI@ 7@@B @ 5@@@)@*Ҁ@\P#@aP#@*Ҁ@ 4@@m @ 2ݚ @@)@Eu՚@Iِ@ 1@@ @ /$@)@.@)4@2Euĩ:@P#?@E@CEu@ .@@ @ ,"O@T@)Z@@= _@Ic@I@ +@@Р @ )@m@8Nr@=w@')}@c= @P#LB@*Ҁ@t= KM@ (@@ & @ %@@ #@@ (@ ,@ "@@   @  @ 6 @ ;@@  @ )@ V;  @ @@ @  @  ;@ V 9@ [@@ 7 @ 3)@ v; 2 ?@ @@ `  @ @@ v@@ {@ @ @@ s  @  n@  l@ @ @ j ?@ f)@ 9<' e d@ @@   @  @  #@ @)@  .@ )4@ Y<'  @ @@  @>@ C@ )I@P#O@ @@@ǐ @ƶ@Y@$]@(@@@- @,+@i@4m@8#s@>w@B{@B)@F)@?@(@@9 @@T)@?@I@I@'@@R% @${@q@r)@&?@P#q@@7?|@3@@x@ Ԡ@@@@@A@A)@@)@A@@@  @A@AB@@' @A@*@@*@A@A;@@ p; @A@<'@@ <' @A@ABC= @@= @A@?O@@Q?O@A@A?@@\?H@A@Eu@@Eu@A@ABG@@JG@A@@@C@A@P#@@YP#@A@I@@mI@A@ABCDE@#abs @d@I@@@@@@&abs_eq @@@@"le@Iө@).@/&wtB@@@@@ᠠ'abs_neq @@ 5@% ;@?@@@@@@@@@@@&wt@I@M&wtd@@A@A@&HasSgn'@J4@)V @@ @a.@@f.@@@ @@q. @q@@@% @)@C.@@@堠 @@3@M.7@Q.@@@ݐ @@A@[.E@_.@@@ؐ @ְ@Q@k.U@o.[@u._@y.c@bg@fk@!_@@@'Ð @@w@.{@.@.@.@@@4 /@@@M @@.@@I /@b_@@@h @ݶ@@.@D@@.8@.@׶@@ʀ@@.@_@.@@@ @ؚ@.@@@ @՚@.@@@ @ҩ@@NЀ @_@ʀ@@@ˠ @ϩ@@V#@_(@NЀ@@@䠠̐ @˶@2@.@7@.Ȑ@@@Ġ @@A@.@F@.א@@@Ӡ @װ@R@l.@W@q.G]@w.@b@|.Rf@el@.\p@oZt@2@@@0 @~@.@.n@#@2@@@@R @š@.@2@@@c @Ӛ@.ᚠ@.@2@y_ҩ@O#Ԑ@@@0 @@@.@@.@.@@@+ @@@.@@.@.@@@& @@@.@@.@.@@@! @@ @'.@@,.@0.@6.@!@;.%@?.)@(/@I.3@M.7@6;@:?@:S@@@ @а@K@e.@P@j.T@n.Z@t.@_@y.c@}.g@fm@.q@.u@ty@x}@T@@@9 @@@.@@.@. @.@@.@.@@.@.@@@L@@@w @皠@.@@5:S@ʀ@@@ @@.@.@@T:S@_ @_@e:S @@@  @, @$.@@bT$@ʀ(@@@֠ @~F$@>.T)@C..@-4@T:@_I?@ /E@TQ@}@@ @{qO@i.T@SZ@L_@&ʀmc@*ʀ@z@@ @xm@.r@.w@v}@L@9_@:S@L@w@@Ju @t@@r.@@w.@{.@q@@ol @kj@.h@.@@f#e@b@Ka`@_@@] @\@.@.@@#[@@K@Z@@X @W@@.@@.@.@U@@ S @R@.@.@ @#@@K@Q@@⠠O @Nݚ@.ۚ#@.@)@#ة.@4@K@M@@d @cb>@ X.C@YI@_O@ /XW@V@@T @@Y@ s.]@ w.@@@b| @{z@i@ .m@ .rs@ .w@ .{@@@GO@w@@l @k@@WO@ _ʀ@ cʀ@v@@t @sʚ@ .@@uO@ m_@ _ /@Oː@@@@O"@@.@@".!@A@A@@ @A@#@@Y#J@A@AB2@@u2I@A@:S@@=:S$@A@AK@@KH@A@K@@QKG@A@ABCL@@L(@A@N@@N(@A@AO@@O@A@T@@6T*@A@ABV@@V'@A@ /@@  /'@A@_@@ _&@A@@@ %@A@ABCDE@#sgn @d@J!##@!.@@@@@ (sgn_null @@5@@)@ ʀ A(@*0tI @@@@@('sgn_pos @@S.@0@"lt2;%8@#oneNЀ@@@@@A'sgn_neg @@lG@38.L@O@@@@@U@@@@@@0t@Z@_0td@@A@A@,ZDivSpecific!@K!@ @u@ @ =6@@ =6t@r@@!v!] @po@ =6 @ ==@e@@!!J @Z)@! =6@Y@@!E!B @W@3@! =67@! =6@V@@!S!= @T@A@! =6E@! =6@S@@!a!8 @Q!6@Q@! =6U@! =6!.[@! =6_@! =6c@! ==g@! ==k@! I대@P@@!!# @E!\@w@! =6{@! =6!T@! =6@! =6@! ==@! ==@! I@D@@!! @@!@" =6@! ==@! I@! I대!!@?@@!Ƞ! @=!@@"1 =6"@!@@"9 =6"!@"? =6"@"( ==!!7@! @! J@!X@"P =6!!!!@! I대!N!f@"^ =6!@<@@"! @8@"g =6@7@@"   @5@"p =6@4@@"  @2@"_ ==@!  =ڸ @"  I대@"6 J@1@@"+  @/@"x ==@!+ =z#@"9 I대(@!C =ڸ@.@@"D, @+@2@) =6@7@. =6(@&@@$! @ @A@8 =6@F@= =67@@@3 @"7@R@" =6@W@" =6""0]@" =6@b@" =6"f@" =="?l@" =6"p@" ==!t@ =>@@@" @"~@" =6 @" =6!Π@q => @7 =>@" == @ @@"  @ ""@# =6 @M =>@@@"à @"3@#+ =6 A@#0 =6"@c =>!@" I대"2@ =>  4@@@"䠠! @@@#L =6@@#Q =6@#U =6@@@"! @@@#_ =6@@#d =6@#h =6@@@# ! @@@#r =6@@#w =6@#{ =6@@@#! @"@ @# =6@@# =6@# =6"@# =6@!@# =6%@# =6)@# ==#/@# =63@# =67@# ==;@# ==?@" =;@@@#[!} @#0@K@# =6@P@# =6T@# =6#-Z@# =6@_@# =6c@# =6g@# ==#@m@# =6q@# =6u@# ==y@# ==}@"* =ހ@@@#!y @#n@@$ =6@@$ =6@$  =6#k@$ =6@@$ =6@$ =6@$ ==#~@$% =6@$) =6@$ ==@$ ==@"P =r@@@#נ!u @#G@$? =6@$) ==@" =;@# J#C#C@@@#!q @#a@$Y =6!o@$^ =6@$H ==@" =;@$  I대!m#c@$ I대@" =;!l@@@$!i @# @$ =6@$n ==@" =ހ#@$A J#@@@$6!e @޶#$@$ =6!)@$ =6.@$ ==4@" =ހ#s:@$P I대#?@$B IE@" =ހ!@@@$a!a @۶#њO@$ =6T@$ ==Z@" =r_@$ J#͚c@$ J@@@$!] @ض#m@$ =6!r@$ =6w@$ ==}@# =r@$ I대!#񩚠@#M =;@## =r!#@@@$Ր @Զ@@ =6@@ =6@ =6@@@Ϡ̐ @˶ʚ@ =6Ț@ =6@@ => ũ@ ==@ =@@@ @ꚠ@ =6蚠@  =6@@ => @ ==@% =@@@ @@@% =6@@* =6@. =6@@@" @@8 =6@= =6@ @ => @ ==@ =א@@@B @=@X =6;#@] =6@)@9 => 8.@5 ==4@ =א4A@@@b!Đ @!ö!š>@% =6C@! ==I@%_ I대O@%R I!!@!@@!!v @!u@Y@% =6]@% =6@!u@@! ܐ @۩ڰ@i@% =6m@% =6s@% =6w@% =6{@! ==@! ==@! =逐@@@!蠠̐ @˩@" ==@! =逐@% J@% J@@@"Ԑ @Ӷ"*@&  =6@"! ==@! =逐@% I대" @% I@! ="+@@@"'@ "@@ =6@@" =6"@A@A ==@@" =="@A@ => @@ => @A@AB =>@@ =>@A@ =;@@$ =;"@A@A =@@ =@A@ =א@@ =א@A@ABC =r@@$t =r"@A@ =ڸ@@$ =ڸ"@A@A =@@"  =!@A@ =@@$ ="@A@AB =z@@$ =z"@A@ I@@% I"@A@ I@@& I"@A@ J@@& J"@A@ABCDE@L&@#div @d@@!t =6@@ =6 @  =6@@@@@AA@@A@&modulo @d@@ =6@"@! =6&@% =6@@@@@@%NZDiv&NatInt'Numbers#Coq@'DivMod'8@@@@9@L@H9d@@A@A7xF@O@.7xFd@@A@B@-mod_pos_bound @@!aKk"@& =6!b @ @ =>@& J"ͩ%Logic$Init"@#andЖw@"@  => L+"@g7xFC &  @@@@@"ꠠ-mod_neg_bound @@><6=@4"0,8 #6@@@@@"@@@@"@$ZDiv'+@M'#'8@-#Z @@ @#eر@@#jر@@@'' @@#uر @#u-@ @@')& @)@'Gر@@@&頠& @@3@'Qر7@'Uر@@@&& @@A@'_رE@'cر@@@'&ܐ @&ڰ@Q@'oرU@'sر&[@'yر_@'}رc@'f-g@'j-k@'%'@@@'+&ǐ @'@w@'ر{@'ر&@'ر@'ر@'-@'-@'89@@@'Q&Ð @&@'ر@'-@'M9@'f'&&@@@'l& @&@@'ر'@'H@@'ر''<@'ر'@'-&&۶@&@'4M@&@'ر&Š&&@''&' @(ر&@@@'& @ܚ@( ر@@@'& @ٚ@(ر@@@'& @֩@(-@&}S @''@'4M@@@'Ϡ& @ө@(-@&#@''(@&}S@@@'蠠А @϶@2@ر@7@ر̐@@@ȠŐ @Ķ@A@ر@F@رې@@@נ @'۰@R@(pر@W@(uر(K']@({ر@b@(ر(Vf@(i-'l@(ر(`p@(s-'^t@ീ@@@(4 @'~@(ر%@(ر'r@ঀ%@ീ%@(-%@@@(V @'ƚ@(ر@ീ@@@(g @'ך@(ر%嚠@(ر'@ീ'@(}''֩@Sঀ%ؐ@@@('4 @@@(ر@@(ر@(ر@@@('/ @@@)ر@@)ر@) ر@@@('* @@@)ر@@)ر@)ر@@@('% @(@ @)+ر@@)0ر@)4ر(@):ر@!@)?ر%@)Cر)@),-(/@)Mر3@)Qر7@):-;@)>-?@'hր@@@('! @(԰@K@)iر@P@)nرT@)rر(Z@)xر@_@)}رc@)رg@)j-(m@)رq@)رu@)x-y@)|-}@'y@@@)=' @)@@)ر@@)ر@)ر)@)ر@@)ر@)ر@)-)"@)ر@)ر@)-@)-@'{ @@@){' @(뚠@)ر@)-@(9hր@)4M((@@@)' @)@)ر'@*ر@)-@(Xhր@)'')@)'@(ihր'@@@)'  @)0 @*(ر@*-@(fy)(@)4M),@@@)ڠ'  @)J$@*Bر'X)@*Gر.@*1-4@(y):@)')M?@)9E@(y'U@@@*' @)uO@*mرT@*W-Z@({ _@**4M)qc@*.4M@~@@*#' @|)m@*ر'r@*رw@*z-}@({ @*='')@(hր@({ ')@{@@*Ny @x@@vر@@{ر@ر@u@@sp @on@رl@ر@@jঀi@f-@yed@c@@a @`@ر@ر@@ঀ_@-@y@^@@\ @[@@ر@@ر@ر@Y@@ƠW @V@ر@ر@ @ঀ@-@z+@U@@栠S @Rᚠ@رߚ#@ر@)@ঀܩ.@-4@z+@Q@@'h @'g'f>@+\رC@']-I@+'O@*9'\'[@'Z@@'X' @'@Y@+wر]@+{ر@'@@'f# @##~@i@+رm@+ر#vs@+رw@+ر{@'-@'-@'K}@#{@@'#p @#o@'-@'[}@+c4M@+g4M@#z@@'#x @#w'Κ@+ر@'-@'y}@+q''ĩ@+c9@'}'ϐ@#@@'@+('@@ر@@('ر(&@A@A-@@(%-($@A@@@^O@A@AB@@zN@A@h@@*Bh()@A@Ay@@yM@A@z+@@Vz+L@A@ABC{ @@*{ (-@A@}S@@*}S(-@A@A}@@'}'@A@y@@*;y(/@A@AB@@*(,@A@9@@+9(,@A@'@@+'(+@A@4M@@+4M(*@A@ABCDE@ @@@ر@@ر @ر@@@ @@@ر@@ر@ر@@@&div_wd @@)Morphisms'Classes#Coq@@&ProperL@7@ر@<@ر@@ر@*respectful%WO?K@ر@P@رT@رX@"eq-_@رc@رg@-k@-r@:=uP@@@ %'A*Equalities*Structures#Coq@AviAT'Classes#Coq@@A@@&mod_wd @@e@@-ر@@2ر@6رY@<ر@@Aر@Eر@T-l@Oر@Sر@b-@f-@M ;@@@SAK@A@@W'div_mod @@!a@qر!b@xر@%Logic$Init@#notШ@-A@$zero4M@-C@#addhր@#mul{ B@:=uP@ ;@@@@@-mod_bound_pos @@Q#@رO(@ر@.@"leঀ4@A4M+@:@"ltീ@@M4M7e@#andЖw@M@ঀR@_4MZ@ ;D_^@$ീg@ ; j@@@@@ @p@-رu@-ر@{@ Mീ@-J4M)@ঀ@-V4M@ ;@ hീ@' ;Ɛ@@@) @@-ر򚠐@-ر@@ ീ)@-4M@ ീ詚@N ;穚@ঀ@Y ;򚠐@-4M@@@)@@@@@ ;@@d ;6@A@A:=uP@@:=uP;@A@B@%ZDiv'.@N..@"*= @!@ @*H2@@*M2!@!@@-- @!!@*X2 @*Xﮀ@!@@. -ѐ @!ᚠ)@.*2@!@@-̠-ɐ @!޶@3@.427@.82@!@@-ڠ-Đ @!۶@A@.B2E@.F2@!@@-蠠- @!ة-@Q@.R2U@.V2-[@.\2_@.`2c@.Iﮀg@.Mﮀk@.@!@@.- @!̩-㰶@w@.x2{@.|2-@.2@.2@.oﮀ@.sﮀ@.I3@!@@.4- @!Ƕ-@.2@.ﮀ@.0I3@.I--@!@@.O- @!Ķ-@@.2.@.+@@.2..@.2.@.ﮀ--@-@.~C΀@-ߚ@.2---@.|-ն-횠@.2-@!@@.- @!@.2@!@@.- @!@.2@!@@.- @!@.ﮀ@-Ԁ @.@.C΀@!@@.-{ @!@.ﮀ@-#@.(@-Ԁ@!@@.ˠ! @!@2@!2@7@!2!@!@@!! @!@A@!2@F@!2!@!@@!! @!.@R@/S2@W@/X2/..]@/^2@b@/c2/9f@/Lﮀ.l@/m2/Cp@/Vﮀ.At@!6@!@@/! @!.~@/2,@/2.U@!',}!@!6,@/|ﮀ,@!@@/9! @!.@/2!@!6!@!@@/J! @!.@/2,Ț@/2.@!6.@/`.@"6',@!@@/k. @!@@/2@@/2@/2@!@@/~. @!@@/2@@/2@/2@!@@/.  @!@@/2@@/2@02@!~@@/. @!}/y@ @02@@02@02/v@02@!@0"2%@0&2)@0ﮀ//@0023@0427@0ﮀ;@0!ﮀ?@.xW@!|@@/⠠. @!x/@K@0L2@P@0Q2T@0U2/Z@0[2@_@0`2c@0d2g@0Mﮀ/m@0n2q@0r2u@0[ﮀy@0_ﮀ}@.@!w@@0 . @!s/@@02@@02@02/@02@@02@02@0ﮀ0@02@02@0ﮀ@0ﮀ@.@!r@@0^- @!n/Κ@02@0ﮀ@/xW@0C΀//ʐ@!m@@0x- @!k/蚠@02-@02@0ﮀ@/;xW@0-/꩚@0@/LxW-@!j@@0- @!h0 @1 2@0ﮀ@/I0 @0C΀0@!g@@0- @!e0-$@1%2.;)@1*2.@1ﮀ4@/h/:@000?@0I3E@/y.8@!d@@0蠠- @!b0XO@1P2T@1:ﮀZ@/v_@1 C΀0Tc@1C΀@!a@@1- @!_0vm@1n2.r@1s2w@1]ﮀ}@/@1 .0x@/xW@/.0@!^@@11!\ @![@@!Y2@@!^2@!b2@!X@@!V!S @!R!Q@!l2!O@!q2@@!M'!L@!Iﮀ@!!H!G@!F@@!v!D @!C!q@!2!o@!2@@!m'!B@!iﮀ@!!h!u@!A@@!!? @!>@@!2@@!2@!2@!<@@!!: @!9!@!2!@!2@ @!'!u@!ﮀ@!o!!@!8@@!ɠ!6 @!5!Ě@!2!š#@!2@)@!'!.@!ﮀ4@!!!Ȑ@!4@@!頠.K @.J.I>@2?2C@.@ﮀI@1O@1I3.?.>@.=@@.;- @-@Y@2Z2]@2^2@-@@.I*c @*b*a@i@2j2m@2n2*Ys@2t2w@2x2{@.xﮀ@.|ﮀ@..@*^@@.o*S @*R@.ﮀ@.>@2FC΀@2JC΀@*]@@.*[ @*Z.@22@.ﮀ@.\@2T.@2FI3@.m.@*i@@.@/ @@2@@/ 2/@A@A@@//@A@'@@%@'!1@A@AB6@@%\6!0@A@xW@@1$xW/ @A@A@@"!/@A@@@"8!.@A@ABC@@0/@A@@@1/@A@A@@..}@A@@@1/@A@AB@@1/@A@I3@@2xI3/@A@@@2/ @A@C@@2C/ @A@ABCDE@  @ @@ 2@@ 2 @ 2@ @@ } z @ y@@ 2@@ 2@ 2@ w@@  @శ@)@ 2@.@ 22@ 28@ 2@=@ 2A@ 2E@ﮀK@ 2O@ 2S@ﮀW@ﮀ]@ !m3@@@ Π @@g@ 2@l@ 2p@ 2v@ 2@{@ 2@ 2@ ﮀ%@ 2@ 2@ﮀ@ﮀ@ @@@  @@ "2@ '2@@:ﮀ@C΀@Dﮀ@xW@@ V!m3@ >@@@ D @뚠@ Z2隠@ _2@@'@C΀Ķ@@6@C΀ϩ@'@C΀ @ t @6@ @@@  P @ O N@42 J!@4 2@'@6,@3C΀0 L3@S'8@3C΀?@  CB@6J@  NT@ J@@02 H @ G R@4Q2 W@4V2@]@60Kb@4C΀ i@6vq@  ut@'|@  ~@4*C΀@ l@@0h@@@@@!m3@@!m3 @A@@@  @A@AB@'QuotRem4@O,(4@0j0N0ՠ@@5t@@0n5t0E@A@A@$quot @d@O,@0@45t@@@@@@0#rem @d@0@@0@@@@@@k@.@ kd@@A@A]@1@"]d@@A@B@/QuotRemNotation4@P,_4@001 @@@@00|@A@A@Q)4@; @:@@4@@4 @4@?@@0Ѡ= @<@@4@@4@4@H@@0@5w#@@@@J@3@XJK@A@#r@6@m#rK@A@AB@@@@@0@(QuotRem'5@R,5,@0퐐01X@@@@00@A@A@ @@@5%@@5* @5.@@@1 @@@58@@5=@5A@@@1,@@@@@@@.@9@@.@A@Lm@<@Lm@A@AB@+QuotRemSpec5`@S,5m@)b1 @)N@ @1-@@1-)M@)K@@5O56 @)I)H@1- @1-@)>@@5^5# @)3)@5|-@)2@@55 @)0@3@5-7@5-@)/@@5,5 @)-@A@5-E@5-@),@@5:5 @)*5@Q@5-U@5-5[@5-_@5-c@5-g@5-k@5Z:g@))@@5`4 @)55@w@5-{@5-5-@5-@5-@5-@5-@5m:@)@@54 @)4@5-@5-@5:@5:g44@)@@54 @)4@@6 -5@5}@@6-55q@6-5@6-45@4␚@5; @51@6)-444ᐩ@5:g5'5?@67-4ߐ@)@@5٠4ې @)@6@-@)@@5⠠4֐ @)@6I-@) @@5렠4ѐ @) @68-@4.V @5:g@6; @) @@64͐ @)@6Q-@5.^#@6:g(@5.V@)@@6) @)@2@)-@7@)-)@(@@(( @(@A@)-@F@)-)@(@@) ( @(6@R@6-@W@6-66 ]@6-@b@6-6f@6-6l@6-6p@6-5t@(-"@(@@6i( @(5ٚ~@6-3皠@6-5@)J-3ϩ(젩@)-"3֩@6-3ې@(@@6( @(5@6-(␩@)&-"(ݐ@(@@6(ڐ @(ٶ6 @7-4@7 -5ڠ@)<-"5թ@6:g6 @)-4 @(@@65i @(ֶ@@7%-@@7*-@7.-@(@@6Р5d @(Ӷ@@78-@@7=-@7A-@(@@6㠠5_ @(Ѷ@@7K-@@7P-@7T-@(@@65Z @(ϩ6˰@ @7`-@@7e-@7i-6@7o-@!@7t-%@7x-)@7a-6/@7-3@7-7@7o-;@7s-?@5.BC@(@@745V @(ʩ7 @K@7-@P@7-T@7-7Z@7-@_@7-c@7-g@7-7m@7-q@7-u@7-y@7-}@6.\怐@(@@7r5R @(ũ7G@@7-@@7-@7-7D@7-@@7-@7-@7-7W@7-@8-@7-@7-@6).Tz@(@@75N @(7 @8-@8-@6n.BC@7; 77@(@@7ʠ5J @(7:@82-5H@87-@8!-@6.BC@7:g5F7<@7:g@6.BC5E@(@@75B @(7e @8]-@8G-@6.\怠7]@8; 7a@(@@85> @(7$@8w-5)@8|-.@8f-4@6.\怠7L:@8):g7?@8:E@6.\5@(@@8:5: @(7O@8-T@8-Z@6.Tz_@8_; 7c@8c; @(@@8X56 @(7Țm@8-5֚r@8-w@8-}@6.Tz@8r:g57ʩ@7&.BC@6.Tz57Ր@(@@8( @(@@(-@@(-@(-@(@@(( @((@(-(@(-@@(-(@(-@(.S ((@(@@(Ƞ( @((Ú@(-(@(-@@(-(@(-@(.S ((ǐ@(@@(蠠( @(@@(-@@)-@)-@(@@(( @((@)-(@)-@ @(-(ǩ@(-@(.S((@(@@)( @()@)1-)#@)6-@)@)-).@)-4@(.S) )@(@@);5 @55>@9-C@5-I@98:gO@9+:55@5@@55O @5N@Y@9-]@9-@5N@@51 @11@i@9-m@9-1s@9-w@9-{@5-@5-@5.V@1@@51 @1@5-@5.V񀐚@9; @9; @1@@5ڠ1 @16@9-@5-@5.V񀐩@9:g5@9:@5.V6@1@@6@6[@@-@@6[-6Z@A@A-@@6Y-6X@A@-@@,-(@A@AB-"@@,-"(@A@.BC@@8v.BC6]@A@A.S @@).S (@A@.S@@).S(@A@ABC.Tz@@8M.Tz6a@A@.V@@8.V6a@A@A.V@@5.V5@A@.\@@8o.\6c@A@AB.^@@8.^6`@A@:@@9:6`@A@:g@@9:g6_@A@; @@9; 6^@A@ABCDE@T.{:d@ @@@:V-@@:[- @:_-@@@6J @@@:i-@@:n-@:r-@@@6]@:m#@@@@*yZ@3@*yZ@A@6Q@6@6Q@A@AB@'quot_wd @@2@S2*6@:-@2|  @6-2T.6@6Q@@@.A2y@A@@6&rem_wd @@2#@*yZ@@@.A2@A@@6(quot_rem @@23@@#notШ36=@:x; 9өD@9.BCJ@8.TzA/@@@@@6Ƞ-rem_bound_pos @@[\@^@ -&@e@-"0LD @@@@@6頠)rem_opp_l @@=|5}@Jv_@6.V:@@@@@7)rem_opp_r @@UM@bw*3K@@@@@7@@@v7@%ZQuot;?@U;7;L@/A7n @/-@ @7yyT@@7~yT/,@/*@@;.; @/(/'@7yT @7y\5@/@@;=; @/)@;[yT@/@@:: @/@3@;eyT7@;iyT@/@@; : @/ @A@;syTE@;wyT@/ @@;: @/ :@Q@;yTU@;yT:[@;yT_@;yTc@;zy\5g@;~y\5k@;9 /@/@@;?:ې @.;@w@;yT{@;yT; @;yT@;yT@;y\5@;y\5@;L@.@@;e:א @.:՚@;yT@;y\5@;a@;z /::Ґ@.@@;:ϐ @.:Ͷ@@;yT;@;\@@;yT;ǩ;P@;yT;͚@;y\5::@:@;U@;@<yT:٠::@; /;;@<yT:@.@@;: @.𚠐@<yT@.@@;: @.횠@<(yT@.@@;ʠ: @.꩚@<y\5@:y[ @; /@;U@.@@;㠠: @.穚@<0y\5@:z#@; /(@:y[@.@@;. @.@2@.yT@7@.yT.@.@@.ܠ.ِ @.ض@A@.yT@F@.yT.@.@@.렠.Ԑ @.ө;ﰶ@R@<yT@W@<yT<_;]@<yT@b@<yT @.@@=*yT@@=/yT@=3yT@.@@<ՠ;9 @.<@ @=?yT@@=DyT@=HyT<@=NyT@!@=SyT%@=WyT)@=@y\5</@=ayT3@=eyT7@=Ny\5;@=Ry\5?@;yހ@.@@=;5 @.<谶@K@=}yT@P@=yTT@=yT<Z@=yT@_@=yTc@=yTg@=~y\5<m@=yTq@=yTu@=y\5y@=y\5}@;y@.@@=Q;1 @.=&@@=yT@@=yT@=yT=#@=yT@@=yT@=yT@=y\5=6@=yT@=yT@=y\5@=y\5@<y@.@@=;- @.<@=yT@=y\5@yT;'@>yT@>y\5@<yT@>&y\5@VyT;l)@>[yT.@>Ey\54@<y=+:@> /=a?@=E@<y;i@.@@>; @.=O@>yTT@>ky\5Z@<y_@>>U=c@>BU@.@@>7; @.=m@>yT;r@>yTw@>y\5}@<y@>Q /;=@=yހ@<y;=@.@@>b. @.@@.yT@@.yT@.yT@.@@.. @..@.yT.@.yT@@.~y\.}@.zy\5@.y.y.x@.w@@..u @.t.@.yT.@.yT@@.y\.s@.y\5@.y..@.r@@.Ǡ.p @.o@@.yT@@.yT@.yT@.m@@.ڠ.k @.j.՚@.yT.Ӛ@.yT@ @.y\.@.y\5@.y3..ː@.i@@..g @.f.@/yT.󚠐#@/yT@)@.y\.𩚠.@.y\54@.y3..@.e@@/;| @;{;z>@?pyTC@;qy\5I@? /O@? ;p;o@;n@@;l;. @;-@Y@?yT]@?yT@;-@@;z7 @77@i@?yTm@?yT7s@?yTw@?yT{@;y\5@;y\5@;_y@7@@;7 @7@;y\5@;oy@?wU@?{U@7@@;7 @7;⚠@?yT@;y\5@;y@? /;ة@?w@;y;@7@@;@<:@@yT@@<:yT<9@A@Ay\5@@<8y\5<7@A@y\@@2qy\.b@A@ABy\@@2y\.a@A@y@@>Uy<<@A@Ay@@/y.`@A@y3@@/iy3._@A@ABCy@@>,y<@@A@y[@@>y[<@@A@Ay@@;y;@A@y@@>Nyz@A@U@@?U<=@A@ABCDE@  @ @@@1yT@@@6yT @@:yT@ @@<%  @ @@@DyT@@@IyT@@MyT@ @@<8͐ @̩8P@)@@YyT@.@@^yT2@@byT8M8@@hyT@=@@myTA@@qyTE@@A yT:@AyT@@%7y\@@U%(@@y\@@U%3G@%Ny\@@U @ 2~TY? @y\@ 2~TYJH@F@@=-D @C@ALyT{!@AQyT@)@=Uy\5=H.@A U3@=_y\5;@ 2~TY?@=y^%|D@=yL@ 2~TY@f@@=ed @cT@AyTY@AyT@̐a@=y\5=f@ACUk@=y\5s@ 2~TYw@=Qy%~@ 2~TY@@@=@@@@@2~TY@@ 2~TY @A@2,@@ 2, @A@AB@&ZQuot'A@VAA@5͠= @5@ @>d:@@> d:5@5@@AA @55@>d: @>k@5@@AɠA @5)@Ad:@5@@AA @5@3@Ad:7@Ad:@5@@AA @5@A@Ad:E@Bd:@5@@AA| @5Az@Q@Bd:U@Bd:Ar[@Bd:_@Bd:c@Bkg@B kk@A@5@@AˠAg @5A@w@B5d:{@B9d:A@B?d:@BCd:@B,k@B0k@A;@5@@AAc @5Aa@BYd:@BCk@A;@BA_A^@5@@B A[ @5AY@@Bud:BK@A谶@@B}d:BSA@Bd:BY@BlkAWA{@AM@B;ր@A@Bd:AeALAL@B9AA@Bd:AJ@5@@BDAF @5|@Bd:@5{@@BMAA @5y@Bd:@5x@@BVA< @5v@Bk@Ad܀ @Bd@Bzր@5u@@BoA8 @5s@Bk@Ao#@B}(@A܀@5r@@B5p @5o@2@5md:@7@5rd:5l@5j@@5h5e @5d@A@5|d:@F@5d:5{@5b@@5w5` @5_B{@R@Cd:@W@Cd:BBt]@Cd:@b@C d:Bf@C kBl@C*d:Cp@CkAt@5^l>@5]@@BԠ5Y @5XBD~@C<d:@R@CAd:B@5l/@:5W@5{l>@A@C9k@F@5Q@@B5O @5NBf@C^d:5M@5l>5H@5G@@C5E @5DBw@Cod:@@Ctd:BE@5l>B@@CBv@5l/@x@5C@@C(AԐ @5A@@Cd:@@Cd:@Cd:@5@@@C;Aϐ @5>@@Cd:@@Cd:@Cd:@5=@@CNAʐ @5<@@Cd:@@Cd:@Cd:@5;@@CaAŐ @5:C6@ @Cd:@@Cd:@Cd:C3@Cd:@!@Cd:%@Cd:)@CkCF/@Cd:3@Cd:7@Ck;@Ck?@BH_@59@@CA @55Ct@K@D d:@P@Dd:T@Dd:CqZ@Dd:@_@Dd:c@D!d:g@D kCm@D+d:q@D/d:u@Dky@Dk}@Bn@54@@CݠA @50C@@DGd:@@DLd:@DPd:C@DVd:@@D[d:@D_d:@DHkC@Did:@Dmd:@DVk@DZk@B@5/@@DA @5+C@Dd:@Dmk@B_@D@րCC@5*@@D5A @5(C@Dd:A@Dd:@Dk@B_@DOAC@DT@C _A@5'@@D`A @5%CК @Dd:@Dk@CCȚ@DրC̐@5$@@DzA @5"Cꚠ$@Dd:A)@Dd:.@Dk4@C%C:@DC?@D;E@C6A@5!@@DA @5DO@E d:T@DkZ@C3_@DրDc@Dր@5@@DàA @5D3m@E+d:BAr@E0d:w@Ek}@CV@DB?D5@C_@CgB>D@@5@@D5 @5@@5d:@@5d:@5d:@5@@55 @55@5)d:5 @5.d:@@5 l/5 @5k@5I&55@5@@535 @55.@5Id:5,@5Nd:@@5*l/4@5&k@5i&5%52@4@@5S4 @4@@5id:@@5nd:@5rd:@4@@5f4 @45a@5|d:5_@5d:@ @5]l/52@5Yk@5,5X5W@4@@54 @45@5d:5#@5d:@)@5}l/5|.@5yk4@5L5x5@4@@5B @BB>@Ed:C@AkI@EO@E;AA@A@@AA @A@Y@Fd:]@Fd:@A@@B>  @>>@i@F'd:m@F+d:>s@F1d:w@F5d:{@B5k@B9k@A @>@@B,> @>@BGk@A @Fր@Fր@>@@BE> @>Bn@Fdd:@Bek@B @FBd@F;@B* Bo@>&@@Bk@BƠ@@d:@@Bd:B@A@Ak@@BkB@A@l/@@8l/4@A@ABl>@@9l>4@A@_@@D_B@A@A&@@6b&4@A@@@54@A@ABC@@DB@A@@@ECB@A@A @@BN B:@A@@@DB@A@AB@@E<B@A@;@@F5;B@A@@@FKB@A@@@F_B@A@ABCDE@ @@@Fd:@@Fd: @Fd:@@@B @@@Fd:@@Fd:@Fd:@(@@BĠ Y @ X>ܰ@)@Fd:@.@Fd:2@Fd:>8@Fd:@=@Fd:A@Fd:E@Bk>K@Gd:O@G d:S@C kW@Ck]@}1v@ x@@C t @ s?@g@G#d:@l@G(d:p@G,d:?v@G2d:@{@G7d:@G;d:@C;k?*@GEd:@GId:@CIk@CMk@1|@ @@C@  @  @G_d: @Gdd:@ @ChkC[@Gր@Crk }@E_@E+@1v @1| @ @@Cx  @  ʚ@Gd: ƚ@Gd:@@+l/@GTր+@@&bl>@G_ր+ Ӡ@+l/@Gkր @1| ˩ @&}l>@"1|  Ԑ@ @@C А @ ϶! @Gd:!!@Gd:@ )@CkCԚ.@Gր3@Ck;@I1|?@C  ,D@C L@Z1|! @ @@C  @ !CT@Hd:!?Y@Hd:@ Xa@DkD f@Gրk@D#ks@1|!4w@C ,A~@1|!?@ @@D#@@@ @@1|@@1|@A@1v@@1v@A@AB@*ZAxiomsSigHW@@@HBH) @<<<;@D 򀚠 @D n@<1@@HQH @<&)@Ho @<%@@HH @<#@3@Hy 򀚠7@H} @<"@@HH  @< @A@H 򀚠E@H @<@@H-H @<H@Q@H 򀚠U@H G[@H 򀚠_@H 򀚠c@H ng@H nk@HM {h@<@@HSG @<H(@w@H 򀚠{@H H @H 򀚠@H 򀚠@H n@H n@H` &@<@@HyG @< G隠@H 򀩚@H n@Hu &󀐩@H {hGG@< @@HG @< G@@H HӶ@Hp@@I H۩Hd@I  Hᚠ@H nGH@GՐ@H !@H$@I GGԩGԐ@H {hHH2@I* GҐ@<@@H̠Gΐ @<@I3 @<@@HՠGɐ @<@I< @<@@HޠGĐ @;@I+ n@G j @H {h@I !@;@@HG @;@ID n@G rV#@I {h(@H j@;@@I; @;@2@; @7@; ;@;@@;; @;@A@< @F@<  <@;@@;; @;I@R@I @W@I IsH]@I @b@I I~f@I nI l@I Ip@I nHt@; @;@@I\; @;H̚~@I Fښ@I H@<= F©;ߠ@< Fɩ@I nFΐ@;@@I~;א @;ֶH@I ;Ր@< ;А@;@@I;͐ @;̶H@I G @I H͠@ @@JC 򀚠@JG @;@@I頠HM @;©I@ @JS @@JX 򀚠@J\ I@Jb @!@Jg 򀚠%@Jk 򀚠)@JT nI/@Ju 򀚠3@Jy 򀚠7@Jb n;@Jf n?@H V@;@@J'HI @;I@K@J @P@J 򀚠T@J IZ@J @_@J 򀚠c@J 򀚠g@J nJ m@J 򀚠q@J 򀚠u@J ny@J n}@H p@;@@JeHE @;J:@@J @@J 򀚠@J J7@J @@J 򀚠@J 򀚠@J nJJ@J 򀚠@J 򀚠@J n@J n@I hN@;@@JHA @;J@K  򀩚@J n@Ia V@J !JJ@;@@JH= @;J-@K% H;@K* 򀩚@K n@I V@J {hH9J/@J {h@I VH8@;@@J蠠H5 @;JX @KP 򀩚@K: n@I pJP@K  !JT@;@@KH1 @;Jr$@Kj H)@Ko 򀩚.@KY n4@I pJ?:@K {hJu?@K &󀐩E@I pH}@;@@K-H- @;JO@K 򀩚T@K nZ@I hN_@KR !Jc@KV !@;@@KKH) @;Jm@K Hɚr@K 򀩚w@K n}@I hN@Ke {hHJ@J V@I hNHJȐ@;@@Kv; @;@@; @@; 򀚠@; @;@@;; @;;@; ;@; @@; ;@; n@; fހ;;@;@@;; @;;@; ;@; @@; ;@; n@; fހ;;@;@@;۠; @;@@; @@; 򀚠@; @;@@;; @;~;隠@< ;皠@<  @ @; ;@; n@; gl;;ߐ@;}@@<;{ @;z< @<$ <#@<) @)@< <.@< n4@; gl<< @;y@@<.H @HH>@L 򀩚C@H nI@L+ {hO@L &HH@H@@HHB @HA@Y@L 򀚠]@L @HA@@HD @DD@i@L 򀚠m@L Ds@L 򀚠w@L 򀚠{@H n@H n@Hs jŀ@D@@HD @D@H n@H jŀ@L !@L !@D@@H͠D @DH@L 򀩚@H n@H jŀ@L {hH쩚@L &󀐩@H jŀH@D@@H'compare @d@@!t @@ 򀛠)Datatypes$Init#Coq@@*comparison;f@@@@@@AA@@A@,compare_spec @@!x@& 򀶐!y@- 򀩛(@+CompareSpec!Q]@ @"eq nBA@"lt  @  @Y1@@@@@<#eqb @d@-@!t @3@ 򀛠)Datatypes$Init#Coq@@$boolZ'@@@@@@AA@@A@#ltb @d@R@ @W@ 򀛠@$boolZ'@@@@@@{#leb @d@l@ @q@ @@@@@&eqb_eq @@!x@T 򀶐!y@[ 򀩚%LogicU@#iffС) @"eq @g@| \BApA@ n @@@@@j<b_lt @@Ś@ Ú@ 򀩚%Logic@#iffС) @ @w@ fȀɜ}A@ ѐ@@@@@&leb_le @@@ @ 1)@ e$@2c @@@@@2 @2@@NN 򀚠 @NR @2@@J=2 @2Jf@N\ @@2 瀠!@N !JU&@Jh n,@2 V22@2~@@J]2| @2{J6@N| @<@2 瀠JqA@N4 !F@J nL@2 V2Q@JA jŀ2@2@@J- @-@[@N 򀚠_@N @-@@J- @-Ji@N @o@J nJt@Ng !y@J n@- o2Ӛ@Nv !@-@@J- @-Jݚ@N @@- @N !J̩@J n@- o2@- j@-@@Jؠ- @-K@N @@- J욠@N !@K n@- o3@J jŀ@- j@-@@K$even @d@@!t 򀛠)Datatypes$Init#Coq@@$boolZ'@@@@@@AA@@A@#odd @d@@  @@@@@$Even @!n@!A(NZParity&NatInt'Numbers/@:7퀩%Logic:@"ex @!m@"eq7iB$@#mul7I*@#two7QA@@@.-,+Y@D@@ @K@K K@A@A n@M@K nK@A@ @P@B =@A@AB @R@B =@A@ V@X@3 V3@A@A V@Z@M VK@A@B \@\@9 \d@@A@ e@`@ ed@@A@ f@d@ fȠd@@A@ABC f@g@?w f>@A@ gl@j@?  gl>@A@ADE hN@l@M hNK@A@ j@q@NX jK@A@A j@s@Kc jKO@A@ o@w@. o.M@A@A p@y@M pK@A@BC rV@{@NT rVK@A@ &@@ON &K@A@A {h@@Oc {hK@A@ !@@Ow !K@A@1@@1d@@A@ABCDF@A@(NZParity&NatInt'Numbers#Coq@K@A@@@!t 򀔐A t+k+ 77%'77!7%'Р`tH}Pld{/@@@ %'A*Equalities*Structures#Coq@A1@D%Logic$Init#Coq@@A@@ݠ#Odd @ɩ˷̩@#add7@#one7^@ߚ@Q P +k+ 77%'6 77!7!7%'͐tPːXl'd$DdϠ@@@TAL@A@@!)even_spec @@@= 򀩚@#iffС) @ @J.@Z 耐QA7@4 謈 @@@@@K(odd_spec @@8E@g *%jN@Z iՀ S@ <%@@@@@g#pow @d@b@!t @h@ 򀚠l@  @@@@@AA@@A@&pow_wd @@)Morphisms'Classes#Coq@@&ProperL@@) @@. 򀚠@2 򀩚@*respectful%WO?@= @@B 򀚠@F 򀚠@"eq n@Q 򀚠@U 򀚠@ n@ n@k l"@@@ %'A*Equalities*Structures#Coq@AviAT'Classes#Coq@@A@@h'pow_0_r @@!a@ 򀩚@= n@ l"A@$zero !@#one j@@@@@*pow_succ_r @@' @ 򀶐!b @ @ @"le 瀠 @' !, !@u n '@ l"C .@$succ {hB 6@#mul hN =@ l"@@@@@Ҡ)pow_neg_r @@j L@ C Q@ @ W@"lt i ]@h ! b@ n h@ l"+ l@w !@@@@@$sqrt @d@ {@!t 򀚠 @ @@@@@AA@@A@)sqrt_spec @@!a @ @ @"le 瀠 @$zero !A%Logic$Init#Coq@@#andЖw@ @ 瀠 @#mul hN @Q v򀐐B @X v @"lt   @ hN @$succ {h @q v  @  {h @| v+@@@@@m(sqrt_neg @@j @ @ @3 b @g ! @"eq n @ vP @w !@@@@@$log2 @d@ %@!t 򀚠 *@ @@@@@AA@@A@)log2_spec @@!a =@ @ C@"lt  I@$zero !A%Logic$Init#Coq@@#andЖw@ _@"le 瀠 f@#pow l" l@#two rV r@W 췀B y@6  @ l" @ rV @$succ {h @u 췀@@@@@f+log2_nonpos @@c @y @ @E 瀠[ @` ! @"eq n @ 췀C @p !@@@@@#gcd @d@ @!t @ @ 򀚠 @  @@@@@AA@@A@÷ @!nA!A%NZGcd&NatInt'Numbers#Coq@@)0Re!m%Logic$Init@"ex @!p"#@"eq0RဠB+@#mul0S_AC@@F10/.-@ @ hN@ i@ &@2 iՠd@@A@A j@B j@ l"@ ,@ l"d@@A@A o@B p@CD rV@ @ 2@^ d@@A@ 췀@ 6@ 췀d@@A@AB &@ v@ :@ vd@@A@AC {hDEF@A@%NZGcd&NatInt'Numbers#Coq@^ IOu@A@@@B!B58g@@:.I@@:.Id@@A@A@A@ )NZGcdSpec @@@A@@@AyHK@@2 @S@!t2 J@@A@A2f@@"eq2f^@@A@2@ @"le2ߠh@@A@AB2@@"lt2h@@A@2ɛ@@#add2ɛd@@A@A2ɫ@@#max2ɫ֠d@@A@2ɬd@@#min2ɬdd@@A@ABC2ɭF@!@z2ɭFd@@A@2ɯ@&@#one2ɯT@@A@A2ɵ@*@#sub2ɵd@@A@2ɷN@0@#two2ɷNT@@A@A2k@4@$pred2kd@@A@2`@9@$succ2`r@@A@2f@>@$zero2fT@@A@ABCDE@A@˚ @!t 򀶐 @L 򀔐A +k() + 77%' 7!7%'ސtl\Ր|zt@@@ %'A*Equalities*Structures#Coq@A1@D%Logic$Init#Coq@@A@@,gcd_divide_l @@  @)  @. 򀩚 @! @C ^z@@@@@0,gcd_divide_r @@, @H  @M 򀩚 @@ @b ^z @@@@@N,gcd_greatest @@J .@f = 3@k 2 8@p @ >@d,@ D@j:1 J@p7 P@ ^zED@@@@@*gcd_nonneg @@} a@ p f@ 򀩚 k@"le 瀠 q@ ! v@ ^zu@@@@@.L @.K@ @.H @ @.M 򀚠 @.Q @.G@@.E.B @.A@ @.[ @ @.` 򀚠 @.d @.?@@.X( @((@ @.p @ @.u 򀚠 @.y ( @. @ @. 򀚠 @. 򀚠 @( n( @. 򀚠 @. 򀚠 @( n @( n @. ZÀ@(@@.( @((氶@ @. @ @. 򀚠 @. ( @. @ @. 򀚠 @. 򀚠 @( n( @. 򀚠 @. 򀚠 @( n @( n @. @(@@.Ԡ(} @(|({ $@. (y )@. @(w 1@) n(m 6@(l ! ;@)  n(k A@(j V G@(i hN(h M@/ ZÀ(g R@/ (l@(f@@/ (d @(c( \@/" ( a@/' @ g@(b 瀠 l@( !(@ r@(a  w@( !((` ~@(y 瀠 @( ! @/< (Z @(|  @/G (e(@(X@@/M/ @// @U / @U @ @4  @U !Q/ @: 瀠 @U ! @/r /  @4  @/} /:@/@@Q/ @//L @V /H @V @ @4 R @U !/J @4 :> @/ /= @:\ 瀠 @/ /H @U !@/4@@R0! @!@ @VO @@VT 򀚠@VX @!@@RC! @!@@Vb @!@Vg 򀚠%@Vk @!@@RV @Nn@1@Vw @6@V| 򀚠:@V Nk@@V @E@V 򀚠I@V 򀚠M@R nN~S@V 򀚠W@V 򀚠[@R n_@R nc@" Fǀ@ @@R @N@o@V @t@V 򀚠x@V N~@V @@V 򀚠@V 򀚠@R nN@V 򀚠@V 򀚠@R n@R n@"; n,@7@@RҠ3 @20$@V 0 @V @9@R nR횠@V !@S n0@UY V@U/ hN;"@" Fǀ0!@"s n,0&@D@@S B @A0\@W) 0X@W. @@;U 瀠@V !;F@@5 @V !;Q0e@;l 瀠 @V !@" n,]@6 @" n,h0f@d@@SKb @a0$@Wj 0)@Wo @1@Ss nSf6@W) !;@S} nA@" n,G@S7 jŀ|;L@S< jŀR@" n,0@@@S @0՚\@W 0њa@W @ꐩi@S nSn@Wa !s@S ny@# n,0Ʃ@So jŀ;ө@# n,0ѐ@@@S'testbit @d@@!t @@ 򀛠)Datatypes$Init#Coq@@$boolZ'@@@@@@AA@@A@&shiftl @d@@% @@* 򀚠@. @@@@@&shiftr @d@@= @@B 򀚠@F @@@@@3$land @d@@U @@Z 򀚠@^ @@@J#lor @d@@l @@q 򀚠@u @/@@a%ldiff @d@@ @@ 򀚠@ @F@@x$lxor @d@+@ @0@ 򀚠4@ @]@@$div2 @d@B@ 򀚠F@ @@@@@*testbit_wd @@)Morphisms'Classes@&ProperL@`@ @e@ Ω@*respectful%WO?p@ @u@ ޚy@"eq n@ 隠@  n%Logic@ @@  Mр@@@ %'A*Equalities*Structures#Coq@AviAL'Classes#Coq@@A@@-testbit_odd_0 @@!a@" /@3 Mр@#add V@#mul hN@#two rVA@#one j@$zero !CA@@@@@8.testbit_even_0 @@9@Y fU@j Mр@0 hN@/ rV.@( !jB@@@@@_0testbit_odd_succ @@`@ 򀶐!n@ @@"le 瀠$@L !V+@ Mр1@q V7@p hN<@o rVCA@n jF@$succ {hBN@ Mр@@@@@1testbit_even_succ @@]@ Lb@ @h@J 瀠m@ !ةt@ Mрz@ hN@ rVC@> {h=@ Mр;@@@@@堠-testbit_neg_r @@暠@ @  @@"lt ֚@ !$@( Mрa@@@@@ +shiftr_spec @@ @, @1 򀶐!m@8 @@ 瀠@ !P?@T Mр@ D@a Mр@. V@@@@@K0shiftl_spec_high @@L@l 욠@q @@v @ @ 瀠@: !D@@ ʩ@ Mр%@y EE멚,@ Mр2@#sub pR@@@@@/shiftl_spec_low @@B@ 1G@ L@ @R@  ϰZ@ Mр`@ `@@@@@)land_spec @@n@ 򀶐!bu@ dz@ 婚@ Mр@ y9@$andb=@  MрXƩ@ MрR̐@@@@@(lor_spec @@@ :@ @! .@2 Mр@ fyq񩚠(@#orb@D Mр8@I Mр7@@@@@,*ldiff_spec @@-@M p@R Қ@W dS@h Mр@ ›'n@u Mрie@$negb@ Mрo@@@@@d)lxor_spec @@e@ @   @ '@ Mр-@  _@$xorbȀ9@ Mр>@ Mр@@@@@)div2_spec @@L@ 򀩚Q@ nW@ π]@ b@ j@@@@@&square @d@q@[ 򀚠u@[ @@@@@[_+square_spec @@Zњ@[ 򀩚@[ n@'@Zɩ@Y hNM@@@@@[}@@@ %'O@A@OF@O@ @ABC@ W  N L V I@ Z@@5u Z5-@A@AB \ J@ ^z@@ ^zR@A@AC e I@ fy@@ fyd@@A@A f K@B f H FCDE hN C j >@ l"@ n,@@'N n,'A@A@AB o ?@ p >@ACD rV <@ @@ Ϡd@@A@A @ y@@ yd@@A@A 췀@ @@ d@@A@ABC & H@ F@@'u F'S@A@A v@BD {h J@ ! I@ ›@@ ›d@@A@AB @@5 5W@A@ @@) d@@A@A @@ d@@A@@@@w@d@@A@A M@@Z MѠd@@A@B1 ]@CDEFGH@+ZAxiomsSig'\>@P<Xi @P(@ @XtJ뀶@@XyJP'@P%@@\)\ @P#P"@XJ뀚 @XJg@P@@\8[ @P )@\VJ뀐@P @@[[ @P @3@\`J뀚7@\dJ뀐@P @@\[ @P@A@\nJ뀚E@\rJ뀐@P@@\[ @P[鰶@Q@\~J뀚U@\J뀩[[@\J뀚_@\J뀚c@\uJgg@\yJgk@\4Wa@P@@\:[֐ @O\@w@\J뀚{@\J뀩\@\J뀚@\J뀚@\Jg@\Jg@\GW@쀐@O@@\`[Ґ @O[К@\J뀩@\Jg@\\W@쀐@\uWa[[͐@O@@\{[ʐ @O[ȶ@@\J\@\W@@\J\©\K@\J\Ț@\Jg[[@[@\X;@\ @]J뀩[Ԡ[[@\Wa\\@]J[@O@@\[ @O뚠@]J뀐@O@@\[ @O蚠@]#J뀐@O@@\Š[ @O婚@]Jg@[K @\Wa@\X;@O@@\ޠ[ @O⩚@]+Jg@[KO#@\Wa(@[K@O@@\Oߐ @O޶@2@OJ뀶@7@OJOې@O@@OנOԐ @OӶ@A@OJ뀶@F@OJO@O@@O栠Oϐ @OΩ\갶@R@]J뀶@W@]J]Z\]@]J뀶@b@]J]ef@]xJg\l@]J]op@]Jg\mt@OJ@O@@]COȐ @OǶ\~@]J뀶Z@]J뀩\@P$JZOƠ@OJZ@]JgZ@O@@]eO @O\՚@]J뀩O@PJO@O@@]vO @O\暠@]J뀶Z@]J뀩\@PJ\@]Wa\婚@PbJZ@O@@]\C @O@@]J뀶@@^J뀚@^J뀐@O@@]\> @O@@^J뀶@@^J뀚@^J뀐@O@@]\9 @O@@^%J뀶@@^*J뀚@^.J뀐@O@@]Р\4 @O]@ @^:J뀶@@^?J뀚@^CJ뀩]@^IJ뀶@!@^NJ뀚%@^RJ뀚)@^;Jg]/@^\J뀚3@^`J뀚7@^IJg;@^MJg?@\Kp@O@@^\0 @O]㰶@K@^xJ뀶@P@^}J뀚T@^J뀩]Z@^J뀶@_@^J뀚c@^J뀚g@^yJg]m@^J뀚q@^J뀚u@^Jgy@^Jg}@\K@O@@^L\, @O^!@@^J뀶@@^J뀚@^J뀩^@^J뀶@@^J뀚@^J뀚@^Jg^1@^J뀚@^J뀚@^Jg@^Jg@]KG@O@@^\( @O]@^J뀩@^Jg@]HKp@^X;]]@O@@^\$ @O^@_ J뀶\"@_J뀩@^Jg@]gKp@^Wa\ ^@^Wa@]xKp\@O@@^Ϡ\ @O^? @_7J뀩@_!Jg@]uK^7@^X;^;@O@@^頠\ @O^Y$@_QJ뀶\g)@_VJ뀩.@_@Jg4@]K^&:@_Wa^\?@^W@쀐E@]K\d@O@@_\ @O^O@_|J뀩T@_fJgZ@]KG_@_9X;^c@_=X;@O@@_2\ @O^m@_J뀶\r@_J뀩w@_Jg}@]KG@_LWa\^@^Kp@]KG\^@O@@_]O @O@@OJ뀶@@OJ뀚@OJ뀐@O@@OO @O~O}@OJ뀶O{@OJ뀶@@OyJOx@OuJg@OK׀OtOs@Or@@OOp @OoO@OJ뀶O@OJ뀶@@OJOn@OJg@OK׀OO@Om@@O Ok @Oj@@OJ뀶@@OJ뀚@OJ뀐@Oh@@OՠOf @OeOК@OJ뀶OΚ@OJ뀶@ @OJO@OJg@OKeOOƐ@Od@@OOb @OaO𚠐@P J뀶O#@PJ뀶@)@OJO멚.@OJg4@OKeOO@O`@@P\w @\v\u>@`kJ뀩C@\lJgI@`WaO@`W@\k\j@\i@@\g\) @\(@Y@`J뀚]@`J뀐@\(@@\uX @XX@i@`J뀚m@`J뀩Xs@`J뀚w@`J뀚{@\Jg@\Jg@\ZK@X@@\X @X~@\Jg@\jK@`rX;@`vX;@X@@\X @X\ݚ@`J뀩@\Jg@\K@`Wa\ө@`rW@쀐@\K\ސ@X@@\ڠ @@@J뀶@@J@@@Ԡѐ @жϚ@J뀶͚@J뀩@Jgĩ@Jɩ@J@(.3Ӑ@@@ @@@J뀶@@J@@@ @@@'J뀶@@,J@@@ @@@6J뀶@#@;J@@@& @-@J뀶2@J뀩꩚;@Kv@@Jg@}@@堠{ @z>J@bJ뀶<O@gJ뀩yq㩚X@K5l]@2J:@i@@`g @f[g@J뀶Yl@J뀩u@KRz@EJW@e@@}E @E@@aJ뀚@aJ뀐@E@@]E @E]ɚ@aJ뀶@@EJ@awX;]@]Jg@FKoEE@E@@]Eߐ @E޶]隠@aJ뀶@@FJ]Ԛ@aX;@]Jg@F2KoF@]KF@E@@]堠@ @@@@bJ뀚@bJ뀐@@@@]@ @@^@bJ뀶@@^Jg^@aX;@^Jg@AKF6@aX;@@@@^@ @@^@ @b6J뀶@@@J@aX;^/@^BJg@A;KFZ#@@K@@@@^;@ @@^d-@bZJ뀶@3@AJ^O8@bX;=@^fJgC@A_KF~H@^KM@A'K@A@@^ec @b@W@`J_@R@@PM @L@a@jJi@J@@ZH @G@@l@@J@s@^J^@A@AJg@u@^Jg^@A@J@x@UJQ@A@ABJ@z@U.JQ@A@Ko@@FKoF@A@AKp@@`Kp^@A@BKv@@HKv@A@K@@ K@A@K@@)K @A@ABCK@@RKQ @A@Ke@@RKeQ @A@ADEKG@@`KG^@A@K@@adK^@A@AK@@^oK^[@A@K@@AKAY@A@AK@@`K^@A@BCKO@@a`KO^@A@W@@@bZW@^@A@AWa@@boWa^@A@X;@@bX;^@A@(.3@@(.3 @A@ABCDF@A@ ^@A@@@JP @@@Ր @ԠX@š@Jb@@@Ġ @@J뀩ᩚ@V@RƁ@@@ܠ @ǚ@J뀩@K΀@KV@@@ @@@J뀶@ @J뀚@J뀐@@@ @@@J뀶@@J뀚#@J뀩v)@J뀶@.@J뀚2@J뀚6@qJg<@J뀚@@J뀚D@JgH@JgL@K@p@@Š] @\[V@J뀩[@Jga@KYf@XX;j@WK@V@@㠠T @Syt@J뀶Ry@J뀶@@PJ@vX;{@Jg@KO@NWaM@KKGZ@/KJ@I@@G @F@/J뀶@4J뀶@@EJ@X;@Jg@TKo@X;@D@@BB @A@@?J뀚@CJ뀐@>@@<9 @87@MJ뀶@@5J@4X;32@AJ@%KG@uW$@zW)( @"J.@;KG@!Wa@W@ @,Wa&@WK@ @@ @0@J뀶@6@OJ~;@X;@@JgF@WkJ@X;@@@ @@T@J뀚X@J뀐@@@ @b@$J뀶@h@ Jm@ X;  t@Jz@K@KO@PVy@-J@K@KO@Wa@kVy@@@Z @U@kJ뀶@@7JM@RX;@Jg@Vy4@aX;@@@~ @@@J뀶@@J뀚@J뀐@@@頠 @嚠G@3Gkښ@3Gkܠ @3Gk՚@3Gk@3G!瀠֩@3GǀԠ@@ @KGv@K@ @K@A@AKw@BKu@K@ @K@A@AKv@BKt@CDKOr@V@ @(V@A@Vy@ @Vy@A@ABW@v@W@ @W@A@ACWawuDEF@A@&NZGcd' !a4@A@@^ &@]J뀶\ +@J[Y/@@Π@@ OY@@b OY@A@A@A@ʠ @A@@@Ǡ_@@3Gk@f@3Gk@A@A3G!@@3G!@A@3G"`@@3G"`@A@AB3G"o@@3G"o@A@3G@ @3G@A@A3GW@@3GW@A@3G@@3G@A@ABC3G@@13G@A@3G @@3G @A@A3G3@@3G3@A@3G@@3G@A@A3S{l@@3S{l@A@3S@"@3S@A@3Tv@%@3Tv@A@ABCDE@A@@@n @my v@J뀶l {@J뀩 @ @Kxslb@k@@i @h @J뀶 @J뀩 @ @Kxst@g@@e @d @J뀶 @J뀶 @J뀶@ @@ @c @ @Kxsb@_@@ޠ] @\ؚ @J뀶˚ @J뀩 @[J @#X; @Kxsϐ@Z@@? @?@ @?J뀶@ @?J뀚 @?J뀐@?@@?? @?@ @?J뀶@ @?J뀚 @?J뀐@?@@?: @::@ @?J뀶@ @?J뀚 $@?J뀩9 *@?J뀶@ /@?J뀚 3@?J뀚 7@9Jg: =@?J뀚 A@?J뀚 E@9Jg I@:Jg M@@Kt@9@@?9ې @9ک:>@ Y@@J뀶@ ^@@ J뀚 b@@J뀩:2 h@@J뀶@ m@@J뀚 q@@J뀚 u@:-Jg:E {@@(J뀚 @@,J뀚 @:;Jg @:?Jg @@&I@9@@@,9Ր @9Զ9Ӛ @@BJ뀶9њ @@GJ뀶@9ϐ @:ZJg9Ś @9X; @:dJg9é @9Kp @9KG9 @@vKt9 @@^I9Đ@9@@@d9 @9:  @@zJ뀶:  @@J뀶@ @9J @9X;9@ @9J @:X;99 @9J @:X; @@I9 @9J @@I9:@9@@@@p @@o@n @g;J뀶@j @g@J뀶@ @EJ @fX;c9@l %@KsJ *@gX; /@@I@c 4@FJ :@@I@nKt@@j@@cR@h @@g@ D@gqJ뀶@ I@gvJ뀶@ O@F1Jck T@g.X;@ [@F=JK a@@I@ f@KJ l@AI@ p@gJX;@@@@c3 @3@ z@gJ뀶@ @gJ뀚 @gJ뀐@3 @@c3 @3@ @gJ뀶@ @gJ뀚 @gJ뀐@3@@c-C @-B_ư@ @gJ뀶@ @gJ뀚 @gJ뀩_ @gJ뀶@ @gJ뀚 @gJ뀚 @cJg_ @gJ뀚 @gJ뀚 @cJg @cJg @3gW`@-b@@c젠-^ @-]`@ @h J뀶@ @hJ뀚 @hJ뀩` @hJ뀶@ @h!J뀚 @h%J뀚 @d%Jg` @h/J뀚 @h3J뀚 @d3Jg @d7Jg @3K%@-@@d*- @-A| @hIJ뀶Ax !@hNJ뀶@- )@dRJgdE .@hX; 3@d\JgAg 9@fKp ?@fKGLz E@3W`Ay J@3K%A~@-@@db- @-A T@hJ뀶A Y@hJ뀶@ _@LJ d@h>X;L@ j@GLJ o@hIX;LA v@LJ {@hUX; @4K%- @GgJ @4 K%-A@-@@d- @-A @hJ뀶A񚠐 @hJ뀶@.  @dJgd @hX; @dJg @43K% @dK-L򩚠 @dK @4DK%A@-@@d۠-ڐ @-ٶB- @hJ뀶B) @hJ뀶@.B @eJgd @hX; @e Jg @4kK%B @dKM+ @4vK%B)@-@@e X @W@ @UJ뀶@ @ZJT@G@@EB @A@ @dJ뀶@ @iJ뀚 @mJ뀐@?@@X= @<@ !@wJ뀶@ &@|J뀚 *@J뀐@:@@k8 @7@ 4@J뀶@ 9@J뀚 =@J뀐@5@@~4 @3@ G@J뀶@ L@J뀚 P@J뀐@1@@0 @/@ Z@J뀶@ _@J뀚 c@J뀐@-@@, @+@ m@J뀶@ r@J뀚 v@J뀐@)@@( @'@ @J뀚 @J뀐@%@@Š# @"!@ @J뀶@ @J @J뀶@ @J𚠐 @Jg& @J @Jg @lgʀ@@@ @򚠐 @J뀩 @#lgʀ @Kp @KG @KO횠 @K @X;@@@ @ @<J뀩I8 @Mlgʀ @KG @KO @ X;@@@=ސ @ݶ<@\J뀶ܚ @aJ뀶@@J@%X;/yh@}lgʀ#@JKp)@IKG.@HKOٚ2@FK7@Waש<@lgʀՐ@@@}Ґ @Ѷ|F@J뀶K@J뀶@Q@JV@eX;o]@lgʀc@KGh@KOm@Wa r@lgʀ @@@ΐ @Ͷ|@J뀶R@J뀶@@J@X;ީ@lgʀ,z@@@Ԡɐ @ȶӚ@J뀶s@J뀶ǚ@J뀶@@vJ@X;˩@lgʀ@:^@$lgʀʩ@KpÐ@@@  @ @*J뀶@/J뀶@4J뀶@@J@X;@@JRA@Vlgʀ@7:@algʀé@K@@@H @G@gJ뀶皠@lJ뀶;@qJ뀶@!@fJs(@lgʀ.@i:4@@@o @n8@J뀶=@J뀶B@J뀩I@lgʀO@ZVrhV@lgʀ[@lgʀ@@@ @e@J뀶ޚj@J뀶@o@J뀩Ұv@lgʀ|@pKr@lgʀש@lgʀ֐@@@ɠ @Ț@J뀶 @J뀶m@J뀩@lgʀ@,B© @lgʀ@lgʀ@@@ @@J뀶:@J뀶@!J뀩.@2lgʀ@Vq@?lgʀ3@Dlgʀ2@@@% @$@DJ뀩@aJg@UȀ@!:@K@@@D @@ @l:J뀚@l>J뀐@@@kࠠ @kP@lHJ뀩 @l2Jg&@1Z|kH+@jsKG^;@@@k@@@ %'`T@A@_@`$@]@ABC@ J  Kp @Kt@:@EKtE@A@ABKv @Kxs@=@fKxs@A@ACK @Kr@B@6Kr}@A@AK @BK  CDEKG =K @K8@K%@I@7K%7@A@ABK @K @ACDKO @U@P@U|@A@AV=@Vr@T@_Vr{@A@AVy>@V@W@Vz@A@ABCW@ @W`@[@7W`7@A@AWB@BDWa @X; @,@`@=,y@A@ABI@b@EIE@A@:@f@:x@A@A:@h@:w@A@1Z|@m@1Z|v@A@Alg@o@lgu@A@B(.3 @CDEFGH@@@@ %'`@A ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@`@A`v@B@C@@@&Basics'Program#Coq@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1432@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*uahhh@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ-GenericMinMax*Structures#Coq@0måj$$Init'Classes#Coq@0](p{yOh.%Logic$Init#Coq@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6edd@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbersm=@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbersz@0MlIpKt%NZDiv&NatInt'NumbersA @0$ |J?d (w0KgT7|%NZLog&NatInt'Numbers@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,0H>ca'^^%NZPow&NatInt'Numbers@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers@0` .%m#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ4Operators_Properties)Relations#Coq@0U3y#h&&Orders*Structures @0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%%Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱ/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$&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03n~8\n|@j2 Q@@A@"_8n@j@A@@@@@@@@"_92M접#_10'`o@A@@j@@j8\j~@jM2 Q@@@@#_12j@jX @A@@@@+@#_132M접 #_14'`o@A@@jf@@jY8\jWjM@#_16@ccA@cAA@#- _@c  @A!-!x@@@@@ @A@@AA@@@@#_17%c?@@@@@@j@j27 @@@@1o(j@#- x@jr8\jp@jx#tӡj@jjzj]@A@jjf@@%"@jtj@A@A@Aj#tӡo6j@jk@A@jjs@@%"@jj@A@A@jj@@P @jqj@A@A@AB@jp8\jng[@g>2 Q@@A@#_20j@gIZ@A@@@@@#_212M접 #_22'`o@@@@#_2346@B@&ProperL@@@"#_24X@3typeclass_instancesgm@@@gjgmgjgugxgngqgp/@@@@Vgkj@ /Coq.Numbers.Integer.Abstract.ZAxioms.IsOpp#<>#1%C@gk2 Q@@A@#_25j@gv76 9c&@#_262M접  #_27'`o@@@@gx2 Q@@A@#_28k@gLD@#_292M접  #_30'`o@A@@g@@g8\g}d@#_33%c?@@@d#@k A砐d@n E@@@@#- 1pg@#- 1#_34%c?@@@d-@n Ev@@@@#- 2p'g@#- 2@d"8\@d'#tӡld.NZOrdAxiomsSig@d+@^=Sm^m@=U^k@A=[^f^dDE@A@d4#tӡp5p1@d7l@A@p0d9@@=@^lj@A@A=@^lg@A@=@^^@A@AB=@^^@A@=A6@^li@A@A=Q@^^@A@=R@^^@A@ABC=Sm@^lj@A@=U@^lh@A@A=[@^lf@A@=]u@^ld@A@A=@^lb@A@=f@^l`@A@= @^l^@A@ABCDE@Ad[#tӡk@kd]@@=U@^k@A@A@A@l0db@@=@^l@A@A=@^l@A@=@^^@A@AB=@^^@A@=A6@^l@A@A=Q@^^@A@=R@^^@A@ABC=Sm@^l@A@=U@^l@A@A=[@^l@A@=]u@^l@A@A=@^l@A@=f@^l@A@= @^l@A@ABCDE@Ad#tӡpk@dl^@A@kd@@=@^l@A@A=@^l@A@=@^^@A@AB=@^^@A@=A6@^l@A@A=Q@^^@A@=R@^^@A@ABC=Sm@^l@A@=U@^l@A@A=U@^l&@A@=[@^l@A@AB=]u@^l@A@=@^l@A@=f@^l@A@= @^l@A@ABCDE@hd@@=@_l@A@A=@_l@A@=@__@A@AB=@__@A@=A6@^l@A@A=Q@^^@A@=R@^^@A@ABC=Sm@^l@A@=U@^l@A@A=U@^lG@A@=[@^l@A@AB=]u@^l@A@=@^l@A@=f@^l@A@= @^l@A@ABCDE@AB@^8\@^#tӡm/NZOrdAxiomsSig'@^@Z4 yZ@ yZ@A yZZDE@A@_#tӡ@_l@A@p۠_@@ yS8@ZAm@A@A yZ@Z@m@A@ y[-@Z?_<@A@AB y[<@Z>_:@A@ y]@Z=m@A@A y$@Z<_7@A@ y@Z;_5@A@ABC y@Z:m@A@ y@Z9m@A@A y@Z5m@A@ y@Z4m@A@A 9@Z3m @A@ @Z2m @A@ @Z1m @A@ABCDE@A_*#tӡi@i_,@@ y @ZIl@A@A@A@lY_1@@ yS8@Zjm>@A@A yZ@Zim;@A@ y[-@Zh_e@A@AB y[<@Zg_c@A@ y]@Zfm=@A@A y$@Ze_`@A@ y@Zd_^@A@ABC y@Zcm>@A@ y@Zbm<@A@A y@Z^m:@A@ y@Z]m8@A@A 9@Z\m6@A@ @Z[m4@A@ @ZZm2@A@ABCDE@A_S#tӡ@_Um@A@lY_W@@ yS8@Zmd@A@A yZ@Zma@A@ y[-@Z_@A@AB y[<@Z_@A@ y]@Zmc@A@A y$@Z_@A@ y@Z_@A@ABC y@Zmd@A@ y@Zmc@A@A y @Zl@A@ y@Zmc@A@AB y@Zm_@A@ 9@Zm^@A@ @Zm\@A@ @ZmZ@A@ABCDE@if_x@@ yS8@Zm@A@A yZ@Zm@A@ y[-@Z_@A@AB y[<@Z_@A@ y]@Zm@A@A y$@Z_@A@ y@Z_@A@ABC y@Zm@A@ y@Zm@A@A y @Zl@A@ y@Zm@A@AB y@Zm@A@ 9@Zm@A@ @Zm}@A@ @Zm{@A@ABCDE@AB_#tӡqyi @_mR@A@i_@@ yS8@Zm@A@A yZ@Zm@A@ y[-@Z_@A@AB y[<@Z_@A@ y]@Zm@A@A y$@Z_@A@ y@Z_@A@ABC y@Zm@A@ y@Zm@A@A y @Zm@A@ y@Zm@A@AB y@Zm@A@ 9@Zm@A@ @Zm@A@ @Zm@A@ABCDE@e_ @@ yS8@Zm@A@A yZ@Zm@A@ y[-@Z_@A@AB y[<@Z_@A@ y]@Zm@A@A y$@Z_@A@ y@Z_@A@ABC y@Zm@A@ y@Zm@A@A y @Zm;@A@ y@Zm@A@AB y@Zm@A@ 9@Zm@A@ @Zm@A@ @Zm@A@ABCDE@AB@Z8\Z@U2 Q@@@@#_36Z@U&wt@A@@@@>@#_372M접 #_38'`o@A@@V @V2 Q@@A@#_39[@V&F?#`@#_402M접  #_41'`o@B@@@V/V @V2 Q@@A@#_42[C@V6I@#_432M접  #_44'`o@B@@@VUVF@@V8\V@Q2 Q@@@@#_46V @Q%0t@A@@@@@#_472M접 #_48'`o@A@@Q3@Q,2 Q@@A@#_49VC@Q7Tf#@#_502M접  #_51'`o@B@@@QVQG@Q42 Q@@A@#_52Vi@Q?{hII@#_532M접  #_54'`o@B@@@Q|QO@QA2 Q@@A@#_55V@QL{do!@#_562M접  #_57'`o@B@@@QQu@@QM8\QKLU@L2 Q@@A@#_60Q\@L ǭS@A@@@@O@#_612M접 #_62'`o@C@@@@LL L@K2 Q@@A@#_63Q@K*+y@#_642M접  #_65'`o@C@@@@LGLJLB@@L8\L@L #tӡLx@LE7@A@F!AƠG@@ر@GGol@A@A-@GFoi@A@@GEa@A@AB@GDa@A@h@GCok@A@Ay@GBa@A@z+@GAa@A@ABC{ @G@ol@A@}S@G?ok@A@A}@G>n@A@y@G=ok@A@AB@G<og@A@9@G;of@A@'@G:od@A@4M@G9ob@A@ABCDE@AL6#tӡs`Qݠ@L9o9@A@QܠG8@@ر@Gpo@A@A-@Goo@A@@Gna@A@AB@Gma@A@h@Glo@A@Ay@Gka@A@z+@Gja@A@ABC{ @Gio@A@}S@Gho@A@A}@Ggo@A@y@Gfo@A@AB@Geo@A@9@Gdo@A@'@Gco@A@4M@Gbo@A@ABCDE@ML\@@ ;@EL@A@:=uP@EL@A@AB@AB@E8\E@E#tӡL&NZDiv'@E? @A@Gb'@@@2@@o@A@A@@o@A@'@@a@A@AB6@@a@A@xW@@o@A@A@@a@A@@@a@A@ABC@@o@A@@@o@A@A@@o9@A@@@o@A@AB@@o@A@I3@@o@A@@@o@A@C@@o@A@ABCDE@AE#tӡa@cEo@A@R<@@@2@@o@A@A@@o@A@'@@b@A@AB6@@b@A@xW@@o@A@A@@b@A@@@b@A@ABC@@o@A@@@o@A@A@@oa@A@@@o@A@AB@@o@A@I3@@o@A@@@o@A@C@@o@A@ABCDE@MfE٠@@!m3@?WM@A@@?VM@A@AB@AB@?U8\?S@?I2 Q@@@@#_67?c@?T]@A@@@@k@#_682M접 #_69'`o@B@@@?c?f@?^2 Q@@@@#_70?@?ik'@#_712M접  #_72'`o@B@@@??@@?q8\?o?e@#_74@hhAh@@h@BhA@&_ ÷ _@h @Bn"÷!y@@@v@AA@A@@#÷ @B@@@@@#_75%c?@@@@@@@@@?@?#r)@@@@?t?@&x ÷ y#_76@hh@h@@h@@hA@'_ rem _@h @@Ơ#remX@@@͠@A@@A@@$rem @B@@@@@#_77%c?@@栠@@@t@@@@W@@/Jנ@@@@<t@$@)x 'rem' y@?۠8\?@?#tӡ?@???@A@@e?Ϡ@@@?p@A@A@A?#tӡu @<@?p@A@@;?ܠ@@@?p@A@A@@5?@@@.@?@O@A@Lm@?@N@A@AB@AB@?8\?:@:2 Q@@@#_80?@:q.@A@@@@@#_812M접 #_82'`o@@@@#_8346@ѐ@#_84X@Вm<@@@:@::Ťm=:͸@:ѐ:Ԑ:ΤmO:ߐ:␑:ܐ:ߐ:ܐD@@堒d:q@1@ 5Coq.Numbers.Integer.Abstract.ZAxioms.QuotRemSpec#<>#12@:ݠ2 Q@@G@#_85@>@: p @#_862M접  #_87'`o@@@@#_8846@E@@#_89X@?m@@@;-@;1;4m;<@;@;C;=m;N;Q;K;N;8D@@Tc;Dr0@@ 5Coq.Numbers.Integer.Abstract.ZAxioms.QuotRemSpec#<>#22@;;2 Q@@A@#_90@@;F Rࠠy@#_912M접  #_92'`o@C@@@@;;;Y@;<2 Q@@A@#_93@@;G.: @#_942M접  #_95'`o@D@@@@@;;;[;W@;I2 Q@@A@#_96A@;TB}8@#_972M접  #_98'`o@C@@@@;ࠐ;㠐;@;[2 Q@@A@#_99A0@;fBb@$_1002M접  $_101'`o@C@@@@< < ;@@;s8\;q@;y#tӡA@A;{4@A@B6{@@yT@6r@A@Ay\5@6r@A@y\@6e@A@ABy\@6e@A@y@6r@A@Ay@6e @A@y3@6e @A@ABCy@6r@A@y[@6r@A@Ay@6rW@A@y@6r@A@ABz@6r@A@@6r@A@ /@6r@A@U@6r@A@ABCDE@A;#tӡvA@;r@A@A6@@yT@6s@A@Ay\5@6s@A@y\@6e;@A@ABy\@6e9@A@y@6s@A@Ay@6e6@A@y3@6e4@A@ABCy@6s@A@y[@6s@A@Ay@6r@A@y@6s@A@ABz@6s@A@@6s@A@ /@6s @A@U@6s @A@ABCDE@<;Ǡ@@2~TY@5GB?@A@2,@5FB>@A@AB@AB@5E8\5C@5K#tӡ<@<5M.@A@A0M@@d:@0sI@A@Ak@0sF@A@l/@0ep@A@ABl>@0en@A@_@0sH@A@A&@0ek@A@@0ei@A@ABC@0~sI@A@@0}sH@A@A @0|r@A@@0{sH@A@AB@0zsD@A@;@0ysC@A@@0xsA@A@@0ws?@A@ABCDE@A5s#tӡ^@`5us@A@Aߠ0u@@d:@0sq@A@Ak@0sn@A@l/@0e@A@ABl>@0e@A@_@0sp@A@A&@0e@A@@0e@A@ABC@0sq@A@@0sp@A@A @0r@A@@0sp@A@AB@0sl@A@;@0sk@A@@0si@A@@0sg@A@ABCDE@= 5@@1|@/B@A@1v@/B@A@AB@AB@/8\@/#tӡK|@K~/@' '@ V'@A f''BC hN'' j'@ p'@AB rV'@ &'@ {h'@ !'@ABCDE@A@/-#tӡ&Orders*Structures#Coq@.OrderFunctions@ /8@@ \@''@A@A e@''@A@ f@''@A@1@''@A@ABC@A@h!E /E@@ @(s@A@A n@(s@A@ @'e@A@AB @'e@A@ V@'s@A@A f@'e@A@ gl@'e@A@ABC hN@'s@A@ j@'s@A@A j@'s7@A@ p@'s@A@AB rV@'s@A@ &@'s@A@ {h@'s@A@ !@'s@A@ABCDE@A/i#tӡw`@/l@@ V@([@A@A@A@`/q@@ @(-s@A@A n@(,s@A@ @(+f@A@AB @(*f@A@ V@(%s@A@A \@($(#@A@ e@("(!@A@ABC f@((@A@ f@( f @A@A gl@(f@A@ hN@(s@A@AB j@(s@A@ j@(sj@A@A p@(s@A@ rV@(s@A@AB &@(s@A@ {h@(s@A@ !@(s@A@1@((@A@ABCDEF@A/#tӡw[Р@/@@ o@(-Vy@A@A@A@[Ҡ/@@ @(at+@A@A n@(`t(@A@ @(_fR@A@AB @(^fP@A@ V@([[@A@A V@(Zt+@A@ \@(Z(Y@A@ABC e@(W(V@A@ f@(W(V@A@A f@(UfU@A@ gl@(TfS@A@AB hN@(St3@A@ j@(Rt2@A@A j@(Qs@A@ p@(Mt2@A@AB rV@(Lt.@A@ &@(Kt.@A@A {h@(Jt+@A@ !@(It)@A@1@(H(G@A@ABCDEF@A/Ӡ#tӡ(G@(I/ՠ@@ i@$$@A@ @$$@A@AB@A@(/ܠ@@ @(tb@A@A n@(t_@A@ @(f@A@AB @(f@A@ V@(\@A@A V@(tb@A@ \@((@A@ABC e@((@A@ f@((@A@A f@(f@A@ gl@(f@A@AB hN@(tk@A@ j@(ti@A@A j@(s@A@ o@(V@A@ABC p@(tj@A@ rV@(th@A@A &@(tf@A@ {h@(td@A@ !@(tb@A@1@((@A@ABCDEF@A0 #tӡ%NZPow&NatInt'Numbers#Coq@ @ 0@@ l"@$$@A@A@A@F!A Ġ0@@ @(t@A@A n@(t@A@ @(f@A@AB @(f@A@ V@(\b@A@A V@(t@A@ \@((@A@ABC e@((@A@ f@((@A@A f@(f@A@ gl@(f@A@AB hN@(t@A@ i@%%@A@A j@(t@A@ j@(t@A@ABC o@(W@A@ p@(t@A@A rV@(t@A@ @%%@A@AB &@(t@A@ {h@(t@A@ !@(t@A@1@((@A@ABCDEF@A0S#tӡ&NZSqrt&NatInt'Numbers#Coq@ @ 0_@@ v@%)%(@A@A@A@F!A 0f@@ @)"t@A@A n@)!t@A@ @) g@A@AB @)g@A@ V@)\@A@A V@)t@A@ \@))@A@ABC e@))@A@ f@))@A@A f@)g@A@ gl@)g@A@AB hN@)t@A@ i@%^%]@A@A j@)t@A@ j@)tb@A@ABC l"@%\%[@A@ o@)Wa@A@A p@)t@A@ rV@)t@A@AB @%^%]@A@ &@)t@A@A {h@)t@A@ !@)t@A@1@))@A@ABCDEF@A0#tӡ%NZLog&NatInt'Numbers#Coq@&NZLog2@ 0@@ 췀@%w%v@A@A@A@D!A 0@@ @)mu7@A@A n@)lu4@A@ @)kg^@A@AB @)jg\@A@ V@)g\@A@A V@)fu7@A@ \@)f)e@A@ABC e@)c)b@A@ f@)c)b@A@A f@)aga@A@ gl@)`g_@A@AB hN@)_u?@A@ i@%%@A@A j@)^u>@A@ j@)^t@A@ABCD l"@%%@A@ o@)_W@A@A p@)^uC@A@ rV@)^u@@A@AB @%%@A@ &@)^uA@A@A v@%%@A@ {h@)_u@@A@ !@)^u>@A@1@)])\@A@ABCDEF@E!B 0@@ @)un@A@A n@)uk@A@ @)g@A@AB @)g@A@ V@)]+@A@A V@)un@A@ \@))@A@ABC e@))@A@ f@))@A@A f@)g@A@ gl@)g@A@AB hN@)uv@A@ i@%%@A@A j@)uu@A@ j@)t@A@ABCD l"@%%@A@ o@)W@A@A p@)uz@A@ rV@)uw@A@AB @%%@A@ &@)ux@A@A v@%%@A@ {h@)uw@A@ !@)uu@A@1@))@A@ABCDEF@AB1#tӡ%@%1!@@ ^z@~%@A@A@A@& 1&@@ @)u@A@A n@)u@A@ @)g@A@AB @)g@A@ V@)]j@A@A V@)u@A@ \@))@A@ABC e@))@A@ f@))@A@A f@)g@A@ gl@)g@A@AB hN@)u@A@ i@&&@A@A j@)u@A@ j@)u"@A@ABCD l"@&&@A@ o@)X!@A@A p@)u@A@ rV@)u@A@AB @&&@A@ 췀@&&@A@A &@)u@A@ v@&&@A@A {h@)u@A@ !@)u@A@1@))@A@ABCDEF@A1`#tӡyR@1c@@ Z@R@A@ @R@A@AB@A@R1j@@ @*'u@A@A n@*&u@A@ @*%h@A@AB @*$h@A@ V@*!]@A@A V@* u@A@ \@* *@A@ABC ^z@&'@A@ e@*!* @A@A f@**@A@ f@*h@A@AB gl@*h@A@ hN@*u@A@A i@&c&b@A@ j@*u@A@ABCD j@*ug@A@ l"@&d&c@A@A o@*Xf@A@ p@*u@A@AB rV@*u@A@ @&f&e@A@A 췀@&c&b@A@ &@*u@A@AB v@&b&a@A@ {h@*u@A@ !@*u@A@1@**@A@ABCDEF@A1#tӡy>@1@@ n,@E9@A@ F@E8@A@AB@A@>Š1@@ @*mv7@A@A n@*lv4@A@ @*kh^@A@AB @*jh\@A@ V@*g]@A@A V@*fv7@A@ Z@SJ@A@ABC \@*g*f@A@ ^z@ &q@A@A e@*h*g@A@ f@*f*e@A@AB f@*dhd@A@ gl@*dhc@A@A hN@*cvC@A@ i@&&@A@ABCD j@*avA@A@ j@*du@A@A l"@&&@A@ o@*cX@A@AB p@*bvG@A@ rV@*cvE@A@A @&&@A@ 췀@&&@A@ABC &@*cvF@A@ v@&&@A@A {h@*evF@A@ !@*dvD@A@ @So@A@1@*e*d@A@ABCDEF@A1#tӡ&NZBits&NatInt'Numbers#Coq@ @ 1@@ fy@VU@A@A @HG@A@ y@ED@A@AB @BA@A@ ›@;:@A@A @54@A@ @43@A@ M@-,@A@ABCD@A@F!A 2@@ @*v@A@A n@*v@A@ @*h@A@AB @*h@A@ V@*^U@A@A V@*v@A@ Z@S@A@ABC \@**@A@ ^z@&@A@A e@**@A@ f@**@A@AB f@*h@A@ gl@*h@A@A hN@*v@A@ i@' ' @A@ABCD j@*v@A@ j@*v@A@A l"@' ' @A@ n,@E@A@AB o@*Y@A@ p@*v@A@A rV@*v@A@ @''@A@ABC 췀@' ' @A@ &@*v@A@A F@E@A@ v@''@A@AB {h@*v@A@ !@*v@A@ @~S@A@1@**@A@ABCDEF@A2U#tӡv(NZSquare@2Y@@@@~@A@A@A@T"NZ _2`@@ @+v@A@A n@+v@A@ @+i@A@AB @+i @A@ V@+^@A@A V@+v@A@ Z@S@A@ABC \@++@A@ ^z@'!@A@A e@++@A@ fy@@A@AB f@++@A@ f@+i@A@A gl@+i@A@ hN@+v@A@ABCD i@'\'[@A@ j@+v@A@A j@+vc@A@ l"@'^']@A@AB n,@F@A@ o@+Yc@A@A p@+v@A@ rV@+v@A@ABC @@A@ @'e'd@A@A y@@A@ 췀@'d'c@A@AB @@A@ &@+w@A@A F@F(@A@ v@'g'f@A@ABC {h@+!w@A@ !@+"w@A@A ›@@A@ @T.@A@AB @@A@ @@A@ M@@A@1@+)+(@A@ABCDEFG@A@͠8\@Ҡ#tӡ_m@_oԠ@hJ_@KpY@AKOMBCKGJHKE@K@@ABKO>@W@;@Wa:@X;8@ABCDE@A@#tӡ/OrderFunctions'@@@Kv@i+w@A@AK@g+t@A@K@f+r@A@(.3@F+Q@A@ABC@A@i H@@J@wa@A@AJg@w^@A@J@i@A@ABJ@i@A@Kp@w`@A@AK@wi@A@Ke@vi@A@ABCKG@uwa@A@K@tw`@A@AK@sv@A@K@ow`@A@ABKO@nw\@A@W@@lw[@A@Wa@lwY@A@X;@kwW@A@ABCDE@A#tӡ@@@Ko@_:@A@A@A@d@@J@w@A@AJg@w@A@J@i@A@ABJ@i@A@Kp@w@A@AKv@+@A@K@+@A@ABCK@+@A@K@i@A@AKe@i@A@KG@w@A@ABK@w@A@K@v@A@AK@w@A@KO@w@A@ABW@@w@A@Wa@w@A@X;@w@A@(.3@+@A@ABCDEF@AK#tӡ@M@@K@Z @A@A@A@_fR@@J@w@A@AJg@w@A@J@i@A@ABJ@i@A@Ko@_|@A@AKp@w@A@Kv@+@A@ABCK@+@A@K@+@A@AK@i@A@Ke@i@A@ABKG@w@A@K@w@A@AK@w3@A@K@w@A@ABKO@w@A@W@@w@A@AWa@w@A@X;@w@A@(.3@+@A@ABCDEF@A#tӡ+۠@+ݠ@@K@{(F@A@V@s(<@A@AB@A@,1@@J@w@A@AJg@w@A@J@j@A@ABJ@j@A@Ko@_@A@AKp@w@A@Kv@,$@A@ABCK@,!@A@K@,"@A@AK@j!@A@Ke@j@A@ABKG@w@A@K@w@A@AK@wj@A@K@Zf@A@ABCK@ w@A@KO@w@A@AW@@ w@A@Wa@ w@A@X;@ w@A@(.3@ ,@A@ABCDEF@A#tӡ&NZPow'@@@K@({@A@A@A@GOà@@J@Wx0@A@AJg@Vx-@A@J@UjW@A@ABJ@TjU@A@Ko@Q_@A@AKp@Px0@A@Kv@P,^@A@ABCK@N,[@A@K@P,\@A@AK@Oj[@A@Ke@NjY@A@ABKG@Mx9@A@K@(@A@AK@Lx8@A@K@Lw@A@ABCK@IZ@A@K@Kx<@A@AKO@Jx8@A@V@(@A@ABW@@Ix8@A@Wa@Ix6@A@X;@Hx4@A@(.3@G,R@A@ABCDEF@A#tӡ'NZSqrt'@@@W@(@A@A@A@G @@J@xn@A@AJg@xk@A@J@j@A@ABJ@j@A@Ko@`+@A@AKp@xn@A@Kv@,@A@ABCK@,@A@K@,@A@AK@j@A@Ke@j@A@ABKG@xw@A@K@(@A@AK@xv@A@K@w@A@ABCK@(@A@K@Z@A@AK@x{@A@KO@xx@A@ABV@(@A@W@@xy@A@AWa@xv@A@X;@xt@A@(.3@,@A@ABCDEF@A 7#tӡ@ 9@@Vy@%(@A@A@A@w >@@J@x@A@AJg@x@A@J@j@A@ABJ@j@A@Ko@`i@A@AKp@x@A@Kv@,@A@ABCK@,@A@K@,@A@AK@j@A@Ke@j@A@ABKG@x@A@K@Q)@A@AK@x@A@K@x!@A@ABCDK@P)@A@K@[ @A@AK@x@A@KO@x@A@ABV@S)@A@W@@x@A@AW@Q)@A@Wa@x@A@X;@x@A@(.3@,@A@ABCDEF@u s@@J@x@A@AJg@x@A@J@k@A@ABJ@k@A@Ko@`@A@AKp@x@A@Kv@-@A@ABCK@- @A@K@- @A@AK@k @A@Ke@k @A@ABKG@x@A@K@)Q@A@AK@x@A@K@xV@A@ABCDK@)O@A@K@[U@A@AK@x@A@KO@x@A@ABV@)Q@A@W@@x@A@AW@)M@A@Wa@x@A@X;@x@A@(.3@-@A@ABCDEF@AB #tӡ@ @@Kxs@t)B@A@A@A@Π @@J@Gy @A@AJg@Fy@A@J@EkG@A@ABJ@DkE@A@Ko@A`@A@AKp@@y @A@Kv@@-N@A@ABCK@>-K@A@K@?-K@A@AK@>kJ@A@Ke@=kH@A@ABKG@<y(@A@K@)@A@AK@;y'@A@K@;x@A@ABCDK@)@A@K@<[@A@AK@;y,@A@KO@;y)@A@ABV@)@A@Vy@)@A@AW@@<y+@A@W@)@A@AWa@>y+@A@X;@=y)@A@(.3@<-G@A@ABCDEF@A #tӡ})O@ @@Kt@Vb@A@I@Va@A@AB@A@O# @@J@yd@A@AJg@ya@A@J@k@A@ABJ@k@A@Ko@a!@A@AKp@yd@A@Kv@-@A@ABCKxs@)@A@K@-@A@AK@-@A@K@k@A@ABKe@k@A@KG@yo@A@AK@ )@A@K@ym@A@ABCDK@x@A@K@ )@A@AK@[@A@K@yr@A@ABKO@yn@A@V@)@A@AVy@ )@A@W@@yr@A@ABW@ )@A@Wa@yq@A@X;@yo@A@(.3@-@A@ABCDEF@A!2#tӡ}o;@!5@@K%@H@A@W`@H@A@AB@A@;!<@@J@y@A@AJg@y@A@J@k@A@ABJ@k@A@Ko@ag@A@AKp@y@A@Kt@V@A@ABCKv@-@A@Kxs@)@A@AK@-@A@K@-@A@ABK@k@A@Ke@k@A@AKG@y@A@K@R*@A@ABCDK@y@A@K@y%@A@AK@T*@A@K@\"@A@ABK@y@A@KO@y@A@AV@V*@A@Vy@U*@A@ABCW@@y@A@W@V*@A@AWa@y@A@X;@y@A@I@V@A@(.3@-@A@ABCDEF@A!|#tӡs'NZBits'@!@@Kr@D!@A@AU@7!@A@Vr@5!@A@ABV@3!@A@,@-!@A@A:@(!@A@:@(!@A@lg@#!@A@ABCD@A@Gke!@@J@)z@A@AJg@(y@A@J@'l)@A@ABJ@&l'@A@Ko@#a@A@AKp@"z@A@Kt@lW@A@ABCKv@#.1@A@Kxs@n*<@A@AK@%.2@A@K@$.0@A@ABK@#l/@A@Ke@#l.@A@AKG@"z@A@K@*u@A@ABCDK@ z @A@K@#y}@A@AK@*v@A@K%@uI1@A@ABK@#\{@A@K@$z@A@AKO@#z@A@V@*y@A@ABCVy@*v@A@W@@&z@A@AW`@pI;@A@W@*y@A@ABWa@(z@A@X;@'z@A@I@pW>@A@(.3@(.3@A@ABCDEF@A!ؠ#tӡj@l!ڠ@@1Z|@q!@A@A@A@h!ߠ@@J@tzM@A@AJg@szJ@A@J@rlt@A@ABJ@qlr@A@Ko@nb @A@AKp@mzM@A@Kt@W`@A@ABCKv@n.|@A@Kxs@*@A@AK@p.}@A@Kr@"3@A@ABK@p.|@A@K@ql}@A@AKe@olz@A@KG@oz[@A@ABCDK@*@A@K@pz\@A@AK@oy@A@K@*@A@ABK%@I}@A@K@q\@A@AK@pza@A@KO@pz^@A@ABCU@"<@A@V@*@A@AVr@"=@A@Vy@*@A@ABV@"<@A@W@@yzh@A@AW`@I@A@W@*@A@ABCWa@{zh@A@X;@|zh@A@A,@">@A@I@W@A@AB:@":@A@:@"9@A@lg@"2@A@(.3@.@A@ABCDEFG@A@@@\}zK=PKڄ@52y麚D@V ߿Q|$),@+Z*n JLFU_coJ5 gn