"`Ą <(MSetList%MSets#Coq@|$Bool#Coq@-MSetInterface%MSets#Coq@+OrdersFacts*Structures#Coq@-RelationPairs'Classes#Coq@$List%Lists#Coq@&Sorted'Sorting#Coq@&Basics'Program#Coq@*SetoidList%Lists#Coq@2Relation_Operators)Relations#Coq@4Operators_Properties)Relations#Coq@)Relations#Coq@)Morphisms'Classes#Coq@4Relation_Definitions)Relations#Coq@-SetoidTactics'Classes#Coq@&Setoid'Setoids#Coq@$Init'Classes#Coq@/RelationClasses'Classes#Coq@*Equalities*Structures#Coq@&Orders*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@/EqualitiesFacts*Structures#Coq@+OrdersLists*Structures#Coq@L)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r'Prelude$Init#Coq@0JqTttֱ$Bool#Coq@0j 2cZ`FW&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI+Relations_1$Sets#Coq@0k<⪚(тc1&Sorted'Sorting#Coq@0bb1z٠*SetoidList%Lists#Coq@0k窪ܸqS-RelationPairs'Classes#Coq@0CjN͐0x* .>S/EqualitiesFacts*Structures#Coq@0)n,:5-|!N@Ƞ,0 X@u#ɠ*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼Qh?I @֫ìN}Р(MSetList%MSets#Coq@A#OpsA@!X@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%@.@*A@@@@@(eq_equiv @@/RelationClasses'Classes1@+Equivalence~@J@FN@/"|@@@FA݋X_A/RelationClasses'Classes#Coq@@A@@A"lt @h@g@!t@m@A@@@@@AA@@A@+lt_strorder @@/RelationClasses'Classes#Coq@@+StrictOrder.[@@'@5#@@@A݋X_A'Classes#Coq@@A@@,)lt_compat @@)Morphisms(@&ProperL@@L@@QK@*respectful%WO?@\@@a[@"eq"|@lf@ "|%Logic$InitZ@#iffС)@#@@@AviA)Morphisms'Classes#Coq@@A@@'compare @d@@@@)Datatypes-@*comparison;f@@@@@@,compare_spec @@!x@!y#@!@+CompareSpec!Q]@0@d"|BA8@#=@#  C@O:on@@@@@Ԡ&eq_dec @@!xS@O!yZ@V&Specif$InitR@'sumbool7̂K@l@M"|<;%Logic@#notШ|@]"|@@@@@e@&Orders*Structures#Coq@+OrderedType@@@@@@J@@A@A"|@@u"|^@@A@#@@;#h@@A@:on@@:ond@@A@ABC@#elt @@@@!t@ @@@@@AA@@A@  @)Datatypes$Init@$list]@&@1 @HA@ː867 kLD@@@A al)Datatypes$Init#Coq@@A@@;%empty @:A1@@Q :(Gk@@@A!@A@@T(is_empty @!lH@i :XA@B@B@@@@@Aba@$boolZ'@A@`@n B@6)Datatypes$Init#Coq@@$boolZ'@ +k= R'>H'G''+k6'(6@@ABABt@@@@@#mem @A@ !x!sK ȷAWV@@@@@D UCJ!yԷiР@t;f@@@@@@@@@@@@D  f@'compare:onD]hcE`@/.d@$list]@k@ ,Rk(*()=- R8'> 7!= R'G'H' 3%''H''+k6'+k6'+7Tk+ 77 T'6'ࠑ4@@A@B@ABL$1|OpAEXh@@@A@A@@#add @A@ r1pnnu4sqluss B=ym?|kc~aC F^H^@[P@@c]@[ ,bk(*()=2 RD'> 7!= R"'' :' 3! :''G :''+k67$'+k67$'+7Tk+ 77 T'67$'РIL_AB|AEXq|D@@@A5@A@@h)singleton @ZH\0@Ě2@ 8@ (+kG :'@@@/AT@A@@&remove @A@ :? \D۷DѰ&pm@`ƀe ,Tk(*()=/ R:'> 7!= R''' 3! :''G''+k6'+k6'+7Tk+ 77 T'6'ࠑAB^T,| ,AEX֠p@@@uA@A@@͠%union @@@ +@.'0e"s'i8ѷߞ@@)union_aux;y"x'䷐"l'8]-FڰH,߰ 0ة6@^ˀ@΀Ѐ ,k*(= R'>3 ,d '+i''*(=: RE'>7!= R''!:'!:'3 :''''+k6'+k6'+7Tk6''+k+7T'6'+7Tk+7T'6'\(AB0$t4$ࠒTrAEL@@@A@A@@1%inter @@@ daŠ@/=@@)inter_aux^l\Ԡ[=YKWTMI@@ ,k*(= R}'> 3,` '+e''*(=6 RA'>7!= R#'!:'%'3$''G''+k6'+k6'+7Tk6'G'+k+7T'6'+7Tk+7T'6'oAB, $t` ̠AEL@@@ AE@A@@x$diff @@@ * Gu0@@(diff_aux8@뚠X@[] ,k*(= R~'>3 ,` '+e''*(=6 RA'>7!= R#'%'!:'3$''''+k6'+k6'+7Tk6'G'+k+7T'6'+7Tk+7T'6'AB0R$xd$Р AEL@@@fA@A@@%equal @@@ p@qdst"iXlZf!eŷe.Ƿ% i˷Gjpp@6@p@ ,k(*()=A Rt'>=- RQ'> 7!= R3'3%'H'H''H''= R&'>H'G'''+k6'+k6'+k6'+k6'+7Tk+7T'6'Р5AB䠒tX<Ġ1OpABhX@@@@@ &subset @A@ jh9imk<lgbt3pkBr08.ud\YGG-@|NCP@J@ D,tk(*()=E RZ'>=1 RA'> 7!= R#'3%'H'3%''H''G''+k6'+k6'+k6'+77 Tk+ 77 T'6'ࠑ; QAB䠑8~AEXg@@@A+@A@@^$fold @!Bvlgx@@!f@\@@!iD$List%Lists@)fold_leftɀրm&Basics'Program@$flip$y\@*)@&@#@g隠V*CD |+k()  7777# '1dX@+H@@vl@J@A@A@MA%tݠ$List%Lists#Coq@@AVA!t Q&Basics'Program#Coq@@`A!uR @xA&@|A!s̓P@ABCD@@֠&filter @A@ w@|6{92;p@ٷ@@@@@@@@A!b"԰$$@@TÀ ,Rk(*()=- R8'> = R' 3! :' 3%''G''+k6'+k6'+ +7TTk+7T'6'6'РL$x.@@A@ABlAEX@@@A@A@@+'for_all @A@ UѐXmàϷ,:SNLl@ض@Հ] c ,Lk(*()=' R2'> = R' 3%'H''G''+k6'+k6'+ +7TTk+7T'6'6'РG`4 vHABAEX@@@@@n'exists_ @A@ C! l'z@@@ۚH ,Lk(*()=' R2'> = R'G' 3%''H''+k6'+k6'+ +7TTk+7T'6'6'Р;`54 ABAEX@@@@@)partition @A@ N׶ `@$prodt@hhYk NA#wBBB@@@@@!p  "s1"s2|)İrq"tȰu@@ H@?t@ ,k(*()=B Rd'> 3!= RC'> = R"' ::' : :'''6''+k677%'+k677%'+k677%'+ +7TTk+7T'677%'6' A@@LAABAE$|t`|@d 8 ABࠐsAGX@@@A ϲ6W@A вuX@A@ABC@@:(cardinal @䩚8@&length䷀3@@#nat@ 4+k77%'`GX@@@ A o1@A@@f(elements @@*<+k'@@@*AO@A@@'min_elt @,ѷ@&option >v@~ B>A#@[&@&option >v@7 +k= R'>9'G''+k67$'+%ABt@@@kA ůM@A@@Š'max_elt @@@ #wI%yM[E+ķ"Q`Dɷ"l0٩@3E֐ ,Rk*(=( R7'>= R'>3$'9''G''+k67$'+k67$'+7Tk67$'hx<mD FgACL@@@AB@A@@&choose @@"p΀@q@@@@@B @@@MsqBrWvtEupyw\sJz_kAqCpBH wCGO\{ssq_@dYfj_@*comparison;f@ ,k(*()=A Rt'>=- RQ'> 7!= R3'3%'H'I''I''= R&'>H'G'''+k6'+k6'+k6'+k6'+77 Tk+ 77 T'6'ࠑS`iAB䠑<ĠABhXX@@@AC@A@@v@@@vl@A@@AB@@AM@BI@"@@A@BCDE@@@'MakeRawJAABS@A' @&@ @I *@@N *$@"@@9  @@Y * @B 1@@@H @@*@ *@/@  *@@@ @:@ *>@" 2@@@ @శ@J@$ *@O@) *#U@/ *@Z@4 *.^@ 1d@> *8h@ 1Қl@P 2@@@< @@v@P *@{@U *@@@K @@_ *@d *@ 1@z 2@ 2@:~@@@p @@ *@ *@ 1@ 1@@@@w@@ *@@  *v@A@A 1@@ 1u@A@ 2@@ 2t@A@:~@@:~s@A@ABC@"MX+OrdersFacts*Structures#Coq@0OrderedTypeFacts吠(OrderTac)OrdersTac*Structures#Coq@.OT_to_OrderTac#OTF+&Orders*Structures#Coq@*OT_to_Full* @A \@ *@ %'A*Equalities*Structures@@S!O&Orders*Structures#Coq@@!t5:@@B!O+OrdersFacts*Structures#Coq@\}@A@ bpO@A@@@F"OT)OrdersTac*Structures#Coq@@@"@"@'compare"d@@A@A'f@@!t'fJ@@A@'@ @"eq'^@@A@'j@@"lt'jh@@A@ABC@A@#v-@@@A@@@I-@@Ӹ@3@'compareӸd@@A@A.#@@M.#J@@A@.@ @"eq.^@@A@.'@@"lt.'h@@A@ABC@A@c&@@@A@@@ %'@x@A@A@@@AA@@A@"eq @@  1@@C@@/o@ A@35$xsQJ1@@@@@((eq_equiv @@ $@/RelationClasses'Classesg@+Equivalence~@11@?/wa7@(eq_equiv8p͠@@@A݋X_A@A@@R"lt @@  2@O@p5%>Šs@@@@@AA@@A@+lt_strorder @@ ـ@E@+StrictOrder.[@qq@0/w(@+lt_strorder+@@@@@$)lt_compat @@ "Fj@)Morphismse@&ProperL @*respectful%WO?jl%Logic@#iffС)4&@)lt_compat9# @@@| @"eqF2[ @5$h%Logic$Init@* @HՠʠŠ@@@@@'le_lteq @٠Ԡ@Ayzޠ}@V/wڀO@@@@@)@@@@@@L@]K7@SLQ@U$@A@Az@cQ=@zW@:~@A@Y@jXD@Y^@FȺ@A@AB$=@p^J@&$=d@(@A@/o@xfR@/ol@ *@A@A/wa@~lX@/war@ 1@A@/w@s_@/wy@ 2@A@=@zf@=Α@"Fj@A@>﬜@m@>﬜@#g8@A@ABCDE@"TOA  @@_UUT@N5<<MB=@@E>@@:;@@A:;@C= @A@Aw\@@w\"@>μ@A@_@ @_'@?!@A@ABs@ @"s+@$Ӹ@A@#1@@ #11@ 8\@A@A+|P@@+|P5@#{@A@6@@z6:@|.#@A@6't@!@.6't?@0.@A@6'@&@.6'D@0.'@A@ABCDE@A@P/OTF_to_OrderTacS-@A@@@B<@@@B@NM@A@A1фZ@@1фZL@A@1ы@@K1ыJ@A@1ьO@ @1ьOh@@A@1ь^@ @M1ь^L@A@ABCD@A@K1OTF_to_TotalOrder!oK@A@@J@@@HE @@@ @ ?׀@ @v@q5CtA<&@@@@@h@ @_@HL@@?%%@s??k@5.@68p͠@@5@@1 @ @;@5D@qlV@@@@@.+ @@3$=+@*UU@T?LI@%)0@&+@@e@@I% @@-=%@$qriMtO@X%+ ޠ@@@@h  @@@@ ,@ߏѠB72 @@@@@  @@Y @ f T UV@ J&[X0 @#8ug\W5@@@@@ @@ >﬜@ ʶ y˩%';@x{vT9@@@@@- @@向P@5D1iN@@@@@ؠȐ @9@-c@  @?ƀ`_`t@4Yr?:$@@@@@(lt_total @РŠPK5@@T8@@@>@@X%@A@A 6@B@v 6@xx@A@ H/@I@B H/@Dݣ@A@A!F]@M@!F]d@A@B' @T@' @#8u@A@/I @Y@/I @*☔@A@ACD8F@]@#8F@%4Y@A@:cl@d@ :clȠJĀ@A@A:ctD@k@:ctD^U@A@B:ct@r@z:cth@A@:ct@z@:ct̠h4@A@ACE@A@-OTF_LtIsTotal@@@A@@2B ; )֩א@@@@@g@@@@@@9#@@!9#@#"Fj@A@AvDz@ @vDz@#g8@A@*@@*@$@A@AB&[X@@&[X@ :~@A@,ߥ@@,ߥ@FȺ@A@A4d@%@s4d@u@A@>-%A@,@>-%A@-c@A@AB?@4@o?Ñ@q *@A@??@;@%??@' 1@A@?@B@?@/w@A@?@K@0?Ǒ@2 2@A@ABCDEP'eq_refl @~\A@@D!Pa@@ f@@ f@&@A@A "ˌ@@ "ˌ@0[@A@@@@1фZ@A@AB@@^!@`1ы@A@@ @(@1ьO@A@A@@d,@f1ь^@A@.@@.1@gC@A@ABk@@Qkő5@S@A@}Ou@@}Ou:@%@A@5|@$@5|?@@A@;LG@)@k;LGD@m"@A@ABCDE@A@@C!OJI@A@,MakeOrderTacW@A@@@BK̠N@A@@AҠ@@@@@A@A$:@@$:@A@$@@Y$X@A@$@ @$@A@ABC@A@*OrderFacts#@A@@@ ^ C C@@T@@AA@@A@'le_refl @ݠ C>94!@A +.@@o@@)lt_irrefl @'ڠ[VQL9@B C©T6@@@@5&eq_sym @A61upkfS@6C ]ܶ Kݶ@  ݐ@@@@P*le_antisym @\QL*ܠΠn@QD x f@}@~ˠ U @@@@m'neq_sym @yniG,@nE  @:@@@@@*interp_ord @!o)OrdersTac@#ordȠ@ @@@@@@@@@@@D6 @8 +k= R'6'6'6''+k+7T'+7T'6'ࠒAߠ@@"lt\ @@"eq8L@-lР@4Ƞ@@10/@@A@B@A@xA܀ݠҠ͠]O @@@@@栠%trans @rd&!@Fjh"o'k  !z@ Jr]@Qڟ  T@  ~@)trans_ord-0u    @@@@A7AۀߠK"@;Aۓό^&@w@ABC@@$(eq_trans @ @ ..+@K=YрМA ~}@ L˶ :̶:Ͷ@ @ L+k() LL7#'T@d$tRGB ҠĠ|wd@@@@@[(le_trans @ w ee7МC @  mm@3@ * L+k() NN7#'2tupN3@@@@@(lt_trans @ $ %&eМB (@ , -.@a@ X L+k() MM7#'t@ut@@@@@+le_lt_trans @ J KLT& K@ O PQ@Q" L+k() MN7#'@utР@@@@@Ϡ+lt_le_trans @ j klFt k"!@ o pq@C@rB L+k() NM7#'tߠoa#@@@@@%eq_lt @o KJ@@k L+k() ML7#'@+ut@@@@@%lt_eq @4"" kj@9''@@ L+k() LM7#'t8-(lgb]J@@@@@A%eq_le @]ܷKݷKީ @bPP@␐ L+k() NL7#'t`UP.Ҡr@@@@@i%le_eq @ssEA@ x x @ @? L+k() LN7#';t~yW< @@@@@&eq_neq @lQҠ͠Ƞà@G9:;@n@(q*p@@@@@&neq_eq @p=/@HXYZ@@@@@@@̠*not_neq_eq @ؠ͠ȠXJ @Ist@`b@@@@砠)not_ge_lt @se'"@J@{d@@W@@)not_gt_le @ݠ C>94!@K+@@@@@@)le_neq_lt @*ݠ^YTO<@LFŶ4ƶ@K@X͐@@@@@9@@@@@@L@@L@$@A@A9#@@29#@4"Fj@A@vDz@@vDz@#g8@A@AB*@!@*@$@A@z@@z@:~@A@AY@@Y@FȺ@A@$=@@$=@@A@ABC&[X@<@.&[X@0:~@A@,ߥ@E@,ߥ@FȺ@A@A/o@@/o@ *@A@/wa@@</wa@> 1@A@AB/w@@=/w@? 2@A@4d@a@4d@@A@A=@@=Α@"Fj@A@>-%A@ n@>-%A @-c@A@AB>﬜@ @?>﬜ @A#g8@A@?@  ~@?Ñ @ *@A@A??@  @n?? @p 1@A@?@ # @(? '  @,/w@A@?@ , @y?Ǒ @{ 2@A@ABCDEF@J @A@5Equivalence_Reflexive@5Equivalence_Symmetric. U EGhg@6 F$ G@ҩڐ X+k() 7777#'Fx>p;h4@. U@ @ 5@@@@0 @Z jH kH l@6Equivalence_TransitiveW su@d tR uR v@@ \+k() 7777# 'v|ntkld@WD p e@@@@` @ x x @6StrictOrder_Transitivea Ț@4d@   @L@C4@"lt'jt|@ aD@9M@+l  @@@@ @ ө @7StrictOrder_Irreflexiveπ 7@ ۩5 ڐ0`ܐh@ϐp-X Ӡ @@ &@@à.compare_eq_iff @ ޠ Ӡ@ ,CompareFacts  @A@@@@    @A@ @  ߠ@  @ ΐ@@@@@栠*compare_eq @  #@ A % &@@@@@@.compare_lt_iff @  4/@ B& 6 7 + &  aŐ@@@@@ .compare_gt_iff @ ' ID@ &C; K) L @ ;  vא@@@@@!/compare_nlt_iff @ < 1^Y@ ;DP `> a 4,,@@@@@7/compare_ngt_iff @ R Gto@ QEf vT w JӐ-Ր-@@@@@M.compare_compat @ h ]@ gF p@ @ _ j   l c e G@@@ T@V@ @ABC@@h,compare_refl @  x@ G y \ @@ @@z/compare_antisym @  @ H   o CR@'CompOpp@@ @@ 9 @ 8@ ζ ϩ 4 +@ H7u   @@@@@<_dec @  Ȑ!c}@-CompSpec2Type2K  c ک  y@)CompSpecTӊ  k Ȑ"c0 Р@,CompareSpecT, /@CAAAAAA@@@@@@@@D$ڷ% ة 7 86 y <ܩ r=  B |!H @)False_induُ @%Falsee@ 6@ j>@& +$9'> +4 7"9'> +59''7"77!77%' 77%' 77!77%' +k()7!7 7!7%'DаX}  @6젒h|`%Logic$Init@le@T@dUH)Datatypes@2Kp'@Wޞ@x,@'@ YmpР@, /@CAABACAAD2@uُ\G@#k#}4&Specif>@ 87̂K@Ԡ@'compare"D\@6 Q@#notШ Ϡ @@@ A AL@A@@à#eqb @   cBAAAA@@@@@A9< * R@ ] @?@B;@  I +k() 7!= R'>G'>H''+k6'JBAABAAAP@$boolZ'@! d@ 8Sh  @@@@@)if_eq_dec @  @ T1 A B|=Ib+OrdersFacts =@@n"b'rAR@ F HOH@KƷ@~5M-$ N@@=I@@A@A@A1DH 5@A@@5'eqb_alt @ P E@ MUb rP sem@8?d TLf@@@@@L*eqb_compat @ g \@ dV m@ @  g   i  @@@@b@@@@@@L@   @ L @ $@A@A9#@   L@ j9# @ l"Fj@A@vDz@   S@ vDz @ #g8@A@AB*@   Y@ * @ $@A@z@   @ Sz @ U:~@A@AY@   @ ;Y @ =FȺ@A@$=@   @ $= @ @A@ABC&[X@   t@ f&[X @ h:~@A@,ߥ@   }@ Q,ߥ @ SFȺ@A@A/o@   @ /o @  *@A@/wa@ "  @ t/wa @ v 1@A@AB/w@ (  @ u/w @ w 2@A@4d@ 1  @ 4d %@ @A@A=@ 7 % @ =Α +@ "Fj@A@>-%A@ > , @ >-%A B 0 @ -c@A@AB>﬜@ F 4 @ w>﬜ :@ y#g8@A@?@ N < @ ?Ñ B@  *@A@A??@ T B @ ?? H@  1@A@?@ [ I @ `? _ M 9@ d/w@A@?@ d R @ ?Ǒ X@  2@A@ABCDEF@"MLE+OrdersLists*Structures#Coq@0OrderedTypeLists l%In_eq @@@@!O+OrdersLists*Structures#Coq@  @A@ (s@A@@ @ XI Y7 Z@M ]@*SetoidList@#InA q9@ i 0  k /@@@ fAi0A @ jA@AB@@AA@@A@)ListIn_In @;0@8A+r @@"In$ ,  @@@!@ AIPA@ A al'@ABC@@$&Inf_lt @\Q@YBL  @j@&Sorted'SortingX@%HdRel%5p@  z   |y@@@J@ ABA@AB@@I&Inf_eq @v@~C q ȶ ɶ@%@@@@Y+Sort_Inf_In @@D ض!a ۶@6@41ĭ@  O@>@  [Ր@@2@@v*ListIn_Inf @@E7 @ @u fOT  !h@@@@AG@q@n@ABC@@&In_Inf @Ǡ@FP@@ 5h@@^@@'Inf_alt @ڠ@Gcʶ!@F$ IG ,'@* L P@@v@@*Sort_NoDup @@H{@]; `]@&NoDupA @C f@@@@@@@@e  @@ *@@ *@@@ @򐚠y@4@吐@ࠒ@$4@@@Ԑ @Ӑ@04@@&4%ՠ@@ݠ@A@@A@@@@*֐ @՚@<4%+Aѷܩ/@S4ͷ@@Y4@<@`4@њ@W4%ҐŠ1.@@@U @@k *\@r *@x *i @ *nAɩr@ * @ *, @ *@©'@:~@,@ *3@ *@@@ @G@ *N@ *T@ *Z@ *a@ *Aml ɐj@ *ϐp@ *aw@ *i}@ **@ *萚@ *2@/.-K+񐚠@ *@/:~.өް@ *4٩䰚@ *8@ښ@e *ݩܐ@% *ސ@+ *٠@@@) @@I4 @O4@U4@Κ@Z4͐@`4Π,)@@@Pɐ @ȰƐ@f *W@m *@q4%@w *h @~ *mAȩq@ *@4%C@4ʚ"@ *5)@ *@ͷ˚@4%5@:~̰'q|<@ *.@A@ *  H@ *2@4% @@@ @F@4%@K@4%O@4%'U@4%A{z$.א^@4@c@4%g@4%r m@4%xGr@4򐚠y@4"@4%@4%,@4% A[3@24@(4%G+@<4-@C4i@fedb@<4%@d:~;@V4A=@\4G>@b4@@>@Y4%@@^4%@b4%C<9@3@@`/ @.,@v4%@@{4%@4%Ț@4%tAŷϩx@4@@4%@4%@@4%T@4@4F @4b`ɚ)@4%-@4%Ӛ3@4%AYXک<@4@@4%KG@4ؚL@4ک̐S@4@/Z@4%y@:~谩f@4@k@4%@p@4%t@4%ݠ@@@ @Z@4%@@4%@ 4%i@&4%Afp@=4@@44%@84%@@>4%@R4@W4:@^4j@Y4%@]4%t@c4%RA{V@z4@p4%s@4ug@4@@4%@:~[@4|@횠@4%@ @4%@4%xu@@@ސ @ݰې#@4%@(@4%E.@4%Ӛ3@4%AYX <@4YHAcb F@4cQ]L@4y̐S@4d-X@4ؐ_@4A.ᐚh@4zn@ 4u@48@5431@.:~-!@@4%@@4% @ @@ @l@+ *A@2 *{$@: *P+@A *0A4@J *Ǡҷ@P *A@W *FAoJ@` *&c@f *eW@m *@@:~C@@?@{ *A@ @ *A>\Y@&@@" @!@@4ܚ @4%`@4@4l#"@ @@4  #@4%  @@@ڐ @ٰאL@8@4U=@4%A@4%\@H@4eM@4%Asr&ϐV@4Z@4%ea@4;f@4搚m@ 4@t@4%հ{@4))@@@4@4%@4%@@@ @鐶@@<4v@34%@@H4ȷ@?4%.A2@V4Ġз@\4?@c4 @@@i4 @`4%:7@@@^ @퐶@@4@z4%@@4ɚ@4%uAƷЩy@4 ۚ@43 @4@@@4@4%~@@@ @A@-@4J2@4%8@4%<@4%W@C@4`H@4%Anm!ʐQ@4W@4%[@4%fݐd@4㐚j@4p@ 4v@4P{@4@4KB7651O@4%@4%Y@$4%@(4%GC@.4%E@34%@<;:8ĩq@<4%@@4%Rn3@W4@M4%@a4tϩ@Y4%I@m4ܩ0@s4@l@@y4mk@p4%l{@x4%mRO@H@@v< @˚@4%?@4 @>@4%?9mj@1@@+ @隠@4%@.@4%/@4/@.@@* @/@4%AUT8@44>@4I3E@4J@4wʐQ@4?W@4c@@\@4%A{@4=ˠ@0@@* @)'Hv@4%r|@4T@4%AQ[@(4@.4@54r@:4ʩ@A4"Asө&@J4@P4@W4Ʒj@\4h?@c4l@j@Z4%koi63@Y@@ZU @@62@Ś@p4%Ɛ[LI@\@@p @ZXɩr@ *y@ *ة"@ *)@ *A54޷2@ *$A?><@ *-|ꚠB@ *UI@ * N@ * U@ *Aa` ^@ *֚d@ *ʐk@ *@r@ :~ @y@ *@ *Ϡ@@@#inf @L\ C >a <4,@Vf  0+k()=) R4'> 7!= R'H'G'H''G''+k6'+k6'JA@$(daAE@@@@@A@@$isok @@@ ) ;w4 ?*@$andb=@K4ˀ*3@; ,2k*(= R'>3 7!7%'G''+k6'+77 Tk6'ࠑ>|̠AEL@@@@@^$IsOk @ q @L4@_@ y4 D+kG 7 77&' \h ϐp@@@@@"Ok @$@ Q(\*h p@@@@@"ok @;$>@)4+r0@C FI@ (+k()'@@@@@'Sort_Ok @ ͷ"Hs_H@ Ѷaΐ@@@@@Ϡ'inf_iff @@ @(8|  &Sorted @ %5p@Ejhg 7{t@@@BABA @ @AB@@(isok_iff @@ A *@1ĭ@ %V@@@@'isok_Ok @@ BW  EC@@@@@ %Equal @c 2 ! 1K i |@j '9 (㐐 +k() +7T' 777  7777%'РWAt -h`X@@@ )@ @AB@@8&Subset @ K] L \@  @( +k() +7T' +  777T'777#'dt Px)p@@#@@Y%Empty @ l |K@ |+k+7T' 7777$'Рd qXӐPJH2h@@@ p@A@@~'For_all @!P@O @s@ +k() +7T'+  777T'$' xtpp@@j@@&Exists @" >@"ex @@#andЖw@@642 +k() + 77%'  7777%'Р| ΐ0|tt@@@ @1A1@D @AB@@ܠ(mem_spec @@!C2y6#;@N4ˀ} Ɛ@@u@@'add_inf @@!DHL @#` ̶@'dЩ@4À V@@@"@A@@ &add_ok @@!Ebfv QOn @@@@@ (add_spec @@!Frv?d@dE\ - ) $ˠG 2 Y@@@@ 4*remove_inf @@"GѶW X|@f g@8Ҁ @@@@@ K)remove_ok @@"H I@@@@@ [+remove_spec @@"*I~? k? ' b>(@@@@ r,singleton_ok @@"AJҐ@Cds@@@@ .singleton_spec @@"SK f!hz@@@@ )union_inf @@"eL34 (z#Hs'}@-t̶@ V 1ЩA@4א@@@@ (union_ok @@"M PQ  @@@@@ Ġ*union_spec @@"N ab  . 5)&s  ڐ@@]@@ ڠ)inter_inf @@"O 0wx l"D@B@@Kp @4@@@@ (inter_ok @@"P H756UԐ@@@@@!*inter_spec @@"Q Y( ^'KmC t)eb?@@@@!(diff_inf @@"R n=_[\ >@K! L@N! OP@48X@@)@@!4'diff_ok @@#S ѶYҶywCx@@@@@!E)diff_spec @@#T j i)* V* ") P ]@@@@!]*equal_spec @@#,U !@4}E @g4J@@@@@!y+subset_spec @@#HV ٰ!@܀a!#@&Subset9|g@@@@@!(empty_ok @@#eW4@!f4 S@@@@@!*empty_spec @@#uXC@W4j3@@@@@!-is_empty_spec @@#Y! R!VW@!p~!T@@@@@!ʠ.elements_spec1 @@#Z! g!$ 8"Zm@t7ŭÐ@@b@@!ߠ.elements_spec2 @@#[!5|%@Kp@@@@!/elements_spec2w @@#\!C3N Y!@@@ @@AB@@!-min_elt_spec1 @@#]!S!W @Z}%@62v," @@@ @oA ůM" @AB@@"-min_elt_spec2 @@#^!p!t=!b>b@yAE @ $}@@@@"1-min_elt_spec3 @@$_!ζ@31 /4E@@@,@A@@"C-max_elt_spec1 @@$`!!f@F@4DĀZD +@@B@@"W-max_elt_spec2 @@$&a!!z!{;@\~=@ _@@U@@"j-max_elt_spec3 @@$9b!@ưl& h98@@7@@"y,choose_spec1 @@*9@!!@ڰ@}u~ e@@@@",choose_spec2 @0@l*;@!5@ gf @@h@@",choose_spec3 @@$yc"G H"ζ ϶@϶@@ 2 #!@@P ީ@@@ @A@@AB@\@@ @ABCD@@"Π)fold_spec @@$d"$k!A(k"@@k#cr@@!" 6!{@4v!#n"#ot!j !!#r#t@@(@@A@A@A%t~@AA@!A!t Qw@AB$A!uRz@(A@^A&@bA!s̓P@ABCD@@# -cardinal_spec @@$e"cSni#@#nat@@0I))?N@@@A o#@A@@#,*filter_inf @@$f"ɶ"OǶ@Q"̶u@_""ca"e@j""h@@;@@#F)filter_ok @@%g"D@@@@@#V+filter_spec @@%%h""y*@96#h<"4*#"n##"@@@d@@AB@@#s,for_all_spec @@%Bi" F@Ұ#@Y#[9w#@  m"#$#"\@@@@#+exists_spec @@%aj"/ ,e@;Р#56@5!Ѵu#3;@?/g@@@@#.partition_inf1 @@%|k#J G#Ѷ@yA"#@#fst WWX@@$@@@@#ʠ.partition_inf2 @@%l# g d#%@9^"#@#snd@@@@#ᠠ-partition_ok1 @@%m#7~ {&$C2-@@@@@#-partition_ok2 @@%n#I ƶ86U'@@@@@$/partition_spec1 @@%o#Y ֶ@"@@@@A0@@nA1FdJG@rA1GKK@ABCD@@$/partition_spec2 @@%p#s @Ʃ*젷#}F$"@$negby#@@$@@$6 @?@!x@)Datatypes$Init#Coq@@$list]@A 677!k]TL6D@@@&Ai0A*SetoidList%Lists!@A@@$n)In_compat @@&=q)Morphisms'Classes#Coq@@&ProperL@@K\Oܐ @h4+@@@&AviA)Morphisms'Classes#Coq@@&HA$m@ABC@@$!L-MSetInterface%MSets#Coq@0MakeListOrderingE"MO+OrdersFacts*Structures#Coq@0OrderedTypeFactsYX)(OrderTac)OrdersTac*Structures#Coq@.OT_to_OrderTacnY𢢢?.#OTF&Orders*Structures#Coq@*OT_to_Full$ @Z@TS!O&Orders*Structures#Coq@@!t5:@@S!O-MSetInterface%MSets#Coq@@A@ gu@A@@@B!O+OrdersFacts*Structures#Coq@@@@"@!tⳠJ@@A@A/@@"eq/^@@A@@ @"lt균h@@A@96H@@'compare96Hd@@A@ABC@A@#|-@@@A@@@F"OT)OrdersTac*Structures#Coq@5@@"@;@'compare"d@@A@A'f@@!t'fJ@@A@'@ @"eq'^@@A@'j@@"lt'jh@@A@ABC@A@#/@@@A@@@t-@@Ӹ@3@'compareӸd@@A@A.#@@x.#J@@A@.@ @"eq.^@@A@.'@@"lt.'h@@A@ABC@A@&@@@A@@u@@@AA@@A@s @r@@%#6"@%6c@ o@+5$tmKD+@@@@@$o @n@j@+Equivalence~@((@6@(eq_equiv#Ƞ@@e@@@a @`@=@W5%>נ̠Ǡ|u\@@@@@AA@@A@^ @]@YVV@6g{@+lt_strorder+@@@@U @T@PoHpfHJrJC@)lt_compat9#ܠՠ@@=@@7%L @9@@@%Y/@pϠ%ʠà@@@@@N7 @6@%%}2|,O-P+@%sLY3P@,compare_spec"@%%G \+k() 7! 7!7%'@@ F2S@ 5%>| @"eqF2[ @5$h%Logic$Init@"or @HohF?&@@@@@ʠ @xVO6@A&$&%(@o6XM@@@@@@@@@@@JL@2! @JLk@"Fj@A@A6@9(@t6r@v#g8@A@@A0@ʑz@$@A@ABL@H7 @rL@t:~@A@#@Q@(@#𗜑@FȺ@A@A+U@XG/@+U@@A@6c@`O7!@6c@ *@A@6@hW?)@6ߑ@ 1@A@6g@p_G1@6g@ 2@A@ABCDE@"𢢢ziQ"TOA'* @@U.-@'5<<&ˠ@@ETV@@:;@@+:;@-= @A@Aw\@@w\@>μ@A@_@@z_@|?!@A@ABs@@s@Ӹ@A@#1@@#1@8\@A@A+|P@@Z+|P@\#{@A@6@@U6@W.#@A@6't@@6't@.@A@6'@@6'@.'@A@ABCDE@A@/OTF_to_OrderTac@A@@@D<@@@B@@A@A1фZ@@t1фZ@A@1ы@@1ы@A@1ьO@ @"le1ьOh@@A@1ь^@@1ь^@A@ABCD@A@1OTF_to_TotalOrder"n@A@@p@@@k @@@'! .@':A@ gz@#5CleCxE@)@@@@@i @@qi@((@:@8Ӓ@# @@_@@:[ @@?@Q5D@ѠƠvxs\@@@@@W @M@_+UW@V[[@:Ex@)0@+@@@@S @j@[JLS@RyJzpRL|TE!@X%ݠ֠@@@@@:'O @@@@'\@ߏѠ(͠Ϡʠ@@@@@S< @@D#<@'';5[6\4@'|.b<+@ #8uOD?)@@@@@z6 @@>66@'ض'٩5',)L@xpe`>7J@@@@@+ @@c@5D1|wUN,a.)@@@@@ @@5>@''۠@S:6Lef@'le_lteq4Y|uSUP9@@@@@٠; @egbK@@TՠN@@@T@@X%@A@A 6@X@w 6@yx@A@ H/@_@ H/@ݣ@A@A!F]@c@q!F]d€@A@B' @j@' @#8u@A@/I @o@/I @*☔@A@ACD8F@s@G8F@I4Y@A@:cl@z@:clȠJ݀@A@A:ctD@@:ctD^j@A@B:ct@@:cth@A@:ct@@:ct̠hF@A@ACE@A@-OTF_LtIsTotal@@@A@@$B(w(eŠǠ@@@@@E@@@@@@Į@j@ĮoY@5>@A@A:A@t#@;:A!@= *@A@:@|+@:!@ 1@A@AB:6@2@:6r@6X@A@:E@?@:E!@ 2@A@AЭ*@F@PЭ*!@R"Fj@A@ @N@ "@#g8@A@AB2@U@2"@$@A@.@]@.֑"@:~@A@4w/z@e@64w/z"@8FȺ@A@< @m@< 홑" @@A@ABCDEwI @|ZS1f3@@D!PW8@@ f@@ f9@&@A@A "ˌ@!@ "ˌ=@0[@A@@&@B@1фZ@A@AB@*@3F@51ы@A@@1@<M@>1ьO@A@A@5@9Q@;1ь^@A@.@:@.V@gC@A@ABk@>@`kőZ@b@A@}Ou@C@}Ou_@%@A@5|@H@Y5|d@[@A@;LG@M@;LGi@"@A@ABCDE@A@@C!Oon@A@y,MakeOrderTac|V@A@@@BKN\@A@@A@@@@z@A@A$:@@x$:w@A@$@@}$|@A@$@ @y$x@A@ABC@A@*OrderFacts#v@A@@@)YjCJ@@!@@AA@@A@I @ ۠ԠC>94!@A)u_f@@!@@J @&ˠ͠\WRM:@B) L@@!@@7K @A61wrmhU@ C))@L@@!@@RK @\QL*#6Рp@(D)ն)ֶ@@hL@@" @@oK @yniG@S @EE))@/!M:@@@@@L @KI@MK+#@OM +k= R'6'6'6''+k+7T'+7T'6'ࠒAРedc@@"lt\ @@"eq8L@BlР@#ordȠ@@@@@@@@@@@@D@@A@B@A@xA܀ӠȠàxzG @@@@@ߠB @ޠ٠à]@FC*Sd*AeAf@+$mY#@$@@  ?@@7@@- @*l}*Z~Z@w Ӏ,@*t*bb@a(@c) L+k() LL7#'1@%trans$t0% ՠ נfa\WD@@@@@<* @**4)@**@X@)O L+k() NN7#'0t[PK)"5Ϡo@@@@@g' @*ܷ*ݷީ_&@**@@)z L+k() MM7#'!@Yut}xV@@@@@$ @**#@**@N" L+k() MN7#'A@yutv@@@@@$ @+* !#@+#+$%@C@oB L+k() NM7#'tǠln;@@@@@Ӡ$ @+7H+%I%J#@+;L+)M)N@k L+k() ML7#'@ut@@@@@$ @+Wh+EiEj#@+[l+ImIn@@ L+k() LM7#'tޠנFA<7$@@@@@$ @++nn#@++rr@ߐ L+k() NL7#' t8-(ݠߠnid_L@@@@@D$ @++<#@++@@9 L+k() LN7#'6taVQ/(;ՠu@@@@@m$ @wlgE>Q@CG++@k@#Mn#On@@@@@% @e^<q> ͠Ƞà@cH++@@@@@@@& @zXZ'ߠڠ@I,,, -@#k@@@@Š' @ϠĠtvC@J,7H,%I@#%#j@@$@@⠠( @ܠƠ`"@K,Te,Bf@#@@@@@) @֠Ϡ|>94/@L,p,^@\@/@@@@@@@@@@@JL@{cM@JL%@"Fj@A@AĮ@j@ĮoY@5>@A@6@u_@6%@#g8@A@AB:A@|+@C:A%@E *@A@:@4@:%@ 1@A@A:6@;@:6{@6X@A@:E@F@:E%@ 2@A@ABC@@ʑ&@$@A@Э*@W@aЭ*& @c"Fj@A@A @^@ &@#g8@A@2@f@2&@$@A@ABL@@L& @:~@A@#@@H#𗜑&*@JFȺ@A@A+U@@+U&1@@A@.@ @*.֑&9@,:~@A@AB4w/z@ @^4w/z&@@`FȺ@A@6c@ @6c&I@ *@A@A6@  @96ߑ&P@; 1@A@6g@  @<6g&X@> 2@A@< @ ' @< 홑&`@@A@ABCDEF@! @-'&7@&9%B@%2%._@; H+k7777#'Bˠʠɠ@@!t'fh @"eq'` 6 .@(eq_equiv@8p͐X/RelationClasses'Classes@5Equivalence_Reflexive&~%E..@9 X+k() 7777#'Ax9p6h.@5Equivalence_Symmetric. U@ +  @@%@@) R @-&-& &7&&l-..@2 \+k() 7777# 'h|`t]lU@6Equivalence_TransitiveWD R G B @@%@@P  @-&ȷ-&ɷ &ʩ.&%񚠡@%< %׀-<..@)+@"lt'jt|@6StrictOrder_TransitiveaD@+lt_strorder9M@+l  x s Q@@&"@@! @-&&&& //@!+`h@7StrictOrder_Irreflexiveϐp(X    u@@&F@@  @    @ ,CompareFacts  V@A@@@@   y x@A@ @!@@@@@ @ ˠ   @ A@@@@@̠ @ ڠ Ϡ ʠ '"@ B@@@@@۠  @  ޠ ٠ 61@ C@@@@@ꠠ @    ƠE@@ D@@@@@ @    ՠTO@ E@@@@@ @    c^@ F@@@@ @ %   rm@ G@@&@@& @ 4 ) $ |@ #H.'.'.w멚/<@'CompOpp@@&@@?&" @&!@鐑s@7u  R G B @@@@@P @.'ȷ.'./ﰷ, q@"@,Ow@  h.-.}@"f+0 CƷ/,ɩ@0䀰..ͩ᩷ @!' yQҀC&V /Bߵ۠֩@!]>hC@ +k()7!7!7777= (Rv'> +$9'> +4 7"9'> +59''7"77!77%' 77%' 77!77%' +k()7!7 7!7%'D=X  @+le_lt_trans6젒ېhӐ`%Logic$Init@%Falsee@T@)lt_irreflUH)Datatypes@-CompSpec2Type2Kp+@&eq_symޞ@x1@%eq_lt' @,compare_specmpР@,CompareSpecT, /@CAAAAAA@@@@@@@@DAABACAADA@)False_induُ\X@(lt_transk#}4&SpecifO@'sumbool7̂K@Ԡ;@'compare"Do@)not_ge_lt6 d@#notШ (   @@@@& @/(/|(0R)  @'#ۀ'2@ +k() 7!= R'>G'>H''+k6'=BAAAA@@@@@AAABAAAP@$boolZ'@ @ 8Sh d Y T 2@@@@@b @ p e ` >@ ]T/(޶/(߶-,11԰/PE@@@x @  { v T@ sU/(/(0+W@''@@@@@*eqb_compat @    k@ V'@@w@@@@@@@@JL@    @ JL)M@ "Fj@A@AĮ@    @ Į    @5>@A@6@ &   @ a6)_@ c#g8@A@AB:A@ -   @ :A)f@  *@A@:@ 6 %  @ X:)o@ Z 1@A@A:6@ = ,  @ a:6 B 1  @ f6X@A@:E@ H 7  @ e:E)@ g 2@A@ABC@ O > & @ %ʑ)@ '$@A@Э*@ Y H 0 @ Э*)@ "Fj@A@A @ ` O 7 @  )@ #g8@A@2@ h W ? @ >2)@ @$@A@ABL@ o ^ F 0@ L)@ :~@A@#@ y h P :@ #𗜑)@ FȺ@A@A+U@  o W A@ (+U)@ *@A@.@  w _ @ .֑)@ :~@A@AB4w/z@  ~ f @ 4w/z)@ FȺ@A@6c@   o Y@ 66c)@ 8 *@A@A6@   v `@ 6ߑ)@  1@A@6g@   ~ h@ 6g)@  2@A@< @    5@ W< 홑)@ Y@A@ABCDEF@)3 @0i/{j0)I@E +k() +7T' 777  7777%')@!t *`t*@"eq 1X%Logic$Init k@@#iffС)*SetoidList%Lists@#InA q9@h@@X@@AA@@A@)H @@/equivlist_equiv\h))s@ 1+" @)3E% (6777"k-@/equivlist_equiv\h\*J@M *T*O@L 1L    @(eq_equiv2*Y@$D@@M@@<'lt_list,<@ޠ@@@ T)<_nil*lt_cons_lt*lt_cons_eq1/*?1-01015*E1#*F140@/頩0°*M100İ*O12r1@*P1.*Q1?0@8@/#/0ϰ*Z/1!BB@@BEFBEF@ ^@73@@@@@С@@@@@@@@@@@@@@CABBECF@@A@@@@@@+lt_list_ind @N.I.1y*1g*1x50G6@A/HD.1*1n*1<0N=@x@@n3@$;@I%J1*/]1gKB@!F1W1X1)9/k$Q1]1^1@[\@@@@@@@@@@@@@@@@@@@D2 s2 t@K$m2ﰷ1*Ϸ1z4)Z1*ҷ1*ӷ1~02 111D221*ٷ1*ڷ10/2!I0111L33B11N3@//]/W: @+k()  ,T'(*()= !R1'> %'># '>3"#' '+k() %'+77 Tk + 77 T'+ 7!T'%')Datatypes@$list]@  % @P@S  @=Ⳡ@WAM  @@@@@$*? @@ᐐ,6k @3@D@@@@@:*: @ Ơ @ o*7ݚ2@*a3E@@@@@K*lt_compat' @ ؠ @ p*( * b@'eqlistA:p$@*)* *"@@u@@d'eq_cons @  @ q"l1 "l2 2S+c2A+d@"@f Wg1+k221 1+m121@@@@A@@@ABC@@-cons_CompSpec @@r 2N"x1+"x2+(/&0@ k@3@(CompSpecg9\131.;^9F0K@@@@@@@@@@JL@pZ@ )JL+@ +"Fj@A@AĮ@w &@ Į|f@ 5>@A@6@l@ 6+@ #g8@A@AB:A@ 8@P:A+@R *@A@:@ A@ :+@  1@A@A:6@ H@ :6@ 6X@A@:E@ S@ :E,@  2@A@ABC@@ ʑ, @ $@A@Э*@ d@ nЭ*,@ p"Fj@A@A @ k@  ,@ "#g8@A@2@ s@ 2,&@ $@A@ABL@@L,-@ :~@A@#@@ U#𗜑,7@ WFȺ@A@A+U@@ +U,>@ @A@.@  @7.֑,F@9:~@A@AB4w/z@ @ k4w/z,M@ mFȺ@A@6c@ @6c,V@ *@A@A6@$@F6ߑ,]@H 1@A@6g@,@I6g,e@K 2@A@< @4#  @ < 홑,m@ @A@ABCDEF+ @A@ƐB@@@@@3砠+ @M@+@S@@@@@3+ @  V#l1'[#l2'WDYe[@+4-3=b11F+@4%4(A  +k() + 77%' + 77%'7! 7!7!7!7! 7 7!7 7%'ࠑu t|]Ǡlt%@@@5A4 @A@@4?+ @@6 r/RelationClasses'Classes#Coq@@+StrictOrder.[@4K_-@+4-@@@6A@6ABA'Sorting#Coq@@6A46@ABC@@4i+ @@67s+e+,=g+ @,4-@@@6(A4M@A@@40compare_spec_aux @@6Ot3֩4244@(CompSpecg4.@,s4-.@"lt3EBA.@3y35+5*@@@6TA4y@A@@4+ @@6zu4I2K@.4@84+r5A@5F54њ2t33*33@@@6|A4@A@@4@@@vl1!@(@AB1#1@1@A@BCD@@A6Az@B6AMC6Aۓό^N@6A@A6A݋X_A/RelationClasses'Classes#Coq@@6AUDM1;@ABDE1'@/9@A/@B/@1@A/@BC1*@6A1@D%Logic$Init#Coq@@AD6A1FdJ @6A1GK@A6A1ՠF-SetoidTactics'Classes#Coq@@B6A1I @CEF@@L @AJL@@A@BĮ@@A@6@ݑ@A@A:A@ؑ@A@:@ӑ@A@A:6@Α@A@:E@Ƒ@A@@‘@A@ABCDE9#  * @Э*@@A@ABz @ @@A@2@@A@ABY @L@@A@#@@A@AB$= @CDEF&[X @+U@@A@A,ߥ @.@@A@AB/o  C/w @4w/z@@A@A4d @BD6c@@A@6@@A@6g@@A@< @@A@ABC=  D>﬜  EFG@$Make7.AB7&77@7%7  @7 @ @7-:@@72:7@7@@77 @77@7=: @7&A~@6@@7,6 @6@*@6:@/@6:6@6@@6㠠6 @6ߩ6ޠ:@6:>@7B@6@@66Ɛ @6ũ6İ@J@7:@O@7 :76U@7:@Z@7:7^@6A~6d@7":7h@6A~6l@74B@6@@7 6 @6@v@74:@{@79:6@6@@7/6 @66@7C:6@7H:6@6A~6@7^B6@7cB6@6;k6@6@@7T6 @66~@7:6|@7:6z@7A~6o6n@7A~6v@6f@@7@6d6[@@:@@7:6Z@A@AA~@@7A~6Y@A@B@@7B6X@A@;k@@6;k6W@A@ABC@#Raw8 /őݐ. .. ...鐐..ے𢢢"/ ...6s @B8-6@6}:@.ѐ.Ǡ@@/3L@A@/=0@A@.Ð.d@@@.b._ @@.gA~@@6/W/;/&/@6Bز%@ ._.]# .]@@@@..W @6@._%li@@.B.$.K:7.J@.H@@..D @M@.LB@4.CKH.C@@@@.=.: @^@.B nZ@.9FF@.cB.3b_.2@.p@@.T.0 @u@.8#U@./^.'_UA.)a.C.".yv.@.@@.k6" @@6*;k@@s@t63..@@@@.~.  @@.;@6e6S.l.E.F.@6I>&,G . .-@@@@.- @@.$[v@66p----ꐠ@@@@/- @66-/0@66/-ݠӠ-@@@@.Š- @ݠ-/A6˶6̩.@.Bী.K@@@@@.@@@@@@v@*0//@.Jv&@.L;@A@A )5 @100/@. )5 -@. nZ@A@Bز@90 0 /@/Bز5@/:@A@ABB.@@0'0/@/vB.<@/xA~@A@B@I0000@/zBඑE@/|B@A@A%@P070"0@.%L@.#U@A@'i@X0?0*0@.m'iT@.o$[v@A@('z@`0G020@/:('z\@/<%li@A@>&,G@h0O0:0&@/>&,Gd@/;k@A@ABCDE--𢢢q0X0C-A7 @.@0-FC-/@@@// @@@7k0w0b-@7'pa@ /-[_\-[@@@@// @T@/('z=@(@/'x `-Svs-Q@/@@/Ҡ/ @%@0-O-O@@@@/u/r @x@/z )5 9@/qBB@/'xP-G-E@/@@//h @@/p%9@/gZ/_[Q=/a]/?/Z-C-C@/K@@/7Z @@@k@l7g-;-;@@@@//= @@/Ev5@7~7/<d/6A/7B/5@7}%T/=-3ݠ-3@@@@/Ϡ/- @@/5'i5@77/,/#-+-+@@@@0P/ @@-#-#@@@@/. @@.0@77/@/6'x1/{//GH--@@@@0- @'$-0B77/B/D@@@@@0 @@@@@@%@q1X1C.@0%m@0;k@A@A@x1_1J.@/ɑt@/;@A@@1g1R.@0|@0 nZ@A@AB&S@1n1Y.@/.&S1s1^1J@/30@A@'p@1{1f.@1'p@1:@A@A'x @11m.@0'x @0A~@A@'x@11u.@/'x11z1f@/B@A@AB'x@11.@0'x@0B@A@6_y@11/@06_y@0!#U@A@7G@11/ @/7G@/$[v@A@8@11/@08@0%li@A@ABCDE/,Ɛ @,1>@8ei,V@@0@@,U,R @,S1KA8r,c@@0@@,b,G @,H1XB8/鐩],r@@0@@,q,< @,=1gC88|@(,1@@0@@,,0 @Р,11vD88@@,A,%@@0@@,,$ @,%1E8϶8ж@+0"@@@@@,, @,,, ,,9@,,␐,+ِ@@@@,+͐ @+1F,,,*+,+88+@9%M212@,An+@  +@@+@@,Р+ @8 8 +@+5?Ā+@88+@+@7+2/+@@@@,젠+ @9(8)+*+@9 ,8-+.@a+@c7+JG+@@@@-+{ @9@9 A, B4+z@9#D9E,F@+׶@7ΐ+vb_+o@@@@-+m @97X9%Y,%ZL+l@9;\9)],)^@0+kwt+d@@@@-1+b @9Lm9:n,:oa+a@9Pq9>r,>s@-@F,+`+[@@@@-G+O @9b9P,Pw+N@9f9T,T@sB+M+F@@@@-\+D @9w9e,e+C@9{9i,i@X@W+B+=@@@@-r+1 @99{,{+0@99,@+/͠+*@@@@-+ @9÷9ķ,ũ+@9Ƕ9ȶ,ɶ@@++@@@@-+  @+ 2G9۶9ܶ,ݶ@Ƕ@1(ʩ1*ʐ@@@@@-+ @+2H99,@@@@@@@-* @*2I99@1J]@@,@@-Ѡ* @!*2J99@1ZE1͐@@26@@-⠠*ߐ @2/*2K9 9!@1k@@@@@-*Ԑ @B?*2L:091@d@T-@@@@@.@@@@@@v@3s3^3J@1v@1;@A@A )5 @3z3e3Q@2- )5 @2/ nZ@A@%@33m0@2%@2;k@A@AB@33t0@1ɑ@1;@A@Bز@33}3i@32Bز@34:@A@AB.@333p@2B.@2A~@A@B@333x@2Bඑ@2B@A@ABC@331 @2[@2] nZ@A@%@333@25%@27#U@A@A&S@331@1y&S333@1~0@A@'i@333@1'i@1$[v@A@AB'p@3310@3k'p@3m:@A@'x @331:@3$'x @3&A~@A@A'x@331A@1'x333@1B@A@'x@331L@31'x@33B@A@AB('z@333@2('z@2%li@A@6_y@331\@2z6_y @2|#U@A@A7G@331c@2,7G@2.$[v@A@8@431k@28@2%li@A@>&,G@'433@3e>&,G#@3g;k@A@ABCDEF*ߠ/( @:*횠@3/8р;@: .*٠*@3@@*. @::*<<@::@2{ .**@3*@@*Ǡ- @:0:1-2*4.:q<(<'@:5:6-7@ -@"9*52*@3C@@*ࠠ-f @; I:J-K*M@31:4:A;O;=@X@@@@@+1*: @*;4HB;];K3A*b;B 5ݩU2@@@@@+C*7 @*84ZC;o;]3S*t;T25g3 @@@@@+U*4 @*54lD;;o3e2&2&@@@@@+h*1 @Ǡ*24E;Ӷ;ԩ3x3'3'@@@@@+{*. @ڠ*/4F3@@;3ҩ3;*+a@@*)@@+*& @*'4G;*;p/6=@@4@@+*# @*$4H;; *̰;3c 6@@4@@+3T @[@;;3O3F**@@@@+ * @;+;,**/=#="3*2=&=%* .;* *!;׷*")!)))=/3r)3j=59ک+/) 3q)))))詚;@/19A@. 5!;:;𩚠G@/ )=SC@)=);@@,l)7 @ˠ)85U<׶<ة+<ߩ?@):~49<<_)6@@@@@,  @)65V4@@<4ة4<)4@@+/@@,@@@@@@v@-655@4Mv)@4O;@A@A )5 @4665@4 )5 0@4 nZ@A@%@<6#63@5z%8@5|;k@A@AB@C6*63@4cɑ?@4e;@A@Bز@L6366 @5BزH@5:@A@AB.@S6:6%6@5B.O@5A~@A@B@[6B6-6@5BඑW@5B@A@ABC@b6I643@4^@4 nZ@A@%@l6S6>6*@4%h@4#U@A@A&S@s6Z6E3@4&Sx6_6J66@40@A@'i@~6e6P6<@4'iz@4$[v@A@AB'p@6l6W3@6 'p@6:@A@'x @6v6a3@5'x @5A~@A@A'x@6}6h3@4'x66m6Y@4B@A@'x@66s3@5'x@5B@A@AB('z@66z6f@5('z@5%li@A@6_y@663@56_y@5#U@A@A7G@664@47G@4$[v@A@8@664 @58@5%li@A@>&,G@666@6>&,G@6;k@A@ABCDEF)H)G)J)F̐)< @)=)8@=ĩ>=t=b@,x>>@)+<=R)-<=Q@@)"@@)) @))PA==ɶ@)>>)?>= @@)@@).)  @Π) )bB=*=۶=ܶ@<@t>=xv=z=w@@Z@@)B( @()vC>>==@@@i@@)Q( @()D>M=(@x=?@%@)w==ː@@~@@)f( @()E>&b=@=@)d? =Ué?=W@@@)@A@)`@)]@ABC@@)~( @()F>>z=+@=-@)0?#=m@@@@)( @0-()G>P==@@?45*=C@)F-?9=ީ=@@@@)( @GD()H>g@̰V ?I(X??L@@@@)@@@@8K*> @b@7-(\Y@@@@@>٠> @>֐> @>#Uق@HA@7F(wt@@ @@>> @>@@?#UC>(␠@ @@?> @>>>0>?>@0@3>@>>>(Ő@@@@?>{ @>z>x>v>t>>y>w >p>y >?>>k>>i>a4>Y>W@ >D(@!@@?7>& @>%>#>Ҷ>##>շ>&>>((?ˠ>!?ϩ? +>ݷ>.>>>0!>>)>{> >+?>{@> ߠ(3@!>@@?\= @>>;?k@>=(@!O@@?m= @==㐶> >Y~> >\>÷>^@> ?%a>>>T@>Q1@ =נ  '̐@!m@@?= @==>@>>>@=@ >?C====>=@+>η=ɷ=>*=>==>==>@8=@= > ;'[@!@@?= @==0?? -@J@Ϸ??o잠==,=?*@Tط==?S)(==@A=w ` ]&ܐ@!@@?ݠ=e @=d=bR?6?/O@l"?< ? =`=^M> ?8K@u?==?0tJ=G=@b=R  ~&b@!@@?=@ @=?==?W@??Z>)?T?]0?@?W>.3?@?=;3?6??g5?8?^>?>"9> <?V?N=9@=+  &@@@@@#= @==?|>K?Đ?>N?y @?·? ŷ??}>T???·>B ʷ>@?v?n =@< Ơ %Ð@"%@@@C< @<<<ܶ@k<ڷ?R<?<?xo<q?z?z?@@@<<< ?Z<?#?~<  %@vl@<@A@A@;??A2@9@з@Vd\;^_;\@;R Ƞ #될@@@AE;@ @j@;%`@.;? ٠ #搠@@@@AV@ @;@;>@A?~B@@D?E@@G@A@?J@A;<@ AM;9@ @O@@=;6?z ?S@;3E;2@;  #@#]@@A{# @@ A'c@ʷA)eABA@ A,h@@Z#@@ A/kA #  @@#t@@A#s @#r#pAB~@B"A.@ 1AF#n@##U>8?@#i 3 0@@#@@A#R @A0 AN@##`곀?AL@A 9#Q I F@@@@@AƠ#D @A@A9#C X U@@@@@Aՠ#7 @A*#6@#^#UH?Be@A1#=07A{-=Au#5 q n@@@@@A#4 @ACշ#3?By@AE׶#5A=#1  @@@@@B#1 @  @C@AZ A9>#2  QBB0aAlA@@#*@@B#% @  @CAA9PZA@@#8@@B!#  @  @CBAx /ft3@@@@@B.#! @A@R,V9k-<  BB@A@Y:#  Ǡ @@#@@BD  @A+@h,,l@@#  ؠ @@#@@BU" @A<,|9&@"  @@"@@Bf" @"@:4AOA @8>x@""  @@#C@@By"ِ @"A"ؠ A "ҠM"@#"ˠ  @@"@@B" @  @D^CAA#9͠0B2@B#U>5B0f@@#(@@B" @ 2 /@DuDABζ-8϶@# C C6A@ 5# G A@A#U60 @@"@@B" @ L I@DEBͶB Y0ҩ퐩5@@@@@BР" @ ] Z@DFB'޶B+B$<:- q XCe*/٩9S- v ]CjB@@#l@@B頠" @ v s@DGB@BD-|$2@$  ;Aũ@At4VE0K@@"@@C" @  @DHBWB[ 0F.5@@@@@C" @  @DIBhBl:BZ;$ZA:Q."  C)0#p@9ߐ@@#@@C)" @  @DJBQUT@AXA+@@$S@@C<" @ ɠ @E KBdBe:z.K  Cͩ?Q :3@@#@@CO" @ ܠ @ELB]Au^-y$"@$  B,B@$  B@A$J X5@@#_@@Cj" @  @E:MBxAy0}0z~6M@@@@@C|" @  @ELNBAB$":.  BZ+0ߩ:,fh@@$@@C" @  @EcOBA.&$ö"Ķ@D@R$ 4 Bɩ@Av$2=U5А@@#@@C" @ 9 6@E|PCA00ې6@@@@@C" @ K H@EQC̶AͶC%#):. _ FB+1!$B@@$W@@CԠ" @ a ^@ERC+A%#>.i@% t 'DgC @%  w *DkC %  y ,B @At#`U6@@#@@C" @ ~ {@ESCHB171 6Ԑ@@@@@D" @  @ETCZB)C_-%L3#n4;D/  B+1f$c:Ґ@@$@@D" @  @EUCs*BB+%d/#0;\2}CL@Aq$*7CQ@%'#i7 @@@@@D9" @ Ơ @F VCGB_H%L#M;y2Cީi@A@5AO7"Cܩn@"07'@@@@@DV" @  @F&W@D'$*)ƀ@@@@@Dg" @  @F7X@%#ꇦ@@@@@Dw" @@FGYC;2հD@D3B{DB|@@@@@D"Ð @@F]ZCC;ˠ/+E@?8'% @g@@%&@@D"Đ @0-@Fs[C%Щ%? @@$@@D"Ő @?<@F\D %ߩ.N5#@@"@@D"Đ @NK@F]D϶D@3@թ?5@@"@@DӠ" @`]@F^D*D.D&@33ȩ??IC@;=@@"@@D렠" @xu@F_DB@3HݩBܩ@@@"@@D" @@F`DS DW%@3Z署)@?G$Fb7A?Ґ@@"@@E" @@FaDhDl:DZ;&ZA@3q@9>@l@@#@@E%" @@FbD|3@3(C$:@@"@@E5" @Z@#@ @DED`@3*d@?B2AOz "Ӡ@@#;@@EP" @u@#' @D`@3DCQCg"@@#$@@Ef" @@G6cDtCuDCz@@@@3ɰ^4"?ߠD@@L"7@@"@@E" @ @GRdD""BFB@"3D^@B6#`n"BDeBDgDgF@F@""@@E" @+(@GneD&˩3"@@sGA@m@@"@@E" @A>@GfE ¶EݶBPM&@&SDD&UD@A3?q"@@%@@E͠" @ZW@GgE$۶Bhe38̐@@@@@Eޠ" @kh@GhE5E9Bzw@=0Fo= 0gD+"&?"@@"@@E" @@GiEMB@=54VE%@AW8E*@&8Eb0"Dސ@@=1@@F" @@GjEk"B@5=S4tEC@A 9EH@&.~!@@=M@@F0" @@HkE>BȶEZ'y`@'cE "FFa@A3@@&>@@FI" @֠@HlEWBEs'y@'|E%"@@&Q@@F\"{ @@H,mEjB3o"pp*9]@@@@@Fo"| @@H?nE}C 3"@@@@@F"} @  @HPoEC@Z$@@"~@@F"s @@H`pEC+(@j!ؠE"tEm@@"@@F1~ @1;"@E<@>s"Z74@@'7@@F"F @A>@Hq>@O=Q8=>5=@1#UHv@@@1@=@1@ABC@@FϠ"/"2"."$"<"("$?r𢢢"G"3""?i𢢢"S"?"'""G @@?Z"!>@@@!r> @@@G""v"b??@G@ >ߐ!p!p@@@@!>א @@!h@?R!b!a@>@@!> @|@-!_à!_@@@@!W> @x@>;;@>!T֠!S@>@@!j> @t@>O>PE5>R?%7>!O!N@>@@!}F @p@@`@aF!F!F@@@@!>u @l@FoFp>pX>j9>k:>iv@F'k>q!>!=@@@@!>a @h@FF>\>S!5$!!4@@@@" >H @FF>G+,@FF?s!,74! @@@@!ˠ> @A>!"AGF>򠩚@>jˀ>@@@@@!@@@@@@@#1##"@"֑@":@A@AR@#9#%# "@"XR@"ZA~@A@@#B#.##@"\ڑ@"^B@A@AB߿@#J#6##@!߿@!#U@A@@#T#@#(#@!@!$[v@A@Ae=@#\#H#0#@"/e=@"1%li@A@'k@#e#Q#9##@"'k@";k@A@.1b@#n#Z#B#,@!.1b@!;@A@5 .@#w#c#K#5@"5 .@" nZ@A@ABCDE!>%𢢢##m#U!AH- @@@!!@@@@"@  @@@HM##@>K@HJ{[Ѐ@ @  Π @@@@"@ @D@@ e=@"@@5{c0π  @?@@"Π? @ @1  @@@@"? @h@?5 .@?CC@@ {c   @@@@"?א @@?߿@?ְ[?\Q=?^@\??   @?@@"Gɐ @ @@l@mG֐ z/, z@@@@"à? @@?.1b@HG?d?A?B?@G8^IÀ? pLI p@@@@"ࠠ? @@?@H%H?? fc` f@@@@#L? @%@ \pm \@@@@#?R @@?Z?~T@HIH7@-@?{c<??GH R Q@@@@# = @ I$BHcHQ??@@@@@#1@@@@@@a @$$o$W"@#(a @#* nZ@A@Ay2@$$w$_"@ xy2$$}$e$O@ ~?~T@A@{[@$$$l"@$3{[@$5:@A@AB{c0@$$$t"#@#{c0@#A~@A@{c@ $$$".@!{c$$$$o@!@A@A{c@$$$":@#{c@#B@A@ w@$$$"C@#M w@#O#U@A@AB!Nk@&$$$"K@#!Nk"@#$[v@A@"_@/$$$"T@#"_+@#%li@A@8^I@8$$$"]@$8^I4@$;k@A@>@A$$$"f@#7>=@#9;@A@ABCDE"p=B @$E@Hi<Ґ@@A%@@<ΐ @!$RAH<ߐ@@A2@@<Ð @.+{$_BH@ee<@@AA@@< @=:o$nCI H@<<@@AP@@< @LIc$}DII@ @ <<@@Aa@@Ġ< @]ZW$EI*̶IͶ@C@"@@@@@Ԡ< @<<<<<Jl)@<<ߐIur@@@@栠<INI<<<@J%i%UB@< zn<<@  <;@@<3@@ <) @Ih IV I?<@4;@IBIC<D@ @@@@@!6@@@@@@@ &&&&j@&G֑@&I:@A@AR@&&&&r@%R@%A~@A@@&&&&{@%ڑ@%B@A@ABa @#&&&$H@%ja @%l nZ@A@߿@-&&&&@%\߿)@%^#U@A@Ay2@5&&&$Z@"y2;&&&&@"?~T@A@@B&&&&@%>@%$[v@A@ABC{[@J&&&$o@&{[F@&:@A@{c0@U&&&$z@&{c0Q@&A~@A@A{c@]&&&$@$ {cc'&&&@$&@A@{c@j' &&$@&&{cf@&(B@A@ABe=@r''&&@%e=n@%%li@A@ w@}'' &$@% wy@%#U@A@A!Nk@'''&$@%_!Nk@%a$[v@A@"_@'0''$@&"_@&%li@A@AB'k@'8'$' &@&_'k@&a;k@A@.1b@'B'.''@%.1b@%;@A@A5 .@'J'6''@%5 .@% nZ@A@8^I@'S'?''$@&z8^I@&|;k@A@>@'\'H'0$@%>@%;@A@ABCDEF2? @KX;q@C"_dL@1@C@@? @KlKZ;?LL@@C@@>> @K}Kk>k;#'JLL@ې@C@@'= @KηK}Ϸ>}Щ; @Ca uKLL@נР@C@@=?o @K:L@~@C@@M:Ȑ @'F@z@@@@@X: @'QAs@@@@@c: @'\Bp@@@@@n: @ 'gCi@@@@@y: @'rDb@@@@@: @!'}EZ@@@@@: @,)'FR@@:s@@:p @74'GJ@@DF@@:i @B?'HF@@DQ@@C @@?qPMq@@@@:R @L%dLe:Q96:@4L:=3M\J':2&:4:::: @@9 I@>12߀LJL@?!: MwC>L$: MA@=PIL"L%::?:N: @>5:CCÐ L#:OcW:Je:H:C@>5:Cb@"m퐠@9@@9 @LwLe9M<((|@Da΀D@ː@@@@)9c @Ơ("TLҶLӶI9bINMȶ9ZMʩ;L9!:@9L9J@@=9F @ڠ(6ULL;L1@9 ՀDH@@@@@QÐ @(JVD @@;7@@^@@@@@@@6((((@(s֑2@(u:@A@AR@>((((@'R:@(A~@A@@G((((@(ڑC@(B@A@ABa @O(((&t@'a K@' nZ@A@߿@Y((((@'߿U@'#U@A@Ay2@a)((&@$y2g) (((@$?~T@A@@n)(((@'Hj@'J$[v@A@ABC{[@v))(&@({[r@(:@A@{c0@)#)(&@(B{c0}@(DA~@A@A{c@)+)(&@&L{c)1))(@&R@A@{c@)8)$) &@(R{c@(TB@A@ABe=@)@),)(@(e=@(%li@A@ w@)K)7)&@' w@'#U@A@A!Nk@)S)?)'&@'!Nk@'$[v@A@"_@)\)H)0&@(/"_@(1%li@A@AB'k@)d)P)8)"@('k@(;k@A@.1b@)n)Z)B),@'.1b@';@A@A5 .@)v)b)J)4@(5 .@( nZ@A@8^I@))k)S'@(8^I@(;k@A@>@))t)\' @'>@';@A@ABCDEF֠F @MLPM @ ՠ@@/@@E @;@(&NX )@F(4rؠ@@.@@Ǡ,<@=@?@@BF'MMEM3M?BMMMKLL@LnMGMM>MIMNMMMVLW@Ŷ@KMS L}MBB@A)@5G@@@@@С@@@@@@@@@@@@@@C@@A@@@@@0}@ ~ @/AK4@K5M5M6ML@ةK<K<M<M=ML@@m@5G@@@}{MLKMAzxNeNfNgEuNjNkNl@tNoNp@ cOPN _NaN"aNbN!LNy`N'fNgN&LL'N*^@/V{KnzKo:Kp4Zif6@@@@XFs @:@4vs@@@@@eFe @}-)oFbݚ@F4@@@@@v+ @,)pFRFJd*gFMFFF@@/@@$ @%*q#!NrN`@@<@@BN OM?!DL\@@1&@@@@@@@@@ ****l@*I֑@*K:@A@AR@****t@)R@)A~@A@@****}@)ڑ@)B@A@ABa @%***(J@)la !@)n nZ@A@߿@/****@)^߿+@)`#U@A@Ay2@7***(\@&y2=****@&?~T@A@@D****@)@@) $[v@A@ABC{[@L***(q@*{[H@*:@A@{c0@W***(|@*{c0S@*A~@A@A{c@_+**(@("{ce+***@((@A@{c@l+**(@*({ch@**B@A@ABe=@t++**@)e=p@)%li@A@ w@+!+ *(@) w{@)#U@A@A!Nk@+)+*(@)a!Nk@)c$[v@A@"_@+2++(@*"_@*%li@A@AB'k@+:+&+*@*a'k@*c;k@A@.1b@+D+0++@).1b@);@A@A5 .@+L+8+ + @)5 .@) nZ@A@8^I@+U+A+)(@*|8^I@*~;k@A@>@+^+J+2(@)>@);@A@ABCDEF;<Gސ @@ ͐'@@@@@PGƐ @@G]@Ր(@@@@@P G @+)0/)002'30|80~U0T@H#UJOb0MV@G'@B@Hɠ@@2(@@PFG @Ӡ@RrG0o@G#UK@@@;J@1o@;&@ABC@@PZG @@R*sGGF 1GHH.3G@@2M@@Pk @@R;tOTNUNWBzPP@O 8Gf@@2a@@PG @  @ROuON@@dmX=OOZCb@@2s@@P@@@@@@@Z++++@+֑V@+:@A@AR@b,+++@+#R^@+%A~@A@@k, +++@+'ڑg@+)B@A@ABv@rIYIDI0@Gvn@G;@A@a @|,, +)@*a x@* nZ@A@A )5 @IjIUIA@H )5 @H nZ@A@%@IrI]F@H%@H;k@A@ABC߿@,5,!, +@*߿@*#U@A@y2@,@,,,)@(-y2,F,2,,@(3?~T@A@A@,L,8, , @*@*$[v@A@{[@,U,A,))@+{[@+:@A@AB{c0@,],I,1)@+|{c0@+~A~@A@{c@,g,S,;)@){c,m,Y,A,+@)@A@A{c@,s,_,G)@+{c@+B@A@e=@,|,h,P,:@+Oe=@+Q%li@A@ABCD@IIG-@Hɑ@H;@A@Bز@III@IsBز@Iu:@A@AB.@III@I)B.@I+A~@A@B@III@I,Bඑ@I.B@A@AB@IIGN@H@H nZ@A@ w@ ,,,*1@+; w@+=#U@A@A!Nk@,,,*9@*!Nk@*$[v@A@"_@,,,*B@+"_@+%li@A@ABC%@$J II@H% @H#U@A@&S@/JJG{@G&S4JJI@G0@A@A'i@9J J I@HN'i5@HP$[v@A@'p@AJ(JG@I'p=@I:@A@AB'x @HJ/JG@I~'x D@IA~@A@'x@QJ8J#G@H:'xVJ=J(J@H?B@A@A'x@[JBJ-G@I'xW@IB@A@'k@d-,,,@,-'k`@,/;k@A@ABC('z@kJRJ=J)@IE('zg@IG%li@A@.1b@v--,,@+l.1br@+n;@A@A5 .@~- - ,,@+5 .z@+ nZ@A@6_y@JmJXG@H6_y@H#U@A@AB7G@JtJ_G@H7G@H$[v@A@8^I@-9-%- *@,`8^I@,b;k@A@A8@JJpG@Ix8@Iz%li@A@>&,G@JJxJd@I>&,G@I;k@A@>@-Q-=-%*@+>@+;@A@ABCDEFG=/!EA  @N,i@ .@@O!M-Π@}!Nk@"_@#UK@ @,#UKh@A@ABCD%FG@A@@N--@A@- (Raw2SetsK@A@@ %'A*Equalities*Structures @@@-.-@@ %'@@A@A@@@AA@@A@ А @C@ A0,@@[@ (/X @ :@b@ (/X@ :A-@-0YHD@@@@@*  @j@ !6hWS@/RelationClasses'Classes!@,~@@!(/X;@!:@!(0A@!A~\@(eq_equiv!6xt@@@oA݋X_A @A@@^ @@2@@A@!B(/Xd@!C:@H@!I(/Xk@!J:[@-2@@@@@AA@@A@+lt_strorder @@ 񆀠Š@]@+StrictOrder.[@q@!r(/X@!s:w@E(0\@FB@%Р@@X@@/)lt_compat @@ 9@)Morphisms@&ProperL@@!(/X@!:@@!(/X@!:@*respectful%WO?)@!(/X@!:@0@!(/X@!:Κ6@!(0@!A~>@!(/X@!:ܚD@!(0@!A~!ɀL@(0\@B@Y9A0,@@@'AviAP@A@@'compare @W@ 7ÀUD@@@o@!(/X@!:@v@"(/X$@": @*comparison;f@E@.>7àq`\@@@@@,compare_spec @@ =3gpl@!x(@")(/XK@"*:!y1@"2(/XT@"3:!@+CompareSpec!Q]@@@";(0c@"<A~T2T1H@(0\k@BO@(0\r@BT@TAW@oOz@p;k@,compare_spec=3g @@@@@&eq_dec @@  v倠Ҡ@Qw@"x(/X@"y:O~@"(/X@":&Specif"z@'sumbool7̂K@@"(0@"A~P"@#notШ@"(0@"A~^@&eq_dec v @@@@@@@@@@#@A@O@(@.O.@A@A(/X@+@.(/X.@A@(0@/@.(0.@A@(0\@3@.(0\.@A@ABC"Ԡ#elt @L/+/*@"v,/@@M2/15@@%@:@/%/@A@A@A@@-@@.@@/"./!@A@A@@/ /@A@2@ @/2/@A@7@#@/7/@A@ABC@A@/C*Raw2SetsOn;/@A@@ %'A*Equalities*Structures#Coq@@@Gy!@#DhWS9/@@Hn/m?@@)n@D@/K)n/J@A@A@A@@G/xQ@@v,@V@/_v,/^@A@A}@@/]}/\@A@~0@@/[~0/Z@A@6@ @/Y6/X@A@ABC@A@/+WRaw2SetsOn@/V@A@@@@@@#"t_,<@@/C" @@#Mkt$this@#H#UC%is_ok@"Ok#UH倐AC@@@AB@@#]#UC@#UHBB@k@9 ӽ@@@@@AAB@BA@@@@@@@#S5 @#~@P8'|@Р@U8'|@@$%@@@@@@_8'|@@#)fDV@#)fT@R)lQBנ͠@#@} ӽ@@##UC +k= R '>''+k6'Р@8'|@@^_:QABp@#)fx+@@@@@# @Z"@ŭ@@|}Xd HG"@ @{@# &YHD* @V @ ӽ@g@#UH倐 @  +k= R '>''+k7 7$';ABp1|<soUK:@\@@$$- @G@8'|@j`O@"񐐠nD|raC9'@@@@@$0"In @9p@8f!sw@$f8[@)lʩ@.8c Ԡà@V |@ a @$ 6 H+k()7 7%'d@< tƠq@@@@@$z%Equal @E@$8"s'@$8!a@8f砩@i8$Zml@o8$Zs'@k @$ 6' @$ 6琐 +k() +7T' 7! 7!7%'$֐p @$St@‹dPN=9ܠ@@@@@$Ӡ&Subset @&@%&YS#@"LVUDo^Z@6%@!@% 6r! @%! 6K +k() +7T' +  7!T'7%'GtEd|bXG) @@@@@%%Empty @ᚠV@%E8[@8fb@8$Z{j@!\@%] 6 `+k+7T' 7!7$'d@אLРh^L@@@@@%U'For_all @!P@$c@6Dܠؠ{i@@!@ a<!@% 6ː +k() +7T'+  7!T'$'ǐtŐdؠǠ@@@@@%&Exists @A?bĩ%@"ex @Ʒǩ%@#andЖw@M7&"ϠŠ@^@!@# aJ!@% 6A +k() + 77%'  7!7%'(t5|thdSO5+@@@A1@D%Logic$Init#Coq@@A@@%#mem @!>@  S<wsYO> @ "3@s a՚"9@&: 6%@$boolZ'@&t_dveG=+@@@@@&4#add @=[bA@ KF@&add_okڤϩ@, {%٠ȠĠqgU@^"@ a&"@& 6"@& 6 |+k()7 7 7" 7 7!:'0d.DTx-d̠֠@@@@@&&remove @VV@[,Z@)remove_okMS&ܠ@"@ as"@& 6"@& 6M)dTx*DydQ@<"ߠ@@@@@&֠)singleton @"@ )Xm'@,singleton_ok4.q`\B8' @#@\ a# @'! 6 @+k7 7 :'X'h|bXG) @@@@@'%union @CD⠩c@ mabj@(union_ok+1њi}lND2@#a@'b 6#g@'h 6#k@'l 6 +k()7 7 7 7 7 7 7 7!:''h|\L|l7Ѡ͠zp^@@@@@'g%inter @23@ jQ@(inter_ok-e'9OԠʠ@J#@' 6#@' 6#@' 6M)'h|\LV|l.Ơ@@@@@'$diff @~5@ ,@'diff_ok5rO>: ݠ@#@' 6R$@( 6$@( 6$h$|\L/|lzieKA0@@@@@'%equal @,-J@  p~dZI+!@ښ$>@(? 6$D@(E 6 T+k()7 7 7%' @etd|kMC1@@@@@(:&subset @gh@ d"Πf\J@$y@(z 6њ$@( 6F;@tdޠڠ}k@@@@@(t%empty @>@  ۀ@(empty_okԀ ݠӠ @$@( 6<67:kLD&ܠ@@@@@((is_empty @vة@ 8P>-)̠֠@$@( 6 8+k7 7$'XdZIE+!@@@@@(ߠ(elements @@)8@*@8cȠ|kgMC2@%$@)% 6)Datatypes$Init#Coq@@$list]@%7@w aN\@>5dYXzp_A7%@@@]A al)Datatypes$Init#Coq@@A@@)8&choose @x@)g8\@ꂀ@/8c!ՠĠ@%}@)~ 6Y@&option >v@%@ aX@:*d̠ w@@@A ůMR@A@@)$fold @!AV@j(@@!f@@i]@ jp!ڠ &  ܠ@@@%@ a@7z%@) 6@CY L+k()7 7&'d-x Q @ <"ߠ@@V@@F@A@A@HA.hB(@A@@)ܠ(cardinal @ &@ $ o ^ Z@6%@&@* 6(@#nat@7d@X   {aWF( @@@@@*&filter @@=D⠩c@%h@)filter_ok>OcuJԠ*@#snd[@-partition_ok2>cuK   vl[=3!@@'Q@ a󀶐'Y@+Z 6   @@Gt@'h@+i 6'l@+m 6 +k()7 7! 7 7 7" 777": 7 7 7" 777"::' 7dIgt|tXd\ܠDR  ޠ ڠ}k@@@^A ϲ6WG@AaA вuXJ@eA ӳ2[N@iA Գq\R@ABC@@+)In_compat @   ؠǠ@8@)Morphisms'Classes#Coq@@&ProperL@&@+:@'@+ 6  &&@+:@'@+ 6 뚠&@+A~ 5'@+ 6 +@+ @'@+ 6 '@ Л@@@AviA)Morphisms'Classes#Coq@@AA1DH@A1FdJ@ A@ABC@@+砠, @ %@u9M w f b H > -@@(@, 6@(#@,$ 6M@Jr~  { w ] S B $  @@@@@,+ܐ @    n d S 5 + @8A/RelationClasses'Classes#Coq@@+Equivalence~@(U@,V 6(Y@,T Ҳ@@@ #A݋X_A/RelationClasses'Classes#Coq@@A@@,D  @"s0r@  @@@@Dz @,yĢ =  /#"Hs#s'0  /]$\ ?  A#Hs'Ȑ!bpEdȐ!HAl T°n}F X Yr@@@@@@@@Dyа|H g 9@! H~I 0  "'GCA OA B%lemma (  M@9iff_flip_impl_subrelation2VA*( @(symmetry0xj   @-iff_Symmetric!x9  @*equal_spec'ȀD_Ȑ!e^  K ,@'eq_rect=߀  +M!X " Y q % 3y2 ) + 9r  ʷ~9WB BTSQO @2subrelation_properJ7( B B  D D b b .Morphisms_Prop )@0not_iff_morphism Z  N N l&Basics'Program-6@$flip$ Z Z Z @$impl7o,-@$unitUe@A @6subrelation_respectful>6z  m m   @0subrelation_reflv  t  &~{o"H0Ȑ#Heq-d@(eq_trans!y8S-k@&eq_sym X? ' שA\Ȑ"H1-w@&eq_ind JKLڷN  6-@$Truey@-@%Falsee@ Ay F -@)False_induُ MC  P    ՠ ˠ    @ K)@- 6 )@- 6&Specif$Init#Coq@@'sumbool7̂K@)@- ҲBAà @@#notШ)@- ҲBA +k= RA'> +''= R '>G 7!= R'+'+|'$''h P4G7  +Z7 77 G7  +F7 7777!L7!77"7777L7!77"7!79'''+ P4G7  +7 77 G7  +7 7777!L7!77"7777L7!77"7! '6  677777777!77777L  67777777777  67777 +k7T7 9'/   L7!77M7!L77ML +L7777%'= R'6'6''+k6'''6'+k+ 7!77"T'7!7 7!7%'+k:7!7 :7!7%'+k+7T'7!7 7!7%'\( AJp4젒 NР|ԐH-$H@$l  Xɠ   t ࠑ @Pp 4Ddࠐm@@A@A@ht@G䠒0 8X< XP,t̐4sh,L    T h`ɐ[HXx|Xd젒  t蠒䀠     } l N D 2@@@@@.;(mem_spec @ Ƞ     ~ ` V D@:B *r@.s 6 R*w@  a B*@i lc 0*@ 1 Л 5@@@@@.f @   ݠ à     n@:C 9*@. 6 *@. 6 Ҡl*@ t" iਗ਼*@  4 n@@@@@.+subset_spec @    Ӡ   @;!D d*@. 6 *@. 6 *@wUt  *@ M @@@@@.*empty_spec @H73     ֠ @;LE*@  4ˀ*@_ s뀐@@@@@.ؠ-is_empty_spec @eTP 6 ,    @;iF +@/ 6 @.ک+@I6,c@  a,j@  Л ,p@ w ,w@ # Л  搩,~@ * Л.@@@@@0_)fold_spec @۠נ     z h@Q ]-@1 6 @-@ a @7@,@1: &,@1: ,@1A~  -@8jZ  -@ , Fǚ-@, aF@@ @@1͠/partition_spec1 @ZIE+!@>^R .@2 6N@. @J a Ѷ@{@-4@2: ٩j-:@2: ߚ->@2A~˩.!@  4.(@2) 6.,@2- 6.1@*-/ '.6@Z ,@@@A ӳ2[1@A Գq\1@_@ABC@@2 /partition_spec2 @~tcE;)@>S .W@2X 6@.]@ a $@ΰ@-@2f: ,-@2l: 2-@2jA~).t@  4@.{@2| 6.@2 6.@}-/ z.@PZj.@ a1n@$negb D@@`@@2w.elements_spec1 @ՠˠ@?TK.@2 6.@ a䠩2@-@2:-@2A~q.@ okE ?.@x Л|@@@Ai0A2@A@@2/elements_spec2w @>-)̠֠@?BU.@2 62@&NoDupA @.@2:.@2A~.@ okE@@1@@2ޠ,choose_spec1 @kZV<2!@?oV/@3 6/@Z a@81@&option >v@/)@i a/.@ O  A/7@w a橚/<@ Л2@@@A ůM2@A@@3!,choose_spec2 @udF<*@?W/X@3Y 6@v>/a@ a/f@ O JB/o@ a/t@: 4ˀ @@8@@3U @2Q@38M2Y@6 @@P8c CȠ@;/@3 6/@3 6 atd(@ܠ@@@@@3'min_elt @bC<@ 4?5+@o/@3 6 V/@ a 򐠠SX"dK:6@@@A M@A@@3Ϡ'max_elt @{t@ р8bQM3)@0 @4  6 0@R a )X!dqmSI8@@@3A @A@@40 @@1)nj`O@ݚ0A@4B 60G@4H 6A td!@o@@@@@4; @Ǡ}@@X'@+StrictOrder.[@0u@4v 60y@1G :@@@CA @A@@4\ @נӠ@@YԀ@0@4 6@0@4 60@4 6@0@4 60@4 Ҳ0@4 60@4 Ҳᚠ0@1 :@@@A@Aۓό^@Ab@ABC@@4 @*@A+Zn0@4 6)0@4 63@(CompSpecg0@4 60@4 Ҳ0@1 :H0@1ˀ@@@A G3@A@@4Ӡ.elements_spec2 @`OK1'@Aa[1@5 6&Sorted'Sorting5@1ĭ@09@5:0=@1B1 @ okEА@@@hABA@A@@5-min_elt_spec1 @}cYH@A\֚19@5: 61>@~ a@ \$1G@ a1L@ Iʀĩ1R@ a1W@ ЛM@@@@58-min_elt_spec2 @Š{@A] 1l@5m 6L1q@ aH1v@ a@ \1@ a1@ Iʀ#V1@ a@1@< Л;0@2eB:@@[@@5x-min_elt_spec3 @̠֠@B^I1@5 6@ ʰ1@ a1@ IʀjT1@ a1@ 4ˀ=@@@@5-max_elt_spec1 @3"@B4_w1@5 61@ a@ Ő1@( a1@ \e1@3 a1@ Л@@@@5٠-max_elt_spec2 @fUQ7-@Bg`2 @6 6횠2@R a隠2@W a@ 52 @` a2%@2 \ĩ2+@k a@21@ Лܩ1Z@3B @@@@6-max_elt_spec3 @wm\@Baꚠ2M@6N 6@ k32V@ a2[@h \ 2a@ a2f@, 4ˀސ@@*@@6G,choose_spec3 @Ԡà@Bb2{@6| 6Ӛ2@6 6`2@ a\2@ a@ p2@ a2@ <O ϩj2@ a@ 2@ a2@ PO ~2@ a@2@ 4f%gJ1@6A~gPgS@@@@6@@@V@ @X@AB@ @A@B @ 3@AC 0@@A@@ABD @ @A@B@@A @@A @@A@BCDE`A@ 9@A @@AB@@AdB @EqB@ABCFG@2Z2@Av )5 @%@O@2c@COC@A@ABCD߿E:4%D('z@(/X@2l@C6(/XC5@A@A(0@2o@C5(0C4@A@(0\@2t@C5(0\C4@A@A.1b@BC5 .D7GEFG@6OrderedTypeWithLeibnizj3@j&j  @j @ @j.} @@j3} j @j@@jj @jj@j>}  @j'؄@i@@j-i @i@*@i} @/@i} i@i@@i䠠i @iiߠ:@i} >@j؅@i@@iiǐ @iƩiŰ@J@j } @O@j} jiU@j} @Z@j} j^@i؄id@j#} jh@i؄il@j5؅@i@@j!i @i@v@j5} @{@j:} i@i@@j0i @ii@jD} i@jI} i@i؄i@j_؅i@jd؅i@i7Сi@i@@jUi @ii@j} i}@j} i{@j؄ipio@j؄iw@ig@@jʠ*eq_leibniz @@hiF@iC} h{@ @a؄`-Whiɐ@@@jA1DH4K@A@@iL@@@ %'j@A@j@jo@@ABC@@} @@k} iz@A@A؄@@j؄iy@A@؅@@j؅ix@A@7С@@j7Сiw@A@ABC@,SWithLeibnizk%@!E@iu @kakaT@@@kaO @k @i @i )p.@aG@@@@@ka; @@Cˠ@ai )w@@a#@@k-a @j@@@@@jݠa  @@a((@a0 )x2@@a9@@j렠` @@`7`81&`:ay(`@@`@@jh @jx@C@Dh@@@@@k` @@iMiN`?`*`+`T@h2 À`@@@@@k` @@i+aib``@@@@@k} @@i9oi'p@!X=shjp@@@T@A@@i@k@@@@ )p.@@k )p.j@A@A )w@@k )wj@A@ )x2@@kW )x2j@A@2 @@j2 j@A@ABC@ِ @EE@8Hn@Eh&SetsOnc@A@@@ %@A@B*E@8@ @E'WSetsOnED@A@@@ !@@Hn@&@EHnE@A@AHv@@EHvE@A@Hv@@EHvE@A@.+0@ @E.+0E@A@ABC@A@@@@@88Ր @@@@/@@A@A@@@8H @@@8-@@@@@8Ƞ @@@@8-@@@@@8ՠ @@@ @A-ݘQ@@9-͐@@@@@8砠 @@@@S-ݘQ@!@9-%@9-@@@@@8' @@@2@i-ݘQ6@9.-@@@@@9 @@@C@z-ݘQ@H@9@-L@9D-@@@@@9$ @@@Y@9Q-@^@9V-b@9Z-@@@@@9:Ӑ @@@o@9g-@t@9l-x@9p-@@@@@9P @@@@9}-@@9-@9-@@@@@9fg @@@@9-@@9-^@@@@@9x> @@@@9-@@9-p@@@@@9 @@@@@@@-ݘQ@@9- @@.h@@A@A@@@9; @@@@@-ݘQ@@9-@@@@@9 @@@@@$-ݘQ@@9-@@@@@9ʠ @@@@@7-ݘQ@@9- @:-@@@@@9ᠠ @@@@@N-ݘQն@@:-"@:-&@:-@@@-)A8A@A@AB@@:( @@@9@:1-@@@@@:2 @@@F@:>-9N@-ݘQ@@@(A@A@@:( @@@]@:U-7c@-ݘQ@@@=A@A@@:=  @@@r@-ݘQ@w@:o-@@@@@:Oː @@氶@@:~ )p.@@:-@: )p.@@:-@: )w@:-@:-͚@M-E@@@kA@A@AB@@:  @P9@:/R @/-젩@n/X!s @i@:-%@:-"t:Րp!dP?:-'@@@@@:Ơ @@GAA:@55PK>8@@:-U @;-.㐠RtNdlgZT@@@@@:ݐ @c@;! Cqh@e o@ Iܠ@К=@;5-_ؐd@L@@@@@;'Ґ @Ѷ@c2@Π@ڶ@h@-ݘQƶn@;f-ŐtdΠɠ@@@@@;U @. Щʷa˩ܠϠ@ @@-ݘQ1@;-ѐtސ|th@@@A@A@@;; @@ h@@@;-@@;-.@./)$@@@@@;;{ @@/RelationClasses'Classes@G~@@!t-@N.r8@@@A݋X_A/RelationClasses'Classes#Coq@@A@@AA@@A@ @@!x@!-!y@(-&Specif$Init@7̂K@)@.r8Щ%Logic@#notШ9@.r8@@@@@: ֐ @@ښF@<>-K@-ݘQsa T@4-ݣ Y@-E@@@@@<1\ @@f@<^-k@ )w@@@@@=$ y @@횠Y@=Q-^@=V-5c@-ݘQj@ -Ep@-.' nw@-E|@-E#@@@@@=T m @@@=-ؚ@=-e@-ݘQ@=-EA@ .$ ͠@J-Eᩚ@O-ES@@@@@= b @@M@=-@=-@-ݘQ렩@m-Eq@- Ω@z-E=@-E@@@@@= W @@@=-58ޠL<@@ L4@@0-ݘQ J @O-S= I H@=-ݘQ @C-ݘQ@1 ?g@@8@&@A@A@*A =@A+A@-A!t Q@AB0A!uR@4A B@ @@aA!s̓P@ABCD@@= ? @@ǚ3@>+-G:@1* Ѐ 4@@w-ݘQE@91@@ /@@> + @@暠R@>J-)W@-ݘQ@]@-ݘQ@Ű@@>] )p.#@>c )p.)@>a )w v@-E|@:=Ǒ@ @&-E  @@@@>[  @@$@>-Ѷ@@-ݘQT@@@> )p.\@> )p.b@> )w YNРj@2πީ@4vv@-ݘQ a@@@@>  @@]@>- @@-ݘQ@7@!@> )p.&'@> )p.+@> )w  @@,9Cǚ@,-ݘQ F@@ @@>͠  @@@>-C@@?-ݘQƶ@p@Z@? )p.Ω_`@? )p.Ԛd@?  )w @x.r8򰚠&@?-*@?"-/@ff4@=Ǒ@!@@ @@?   @@՚A@?9-@G@~-ݘQ@@@?G )p. @?M )p.@?K )w ^@.r8!e@?]-i@?a-n@^ff[s@1=Ǒ@Ky@-ݘQ @@ :@@?Q ڐ @@@?~-]@-ݘQ @? )p.@? )w=@1 @D-EH@@ @@?y Ȑ @@B@?- @? )p.@? )w@1d@@ @@?  @@^@?-@-ݘQ@䰩 @-ݘQ@x=TL @-ݘQ@-EՐ@@ @@?  @@@?-@  Ґ@5-ݘQ@=T  @@-ݘQ@.rFu}@@ @@?栠" @@@@@-@ @@-@@@@@? a @@@-@@%- 3@j-ݘQ@@@ A@A@@@  > @@@B@@:- H@-ݘQ@@@"A@A@@@"L| @h@X@!t-@^@- @@@@@ @@/RelationClasses'Classes#Coq@@.[@x@ -|@L- 䀐@@@ %'A*Equalities*Structures#Coq@A݋X_A'Classes#Coq@@A@@4 @@)Morphisms.@&ProperL@@L-@@Q- Y@*respectful%WO?@\-@@a- i@.r8@k- s@ .r8%Logic$Init_@#iffС)@M- 䀐@@@YAviA)Morphisms'Classes#Coq@@A@@ǐ @@@@-;@@- @@-@@- \@=- U @Uu@@ @@@ܠ  @@ @A - a@A )p.e@= )x2 @1ǐ@@ @@@  @@ -@A%- 2@i-ݘQ@G ;@r-ݘQ @@ |/t  F@}-ݘQ쩚 K@-E8@@@@A#  @@욠 X@AP-/ ]@-ݘQ+ b@-ݘQ@w? k@-ݘQ p@ /t9 v@-ݘQ̶@ |@-E␩@>H )x2@@>@@A[  @@$ @A-@m @-ݘQ @ /tE/ @-ݘQ @f.rFu@@d@@A ې @@J @A- @-ݘQ@а @-ݘQ @ .!8 @-ݘQu @w-E@@@@A Ӑ @@u @A- @-ݘQ @"-ݘQ@Ȑ @+-ݘQ @ .!  @6-ݘQU@ @-Ek V@> )x2t@@@@A䠠 ː @@ @B-@. "@Y-ݘQ '@+.!Ω -@d-ݘQ 2@.rFu@@@@B  Ð @@Ӛ ?@B7- D@B<-  I@-ݘQ  N@-ݘQ@c+ W@-ݘQ \@=T% b@-ݘQ@w? k@-ݘQ p@ =T9 v@-ݘQ̶@ |@.r8  @Bs )w @@<@@BY  @@s>s @s-s2@ @k- \jbMrt@@@ZA @A@@t@@@.h@A/ @8@AB@?@A|@y@ABU@@Ah@Bd@ @@ABC@BDE@@@AB@ @AC@@n@A@BC@@ADEF@ & )w #@ )x2 !@- @ @N- N@A@A2  "@BCD@/MakeWithLeibnizuACuu@uࠠuƐ @uŶ@ @uI@@uIuÐ@u@@uؠu @uu@uI @uP@u@@u砠u @u@*@uI@/@uIu@u@@uu @uu:@uI>@uQ@u@@uu @uu@J@uI@O@uIu©uwU@uI@Z@uIu͚^@urPud@uIuךh@u|Puql@uQ@ug@@u۠u[ @uZ@v@uI@{@uIuX@uO@@uꠠuM @uLuK@uIuI@vIuG@uPuA@vQuF@vQu>@u;uP@u=@@vu; @u:u9@vIu7@vIu5@vwPu*u)@v~Pu1@u!@@v  @ t?@tIt1@tI@@lPkcP@u Isu@ @@u@ u1@@I@@vIu0@A@AP@@vPu/@A@Q@@viQu.@A@;@@u;u-@A@ABC@  u( @Cvu5@u2I@m@vI@m@@@v͠m @@mP@@uN  @uKw@m @vP@@@@@v砠m @-@m %@O@m6 !6@v%@@l@@vl @D@lQ@1G@vQ@@@@@vl @U@l ۀ@lCC@m {^@v @@m@@vΠlܐ @l@l#el@l۰[l\UAl^maClu@v#el@@l@@v堠tΐ @@t;@@p@qtߐ@vt;@@@@@vl @@lB缀@utlllElFl@t)X  l@vtB@@@@@wl @@l$ن:@u.ull@vT$ن:@@@@@w  @@ 911@uEu3@3dItv|@ 911@@ @@u@@@@@@A@w@@wwv*@A@A @@w v)@A@ {@@wc {v(@A@)X @@v)X v'@A@ABCaH?ϒ?Ґ?n nnnnnn n𢢢 nnnnv? @@nn@@o&<@A@o5o@A@nn*@@@n(n% @@@vd6@nnn@va92@ n!nn@@@@nAn @@P@nH9O3n 2/n@n@@nTn @@,m?<m@@@@mm @@m::@n9"mROm萠@n&@@n m @ @mNmOE5mQng7mm̠ebmː@m@@nuԐ @@@_@`uᐑmtqm@@@@n,m @@vnuomXm9m:mu@ukhmmm@@@@nEm @@v(vmmmm@@@@n m @v;v)m+,@v?v-nmma@@@@nkm[ @m\oGAvPv>n4@m9Ȁm@@@@@n@@@@@@3@ooo@n:3@n<#el@A@AT@ ooo@mT@m$ن:@A@ :@ooo@n :@n%@A@ABkh@ooo@o$kh@o&;@A@&S @!ooo@n&S @nB@A@A-t+@(ooo@n-t+@n @A@9@0ooo@o9ӑ'@oI@A@9O@8ooo@o<9O/@o>P@A@9@@ooo@o?9ב7@oAQ@A@ABCDEm_m^𢢢IoomcAwe @@om^&#m\oJ@@@oHoE @@@wVA9ppm@w R@ oAm?<m@@@@oao9 @8@oA :7@QΠ@ol -WlVSl@o*@@oxo& @@0lc`l@@@@oo @\@o -t+3@oBB@oA Jlzwl될@oN@@o2o @s@o33@o Zo[Q=o]o?oll鐠@n@@oIw @@@k@lw llᐠ@@@@oXn @@n&S /@w?~w-ndnܩAnݩBn۩@w#0FNn㐑l٠lِ@@@@ounӐ @@nT/@w\wJnҠnɐlѠԠlѐ@@@@on @@lɠlɐ@@@@on @@n75Q@wwnod@n 1o!nՠGHll@@@@ol @lpBwwnn@@@@@o@@@@@@'/@Ippnc@n'/Nqpp@n75Q@A@A @Sqpnm@p J@pI@A@ -@[qpnu@p_ -R@paP@A@AB @bqqn|@o gqqp@o9@A@ @oq$qn@pn f@ppQ@A@A3˚@vq+qn@o3˚m@o#el@A@ph@~q3qn@oaphu@oc$ن:@A@ABQ@q:q%n@p-Q|@p/%@A@0F@qBq-n@p0F@p;@A@6M@qJq5n@o6M@oB@A@> @qRq=n@p> @p @A@ABCDEnll @xulmp@x jQk@@pO@@kk @kpAxwl @@p\@@lk @kpBx%oMl@@pk@@lk @kq Cx4x"@$|kא@@pz@@l&k֐ @kqDxCx1@@kkː@@p@@l7kʐ @kq-ExTxB@+o"@@@@@lGk @kkkkky@kkƐk٠k@@@@lYks @ktqOFkkжkhkѶxx׶xfضkfٶ@y>Bqq@kW1ke@  kd@@k\@@lvkR @xxk򩚠@k=DckQ@xxk@kM@wDkLkC@@@@lk7 @x x kk6@xxk@ake@cw\k2*'k-@@@@lk! @x$x%k&4k @x(x)k*@k}@wtkB?k@@@@l k @x<x=k>Lk@x@xAkB@0kWTk @@@@lנk @xQxRkSak@xUxVkW@-@F,kmjk@@@@lj @ygxhkiwj@y kxlkm@sBjj쐠@@@@mj @y|y }l ~j@y!yl@X@Wjj㐠@@@@mjא @y3y!l!j@y7y%l%@jՠjА@@@@m-jĐ @yHy6l6j@yLy:l:@@j àj@@@@mCj @͠jr9Gy`yNlN@Ƕ@pΐʩpАʐ@@@@@mWj @jrMHytӶybԶlbն@@@@@@@mgj @jr]Iyyr@p]@@l]@@mwj @jrmJyy@qEq/͐@@q@@mj @jr~Kyy@q@@@@@mjz @"j{rLyy@d@Tm<@@@@@m@@@@@@3@dssr@q3[@q#el@A@A'/@ks s p@p'/ps%sr@p75Q@A@T@vs+ss@qYTm@q[$ن:@A@AB @}s2sp@r t@rI@A@ -@s;s&p@r -}@rP@A@A @sBs-p@qD sGs2s@qI9@A@ @sMs8p@r @rQ@A@ABC :@sTs?s+@rG :@rI%@A@3˚@s^sIp@q3˚@q#el@A@Aph@sesPp@qph@q$ن:@A@Q@smsXp@r`Q@rb%@A@ABkh@sts_sK@rkh@r;@A@&S @s~sisU@q&S @qB@A@A-t+@ssps\@r8-t+@r: @A@0F@ssxp@r0F@r;@A@AB6M@ssp@q6M@qB@A@9@ssst@s=9ӑ@s?I@A@A9O@sss{@r9O@rP@A@9@sss@r9ב@rQ@A@> @ssq@rg> @ri @A@ABCDEFjnΐ @zkj䚠@rQˀ{@zrncjjY@r@@jWn1 @z zo jT{{@zzs@r!n)jOj?@r@@jmmX @z!z"m#j=%.z{{@z&z'm(@mP@yGj8j(@r@@jm  @z:z;m<j&>@r> z4{{@zCzDmE@mm@ydj!2/j @s@@jn @zWj Y|@zZr:nÐjFCi@s@@ji @PMis@zmznrǠizȩruib@@@@@jɠi @b_isAzz@X@@@@@jנi @pmisB{zr砩jz uOr@@@@@j頠iݐ @itC{{rjz2uar@@@@@jiڐ @itD{'{s r&r&@@@@@kiא @it%E{:Ķ{(ũsr'r'@@@@@k!iԐ @it8FsA@ٶ@{0s;ɩs={4i[@@i@@k4i̐ @͠itKG{`jb{BjoSu@@s@@kCiɐ @ܠitZH{o{]jr{Rzs Lܐ@@s@@kUr @U@{ {m rrii@@@@khi @{{ii  ||s0i#||inK{{ii{}iȩiiii|թsis|۰y"o.i siiiii;@o Ѐy>A@m=&䢀{zq{G@o| $i|C|oLi*P@l#W&t{{iiѩi! \@n7biCsF |2&iiӰA5iCi̠iǩm@nN iC@@{x{ysdŐidai@i@@kՠi @{{i{|F|Fyu]@s)-$Ks@|J@|F@|{|Ti h@@@@kh @hu T| |ykhx}Uh}Wk&{i7|%ss|*j-@{@}c|h9j2h@hh@@lhݐ @hu)U|>ȶ|,ɩkA|?@i^Z~Rs|0|(_hܐ@@@@@l'L[ @hu>VtG@߶@|tAϩtC|h@@j@@l:@@@@@@3@uuu@t=3@t?#el@A@A'/@ uus&@s'/uuu@s75Q@A@T@uuu@sT@s$ن:@A@AB @uus8@us @uuI@A@ -@'uusA@u+ -@u-P@A@A @.uusH@s 3uuu@s9@A@ @9uusS@u8 0@u:Q@A@ABC :@@uuu@t :7@t%@A@3˚@Juusd@t3˚A@t#el@A@Aph@Qvusk@t4phH@t6$ن:@A@Q@Yvuss@uQP@u%@A@ABkh@`vvu@ulkhW@un;@A@&S @jvv u@tX&S a@tZB@A@A-t+@qv&vu@t-t+h@t @A@0F@yv.vs@u0Fp@u;@A@AB6M@v5v s@tn6Mw@tpB@A@9@v>v)v@u9ӑ@uI@A@A9O@vEv0v@u9O@uP@A@9@vMv8v$@u9ב@uQ@A@> @vUv@s@u> @u  @A@ABCDEFhhh𐐡hh @hh@}j}}}@l~Q~P@h||h||@@h@@h h @hhA}}0@h~e~fh~h|@@h@@hԠh @hiB}*}B̶}0Ͷ@<@_~z}_} }@@\@@h蠠h @ hiC}>}V}D@@@\@@hh @Ѡhi+D}M}eh@_|@%@i}D}Aː@@\$@@i h @hi@E}b}z @}i @i  ~|é_T ~|@@?@@i h @hiTF}v} @}} @iC  ~}@@\J@@i2h @  hifG}} *@_X -~֩u&} 0@iY 3 ~}}@@\a@@iIh @# hi}H~ @_n C~h E 2~@@\r@@iZ@@@@wi~ @ O@vϐh85@@@@@~{~ @~x~ fHI@~>ᡀ@?hNK@@`s@@~~V @~U@@~>K0~R`]h@`@@~~O @~N~H~P+~A/~;@+@.~8@~T~E~%tqhb@@@@~~ @~~~ ~~X~ ~~ ~~]K~R~ ~o~} %}}@ }h.@`@@~Ԡ}Ð @}°}~0 ~.~3 ~1~*~3h} l~"~( ŷ~%~&~>~'!}}ư ~}}Ȱ v~@}gА@`@@~} @~Q}}ذk@~T}Ǡg@`@@ } @}}~f ~dP~~i ~gS~`~iU~[ ~X~Y~q~QT}1@ }tgi@a @@(}[ @}Z}X~@~~}~}V~~}T}R}]}_~}aȠ~k}Oķ}M~* }K~#}M}I~%}O}F~'}D@}9  f@a:@@X}' @}&}$0~~-砷@Ϸ~ 瞠}"} ,}~*ط}x}v~S)(}j}f@A} 7 4fy@a\@@z} @}|R~~O "~-||M}~K~}}~tJ}G}@b| X Ue@a}@@|ݐ @|ܰ|ڐ~@<~}~~+A0~}.D2>|.V1;0X3~~?}4}7~~|@|Ƞ } ze@@@@| @||}a}  T_# w }j~_} }  |@|  e`@a@@ࠠ| @|||y@f|w8R|v~|tj|jl~sr@||| @Z?|P  eI??@@|# @|"| |@Tnn|WqPYsu^||x|~99@| נ e@a@@{ @{{쐶|!t|$wp}{@ {ڠ  d֐@@@@4{Ɛ @{Ű{|;Ġ˷{@ {  d@@@@K{ @{{|R{|Wᠩ{ʷ߷{{{Ϸ{|x|s{{թE{I@{o 7 4d@?@@z{@ @{?@]l{1 H Ec@]c@@{% @@{ W Tc@b|@@{ @ "{"'{$$L'{'.@z o lcÐ@^p@@z @zz &B>fA hC!G}CzFz@z۠  ct@^@@Πzɐ @Q@{T%Ā@.zȠ  co@@@@ߠ  @zɰzǐ8$%;' (5>*!t8-$vzŷ3 з0z·H ҷF2?Ơz ַ67z1z@z  c@b@@c @\ FSHN KLDFc@d Nc ؠ @@b@@b @bban{ eb@c=>]x%@b  @@c@@9bې @zoש@c&>%Ҁ9@ybڠ  @@@@@Ob͐ @@yb̠  @@@@@^b @ͷb@b>Q]@Զbo-}vb 4 1@@@@@wb @b?@bA}b F C@@@@@b @ P M@Y@ m7ͩxǠb r .o.l'@@b@@b @ c `@lAIߩx٠AA@@b@@b @ q n@zBnt3@@@@@b @ lH=xl  GH@yb  @@b@@͠`= @"l^S@@b  @@b@@ޠb @3lncx&@b  @@br@@bq @bp@tyF2J Զ@8~@bubn  @@b@@bb @bXrba ^ b[MbU@bbT Ԡ @@b@@@b; @ ޠ @Cnrc_yVpw@>]uI@@b@@.b< @  @Dl@c`   @ u/cd   @2>Uo@@b=@@Hb< @  @E -oҩ퐩uG@@@@@Yb= @  @)Fʶc|ymk E 2*oby 6mp J 7@@b@@rb> @ 9 6@BGmc@c \ N@^doԐ@@b~@@b> @ P M@YH no.u@@@@@b? @ a ^@jI !"cAyڠm  r.)ob@yhx@@c5@@b@ @ y v@J 8U;@XWw@@c@@ŠbA @  @KK Lzm  V~ک y@@c[@@ؠbB @  @L/IJmk`d!bC@d    @d  i@!?wu@@b@@b@ @  @MJdep9}p~u֐@@@@@bA @ ̠ @N\v+wadNbpzFn  +phyIK@@c@@bB @  @OsBmdeöbĶ@D@5dQ R@>EtuY@@c*@@5bC @  @P[p{pEېv@@@@@GbD @  @Qm϶dbznY3 %+pcB@@c@@]bE @ $ !@-Rζ϶dbm@dH@dKdM ?@>%^u@@co@@zbF @ A >@JSpp v]@@@@@bG @ S P@\Td3b4z͠nxej+pcЩz[Ԑ@@d(@@bH @ l i@uUd/c0z堩rJ3@>vH8@d>v@@@@@ bI @  @V34e Lc,M{r#gP@nveU@bJ Mv@@@@@ߠbI @  @Wf@>1倐@@@@@bJ @  @Xv@d>ŀ@@@@@bK @ Ǡ @YWq{=r^@)@@@@@bL @ ݠ @Zmq{To%@~?/g@@d@@,bM @  @[esЩe>@@d0@@;bN @ @ \eߩnk"#@@bO@@JbM @@]Ѷ@r^~w@@bG@@\bB @# @,^Ͷe@rȩ~Ҡ;@{* @@b_@@tbC @;8@D_@rѰݩsܩ@@bC@@bB @LI@U` @r署@~? jV?@@b@@bC @a^@ja !"eA@r>@O@@b@@bD @ur@~b@s (:@@b|@@bE @A@b4ˀ@1G@s*K@~ z𐑠bD@@b@@٠bE @\@b4̀@2L@s8DCgbD@@b@@bE @@cF`aKwx@@@sR^4bFh,@@LbEw/@@bD@@ b= @Ҡ@db|b>b<@b6sk穚@>%b5<@b4b2@@'b @@e~fn˩sb@:]O >@@b@@=b @@ fĶDf@fp'tfr)v@{ڐb@@eK@@Vb @@&gǶ\rxU@@@@@gb @.+@7hضn@|qn|pzTAF+beȠb@@b@@b  @FC@Oi@|s߰# @f-o_x!@fb g@@|@@b  @da@mj8@5|ܠsA*@A+x?/@f C@@@|@@b  @}@k*TAg`@ҩf_b 22H@ !Ts@@e@@Ҡb @@l)Cmض.Zgy@gxb @@e@@堠b @@m<Vs+ob7\\*x@@@@@b @@nOis>b-@@@@@ b @Р@o`z@Z$@@b@@a @@pp@j!ؠza@@b@@,q @q5@@p}a@@f@@=aϐ @@ q}@#}%}~t}@q+>P@@?@@UaHaa@aRaaaJ~𢢢]aaaaU~𢢢iaaaaaa @`@~aIFa~m@@@`~h @Z@@zP]aa,@QLv@ ~e`c``@@@@a~] @Z@`@~QTqw`vs`琠@~J@@a%~F @V@-``吠@@@@`ݠ~8 @R@~3;;@~]QTf`ڠ`ِ@~j@@`~* @N@~%O~PE5~R~7~`ՠ`Ԑ@~ @@a @J@@`@a%`̠`̐@@@@a} @F@SoAp}X}9}:}署v@7:4b}`ĠѠ`Ð@@@@a+} @B@lZ}}ِ``@@@@a}ΐ @m}͠+,@q~``@@@@aQ} @`bAA~x@}QT~5@@@@@ae@@@@@@.@Gbbbbu@a .>@a B@A@A7M@Obbbb}@ad7MF@af @A@QL@Xbbbb@bcQLO@beI@A@ABQTq@`bbbb@aQTqW@aP@A@QT@jbbbb@aQTa@aQ@A@A!h@rbbbb@ao!hޑi@aq#el@A@#$@{bbbb@a##$r@a%$ن:@A@$5\@bbbb@a$5\{@a%@A@:4@bbbb@b$:4@b&;@A@ABCDE`}𢢢cbb`A @@ `tq`@@@b# @@@Qc'cW}@#@ `)`)@@@@b= @D@$5\@b@#O``@y@@bTu @ @1``@@@@b g @h@o7M@fCC@#`ɠ`@@@b#] @@e!h@\[T\Q=V^?O` ` @@@@b:O @ @@l@m\``@@@@bI2 @@:.~@|1d+A,B*@r 8h2_  _@@@@bf" @@*#$~@!_# _쐠@@@@bҠ  @%@_0-_␠@@@@b~ؐ @@~js@@+#<p$GH_ؠLI_א@@@@b} @VS_cB79@@@@@b@@@@@@ 8h@d cca@c0 8h@c2;@A@A @dcca@be @bgB@A@A+@ddca@bA+@b @A@AB"bQ@d"dca@`"bQd(dcc@`js@A@#@d1dda@c#ӑ@cI@A@A#O@d9d%d a@cX#O@cZP@A@#@dBd.da@ac#ȑdHd4dd@aiQT@A@AB#@dNd:d"a@ch#ב@cjQ@A@2n@dWdCd+a@b2n@b#el@A@3!@d`dLd4a@b3!@b$ن:@A@4:@didUd=a@c<4:@c>%@A@ABCDEa|Ȑ @Ԡ_c@gi|X@@@@_|T @_ cAt|e@@@@_|I @_cB됩e|t@@@@_*|> @^cC~@<|3@@@@_9|2 @  ^dD@ @ |C|'@@@@_J|& @^dE̶Ͷ@C"@@@@@_Z| @|||||)@||ߐ^Ϡ52^@@@@_l{ϐ @?<^d6F|.|,{|-{@mSPdd@|D.Ĺ{¶@  {@@{@@_{ @  { @{8{@{@{@^ol^x@@@@_{ @ &'{({@*+{,@z{¶@|^j^e@@@@_{~ @">?|@4{}@&BC|D@ {ڶ@ ѐ^W^P@@@@_֠{p @:V(W|(XL{o@>Z,[|,\@0^L^E@@@@_렠{e @Ok=l|=ma{d@SoAp|Aq@-@F,^Aʠ^<@@@@`{R @eS|Sw{Q@iW|W@sB^.ߠ^'@@@@`{G @zh|h{F@~l|l@X@W^#^@@@@`,{4 @~|~{3@|@^ ^ @@@@`A{! @·|é{ @Ŷƶ|Ƕ@@] ]@@@@`W{ @*']e!Gٶڶ|۶@Ƕ@+ʩ-ʐ@@@@@`k{ @>;]e5H|@@@@@@@`{z @NK]eEI@Mv@@|@@`z @^[]eUJ @]^͐@@9@@`z @ol]efK@n@@@@@`zא @|]evL./@}@T}@@@@@`@@@@@@.@f2ffe@d.@dB@A@A7M@f:f&fe@d7M@d @A@ 8h@fCf/fc@ej 8h@el;@A@AB @fKf7fc@d @dB@A@QL@fUfAf)f@eQL@eI@A@AQTq@f]fIf1f@e|QTq@e~P@A@QT@fffRf:f$@eQT@eQ@A@ABCA+@fnfZfBc@eA+@e @A@!h@ fyfefMf7@e!hޑ@e#el@A@A"bQ@ffmfUd@bn"bQffsf[fE@btjs@A@#$@ffzfbfL@d#$@d$ن:@A@AB#@&fffjd@f1#ӑ@f3I@A@#O@1fffud$@e#O(@eP@A@A#@9fff}d,@c#ȑ?ffffm@cQT@A@#@Ffffd9@e#ב=@eQ@A@AB$5\@Nffff|@e$5\E@e%@A@2n@XfffdK@eU2nO@eW#el@A@A3!@`fffdS@e3!W@e $ن:@A@4:@ifffd\@e4:`@e%@A@:4@rffff@f :4i@f ;@A@ABCDEF]A @hzjW@H4:>@s]WT]@+@@]~ @|}zl('@q]he]v@<@@]}Đ @}z~':9@l]rzw]a@N@@]}q @~z_ @<A+OPO@e]]]F@d@@]à~ @+zhs_@^]B]2@t@@]ӠzN @]0f@Z@@@@@]ޠz6 @]#fAS@@@@@]頠z0 @]fBP@@@@@]z& @ˠ]fCI@@@@@]z @֠]fDB@@@@@^ z @]gE:@@@@@^z @]gF2@@y@@^ y @] gG*@@@@^+y @]g$H&@@@@^6 @t@\ \@@@@^Cyؐ @56yyyⰷyyyyyy@# I.B@}cGu@#aayCy-!@|:Ҁy?yԩy @~syCI 5yհC7yEyΠyɩ@~P!VyCB@\b_\s@y@@^y @yVwhh@#Jm@\p|y\Q@@@@^x @\OgTdxNxP{y0!z!@xx@@^àx̐ @\MgU-{0t1@yM t@@@@@^נ\I @\JgV5@@z@@^@@@@@@.@h^hJh2h@f.@fB@A@A7M@hfhRh:h$@g 7M@g  @A@ 8h@hoh[hCe@g 8h@g;@A@AB @hwhchKe@f @fB@A@QL@hhmhUh?@hQL@hI@A@AQTq@hhuh]hG@gQTq@gP@A@QT@"hh~hfhP@gQT@gQ@A@ABCA+@*hhhnf@g?A+!@gA @A@!h@5hhhyhc@g2!hޑ,@g4#el@A@A"bQ@=hhhf0@d"bQChhhhq@djs@A@#$@Jhhhhx@f#$A@f$ن:@A@AB#@RhhhfE@h]#ӑI@h_I@A@#O@]hhhfP@g#OT@gP@A@A#@ehhhfX@e#ȑkhhhh@eQT@A@#@rhhhfe@g#בi@gQ@A@AB$5\@zhhhh@g$5\q@g%@A@2n@hhhfw@g2n{@g#el@A@A3!@hhhf@g43!@g6$ن:@A@4:@ihhf@g4:@g%@A@:4@ihhh@h5:4@h7;@A@ABCDEF\\ @  @ \[|@@n@@\4y @\1;@h Wi2@\-@@n^@@\M\,<\@@@@"\;Ŷ9%"@ʶ.˶?+,@|Ͱĩϰ!}Kն9ֶJ67@@\ ٰ+BB\ \ \@ii@\?VG@@@@@С@@@@@@@@@@@@@@C\@@A@@@@@p@\\ @nA@|j{gJh@K<¶ qnQo@ݶ@m@\qVG@>@\\]gA\[4[@\U\V[@ [ְ0[23v[78{*[@n{z:4[)&[@@@@\ޠ @:@[63@@@@@\렠 @@=[ito@@@@@@\[ @QN[ipذa[d_@@o@@][ @c`[iq[߶[@s@{ࠩ~֐@@[@@]&[ @{x[ir|8[[[[@i@[BIũ[D@@p@@]<@@@@@@.@j4j ji@h.@hB@A@A7M@j<j(ji@h7M@h @A@ 8h@jEj1jg@il 8h@in;@A@AB @jMj9j!g@h @hB@A@QL@jWjCj+j@iQL@iI@A@AQTq@j_jKj3j@i~QTq@iP@A@QT@jhjTj<j&@iQT@iQ@A@ABCA+@jpj\jDg@iA+@i @A@!h@ j{jgjOj9@i!hޑ@i #el@A@A"bQ@jjojWh@fp"bQjjuj]jG@fvjs@A@#$@ jj|jdjN@h#$@h$ن:@A@AB#@(jjjlh@j3#ӑ@j5I@A@#O@3jjjwh&@i#O*@iP@A@A#@;jjjh.@g#ȑAjjjjo@gQT@A@#@Hjjjh;@i#ב?@iQ@A@AB$5\@Pjjjj~@i$5\G@i%@A@2n@ZjjjhM@iW2nQ@iY#el@A@A3!@bjjjhU@i 3!Y@i $ن:@A@4:@kjjjh^@i4:b@i%@A@:4@tjjjj@j :4k@j ;@A@ABCDEFz d @@ ʐ[RO@@@@@L @@T$z@Ր[c`@@@@@3 @\\p[p[p5pRp8@>Rp ܩ@@\\[@@q@@̠> @@r;S@e>S4@@?@@ݠ. @@s+## .%%0@@q@@[n @@tE12\4?w~}x@)$ŀ@@q@@ @ɠ@uYs(t@@\JU:8ݩ@@q@@@@@@@@.@kkkkSk=@i.@iB@A@A3@@N3 @P#el@A@'/@8@'/#@75Q@A@AB7M@)kkkmkW@j>7M @j@ @A@T@2@T)@$ن:@A@A @9S@ 0@I@A@ -@A[@E -8@GP@A@ABC @Hb@ M@9@A@ @U o@T L@VQ@A@A :@\@ :S@%@A@ 8h@ekkkiX@j 8h\@j;@A@AB @mkkki`@j1 d@j3B@A@QL@wkkkk@kQLn@kI@A@AQTq@kkkk@kQTqv@kP@A@QT@kkkk@kQT@kQ@A@ABCD3˚@D/@3˚@#el@A@A+@l kki@jA+@j @A@Aph@WB@ph@$ن:@A@Q@_J@RQ@T%@A@ABkh@fQ=@kh@;@A@!h@l+lkk@j!hޑ@j#el@A@A"bQ@l3lli@h "bQl9l%l k@h&js@A@#$@l@l,lk@jx#$@jz$ن:@A@ABC#@lHl4li@k#ӑ@kI@A@#O@lTl@l(i@ks#O@kuP@A@A#@l\lHl0i@i}#ȑlblNl6l @iQT@A@#@lilUl=i@k#ב@kQ@A@AB$5\@lql]lEl/@kD$5\@kF%@A@&S @ @&S @B@A@A-t+@@y-t+@{ @A@0F@3@%0F@';@A@ABC2n@!ll}lej@k2n@k #el@A@3!@,lllpj@j3!#@j$ن:@A@A4:@4lllxj'@kw4:+@ky%@A@6M@<V@*6M3@,B@A@AB9@C@9ӑ:@I@A@9O@L@P9OC@RP@A@A9@S@R9בJ@TQ@A@:4@\llll@k:4S@k;@A@> @d~@> [@ @A@ABCDEFG|=N @e@`I@=%=@@=Kc[I@u3˚#D2naY9?890@:4)@>S4@ @l_>S4h@A@A> &@BCDEFG@A@@=d~@A@=Dx@A@=)=@@`=,<=@=<<"@`@>K0<(@<>Q<<@@<=.@`L>K0=4@=>Q=<<<@@=&@@@@@A<K0='=9a@`>K0=7g@=5>Q=4<@<ܛ@=X@q@`>K0<۠xgd@<@@`r=M @<Špm<<@=q@@=Y>Q@=lŀ=^<<<@@`` @@=@@<<@>aȀP=:%@=ŀ=@%aȀEaȀ?6Q@<м@aȀ;Ķ;Ú@acW<; L;8;;@@aF; @;UDA;;@@>aȀ;޶;@a}W;;fUR;|;y@@a`;m @;lo^[;a;^@>aȀ;]@aW;\;Vnk;J;G@@ay;E @;Dwt;);&@>aȀ;%@aW@aW;$;;@@a;  @; :: @?aȀ:@aW@aW:::@@a:ݐ @:ܠ :˶:Ț(@?#aȀ,@aW:ǠѠ::@@aˠ: @:ڠɠ::@@aW:E@bWI@bW:ݠ::@@a蠠: @::n:k]@bW:jb@bWf@b"W:i :W:T@@b:R @:Q:?:<z@b6W:;@b;W@b?W::(:(:%@@b":# @:"1 ::@bSW:@bXW<:A0-::@@b;: @:J9699󚠐@blW9򚠐@bqW<79ZIF99@@bT9 @9ߠcRO9њ@bW9Πm\Y99@@bg9 @9veb99@bW<^9pm99@@b{9 @9yv@9@bW9@?aȀ9z9l9i@@b9] @9\@9I @bW9H @@ aȀ9B9491@@b9+ @9*9999 @ &@@!aȀ9 9  +@bW99Р88@@bʠ8 @8٠Ƞ88ᚠ ?@bW88ڠӠ88@@bޠ8ɐ @8Ƞܠ88@ T@@OaȀ88 Y@cW ]@cW888@@b8 @8 88@ r@@maȀ88 w@c3W<8 8u8r@@c8p @8o%8e8b@ @@aȀ8a8_ @cMW=8^6%"8R8O@@c08M @8L?.+88@ @@aȀ88 @cgW8  @cmW @cqW8ZIF77@@cT7А @cRO7o@7ɰ@@cI@ @cWBA@cI@ @cWB@cPA @cWB7 @cWA֚ @?Vм@7@@cc @ @?@@ @cW@!@cW>&777@@ccn @7p-A7!@cW!@cӀ@7@@cAv @7sƠ6<69!,@cW68!1@cW67!8@cӀ6*6'!?@cӀ66Ӡ55@@cޠ5 @ܠ5phB?!S@dWA!X@ASaȀBD82=ީ!a@>lA7R!f@?мAѐ@5@@d7+ @5pC?͚!u@d1W?!z@d6WBf8T>!@<"πA7t!@?B@5@@d"5 @1 5pD?!@dSW?!@dXWB8v>"!@<UB7!@?n.M5B$@5@@dD5 @SB?5pE!@?:쀐!@;ϲ @5@@dX5 @gVS5|pF@%!@dWB8>S!@;2O7AA7ǩ!@?\AF@5y@@du5w @sp5spG@B!@dWB!@AaȀB!@AaȀBࠩ!@@bмAf"@>d[|?5p!@dPBs" @@tм@ @5j@@d5h @5dq1H@t"@dWB"!@BaȀB"&@B!aȀC"-@@мA"3@>@ދ??$":@@м@8Bd!K@dPB@5a@@d۠5_ @٠5[qeIB暠"P@BKaȀB⚠"U@BPaȀCA"\@@мAǩ"b@>#$8 ?!q@ePBҐ@5X@@e5V @5RqJ@Κ"v@e2W@"{@e7WC"@B{aȀCl"@@мA򩚠"@>5O5"@@м@"@AмC@5N@@e35L @B1.5HqKA"@edW@"@eiWCH"@BaȀC"@A мB$"@=ś5?"@A-м@ĩ"@A2мC6@5E@@ee5C @tc`5?qLA2"@eW@횠"@eWCz"@BaȀCР"@ARмBV"@=85?⠩"@A_м@C""@AfмCj@5<@@e5: @56r#MAf#@eW<535-Bz<@#@CaȀ5+9B#@<05*5)B##@CaȀA/B8䚠#)@C$aȀ5!#.@< kf5 BH@5@@eȠ5  @נƠ5rRNA#=@eW:;ਗ਼#D@;=GB5#J@CEaȀ#O@= kfB@4@@e頠4 @4rsOA#^@fWC#c@C^aȀj kfA婚$@CмE"@4@@gQ4 @`OL4sUC$@gW4#@gI#@gP$@> kfD@@4@@go4 @~mj4sVC<$@gWE$@DaȀ@;°4$@DaȀ$@>VrO.B*4$@DaȀDg%@CiмB@4@@g4{ @4wt&WCi%@gW@;갩4%@EaȀ%@>~rO.D4t%%@E aȀ%*@BB]@4q@@gĠF @4oӠ @4V%9@gW4U%>@gWE4TҠ@4H@@gݠ4F @4E۠@4;%R@hW4:%X@ESaȀ48@4,@@g4( @4'@4%l@h(W4%r@EmaȀ4@4@@he @Cۚ%@h?WC%@hDW %@EŀB©%@E ŀD@4%@hUW4%@hZW44C2/@4@@h=G  @L;8@tX3%@hoW%@e@[@3@@hQF @`OL@tY3@%@hW@%@hWGF%@hW@%@hWG%@hӀF%@hWG%@hӀFњ%@es[@3@@hF @@uZDQ%@hWD %@hW3&@hW&@hӀ& @e[E&Ev&@F-F@3@@h3ؐ @@u5[Dx& @hW3԰%0@hI%4@eQ&/@? kfE@3@@hɠ3Đ @ؠǠ@uS\D&>@hWFٚ&C@F>aȀ@=5䐚&L@FGaȀ&Q@5Q IC5ޠ&W@FRaȀE&\@DмD @3@@h3 @ @u]DÚ&k@i'WG&p@FkaȀG&u@FpaȀ@=N6&~@FyaȀ&@5 I7ݩ6&@FaȀE@&@Dм7F%@fQ7@3@@i03 @ ? . +@u^D&@iaW@=~6F&@FaȀ&@5 IF6&@FaȀ&@D?C@3@@iX3 @ g V S@u_E%&@iWGh&@FaȀ@=6s&@FaȀ&@5}D6m&@FaȀFP&@ERмD@3@@i3 @   @v`ER&@iWG&@FaȀG'@FaȀ@=ݰ6' @GaȀ'@5}8l6'@GaȀF2@'@Eм8GH&/@fQ=Q@3@@i3 @ Π  @vIaE'4@iW@> 6Ր'=@G8aȀ'B@6 }F6'H@GCaȀ'M@DD@3@@i砠3 @   @vqbE'\@jWEo'a@jWG'f@GaaȀG'k@GfaȀ@>D7 't@GoaȀ'y@@rO.9k7'@GzaȀF@>X7 '@GaȀ'@@rO.97'@GaȀF@'@E3&@jTP3@3@@j8/eq_leibniz_list @@v"xsw&"ysw'@*SetoidList%Lists#Coq@@'eqlistA:p$@'&@"eqPBAfff@@"eq @w*@@@Aw@A@AB@@2Ӑ @@wW趐'@'@jӀBA'@@@GxA2@AGyAg@Aw@Ag@A@ABCD@@&@@@V@@@X9@.@.ՠ~7@A@ABC@@2@A6@B6 @6 @?1@ABC?.@?+@AD?'@5@A>@>@9@ABC9@9@A@@A@AB>@5@A9@A@AA6@BCDA@9@D@ABA2@AgC@Ag?@:@ABCDEFG&N@.@ 9 4@A@Aw&R@B &P@ {&O@A3@ 5 1@A@'/@ 0 ,@A@ABC7M@ ( #@A@T@ # @A@A @  @A@ -@  @A@AB @  @A@ @  @A@A :@  @A@ 8h@  @A@ABCD @  @A@QL@  @A@AQTq@  @A@QT@  @A@AB3˚@  @A@A+@ ߑ @A@Aph@ ّ @A@Q@ ԑ @A@ABCkh@ ϑ @A@!h@ ˑ @A@A"bQ@ ő @A@#$@  @A@AB#@  @A@#O@  @A@A#@  @A@#@  @A@ABCD$5\@  @A@&S @  @A@A)X &@-t+@  @A@AB0F@  @A@2n@  @A@A3!@ } x@A@4:@ x s@A@ABC6M@ q m@A@9@ n j@A@A9O@ g c@A@9@ c _@A@:4@ ^ Y@A@> @ X T@A@ABCDEFG@@@@8!@8!U-RelationPairs'Classes#Coq@@A@A9!@9!àV @A@B@#|@@#|] @A@A#@A#^@A@A.h1@/2@8-o@ABCDV@A@X:@Avl5@B(y@.@A %'@B ӳ2@ ӳ2[@A@ Գq@ Գq\@A@ACDE@@A A8ӠA4Relation_Definitions)Relations#Coq@@B&A @C"A @1=@A1z(BD1R@6@A6@6@A@@BC@?BDE?@?@A-@B--C-@-@:@ABD:@:@AA@b@ABYh@DEzh=h:zRCh9@6@Ah5@h,@Q@ABCDF4@@Ab@B@@ACBh@:@AV@BE@C@@A@h@ABh@:@A44BCDEGH@@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@As2@@&shiftls2 @vY@A@Bs8@@&shiftrs8@vY@A@ѓ@!@&squareѓ@y@A@@'@&to_intϑ@@A@AB/@,@)log2_iter/#@wd@A@l@2@)sqrt_iterl)@!$:@A@ACD c@7@'testbit c.@!ć@A@^Ҷ@?@'to_uint^Ҷ6@#m@A@A,@D@'bitwise,;@/v@A@l@J@'comparelA@3R@A@ABs8@O@+of_uint_accs8F@5+@A@.@W@!t.N@ ;@A@A.먩@\@#add.먩S@ `@A@B.U@a@#div.UX@ @A@.B@h@#eqb.B_@ @A@A. @m@#gcd. d@ @A@.=@s@#leb.=j@ @A@ABCDE. @x@#lor. o@ @A@.Z@@#ltb.Zz@ @A@A.p@@#max.p@ '@A@B.@@#min.@ @A@.@@#mul.@ @A@AC.g@@#odd.g@ @A@.&@@#one.&@ @A@A.뾴@@#pow.뾴@ k@A@.L@@#sub.L@ @A@.@@#two.@ @A@ABCD.,a@@$div2.,a@ @A@.Xz@@$even.Xz@ ?1@A@A.@@$iter.ؑ@ @A@B. @@$land. @ @A@. @@$log2. @ @A@ACE.@@$lxor.@ R@A@.y@@$pred.y@ `<@A@A.Ʉ@@$sqrt.Ʉ@ ;@A@.@@$succ.@ @A@.t @@$zero.t @ Z@A@AB/@@.to_little_uint/@ @A@CD/@@%ldiff/@ H@A@3@@(tail_add3@^q@A@A3@@(tail_mul3@^@A@B6w~@ @'of_uint6w~@^5@A@@@&divmod> @C@A@>@@&double>@NĴ@A@A?;@ @&modulo?;@"i@A@BDEFG@L@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw160.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼*Equalities*Structures#Coq@0όe얟)H.Ƞ/EqualitiesFacts*Structures#Coq@0)n,:5-|!N@Ƞ+Equivalence'Classes#Coq@07;ꮹ-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh."Le%Arith#Coq@0d}Omq+('&@0>I0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏y0x* .>S%Minus%Arith#Coq@0LFtR"zrzqzp@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ4Operators_Properties)Relations#Coq@0U3y#h&&Orders*Structures@0$Znl0\͗05Mܿ獐ζΖLB0 X@u#ɠ)OrdersTac*Structures#Coq@05'4Ԗ+9%%Peano$Init#Coq@0 jha|ؠ(PeanoNat%Arith#Coq@0O~2$k[#lZ$Plus%Arith#Coq@04tmG'Prelude$Init#Coq@0JqTttֱll l @0Gz rA6ՠ,+*@0CjN4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0|Ƞ|Ǡ|@0k窪ܸqSl%l$l#@0S_`nOU$]lܠl@0bb1z٠&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03:rHȠ8@2 Q@@@@"_8A@@@@@@@@@"_92M접 #Typ@!t Z#_10'`o@@@@2 Q@@@@#_11j&@@@@#_122M접 @#_13'`o@@@@2 Q@@@@#_14@!mE@@@@#_152M접 @#_16'`o@@@@2 Q@@@@#_17@ 6vc@@@@@#_182M접AA@A#_19'`o@A@@@h2 Q@@E@#_20@s g@@@@@@#_212M접BB@A#_22'`o@B@*list_scope@蠐N@!2 Q@@E@#_23@, _@@@@@@#_242M접BB@A#_25'`o@B@+@x@2 Q@@@@#_26#@=1ܠ@@@@@#_272M접@#_28'`o@A@@ @2 Q@@E@#_29F@2An@@@@@@#_302M접BB@A#_31'`o@B@x@_@ܠ2 Q@@E@#_32p@!)@@@@@@#_332M접AA@A#_34'`o@B@@@@2 Q@@E@#_35@!u~R@@@@@@#_362M접AA@A#_37'`o@B@@@@2 Q@@E@#_38@ {@@@@@@#_392M접AA@A#_40'`o@B@@@٠@f2 Q@@E@#_41@q!nI@@@@@@#_422M접AA@A#_43'`o@B@@@@A2 Q@@E@#_44@L2|x͠@@@@@@#_452M접BB@A#_46'`o@BEG@@@2 Q@@@@#_47?@% C@&B@A@@@@@@#_482M접DCAA#_49'`o@D*type_scope.function_scope@@@@Ag@@ڠ2 Q@@E@#_50w@00@@@@@@#_512M접BB@A#_52'`o@B.@@A@2 Q@@E@#_53@)Y@@@@@@#_542M접BB@A#_55'`o@BW@@A@2 Q@@E@#_56@d@@@@@@#_572M접BB@A#_58'`o@B@@A@~2 Q@@E@#_59@V@@@@@@#_602M접BB@A#_61'`o@B@@A @2 Q@@@@#_62@%*Ԡ@@@@@#_632M접AA@A#_64'`o@A@@0@2 Q@@@@#_65?@$iI@@@@@#_662M접AA@@#_67'`o@A@@T@2 Q@@@@#_68c@%"p@@@@@#_692M접AA@A#_70'`o@A@@x@2 Q@@E@#_71@!`@@@@@@#_722M접AA@A#_73'`o@A@@@ߠ2 Q@@@@#_74@0vd@@@@@#_752M접AA@A#_76'`o@A@@@42 Q@@E@#_77@?|E@@@@@@#_782M접AA@A#_79'`o@B@LO@@rHȠ@ޠrHȠ@٠@۠ @A@֠@@ *@l@A@A 1@j@A@ 2@h@A@:~@f@A@ABC@ArHȠ@@@A@r@@ *@ @A@A 1@ ~@A@ 2@ |@A@:~@z@A@ABC@Aޠ#tӡ'#@@A@"@@ *@@A@A 1@@A@ 2@@A@:~@@A@ABC@A2 Q@@@@#_82@4A@@@@@@@@@@@#_832M접 @4BB@A#_84'`o@@4B@r@@2 Q@@E@#_85(@4@/@@@@@#_862M접6@4@AA@A#_87'`o@?@4@A@@n2 Q@@@@#_91Q@y4qX@@@@@#_922M접_@4q)#_93'`o@g@4qA@@r2 Q@@@@#_94y@}4+rA@@@@@@@@@@#_952M접@4+rR#_96'`o@@4+rA@@@~2 Q@@(@#_97@4-'@}B@A@@@@#_982M접@4-BB@@#_99'`o@@4-B@@@ݠ@$_100@4+rUA@@@@@$_101@4-dB@@AA@AA@@@$_307X@3typeclass_instances@4+r@@$_103/@ @@֚@4%@𩛠 )*@x'@@@@@@2 Q@@J@$_106$@.@B@A@@@@$_1072M접8@.BB@@$_108'`o@A@ .B@@à"@2 Q@@A@$_111W@+69A@@@@@@@@@@@$_1122M접g@+69$_113'`o@q@(+69B@@^@2 Q@@A@$_114@" A@@@@@@@@@@$_1152M접@." $_116'`o@@8" A@!@,2 Q@@J@$_118@7,W6A@@@@@@B@A@@@@$_1192M접@L,W6ې$_120'`o@@V,W6B0@@S@$_308X@𒠠J@(META1131@w,W6@@@@x@?Coq.MSets.MSetList.MakeRaw#<>#18M@$_12146@@4+rJ@@2 Q@@@@$_123@4a@@@@@@$_1242M접"@4젠$_125'`o@*@4B@@2 Q@@@@$_126A@9|@@@@@@$_1272M접P@9|$_128'`o@X@9|B@۠@2 Q@@@@$_129o@4j3@@@@@$_1302M접}@4j3G$_131'`o@@4j3A@@2 Q@@@@$_132@ m堠@@@@@@$_1332M접@ mp$_134'`o@@ mB@A3@2 Q@@@@$_135@?/g@@@@@@$_1362M접@?/g$_137'`o@@?/gB@@A@2 Q@@A@$_138@ҟA@@@@@@ΑC@A@@@@@$_1392M접@ҟ$_140'`o@@ҟC@@@@1@2 Q@@A@$_141)@IA@@@@@@D@AE@AM @A@@@@@$_1422M접J@I$_143'`o@T@IE@@@@@@wt@2 Q@@J@$_145u@(A@@@@@@SC@A@@@@@$_1462M접@($_147'`o@@(C@@@@~@$_309X@A@6(META1136(META1135@;(@@Ϡ;x@?Coq.MSets.MSetList.MakeRaw#<>#28N@$_14846@@4+r@@@?2 Q@@A@$_150@J A@@@@@@D@A@@@@@@$_1512M접@a $_152'`o@@k D@@@@@#@e2 Q@@A@$_153@pO HA@@@@@@DE@A@>@A@@@@@$_1542M접;@O H$_155'`o@E@O HE@@@@@@h𠐑󠐑3@2 Q@@J@$_157f@MZA@@@@@@DC@A@@@@@$_1582M접|@MZ$_159'`o@@MZC@@@@vo@$_310X@yA@砛(META1142(META1141@MZ@@i@?Coq.MSets.MSetList.MakeRaw#<>#38O@$_16046@@4+r@2 Q@@A@$_162@:p"tA@@@@@@D@A@@@@@@$_1632M접@:p"t$_164'`o@@:p"tD@@@@@@2 Q@@J@$_165@";A@@@@@@@@@@$_1662M접@1;$_167'`o@'@;;A@@@$_311X@A@@G(META1147H@\;@@V\N@?Coq.MSets.MSetList.MakeRaw#<>#48P@$_16846@X@\4+r@]2 Q@@A@$_170f@h+mA@@@@@@@@@@@$_1712M접v@x+m$_172'`o@@+mB@@@%(@z2 Q@@A@$_173@7m֋A@@@@@@sDF@AHEG@A @A@@@@@@@$_1742M접@7m֋$_175'`o@@7m֋G@@@@@@@@預점t@2 Q@@J@$_177@A@@@@@@ˑC@AD@A@@@@@$_1782M접 @$_179'`o@@D@@@@@58@$_312X@9 B@(META1149(META1150C@@@QI@?Coq.MSets.MSetList.MakeRaw#<>#58Q@$_18046@S@W4+r@2 Q@@A@$_182a@#4^mA@@@@@@?D@AE@A@@@@@@$_1832M접~@@4^m$_184'`o@@J4^mE@@@@@@6vy@J2 Q@@A@$_185@U!=1XA@@@@@@DF@A\EG@Aϐ @A@@@@@@@$_1862M접@z!=1X$_187'`o@@!=1XG@@@@@@@@Ƞˠ@2 Q@@J@$_189@3A@@@@@@ߑC@AD@A@@@@@$_1902M접@3$_191'`o@'@3D@@@@@IL@$_313X@MB@堛(META1157(META1158W@3@@e]@?Coq.MSets.MSetList.MakeRaw#<>#68R@$_19246@g@k4+r@2 Q@@A@$_194u@A@@@@@@SD@A'E@A@@@@@@$_1952M접@$_196'`o@@E@@@@@@ J@ 2 Q@@A@$_197@+:#78S@$_20446@{@4+r@2 Q@@A@$_206@*4A@@@@@@gD@A;E@A@@@@@@$_2072M접@*4$_208'`o@@*4E@@@@@@Ӡ֠^@2 Q@@A@$_209@r @A@@@@@@C@AD@A@@@@@$_2102M접@r @$_211'`o@@ r @D@@@@@᠐@2 Q@@A@$_212@!=A@@@@@@C@AƑD@A@@@@@$_2132M접0@==$_214'`o@:@G=D@@@@@\_$'@<2 Q@@J@$_215W@G@?Coq.MSets.MSetList.MakeRaw#<>#88T@$_21846@@4+rƐ@z2 Q@@A@$_220@* E7A@@@@@@B@A@@@@$_2212M접@* E7$_222'`o@@* E7@@@2 Q@@A@$_223@xA@@@@@@@@@@$_2242M접@x$_225'`o@@xA@@ @2 Q@@A@$_226@&A@@@@@@@@@@@$_2272M접 @&ܐ$_228'`o@@&B@@@5@Ơ2 Q@@A@$_229*@&A@@@@@@B@A@@@@$_2302M접?@&ݐ$_231'`o@I@&B@@@i.@2 Q@@A@$_232^@(EA@@@@@@@*;$_243'`o@H@*;B@@@h(@2 Q@@A@$_244]@&;A@@@@@@;C@AD@A@@@@$_2452M접w@&;$_246'`o@@&;C@@@@*e@2 Q@@A@$_247@&#98U@$_27446@@4+r C@G2 Q@@A@$_276"@R)5A@@@@@@@@ED@A@@@@$_2772M접9@i)5$_278'`o@C@s)5D@@*@@fA@h2 Q@@A@$_279`@sPkeA@@@@@@@C@A@@@@$_2802M접v@Pke$_281'`o@@PkeC@f@@AW@2 Q@@A@$_282@:w(A@@@@@@@C@A@@@@$_2832M접@:w($_284'`o@@:w(C@@@۠A@2 Q@@A@$_285@$l A@@@@@@DE@A@@A@@@@@$_2862M접@$l $_287'`o@@$l E@ߠ@@@@A砐@ˠ2 Q@@A@$_288@$l A@@@@@@DE@A@@A@@@@@$_2892M접7@$l $_290'`o@A@$l E@'@@@@eA/@2 Q@@J@$_291b@%A@@@@@@@C@A@@@@@$_2922M접x@%$_293'`o@@'%C@h@@Ak@$_317X@uA@käo(META1180(META1179@^%@@ Ǡ^p@ Coq.MSets.MSetList.MakeRaw#<>#10[@$_29446@@4+r @_2 Q@@J@$_296@j%A@@@@@@C@A@@@@@$_2972M접@%Ð$_298'`o@@%C@ݠ@@A@$_318X@A@ð58䠛(META1186(META1185.@%@@<4@ Coq.MSets.MSetList.MakeRaw#<>#11[@$_29946@>@B4+r m@Ġ2 Q@@A@$_301L@A@@@@@@@nC@A@@@@@$_3022M접c@$_303'`o@m@C@S@@AD@2 Q@@A@$_304@A@@@@@@@C@A@@@@@$_3052M접@$_306'`o@@C@@@ɠA~@2 Q@@@@$_319@!4+A@@@@@@@@@@@$_3202M접$_321'`o@B@4@̠ @2 Q@@J@$_322@v"A@@@@@@!xC@A!y@A@"x0F@A"y0@A@@@@$_3232M접*,$_324'`o@2@@@$_32546@@+L S@>$_326X@<@@@@ @@*@ 3@@=@N$C@@]2wZ@@6@ Coq.MSets.MSetList.MakeRaw#<>#12[@nrHȠ@i@ku@A@ @@ *@A@A@A 1@?@A@ 2@=@A@:~@;@A@ABC@A2 Q@@@@$_327A@@@@@@@@@@@$_3282M접@$_329'`o@B@>A@2 Q@@@@$_330@,@@@@$_3312M접 *SetoidList%Lists#Coq@@\h$_332'`o@@@@2 Q@@@@$_333*T@@@@@@$_3342M접Ѡ$_335'`o@Bln@@2 Q@@J@$_336$@(A@@@@@@@@@$_3372M접$_338'`o@@@@$_33946@@y.[@r@#$_340X@[@@@@E @@rGj@ Coq.MSets.MSetList.MakeRaw#<>#13[@D2 Q@@J@$_341x@OAA@@@@@@C@A@A@F@A@A@@@@$_3422M접&($_343'`o@.@@@$_34446@ِ@6$_345X@’@@@<@@F@T@ĸ@^@`o@qY@@" @ Coq.MSets.MSetList.MakeRaw#<>#14[@2 Q@@A@$_346@<*A@@@@@@@@@@@$_3472M접$_348'`o@B@@2 Q@@A@$_349E@!BA@@@@@@#C@AD@A@@@@@$_3502M접$_351'`o@$D@@@@@BE@@rHȠ@ƠrHȠ@@àh|@A@Ơ@@:@8@A@AA~@6@A@B@4@A@;k@2@A@ABC@A#tӡsf@@P@A@O@P@A@A(/X@P@A@(0@P@A@(0\@P@A@ABC@A@g@@:@U@A@AA~@S@A@B@Q@A@;k@O@A@ABC@g,g*@@@hh@A@AR@hh@A@@hh@A@ABv@hh@A@a @hh@A@A )5 @hh@A@%@hh@A@ABC߿@hhz@A@y2@hyht@A@A@hohj@A@{[@hihd@A@AB{c0@hch^@A@{c@h]hX@A@A{c@hShN@A@e=@hMhH@A@ABCD@hGhC@A@Bز@hCh?@A@AB.@h>h:@A@B@h9h5@A@AB@h4h0@A@ w@h/h*@A@A!Nk@h)h$@A@"_@h#h@A@ABC#UK@gt@L#UKhi^@A@%@h$h @A@A&S@hh@A@'i@hh@A@AB'p@hh @A@'x @h h@A@A'x@hh@A@'x@gg@A@ABCD'k@gg@A@('z@gg@A@A.1b@gg@A@5 .@gg@A@AB6_y@gg@A@7G@gݑg@A@A8^I@g֑g@A@8@gёg@A@>&,G@g̑g@A@>@gǑg@A@ABCDEFG@AB@QJ8\@QO#tӡ@QQPq@A@P2 Q@@@@$_353Q^@P5ƺA@@@@@@(C@A@A@@@@$_3542M접$_355'`o@"C@@@@PPP@@P8\@PrHȠ@P@PPPP@A@P#tӡO@OP@@- @E@A@A@A@PO@@ )p.@P =@A@A )w@P;@A@ )x2@P9@A@2 @P7@A@ABC@AP2 Q@@@@$_356P@PKA@@@@@@C@Aw@A@@@@$_3572M접$_358'`o@"C@@@@FbFeF_@@F5rHȠF3@PrHȠ@Po@EHF@QDg@APtDhDg@B@*rHȠ@%@'FK1*]@A@EW@@I@Em@A@AP@El@A@Q@Ek@A@;@Ej@A@ABC@AF[#tӡf'@F^@A@fPEj@@I@E@A@AP@E@A@Q@E~@A@;@E}@A@ABC@fT) @@.@*}*x@A@A3@*w*s@A@'/@*r*n@A@AB7M@*j*e@A@T@*d*`@A@A @*_*[@A@ -@*Z*V@A@ABC @*U*Q@A@ @*M*I@A@A :@*H*D@A@ 8h@*C*>@A@AB @*=*8@A@QL@*7*2@A@AQTq@*1*,@A@QT@*+*&@A@ABCD3˚@*%*!@A@A+@*!*@A@Aph@**@A@Q@**@A@ABkh@** @A@!h@* *@A@A"bQ@**@A@#$@))@A@ABC#@))@A@#O@))@A@A#@))@A@#@)ߑ)@A@AB$5\@)ّ)@A@&S @)ӑ)@A@A-t+@)Α)@A@0F@)ɑ)@A@ABCD2n@)đ)@A@3!@))@A@A4:@))@A@6M@))@A@AB9@))@A@9O@))@A@A9@))@A@:4@))@A@>S4@)@>S4h+a@A@> @))@A@ABCDEFG@ABJ2 Q@@A@$_359F@UA@@@@@@WC@AX@A@@@@$_3602M접$_361'`o@"C@@p@R2 Q@@A@$_362G1@R'+&A@@@@@@C@A@A@@@@$_3632M접$_364'`o@"C@@@@&Z&Xt@@@@zD1<.aPZՄ@Rc-I?D@ oo/N!'@r޳ 1r񄕦Sd2vu!xA!X(MSetList%MSets#Coq@@!t *!l)Datatypes$Init@$list]@%Logic@#andЖw@A@&Sorted'Sorting+@%HdRel%5p@88@"lt 2BA @"eq @5@$boolZ'@M'MakeRaw@#inf4ˀCA@#"5b* %!H:9C@C@C@@@@@@@Da_@Fs;D65/)E<!;=A9(CA;5-tAk0!b}{*Vo@(eq_ind_r!2#@*comparison;f@B!c c]@@@@@@@@@@@DdmfBWW4@'compare:~F`%lemma@#iffС).()Morphisms'Classes@4iff_impl_subrelation5Ga@';/RelationClasses@(symmetry0xjA' @-iff_Symmetric!x"MX@.compare_lt_iffMTB>CABA@B@B@@@@@DɰéѠAC!y"ys کԠ,%͵@W˩٩3I=6թA"H0Ȑ"H1%@&eq_ind J!e@@@@@@@@Du7@%Falsee@=@$Truey@A(F@)False_induُ</"Ha$_tmp4.KBzBHĩ @Ҡ  LG٠WSM P+OᜠCVC@U4XRBod"&+$ cCvkf@@}1ĭ@ysd@"Ok4+r{@Z@*Sorted_ind | JƷZ"Hb"Hc]y@$andb=gl@$isok4@sǀ)@9iff_flip_impl_subrelation2VA!E°Š$Bool@-andb_true_iff 52&$YW,Qdܠ@'inf_iff+69Ci@(list_indj)rqɩ{A364"xs&$IHxsةFBBB@@@@D@`z kN @2subrelation_properJ74!A!B@*respectful%WO?@.Morphisms_Prop@0and_iff_morphism Ƴ&Basics'Programw@$impl7or@$unitUe@A@6subrelation_respectful>6z 1թ@0subrelation_reflv -!  !^@6reflexive_proper_proxy5皠@-iff_Reflexive/hUoiڠ^hZ̠blxzW}ϩB H~OLn!sh+v @4%К@#elt4̐ "Hs2(@#mem4ˀ*SetoidList%Lists@#InA q9@@ 1) P&@ȩ @  ͷ#շ &CCCCC@@@@@@@@@@D@6&+@&렷+3 :.$>74)*=.,\@?@/=ڠI-F86 ZJO  蠶cSX @ESSݠIWCw#]U!a#IHsjt B@D@D@@@@@@@@Dki@Ѷ@=mAʩŠC=0өѠXϰ吩"d`R@(isok_iff" gDh%Hl)pi,dvtV@@^R7w^O7y"a0Y]{ɰH*ϰJg@'f_equal=Է׷Ke|k3LxMÐNhO%@6U'ĩIǰ!P6SR!Ӱ  oܩߩa߰٩9Q,NTΩ8(-Ʃ+!.  1@,compare_specFȺ-*&@+CompareSpec!Q]@E    69Ȑ"c0'$CAAAAAA@@@@@@@@D@]LV#$P % |@  wglBpW-)r`Uuzh~w X@"or @(t@>trans_sym_co_inv_impl_morphism'\|̩@/Equivalence_PER/;Ӛ@/iff_equivalenceZ!/s/uA\@(InA_cons=I4@2@/3"H263Aq8@&or_ind" C"H3#>"?|xOM=8[,&@0@NpaRѠ_Xbg*Z"=;>@.absurd_eq_true!0@/diff_false_true .9 (OrderTac#OTF@/w++ @)lt_irrefl j>YƐ @%eq_ltReflexive_partial_app_morphism 2R,tvv@$flip$}}}@隠@/or_iff_morphism3   }/) 6RѰ}E$̐&АٰMI өBPPS% 5]@%lt_eq<`8OhC8=ݩnhȠXYZu\H79̰ $BC!!n@88 w6vy8W<{@@@#add4Àwr}pCtC"#@ @+&*.N/ɩ y*k۠:@bΩd̷w@ ITWL!N}%L-&N/(NEb2xxʷ" @4a@&N 9BdIPà.y2kȐ"H47_  K"l0=C]G#adhLLM`!ĩiil$#SnWhXk,7tct0.oe2sQȐ"H587xjzm{@=mKqȩH_DVKu,ϩGwzK zf}{֩V6dY*۩[r& _>)YCYdYS@Yԩodĩ_#ȷju>@t@r|qvr3pnljYJ t*hfrdtb^WUNLJH/@F DΰDBUM:@©ذj@^RC 22@><2O#u˷@@l/1 Hcܷ7;=?h$@E}K|tPz  (V{CHmm̶@y@wC=8@<@A@@:ũ9YP$"kilu4@9iff_iff_iff_impl_morphism8Cũ|0٩YQvOQHV{?\,c˩gJski .{vVT@ YWZ"W]% LC`(ib%Cec@ f.[nl/ðo7Щ@5;z>3ɠ#1@FlImCװKbGũǩVNJ~ @@SWΩ^#Y]Z>cJ;eYGdiuhmu}Ysr;Wzx|C1ö@ ȶƩG$ ?÷+(|+p1.ͷ$o"q<<@\\8$k(C|۷@C@\D}KZMX>V T@SPDTRXPNZLJ\HMFu1@Db S` GfBWJkh\@iFo>`<\ <D"ASxxW@<r:Ny@y@z&tԩŠ v.zѷ~|<.g=@z@>B Dx5986vKBtrOO+D@'add_infIK_~@y[#wCN@ a_@b*'&EmS@qv4{x};|b{^@D, ~@~4) Ox~@l@RVƩ]"y0ct_c"eiu2(oR~-sr@/wO5|z~Hש3ҷŶ@DϠTӠũηZP.FSǶ bܷ9AAHշFB>:842I0a@./,&R3jw&©  ~@  ʶ@ʰ! Ӡv   ԩذ "ةܰ  ɩ)o-; +0( ,  ˩@ 05ݩΠԩI 9>@ +cà /x   @  2MM̠K]5 ͠ 9S LȷƩGƷ˵dA V[ Ch X]QmB C C aG`u ej ( d nTϩ?9x <0d,@AN < ~] B  S  M ) O  ~@@ R  Vؠ  !hܰߩ  o k   8oqrmk  .O t[L! v   y u X z  ~ #g  b    LΩ  ]     T   é B Ʒ Զ@  ʶٶש  vf    V ·  ׶?     1 ˩%{M  Է    E C     4 P G@,PER_morphism q 2 W%J)  '', < a) > c|+1  ᠩ "'ɩ @! @I$%zu4ש81F 6;i?@*not_neq_eq".嵷  @#notШ\@ /waN  驷 [ c@'eq_refl(0A\l@&neq_eq ,tR -^t@&eq_neq y= g? 8 7C57CIaLJJH > >WllװPNL IGBW NLG'Z>&<<> X+0@cB2 ^ ]C[CknlpoLo N it k k k k  @ k  &( q 5  P3 vF  @ @'   B Ű  '# $   l ]   " Ʒ      i#%         C Ƿ ն@ ض ֩        O   ж  8  ( ©  {   4 (@=trans_co_eq_inv_impl_morphism&ni$  8 @.iff_Transitive*z  4@/eq_proper_proxy)f f  L4 K @e]Xf ӷ[cpxvzuv  D V  { {Z@u d3 #( mu     @ ~@ n= -2  6 /DL W    ߩ Р   9 + )    ܷ ~ |z x  v  G:r H@t K I _ OTBFr n  |  B. E C   l j Z_5 c \yk g e  _w glZ\z$  uV} mrH /{{t puce t   [YU  s$  jj3,  #   "n  p Gll ne} PC o@y@m}kioipy b b b{&t/zt|v l{y6}  ~; v,. { { { { {  @   <8C  /   OS  2     q@     c     @&remove8Ҁ          C    @      &   :  a     ^ W b Z d@    * Y  i . °8(  (* ư    @ _@թ    ! U Skm K a< = 5 Z 3 ؠxt  ݩ v Ʃ   |"a1 "    z~ ŷoЩq    a  \     6 g " 3RL < ^+ ĩ    : -  <g =@  /x B@  D ۷    7ڷ : 8    M   " O    R  ( U   I G@ . [ # @  M ! g *] 5 b *,T % U v ) Y  s i) ( ^   1   3 η  r d b = 93 8 h   #E9 > n J  )˩ s s'   ]% I H x 'ԩ | % Y  ^  S Q  ݩ U  Ð_$ Z Y  `  a @ a  o l h z  o c j  18 n   b   zd   ~ #@&Inf_ltr&        |@  v  J ]   $ $@0     . *  ^  @ %à  - } 1 շ  ŷ  -1 x"$  m j:  R   @ @    nD  \   ݶ  EI    M>   @@   FH     _ z   NRT{Vy v  s ; @r\p   {  @dpao y  m  fl    ( Jeoll  N r~  ]      @e6c L  ^   b      @ @  .   7 0 >XN%   ߩ Р    9 + )   ܷ穷  ѩ     G " r H@   K I  M  ( V Ow߷    C F D    , Y ! b [X     R P@ @ 8 e - n g3 [*    2 ͷ  q c a02驷 >  ~  @ީ V  K  ҩ K  zݷ } {ܩ b  W  pݩ   ^ X  X c X   R@@  Y  Y  Ӷ@ m  b C  Ķ ; Ŷ  @ s  h I c  ӷ    Q4 L F 0C &A|{y      w     } r j,  Z e Avt                  ƶ@    ɷ gr C  ˶@t "   p o    m   Է rh 6fd _ A  9 C@] 0   8  d    W    v  շ@ =@V >   " w T R HP     N :     J N  ?N AL JH FD B W @ o  +@>   ]  : _ B w      ` d8 4 f2  3  E  j jI@. d  ,     } { qy w u a    q u  fu hs qo mk i ~ g '  R(@e  +  )c a  i  "!   _] [ YW Z  l   pUP  d  ȷ)'@ @ << ɠ     ۠   D64           R D }S@  V  T X  aZ     N RQO    d, mf   %  k3 @*remove_infO H  e   & Ő       > A@ @ @  @ հIC@ ٰM#H'   g     u  b Ԡ  V"  V# ÷  ķ  ~@   a@   D  k m& i @ g@  Ys q y     w  c T z à   h {#          q b    U v @ z w xC-l+@'and_ind14ۀ 5 η  Ϸ C     ܩ"   |>     Y     WJ{z U MW@v3  <N  .  .r qd~  @ W@qG    , sȐqo p  _   n Z  j  o] q[ YW US Q O   K!@M  $  "i @MK I W     Gv MGC A ?= \ &  W,  S.   b $&@? @ bF"3 C-: İ:8 ]  >   R T 驷 " %    t    x m)  g, E   / CC8 &];Y ^ .2F ѷ Ե c@)ListIn_In. I $List @"In$ " U IMH0 NRM1X<620F 5 ѩ  7HbcC   9 l efe e e ߶@頩  uF)l <@@tv wr^O y |x[  5  Ƕ@ ʶ ȩ? (߷ݩ ۩ 4 ~ x u X s@@ͷ :ݩ 2 -ϩtM A  A  E >g    0  2 򐩚 @(eq_trans    ѩ   CC S g ̩     Щݠ  ֩ /  3   (䐩    琩  [ %CC Z u  ~   8    \ n r@|B ͷ.,@@ SC HɩLE Zm@    N@>  \ O ]@! ` ^ td i W>'#(W CZX,( o t J"<2y.w q y ~ l$ h   Z0ALLN   w    UKIiҩРg$ ~~` G,7,  6YZZ\|@ &b@X  f v4  z ͐ ֠ ѐ ڠK\ ' a a {CbCG 'J֠L  | M& Π a  A,  [-yj{C  ,D ÷ e (64 b88 7; 5B <> ZG! 2! vHC%  #HH '@B1 :BC a8  +2d&HFYͩ0VZ8 e:2W0ՠ u Z@BDCCj@)singletonCd*QR @>.3!@5 B27;]1 !)'@K;@@-Gi=FD64L  :TTvJ @Z|P EE _UIW M^ *g-]#!b/&%f  )(i k  l@.^<l2v 554dr 8 gujh<=  ? ?J?9~pnB\>8@4F0,H*&J$ K"  @ P  S T%X Z˷[ 9@@y  d C kfzhxItUFL sm QrtUaRX Ey@jh z@ <HΰTķewsCC"s' ~ #Hs' @n@vqs@%union4倠<# ʷC +& Ҷ@@O/*$Hrec//:6218/z0 @@.,ScD;< # CMDE%@ @*?l)"x'X"l'U%Hrec'_VY @=}@W@ȩUjsNy @ys|@3`(  @6c+8e-hp_~rtcvx@@)union_auxBuaWUנcKfOj:VҐW3e 8·`shI g^vk0 6@@im qt2à \ ϩ`|e }> ~Ab n_$ȷ }# k  n 6 g, _ͩ2Z ϩ8g+Ux@"|D5j%L?gSPD ک*r}] N: @a@Ͱѩ9z=z)_]pkYox$MEjC蠩    "%ܩ͠%~6 &  ٷ"H6- Gi3Mo }88xRt  < @Qpj<S W6 Z'f]g_@!Q d b9f.ɩok~j ).^< 2ahec 1˶ Kx@;MzB̩l" <ְJ XMiM"zx@_TN@N~R f[nma\BEgb3HȐ"H7c&GlSDn $ bux t sK1yðTQ b#ȰEYP[ _а1M3:Ȑ"H8ZoFאpٶ@cI wvrq]ݐq߶[sa!x©Š@oƶ@ưʩ2y 57z$uѩհA52ש۰ %G&;yqʩ$ T44V$ :\{&k&& @b|+ t/@  Ik} EIv~{  MӐP@|R@D"`-Z"QcCrB"R&UAYW&2b@m5_vD%0<}?n99D93@9idd=mb@K@:@@p DtGG@GwK{NNȶ@N~dY*T3_7]Y/@@vk)OhUF p d Ro穷qݩ}٩,O@׶ ̰?ڠ e]!:r&#өٰCNv.Ziȷ@0@ϩEKbˠr E1ٷAxf"@`(dt] \5!k@@d B.g~zxɩ #vtplhfb`^\0Y[1@XV5>`TLSBdHTSmc.Q1/PC LnMZdPrtWO ?=@M@K%R{[}FiM_rGFB>!`P<:6#1,%*%'#- mn@-Er:i{+/6<'knl;SHr(69DQ-KKVKE@ILWLF@  MMǶ@NNȶ@bW$-Y_2 XT*@@qf$/-*(i|ҷz  7VĠCsZȠG^$wdU!s a~ 쩷";^Ͷ@(жΩũ۰ѩca^ \η: 0 D  G L K PY-D5]޶IF:Ω*}( e i)$] S Vǰ0 Y l˩4 ]  p| hY @j@  B CN!ݷKF &u s鰩0R v> 4V zB  ީϠ"8(۷FqG@JHL Uw񩞠ݰؐxV*({ [3dr!hv Ґ !(WZX&@m5 vw8MK ~͠AE0+E Q&~|@@dY ީ(" \ɷqǷo ei©T' &tv  ZK$u+i|0¶@.ϰթWURPɷ. թ$߰MRӶRxvsqƷO E"&ĩn @@13$4?Ӡ۷<7p fڰ!Cѩ/ީ%Gթ3 ϩ")d6a7@;2Df𩞠̰ǐgrENpEٷrm MGXzfF] kǐLOM4a)Sj퐷k,t&A? rH6}+:/%0;  Hw3CBMB<@ CNC=@DD@EE@YNC&@_T5ƶ@bWdY UUŷƩuC4>8"s53nmk^됩JjX,HS/dzb @ oZ\ o,_jF{y@$t,dYK ( # , @s~C@@ 0  @X@-=mC@@F\Ķ@^@?Oéw_jbl@@p@[] e 6"$:&(S>⩞@@KߠHC| #r,N:0R>!ﰷ2ŷ&$@@9BdBPGuܠ E5SE~T@WUY!b%p  OSRPe-n| (^\@Ķ@0`4 ǰs;i26f 6:j 87m @'Bݷ 6q@ٷ@$FvR Jz}I}}ZPO OVWU UY  W]\j  @b aao7N im{ kq  p p~Dy 5ϠJ z |ehRk @&Inf_eqrp$[  7@)union_inf7m֋w - !.})T,m_%aC\,*= B8 D< <E >7U / D F Lé  Ȑ   qCː3EjjI@ϰ  Ӑ :LqqP@5k 3tt @t@u!*L*8/M砷sөĠ -yз}{;-f<@y?=A Jl XB·{ 8<;9yNWye{yHF@@[#Q詷  $cS""⩷'ܩ)ة++1ԩq r@Ҷ1u1s˰w? f99?ܩn ^qo>׶>ΩذL iF̷FʩT3 yQX  5 } ۩٠`   h d f/n4   hh@[ii@ȩrƷHnj}@@@ |ܩC@>  ér̰ڠаޠt:'6)42zk!0sԷķ/, w0.4,*6(&8$)"QԷ @ >/<հwtr sP F h# k & n yn Y5J=r^[O3\Щ34?Ӡ <7pf r B . ݩ$F 2 yHjF@{@|(V֩Ǡ 0 ӷ> i?@B@D Mo 1Аp{N"x sSt\~٩j`ݩnqN >QOd,m EQn/B@s 6}ީ:%::H : ӠL'GFz  өϩ͠Tېߐ\X #b (=\\ֶ@]]׶@fC@o@3jffE֩ҷͶڶն[թ<`?bF@ JRM@Of@i  m@ @\طȷw }z /ط}@B%6C )$ ЩB =-(\ +62 .- 4+v ,R! &'`"x0D; <@2"'6&+@ ! ~    %#@ s@8(`  ؠ^SCHX+D4\䠶Z  @CQxo pPeUZ jT0 + )| ']{ % |0qaf  v젩wgl % #% !ַ@ p  ѩtyw G  @    J ] [ݠQ qU u@ e!EDGa= ʷ  f6@@ E5Eɩ vxz{v bS}[q|_9˶@ζ̩m[]qK̶4$թ  ѩokH@H@q:  pHFYTBXa 6.S,Ѡq lnְa jé'y xuiݩ *^Yd0OI2_69;f<@.wA?UEJΠYIN[KP, =@CA)VjZ_c q=砩rbgtdiʩm Ei1 ?l4 rwܩ{t|z$$ &D$$& ͩЩΠ   ! 7  9;=_;;=   0頩3/*6;= ^ l,\QD[% '\ $+ MN6$ MRMT4,odWnQ3.SQؠ! x#@  [,34 [ &DC.,:03 2QC@}1D@jO0K~1JTf  h  l  n b  ϷC_  jk + m #q 1!&s ĩ     2zwb}-+//)25##869+   ɵ 2          <  ȩT %$C"CM!\ܰP2-****@*Z.^11@Ʃtyx} z̷ck  Arp@ض@Ƞ ՠKMNI5& P.DSO2کXԩZЩ\X]̩ @ʶb^栩Wӷhdiҩmi©P Ǡ\ηwsI@@ȩH m^ #fǷ|"j')+Dֶ@1ٶ"שGY7(P Ѷ<9-)N   gF775^ qp dt $@f~fm ~}L|&K rlhQf+PwZRNVTʩ&$4Y!,:_LiiJ Hhf5té})ũRJoHrX|%6C@#@> !<"8M=B -+*20@TDI@6  РҠQ, y_OT. ؠW2 eUZ4 >W G_5 !Lf  % P, SS &%U Yj6-+l ש/p  32s u v@8hF         >  K{  O~      "    V, &  ggrga[4l qP sN:LJ<HF>D uB$ Ƿ@@D "?G1 ~E- ׷L -1O - ީ<JD>$%%@ ( (TVՠ* 9, W\۠0 R2 g` N/I,˷mJ2ln?өsө@ KfH@Enp'P  CvxC+=bbA@Z,>ccB@]L ] |6- . t@i@Y(b lf~mƩ | x÷}kigeca_].!Y/@[20wF6;.dUc),*SQAF3Jlvð  ͐ mxK   u pPZ| h^ l scaOM@@mtdi? qkeSQ -ȷ l!\ķ,O.MKIGEC:AzY{@?~|à=7FGu ,xv޶5Π 5    X ط k i _   c   N G?=I8M$*>*{[[7&V5=8 b+%! B =0  6  ?W"$[]v,xm`w"<7$#(( 5G'%PR3 2< 4 .L[1 i |C^ @zG%A@"FA#EBoQ)N d G@Ķ@Ȱ ˠ  ԩϰ; > } کհ  {M  }"D - Dݩܰ  FU  !*L < 5 %o > )V 6  ,  . Y /@ ! ! $   ' R * (ǩA  Z y  ) B 2 7 31-+'%  # O >z P@!  # D oh X]  rש ( @  M   ! Q ? $ $lϩgecmc)lR sx TʰV%}   :C5v^ Ұ ^$C A ̩{y?|ڰh GB}kk L L L L Lƶ@"N  M MǶ@Ѡ  C  ؠ  @" ] ]ͩ|ɷĶѶB̶wx@¶@ |  q 1 \@%inter4Q۷ Rx yCW@ö@թ    F  !f2@@    U$o?ѷ p CtDֶ@@    c2 @@    n= I T L V@Q@@    | P "!OP@@)inter_aux)4  Ƞ1, e  6deN| Ұ {;23ywup! !@p@s !  &Hvqp{᩷}dnbΩ  p!(!t ˷`^\ZXVT} R !6ȷa!7@P:8!!<!/ EgNM!Y !2!5!3K!!H!# QsIѷH !A!?@@F!'!T! ]BA/-+  ! !_!O!)'+#"$&!- !m!n@,qo!F!s!;֩ |  3 !: !i!l!j8Ҷ !R!!Gѩ ?K! !x!v@ @ !^!!Sة   V X    < - !W! !K!^   穷  b  ۩d  թf  !c ϩ!! ̷!@ ˶l ɩ!{!!p  ǩ Ʒr  !o ө!! !!w !!!{    }  u!S!!@ @ !!!  ǰ  V       o ` ! %!@!ɷ~!  & (         ! !E! !׶@   !!! ҩ  4   ~! !Q! |!!Ҷ  {!!! ة  y? x  w u!  !$! ! I I@ u< s%! ! J J@ oq m!&! K K*@ i g!'! L L+@ c!!!!< a! ][ Y WR!!@ R@U!!! V ZP[]DNB   ! dP"!c `T!@>h<:j86l4]!2!"A"@0rc!"!s Ww+h!7!"ȷ""| ym)!"&!} Tr$""@ @"""0!ש Q  ߩ Р ! "9") !ܷ"!"Gr"H@KI" "M" N "!"A"D"B ߩ"*"W" Kٷ!!"N"L@Զ@ҩ"4"a") Hܠ*ɩ,!! "+ Ʒ!"j"Z268:"7!"w"x@@"O"|"D ED"A!"p"s"qI"X""M @M!E"#"{"y@@"a""V :$!N}!Pyu!=!. "X ""L"!Vsqm!Zhc!\a\!^Z"dW""T"@S!dQ"|""q 5!hJ"nY""H""!mG"""z  0!qA Z"xQ B\"!!""_! a Ұ!h!""j!!" !"* ""!$"" Z! \ 䰩!# R!,"" T"!"!"<  ! "l۩!i ""!"!=!=@i^g"!"!>!>@ca""!?!?@][ ""!@!@@W""""0U" W  ׷ O!M!KF""޷@!F@I"""!y} (!{" % "Y S" *X RY O B NS^ĩ`GQE!!"!gS# "f!cW"CAk?=m;9o7`"5"#D#@3uf"#"%#I T"'" $ Q L", K"4 V I F nr=z"I"#"ڷ#%##!;# #8#><b m"@# = j e"E A"M o ? <  ;ηEݷ#>#<@!@C#$#Q#WUې{ "Y# V- + ~"^ 8"f  6 3  2K9!75""#*!ŷ#i#Y'!# 315-,)%.#!0#7"#w#x@6{y#P#}#Eਫ਼ "#F Y W " /"  . +  *J!#Q/####O! #i##^詞  "#_ r ȷp " %" ͩ #   c'4%o#D##@"@ ###w9 "7#x   # "İ ֩    9&""m"^#"##>#Ƿ|#$&  ##C##ն@###A߰c!"a# ޷! !#? "!> ? !( ##\###ݶ###\{!&"y# !#!#W #!(ƩV W !@ "###@@#$ #2 3!>##Ҡ!!;!6#o #!@Ωn o !X ""x"ǩ"#"}#$!$"~""橷"\##$.޷ Y$/@ݶ"۩$$3#*97]!h#;#!8!e !`#@ #H!j   ! #u$#$6$9$7#$$K$=QOՐu!#S$!P'!}%!x#X 氩#`!   ! ߷#U##"$d$,#m! ""z"#u!"İ$p$8####$4  !!$>@s##"а$|$D3" %"" "ְ$$J5####$F  .#!$P,)$JA= - $L#W$L""!F@ $M#X$M""!G@   $N $N""ȶ@W $O $O""ɶ@$c$$X#C!0!!!@ @ $j$$_$ $Z$Z!!ʷ!˩#z"H4"C"="'x:"8srp#c"""O"##"o# [,#"K#V"2g}e @" "" "$["##" ###$$$\# o,#"_$j"F{y@##$$t,#"d$"Y"K#  #$$##$ #$!*"!"!"!!@#"$q|##$C"@@##.$$1 $"$"""" "@!U@#*#:$$= $|#$C@~@#B$$E ""@!Y@#:#J$$M $Y $d $\$f@@j@ #U%$$]$$ ".!\ ]  @ 2"=$$Ѡ" ":"5$n $"? m n "W $۰$#v#  v!%%@#v@#w%#$$,"N!,| $蠷   t#ԩ#Š $#!%.% # z$ѷ   ~ $|$%<!.!g%=@z !@ !>#%B% $K"m  { % $%8!<%;%9 # y#%N%$W"y z x$!%G%E@#@ #%Z%"!P$ 穷$  $# %##"%b%R$!#!% ᩷ $&  ۩$(  ש$* *%0 ө$%p!%q@ Ѷ$0!t0!r#ʰ%v%>$" Ϸ$7 7%= ک$%l\%o%m$<#ն< ̩#ְ%%J$" ʷ$C ɷC ǩ""%Q ũ %>@)inter_inf!=1X !%S!%S##Ͷ@ F !%T!%T##ζ@#%%]%3$Y$U h "+%%@#@ #%%g |%b    $N$? %i$"G%]%!$ %Khj!! !  %v%%%!!%@!!!!$%% y!!%%0%!%%!$! $%% v!!!$"\%%@$#@ _$$%%!Ơ$ ]$ [ Y$~$o %$4"w%ط%ȷ$$0%{h Wj U$ S Q$ O M$ K% I%U%3"%@ G$!!$@%%C s$ B% N%`%з%%$$I @$J%%M p$ ; 9 m"%"1%$V$V 5@ 6 " %"2%$W$W 6@$Q%%%n$Z$ !Z"%%@$Z@s$[&%ϩ 1#<%%Р# #9#4%m Q%#>"l Pm M#V L%٠!r!t!e}$ũ$%${"&&!z$w!k%·{y!wu!sq!o!t%m%&-""X&.@k!"1!z"/$&3%,7]#h%;%#8#e #`%@ I%H#jܩ E#̷!y!&%&6":&9&7!$!w$&L&EP֐v#%T&#Q(#~&#y%Y B%a#ĩ A ># ޷!!%"&R&P@$@ $&e&-F"[%$ %&  & %% &.$ɷ# &m "&]%,$ŷ ,& 쩷 %1  %3  ⩷%5  5&; ީ%&{ȷ"&|@ ܶ%;" ;"}$հ&&Iz #% &J#]#[#% ;%# : 7# %O  O&U &&t&&%T$ T $&&b$#%"&c#v#̷t#& 4%# 2 /# %h  h  ,"&n"&n% %  @ c "&o"&o% %  @Ω%&&xC@@E%&&|  &w&w&V##$###޶#&##&#&#&l$$ #&###ȷ&@#ũ$ @$ #&n#ɩ&# &%#&&ŷ@#@##&#&%`&%&ܷ&&̷%*%#%#%#%%|%(#&## "&#%&&&ط%(%#%#%#%%%& &#@#$&#&|&>#&&&# 4#%#%&&C$)&$$$#Щ&B$'$&X 3'$,&$'J*$5$$1-$,' $3$*#u+ߩ&Q$ '$&g %+  $=$4#5$&@$%3 @%5 $ &$& $%$ ''@#۶@#$6'&$+&S#N&蠷&'( '%v%#%#%#%ש%Ƞ%t$C'3$8#Y &#&'4 '$%t%$%$%$%%Ԡ%r &#@#$P'@$E&##'&&r $2$2& &$W'G$L&$D' ' C'J$q$h#i$I&$^'N$S& 4#$y!$t'U$|$st (&$i'Y$^' %t &#&#&&ʷ@'d$$ ũ&$x'h$m'&k&&s$#v  񩞠t@s$&w'8$tK$I$&| &$#o  $ % 'C' j$$r&H$'y'w@%߶@&Ϡ$'$&%  ݠ&S&U!V&Q&=&. 'X%$6'!L'&[%&W':"⩷"&`ܩ&bة&d&`'eԩ''##'@Ҷ&j#&f#&$'$#_% ۷&q&m'r۩'!'#''&v& &r˩&$'$#&°$Y% ַ&Ƿ&|#$R''@&@ ѩ' $'$#%  ʠ#$R#& # &w&h '&-$p'ѷ!'#,&)#'t! ! #1  #3  #5 #&' 'N'$ '@ #;##,#'($'$Qe& #B #3' '['''ܶ#G&D#8 '4%'$Y&%L & #Q #B 'B'@%'%i'(|}# %(% o$'&'K# %( %q'',#s(%z'Y #'3'X# &. % z w'` u#':'_#&5 i",'=%'b%&7%  b  j' `'h'f &= ^7$'E'j2# &B ]",'J%'o%#"  \"'2'L Z(@# @&N =!# ! ( < 6 0# 6 4㵷' =' ٩' ̩(ꐩө#L(#Q("(!CC Z!: a [&~ T"" c- H(I  "  (."  (/(/(/"*:  J! ڷ8 m# ] [# _& A"4 a#  $ &  "  #ְ%&%(%%(%(L"  (M"G r#  " # Z'WUP'\ZU6ʩ'b`[(((gKE//(mN@Fک#H(s(rCpC1"? ܩ#*42(20(z(y(z(z(y$(y$(y''"@ O M$(z$(z''"@'%(%(JS& I(\) %%''%U((@'@6( %(%(= '!1'"' 'y'j ('/%r(ӷ"(÷''+'(v$0$2''''((P($Է% (@'$'$(*%(%$#<''((\($ȷ((ݶ''E'(5&(%$K B9''$Q%((@'Q@ (A&)&$8 $[$] $N '' ('d%)"($c'`$T(" 멷" $h  $j  ᩷$l $]( ݩ()%A)@ ۶$r%$c%(_&.)&#(7$x $i( ()ȷ))$}'z$n ѩ(j&9))&. ?4$ ķ$u ©(u $(O(t$ : (z $(T(y$! w((}'T )N$(\(I'W &)## #)!@'@# u  +"  )* 5 /# 5 3)# &8)@)>@ @  )(:)S#)C#   #  #  # )  ()`r%)a@ #  #  )' ()V)Y)W#%  з#&  %),(7),''&&(R)k# )[#) ŷ  #-  #/  #1 )8 ()x%)y@ #7  #8 )? ()n)q)o#=  #>  %)D(O)D''&>@   )E#@P  I# N $ s q' #H u$  ' &)&# )u&)&㵩 (4)#\Y7 )A$ҩ$)j$ CQ)mC$E)r)sC+9(M4)C"#D )5%$8 R%O%))T )[(]&)&m$ޠO($$נ)$<b)$6[}))d(4 ~'&'oU)CE)# ©%,  O#j )[K)  CM#o )`P))))& )&)(B(B$!@ } {& )&)(C(C$"@=),&)&)x~.=)\'' ܷT(&))@(I@ c)9')&)BjF("^(#( M(( )(\&*#)((X()%] K%_ I( G E( C A( ?() =)}*&&9*@ ;(&(&)W'&*'%i( 5() C)* %* * ((r( 3)b'1*!'&& %K'V)))'&'S'N). ް)6'X  ܩ  'p$u( ;( 9%&Ʒ*'*%@(@E)}'L*<'A&t=%ũ%+%)((۠ *(&*D#*4%(%)$'$%%#!%%%*)*R1&}*S@%&V%&T)'j*Z'_s%%*)*M*P*N%(% )'u*e'j˩ i')m*.'jA'?')r ְ)z'ީ  ԩ  ' %% ) %))%gf ܩ) ک%))%led ©)ʩ)Ƞ'*'  ( $))(( *Nqqa *o@u@]$N 4 y$!5\ *x  }$U'**@ Z@  T*`)*$T*$] H  $a  $c  $e *l **&*@ ~$k 5 2$l }*s *"*ͷ**$q 6 "$r { w&*x)*x))'r)*$l*$u   $y  ${  $} * *3*&*Ŷ@ $  J$ * *:***$  :$ x t'*)*)+)+'@ s  q *$;G$_< ϩ&%  ( g$ &)  ('*'7 $k *'*'0l\lo3)g*7s$LJ%%*GC{pB)v*FtCr$ #*u!(((Ljg*C**·$ &Q - +($ .*$~! C&Ω%rWu*7*T*ͩ*ӠwYԩ*נ<)($+(ܩ&+A)ܩ&/&$%2*␩%L**)$ M+E!****'L*'^*))%b@   'M*'_*))%c@ ~*m(<+,(1*o ~C+/(V(MN'*t(C+3(8*ܩ  )N **(p(g](h*$(4((($%(%$$$ ])'(h@++B+ +*ʶ@++E+ +*ͩ++G+*𩚠*@$diff48\(*n*($*&,*s(*%($$&$@)$.))'(@+.+[+#+*@+1+^+&+)e(**( (()B((((@)(+ $*/)( (*,%&-+3C(@$@)((@%@3+K+x+@+!1u+|(+l(t()[((@'@)ȶ("(@+Y++N+H(@D+\++Q+2Br+)$*O$5(-(*L+d++Y+S(&+UC@$&@$<(4(@@+l++a+BRon(ķl(j@(@)(?(ɶ@+v++k+e'@a+y++n+O_f+ ec'e\+'a+ +@Z@$@(O(ٶ@+++{+u%[@+++~+y'ީ++++a+*氩sQ*İ('vP@@(diff_auxM(*K+J((+)HD*ٰ('C)@++r?*"1*(w)'2++++%'%++++(%(q++з@*8@;++++/7+s%%%*%w(** +*J(6+%+޷%*F%}+&$%" %%%++k+'('+@%(%'+,+'%%++v+'++%*_%+, +' %&% *(,,@*i@+,+'( *勺**ũ* +*{(g,%,**w+·}穷*۩*ש*+ө+,-з(X,.@϶*(1(/,,3+ʷ*+֩+,'Ʒ,*,(**ũ,,=,*++ܷ,4,2@,,F,,@,,I,Ġ++** ,*+,R&,B+,u+++, +,`(,a@+%,,,(,:,g,/ ++,,+,[~,^,\+0,7},E,r,:+y+6,= ',,j,h@,O,|,D,>@x,R,,G8p'n'jf+.+ ,I*+,&=,x'ө,Sc_'ZU'SN'L,VI,,F(,@E',b,^,p,,eV@'>,bM,,<,,',mJ,{,,pa8',sMGe'x<˩QT,r'ie(U(,t+,t++)n@;C9(,u+,u++)o@5y3(,v(,v++&@/-(,w(,w++&@),,,,E',V#+|#+x)[)((&{)Q,,@+@,,,,+ΰ)(",U&&& &Y +v+g ,+,),з&,&+(&_,s&&&&h,,M,(p) ,߶@&(&n(,,,(©+* `!&&u,,Z,(,,۶&+C&z,,,(+* c &'y&+),,@+O@,,,(ש,*' d(+ש+++ ,+c)O-&,++_,eϩg+é++,,-)@-@+)),-, ,$*F+,,---++z,-', ,0*R++,ȷ- -@@--3, ,<*^ ++++ՠ ,+,->&-.,,,}, {y- w,-Kt)v-L@s,-#-P-,Y*{o ,k-{,-Fi-I-G,-.-[-#ߩ,d*e,!(,-S-Q@@_-9-f-.ѩ,o*Z!(W(SO,, -2+ͷ,-q'&-a(KG(B=(;6(4->1,-~.)-@-(-V--K,*)>(&-J5,-y$-|-z(-a--V,*!I(,*-\8-V)-V,a-V++*P@<)-W,b-W++*Q@q)-X)-X++'Ҷ@)-Y)-Y++'Ӷ@ -m--b-' -8 ,^#,Zm*=*Ƿ(Ʒ(']*3--@+@-z--o,񩞠1*,/-p)*ٷ*- !l,*)]o*-D'u'x'w'H,e,V-,*-'t-'},'N-b''''W--<-)_)-ζ@')Ѷ'])ϩ---)]+,[-ͷ++-9!,+ !E+"(&''q--V-)--׶',?'v---)ީ.,v+!,t-++-R!-+$!M+;'(',*--@,X@-.-)ਫ਼GE/+:- -Πɷ+7+2-k"착-+=!a+T*,,,é,-,y*e.'. ,,u-{婷},٩,թ,-ѩ-.+η*V.,@Ͷ,*/*-..1-!sq[+f-9-r +c +^-">㰩-G+il+޷, .-.4ӷ.7.5-,ҩ..J.!Ԑt+-R.۷&+|$+w-"Wٰթ-`++ӷ-۷"--.P.N@@ԩ.6.c.+!퐷+-k.,з?+=+-"pΰ(ʩ-y+++!-7ک-9-!-.<,׷-.{(0.k-?)̩-C-E-G.H-.*.@-M(.`..U%ϰ+-.Vi+g+-"ŰR-+iU+-`.aũ....-e5.x..m)/+--.n+׷+. "j-+{m+-xB*.R..@@@...(G+-E.++.#"-Ӱ+, b**,-{-l.-1.L.շ(.ŷ* M24*$*&*(..Q.+ .@*.L...)'q,-o.,,.M"-,,6*A)..j...*FY...A?),4..Ƞ,1,,.e# .,7,N*Yf /-,=.1.d+L.-.-q-q+ж@r+M.-.-r-r+Ѷ@+<.+N.-s-s)R@-+=.+O.-t-t)S@./..\C@@'+,F@./ ..+Z@./#..+./%..Ω...ǐ,a,XN,Y.s(,4,,,(),)(('--~-~,,.S.x,'.~),.X,.}),'( ' @- (---.,.`.,..-/H/.-),.l,.),( ((@--/P/*,.q,.,,(*--/T/.}.u..s/+,,-8,,,,@- C,@( @--/e/-/i,/Y,a ,-H,,@+@--Ű/q/9*C@(@(-˰/w/?0L,J,H@+@-é-Ӱ//G8.><+>5.+:..@3@'@-ް//R.#/E.,+H~@,./Z)9m,÷k,.#{Vx.,+~Yw,v/d/@ .f%.bu*,8//@-@(.//teq/o+(+ (*(.[.L /v.,T/)j/+. +/X)u()w(+( ( +( (+(+ /(/2/++/Ķ@(++Ƕ++ũ.// t+$(+/(/=/+//+).&+'.'// z+.'+'.,i//ȷ@.0@l.1//+Ӡ.j.h)f..| /.A,/)/շ..=)/)ud)wb.`^.\Z.X)/V/b/#@,/@T.+)+.M//P.O)/[/m/"ݷ//..V)M.W0/˩I.H)FB,,/,>/.c.c*B@6,-/,?/.d.d*C@((.^0 /~(&/u.&g.+g,0/@.g@(.h0/ܩ/-?,/٠+r(+t(+e(}.ũ. /.{,0)0+z.w+k/·)({)(y+(w(u+(s(q+(o+t/(m/0-,,X0.@(k+,1+z,/.03//<-^*+(l+/(t/0),-0,0*+.+(j.0?0/H-j%+(k+(i/,׷0806@.@ک.0K0g,A/ ة/ * .. 0.,0S*0C/.*/)ҩ)/̩/ȩ/*0!ĩ/0a#,0b@¶/!,e*!,c.0g0//p-"/(*(0.˩/0]#M0`0^/-.ƶ*-.ǰ0s0;/|-./4*4--0B0-@(diff_inf:<ŀ$#l0C,0C,0C..*@tEr,0D,0D..*@(.ٰ00M(0#/I&/EX+-0|0z@.@(.00W-/0X$dk-i-/$ٰT֩/-,W-0a+) +)+)/M/>0h/-F0*\0,.+0J*g)*i),((, ((, (+0u(0$0,,0@(,,,,/00+E-/C0$D--0!$Ѱ!b/Ѱ-$;. "T,%),0) 0>0,·00,*/',(/(00D^. /\0$X..0:$ʰǩ/. $M.#+f,>) ,/) /-y00ط@/@@|/A00,㠷/z/x*v// 0/Q-0*0//M*0*t*r/pn/lj/h*0f0r1$P-.1@d/-*-/]1 0ѩyI3.>00Ҡ].;.60o%ð0.A.X//n*0z01 #11 //u*l/v1"0꩞bL.W0*0p.T.O0%/08.Z.qD -X0-j0//+n@%a#-Y0-k0//+o@)T/160)RC@@)˩/1:1000ܐ.v.m/.i.y.df.q1E.l.c*d*0.Y1I.N0/l/d' t.1S.z.q.Qr*&15@.N/p.G'@/u.U.L0.V1@.O1"0$0 .N1V1T@""1)0O1h1Z1X0',.<,.:0+.6000.013.-0Y1r1d1b01,.F,.D05.@0!0080$1=.7".%C#1!".m&.m0A.n0='@ 1E1DC.1...*Y0ˠ.1.13C01.1~.M./m..1..-*h0ڠ.1.1BR/P.Ƿ.. .1@/'e.@/ 'j.1J1 1q0s.0p.P1v01+k1N01+m1F".cC0bC1W"00{'~ {11C1...0.©1.1.1pr ..1..*1.1.1{q/p17-1B-1:1D@1/.(?1#.1.11>%1kl0/-k*@)s /0q1+//1O%hd0/!-c/8b0a'a11i/)/ % !g0.11@0\@(v1L/2 /1UQ0%_'͐_]0*u0+0(d0010s.2+200o01-t(b-v(`0(^(\0(Z(X0(V01(T12%..P2&@(R0.)0.'1n/=2-/2. Z0G['[0(P01(^12$.2'2%000(N1}/L2</A.."(0WW'W1(K1(I-.ַ2725@0@U1/\2L/Q.'@0fS(SQ-٩-?-=0020.2X, 2H-0-1,;,9-75-31-/-2&-12f%E.2g@+-.j-.h1/~2n/s%k0)(0)-'-26712e2h2f-0ζ-%1/2}/%6!0 (@ --1.11.  0 0,2N  /11/勺1.11.  0(U-I,10910.00,0-@0not_iff_morphism Z>2b⩷1190(g'$11'00Š(m2q'1ީ2@"@0Р)(x,w#$*,J%(2( {,.1r$,-6&9122[ĩ,©1j1{,,-AA-ͰCi218C16,!1" 2C2,($IK5,mJ(ߩ.5ͩ1ϩ(˷,,x,y2.F/&@ l2@1OP o2-o2@ t12(#m%1#3%q,(Ȑ(à8, n j(:.<2Ր(B%. %D22C˵K"L1"KC,,1*x)$3#222/F2/X21}1}-\@/G2/Y21~1~-]@(x2g063&0+2B1@((|20U0L'!M 1/3"3 @1@)2x0G370<2|,1+1,1)11֠ 31/3?,3/2112.).)2))2 ))2 )~23 )|23M/@/x3N@)z2/Q2/O20e3U0Z/3(2)t23)23H/43K3I212)r20p3`0e/R2i0)&2&)m2")k./3Y3W@1@w20~3n0s/I~"o..].[22  371ҷ03v-+3f.1η.3-6Y-8W.US.QO.M.3DK23&c/3@I././2͠030&.A.3PQ23 633.1.?2ؠ030&20 .R.4.222㠩030' 23 //-0030'3($22(/3.030'3p00(22/30' .>2,/422// 9/-3/923/44)%331۠2S($23 (/NI10I.{,21k31`/S.jM3883@/X[>@ -/$WB-bX3͵-թ/+2 // 36//3:22-v3/ Y Y.m.Q ]  ]&3# p'N ].'P r33C2 ٵ-. 'U w//33Š y'W- C22-/ h2ɩ/ 2 2/d. 6  6 3ϐ.o & <332mC23C.-J%B)Ӑک2/5- ߩ)ِ/3P)ݐL -N/r2 2̷ ~33ϐ*1R1.'  3C2ҷ  3Ր*C23C33-y%`l- Q// 2Q  -#-OH GB/2X*1T4D1I'# 3.,-ZS RM!/4 '* w23x3 =!4 x .ư1W  e2m1g4W1\  @1j4Z1_  34<3 Ȑ"H91K4S4Q@1u4e1j 4'@4'4W4+34*3Q4j.4Z1r #H10414a3{Y454e1AU04h4h.2@4;4:4j4 04n4.3K84B4@438%4D43 tȐ#H114J4I43 34 04@4O43] 31 4V3<64U43 4Y 44 44=1T 3F@1  0204c3n4c221]34.W4F141!;4h97;5L31N/-P+)4q'4 4 η04@%V141 03_Y#24z*4)4 ·44^141u43ga141  ɩ030434331~@44NN3n44L43&C0R4404143(3(/@cpa04143)3)/@*#41414^*#4oB11(·"":31h44Ƿ@3/@+I41414( ,3-D3.3+333} 43B14.4ַ33>340C+10E+/3+-++3+)+'3+%34+#4c4014@+!30304=2 420(Ϸ3+34+)4o40۷4433X3+4H252 0 G"#12<4"4Р("29"244m)İ 42?(| 2V/ڷ3+!3+0s15 5 @3s@+4c225"2'06#0}00p3Щ3 4315*.5030v4ͷ. . 0 0004458(1c59@01<01:42P5@2E(ҷ005453!565403042[5K2P(c "Ր#u24S"5!#'2}#%2x4)X 4a2!ũ 2oݷ004֩0440נ©40440Ϡ442}5m2r(ש &3)ɩ*$44*~)356Š5W@ @/6 &/ "D5`k Cl/?h04.!/D2s5{5y@252(l5O(54v5/D5/M2"95V!$!"/S /U/W>5^5 5!15@/]2!{4K/_F5f55!55/d2!!4S/g1&5!!ة4I&05!!"+n!!ѩ5V0Π!!ة0à!50!!!!5%!!!ݩ0!!5115454"4"245Ʒ/{5/252"p5![!Y/WU/SQ/Ou5K5D5!25ֶ@I/252"24/G~5N5M5!55ζ/252" 54/L/p0!"!1155!"/v5!!44/|1!!41 !!00!!! 50\!""524Z255454Z4Z2;8C4"5C:5/H'/ik/j" 1S4//"c536 3(,393("<"{5C//&"m5 ,C 552=52O54t4t0S@2>52P54u4u0T@+o5^3-63"55+oC6 3G3>#$?25e346$3)5ͩ 4?+0[55됑3d3[4 3W3g3R$T3_3P4$Q45w55署5@%equal4}35䩚5@%Equal43#s'03t5G683j3g3G$h456 6q5r63p3P$q3Q65@43U3U@454絩5@+reflexivity(ϓ/6Q%5@5Equivalence_Reflexive3*66-r336M6M6R,j4ʩ3636P6D5366@@-5656Ϸ665302,-2.-5-55p53ߠ26%56356ܷ66̷53635f62:-ʩ2<-5-55~536326q563@-5-C6/66d6e644)4"IHŷ4$56443f%5H6>66664 3%!46@5Ʃ@5ɷ65ʵ3455}556T4#7463S46C 6 5ש6^1,7{4zxv54}74 Z5636D4@ਗ਼6F@5Equivalence_Symmetric. U4G3666-4P4,6T6T6q,̐6V4;7+406X65477@4A714656e66737%7#54;3o62.!2.5.55ՠ54D3J66736(7A737164U7E4J3}72./2.-6.+55㠶6 4^7N4S3X6674 e.C677 `6K%'4}%y4x4u3%vص637L7J@5@77N7"3ǩ67"7666361(667,33쩷66046336666337434 767777g64 736=667l63637?6&6 7A5ܷ477r7p75ط6E7#6A7E7u4Q46E7I7y537(37|7|36Y37O7N7~76\7.3773337V.֩72.6X7X7W76e37 7337@7]7337<36b36堩7c7]7663N3r3<3667Rn1)%+7J7n76|36r7r7!73777Q6 6w77737z67z7t777 3U3777h3[37`6773̷67773364[77@6"@777-ߩ7777/7*7%(3 37,7,7+p653n37%7#06/1_76330777,7074J 3࠷6777j1k6777n33L677q4E6.766(76T477766P3T73E774+3I776f+64977446+7ǩ7ư77-6Ʃ4?78 4*4$+7Ω7̰8 7:+6̩7а86+3k7ԩ7Ӱ86+~78+|4A8@7ٰ8 4R+643u47a7߰77|7w7r+p+++7z7z7Ω+"+6786+3778+8 86638837+77x77777++777+%668A8 +388D8 ++74$45N'8(+)47477@45V88+$8788778$778$+H8 !C5g% +778(8"38. -~$77-y8.8(8382-w7+S+ǩ776"677778@4"87ɩ7Ǡ6ڰ88N+ة6Ր+ک677778N448p@'6@V$%K%!E-75'˩7ߠ5858`%,5858b+77砩5858i78%=%#4158o%A5858q%)-$77-5858[$4;58_%N5858a%M8z5858c%-74"858%T%:8858587ΰ8%m+4P5Ϡ8%q5858+4L784G4X5נ8|%v5858~%{84;858%~+8!80-$78"-,4g, 3,868&6w4j3.6F88(6A0.8-88805%-$8 80-3:8)@8per_partial_app_morphismp854m8%%8##6Z88<6U%))8**ж@P)@2G8B884I2@/696 8%8@468%69 68%468%6#968% 2 4e %4n68e%6-96"8g%8߷% 2(5619!6&8k%2ީ87659%6*8R%36-7%6;9+607%888Cз86W(`8t6C93688%6E956:8,*fж@4qk@t4Ġlc42@q4ɠ9@2Ϸ2;8496Z9J6O8%9 @B>&&8ې3ư829@ 4۠;944=8䐩46`8%99@D46q9a6f8%%%@8@@C4A6z9j6o7%9L@69o6t8<%@G69r6w8?%3/ %646|8E% 465%69~65%&E%87ީ5 65%6965%465%6965%3%87E565%6965$M465%6965%6965%4%Щ4%5%545}8ϩ9k%5%֩9o%58B6965$c3:/g%%&x/k%%Ω%4ˠ%%թ%4Ϡ%%ĩ4Ġ%94%%%ɩ4%%5j94%%5%9o9N)%5%45%9X8Q)%5%4°5%9y9X8-57&4%5%5f592&08p.&,& 4'&&$4%%%4ְ%&5v94F%5&991)%5%٩4ް5%9t98I93yb&_^5?XVT5:Y&"8y75|65&7 966&5J75$7975&7:75&&\9&]99ŷ5Mj99Ʒ&&67E57: 760&#5[7:76#&&i&@88n57%:76#&>5f{{3&I87'5k!5f"9J5g!9K93&P-5q'%#5l(9̷5m'999&9993&W)X55z7=:-726e&?&&_5%3&c55&g5"&R6@&F--9f:&H6B&m:$658٠7S:C7H6!&K3&j4&h6>&h9985&}685נ[7b:R7W6Y&k5YUW'Z9'W9::3&ȩ55&5G&w6e&k--:%&#8!&&5{5o&:+4&6^&:/9*m&^6M&^98$:1:1&E&985h';&fe5޷4&a5`5:?:?4 :@'E:(:A:A98+48&8 90w887H5#ϩ79977997:9˩9@6trans_co_impl_morphismo99/:U98@48;85908#88:Z7997:]C,=:e;:@9`E@9a 9b7C759N9?9젩7:7:n&7:7:pI:oCR59V5c,:7'.8:7'0-'&97z'(-:y:z1g77'H'H']0_!ݩ7:7'K-4z7::@@:::''9:9:Ʒ::47Π'b:4W::9'*4[::7'B47::4w98' ::::c'Q47::4r9' ::::&'t4::: 'd':::9i'K:T:'P7:@::9'T47%:94::9u'W': :a:'::47&'947%'"990.5'&'5&':7 7::9:9_9_79;::48;8 ':ɷ4=4;49745341':/:;'}7=;@-4ѩ8';8%7O9׷4+':2:; 'G; ; 4٩8/;8$':9߷4ܩ82;"8'%'N6l6'N''7..::'9'6r:'D'E9Š9v6'N'>'N7:97i:9:997@:;#..9::;'Էک;.';6:5,;C8H."8;E8J.$'.&;;18q8M...0"[8[;K8P.'587;?;=@@;;A;':;:;;T;F;D58\';4;;J:d'4;;N8*'57;Q;Q59$;$;#;S:'̩5"7;W;h5:4X;+;);j:'5(;-;n:'(5;1;0;q9':;s'7;t@;6;f:D'548~$:956;;;k:'(C;?:;n';q;o5=8\:B5?8'&<::G*6۩6';N6'~''~6'';S77;S:^;S998M:y;;;5P8;8(9;X5#>5%<5V:85X645Z2(e;a0;;'7;@.5`8;8'7:f5c-(n;j3;;';;5h8;8';p:n5k8;8''66&k''77;v;}7;'ө:R:z;Y6Ѡ''˩6Ơ&w;6'''7;: 7;:;: : 8@;;(7(7:;;M;(7;8;:':'6@;;5J5J;;T;7j7;8 ;:.:.6 @;;8i8i;;;;4;/;*)C);0;0;!:;;d;8QC;&;;8a8|;;9#9*999*99(99:8*4ũ;7;;;@&subset܀3;;@&Subset9|3"s094;;9*9':O*(9;N;̰;Ʃ2;2;Ѡ909*19;@:@:;:89D:ީ9.<9#;9;C ; ;C;d;;ܩ-;<'9N9^9I9F:v;29T;;*K9+<@:489/@7892:;:89a:9K<;9@;8::;;::;;::ؠ98<C;;<;~|C;<<R;*9s*o9nZ]J9|;O<@9r9o:*p8;<<_<8;[<9y9Y*z8ɵ<>@:c9^8@f9a8:<:99;*L;&9T<\9]79S79Q;B9M;.;;E9<9;<2ܷ9i=?@==19z2<9D89B<==<<<0U0<V'Q0<R'S0;<==B< 28=<=E0з=H=F<;8=.=[=#0=<==<<<00Am0<n*(0=j**0I<&;=k=308ũ=A=n=600<ϩ9?099:x00**9/<9+<<@9@:'()=<<===7<<=B.<թ0n*&=+0p)=H(:N<ѩ<Ϡ=M=GU=7V2$<<2=S=M=<B=W2<0x0=$'9=@@*[*!S<:,۶@ <;W4;R;L;668I;,8G=q;<<;ܩ<8f,<;V<8a;=6r/=x=:*a*P;e4;`;Z;D68W;:8Uߩ8] =:=j*d*Y=;%<=; =Q99N979!:Ҡ=[*R=79,Ω8G:ؠ=\*<==CQ03<;3- @09#77(=%:*n*d;4;;;i6;m;_;Xթ9kө8=:=p*c*P=ש;L= =.;G٩9s;P= =2;K=9=8=6;=:=<=*{*9-8,=;=?;;;8;;6;;z;s;a==C;\;>;=*:=à9g>; =**=M=K;> ;==> **;4;;;6;;;; >;=*=;t=1=V;o9x>;=**=9lK =ٶ@d!77=c;" Ω;4;;;6;;;ͩ9;'=m*8 7>';,2=q**=  ;=H=m;9  ;=L=q;=[=w=u;D>4;9===>6**L8,=W;=|;;=;=Y=~;;L><;A='=9>?;D=**é==;U>E;J=!8;4;;;7;;;;Y>I;N=*> ;=j=;9>N;S=**=۩8Ű~?>@Fg+><i946675+;9ࠩ;_=*9;c<*8+'9L*=0*:j:m=>,*=2+->0*:=c74&+69+9鐩9o*e**e9j**g:>:8*:)2>>>.|*:*9r:*>)><ݷ8=>C>C8c>D>DC$J>e@=F@=G=H;);9X8HP=5=&>PC 9٩>S1LI8O;~G>VB=}>>>8T8%@8'>8X<:8Z868\4+g>c2>>*8`*+k>g0>>*8d99)b**22>m:>m=x>m==;gM==>q>k+k+Z>\3$==3é>x>r8>a8>|77%1+t>>=>>+z=+|<װ%/%1==> =%3%1>;+<;>2&2>U>Z1>@M@/-=;0.@*+&:$:,  +8 9U޵>5<;>r+s+>C89]浩>5C>CiHK=<K.!>91<4<<<{79>>o:?/:G'%B8(:C:DͰ:T>@88>K>I<?< >R>? +u+r9,>+<>P<<:/>T?>԰:x?<>_++}>^>\<+?< >euɩ<4<<<7<<<L+e><>@>e<~:?$<)>n++>9 @+><:y˷:tҵ/+Z==Ƞ/+^84:2++K+:-+M+>;a/<+g=+©:2=+i?>Cط:??8o:ID8C, :8,:4+=+;U;Y>ө?+=ө,=&,:h++n:(+f++f;g?9+;+u??=8???C;?;?==9@??O,,?#>?S;Y;?&;?&==9@7>?(?">>>)ڰv>=>©x;=?t;;7C>?5?/< ;? |?;?<?<<?e>Dn??y?w>K.C>G<[>IO6>'>R>9?Rx???>UQSY<_>@>1>\>C?\?<Щ>?p?j?d@(is_empty~>?_>?z?@>J!<@>L>O>M?<CC?`?HC???<?p ?<=<?@>2 O@4>?o><?<?>/ C5C ?y >v>??6= <???5=C?(??6?=#=?=?@=?<??@(elements7ŭ>@= @= ?<??= ?=? =????=:=1?K(`=4===8:=:>U>L([>\@?=l?)?N=g(X?>b?ΐ=G=>?X(m=4===8:=:>b>Y(h=%@&NoDupA @@= *=?<?a=z (k?>u; @*Sort_NoDup5?萑=a=X?+@=N@.=U@?@@&option >v@=X?@'min_elt62>A=j@=S@@F=m?@B=m?@ B@@@@@D?;%@@(@@@+@=?@? @1$=@%?&@%7*=@?&?$<$?=׶@@<N=u@@@RC@=@@DVO=J={?:===@=@(@L^'Q?PB?wa@@RdW=@@W@>=@=@ =@Z?\@[mB<?`@_q :?^<t=̷"e0w:4y=@j?]=@l?שn=?R@n@m=?@;?m@q=?@:< @u@t=?;?@&=??k==@=?@?ð=@~?7k==???D ?@??@D=@=@j=1DC@=@@ F=@=@=]>=>=>=@=?==9@@>o@&!6@:@>?>==ܷ@{z??@@@@;@8M6@@?p@?@?@_???K@??@?T@@@=6@/@@oCA>,?>->$>@@ǰ@>3A >3>C>. >%>7?>8>/=~@@Ұi?ȷ?@@ذݠ>D?@ݶ@9@77@ߐ?@>L@Pɩ?@?=^>S?@=e>X?@@>Z?@{?@>^=m@b<@@>a=^?@>c@?>d@>NA>>C@ @G>iA=U7A =|=j@ >o@AI>p>g? @A >x=u@>bAR>W=x@[>}=i=^7A=m=f>x?@d>@*=@A1$>=@%>uAe>j=@n>==u@%>SA[AY@>}Am>r=A/@A/A_A3@y>=|=h72A=8A78AwAiAg@60 <өA;Ak@@>==\<٩AAAq>M@>=z=v@B=AvAv;*?@>=g=|AKAJAzA=~@J=A~A;'@[@>==lATARA@=@RAVA@=<AZAYA@ =uA A=.=A@A_A@m<Ӷ@^>5-7bAm0ܷ@cAgA@.=?<Ak AA<AA@j07mAx<<@o8@u>EAA@@ @AxAA|@°><7Y7{A<7gAA@AA@ΰ><<@A@@ְ><7w@%AA@@A@A>5 =ܠ@AAAU@AAAY=7@AA\>0@}'A@@z'A@?>AAAӷ@@;=?A=0AA>@?75\=6AA@S@?5k5[@>(AA>#@@?5g5\A%̩@>.AA>>A?%5f5_A5h@5f=XAAB@5dArB5U>.B@%ȶ@>=`>7ǐAҠ4.@%=fA%ЩA~A.BA@@g=kABA.Aש7ԐAߠ..@%=sABA4.A@@ɩA=7..ǩ=,.A萩="...̩=..>!AC$>QA>cA@@jA@A@@>9B3B%B#@?GB7?<>EA==@@@=BABB=Է>mBC@A?WBG?L=>A=B AB:=HB=B;A ?_BO?T=BA 7A>}>BTBFBDA@=A=q=mAi&1Ae5ɩA!5=B"aABb5_A%&=B&&'ABU/ WA)&=N==T.5J/B.B->rB4/5L=B8//BB<//AA A;=*=/B>=N./ .BBBAC8?@>BC>BC@@<VS>BCANBC@@?=@BCBs220BGB BwA?>>>BMAA>BL@@@@'hCB?Au??>@BQc\>-@'tBV??AB?@B[mf@V@B`B?Bcu]]?D?εAiAe?&BkABBBAj1g>?> ?}An?yAZAKAq:A]Bv?pABBBAt?>?>?Ax?AdAUA{6AgB?z3?hC$C@C@B={Av???絵BdBi?i?AAA<,d^B@?AvA|ApB|A|2CC@ C@B @@ @@@@B@@BB@'max_elt4DĀA1?B@BB ?AA@BBBAB ABAAABAA[C@(@8@# #BB@' 'C@/@BȰک'B@6BWBѩ@C@BҩB@:B>BBԠ !C@=@+@ '@@BBٰAϷB@B߰B@ɩ@3C#@(B1B吷AB}ǩAB A?b@WABABB@\ABAB@`BB>BB@c?rBB@eBiA@f@OC?@DA2:B@jBnCD@kBC ,@WCG@LB1BC ))9@u@QAA@I8+"?sCB?sCAA@ө@`CP@UB1CCS@z@C%r2@hCX@]C2 B@@@@} iC^@@C0} $(H@BC#5Bo@B?,:@@oC-A?کCC AC-@@AL@@@Ct@BZ@@B/CYA@@@9YCdA@<@Ʒ@@ .BC@Ŷ 2C@ͶB@ζ@ũA@Cj|ɐB@B5C7I@@C@C[B:Cv öC@߶B@@@@@@AC@B@@ܩB 2tC]C2s^ByB@C2nC@@@C@CBٰ@?@LCBC2~BCIB@ABt:C9@BA@@<CBCA@C?DCCA@BsC^ABBA@AC@B29C@@/Ch A"BƷ@A#A2CCϩ2@ADA@(C A-@A9ĐCϠ@@A(BX?CC̰+BЩA DA@H@B@DD@@CְDCکC AB@#A9ِC@$@'Cߠ;DDDB2?{CDC-C-AO@-A#?CD@C3AU@"A)B@cDD=BC8AZ@A.C2٩B@iD$D5=CC>A`@)A4CB?CCD<?η@gD=@2ѶB9D ?v?ڷC2?D2ةCD6ADD9D7C3: D?J?C ;'C@DBD@@B@DDDDC^A?!AT:D":?%CCBDaD)CjA?A`BCBCrA?hAhBDmD5CCCCD1@ @xC5D4DdCC9D8DhC?өC5DkC@C'D>C%C'D@B۷ADDqDoCCB׷?D"?̩DDDtAPCA:%A?ҩDJDzBCA8ACP@DD@C\CA8ADTDSDDACX@DD@@CA8AD]8C^8?D_DD7@D@DbD@ACf@?@:e<Cj3;@DkDDADDCoC@:nACs=Y@ DDD|7ACwDPDD@DDD1]D|@A:{D1:1MDCDDD?ACDdD1W1lCcCtDjTS?/1K1^1KD@C: C/DJDӷDD÷CD1eD@!A@#ACACCuCD1dD*:D1L1hDA@A7AA DADCBCB?!@DDDDoDA$DCDCICIAD6AEjE{?DGDBA[?%E@E>EDA]D>2@ED2DEA_AE@EGEwDU3DFBAEN;KEVAmADMEQED9_@EU EEAEEDTBAA0;YEdAA{D[BAAGDcB3EE@C@EfEEjDB@?&;iEtAADDDEE{DBALADDDDİB@ DEEDDEDEB# AʠDEEECDEEEGA%DEEJBDk'EDwDh'ED-BEѷEEDD)A-EtAEEBDC;;驷A$EEDADC;}9uDBEEBDDC 9^9EEEEn9DBEEB BDC9]9sEEEE9_DEEDx9\ALEEED9[EfE9ZB"E@EEB32DAAVADEED9sAZEErE0EEDD[A_EFE8E˩;ȐEӠ9r9vDϩDcFE0AiEFE9_2A\BFF@Dl@EذFE9;ِE9o9E࠷AhEFE2ݩAlEFE2?DFEBxD9EDѩD EDBsF+FFAvD?Eη?EF B)ͩ?EF$D2ABlF'F'BgE2EEF)E2ݩABrF-F>B]BW2FEF@Em2AFFDD2@FFFGE2ߩEFI2ͷBtFJ@F F<B2ѶABO@ BMoAFFAE2@FEFD2FGFEAD@F-FZF"2F<F%22ƷADFaF)2ɷ@F7FdF,22E'FFXFV@F=FjF21!F,@F,F\F0&L<-F822BxE5F4FdE/کE9F8FhE&`@E5FkEBE&[F>E%EF@D۷"b0FFsFqEEFL2tFH@FGFwE1O@FKF{CW1EEOBF~F~@2DEC21HFSFRFF 1JEWBFF@/Ec1AFZFXFE2E]F\FE23dF`F_FE&2FF2BF@FeFEs2EiFp/FCPFEuEuAT@FڰG 33FސFG3CEFCWFE|E|A[@FGooF吩FGkC^FEFEEC>G'GGE8gBĩBEEE4VB{F4SFG4CC_G5@EDIG9D>C@CqEBFFG,C2G/G-E>9EDRGBDGCIC7FD.G6G4@>@GG8G @G >GKG=G;FDS+BGG@FZB꩷BGGDD =eFCGGGG@E:GGGIFBFCGMG^@F*;G!GG`FB*F$G#GdF= BG'G&GgE=FGi:CGj@G,G\F::F0Dt=G3=0G;:=F7G6GfE=BG: FGi:GlGjF>D=:=>GI::FED=-:FCDGyGw@E߶@GKG{GOFD:m4JFשFՠEGG\FD:1EFӰE鐩FD:4`EGGhFFFFGdD =LFcGgGG$FgGkGG(CFhGG+CFL#GqFXFIGsFCGGGFqF CGUBGwGDFD4]:CG}GF"FǰD4N:F~CGGCFF̰D4@+aGGGGO+cFCGGCCF԰D4b40GGGF4dFGGFY4kC-GGGF4ZGGG4@DGٶ@GGD4"FC޶C7Cܩ=G4z4wFGGF41C?G GWG4)GGضFF@CDGGG3G=G4u4FFHGG45CNGGG4 40CADGG@FQ@GCGGGG|1CKGðGG'AFGGDWF1lGFFGFfDRH GGCUFbAGAAGѰHFv2C\DIHHDDF2GשGְHG4$CbDOH HD:D4GCfAGG߰H F4=GH"4*DMH#@GHD^4.CpD(AD&CrAGGH4#HHCwFAHH1G3G{C{FH4G4+AH H7G44)FGӷH+H)@HH=H3G@GH/HGIEk343DIGHH5G4GH H9G4 AשGH<GDF HFF@HFHPHBH@GH3HAHHFG`2᩷AHHJE&2GDHMHMBF©GgE34H"H!HQG4G!DHUHfAG2GoE4 4H+H)HjG4 G)H-HnG455H1H0HqF4GHs1,DHt@H6HfGD10G5HAJH>>;HF184G=HAHqG45IHEGHt12HwHuGDHPK1>JHU1;1GGLHX1D1?1L4$GܩGڠFHHaGE1)1NFFFGE̐I12FHHnGGGG HjE EEHt1:1_DD4M?[EE4?1<1a5)DHpG{HpG G Ej@HpH4z4zHtH8H4uDHwDHwGGB@DHxDHxGGB@HxH%%;H|H@H!DHGHGGEy@!HHHGEHEDHDtDrGpnGljGhDHfH<HzE bG^DHiHEHxH\GEHE>Fp\@I "oH\F~HI  LIfHI ,y7 H  HG 1@I" 4I&@I& 8I*  I*H,I+ = %H0I/ A  )H.H, DH' EH -I6HHI8GӶ@թ I;H M 5HFFF@IA S [ < I!IE WHFH  CH$ (IQIQI@>FFIII:?6GGITFFŷ7FƷIF7lF·FGG7"HxI` r kH I#Hx'IDkHkI\@-min_elt_spec2*:H6HHI=IsHvHH:Df,IFH<HEHF{F}QEHI|I}In@-min_elt_spec1*9HHIk?I7HFHNHIIUIFHD~,I0F/-+HTEFIIHHHXI HHFIHF?FFIy??驷H?F EI??EEI?E?EFEIID@*le_antisym; ,FF IIC?CG3G*8 G+IG&7G'@e@f@I° ԩI@&choose}ug @ @dG8GGG>G(kJ@@!iI۷!f@GF@IIIIɩ:@)fold_leftɀրIGPDGRIII 8HEI퐑GeG\GMHuIJ@#nat@J$@&length䷀Gf LGxGoHGkG{GfJFGm+@GoIGfC@JJJJIIשJJLJI٩I@&filterII۵JWG~<GvGVI8`IJHuJJCJ]GBG|G\@8fJ3J`J(I@JeGJUG8]"GGM"GFַHJ>JkJ3JFJ FJ_J]@HŶ@J1JaJ5FJGJtJ<IJ-@I%I$@@@AIJ2GI0IGF1DQIǩIŠ2R8KI72IIII27JHF8PJKJ'JKJ{JGJ+BIQIJJJ FI.FJSI:I+!JUHFJDIJJ3HIYJ7IUJYJGeF©IYJ]JIFJ<FJJFImDhJcJbJJ+FJBFJJFFDOJjJhJIFJHJlJI3FIpJpJoJI}FJ!JFFJ@JuJFFJTFIzFJJJFFCFIG7JJDIg>JũJİJJFIĩG=JK DI>J̩JʰK JU@IʩJΰKJ<@FYJҩJѰKI>JK>G?K@JװKI>I֩J>JީJKJ>>>J*HL>נ>>IJKI>FrJJK>KKIJ>>KK1J>>J=H_> IKIJJKK=K>K  IHjK >>K>>>JJIKIK>I>I]I/JwJoJJmKGG\>>>>KGbGKJ!KIIH@KKF}}KJޠKJDGKGKIIE@KKMGGK3K`K(JJ37JlHIEZK)JKYGCH HK]H@*KpHU*HG޶@KFKsK;K'K6HH^3JDVI$4IIIDTFHFDODNDLIː2HHJJHDJJ˩JɠIܰKKP<HEIؐF=,JI-JF8IDID_DGIKKWJJJJKSG HHĩIsHHHT@I W=CX@DFIKKhTHBKH̷KHǷ9 aHD:KEH:KK@J@H0JKKv:7K83JHJ9gK=JKwKTHKVHJ|H JcJTK~JH\KErKK\JJK`J~HJGKaGGKcGGکKeGJKGթK:KGҷGK̶@GѶKkG϶JGͩJ%KK]ZGɐGǠJްIGʩGGKwGJKGߩKLKGӷKKͶK|J5JGƩJ6KKnkGGJIGéGGKG·JGJKeKJDKK|yK I7IKGG:NK@*filter_inf"4GGGKEKC,JOGJJS2D-K.K&KKK$D/KɠHiKKH/KHAKJfJfFE@FDJ`L KKlKI:K[FACHI;LI6@|ж@DJlLKCKKITIKIIGIWIBL"IIܶ@K]@&ProperL@L*KIL,KI1KKKKsIBL2I7K۩KKJN1KK K൷L<Ic!KL@I7JYI0LKK@J^I>I5K I?L)I8L KI5L=L;@I@I'LL K)KLK:LSLELCK=GI'GI%KI!KJK=LLH9LL!IKGL`LRLPK=GI4GI2K#I.KKK&= L+I%@IL+L%KJqLIK0*=I_/I_K.I`GL5L4CLuIZ/@SKILyI~L"5IIIII]LIe:L^KLEL;Ȑ!FL L@LILHLBL3bLLK<LLF LOLIL0LSK֠ILIK!LYJILIKHLL]L]LW=LFKK堩ILIKKLKsZFH0F}ILIKA$KKAILIK4H8FILIK6LuAKHLILKLKILILKǰLKKFHIFILILKJHCKL H>0JࠩHQFILIKK~J`6LJ2KLJ-H6LILKKYLL.JLLLd:LA$KL"A/HgFƩJG,LJL(JyHlGFʩJHLL*JCF5L  AL"LL5LsLxL@HwF*@K 3KHEF0KFݩLHJKI#JLJKI7LLL/4LHY LKǵLC-SetoidTacticsLA@0default_relation J9J @3equivalence_defaultúJ@JKI=#HeqJ"KI3B1(LLI@-eq_Transitive(K3\K7sKIbI8LLLҩB1LLC@&JWJ3KICLL LKKQ>b64KM<6K9HLLK1LMHŠJDIxINJRMBJGIzIWGMMMMLT>viLHJH/J]MMJRLIsH֠3KiL6HKn(ML GΰM;-MMMM٩MMLLHLLHLBx$LLBsM)MJ@@{L/>!L-HrMSHY*>G[,M:M9M9L:>,L8H}Hb3/LAcMaASL?CLIIM$CGCBIIéM*CMCHIIMTC8IC2IIIMZM[CCXCJJIIJIIM@=!yMaMPIϐILM@H XMiMXM=KZ8MMl@MmLөKQMoKSMqLLCMsI2MuL@.eq_equivalence()'K_M}KaMLKMKCK< MK7MK@ MLMKSMI9%JIIMM#M#B֠MM%LMMM{M'LLMM~LMLLML|LLvM-MLLsJMJIIMC@K JIJJMJIIL?MLMML@CMK @ĩM+JMJMMJTLH MK*K!KKK-K@թM<MMM@'for_all#[9KMNN@KNK MMMưMMLQMŷMM@LNN@MѰM˩ML\M@NN@LLLNNLIsKN N @<@JM߰M٩LL%MM㠷M N#NNI~<߷IoJIqJIJLҩLàIMMJD2MMJMN0N"N IKI|KI~KIJLߩLРI MJ@JMMMKMJM*MC%@MNMIJM1JKoKKjJS0M)MéNLQNɩNN CNMMN ѩNNNMNNMNNNbFMNNaN_@KrNbKgN$JN#NLLN N(N(N"MBNMMN/N)uNNtNr@KNuKzN7LN6N0MLN C$MMCN;N5N$NN}@KNKNBMMNB""CM$MLNf@)@NN@KNKNNJMONNML/IK{NN@=Z@;NUNOJLN?NYMNNNI=UIN]NMHFI;IJNNHFMH8NeNdNN2JJJNNHAMuBvNl ,J;HhNn;ͩNNJJN@;J =ANrNlJN\JNvNM=JHtNz;ũN)NJLNNJK JJUNNyJS-NiJKȠJJkMNCNKͩZJJ`KҠJJC(NJxJȩJz8ƩJfJINN}N}JC@NKJJ NN NM7KNMNM7M7KMN۷NN˷J6KJ'BJ)<J:@>J<< fJ>< HN<NWNJ÷KN@;JD=]:JE7HN;N^NJNN߶JJ=[3JKLNKKJJKNK.NMNMSMSK@:jNNN:hMrNNM~JW@ݰMNFNİN CNO O@LO LNKN˰NũK3MVNJh@@ж@NӰNͩH2NOO@L)OLNK#NڰNԩK*MeNĶ@O O@L1O!L&NK/NNܩK9MmN̩NNߩ+KNK6NЩNNKcMFNӷJJv@NN5KGK<NH4O4HLGO7L<NK>HŶ@LLO<LANC NNKFLNKxNELlLHNK5K!ONMOHOF@OOKTMNIOOOM@L`OPLUOKFOO KZMNJOO\KcKOOJO^O\@LoO_LdO!KQO OK@MO I @LwOgLlKKYO(O"KH<OI(O.O05M>MO2O47GNA7IO6O0N˩OY@N:@N;"H'N>OONB N>EN*NOEN@O@N3OOBOJODOMNONO3ONNZF<LLN\N\NE43OKO:NOTMCyN@rN٠OWOQG6OAOO@bO]CLL˶X@|NOS@'For_all mOLѩOiOc>OROSLLݩMLٷLLԶm@NOvOpOj@'exists_!ѴuLOeO@"ex @OŷOOƩM OhO@NOзOOѩMOOMO}@OطOO٩M3NNNNNNNw"OOOMȩOOOONO@&ex_ind 5{ONOONA!LNNLNKNLOO@LLONOOOKUAHKFLΩKHLKYLNNK\AFNOLNPOOK_ADKPLةKRLKcLNNKfABNOLLLOOCɶ@OTOҰO̩\LO>LM>MNM9LfԷOOOΩNηOOض̩OeOOOOΩoHOϩjP)P,P*ND̩OOOOɩP@N @wP6P9P7NQOOONȷNNɩN@OOPOFOPHPKPINcM]PMMRPLPPNNOOAж@PPJ/PPZP]P[NuUPPP@PbPePcN}MwPgMlP)LP(P"YPP*P$E<PPnPqPoNMPsMxP5L O1 Kζ@P7P1IP!KԶP~P|@PPNjPBP<LNP,NPEP?VP/APPPNMPMPSJ1LPsMPMLJ=PVPPLP@K@K@MPMLL@PcP]LPMPfP`PPPA0J?LA)@%in_eq%׀JD@@P]PMPMLLPzPtLƐLPePPPO쐷PP@EPl=PƷPPǩNPPLO)PtPPPP,O.OPO`PPԷOBЩMPMPMwOfOOP`PPYgP%P#PP+/P&PPPOuE$P P.EPPP/PPPO sPʩEP̠qP@ж@ OP ԷPPOB.ЩNQNPM9OO L^@M@PMP˰PũUPPQLj BBж@WQQQO1˩PڰPԩM&OyPĶ@`QYPPکjM1M*P˩fQ%Q(Q&O@N:Q*N/PJaLLu@LxQ2Q0@Q5Q3OMةPPvPOPPbPQ<Q?Q=OWNQQANFQM6 PQ#NUQENJP>ĩQQMO5PK@5K @@QQ MFM/PKKLQ\Q_Q]OwNqQaNfQ#MQ"QM?OQ }QfQiQgON{QkNpQ-MQ,Q&MOQNQpNuMzM 6XQqL BЩNQvN{Q9LQ7Q1M OQ!NQ{NMqELK Q>Q8MO5Q(H&NNMtG*LLMxQDQDQG5@"@!Q2QlNQNMMiQOQIMQ9QTQSPېQQ@cQ>QQQONQNQ_MQ^QXQGQbQaQa3M7QcQcPdnQ{QQPh|BFHPkҷPgMNQQ@Nf@QpQQtKQQtPQQQMCLQwQPKMMQ{QNEMMQQKbP#?>QQQQNMMMQQK]PMQQQQMM"QQPMKQQQPTM`Q?QMwMQѶ@QQPM{M. LQ׷QQةONQNQL٩QQMvP<QM9QQPhMtKQQTQM|QQնM@NML,QQQPOQNQLQQM&PPQMM(PGLMQGGLMQGGAQƐG;אGLMLQQCGɐCO6OM NOLMqQQMIQjlQQNO8hfbXOTMN;MGNQQqQqNMLPJPǩPcR"R%R#P=O7R'O,QEQQGPQQC@%OVO2LN pR/R2R0PJODR4O9QGܩQQM4PQPNoQQQPPNQR8R*R(MCxMMMM}{MyKRwQREMNpRF@uM sMiLR xQR;MR>R<MIHeMOaRQOVNXMRS|NIR5OgRWO\NMMRNeNRQ$RPPO@RRIL!L!MRQRMLR R PCE@>QR#RJR RgRjRhP1R,COOR'@KQR"@&Exists?/gϐOO_4R|OQéQKPKQP(4P#PPKXMOMPQlQQQQRE@FRYRRNR/Rt@#fst OOR@@)partition@$LOQQONPLOOȩPwOķOOXROǶ@Kq\RO˷R@KKQfFQbR3P[R_RiCbROѶ@KQ@FǩRRRtRU&OOݩ!LROڷROշ@oOTO޷OO(QIFRUOJRR@Q@LRRRR8OOРR@$prodt@BBB@@@@@!pPPFIO"s1P"s2P gRTRQ5!APPQPNRRPP RQPNRRRbRKVQ`QQ5RQNO:RLRRQJQRQ^Q\RZXRVTRRQRPRoSN޷O+S@NROQORSRNP7P7H=|6P;4P<2NM1P5PARP=NRR֩5PEP9R٩RPANRڷRXQRfRS OSS RQtQVRS!ROPRPRcXMސQPVOPWMNMmLPPP\R6PXNbRRPP`PTRR:P\NfRR`Q^QRѷS)S'@SS;SO-R@\SS>SOPoPouMѐnPslPtjNސNjPnPzRTPvNSSnP~PrSRXPzNSOXRgRiNeQQSQRSYMSIRS$K NcNaR_]R[YR!WNS'URSgFطOSh@SR'S3I S/SASnS6FPPFFِPP F:PPRPFS@S?PPSBRPFSCR?\NSEmRStFSwSuRDSPGFS^SSSFPP©FFPP F:PPǩRPFS]S\PPS_RPFS`R\Sh #RRSS\@@SzSSoGG S|SSqG#PPکGFSSSwG)PPPP ASCPPR°PFS~S}PPSRưPFSG1B@@@@D@@%SSSG6FPPSSSSG:JQQSQQe"t0Q "t1Q O8@SSSGLG4SSSGJSRoQSGLG3SSsCPQPQ@@ SSSGRfQQQQSSSSSGXlQ#Q#QQ%RQ!GESS7-+@2SSSGgwQ.Q.?4SÐ,Q1*Q2H-Q5+Q6Oa)SːGQGeGrGYSPCP7Q<P8Q=@&STSGwQBQB4QDQ8S}GGGP"PPSRSRuRuPԶ@P?SPQSRvRvNU@STSSQMQM^SlLQQJQR HSR:ZGQKQWS1QSPbSSKQ[QOSS5QWPfSCPQXT!QS@  T5Q\@P@HAT T7SSQhQhMSSSSQvQm % TBQiSƩQ4QQQMNQN ö@HqTTGTS𩚠T5@#snd QSnSQ QQR0Q}QQx < TYQ@M*C @ T]Q@M@HzT2T_T'TTdQTTQB\ K QQQPٷRHtTPT\TZ@R¶@ TBToT7S(T3T 詷TLS7 SS T9RԷPTxN-ThTRзS=TS9 䩷S; T  ީT  کT  SFTF ֩STPdPT@ ԶT&PSLPT_TTTPjET+ SQTQ ۩TTPTTT0RSV ˩TiTT^POuT5 ķS[ SWT5TT@d@ TsTThP{YbPS` SbO SOS@ TjST TN^TShPP P Sl  Sn  Sp OTv T%TH'PT@ SvOTTTH5tMSz PT T/TH*TTS;TTTH5}9S'SxT@T@@&TTTH7$TTTH:!@@1TTTHB TTTHE kRRP:@CQ RQR@@TTTHNTTTHQ+!@TTTH[R$R%PPSR"TH_HFTTCQ$R)Q%R*@TTTHdQ7TSTS\S\Q@ l Q&TQ8TS]S]O<@ TUTT CQR.TR)@  öU R2@Q|@ITU TTTԐRIR@  ͩT[MR4RRRMOROMMMSeRIRIR.RT<TaRzM橷TgTeSxU$TRURUQSvO,TJRToORMMMSU-TTVTNTsTLTQ RkRbSR^RnRY  @S~  C  @MSU=URnRnQᵷUDRkU4RfC< + ReMTQٷU:U8@S@QϩSUMU1UTQTQTQSS USQUUO UETSTTTQTQTQQTQQrTQpT#U#QmTUcQjQUd@QiUQgT)QeSUiU1RR RR QdFRRT~RQ U:U9RRU<TRQ U=UQjT?U?QTUnQuUqUoUS׶TDQhSذUULRR RR QPRRTRQ9UUUTRRUWTRQ=UXU4QnTZQlTJUUT@R @MéUsUUhQGRR~@SUUmRRSUUq#RRRݷR ;U8 ޠ@R @M۩UUUQ_2RRUc@TUUTUU9RRUkRRYRRTRT @KөUUUQfU\Q)NSRUQiU_UUP]U\CQSRS@R @KߩUUUQrUS S SSUlU@T6UUT8UU^SSS STSQUwU)@9@3TDUUjS!S!2'US$S% S(S)T1QUNUCR'S,R(S-@(@ TVVUʩ|S3S3%S5S)UUS1QUU@.partition_inf1$l RRR R6URHUTmTmPL@PKTgVU۩SDSDUJ ŐCSHASI ? l=SASMU'SITUUASQSEUU+SMTUPTCRSNVSI@  @NTV+US\S\MUUϐSiS`  U{OS4SSSOPSPO OOT SUZUSOUUTVBV TP,UfSUPSOOOTVIVUrUjUUhV R SS~T-SzSSu 9 @T  C < @NTVYV!V^SVNSDV  E SNURVTVR@T@RTVgV/dV)VR©VRU.RUU V0T˷SVoP$V_VTǷU4VU0RU2RVRRVRRVRU=V=RUV}RRV~@RVRUCRTװVVK<V"RsUHVHRUVwR~VzVxV'TUMRqTVVUF V,RfURRdUBV VL@S @NVkVV`R?Q@TVVdUTVVgX ΠԶ@S @N˩V{VVpROa@UVVtԩUVVvgCSSUqS@LVVVROVaRTV{CRSRS@S@LĩVVVRWy@UVVܩUVV@&@!U!VVbTTUR-UTSVRmVVCSTST@@U0VVڠV@.partition_inf2$l  S VSVUAUAQ @QU;VVQCSTVT @  @OUCVVVVT+T"TTT.T  @ ֩  |  V ܷST(V@SC  @  C  @  ʠ hW T4VT/E  ɶ@ ST9VUT$WTV֩TETENT)WTV۩ N  ַ"Hf S R`VT@STNVjT9W)T.V]T;W+T0V xSTUVqT@W0T5VTaTargVܐ_Td]Te [UDZT^TjVDTfScWV^TnTbWVHTjSgWTSWCTHW  VNTpV OW tTyrTzVSTwVTbWRTWWVTdWTTYW ST~VVWVTkW[T`WհTT W TTVjTSVVTTVVnTSVTyWiTnW,  W,VtTS !QEJWR@TWuTzW7V~TSWTWyT~W<@TW|TW>VTS 2MTWTWD VDV@TnWvWt@FM@WHWxWLVTSVTWTWVTS CiWRVyWQGWVQFNRWVWVVTSVRW\WThVTSVlV]SWWQEVVTSSWfWeWW3SީVeSWWQBVvVTSSWo/VkDRWqDЩW WSSW@WtWVSVsFFTWTS©VTSQ nSWVyW}WVDSSW W0WSWWV TWTS̩VΰTR {RWV NxTTSSbWTWVWV(V(TVW̷QWVTS(:S*6V2.V,WVDS WDWHWSTWڶ@(VFN&V!S'W+WOWSַWWжVFLVTWTSS۩NUTSS~-W0W.TWTSS˩TWTS5VUUTS,UWTSSWWW;WWT WT1WVWVVVVT@WWUWUWWU)T LѩWĐWWWU0TWQVVTWW@FӶ@WΰWWҩWU:T Q/U$XUW}W֠VXQXVFҷSrWڰX W$SvWްXTW(UJT( VTYXXQVW.UPT WWXWVTbXX.QVW7UYT WVEXS}WEUWX6TTaX7@WX)W VF̩UNX>UCTHWGUiSTVXX2V [SX WX5 SX9X7W U[XKUPTRWTUvST?W  NUyUUTZST.XTXWXVVU W8XQRXAWU/S;S9W4/W-ܩWESXE}WX^T9TX_@(WF%W!SX%+WXTXWXUW$FW%UzXjUoTx$OUUqTvTTJWVUUUwTyTdUXtUyT{X6}TX6WAX6VVU0@X6Xf  UXyU~X"tX<XXlCW UXUXCUUUUX. GCWˠUXUXLUUUUXWUTX9UXUXTC@U3UW٠UXUXZFU8U©WޠUXUX_UU+|UXUXe/,)'VCYBWdUV1XYZ-XĩZCWjlV6XV7UZYZ6ZLWsuU޷Z>Z<Y  W`ZPWUVWYYW{UV0Y QW~WZV_UVKZVZY"ZXXWY=ZVT ZFYW4UWUUYLCYA᩷YGUZ#GYZcV>VZd@7Y#H/Y$+UZ*:YZY#Z\ZZY)HY*WZoWtV}(QWWvV{VVgYXWWW|V~VUWZyW~VZ;VZ;YFZ;XXW5@Z;ZkJJWZ~WZ'ZAZZqCYǠWZWZH?WZWZKYGC@W-WYӠWZWZToW2WYؠWZWZYPWZWZ\&#ƐyXCW=WǶZW¶@Ҷ\@$f]1.ѐ \YWZ3_Z:CWMW׶ZWҶ@l@$vũhW&ZxZZYZZ\WZa?ZR%ZYZZZZZWXΩXr4XmXgXX]UdXGUb@Z~@KG4+Y@ZZ`S $%$ZWܚZZYU"TO@$m*$nZZ+ZZnZnXEZ$9$Z$;$|ZWZtZ3XLZ Z.XG@ Yj@"ZZwU,ZXZ5XXxS  & ZZcZZ?ZY@-ZDZ/@0@!Z@4ZYZZZC[[Y[@E[ZYZ@DZL" C[ [ Y[ @MXZZ-ZϐZZTEXƩFY[CX[$vXX[Z5ZZJJC$sX[$|XNZG@+StrictOrder.[@A[Z@Z4-Xc[Zʩ ZZ qBBB@@@@D@ {Xi#l1'Xl Xn#l2'XqY\YY^YY`Z@[4-JYgZE[Q[!L@[3EZZ[XZ-@ X!XY{T6Y}YYZ[Y#Z[/[[1Z[1X[Y5@YܩYYǩY2Y5Lɩ.J8Z([A"B1[!YTYY@YCIG<%YP@YYKYNIHGZA[Z"B2[:YWZnZΩY[I TYh@YaWZ1YŠeL^4ZX[q"E1 [QYΠn$RgY{@YԠtCmZg["E2ltWZ[dX@8SortA_equivlistA_eqlistA$En,[XӚ[["MOV@%e2%f[ @+lt_strorder< [@ـ@)lt_compatЭ*[@"FjWX[.[,Z?[[XZ:C['Z=F:ZE[[W[[[7[[XULZ{[>[<NZHB/[5ZKIjW[&[[C[X[XaB6[K[*@,transitivity>4 [%^[1@6Equivalence_TransitiveW[%e@%X(XXK[<\%k$X X+[[٩Y(@'eqlistA:p$@\Y#X3XV[G@7StrictOrder_IrreflexiveπYTԚ@L'XO[r\-Y2X;XSY4@\%Y\!%%Y\$[T[y䚠@*lt_compat'2XCY\+% Y\-[] YYY \/%Y\1Y \3[c[Y[~XNXY\XYXYY\5%\7YY@-eqlistA_equivEW\OYTXdY C[x@*complement qg\E1\\C[@+IrreflexiveHt}\L8 \N \O"s3\R\@\6@ Y/Y Y-YZZZZZZ %@RZ"S\:#s1'Y\N@  YBYZUWZZͩZZB@hZi \P#s2'Y\0ZV@ZZZZZUA @{|\c" \AZUyZZ b[2\U Zo@ZȠZʠZ̠l[\C@XX\|""\ZZנ Z٠yX\KZ@Zߠ ZᠩA@XXXX\ \oZ젩X\Z@ZX[b@XXXX\# #L12"\@ -ZZ 0ZZ[ [A[ [;[Aj[Ah֠XX\$s2''Z/\ҷ@ FZ4Z5[ U۩["[Q[$J}['CJXY\Ԑ#s3'ZE\Zڷ@[3[5[l[7נX\[;TXY\萷#B2'\ȩ[EV[GX\[KY\Z@[Q[SX\[WX\XvX]"B3\[bX\y[fX\[@[l X[ܩ[pX\6X&X]#E2' \[{X\[(@[!Xh[GS X7]/"E3#L23 Z<Z Z:Z[[˩[[ũ[8Pݩ[;N4X ZGZ[[ C[[ө[FQXZ[JMCX_]WYͩ\ީ\ܠ[]]cX[G[F4[A[;[[1X8[X6[]]hXj\\\\]d[[[`SHYЩZXvY [\\[  ZG\Xd,\[T\X_[ͩ[^XV[S[[IXP[3XN[\\[[ҠY[NY[ \][]([۠O۩[ݠ}Jĩ[ࠩSrZzXZ]7] G20"Yc]Oީ]Y] ]]u,]Z ]YqY勺]#X$]X"XY ]'6YwS~Y] ]'8SYyY]o]ZY{Y ]]@6StrictOrder_Transitivea]XY ZY]6]ZY$Y[4[]'Wé[]]X[t[m ]'[[o ]]]?X\ XZ]ZZZC]$@*Transitive++- /] -]#E12]]"s4]#E34 ]@]a@]]G]@_[M[Nb[P[Q\<\s\>\m\@\]\D][]]@t[b[c\NW \P\\RZt]\V]m^ө\^/[r]\@\`\b\\dZt]۩\hXө-Zy\^]\pW+\rZq]\v]-^ \#@\|ʩ\~Zv]\"Z]թH^/*շ^ \*Z~]\.Z^\;@\4Z]\8'ө]ZZ^E ^#\@Z]\M@\FZ]өlZpZ^T%"LTө[ȷ_[ɩݠ[˷][̩\\\\\[LZ[շg[֩\\à\\ŠeZZ\ɠiFbZ^vZ^˩\Р\ҠrZZѩ\֠vZZp]G^ ^ ^   ^~^ZZZީ]^'ZZZ^Y^ ^ ZZ[]^ZZZ^^^p@\\\ \ \],\]&\n]`^j\^ @*\\]W]]5]hX^\"^ \@]^]]I]aؠ[]^f^]W֩]]\ȷ@]!o]#Yl^ΐt^])R\Է@]-N[ [%^ِh^H\ݷ@D[[%^F]\R\Sg\U\V]A]x]C]r]EZ^]I"[F\b\c]NH]P]]R[[J]VE[v_ U]ZI]\[9[[]`[@[]Щ_,S ^_. M _?[C[B[e[.^ݩ_2 Q _C [J[[[[^__C\_E^u ^2] 3]C6+\_K(\_M^}^9\_P]?_c\_SM_T_S@(CompSpecg_[#_/_._@^y3_)/_a^t_e_c_e-%^_8 ^_:_:[FA9^^3))_u=)$_C"_x@8__^OCC$_zB:__ M`_M_}[[BN_^uHI^x_N@'lt_list3@A_EC C?_]U_"^_ CCA__W_$^<__\_(H)j_^__J_h`^_sE^_u_u[Ct\_:no_=\&]nCC^_|t\_A^5CC`_~v\_C[ M_ɷM__,[Q[Q_Q____#Q[M_>[_6_@@[MCKCJI_t_^_\^^_9__I_I_tMJ_E^Q__\M@-cons_CompSpec!UM^_t^r_y__^__M_6^X^[9\B^_^__C C_A^c_c__ K _^_^_CC_K^m^yC_^^^^_ϐ]H]?N5]@]1^aN2^b_t_@0compare_spec_aux<*]ũ` __ũ][٩^A_[ַ__@[N4N5W_`^_V__찷_ȩ^2  N> W__Ω^8]e]fz]h]i^T^^V^^X^Z^`_q]u]v^a^H^d^^f^^֩^j_`5^).^p^^s__^w__<_`C  _`E `h`f`H@]{`k]p`._8_.`.`NI`q`o`Q@]`t]y`6_]`v]{`9^_9`9`9`(O8WML]C]]A]^^ҩ^^̩^7^A_X`M;_թ]N]^;^^٩^9^TFX_ĩ`yA^F^>^Dy`,`L`)`D5`J@`g^s`C``@`I^^~ _ @  @`vP`~`}`|`f`#ys0_·`@`A`` ```g"_B@F@F@@@@@@@@@@@D`4`5@)@`9`@`<`____`oD'``CND`GNH_;^_K>``\O`P`P`D`5\D\V`W`W_`K<_ĩ_\` \_`3__` `a`(`ˠ_@a@d__G`__\X`аi L_ԩ\_ѩl_]N_4`````@6@77`ܠ11`r`u`vi[`)x``_Va}a~@r@I@``ԩ`4`Z`w`j`8_`^`_Q_`q`?``᩷_X_`x`F```_}_`E<a_@@__a __a `aLOa=O`]` \\Z\a[`\]`"\Z`V`_\aY`f]m]t`"N`Ma"`l][]la'O@@a(33a*`t``a0`;atȷ_>˷_<`wah϶@ba<a;?a?a>ahJ`Cat۷auܷ@ж@aGa1Y@aJ8aM`O$`K`RaQg`P`NS`2faW`>`/`UaZa9FOmaOl`_`[\a``]]۷\\agK`k]`_`aap`5]a as` ]]auat `]é`y]`m`aa~]]aa`Ȱ]`G`ʰ]]aa]]̩`a]]`aa"]]a=$]]%@a*]]Ķ]a-`ް-]]`"a]`3&]]a7`7]x]`a<^ ]].aaV?]ڷa@]2aC`C]](`8]]`I<a]aM`M]*]2]A%]R`S`6a````WJ]^a^a^a`^`^@að\@#aư_Baʠac!`b`eafY`Dbkbl@`@aװpaŶ@aڰsa$s^2^Caߠ``쩷`a|_a-|````d`a`ҩ`à`aaͷGPb P`@`?]a=ط]婷]a;y`^q9aaal^Fa^waL^#^;bb^^%a b ^q^=a bb ^c^Aa^+^{@b^i^/]ba`^K^7aabaf]\]ah]^<ab#^^W]b'a]bY]b*at^`^_a0]^fa.b2˩a|]?]ra~^^ ]#]ҩ^ӷa/a~b?^b@b?^^r]۩^ڷa8abH^eʩa^^a^f^~bNbL^^h]bP^o^#\NbTbS^^;b^-^@bY^^1a]aZV^zb`aV VaXM]o\bbg^^O\5bkb]޷baoalV"btbr a VVa XUX_^O\FV6]OV8*bV1]O@*eq_leibniz911V/Xga}bOaV4Xlbab@'eq_rect=߀a!V<VSbabbhbb3VCX{Obd.ՠ~b@@=b??OOFbDVGVXObIVJV[OKaKUVBaMVZVDbOV\V__/bTTTbFbVUߩb XVe` _:_]  bLbab_BdUVqbѩ_DhhV]Vvbamamam_b_bamam_b_bamam@bҰk@bհnb٠brbܐ`Uc/MakeWithLeibniz@cWР@"t_@@BB@@@@D_[ QX@@bӀb۩bbbba c>"#Raw@c9>K0#Hxs @a>QaQs2+_{ @2Aacc=a}ccbA#HysG, cc,ckO-^}@,4:@,%ꀚ@c;Q@A+@ ۀ@2n@#elbc*bʩbȠa۰bѩ>bðA,cabbbbbcQS@_,cbީbܠa(cDRaQbװUaa.c.bbbbceaZchcgbcPcE@/eq_leibniz_listʀbc<cqcp bc>bl  b9b Wl- _c{cyfũgcf_tK- bbc_)Eqdep_deccc@1eq_proofs_unicity%ҀJ@cbcΩc̰JCbcѩcc`8cӰ`:`:ccװ`-`-b۩cڰNg`1czA,`Vඐ%is_ok: i<c```:cvcbbcccc`9tȕ