"`m]|㰠-GenericMinMax*Structures#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@)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̂"&/rk0JqTttֱ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>$Bool#Coq@0j 2cZ`FW*Equalities*Structures#Coq@0όe얟)H.Ƞ&Orders*Structures#Coq@0$Znl0\͗)OrdersTac*Structures#Coq@05'4Ԗ+9%+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLBO>$*yRMqʄmmoinР-GenericMinMax*Structures#Coq@A&HasMax@@!E@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%@.@*A@@@@@"le @h@?@!t@E@A@@@@@AA@@A@@&Orders*Structures#Coq@%EqLe'@@@@@^@ZJ@@A@ @b@C ^@@A@@f@1膠h@@A@ABC@#max @d@@x@@!t@  @@@@@AA@@A@%max_l @@!x!y@@^膀AB'@"eq .@:6_XrC@@@@@+%max_r @@(@&A@$ !@@@@@;@@@@@@6_Xr@@T6_Xrd@@A@A@&HasMin@A@Ƞ @@ @9@@9@@@ @@@9@ @9@@@@@@9@(@9@A@9@+@9@A@9@.@9@A@ABC@#min @d@A@9@@@@@@%min_l @@@@9d@9c@+6{@@@@@%min_r @@/0@@@@@@@@@@@@6{@w@B6{d@@A@A@)HasMinMaxN@BFW@E+ @*@ @M@@R(@&@@=$ @#@@!@ @& @@@@$EqLe@@@*@k@A@@-@S@A@@0@@@A@ABC@ @ @=@@@  @@@@   @@ @@@i $@h@? T@@@, @'4@:)9@?@?@ D@(@_ T%4@@@LӐ @Ҷ@T@Z@Y@_]@c@@@_Ԑ @ӶZg@m\l@r@r@>w@[@ XW@@@֐ @նz@|@@@~@{@# x@@@@@@@@@ T@@ Td@A@ @@, @A@AB@$gmax @!A:%J@@#cmp@@)Datatypes$Init@*comparison;f@ @@@@@@@@@@@DE@%$@!@A@ƛ)Datatypes$Init#Coq@@*comparison;f@BCD +k() != R'''''+k'1@@A@B@A@P@@:%@O@A@A@@@$gmin @];P@@[Y LGE@i @e@A@ DBC9 +k() != R'''''+k'i8A@P@@;@(@A@A@@@8ʒAC!O@ @@ @"@@"@@@(eq_equiv @@/RelationClasses'Classes@+Equivalence~@)@"-@"@@@A݋X_A/RelationClasses'Classes#Coq@@A@@ߠ"lt @h@F@"@K@"Ő@@@@@à+lt_strorder @@/RelationClasses'Classes#Coq@@+StrictOrder.[@g@"k@/""@@@"A݋X_A'Classes#Coq@@A@@젠)lt_compat @@)Morphisms(@&ProperL@@ "@@" @*respectful%WO?@"@@!"@"eq"@,"&@ "%Logic$InitZ@#iffС)@""@@@uAviA)Morphisms'Classes#Coq@@A@@@'compare @d@@W"@@\")Datatypes-@*comparison;f@@@@@@],compare_spec @@!x@u"!y@|"!@+CompareSpec!Q]@ @d"45@""@""@?@M<@@@@@&eq_dec @@!x*@"!y1@"&Specif$Init@'sumbool7̂K@C@"no%Logic@#notШS@"@@@@@ @@_@"@d@"ސ@@@ڠ'le_lteq @@}p@"{u@"Ơ|@"s@"or @@M""@"@@@@@@0OrderedTypeFull'@@"@@V"@A@A"@@="@A@"@@*"@A@""@@g""h@@A@<@@<d@@A@ABCD@ @@M,C@"@'compare<@𐐠 677!kDTL@@@Ac@A@@ @.@,:-@! T1D:L@@@A(@A@@8)ge_not_lt @@@65@ @"AB@ @""-=%Logic$Init#Coq@@%Falsee@@@@AviA)Morphisms'Classes#Coq@@AAۀߠK @Aۓό^ @A݋X_A/RelationClasses'Classes#Coq@@ABC@@} @@A}綐|@GABM@"eq"a@0ww@@@A+@A@@x @@:B @jBA# @@@2AI@A@@6 @@XC-*@BAA@`0ǥ@@@RAi@A@@ᠠ8 @@xDHO@ABa @@@pA@A@@@@@@@@@ABCD@@@7MinMaxLogicalPropertiesAD@s @r@ @@@p@n@@ΐ @̠ͩ@ @@@@ @@*@x@/@}w@@@s @:@>@@@@ @@J@@O@U@@Z@^@d@h@l@@|@@ǐ @ƶ@v@@{@Ð@@@ @`@^@@V㠩@*]@b@@@ᠠ(lt_total @@@@@Gz@@S{@@@@@@+TotalOrder'@@@@W@A@A@@>@A@@@+@A@@@h@A@ABC@E!My@ @@@@@ @@@@ @@ @@@\$@5@2#K @@@ @4@-9@2@?@|D@U@R#K '@@@?Ɛ @Ŷ@T@M@Y@R]@V@@@Rǐ @ƶMg@`Ol@e@r@1w@N@#KKJ@@@rɐ @ȶm@o@@@q@n@#Kkz@@@@!@@@@#K @@#K \@A@#K@@$#K@A@AB@+Private_Tac)OrdersTac*Structures#Coq@,MakeOrderTac'eq_refl @@@D!P)OrdersTac*Structures#Coq@@A@@C!O @A@ /@A@@@B@@@A@@A@@@@!tJ@@A@A$:@@"eq$:^@@A@$@ @"le$h@@A@$@@"lt$ h@@A@ABC@A@)*OrderFacts,#@A@@<@D @ @@@@ %'A*EqualitiesA݋X_A/RelationClasses'Classes@A@@AA@@A@'le_refl @g\WRL1@hA ,-@x&@@%@@)lt_irrefl @}rmhbG@~B6B%Logic@#notШM@"ltG@@F@@:&eq_sym @h@CWcUd@_/`O?@@\@@P*le_antisym @~@Dmykz@OE@QxW@@t@@h'neq_sym @̠@E@Q0S1@@@@@*interp_ord @!o)OrdersTac@#ordȠ@ @@@@@@@@@@@D@@k@ +k= R'6'6'6''+k+7T'+7T'6'ࠒA@@"lt\ @@"eq8L@lР@7Ƞ@@432@@A@B@A@xA܀/$@@@@@ڠ%trans @>3.)#@?Fa_"o'b!z @ p@x)̭C@  t@)trans_ord-0uGFO@@@AviA)Morphisms@AAۀߠK@Aۓό^ @#@ABC@@(eq_trans @/;-<4=1@KK߀МA-.@;G9H@I@D#@F|% L+k() LL7#'^@d$th@@@@@I(le_trans @`l^men1МCJZ[@htfumv@KP@M- L+k() NN7#',tƠ@@@@@q(lt_trans @YМBr@@Sx@UU L+k() MM7#'Ttޠ٠Ӡ@@@@@+le_lt_trans @P(@¶ö@M$ L+k() MN7#'vt@@@@@+lt_le_trans @޷߷Jr@@G@pF L+k() NM7#'t3(#@@@@@ޠ%eq_lt @m@@i L+k() ML7#'tUJE@:@@@@@%lt_eq @ # $%  @ ( )!*@@ L+k() LM7#'ސtxmhc]B@@@@@#%eq_le @ :F 8G?H  ! 1 2@ ?K =LDM@֐ L+k() NL7#'td@@@@@E%le_eq @ \h Ziaj-) C S T@ am _nfo@@' L+k() LN7#'#t@@@@@h&eq_neq @̠@G  @J@SMUM@@@@@&neq_eq @ڠՠРʠ@H  @@d@@@@@*not_neq_eq @ߠ@I  @0y@@@@)not_ge_lt @@J Զ ն@ :@@@@)not_gt_le @% @&K  @ x@@@@@נ)le_neq_lt @;0+& @CabAk Fj CJ lmpq@@@@@(min_mono @@"di@ } }@󀰶@   A@@ $ $+~~  z"   ꐩ,@@@5A ]@7A R@9A P@ABC@@Ƞ&min_id @@`e FAAA@@@@@ߠ)min_assoc @@wf   aCfBAlpCBA@@@}A @A~A @A @A @ABC@@(min_comm @@g  ֶ  ө造BAAB@@@A @A @AB@@3(le_min_r @@h, + BAA@@@@@L(le_min_l @@iE D ̀BAB@@@@@e)min_l_iff @@j^ *] 'A造BAB8BA@@@@@)min_r_iff @@ k M J<d BAA[AB@@@@@&min_le @@Cl p m 2@r.CBA@@@@@Ӡ*min_le_iff @@km   ZYCBAۀCABA@@@@@*min_lt_iff @@n Ƕ Ķ թ耠CBA CABA@@@@@1)min_glb_l @@o* ) N @ACB7^@@@@@Q)min_glb_r @@pJ I n ݶ@AՀCB#WG@@@@@q'min_glb @@ qj i  @8AC@?scCg@@@@@+min_glb_iff @@-r Z W !K_ACBnACtAB@@@@@Ġ*min_glb_lt @@\s   @AC@R@@@@@蠠.min_glb_lt_iff @@t   ΀AoCBဠ݀AC〠AB@@@@@/min_le_compat_l @@u  4 @ހCB䀠C @@@@@:/min_le_compat_r @@v3 ¶2 W @CBÀf?ǀ3C@@@@@]-min_le_compat @@wV 嶐U ⶐz 鶐 @&DC@-Qa1퀠 b]@@@@@2min_max_absorption @@x  I_]B BAB@@@A@@A5@A3@ABC@@2max_min_absorption @@Cy p +BBAB@@@AY@@AW@ABC@@Ϡ-max_min_distr @@gz 趐  CVBA\CBCA@@@qA@sA@uA@ABC@@-min_max_distr @@{ ɶ ! ހCဠBA瀠CBCA@@@A@A@A@ABC@@9/max_min_modular @@| 2 R 1 V P  CB CAˀ %CB +CA@@@A@A@A@ABC@@s/min_max_modular @@ } l 8 k  7 MC PBCA [ CBCA@@@AB@A7@A5@ABC@@0max_min_disassoc @@E~  r  ȶ ĩ s/C BA >CBA@@@JAr@LAk@NAe@ABC@@ݠ0max_min_antimono @@u@ж@ F@֩s    A@ Q@wr~   ѩ&Basics'Program @$flip$   T  ـ ׀EGI@@@A@AA@A@A!s̓P&Basics'Program#Coq@@A!t Q @ABCD@@50min_max_antimono @@@ @((@ @..ˀ K K D DA@ @ʩր V V )X=K?JA %̀KN -ST@@@A @AA@A@AL@AD@ABCD@@w@@@@@A@B @ @A @B@CDz@3MinMaxDecPropertiesAFH@ @@ @ء@@ء@@@G @FE@ء @@:@@ . @-@*@ء@/@ء@+@@젠) @(':@ء>@Iी@@@ @ @J@ء@O@ءU@ء@Z@!ء^@d@+ء%h@ l@wी@@@) @@v@=ء@{@Bء@@@8ې @ڶٚ@Lءך@Qء@3ϩ@ीԩ@ीΩ@=,6ސ@@@]ː @ʶɚ@ءǚ@ءŠ@@@@@ @@@ء@@ء@@@ @*@ء(@ءs@ @ी'@,@@@@@@ء@@ء@A@A@@@A@@@@A@@@ @A@=,6@@|=,6@A@ABCD@G@ @@@ء@@ء @ء@@@ @@ء@ء@@$@5@j @@@à @4@ء9@ء@?@ D@U@j ː@@@㠠j @i@T@ء@Y@ء]@ء@m@@k @j񚠐g@ء󚠐l@ ء@r@Sթw@@j@o@@m @l@$ء@)ء@@s@@j@@@6@@@@@j @@Sj @A@j@@j@A@AB@/max_case_strong @ <FZ@Wء A!P@ Ⱥhif@@&CompatXV@@L4@{E"Hl@&@PQ"Hr@ Ȑ!c@-CompSpec2Type2K>%>@?ीpC@=,6vĩI@,compare_specvڀ@)CompSpecTӊU<Ȑ"c0Р@,CompareSpecT, /@CAAAAAA@@@@@@@@D34UIH45G@j J"EQkȐ!H%lemma@ С)m%@" @)- 6@9iff_flip_impl_subrelation2VA|%g()ܠ@'le_lteq&?BAE E>@(symmetry0xj@5Equivalence_Symmetric. U@(eq_equiv'zRYR@`P_K"LTPOM0EA*I)"GTp[YWsSvvOƠ~oZ'K +%yC={@E`1-0@ = <@@!tء@@RͶQʶ@@OP@xBD@@@LM@@ @j h T+k()7!7!7777= gR'>#97!7!7!7!7!7  #7"  7!7777"7777! # '>#97!7!7!7!7!7  #7"  7!7777"7777! # '>"97!7! 7!7! 7!7  "7"  7!7777"7777! # '' +k()7!$'Dp p<Pࠒ DxXSH,hHؠ4ĠC(@$\`9 0 AABACAAL8th|yT@@Ⱥhi@n@A@A@=AT@?A AL)Datatypes$Init#Coq@@AB@@֠(max_case @@j"@@!X"X0א"X1y@G+ַ,0ٷ/o@  @*@@~@@*L@0@34 Y +k()+++7# '''$'<\@@j"@R@A@A@TA@A@@9'max_dec @O@o0)Ȁ12M&Specif@'sumbool7̂K@@/BN L "H0:BAAAA@@@@@D!s$ S *Za 2A  @=trans_co_eq_inv_impl_morphism&ni$=$@6Equivalence_TransitiveWqE,s{թ @/eq_proper_proxy)fLܠr!)RB*0 $W>Y +CE@+reflexivity(ϓ/dK@5Equivalence_Reflexive977!    7777"777  7777"777 9'>977!    7777"777  7777"777 9'' +k7!7!7%' 7! 7!7%'4c@@;D젒H`AABAAQL88x8xX|Р@00Pt{$$  lyŠ@@@A@A@A@ABC@@/min_case_strong @ַ׷϶@ٔk۠3@@˷@@xz|w@ju'sqomc%y C= {@(À1.,z+n %#|!2PJ@(ɀ>=@IH @ ;@@[ֶZӶ@ VW@IK@@QR@@@jl L+k()7!7!7777= eR'>#97!7!7!7!7!7  "7"  7!7777"7777! # '>#97!7!7!7!7!7  "7"  7!7777"7777! # '>"97!7! 7!7! 7!7  #7"  7!7777"7777! # '' +k()7!$'DppDHTx<@ؠDpX]8h@ؠ$M(0T`{0lXF0 ALx |@@k@@A@A@=AT@?A@AB@@Π(min_case @@m@@𩚠@(.>·@ܚ@@@if@@ܩ4޶@@A萐4\@@m@A@A@A@CA@A@@ 'min_dec @ܷݩ6@^>&$`ηǩɩd֠l@>trans_sym_co_inv_impl_morphism'\|ީC@/Equivalence_PER/;;y+IC-56LF~^'ީ⩷}U 98V P:;B @JrIoQRB 造Z[A x+k()7777"7779 7777"7779 ++7#'()= XR'>G   7777"777  7777"777 7777"7779'>G   7777"777  7777"777 7777"7779'' +k7!7!7%' 7! 7!7%'0ȠD{\$Ġՠ`"ANL:@T8pTX|@'PXDL0hLPt |(DlN\XxOd$r@@@A/@A-@AB@@@@@Ⱥhi@Aj"r@k@m@ABC@t@@AB@@A@@ABC@0MinMaxPropertiesAAHzJ@8 @@ @@@@E@@@0y @xw@P @9@l@@?` @_@*@#@/@("@]@@[ @ZY:@3>@{@L@@-A @@?@J@C@O@HB7U@N@Z@SM^@2Fd@]Wh@<1l@@'@@[ @@v@o@{@t@@@j  @  @~ @@e@@@L>|K8@@@ @@@@됩@@@@ܠÐ @¶@@@@@@@ @\@Z@@Rߠ@&Y@^@@@@Ѡ@@@@+@A@A@@@A@@@@A@@@<@A@>|K8@@>|K8@A@ABCD@IO@א @ֶ@@@@ @@@@ՠҐ @ѶК@Қ@@@2ԩ$@5@͐@@@ʐ @ɶ𚠐4@򚠐9@@?@RԩD@U@(@@@ @@T@#@Y@(]@,@@@( @#g@6%l@;@r@w@$@! @@@H @C@VE@[@@G@D@AP@@@h@@@@@@@1@A@@@@A@AB@"OT1OTF_to_TotalOrder @HO@@@@U!O&Orders*Structures@@5<<@@ @A@(/@A@@@ %'@@A@A@@@ @+@@@ H@Φ34@ .@$5C&#@@@@@- @G@(} @@u~@""@έ(L@ݣDA@@@@K @e@@:_@y5D@WT@@@@@.k @x@s S@@h.[@SS@ή7}@*☔ur@@ @@L` @@h&/@r@&ProperLryslQ{uyST"@xX%@@@@A@@k8 @@@>|K8@@@@:ߏѠ@@@@@ @@Օ܀@MK@!Q]@+V,WM@f:'2@A#8u͠@@@@@ @@'l4Z@qöoĩ3>!@%x@@@@@Ԑ @@@ܐ@5D1@@@@@Р @@#!@Р@ή(zРQR@4Y@@@@@(lt_total @"@@T.-"@@@(@9@X%@A@A 6@,@r 6=@tx@A@ H/@3@ H/D@ݣ@A@A!F]@7@!F]d@A@B' @>@' O@#8u@A@/I @C@X/I T@Z*☔@A@ACD8F@G@E8FX@G4Y@A@:cl@N@n:clȠJc@A@A:ctD@U@Z:ctD^<@A@B:ct@\@K:cthp@A@:ct@d@:ct̠h@A@ACE@A@l-OTF_LtIsTotalo@@@A@@|B  9.<k2 @@@@@V@@@@@@ Dl@@ Dla@Օ@A@A@@e@ S@A@Xñ@@Xñj@#!@A@ABΦ3@@Φ3n@@A@έ@@έu@@A@Aή(@@ή(y@@A@ή7@@ή7~@@A@AB"d@@"d@&/@A@#@@#@'l4Z@A@$G@@$G@(} @A@:@@K:ȑ@M>|K8@A@ABCDEUA @@@@A@@b@NΦ3@@Φ3J@A@έ@ @έ^@A@Aή(@@ή(h@A@ή7@@ή7h@A@AB"d?;DE@A@@A@@@@@ur @-)tA @j@@h @95jBd@W@@U @GC)WC*+@Q@P@@N @VR8PD9:@5@7aJ@I@@G @gcIIEJK@$'u@E@@ C @Bzv\@EC@^@_30e@@Ԡ @n5FWUVqrs@L`@hxmt@Sg@oxmtYm@uxmt@@@ߐ @ޠ@@k@mn֐ՠ@@Ő @ĠƠ @'%,@@퐐ԠР@@% @ݠ٠@><C¶@_&@a(b@@< @@U׶SضZٶ@=@x?y@@S @ @ljq@T@V2@@j @"@@k@mI0,@@ @95@@@`GC)}w@@u @tPL2@345@ @23wv^Z@rl@@j @igcI@JKL@G@%JjuqWf`@@Ơ^ @~z``'Gabc@:Ƕ@>˩A@]@@ܠ[ @v]=Hwxy@R߶@TǐW@^@@\ @^SI  @אِij@\@@Z @\fJ  @ꐩ A @W@@U @ΠʠWwK / -@Q ) @R@@'P @ߠ۠RL @¶ >ö@ @ +eՐ@P@@:@@NOML @@ ENնL֩J=v3@ ~+('! @ @@@ u @@!FӠ!@    ݠ+@ @@@  @62@!1G@@@!@@@  @IE+@!DH鰶@.@//1@22 44  U@ @@@ ސ @`\B@![ICDE@ܠڠ֩!ѩΠHʩ%ũ& ét@ @@@ ࠠ @{a@!zJcdd@fgBiFrsI@!@@@! @@!K@@@aa@@!j@!7T@!>@@@!+| @ʠƠ@!L~@!P}z@y@@!=w @ܠؠ@!Myxw@!dv@!jw@!o@!uxu@t@@!bj @@!Nlk @!j@!i@f@@!z` @@"Oba^!@!_@\@@!Z @,(@"'P\[ X4@!Y@V@@!T @?;!@":QV"U#TI@!OL&I@F@@!D @UQ7@"PRF8E9D_@!B?<<@9@@!̠7 @kgM@"fS9N8O7P@K4u@!52T.U+@*@@!堠( @f@"T*g)h(i'e#@"$!no@@@! @@"U!@"( *+@@@" @@"V@@"A@@@"/ @Πʠ@"W@@"W@@@"E @@"XǶȶɶ@@Ǡ@"p"5@@@"]ސ @@"Y߶ݠݠ@"ةנөΐ@@@"wɐ @@#Z@ƶ@#@""g@@@" @.*@#)[9@"@@@" @HD*@#C\+,-@()S@"X@"@@@"Ġ @c_E@#^]FGH@CDn@"s@"@@@"ߠ @~z`@#y^abcd@_@ab@# @#@@@" @~@#_ [@"}|xe@"ur@q@@#m @@#`onmkg}@"da`\@"YV@U@@#AS @ܠ@#aU@Ŷ@Ʃȶ@@"@Z@@#XR @@#bTڶS۶Rܶ@QO}KFC?:#Z @"7@6@@#w4 @@$c654@321/+(#  .@#@@@# @95@$4d@@@!!## @ @'' ))""#*+O@#?!됩V@#F@@@#  @a]C@$\eDh@#X@@@#Ԡ @soU@$nfVWX.|@#l@#r@#w@#}@@@# @z@$g{|R@#詚@#@@@$ސ @@$h@#ې@@@$$ؐ @à@$i@#Ր@@@$7Ґ @֠Ҡ@$jҠ@#ͩʐ@@@$MŐ @@$k϶ЩŠ@#@@@$c @@$l@⠩ @#@@@$| @@%m&@$@@@$ @51@%0n@@$0@@@$ @OK1@%Jo234@/|Y@$I}6x@w@@$Ơu @eaG@%`pwHvIuJ@Ero@$_sLn@m@@$ܠk @{w]@%vqm^l_k`@[h@]c^$ǩ@$xb@a@@$_ @u@%rav`w_x^tZ@$[X}T~O@L@@%J @@%sLKJ@/G@1B2$@$A@@@@%&> @Š@%t@?>=H9@$:7Q3R.@+@@%@) @ߠ۠@%u+¶*ö)Ķ@&@$#@$$@#@@%[! @@%v#ݶ"޶!߶@۠@$ @$@@@%v @@&w@@#@%(@%@@@%  @3/@&.x  ;@% A@%1 @ @@% @LH.@&Gy / 0 T@%DZ@%@@@%Ơ @eaG@&`z H I J n@%t@%dy@%i@%@&@@@% @q@&{ r s t J@%멚@&쩚@&"@%@%@@@& @@&|    t@&Aਗ਼@%ᩚ@&M⩚@%@&X㩚@&]@@@&Jא @@&} ̶ Ͷ Ω @%֩@&wש@%ة@& @%٩@%ؐ@@@&z͐ @@'~   "@&̩(@&ͩ-@&3@&#ː@@@& @>: @'9Ķ@ " "@ð@ & & ( (  @@ , , . . ' 0 0 )& 1 2 V@&$򐩚]@&M@@@&ɠ @hdJ@'c@@ L L@@ P P R R ' '@@ V V X X Q Z Z. S&˶ [ \ 2@&p%@'@@@& @@@q @A@@z 7 U@A@ O"@A@@ @@'I E@'N@ K@@ Q@' V@'@ \@"@@ c@'v@@ j@'}%E@'OEB?@{@@'Ak @jNKH@H @I @L@ @O@L @'O @'@ @"TS@N@L%~ @'LK~{x@G@@'zA @@@Ț @'˚ @'Π @" /@'ũ @#  :@'ǐƠ@@@' @@] @'` @'c@ @nd@a @(Dd @(I@ @#?ih@@ @(%ed@@ @(,dc% @'oa`@*@@'" @!@ 4@ 9@@ ?@@ E@( J@(@ P@#@@&- @'-*'@@@()  @630@ ښ m@(< ݚ r@(A ࠩ y@# @'  ᩚ @# @'  㐐 ^[X@ @@(Z(W @I"(n@(a@ @@@@@(l(A @@(I@ }@@@@@(|' @"@'Gŀ@ Z@@@@@(' @2@'Gˀ@ J@@@@@(@@@Ⱥhi@Aj"i@k@m@ABC@l@@AB@@AC6@@A@5@4@ABCD @N@'&ET@*BA@&;@@*?$^ @$]&`@*S&ޚe@*X&\l@'&֩&cet@* y@'&ؐ@$]@@*b@E*V@@@@**U@A@@@**P@A@@@'&W@A@ABC@K$V*@*V @*U@@*O@@*T @*X@*V@@*T*Q @*P*O@*b*Q@*g@@**S1@**I*H@*G@@*p*E @*D*k0@*~*m5@*@;@**Oǰ©M@**e*t@*S@@** @*@L@*@Q@*U@*@*@@** @**_@**d@*@j@**~񩚠|@*?**@*@@** @**{@**@*@@+* @*[**@*!@@*@$E@@@@@@**@A@@@*h*&@A@AB@$D9$GA$5 @@@% @A@@%@@@!@@+^!^D@A@ABC@A@%U&@A@$I$D@*@+MH**@$@@## @##$UA+ @+ @+i$@#@@$# @73(#$iB+!@+4#@#$-@#@@$# @MI>#$C+7@+J+9@+O@+6+7+8+(@#@@$7# @fbW#$D+P@+c+R@+h@ @++4@&@+$ )+J@#@@$Y# @y#$E+r7@++t<@+@$F˰+s+t$Jϰ+w+g@#@@$v# @#@##@U@+@Z@+####@@$# @#$F$$#$+p@++u@+#z@+@%(@$0 i #@!%/@$7 i #'%5@$= i #@#@@$# @#@+ؚ@++ښ@+#嚠@+@4/++ܶ@72++ߩ94*(+ѐ# ##@@$堠# @#@+@,,@,$ @,@@,e+@@,k+@,p#ܐ#:6+##@@%# @#C?4@,-@,@,/@,E$:@,J@@$,%@@%,+ @%$ #ieZ##@@%C# @#rnc@,\!@,o,^&@,t$i+@,y@1@,,T@7@%1,Z<@%6$:#à##@@%r# @#@,P@,,U@,$Z@,@`@%Z,@f@,,k@%e$i#ϠǠà##@@%#Ð @# Р̠@,@,,@,$ǚ@,@,,@@%,@%$#٠##@@%͠#͐ @#̠@,暠@,,蚠@,$󚠐@-@@%,޶@HC,,𩚠@%$###@@%#֐ @#ՠ($@-@-%-@-*%@-/@ni--@@-|- @-$퐐#KG<##@@&%# @#ߠTPE@->@-Q-@@-V%K @-[@@--6@-8-H@-%#wsh##@@&Q# @|q#&G-j/@-}-l4@-%w9@-@ư-^-n@&F˰-c-s&Jϰ+-g@#@@&v# @#&H-T@--Y@-%^@-@&h--@--&o+-@$@@&$ @ʠƠ$&I-y@--~@-@&& -- --@$@@&$  @$'J-њ@--Ӛ@-@&@.5-ש@&-ː@$@@&٠$ @$':K-򚠐@.-@. @&Ɛ@&-@.[-@$%@@&$# @)%$%'[L.@.&.@.+@@.u-@&퐩rm. .@&&@$4@@'@@$2)3$1$0 @MI>@.E$2@.$4@.$6$) @+$#f@.n$$$@.$t@.|$$@$@@.i$  @{p@/F$ .@.$3@.$$<@.$Ȱé@.$ $ $ J@.$ ְѩ@.$$@$@@.$ @@/5G$@b@.@g@.&$m@.@r@.'$ x@.' $|@/@$@@.Ơ$ @ܠؠ@/`H$@@.@@.@.$/@.@@.@.1$>@.@.;;@/@$"@@.$ @@/I$@/J$@/O$"@/@$$$"@,$"b]$$$@/q$kf$$mh/=@/E$@$@@/2$ @HD9@/J$$@/$@/@/@$@/$ @/$ $@,$$$$@/$$$$%@/$*@/$@/$@$@@/{$ @@0K$@A@0E@0@$@M@0Q@0$ W@/[@/$@$@c@/g@/$$m@/q@/u@0y@0 /$2~@0A$5@0F @/$8.@/$5@$4@@/۠$, @@0uL$.@/,'@0$1$.@$-@@/$+ @@0M$-@0$0@0 $3@0LG@0$$6"@0*$7'@0/-@05$8$5@$4@@0"$* @84)@0N$,@05$/@0:xsH@0P$2M@0U$1@$.@@0B$( @XTI@0O$*@0$- @0Z@0$2l@0t$3@$0@@0a$. @wsh@0P$0&@0t$3+@00@0$8@0$9@$6@@0$4 @@1Q$6E@0$9J@0$<ذө@0$7$4X@0$5@$2@@0$0 @@1 @ok`@1V$@@1l$C#@1q$F(@1@.@1@1$M$J9@1$K@$J@@1$H @@2W$JH@1$MM@1$PR@1@X@1@1$W$Tc@1$U@$T@@1$R @à@2GX$Tr@1$Ww@1$Z|@2@@2$_@@2$^@2@1$a1@$`@@1ݠ$^ @@2wY$`@1$c@1$f@24$i@2E@2$k$h$g@2R$g@2W$f@$c@@2$a @%!@2Z$c@2\$f@2a$i@2f@@/$n@@/$m@/J@2R$p2@$o@@2?$m @UQF@2[$o@2R$r @2W$u@2$x@/p@2x$z$w$v"@/$v'@/$u@$r@@2q$p @x@3 \$r6@2$u;@2$x@@2@F@2$}K@2@2$~@2$@$~@@2$| @@3:]$~e@2$j@2$o@2@u@3$z@3 @2$@2$@$@@2Ϡ$ @@3i^$@3$@3!$@3&$@3+@@3;$@@3A$@3F@3$@3$@$@@3 $ @@3_$@3V$@3[$$@0$ h c8@2$$$@3|$ v qF@2$$@$@@3;$ @QMB@3`$ @3$ @3$$ @3$  j@2$$$ @3$  x@2$$@$@@3m$ @t@4a$@ 4@3@ 9@3 =@3( C@3@ H@3 L@3 ة( R@3 V@3  ⚠@3(@$@@3$ @@4>b$ i@3$ n@3$ s@46@$$ }@1I$  $$$ @4$  $$  3@3]$@$@@3٠$ @@4sc$$ @4'$ @4, @4k@$ @46$ @4;$$ @1$ H C$$$ @4W$ Q L$$$ @4T$ @4Y ] X$ -@3$@$@@4"$ @ 8 4 )@4d$@ @4 @4@$@ @4 @4$ @4L @4P  $@$@ @4 @4$ @4b @4f @4 @44R$ %@4$Ú *@4   @3$Ʃ2 @4$Ð@$@@4$ @   @5e$ G@4 Ӱ Ω @4$$@$@@4$ @   @52f$ ]@4$ b@4$ g@4   @4<$ĩ @4B$ũ @4G @4M$$Ð@$@@4ɠ$ @ ߠ ۠ @5cg$ @4$ @4   @4h$ @4m$@$@@4頠$ @   @5h$ @4$ @5 @5J @4$$@$@@5$ @   @5i$ @5$ @5  @5i 2@4$$Ő@$@@5'$ @ = 9 .@5j$Ě @5:$ǚ @5?$ʠ  z O@4$$ũ @5$Ɛ@$@@5I$ @ _ [ P@5k$Ú @5\$ƚ @5a$ɠ   q@4$$ĩ !@5$Ő@$@@5k$ @  } r@6l$š 0@5~$Ś 5@5$Ț :@5@ @@5 @5$$̩$ˠ M@5$˩ R@5$̐@$@@5$ɐ @   @66m$˚ a@5$Κ f@5$њ k@5$Ԡ r@6 @5F$$ө$Ҡ @6$ҩ @6$ѐ@$@@5Π$̐ @   @6hn$Κ @5$њ @5$Ԛ @6%$נ @3p @5x$$֩$ՠ @3}$թ @3$Ԑ@$@@6$ϐ @   @6o$њ @6$Ԛ @6$ך @6W@ @6g$ܩ 0@5$ݩ @6r$ܐ@$@@6*$ِ @ @ < 1@6p$ۚ @6=$ޚ @6B$ᚠ @6@ @6$橚 Z@5$穚 @6$@$@@6T$ @ j f [@6q$嚠 @6$蚠 @6$뚠 #@6@ )@6$@ /@6$署 4@66W @6$@$@@6$ @   @7r$񚠐 I@6$ N@6$ S@6$ Z@6$ @6.$$ g@6$ l@6$@$@@6$ @ ̠ Ƞ @7Ps$ {@7$ @7$ @7 @ @4W$@ @4]$ @4b6 @6j%@%@@6栠$ @   @7t% @6% @6% @7=%  @4%  @6% % @4% @4%@%@@7% @ . * @7u% @7e% @7j%  @75@ @7% @7 M@6% R@6%@%@@7G%  @ ] Y N@7v% @7% @7% @7d@ @7% !@7 |@6% @6%@%@@7v% @   }@8w% ;@7% @@7%! E@7%$ J@7@ P@7%)@ V@7%( [@7 @7/%+ @74%,@%+@@7%) @ Ơ   @8Jx%+ u@7%. z@7 @7%1 @7U%2%/@%.@@7Ѡ%& @   @8ky%( @7%+ @7'" @7p%. @8%/%,@%+@@7%# @   @8z%% @8%( @8 %+ @8MH @8%%. #@7%/ (@7 .@86%0 3@8;%/@%,@@8(%$ @ > : /@8{%& @8;%) @8@%, @8E~ S@7%/ Y@8a%0 ^@8f d@7%1 i@7%0@%-@@8^%% @ t p e@8|%'#@8q%*(@8v%--@8{ @8%0 @8%1 @8%2 @8 @8%3 @8%2@%/@@8%' @   @94}%)_@8%,d@8%/i@8𩚠 @8>%2 @8%3 @8J%4 @8 @8U%5 @8Z%4@%1@@8֠%) @   @9p~%+@8%.@8%1@8@9<@8~%8 @9%9@9@8%:%7@%6@@9 %. @!@9%0@@9@9@%7@@9@9%=@95@99ww%C@%B@@9{@9%H@9K@9O@9%R @9Y@9]1@99E%T@9%W@9y@9%Z7@8%W@%V@@9u%@ @|@:@%B@;@9?@:@%I@G@: K@:%OQ@9U@9%U@%T@]@9a@9%Zg@9k@9o@:%u@9y@92}@:9%r@:E%u@:J@9\%x8@9%u@%t@@9ߠ,max_monotone @@:wA.@  @/H@.uJ7:@9@:FA9$9&/@"eq @@:#8!98#98% ::@@@:A5@:A1DH000@@:A1FdJ@ABC@@:*,min_monotone @@:B/ @XX@/@^^.KKEEA:6e:5gAX@98^:88`:;8b :@:A@@@:A5@:A=@:A8@ABC@@:`4min_max_antimonotone @@:C/?@@/ɀ@.{&x2}A:n:my婚88:n8:q8:v:w@@@;A6,@A;A&k@;A&c@; Aw@; Ar@ABCD@@:4max_min_antimonotone @@;2D/y@ö@0@ɩ/0:A:ն:שh8̐:8ΐ:8Аz::@@@;<=@<<@@@9t<&$@&&&~*4;J &y 5;`&w&;b&&j,3&h&g&j&f=&jM7G=6@=B&e=&c;B&v5&a&_&]9&~&Y&T>&t&^6&wKR&x&=,T@&PS%&&O')=45.&%&L^E&F`G`@&A*u-&-@=,&@&?&=Q&&)&;(&8W&6&&&h&&Et{&&&o&6&g&9|&&=]1&&RS=a5[&R&yr-T&T@={&g&6@'6'/'.@@@;a&&DY@&&'&&&&&c@9t<&g@6R=&k@=5&o@&S%&&&u@==#&y@==&Р'@C' ' ' &AL&@=&@=&@&*u&@=&&@&@@Ⱥhi@'t@A@A@6@6A AL<@AB@@=ՠ% @'''@%%%%%%𩚠= @'+sـ5<%&=ŷ'%=Ƿ'']=@'''@@&@&p%͠@@(q,@A@@)zǠ@5@=#@@>f=#^@A@A=BC@A@)/9 @A@@@j"@&,@A@A@&.A'@A@@>%ڐ @'*'+9@&H<V> > &&2%٠/6>=18>>>9>:'Y6%ѩ%㠩9@> <`;B> (% %ư 'nOV5''%]'%%%'|%$dK <66 6767%àf69%%ܰcj>C>Ce%lS%>F%ð9jq>K>K%sZ>M@(t(u&ryB>5>Su|>V%4%%@&<V%%%'y%%%Р&6@B&&&%AQ%M@>5%'~%S@>p=#%&%Y@'*u%&%&L@%@@@6x@6p@7@ABC@@>% @(Z(S(R@%(J(<@7/(5(3@&=(0(/(<( (2<(3'@>@Ǡ'>''6' 't '@>:ɀ''}'n'm 'j'ie6('(@>)π''@(((0@@/@-<됩&(J%SD@(N%T(c%S@>B%T @>d%U( %T'%S@:t<%T@7=%U@?5%V@( S%%W'%V@>=#%W*@>Ǡ%X@?\=%YР(p@C(m(l(k'gAL%Z@( *u%[(=@%[@@k@%@A@AT@@?$%V @(;(<(ض@>%U'G='E'C'A'?O@&4{[7=gL?(fI?(gL?"@(J(K(@K@'Q@'Me%.IF;@@m@%l@A@A@%nA&"@A@@?K%+ @)b)cq@%k?B?C8?Pj?Nk(g'1&+?H&*&&,(ov=7I%*x_%%=(7K(i{b7M(?U?V(l~e ==~?G&7&հ5;(~=7W%9n=7Z7Y(wp+7[7\?c#@)/)('2?K?i?l%0&%(%&% Р'F@B'/'.'-&AN%]@?5%(%c@?=#%g@(*u%%]%%f%'\@%@%k%@@@7@8@AB@@?@@@@:5)o @)nɷ)gʷ)f@̔rA?@@'۶@8`'ط'۶@'թ==ٷ'ک=(?ܷ?ݷ(ٷ'ߩ7)eȐ!e8@7!y7'7)p8@'f_equal='&4)?)m77ȩA/7ͩ07=??թ28@'eq_rect=߀9):)~"X2=??)>( ???@55)@@(5I@@@@@X=BC?>$@@ >*??>,?>@@7>T>4 +k()++h7# '()9777 G +17 +17T7   77   + 77# ' $'6''$'ࠒ<KPwHF]hP@@rA@@A@A@@%@A@@A)@AA1E%I*@@A.@@A)@ABCD@@@Q({ @* h*i*@kr@i@@(z@M)(y@N)@t@*'7>>})@G)j@X@6ap6b*!@@@AC@@k@\@]g>> +k()+++7# '''$'*X@@r@8@A@A@:A@A@@@(` @@(h+`@6o6k'耠oBABzBAA#@@@A:A@A@@@ɠ' @**~*}@㔑t9@@@(@@((@(?>@@*(  88ͩ8ϩ8>@@ש @@@@@@66*@)@@@CB@?@@@?@?!@됩3@@Ǡ?I?)ࠒ02IWHP\P@@t9@`@A@A@c@@Ad@@gA(@AhA@AA @AA@ABCD@@AC'u @*Z*[*@]tA[@@)l)j񩚠@(>`؀??k*WA5*AF@7O^7P+@@@AC@AYAJAK`??'X@@t@3@A@A@5A@A@@A'f @@'n,)@7 7 (Հ BABBAA#@@@B'A@A@@A@@@rAw@Ar#@t9@t8@ABC@x@x@@ABC@y@Ax@+@@ABC@B@A@B@CDE<Ð@5UsualMinMaxPropertiesBXAN?Ba@BOB5 @N?A@AT@@BaT@@BfT@"<@A@@@BW? @.@ByT@4@BT8@Bh\%@@Bq? @?@E@BUT@J@BZTBT@?@@BP? @??U@BeTY@?\@?~@@B_?s @?r?q@e@BuT@j@BzTBt?ip@BT@u@BTB{@BT?z@BTB@BT?g@?\@?]@@B?Q @?P@@BT@@BT?N@?E@@B?C @?B?A@BT??@BT?=@BTzy@@ \?=@@\?7@?p>?G@?6@@BƠ?4 @?3?2@CT?0@CT?.尚@C"Tȩ?#@C*TА@?@@CB @B@@BT@@BTB@B@@B? @??@CT?@C T?ޠ@C\?? @@_\?@C\Tِ@?@@C@C @@p>@@?p>?@A@AT@@CgTC @A@\@@C9\C@A@\@"@@v\?@A@ABC@O=C@C @C @3@CT@@C T @CT@C@@C C  @CC@CTC @CT@@Ci\C cU@CT5@C?CC@C@@C,C @CC'4@C:TC)9@C?T@?@C\C  Q@C[C!C0@C@@CHBϐ @Bζ@P@CVT@U@C[TY@C_T@B@@C[BА @B϶CVc@CiTCXh@CnT@n@C\C:O@B梀CPCO@B@@CwBΐ @BͶCr@CTCt@CT@@C\Cvΰk@C梀ClC{@B@@C@=@@@@@@CC\@A@@@C$B@A@AB@'+'.'*C @@'"'@@'@T@\%@@D\%^@A@A\BC@A@'>@A@@'@@@D)C @@@C ']@Cz%@@@@@@D4Aq @*@Ays@'??@<)'`U@@= @@DKA_ @A@Ag)#p@&W9sXQZ9uZ@@l@mB~&@@@@@Du- @k@-@DBD@&ZuD:D;FDGD>@@W,bͺ!D#&@@@@@DA @@A *``@D`D^,"=- &@@@@@DڠD @@D\@&Р@@@@@D- @@-r'@DŶDƩ-@DDe-KM&@@@@@Dנ& @&(BDжDѩ-ΠD{-ѠcD@@@@@D@@@@@@ @@A @Ar'@A@Az%@@E;z%@E=T@A@@"@E%^@A@AB@&@E@E\@A@)@-@BT)@BV\@A@A@1@B@B)#p@A@R@6@AzRܑ@A|*``@A@ABd@:@Bd@B+q@A@,bͺ@?@A,bͺ@Ap>@A@2^@D@A2^@A@A@:e}@I@B\:e}@B^s@A@ABCDE:頠>O'>RA>@ @@@  h@A@@Q8(@Nz%@@Ez%J0@AIB@ @EWh@A@)@@B)h"@A@AD@Bd;7DE@A@jN@@A@+>Z@E@_BEE@>@@>> @*&>gAEM>!@=@@>= @62 >sBE+Y=C>/@=@@> = @D@*>CE9gE7h@kE0E1mE2E"@=@@>1= @UQ;>DEJxEHy@E"@=CkE4@=@@>C=ې @gcM>EE\EZ@>(EUEV>,EYEI@=@@>X=ِ @=ؠ|xb==ٶ@@=ɐ=Ơk=@@>j= @t>F====EE=@>@=8)Af=@>@>8)Af=?@> 8)Af=@=@@>=u @=tѶEԶEն=ֶ@EE@EECE=n =`@@>=^ @=]ˠǠŶEE=@RE@TEU==Y٠ՠ=O@@>=M @=LޠEE=@E@E==H=>@@>ՠ=< @=;EE=@Eֶ@ Eة ===}=3@@>젠=1 @=0 }F3F4> 5@E@E!=ː=1e='@@?=% @=$'# eFJFK>!L@lOFF@8F9=㐐='62Q=@@?= @=?;%QF4bF2c>9d@MF@iFF.Q==NJ4==@@?3= @=WS==FLzFJ{>Q|@F4FD@F7>=fbL)=@@?K= @=okU)FdFb>i@FL@FNF^>+=~zd<@@?c< @m?GF|Fz>@̰FdFt@?LѰFiFy?PհDFm@<@@?|< @ ?HFöFĶ>Ŷ@?bFF@FF?iDF@=@@?< @?IFܶFݶ@?z?|FFFF@=@@?< @Πʠ@ JFF@?VFF@<@@?< @ߠ۠@KFF@?FΩhF@<@@?̠< @@-LFF@vF@?8FF?{@<@@?@@<A<< @GE<'<(<<㠩<٩L/@G$<<Ω<͠<ǩV9@G.<<@<@@G< @&" GF<I<J<<<nQ3@GF<<<<x[=@GP<<@<@@G=< @HD.GG<@m@n?<p@q?s<u?w<א@<@@GT< @_[EGH<@@<@<q@G@<@@Gq< @|xbwH I<<<@<<<ư<<< <{˰;;;;;@;@@I/; @:6 #IZ;];^;_@H;~@J;yKG@IZ;xI@;w@@IG;u @RN8 I[;wu;vv;uw;ta]@Ip;r;o;nj;jk;e@;b@@Ia;` @lhRI\;b;a;`@;]w@I;Z|@I;[@;Z@@I|;X @mJ];Z;Y;X@;U@I;R@I;S@;R@@I;P @J1^;RŶ;Qƶ;PǶ;Oȶ@*;K@,;F-@I;E@I;F@;E@@I;C @JO_;E;D;C;A;=!멚@IQ梀;8;5;4S;0!@I[梀;-;*@;)@@Iנ;% @ޠJq`;';&;%;#k;!* @Is梀;;;u;!4@I}梀;;@; @@I;  @Ja; @)@**?V,@--!L/?[11!P3!R5@I梀@;@@J; @!uJb;D;E;F@;; 3; !kN;;;:!pS::!rUJ7@I梀:@:@@J7: @B>(aJc::f:gg@:i:j::V:!q:::䠩:!v::ڶ:w:x!z:թ\@I梀:Ր@:@@J\:Ґ @gcM=Jd:Զ@@:Ӱ@:!!:Ӷ@:Ұ@:J`::!@J梀:̩H@J 梀:ɐ@:@@J: @y K"e:!հ@J梀::@:@@J: @K4f:ȶ:ɶ:ʩ!̩@J2梀:@J8梀:@J=梀@JC梀::@:@@J: @ʠƠKYg::" 𩚠@JV梀:@J[梀:@:@@Jנ: @ޠKqh: : g@Jn梀::@:@@Jꠠ: @Ki: : z@J梀::@:@@J: @Kj: +: ,:"M 0@J梀:::@:@@K: @Kk: A: B:"c F(@J梀:::@:@@K):~ @40Kl: W: X:~ Y@>@J梀:}:z:y:u:r@:q@@KB:o @MI3Km:q p:p q:o r:nՠX@J梀:l:i:h:d:_@:\@@K\:Z @gcMKn:\ :[ :Z :Yvr@J梀:W:T:S:O:J@:G@@Kv:E @}gyLo:G :F :E @:B@K梀:C:>@:=@@K:; @}eL&p:= :< :; @:8@K%梀:9%:4@:3@@K:1 @QL梀:(@:'@@K:% @Š9LTr:' :& :% :$M: @KT梀:!:V:W:@:@@KԠ: @ߠ۠!Lns: : : @: @:K@Kp梀:@:@@K젠: @ Lt: : : :9@K梀:999@9@@L9 @ Lu9 49 59 6@9@K梀9驚!@K梀9@9@@L!9 @,(Lv9 O9 P9 Q@97@K梀9ᩚ<@K梀9@9@@L<9ߐ @GC-Lw9 j9 k9 l9 m@9۶@9֩ҠU@K梀9թZ@K梀9֐@9@@LZ9Ӑ @eaKLx9 9 # m@L9өs@K梀99ѐ@9@@Ls9Ȑ @~zdM y9 9 # @L 梀9ȩ@L99Ɛ@9@@L9 @}M&z9 9 9 #۰ @L9@L*梀9@L/梀@L9@L9@9@@L9 @MP{9 9 9 $ 詚@LN梀9@L9@L@L_梀9@Ld梀9@9@@Lࠠ9 @Mz|9 9 9 $/ @M9@L~梀9@M9@L梀 @M9@M#9@9@@M9 @yM}9 >9 ?9 @$_ B$@L梀9*@M=90@L梀95@MH;@L梀9@@L梀9@9@@M@9 @KG1mM~9 n9 o9 pѠT@L梀9Z@Mm9_@Mre@L梀99@9@@Me9 @plV]M9@  @9@  9  $ $ 9@9@  9   9  E Mk9z 9y $ǰ @M9xK@M梀9u@9t@@M9^ @!N-@9`@  ¶@9_@  Ʃ9]  ȩ$ ʩ$ 9_@9^@  Щ9\   29  E 4M9\ ն9[ ֩$ ة@M>梀9ZKꐩ@M9W@9V@@M @̠Ƞ@N[A@  @㰶@     V Vն  Ұ @M̩K쐩@Mɐ@@@M㠠 @@N}B@  @@     x x   @M梀L @M梀@@@N @  @NC@ 4 4@@ 8 8 : : : < <Fd  = > @ "@M梀L2 )@N<@@@N) @ 4 0 @ND@ X X@@ \ \ ^ ^ :> ` `F  a b d F@NYLV M@M梀@@@NMt wA8 @l@@/ ^ @A@@} ` {@A@ Ia@A@@8 i@NoT8 n@NtT8@ t@NzT8@Nm z@NTNo @NT@ @NTNpNq8@@ @N\88@@ @N\88L @N8 FC@@@@N6̐ @͠OLI@8a @NT8^ @NT8a@ @NT6ڶ@N @NTN @NT@Ұ @NTNN8d@6@6ݩL @N8C6}z@@Nܠ6 @ɠ@8 @NT8 @NT6 @NT @ONN @OT @ONN񐐠@t@@O 5 @o@8̚ @O T8ɚ @O%T8̶@ %@O+T6@O +@O1TO  0@O6T@= 7@O=TO!O"8϶@@ >@O\G8ȶ@@ E@O\68ǩMW N@N梀8p@3@@OS5 @/@9 `@OfT9 e@OkT9@ k@OqT5@Od q@OwTOf v@O|T@ }@OTOgOh9@7@7M @O 梀85v1.+KH@@O5m @B:74@9L @OT9I @OT7W @OT @O2梀OxO @OT @O=梀OO6b_\@@@O@@ JE9{ @ khe@͚ @P TК @PTӶ@ @8TҶ@@ @P'\̶@@ @P.\˩O @PɐȠ@@@O8 @@ @8T @8T@ @8T@@O琩 @P(@@@P7 @ǠĠ@ '@P-T ,@P2T 4@P:T ;@PN ?@PET F@PY@@@PK71 @@a X@PTd ]@PTg@ c@9Th@@ j@P\gd@@ q@P\dcPL z@O梀a`# @L@@P6 @<,)&@+ @97T, @9<T/@ @9BT2@/@+Pt @P&梀+*KHE@'@@P6 @!TQN@  @PT# @PT&$ @PT @PL梀(%$ @PT @PW梀(%$|yv@&@@PؠPՐ @OJP@P܍@ Ԑ@@@@@PꠠP @@Pܓ@ Đ@@@@@PPo @"@Pwˀ@ @@@@@Q Pa @2@Piр@ @@@@@Q@@@rA@Ar@t9@t@ABC@@@AB@@@ABC@@A@@@A=S@=R@ABCDE<@<@Ac@c@A@@ABCF z@5TOMaxEqDec_to_CompareQAPNQ@QQ @Q@ @Qs@@QsQ@Q@@QN @NN@Qs @Q{'@N@@QN @N@*@Qs@/@QsQ@N@@QNܐ @N۩Nڠ:@Qs>@N{@N@@QN @NN@J@Qs@O@QsQéNU@Qs@Z@QsQΚ^@N{'Nd@QsQؚh@N{'Nl@O*{@N@@QܠQ @Q@v@Qs@{@QsQ@Q@@Q렠N @NN@QsN@RsNՠ@R{NN@OV{N@N{'N@N @@R L, @L+N@R!sN@R&sN*@Oq{NN1@O{'N@O}{N@L*@@R/@L(R#@@s@@R}sR#@A@A{'@@Rd{'R!@A@{@@RQ{R @A@{@@O{N'@A@ABC@QL&R@R& @R%@@Rs@@R$s @R(s@R&@@R$R! @R R@R2sR!@R7s@@R{R#$@R {'5@RW RR@R@@RDR @RR?4@RRsRA9@RWs@?@R{R#D@R@{'U@Rw R=RL@R+@@Rd@RRP@@@@ @`@R R.@A@A@RRS@&eq_dec @@!xg@;*s!yn@;1s&Specif$Init#Coq@@'sumbool7̂K@@N{'BA%Logic@#notШ@N{'@@@@@AA@@A@@*Equalities*Structures#Coq@(HasEqDec@@M@NÐ @RPPR@RsR:B:n:m@@@@@A:l:@R{'RKQ$RSgR@O'l4ZR@Q.A@::QMS@S RRK Q@ @QDB@ QHC@RRQ-@ X+k() 7!= R:'>G'> 7!7!= R'>H'>I'''+k6'+k6'3hI:"AAPQ`L$+@@@@@S$< @@SES!鶐S 멚QQ@(CompSpecg򚠐 @N{'$@P{BA @OC3G:BA@@@SAN@SA G;@AB@@SP@@@NM@1TOMaxEqDec_to_OTFSASQS@S٠S @S@ @S.@@S.S@S@@SѠQ @QQ@S. @S@Q @@SࠠQ @Q@*@S.@/@S.SÐ@P@@SP @PP:@S.>@Q2@P@@SΠP @PPశ@J@S.@O@S.SPU@S.@Z@S.S^@PPd@S.Sh@PPҚl@QJ2@P@@ST @T@v@T.@{@T.T@T @@T P1 @P0P@T.P@T$.P@T5#PP/@Qv2P@QP@P)@@T-NL @NKPΚ@TA.P̚@TF.PJ@Q2PĩPQ@Q/P˩@Q2PŐ@NJ@@TO@TL*TotalOrderTE@@.@@T.TE@A@A@@TTC@A@#@@Ts#TB@A@2@@Q2PI@A@ABC@TNHT@TH @TG@@TA.@@TF. @TJ.@TH@@TFTC @TBTA@TT.TC@TY.@@T#TE$@TB5@Ty3T?T>@T=@@TfT; @T:Ta4@Tt.Tc9@Ty.@?@T#TED@TbU@T3T_Tn@TM@@T@"O@@@@3@_@T3TO@A@A@UUU"@! @ b@=G.g@=L.n@P u@P@@@@z@@O@U3 @f@U;.@U6@U-@@U)U& @t@U.@@}@UN5nz@UO@@UT5n@UUU+@U,@@UCR @@R-C@R@Ui5n@Uj@US5nA@UT@R@@U]R~ @@R2@@@UG5n@UH@@UM5n@UNUH@R@@UGR @@R@R@Ub5n@Uc@R5n@R@R@@UaRu @@R}+@Ry@@U}5n@U~@@U5n@UU~Rs@U5n@U@@U5n@UU@Rp5nA@RqR@U5n@UU @R|5nA@R}Rr@R5n @R6@Rl@@UU @@U#@@$@U5n!@U@*@U5n'@UU@U@@UQ @5@Q@Ra>@U5n;@UR`D@U5nA@URL@U5nI@URZQ砩T@S.5nQ@S/RbZ@R5nAW@RRh'@Q@@UꠠP  @e@P+cD;@Rn@V5nk@VRt@V 5nq@V R|@SV5ny@SWRR@R5nA@RR@Sd5n@SeR'@P@@Vs @^@{(b݀@X@F@@DQ @2@@oP@A@@y@A@@Π@A@ԠQ@A@@@>. @>.  @@@V? @)%!@VE@V.@V.@V.@Q@S2@RCRAZ@@@VE@@@ %'V@A@SF@AB@@Ώ@@PΏґ@P+cD;@A@A @@S @S+@A@B*|@@B*|@(b@A@AS,@@T S,@T -C@A@B*UJ@ @S*UJ @S@A@CD3 C@@R3 C @R@A@5n@@V5nő@V.@A@A5nA@@V5nA@V@A@B5n@@V5n@V#@A@5n@#@S5nɑ!@S2@A@ACE@@@@:%T@A;TK@BȺhi>@j">N@Ak<@BCm@A@ Գq@ Գq\>@A@ACDE@Q@AP@B]@C\@>`@A@CwfvBDFG@@@BB~B}@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1>>>@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua*Equalities*StructuresK@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ$Init'Classes#Coq@0](p{yOh.Lؐ0\͉!Ig*Logic_Type$Init#Coq@0 1jc6K0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv 4Operators_Properties)Relations#Coq@0U3y#h&:0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLBPq05'4Ԗ+9%%Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱR͠R̠R@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$>0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03X28\X0@WƠ2 Q@@@@"_7X@@W6_Xr@A@@@@@@@@"_82M접"_9'`o@B@@@W⠐W@W֠2 Q@@@@#_10Xi@W7BN)(@#_112M접  #_12'`o@C@@@@X X W@Wؠ2 Q@@@@#_13X@W7BNSR@#_142M접  #_15'`o@C@@@@X3X6X@@W8\W@W2 Q@@@@#_17W@W6{@A@@@@@#_182M접 #_19'`o@B@@@WԠW@WϠ2 Q@@@@#_20X!@W7:'@#_212M접  #_22'`o@C@@@@WWW@W۠2 Q@@@@#_23XK@W7:!Q@#_242M접  #_25'`o@C@@@@X%X(X@@W8\W@W#tӡP@RW@@ TW@A@A@Y?W@@@WX@A@@WX@A@@WX@A@ABC@AX#tӡYUX@X @@ @W+X@A@A@A@XWҠ@@@WX@A@@WX@A@@WX@A@ABC@A@W32 Q@@@@#_26Yq@W>,@A@@@@*@#_272M접 DBBA#_28'`o@D*type_scope.function_scope@@@@A@@@#_29(&D@We@AA@@@@@@W2 Q@@@@#_30Y@W ,:?h@#_312M접 DBBA#_32'`o@D>=@@@@A@@@#_33%bD@W@AA@@@@@@YrHȠW@Yq2 Q@@@@#_35T@#_362M접 <&HasCmp@Vh2/͠#_37'`o@B@@@VkVn@Y 2 Q@@@@#_38T@#_392M접 )#_40'`o@B@@@VV@Uo2 Q@@A@#_41Wx@Uz#x@A@@@@@#_422M접 #_43'`o@D@@@@@V*V2UU@YӠ2 Q@@A@#_44W@Y1~@A@@@@&@#_452M접 #_46'`o@C@@@@VXV`U@Y֠2 Q@@A@#_47W@Y1~@A@@@@Q@#_482M접 #_49'`o@C@@@@VVU@Y2 Q@@A@#_50W@Y1@A@@@@|@#_512M접 #_52'`o@C@@@@VVV@Y2 Q@@A@#_53X(@Y1@A@@@@@#_542M접 #_55'`o@C@@@@V٠V᠐V;@@U|rHȠUzT@SrHȠ@S@S堢USU@A@SȠT@@@TZ@A@A@TZ@A@@TZ@A@@TV@A@ABC@SߠT@@@TZ@A@A@TZ@A@@TZ@A@@TV@A@ABC@ABP2 Q@@A@#_59U@P/E 4@A@@@@@#_602M접 #_61'`o@B@@@UU@Pp2 Q@@A@#_62U@P{ψ@A@@@@@#_632M접 #_64'`o@B@@@UpUn@P[2 Q@@J@#_65U@Pf w][@A@@@@F@#_662M접 #_67'`o@@@@#_6846@O@PpL@@@ #_69X@3typeclass_instancesP@@@T5@T9@PTB@TF TBPTQTMPT-=@@@@bP[VY@ 9Coq.Structures.GenericMinMax.MinMaxLogicalProperties#<>#1[@P2 Q@@J@#_70Vg@P:@A@@@@@#_712M접 #_72'`o@@@@#_7346@ol@#_74X@kP@@@T@TTPT@TTTQ TTÐTTPD@@rdQ [V@ 9Coq.Structures.GenericMinMax.MinMaxLogicalProperties#<>#2[@P2 Q@@A@#_75V@PT@A@@@@&@#_762M접 #_77'`o@D@@@@@VŠVàV預Q@P2 Q@@A@#_78W@P;$@A@@@@U@#_792M접 #_80'`o@D)+@@@AAVV@Pʠ2 Q@@A@#_81W6@P/Di@A@@@@@#_822M접 #_83'`o@EX@@@@@AQQWKWN@P2 Q@@A@#_84Wi@P.B|@A@@@@@#_852M접 #_86'`o@A@@V@.max_idempotent9D{(@@ BPΠ2 Q@@A@#_87W@P1\l@A@@@@@#_882M접 #_89'`o@C@@@@VǠVʠV@PǠ2 Q@@A@#_90W@P/C]@A@@@@@#_912M접 #_92'`o@B@@@V񠐑V@)solve_maxF@@@ B@@@@R@ %./theories/Structures/GenericMinMax.veeR eeRee@ee@R֠SS@@@@x@4S#;S'B@E@@@@@@@ K@2intuition_3AD8AF16@TYXNV@%order^@@Q@2 Q@@A@#_93X\@QK@A@@@@@#_942M접 #_95'`o@B@@@WW@QN2 Q@@A@#_96X@QY@A@@@@@#_972M접 #_98'`o@B@@@WX%@Q\2 Q@@A@#_99X@Qg1pN@A@@@@@$_1002M접 $_101'`o@B@@@WڠW@Q]2 Q@@A@$_102X@Qh1|<@A@@@@@$_1032M접 $_104'`o@B@@@XW@Qa2 Q@@A@$_105X@Ql.B|B@A@@@@F@$_1062M접 $_107'`o@D@@@@@X*X'XS@Qh2 Q@@A@$_108Y'@Qs@A@@@@u@$_1092M접 $_110'`o@C@@@@XXXUX@Qd2 Q@@A@$_111YR@Qo޵@A@@@@@$_1122M접 $_113'`o@C@@@@XXYD@Q`2 Q@@A@$_114Y}@Qk1r@A@@@@@$_1152M접 $_116'`o@D@@@@@XXYT`@Qo2 Q@@A@$_117Y@Qz1r@A@@@@@$_1182M접 $_119'`o@D@@@@@XޠX۠YNT@Q~2 Q@@A@$_120Y@QO`@A@@@@)@$_1212M접 $_122'`o@E@@@@@@Y}YY~TT@Q2 Q@@A@$_123Z@Q.YR@A@@@@\@$_1242M접 $_125'`o@C@@@@Y?Y<Y@Q2 Q@@A@$_126Z9@Qw@A@@@@@$_1272M접 $_128'`o@E@@@@@@Z'Z*Z(U9U<@Q2 Q@@A@$_129Zl@Q(EO%@A@@@@@$_1302M접 $_131'`o@C@@@@YYZY@Q2 Q@@A@$_132Z@QF@A@@@@@$_1332M접 $_134'`o@D@@@@@Z8Z6YϠUz@Q2 Q@@A@$_135Z@QF@A@@@@@$_1362M접 $_137'`o@D@@@@@ZgZeYU@Q2 Q@@A@$_138Z@Q&@A@@@@C@$_1392M접 $_140'`o@F@@@@@@@ZZZZUݠU@Q2 Q@@A@$_141[,@Q: ^@A@@@@z@$_1422M접 $_143'`o@B@@@[[@Q2 Q@@A@$_144[S@Qz@A@@@@@$_1452M접 $_146'`o@B@@@Z򠐑Z@Q2 Q@@J@$_147[z@Q'@A@@@@@$_1482M접 $_149'`o@@@@$_15046@@$_151X@~V@@@Y@YYV Y@YŐYȐYĤVYӐY֐YҐYՐQ䐠D@@dQa [@ 9Coq.Structures.GenericMinMax.MinMaxLogicalProperties#<>#3[@Q2 Q@@A@$_152[@QL@A@@@@ 9@$_1532M접 $_154'`o@D@@@@@[ؠ[֠[W@Qՠ2 Q@@A@$_155\@Q @A@@@@ h@$_1562M접 $_157'`o@D<>@@@AA\ \ @Q2 Q@@A@$_158\I@Q9~@A@@@@ @$_1592M접 $_160'`o@Ek@@@@@AV̠VϠ\^\a@Q2 Q@@A@$_161\|@Q.QX@A@@@@ @$_1622M접 $_163'`o@A@@[W@.min_idempotent9D{(@@ QǠ2 Q@@A@$_164\@Q?'@A@@@@ @$_1652M접 $_166'`o@C@@@@[[[@Q2 Q@@A@$_167\@Q8r@A@@@@ !@$_1682M접 $_169'`o@B@@@[[@)solve_minF@@@ B@@@@Sx@7"7"""ϠX7"7"""ҠX"7"7"""@%7"7"""@SXX@@@@@E8"8"""X4L8"8"""𠠐X8S8"8"""@V8"8"""@@@@@@@ \8"8"""@b8"8"##g8"8"##@@R22 Q@@A@$_170]g@R=Q@A@@@@ @$_1712M접 $_172'`o@B@@@\C\A@R@2 Q@@A@$_173]@RKQ@A@@@@ @$_1742M접 $_175'`o@B@@@\j\h@RN2 Q@@A@$_176]@RY?@A@@@@ @$_1772M접 $_178'`o@B@@@\\@RR2 Q@@A@$_179]@R]? @A@@@@ *@$_1802M접 $_181'`o@B@@@\\@RV2 Q@@A@$_182^@Ra.QX@A@@@@ Q@$_1832M접 $_184'`o@D@@@@@\᠐\ߠ]X@R]2 Q@@A@$_185^2@Rh([@A@@@@ @$_1862M접 $_187'`o@C@@@@]] ]@RY2 Q@@A@$_188^]@Rd(y@A@@@@ @$_1892M접 $_190'`o@C@@@@]:]8^J@RU2 Q@@A@$_191^@R`?AC@A@@@@ @$_1922M접 $_193'`o@D@@@@@]f]d^/Yk@Rd2 Q@@A@$_194^@Ro?AI@A@@@@ @$_1952M접 $_196'`o@D@@@@@]]^^Y@Rs2 Q@@A@$_197^@R~i@A@@@@ 4@$_1982M접 $_199'`o@E@@@@@@^^^YʠY@R2 Q@@A@$_200_@R!7 h@A@@@@ g@$_2012M접 $_202'`o@C@@@@]]^@R~2 Q@@A@$_203_D@R'@A@@@@ @$_2042M접 $_205'`o@E@@@@@@_-_0_8ZDZG@R2 Q@@A@$_206_w@R0Y@A@@@@ @$_2072M접 $_208'`o@C@@@@^T^R_i@R2 Q@@A@$_209_@R&@A@@@@ @$_2102M접 $_211'`o@D@@@@@_C_A^Z@R2 Q@@A@$_212_@R,@A@@@@ @$_2132M접 $_214'`o@D@@@@@_r_p^Z@R2 Q@@A@$_215`@R/@A@@@@ N@$_2162M접 $_217'`o@F@@@@@@@____Z蠐Z@R2 Q@@A@$_218`7@R+-i@A@@@@ @$_2192M접 $_220'`o@B@@@_g_@R2 Q@@A@$_221`^@R7He@A@@@@ @$_2222M접 $_223'`o@B@@@_:_@R2 Q@@A@$_224`@RJ@A@@@@ @$_2252M접 $_226'`o@C@@@@__e_c@R2 Q@@A@$_227`@R7_*@A@@@@ @$_2282M접 $_229'`o@C@@@@__䠐_@R2 Q@@A@$_230`@R@A@@@@)@$_2312M접 $_232'`o@C@@@@` _` @R2 Q@@A@$_233a@R\@A@@@@T@$_2342M접 $_235'`o@C@@@@_㠐`:_@R2 Q@@A@$_236a1@R z@A@@@@@$_2372M접 $_238'`o@C@@@@``e`b@R}2 Q@@A@$_239a\@R9޷@A@@@@@$_2402M접 $_241'`o@E ~@@@@@A[ߠ[⠐aqat@RX2 Q@@A@$_242a@Rc2cW@A@@@@@$_2432M접 $_244'`o@E @@@@@A\\aa@@RArHȠR?Q;@P2 Q@@A@$_247RP@PG@A@@@@@$_2482M접  n$_249'`o@F@@ 렐   @QQAAAA@O&2 Q@@A@$_250R@O10)@A@@@@L@$_2512M접  $_252'`o@F@@ "@@@OРOӠAA@@@N2 Q@@A@$_253R@N)3@A@@@@}@$_2542M접  Ԡ$_255'`o@B@@@QQ@N82 Q@@A@$_256R@NC(.>@A@@@@@$_2572M접  $_258'`o@F@@vxz|@R/R-AAAA@M2 Q@@A@$_259S@M>@A@@@@@$_2602M접 .$_261'`o@F@@@@@P[P^AA@@@M2 Q@@A@$_262SA@M C*@A@@@@@$_2632M접 _$_264'`o@B@@@Q𠐑Q@@M,rHȠM*L&@KorHȠ@Kj@KlM7KvI@A@KVL%@@@LCh@A@A@LBh@A@@LAh@A@@L@d@A@>|K8@L?d@A@ABCD@AMI#tӡhb@MLb@A@bI@@ Dl@II@A@A@IߑI@A@Xñ@IݑI@A@ABΦ3@I@hΦ3JK@A@έ@I@hwέ^Kg@A@Aή(@I@heή(hJ@A@ή7@I@eή7hK6@A@AB"d@IۑI@A@#@IّI@A@$G@IבI@A@:@IՑI@A@ABCDE@bIIŠ@@@Kg@A@@Kgx@A@AB@ABM#tӡ+U@+WMc8@A@SLt@@@Lhb@A@A@Lh_@A@@Lh]@A@@Ldc@A@>|K8@Lda@A@ABCD@RI@@@Kh@A@@Kg@A@AB@ABhM2 Q@@@@$_267M@hX#Ԍ@A@@@@@$_2682M접 x$_269'`o@C@@@@LLL@hN2 Q@@@@$_270M@hY#Ԍ)@$_2712M접 v$_272'`o@C@@@@LLL@h2 Q@@@@$_273M@h!#TRQ@$_2742M접 G$_275'`o@C@@@@LLL@h 2 Q@@@@$_276N @h+#TXy@$_2772M접 E$_278'`o@C@@@@LLL@/9D{(@@ND@]4'9@.Р9D{(@@NM@Yw @@q#tӡ"@$@sd@A@d>ܠ@@@>iI@A@A!@>@i!^@p@A@@>iG@A@@>eM@A@ABC@cL>?@@@>Wh@A@@>Vh{@A@AB@AB/Y2 Q@@A@$_281@@/d5u@A@@@@@$_2822M접 $_283'`o@D\@@@@A^??@/=2 Q@@A@$_284@@/H$_@A@@@@@$_2852M접 $_286'`o@D@@@@A^렐??@/62 Q@@A@$_287@@/A%/@A@@@@@$_2882M접 $_289'`o@D@@@@A_?䠐?@/+2 Q@@A@$_290A"@/66ѾS@A@@@@@$_2912M접 $_292'`o@D@@@@A_I@@@@/rHȠ/-@-"rHȠ@-@-/#-)e@A@U-̠@@t<@-f"@A@A5@-j+@A@=#@-@jm=#^/"@A@=@-j*@A@=@-f0@A@ABCD@T-1@@@-Ei@A@Ǡ@-Di^@A@AB@ABSؠ2 Q@@A@$_296/G@S7@A@@@@k@$_2972M접  $_298'`o@E@@?AC@.M.UAAA@Rv2 Q@@A@$_299/x@Rb@A@@@@@$_3002M접 $_301'`o@E@@p@@@*o*rA@@@R@2 Q@@A@$_302/@RK6V@A@@@@@$_3032M접  $_304'`o@B@@@.c.`@Q2 Q@@A@$_305/@Q`@A@@@@@$_3062M접 E$_307'`o@E@@ Ġ@.ՠ.ӠAAA@Q2 Q@@A@$_308/@Q @A@@@@@$_3092M접 v$_310'`o@E@@@@@*򠐑*A@@@Pܠ2 Q@@A@$_3110(@P8T@A@@@@L@$_3122M접 $_313'`o@B@@@..@@)YrHȠ)W(3@NrHȠ@N@N)dN&z@A@N(2@@p>@(MgO@A@AT@(LkX@A@\%@(:@k\%^)c@A@\@(PkW@A@\@(Og]@A@ABCD@A)y#tӡkB@)|fE@A@B&G@@ @&&@A@Az%@&O@kz%J)y@A@@&^)@A@AB@&W@kh&@A@)@&^@h)h'o@A@A@&&@A@R@&&@A@ABd@&&@A@,bͺ@&&@A@2^@&&@A@:e}@&&@A@ABCDE@A9&w@@@'k9@A@@'j@A@AB@AB)#tӡl 0@)f@A@0(@@p>@(g@A@AT@(k@A@\@(k@A@\@(g@A@ABC@/b&@@@'kS@A@@'j@A@AB@ABk2 Q@@@@$_316)@k @A@@@@@$_3172M접 $_318'`o@C@@@@(((@k2 Q@@@@$_319)@k ) @$_3202M접 $_321'`o@C@@@@(((@k[2 Q@@@@$_322*&@kf cQ5@$_3232M접 $_324'`o@C@@@@(((@ke2 Q@@@@$_325*N@kp cy]@$_3262M접 $_327'`o@C@@@@(((@@rHȠ0@h?2 Q@@@@$_331@A@@@@@$_3322M접 @0$_333'`o@B@@@砐@UѠ2 Q@@A@$_334>@U9@A@@@@@$_3352M접 $_336'`o@B@@@GJ@@=rHȠ;g@E#tӡ}@cH@V Q@S,H@A*UJD@BC3 C@$*1c@R# 9SȇDE@ aZ)/s!xww!xC!O-GenericMinMax*Structures#Coq@@!t"!y!H@"le"AB"H'!@"lt""C /RelationClasses'Classes'@7StrictOrder_Irreflexiveπ44@+lt_strorder vDР%Logic$Init9@"or @BAAAA@@@@@D@0+S@"eq"8E%lemma%@#iffС)R)Morphisms?@4iff_impl_subrelation5]:'U$\y@'le_lteqǜ-bn0X@,transitivity>4 f_@6StrictOrder_TransitiveamZ4U4rs}=4*@>Reflexive_partial_app_morphism 2R,@AH4@*respectful%WO? O&Basics'Program@$impl7oE@2subrelation_properJ7@ceX@)lt_compat#"'l$)Datatypes@$unitUe@Ab@6subrelation_respectful>6z 8}}i@0subrelation_reflv !< @ y7qFs@6reflexive_proper_proxy5@5Equivalence_Reflexive6:3\ {59.P):(EFCGhfXgVvig@aZUS7TNNRKO3D#C#A@#min0ǥWVrpn@{4Ol1fj[}ViM3C;s!nD@!m Ȑ!o @(lt_total$[VZ@]a@]d {@kn }r@#andЖw@ E!M@#K B@+%A#$A ͩ@%max_rAȩ.G穚@9iff_flip_impl_subrelation2VA)ǩZT頩r@*,DSBR?勺Bˠqɩkʩ$HҠxrө@&or_ind"56 @(symmetry0xj@5Equivalence_Symmetric. U@U&[&C )d$#))oa)}J.~@%max_lA5U7MinMaxLogicalProperties@(max_spec/E 4JNN0@ MW5ǠQ,alF@'and_ind14ۀ d"H1ܠET7⠩:@+Private_Tac@)not_gt_le5-ƀEIʩG@)lt_irrefl+\LH@(lt_trans tC~@#notШMHB='8>?%"x0C"y0F,@ @ ǩ>]Sµ"H2EhDl HQITJ䐩l@+le_lt_trans ހ . t@%eq_leZ`{@&eq_symt7go@%le_eqoCf3CB@}뵷;~?}C929[9@%lt_eqnA!@%eq_ltZ 5 +C"CeCK;@N>@roCSC@0=CǶ@C@&ProperL@   nط"x'۷"Hxõeැ"y'㷐"Hy&0Ҡ]ĠؠȐ"m'FI`@PKU ꠩Lxޠ~ 8ЩMe7"H3%!O $# %/WЩ1P -7"/19"H457NT@*not_neq_eq5<ͩ9Dө?J[ ٩EPQ萩p@'eq_refl;["ORy@&eq_neqkfh=@&neq_eqf`~ CCf/C-SЩNiJvLI=Gz|*D03 ?zSXCWPARY`琩bK\ceSf[gqCCL 4!A!B@VXXk.Morphisms_Prop@/or_iff_morphism3%)b'++d" -ff/h 11jjj(b $ )"@0and_iff_morphism Ƴ H,G+2G@#$6ՈM14&P4(6}@8per_partial_app_morphismpW;@/Equivalence_PER/;JC51GЩ5ҩ%֩@1Proper_instance_0 w][RD%%!۩&i@-iff_Reflexive/h [A&`4a[VNOJNGBF>IF8I9f;Khh<h7jJJ>LZLmwS-LP-,rL(t WG>t9}YIiv uЩS,n{p)mWJ kd^l\YWK]USP<?KGC"Ia<.Fo:ꐩH@'neq_symg5 1ᐩ^)^!6h5.ܐ>,?jt_4mw]l>zl@bgC_CbZ][^YceWgӐޠRRuOYY{CxC{{sv۩z̷}ک!ŷ˷ީŰGЩ6}͐s:@(eq_trans,ưC(C&1=ߵ.ϩ)47䩷թ/:.А57LؐHVCCCO۷)w׷ҩVT WaRN%X[L"8flPFh IC?Ccn0z k fqt婷lw䩷r}#婷 䩷Mcܩ*⩷᩷ ީ\rܩ8کc۩_8;> C#( #;L,^$ Y!&-o6)071:3"a5<gfj?,fAlv\ko6_d@bVCCbbZͩXV}YT^aeh嵩੷#ܩԩکaPaDbkXkȐ`}CC˩no4ec?C~|ySl]l_nxurvqHyo)+mܐ$թѰ&;C C/;Ƿc÷B@CMﵷ>:쩷4F쩷r&GR(MX8<x?K5lNCDChs5!pmx,&㐩 sOCXC|VCfܩgCհ@@o!pȐ"Hm 8V3@NO2@7#DO_>> Ʃ ЩĠϩǠˠϩZԠŠڠܠީЩީ sѠ萩ߠ%̩됩өᐩC!9=BЩ,'4-1F/H$+Nϩ3V78ǐ2 ʐl ϐ"4 BFD C3׷jsЩ PHHJ:Lztwqpor"lfjhdT_*E7)54d<>O?k7dRDcC^\[]@Y:Wr}cc,Wj|j\HCv$ݷ֩ƷR˷}ĩMO7ЩP,okEK{?7{iO.l^nt3c;hh]^C$`j6Щ-3\Ҡǩ۵u0wѐܠԩ}אȩȠʩ1u50C.Mhfdg+bac^ǰ\X'FCAu;?q@>װl<6$ͩ("\~uJ6;Cd·Uu^j!Y\ThR @D3Ec+a`N%%3p(8\*C=& \`O Ze;K=1Ga grb  鐩^ ##3"V0 1C ׷ #WQ +橷 -⩷ /h 4z]x@J@r 0sMS 38v 6C 6 @ 1׷tթn H Jө L G_dO MC M   M /!f pڶ۷ ^ݶީ &ΩǠ R) ^̠ a멚*@+max_unicityT j k N7T#Eqf/YV t#Lef4^ z  D; _@/젩Ҡ hL 8BBB@@@@D@栩 [p  !E2 b. X@>trans_sym_co_inv_impl_morphism'\|2۩ː#͐ϐp԰r  4} " 2,    3 @ (B$<'#-')B-+D*XJZ1 ߠV@>X R8X Z 퐷  "E'  !h@P=e!  j} #"%⩷|~z x- CsXt3v,JiQS  {} &rsȩUq =UQF _  D E@*le_antisym :  A\&(%]) G SC5 M˷@ X c0  a b D@l e ^ܷ@k i h| d j  y |CߐĠjlig琩om퐩bd  a% [V _U_  ;kj  sOuQu  C @    5 3~  5@'le_refl 6  8 ? B @ A 8x @l )      à r:@ " 3   U  ͐  "0` \ @=trans_co_eq_inv_impl_morphism&ni$ ` D @6Equivalence_TransitiveW /M 1O % m, l P 4@*max_compat:V + s W&X .  < 0 @/eq_proper_proxy)f |   t> Ǡ ۷@ ˠ Y [(& n T&z V|   @ g  { a0 c   ( : ک ;z  P p? rA@ &CC g  bE )   ] J -  aPR + ɩ j s > # Aa DC >G@  l= L K_ n  Щ  757s& Yvv3 Z N   ~ V Է@  a l  9 $$   , O L ' j~~| k ut M@r ڠj p it@h c v uja 9_ 432 詚 1@,PER_morphism q    F     󩚠 @$flip$        Q   ܠ  R        P  b sq  VI !    \ u @V+  VS bQ 4\[ )" s O   0  M$ {&˩ 2(  "S D<2$2 # 5'  C   H F @ G >  é   - 2   ȩ $   8  @  - 2 @ &  ˩ 2  ϩ F ۩ H . .  ߠ V@ >  Q  ɩ S  9  ꐷ  M Y   ] C m 6P } a& F k   ʰ <    > ©  s D D u x  o I { I  C jͷ 3@ g 6 z2 )   :s ,  թ & کu  K% ]   O ` ߩ  b ᵷ    ? C         @ ۩ r  ~ . 9 ݩ    *   ĩ  x  A   D 멷 Щ     b B     ' E $   T  I JC  L V    # G   & ذ  ۵ ^ `  ʐ 6  Ω f  [ \C \      '  B@   Y  e p     a     .  x   {rp Q 2 - uC ؐ w      r   Q  ?   7      h  e F / C       T K o@ ? L     A /     * ( @ K@ J   $   V 5੷ g   Ɛ    ʩ               Z ( \ "  C m  x /  m  $ /驷 ϩ 9^T 3     ːm :   ΐ Ew = ݰy G  C 6 շ  ~ q  H   l  BA  / ѷ  1  ސ j h b i `   ķ@   9  砷    > =  ?  } %@ z 6 7@ ~  } z i 7 '  e o  f  j   L u u  w  C fʷ        O J$  P   C     R Bש Q F 8  ^    / ; > ; * @ =  b  C  C /  E % $s  ' C% 2  \ m ] 㩷 a  p >ͩ g  ĩ ; S! B ] ` ] ? @  c  7 R   R  < HC  J  Է  շ*  &  1@ @  I ( $  V X c  R i [ #  ] $    ׵ n ^  X        n c     T q w   W tC t   n$ " w   $  Ϸ +   뵷   { ʠ   JH        -  p C      p  @ ޠ  C i    D@ n    W    k@&max_le.B|B    * \ @ @    u    >      T E N q    -q f  J 9d  :   (YW   >   ѐ < O    Ԑ  e C g   C <  c R}  ԩ 5   c   C    1 :  ? >8  @  1/ 2 x g .  )     w      k   C(   x ?  :> ' +  +  * .  1 C8        @ v ՠ ȩ 렩 l !* |  <    =   ]@   l@      ַ<  A  @)not_ge_lt5 ~  nNI f  e b _ f  fEF -  H=C [U C# $ \ M_  4 RP w  { ]^    ~U  u  Щ p HfC ɐ .4  vx    sgC ss}   t K] n u  ʩ SNS RBH  뵷        p + C  b fV` g] 3C       .  0 C< hn DT =5R  *  * #  -  CL > < 6 = > 5 g@ @     \ M V y L 3  ©     < @    Cv K x EC <ڷ $ " x 2 1# r 3  h O% ީ -㩷 us   Y 쐩   d  C񐑷 ~ | v } ~ u ٷ@ W@@  X C    ŷ 2  xF˩ = % , x ,  8C   US  c b -  d B  V۩1 JN 7 ;  ; : >  A! 4C        @ @ p @ J s/: )  P  f ߩ  D  ܩHys \ ` c `C *  fFEC  <R A   h   ~ s ְ ŵ\^ 穷  ۩  Π  ʩ Р _ {    a ~   &e L  hgC"\    H  D O@ ͩ, ͠J t ѩ   p    @P ؠ@ ۠ Ƞ E  Y   ̵ aé "    T  5  7 C  ܵ aө] C  ;! " ٩ +4 8  *  *  8 sC    P  G  K  ?< =Ω E , ݩQې  g < ԰i C Q @ 驷 dk   Q CӷW rXU Y 5 bk I7 u   G c G琩  f  X됩  t iC<zxryzq շ@S@jͶ@lW   1 \Ͱ xL˩ & - * - ΐ C r Z  -  GǷ r< %'d < C  C#e (C    @頩n;2= O  .P  ©p@B@ ULJ{  yT U  n q Q 0C     d   z  ~ U`C Đ m&  %   3 ֵux     sg xC ؐ wwxOMry ΩDA 6L ŵ ƩL     kC;Yҵ  B (,        ^C<`9 U_    Km 2:6     C:;93: ;@>8? @.@@i@  ʶ@ @+max_lub_iff.YR'@@ ն_]W^ _X@=?өA.0`젷 j k"^h,<lH ?qr u o'$' *Z w-  Cp1 5I婷 u7   >A> !DA$C&CC[7oe969*4,.D09:C-\D5+7멷r)_   fFbfi +I(BiLC(Lַ׷ ,ط[yJ~TIөb8@(v]4&e^  -  .    l p$94[ C  )| -Sf )C0(0" ?&$ ;" t|{ >C & G JC!75/6 7!q:#Hnm޷#HpqȐ"LE@/max_le_compat_lFé Ȑ#LE'@/max_le_compat_rFDĩ"P[ZJҩN ٩qRЩT㐩 搩 CLwuovmkeѷ@VOIbH@#KߩXEk  e@=ZW@%min_l :oWI2f@%min_r ǀ萑@(min_spec: ^5-2@B0/>kMFCNJSAݩ8۩YRR\aXXZOFǠ \]]~ϵq  G8Ơ٠wˠޠh  ~Zzs٠۠z v t~ԩԷ)ͷ +-ѷ͵ʰũ z v5wtq rj?gda kJGB a:52 V SCCp$!4"    թ      ީ ԩ243-( !     ©$    ͷNi .c ķ,*KILp˵ ɩĩ|   x rmjCCi53'1G9r|z}^ _Y xvHyFA5G? | z0 }=) x tK &n :F  9+c0 ) . tC jC  &&!hfZ"db"  U% bN<    I  C {C / lXF H yJ L < 0 .y ,T F & % $           zC C RRJөHmINQѩRPU  X յo Щ ̩ ~  r C C ҷb ݵy ک{ o} k go c a _ ]:y Y X  J G D A >   3 . ) &C C }!ŷ   ?  * >oة nm hũiiʐhppxթǰz1 ;7ҰؐCC6BCNWW;;C  ې`^X_ ` Y  @ @<  >8ߩQ.蠷 H [ eL _7  d7gg?. Yk  "_  a  tv2  dz0x  L eF {W*  )w/8x(j7`  V+C-(  "( k eʩ M BGzET& HCH*HX qSR~ tPHOMKP  HN  ED@  k i@g?C<gb  \b · YX: ᐩxOv1CKvXvX Boo  & 'v \yyߠ  ܩ  z$ [ ݩ _ *ðpvw  *   -ϩ# h 1 6C#.·=^ b H: c 67֩0;-3 Y 5 zCi US˷Vu  .Q  xMNJ (F(\+C(c  n` &  \͵]& ϩ F9LZ<p)C<  %0 &[+ ,  [~ ڷD >z뵷{wvgu <&jZx ]CZ$   X R,.Xm Zp ߩ6KF2J8BLL&R7uOuU:xzeCx8 0-E  6 y کs MOQ  fl QOCOYʩ  ǷJ  4aĩc `^C^^@  k3 à 󩚠2@+min_unicityL  %Z    YS[@H蠩 zM @ u߷ BM@    w h ީ    ݩ @u ۩  ک     *@  %   ٷ  5@ ͩ0  Ɛ ѷ ٩5     c4? i M            CH ]@eꐷ2 Mک Kx\!`_ B 5r]\ַ@Q3Q n@D2  E  23 䵷fq9 ꩷  {  Ű   0 2 Cwk @WP $ ,S s@244".' @><x!>8C  k$ fGZG,(%J@*min_compat'р ^aHPP \M˩-d`2@"_ŠZc\]V  Է@ UdϠ[m]gf [ z֠b,ڠ`4('   rz| T3w Qxd_ t Mt& @ڠ 62 8 |Fz4BA   |J  hO'  Y @d޷ Y@ $$ ^ (,' ]  XXVTS@Q LT @J I  GqE < ACA@?#>b .@< r :~8 I-NP6éA !N2SǠ USMTKЩ,:?֩1 D@9>L> Q۩S꠷ a@I\ ^ߩ Xdܩhx [l1 D " z@b1u" 5 nzѩЩ~V pF/ @e  +w.x۩鵷3۩ rI0/C2<{6-|$D ː#X?>C?ɷ#%@PGRUC԰ZĠ ;pWVCYc]TKk ␩JfeCfJDL@9N@#iffС)~t@ p̷ /@. @ 0õ H G C  Q'!շ"}D ׵ \+֩ ] C 6ݰ ީ L թİ z1)ɰ3C"MKELC@[ʠg!"b@x@'z\K m   j h$ᐩ 2[S]C 3=.Q"  .b GfnhC_ĩG9H;32 )2@@Uߠ V/  R [4 ]޷K,_(  :S ] ʐ@G& V;J)6+L+C S+60%< tMOdAxA  2M;H== C ;=ȷɷʩ{@H@UL@&min_le.QX܀ z 5@d@&"YdgS"#qW  rm eڵ_۠ic IUTqu6\nxlCې |vx ,^ *iC{2$03߷  - , Щ" ? C* *?  C5971890@éH*ǩVr׷Qp@5@: J 9 JG߰C W  X O#u© _ؐSCJ  `ҩ C &cat;CG6?; ?  ΰyG7 ͐&g{}CL  ME  "<$ Щ Q:>> !=ADf)G' C@Xݩ )5O7  퐩KROR2&CK22^@H@1( =HK7 tU˰Q ǩ ƐNKl.KC KVPE _ٰ_ թO~L w~{~]^z~C`fcFcC cD6K@z@2kmx{g5 6#p7굷-q    7C yG)ط ? /C pbw@@ @ 1:VW*L A @)C JSj kqC2 XƐ5հCWUOVWN@f0 %֠sn@E: "@=* 8+M *p-W l k  hgC ez7i' u fjC H B2 C])qz[ =.Cs B O;8#R ]̩`P +Hʐ@GD&,))C n^㩷9V  C {;P uOe v\.C3EթɐY]]4@`3cO5bEC5EEϷз%q,@[@ 0@JjP[^J 5O g ` #Yeh ǩ |cwCȐ [qk` Key# 9o{}  x9CnZLa@I i#?=@@ f@ dE k[ a  0 ة E fC  r  )A   C g L x!  u #©Tũ`Q d b//C' ƷʩbGȷ]p?=  > S  FڐC P  R  C Q} R @  T޵12搩 ll吩C/󐑷}w~ |r@Z@Hʩ_ j@a gM @ϩ@+min_glb_iff!7 h e@@    f h꠩x  |  @ 6 uu{ ? ~|:3    q K | P ҰF   9 ]VUC ߰ƵSϠWR dFKgfCʐ ia; ؠ7; ܠ/ީ.+.굷o)q %Ȑ`~e,C+;ﵷ|)~bՐr9C'ny  m x oi   a  @u    Y   4zV }) 3 R -&/ !3 #=P%7ĩ@;)l >Q,C<b7Q֩RU; 1OiU<CL > Z7= !]V5+0.|Qc,-N1n!$p'ZsC.c}, ؐ{b{C& d b> `> ^@/min_le_compat_l& \d  Z@/min_le_compat_r, Xms ةu6y(9ǩ9U;0<XE3?C˷ % '@ . T.LW ÷@ \ ?T!C  $xթ,GD}֩}dةvڠg9t 0@ pm ]0 $1,[Xvw>H֠Aؠ`@:.-}/(>\'[YY:$&CU>ɷ̷931+2)ri@] `(@! zzeL|H$G+ Ƞ6۩L,K/ 8b88`C R$ |&  r@ϠF@~Ӑ"C'طN@ېEzWULZL 퐩k]nCXm@BEB]ҩQ-$l(A w,o xxxx x _ H` 婚@(min_mono9~ j6\<[!C@)ReflexiveWG75a p"-p.CuuC12#  C t D2@(max_mono/Di u ,) N;,gѷWҷU4 C  C 6 PQ۷ܷ1ݩĠJM@ fT  iG +QLg.@-max_min_distrJ5 ?͠ hwҠةlo\@Lڠ $ߠ(jڠM p ɩd@  ݩ ^jK d i$1ѩ "ͩo9,8 ʩ;,: p'QŠ<?#. i70@ + *m$0)4 >$S7": Y,X< =%[,Z> Gq?%% R 3F7JT@?R\CVXX> A j@R3e ggM P />q'ǩu ):$y5^} ީ,~b.c 'ǩH$C  <>,(C~ &b2 +ʠ 1  a 1D @*min_le_iff([ڀilǩZ Xgķ@euZUhĠ[wȠS٩$R,HE~hScPPNd$Ҡ_$ kXXV>SEO4<? ^̠r  Ϡ  e,o jL@-min_max_distr7_*  l Ʃ]Y]y@i "& i "@ v by$D( Š+5$ ɠ/ ˩M,L0 1 ͩO,N2;e*3ǩ ڠQI|* ߩ, @2E G6I ީJ  ة  u㠷Z@B#U  W  ? .aeK~w*$i% mPʩ ,o q q s ɩw <${7}    ҩ tJ ݩg jiIm#pq ,@*max_le_iff᠀AyWB2ސ[>CHd@;ZErX[j Sk|$wR é,74 Y WRRNNLS$~ WSSQ QwygW͐}FcgCʐW dPBMp5{@t ķǩ7$,b_  ::,dat  ! cH4B N"  R  & I _ ``@(le_min_rQ݀ؐS420b'00!22-34+  @ |0 3 ~)@ ©"" 0  p{ nF* - +> ^ 9]ŐKI& ?@ ̐/  v-Z>( A$ R ֠MِpƐŷqom= jkbƷ@S kb頷`@HY hTDR~P}a& eEGCu ` _  Sp  F  v@K  Kf۩Zdu: yY]  t s h  Z c O  # J  HǶ@J 3 2@ , (ܰ    @ ) ' E 5 D> J U VCABB$D > P [ \H iA ~I nJ9@P8$6S t(VWWLYYN q Z [J@0min_max_antimono&H,e  f gV@0max_min_antimono.UT P  @ s Ȑ!sR @&eq_dec'l4Zf&Specif }@'sumbool7̂K@@ o{'vBAAAA@@@@@D%  @(CompSpecg::@ {  *B@@@@@A<2)۩3 Ҡ@A@I?6Q. @  ǩH T @ B@  C 񠷐!e= A,: ;  CBwX=  +Gpn%  i`j\z1PfK O G~tk5 թw -!@.@+!(? EBz`a@)     !@ px!{tus!7!B!9!C &   g@ u,nh3. l@ĩ! 堩@![{~!( !/!d@!)a e!x !Q@%Falsee@ b!G!| t"!!!s"n0 Cgfe d!Xi!Zm!o@!_]!aDd:!!b!! ?!@!b 7R!vs=ͰWJ!{M N!LX~  Yð 2q&!C  !!C7!!!5TOMaxEqDec_to_Compare@'compare3G: (ZBY®