"`"["?E.FSetProperties%FSets#Coq@d$Bool#Coq@)OrdersTac*Structures#Coq@+OrderedType*Structures#Coq@$List%Lists#Coq@&Sorted'Sorting#Coq@4Relation_Definitions)Relations#Coq@-SetoidTactics'Classes#Coq@&Setoid'Setoids#Coq@&Basics'Program#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@$Init'Classes#Coq@/RelationClasses'Classes#Coq@)Morphisms'Classes#Coq@*SetoidList%Lists#Coq@-DecidableType*Structures#Coq@-FSetInterface%FSets#Coq@)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r'Prelude$Init#Coq@0JqTttֱ$Bool#Coq@0j 2cZ`FW&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>*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+OrderedType*Structures#Coq@0#73t1E iW-DecidableType*Structures#Coq@0kO!Z7+/0^s h@ >Eb 驠'BinNums'Numbers#Coq@0dmk(5Ju<*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼)BinPosDef&PArith#Coq@0}H d.%,b&BinPos&PArith#Coq@0vyػ0= u)BinNatDef&NArith#Coq@03@1O,[{ &BinNat&NArith#Coq@0K11ڤs+Π$Pnat&PArith#Coq@0,?pr.gZ'ZAxioms(Abstract'Integer'Numbers#Coq@0\}zK=PK%ZBase(Abstract'Integer'Numbers#Coq@0 TL}2_} ؠ$ZAdd(Abstract'Integer'Numbers#Coq@0Y9Vgⲫ򐠠$ZMul(Abstract'Integer'Numbers#Coq@0Mtr\b"H#ZLt(Abstract'Integer'Numbers#Coq@0xK|j2[&=}۠)ZAddOrder(Abstract'Integer'Numbers#Coq@0w:}H#NK}{)ZMulOrder(Abstract'Integer'Numbers#Coq@0Dr~-~ECM'ZMaxMin(Abstract'Integer'Numbers#Coq@0bAX1'ZSgnAbs(Abstract'Integer'Numbers#Coq@02`ou{Z'ZParity(Abstract'Integer'Numbers#Coq@0S)*Dd$ZPow(Abstract'Integer'Numbers#Coq@0AşsאI)ZDivTrunc(Abstract'Integer'Numbers#Coq@0`]f5FԠ)ZDivFloor(Abstract'Integer'Numbers#Coq@0dj_TYQc|$ZGcd(Abstract'Integer'Numbers#Coq@0G0=$ZLcm(Abstract'Integer'Numbers#Coq@0(9g%MmN]%ZBits(Abstract'Integer'Numbers#Coq@0ܹCF5s+ZProperties(Abstract'Integer'Numbers#Coq@0Ve*ʞ_OV)BinIntDef&ZArith#Coq@0ådR4Tuy&BinInt&ZArith#Coq@0BpHޞun^$Mult%Arith#Coq@0햖Qyb0(Zcompare&ZArith#Coq@0'ҤjI=D'Between%Arith#Coq@06v*0ur`C0)Peano_dec%Arith#Coq@0Kݢ*k+Compare_dec%Arith#Coq@0jXF 8)Factorial%Arith#Coq@0@oehJd%EqNat%Arith#Coq@0AIgՋXRV &Wf_nat%Arith#Coq@0UJX AJhO*Arith_base%Arith#Coq@0Ĕ}CS&Zorder&ZArith#Coq@0fVk.BG)%Zeven&ZArith#Coq@0i?eK#aU堠#Min%Arith#Coq@0Ce-Fѕ(PreOmega%omega#Coq@0\|چBb~w4%Omega%omega#Coq@0t.J'6\ϨrK,Zcomplements&ZArith#Coq@03 ٠*VectorSpec'Vectors#Coq@0GyK5%l6L(VectorEq'Vectors#Coq@0#'`ԶlxjT&Vector'Vectors#Coq@0_ċ|"Ʌhz'Bvector$Bool#Coq@0,rO3^~'Ndigits&NArith#Coq@04)FSetFacts%FSets#Coq@0;yD.5[l*FSetDecide%FSets#Coq@02[dS(]R1j.+ٲƶENAV֝ȩР.FSetProperties%FSets#Coq@A/WProperties_funA@!E@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%Zή@.@*ZήA@@@@@'eq_refl @@!x@@<ZήE@&Z*A@@@@@0&eq_sym @@U@QZή!y\@XZή@b@CZ*Bi@JZ*C@@@@@T(eq_trans @@;y@uZή$~@zZή!z@Zή@@lZ*")@@sZ*@xZ*E/@@@@@&eq_dec @@i@ZήR@Zή&Specif$Init@'sumbool7̂K@@Z*\%Logic@#notШ@Z*k@@@@@@-DecidableType*Structures#Coq@-DecidableType@@@@Zή@@ZήJ@@A@Z*@@"eqZ*^@@A@AB@A!M@#elt @@!tZή@ %'A*Equalities*Structures#Coq@@@@Zή@@@@@AA@@A@ @@.%wA-FSetInterface%FSets#Coq@@@@@.%w@ @A@A@@@"In @@@F@B"𨀶@K@="Z7A@@@@@.%Equal @!s^@P"Z7"s'e@W"Z7!al@h"𨀩%Logic$InitB@#iffС)}@@"_AC@H"_B@0@"Z7/@"Z7H +k() +7T' 7! 7!7%'@b"_dP3p@"t@@@@@&Subset @Z@"Z7X@"Z7V@"𨀶@@"_I@"_FM@u@"Z7t@"Z7E +k() +7T' +  7!T'7%'%WSfun@-Tcd@-ot@-FSetInterface%FSets#Coq@@@@A@@@@!EΠ͠@@A@@@@@⠠%Empty @@"Z7@"𨀩@#notШ!@"_@ʚ'@"Z7 `+k+7T' 7!7$'O@JdLK?@@@@@'For_all @!P@J@F"󚠐O@A"Z7!xV@R"𨀶@\@"_שD@@f@b"𨀔m@_"Z7ڐ +k() +7T'+  7!T'$'dt@@@@@\&Exists @C@@"@4@"Z7%@"ex @@"𨀷M@"𨀩6@#andЖw@@q"_)C3@o@@"Ra@"Z7A +k() + 77%'  7!7%'h)t>|t@@@A1@D%Logic$Init#Coq@@A@@%empty @@@"Z7@@@@@Π(is_empty @@@@"Z7)Datatypes@$boolZ'@@@@@@堠#mem @@@@"𨀶@@ "Z7@@@@@#add @@@%@!"𨀶@*@"Z7.@ "Z7@@@@@)singleton @@@<@8"𨀚@@2"Z7@@@@@!&remove @@@N@J"𨀶@S@E"Z7W@I"Z7@@@@@8%union @@@e@W"Z7@j@\"Z7n@`"Z7@@@@@O%inter @@@|@n"Z7@@s"Z7@w"Z7@@@@@f$diff @@@@"Z7@@"Z7@"Z7@@@@@}"eq @@X#_@@@"Z7@@"Z7N@g.V͠@@@@@&eq_dec @@l@"Z7j@"Z7&Specifb@'sumbool7̂K@@<"aX`ɐ@D"a@@@@@Ơ%equal @@@@"Z7@@"Z7@@@@@٠&subset @@@@"Z7@ @"Z7@@@@@젠$fold @@!A.(,L@@@@#@"𨀶@Bv@*@"Z7@|ΐ@@.(,@@A@A@@@'for_all @@@@<@8"A@A@3"Z7F@@@@@"'exists_ @@@@P@L"U@U@G"Z7Z@@@@@6&filter @@@@d@`"i@i@["Z7m@_"Z7@@@@@N)partition @@@@|@x"@@s"Z7@$prodt@@"Z7@"Z7@@@hA ϲ6W)Datatypes$Init#Coq@@rA вuX @AB@@(cardinal @@@@"Z7@#nat@@@@@@(elements @@@@"Z7@$list]@AѠ̠͠@@#elt"𨀐@@@A alB@A@@&choose @@@@"Z7@&option >v@@"𨀐@@@A ůM`@A@@֠$In_1 @@@"Z7@"𨀶!y@ "𨀶@@tZ*8@@"_D"@"_E@@@@@'eq_refl @@֚2@$"Z77@"a@@@@@&eq_sym @@ꚠF@8"Z7蚠K@="Z7@Q@"atV@"a@@@@@7(eq_trans @@d@V"Z7i@["Z7#s''p@b"Z7@v@"a@}@"a@"a`@@@@@d%mem_1 @@5@"Z7B@"𨀶@@_"_1@ @@"dݜA@@@@@%mem_2 @@]@"Z7j@"𨀶@#Ʃ@"dA@"_@@@@@'equal_1 @@}@"Z7{@"Z7@@#_H멚@#uC@@@@@̠'equal_2 @@@"Z7@"Z7@c@#)^ @#_@@@@@젠(subset_1 @@@ "Z7@"Z7@$@x/G++@.4u@@@@@ (subset_2 @@ݚ9@+"Z7ۚ>@0"Z7@FF@I4uiK@/Ր@@@@@,'empty_1 @@Y@S#^̀^@y#@쀐@@@@@?*is_empty_1 @@l@^"Z7@r@l#^̀©ְyy@fѐ@@@@@Z*is_empty_2 @@+@y"Z7@@f穚@#^̀6@@@@@u%add_1 @@F@"Z7S@"𨀶@"𨀶@@Z*թ@z"_@"\@@@@@%add_2 @@o@"Z7|@"𨀶Ț@"𨀶@@"_^@"_@"\ː@@@@@Ǡ%add_3 @@@"Z7@"𨀶񚠐@"𨀶@ꐩ@eZ*)@ @"_驚@"\@"_@@@@@(remove_1 @@ɚ%@"Z7֚*@&"𨀶"/@+"𨀶@(@Z*X <@"_B@4qmk'@@@@@#(remove_2 @@P@B"Z7U@Q"𨀶MZ@V"𨀶@FU@Z*@h@+"_Mn@1"_t@/4qmkYR@@@@@V(remove_3 @@'@u"Z74@"𨀶@"𨀶@@V"_A@U4qmkϩ@b"_7@@@@@+singleton_1 @@Y@"𨀶@"𨀶@@{"_%@~`@"Z*M@@@@@+singleton_2 @@}@"𨀶ɚ@"𨀶@@;Z*@"_@~i@@@@@ɠ'union_1 @@@"Z7@"Z7@"𨀶@@"_s @#"~@"or @@"_@"_S@@@@@'union_2 @@К,@"Z7Κ1@#"Z7⚠6@2"𨀶@<@"_A@"_G@#"~,ɐ@@@@@)'union_3 @@V@H"Z7[@M"Z7 `@\"𨀶@f@)"_ᩚk@."_Hq@#"~*@@@@@R'inter_1 @@#@q"Z7!@v"Z75@"𨀶@@R"_@"#T{@]"_2@@@@@{'inter_2 @@L@"Z7J@"Z7^@"𨀶@@{"_%@K#T{H@"_@@@@@'inter_3 @@u@"Z7s@"Z7@"𨀶@@"_d@@"_@"_>@#T{א@@@@@Ԡ&diff_1 @@@"Z7@"Z7 @"𨀶@@"_~@"m@"_@@@@@&diff_2 @@Κ*@"Z7̚/@!"Z74@0"𨀶@:@"_@@"mʩ+G@ "_|@@@@@(&diff_3 @@U@G"Z7Z@L"Z7 _@["𨀶@e@("_@Qm@0"_r@5"_ĩx@"m@@@@@Y&fold_1 @@*@x"Z7r.(kM]@@!i!f@@"n멚@"ԫ!"$List%Listsv@)fold_leftɀր@"𨀷K!e@"𨀩 4@&F@@.(k@9@A@A@ %'A*StructuresA&(@ADA%t+@HA@JA1DHe@ABC@@*cardinal_1 @@@"Z7F7@E ^'9@&length䷀@"𨀩@A&FI@@@7A o@A@@ޠ(filter_1 @@ @"Z7 @ "𨀶@ @ "@*SetoidListw@+compat_bool!!| @ Zή @Z*@ /@"_ 5@2闀ͩ :@"_Ɛ@@@xAm,$@A@@ (filter_2 @@𚠐 L@ >"Z7 Q@ M"𨀶@ W@ S"\@A Q@ PZή U@Z*ζ@ h@ +"_ n@2闀Ұ)Datatypes$Init@$boolZ'@aA@@F@@ a(filter_3 @@ 2 @ "Z7? @ "𨀶@ @ "@ @ Zή @Z*@ @ m"_@= @ s"_E @]2闀F@@@@ )for_all_1 @@ k @ "Z77@ @ "Ҷ@ @ Zή @7Z*D@ @8b @ "𨀩Hv h jk9L署 @n&G@@@@ Р)for_all_2 @@  @ "Z7m@ @ "@ @ Zή @mZ*z@s @n& Kn @8b͚ !@ "𨀩=ǐ@@@@ (exists_1 @@ ֚ 2@ $"Z7@ 8@ 4"=@" 2@ 1Zή 6@Z*@ I@-G O@ K"kV V@;@@@@ 7(exists_2 @@  d@ V"Z7Զ@ j@ f"o@T d@ cZή h@Z*@ڰ} }@7 թ @ -G 4 @ "g +@@N@@ i+partition_1 @@ : @ "Z7@ @ "@ @ Zή @Z* @ Z#_@#fst  @ "Z7 @ "Z7 @O  @l2闀 @@@@ A ӳ2[@ A Գq\@ABC@@ +partition_2 @@  @ "Z7M@ @ "@Ͱ @ Zή @MZ*Z @ #_@#snd @ "Z7 @ "Z7 @ = @2闀  @ "𨀩 @$negb4 k@@T@@ *elements_1 @@ ̚ (@ "Z7 ٚ -@ )"𨀶@ 3@ "_ @#InA q9@ 2@ 1Zή 6@Z* H@&Fa@@@Ai0A2@A@@ -*elements_2 @@  Z@ L"Z7  _@ ["𨀶@- Y@ XZή ]@Z*֩ o@&F  t@ 7"_ @@,@@ U+elements_3w @@ & @ t"Z7l@&NoDupA @ @ Zή @Z* @&F @@O@@ x(choose_1 @@ I @ "Z7 V @ "𨀶@Ȑ @ "𨀩 @2@ ZA @ "- @ "_ @@@A ůM @A@@ (choose_2 @@ | @ "Z7@= @ "𨀩 @ 2@ 6B @ "𨀩 @ #^̀ @@.@@ @  @@ @#Dec *FSetDecide%FSets#Coq@+WDecide_fun  !F)FSetFacts%FSets#Coq@*WFacts_fun #eqb @!x@ %i@!tZή!y Р&Specif@'sumbool7̂K@BAAAA@@@@@A!s!@"eqZ*  ۩%Logic@#notШ󩚠2@&eq_dec.. e@@B@@>7? +k() 7!= R'>G'>H''+k6'@!E)FSetFacts%FSets#Coq@@5$ӹhР&Specif$Init@N7̂K@BMLKAABAAAP)Datatypes@$boolZ'@@@A!M*FSetDecide%FSets#Coq@ @A@@@!E   @A@ @A@@@A!M?>=@@@@A@@@J @@!+@@!t!+J@@A@(@@"eq(^@@A@AB@A@'@A@@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@)In_eq_iff @UJE@6%@>@ 4@"Z7 9 :@@#iffС) C@"In"_  @@@@@8'mem_iff @}rmh^M@fA( ]"  @ @ i@#mem"d@@@@@[+not_mem_iff @p@BK E%#@@@@@s)equal_iff @@Cc"s'f_ @%Equal#_A @%equal#@@@@@*subset_iff @ܠѠ̠Ǡ@D8$ @&Subset/5c @&subset4u=@@@@@)empty_iff @ߠ@Ev ݩ , @%empty#@쀛V@%Falsee@@@@@@٠,is_empty_iff @ @Fzɩ  @%Empty#^̀` @(is_emptyfY@@@@@-singleton_iff @?4/* @(G  䠩ߠ n $@)singleton~ m@@@@@'add_iff @\QLG=,@EH < =  B@#add"\  @"or @ǩ  @@@@@?+add_neq_iff @ytoeT@mI/ d e@֩+& )#"@@@@@X*remove_iff @~m@JH }  ~C> ͩ @&remove4qmkA@#andЖw@@@@@@@}.remove_neq_iff @ @Km; 2 @id &a`@@@@@)union_iff @۠РˠƠ@L7#U |  @%union#"~ yj@@@@@)inter_iff @ܠ@MWCu ܩ+ @%inter#T{ ^@@@@@Ԡ(diff_iff @ @NuĶaŶ I @$diff"m>|@@@@@*filter_iff @8-(#@!O !f@ u@*SetoidList%Lists @+compat_bool!!|tw .@&filter2闀԰{@@@ %'A*Equalities*Structures f"ab@@@@@'empty_b @ޠ@Tk ܩ{7v<@@@@@̠%add_b @@Um  MN@#orb @-ACv@@@@@)add_neq_b @8-(#@!V  @uS@@@@@ (remove_b @OD?:0@8W / 0ϰ@$andb=5@$negbE@@@@@.,remove_neq_b @shc^TC@\X S T@ũ@@@@@E+singleton_b @zukZ@sY i j ũKq@@@@@Z'union_b @o@ZJK ۩ĩ@@@@@r'inter_b @@[bc1 72h@@@@@&diff_b @Πà@\*yzH N IzN@@@@@*elements_b @ݠؠӠɠ@]Da ȩg#b$List@'existsb k,@@@A=\ @A@@Ơ(filter_b @ @^g Ѷ@ЩHĩ)@@@@ߠ)for_all_b @$@ _϶@`=@'forallb?[/ Qeא@@@a@A@AIPAH@@@A1@D@ABCD@@(exists_b @LA<7-@5`@̰e#@@!@@$E_ST @bWRMC2@Ka/RelationClasses'Classes C@+Equivalence~@Ð@@@A݋X_A @A@@>(Equal_ST @xsndS@lb!/Ɛ@@@.%wA-FSetInterface eA@A@@V$In_m @|k@c)Morphisms8@&ProperL@@QA@*respectful%WO?% \ TM@@@WAviA@1A@AB@@*is_empty_m @Ƞ@d-@u"wJ@@@@A@@'Empty_m @ՠРˠ@eE<2@@@@%mem_m @ݠӠ@fW@j+Ll-K,l@@E@@ +singleton_m @@gl@a`MƐ@@Z@@נ%add_m @ @h@@ʩwvyee@@@s@AAۓό^@@t@ABC@@(remove_m @;0+& @$i@@@@'union_m @MB=8.@6j@130o@@@@'inter_m @bWRMC2@Kkǰa@@@@/&diff_m @tid_UD@]lٰ'&U@@@@A(Subset_m @{vqgV@om밶@35@@@@V(subset_m @|k@n@HԩJ@@@HA@}@A@A@!@ABC@@r'equal_m @@o@@@@@6@ABC@@+Subset_refl @̠@p(w@@@@@,Subset_trans @ߠԠϠʠ@q;'#s''@@m@@@@@5SubsetSetoid_relation @@/RewriteRelation6C @A@(Gk @@@@ՠ6SubsetSetoid_Reflexive @@W6/@@)ReflexiveW#M@dvi+  @@@@7SubsetSetoid_Transitive @@d0@@*Transitive++-C @o5I>94*@@@@,SubsetSetoid @@(PreOrder@AzG'@c<67:kFL*Dshc^TC@@@@=&In_s_m @wrmcR@krߩک2&Basics'Programg@$impl7o-@@@@]0Empty_s_m_Proper @r@sP@$flip$WW%@@@@)A!s̓P(@-A!t Q,@ABC@@)Empty_s_m @%@*proper_prf4>M!#@48q@Cv:w@(zz)Iy ,67 6  67777777 + 7T7k6'$A @6i|)Morphisms'Classes@&4>M@Y6WCL@*respectful%WO?|o'Program#@T$\%@*Ug T*@x)"tTLelD@7oh @@k@@㠠.add_s_m_Proper @( @t  MMʐ@@ @@'add_s_m @x֚@!r@@@dd 7pk 067  677777 +7T77 + 7T7k6'+7T'6' vxprfP@)TZxH@@%Q@"eq%Q~`N@T lXsLxmhcYH@@@@B1remove_s_m_Proper @|wrhW@puk_@@e@@T*remove_s_m @wk𚠐v@6@@G H@[ZY Πxpʐ@ ;h5TàPxH@XV`@H9Lˠ@@@@0union_s_m_Proper @ڠϠʠŠ@v?3@@@@)union_s_m @(@4:g@f]@i`@ࠒ#`xp&@*ҐT$P@A )L  xH@ @@J@@䠠0inter_s_m_Proper @) @wO(@@\@@)inter_s_m @u[4@Ĉ@@^@aaABࠒp`xps@K*ϐTqeP:@?'nLY xH@g\WRH7@@@@1/diff_s_m_Proper @vkfaWF@_x۰)$[&&[@@@@G(diff_s_m @9gi@!2E@ 78@ :;@ĩtNuM <=67 +6  677777777 +7T77 + 7T7k6'+7T'6' °Dp젒d(0|t\TL@IL@)5lT@@@@,filter_equal @ϠĠ@y@ F @ .}~@@@~@@*filter_ext @ޠ٠Ԡʠ@z"f' e c %@ f E@ j hp , y  Q=@::G%  @@@@AN@@@M@ABCD@@Ϡ-filter_subset @   @{E@׶ r^¶@99D@@@@@@@@͐@0FSetLogicalFacts A)test_push @ 3 ( #@ 1@!P!Q!R@)Decidable @)decidable r@ @  @$Truey@@ I@  Z@@ Ha @I@ J @  ƠK @  ĐΠL @@ ːM@ ϐ@ O@  @ א@ ܐ@P J@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@)test_pull @   @ A } { @y@z@o@g@e@a@[@V@O@H@A@ = =@[ CL@ ; N@& Q@@@@@A@@@@@3FSetDecideAuxiliary A-FSet_elt_Prop,<@A@@DDC$'eq_Prop+eq_elt_prop+In_elt_prop-True_elt_prop.False_elt_prop-conj_elt_prop-disj_elt_prop-impl_elt_prop,not_elt_prop$!S30ԠA*FSetDecide@@ y+ p$ /(0  } v ~2 O  g 5  ^9ɩ:kl@=ʶ@̩oCuv@ @ |}@@@@M U |AA@@;$CBB@@DDDB$CBB@@DDDB@ `@YuU@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BG$ACBBCB@@A@DDEDFDGB@@A@@@@@30@q@A@A@sA1DH @A@ݠ1FSet_elt_Prop_ind @I@A      ķE _  ,vI>K 7MXV@m/ =@uU@ J@5=@ ?@) Ʃ" #epn@@;K@@. ө* @ q|z@$@?W@@5 ߩ琶@  }@/ {@K rD fA@ Y"Q &B@@@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@DB@0e $ e \j h f _ gt B kҷ P | EPQno$'()Z[xy _`}~dR /7 ^@&wlaQ \+k()        , ' (*()=| &0EZoRy'>  &'>  %'> %'> 3! 3!# '> 3! 3!# '> 3! 3!# '> 3! &''''+k()$'+7Tk+ 7 T'$' * ) (@ R@K5Ir@0@aAJؠ < 1 ,@@@@@)FSet_Prop,<@@\-elt_FSet_Prop/Empty_FSet_Prop0Subset_FSet_Prop/Equal_FSet_Prop@:  q 0"s1 "s2  y   AA.BABBBABB@ @*'@@@@@@@@@@@@@DABBACBDB@@A@@@@@@@頠-FSet_Prop_ind @U L; M  3: P: 68 76 T> :< ;6b Y @]'@Z@>?@@@@@@@@@@@@@Dv@G ^.5@z q` r% s# t   v g 0+k()= &R,'> % ' >$ '> % ' > % ' '+k()$'Р@ א@@@@@R&dec_eq @   @ D i g ` h 9@@@@@b@@@3FSetDecideTestCases A/test_eq_trans_1 @   @ E   y !z  k @ f@ a c l @ ө @@@k@A AۀߠK@k@A@@ABCD@@/test_eq_trans_2 @ 5 * %@ 3F  (!r   @ ֠ h@  '@   ̩ 9ն@ ة SӐ@@+@@3test_eq_neq_trans_1 @ _ T O@ ]G!w Զ  ն  ֶU ׶  @ @   Q@@#  Ӑ@@@@AU@N@@ABC@@㠠3test_eq_neq_trans_2 @  z u@ H&a b cyd"r1 3"r2 6  7@ * K<@  0!@ 3= 6L@ 7A!@ :> F@ ?+ A( ?@@@@A@@A=@@)@ABCD@@1test_In_singleton @   @ I 4 Y z@@@@@.+test_add_In @ Р Š @ J E < + z@ m p #@ #Ʃ s@@@@j@AB@@H6test_Subset_add_remove @  ߠ @ K _ƶ D    I =@@@@@\3test_eq_disjunction @   @ Lڶ t۶ kܶݶ@  , 'G   _# `Ð@@4@@z0test_not_In_disj @   @ M   ƶ Ƕ"s3 ʶ"s4 Ͷ@ r   F HT JO ˠY ~ Ƞ ʠ Ҡ<Y )>@@@@@0test_not_In_conj @ J ? :@ HN & '  . , @*       @@@@@Ơ-test_iff_conj @ h ] X@ fO!aF  ޶    @   [ v  -  _@@@@@砠.test_set_ops_1 @  ~ y@ P e!q 4U 5  6@ S@ o y@ s  x z 1 @@@@@ -eq_chain_test @   @ Q"x1"x2"x3"x4c _a ` a b@ @ Wa Z]C@%@ _c !]@ fj@ ie l_ն@ nة  s^||@@@@A j@ $@ V@ABC@@J0test_too_complex @   @ Ra_X`ʶ I @@@  y ܶ@ݩ @@ @@f/function_test_1 @  @S 綐!g@  db@ Q @h= Ͷ@   K@@@ l@ @AB@@/function_test_2 @4)$@2T  ,* ޶ ߶@)@c$@#@  " ۠P@@@ A@ @ @ABC@@-test_baydemir @YNI@WU  878@ ~  @ |Vs@@@@@@@@ @AM@ F@AB @(@A @L@ @ABCD"@@@@@$@"FM) @@@@ @A@@A@@@@@[K @ z@S @H1@X @@@@@l4 @ @<.] @1B@A.] @@@@@}" @ @*t@S@/t@@@@@ @ @#+F@d@(+F@@@@@ @ @-ĤA@u@-ĤA@@@@@  @ @  c(@ @ c(@@@@@  @ @ R@ 向@ R@@@@@Ҡ ؐ @ @ &ڀ@ Ր@ &@@@@@㠠 ̐ @ @  S@ ɐ@  S@@@@@  @ @ |@ @ |@@@@@  @ $@ ڗ@ @ ڗ@@@@@  @ 5@ 7yv@ @ 7yv@@@@@'  @ F@ 0ڀ@ @ 0@@@@@8  @ W@ x@ @ x@@@@@I u @ h@ }3w@ r@ 3w@@@@@Z g @ y@ oו@ d0@ tו@@ E@@k ; @ @ C;z@ 8A@ H;z@@ V@@| % @ @ -*9ѓ@ "R@ 2*9ѓ@@ g@@  @ @ =J"@ c@ =J"@@ @@  @ @ .$ꉀ@ t@ .$@@@@@  @ @ zQ@ @ zQ@@@@@  @ @ . A@^{r>  𠩚@3ܜ  ` ꐑ@ . A@@@@@ࠠ  @ @ 5^@ ꐑ@ 5^@@@@@  @ @ Dh@޶o    ސ3@ Dh@@@@@  ݐ @ *@ '@ ڐ@ '@@@@@ א @ ;@ (3@=>ݰ Y@ (3@@@@@1 א @ P@ p3@ Ԑ@ p3@@@@@B А @ a@ $ދ@ ͐@ $ދ@@@@@S ʐ @ r@ @ P@ `(>@@ @@& O @E@ W. L@ L@ \. L@@ H@@7 A @V@ IDs@ > @ NDs@@ Y@@H @ @g@ Hp>@ =@ Mp>@@ @@Y < @x@ D$ތ@ 9/@ I$ތ@@ @@j ; @@ C3Г@ 3b@ C3Г@@ 2@@ + @@ 3W@ (s@ 8W@@ *@@ ' @ @ @ 06/@@@@@ ! @ @ @ *0@@@@@Ƞ  @ @  ~ @ @@Ԡ  @@ U<ʞq @   @ @@䠠  @@ R @   琠@ @@  @ S"@ ِ ֠ ː@ @@ Ő @!@ 8jt@ @ 8jt@@ @@  @ @ @ 8q@@ @@   @   >V@ K @   U@ @@2 O @ 6@ H@ Xr@@ P@@? F @  a Uu@ fL{ F@ E 9 @ @@Q  @ @ #@ 6@@ o@@^  @   t@ &! @   ᐠ@ @@p ې @ @ ԐB@ 4:g@@ @@} Ԑ @  n ښ@ :H1 Ԁ@ Ӑ ɠ9 @ @@  @ @ a@ Ĉ@@@@  @   ٚ@ _ @  X @@@ } @ d@ v@ 2E@@ C@@ t @ 9  ښ@ 9 t@ s iw I@ U@@͠ C @@ K@ @@ P@@@@ޠ : @@ BבC@ 7@ GבC@@ %@@  @@ (,`@ @ -,`@@@@@@@@Ġ&In_dec @@ @&Specif$Init#Coq@@'sumbool7̂K@@"_z%Logic$Init#Coq@@#notШ@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@#Add @12g, !@ A +k() +7T' 7! 7!7! 7!7%'РhBxAT?t@@@@@A)Add_Equal @@![A.!%  c@#iffС)!d@J$rJ ĩ i@@@@@b*equal_refl @@!|B3 @@@@@n)equal_sym @@!C?+@((~@@@@@|+equal_trans @@!D@7@9@@@@@+subset_refl @@!E6@@@@@,subset_trans @@!F+@@@@@.subset_antisym @@!GuĶaŶ@<@=` @@@@@,subset_equal @@!HԶqն@nG@@@@@,subset_empty @@!IW6 b@@@@@Π/subset_remove_3 @@!J$@bg r@@@@@ߠ+subset_diff @@!K  9@x Zy; B }@@@@@,subset_add_3 @@" L  G@@v @@L@@,subset_add_2 @@"M '# %$Y@ @@@@@)in_subset @@"-N 73 54i@@)@@@@@"0double_inclusion @@"p׶@<X@@@@@*add_remove @@"Vb@K!.i!5@@@\@A@@@[@ABCD@@*remove_add @@"WxǶ@{a}!D!K@@z@@3singleton_equal_add @@"X pq/@@@@@Ơ6remove_singleton_empty @@"Y@@>ϐ@@@@٠)union_sym @@"ZpqҐ@@@@@頠2union_subset_equal @@#[  @!@@@@@-union_equal_1 @@#\@| w@@@@@ -union_equal_2 @@##])*+@ĩĠ@@@@@+union_assoc @@#3^9:;Ӡ!!E@@@@@,3add_union_singleton @@#F_L堩B$Ġ!ɐ@@@@@=)union_add @@#W`]^,ՠ!کVِ@@@@@O2union_remove_add_1 @@#ia o p> 砩'Y'*M@@@@@d2union_remove_add_2 @@#~b5!S@k~O@@@@v.union_subset_1 @@#cG3 "@@@@@.union_subset_2 @@#dUA"&@@@@@.union_subset_3 @@#ecO(@@',, "7@@@@@.union_subset_4 @@#fuĶaŶ:ƶ@8=@@@@@.union_subset_5 @@#gӶpԶIն@GLLéMǐ@@@@@Š-empty_union_1 @@#h@jܐ@@@@@Ҡ-empty_union_2 @@#i@w"m@@@@@ᠠ,not_in_union @@#j7@@"V@@@@@)inter_sym @@$kp©q@@@@@ 2inter_subset_equal @@$#l)*@à"@@@@@-inter_equal_1 @@$2m89:@Ӡ @@@@@)-inter_equal_2 @@$CnIJK@䠩 @@@@@:+inter_assoc @@$To Z[\"ߩ"F@@@@@M-union_inter_1 @@$gpm no4栩 Y@@@@@`-union_inter_2 @@$zq1&٠ @@@@@s+inter_add_1 @@$rD0bɶ@k.젩##O@@$@@+inter_add_2 @@$sYEw޶@]C_@@@@-empty_inter_1 @@$tiU@=@@@@@-empty_inter_2 @@$uxǶdȶ@@@@@@.inter_subset_1 @@$vԶqթK#N@@@@@ .inter_subset_2 @@$wY#d@@@@@Р.inter_subset_3 @@$xf@i׶@.k#uK 3@@@@@㠠,empty_diff_1 @@$y@:=@@@@@,empty_diff_2 @@% z@L#@@@@@+diff_subset @@%{"#[#@@@@@1diff_subset_equal @@%+|12@ˠk@@@@@ 5remove_diff_singleton @@%:}@ u٠˩y @@@@@/0diff_inter_empty @@%I~OP蠩/8@@@@@?.diff_inter_all @@%Y_`#ڐ@@@@@N'Add_add @@%h@n< ##"@@@@@\*Add_remove @@%vA-|J @S#2#@@@@k)union_Add @@%B<([ ¶@"$ r$$$  X@@@@@)inter_Add @@%CP<o ֶ@x@7$  9$& @@ V@@+union_Equal @@%DeQ* @@Q/ @@ @@+inter_Add_2 @@%ExǶdȶ=ɶ @}@(d&א@@ @@.elements_Empty @@%F#t@##^̀$c@"eq @!(!"@!7&F$r)Datatypes$Init#Coq@@$list]@A!7@@@%Ai0A*SetoidList%Lists#Coq@@A%AIPA$List%Lists#Coq@@%A al)Datatypes$Init#Coq@@&A1@D@@&A1DH%Logic$Init#Coq@@ABCD@@.elements_empty @@&7GX!|!vT5@#a#@쀩VA!@@@%=A7@A@@;'of_list @!l@!]@!@*fold_right#k!]$@y!#H P+k77777#'Рj`{p!hxאX@@@%uA+y@%yAs@%`A*@ABC@@{'to_list @$@!ې%@@@@@)of_list_1 @@&HM<:x%gFA&@e+'}{%2*SetoidList%Lists#Coq@@#InA q9@&%@"eqZ*AB@@@&A@%A@AB@@)of_list_2 @@&Itr&@*equivlistA~|@Y:س@+'}{ %s@@@&A@A@@ᠠ)of_list_3 @@&J"B@%#_!!%@@@&A@A@@/fold_spec_right @@'K!A߷Q"O@@!i%@@"Z@%"%"^@$fold"ԫ%%"%%"f%%@#rev$t"m@@߷@ @A@A@$A*@A'A4%@+A.(,L@AB.A.(kM@3A8@A4A1FdJ@NA>@AQA+@UA3@A1GK@ABCDE@@M(fold_rec @@'gLT߸R"@@@u@%픑߹S"@@X\%0@@m@R" v#@ ƶ@. @ "p& @m"lשj"nq۠&n"s&"z@@߸@-@A@߹@&@A@AB@1AX@A@@,fold_rec_bis @@'M^"@@ֶ@@&*_"@@&9m@o[ @"@@"&E@" Ķg˶@&L@s @ 1"""@@@1@A@@*@A@AB@5Ar@7A@0Am@ABC@@Ϡ.fold_rec_nodep @@'N֔f##@@@&vg#+@@ٶ&}@A@#7 ^@@FPu@@@@A@@@A@AB@"Ag@$A@Ab@ABC@@-fold_rec_weak @@(Ok#U@@M@)@&&l#^@@L &@45 &{@@/@#&@ #q .?@䐩4@922:=J&˩#H&#(@@@.@A@&@'@A@AB@2A@4A@-A@ABC@@C(fold_rel @@(]PJt#@@!B]u#@@@&@&씑v#@@@#@#_#X ^#Z!j#]5@@U# yu!bx@ K@tmwΩm'#ro'#{@@@8@A@]@1@A@@*@A@ABC@A1I!MH@ADA@FAj@ABGA ߠn7@LAi@ADA@FAs@ABCGA @KAq@ACA@EA1J`N^@ABA@k@Ah@A alM@A@ABCDE@@-set_induction @@(Q@єU}$@@@ٶ@@ܶyݶ@$@Ԡ'c#Ŷ@A H@@U@@A@A@At@A@@֠1set_induction_bis @@(R@ϠC$+@@@@@ #@'|Y@$< @T@ Kg #&@@@@A@A@A`@A@@-fold_identity @@)S#'v'@@@@AV@ @AB@@A@A@A@ABCD@@&fold_0 @@)2T8 EM$m@@'\@"ex @d@&NoDupA @_#$OJ''''ө/$?5$A'$:'ީ$C$'''@@E@*@A@A@.AL@A/A)@1A$@AB2AU@@A@@A@@@ABCDE@@]&fold_1 @@)wU.}eàO$@@#eqA@(@(8"st2l( @$Ķ@$kֶ@ ȩ$nl(((@@@@A@A@A@AAd@!A`@AB"AZ@%AD@A(@N@@ABCD@@&fold_2 @@)VbN$S$@@6420(;/@@)compat_op$9[$p$(E@@)transposeWâ%$(E@sà@g©Ѡ$$ȩ$#@@@+@A@A@/AĠm@A2Au$ @6A@AB7A@;A@AA@ABw@At  @@9@ABCDE@@䠠'fold_1b @@)W씑=U%9@@((@$(@@=@ @A@A@A%t@AA@A@ABA@A&@a@@ABCD@@ -fold_commutes @@*'X|V%a@@Q$Compz%((#Assw%t%%!(B%w>;(+(ɩ!@((ʐ@@@!A4@A"A@$A@&A @ABC@@ ?)fold_init @@*YYF2ٶ|<+/(((C%F"i'%Bi@ŠCh(%OEj((@@@"@!@ @ABC@@ ^*fold_equal @@*xZeQKIGEbɶ6"@|`w) %lby)%n@@@B@AcA@eA@AB@@8@A@}@A6@@i@ABCDE@@ *fold_empty @@*[w@%ڶ@))%){)()*)#)+)+@@@A@\@A@ABC@@ (fold_add @@*\8642C tö%@w#%$)BB@@@:@z@AB@@ (add_fold @@*]TRPN_ #߶&@֠Z@@@@A@@ Ϡ-remove_fold_1 @@*^¶kige v :&+@ͩU)sX%u@@@@n@@ABC@@ 젠-remove_fold_2 @@+_߶*׶Ӷ W&H@ǩ @@4@@ 0fold_union_inter @@+` @ m)*%" s2$ u)& w) ( y))@@@@A@@@ABC@@ #/fold_diff_inter @@+=a*aʶ  ' JKF$C *!@@@@@@ABC@@ =*fold_union @@+WbD0׶Ӷ{*(&$A de@4& ^BY&ND[)@@ @@ Z)fold_plus @@+tc+z!p! @#nat@V\ @& B** #Nat!@ `k* A*@@@NA@A@@ -cardinal_fold @@+dW&À&@'  ^'*0@'"ԫ@#nat@@'@BA!Q!P+@@K@A@@@*A(1@*A o@"LA1GK@ABC@@ Ġ*cardinal_0 @@+e* @"ex @@*"𨀷  @#andЖw@E@&NoDupA @+˚>Aݚ   **`+⚠UAB?'w|*6@&length䷀AA@@@,A/@,A@,Af@ABC@@ $*cardinal_1 @@,>f*@h*ɩf'*ɜA@@@@@ @*cardinal_2 @@,Zg++1+ @ c m**@,a@ J$rJ*'V*󩛠'ɩ΀'^B׀'`@@@@@ q.cardinal_Empty @@,hB*l ,+'+!A@@@@@ .cardinal_inv_1 @@,ia(@΀( +9A߀+8@@@@@ .cardinal_inv_2 @@,j}(!!n@@((-+SB+` @#sig#* @ +p'Ґ@@@+A8A   @@A@@ 㠠/cardinal_inv_2b @@,k(X@ %(]b+NA3' ++@@@,A1>lB@,A3@AB@@ .Equal_cardinal @@-+l++@3++U(++@@@,5AU@A,AviA)Morphisms'Classes#Coq@@,%AۀߠK @,)A݋X_A/RelationClasses'Classes#Coq@@ABC@@ J1cardinal_m_Proper @@-dm! @@&ProperL@+(ũ @*respectful%WO?|OҀ@@@,TA9@A@@ m*cardinal_m @"@<(@(cardinal ^' '@5*@!x,!y,@ @,P#_,,%%Logic$Init#Coq@@ @77,49,/ "67 67 7777 + 7T7k6' TnTŠtL3L;Te|UDhp@@@A@AA1DH@,A@AB@@ ˠ.empty_cardinal @@-n)>C1A@@@@@ ⠠2singleton_cardinal @@-o *ȩ)W\ @*~,O@B@@@@@ 3diff_inter_cardinal @@.p **A)Datatypes$Init#Coq@@#nat@#Nat$Init#Coq@@#add `!9@*"m,,ͩ!C@*#T{,,ש,Ӑ@@@@@ G.union_cardinal @@.aq!- - @!9-( jy x,, |,,)ѩր!v@++#"~- -U䀐-耐-@@@@@ /subset_cardinal @@.r!S,Ҷ @,ζ@!@,/-#-+%Peano$Init#Coq@@"le UxT@-=-:@@@@@ 2subset_cardinal_lt @@.s!, l,!-@.-V-O@ ܀-T-[@ ۀ 倠-d)9@"lt UxcB$6F)ϐ@@@@@ ࠠ4union_inter_cardinal @@.t!+ + ީр`--hŀ--倠t-x-@@@@@4union_cardinal_inter @@/,u!+϶ +̩ Q*-- @#sub -ǩ-ө--ې@@@@@G1union_cardinal_le @@/av",!,À퀠--@π-Ӏ.@@@@@m.add_cardinal_1 @@/w">.D"\.K@..  *驚"@,"\..!.%@@@@@.add_cardinal_2 @@/x"c.i".p@.=.5 ڀ+).A.H B$.Q@@@@@1remove_cardinal_1 @@/y".".@倠.e.] 3@0BG"@,4qmk.s.zQ.~@@@@@렠1remove_cardinal_2 @@0z".¶".ɶ@ .. 3+kp)..x.@@@@@@@@߷@A߸@߹@ABR@R@A"@!@ABC@&@A@]@AB@UO@A&@E@AB@Z@=)@|@@A@ABCDEF @@AC@ *A1I!M #@AA -@A @ABA ߠn 3@A,6@AA@A1J`N 2@Ax@BCDEv@x@AJ@BH@G@AC @ @ @AB@@ACDEF@@A}@BT@@ACD@@@@ABC@@@ABCDEF@@`@ABC]@\@\@KAĠm s@ABCDNAu$  v@4@A3@2@AB@@A@B3@@A@@ABCD @@A/@B@@t@ABCEFGH @ ?@Av@@AB =@ :@ @ABC0uAK@0xA@A0yAy@ {@A t@BCD0|A1FdJ {@0A@@E@ABC@Y@Ax@@ABD @/}A_@@A N@BCEFIw@+WProperties0B/0@0.@# @J @@@@ %'@ @A@A@@@AA@@A@#} @^@B/,0@#0V@@@@@@'eq_refl @@#@#1Ҁ{@@@@@$&eq_sym @@#!#"@#!@@@@@2(eq_trans @@#/#0V1@ !}@"@@@@@B# @@#>#?#ʠ# @@@@@P@-DecidableType*Structures#Coq@-DecidableType@@@@0V@y/4@!t0VJ@@A@1@/:@"eq1Ҡ^@@A@AB@,j @g@z@/J0@09:UH@/["WS/U@A@@/T/m @@@A@@@/\/]@@7LYM@ /b@.7LYM-@A@7L`@@+7L`*@A@AB@A@@@@@0B$. @@<@@07@.%w@@@A@A@@@0O#c @@@@,#H)@@$I#Gi3@@@@@0b# @$?#+#@##Go"z#l@$J#6I0/002///\WP@@@@@0# @$c2#O3:@##"@/۠ojc@@@@@0" @$vEL$j1@$zIx/}v@@@@@0! @@_$Z$a@E@/m@@@@@0! @$mu$v"[' @//@@@ @A@@0֠#L @@@@@@@0ޠ#- @@@'@@@@@0砠#Ր @@@ @@@@@0# @@@@@@@@@0#- @@@@@@@@1"א @@@@@@@1 " @@@@@@@@1" @@ @@@@@1"t @@@@@@@1$$ @@##@@Ր. @@@@@17$ @@%#%@%#Gq4%%@@@@@1J# @@@m@@@@@1S# @@ @@@@@1[ T @@ m @@@@@@  g@@.(,@ H@A@A@@@1m"_ @@@@(&@@@@@1w"F @@ @@@@@1" @@@@@@@@1.: @@@@4(B@.0t@;;@@@ A ϲ6W(I@ A вuX(M@AB@@14 @@@LO@@@@@1"W @@@U x]@@@ @A@@1- @@@a(o@- >v@@@@"A ůM(u@A@@1ɠ- @@%t%{%|@@f$g@@@@@1ؠ @@%@@@@@1⠠ @@%$@#@@@@@1 @@%$@#@@@@@@1- @@%%@$(@$#H $(@@@@@2- @@%&@%(˩%(@@@@@2-q @@%ȶ$ɶ@%%(ک@$$0#(Ґ@@@@@20-d @@& ۶$ܶ@%0(&(#ϐ@@@@@2?-S @@&%@@$0z떀&%D)@$53#(@@@@@2V-J @@&2%@%V)&+)#@@@@@2e-9 @@@$#ܮM@$$Pm@@@@@2w-8 @@&S"@(%w)3-@$혀$)+@@@@@2-/ @@&e4@%)D()8)$Đ@@@@@2-" @@&sB&I&J@Ʃ32>N@$#G݀%@@@@@2-  @@&U&\&]@F@@@@@2, @@&a&h&i@Ƕ@ @@@@@2à,ː @@&n&u&v@&a2l|@$4|%@@@@@2ؠ, @@&&&@@u%v2@@@@@2頠, @@&&&@2$%@@@@@2,x @@&&@2@%8%7@@@@@3 ,f @@'&@82$6@@@@@3,O @@&ö%Ķ'˶@2ǩ@$$<1$%9H@@@@@3-,. @@' ض%ٶ''@ɩɠ2ԩ@@@@@3<, @@'&'6@@@@@@3H+ @@'$&'B@2@$$$c$v@@@@@3[+ @@'7&#'U@Ԑ@@@@@3g+Ð @@'C&/'a@@3 Ԑ@@@@@3w+ @@'S"&?#'q*@3&.@$#R|%@@@@@3+ @@'f5&R6'=@'\@@@@@3+p @@'tC&`D'K@4@53G"@@@@@3 X @@'S  @@ 3X$@a &3[d@ #R #L@+:ɀր3fn3g!er3k&t@$x' ǀ*s3i@@.(k@ @A@A@ @A A @ A @ A@ABC@@3٠ @@'&װ @wm*!*@+䷀$*(@@@% A o*@A@@3+ @@''%<@%9H53@3@%.31'@@%(@@4 * @@'(%S@@' *ɐ@@%6@@4* @@'Ķ(˶%a@%@P@0%$@@%G@@4** @@(ն%q@5@@%48އ(,%33ݩ'2*@%1}'R*@@%a@@4D*t @@( %ض@O@'E+&b*(E'K*T0Z@@%t@@4W*R @@(3%@b@ @%:.pȀ-']+@%9'}+@@%@@4o*8 @@(K%@z@'p+,&+ +@@%@@4* @@([*%@^+;@) 44;@1D>&&@@@%@#A ӳ2[+I@#A Գq\+M@ABC@@4) @@(}L%5@+]@)"(^$)4W@@@@4) @@(b(i@M%w 4]%@@%l@@4Š) @@(p(w@%4s'@@@%z@@4Ӡ+elements_3w @@( %@@%@@4ߠ)g @@((@'߰-@142폀'3A4c@@1@@4)K @@(@'C+;EBSq@@B@@5@@@@@0V@z45@0V@A@1@~49@1@A@AB@626.4@@6/@) @@@@}( @zyp@@@@o @@nh@@@@g @@fa@@@@` @@_X@@@@) @@WQ@@@@@P@@D71 @@6@@@@5V)B @@5G@@@5](q @@@@@@5d( @@@@@@5l( @@ᐠ@@@@5t'ː @@֐@@@@5|&z @@ʐ@@@@5&[ @@@@@5( @@6@@@@5' @@@@@@5( @@@@@@5' @@@@@@5'ې @@@@@@5' @@@@@@5'L @@@@@@5'3 @@@@@@5Ġ' @@@@@@5ˠ) @@@@@@5Ӡ) @@@@@@5ڠ( @@@@@@5ᠠ(q @@@@@@5蠠 @@@@@5& @@@@@@5&Ő @@@@@@5'& @@~}@@@@62 @@|s@r@@6   @@ji@@@@6& @@he@d@@62a @@c\@[@@6 2J @@WP@@@@6'e @@OM@@@@6.] @@LH@@@@65V @@G@@@@@6<1ؐ @@?5@@@@6C1 @@4.@@@@6J1 @@-"@@@@6Q1 @@!@@@@6X1l @@ @@@@6_1S @@ @@@@6f1: @@@@@@6m1. @@쐠@@@@6t1 @@吠@@@@6{1 @@ِ@@@@60 @@Ԑ@@@@60 @@ΐ@@@@60 @@@@@@60t @@@@@@60H @@@@@@60% @@@@@@60 @@@@@@6/ @@@@@@6/ @@@@@@6/ @@@@@@6Ƞ/v @@u@@@@6Ϡ/T @@tp@@@@6֠/2 @@og@@@@6ݠ/  @@f[@@@@6䠠. @@ZT@@@@6렠.Ð @@SK@@@@6 @@J*)'@@6  @@ @@@7." @@ @($@@7- @@@(+@@7- @@쐠@(2@@7-{ @@ِ@(9@@7-L @@͐@(@@@7#- @@@(G@@7*, @@@(N@@71,Ȑ @@@@@78, @@@@@7?,D @@@'@@7F, @@{@'@@7Mz @@yv@'@@7T+ܐ @@uf@@@7[+ @@e\@@@7b@[@@X@+++TS+}+++}_^+s @+rɷ+i+g+Y.5@+B(; +R@./@+A@+~ն+u.?+>@@7z@A@@8@A@8 6@A@+@@@@*ᠠ*ѐ @*+ @+~M+T+U@ѩ*ɠː@@@@@** @&# *+A+_+f*٠K@@@@@+* @630*+-B+o+v*,*Ű.+@@@@@+* @HEB*+?C+**@@@@@+%* @XUR*+OD+*+ @@@@@+5*| @heb*~+_E++7*s@@@@@+F*m @yvs*o+pF+++@@@@@+U*[ @*]+G,Ƕ,ȩ+;E@@@@@+e*N @*P+H,Ѷ,ض,٩+Là7֩*E*D[Ȑ@@@@@+{*< @*>+I,,5,,@M+ce@@@@@+*5 @*7+J,*,G,>+tf*)b@@@@@+*# @ӠР*%+K,= ,Z,Q@r+@@@@@+* @*+L,O+;,m&+\*@@@@@+Ġ* @*+M,a0+M1,8+>*`$@@@@@+֠* @ *,N,sB+_C,J+!*r6@@@@@+頠) @),O,U,\)?@+Ѡ*)ې@@)@@+)͐ @0-*),'P,i*R@ɩ+{@@)@@,) @A>;),8Q,z*c@ک+ya@@)@@,) @ROL),IR,,,w@@)@@,/) @b_\),YS,,,@ +/, , @@@@@,C) @vsp),mT,,/,Ð@@@@@,S) @),}U,- ƶ-ǩ,/Щ)5} -M-7@-"_,#+3@@@@@,q)~ @),V-ݶ-+-"@ C,3/6B@@@@@,)z @)|,W-!->-5,E0H])v()q3@@@@@,)l @͠ʠ)n,X-7 -T -K @ l,\0_k@@@@@,)h @ݠ)j,Y-f -] ,m0)pwW@@@@@,)d @)f,Z-[ *,G +-y 2,0;h)bs@@@@@,Ҡ)` @)b,[-o >,[ ?- F,0OL)@@@@@,堠)\ @)^-\- Q,n R- Y,0b0)נ)Ґ@@@@@,)X @.+()Z-%]- g- n,0w)T 0@@)L@@-)H @A>;)J-8^- z- +d@۩,а0ک**@@*@@-#)D @VSP)F-M_- ++x@,0)@ 9/@@):@@-6)/ @ifc)1-``- +>@,0)@@)L@@-H$E_ST @|yv).-sa)( Z G@@)@@-W) @)-b)6 @@)@@-e) @)-c) @ w ԩ) y  f) ) -O Đ@@(@@-x( @(-d) ]) 0 (@@(@@-( @(-e).  @@(@@-( @ɠƠ(-f)<@  |)1  ~ !Y@@)*@@-( @ڠנ(-g)M@  )B    Ho@@);@@-( @(-h)^@  )S   )U * * [ [@@(@@-ˠ(Ր @(-i)q@@(@@-٠(ѐ @  (.j) )s H  y @@)O@@-頠(̐ @(.k) ]@@)]@@-(Ȑ @*'$(.!l) <@@)k@@.(Đ @852(./m) ) t u @@){@@.( @HEB(.?n) )   @@(@@.%( @XUR(.Oo)˰ Đ@@(@@.3( @fc`(.]p. (@@@@@.A( @tqn(.kq. - ( @@(@@@@@.S( @( @(((@*@@.d( @@(bO@(((@*'@@.w( @@(2z~؀@(((|(}@*:@@.(w @(v  (@(o9(mà(d@*K@@.(^ @Πˠ(`.r*A6*5   *7 *; (Z @@*0@@.(P @ݠ(R.s*S *G *K(L  *M 1(l @@(G@@.(> @(= * b@(l3C)@/{ ./r /@(` 2 2*a E;);1( %,(7'@(c@@.۠' @ '/t*#*u   ۩*w L L _ _ @@)@@.' @(k2 @(0DY@/ / @ ߶/ _/ `@ u u ' '򐐠'30-'ϐ@*@@/ 'ɐ @>;8'/5u*S0 @@**@@/'Ő @(^; @'6oހ@/ ,/ -@ / / @   ( ('Ġ_\Y'@*@@/7' @jgd'/av*ݰ *   \ݐ@@*@@/G' @(  蚠@' @0 / @ ̶0 / @ ϩ Ϡ(M(L''@*@@/e' @'/w+  .ِ@@*@@/s'} @( (9䚠@'$CZ@0/ 0& @ 02 0) @  (y(x'|'f@*@@/'` @Ġ'b/x+7 I++  e +-   ڐ@@)+@@/'\ @)! X嚠F@'|r@0_ 0V @ (0b 0Y @ +(('['=@)I@@/'7 @'9/y-ȶ@ 3;@0a 0/M 1@ h d*#(Ð@@-@@/נ'3 @ '50z-'/0 3R@-ݰ  .x1+ 1 ߩ9:C.|&3.}&2.~',',@9 1n&@&#Z@/{@&1@ .o&0.',$',%@@&*@&).',*',+@@&$@ &#.',0@3&&&',7.&',:. %@&&&',>@%=$%1_ 1V %1a 1F %''',E',F.2.3%',I',J.6.7%',M',N.:.;%',Q.!%@''.'.M.J.&z.&y.G.7.2.-&%%Ӑ@@@@'v%Б,<%%ϐ'),k%',n@>'1r A=9 % D% E=D [% H% I=H AA&%%â@1'P@%+@@@@@@@@@@@@@D%@@A@@@@@@@'% @('Y/ 0/ 1 p=o// % s% t9//% w% x4>/(,/@&+@4@%%%(),@ %=%@(+'r/"I/#/$/%(0,/'%%ZWT%@@@@'ՠ% @eb_%1tB1B12(.@@@@@'䠠% @tqn%1C1 1 (J@@@@@'% @}%1D2 `2a(Y @@@@@(@@','*=G%%2F%A% @%1E2 w2x%y2 ֶ@i'@11o1J@ *o %@@%@@(%% @%1F2; 22 % % 2# @ :O N4@2 '@22! :[ %@ % %@@,@@(I% @٠֠%1G%2`2W%2G@%@2=2?%ٶ@@( '[@@%@@(g% @%2H%62~72u8%9%4%52g6@%4 (@2_+%@-( %ʶ@1%~@3( %}@7%|8( %{@@%z@@(%t @!%v20I2`H>[ 4@@@@@(%s @1.+%u2@J2p2q2l@[>m (2@2a,b@@%r@@(%p @HEB%r2WK22 > =>} 2@@@@@(ˠ%o @[XU%q2jL& 22&`@: S> U>B1 1 4+0@@%@@(砠%m @wtq%o2M22'6'4%l%j@2ڐ5 ; > > y%h2吩1/11%gZ%f@@@@@) %e @%g2N3#ܶ3ݶ'\ض'Zٶ%ڶ%۶@&13ܩ1 33@@@@@)*%d @%f2O%c3A3&2@2p%a1f'֩2v+;\ (@@@@@)G%` @נԠ%b2P3]%_&3D@ (!?@  <@  $ %\ 2@@@@@)d%[ @%]3Q%Z3%X4%V5%T6'1'2%3%4@ &67@%) %R@@3`,) %Q@3f2%P@4) %O@8%N _ %M)Ȑ@@%L@@)%H @"%J31R33'&c&^3_@C@@P6) %G y)"@U&@@%f@@)%F @<96%H3KS1ڶ%E@}}'x'y%%@%C@%A@n%=o%<@@%6@@)Ơ%4 @VSP%63eT1*%_((%%@@(%3@@2%R%T%2@@%-@@)ࠠ%) @pmj%+3U1D333@? h%(@3Ր%%%@@&@@)@@@%#?=%@@@@?>%%%4A4+4 @@3֠%@@@@3p3` @@3h1~R@%@@@@@33J @#@3R 2.Ȁ@%@@@@@339 @5@3A h@%Πˠ@@@@@333 @G@3;hÀ@%ݠ@@@@@33! @Y@3) Cu@%@@@@@3ʠ3 @k@3&4Ѐ@%  @@@@@3ܠ3 @}@3 [#@%   @@@@@32 @@2`@% ( % "@@@@@42 @@2(T%@@% : 7 4@@@@@42Ӑ @@2+Nc@% L I F@@@@@4$2̐ @@2$?@% ^ [ X@@@@@462 @@2HR@%  p m j@@@@@4H2 @@2 'y@%!   |@@@@@4Z2 @@25O@%"   @@@@@4l2 @ @2@%#   @@@@@4~2 @@27Vg+@%$   @@2j@@42` @1@2h@%% ʠ Ǡ @@2|@@42K @C@2S;@%& ܠ ٠ @@2@@42: @U@2Buʀ@%'   @@2*@@4Ơ2& @g@2. 1@%(   @@@@@4ؠ2  @y@2(4@%)   @@@@@4ꠠ2 @@2& @5W5^5_48h2>2&@57Fe5%* 3 0 -@@@@@5 2 @@2 0@%+ E B ?@@@@@52 @@2.È@5554߰822 5%, ` ] Z@@@@@582  @@2+@%- r o l@@@@@5J2 @@2 ۀ@655 8]%.   @@@@@5`2 @ @2!ۀ@%/   @@@@@5r2 @ @2]]@%0   @@@@@51 @ %@2^@%1   @@@@@51 @ 7@1)(@646Q 5W9H18 %2 נ Ԡ @@1@@51 @ P@1:@%3   @@3@@51 @ b@1À@%4   @@1@@5Ӡ1̐ @ t@1.k@%5   @@1@@5堠 @ @Ǎ@%6   @@1@@51 @ @135@%7 1 . +@@1@@6 1 @ @14@%8 C @ =@@1@@61 @ @1 j@%9 U R O@@1@@6-1 @ @1>)@%: g d a@@1@@6?1 @ @1 <@%; y v s@@1@@6Q1 @ @1@%<   @@1@@6c1 @ @1 @%=   @@1@@6u1 @ @1.È@%>   @@1@@61 @ (@1!@%?   @@1@@61| @ :@1]]@%@ Ӡ Р @@2@@61| @ L@1^@%A   @@2#@@61| @ ^@1&bՀ@%B   @@25@@6Ϡ1y @ p@1Oe5@%C   @@1v@@6ᠠ1o @ @1w5@%D   @@1o@@61l @@%E ) & #@@@@@71g @@%F 7 4 1@@@@@71[ @@1N E B ?%J@2@@71H @'@14@1A W T Q%L@2@@7/1: @9@1!R@13 i f c%N@2@@7A1. @1-&@1# y v s%P@3@@7Q1 @ @1k<@%O   @@2@@7c1 @@%P   @@0@@7q0 @0˚}@1"=ã@0   %T@1 @@70 @@%S   @@2@@70 @1 @0 @0 Ϡ ̠ %W@3*@@70e @@%V ݠ ڠ @@2@@70a @13 @0}$;X@0V   %Z@3L@@7ɠ04 @@%Y   @@3=@@7נ0. @1Ux@0L> @0#   %]@3Q@@7렠0 @v@%\ !  @@3_@@70 @1wj@0@/ 5 2 /%`@3s@@8 /ܐ @h@y%_ C @ =@@1@@8/Ԑ @1]'@/<gy@x/ɠ W T Q%c@1@@8// @ @/;@o%b i f c@@6@@8A/ @ @/7Vb@k%c { x u@@/@@8S/ @ @/殀@b%d   @@6?@@8e@@@@@*)9K95@A@*.%j @   @FQ@9$ݶ9 ة9<8>@@@@@%F%6 @92989+8aө7V~+T@9;֐%.   @@@@@%^% @ Ǡ Ġ @FzA9M9288{A@%a.۩=E 6@@@@@%y% @  ߠ @FB9LM3$@@@@@%% @   @FC9Z)8F*@a]7@@@@@%% @  @FD-9-:+;@\@]o3,@@@@@%% @ @FE @@@@@%% @@FF-W-X,Y @@@@@%Ġ%  @-*'@FG9f8g@|@}7ש/'@@@@@%֠%" @?<9@FH9x8y@t@@@@@%堠%$ @NKH@GI9tE@@@@@%%& @]ZW@GJ..9@&9E@@@@@&%( @pmj@G#K.-.+,c@./lE@@@@@&%* @~@G7L.A.?: Ŷ@@\ՠ|,B%@@+x@@&/%, @@GKM.UѶ.SҶ: ٶ@ΩB7 @@@@@&A%. @@G]N.g.e:2@Զ@o@@@@@&R%0 @@GnO.x.v9n-8#  9N@@@@@&e%2 @Πˠ@GP:8@:F@@@@@&u%4 @ޠ۠@GQ:H@Ju@@@@@&%6 @@GR:W&:t-@ZSF(@@51@@&%8 @@GS:h7:>%:?kF48i@@@@@&%8 @ @GT:}L:S@FN@@-}@@&%: @$!@GU:]9z^:e@ɐ@@@@@&͠%< @630@GV:o:v@Z,FlFs@@%>@@&ࠠ%9 @IFC@GW::@>FF@@-@@&%; @\YV@HX:Ǡ;P@@@@@'%= @lif@HY::@@ڠܠC @@-@@'%> @}z@H3Z:9젩::@@@@@')%@ @@HE[:˶9̶@FƐ@@@@@':%B @@HV\; ܶ9ݶ4޶@/@@@@@'M%D @@Hi]; : 4@($@@@@@'_%F @ȠŠ@H{^;2:45=?G?GM@@@@@'t%H @ݠڠ@H_;G;dI:nRG@@@@@'%J @@H`;Z):F*;x1]eG&i@@@@@'%L @@Ha;n=:Z>;Eqy9+| :@@@@@'%N @@Hb;T:qU;\@E~@@&$@@'Ơ%P @/,)@Hc;h:i}Gb@@@@@'֠%R @?<9@Hd;x:yGz@@@@@'栠%T @OLI@Ie;:5~@߶@/JG@@@@@'%V @c`]@If;:5@@@@@@( %X @tqn@I'g;:5@Ġ;:!@@@@@(%Z @@I;h;:¶@@@@@@(.%\ @@IJi<ж:Ѷ@!Gː@@@@@(?%^ @@I[j<:<0@<Զ@< נG]@@@@@(V%] @@Irk<);+H @@@@@(y%a @ߠ@ImP(0)@@@@@(%c @@In<_.;K/6$0@gc;1@@@@@(%e @@Io <*@שA;I @@@@@)}%{ @@J{=P<< 4=HI@@@@@)%} @@J|=a0ʶ@@1V;@@/}@@*4% @@KPE>ֶ<׶7ض>&߶@@+ *Ő@@/@@*H% @@KdF>=cɩ=?]%A@@@:@A9@"@9@/@ABCD@@*b%E @ˠȠ@K~G=V@@@@*q%6 @%5%,J@%8%"ޠ@@@$B@"@9kA$\@ABC@@*%  @@ѐ% @@@@@*%  @@KH%\>>=(J;8@%l.#<̩;TJBJ:@@@;H@#@AB@@*$ @@KI%w;@*equivlistA~꩚U@%I[#@J_@@;e@@*ˠ$ @41.@KJ>m3AJq@@;w@@*ݠ$ @FC@@KK>$$$J<(=հJ'%JJJ}$Ԡ@$$@@*$ @\YV@LL$$5;@$<3>$J>@=@z$@>15z=8@ #@>Ȑ 3@$$AnJM$@$$@@+$ @|y@L2M%$5^@$@>=115@$@GJö@?Ͷ185B=ɶ@$~@> Ҷ@$}5, $|5G4v${@$z$v@@+?$p @@L[N%H$r5$l<~%BJ?@4@?51Y5ö@c$eAB@$`$\@@+W$V @@LsO%`$X5@$R<%[J@?0>1qAƶ@"$K@GeJ@?T 1x5?: @?.3@$J5{8$I?C5K$H@$G$C@@+$= @@LP%$?$9$75$1<@,$)0%G$(G?[*@$&@?z315$%5@$"5$$@$$@@+# @@LQ5@B#@?uD@"5@?xG>dH@5 ?P@?o;#@#?PA@##@@+# @$!@LR6@^#@?`>}a@#@K[P@?l?g@@1(6D i?l#ݐ@##@@+נ#ؐ @@=:@LS?y}5K|hK|@@#@@+蠠#А @QNK@MT?%#Ҷ%K=(3#̠:&;=#=??#X>G>#&GKKK@##@@, # @rol@M%U?&#####& K=K@#@1hHX#K@##@@,!# @@M=V?ö>Ķ@˶&-#####&'KǶ=e@#qH'^H.K̶@#BH*KǶ@?#@#6Q{#H46G~#@#~#|@@,G#c @@McW@&Q#e&IK=@ ?@HPTK@#_#]@@,Z#M @à@MvX&c#O####=ڶ#I#HcLL#G# H_HfK&dB˶@8@U6#EBѠL #C@@#B@@,y#: @ߠ@MY&#n$$=ö#g#LLL&H#<H|@T#@%6#:#9@@#8@@,#5 @@MZ&#$1$/$-$+=#9#~7&C@m<?Y=@t6#7#6@@#5@@,#) @@M[&#=E&LH?LQLSLL@LTLT@@#)@@,#$ @)&#@M\&#$^$\$Z$X>@#f#d&C-@i@p@%6ࠩ67IHЩ7JLh1@@#&@@,ܠ#$ @EB?@M]&#Ѷ$z$x$v$t>\##&CI@@@p6I@@#&@@,#% @]ZW@N^&#$$$$>4t##&Ca@@@77|LF77 Ie@@#'@@-#$ @yvs@N,_'$$$$$>P##'C}@A@u70}@@#Z@@-(#& @@ND`'1$$$Ķ$$>h$ζ$̶'.CAѶ?ҩ7Mw7JCy7LCL֩{7NCLѩ}#(@@#'@@-F## @@Nba'O$;$$$$޶>ƶ$5$1'LCA @ 7k7hC@@#%@@-_#" @ȠŠ@N{b'h$T$$$$>߶$N$J'eC̶A9@% @AXA/٩77}7IIr77MҐ@@#D@@-~#$ @@NcAQ #&#$@t#&#(@,#MM%##-M!#M)@@#@@-# @@NdAh7@#<#>M:#%@@@>A(1=&@@'b@ABC@@-" @@NeAN%(v?}?A\@ϠF@#]?Ő@@@>a@&@@ABC@@-ʠ" @30-@NfAl@J@#r#Y@@@@@-ڠ" @C@=@NgA|@}A@@|MyIM@հ#D#~3j@@@@@-" @\YV@OhAAt@##@@@@@."t @mjg@O iA@o@@@@@."f @{xu@O.jA"g#@A #_#DPA@#sig#* @ȷBv@@@?>A8AB@A@@.2"O @@ONkBԶ@A@߷B'Ȑ@@@?UA1>lBA@@AB@@.J"9 @@OflBA @$AA#j?m@@@/@A=@5@=E@ABC@@.`" @ɠƠ@O|m=<=0$6" ~@@= @@.p" @;$  @"08Ҁ@BbBY)!ޠ@@@@ABC@@.! @@OnA~$0$@@@@@.! @@OoBAA$@$8$+@@@@@.! @@OpBNAkOA$T$F͐3ϐ\@@@@@. !{ @+(%@OqBdAe@\A$k$_|@@@@@.נ!U @@=:@OrByAz@%PeanoE@!K UxT@@@@@@.!A @XUR@P sBAB@@`@B@"lt Uxc4U@@@@@/ !+ @tqn@P'tBAB$$,_$\0@@@@@/!! @@P=uBöAĩB$$@! w@@@@@/7  @@PSvC ٶAک_*(@@@@@/G ڐ @@PcwCC7@ԩB>$g@@@@@/Z Ȑ @à@PvxC-CJ@BQ%$@@@@@/m  @֠Ӡ@PyC@C]@Bd%% ~'@@@@@/  @@PzCU$Cr+@By%+8@@@@@/@@@@@4CC@A@4*PropertiesPP   @P @C @ @@@Cr @될@@@@ @@㐠@@@@  @@ܐ@@@@ ې @@Ӑ@@@@ C} @@̐@@@@ @ˠ@@@@0V@@A@1@@A@ABL  @ @ 0@ IJO@A@@@@@OݠCɐ @@Oΐ@@@O䠠B @@@@@@O렠B @@~|t@@@@OB @q@OG)m@@@@PBZ @j@fO5f@@@@PA  @c@^NʠA^@@@@P@ @[@jNMU@R@@P'B @@Q@@@@P.B} @@PO@@@@P5C# @@NM@@@@P<BQ @@LJ@@@@PCBv @@IH@@@@PJB @@ZG@@@@PQA @@FE@@@@PXAΐ @@MD@@@@P_A @@TC@@@@PfD3 @B@>Mڠ>@@@@PrD. @@;0@@@@PyC+ @@/.@@@@PC @@6-@@@@P* @@,$#@@@PA @@!@@@@PAd @@(@@@@PAŐ @@@@@@PMU @@@@@P$= @@ @@@@PA^ @@@@@PM @@@@@PL @@@@@@PƠ! @@쐠@@@@P͠  @@琠@@@@PԠ  @@ߐ@@@@P۠Lw @@Ԑ@@@@P⠠LV @@͐@@@@P頠L= @@@@@@PL$ @@@@@@PL  @@@@@@PK @@@@@@QKِ @@@@@@Q K͐ @@@@@@QK @@@@@@QK @@x@@@@Q!K @@ws@@@@Q(Ka @@rm@@@@Q/K7 @@l_@@@@Q6K @@^U@@@@Q=J @@TM@@@@QDJĐ @@LB@@@@QKJ @@A;@@@@QRJ @@:-@@@@QYJZ @@,%@@@@Q`J7 @@$ @@@@QgJ @@@@@@QnI @@@@@@QuIѐ @@@@@@Q|I @@@@@@QI @@@@@@QIb @@ꐠ@@@@Q)A @@ɐ@@Q& @@@@@QH @@@B@@QH @@@B@@QHL @@@B@@QH @@x@B@@QG @@wl@B@@Q G @@k[@B@@QɠG @@ZR@B@@QРGg @@Q@@?@@QנG' @@6(@F@@QޠF @@'!@B@@Q堠F @@ @B@@Q젠 @@@B@@QF{ @@@ 5@@QFO @@@ <@@R@@@@@0V@!@A@1@!@A@AB@F-|F0FF7F!F @@E̠G@@@@EdET @PE@@@@@@EnE6 @Z|EAy@@@@@ExE @dvEBs@@@@@EE @nnECk@@@@@ED @xhEDe@@@@@EDݐ @bEE_@@@@@EDǐ @[EFX@@@@@ED @VEGS@@@@@ED @PEHM@@@@@ED @DEIA@@@@@EȠDp @<EJ9@@@@@EҠDU @3EK0@@@@@EܠDF @+FL(@@@@@E栠D0 @#FM @@@@@ED @FN@@@@@ED @F"O@@C@@FCԐ @F,P@@C@@FC @F6Q@@C@@FC @F@R@@C@@F"C @FJS@@@@@F,Ct @FTT@@@@@F6Cj @"F^UF"F"F"EICcO]|G-G@G&:F@@@@@FPC] @<FxVݐ@@@@@FZCP @FFWF"ĶG"˶G "̩FIԩCICD&@@@@@FmC? @YFXѐ@@@@@FwC2 @cFYG."G%"F5I>@@@@@FC+ @qFZŐ@@@@@FC @{F[@@@@@FC @F\@@@@@FC @F]G># G[#FaJ!RB#lI@@B@@FB @F^@@D@@FBߐ @F_@@B@@FȠB @F`@@B@@FҠ @Fa@@B@@FܠB @Gb@@B@@F栠B @Gc@@Bs@@FBm @yGdv@@B`@@FB_ @sG"ep@@Bj@@GBW @oG,fl@@B@@GBL @hG6ge@@B@@GBA @aG@h^@@B3@@G"B, @XGJiU@@B=@@G,B$ @TGTjQ@@B@@G6B @"NG^kK@@B@@G@B @,JGhlG@@B@@GJB  @6FGrmC@@B@@GTA @@@G|n=@@A@@G^A @J:Go7@@A@@GhA @T6Gp3@@@@@GrAؐ @^2Gq/@@@@@G|AȐ @)@'Ak'@C8@@GA @I@B /̞@$A{$@CH@@GA @Y@B'@!A!@CX@@GA @A$"%"@A@Cf@@GAy @Gr@@CC@@GAc @Gs@@AR@@GʠAI @AH$5"$@AwЭx@ A:@Ad@@Gܠ@ @Ht@@B@@G栠@ @Ad+"@A ;I@@@C{@@G@ @H u@@C@@H@ @AG$!@@%-@鐐@@C@@H@ @H~AA>~>>@I?@? L@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BG>@@A@@@@>>@?> @??8F?-FuFrF>F>F?D?D@R ,I?[@?T L@G@>@ F>F@ D@D@@>@>G@D@ D@@>@ >G @D@L>>>@DG>@DG %@?"?#>@#D@>kU~$>jom??@&D@$DG.G/>`@*D@(DG"2G#3>Z@.D@,DG&6G'7>Y@2DG)>X@@4?{G+?pG,G-G.>G/>G0CG13G2.G3)">Ul@@@@?ߠ>9,<>=>8?D>6@MD׶@8?kifbAA?P>">!@|J0?@>K 86@@@@@@@@@@@@@D>!@@A@@@@@@@@> @@p?Gg%Gh^Gi\GjY@uDGl|@>p 86@Lm@>Q>R>@E @ > U>@@?ȶGx6GyoGzmG{j@EG}>>iW@@@@@)= @rUIBR@@@@@@3= @|PICM@@@@@@== @KIDH@@@@@@G@@?q?oU=堠=J=A= @FIEC@@=@@@Y=Ɛ @5IF2@@D@@@c= @JG@@=@@@m= @J H@@=`@@@w=Z @JI@@@@@@=S @JJސ@@=E@@@=C @J(Kѐ@@@@@@=9 @J2LȐ@@=Y@@@=% @J<@@@@V?<<<KBK,K @@JנR@@@@JoJ_ @0@Jg@<b@@@@JJG @@@JO(K@<r@@@@JJ4 @P@J<>k@<@@@@JJ, @`@J4$@<@@@@JJ @p@J '\8@<@@@@JJ @@J@<@@@@JϠI @@I@|<2搠@@@@KOI{ @@I- @z<B䐠@@@@K_Il @ @Itoz@w<R␠@II@@KoI? @0@IG5@s<b@IY@@KI( @@@I0# @r<rސ@Ii@@KI @P@I6@q<ܐ@I@@KH @`@I'&@q<ڐ@@@@KH @p@H3H@m<ؐ@@@@KH @@H'"8@L](,Lz(3Lq(4KO=mHT =@L""VL_k;֐@@@@KޠH @@H/@n;Ԑ@@@@KH @@H _@L([L(bL(cKOlkHHې1;Ґ@@@@LHِ @@H z@n;А@@@@LHҐ @@H"8*@L(L(KذOkU; ΐ@@@@L+Hѐ @@HJ*@n; ̐@@@@L;Hɐ @@Hv@j; .ʐ@@@@LKH @ @H6w}T@g; >Ȑ@@@@L[H @@H 2@L(ȶM(ϩLO' H)qOd$Z; UƐ@H@@LrH @3@H k@e; eĐ@J\@@LH @C@H%@`; u@H@@LH @S@H @]; @H@@LZ @c@b&3@Z; @Hx@@LHt @s@H|@@\; @Hr@@L Hl @@Ht&y@^; @HU@@LҠHO @@HW'@[; @HH@@L⠠HG @@HO9W3@[; @HX@@LHE @@HM'&@]; @H@@MH@ @@HH"85@\; @H@@MH; @@HC'"C@[; @H3@@M"H, @@H4 j@X; @HC@@M2H* @@H2J5@Z; %@H@@MBH% @@H-v@Z; 5@H@@MRH# @@H+6w}_@\; E@H@@MbH! @#@H)|$@^; U@H@@MrH @3@H$-hτ@^; e@H@@MH @C@H6N@^; u@H@@MH  @ @\; @@@@MH @@Z; @@@@MG @W@UG @If@@MG @@H7+/@RGڠ @Iv@@MƠGѐ @@H4 C/@OGʠ @I@@M֠GÐ @G*@(S"@LG @I@@M䠠G @@G2k@J; @Iw@@MG @(@D; @G@@NG @G~*kP(Z7@G Ք7@AGp @G@@NG/ @*@4; @I/@@NG% @G c@(@U@GE69@1G @I@@N0F @,@";ߠ @IM@@N<F @G ^(0s@GMI;@#Fݠ 1@I@@NNF @.@;ޠ =@I@@NZF @G* '@F(z=@F O@I@@NlF @0@;ݠ [@I@@NxF @G*->'隠@F=?@Fw m@I@@NFY @2@;ܠ y~@H@@NFO @H*K'ؚ@Fo'XA@󐐠FD |@H0@@NF @i@F&7@萑;۠ z@L@@NF @y@Fo:@␑;ڠ x@E@@NȠE @@F%P@א;٠ v@L@@N@@@@@ @ OO@A@@;ݐ @ t\@q@@@@@;; @l@c; c@@@@;;} @ a\AO,O+_N|+`N٠X 6@;1E9^@@@@@;Ԡ;r @ \\BY@@@@@;ޠ;p @ X\CU@@@@@;蠠;l @ R]DO@@@@@;;e @ J] E @@@@@;;e @ H]FE@@@@@<;b @ (C] G@@@@@@<;\ @ 2;]*H8@@@@@<;Y @ <6]4I3@@@@@<$;V @ F1]>J.@@@@@<.;O @ P(]HK%@@@@@<8;G @ Z]RL@@A@@: @&_z@@@@@>:  @0_({@@@@@>: @:_2|@@@@@>": @D_<}@@@@@>,9 @N}_F~z@@@@@>69 @Xu_Pr@@@@@>@9 @bn_Z@R-R.-k@@@@@>M9 @ok_gAR-R;-@-ةh@@<@@>[9 @}h_uBR,-Q-K-RK.@9e@@@@@>l9 @d_CR=. Q). L.R\.@-@9a@@E@@@>~9 @`_DRO.Q;.L. Rn.'@. @]@@C@@>9 @[_ER_..QK./L$.0R~.7@-@"X@@C@@>9 @W_FT@@K@@>9 @G_GD@@,@@>9w @A@>9_>@;@@>9C @*@-9B8@@@@>ʠ9B @6_H9-R.qQ䠩.[^n @98P3@@1@@>ߠ9 @0_I9-*-/%/@9qS`*U^@@O@@>9 @)` JR.-Š&U.^@@O@@?9  @%'`K$@88@@? 8 @/`'L98ISPJ+U9^R.@@S.E%IQ.L.@8@@X88@88@@?&8 @H`@M@8k8g@@?08a @R`JN@8C8?@@?:89 @\`TO@8 8@@?D8 @f`^P@77@@?N7 @p`hQI@@S".R.@HSA.@@7@77@@?a7 @`{R@7p7n@@?k7l @`S@@7g@@?u7] @`T@7270@@?7" @w`Ut@77@@?6 @i`VSZ/)RF/*Sx/1967(7&7$7"9_-P@f@d@b@6_@66@@?6 @Z`WW@66@@?6 @Q`XN@@6}@@?6u @<`Y9@@6c@@?6` @,`Z)@@6P@@?Ƞ6D @`[@@6;@@?Ҡ66 @`\@@6&@@?ܠ6$ @`]@@6@@?栠6 @a^@@6@@?6 @a _ސ@@6,@@?5 @a`А@@5@@@5 @&aa@@5@@@5ѐ @0a(b@@5@@@5 @:a2c@@5@@@"5 @Da<d@@@@@,5h @NaFe~@@o@@@65 @XmaPfj@@@@@@@5 @bgaZgT/R/T//@@dc@@@@@@P4ߐ @r^ajh[@@@@@@Z4ʐ @|WatiT@@@@@@d4 @Sa~jP@@@@@@n4 @=ak:@@3@@@x4g @/al,@@&@@@48 @#am @@O(@@@4 @M@.),@4L"y@3@@@@3Ӑ @an@@@@@@3Ɛ @ao @@@@@@3 @ap@@@@@@3u @aq@@@@@@Ơ3D @ar@@@@@@Р3" @asߐ@@@@@@ڠ2 @at͐@@@@@@䠠2Ґ @au@@@@@@2 @bv@@@@@@2 @bw@@@@@A2p @$bx@@@@@A 2N @.b&y@@@@@A2+ @8b0z@@@@@A @@@@@FU<U&@A@F-OrdPropertiesb8ACaEbA@`K`N@a@ @d?w1D+OrderedTypeX@@@@?w1@ @A@A@@@AA@@A@^Ð @d@*`q@a`@0`w@afa)@@@@@"lt @d@@`@av@F`@a|a?@@@@@.]f @@`CT`@aZ`@^֑]g@@@@@B]f @@`Wh`@a]n`@a@u`@_֑^ܩ{`@_֑`@@@@@c]i @@`x`@a]Ś`@a!z`@a@`@_A֑]l@`@_H֑]s`@_N֑]m@@@@@(lt_trans @@`a@a]a@a1a @a@a@]@a@]a!@]@@@@@ )lt_not_eq @@`ؚa0@b^%a6@b%@a=@_]a%aE@_֑]̐@@@@@栠'compare @@` aT@bC^IaZ@bI@'Compare8Ȃ@К!ah@bW&am@+ar@_֑_K[ې@@@A?vtA@A@@_ @@a,=a@bs^yCa@by_Ka@_֑_azSa@_֑_@@@@@;@+OrderedType*Structures#Coq@+OrderedType@@@@@ha@!td@@A@֑@na@"eq֑d@@A@@ta@"ltd@@A@ABC2b @a@b@ba@b@b@@bbb @b@@b#@@b#y9b@b@@bb @b@b#y9b@b#y9b@b#b@b#~bz@b#~bw@bu@b#y9bt@b#y9bs2o@b!Sb@A@@2$Sfun2 2@A@@@Abbb@@ R=X@ b$@u R=Xt@A@ RD@@r RDq@A@ RE\@@o RE\n@A@ABC@A@2ڠ22@A@@@b3@@;*d@@;*d@A@;*lE@@;*lE@A@;*l@@;*l@A@ABC@A@b@@cb @b뚠@c9#y9b隠@c>#y9b皠 @cM#@@c#~bک@c#~b@b@cS#y9b"@cX#y9bӐb`[UEA@bl@@cLbj @c5@ck#y9c:@cz#biA@cH#~c@bdF@c|#y9bbcyie@bY@@cpbW @bV@Z@c#cScG_@c#y9bTd@c#@j@cq#~c)bR@bO@p@c#bNbMu@c#y9c&bL@bE@@cbC @b@@c#ccv@c#y9bB@c#b@c#b<@c#~c_b6@b3@@c#bb2@c#y9b1b/ޠΠ@b @@cՠb @b@c#y9@b@@cޠb @b@@c#y9b@b@@c蠠b @b@@d#@@d #y9b@b@@ca @a@@d#@@d#y9@d#y9@a@@d a @a@@d1#@d+#y9@a@@da @a@@d?#@@d:#y9@d>#y9@a@@d+a @a@@dH#y9@@dM#y9@dQ#y9@a@@d>a @a@%@d[#y9@*@d`#y9.@dd#y9@a@@dQa @a@8@dn#y9@=@ds#y9A@dw#y9@a@@dda @L@d>$[.@@Q@d#y9@V@d#y9c4ayu@a@@da @adOg@d#y9dMl@d#y9a㠩s@b#ŀaکcz@b#ŀa@a@@daא @aֶ@@d#y9@@d#y9bҐ@a@@daӐ @aҶ@@d#y9@@d#y9b@a@@daϐ @aζaa˶@@@d#aŶ@@d#y9aÐ@a@@d̠a @a@@@d#b@@d#y9c@a@@dܠa @a@@@e#c @@d#y9c@a@@d젠a @a@@@e#c@@e#y9@e#y9@a@@ea @a@@@e(#c1@@e##y9a@e)#y9@e-#y9@a@@ea @a@@e7#y9a@a@@e$a @a@ @eA#y9aCeYa@a#@a@@e6a~ @a}@@eS#y9a|@ar@@eBal @ake)@e_#y9d.@en#aj3@es#@:d@b֑b@@@eG#~aiE@eL#~ag@ae@@ehac @abe7O@e#y9T@b#ŀaa@a`@@ewa^ @a]eF^@e#y9eDc@e#y9@i@c #ŀbЩn@c#ŀd@a\@@eaZ @aYe`x@e#y9e^}@e#y9aX@e#y9@@c+#ŀaV@@c1#ŀa\@c6#ŀaU@aT@@eaR @aQe@e#y9d@e#@@e#~egaPc󩚠@c#fe(aK@aH@@eҠaF @aEe@e#y9d@e#@agd @d#feab@e#~eD@aD@@eaB @aAe@f #y9e@f#y9@@e$[.cGad+@cA$бaa@a@@@f a> @a=eٚ@f'#y9eך@f,#y9@adB@cX$бcea@e$[.aѐ@a<@@f&a: @a9e @fC#y9e󚠐@fH#y9@@e0cadc@cf5waa@a8@@fBa6 @a5f)@f_#y9f.@fd#y9@aװdz6@c}5wcaҩ;@e0b @a4@@f^a2 @a1E@e$Z΀J@d$_@a0@@fma. @a-f<T@f#y9@Z@e$Z΀dbda@dbeGa@a,@@fa* @a)fSk@f#y9@bds@dbebx@e$Z΀e^@a(@@fa& @a%fj@f#y9ew@f#bÚ@f#@e@d6֑c@f#~c@d# ^bǐ@a%@@fa# @a"f@f#y9e@f#b隠@f#@@f#~f@f#~cީ@d# ^b@a!@@f栠a @af@g#y9eš@g#c@g#@ff'@d֑dG@@f#~d@e# ^c@f#~c@a@@ga @af㚠@g1#y9e𚠐@g@#c<@gE#@ fS@d֑dsf;@g#~d4@e5mmcB@a@@g<a @ag #@gY#y9f(@gh#cd-@gm#@f]6f}@d֑d@<@gC#~aA@gH#~eשG@eF5mma@a@@gja @ag9Q@g#y9fFV@g#c[@g#@a@gh#~ag@ef5mmfਗ਼l@gs#~aH@a@@ga @affv@g#c{@g#@@g#~a2@efmf@e0֑c[@a@@ga  @a f@g#cӚ@g#@f@eF֑e @g#~dɩ@ea @a @@gѠa @ag@g#y9g@g#y9f@h#@@g#~ay@e$Aca@g#~a@g#~gS@a@@g` @`g̚@h#y9gʚ@h#y9fޚ@h.#@@g#~g@h#~e@e$A`@`@@h"` @`g񚠐 @h?#y9g@hD#y9g@hS#@@h #~gة@h%#~e?$@f $Aa!@`@@hG` @`h.@hd#y9h3@hi#y9g(8@hx#@>@hE#~a署D@f$s}dI@hP#~b%@`@@hl` @`h;S@h#y9h9X@h#y9gM]@h#@c@hj#~bi@f:$s}d7n@hu#~g@`@@h` @`h`x@h#y9h^}@h#y9gr@h#@@h#~hO@@h#~h@h#~g)@fj$s}`@`@@h` @`h@h#y9h@h#y9g@h#@@h#~bd@fs#Ќd@h#~b@`@@hᠠ` @`h@h#y9h@i#y9gš@i#@@h#~b@f#Ќdh @h#~h^@`@@i` @`߶hך@i%#y9h՚@i*#y9g隠@i9#@@i#~hƶ@h/@i#~h @i#~g@f#Ќad@`@@i5`ܐ @`۶i@iR#y9fL`ڶ`bζ`Ҷ@$@id#f>d̰g+@f_#ʖ`Щ`gš1@iq#igǷ`Ś7@iw#`é<@e'H`f\@`@@i_` @`i.F@i|#y9deߩM@e })g`S@i#X@e'Hg@`@@i{` @`iJb@i#y9hWg@i#a@m@i#g@`uh@izh@g֑c*@@i#~h@fp3cb@i#~c[@`@@i` @`i}@i#y9h@i#aN@@i#g@`ΰh@ih@gP֑c]@@i#~hI@f3c`@`}@@iܠ`{ @`zi@i#y9h@j#a|@@j#h@`i@j i"@g~֑c@@i#~f @`@i#~`{@f3`z@`x@@j`v @`uiߚ@j-#y9a@@j=#hF@a+ iL@j; iQ@g֑c@ @i9^i @jV#`vheha @g/(fFe@`r@@j@`p @`oj '@j]#y9a۶@ -@jm#hv@a[ 5i|@jk :i@g֑c@eh B@gT(ieީ G@iN9^i= M@j#`pi4@`m@@jp`k @`jj? W@j#y9b @ ]@j#h@a ei@j ji@h ֑d@ p@i4.Iif v@j#`i fh }@g{ff@`k@@j`i @`hjo @j#y9b;@ @j#hֶ@a i@j i@h=֑dJ@fCh橚 @gjf> @ik.Ii @j#`i@`i@@jР`g @`fj @j#y9bk@ @j#i@a밚 j @j j@hm֑dz @j$[.`g @k #y9 @k#y9 @gݿjX @g3j]@`b@@k`W @`Vj֚ @k$#y9b@ @k4#i=@b" jC@k2 jH@h֑d @j$[.`W @kC#y9 @kG#y9 @gݿj @h3j !@ka#`Ri@`K@@kD`I @`Hk +@ka#y9j  0@kp#@ 6@k=#~j`G =j@ks Bj@h֑hb G@g'Hd@`C@@kj`= @`<k9 Q@k#y9jF V@k#@`h ^j@k cj@i֑e h@g'HjN m@kt#~j@`=@@k`; @`:k_ w@k#y9`9 ~j@k j@i&֑ @h'Hj@`5@@k`3 @`2kz @k#y9j @k#@g@g @k# @h 3<j`1 @k#e[ @k#~k)@`.@@kӠ`( @`'k @k#y9@gch @l# @h03<j\`& @l# @k$Z΀j@`#@@k  @@@ @l#y9@ @l#y9kܐ@@@@@l  @@kؚ @l&#y9k֚ @l+#y9 К @l1#y9 @ #Ł= @i#ŀi#e@@@lA?vtA *Structures#Coq@@A@@l1'min_elt @@@ @lP#y9hy@@@lRAho@A@@lC'max_elt @@@ ,@lb#y9h!@@@ldAh@A@@lU  @@l% =@ls#y9l# B@lx#y9h G@l}#y9@ M@ #Ł=h@ S@ #Ł=h! X@ ##Ł=h@@@@@l} ~ @@lM e@l#y9lK j@l#y9@ p@ ;#Ł=iשk w@j#ŀhE@@@@@l*elements_3 @@lm @l#y9&Sorted'Sortingl@1ĭ@ k@l k@ f @i,'Hk4@@@ ABA@A@@lɠ)min_elt_1 @@l @l#y9k @l#@h`i @m# @%̀kaQ @m #f{ @l#~lI@@aN@@l)min_elt_2 @@lƚ @m#y9kӚ @m##i @m(#@hiJ @m1# @%̀fSa @m<#j@ @m #~fީl1 lQ@ i3@@a@@m/)min_elt_3 @@m @mN#y9@hiz !@ma# &@%̀ka ,@ml# 1@lo$Z΀l@@a@@mV)max_elt_1 @@m' ?@mu#y9l4 D@m#@hi M@m# R@/$_l8aޠ X@m#g ]@md#~l֐@@a@@m)max_elt_2 @@mS k@m#y9l` p@m#i u@m#@iiא ~@m# @`$_fb @m#j@ @m#~gkl l@ bf@@b@@m)max_elt_3 @@m @m#y9@iNj @m# @$_lGb @m# @l$Z΀l@@b<@@m㠠(choose_3 @@m @n#y9m @n#y9lƚ @n#j @n#@ij= @n$# @jQ3<eobu @n/#k@ijQ @n8# @je3<eb @nC#k#@ @m$[.Fd mX@k֑fc@@b@@n6@ Onj@@@ mc@  @A@֑@ mg@ ֑ @A@@ $mk@  @A@ABC@"ME /+OrderedType*Structures#Coq@0OrderedTypeFacts <m(eq_equiv @@@A!O+OrderedType*Structures#Coq@ @A@ *m@A@@ @] Jo@bh@bM֑@@@?w1D _A]@A@@AA@@A@+lt_antirefl @0%@-Abb`"@\K@@@@@+lt_strorder @D9@AB]@+StrictOrder.[@:@@0@@+%lt_eq @XM@UCbGbHV/I@)`V@G`X,\Y@@@DA?vtAD@A@@C%eq_lt @pe@mDb_b`VGa@@@@@@T)lt_compat @v@~E]ǰ@r@s]]uo]w]qb U@@@mA]@oA]@sAK]@ABC@@r(lt_total @@Fbbapbԩabשtb@@H@@"TOAc @@@@A@@!tɠ@@@@@b @@N@"eq٠@@@@@ K @@^%@"lt@@@@@ǠA @cJcAajkIQ@ ltc. @c4t c3@c\cS^? \+k() 7! 7!7%'P f@=Ofh%Logic$InitZ@"or @H@?O|(@@@@@@@@@n@$IsTOLA< @k]@G # @0T@N:EI>@@@@@' @@.@@6\Q@@@@@: @+@@琑(@7Ǡod@@@@@Mې @>@k#@ܐ;@7w@@@@@`'le_lteq @@Gc|c}c@BhtcƩb @@@@@w@@@@o,@(OrderTac)OrdersTac*Structures#Coq@,MakeOrderTac@X @@@D!P)OrdersTac*Structures#Coq@@@@A@@C!O$@A@&9@A@@@B@@@A@@A"@@@@!tJ@@A@A$:@@"eq$:^@@A@$@ @"le$h@@A@$@@"lt$ h@@A@ABC@A@**OrderFacts-#@A@@@@dZ @dVl^@@_y@@AA@@A@'le_refl @ ZMGA; @[Adu^1@@_@@)lt_irrefl @*na[UO4@oBd/d`>^G@@_@@-@̐ @?4vpjdI@CdDdE@JJb@@_@@B*le_antisym @UJz_@DdZd[@Ͷ@bةbZ(@@_@@Z'neq_sym @mbw@Edrds@dzd2@@@@@s*interp_ord @!o)OrdersTacb @#ordȠ@ @@@@@@@@@@@D@@_p@ +k= R'6'6'6''+k+7T'+7T'6'ࠒAڠ@@"lt\ @@"eq8L@lР@6Ƞ@@321@@A@B@A@xA܀ѠƠ@@@@@Ϡ%trans @נ& @'Fdb"o'eeEe<X@mDZ@z=MA!m_qp@  v@)trans_ord-0u[gmiq @@Xt@@A @ef e] X @:# SМAq"qq#@ereiX@c@!_ L+k() LL7#'.@R$t0%tga[U:@@@@@.(le_trans @e>e?Y@2МCqPqIqQ@eFeGYH@cE@_G L+k() NN7#'.tZOd@@@@@X(lt_trans @eheiY@j\МBqzqsq{@epeqYHr@co@_q L+k() MM7#'XtyȠ@@@@@+le_lt_trans @eeYjT*qqq@eeYo@Q& L+k() MN7#'|tߠ٠Ӡ͠@@@@@+lt_le_trans @ffYNxqqq@ff Y@K@vJ L+k() NM7#'t͠ @@@@@ˠn @f4ڷf+۷Yܩrqqq@f9߶f0Y@n L+k() ML7#'Đt4'!@@@@@ @fWfNYr rr @f\fSY@@ L+k() LM7#'t XKE?9@@@@@%eq_le @f|"fs#Y$r1r*r2@f'fx(Y)@ L+k() NL7#' t8-|oic]B@@@@@6%le_eq @fFfGZH:6rUrNrV@fKfLZ#M@@4 L+k() LN7#'1t]Rg@@@@@[&eq_neq @ncx@GfsftZKu@[@f^f^@@@@@v&neq_eq @~͠@HffZf@@w@@@@@*not_neq_eq @נѠˠŠ@Iff@fؐ5@@Z@@)not_ge_lt @ܠ@Jgg @f1f"N@@b5@@)not_gt_le @ϠĠ@Kg.Զg%ն@gf:@@@@@Ԡ)le_neq_lt @ܠ+ @,LgFg=@_@x\@@@@@@@@@Ady@Ar@ @@HgZgQZ@g4@g7@@@@@頠 @ @IgngeZ@@@@@@@ @%@"Jg~guZ@gXͶ@Ωg[a(@@@@@͐ @:/@7Kg)g*[+@@@@@@@ @J?@GLg9g:[!;@g}eݐ@@@@@0 @\Q@YMgKgL[3M@@@@@@@@&le_neq @mb@jNg\g]@g϶@J@f@@@@@S? @t@|Ogngo[Vp@5@6gSYϐ@@@@@f> @@Pgg@gĐ@]`@@@@@x8 @@Qgg@g֐gؐf$@@@@@%lt_le @@Rhh@m@@@@@)gt_not_eq @Ǡ@Sh h@#@@@@@)eq_not_lt @֠@Th/Ŷh&ƶ@3Ԑ@@@@@)eq_not_gt @@Uh>Զh5ն@B@@@@@Ǡ)lt_not_gt @@V<@@@@@Ӡ/elim_compare_eq @@WhYhP@]LM!Hgf@'Compare8Ȃ@pt@'compare-"]ੜB pt't(@@@@/elim_compare_lt @*@'Xhhz@Lwӷ*ԩg()A@@@@/elim_compare_gt @B7@?Yh1h2@LBg@7AC1@@@@-hs @E@h{ ̀@hJhKh@&eq_dec"*͠g\@@@@@E<_dec @h_h`g@+Compare_rec> (gEat{t!crlJftth${OީhA*tA(ᩜhB0T@b@ Atttth@hhhݠ5 |+k() 7! + +# +.+.7777# '7"9'7"7"9'9'7!7 7!7%'(k@+t^Vp@9bϮȠ@'compare9Ahڰ\< @V> &Specif@'sumbool7̂K@h@&eq_sym"Az𠒐@#notШH@@@@ŠiI @iH޷i?i=i/l @i ޾[i(@Tl@Ti@iTiKl +k() 7!= R'>G'>H''+k6'7BAAAA@@@@@AAABAAAP)Datatypes@$boolZ'@@8h$@@@@@'eqb_alt @/$@,ZiihlK@i: bih-EAAAAAA@@@@@@@DilZPti`AlPPvib@@@@%%In_eq @RG@O[PPCiDiE@@fwICudqǩfyKEufq@@@AAfm@A@@>)ListIn_In @k`@h\Pi[@ec@h$bu~uvfd^uxu@@@@[Ae%@]ANE@ABC@@Z&Inf_lt @|@]P5iwix@@&Sorted'SortingrN@%HdRel%5p@eur grr@@@>@ABA@AB@@&Inf_eq @@^PZji@ %@@@@+Sort_Inf_In @@_Pjj\:@4@21ĭ@uж@<@fr7r0]H@@1@@*ListIn_Inf @ؠ@`Q j2ȶ@j*ʶ@ouuSuu@@@@AF@l@k@ABC@@Ġ&In_Inf @@aQ"jK@jC@gvv@@]@@נ'Inf_alt @@bQ5j^@Gv i,jZ@g+vr{^@@u@@*Sort_NoDup @@cQMʶ@^v*N_ v$@@@@@@@@u[`גs`ڐw';j jjFuFjjjjRuRj @j=j>j_jZ@Wji@@G*d@A@'13u@A@$@@@@ji @ $j1@j@j#y9jj@ɩi󠩚@i#~ii@@@@@j#i @+($jLAjjjiim@i#fim@@@@@j:iߐ @B?$jcBj2jҩjj̐imj@@@@@jMiڐ @UR$jvCjEiFj2@i$[.jjmϩ@i$бjmǐ@@@@@jhiѐ @pm$jDk`iajM@i0kj.m꩚ @i5wkm@@@@@jiʐ @$jEk;jgtv񚠐@i$_iĐ@@@@@ji @$jFk3j{1@i$Z΀mj\n8@ibmn@@@@@ji @% jGkiHk`Ijw N@iiu@@@@@jǠi @Ϡ%jHkck_kw`jw7e@i# ^iii@@@@@jᠠi @%%k Ik}ٶkykz@jȠՠwJjӐ@@@@@ji @%/kJkkkj۠we@i5mmiةi.@@@@@ki @%>k7Kkkk@ʩjwwj@@@@@k"i @*'%HkKLkjkkw@i$Aij[ @@@@@k;i @C@%WkdMk3j4kԩk!.w@i$s}ii@@@@@kSi @[X%ek|NkKjLl k9Fwé@iz#Ќii#@@@@@kliy @tq%tkOldl%it@n@ir  wܩkVcwߩ@ih3kPjlig@@ic@@kiY @%kPl%i@ko%@iT9^lL+iSwkRo.@iQ(jso@@i@@kiP @%kQlCi:@9kC@iK.Ikno*J@iJjo"@@i@@kàiI @ˠ%kRl_l|[kiD  x2`@i>'HjÐ@@i=@@k٠i9 @%lSluѶlqlr@ koVkk@@@@@k젠i4 @%lTlkofilk@@@@@ki/ @%l$Ulllkow4i*u%cll@l΀ljې@@@@@li& @!%lBVlll@թkڰo8@@@@@@l+i! @30%lTWl#lölĩko6i&i2@@@@@l@i @HE%liXl8lضlٶ@lo2g@@@@@lRi  @ZW%l{Ym mloͩ,T@@@@@lbi @jg%lZlZk[ml"oީ=@i]@@@@@@lui @}z%l[mmknm/l5oP:if@@@@@lh @%l\m#lmA lGpb4ixisg@@@@@lh @%l]m8mU4l[pvh oڐ@@h@@lh @%l^mJmgFjB@Alop+?ij@@j@@l h @ʠ&l_m^jU@Tlp>0hް_y*j@@h@@lՠhΐ @ݠ&l`mqͶjh@glpQ'i.@@h@@l栠? @&ma 5@@h@@lh @&mbhϠ@@h@@lh @&m'ch@ N@hh Q Khhl@@h@@mh @&#m:dh@ ph pht@@h@@m!h @)&&)mJehư"@@h@@m.h @63&,mWfhӰ@ ~h   z@@h@@m>h| @FC&2mggh㰶@ 8h : @@h@@mNhw @VS&8mwhh@ @IIh  hMM@@hr@@mahk @if&Amiif@@h@@mnhf @vs&Dmji@h ij"!I@@h@@m~ha @&Jmki#=@@h@@mh\ @&Mmli02@@h@@mhW @&Pmmi=@i2K0@@i@@mhR @&VmniM@iB[9@@hM@@mhF @&\moi]a@@hA@@mŠh> @͠&_mpnaZh9@@@@@mҠh8 @ڠ&bmqnnʶmZ˶h3̶@jl/@lh1@@@@@m䠠h0 @h/w@h(h&&m@i@@mh @@hu 2@hh&o@i@@nh @@ht+什@h&h &q@i@@nh @h&@g6g&#&s@i@@n(g @0-&tnQriͰ*i y+ si%ig@@i@@n9gܐ @A>&{nbsiް:i4i֩g66ig@@g@@nJgɐ @gIF@g, @oFnG@gJJizzh l<mLgàda&@g@@nfg @nk&ntj i  jcc@@i@@nwg~ @g's@g5<@o3 ɶo* ʶ@ 7o6vo-w@g}g|g{&@j@@ngR @&nuj9F.@@i@@ngM @hQ9@gi/u @o] oT @ ao`oW@??gggL&@jA@@ng) @Ơ&nvjcPjWqUX@@j3@@n͠g$ @hK] @gBq@oɶoʶ@ho̶oͶ@kkgөgҐg#&@jP@@nꠠg @&owj|,@@j]@@ng @hu7@gHq@oo@oo@ggg&ɐ@jz@@of @&o=xjjj@@h@@o%fސ @hʚ!@fwЀ@o!o"@o$o%@ީàh+h*fݠ@=&ې@h@@oBf @JG&okymH@ r@Զo=n>@ihC@@m1@@oWf @_\&ozm]fp rѶ@m\@p foVnW@ff@@f@@opf @xu&o{mv.@pjnk@  -@@m[@@o@@@@{iffphfAf @&o@f@@@@@f7f' @&oAf%@@@@@fB@@@@{ffpfAf,<feek?e$ep` pW |bpcBpH|p?eeeeeeAAe ee@pf@f@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BGe@@A@@@@ee@fe @ff>mf3mp8p9xmppxCmememgkgk@ygpfh@fa@n@e@ men gkgk@@e@engkgk@@e@ eng"k@seeeg)kn eg,kn# &@f/f0eg0k@ex|$ewpqpresppergg g7kg5k·n/3n04eqg;kŷg9kƷn37n48ekg?kɷg=kʷn7;n8<ejgCkͷn:!ei@gEfn<fn=Nn>Kn?en@enAHnB7nC2nD-&efLI'@@@@feK,<eOeJfkeHg_k@=f}pI|eCLeAM|eGPeEQ|Ð AAfme?e>@qMf@eh$$1@@@@@@@@@@@@@De>@@A@@@@@@@g"e9 @gfԷn0nqx|/ner{ep|yJ/nevets/gl$n@e$$1@s@evewe8gl.@ e.|e-@gfnInnngl5ne,e+''@@@@gOe @'(pBqdpk"g@@@@@g^e @à'-pCqsRqXg@@@@@gle @Ѡ'1q Dqqxg @@@@@gz@@ff|ee qeAe @'5q Eq-q.e/q~ڶ@ @qsqu1p@ie@@e@@ge @'Dq9Fqqe.eq@yĩItl@qg+@qqyЩ>e@ee@@l,@@ge @# ']q\GdiqjqkeRlq@id@qqoeM@@h 0fϐ@@d@@g۠d @@='pqyHe϶qжqѶeoҶd4d5q6@.tqh.@qҐ4d@6h.|e=@:d@<h.Td@@dAhYd@@d@@hd @if'qIrP}ͩte@@@@@hd @xu'qJr(rrj@b}ީr@r AhkӐ@@d@@h)d @'qKr>r#}}r@@@@@h;dߐ @'qLe|/rQ0rH1e2@zjѠ~ Ӡ~?py~p{ ةj@@e@@hVdܐ @'qMrkJrbKffdd@rHtz~*~%d֩rSppdթdԐ@@@@@h{dӐ @'rNrorpfҶfӶdԶdն@%puroԩpyrsru@@@@@hdѐ @'r5OdrCrq~@qܠdͩpҠgBq⠩jzȩ6h+@@@@@hd̐ @'rQPrd f r @~@~hA@ܠdȩqސ@@@@@hРdǐ @52( rnQdĶdŶdƶdǶg )g*eV+eT,@u@&ild@@rː-iEd@rѐ3d@5i{d@9dࠩdi3@@d@@hd @b_(.rRss ffhUrV@9@@Pudh@{Uf_@@d@@id @{x(=rSpy#d@  gengcoee@*d@d@mdnd@@d@@i/d @(LrTp<dg}g{e('e&(@@d@@rT/ddd@@d@@iHd @([rUpUsBs_>sV?@ d@ d@@f@@i]@@@d~d@@@@~dd~dsss~ @@ )s;Ҡ(f@@@@rԠrĐ @@r*@ΐdy(g@@@@r堠r @@r7@Đdy(h@@@@rr @@rn@dy  (i@@@@sr @@r?Φ@dy  (j@@@@sr @@rH̀@dy ' $(k@@@@s)rp @#@rx@dy 8 5(l@@@@s:ra @4@ri`@dy I F(m@@@@sKrQ @E@rY:e@dy Z W(n@@@@s\rE @V@rM!Y#@dy k h(o@@@@smr. @g@r6$F@dy | y(p@@@@s~r& @x@r."@dy  (q@@@@sr @@r 5@dy  (r@@@@sr  @@r,e@dy  (s@@@@sq @@r.:2@xdy  (t@@@@s q @@q@qdy Ѡ (u@@@@sӠq @@q0[@idy  (v@q@@s䠠q @@q퍀@]dy  (w@q@@sq @@q> @Pdy  (x@q@@tq @@qۭ@Edy  (y@q{@@tqw @@q"@@dy & #(z@@@@t(qp @"@qx-.܀@>dy 7 4({@@@@t9qm @3@qù@t 3tӶtԩsw@qi}ckYf@uDt>dz X U(}@@@@tZqg @T@qo w@Cdz i f(~@@@@tkqa @e@qi'@u  eu&ut-wBq]gqX4dz  (@@@@tqW @@q_;@Gdz  (@@@@tqQ @@qY=$@uP/uG0tWxFZdz  (@@@@tqQ @@qYE@Kdz  (@@@@tqJ @@qR9bÃ@Idz ˠ (@@@@t͠qD @@qLcx@Hdz ܠ (@@@@tޠq; @@qC"ƀ@u| ضuxtx[ q83w dz  (@q4@@tq0 @@q83@Jdz  (@r@@uq( @ @q0@Gdz  (@q@@uq @ @q'я@Edz ' $(@q-@@u)G @ #@Gǀ@zdz 8 5(@q@@u:p @ 4@q,Ԁ@Kdz I F(@p@@uKp @ E@pu@Odz Z W(@p@@u\pِ @ V@pЊ@Mdz k h(@p@@umpҐ @ g@pCǀ@Ndz | y(@p@@u~pѐ @ x@p"@Rdz  (@q@@up͐ @ @p=$ɀ@Sdz  (@q#@@upɐ @ @p׀@Tdz  (@p@@up @ @p'@Rdz  (@p@@u p @ @pEɀ@Vdz Ѡ (@q9@@uӠp @ @p9bÎ@Wdz  (@qJ@@u䠠p @ @pcx@[dz  (@q[@@up @ @pg@_dz  (@ql@@vp @ @pT@`dz  (@p@@vp @ @p.1@adz & #(@p@@v(p @4@adz 3 0(@@@@v5p @/@adz @ =(@@@@vBp @^@\p M J(@q@@vOpz @ @p &\@[ps ^ [(@r@@v`pk @@p.T[@Zpd o l(@r!@@vqp^ @p] h $@YpS ~ {(@r0@@vpC @ z@pK p@Zd~  (@r@@vp4 @E@Vd~  (@p&@@vp @p c [@pK/U@Tp  (@p9@@voΐ @8@Id  (@q@@voŐ @p< nV {@o 0H@Go Ϡ (@rT@@vѠo @.@;d ܠ (@q@@vޠo @p\ v ᚠ@o2J,>@=o  (@rt@@vo\ @"@1d  (@rd@@voU @p| > Ԛ@os t}2@1oJ  (@rw@@wo- @@%d  (@r@@wo( @p ^ ۚ@oD e(@'o / ,(@r@@w1o @ @d < 9(@p@@w>n @p ( 㚠@o L@n O L(@p@@wQnǐ @ K@n4#와@d ` ](@u<@@wbn @ \@n0[΀@ d q n(@n@@wsn @ m@nL@d  (@u^@@w@@@@@ iH xjxT@A@iMd @  (o@xB!x' x%ߩx@@@@@dddT @xPx5 w! xI2w wvtjr @xYx> w* s=dN  (@@@@d}d< @  (AxkxP w< w#jn@d4^Um o+ v@@@@@dd6 @ ֠ (Bxj Ʃ ~rB@@@@@dd7 @  (Cxw Ӷwc Զ@  v@@@@@dd8 @  (Dl l k @ vG@ rI@@@@@dƠd9 @(E 7@@@@@dѠd: @ (Fl lk, 5@@@@@dߠd; @(Gx w@ @ v nA@@@@@dd< @.+( Hxw@  S@@@@@dd= @<9(Ix, ɠ @@@@@e d> @JG('Jm1:m/;x۶@ p ڠ Lx@@@@@ed? @\Y(9KmCLmAMkyN@ m  n@@@@@e1d@ @ol(LLmV_mT`y! @D@ k:@@j@@eDdA @)_Mmirmgsy4 @ K @@@@@eUdB @) pNmzmxyE $@ @+~@@@@@eedC @)OmmxNw555x`@@@@@ewdD @)PyI@^)@@@@@edE @Ġ)QyX@m8 i@@@@@edF @Ҡ)"Ryf¶y b@|7@@t@@@edG @)(SyvҶy rdH sBw@@@@@edF @)2Tyy @ [@@l@@eȠdG @)8Uyxy @@@@@@e٠dH @)?Vyy @Fw~@@dI@@e렠dD @)&)GWyy @Ӡ*Z@@l@@edE @;8)OXy ʩҩh@@@@@f dF @JG)T'Yy:y ڶ@@Lw1@@l@@f dG @^[)^;ZyNxO1y2y@@@@@f1dH @ol)eL[z_x`@C͐@@@@@fAdI @|)k\\zoxpsq@*TnU@@@@@fSdJ @)sn]z%ys@<<u@@@@@fddK @)z^z6y"sLvx x I@@@@@fxdL @)_zJzg!F_yqQ@@@@@fdM @Ƞ)`z\yHzz!Yr(@@@@@fdN @۠)azo˶y[̶z!lx)y@@@@@fdO @)bzyqz!@Ơ#א@@e$@@fƠdP @)czya@@@@@fՠdQ @)dzyx@@@@@f䠠dR @")ezyt{@ƶ@ InG@@@@@fdS @52)fz%y&t'@ [@@@@@gdT @EB)"gz5y6t7@ kՠzy@@@@@gdU @XU)5hzHyI@ @@@@@g(dV @fc)CizVyW@ Đ@@@@@g8dW @vs)Sj{ fyg{("@{@{eyO{h[@@@@@gQdX @)lk{#z8I{JzK@@@@@gbdY @)}l{4z @/J[@@@@@grdZ @)m{Dz0u @[lom@@@@@gd[ @ )n{VzBu@mm~p@@@@@gd\ @Ԡ*o{hĶzTŶu-Ʃ~<=J@@@@@gd] @* p{|ضzhٶuAکFp*^@@@@@gd^ @*q{z|uU(p>@@@@@gҠd_ @ * r{z{"@̠BzyCtS@@v@@g蠠d` @&#*,s{z{"@Ѡd@@mB@@gda @74*3t{'z(@ ܩ@@@@@h db @GD*9$u{7z8@@@@@@hdc @UR*=2v{EzF@@@@@h&dd @da*BAw{TzUɐ@@@@@h5de @sp*GPx|czdue@z=@X۩1o@@@@@hIdf @*Qdy|w{x@ ,*@@@@@hYdg @*Wtz|+{@ <A:zl@@@@@hjdh @*^{|<{(6J|4@@@@@hzdi @*d||L{8@Gb[-@@@@@hdj @Ƞ*j}|\|y#Xqj #@@@@@hdk @ؠ*p~|lȶ{Xɩ2KN@@@@@hdl @*w|}ٶ{iکG@@@@@hdm @*}@||#;^VC@@@@@hʠdn @*A||#@ܩKf m@@g8@@hڠdo @*B|{ vq |#@]dp^yvq @@@@@hdo @,)* C|{v|#@@rdpsp%@@o@@ido @A>*D|1{2v3|#Ӷ@@p9!@@n`@@idp @UR*2E|E{FvG}#@@)(@@ns@@i*dq @he*EF|X|Dɩ| c#h>@@>@@i>d! @|y*YG|1@@W@@iMd @dd{$@d |c*@>@@i^c @@@.c*@@@@ilc @*Hd2>}[$:|@dB;w{z*@@>@@icĐ @ *IdJV> @d 往-@@z3@@ic @נ*J}kǩ*>@@zD@@ic @*K}|ضcccLz@${c|O$~@c#ʖcdrV$WOc$'\@cc@@iƠcy @*Lcczt @ct{ci}@|@kcm@}$otL|wh@ @} @Wclck@z+ce@cdc`@@i蠠c^ @&#*Mcc_t/@cY{'>c}@}|ptl@;cR@@}$Ķp t|'@cO@} 7@cNs ,cMt}ScL@cKcG@@jcA @NK*+NdcBtWc<{Ned}B@sv@~$p)t@9c5@@c0c,@@j'c& @eb*BOd/c'tn@Wc!{f}d*ʶ@}[|\p@@yc@4˶@~#%pGt~ e@}_r@ctJwc~ntc@cc@@jOc  @+ jPdWc cctb{@% bodTPbQ~)@b@~H%'plthbti@p<btzbb@bb@@jnb @+"Qt@b@~C@sն@~F}2@s׶~e%D@~=b@b~Ox@bb@@jb @Ǡ+*Rt϶@b@~^}J@tb@(P@~%_~e@=@ou ʶ~jb@bb@@jb @+;S~vҩHWH@@b@@jb @+AT~dbdV{ be|b|~%}ڠbM}ǩbe%`gh@bb@@jԠbw @+WU~dbxbrbpbnbldw|@%bk@xp2ؠ.bj~@bibg@@j렠bZ @)&+dV~}~%db[bbbbd|.@bUys@bP%^@~ bK@|bJuPbIuSbH@bGbE@@kb, @NK+r+W~>eb-e|Of@ ~Q@b'b%@@k"b @`]+z=Xe*bbbbb|aӶbb*ȶbb%&-öe+~[%uJb өb @@b @@k@b @~{+[YeHb4bb۶|~b-beEHbBv@cuŠba@@a@@kYa @+tZeabMbbbb| bG7bC5e^Ŷ2~@Huxaa@@a@@kra @+[ezbf|@&Aaet ~i(@@a@@ka @à+\ebyc"c cc|6bscboae^{&Z@uuv v,0@@a@@ka @ޠ+]ebc=c;c9c7|Qb~b|e yն&u@uG@@a@@ka @+^ebcTcRcPcN|hbbe#&@Щu֠v>\uvAb@@a@@kҠa @ +_ebƶcocmckci}bbe>&@ԩuy@@b@@k頠a @'$+`ebݶcccc}(bǶbŶeU~v Cv [ҩEv ]Gv_Ia@@a@@la @DA,!afbcccc}Ebbf r;~<v*`v'xߐ@@a@@la @\Y,9bf&ccccc}]϶c cf#S~T@&v@|v;v<0~v=vː@@b@@l<a @zw,&Wcjaa1aa@'aaؠaa@@a@@lRa̐ @,2md$Fa'"@_ })aa@@>@@lga @,=e9dG;g0<~7~9]'<eb~X'C@@>@@la^ @,NfT@ wb)b@@@@@laQ @Ϡ,SgcO'`@Y@>b<D;b3Gr@@@@@la7 @,Zhz֩ GbPXb7@@@@@la( @,`i@@@@@@lŠa @,cj>bj@bmV>>''R@@>@@lؠ` @,lk@1> ''@@@>@@lꠠ`ِ @(%,tl@ҩb~ |@@>@@l` @96,{m{ְ@+b{-b`@@{@@m ` @y @`% 5@=>%`yTQ,@>@@m `U @^[,;nbũb@@@@@m.`L @li,Io'"bԩܐ>@@@@@m>`< @|y,Yplm3bbנةԐ@@@@@mS`  @,nq%@.Ibgbm@@@@@mg_ @,r9%@4>@@@@@mv_Ȑ @,sH4f(E@ڶ@:@@ >+r@@@@@m_ @ʠ,t^Jc3c%=pNc)"A@@@@@m_ @ߠ,us϶_ЩcH>a@@@@@m_k @,vp>٠$"@@@@@m_T @,w(@өciq0ِ@@@@@mӠ_A @,x(@Ωɰc{cq@@@@@m堠_' @# ,y(@۰cc(@@@@@m_ @74,z'(Ƕ@c@@@@@n @@@@@psr%@A@s7sort_equivlistA_eqlistA @@){hԩi<@1#"l'iG @&Sorted'Sorting#Coq@@1ĭ@,Κ@B@,ؚ Ӷ@h{,@֑F㩛h@'eqlistA:p$@- IP@@@_Ail@A`AiZ@-Aio@-!ABA321@@ABC@@ng#gtb @TK^ZZi1Z @Z,?R,;i@$boolZ'@ +k() 7!= R'>H'>H'>G''+k6'h.Ġ㰠AABACAAAT@@@@@n#leb @ z ~-@?=e@,s,oiii@@8Z'@ H+k() 7!7$'h~Аt@@@@@nĠ+elements_lt @ G򩚠~O@4ԑ N2@,))Datatypes$Initi@$list]@, \+k()7 7 77&'Pd j@$HSt@@@-A=\j@A@@n+elements_ge @ ,: h@v=1@,ٶ)ܩ:,א/~d @RHt@@@-A.@A@@o*%gtb_1 @@D|,,n瀠jmũ.@=BA@AAB@@@@@oR%leb_1 @@l}?-$7- oj.?@=쀠BA(Ao=AB@@@.>A?vtA K@A@@o*gtb_compat @@~n-S)Morphisms'Classes#Coq@@c<L~\!>!~:Ȑ@@@.^Ack@A@@o*leb_compat @@-qې@@@.qAc~@A@@o.elements_split @@-*jf@#appʀ!C'@3Q,@3P@@@Aj@A.Aj@.A sj@.A`@ABC@@oߠ,elements_Add @@-'-0@p!@#~AC@.z<@o4^U.!@i'Ha@Lʀ-֩.@R3Q o@k7]@B-e.@&3P@@@1Ac@A2Ac@4A@AB5Ak/@Ad@AAc@ Ac@ABC.AkI@.Ad @A.Ad@/A@AB/AF@/AkA@A/Ak@/A`@/ Ae@/ A@ABCDEF@@pL%Above @9!Ϸz1+@^!Z@>.궐$-p6 +k() +7T' +  7!T'7%'+'td!@@@@@pn%Below @[!@S+<@@_/E-pW +k() +7T'+  7!T'7%'+Htd!@@@@@p2elements_Add_Above @@`-׶M/,@/w@T=UtAC@9@]/Ze+|B/QWkA/V@@@A@/Ak@/Ak@ABC@@pϠ2elements_Add_Below @@./r@/@r=8AC@쀰y/逐B/@@@/Al@/Al@AB@@q1set_induction_max @@{I@"@#y9y&^@@@㚠 @"@2$Z΀@P@&/@.@<,3{M.0:ِ@@y&@1@A@A@@@qG1set_induction_min @@a{@C'z@@@$N@A@0@eS0@ m@{kr{mEoy@@'z@/@A@A@1A įLl@A ůMl@wA@ABC@@q&fold_3 @@a.ضN0-k)r@@i9@A@9qi:/RelationClasses'Classes#Coq@@+Equivalence~@BAkC@@$@l$@)compat_op$9[0{EDA@8|K{@{{{|Q#}@#ʖ{{ة{{{ސ@@)r@N@A@A@kAg4@ATAb@VAb@ABWAe@ZAk@A[Al@]A@ABCAm@A>m @A Al@ Am@AB0Am@0At m@A0A @0Am@0A:@ABCDE@@r&fold_4 @@//]E0l"*np@@i@A@iBAl.Cn@!@2@y0EDA@n||[@V|f|X|`|Ǡv|lS|^Lz|pW|ZX|lR@@*n@=@A@A@BAc@ACAc@EAf+@ABFA%tmt@KAl@ALA4%mz@PAr@ABCQA@ Ae@AAm@A{@ABA&m@Am@AA3m@Ag@A1LAm@1NA@1PAm@ABCDEF@@ri3 @@l*@@j2j0j.j,FislmɶYʶ@|>|9@@@lAlf@AAi@Al@ABAl@Al@AQ@lz@lx@@ABCDE@@ri @@l*jVjTjRjPjil-@ѩ|ݠ |+.d@@@@A@@rҠh @@lAjmjkjijgilж-@ѩ| *|B{@@@@r蠠,choose_equal @@0 0@$@$[.BA+AA@A@@@@@D驛51@#ש$@K3< FA@@@@DM쩚q †śf@%Falsee@cA87@@@@D6j5 Р_q;f@$Truey@@@@VAg @AWAg@YAۓό^g#@AB\Ag@_A@AEAg*@HAg#@AIAg @2#Ag0@2%Ag(@ABCDE@@sf@@@߸@m@A@A߹@m @A@y&'@AB'z@)r~@*n @*@@A@ABCD@@AdH@BdEdDCdBd@d>@d<@ABfA@iAgr@A@@@ABCDE@@@ABCD@@AAd%@BAgK@@AC@@@ABDEFGAn@B@AA@@@g@A?@BCDA@@A@B@A@m@ABCEd@d@@Ad@BCFHd@d@Ag@s@ABCr@q@A$@Ad@"@ABCDt@@At@Bs@r@@ABCr@@A2uA@2yAd1@Aq@Bo@CDEFI@@@dldl5dCDk<@j@A=j@|d@ABy&}@'zA@A)r@*nc@*X@ABC ӳ2@ ӳ2[n@A@ Գq@ Գq\n@A@ADEFdm@@d@ABddCddddCDEm dFl:dGkddvdsjcdoCj@jG@Ag@Bd@C[cDEF@B@cAsss@A.0TQ+Ring_theory+setoid_ring#Coq@@A@BCDG@BA.U>[J@AO@Bu@CtsDEL@L@A@Bg>@g>@ACFHtd@@A@B@o@ACDt@k@iV@@ABCtDEd@d@AI@Bd@o@o@ABCFd@d@Au@B@CdDn@r@Ad@l@Am@BCErFGIJ@/DecidableTypeEx*Structures#Coq@'N_as_DT-OrderedTypeEx*Structures#Coq@'N_as_OT@A)Nat_as_DT )Nat_as_OT@.Positive_as_DT.Positive_as_OT@A&Vector'Vectors#Coq@/VectorNotations)VectorDef'Vectors#Coq@ @.'Z_as_DT''Z_as_OT@ABC@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@A\@&BinInt&ZArith#Coq@!Z@'quotrem\)BinIntDef&ZArith#Coq@!Z@ /@A@\@@+pred_double\@/S@@A@As2@3@&shiftls2*@vY@A@BCs8@8@&shiftrs8/@vY@A@ѓ@?@&squareѓ6@y@A@A@D@&to_intϑ;@@A@z@6@&doublez-@/!@A@A@o@(nth_map2*VectorSpec'Vectors#Coq@@ 8"@A@@|@*fold_left2v@6U@A@"W@@*fold_right"W|@6N@A@ABCDE/@h@)log2_iter/_@wd@A@NH/@[@&moduloNH/R@1,@A@A\d@`@&of_int\dW@1?A @A@bz@f@&of_natbz]@1?G!@A@#@l@&shiftl#c@1dV@A@#@r@&shiftr#i@1d\@A@ABCD/x@&BinPos&PArith#Coq@#Pos@)pred_mask/x)BinPosDef&PArith#Coq@#Pos@ )X@A@6@@&square6@19@A@AV+L@@&to_intV+L@2@A@V1b@@&to_natV1b@2 @A@V5=@@&to_posV5=@2@A@ABCl@@)sqrt_iterl@!$:@A@@@6@(sub_mask@-@)@A@ADEF c@@'testbit c@!ć@A@7 B@D@'of_uint7 B;@*`]?@A@AG@I@)mask_rectG@@+ED@A@F˱@O@)add_carryF˱F@+p@A@K5@@*Forall_indK5@9M@A@X@@/shiftrepeat_nthX@;\@A@ABCD^Ҷ@@'to_uint^Ҷ@#m@A@gL7@@'sqrtremgL7@40@A@Aq@@'testbitq@5)@A@BE@@-replace_order@:k@A@2s@&@,shiftin_last2s@=Nn@A@AxYe@+@!txYe%@;z@A@Bx^@0@"Inx^ʑ*@;z!@A@xa @7@"hdxa 1@;zd@A@Axa@<@"tlxa6@;zP@A@BCx#@A@#eqbx#(VectorEq'Vectors#Coq@@ /@A@x[@O@#etax[@> .@A@AxI@T@#mapxIN@;{&@A@BDx@Y@#nthxS@;{)j@A@y@c@#revy]@;{-@A@AG8@h@$castG8'@/Y@A@B8[@m@$last8[g@;d@A@R@s@$map2Rm@;@A@ @y@$take s@;:c@A@ABCݎO@J@+succ_doubleݎOA@6r@A@HI@@%case0HI@@A@ @x@$even o@>4@A@ACD @}@$ggcd Бt@>U@A@ @@$iter }@>:@A@A 3"@@$land 3"@>m@A@ F)@@$log2 F)@>t@A@AB S@@$lxor S@>@A@ @@$pred @?U@A@AC @@$size ܑ@?'@A@ !@@$sqrt !@?@A@A ! @@$succ ! @?\@A@ !7@@$zero !7@@P@A@A *@@%ldiff *@@A@ O@z@,take_prf_irr O @*@A@A g_@@+pred_double g_@25\@A@ q@@(take_app q@lm@A@ABCD m@@÷ m@2j@A@ @@+Exists2_ind Ñ@ @A@ k@@'nth_map k(@wF@A@ABS@@&of_intS㫑@4}5@A@S@@&of_natS@4};@A@ACEFGJ\R@@(mask_ind\R@4@A@\^@@(mask_rec\^@4@A@Aũ@@*Exists_indũ@@A@Ǜ@@'of_listǛ@@A@A!,@@&pred_N!,@4s)@A@BC@@&shiftl@5X@A@@#@&shiftr@5X@A@A&@(@&square&ّ@5,x@A@BD"@-@&to_int"$@5L@A@"@5@&to_nat",@5L @A@AnTq@:@+testbit_natnTq1@6n@A@B@3@(succ_posB*@@A@I@@'abs_natI@?n@A@AB.@>@'of_uint.5@MS@A@3~@R@'sqrtrem3~I@7]%{@A@ACD,@@'bitwise,@/v@A@>4'@_@'testbit>4'V@8g$@A@d;@@*rev_appendd; @fh:@A@AB{U@j@,sqrtrem_step{Ua@8R@A@u^@c@(div_euclu^Z@ @A@Au@!@&Existsu@@A@UA@'@&ForallUA!@@A@#N@-@&In_ind#N'@%@A@ABCDfz@@'to_uintfz~@9w@A@l@@'comparel@3R@A@AA@?@&appendA9@ m@A@L9@E@&caseS'L9?@ x@A@ABW@J@'replaceWݑD@ 4@A@K@P@&eq_decK@?w@A@K~@V@&eqb_eqK~@?w@A@MĚ@\@)nth_orderMĚV@ O@A@ABCDEFGs8@B@+of_uint_accs89@5+@A@@l@3to_list_of_list_opp@<@A@A}@@,pos_div_eucl}@&`@A@3x@C@'compare3x:@]=@A@`<@}@&t_rect`<w@ b@A@c`@@&take_Oc`@3@A@ABCD@@&double@'޺_@A@(@@'shiftin(@*I@A@Aq@@+of_succ_natq@$@A@w@@&modulowɑ@)1@A@ABEK@@&of_intK@)j,I@A@K@@&of_natK@)j2_@A@H@@'Exists2H@uF@A@ABI@@&shiftlI@*O@A@O@@&shiftrO@*O@A@AC,@@&square,@*ow@A@Z@ @&to_intZ@*81@A@ADF`@@&to_nat`@*9G@A@@@'Forall2@?j@A@Ae@@+testbit_nateđ@+@A@'@@+Forall2_ind'@ ~@A@"@@'to_list"ӑ@O*@A@ABC+{@.@'sqrtrem+{ё%@,J@A@@@0shiftrepeat_last@@A@A5z@:@'testbit5z1@-T|@A@BD @?@'to_uint ͑6@.@A@ @G@+succ_double >@.^4@A@A!lK@@)const_nth!lK@@A@!K@ @+fold_right2!K@x @A@A#@f@'compare#ݑ]@ )Q@A@$@@8fold_left_right_assoc_eq$@3@A@ABC%t2@q@(size_nat%t2h@ @A@%9@x@+of_uint_acc%9o@ ΋@A@A%V@}@+double_mask%Vt@ S@A@%%@@'div2_up%%z@ "@A@%R@4@)take_idem%R@-W@A@ABCDEG'ş@@'Ndouble'ş@ @A@(K|@B@*eqb_nat_eq(K|@w@A@A(b0@@*shiftl_nat(b0@9-@A@B(nՖ@@*shiftr_nat(nՖ@'@A@(@@0succ_double_mask(@@A@A*W$@@,compare_cont*W$@!@A@*@_@(cons_inj*@!@A@*A@e@(shiftout*A_@@A@AB.0@@.sub_mask_carry.0@΂@A@CDE.@P@!t.G@ ;@A@.먩@W@#add.먩N@ `@A@A.U@\@#div.US@ @A@.B@c@#eqb.BZ@ @A@A. @h@#gcd. _@ @A@.=@n@#leb.=e@ @A@ABCFHIK. @s@#lor. j@ @A@.Z@@#ltb.Zw@ @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@CDF/@@%ldiff/@ H@A@00@c@'compare00Z@?H{@A@A1P%@@!t1P%@  @A@B1P@@#abs1P@ @A@1P&@@#add1P&@ @A@A1P@@#div1Pґ@ y@A@BC1P@@#eqb1P@ f@A@1P@ @#gcd1P@ 0@A@A1P@@#geb1P@ T@A@B1P@@#gtb1Pʑ @ q@A@1Pĺ@@#leb1Pĺ@ a@A@A1Pň@!@#lor1Pň@ /@A@BCD1P@&@#ltb1Pב@ ~@A@1P@/@#max1P&@ @A@A1P{@4@#min1P{+@ "@A@B1P]@9@#mul1P]0@ @A@1P@@@#odd1P7@ @A@A1Pɣ@E@#one1Pɣ<@ J@A@BC1P@J@#opp1PԑA@ {@A@1P1@R@#pow1P1I@ @A@A1P;@W@#rem1P;N@ @A@B1P@\@#sgn1PˑS@ r@A@1P@c@#sub1PɑZ@ p@A@A1Pe@h@#two1Pe_@  @A@BCDE1[8@m@$div21[8ޑd@ @A@1[d@v@$even1[dm@ I@A@A1[6@{@$ggcd1[6r@ i@A@B1[U@@$iter1[Uw@ @A@1\@@$land1\~@ /@A@A1\@@$log21\@ 6@A@BC1\$@@$lxor1\$@ @A@1\Y@@$of_N1\YÑ@ >j@A@A1\@@$pred1\@ j@A@B1\@@$quot1\֑@ }@A@1\@@$sqrt1\@ @A@A1\w@@$succ1\w@ @A@BC1\k@@$to_N1\k@ @A@1]@@$zero1]@ eD@A@A2:@@%abs_N2:@ @A@21@@%ldiff21@ ߵ@A@2=*@@%quot22=*@ @A@ABC2kF@N@(size_nat2kFE@{@A@3s&@@*eq_nth_iff3s&@*@A@A3@@(tail_add3@^q@A@BDEFGH3@@(tail_mul3@^@A@5Z@i@*shiftl_nat5Z`@y/@A@5f}@o@*shiftr_nat5f}f@4@A@AB5a@@'iter_op5ay@ @A@C6w~@@'of_uint6w~ @^5@A@6W @:@)fold_left6W 4@*Za@A@A8j@ @'of_uint8j@'"h@A@8V@E@.nth_order_last8V@/71@A@AB9E@@(div_eucl9Eđ @(*k@A@:El@Q@/rev_append_tail:ElK@.G@A@A:x@@,Nsucc_double:x@ ʭ@A@BCD@#R@A@A=9R@L@.to_little_uint=9RˑC@#b@A@=Y@@+shiftin_nth=Yӑ@3뗦@A@A=@X@%ggcdn=͑O@$*@A@=U@^@%ldiff=UU@$'R@A@ABCD>@@&divmod>@C@A@>@@&double>@NĴ@A@>@@+shiftrepeat>@2Y@A@AB?2@@,pos_div_eucl?2@-u@A@?;@@&modulo?;@"i@A@ACEFGIL@%Arith#Coq@0I|кX*o4)ArithRing+setoid_ring#Coq@0ṔCgt?}*Arith_base%Arith#Coq@0Ĕ}CS&Basics'Program#Coq@0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C0&BinInt&ZArith#Coq@0BpHޞun^)BinIntDef&ZArith#Coq@0ådR4Tuy'BinList+setoid_ring#Coq@0Au&BinNat&NArith#Coq@0K11ڤs+Π)BinNatDef&NArith#Coq@03@1O,[{ 'BinNums'Numbers#Coq@0dmk(5Ju<&BinPos&PArith#Coq@0vyػ0= u)BinPosDef&PArith#Coq@0}H d.%,b$Bool#Coq@0j 2cZ`FW'Bvector$Bool#Coq@0,rO3^~*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1+Compare_dec%Arith#Coq@0jXF 8 Y0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ=@0kO!Z7+/DecidableTypeEx*Structures#Coq@0' m(k>4'Decimal$Init#Coq@0C涳N*ua%EqNat%Arith#Coq@0AIgՋXRV *EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼*Equalities*Structures#Coq@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹː02[dS(]R1)FSetFacts%FSets#Coq@0;yD.5[l0^s h@ >Eb 驠)Factorial%Arith#Coq@0@oehJd#Fin'Vectors#Coq@0r'gް؅/׸-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh.+InitialRing+setoid_ring#Coq@0k/T=cN"Le%Arith#Coq@0d}Omq+www@0>I+ListTactics%Lists#Coq@0,Jcy{|Ȑ0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ%Minus%Arith#Coq@0LFtR"p0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$Mult%Arith#Coq@0햖Qyb0$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ&NArith#Coq@0S22b%&*NArithRing+setoid_ring#Coq@0_ .Ys!Р'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蠠$Ndec&NArith#Coq@0${IէQ<^렠'Ndigits&NArith#Coq@0z̠zˠz@0k窪ܸqS-SetoidTactics'Classes#Coq@0S_`nOU$0bb1z٠0;RWMi\N'Sumbool$Bool#Coq@0sB ,$11.]m'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@033 ٠(VectorEq'Vectors#Coq@0#'`ԶlxjT*VectorSpec'Vectors#Coq@0GyK5%l6L"Wf$Init#Coq@0q+W,J+$Wf_Z&ZArith#Coq@0`&i"_9X@$core|>@)transposeWâD@@@@@@ @=Coq.FSets.FSetProperties#<>#1>*D@@@@ 0@=Coq.FSets.FSetProperties#<>#2> tD@@@@z@=Coq.FSets.FSetProperties#<>#3> @u%WO?D@@@@'"@=Coq.FSets.FSetProperties#<>#4> @#_10X@=q@A@@@@>J !./theories/FSets/FSetProperties.vYYq@4constructor_4C69D561"|@  YYˠ@3congruence_4B9F5155 2@O@=Coq.FSets.FSetProperties#<>#5> @NrHȠLb@crHȠ@]@_Yjq@A@^@@Zή@yx@A@Z*@wu@A@AB@͠az@ABUrHȠ@Y@Um^G@AviI@Bw@cL@AC@Ԡx@@Zή@@A@Z*@@A@AB@Aà~@@Zή@@A@Z*@@A@AB@@נ@ABC2 Q@@A@#_15@/muA@@@@@@@@@@@#_162M접#_17'`o@B@@@xv@2 Q@@@@#_18w[*@@@@@@@#_192M접@#_20'`o@C@@@@@2 Q@@A@#_21@"j+A@@@@@@@@@@@@#_222M접#_23'`o@C@@@@ڠР@&expAddF@@@@@AA@8@s4s4T]@@@@@@2 Q@@A@#_482@>yߵA@@@@@@@@@@@#_492M접B@>yߵ#_50'`o@L@>yߵA@@a@ݠ2 Q@@A@#_51]@"eA@@@@@@)C@A@A@@@@@#_522M접x@"e#_53'`o@@ "eC@@@@6@ 2 Q@@A@#_54@ߺA@@@@@@D@A@AE@A@@@@@@#_552M접@:ߺ#_56'`o@@DߺE@@@@@@ࠐ㠐栐@I2 Q@@A@#_57@T-هA@@@@@@C@A@A@@@@#_582M접@n-ه#_59'`o@ @x-هA@@!@t2 Q@@A@#_60@jPA@@@@@@A@@@@@@ڢBD@A@Ȑ@A@@@@#_942M접*@7;>#_95'`o@4@7;>B@@@J@2 Q@@A@#_96I@,=kA@@@@@@C@A7@A@@@@@#_972M접d@,=k#_98'`o@n@,=kC@@@@|@2 Q@@A@#_99@#_A@@@@@@@@@@@@@$_1002M접@5_萐$_101'`o@@?_C@@@@񠐑@82 Q@@A@$_102@C6A@@@@@@C@A@A@@@@@$_1032M접@^6$_104'`o@@h6C@@@@/@g2 Q@@A@$_105@r A@@@@@@ƑD@A@A@@@@@@$_1062M접@ 䐐$_107'`o@ @ D@@@@@8;r@2 Q@@A@$_108=@lcA@@@@@@ C@A+@A@@@@@$_1092M접X@lc$_110'`o@b@lcC@@@@yp@ 2 Q@@A@$_111{@?VA@@@@@@GC@Ai@A@@@@@$_1122M접@?V琐$_113'`o@@?VC@@@@`@2 Q@@A@$_114@3j+A@@@@@@@@@@@$_1152M접@ 3j+$_116'`o@@3j+A@@@ 2 Q@@A@$_117@A@@@@@@C@AҐ@A@@@@@@$_1182M접@3觐$_119'`o@ @=D@@@@@"Y@<2 Q@@A@$_120'@G'u$A@@@@@@@@@@@@$_1212M접8@X'u$$_122'`o@B@b'u$B@@@X[@\2 Q@@A@$_123W@g(A@@@@@@#C@A@A@@@@@$_1242M접r@($_125'`o@|@(C@@@@@2 Q@@A@$_126@?2A@@@@@@aD@AR@A@@@@@@$_1272M접@?2$_128'`o@@?2D@@@@@Ӡ֠٠s@2 Q@@A@$_129@?2A@@@@@@@D@An@A@@@@@$_1302M접@?2$_131'`o@@?2D@@@@@@2 Q@@A@$_132@17A@@@@@@@@@@@@@$_1332M접-@ 17$_134'`o@7@17C@@@@NQT@2 Q@@A@$_135P@ RjA@@@@@@@@@@@@$_1362M접a@. Rj$_137'`o@k@8 RjB@@@@12 Q@@A@$_138@<'u*A@@@@@@@@@@@@@$_1392M접@N'u*$_140'`o@@X'u*C@@@@@T2 Q@@A@$_141@__UA@@@@@@@@@@@@@$_1422M접@q_U$_143'`o@@{_UC@@@@蠐렐"@t2 Q@@A@$_144@_VA@@@@@@D@A@ِ@A@@@@@$_1452M접@_V$_146'`o@@_VD@@@@@(+b"@2 Q@@A@$_147-@QA@@@@@@D@A@@A@@@@$_1482M접H@Q$_149'`o@R@QB@@@hk@Ѡ2 Q@@A@$_150g@RA@@@@@@@D@A @A@@@@$_1512M접@R$_152'`o@@RB@@@@2 Q@@A@$_153@SA@@@@@@mDG@A_E@A= @A@@g@A@@@@$_1542M접@0S$_155'`o@@:SE@@@@@@점򠐑jm@>2 Q@@A@$_156@ITA@@@@@@DF@A@A @A@@A@@@@$_1572M접@oT$_158'`o@$@yTD@@@@@<?B@|2 Q@@A@$_159A@UA@@@@@@ DF@A@Aܐ @A@@A@@@@$_1602M접g@U$_161'`o@q@UD@@@@@@2 Q@@A@$_162@:O̰A@@@@@@ZC@A@@@@@@$_1632M접@:O̰$_164'`o@@:O̰C@@@@Ơɠ@2 Q@@A@$_165@:O̱A@@@@@@C@A@@@@@@$_1662M접@:O̱$_167'`o@@:O̱C@@@@:@2 Q@@A@$_168@'8A@@@@@@΢DF@AE@A  @A@@@@@@$_1692M접%@='8$_170'`o@/@G'8E@@@@@@HK@E2 Q@@A@$_171P@PE)A@@@@@@@@@@@@$_1722M접a@aE)$_173'`o@k@kE)B@@@@e2 Q@@A@$_174@p6A@@@@@@LC@A=@A@@@@@$_1752M접@6$_176'`o@@6C@@@@7@2 Q@@A@$_177@ O8A@@@@@@D@A{@A@@@@@@$_1782M접@ O8$_179'`o@@ O8D@@@@@@Ơ2 Q@@A@$_180@ O9A@@@@@@@D@A@A@@@@@$_1812M접@ O9$_182'`o@'@ O9D@@@@@?BE@2 Q@@A@$_183D@&A@@@@@@@@@@@@@$_1842M접V@&$_185'`o@`@&C@@@@wz}@2 Q@@A@$_186y@% GA@@@@@@@@@@@@@$_1872M접@7 G$_188'`o@@A GC@@@@@<2 Q@@A@$_189@G HA@@@@@@@@@@@@@$_1902M접@Y H$_191'`o@@c HC@@@@᠐䠐@^2 Q@@A@$_192@i&KA@@@@@@@D@AҐ@A@@@@@$_1932M접@&K$_194'`o@ @&KD@@@@@!$[@2 Q@@A@$_195&@&KA@@@@@@@ޑD@A@A@@@@@$_1962M접B@&K$_197'`o@L@&KD@@@@@dg@2 Q@@A@$_198i@JuA@@@@@@5CE@A'@A@( @A@@@@$_1992M접@Ju$_200'`o@@JuC@@@@@2 Q@@A@$_201@JvA@@@@@@yE@AjC@A@l @A@@@@$_2022M접@ Jv$_203'`o@@*JvC@@@@򠐑)@+2 Q@@A@$_204@6&dA@@@@@@D@A@A @A@@@@$_2052M접@U&d$_206'`o@@_&dB@@@03@[2 Q@@A@$_207/@f&dA@@@@@@D@A@A @A@@@@$_2082M접N@&d$_209'`o@X@&dB@@@nq@2 Q@@A@$_210m@&dA@@@@@@9D@A*E@A G@A@@3@A@@@@$_2112M접@&d$_212'`o@@&dE@@@@@@69@ˠ2 Q@@A@$_213@A@@@@@@CE@A~@A@ @A@@@@$_2142M접@$_215'`o@@C@@@@<@2 Q@@A@$_216@ A@@@@@@БC@A@@@@@@$_2172M접@"$_218'`o@%@,C@@@@<?v@*2 Q@@A@$_219>@5$A@@@@@@ D@A@A @A@@@@$_2202M접]@T$$_221'`o@g@^$B@@@}@Y2 Q@@A@$_222|@d3' A@@@@@@HC@A9@A@@@@@$_2232M접@3' $_224'`o@@3' C@@@@3@2 Q@@A@$_225@*A@@@@@@@@@@@@$_2262M접@*$_227'`o@@*B@@@렐"@2 Q@@A@$_228@< A@@@@@@@@@@@@$_2292M접@< $_230'`o@@< B@@@@ɠ2 Q@@A@$_231@$DA@@@@@@@@@@@@$_2322M접+@$D$_233'`o@5@$DB@@@KN@2 Q@@A@$_234J@)A@@@@@@@@@@@@$_2352M접[@)Ȑ$_236'`o@e@)B@@@{@ 2 Q@@A@$_237z@ |$A@@@@@@FC@Ah@A@@@@@$_2382M접@2 |$$_239'`o@@< |$C@@@@@;2 Q@@A@$_240@F'u A@@@@@@E@Au@A@ @A@@@@@$_2412M접@g'u $_242'`o@@q'u E@@@@@@9@s2 Q@@A@$_243@~DA@@@@@@БF@A@AE@A@A@@@@@@$_2442M접+@Dא$_245'`o@5@DF@@@@@@@ORUL@2 Q@@A@$_246Z@1]A@@@@@@&F@A@AE@AS@A@@@@@@$_2472M접@1]$_248'`o@@1]F@@@@@@@⠐F@2 Q@@A@$_249@&]A@@@@@@|F@Am@AJE@A@A@@@@@@$_2502M접@)&]$_251'`o@@3&]F@@@@@@@8@$_252X@#setA@(META1547(META1546@"e@@&/͚1@ˠΠE'@ -Coq.FSets.FSetProperties.WProperties_fun#<>#6=tʠA@٠9(META1550(META1549L@lc@@\e4@[㩚b驚$c@ -Coq.FSets.FSetProperties.WProperties_fun#<>#7=tˠA@4(META1553}(META1552@?V@@Rp׶@I*"C`(+22@ -Coq.FSets.FSetProperties.WProperties_fun#<>#8=t̠OA@T5(META1555(META1556@ @'u$@@נ~⩚{Z`h]kc@ -Coq.FSets.FSetProperties.WProperties_fun#<>#9=t͠A@M(META1557(META1558X @E)@@ɚru0@ .Coq.FSets.FSetProperties.WProperties_fun#<>#10&@$_253X@#set@@(META1572.@>yߵ@@>GW9@ .Coq.FSets.FSetProperties.WProperties_fun#<>#11&C@(META1573(META1575O@ߺ@@_lhkjl@@ 쩚 Rf@ .Coq.FSets.FSetProperties.WProperties_fun#<>#12&@@(META1578{@-ه@@E @ .Coq.FSets.FSetProperties.WProperties_fun#<>#13& A@(META1579(META1580@@@fS@Q3;2=6@ .Coq.FSets.FSetProperties.WProperties_fun#<>#14&!ZB@(META1582(META1583@' @@Ӡܶz޶@VZb@Z^eh@ .Coq.FSets.FSetProperties.WProperties_fun#<>#15&"cC@(META1586(META1588@PjP@@   C @@#@ .Coq.FSets.FSetProperties.WProperties_fun#<>#16&#@@v(META1591@S%@@+4E'@ .Coq.FSets.FSetProperties.WProperties_fun#<>#17&$A@(META1594(META1592(META1593E@p h.@@Ub^a`/@ڠީݠNy[@ .Coq.FSets.FSetProperties.WProperties_fun#<>#18&%A@(META1596(META1597(META1598y@-h @@Κ@Ԡ@ .Coq.FSets.FSetProperties.WProperties_fun#<>#19&&B@(META1602(META1600(META1601@-@@ʚƶɚȶ@NF@FQIɠW@ .Coq.FSets.FSetProperties.WProperties_fun#<>#20&0RA@(META1605۠(META1607(META1606@-@@Ϛ6@z~}멚@ .Coq.FSets.FSetProperties.WProperties_fun#<>#21&1C@(META1611(META1610@yCM@@!.*-,b@"@)F(@ .Coq.FSets.FSetProperties.WProperties_fun#<>#22&2A@(META1614>@7;=@@NW@۩֚lN@ .Coq.FSets.FSetProperties.WProperties_fun#<>#23&3A@(META1616a@7;>@@q+z@ҩq@ .Coq.FSets.FSetProperties.WProperties_fun#<>#24&4A@(META1619(META1618@9,=k@@Xvݶ@-%F+22@ .Coq.FSets.FSetProperties.WProperties_fun#<>#25&5OA@r(META1622(META1621@F6@@Ϡض@ѠaYz_ff@ .Coq.FSets.FSetProperties.WProperties_fun#<>#26&6@@(META1624V@93j+@@ޚE& n( @ .Coq.FSets.FSetProperties.WProperties_fun#<>#27&7A@(META1625(META1626'@7(@@7@ޚB@ƩߠY;@ .Coq.FSets.FSetProperties.WProperties_fun#<>#28&8A@͠(META1628(META1630ؠ(META1629 `@a?2@@p*y{}@i y@ .Coq.FSets.FSetProperties.WProperties_fun#<>#29&9&A@ (META1632(META1633 (META1634@?2@@hU/@U7?X7D:@@ .Coq.FSets.FSetProperties.WProperties_fun#<>#30&Cd@@IN(META1636(META1637(META1638\c@17@@{#@ .Coq.FSets.FSetProperties.WProperties_fun#<>#31&D@@(META1640(META1639D.@ Rj@@>G}⠩@ǩĠdbD@ .Coq.FSets.FSetProperties.WProperties_fun#<>#32&E@@֠Z(META1643(META1641(META1642h𠛐w@3'u*@@A.aȩ-  "@ .Coq.FSets.FSetProperties.WProperties_fun#<>#33&F@@(META1644'(META1645@2Q@@yȶfʩAEBHP@ .Coq.FSets.FSetProperties.WProperties_fun#<>#34&GJ@@(META1647T(META1646 @QR@@점nzou} @ .Coq.FSets.FSetProperties.WProperties_fun#<>#35&HwB@~(META1648(META1649(META1650 @qS@@Ԛ#%'@@B$@ .Coq.FSets.FSetProperties.WProperties_fun#<>#36&IA@(META1653(META1654A@16@@Q Z\@Ԡਗ਼sU@ .Coq.FSets.FSetProperties.WProperties_fun#<>#37&JA@Ǡ(META1656(META1658Ҡ(META1657 z@[ O8@@D1 @14#@ .Coq.FSets.FSetProperties.WProperties_fun#<>#38&K@A@(META1660(META1661 (META1662@ O9@@ȠѶoӶIն@oQYr1^4Z@ .Coq.FSets.FSetProperties.WProperties_fun#<>#39&L~@@CH(META1664(META1665(META1666V]@&@@Κ!y|=@ .Coq.FSets.FSetProperties.WProperties_fun#<>#40&V@@(META1667(META1668(META1669ĠY@ G@@i#rtvΠנڠw@ .Coq.FSets.FSetProperties.WProperties_fun#<>#41&W$@@ (META1670(META1671(META1672!*@J H@@{ʶh̶BΩgF)VOW,O\]RX`@ .Coq.FSets.FSetProperties.WProperties_fun#<>#42&X|A@A堛(META1675(META1673(META1674󠛐[@&K@@̚S@{ ?!@ .Coq.FSets.FSetProperties.WProperties_fun#<>#43&YA@7(META1679(META1677(META1678  M@&K@@]fh7@a驚 ɠk\Ϡ_l@ .Coq.FSets.FSetProperties.WProperties_fun#<>#44&ZA@ޠ(META1681(META1682@Ju@@Q>@ِܐ+$@ .Coq.FSets.FSetProperties.WProperties_fun#<>#45&[A@ (META1684(META1685@Jv@@Ơ϶mѶ@U -ZS@ .Coq.FSets.FSetProperties.WProperties_fun#<>#46&\wA@\(META1687(META1688@:O̰@@@9~~@ .Coq.FSets.FSetProperties.WProperties_fun#<>#47&]A@(META1691(META1690@?:O̱@@(1Ϛ3@jРJ,@ .Coq.FSets.FSetProperties.WProperties_fun#<>#48&^vA@(META1693(META1694G@]@@W`b@ީy[@ .Coq.FSets.FSetProperties.WProperties_fun#<>#49&_A@(META1697(META1696x@@@B/@ʐ0Ѡ@ .Coq.FSets.FSetProperties.WProperties_fun#<>#50&i4A@(META1702!(META1699(META1701,(META1700 @B'u @@Ġ~Ͷk϶EѶ@hWVkRO\R_@ .Coq.FSets.FSetProperties.WProperties_fun#<>#51&jwB@(META1707D(META1704(META1706O(META1705 @qD@@J@ @vjy 4@ .Coq.FSets.FSetProperties.WProperties_fun#<>#52&kC@(META1710(META1712(META1711 ;@1]@@KTV̚X'@Nֶ@=DڠJݠFMxZ@ .Coq.FSets.FSetProperties.WProperties_fun#<>#53&lC@̠(META1716(META1718נ(META1717 @&]@@I6kҶ@D%@:!B@ .Coq.FSets.FSetProperties.WProperties_fun#<>#54&mZB@(META1724;(META1722(META1723@'8@@Ԡݶ{߶@ؠhg@ߠgntj@ .Coq.FSets.FSetProperties.WProperties_fun#<>#55&nr@@Y(META1727(META1728@I&d@@Κw2@ .Coq.FSets.FSetProperties.WProperties_fun#<>#56&o@@(META1729(META17301@h&d@@AJLà_A@ .Coq.FSets.FSetProperties.WProperties_fun#<>#57&pB@(META1733(META1731(META1732_@&d@@o)xz|@@ܠely@ .Coq.FSets.FSetProperties.WProperties_fun#<>#58&q@@͠(META1736(META1737@$@@`M(/7/@ .Coq.FSets.FSetProperties.WProperties_fun#<>#59&rSA@(META1738(META1739"@3' @@Ԡݶ{߶@W[c|ha=@ .Coq.FSets.FSetProperties.WProperties_fun#<>#60&|@@(META1742(META17418@*@@̚QӠZ86@ .Coq.FSets.FSetProperties.WProperties_fun#<>#61&}@@q(META1743(META1744  D@< @@T]_詚y[@ .Coq.FSets.FSetProperties.WProperties_fun#<>#62&~@@(META1745(META1746ݠ  @@$D@@P=:ޠ"*%-%@ .Coq.FSets.FSetProperties.WProperties_fun#<>#63&D@@(META1748(META1747  @f)@@ˠԶ jYQ͠\T@ .Coq.FSets.FSetProperties.WProperties_fun#<>#64&sA@(META1750(META1749@ |$@@Қ9@@ .Coq.FSets.FSetProperties.WProperties_fun#<>#65&A@Π(META1754(META1752٠ (META1753#@ @@3<ښ> t@ڠݠ,Z<@ .Coq.FSets.FSetProperties.WProperties_fun#<>#66&@@M(META1757U(META1758(META1756` go@ _@@9W % Š@ .Coq.FSets.FSetProperties.WProperties_fun#<>#67&@͠2 Q@@A@$_254˜@lX"A@@@@@@@@@@$_2552M접$_256'`o@A@@@2 Q@@A@$_257¾@BA@@@@@@@@@$_2582M접$_259'`o@@@@2 Q@@@@$_2608 @@@@@$_2612M접 AA@A$_262'`o@A*list_scope@@w2 Q@@@@$_263@:سF@@@@@$_2642M접@@m1 $_265'`o@A@@p@2 Q@@A@$_266,@&#A@@@@@@@@@@@$_2672M접$_268'`o@BQ@@d@2 Q@@A@$_269X@&#A@@@@@@@@@@@$_2702M접$_271'`o@A}@@2 Q@@A@$_272À@&#A@@@@@@@@@@@$_2732M접$_274'`o@A@@@2 Q@@A@$_275ç@A@@@@@@@C@A@@@@@$_2762M접þ@ː$_277'`o@@D@*type_scope@.function_scope@䠐@@A@2 Q@@@@$_278@&A@@@@@@琐B@A+F@A'G@A @AȐ @A@@@@@$_2792M접@&$_280'`o@@&GRPR@@VX@@AA@BAA@2 Q@@@@$_281B@A@@@@@@DB@AF@AH@AMG@A& @A@@@@@@$_2822M접p@$_283'`o@z@H@@@@@AA@A@A@ 2 Q@@A@$_284ģ@hA@@@@@@B@A鑐F@A呐G@A @A @A@@@@@$_2852M접@h$_286'`o@@hG@@@@@AA@@A@2 Q@@A@$_287@A@@@@@@B@ADE@A@G@A F@A@@@@@@@$_2882M접(@ $_289'`o@2@*Higi@l@o@@@AA@A@A_@2 Q@@A@$_290[@&A@@@@@@]C@A@AI@AJ@Aܑ@Ap@A@AM@A@@@@@$_2912M접Ŗ@L&$_292'`o@Š@V&Jנ٠נ٠۠@@@@@@@AAA@@Р@A@ 2 Q@@A@$_293@$A@@@@@@B@A@@@@@@$_2942M접@/$$_295'`o@@9$D#%'@@AAA@%2 Q@@A@$_296 @0 2A@@@@@@MB@A@@@@@@@$_2972M접%@H 2$_298'`o@/@R 2Ebd@g@@AA@AR@=2 Q@@A@$_299N@H=.A@@@@@@@@@@@$_3002M접^@X=.$_301'`o@h@b=.A@@}@O2 Q@@A@$_302y@Z4uA@@@@@@@|C@A@@@@@$_3032M접Ɛ@q4uǐ$_304'`o@ƚ@{4uD@Ҡ@@@@A@F2 Q@@A@$_305Ƶ@Q4uA@@@@@@G@AC@AWD@A@@@@@@@$_3062M접@u4uȐ$_307'`o@@4uG@@@@@@A@AB@g2 Q@@A@$_308 @r4uA@@@@@@֑K@AǑL@A @AE@AF@A@@_I@A@@@@@@@$_3092M접A@4uɐ$_310'`o@K@4uL@@@@@@@@@@nq¨@An@A*@2 Q@@A@$_311dž@WA@@@@@@RE@AC@A@@@@@@$_3122M접ǣ@W$_313'`o@ǭ@WE@@@@Ƞ@@A@2 Q@@A@$_334@)A@@@@@@ΐB@AhC@A@E@A@@@@@@@@$_3352M접@)$_336'`o@@)I31@4@@@@@@@AAe`@,c@ڠ2 Q@@A@$_337+@JsA@@@@@@-B@AǑD@Am@A@6H@A@A@@@@@$_3382M접X@Js$_339'`o@b@JsH@@@@@@@AAǠ@@@@2 Q@@A@$_340ȉ@$A@@@@@@B@A%C@A@̑E@A@@@kJ@A\@A@@@@$_3412M접ȹ@T㐐$_342'`o@@^J@@@@@@@@@A۠A-(@@`2 Q@@A@$_343@kw A@@@@@@B@A@@@@@$_3442M접 @w $_345'`o@@w CMK@@@A@@2 Q@@A@$_346-@&A@@@@@@/B@AɐC@A@pE@A@@@J@A1@A@@@@$_3472M접]@&$_348'`o@g@&J@@@@@@@@@AAѠ̠@ϠA@Р2 Q@@A@$_349ɚ@<A@@@@@@B@A6C@A@ݑE@A@@@|J@A@A@@@@$_3502M접@ <$_351'`o@@<J  @ @@@@@@@@A점A>9@<@&2 Q@@A@$_352@1-A@@@@@@ B@AC@A@JE@A@@@鐐J@A @A@@@@$_3532M접7@a-琐$_354'`o@A@k-Jxv@y@@@@@@@@AYA@rũi@v2 Q@@A@$_355t@-A@@@@@@vB@AC@A@E@A@@@VJ@Ax@A@@@@$_3562M접ʤ@-萐$_357'`o@ʮ@-J堐@@@@@@@@@AƠA@ߠ@͠2 Q@@A@$_358@(C?A@@@@@@㐐B@A}C@A@$E@A@@@@@@@@$_3592M접@(C?$_360'`o@@(C?IHF@I@@@@@@@A(Azu@AD@ 2 Q@@A@$_361@@1A@@@@@@BB@AܐC@A@E@A@@@@@@@@$_3622M접f@<1$_363'`o@p@F1I@@@@@@@@AA٠Ԡ@@P2 Q@@A@$_364˟@[XA@@@@@@B@A;C@A@⑐E@A@@@J@Ar@A@@@@$_3652M접@X$_366'`o@@XJ@@@@@@@@AAD?@ A@2 Q@@A@$_367 @A@@@@@@@@@@@$_3682M접@$_369'`o@&@B@)nat_scope@>@2 Q@@A@$_370=@(BA@@@@@@@@@@$_3712M접$_372'`o@A@@ǻ@2 Q@@A@$_373c@GA@@@@@@@@@@$_3742M접$_375'`o@A@@C@S2 Q@@A@$_376̉@^GA@@@@@@UB@A@@@@$_3772M접$_378'`o@B@@@ʔ@g2 Q@@A@$_379̹@rGA@@@@@@D@AvE@A @A@@@@@$_3802M접!#$_381'`o@)E@@@@@@˯˲˺@~2 Q@@A@$_382@3A@@@@@@@@@@$_3832M접$_384'`o@A@@@2 Q@@A@$_385'@3A@@@@@@B@A@D@A@@@@$_3862M접$_387'`o@$B@@@ȳ}@$_388X@*rA@(META1946B@@*xњն@Ѱ֩ѐ Щΐ̚|@ .Coq.FSets.FSetProperties.WProperties_fun#<>#68&@̠2 Q@@A@$_389͊@3A@@@@@@VC@Aݐ@A@@@@$_3902M접$_391'`o@"C@@@@Ϡ2 Q@@A@$_392@ǮA@@@@@@B@A@@@@$_3932M접$_394'`o@B@@@I@Ѡ2 Q@@A@$_395@:zA@@@@@@C@A@A@@@@$_3962M접$_397'`o@"C@@@@̟̜.@Ѡ2 Q@@J@$_398-@*A@@@@@@C@A@A@@@@$_3992M접$_400'`o@"@@@$_40146@@@@,$_402X@3typeclass_instances @@@𐒠@@@@8@@+h=ͲΔ@ .Coq.FSets.FSetProperties.WProperties_fun#<>#69&@#2 Q@@@@$_403΢@.GOu@"C@A%@A@@@@$_4042M접t$_405'`o@C@@@@JM;@$_406X@+쒠x@@(META1951(META1950砛   4@@+ 8Ԛ;͍͊͂ͅ@ .Coq.FSets.FSetProperties.WProperties_fun#<>#70&A@(META1953Ϡ(META1952 1@@,( 51g@'ͷͯ˰Ͳ͵ͼͼJ,@ .Coq.FSets.FSetProperties.WProperties_fun#<>#71&A@(META1957(META1955 (META1956 .@@,^ 2gi8ʟ@穚%W(΅g@ .Coq.FSets.FSetProperties.WProperties_fun#<>#72&A@(META1959@@,@ఛ婚ߩݐΩϋ@ .Coq.FSets.FSetProperties.WProperties_fun#<>#73&@A@@(META1961 (META1962@@,<8@FN"TP@ .Coq.FSets.FSetProperties.WProperties_fun#<>#74&@2 Q@@A@$_407@(vA@@@@@@@@@$_4082M접$_409'`o@@@@$_410X@#set A@%@_@hӐX@A=@@-!?|?>=> @ .Coq.FSets.FSetProperties.WProperties_fun#<>#75&QA@V@ː@(META1978@A@@-R5@ߩ˳ޜtV@ .Coq.FSets.FSetProperties.WProperties_fun#<>#76&@p2 Q@@A@$_411d@{.uA@@@@@@@@@@$_4122M접$_413'`o@A@@S@$_414X@#set@@@@(META1982@B@AM@@-ǚ͎ǰǐƐSÐA@ .Coq.FSets.FSetProperties.WProperties_fun#<>#77&@ 2 Q@@A@$_415@'A@@@@@@@@@@@$_4162M접$_417'`o@B@@@pn@2 Q@@A@$_418@ AuA@@@@@@͑C@A¾@A@@@@$_4192M접$_420'`o@"C@@ V@A@2 Q@@A@$_421:@"jA@@@@@@C@A@A@@@@$_4222M접$_423'`o@"C@@@@Ϡϝ@2 Q@@A@$_424s@+A@@@@@@?D@A0E@Ag@A@@@@@@$_4252M접"$$_426'`o@*F@@@@@@@䠐᠐và@Π2 Q@@@@$_427@\A@@@@@@@@@@@$_4282M접$_429'`o@B@@@ΈΆ@Ǡ2 Q@@A@$_430@A@@@@@@@@@@@$_4312M접$_432'`o@B@@@γα@2 Q@@A@$_433@>-=A@@@@@@@@@@@$_4342M접$_435'`o@B@@@ޠ@ 2 Q@@A@$_436A@"0A@@@@@@ C@A/@A@@@@$_4372M접$_438'`o@"C@@@@.6@֠2 Q@@A@$_439z@"0A@@@@@@FC@Ah@A@@@@$_4402M접$_441'`o@"C@@@@go@2 Q@@A@$_442ҳ@;pn"A@@@@@@C@Aš@A@@@@$_4432M접$_444'`o@"C@@@@ѠѨ@2 Q@@A@$_445@;pn#A@@@@@@ŸC@Aڑ@A@@@@$_4462M접$_447'`o@"C@@@@٠᠐%@$_448X@09@A@(META1984(META1985@@0Mхс@ܩᩚrT@ .Coq.FSets.FSetProperties.WProperties_fun#<>#78&@A@@̐(META1987(META1988Qᐛ萛@@0=Z=\@=d=<;21:5-9 98>754D3@ӷ@ .Coq.FSets.FSetProperties.WProperties_fun#<>#79&@A@&@/B(META1991(META1990?@@0򠐰nұnҸ@nҁymUml҃Ҋiҍ@ .Coq.FSets.FSetProperties.WProperties_fun#<>#80&.@A@l@u(META1994(META1993{@B@@1?@ɩϥکnP@ .Coq.FSets.FSetProperties.WProperties_fun#<>#81&@@rHȠ@-@/b@A@Z2@@0V@v@B0VA@A@1@z@@1?@A@AB@{=@@0V@ ҁ@M0VL@A@1@҅@K1J@A@AB@ABԠrHȠ!M@ӠԃrV@AR@qǓ}@A@@B@ԁY@@0V@'e@A@1@$a@A@AB@ӝ_@@0V@"l@A@1@ h@A@AB@ABrerHȠrc@e=rHȠ@e8@e:roeDҷ@A@e'e5@@@q q@A@֑@qq@A@@qp@A@ABC@ArHȠ@@] rE@A @dz@A@@ @ Ǻ@A@@AB@ԾeUՠ@@@ewq(@A@֑@euq$@A@@esq @A@ABC@ݠe^@@@eq1@A@֑@e~q-@A@@e|q)@A@ABC@-eg@@@eq:@A@֑@eq6@A@@eq2@A@ABC@ABCEǠ2 Q@@A@$_453r@E)MA@@@@@@C@AEАD@A@@@@@@$_4542M접$_455'`o@%E@@@@14E預E점O@E2 Q@@@@$_456DE@@@@@@$_4572M접e/MiniOrderedType@_"q$_458'`o@B@@@r r @E2 Q@@@@$_459Dr@@@@@@$_4602M접-$_461'`o@B@@@r4r1@E2 Q@@@@$_462De@@@@@@$_4632M접~$_464'`o@B@@@r[o_@E2 Q@@@@$_465D~@@@@@@$_4662M접$_467'`o@B@@@ro@E2 Q@@A@$_468s@E=A@@@@@@@@@@@$_4692M접$_470'`o@B@@@rr@E2 Q@@A@$_471s@E=rA@@@@@@@@@@@$_4722M접$_473'`o@B@@@rؠr@E2 Q@@A@$_474s@E@gȋ@K@G (META1869@@3ˠF3sF3@g<gĈgAlg=ȴqG,gt@ +Coq.FSets.FSetProperties.OrdProperties#<>#6;6*FI@@@gX̅@ĩgd̑@ge@̞@F(META1870@@4FhsةFh@g̺g̿gĩGպGt@ +Coq.FSets.FSetProperties.OrdProperties#<>#7;6*@Fs2 Q@@A@$_481u@F~9A@@@@@@@@@@@$_4822M접$_483'`o@B@@@tq@Fq2 Q@@A@$_484u2@F| @A@@@@@@.D@AE@AV @A@@@@@$_4852M접!#$_486'`o@)E@@@@@@sɠ_sԠF@FL2 Q@@@@$_487FG@@@@@@$_4882M접3$_489'`o@B@@@uJs@FQ2 Q@@@@$_490En@@@@@@$_4912M접4$_492'`o@B@@@uwt#@FW2 Q@@A@$_493u@Fb@A@@@@@@đD@AɵE@A @A@@@@@$_4942M접!#$_495'`o@)E@@@@@@t_`HuFG1@F_2 Q@@A@$_496v@FjCA@@@@@@ D@AE@A4 @A@@@@@$_4972M접!#$_498'`o@)E@@@@@@t`vFGy@Fr2 Q@@A@$_499vX@F}9_A@@@@@@ȑB@A@@@@@@$_5002M접$_501'`o@Dؠڠܠ@@AAAF@Fi2 Q@@A@$_502v@Ft9`A@@@@@@B@A@@@@@@$_5032M접$_504'`o@D@@AAAF@FZ2 Q@@A@$_505v@Fe A@@@@@@ȑJ@AʹK@A @AE@AF@A@@QI@A@@@@@@$_5062M접68$_507'`o@>K@@@rp@@t@@@@uajvؠ@AF@AFGH`@FH2 Q@@A@$_508w?@FS A@@@@@@;J@A,K@Ac @AE@AF@A@@đI@A@@@@@@$_5092M접68$_510'`o@>K@@@堐@@@@@@uaݠwQ@AG@AFGH@r2 Q@@A@$_528w@}7A@@@@@@䐐B@A~C@A@%E@A@@ÑI@A˴@A@@@@$_5292M접w@7ѐ$_530'`o@w@7IRP@S@@@@@@@A2A@bUbXb@2 Q@@A@$_531x@A@@@@@@LB@A搐C@A@ʍE@A@@+I@AM@A@@@@$_5322M접xI@ꐐ$_533'`o@xS@I@@@@@@@@AȚA@bt_b@2 Q@@A@$_534x@A@@@@@@B@ANC@A@E@A@@͓I@A͵@A@@@@$_5352M접x@֐$_536'`o@x@I" @#@@@@@@@AAT@c%tǠ@G 2 Q@@A@$_537x@G+{A@@@@@@摐C@Aב@A@@@@$_5382M접$_539'`o@"C@@@@wQwOGJ@@@@k?^+*-JD@%R8J?}s\Qm@`΂s#>Җ@AGn%7*(A >tgԄE 0!xA!M.FSetProperties%FSets#Coq@@#elt"𨀷!s@!t"Z7Р)Datatypes$Init@$boolZ'@@@@@@@@@D!b@%Logic@#iffС)7@"In"_CB@"eq @A2A&Specif5@'sumbool7̂K@ D-@#notШ a@#mem"d) !H?7/G((D@'and_rec1@ж@B @ #.E"G"H0 "H1@NE/ KAeF QI )\F?)MAfHGGd[:w8f~Bb:ж@w@ X51/@ -gB2]4Q6Ȑ"H2/A"-$Bool@/diff_false_true .C@%Falsee@C/WProperties_fun"FM@'mem_iff5Nj#Dec!F@.] 횠@!E@Zήⷐ"s'婜@#andЖw@A@!yנ @"or @$@Z*ͩޠ٩@%Equal#_ߩ@#add"\̶@ߩ '($ط1!a5%lemma)Morphisms'Classes8@=trans_co_eq_inv_impl_morphism&ni$A/RelationClasses @.iff_Transitive*zKE!<!@/eq_proper_proxy)f Ե2=5&PD5@2subrelation_properJ74!A3!B66B@*respectful%WO?=@>>V@@XX.Morphisms_PropM@0and_iff_morphism ƳLdNNf&Basics'Program@$flip$ZZZ @$impl7o@$unitUe@Ar@6subrelation_respectful>6z m:y@0subrelation_reflv t6( vv (@9iff_flip_impl_subrelation2VA@p@t*7@>Reflexive_partial_app_morphism 2R,ZO3K@9iff_iff_iff_impl_morphism8C@6reflexive_proper_proxy5@-iff_Reflexive/h@  @'add_iff Sh@CoCq@@CCCC͠CطuנʐtܠԠx֠zکRN@6trans_co_impl_morphismoөƩ˩ޠ?C@@iC@@CCCC C5H%#A$ 7b@#Add$rJ42FT@HK C̠CC&OOCC>CJHfIF,_թ77Q:@'and_ind14ۀж@C@  @IQ~@]A۶@WDݷcIC_ ǩNII@CC@v5@]L@E@GJM/Ȑ"H40Qo]bmK+O Z-à*Ag V (CGC|@͠q@ZCڠCCC@o@pCCCCC@&Subset/C (&rb@fX@w|CCCCC /C@@.,J-ש)۷ĩ+E@VCʠC̠@ CCC=C@@JHfI+^167ж@O>/1(CDC C C CKC@LdbCvA2y@%empty#@쀵V@)False_induُ<T_WQ©V@4iff_impl_subrelation5`[Q@)empty_iff c(XCRCRCRCRC(ZC?w-uf@&remove4qmk6P3FSetDecideAuxiliary@&dec_eqr€ncrwĠ5N@&or_ind"͠?I[bxa`g}?mi8$`mFVoq3'@*remove_iffڗakC6CCCC蠩TC@trpŵ٠ʩ@$diff"m@ne@&dec_InpZ]͐_sѐ rvVՐ\ِC kk   3ũ:ɠ!u@(diff_iff3wC,CCCC@HC@QMNb`]L 3f1"LOA@j@<ֵi!·Fo@&In_s_m?x>@8jt@xq@6SubsetSetoid_Reflexive"@[XĠIC̷K]h`@{$ܩ g֩&\ NiCCCCC}QC@@HI78;- o5*à:HB  CCSCCC C@NϷLз⵷{зgi@CCCCCC@ܶ@b`@t@wb CCߵFVYWCKCCCCCCҷ{,@}wi{/@tiCC@* C,CCCC鐑$"̩6@%Empty#^̀ =@.u 4@ж@},z!u !p#@5@6 ''8Q  e46CM C㠶@@@CC砶@Z@ CC]CC[C@>gebH{-,ZЩ.o@@6ķ*W'ة_Z 1^ dFit[թ_w]*n -_;kCKC?C?COCiCCCuC@4IvЩS4NH><4@@qtvvx@y@z,YN2| |@@\\aNCC [ECdh!CdCf@2@C 5CCڠC@"x'˩֠Π˩Kՠ4kd@ڠԩlޠ٩Y@Tu LةLLG@ @ %gƩd,_!꠩K, -2, 4%@8y:4/r,z,@@/or_iff_morphism3u !p3//+$@0IKE,)73=p$/'B#[)4(@(`,%=,'?.Mf,' @ R*336-?4@;s(,8P?w=,< Tz:?>VA<@5 HH@U@VR(SͩŰCթAT\K%6L [:ک԰ܩְ```?hl-iܰ\\h2cJpOuuuC841C:@@eCgCCCϵhxεյ1[#u4pj`^VA:@; @f'% %@F4@q.0,,vZ'.(K=@3CB@@DDJ@@F I_C> O=׷)QڵhQL4W } hO_@$In_m3KVZ@-I=ppd,&@5Equivalence_Reflexive=Dܷݷ}x3`CCנ@ڠ2@ @4ޠ@Cᠶ@@;C堶@@?CAACCY$5C@gefzx޵I|ܩKVNHl4@VQY9ʶ@ PTl@@,X%p V Hbkv641+!@,d1|& f~d@g+YsKN2 88@ʩ;=@>G@DqH/@K4 kn ̠>t@aDT ۠Nj 5n%C 4+& +fɩĠ1B`oȠ/ ̠'Pʵ C"·:E>K>EG8?&9G"$ 2IܵaȐ"H5=RUTC ڷc@ZUMA;NAoHK43CC@ϩl@pi@թC@G@SC@Z@eCgCC-DC@:8LJGN':{S4@("C z@]  @2-My@g~,,D*7-?4@s,:Rx838**@+z,? W/!  ~ ɩ@p@˩v͵f˩ XC*<--'.a aa+m+1/511nPAA;Berr<wfCyC<@gp@fCD@Š x@UCJ@||@tCCCgC@˷ݵvᵵ=/h3 4{ukiaLE@F,@r# /' /@ŠPy@@|E;7,e29 JP4|g`@I"E==M&&;6(I@VPL,zGN#  HJZY@@[][a1@@']_ bx\W`jRRk}kVUDll xItͷnir|dd}~ʠo k   -Z%  CР@Ӡ@,֠Cؠ@۠ @4VCޠ@}@8uC ::CCR . /C@ r p@ sA L D 5_wE4 ֶ@ L F @)singleton~Y T OoE@ =,M eO g ^ XyW  R@ d _0@   Y* e \n y q b%p<471'%@k-m hl @_,o< 12r m@-singleton_iff&ڀ U HQ4LF<:2@q,N C'E/,R GI= @x6L5 @@ @Π  nA   q  _  ` \  C\C^@>Q@ldC AnCCҠf \tC  ޷    uݠ|  z Ϡ  Dҩ Ӡ ˠ vΩ ٠ Ѡ ̩ x ϩ4jc@ ٠  tO@PC __? :a@b   @gS, Ni  ٠l k  ΐж@ @$Truey@@ f   j&bP@ o  qж@u 3x @ wu Ġ@ = |  2@ ̠e  F Ԡ@4@o Nط    ې6 l@ Wn@n Z  8 C cG, 0 HJ֩ @ 3 OKv 5 Mx lP 5@+eq_refl_iff=Tǀ" N, B  Z\ y P@,PER_morphism q$   J@/Equivalence_PER/;   @$E_ST3 @-H< V  b  k:# ]  `{ r"* dQ % qCȐ"H6iK l b 7U SPS   ة 6  XЩ   "H7   ,] F ؐS v àRީnЩ ԐT  ͠"H8  ՠ : +    ۠Vj X   B s ^ ' : q7 *Щ àP( . R9 2 E{ }-*Щ Ϡ\U'%+  ; T) B W<     ߩ ꠶@@ M Mϩ 4     x@L@@ R R@O̩ U,      PQ K   FS@@ Y Y ߶@ Z <  R   M)Decidable  *@+not_not_iff } ~쩷  @ s& r@t 4     @ t  x) @+not_and_iff(  "    ?  '      Q # . & ʩ- ۠  4   8ܰ " :װ $ < "@/iff_equivalenceZE A 8 ѩà. +  / G  }   B M@  P 4    U Q@J@KT , =  U   M  ? W O X =II  A Y KZ@-not_false_iff  W b@ !  ƶ@" &4 !   m i@d  P\\R d o@r  ѩ 04 + %  w s@ n   r , b / z $ " r%   `  ]@ ۩ $y o , g 4  )   b y@,not_true_iff ' }     J4 E ? U  6 c  " " < i ,  N  C A ?D  @@0not_iff_morphism Z   Q         9^  ?ǩ    @2m \p . v4 q k  B  J;/      P O O C j@ :@ >{C n@  [ I@ R   v_C Ϡ WCC { C@ @       ֩ ᠩ ٠ ʩ @%union#"~ ۩    4      w p@    ȩ  J@    T    < S   N@   @  + F h,      c   [@)union_iff0ڀ     1  = @ 1 4       %@% B]  ,      z) u  ! p+' H    @  , 00    a@C @8 E    t 6     !  C   >| "   $C C 頶@aI@1UC Ed3CC ]d e C k i  j  = L     N Y Q KZ  & 4       @ W R~  v@   h y  N j jI@ k ` @ ٶ@ o  y  , Y & q    sR  Wi @ y@ V =  } } (  A   c *  d d C ]ݰ   gC *  C ,@ } n f@ /C  CC  |C@ {    #s''  [ (  Ƶ L < &     Ʃ ˠ %  e4 ` Z P N F 1 *@   C@ Ԡ ( F  QQ    S@T   @X ߠ 0 ͩ ,  q  f J \  L h 4 z t j h ` K D@V %,  z  o S     gc @d $jf Y  Ͷ@  H x@.n@w&  ӷ  L @    @n  F  & 7 I  S J  y   z?z 1} Է X D    η | B   ^   ] N  7 0 ߷ c O T    C$C @  ީ @tYC vCC dC@  !  = r !  ص  6   ש     :   4       @  f@ B  i y vv u  ! px@y  @ @} M  2 ,   *     "    % 4       @z ,   4      6  @  }    栶@-@&     z@ k@ n   $   q  \        c 8         >      > R   L C CC C @ W H`@mRC doCC |viC@ 9      j  k v n _ j   <4 7 1 ' %   @ w q t { v !@ 1 k   s  ~ 8  {  @  6 m@  ;۩ ,  R  G +         n d4 _ Y O M E 0 )@ ϠN & #TR        ##@$ ؠO ,  j  _ C ($,      ٠ ۩  ߩ 4 { u k i a L E@  *Ʃ (,  }  r V #     "=   @ )B ''ǰ    4   ~ | t _ X@/  =թ ;,     i 63   ?,      A @/ <::ڵ @ E @  D  F   I V   W    9 ݷ   V   >    ݩ [ c   Y  Z  ۩ E  `  IX   N j  !   O m S   C -*C @@\C^CC 0799C@>RP S !,$K! X L 4       @-.)U @ c @ , ( @      *B  93`t l %-@?T@  2 D?5 GRJ {I o 4       @ F 9 'C  G_ @ < d , L d   . J  T ^ '4 "      @  , U "m     Wo *V\W O O  [s  Q  0 @&!?'aC $C &@->@TKC0VCC   ͩwC       \4 W Q G E = ( !@ ) |E@ Ϡ       @Р z]@  ޠ  ,  p e I    ~4 y s i g _ J C@  !   W@  ͩ -,   w [ (!%  ƩѠɠ  Q 4     w b [@| >,    l 9 4  /4@ ?9## ,H G 4      t m@* P,    ~ K. T,   @, Q55B0@#@&]? [  ^ k o i  m kR   q ~ Q  0  | 3C ɠ'$C ˠ@y@TC'VCC?F<JCNLjMa_/b0;3$Z l g9* p4       ȶ@>8e  B=i @wIC   <MGt  D\ @TO{ @ [V  ,Ph  !N`  QcnfW / l]3641+! *@* |sné ,h5* 0 j 2, {ul%@% 3o99  HrN9f S4NH><4@Bso g# O Okka  !@"ˠO | b ,aV:* \   =["s4nh^\T?8 @ ޠ b ,rgK&(= өj(%,zo  ש C$@ $$H 33   }4xvnYR@:z/>7, >-(@/*@8~@,n;!I | ک4ng@  /J,xE@;- -   //FA1@O6 $$  ̵ m! j U c 8@(+ ~ܐ @%26 $6 k  ͩ됩8AC ԩǠ   ׷C ѠOQK  y֠ ǩ#   ̰^   Ұ #  հ  װ ((]  ?:  / o5s56  1z1 3=   8 1B W$H$?©  9> PPPЩjc2 cald8)\Y8*S   é# sP ܰ of-r j6iHk1 0oN= US<lt<lt \CowwV  A  ~MO\E0 D F #Ơ( fX 9SQOSn\an]  6 CX@٠]@ cޠ b@ @ h 蠩l lCn@:v޶@ Cv@z@bCҠdCC꠩ WS ? Z"C ߩ꠩ q a4zs@ܶ@  OߩSOJ@  n@(  se,` 렩  x 34@r,mhc@q"" Ǡ l4@J  } 2     +z -|@U  ,2=  h%- 4@a  !,(@f & *B   (//@0j  ,/G4$        @-@9{     3 !  Ʒ  II ȩ   © b  Tʩ  Cѷ '  ~C[[%[ $ װ {  3md+ /.1?   ^ ũL @7 ٩  zq   DG> '; zDK ?||F| E  1  O 8 lC   CM@ΠR2 x @Ӡ  CW@ؠ "@zC]@@XCZCCѠ~C@ܷݵ޵ˠ֩?ư iCCCCCC  BCCCCCC$YjNkSjrkup橷۩" .w)q6uz CCCCC*C@9@ 86T78'M+%$(ũ# 2̷< ɰ7)-8װ!3.-CCCCCTBC@Ia_}`a PCvA2hNQPITLGs ũ\ͰS3z ĩtkGY Ti,j }tP/ v ʰ!$Tfqid'ypP)dv(qpC)CxrCCCcqC@Q B2@>$\psou<3d<Oh;OTSsC&C$CCCC@ +Ƿȵr 1ݵcS!7ߠy4tndbZE>@hж@fѩkh @e@c$,ynR oln10 t%(,gCw@Ӷ@zC{@̠@WC٠CCC@ ` iǵM@@D@QQᐵ  Qh ]橷-3tCTCC@uCCCC@ @286T7K$ U@%inter#T{C4@("  +&@B !2,}(@@83@ A,0H  .@)inter_iffx=GRJ;.5@4 "@"?,E]%G_'$>F@(I++=@< @2/>2KMLW`W69TR<$U"x^g^C!C#@XB@+MC[-CC[J\CNw?/3S?`V4QKA?7"@u7@G:@{@ Q; ,`U9  c *@@wzb)|<k}fYCe Cg@@0CŠCCݠC@;굷au_Ω٠Ѡ˩94~ib@ؠө>@@8BBNN>9P@Q©?@U7R,MX  ؠ d4z@Q[,VQLc_@`ZfbU6@*i@r#A@5@g4"|}j #_ WNU  r ӷs {]lW (CCˠ@ L@hOC*jCCBC@PNlOP2e4?71/4Ƕ@=8]@._2kk6Nm@nF&*@r-,> Vu  <,P4@n,G_ Ia|G@}Jr-('@)@#1-(@b@+#!;,g!( \p> ]Ʃ oQkb,D2 /1/ ZtkkCC.@pG@fKChCC\bC@aŵzpLͩd4_YOME0)@iIm@Z ` @$@ j)%,zoS  }ˠ u4wumXQ@y<&.#{B@(!!@";;,i6&"* 7թࠩؠɩ©4rk@PN,|ID? ;@O@%%ީש4~@-ca,\1˩e,g@/b88A@C7@BW#, %&'ѩUɩX  V=lӠn@4e٠$i #Cݠ*'Cߠ@@YC;[CCS&2CcabcDwEPH9,ک٩4 ٶ@OI3ةRM y@  IZT @4Qi@a\Eֶ@ թ,Y&q W)ԩkө44/)@!"@&̩,h5* ˩y|m \r_gK4F@64,@R,}J?#4tj@;&&  tzNϩf4a[QOG2+@2ѠUm,eZ> 8נ[ @ <$ CC&s~4ysig_JC@J&,{pT!N1*,t @P) WW:@}@3`  6%ȷ{ ڷJ%ַJA{BZ6y[:/ "ũ?C8 + a C31C@@C CC# +4C31O2 3G   '͠ * F4@" I%    0@ܠ,'  7,!9#;2, G N蠩82 K T)@ ;6 b@  0 O i3EPH9 o{4 %@&0AE]@,Ia "6 G Y[fA©'4"@ n,X%pZr3 6]  ay @= $$  tSv ?4:4*(  @+, ,o<1/0 ,s@531u  s@0 88  ɩR4MG=;3@A@Ʃ,UJ.H ŵ@@PB n%\t,t]ĩKlMkhN ! L *pMn Щ{Ωзz~bx}֩., 4 C64C@@CߠCC   C#ީ4@Na@ h vhc@ )@ Ġ, !|!ٰ '-O4%@֠V .++  ''#@(ߠ_,$<.*4  6A9*Tl4@q,6N!8P#Bw8@G;((H>P[ԩ4@3,Ld7$,PhNI(&N@3>>#T@Kr@I&>JQ&Kߩ,/h2=mvvm7H]7U$u߷<NW \B NCC,)CE@@^C`CC} tC@ƷǷٵr ݵt4oi_]U@9@r@s{{ }@~@!,vkOj4~xnldOH@~),~sW$ @(c4{yq\U @0,' @;,i6   GW>BPuCKLJCOݷX&R׷mXnbC@@C@@uC wCC]C@^#!?"7|4nyussh @z@@~@@3 ѩ4'M*38CCCCnC@oCCC( C@TRpS15h,1.$  8C.C/CCCCCC@AjhiJ},5756HQ\,%EGC?C?C?C?CwRCd/F6OQQ!PYCSCSCSCSC[C @-iz- ~aen69k<zLC CCCC[C@"@i(Ե[KΩ[s4nhDT?8Sb:@l%@@':@s0,@1@.  ȩӠ@57,seg4wb[=8 ۠EDBO?C@0BC۠C@GCCCߐC@n  ( t dSe4@!s@ e  @*t@%t,o PP 1!12#X6& /C)CϠ@Ҡ @.@ ֠1@C٠@55@-Cݠ@.Uy@T@C<VCCT[/C@b`~aBu @1b_0x3nWWXɩ+a/c"d XG&RRZe]XlcCVNHcbCQCQCQCQC=eC@ix1!%z֩C4>8.,$@m@np!!t#@$d@(:9,}J?#, {ک:W4RLB@8#@,RG+6@97e4`ZPNF1*@ Rߩީo4jdZXP;4w,i^B   ۵{bhr@hw5Zv$|q~<}aCwAf@0q1 GCC~@8C@;"C@~@/CCCC@کz̐4~@ y@ ~ؐh,c ^ Y (@  @ p     k4@ ]z  _v "q@ j, %  d  [4 @ j r,- l = l,/   % r r r C > =n y C㠶@ ~ C栶@  C頶@ 9@R CE TCC] nd9CkijK~LWO@3s594@XR<92@_Y>9 R  Vn@faJ0@5,`-x" ^0TasZ<471'%@)J,n;0.,p WPn((@)2%F,uB7-!'  EO4JD:80@,}J?#7}@:VH`4[UKIA,%@MOp*QDttO  @ VGj,f[? 1 @bdֶ@@@ 4ztjh`KD@ln@((@@*@+tvѶ@0&!̩נ@9@4ze^@@@!?A,o<72$@0GD@J@Eҩ)@@ @W޷oӐaWEאʩ-gCh?AԵPCE#RةT.J!*{qʷ_R~CķWY7쵷hC CР@oG@hCԠ@נ@Cڠ@Զ@C6CCNC\Zx[<o=H@1gs 4Ѷ@GAnU@{W=55 @6OJv@:,G_ =  EW穷YƩ"4  @7jQR;;JJ @K.,Y&qO  jQ34.(@z,d1|&b֩f~MFd\\ @]ҩ,j7,`  :Jh1 :k@@U%x@&[I;I[J ED3HcQQcRe5-Sk(;V<q_Q_q` [vddve%`yLIbCb@@שCh@@MCm@~@xCɠCCᠩCɩԠ˰ R T TLѰ/11Š@)Add_Equal"j+ 4yr@   M       ~C@  C  CC"C",* ) -i, 2["d. 9 @4֩p4ѠSǩ|fΠܷ_lbC֠CؠCڠC44 CC*C@^+WUsVWki4?6(2Y4TC4ɩ=8` [#2B=V]8PqJUL>Ztovj4,E]G_vpq H *$b meVԩid24-'@^mM۶@afcdup)l@c@`,p=2 pmn^~fT4OI?=5 @}q",SH,j Š@}'q}Ӡ/m4hbXVN92@ؠڠ#,laEޠ ,,rg$&@ $ Slж@H2<@4OGw@@:( @M9ɐr8Aö@>GQRDѐ@6BI@JL?6@BP ` LQ> KR4L@RYA&(? B8.g4:@k$@g[pg;]bt_d+r|0 q}]iE%#yAt]KYt]Xch_°XuCw| Ϸx8cZnL.^mhOkfҰ4h%7װm2(K+++=H@:[Uf6N4ǩE@`7)C:CC@ʶ@O@j%JC\CCC@}~\(,PhH@"_[  (@#'%Td_ I =Zr"kvm_ L R T,f3~ ^@6 >,l9.;' SmO;C>SkK K PJb4]WMKC.'@O9 @$!@  @&@ $,ncG /, qKJҠ] %4}sqiTM @?~Šw&2,|`-E(#G&͠&"@F5-NN "wΩ֩۠_4qj@\KXQ,LdYmY,OJ%#@ iX* qq, ж@,P@/ @l@53. g@ж@z=j@B0{Ơ@Gˠ @<Πk@|-Ű1_@2(xDEdݐ:@i1~@AB:|vmI?̩MC@J|vRȶ@ Y ]ӷjܷfW@iְ֩qb@tԩ@+ة/@68[۩۩YʠN÷V DΠשZې[e   4;2)ZG8 e-  )r , &z%33+{5C9L/ӠZ)ŵ]44s@nܠE\ߠ,J.B N;4=R6??J A<Y=HHSJ=CJh{Щ-D/JWeMsAE5,g4kea:`h)P769jƷmW2fF    Q9:\Ґ@`@l@_9d@8}h~9kd8of<irWj0ACx]p6G->>թ!VTypS XdVY|dC"fW_#CZbCDv($x$թ3j9 vsϐ]{<B}{m~~~~6E<6NʠFF֠(* fݩVfiR  oaaCCq@  1Ġߠx @ɠ  ! W \S 4wp@_@`L hhH Cj@k'@l X, Sn" ޠ^4@ k`,![ V!Qxu  @v_{x L n 0  ж@ 5\ i@ж@v ?! aŠ@Ƞs}@ˠ  h@n  * @.>?w א4!@|!.{b j a=?!5i頶@ө!<@ L   #!˷֩  @O@ЩUSVQNJ! pGA!F!Fҩ()\"X! J! fw /4 * $ vr!iWn!\  Y!f!L ש"!p!aC!P!(l'!c!c!-@ b!vߩ+S@쐩!s@˩ @W@ ;!Z[!I !!fD Ea!S 1!X!;  Ϡ̩`!^ ![!ɩ  ڠ |4 w q M  H!/!!1#!33 ! 5!'!'!!o!(s!*_!CT!!z ߩ!X!!!!!!o ɩ!Ԡ4 ! )!Π!g '! !-!v! X ! y!R/թT!11 ; ! 63G !*=  ! !!R!֠ 7U!!!C @ i@VC @!! b@2!!C"6CC)C@^)"#"!!=@!"7f!"#@$list]@"A"B@(elements&F!{A @"  !!"P!!Ե!!"T!ש$List%Lists"T@"$$"`"0"%"%!."9!*SetoidList@#InA q9@!!c"41  J!!h":6"1!@,elements_iff!@=J"!K"V"Y@"ex @!!!! ϩ:!"J װ!!!!!C!"SY "T4@'InA_alt+#Տ1A!"i!!"m"mV!"o;!@'eq_refl *!"lC!""[aȐ!lYA@B@B@@@@@D "F!"ũ"lr"""""""O!"Ω"u{"""I!e"׷!"[!"ک"""B"""a" ""T"""" "f""C"""'"!""y!rBBB@@@@D@|"3!sqh!w"# ""~""@&eq_ind Jy]۩!P"-""""!SŰ"1""$BBB@@@@D@!aҰ">""\"␷$_tmpg"ٰ"E""""e"CC#萑"# é"!!@(symmetry0xj"#"@-iff_Symmetric!x#!@.elements_EmptylX"#T@'empty_1YҀ##E@(list_indj#c+#g#e#9#1#"!2@'of_list+'}{"""b#*#3#u#s">"<$"2#J"0"#0""j#;2""6"@p""L#W""x#@@"""P@>trans_sym_co_inv_impl_morphism'\|"K#c)""#I)@'InA_nil+#磀""#Q"#2"9C###p#h#Y7[;""#]]"r#m#IHlE##"v##y#j"#[J ""##q"$"u#"s##~"#8U R""#=####~^""###C#q"o""@!pab!怰#z#"#o""#"##"Ԡ""v""##V"#z""۠""}""###@(InA_cons=#"###"#Ġ<"$"#"5"5"+,""#"u"7"!"#"97#""#o#@""%!@)# 0E"%#Fq""@#!"####@&eq_sym.."###C #1F ##з#> D76&#8###C#=R##C$&$$###L$,###C###琑|$6#I"$ ѩ#O#+#ө#$"$"#U#1$$ $#$##]#9$ $ "#Ҡ$"@)of_list_1&#ɀ#C@*equivlistA~#p#L#$C& #v#R"*@'to_list:س $ $]$[#:$m#8$C$;$, 4##h$06#>$#4$L#2$C$=##p$A$8"2"2#%#<"45C$=C#A$Y># $!C$y$w#r!>$EC$~$|#w&0$$K$$# ߷Q$@@!i$X!f@$@$g$L$x@(eq_ind_r!2#$nV@)fold_leftɀր$u$#$v$$x#C$w#$y$w$`$qc@*fold_right#$g$$$j@#rev$t$O$@ X$$$$$$^%{@3fold_left_rev_right.$$$e$$@$fold"ԫ$$$$$@&fold_12$$$$#r߸R$@@!P@$@$߹S$@@ZX^$$$뷐&Pempty$ $@̩$n#%Pstep%%#$h$$I$@"@$$"@"ذ$}$$Զ@"6 S",$"9$y$@)eq_rect_r$~e$%$$ǩ`%!#$$$mȐ&Pstep'%*$=#"$6%k%$é$C$$$$$$!!XI t"j $$$$$% "M$Q$-$"a#$W$3""\$̠"j$$%$b$>$$d#$h$D"ͩ$j$%*%@'InA_rev+##%%!% %%a$t$-"ڶ$m%P%Q@7@Y@V@3"q$~$Ȑ$Hdup@*NoDupA_rev>z\%t$e$@$E_ST3$@-H<%{@+elements_3wyۀC@&NoDupA @$$y%JȐ%Hsame%%$X%c%[!+$$%MS$\$$R%j$P%a%[$2$$%]Z%U5$$%`ߠ%$F$]*%%^$p%{B$$%d$$$j%H%hX$@"%L#%nC%%%'Q$$%s%b%@)list_rect ]ƀ$% %$ٶ$"ݶ$%%@@@@! %H%2fP%%I%%ө%$Щn$$%%Q"%!%"%U%$$#$%ζ %϶@z$$%@ٶ@ֶ@<!'%c?%Mk%$%%ݷf%%%Ġ$P#)%%%$©%͠$Y$($$$${%7$m$Z$E$%%q$~$($%<$r$_$J%6%skC%%:C ]C%˩Q#& ###.ķ$& VԷg&%%$&%&S&@@ @@J!XA%M%~&& L%hw&"#,7%&&%9$#/%2&g&@%?%%ҩL&,%%@"@@X!p*%[%ʩ%K%' &(&&&;&9& %6%R%.%% %o&B>#L%$<&A&H%9%%%7%B@D@D@@@@@@@@DϷ@¶@&&~&^#%&&*##&'%&'>&&+&n%%%c%/&-I@%@!% &0%"&2%&|%"l0'&&%%%s&D&;&&&E0&##& &K6%&&6&##&(&e@'f_equal=BBC߷EE&T&&%I&X%& &ð&##&\&dO&#ȩ&>S%TV%&e&%÷Y&qѰ%&&Ӱ&#&u&t%&ʩ&N&x%&#&<&s&{%$6%"%Զ@&l#&Z&j^%%&#&JH%%#&q&ǩe&h&}$M&V&0 &o&s%%&&_]&&xܷ&{&%%&ki&%%&#&%%(%p&,%b%O%:& % & &$'&$-&&i&i&&&@&ҩ&&Ƞ&b&&z&'%ҩ&ݠ%&"%&%$%&%%&&&&&ʩ& &$&ש&ߠ&٩%% &%&&&!&8&&&%&&&>&&&%^,%%&%&$ %T%'%O&栩%'&J&&&W&L&&&1&+&&&$%'%.&7&1d&%%\&Z&6&&&&O@#@&C&=&',&#z)+& &E$'&l&H'$ѵK'$'C&4" ''&#M9#&N ˰&UX$'*' C&A"'#'#C%3&*'.&'q&"a0&'b'c' &&h'$&m&jI"$ &&&&B'&s&$'*'E'D';'9/@.@-&&z%'L'"%'$#'&$  'I''&<'*''' '/'1穷'3''V&&@'9߶'%۩#&&ͷ'=')'`SַT'BӶ'.,,&&'F˷'2'i$'i$'i'!'!@1&&'qf%C 'x'$'`'{'z''q''4'}'b%@/fold_spec_rightˀ''"'i';&N^'@@ܶ@'@'_'@@428'''ŷ)Pmorphism''ɶ&'ʶ&'=@%A@'A"%Z''\$j'''&'H&'ֶ@&@''"$@%#%&%%!'_%@(fold_rec&'[''&%u%v''h'v'' ''"ɩ'y$''a%@.subset_antisym' $'ɩ%@,subset_empty%'A%@,subset_equal'$%@0empty_is_empty_17;=''·((&%')( ^( '%h''%RЩ'$I'%@)equal_sym"e'&(%'''''$%%'''"'' n' / '%''''('&̔f(A@@Z@(g(I@@((D(B#%"X0(Z(X'&'@' @''%א'(&(@,fold_rec_bis 'Ƿ@(V''((*"s0(Y'w(Z'9%(%ѷ"X1%'(*(3(t(r'@'շ'(c( &' %% '''(=(3'k(|@@@(t@(H&l(@@(Q^(('('_'@%@'"7A(?%(Z+(('h'((@(D(i$@&&T%ؠ'%& (!((H ( ((#(b(Q(l(('x&%'((D#(0ŷ"X2%#ĩ(( (.(\(v(m'At(@@'E]u(@@!R@(@(v(@@0@(Ѷ@(z(L!g9(P!j(S((ɷ&Rempty(J(%Rstep(('&(&@&@&(& &(e& %&"5&$((P(iз'&%&k(&)(U((n&p>&r((d(ٷ(&s&tC&,((_(i/(GȐ&Rstep')('&&(&'(('((ש&!(ͩ(k(((Ω'֩(&K(&(('X&H(+((Ր&M(Ѡ&('((6((b(8'i(<((h(>'((䠩(()0(C'&R) &S@,@*!H&M(&Y&-|)8;)=(P( !Q)!R@9@&J)!=&M(!Y&;&h!])H&w&) &b)J&() L)N(a(&e)'&f@(f(B) @!h)&^!k(ѩ&o&N(C&&t)\&(&)^&((,)_'c)e(x(1&n)>&o@a@!d),!g(&v&c&&z)p&&)2*r)t((@!o)M!p@((h):)y((@)?(!{&v):)*!)&&)G&)&&)IC)(y)0)0)K&)L)()g)&((()T(a)W)))=)X)()'()Y)PC!!)&&q&)&&s)_)V') )b)G)d')I) &))f))h&))@)U})@@))@$}&^))()@' ))@)_(@ G)$ ))())@!@)ķ@(!(!)~)))Ʒ(() ))a$߷)M)K_&$2')<)J))2))@)ÔϠC)@@))˶()̶@'@)&&)u))))Զ@)){@!ש)K(η))۩ /))޷@1&-(L))()(4)'XF'p)q))))))(:)))%)~N'3&ͩ)a)l))))))))#acc)()$(&)÷)))$ ** ()))P))%&)))Y()())X($* )(@6Equivalence_TransitiveW"ݩ)%(V,*#@**)(**))))Q@%add_m4)L@. L'(U*.)"*0)!')))))(֠*!))*'*%(EM*6@@) ((*I*G*'Fک* )t)*)*)*O***)YѰ)h)D(Ϡ*X*V**')o)K****^)O&)i *d*b)-*8')})Y*!)/$)%*=)#'))]*.*%))_*0*p))-)G)?*J))z)($C)D$):*R)8)))($ĩ/)*?*?!)S*^4)))) $W<)*L% )P*h.)))))$کE)*Uݠ* *WG)@+@%*<-@(#))))&)W)*g*g"x0)Ƿ*J1*7*b**{d**})ҷ))ө):)*.*{m)*}**(`'s)*)F'w)***P' *})*|(nж@**S y**H*@**["* **Q)a')*c*(@**O(%@(( *( *v*%Y*(q8*(**f*(3"* "*(3E+Ő ]*j***ʐ@&in_rev5N|+u*ҷ*@~****+)* ð*/**Ӑl*1**j}*6*!*7)dϰ*;**('b\)'db*'e*qװ*C*j(ZR)'`ݰ*I*[*_(^KHGF(P**%+<(C(e!+?(t+AC*K#+*Z(t?*+++=b+;+9)ՔàO+J@@#eqA@+@+*"st*@+Equivalence~@*+$¶@+c@**з**3+f+ )2@&fold_04uǀ**+3+2 9 :))+z+x+L+D  +<*ީ*+B*+'*++D+)+:@ L M*0*+++_+W+H( +P**+;) + *++=++N*++P `+~@**+++u+m+^(ȩ+f)!)#+#(+)%++%++m)&(+(+++h+01+4*.+++++r(+z((++)++@*;++©++!+((+*(++(++,+-+s((+1()I)I++(+((++8)P+P2( (+)T)+F*((8 # ( +w*++++#+++++++!@(5#+))+)+[+*++++)+=+++͠Y*@+reflexivity(ϓ/) $$Ű)$))'C++K$P), )9)- )- 7,  Է+*,+(+W,,+砩+ߠ+!D($)4+ũe!t,)7$4+$4++ɩ)ж@++!S +=++a@ +@++++!_ + )W@ ++!Z)>*-@!g!]+0!_++㐩,,@+1+++ "%C, +!X'1C o,D  +8+5$D!,K)c$`!$`+,u)f)$c),C,@,>*,@' *O+Ѡ+,+,,,N,L+j,M,a,_*ꔑS,_@@,,, @)compat_op$9[+++c,,++ @)transposeWâ,z++,<+,"&+é*G))) ))++  L  M+0+,,,_,W,H$ ,P)Ʃ)+)+),,+,N @  `  a+D+,,,s 2,b)ҩ),$,),,, ,`)ݠ), ), , ) ,f  v) @+.4+0,,,ܩ,z)ީ),)*7),,!*9,)㠩)*=))*>$ک)*A$),"HlK)+H,,ϩ,,)),*O* , @+S,,ک,,$$*"5*($,**,$ )*";* *$)*"* ,#Hl1#Hl2,) ;),*$*,o !"%$** t  D ©+w+y--,Ԡ,̠,", ,Ű"[/"]* ":%P"_- *"%, @  շ X ֩++--,蠩,," ,ٰ"GC"I%1"D*&d"K-%3*(,ש"t%6"TK"Q%9"*.,ݐ"l' *Q @++-2-0-,/ V,"g^"i*A"0%3"k-9*C%5,"ld"e%9"R"%:"8h"i%=".",#Hl'ŷ*n+ -K-I---":-"w"y-Q%M"- 5@+Ϡ-X-V-*-"-"j-"U"W""K""Y-`""-"Z"y""t"""S"}""-!$Hl'1$Hl'2-0""-s"","b"d-w""*,E"e"f""q"u"-7"m"o-"",,P"p"q->""-""% !@.fold_right_add񱑀D,,"}"""""",*"*-8,[-f-^" /,,"*,*(,-@!, ++ 3,,% [,Y-q V-W+"%,p,,n-y @,,-b ˰,%,,-h H,,-j%Ʃ (,n-"L L,,-w װ,*,,-} T,,-*-v ,,-y%թ,--- =,-"a, --,,,,V-,K,'+,-+ ,- -+ -E,---,$,-,-- ,- -,,-&,-,ᠩ,m&,$,-,,栩,-&-((?,@ ,@,J3 + *$ 02+ 'e,--ɠ-B "--C+;)6 --+0*4Q@+ R'u,-- -0-C+(I)D--C -,-- 9-.#)+1 B##ML#C-ԩ D# #O#E-..,=U. @@ -  -(* -թ -./,-ط \.1--L ---۩----ݩ     -- -.<- - i.>--Y---絩--C.- -.E .. Ω-.)(.    *.   .  (.  t--..,ᔑ|V.V@@   $Comp-z. -V.(.#Ass.j-.., -׷.].[.o.m,6@(fold_rel&(++!u+!v++.>-*r----i.A.@+-'C+--.-Q+.^+.,[. +.L+ ȩ-D@,transitivity>4 &+w&+++à.+$+Ơ.+++.. ).D.U, -*IOM  B8-.h-.g.^ .N"i'.#...BΩ>(......U.p.o.f..-|,).+.3,.1̩+.....\.w.m-A`fdb` ZXVT .)..,@-set_induction$*.-.@,m+ +./..G +.1..I...h)-..U-*ɩJ +,+,,  +,T..F.F +,V..H,@ 4uȀ.,,,.N,\. ,,-@5Equivalence_Symmetric. U.V.,,,!.X,f--)'-(..--w.--.).@'Empty_mZf.@?X<-.---i-X-Q .----L.-.-m-E..z .-'.}..-.......@5,820/ / .T.#s'0..V-Q ',', '+ ?',0.y,M,1. C',4.~,Q E',6.,S,@&fold_24uɀ0...'!,/':,Z,=,H,T.. '#,1C  0...'&,4'?,_,B,M,Y.ҵ.+/,-...-$-/--.W-h,/5@/%-.'D.(.-_/8.) .., /).#8,...4...// [--/.C- ../.C.Q/4@,, q,./ . s,./.- @/Q@// /-@'fold_1bW+/// -    .Ϸ/U/S/g/e.(H0/+*/*,,./.../!-1@'Add_add)Ȁ/2-   ./i/g/{/y/.u-C@*fold_equal(,,..../)*/D-J@)add_equal,=k-H.39753 -+)' ./////*. R,-,-.O./[ ,.(*/C}0(,/`/_,-./E./ //@(remove_1/g/f/f -m@*Add_remove |$-k.7V\ZXV PNLJ //////M(<(,-2///$/2/`(G/{-@,remove_equal6-.Kjpnlj $db`^ */3//./  0/-H -/2#[ -/4#/{ - /6///ŷ/n*M --- --U - /?# -/A]/Y -/C/ -/E/i(---_/G/F/Q#/-@-empty_union_1:O̰#a --"" -@)fold_initJs -#-)/V/U/n/t-%-+-p/p/X-@-empty_inter_1Ju# ---3%4#/-0-6-{6/c/////-:+%0 0/P/-@&In_dec/mu-[/Š-^/-`/BAAAA@@@@@D0/Ҡ-h/Ɛ-j( L%z(:$,2 O%}(=,5-X R%(@/ T%(B--\/样"i0-z %(/%(1-? ^%(L(M/ b%(P&-kO %(:(S-V 0/%(<-J-o(U-X-c/ 00/ . --.( M./$...0/).ɠ--0/|@!qۀ/-/е/---/--׷-q(/-e/*0C0.(@)inter_AddD׀//-/00) %(d53(~/ %(/AC %(j;9 %($_&;: (%(o-}(--<NNP.>@+union_Equal1] %(yJ(/ %(H.J@-fold_commutes)$%(-(--O0-00  / I%(Yd%o0//0 %(-d(--070R!ns %(aq(0 %((roz0*u0%(-t(--.c@,not_in_union'80.00I0Z.j@)union_Add'u 0 0 ."0"0k %(w--0&0&- &((-u>4(&(-(---uw.{@+inter_Add_2&]S. &(=R200|C0 .80*$I .:0,0 .<0.0 .>000}0/Qpvtrp *jhfd 00900/0E .K03Q .N0@2 .P0Bݩ .R0Dr0 .T0F00 .V0>\  .@0fold_union_inter(C?$.^0F0E0P0^00B5Z .`0H .b0T0n(.d0L0K0V0d00.@.diff_inter_all$D0 .l0T0^0l00.n0V0U00`.@0empty_is_empty_27;>.@0diff_inter_empty< 0/ g7 m0v00000110 .G.} <.J0v%0 >.L0x% @.N0z0 B.P0|0ѩ. .R.0~00%  .T.0ǩC.V.000/1#/./Z,//0//#0ΐf/R/0/M0Ґl%gnl0谩+^00ِ;0s./o/ 0k0~/p.b/ 00.ŷ.R.00I.]- 10@.˶@.0v0.0.0x+0C0Ch$.|.000001 1 1;19!p16@#nat@(  1 1#Nat1B@0? `0L@1bB1A1*01$C1, 1& 1(1s1q0?%1L&1 /I016*1:0"%Peano1a@+f_equal_nat!-5 1*)/11a: T V10qW1D0XAZ1h\1j1d ` X@0fold_left_length? z hT1nP 1pjRV1@(cardinal ^'1.1@*cardinal_1J1411$0E s0G11Ω10a11@110 W000U11ܩ10 i1)M g1SC 0 110@0 k@ t/10嵩1@*elements_1/C t1 }1@*elements_2/C/<111,ȩ Ybp11&11ŐA2C0@)ReflexiveW2ɷ1ʷ11ٰ11ө T111C0@)SymmetricFgq2&׷1$ط!z۷111112@(eq_trans!y11111C0@*Transitive++-&1g0@-cardinal_fold(B1s23211O222F2D1,1ȩ02 12   s1220K  } 1 2 1˩<0122FXCU1f1PNCL1kG 1E1FCC<  11t11,<"x1,"y0/1e22B2A28C11@551s177((##C1K@&ProperL@1 11 1 -C#1C14/212nG2 I5?C%2M>92\2S,b-/0d/1221lq1j$1`2x1^,n2^2fZB1M1d\2`a2ycxz22v~2pp2xlT2r1@2~xx2t.2|^@2\2<zb2_ 2ɷ1@22222@2p@2E2 u2r2^"e0',122@2@({22/d2W2222p@@A@A@@@@Di122-@(22./y22HB2222İN1Щ2۠-_d1O-/۩2ͰW/2Ƞ0@.cardinal_Empty32J2ϐ3 3ͷ22ܰK2ԩ222ܩg/2rpu2ĩ2\-@3432@V2@#sig#* @3;3>3<22թ22ö3D3B@ 2é8rVP3)@2}ߩ1D3 2~3@*False_rect$03 ~3S23  2ڶ3[3Y@.(A3_3b3`333  2p/3X3Vx@ @3/#32=3r3u3s0p@337+3:31I.@3=1%K3330۷33)3E9!!3 3 223 2?Y333 3H3C`E@3TH<%3-3=3YM53]3_3Q1h@.cardinal_inv_23ʀ333233A1N_`Ȑ$HeqnG3qe3k35h3w3n3vj3y 3znj3~3@'nat_indJ 3v33233{33`1-3~3E3323 )3f131@G3202i(.2533S323U3331@.cardinal_inv_13ɀ.S#IHn#33ַ23׷;3a31P N33[3qBBB@@@@D33`)3333C0ZK0W1XvY3Ȱ3© 3˰U))jé[0g1fɶi3ذ̩d0p1a3߰3s3# ĩo0{1t1^1@(eq_add_S10Y1g3멚1@,Equal_remove 3333詚2@*cardinal_2G,34344342 @)in_subsetyCM334 4 >333*<L34344344 33334 33Ő4\4I3Z4J322%@.Equal_cardinal:z2#C24S3M`CC 0k0hf!jc4r#3p$4 ZXCV4v'3t(P)4N3OLCE$>@?44}3H*3F$4}3;@-eq_Transitive(А*Ґ+2T@1cardinal_m_Proper**+4K1/3:I2`@3singleton_equal_add3j+445Ϡ1'L4aU*=W,X4fZ+Pp12+/4mX3D H4f4434 fhTP&i4wk_4s]pr^!Z0s4uiyea4"{+9|4~r n!{j4r1D44w4s2@/fold_diff_inter1$s~43334|. 6m4jkC3m3i3۩3oChc3s4o3C4344bC444E;2@)fold_plus]B-ƩH!RKb44444f5(©4а4ʩwo?ɩ4װ˩A(4xҩ4 Ƞ4ܩةN4۩44㩚2@*fold_unionX(թ+׵(Cҵ C͵Cյ5<4O4:4P4/ 4'CCCMC554lJ5r 6 2)65<5:4X5;42 A!ӷ @"le UxT@54)4J!"3,@4 34"c34.4#@3PreOrder_Transitive4(ۀ#(PeanoNat%Arith5o@+le_preorder+Uߩ30&47@2PreOrder_Reflexivevv*ΐ!А"0Ԑ"-3,B!mEE8"@&add_wd> ړ4=L"1";5T3e@)inter_symE)3T4m!3,YBOAO? +M# 3,]P%"L5T5e3v@2inter_subset_equal63t$PlusC@)le_plus_rx&Ӏl멚3@3diff_inter_cardinal'3u554555ȷ5`25L3}5J0nt"1E]@"lt Uxc544Ƞ "4,S4~ 4u@4k4m45z@%lt_wd/Ύh4t4M4F 4A 4I 454c4;4CE"17J"048,vs 4  | "65 n1K4֩4"F5{4D,/ ;.Ʃ4H,+ȩ"D5x5Рk1LL*ж@@0ꐩ2+Mm©̠55࠷5n@0215k54655 4"04~6541̩52 55m@1:15555Q#056 5|#/@5~v 76 '@66@1plus_lt_le_compat4Ļ€88"Gt@'gt_le_S3rµ"Lt@'lt_le_S0?nΩ@)lt_0_succ5%5CC@"gt UxC -Ac1ʐ6~6|56}CE1*-F6THݩ<ũLܷ M6[OC6W ST6bVJةL6`թ\]6k_ S6gceQ*=#f6th6nujlX6{*m6{oq]*6wf$ɠ6j5͠*R 69ǩ*U6656x ԷD6}@#sub #8o@5.먩  %Minusx@*minus_plusS @(add_commb&(C4@4union_inter_cardinal\6666666ǰ7R}X*6ʩ^@)le_plus_lx&̀ 6А7 7 77662D6777%7#60S٩O2M÷ܩ66ʐY6[1w۩4@(fold_add&(759C1 *C$ Cᵵ 6[6F6\61 CaC]CYCV7 7 7<2q7A7?7S7Q66M} / 7 7075+@-remove_fold_1-.Z$/17_7]7q7o70075 @8SortA_equivlistA_eqlistA$EnC7|7{6@7m@7A֑7-OrdProperties6@766@ǀ@7"ME@+lt_strorder. @)lt_compat7/60Ȑ!c5@'compare-"7O+OrderedType*Structures7@'Compare8Ȃ@G-@77{ EAAAAAA@@@@@@@DS9L777777֩[AT7~777!D772Y774%H2777(K76@7>O3 @ 7@7}7A7i77B77ӷ77677 -777 4k[30774o7N7w7p^"TO@%t7z7z8{i(OrderTac@)lt_irrefl1 J @(lt_trans0vm77777̷?7٩75377s7 77t=72777O/7A47z7,77˩#6%@%lt_eq" 77777v578@7N@V7ķ7777X7C87888@#gtb=777[8Fɷ7Dʵ}88 8$86@$negb8 7z8y7b@884788~@77478tjǐ`777818'C87\7z8 747T777848>C O7@8@8X48;8;$@088 7C(848 375 8DC8_8N8fW@#leb=8/8M8<W8 7j"8w#868:Ȑ"b0l8N8|888~@8|8k@88n8w48h668r88v{48m~58888@88N(3@88888z.6C888}88~8I88[ڷ8I88^8C8O8M88+  88+87881783D488B@%eq_lt:8M8B8Cg@"y%788|V4x71Y.8788888hP<88۷88˶@8ɠ8R;@:888S888~8Р8Y8~57ʩ8ՠ8^7I8`88ȩ,8i8t8j87ө8ޠ8J7R6878888ɠ8888E888n@%gtb_1=8ũ3UC78888C9%@878 9.7988@*gtb_compat<ÀT893s88989 87=9$9"9"9"988Ơ9*9* 9 8C99,83C790:8C9]װ879c9S@9R#y9@,filter_split"o(̩688p9 939K:9,8969N?88Ω/q89Aԩ89+99E9]ķ9899a9Cթ58 58٩79I89879Mߩ599Y9q889 68ѩ9"66ש69]6969j9`Cө'519,9+6*8᩷9/-9J5h7269899}99w+56199u9}16699*9q9-79-99C;979Q9999*9R@99@.absurd_eq_true!969999:9C9CP9C9O89d@)not_gt_le :9M99@t5y@)not_ge_lt d9d9r9|5;9B7y7(`^@+le_lt_trans%Ra9v9k79é8թ9ࠩ9ϰ92D9969԰92;9Ω5w9Р2L9C9!@'H9@*elements_39C:):Ʃ9鰩񐚠@:##:@#appʀ@+elements_lt3Q9ש@+elements_ge3P9ݐ:79S:J99𐩚@:#~9;9ө:Ri@84^U"@7sort_equivlistA_eqlistA)MЩF62驚@&filter4ԑ37;Q4ѩC:2 7AR7 @)SortA_app-ʦR$ @+filter_sortJ$a4橜&Sorted'Sorting:@1ĭ@Bc:R $  %9\:g@%HdRel%5p@":`.9#@8&:Z=(7788착~:R 90@E3,:gJ5!509_:l@'Inf_altWL:~,9A:<@9;ZHA:::6:~209:dRK:7>hVO:mXD8ͩ09Qp^W:::L0::u@*filter_InA<>sib4@*leb_compatK5N9:::k+:288H''ԩ:S9g94@̶@99~y99@9$[.:{@3 v@3u999 9w9f9_ 9Z9c 99^:99W8:~:8A8A9;3װ@3/ȧ@3,Ԁ8J:թ9:8W: 7: 0ȩ8Z9::堩@@ۭ8i::C:ې:|R:::;:;6::7;;0:;@%leb_1=r6;b6ѩ^8::g8ϩ:a@;t 18; /;b@ŖÀh@&eq_neq1&:8:ѩo@b1諀8:;.;v@*le_antisym! `8:;?;6C;$,:; ;F  N5ַ:ͩ!;L`:p@: );:w0;T;l]7;N;:b;m4";E9$g18;)";@+n1:#;j;s7.;d;e4-}1;X;r;1"8 8LCCCCC@@@@@@@@@@D I@^LE;3;@;;8hS?1n<7; YX8T 3;`;;9ydPŐ33ǩ;$m;; 9q]9^//08=22;;oY{@5;~;s;4n;;?;9rC1DLQF;;jmTI;ͩ-;y;/9 ;թ;԰;99,;ذ;z41i;ө;۰;~1qx1K@;`91X E9=4&;1Y19B;m;˰1`e1;uӰk1Q{9S191s1n9W1lR1r1;ީ[1N;^1a;ϩX1<1<O1a< Q1A1|1A< ;<*<<1"1I<Ǡ11J8ΰ< <8)<Π1]1t<O1T9pg@%eq_le"΃11111<2<)C<+9<+9<+;;; 9;<04[4]9|9zj9h1<9f1@d9 49]9[1< =V<<|7<;<@=X;8;,<ɠP<:ϩ<$<=<?<ϠV;,=<<=N<@ @<ڠ<^A<ޠC/>=g[Z=\7 ;v>=>C=b;̩>=X =ѷ;"94<;=>*C?>!>!>!C C@'eqlistA:p$@B=::l=>>F@%Above=Ut=o>4+&W]>ND$ "  >SAA>] =!>ܷ=7%>b°'>;@?-&>P>a@>j>mͰ2<'">f 54;ڷ;ǩ>s۩ְ;;+;ͩ>yԩܰA;1;,ȩF;6>z>>k8;4LN;>>>P>7;㩷;>T>066>>W>4;ܩ.Y6з8Z@>G6;<>>BU6> =!X-"< d4R4=6<hwR@:?64";46=>Ƞ 8~w6ө;j{4Ré =>>Ԡ367"<47><:><>>v>v> PE<0>>÷< Y<"U<6QM<8KG<:E6>Co7y@A<@7/Fx\h]<krqf@7'>@>l>>砷 zo>w4>u^yU>0|Gj}=>>u@ȷ@5 >>w; >Ơ4B>484`?>e ѷ>>;Р>4P>?>q@?t?>Ӡ<?<?>>>x@? >ͩ?>ܠ>޵>8>6?A?*Aϩ?>o?2>6?N4Q??MSΩ>>{© ?G?>O ?A>S?^>F'?I>M?e4+h>ө>G/?Z =,>U>"?m>>9S?S"?V?E>h?s>ԩ>^?v4<y>>X>ک=,>d>1?|>&>9b=,>f>3?~>(>9d\$>?d3,?g>y!>w$>m?>k>X>o>?\0>v?4T%>9w~>|?y?z=>~?=>>$>?>3?>o>?>>@@>ʠ>̠??T?; >Ԡ?9F??$9I???a ??* ;??-C??j??y?@%Below=8>?~ ?$|mytS???K?4=1UTI@d?Π XM=8>='`=)\==XT=?RN=AL7?Jv8@H=G=+?F=JD8?Mcod=OB=Q!P8(5^=6?5Z=8>@!=?<85!>@?58=I=W=t?=????Y ŷ=j}=X=Z=n=p=r}8.@{8IӶ@y=x=\=w={u87@ ~˷=/r==e?@4@ ?5@'={1=}/?-?<砶?5?%@'? ? 5@,=?==?;?<? 5?3@5?%"=@5=@5????K ?I@T  @= @.?@+?E@]5#`#  @N @ݩ?A@I  @L@;勺?^?\$?R@j?Pm  ?=?T ?e?Y@q57?Qȩ>,?]?*@u??:[Sߩ?nة?l$?b@z?`@`  ?M?d @?@@?h۷@0?ݩ:s?ߩ;v@r@r@9 m@n:'}|C@zCm H AbŐ׶@ey&@@@@m@o@;$Z΀@F=@u?v@>0@ _@]?@$i#@}P@) })@V 8}@@@@@(nat_rectba@ E@@>p@*@ J@@\@@ IԀ@ĩ<@u "@ Z@ɰ}*Р@@&option >v@AA@A@@@@@D!o@@߰@'max_elt$_=@ߩ>J=@\U@©@ #A@>hਗ਼@=5mm?@@@^=ҷA@ᐩd?@ .T@A@ 7@AA @3fБ@@1AA @)max_elt_17-; A'A%6@A+B@@@@@D@r&@A5) |A/@A8,A;I?A?3>N?A<AAF:&7vFA AK? +\?v@שGGHJJAP>ͷ LAR v ARAZN? @>AWA_S>ϩn=XŐs=\Aj^Adːy=sA%c >AiA!A!@ArfqqAthA'AoA.l-A{@A>qAwx@@<,Ai C; 1?@AA< >=AS@L?Az T>A R@= M@=":>AAaIA_ A'A P?A+AbAIA?nAWAMA>A=ArAUA7 @&neq_eq3'Ԁ?6Ac?6A{AAe?~AACA@)max_elt_27.ApAzAAACAAAҰ쩜 BA@)max_elt_37/>N>r֩AAA@AY>Aǩ>^<AQ<A렩@#>AAзA<@ʶ@ɩ:<8$AABߩAũBNA=(w[#BABA@˩:e@IB C@B;..??%AΠ?2BBBm@'zB\@@3BW As @?Bk @uA<B]  z$Bd lj`^@B:a @'min_elt%̀?PB:[AXBBFm Z?UB1BWBAPOG\B8BRC8B:BT 1@)min_elt_1K<@NB[4.BZAnB@ݩ ?ؐB" B ΩABJ @A°B B#Bb>שBBBE@/BH[:婷B3WTMB?BH?BBrB3D@6BB~BuCBc ^@)min_elt_2LC6B^BHBL i@)min_elt_3M>@Bz֠B|C@BVVBOYBBBB {A |B dAj)rB@@LBJ@B sBh lBBBqq>BpBU@(@mOBW=BYBBq8ַAB\B]BBw@3 @'#ʖ@~B~@'Bp`BhNBjBBIABmBnU@BB{B@FBʩ @2fold_right_eqlistA!#,  BzByBBBB! [ q _w l  Bީ @+eqlistA_rev-     @2elements_Add_Above@ʀ@b@h@BB  v / @-rev_app_distr(?BB@nB@+ր@tBBBGBB@|B@~BBB񐑷C= BY CP ӷAٔ*nCN@@CoBnBݩf?hBlBB 5B/Bķ  7BB~AB޷B2BǩBȠC i@B@B@BשBϩB CGCVB>BөBԠ@ IBC@  KBBPBC1BGBܶ  O@ p@qBL@@C:@ WBQ@  YBB  @B |AA `CB͠ b  @~B^A A @ iCB֠ kCP,  ABBCCCA t o s  c@2elements_Add_BelowC@@@CeCdA xCAB z/C |A"C"CA$ ~C A&C&CCCA* CiCA, Ck$CCC\@E S@3߼@CKCbusBH*C@@sqom'@ h^ PCs ICC/CFC kB lCfCj,ALAN C@C|  @BARASC97AW%AY CKC   CBA]A^-A CHCa(  C, p iAeCMCLCWCCe   k   @ C%B xBCɠ Bɩ!  xC B$BCB!  |C  B BC C!  C BBBBҩCݠ !  C7 BC8 B BC Cˠ@ CC  @5ACCCCACC}|Ba̷ȷ[ZCD ÷D( C CB @7р$ACCCCC֩ @C# ^AC @ ^ C~7)! bC:bDG! dy=A%x|z@D j@DXl oDCn P#@@D_>@D w@DeDNy ["ö@@DjDS@D C @Dq B.<@DvD?@ A<98D'>  <B9DxCDx DE.DC'D D @0!A@+A߶D C @@D D4ZDD7DADLDN DGBC ZAC@H@A@@@DeD @Dͩ D}Di@D|D3D ö@DWB@DVB D ̶C Ͷ@,@D@ =B<<DyDGY<6:DBCC@,     C     Ck BDC8  =԰   BHB+=(!  1 =+B.DϠBFDyBDiDC@9@3@0@,@)DS   @E' @6@@4@E, @@@@E1 D/ @6@}5&DD젷"` DDD~BbBPE> D< @C@qB=#=$?M;;=&s DDDɩC},  R  B =BĩCs  ;B=aBdEB|DȠDzDC@,@*@@@DDضEY +@hDض@fD7B5BrE` 2D^ 3@e@f=E"=G^DDdr<`D%&DDC@@@G@E@;AЩ @(choose_13O ƀBC @(choose_23O ǀBI DD @(choose_33O ȀEF1^[/{hia%