"`O3찠(NZAxioms&NatInt'Numbers#Coq@`2Relation_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@)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@0@2@]>N@A@*@5@k*N@A@9P@8@9PN@A@ABC@@@@@@@@-ZeroSuccPred'@C@Đ@@(we@@(we@A@A@ @@(we@@@ @@ @(we@(we@@@ @@@(we@(we@@@@@@@@@ț@8@ț@A@@;@@A@6@>@6@A@ABC@*IsNZDomain@D!E@"eq @^@@!W@@!WA@@@@@@#Eq'@@!W@"@&!W@A@!@%@ !Ӡ^@@A@AB@EE@ @7@!W@@@ @@ @!W@ !W@@@ @@@!W@!W@@@@j#@@@@:m8@2@:m8@A@:@5@:@A@;g@8@7;g@A@ABC@'succ_wd @@)Morphisms'Classes:@&ProperL@D}F@B!W@*respectful%WO?   @"eq!ӀEX@K:@@@AviA&'Classes#Coq@@A@@\'pred_wd @@7-&@X:m8@@@A@A@@m)pred_succ @@!n>21A@@@@@,bi_induction @@!A@RA@bQYL%Logic$Init@#iffС)@BU@;gӀ@1mD.17sE2@@@A]@A@@@@@>@&OneTwo @F@ܠ@@)@@)@A@A@#one @TF@)耐@@@@@ՠ#two @T@@@@@@@@@$!@+@$!֠T@@A@$!@/@$!T@@A@AB@.OneTwoNotation?@G7J@6@@*p i@@:*p i@A@A@HU@9 @8@ *p i@5@@3 @2 @*p i@4@@@ga@@@@\@@T\8@A@@"@G7@A@AB@@@@@@'OneTwo'w@Io@nRI@@+l,k@@r+l,kH@A@A@m @l@?+l,k@i@@<g @f @H+l,k@h@@E@@@@@@82;@%@82;g@A@82@(@v82f@A@AB@(IsOneTwo@J@ @@ @$S]@@$S]@@@@@@$S]@@$S]@A@$Z@@$Z@A@AB@K!Z@ @-@$S]@@@ @~@ @$S]@$S]@@@ @@@$S]@$S]@@@@"@@@@/i t@1@/i t@A@/i]@4@/i]@A@/j@7@/j@A@ABC@L!O @ @횠;@$S]@@@ @暠D@$S]@@@@J@@@@*p @@*p @A@*p@!@*p@A@AB@(one_succ @@J@$ZـL8@ *p Kz@/i]逐@/j@@@@@(two_succ @@#@+*p̀#@@@@@@@@@@+NZDomainSig_@RJ @I@ @Z(@@_(G@E@@J(eq_equiv @@/RelationClasses'Classesb@+Equivalence~@)@w(-@r(@@@wA݋X_A/RelationClasses'Classes#Coq@@A@@r\ @[B@S(@R@@PM @L@L@](P@a(@R@@^P @O@Z@k(^@o(@V@@lG @FE@j@{(n@(=t@(x@(|@@(@D(@('<@A@@6 @5k@@(@(c@(@(@f(@j(@(&碀@O@@K @JI@(@}(@(&碀@('<WV@U@@ӠS @RQ@@(S@@@([@(a@(^s@T@ ('=@@(lWW@('<@(_@]@@ F @E@(@A@@? @>@ (@@@@J @I@(@d(+C#@+('<(@H('=@B@@6@ @?2@(7@m(3<@D('<A@(+C@J@@O@@@ %'}@A@@@AB@@(@K@(o@A@A(@M@(r@A@(+C@Q@(+C{@A@(3@T@(3z@A@AB(&@V@S(&D@A@('<@Y@a('<D@A@('=@\@|('=D@A@ABCD@,NZDomainSig'@ @@ @@@@@@a @`_@ @,@T@@ @)@@@@ @@3@7@@@@ @@A@E@@@@ @@Q@U@[@_@c@,g@,k@:&@@@ڠ~ @}@w@{@@@@,@,@局@@@ @@ @,@局@:&@@@ @@@)@@@1@7@,@@QL@̚@H@H:&Ҷښ@V@@@S @@_@@@\ @@h@@@e @@%,@)R @s:&@L@@@~ @@>,@1#@:&(@)R@@@@@@ %'@A@F@]@AB@@@2@@A@A,@4@,@A@)R@8@)R@A@1@;@1@A@AB@=@@A@:&@@@:&@A@L@C@L@A@ABCD@)AddSubMul@M@ڠ@@-djo@@-djo@A@A@#add @d@M@-djo@@@@@@ՠ#sub @d@@@ޠ#mul @d@@@@@@@@@@ @=@@ '䀶@@%'䀚@)'䀐@I@@&H @G@'@3'䀶@,@8'䀚0@<'䀐@S@@9@6@@@@ e@F@~ eW@A@ x @I@f x U@A@ @L@r U@A@ABC@&add_wd @@%@Qa@]'䀶@  @'`"R/p@ e逐@@@A@A@@m&sub_wd @@H#@ @@@A)@A@@~&mul_wd @@Y4,$@ x @@@A:@A@@'add_0_l @@"C;7G@(""@@@@@*add_succ_l @@4U!mXPL]@(uZ9V=@@@@@'sub_0_r @@OphQK-K@@@@@ʠ*sub_succ_r @@]~)w`9'\@( 倐i&@@@@@ᠠ'mul_0_l @@teRQ@@@@@*mul_succ_l @@MsKvD@@@@@@@@s@.NZBasicFunsSig W@ JB @A@ @ Rާ'@@ Wާ'?@=@@ B @@ bާ' @]ޮ@@@ Q ; @ :)@ 2ާ'@ 1@@ / , @ +@3@ <ާ'7@ @ާ'@ 1@@ = / @ .@A@ Jާ'E@ Nާ'@ 5@@ K& @%$@Q@ Zާ'U@ ^ާ'[@ dާ'_@ hާ'c@ޮg@#ޮk@ k\@ @@ q @J@w@ ާ'{@ ާ'B@ ާ'@ ާ'@Eޮ@Iޮ@ (@.@@ * @)(@ ާ'@\ޮ@ (@ \65@4@@ 2 @10@@ ާ'2@@@ ާ':@ ާ'@@ޮ=R@3@ À@c@ ާ'K66@ \iq@ ާ'>@<@@ ꠠ% @$@ ާ'@ @@  @@ ާ'@@@ ) @(@ޮ@CKɀ @ \@ 'À@!@@  @@ޮ@LS#@ #\(@fKɀ@)@@ .k @j@2@ ;ާ'@7@ @ާ';@ Dާ'@n@@ Al @k@E@ Nާ'@J@ Sާ'N@ Wާ'@w@@ Tv @u@X@ aާ'@]@ fާ'a@ jާ'@@@ g @ @@m@ vާ'@r@ {ާ'v@ ާ' =|@ ާ'@@ ާ'@ ާ'@ Eޮ P@ ާ'@ ާ'@ Sޮ@ Wޮ@7L@<@@ 8 @7 ~@@ ާ'@@ ާ'@ ާ' {@ ާ'@@ ާ'@ ާ'@ ޮ @ ާ'@ ާ'@ ޮ@ ޮ@ Q@i@@ 㠠e @d @@ ާ'@@ ާ'@ ާ' @ ާ'@@ ާ'@ ާ'@ ޮ  @ ާ'@ ާ'@ ޮ@ ޮ@@I@@@ ! @ %@ .ާ'*@ ޮ0@p7L5@ MÀ  @@@ ; @ ̚?@ Hާ'D@ Mާ'I@ ޮO@7LU@ U\ ީZ@ Z\`@7L@@@ f @ j@ sާ'o@ +ޮu@Q z@ À @@@  @ @ ާ'ᚠ@ ާ'@ Jޮ@Q @ \ $@ (@Q@@@ ʐ @ɶ <@ ާ'@ pޮ@I@ À H@ À@@@ ɠې @ڶ Z@ ާ'*@ ާ'@ ޮ@I@ \4 l@(7L@I; w@@@ @@@ %' "@A@ @@AB@@ާ'@@ ?ާ' @A@Aޮ@@ 8ޮ @A@7L@@?7L@A@I@@'I@A@ABK@@ BK &@A@Q@@5Q@A@ACDS@ @ 7S '@A@(@ @ ( @A@\@@ \ @A@@@ * @A@ABCE@/NZBasicFunsSig' n@ a Y @ X@ @ iF@@ nF V@ T@@ Y  @  @ yF @ tF@ @@ h R @ Q)@ IF@ H@@ F C @ B@3@ SF7@ WF@ H@@ T F @ E@A@ aFE@ eF@ L@@ b = @ < ;@Q@ qFU@ uF 3[@ {F_@ Fc@ 6Fg@ :Fk@ S@ 7@@  , @ + a@w@ F{@ F Y@ F@ F@ \F@ `F@ SO@ E@@  A @ @ ?@ F@ sF@ SO@ S M L@ K@@ ɠ I @ H G@@ F I@ @@ F Q @ F W@ F T i@ J@ TJ>@ z@ F b M M@ S  @ F U@ S@@  < @ ;@ F@ 7@@  5 @ 4@ F@ 6@@  @ @ ?@ F@ ZGD @ !S@ >TJ>@ 8@@ , 6 @ 5@ F@ cG#@ :S(@ }GD@ @@@ E @@2@ RF@7@ WF;@ [F@@@ X @@E@ eF@J@ jFN@ nF@@@ k @@X@ xF@]@ }Fa@ F@@@ ~4 @3 W@m@ F@r@ Fv@ F T|@ F@@ F@ F@ \F g@ F@ F@ jF@ nF@G~ǀ@S@@ O @N @@ F@@ F@ F @ F@@ F@ F@ F @ F@ F@ F@ F@"Gj@@@ | @{ Ӱ@@ F@@F@F @F@@F@!F@ F  @+F@/F@ F@ F@WG@@@8 @ ɚ%@EF*@ F0@G~ǀ5@dTJ>  Ր@@@R @ 㚠?@_FD@dFI@ FO@G~ǀU@lS Z@qS`@G~ǀĐ@@@} @ j@Fo@ BFu@Gj z@TJ> @@@͐ @̶ (@F@F@ aF@Gj @S ;@SO@Gj @@@  @ S@F@ F@G@TJ> _@TJ>@@@ࠠ @ q@FA@F@ F@ G@SK @ ?G~ǀ@ *GR @@@ @@@ %'9@A@ @ @AB@@F@@VF,@A@AF@@OF/@A@G~@@ VG~ /@A@G@@ >G -@A@ABGD@@ YGD =@A@Gj@@ LGj /@A@ACDG@ @ NG >@A@SO@ @SO @A@S@@&S @A@TJ>@@ATJ> @A@ABCE@+NZAxiomsSig@; @w %'A*Equalities*StructuresI@@t@ %'@ @A@A@@@s @@\$@X=@ ː@@@@@ 9 @@ #2@ 5~@@!=l@@@1A݋X_A @A@@ @(@@@@@yv @u@11@@@@@t @s @@@@@e @@dSEE--E@J5f@@@^AviAm@A@@B @@x'W@I@@@@? @@>dM$<;@@@@@: @@9l@ow;_4I@*z@Jی@Z>))^'@@;@@ՠ @@@@@@ݠ @@@@@@堠  @@@)>$^*@@@@@  @@@(>,Tm@@@@@ A @ @@@@@@@  8 @ 7 @@@@@ 7 @ 6@@@@@Ӑ @@@ e>@@@@- @@+@ a>*@@@@; @@9@ f>"L@@@@I @@꠩,א@@@@@V @@:А?@@@@@h @@  =@@@@@u @@-.KʩܐOː@@@@@ @@>'M=ǐ@@@@@ @@$JK4Z<w]#@@@@@@@@@@=@z@=@A@A=l@|@=l@A@>@@ > @A@AB>"L@@ >"L @A@>$@@>$@A@A>*@@ >* @A@>,T@@>,T@A@AI@@I@A@J5f@@J5f@A@Jی@@Jی@A@ABCDE@,NZAxiomsSig'@Ӑ @@@@ @ @@Q@W@@@@@ Ő @@@Q @@@@ @@@@@@ @@&&@@@@@ @ @@@@@  @@::)):@]@@@@ @@#H@]f@@@@) @@UE @@@@@7 @@]@`hWƶ@k@\^a)@qu@@@@R @}@@@@@Z @@@@@@b @@}@Q/Z*@@@@@q{ @@@Qi@@@@@  @ @@@@@@  @  @@@@@  @ @@@@@ P @@tc@ Q@@@@ = @@+@ QU@@@@ : @@9@ Q逐@@,@@Ơ 7 @@X⠩,TT@@@@@Ӡ 2 @@e 1: +c̐? *@@@@@堠 ) @@w=ss@@@@@ ( @@ PK`ʩܐO H@@@@@ " @@/M=ǐ@@@@@ ! @@; m<,Z<w] d@@@@@@t @@@@Q@_@kQA@A@AQ @a@dQ D@A@Q@d@ jQ C@A@ABQ@f@ QQ @@A@Q/@j@nQ/R@A@AQU@l@ `QU C@A@Q@p@dQT@A@A]f@r@-]f@A@]@u@;]@A@^a)@x@V^a)@A@ABCDE@%NZOrd@ @@ @I@@I@@@; @:9@I񀚠 @Qm@.@@~ @})@uI@t@@ro @n@3@I񀚠7@I@t@@r @q@A@I񀚠E@I@x@@i @hg@Q@I񀚠U@I_[@I񀚠_@I񀚠c@bQmg@fQmk@g@c@@X @W@w@I񀚠{@I@I񀚠@I񀚠@Qm@Qm@@q@@ڠm @lk@I񀩚@Qm@򀐩@gyx@w@@u @ts@@Iu@հ@@ I}@I@Qm@v@+@@"Iyy@"g@0I@@@-h @g@9I@c@@6a @`@BI@b@@?l @k@Qm@ @Mg@j@d@@Xb @a@Qm@U#@fg(@@l@@q"lt @h@5@!tI@;@I񀔐A@@@@@AA@@A@"le @h@O@I@T@I@@@@@@@@ %'@A@N@e@AB@@I@a@I@A@AQm@c@Qm@A@Q@h@#Qh@@A@AQ@k@@Qh@@A@B@n@@A@CDU@p@U@A@@s@@A@g@v@g@A@@y@@A@ABCE@&NZOrd'@  @@ @@@@@@ @@# @ @@@ @)@@@@ @@3@7@@@@ @@A@ E@@@@  @尶@Q@U@[@%_@)c@ g@ k@,$@@@2֐ @թ @w@A{@E@K@O@ @  @G$d@@@X @隠@e@ @\$d@m$@@@s @@@@S@@G@@F @@%_<@$@ @$*2@@@@ @嚠@@@@ߐ @ޚ@@@@ @驚@} @B @$@%_<@@@֠ @ߩ@ @ #@$(@'B@@@~ @}@2@{@7@z@x@@vs @r@A@@F@@p@@@@@ %';@A@@@AB@@@Q@X.@A@A @S@Q 1@A@ @X@ n@A@A @Z@ m@A@BB@\@[B?@A@CD@^@M=@A@$d@a@$d@A@$@d@%$@A@%_<@g@@%_<@A@ABCE@'IsNZOrd@S@{s @r@ @ E@@ Ep@n@@s) @('@ E @ @@@l @k)@c E@b@@`] @\@3@m E7@q E@b@@n` @_@A@{ EE@ E@f@@|W @VU@Q@ EU@ EM[@ E_@ Ec@P g@T k@ @Q@@F @E{@w@ E{@ Es@ E@ E@v @z @ FF@_@@Ƞ[ @ZY@ E@ @ FF@ gf@e@@㠠c @ba@@ Ec@ð@@ Ek@ Eq@ n@d@ @ံ@@ E|gg@ @ Eo@m@@V @U@' E@Q@@$O @N@0 E@P@@-Z @Y@ @t 瀩 @; @X @တ@R@@FP @O@ @} #@T (@ 瀐@Z@@_ @@2@ E@7@ E@@@栠 @@A@ E@F@ E@@@@@@ E@Q@ E@A@A @S@ @A@ :@V@ :@A@AB I@X@ I@A@ @\@ @A@A @^@ @A@ FF@a@ FFx@A@ @d@ x@A@ @@g@ @x@A@ABCDE@%lt_wd @@y@St@ E@$p  @k v,%@"lt I@@@Ak@A@@+lt_eq_cases @@S !8$@B :@@"or @" )!@@@@@ܠ)lt_irrefl @@o<S@#notШ5pp@@@@@)lt_succ_r @@ONPgD^U@ 6@@@@@@@@F@(NZOrdSig[@NF @E@ @V6*,@@[6*,C@A@@F @@f6*, @a6*4.@@@U? @>)@66*,@5@@30 @/@3@@6*,7@D6*,@5@@A3 @2@A@N6*,E@R6*,@9@@O* @)(@Q@^6*,U@b6*, [@h6*,_@l6*,c@#6*4.g@'6*4.k@o66(@$@@u @N@w@6*,{@6*,F@6*,@6*,@I6*4.@M6*4.@66@2@@. @-,@6*,@`6*4.@66@66(:9@8@@6 @54@@6*,6@@@6*,>@6*,D@6*4.AV@7@67N@g@6*,O::@66(mu@6*,B@@@@) @(@6*,@$@@" @!@6*,@#@@- @,@6*4.@G6*T @66(@+67N@%@@# @"@6*4.@P6*#@'66((@j6*T@-@@2 @@2@6*,@7@6*,@@@ @@A@6*,@F@6*,̐@@@Ƞ @)@R@_6*,@W@d6*,֩"]@j6*,@b@o6*,ᚠf@&6*4.1l@y6*,뚠p@06*4.蚠t@6*4@@@~ @~@6*,ߚ@6*,@6*4۩Ġ@6*4⩚@V6*4.@@@Đ @ö1@6*,Ɛ@6*4Ő@@@ @B@6*,@6*,/@ 6*4*@66(Q@D6*4@@@@@@ %'@A@@@AB@@6*,@@6*,@A@A6*4.@@6*4.@A@6*4@@T6*41@A@AB6*4@@p6*40@A@6*T@@ 6*T@A@A6*@@6*@A@66@@66@A@66(@@66(@A@67N@@67N@A@ABCDE@)NZOrdSig'I@<4 @3@ @D@@I1@/@@4 @蠚@T󀚠 @Oo@@@C- @,)@$@#@@! @@3@.󀚠7@2@#@@/! @ @A@<󀚠E@@@'@@= @@Q@L󀚠U@P[@V󀚠_@Z󀚠c@og@ok@]i@@@c @<@w@r󀚠{@v4@|󀚠@󀚠@7o@;o@x8@ @@ @@󀩚@No@8􀐩@i('@&@@$ @#"@@$@@@,x@2@wo/D@%@3@U@=((@i[c@0@.@@ܠ @@@@@堠 @@@@@ @@o@5| @i@3@@@ @@o@>W#@i(@X|@@@  @@2@@7@@@@ @@A@@F@@@@ @@R@M@W@Rĩ]@X@b@]Ϛf@ol@gٚp@o֚t@@@@l @~@y͚@~꠩@ɩ@Щ@DoՐ@@@ @@@@@@ @0@@@@i?@2@@@@@@ %'@A@o@@AB@@@@ @A@Ao@@o@A@@@B@A@AB@@^@A@|@@|@A@AW@@W@A@8@@8@A@i@@i@A@3@@3@A@ABCDE@.NZOrdAxiomsSig7@*" @!@ @2> ŀ@@7> ŀ@@@"ؐ @ש֠@B> ŀ @=>A@@@1 @)@> ŀ@@@  @ @3@> ŀ7@ > ŀ@@@ @@A@*> ŀE@.> ŀ@@@+ @@Q@:> ŀU@>> ŀ[@D> ŀ_@H> ŀc@>Ag@>Ak@K>;@@@Q @*@w@`> ŀ{@d> ŀ"@j> ŀ@n> ŀ@%>A@)>A@f>lƀ@@@w  @ @> ŀ@<>A@{>lƀ@>;@@@ @@@> ŀ@r@@> ŀf@> ŀ @e>A2@@>ga@C@> ŀ+@>;IQ@> ŀ@@@ʠ @@> ŀ@@@Ӡ @@> ŀ@@@ܠ  @@>A@#>g @>;@>ga@@@ @@>A@,>)#@>;(@F>g@ @@ @@2@> ŀ@7@> ŀ@@@ @@A@> ŀ@F@> ŀ@@@ @@R@;> ŀ@W@@> ŀ]@F> ŀ@b@K> ŀf@>A l@U> ŀǚp@ >AĚt@>ɀ@@@Z @뚠~@g> ŀ@l> ŀؠ@>@>ɀ@2>AÐ@@@| @ @> ŀ@>ɀ@@@ @@> ŀ@> ŀ @>ɀ@>;-@ >@@@ @@@> ŀ@@> ŀ@> ŀ@@@ @@@> ŀ@@> ŀ@> ŀ@@@Ԡ @@@> ŀ@@> ŀ@> ŀ@@@砠 @@ @> ŀ@@> ŀ@> ŀ@> ŀ@!@ > ŀ%@> ŀ)@>A/@> ŀ3@> ŀ7@>A;@>A?@_>ꀐ@@@% @@K@4> ŀ@P@9> ŀT@=> ŀZ@C> ŀ@_@H> ŀc@L> ŀg@>Am@V> ŀq@Z> ŀu@>Ay@>A}@>@@@c @<@@r> ŀ@@w> ŀ@{> ŀ9@> ŀ@@> ŀ@> ŀ@A>AL@> ŀ@> ŀ@O>A@S>A@>!@@@ @2@> ŀ@f>A@>ꀠ@>ga>>@@@ @L@> ŀ@> ŀ@>A@>ꀠ@>;&^@>;@ >-@,@@栠* @)w @> ŀ@>A@#>@>ga@8@@6 @5$@ > ŀa)@> ŀ.@>A4@B>}:@>;?@>lƀE@S>r@L@@+J @IO@8> ŀT@>AZ@_>!_@W>gaȚc@[>ga@]@@I[ @Zښm@V> ŀr@[> ŀw@>A}@>!@c>;쩚@>ꀠ@>!@w@@t#max @d@@!t> ŀ@@> ŀ@ > ŀ@@@@@AA@@A@%max_l @@!x@> ŀ!y@$> ŀ@@"le>AB@"eq>A@D>C@@@@@2%max_r @@/@J> ŀ-@O> ŀ@@+>)*@(>A@k>'4@@@@@W#min @d@ @p> ŀ@@u> ŀ@y> ŀ@@@@@o%min_l @@l"@> ŀj'@> ŀ@-@h>=2@d>A8@7>?cb@@@@@%min_r @@F@> ŀK@> ŀ@Q@>V@>A\@[>?@@@@@@@@ %'r@A@@ @AB@@> @j@> f@A@A>A@l@>Ai@A@>@o@ > @A@AB>@q@ > @A@>@u@>n@A@A>@w@>d@@A@>?@|@{>?d@@A@A>!@@>!s@A@BCD>g@@>g@A@>@@>v@A@A>)@@>)@A@>l@@_>lP@A@>;@@m>;P@A@>ga@@>gaP@A@ABCDE@/NZOrdAxiomsSig'@ @@ @.f\@@.f\@@@m @lk@.f\ @.m؀@`@@Ơ @)@.f\@@@ @@3@.f\7@.f\@@@ @@A@.f\E@.f\@@@ @@Q@.f\U@.f\[@.f\_@.f\c@.m؀g@.m؀k@.Ҁ@@@栠 @@w@.f\{@.f\@.f\@ .f\@.m؀@.m؀@.]@@@  @@ .f\@.m؀@ .]@ !.Ҁ@@@ ' @@@ 5.f\@@@ =.f\@ C.f\@.m؀Ƕ@@ ].@ؚ@ T.f\@ T.Ҁ޶暠@ b.f\@@@ _ @@ k.f\@@@ h @@ t.f\@@@ q @@1.m؀@.  @ .Ҁ@ .@@@  @@J.m؀@.#@ .Ҁ(@. @@@  2 @ 1@2@ /.f\@7@ 4.f\ .@ ,@@ * ' @ &@A@ >.f\@F@ C.f\ =@ $@@ 9 # @ "@R@ .f\@W@ .f\G]@ .f\@b@ .f\Rf@.m؀l@ .f\\p@.m؀Yt@ 4.n`@ 3@@  / @ .~@ .f\P@!.f\m@ w.nQL 5@ Q.n`S@.m؀X@ 7@@! 5 @ 4@!.f\ 7@ g.n` 6@ 5@@!" 3 @ 2@!/.f\@!4.f\@ }.n`@!8.Ҁ©@ .nQ@ B@@!C @@@!P.f\@@!U.f\@!Y.f\@@@!V @@@!c.f\@@!h.f\@!l.f\@@@!i @@@!v.f\@@!{.f\@!.f\@@@!|2 @1 U@ @!.f\@@!.f\@!.f\ R@!.f\@!@!.f\%@!.f\)@ Z.m؀ e/@!.f\3@!.f\7@ h.m؀;@ l.m؀?@.@Q@@!M @L @K@!.f\@P@!.f\T@!.f\ Z@!.f\@_@!.f\c@!.f\g@ .m؀ m@!.f\q@!.f\u@ .m؀y@ .m؀}@ .$@~@@!z @y Ѱ@@".f\@@" .f\@".f\ @".f\@@".f\@".f\@ .m؀ @").f\@"-.f\@ .m؀@ .m؀@U.@@@"6 @ ǚ@"C.f\@ .m؀@.@"b.  Ӑ@@@"P @ ᚠ@"].f\@"b.f\@!.m؀@.@"j.Ҁ 󩚠@"o.Ҁ@.@@@"{ @!  @".f\@!@.m؀@.$!@".!@@@"ː @ʶ!&$@".f\)@".f\.@!_.m؀4@.$!:@".Ҁ!9?@".]E@.$@@@"ߐ @޶!QO@".f\T@!.m؀Z@._@".!]c@".@@@"ޠ @!om@".f\?r@".f\w@!.m؀}@.@".ҀI!@=.@(.P!@ @@#  @@@.f\@@.f\@.f\@@@ @@.f\@.f\@@.nQ@.m؀@.H@@@} @|@.f\@.f\@@.nQ{@.m؀@.H@z@@Ϡx @w@@.f\@@.f\@.f\@u@@⠠s @rݚ@.f\ۚ@.f\@ @.nQ@.m؀@.րӐ@q@@o @n@.f\#@.f\@)@.nQ.@.m؀4@.ր@m@@"@@@ %'#@A@"^@ u@AB@@.f\@@@#.f\#@A@A.m@B@".m"@A@.nQ@E@2.nQ@A@AB.n`@G@N.n`@A@.@K@.@A@A.H@M@Q.Hk@A@.@Q@.j@A@A.@S@.@A@BCD. @U@". !@A@.$@Y@.$@A@A.@[@!.!@A@.]@^@#.]#@A@.@a@#.#@A@.@d@#.#@A@ABCDE@+NZDecOrdSig$5@$(#  @#@ @$0"t@@$5"t#@#@@$  ֐ @ թ Ԡ@$@"t @#;"@ @@$/$ @$)@$"t@$@@$ $  @$ @3@$"t7@$"t@$@@$$  @$ @A@$("tE@$,"t@$@@$)# @##@Q@$8"tU@$<"t"[@$B"t_@$F"tc@""g@#"k@$I#ꀐ@"@@$O" @"#(@w@$^"t{@$b"t# @$h"t@$l"t@##"@#'"@$d#`u@# @@$u# @##@$"t@#:"@$y#`u@$###@#@@$# @##@@$"t#@#p@@$"t##d@$"t#@#c"##0@#@$# [@#A@$"t#)##@$##G#O@$"t#@#@@$Ƞ# @#@$"t@"@@$Ѡ" @"@$"t@"@@$ڠ" @"@#"@#!" @$#ꀐ@%# [@!@@$! @!@#"@#*"؀#@%#ꀐ(@#D"@"@@%  @@2@"t@7@"t@@@ @@A@"t@F@"t@@@ @$@R@%9"t@W@%>"t##]@%D"t@b@%I"t#f@$"$ l@%S"t#Śp@$ "#št@"x@@@%X @#隠~@%e"t@%j"t#֠@"i@"x@$0"@@@%z @$ @%"t@"x@@@% @$@%"t욠@%"t$ @"x$@%#$+@"i@@@%'compare @d@@;"t@@@"t)Datatypes$Init#Coq@@*comparison;f@@@@@@E,compare_spec @@!x@]"t!y@d"t%@+CompareSpec!Q]@ @"eq"BA@"x@"x  @T S @@@@@}@@@ %'&3@A@$@"@AB@@ S @-@b S d@@A@A"t@0@&T"t&*@A@B"@2@%M"%-@A@"i@5@"ih@A@AC"x@7@"xg@A@"@;@$W"$;@A@A"@=@$I"$9@A@#`u@@@&#`u&@A@#@C@&!#&@A@# [@F@&<# [&@A@ABCDE@,NZDecOrdSig'&@&s%k @%j@ @&{"t|Y@@&"t|Y%h@%f@@&k#! @# #@&"t|Y @%"tՀ@#@@&z&d @&c)@&["t|Y@&Z@@&X&U @&T@3@&e"t|Y7@&i"t|Y@&Z@@&f&X @&W@A@&s"t|YE@&w"t|Y@&^@@&t%O @%N%M@Q@&"t|YU@&"t|Y%E[@&"t|Y_@&"t|Yc@%H"tՀg@%L"tՀk@&"1π@%I@@&%> @%=%s@w@&"t|Y{@&"t|Y%k@&"t|Y@&"t|Y@%n"tՀ@%r"tՀ@&"Z@%W@@&%S @%R%Q@&"t|Y@%"tՀ@&"Z@&"1π%_%^@%]@@&۠%[ @%Z%Y@@&"t|Y%[@%@@&"t|Y%c%@&"t|Y%i@%"tՀ%f%{@%\@'"@%@'"t|Y%t%_%_@'"1π%%@'"t|Y%g@%e@@'%N @%M@'"t|Y@%I@@'%G @%F@'("t|Y@%H@@'%$R @$Q@%"tՀ@%l"u  @'3"1π@'P"@$J@@'>$H @$G@%"tՀ@%u"u(#@'L"1π(@%"u @$R@@'W @@2@"t|Y@7@"t|Y@@@ޠې @ڶ@A@"t|Y@F@"t|Y@@@א @֩&N@R@'"t|Y@W@'"t|Y%&G]@'"t|Y@b@'"t|Y&f@&K"tՀ&Vl@'"t|Y&p@&U"tՀ& t@"t]@@@' @&4~@'"t|Y@'"t|Y&!@+"tN頩@"t]@&{"tՀ @@@'Š @&V@'"t|Y됩@"t]@@@'֠ @&g@'"t|Y7@'"t|Y&T@1"t]&O@'"1π&v@i"tN>@@@'K @J@@"t|Y@@"t|YH@;@@~9 @87@"t|Y5@"t|Y3@-"tՀ,@"t]1@"t])@| W;@(@@@@@ %'(Y@A@&@$@AB@@ W@@ W&@A@A"t|Y@ @(y"t|Y(O@A@B"t@ @'r"t'R@A@"tN@@"tN@A@AC"t]@@"t]@A@"u @@&|"u &`@A@A"u(@@&n"u(&^@A@"Z@@(8"Z()@A@"1@@(F"1()@A@"@ @(a"()@A@ABCDE@1NZDecOrdAxiomsSig(@(' @'@ @(1!w@@(1!w'@'@@(%F @%E%D@(1!w @'1!@%9@@(( @()@(1!w@(@@(}(z @(y@3@(1!w7@(1!w@(@@((} @(|@A@(1!wE@(1!w@(@@('t @'s'r@Q@(1!wU@(1!w'j[@(1!w_@(1!wc@'m1!󀚠g@'q1!󀚠k@(1.w퀐@'n@@('c @'b'@w@(1!w{@(1!w'@(1!w@(1!w@'1!󀚠@'1!󀚠@(1.#x@'|@@(堠'x @'w'v@(1!w@'1!󀠩@(1.#x@(1.w''@'@@)' @''~@@)1!w'@'శ@@)1!w''@)1!w'@'1!''@'@)61/@'@)-1!w'''@)-1.w''@);1!w'@'@@)8's @'r@)D1!w@'n@@)A'l @'k@)M1!w@'m@@)J&w @&v@( 1!󀠚@'1"g @)X1.w퀐@)u1/@&o@@)c&m @&l@(#1!󀠚@'1"nۀ#@)q1.w퀐(@'1"g@&w@@)|  @ @2@1!w@7@ 1!w@@@ @@A@1!w@F@1!w@@@ @(s@R@)1!w@W@)1!w( (l]@)1!w@b@)1!w(+f@(p1!({l@)1!w(5p@(z1!(2t@ 1!{@ @@)Ƞ @(Y~@)1!w!)@)1!w(F@P1!l!%@*1!{!,@(1!!1@@@)ꠠ @ ({@)1!w@@1!{@@@)  @ (@*1!w!\@* 1!w(y@V1!{(t@*1.w(@1!l!c@@@*$Y @$X@@*)1!w@@*.1!w@*21!w@$\@@*/$Z @$Y@@*<1!w@@*A1!w@*E1!w@$e@@*B$d @$c@@*O1!w@@*T1!w@*X1!w@$o@@*U"  @" ).@ @*d1!w@@*i1!w@*m1!w)+@*s1!w@!@*x1!w%@*|1!w)@)31!)>/@*1!w3@*1!w7@)A1!󀚠;@)E1!󀚠?@$1"R@"*@@*"& @"%)l@K@*1!w@P@*1!wT@*1!w)iZ@*1!w@_@*1!wc@*1!wg@)q1!)|m@*1!wq@*1!wu@)1!󀚠y@)1!󀚠}@$1"m?@"W@@*Ѡ"S @"R)@@*1!w@@*1!w@*1!w)@*1!w@@*1!w@*1!w@)1!)@+1!w@+1!w@)1!󀚠@)1!󀚠@%.1"dӀ@"@@+" @")@+1!w@)1!󀠩@%^1"R@+;1/))@"@@+)" @")@+61!w"@+;1!w@)1!󀠩@%}1"R@+C1.w")̩@+H1.w퀐@%1"R"@"@@+T" @")嚠 @+a1!w@*1!󀠩@%1"m?)횠@+1/)@"@@+n" @")$@+{1!w"Ϛ)@+1!w.@*81!󀠩4@%1"m?)멚:@+1.w*?@+1.#xE@%1"m?"@"@@+" @"**O@+1!wT@*^1!󀠩Z@%1"dӀ_@+1/*6c@+1/@"@@+"ɐ @"ȶ*Hm@+1!w#r@+1!ww@*1!󀠩}@%1"dӀ@+1.w#"*Z@&1"R@&1"dӀ#)*e@"@@+⠠ n @ m@@ k1!w@@ p1!w@ t1!w@ j@@ h e @ d c@ ~1!w a@ 1!w@@ _1!l ^@ [1!󀠩@ 1"cc Z Y@ X@@  V @ U @ 1!w @ 1!w@@ 1!l T@ {1!󀠩@ 1"cc z @ S@@  Q @ P@@ 1!w@@ 1!w@ 1!w@ N@@  L @ K @ 1!w @ 1!w@ @ 1!l @ 1!󀠩@ 1"c  @ J@@ ۠ H @ G ֚@ 1!w Ԛ#@ 1!w@)@ 1!l ѩ.@ 1!󀠩4@ 1"c  ڐ@ F@@ ܐ @۶@>@1!w@C@1!wِ@@@ʐ @ɶȚM@#1!wƚR@(1!wY@1!^@>1!{©c@C1!{h@  ̐@@@4@@@ %',@A@+k@)@AB@@ @u@ @A@A1!w@w@- 1!w,@A@B1!@y@,1!+@A@1!l@|@B1!l@A@AC1!{@~@^1!{@A@1"R@@'1"R&@A@A1"cc@@a1"cc {@A@1"c@@ 1"c y@A@ABD1"d@@&1"d&@A@1"g@@+1"g*@A@A1"m?@@' 1"m?&@A@1"n@@+1"n*@A@A1.#x@@,1.#x,@A@1.w@@,1.w,@A@1/@@-1/,@A@ABCDE@2NZDecOrdAxiomsSig'-E@-8,0 @,/@ @-@/A@@-E/A,-@,+@@-0) @))䠚@-P/A @,K/A@)@@-?-) @-()@- /A@-@@-- @-@3@-*/A7@-./A@-@@-+- @-@A@-8/AE@-</A@-#@@-9, @,,@Q@-H/AU@-L/A, [@-R/A_@-V/Ac@, /Ag@,/Ak@-Y/N@,@@-_, @,,8@w@-n/A{@-r/A,0@-x/A@-|/A@,3/A@,7/A@-t/NV@,@@-, @,,@-/A@,J/A@-/NV@-/N,$,#@,"@@-,  @,,@@-/A, @,@@-/A,(,t@-/A,.@,s/A,+,@@,!@-/OQ.@,Q@-/A,9,$,$@-/N,W,_@-/A,,@,*@@-ؠ, @,@-/A@,@@-ᠠ,  @, @-/A@, @@-ꠠ+ @+@,/A@,1/B4 @-/N@./OQ.@+@@.+  @+ @,/A@,:/B#@./N(@,T/B4@+@@. @@2@/A@7@/A@@@ @@A@/A@F@/A@@@ @-@R@.I/A@W@.N/A,- ]@.T/A@b@.Y/A,˚f@-/A-l@.c/A,՚p@-/A,Қt@/A@@@.h @,~@.u/A%ɚ@.z/A,栩@/A%ũ@/A%̩@-@/A%ѐ@@@. @-@./A@/A@@@. @-,@./A%@./A-@/A-@./N-;@./A&@@@.( @(@@./A@@./A@./A@(@@.Ϡ( @(@@./A@@./A@./A@)@@.⠠) @)@@./A@@./A@./A@)@@.& @&-ΰ@ @//A@@/ /A@/ /A-@//A@!@//A%@//A)@-/A-/@/&/A3@/*/A7@-/A;@-/A?@)m/B@&@@/3&Ɛ @&ũ. @K@/B/A@P@/G/AT@/K/A. Z@/Q/A@_@/V/Ac@/Z/Ag@./A.m@/d/Aq@/h/Au@./Ay@.#/A}@)/BZ@&@@/q& @&.J@@//A@@//A@//A.G@//A@@//A@//A@.O/A.Z@//A@//A@.]/A@.a/A@)/B@'$@@/'  @'.@@//A@.t/A@)/B@//OQ..L.L@'*@@/ɠ'( @''.Z@//A'*@//A@./A@*/B@//N'4.l@//N@*./B';@':@@/'8 @'7. @0/A@./A@*1/BZ.@0 /OQ..@'F@@0'D @'C.$@0/A'o)@0 /A.@./A4@*P/BZ.:@0(/N.?@0"/NVE@*a/BZ'@'Z@@09'X @'W.ʚO@0F/AT@./AZ@*m/B_@0e/OQ..֚c@0i/OQ.@'k@@0W'i @'h.蚠m@0d/A'r@0i/Aw@/!/A}@*/B@0q/N'.@*/B@*/B'/@'@@0 @ @@ /A@@/A@/A@ @@ @@/A@#/A@@/A@/A@>/B~@@@( @#@>/A!@C/A@@/A@/A@^/B~'@@@H @@@^/A@@c/A@g/A@@@[ @V@q/AT@v/A@ @R/A'@N/A@!/B ML@@@{ @v@/At#@/A@)@r/Aq.@n/A4@A/B mz@@@ | @ {@>@/A@C@/A y@ l@@ j @ i hM@/A fR@/A dY@ ^/A ]^@/A bc@/A Zh@ %I' l@ Y@@@@@ %'1@A@0 @."@AB@@%I'@u@ %I' X@A@A/A@w@1/A1@A@B/A@y@0/A0@A@/A@|@/A@A@AC/A@~@/A@A@/B@@+/B+@A@A/B~@@/B~@A@/B @@/B @A@ABD/B@@+/B+@A@/B4@@//B4/@A@A/BZ@@+/BZ+@A@/B@@//B/@A@A/NV@@1x/NV1i@A@/N@@1/N1i@A@/OQ.@@1/OQ.1i@A@ABCDE@(NZSquare1@T1]1@1ܠ0Ԑ @0Ӷ@ @1 ƀ@@1 ƀ0ѐ@0@@1Ԡ. @..@1 ƀ @0 B@.}@@1㠠1͐ @1̚)@1 ƀ@1@@11 @1@3@1 ƀ7@1 ƀ@1@@1Ϡ1 @1@A@1 ƀE@1 ƀ@1@@1ݠ0 @00@Q@1 ƀU@1 ƀ0[@1 ƀ_@1 ƀc@0 Bg@0 Bk@1 <@0@@20 @00ܰ@w@2 ƀ{@2 ƀ0@2 ƀ@2  ƀ@0 B@0 B@2 Uǀ@0@@2)0 @00@26 ƀ@0 B@2- Uǀ@2> <00ǐ@0@@2D0Đ @0ö0¶@@2R ƀ0Ķ@1$@@2Z ƀ0̩1@2` ƀ0Қ@1 B00@0Ő@2z Pb@0@2q ƀ0ݠ0ȩ0Ȑ@2q <01@2 ƀ0А@0@@2|0 @0@2 ƀ@0@@20 @0@2 ƀ@0@@2/ @/@1N B@0 h @2 <@2 Pb@/@@2/ @/@1g B@0 *#@2 <(@0 h@/@@2, @,@2@2 ƀ@7@2 ƀ;@2 ƀ@-@@2Ӡ, @,@E@2 ƀ@J@2 ƀN@2 ƀ@- @@2栠- @-@X@2 ƀ@]@2 ƀa@2 ƀ@-@@2* @*1Ұ@m@3 ƀ@r@3  ƀv@3 ƀ1|@3 ƀ@@3 ƀ@3  ƀ@1 B1@3* ƀ@3. ƀ@1 B@1 B@-q 뀐@*@@37*ʐ @*ɩ2@@3F ƀ@@3K ƀ@3O ƀ2 @3U ƀ@@3Z ƀ@3^ ƀ@2 B2 @3h ƀ@3l ƀ@2# B@2' B@- @*@@3u* @*2N@@3 ƀ@@3 ƀ@3 ƀ2K@3 ƀ@@3 ƀ@3 ƀ@2S B2^ @3 ƀ@3 ƀ@2a B@2e B@- "@+(@@3+$ @+#2D%@3 ƀ*@2x B0@. 뀠5@3 Pb2P2P@+.@@3͠+, @++2^?@3 ƀ+.D@3 ƀI@2 BO@.! 뀠U@3 <+82pZ@3 <`@.2 +?@+>@@3+< @+;2j@4 ƀo@2 Bu@.5 2z@4$ Pb2@+J@@4+H @+G2@4 ƀ+s@4$ ƀ@2 B@.T 2@4, <2@4& Uǀ@.e +@+^@@4=+\ @+[2Κ@4J ƀ@3 B@.q "@4i Pb2ښ@4m Pb@+o@@4[+m @+l2욠@4h ƀ+@4m ƀ@3% B@. "@4u <+2@. 뀠@. "+3 @+@@4@"g4@@ @@4 4@A@A B@@3 B3@A@ @@. .@A@AB "@@. ".@A@ h@@2 h2@A@A @@. .@A@ *@ @2 *2@A@A U@ @4 U4@A@ <@@4 <4@A@ Pb@@4 Pb4@A@ABCDE@&square @d@T4~4@4 ƀ@@@@@4+square_spec @@3M@3} B4>@#-3S@. "@@@@@4@@@@@@-@H@0-d@@A@A@@@@ %'5 @A ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@3@A1@B@@@&Basics'Program#Coq@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1321@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua5Z5Y5X@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 1jc64&43@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%#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@036q8\6o@6=2 Q@@@@"_76@6H"t@A@@@@@@@@"_82M접"_9'`o@@@@6F2 Q@@@@#_106@6Q"! @#_112M접  #_12'`o@A@@6w@6]2 Q@@@@#_136@6h"zPCB@#_142M접  #_15'`o@A@@6@@6g8\6e6[@#_17%c?@@@6g@69P@@@!066|@!0!S9D{(@@@6*@!P9D{(@@@6>@@6C8\6A@6I#tӡ6\@6^6K6@A@768@@(we@6E6@A@A@A6U#tӡ7!6@6X6^@A@66E@@(we@6R6@A@A@66_@@ț@6+6@A@@6*6@A@6@6)6@A@ABC@AB@6(8\6&5@5à2 Q@@A@#_2067@5 @A@@@@@#_212M접 #_22'`o@@@@#_2346@@&ProperL@@@"#_24X@3typeclass_instances5@@@55򤐑5555󐑐55/@@@@V67e6@ +Coq.Numbers.NatInt.NZAxioms.IsNZDomain#<>#1 \rU@52 Q@@c@#_256@5#2 \rV@672 Q@@A@#_306@6B7E${@#_312M접  #_32'`o@A@@6@6F2 Q@@A@#_337@6Q'1ޠ@#_342M접  #_35'`o@E.function_scope@@@@A6à@A6@@6D8\6B@682 Q@@@@#_376R@6C$!@A@@@@@#_382M접 #_39'`o@@@@6G2 Q@@@@#_406q@6R$!@#_412M접  #_42'`o@@@@@6R8\6P6F@#_44%c?@@@6R@6\@@@!186g@!1#_45%c?@@@@6@@@!286w@!2@6B8\6@@6H#tӡ6W@6Y6J6)@A@667@@+l,k@6D8@A@A@A6T#tӡ86@6W8@A@66D@@+l,k@6Q8@A@A@66^@@82;@6=6@A@82@6<6@A@AB@AB@6;8\6965@52 Q@@A@#_496K@5M@A@@@@h@#_502M접 #_51'`o@@@@52 Q@@A@#_526j@5&F@#_532M접  #_54'`o@@@@@5Š8\@5ʠ#tӡ8,EqualityType@5Π@@(4@(4@AB@A@5֠#tӡ8{@8}5ؠ@@(&@48@A@('<@48@A@('=@48@A@ABC@A@955@@(@49@A@(@48 @A@AB@A5#tӡ9I8=@58@A@8<5@@(@49@A@A(@48@A@(&@48@A@('<@48@A@('=@48@A@ABCD@85@@(@49%@A@A(@48'@A@(&@48@A@('<@48@A@('=@48@A@ABCD@AB6 #tӡ7@76@@(+C@47<@A@(3@47:@A@AB@A@7h6@@(@49>@A@A(@48@@A@(&@49 @A@('<@49 @A@('=@49 @A@ABCD@A6&#tӡ96@6)8@A@66+@@(@49T@A@A(@48V@A@(+C@47]@A@AB(3@47Z@A@(&@49$@A@('<@49#@A@('=@49"@A@ABCD@6ՠ6<@@(@49e@A@A(@48g@A@(+C@47n@A@AB(3@47k@A@(&@495@A@('<@494@A@('=@493@A@ABCD@66M@@(@59v@A@A(@58x@A@(+C@57@A@AB(3@57|@A@(&@59F@A@('<@59E@A@('=@59D@A@ABCD@ABC@58\@5#tӡ9-EqualityType'@5 @@3@,3@AB@A@5#tӡ8f@8h5@@@39e@A@:&@39d@A@L@39c@A@ABC@A@9 5@@@39@A@,@38@A@AB@A5&#tӡ@5(9!@A@8נ5*@@@39@A@A,@38@A@@39@A@:&@39@A@L@39~@A@ABCD@857@@@4 9@A@A,@4 8@A@@49@A@:&@49@A@L@49@A@ABCD@AB5G#tӡ6@65I@@)R@47@A@1@47@A@AB@A@75P@@@4#9@A@A,@4"8@A@@49@A@:&@49@A@L@49@A@ABCD@A5`#tӡ@5b9[@A@7}5d@@@489@A@A,@478@A@)R@457@A@AB1@437@A@@439@A@:&@429@A@L@419@A@ABCD@7o5u@@@4I9@A@A,@4H9@A@)R@4F8@A@AB1@4D8@A@@4D9@A@:&@4C9@A@L@4B9@A@ABCD@7E5@@@4Z:@A@A,@4Y9@A@)R@4W8@A@AB1@4U8@A@@4U9@A@:&@4T9@A@L@4S9@A@ABCD@ABC@4R8\4P@4F2 Q@@@@#_564`@4Q#1'W@3Ġ2 Q@@I@#_795@3Q?p@#_802M접  #_81'`o@@@@#_8246@GB@#_83X@A;2@@@4@44;34#@4'4*4$;E454842454D@@Vc4+<5@ ,Coq.Numbers.NatInt.NZAxioms.IsAddSubMul#<>#2'X@4"2 Q@@@#_845@4,oߠv@#_852M접  #_86'`o@@@@#_8746@@#_88X@;@@@4@44;4@444;44444}D@@Šc4=)6[@ ,Coq.Numbers.NatInt.NZAxioms.IsAddSubMul#<>#3'Y@42 Q@@A@#_896i@4%-"O@#_902M접  #_91'`o@A@@4@42 Q@@A@#_926@4$q@#_932M접  #_94'`o@B@@@45@42 Q@@A@#_956@4.@#_962M접  #_97'`o@A@@5$@42 Q@@A@#_986@4/P@#_992M접  $_100'`o@B@@@5G5J@42 Q@@A@$_1016@4 1ߠv@$_1022M접  $_103'`o@A@@5l@4Ӡ2 Q@@A@$_1047@4E@$_1052M접  $_106'`o@B@@@55@@48\@4#tӡ>B:@4@1ޮ1@K1@ABS11D@A@4#tӡ7@74@@7L@18@A@I@18@A@Q@18@A@ABC@A@8O5@@ާ'@2>$@A@Aޮ@2=&@A@K@2<-@A@ABS@2<*@A@(@2=@A@\@2=@A@@2=@A@ABCD@A5#tӡ>m7l@5=@A@7k5@@ާ'@2)>=@A@Aޮ@2(=?@A@7L@2&8=@A@ABI@2$89@A@K@2%@A@\@2!>@A@@2 >@A@ABCDE@6<53@@ާ'@2@>T@A@Aޮ@2?=V@A@7L@2=8T@A@ABI@2;8P@A@K@2<*@A@\@28>)@A@@27>(@A@ABCDE@AB@268\@2;#tӡ6s@6u2=@/JF/G@GD/?@ABG/:/8D@A@2F#tӡ6$@6&2H@@G~@/M8{@A@G@/L8x@A@Gj@/I8w@A@ABC@A@82Q@@F@/^>@A@AF@/]=@A@GD@/V<@A@ABG@/R<@A@SO@/Q>Y@A@S@/P>X@A@TJ>@/O>W@A@ABCD@A2e#tӡe@g2g>@A@7Ϡ2i@@F@/v>@A@AF@/u=@A@G~@/s8@A@ABG@/q8@A@GD@/r<@A@AGj@/p8@A@G@/q<@A@ASO@/o>w@A@S@/n>v@A@TJ>@/m>u@A@ABCDE@62@@F@/>@A@AF@/=@A@G~@/8@A@ABG@/8@A@GD@/<@A@AGj@/8@A@G@/<@A@ASO@/>@A@S@/>@A@TJ>@/>@A@ABCDE@AB@/8\@.@.? />E@A@-8\@,@,?->N@A@,8\@,#tӡܠ@ޠ,@+,Qm+)@+@ABU++D@A@,#tӡ&Orders*Structures#Coq@%HasLt@ ,@@Q@+4+3@A@A@A@@!T _,@@I@+G?@A@AQm@+F>@A@@+==@A@ABU@+<= @A@@+;>@A@g@+:>@A@@+9>@A@ABCD@A,#tӡ&%HasLe@,@@Q@+V+U@A@A@A@A },@@I@+e?$@A@AQm@+d>&@A@Q@+^+]@A@AB@+\=.@A@U@+]=-@A@A@+[>@A@g@+Z>@A@@+Y>@A@ABCD@A@+X8\@+]#tӡ7?@7A+_@* *@B* @AB**D@A@+h#tӡV@X+j@@ @*+@A@A@A@M+o@@@*$?Q@A@A @*#>S@A@B@*=Z@A@AB@*=W@A@$d@*?!@A@$@*? @A@%_<@*?@A@ABCD@A+#tӡK@M+@@ @*1+@A@A@A@I+@@@*??l@A@A @*>>n@A@ @*9+@A@ABB@*8=v@A@@*9=u@A@A$d@*7?>@A@$@*6?=@A@%_<@*5?<@A@ABCD@A+#tӡ*LtNotation@+>@A@B!E +@@@*]?@A@A @*\>@A@ @*Y+@A@AB @*X+@A@B@*Y=@A@A@*X=@A@$d@*W?^@A@$@*V?]@A@%_<@*U?\@A@ABCDE@A+#tӡ*LeNotation@+?@A@C  +Ǡ@@@*|?@A@A @*{>@A@ @*x+@A@AB @*w+@A@B@*x=@A@A@*w=@A@$d@*v?}@A@$@*u?|@A@%_<@*t?{@A@ABCDE@A+ߠ#tӡ,LtLeNotation@+?4@A@D? !+@@@*?@A@A @*>@A@ @*,@A@AB @*,@A@B@*=@A@A@*=@A@$d@*?@A@$@*?@A@%_<@*?@A@ABCDE@A@*8\*@)'2 Q@@@$_108*@)1 5 ;@A@@@@ @$_1092M접 $_110'`o@@@@$_11146@א@$_112X@֒>@@@)U@)Y@>)b@)f )`>)q)k>)k<@@㠒\)@G*@ (Coq.Numbers.NatInt.NZAxioms.IsNZOrd#<>#1#A@)m2 Q@@A@$_113+@)xUi @$_1142M접  $_115'`o@B@@@))@)w2 Q@@A@$_116+.@). *@$_1172M접  $_118'`o@A@@)@)2 Q@@A@$_119+P@)0Ok L@$_1202M접  $_121'`o@B@@@))@@)8\@)#tӡ@.`@)'@A@)#tӡ@+~@)@;@A@+})@@6*,@'@@A@A6*4.@'?@A@6*4@'- @A@AB6*4@'-@A@6*T@'>@A@A6*@'>@A@66@'@@A@66(@'@@A@67N@'@@A@ABCDE@A@'Ӡ8\@'ؠ#tӡ*N@*P'& @A@'ߠ#tӡ)@+'@c@A@+'@@@&@@A@Ao@&?@A@@&-2@A@AB@&-0@A@|@&?@A@AW@&?@A@8@&@@A@i@&@@A@3@&@@A@ABCDE@A@& 8\@&#tӡAH)@&@!>!@>g!@A>)!!DE@A@&#tӡ:@:& @@>@!;@A@>!@!;@A@>@!;@A@ABC@A@;U&)@@> @!A*@A@A>A@!@,@A@>@!-f@A@AB>@!-d@A@>g@!?7@A@A>)@!?4@A@>l@!@@A@>;@!@@A@>ga@!@@A@ABCDE@A&A#tӡ @ &C@@A@:t&E@@> @!AF@A@A>A@!@H@A@>@!-@A@AB>@!-@A@>@!;K@A@A>!@!;G@A@>g@!?W@A@AB>@!;G@A@>)@!?W@A@A>l@!A @A@>;@!A@A@>ga@!A@A@ABCDE@9I&`@@> @!Aa@A@A>A@!@c@A@>@!-@A@AB>@!-@A@>@!;f@A@A>!@!;b@A@>g@!?r@A@AB>@!;b@A@>)@!?r@A@A>l@!A;@A@>;@!A:@A@>ga@!A9@A@ABCDE@AB&~#tӡ-GenericMinMax*Structures#Coq@)HasMinMax@ &@@>@""@A@>?@""@A@AB@A@B!E C&@@> @".A@A@A>A@"-@@A@>@",-@A@AB>@"+-@A@>@"+;@A@A>!@"";@A@>g@""?@A@AB>@";@A@>)@" ?@A@A>l@"Am@A@>;@"Al@A@>ga@"Ak@A@ABCDE@A@"8\@" #tӡA(@"#@.n`@. @A.DE@A@",#tӡ9h@9j".@@.@;@A@.@;@A@.$@;@A@ABC@A@;R"7@@.f\@A@A@A.m@@@A@.nQ@. @A@AB.n`@.@A@. @?@A@A.@?@A@.]@A@A@.@A@A@.@A@A@ABCDE@A"O#tӡ@"QAV@A@;"S@@.f\@A@A@A.m@@@A@.nQ@.%@A@AB.n`@.#@A@.@;@A@A.@;@A@. @?@A@AB.$@ ;@A@.@ ?@A@A.]@ A@A@.@ A@A@.@ A@A@ABCDE@9"n@@.f\@4B@A@A.m@3A@A@.nQ@2.@@A@AB.n`@1.>@A@.@1< @A@A.@*<@A@. @*@@A@AB.$@'<@A@.@(@@A@A.]@&A@A@.@%A@A@.@$A@A@ABCDE@AB"#tӡ@"@@.H@E"@A@.@C"@A@AB@A@"@@.f\@[B+@A@A.m@ZA-@A@.nQ@Y.g@A@AB.n`@X.e@A@.@X<0@A@A.@Q<,@A@. @Q@<@A@AB.$@N<,@A@.@O@<@A@A.]@MB@A@.@LB@A@.@KB@A@ABCDE@A@J8\@O#tӡ;@=Q@@"t'@A"%#B"x E@A@Z#tӡe*HasCompare@^@@ S @54@A@A@A@O d@@"t@:Bc@A@A"@9Ae@A@"i@8.@A@AB"x@7.@A@"@6@p@A@A"@5@m@A@#`u@4B7@A@#@3B6@A@# [@2B5@A@ABCDE@A@18\@6#tӡʠ@̠8@@"t|Y4@A"t20B"t]-+E@A@A#tӡ2@4C@@ W@?d@A@A@A@0H@@"t|Y@DB@A@A"t@CA@A@"tN@B.@A@AB"t]@A.@A@"u @@@@A@A"u(@?@@A@"Z@>Bf@A@"1@=Be@A@"@<Bd@A@ABCDE@A@;8\@@#tӡB'@C@@1!w@A1!B1!{C1"dE@A@M#tӡc@eO@@ @@A@A@A@aT@@1!w@B@A@A1!@A@A@1!l@/@A@AB1!{@.@A@1"R@<@A@A1"cc@#Y@A@1"c@#V@A@ABC1"d@<@A@1"g@@@A@A1"m?@<@A@1"n@@@A@A1.#x@B@A@1.w@B@A@1/@B@A@ABCDE@A@֠8\@۠#tӡC#W@ޠ@@/An@A/AljB/AgeC/B\ZE@A@#tӡ@@@%I'@y@A@A@A@@@/A@B@A@A/A@~B@A@/A@}/;@A@AB/A@|/9@A@/B@{=@A@A/B~@z#@A@/B @y#@A@ABC/B@x=@A@/B4@wA@A@A/BZ@v=@A@/B@uA@A@A/NV@tB@A@/N@sB@A@/OQ.@rB@A@ABCDE@A@q8\o@\2 Q@@@@$_123@g-@A@@@@ @$_1242M접 $_125'`o@A@@u@n2 Q@@A@$_126@y# B# @$_1272M접  $_128'`o@A@@@@@@] ρ5rWu@^Y%"XDlkW@z-6R@1WDŽ@,Re\$[칇WlBV5ZJ