"`!!q(/FSetToFiniteSet%FSets#Coq@()Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/rk0JqTttֱ)Ensembles$Sets#Coq@00qGL;rߌߠ1Constructive_sets$Sets#Coq@05<s+ħU栠+Finite_sets$Sets#Coq@0d]h :$m}$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+-FSetInterface%FSets#Coq@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(]R1.FSetProperties%FSets#Coq@0k?^+*-J օ{>F1W^chg^Р/FSetToFiniteSet%FSets#Coq@A0WS_to_Finite_setA@!U@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @%Logic$Init@ @@8IHG@@!t!L@@!xA@=!L@〶@F@B!L@〔A867 k[!T*Equalities*Structures#Coq@@X<D%Logic$Init@"eq @L@/DecidableTypeEx*Structures#Coq@2UsualDecidableTypew@@@A@@*Equalities*Structures#Coq@6UsualDecidableTypeOrig/DecidableTypeExxw@@@@A@@;:9@'UsualEq@@@A@@@[G  @@/@@/J@@A@A@A@*HasUsualEq @A@@@@A1DH@A@@'eq_refl @A:M@&j怠X@@!L@〩@!L@【A<+kG'k^@@]!EKG@@)=@K@)=?@A@A@A@U-UsualIsEqOrigQP@A@@@>@@Ϡ&eq_sym @@  X;@@!L@〶!y@!L@〶@߰ @!L@【B<氚@ !L@Cɐ]B@6A5D@7 XLNE@@@A1FdJ@A@@(eq_trans @@ !y@?@;!L@〶DD@@!L@〶!zK@G!L@〶@(R@N!L@BI@/Y@U!L@IP5_@[!L@【EPOD @>!yL@@K@@Z&eq_dec @@@@{!L@〶@!L@〩&Specif`@'sumbool7̂K@k@!L@ǩp@#notШx@!L@Ԑ@@@@@@;@@@@!L@@@!L@ @A@A@A!M@#elt @@!t!L@@ %'A*Equalities*Structures#Coq@@@@!E-FSetInterface%FSets#Coq@@:UH@-FSetInterface%FSets#Coq@%WSfun6p@A@@@@@1@@!L@F@!LH_@6@"eq!LH_^@A@AB@A@@@@@AA@@A@? @@.%wA3@@@@.%w@@A@A@@@"In @@@f@bj̀@k@]\A@@@@@(%Equal @!s~@p\"s'@w\!a@j̀%Logic$Inito@#iffС)@@AC@HB@0@\/@\H +k() +7T' 7! 7!7%'@d-TcdP5p @-ot@@@@@&Subset @^@\\@\Z@j̀@@M@JQ@y@\x@\I +k() +7T' +  7!T'7%'HdAt@@@@@Š%Empty @@ \@j̀@#notШ*@@0@"\} `+k+7T' 7!7$'|@udL @@@@@'For_all @!P@S@Oj̀ܚX@J\!x_@[j̀@e@D@@o@kj̀v@h\Ð +k() +7T'+  7!T'$'dtZN@@@@@?&Exists @C@@j̀)@\@"ex @@j̀M@j̀@#andЖw@@ZC@o@@j̀RJ@\A +k() + 77%'  7!7%'h)t>|t@@@A1@D%Logic$Init#Coq@@A@@%empty @@@\@@@@@(is_empty @@@@\)Datatypesx@$boolZ'@@@@@@Ƞ#mem @@@@j̀@ @\@@@@@۠#add @@@.@*j̀@3@%\7@)\@@@@@)singleton @@@E@Aj̀I@;\@@@@@&remove @@@W@Sj̀@\@N\`@R\@@@@@%union @@@n@`\@s@e\w@i\@@@@@2%inter @@@@w\@@|\@\@@@@@I$diff @@@@\@@\@\@@@@@`"eq @@Ao@@@\@@\N@P.V@@@@@~&eq_dec @@U@\S@\&SpecifK@'sumbool7̂K@@<؀AIɐ@D؀@@@@@%equal @@@@\@@\@@@@@&subset @@@@\@@\@@@@@Ϡ$fold @@!A.(,L@@@@,@(j̀@Bv@3@%\@|ΐ@@.(,@@A@A@@@'for_all @@@@E@Aj̀A@J@<\F@@@@@'exists_ @@@@Y@Uj̀U@^@P\Z@@@@@&filter @@@@m@ij̀i@r@d\v@h\@@@@@1)partition @@@@@j̀@@|\@$prodt@@\@\@@@KA ϲ6W)Datatypes$Init#Coq@@UA вuX @AB@@c(cardinal @@@@\@#nat@@@@@@w(elements @@@@\@$list]@@j̀@@@A al<@A@@&choose @@@@\@&option >v@@j̀@@@A ůMZ@A@@$In_1 @@@\ @j̀!y@j̀@@!L@A@ @D'@E@@@@@䠠'eq_refl @@7@)\<@؀@@@@@&eq_sym @@ϚK@=\͚P@B\@V@؀p[@؀l@@@@@(eq_trans @@횠i@[\뚠n@`\#s''u@g\@{@؀ֶ@@؀@؀`@@@@@C%mem_1 @@@\>@j̀@@D@ @@uA@@@@@k%mem_2 @@B@\f@j̀@#©@u&@s@@@@@'equal_1 @@b@\`@\@@woH穚@+ԀuC@@@@@'equal_2 @@@\@\@c @+Ԁ%^@o@@@@@ˠ(subset_1 @@@\#@\@)@Y+ V:C'0@*/^@@@@@렠(subset_2 @@š>@0\C@5\@BK@E/^eP@+ V:Ր@@@@@ 'empty_1 @@^@Oo񀐚c@u@@@@@*is_empty_1 @@q@c\@w@hoְu~@ wX<ѐ@@@@@9*is_empty_2 @@@~\@@ wX<穚@o2@@@@@T%add_1 @@+@\O@j̀@j̀@?@\@d@@@@@z%add_2 @@Q@\u@j̀ǚ@j̀@@@@@dȐ@@@@@%add_3 @@z@\@j̀𚠐@j̀@㐩@ @ߩ@d񩚠@@@@@@Ѡ(remove_1 @@$@\̚)@%j̀.@*j̀@8@ >@/琀@@@@@(remove_2 @@КL@>\Q@Mj̀FV@Rj̀@9F.B@a@Ag@ m@/琀MF@@@@@)(remove_3 @@|@n\$@}j̀v@j̀@@/t@D/琀@:6@@@@@R+singleton_1 @@H@j̀@j̀@@S@z;OC@@@@@s+singleton_2 @@i@j̀@j̀@Y@v@;;@@@@@'union_1 @@l@\j@\@j̀@@ਗ਼@Μs@"or @ @@!@@@@@ˠ'union_2 @@@\#@\˚(@$j̀@.@3@9@Μ@@@@@'union_3 @@̚H@:\ʚM@?\R@Nj̀@X@]@1c@Μ*@@@@@'inter_1 @@q@c\󚠐v@h\{@wj̀@@$i@ Π @/+@@@@@G'inter_2 @@@\@\G@j̀@@M@4Π5@XƐ@@@@@p'inter_3 @@G@\E@\p@j̀@@v6@@|꩚@'@hΠĐ@@@@@&diff_1 @@w@\u@\@j̀@@멚 @v=@@@@@@ɠ&diff_2 @@@\!@\ɚ&@"j̀@,@2@=9@J@@@@@&diff_3 @@˚G@9\ɚL@>\Q@Mj̀@W@@:_@pd@j@=@@@@@%&fold_1 @@x@j\[.(kM\@@!ii!f@@j̀Wԩ@x%q쩚$List%Listsu@)fold_leftɀր暠@j̀뷐!e@j̀@!tk@@.(k@9@A@A@ %'A*StructuresA&(@ADA%t+@HA@JA1DH7@ABC@@*cardinal_1 @@X@\3 @.L"@&length䷀@j̀@*!tk2@@@7A o@A@@(filter_1 @@@\ @j̀@ @ j̀@*SetoidListw@+compat_bool!!| @ !L@ @ @f #@-c© (@@@@tAm, @A@@砠(filter_2 @@ :@ ,\⚠ ?@ ;j̀@ E@ Aj̀A@= ?@ >!L@ 3@ R@ X@-c)Datatypes$Init @$boolZ'@ǐFA@@B@@ %(filter_3 @@ x@ j\  }@ yj̀@ @ j̀@{ }@ |!L@ q@ @ 3p@9 @ 9E @:-c}F@@w@@ Z)for_all_1 @@ 1 @ \+@ @ j̀@ @ !L@ G@ @z3sI+i @ j̀%n * ,c)ȩ @ .K$@@@@ )for_all_2 @@ c @ \]@ @ j̀@ݰ @ !L@ yӶ@L멚 @ .K G @3sI+ @ j̀^9@@@@ (exists_1 @@  @ \@ @ j̀@ @ !L@ @ #@)l̚ )@ %j̀cq' 0@ c3@@@@ 렠(exists_2 @@ š >@ 0\@ D@ @j̀@@< >@ =!L@ 2@J S@ c3 d X@)l  ^@ Zj̀_@@6@@ +partition_1 @@ 𚠐 l@ ^\@ r@ nj̀n@j l@ k!L@ ` ~@ o{@#fst  @ |\ @ \ @8  @5-c @@@p@ JA ӳ2[@ NA Գq\@ABC@@ \+partition_2 @@ 3 @ \-@ @ j̀@ @ !L@ I @ Oo@#snd @ \ @ \ @[8 穚 @x-c  @ j̀@$negb  0@@P@@ *elements_1 @@ z @ \  @ j̀@ @  \@#InA q9@ @ !L@ ਗ਼ @Q!tk9@@@^Ai0A @A@@ Ѡ*elements_2 @@  $@ \ ̚ )@ %j̀@) #@ "!L@  5@t!tk Ω :@  K@@(@@ +elements_3w @@ ̚ H@ :\@@&NoDupA @ G@ F!L@ ᩚ Y@!tk @@G@@ (choose_1 @@ 뚠 g@ Y\  l@ hj̀@̰ u@ qj̀ z@-QX3 A @ j̀j @ + @@@A ůM @A@@ G(choose_2 @@  @ \@ @ j̀ @-QX3 臭B @ j̀ @ o O@@.@@ q@  @@ @"MP {.FSetProperties%FSets#Coq@/WProperties_fun Ƒ א#Dec*FSetDecide%FSets#Coq@+WDecide_fun !F-)FSetFacts%FSets#Coq@*WFacts_fun ,#eqb @!x !y Р&Specif@'sumbool7̂K@BAAAA@@@@@A!s%Logic@"eq @    @#notШ۩ @&eq_dec1}  @׷@B@; Ķ9 ꐐ +k() 7!= R'>G'>H''+k6'@!E)FSetFacts%FSets#Coq@@5$ӹhР&Specif$Init@P7̂K@BONMAABAAAP)Datatypes@$boolZ'@@@A!M.FSetProperties%FSets#Coq@ @A@@@!E  y@@!L@ @!LH_@ ~@"eq!LH_^@A@AB@A@ @A@@@A!M*FSetDecide%FSets#Coq@*@@@A@@@!E&@@Zή@+@!tZήJ@@A@Z*@@(Z*^@@A@AB@A@ Ѡ*@A@@@A!Mnml@.@@@A@@@y '@@!+@,@!t!+J@@A@(@@"eq(^@@A@AB@A@ߠ(@A@@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@)In_eq_iff @ylgZIC9(@A@嚠A @\@#eltj̀@@#iffС)@"In  z@@@@@B'mem_iff @{ukZ@sA2-,%   ᩚ:@#memu ڐ@@@@@c+not_mem_iff @נ̠{@B8SNMF*#7!@@@@@~)equal_iff @ڠՠȠ@CSn"s'qct@%Equalo@X#|@%equal+ԀH@@@@@*subset_iff @ޠؠΠ@Dz'@&Subset+ V:e}H@&subset/^mA@@@@@ʠ)empty_iff @>3&!@E "@%empty@%Falsee@@@@@@,is_empty_iff @aVID7& @FݩϠ@%Emptyoİ@(is_empty wX<&@@@@@-singleton_iff @zmh[JD:)@BG j@)singleton; i@@@@@1'add_iff @{jdZI@bH! (@#addd   @"or @!  @@@@@\+add_neq_iff @РŠt@I1LGFEG@#A< ,98@@@@@x*remove_iff @ԠϠ @JMhcbac\W ҩo@&remove/琀GS@#andЖw@FP@@@@@.remove_neq_iff @ ٠Ӡɠ@Ku@g )}|@@@@@)union_iff @0%@L>@%unionΜ@@@@@ߠ)inter_iff @SH;6)@M϶aжʩà9@%interΠ#g"@@@@@(diff_iff @ti\WJ93)@1N䠩ߠZ@$diff=D@@@@@"*filter_iff @~yl[UK:@SO  !f@@*SetoidList%Lists@+compat_bool!!|*@&filter-c۩А@@@ %'A*Equalities*StructuresAm,$@A@@c+for_all_iff @נ̠{@P8S@>@=GX@'For_all3sI+YX> ĩ@ d@'for_all .K<@@4@@*exists_iff @נƠ@Qb}jh@gq@&Exists)l*f1@'exists_ c3b*@@Z@@,elements_iff @' ܠ@Rq@#InA q9@1@(elements!tk@@@Ai0A@A@@ܠ%mem_b @PE83&@ S̶ƶǶ@y@@@@@'empty_b @k`SNA0* @(Tư-@@@@@%add_b @wjeXGA7&@?U߰ݩ@#orbU?*@۩ސ@@@@@9)add_neq_b @rlbQ@jV)$#"$@ ֩]@@@@@S(remove_b @Ǡ|k@W(C>=<>$۩@$andb=;@$negbL@@@@@z,remove_neq_b @֠ѠĠ@XOjedce@AL6@@@@@+singleton_b @ޠ͠Ǡ@Y~}|~d/N~@@@@@'union_b @ ߠՠ@Z.}Hgj@@@@@Ǡ'inter_b @;0#@[Ict@@@@@ᠠ&diff_b @UJ=8+ @\ѶcҶ̩}ĩ@@@@@*elements_b @rgZUH71'@/]ΰ$List@'existsb ~5N@@@A=\ @A@@$(filter_b @{n]WM<@U^@ҠK@@@@@)for_all_b @ysiX@q_0@ѩC@'forallb?[/4@@@@A@ AIPAN@F@A1@D"@ABCD@@k(exists_b @ߠԠǠ @`@[HF@E<֩n&@@$@@$E_ST @۠Π@a/RelationClasses'Classes@+Equivalence~@\@@@KA݋X_A @A@@(Equal_ST @۠Ѡ@b$%@@@.%wA-FSetInterfaceA@A@@à$In_m @7, @c)Morphisms>@&ProperL@@@A@*respectful%WO?J  U@@@AviA@4A@AB@@*is_empty_m @g\OJ=,& @$d0@%sƐ@@@@A@@'Empty_m @wjeXGA7&@?eKB8@@@@#%mem_m @zm\VL;@Tf`@1U32ݐ@@N@@;+singleton_m @tndS@lgx@-m/ (@@f@@S%add_m @Ǡ|k@h@ȶ@FF$JJ"@@@@AAۓό^@@@ABC@@u(remove_m @ޠѠ̠@i" @@@@'union_m @Ԡà@jǰ@|7~9 6ː@@@@'inter_m @ ۠ՠˠ@k߰@@@@&diff_m @+ @l-,@@@@̠(Subset_m @@5(#@m @L'@@@@䠠(subset_m @XM@;. @n!@d7@@@HA@@A@CA@E@ABC@@'equal_m @wl_ZM<6,@4o@x@@@'@@]@ABC@@+Subset_refl @wreTND3@Lp sqq@@@@@1,Subset_trans @{jdZI@bq!"#s''%@o@@@@@@N5SubsetSetoid_relation @@/RewriteRelation6C @A=@(GkԠɠx@@@@r6SubsetSetoid_Reflexive @M@` _@@)ReflexiveW&m@mviߠڠ͠@@@@7SubsetSetoid_Transitive @p@m8@ @*Transitive++-I#@x5 ݠנ͠@@@@,SubsetSetoid @*@(PreOrder@A M*@l<67:kLL-DE:-( @@&@@㠠&In_s_m @WL?:- @r Y?&Basics'Program\@$impl7o̐@@@@0Empty_s_m_Proper @zob]P?9/@7sC:7;"@$flip$Bg( @@@3@hA!s̓P+@lA!t Q/@ABC@@-)Empty_s_m @a@*proper_prf4>M]#:@7:9@ @(##eLFG ,67 6  67777777 + 7T7k6'$Aw@6i|)Morphisms'Classes@&4>M@\6WCL@*respectful%WO?|r'Program@T$\%@s*Ug T*@)"tTLlD@7ohܠנʠ@@n@@.add_s_m_Proper @ܠˠŠ@tϰ?@a_@@=@@'add_s_m @~Ok@$#i@@y@x z} 067  677777 +7T77 + 7T7k6'+7T'6' |xpxlP@)T`xH@r@9%Qw@"eq%Q~`c@W lXsLYNA</@@ @@1remove_s_m_Proper @k`SNA0* @(u4ey@@@@ *remove_s_m @q@ <6@|}@ڶ@ffa`_ ڠxp֐@;h5TϠPxH@^\`@K9LwqgV@@c@@P0union_s_m_Proper @Ġyh@vƩC@@Z@@g)union_s_m @:D@"@ NT LU@ QW OX@ࠒ5`xp8@*ҐT6*P@D )L xH@ ݠ̠Ơ@@@@0inter_s_m_Proper @   ޠؠΠ@wU@@@@)inter_s_m @'a̚@ *֞@  @  @ ࠒ`xp@*ϐT}Pa@B'nLq xH@ Z O B = 0   @@@@/diff_s_m_Proper @ l a T O B 1 + ! @ )x5n)R+T@@@@ (diff_s_m @~@$@  @h    @kfe <=67 +6  677777777 +7T77 + 7T7k6'+7T'6' Dpܐ젒Р͐d(0|t\TaL@LL@/)5lT      ~ x n ]@@3@@ W,filter_equal @ ˠ        o@ y3@ @1 / J K@٩٠%&&@@@@ t*filter_ext @  ݠ Р ˠ     @ zP"f' b @QGǶ@ g L  p  U p  q@KGکN Ր@@@E@A@0@@@ABCD@@ -filter_subset @      ۠ ՠ ˠ @ {~K@{ y  & @J@@b@@ @@@@א@0FSetLogicalFacts  A)test_push @ 9 . !   @ @!P!Q!R@)Decidable ?@)decidable r@ @  @$Truey@@  @  a@@ gHh @mI@ uJ @  Ð}K @Ǡ ːL @@ ҐM@ ֐֠@ O@  @ ސ@ 㐶@P J@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@)test_pull @      @ Avw~x@|@}@r@j@h@d@^@Y@R@K@D@Π @ @@  FO@ڠ> $N@ Q@@@@@D@@@@@3FSetDecideAuxiliary  A-FSet_elt_Prop,<@@@$'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@@  j i   ]   v  ~ [ͩŶٶڶ@ @} w *@ @  x@@@@    AA@@;$CBB@@DDDB$CBB@@DDDB@  b@Z*S @$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BG$ACBBCB@@A@DDEDFDGB@@A@@@@@30@r@A@A@tA1DH @A@⠠1FSet_elt_Prop_ind @N   ӷ    wC<]Q[R@ ] G@*S @ @;@@/(  vjtk@@A@@4˩0   vw@%@E @@;שꐶ@ +@0{@Q 8J  A@ d =W F AC@@@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@D@0k f$ oٷ mҩp r pz A u t a | D lo mpdߩfʷ˷ vy wz Ϸз {~ |Է Rp ]@(       w l aQ \+k()        , ' (*()=| &0EZoRy'>  &'>  %'> %'> 3! 3!# '> 3! 3!# '> 3! 3!# '> 3! &''''+k()$'+7Tk+ 7 T'$'   @ U@M5Ir@0@aAJؠ K @ 3 . ! @@@@@)FSet_Prop,<@@a-elt_FSet_Prop/Empty_FSet_Prop0Subset_FSet_Prop/Equal_FSet_Prop%@?  ٩6 "s1 ޶"s2 E K  I tAA3BABBBABB@ 0 @+1~G@@@@@@@@@@@@@DABBACBDB@@A@@@@@@@-FSet_Prop_ind @_ <   x; ; 9 7 ? = 7l` @^1~G@^@?@@@@@@@@@@@@@@Dt@Q (@Ƕ #a $% %# & } ( 1 0+k()= &R,'> % ' >$ '> % ' > % ' '+k()$'Р@+eq_refl_iff @  ޠ Ѡ ̠  @ B \ T C@@@@@S&dec_In @     Ԡ @ C q p ] x@@@@@f&dec_eq @      @ D    Z@@@@@y@@̐@3FSetDecideTestCases  A/test_eq_trans_1 @ . #    @ E * +!z.  @ 2@   9@  @@@@A AۀߠK @@'A@)@ABCD@@/test_eq_trans_2 @ [ P C > 1 @ @]t/$@@@@@ǠI @ @Q $Ӏ@CR@V+FC8+@@@@@۠6 @ @>@0f@C-ĤAWL?@@@@@% @ @-,@z@2 c(k`S@@@@@ @ @$@@#Rtg@@@@@ @ @ܒ@@&ڠ{@@@@@+ @ @.P@@ S@@@@@? @ @1s@ݐ@|@@@@@Sې @ -@*h(O@Ր@ڗϠĠ@@@@@gǐ @ A@Wb@@7yvؠ@@@@@{ @ U@@@0ڠ@@@@@ @ i@. A@@@@@S @-@"_@@'5^ϠĠ@@@@@g @A@5# @6QLKJL2 C:@*Dh@@@@@  @^@ ;@@'@@@@@ @r@  ~*@|{z|b- f'@(3 @@@@@ @@ (N[@ ;@p3,!@@@@@Ġ  @@ٰ@ O@ $ދ@5(@@@@@ؠ  @@ @ 񐑠c@淀@  @ .`@@ @@  @m@ !@ @ ?X<@@ @@  @@ 8L@ ~2@ .$ꔠ# @@ @@  @@  ~*@ zF@ (>7,@@ @@Ϡ | @@ 4@ vZ@ . LK@3@@ u@@㠠 n @@ v5#+@ hn@ {Ds_TG@@ @@ m @@ u(N[@ g@ zp>sh[@@ @@  i @@ qٻ@ c@ v$ތ|o@@@@ h @@ p @ b@ ub@ Gz@ Z,`k`S@@@@@@@@@$&@A@&In_dec @}re@{@נ c e@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@#Add @ # 頩#!@#` +k() +7T' 7! 7!7! 7!7%'Р@@@"eqZ*h%Logic$Init @&С)A@5"x@+"_T@ @t۠Р@@@@@X)Add_Equal @ܠ@AW#C^_Q#$$@] ީ!ϩD@@@@@u*equal_refl @@B_zo@@@@@)equal_sym @@Cn@_@@@@@+equal_trans @$ @"D  @*@,w@@@@@+subset_refl @8- @6E@@@@@,subset_trans @E:-@CF  @@@@@Ơ.subset_antisym @UJ=@SG˶]̶@5@6\ 1@@@@@٠,subset_equal @h]P@fH޶p߶@m@@@@@頠,subset_empty @xm`@vIV2"T@@@@@/subset_remove_3 @}p@J " @۩i"g@@@@@ +subset_diff @@K 6 4=@} ~" z"u@@@@@",subset_add_3 @@L K' I(#"@@n@@A@@7,subset_add_2 @Ơ@M `< ^=87@"@@@@@J)in_subset @٠Π@N sO qPKJ@@>@@@@@\0double_inclusion @@O a bTΩ1@@@@@p0empty_is_empty_1 @@PZu@"@@@@@0empty_is_empty_2 @@Qk@b@@@@@)add_equal @ @R{@c%s"@@@@'add_add @2'@0S"x'9# z@@@@@,remove_equal @J?2@HT@lOV#'@@ s@@͠,Equal_remove @\QD@ZUҶdӶͶ@8bi@@@@@ࠠ*add_remove @odW@mV߶@t #G}#N@@@#@A 1@@n@"@ABCD@@*remove_add @}p@W@#`#g@@ @@ 3singleton_equal_add @@X   X@@@@@6remove_singleton_empty @@Y#@@j$ @@ @@4)union_sym @à@Z9:Ǡ@@@@@G2union_subset_equal @֠ˠ@[1LM@۠#@@@@@Y-union_equal_1 @ݠ@\C^_=`@ĩ @@@@@m-union_equal_2 @@]WrsQt@ #@@@@@+union_assoc @@ ^jdנ#٠#Q@@@@@3add_union_singleton @% @#_)wi 7#@@@@@)union_add @9.!@7`A>$@@@@@2union_remove_add_1 @NC6@LaĶVŶS\-_@@@@@נ2union_remove_add_2 @f[N@dbܶnݶ׶@l/ @@@@젠.union_subset_1 @{pc@ycZ$P@@@@@.union_subset_2 @t@dk$iɐ@@@@@.union_subset_3 @@e@@g a$}@@@@@#.union_subset_4 @@f ()*@ʐ@@@@@5.union_subset_5 @Ġ@g:;<@#@@@@@J-empty_union_1 @٠Π@h4OP@+@@@@@Z-empty_union_2 @ޠ@iD_`@;#$@@@@@l,not_in_union @@jVqrml@H@@KdMNg$e@@@@@)inter_sym @ @kqW[@@@@@2inter_subset_equal @)@'l1@ .%@@@@@-inter_equal_1 @;0#@9mC@A 3@@@@@-inter_equal_2 @OD7@MnŶWƶǶ@UU,@@@@@Ԡ+inter_assoc @cXK@aoٶkڶ۩h %C %DR@@@@@ꠠ-union_inter_1 @yna@wp~jB! qh@@@@@-union_inter_2 @w@qW,5Z ѐ@@@@@+inter_add_1 @@r@K%%[@@<@@.+inter_add_2 @@s34/.@àn@@ K@@A-empty_inter_1 @РŠ@t+FG@"iu@@@@@S-empty_inter_2 @נ@u=XY@{@@@@@c.inter_subset_1 @@vMhiѠ%ǐ@@@@@t.inter_subset_2 @@w^y z%@@@@@.inter_subset_3 @ @xoi@W@% ِ@@@@@,empty_diff_1 @*@(y2@|Ð@@@@@,empty_diff_2 @<1$@:zD@A&@@@@@+diff_subset @OD7@M{ŶWƩ.&%@@@@@Ҡ1diff_subset_equal @aVI@_|׶iض@Af@@@@@䠠5remove_diff_singleton @sh[@q}w 4@@@@@0diff_inter_empty @zm@~)8qB@@@@@ .diff_inter_all @@_&n@@@@@'Add_add @@@ &&@@@@@,*Add_remove @@A1,+@Ұ&&@@J@@>)union_Add @͠ @B(CD"E@?@&#*&&# @@@@@U)inter_Add @٠@C?Z[9\WV@)@&#;#B&Ʃ zӐ@@ @@m+union_Equal @@DWrsQton@A@ a@@ @@+inter_Add_2 @@Emg@6@.,@@ @@.elements_Empty @'@%F~J@$list]@㩜 A@@@@Aq@{A alY@q@ @ABCD@@.elements_empty @NC6@LG$ @@@@A@@Ѡ'of_list @!l4@*fold_right#'@@ <ݐ P+k77777#'Р@"\`@)g"Z7ph%Lists@#x@<#@Xu@@@A+@U@mA*@ABC@@'to_list @e@@t@g&F@@@@@%)of_list_1 @@HW%$'@g '3()''@@@@@AB@@A)of_list_2 @РŠ@Is.@*equivlistA~))@Ck$'@@@@])of_list_3 @@JGb5'ː@@@@p/fold_spec_right @@KZu!A߷Q.FSetProperties)@@!i'p@~@'$ge'멚@$fold%''$p''''@#rev$t5@@߷@"@A@A@&A@A'A4%@+A.(,L @AB.A.(kM @3A@A4A1FdJ@{A>@A@A3@A1GK@ABCDE@@Š(fold_rec @TI<@RLT߸RR@@@Ҷ@(/߹S[@@VZ(>ܶ@o޶@Dö@۶ mu@ @d@P$(O@$S$˩W(Wl$(Y$א@@߸@-@A@߹@&@A@AB@1AX@A@@,fold_rec_bis @|@M^@@_@@(o_@@(~@ @@FA@%i(@#"M+@(@@@9LC%]%%@@@1@A@@*@A@AB@5Au@7A@0Ap@ABC@@M.fold_rec_nodep @ܠѠ@Nܔf@@@(g@@Mݶ(ŶHc@ɶ@`_B@L@^ΩҐ{@@@@A@@@A@AB@"Aj@$A@Ae@ABC@@-fold_rec_weak @@Ok@@ܶ@@(씑&l@@(@,w @@2@%(@.@z#@~;)* )%@@@.@A@&@'@A@AB@2A@4A@-A@ABC@@Ǡ(fold_rel @VK>@TPVtT@@!B]u]@@$@)9@):vf@@Ѷ@߶@%%h%ö!j%ƶ@ S7@!b @@A Cԩ!w)d%۩y  g)f%@@@8@A@]@1@A@@*@A@ABC@A1I!M@ADA@FA @ABGA ߠn @LAu@ADA@FA@ABCGA @KA}@ACA@EA1J`N@ABq@w@A&@x@A@ABCDE@@4-set_induction @à@Q@:U}@@@'B@d@*EF@BA@6)&.@r5P Q@@U@@A@A@A@A@@]1set_induction_bis @@R@cϠC@@@Pkl@@>&I;@)@mlYt@@A^y&T @@@@A@A@Aj@A@@-fold_identity @ @Sqh))@@@@AG@@AB@@A@A@A@ABCD@@&fold_0 @2'@0T3EM1@@/*-@"ex @F@&NoDupA @O*.!.&D&**&*1&*,*3*4@@E@(@A@A@,A]@A-A@/A5@AB0A@'@A@-@A@.@@ABCDE@@頠&fold_1 @xm`@vUyàOw@@#eqA@*]@*V<"stŶ~*b@@&!f@$&ߠ~!l*d*k*k@@@@A@A@A@AAe@!A @AB"An@%A[@A`@@f@ABCD@@ &fold_2 @@V %&! S@@9753*2@@)compat_op$9[,''*@#@)transposeWâ;!'*@0j\@gW_nk'([!')eo',W!@@@+@A@A@/AĠm?@A2Au$ B@6A@AB7A@;A\@AA@AB@2At P@j@@ABCDE@@ v'fold_1b @@W`{=U@@*p@d'h*@@=@ @A@A@A%t@AA@A@ABA@^A&@@@ABCD@@ -fold_commutes @1&@/X1|V/@@˶$Comp-8'++#Ass}''+:"ᠩ7"%+"&"'+(<"*+"+)@@@!AG@A"A@$A@&A*@ABC@@ נ)fold_init @f[N@dYf5Z.-d+D+=+Ea'ö"i''@ra"O+G'̩c"Q+I+P@@@%@$@#@ABC@@ *fold_equal @}p@ZW QOMK"h@% +n'"+i'@@@H@AiA!@kA@ABF@K@A@@AI@W@@ABCDE@@ "*fold_empty @@[@"@+++ +++q++@@@A@e@AA@ABC@@ =(fold_add @̠@\MKIG1`" .I DC@id((0ڠ+H@@@@@@AB@@ \(add_fold @@]ljhfP"˶ Mh cb@5c@@@@A@@ v-remove_fold_1 @ @ ^Զj̶ȶ" g }|@O+(k@@@@z@@ABC@@ -remove_fold_2 @ %  @ #_% #  @N @@:@@ 0fold_union_inter @ > 3 &@ <`> Ҷ9# Mࠩ6#$8#&3,%:#(, <#*,*,)@@@@A@@@ABC@@ Ӡ/fold_diff_inter @ b W J@ `ab1ݶ+)'%]#B ߶qZ#H$ @@@@@@ABC@@ *fold_union @  t g@ }bNHFDBz#_ @  Ӑ&{S(},j@@#@@ )fold_plus @   @ c  !p#@#nat@  @  B,,#Nat#@ `,A,@@@[AC@A@@ ?-cardinal_fold @ Π à @ d!) D!#. G@(cardinalL#6,,@@@A(1^@A o#@@ABC@@ `*cardinal_0 @   @ e!J eƷǩ!g f _9;!NY+f$@&length䷀ r,ݐ@@@@@)@ABC@@ *cardinal_1 @!!  @!f!o @!ju\@@@@@ *cardinal_2 @!%!! @!#g!  - ! @*@ >,)-!]$@`@@@@@ .cardinal_Empty @!?!4!'@!=h!  ة!s@@@@@  .cardinal_inv_1 @!Q!F!9@!Oi! Ƕ@@@@@@ Ѡ.cardinal_inv_2 @!`!U!H@!^j! ֶ!n@!k$!@#sig#* @ ޷! @@@A8A!@A@@ /cardinal_inv_2b @!!w!j@!k! @!͐D ! Ȑ@@@A1>lB!@@AB@@ .Equal_cardinal @!!!@!l!! !@ !@@@1@AJ@X@@ABC@@ #1cardinal_m_Proper @!!!@!mu@!*j!, " @@E@@ 7*cardinal_m @%󚠐 @7B@"9!?"7!@. "67 67 7777 + 7T7k6' 'Classes "@74>M @%WO?TltL 3"@?*L %@(cardinal ^'T +@ #_|)Datatypes <@#nat@Dh G@ M @p" !!@@@A@L@@ABC@@ .empty_cardinal @"""@"n"nyKa@@@@@ 2singleton_cardinal @"*""@"(o"!"\:u@@@@@ 3diff_inter_cardinal @">"3"&@"<p"!!F!"su .L@@@@@ Ơ.union_cardinal @"U"J"=@"Sq"!˶!]!̶@ϩ" b@@@@@ ܠ/subset_cardinal @"k"`"S@"ir"!!s!@!K%Peano%@"le UxT@@@@@@ 2subset_cardinal_lt @""z"m@"s"!!!"!@ض@ @"Ԑ @"lt Uxcd@@@@@ 4union_inter_cardinal @"""@"t""!""א dې@@@@@ *4union_cardinal_inter @"""@"u#"/!"0# @#sub ~@@@@@ B1union_cardinal_le @"Ѡ"Ơ"@"v#,"G!"He-+@@@@@ S.add_cardinal_1 @""נ"@"w#="X#S"R@"%#9D!7I@@@@@ g.add_cardinal_2 @"""@"x#Q"l#g"f@"#MXN]@@@@@ {1remove_cardinal_1 @# ""@#y#e"#{"z@"M#alb@!s@@@@@ 1remove_cardinal_2 @# ##@#z#{"#"@"B#w@@@@@ @@@@@#W###@A@@%mkEns @#"#""x@@#@/\)Ensembles$Sets#Coq@@(Ensemblef#@/j̀ <+k() 7%'"h@@@/A|A)Ensembles$Sets#Coq@@A@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@%In_In @@1@#/#/%Logic$Init#Coq@@#iffС)"Ω)Ensembles$Sets1@"-B#11@o!*" /y@@@0 AH@A@@@/Subset_Included @@1A$/3"//0"&@(Included"=#)""&j@@@0%Ad@A@@\.Equal_Same_set @@2B$#/"/L$y@/o//@(Same_setER2@!*//@@@0RA@A@@/empty_Empty_Set @@20C#g`m@)Empty_setįu@ΐ@@@0jA@0lA1DH@@AB@@/Empty_Empty_set @@2OD$o/a@$@/o/G#'@@@0A@0A @AB@@à3singleton_Singleton @@2jE$.g[#@)Singleton7u@:@@@0A@2_A<@2aA1GK>@ABC@@㠠+union_Union @@2F$.^#X.[}#ũ@%Union.B@@@@0A@0A^@0A"@ABC@@2inter_Intersection @@2G$.g#x.d#1@,Intersectionϟ@Ő@@@0A'@0A~@0AB@ABC@@#'add_Add @@2H$.޶$.۩$ @-‰$ 0p@@@2A'A1Constructive_sets$Sets#Coq@@A1AQ@2A@1Al@ABC@@M'Add_Add @@2I%)2%$2#$4@2%|@/000$922$;4"-$@@@17Av@2A@2A@ABC@@r/remove_Subtract @@3J%N/%;/ $TMZ@(Subtract 3mP@@@1XAO@A1YA@3A@1]A@ABC@@,mkEns_Finite @@3;K%[ɩ+Finite_sets$Sets#Coq@@&Finite@Ʃ20@@@1~A@1A*#A+Finite_sets$Sets#Coq@@AB@@.mkEns_cardinal @@3fL%+@(cardinal6\@꩚V1%@.L1@@@1A@1A*@AB@@ᠠ+Ens_to_FSet @@3M!e$¶@SA@"ex @+%!1K1J@@@1A@1A]@1A1@Ds@ABC@@@@@@g@A@B@ @ACDZ@/S_to_Finite_set3B33@3 @dA-OrderedTypeEx"@@@@@ @A@A@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@& @& B33@3"H_@&1@ z867 k-OrderedTypeEx*Structures#Coq@0UsualOrderedType@!t,a "D%Logic$Init@"eq @L@-OrderedTypeEx*Structures#Coq@d3@A@@@@\Au@A@@Sf @d@B;@@@@@]'eq_refl @&\AQ@&{Q&`S11琐<+kG'.@@#@@t&eq_sym @&q@  Xi@&i&j@&zm12&|o12gfDX@&eq_sym XLS@@@A @A@@(eq_trans @&@ !y@&&@&2(2!@&.2+D@(eq_trans!yL|@@)@@ (lt_trans @@&&:@@"Hg$1@@@@@@֠)lt_not_eq @@&Ŷ&ƶ@&&̐@&"Hga$G@@@@@ꠠ'compare @@'ٶ'ک+OrderedType#@'Compare8Ȃ@02q2y@@@ A?vtA @A@@& @@'''+&&@@@@@@Р@@@@"H_@0@"H_d@@A@"Hg@4@"lt"Hgd@@A@AB@C3?5@&5 @@$@@3/@3$$Sfun4@A@@@A353V@@"H_(@"Hga@@"eq"Hgad4@A@A"Hg.@BC@A@3036@@@A@@@37@@;*d@!@!t;*dɠd@@A@;*lE@@;*lEd@@A@;*l@ @"lt;*l͠d@@A@ABC@A@@@@@3<4 @@!@@37@.%w@!@A@A@@@3I&w @@@C35@&։π@@5^!@@@@@3]&- @'&<&@&À%|&~@'&G!3niXQ@@@@@3y&$ @'*&X+3@%@2Р}le@@@@@3% @'>F'*@'B" 2y@@@@@3$ @<@Z"1'T'\@?W@A2@@@@@3$x @Q'h Sq(r%V*C@2B@@@"@A@@3͠&S @@|@@@@@3ՠ&1 @@@*ɐ@@@@@3ޠ& @@@ @@@@@3砠& @@@@@@@@@3&. @@@@@@@@3%ϐ @@@@@@@4% @@@@@@@@4 %y @@ @@@@@4%` @@@@@@@4(9 @@&k@@ѐ1$@@@@@4/(? @@(`߶' (_@(Yڀ(J(W@@@@@4B'  @@@n@@@@@4K& @@ @@@@@4S  @@ ) @@@@|@  !@@.(,@ @A@A@@@4e%E @@@@+Z@@@@@4o%) @@ @@@@@4w% @@@@@@@@41O @@@@1+v@1Et@88@@@#;A ϲ6W+}@#?A вuX+@AB@@4 @@@I͐@@@@@4%7 @@@R M[@@ )@@41 @@@]+@1 >v@@@@%A ůM+@A@@41  @@(p)x)y@t@b'c@@@@@4Ϡ @@)"@@@@@4٠ @@) '@&@@@@@4堠x @@)'"@&}@"@@@@@40 @@)%);@)!+쩚@( ֔'+@@@@@50 @@)7)M@)3+(!+@@@@@50 @@)EĶ'Ŷ@)*)B, @'Jր&,@@@@@5'0| @@)X׶(ض@)T,)?,&@@@@@560k @@)g(@@', u<)P)h,3@'0}&,+@@@@@5M0b @@)~(+@)z,E)e,9&@@@@@5\0Q @@@'k7󀐚@'@@@@@5n0P @@)@+),f*@' sw>',^@@@@@50G @@)0@),w, ,k)'Ő@@@@@50: @@)>)F)G@B/5;K@'փ(ɐ@@@@@50' @@)Q)Y)Z@B@@@@@50  @@)])e)f@)Аc@"@@@@@5/ @@)l*t*u@p)ߐ_5k{@'0~(@@@@@5Ѡ/ؐ @@***@$@s)t522@@@@@5㠠/ @@****(@5%(@@@@@5/ @@*8*6@5@(<<2(;@@@@@6/ @@*J*H@5'!@@@@@6/} @@*C¶(ö*Z˶@5ǩ@'ʻ'(:I@@@@@6'/\ @@*X׶)ض*o@ȩȠ5ԩڐ@@@@@66/A @@*g)*~@@@@@@6B/$ @@*s) *@5@''w@@@@@6U/ @@*)3*@ې@@@@@6a. @@*)?*@@6 @@@@@6q.ѐ @@*!)O"**@6&.@'?(@@@@@6. @@*4)b5*=@* @@@@@6. @@*B)pC*K@3@46G",@@@@@6  @@*RyI@@s6X'@aq*հ6[d@pDo& @.hɀր6fn6gBq6j)ѩs@'Y"m-6h@@.(k@g@A@A@ |@AjA @lAo@nA"@ABC@@6Ҡ  @@+* @ N-^  -a@@@ @A@@6栠.< @@++-( @( 6@6@(.*"@@( @@6. @@+.+D(7@@+,-@@(@@7 - @@+<+Rö(E@%@K@38$z@@(*@@7- @@+M̶(U@5@@(4oh-+l(6թ+Q.@(+M*^.@@(D@@76- @@+g(oҶ@O@+d./)[.#++j-3m@@(W@@7I- @@+z(@b@@()5n-+|.G @( 5*.?@@(o@@7a-v @@+(@z@+.Z).N+@@(@@7q-X @@+!( @Y.i@-D ++3@4SW))@@@(@&5A ӳ2[.w@&9A Գq\.{@ABC@@7-7 @@+C(/@{.@-#"+V'-7O@@@@7- @@+Y+a@D(Q7U(Ɛ@@(F@@7, @@+g+o@(_7k)?@@(T@@7Š,А @@+u U@@(_@@7Р, @@,,@+'@4H.Mw5*-A7a@@+@@7砠, @@,@,=.p?BLk@@<@@7 9 @@ؐ@@@@@8D @@,1*C@ Lb77@@@&A>@A@@8'min_elt @@f@@_@@8'max_elt @@o@@h@@8$ @@,UԶ+ն%Oֶ@%)@'%M@@@@@83 @@,d+@3,I,VP@@@@@8A*elements_3 @@,s򩛠&Sorted'Sorting:@1ĭ@js@@@?w1DABA@A@@8])min_elt_1 @@,,@,@Y q*@@@@8p)min_elt_2 @@,!,),*@,ɩ)08!@,+@@@@8)min_elt_3 @@,7@,ݩ(/@@@@8)max_elt_1 @@,E,M@,°쩚Q@*!@@@@8)max_elt_2 @@,X,`,a@,ְ)7@ک,ϐ!_@@@@8)max_elt_3 @@,l@,&/E<@@ @@8ɠ(choose_3 @@,z+{--@,#/Z@@ ,45@@#@@8@Ӡ@@A@A:h@::ۑ21@: @0/'&@@@$- @@  @@@, ? @א@@@@3֐ @@ΐ@@@;ǐ @@@@@C @@@@@K @@}@@@@R| @@{p@@@@Yo @@na@`@@`-B @@\U@@@@g@T@@Q@GF@,z @Y@EA@@@@9E; @@ 9<@@@9L,z @@@@@@9S,# @@鐠@@@@9[, @@ݐ@@@@9c+ǐ @@ѐ@@@@9k*W @@Đ@@@@9s*5 @@@@@9{, @@*@@@@9+ސ @@@@@@9, @@@@@@9+ @@@@@@9+Ԑ @@@@@@9+s @@@@@@9+6 @@@@@@9+ @@@@@@9+ @@@@@@9-ؐ @@@@@@9 -Ґ @@@@@@9ɠ, @@@@@@9Р,s @@@@@@9נ @@|{@@@9ޠ* @@yw@@@@9堠* @@v@@@@9젠+ @@ut@@@@96 @@sj@i@@9  @@a`@@@@:* @@_\@@@:6s @@[T@S@@:6\ @@OH@@@@: @@GE@@@@:א @@D@@@@@:$ @@?8@@@@:+5 @@7-@@@@:25ǐ @@,&@@@@:95 @@%@@@@:@5 @@@@@@:G5| @@@@@@:N5c @@@@@@:U5J @@@@@@:\5> @@䐠@@@@:c5* @@ݐ@@@@:j5 @@ѐ@@@@:q4 @@̐@@@@:x4Ր @@Đ@@@@:4 @@@@@@:4 @@@@@@:4d @@@@@@:4B @@@@@@:4( @@@@@@:4  @@@@@@:3ސ @@{@@@@:3 @@zv@@@@:3 @@uj@@@@:3w @@ie@@@@:Š3U @@d\@@@@:̠3, @@[P@@@@:Ӡ3  @@OI@@@@:ڠ2 @@H@@@@@:ᠠD @@? @@:蠠  @@ @ @@:2E @@ @,@@:2 @@@, @@:1ؐ @@鐠@,@@;1 @@֐@,@@; 1 @@ʐ@, @@;1U @@@,'@@;1. @@@,.@@; 1 @@@@@;'0ː @@@@@;.0 @@@+@@;50d @@~x@+@@;<0G @@wt@+@@;C0/ @@sd@@@;J0 @@cZ@@@;Q  @@1Y@@@@;X @@XP@O@@;_M @@L@@@;fK @@J@@@;mِ @@IB@@@@;t̐ @@A;@@@@;{: @@9,@+@@;% @@$@@@; @@ @@@;  @@ @@@; @@@@@; @@될@@@; @@䐠@@@; @@Ր@@@;@Ԡ@=6@0> 0A0=Ӑ02 0L0602ސ0(𢢢 0X0B0-0(ꐠ0 @0 0 00 0  ,2Щ @/2/@ 2ʷ@4/@0+ 0) 2ڐ/@@<==u@A@@= @A@= C=}@A@/ϐ@@@@/d/T @/V/@020H0F@ /BB1@@@@@/v/4 @&# /6/A0Dö0Z˩/R@@@@@//# @630/%/B0TӶ0j۩/b0Q307@@@@@// @HEB//C0f//t"@@@@@// @XUR//D0v/#/@@@@@/. @heb./E0 /< .@@@@@/ɠ.ܐ @yvs./F0 /@@@@@/ؠ.ǐ @.0G0 ,0 -/ )@@@@@/蠠. @.0H0 50 =0 >/Š '<;.. ? ,@@@@@/. @.0(I0 K0 S0 T@/ܠː@@@@@0. @.0:J0 ]0 e0 f/˩. Q@@@@@0#. @ӠР.0MK0 p1 x1 y@0@@@@@05.y @.{0_L1 / 1 0. v@@@@@0G.h @.j0qM1 / 1, 0$. @@@@@0Y.Y @ .[0N1' / 1> 06.Ҡ  m@@@@@0l.J @.L0O1: 1P .C@#0J".L.+@@.'@@0. @0-*.0P1N Ͷ.V@60]@@.8@@0. @A>;.0Q1_ ޶.gʶ@G0nΐ@@.I@@0- @ROL-0R1p 1 0~ @@-@@0-֐ @b_\-0S1 1 1 @ 1}4H\0]0@@@@@0Ơ-ϐ @vsp-0T1 14Ym1u@@@@@0֠-Ȑ @-1U1 #1 +1 ,14k-?M 211@11/@@@@@0- @-1V1 B1 J1 K@14C@@@@@1- @-12W1 U1 ]1 ^1Ұ4é-(-4@@@@@1- @Πˠ-1HX1 k2 s2 t@14l@@@@@11- @ޠ-1[Y2 2 14ũX@@@@@1B- @-1lZ2 0 2' 2 4שΩ.-bܐ@@@@@1V- @-1[2$ 0 2; 2 4-@@@@@1i- @-1\27 0 2N 234 ..  @@@@@1- @/,)-1]2M ̶2c ԩ2H5 -z =4g@@-r@@1-n @B?<-p1^2` ߶2v /i ̶@I2]5( <H.9/P@@/N@@1-g @WTQ-i1_2u /} @]2q5< -` =@@-Z@@1-O @jgd-Q1`2 / @p25O-@@-l@@1̠-H @|yv-J1a-A  @@-6@@1ڠ-2 @-42b-O ( ]@@-+@@1蠠-% @-'2c-@  8-  : - ;- p1 (@@-@@1- @- 2%d-1 ũ-% K5 - (@@,@@2 , @,25e-A Z  M@@- @@2, @ɠƠ,2Cf-O@  -D   ! @@-=@@2*, @ڠנ,2Tg-`@  y-U  {  Ԑ@@-N@@2;, @,2eh-q@  -f   -h     J@@,@@2N,ِ @,2xi- (@@,@@2\,Ґ @  ,2j- -    @@-_@@2l,ʐ @,2k- @@-m@@2z,Ð @*'$,2l- @@-{@@2, @852,2m- -    @@-@@2, @HEB,2n-ΰ -  d  @@,@@2, @XUR,2o-ް  ,@@,@@2, @fc`,2p3  ,@@@@@2Ġ, @tqn,2q3 2? , @ @  -,@@@@@2֠, @, ! 8@,,~,~@.*@@2砠,u @@,}@,t,o,n@.=@@2,e @@,2J{@,d(,_,`@.P@@3 ,W @,V X o(@,O9,Mà,D@.a@@3,; @Πˠ,=3Hr.T6.H  o ܩ.J p.N ,4 ]@@.C@@30,* @ݠ,,3Zs.f .Z .^,#  .` ,F v@@,@@3B, @,  b@,F3̀@4( 4& @,7  .t ??,[ 1 e,+Ր@,:@@3^+̐ @ +3t.#. .     l@@.@@3p+Ő @,B2 w@+@4V,4T-@ ö4Y ö4W Ķ@ ݩ ݠ +ĩ +Ð+ 30-+@.@@3+ @>;8+3u.İS0 h@@..@@3+ @,n^; s@+6?W@4X4Y@ 4 4 @   + ++_\Y+s@.@@3+j @jgd+l3v. W.  s !\ B@@.@@3ʠ+c @, d  M@+i@4 4 @ 44 4 @ 7 7 Z, [,+b+L@.@@3蠠+C @+E4w/ . >@@.@@3+< @, 9 I@+[$1@4 F4 G@ `4 I4 J@ c c V,J W,I+;+%@/@@4+ @Ġ+4>x/J /> d  {/@ f f } ?@@-@@4&+ @,  JF@+8B"@5  v5  w@ 5 y5  z@  W,z X,y+*@- @@4D* @*4ny2@7ֶ@ 5 3 @ Щ ̠ .  ,@@2@@4Z* @ *4z2/*߶5?7@2.@@5D*ݶ50 3 @  砩 *۩ *ِ@@*@@4u*Ӑ @%"*4{2J1@ *5E Ķ3 Ŷ@ ީ 0@@2.@@4@@@@B*̠*˒𢢢p55*A*ː @@=:*4@*ǐ@@@@@*e*U @LIF*W4A*Q@@@@@*q@@@@B*-*,𢢢55*1A*,,<*0*+*)/*($*5j5k@ 55A 5h* * * *))AA) ))@55*M@*E#@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BG)@@A@@@@))@*)ې @+(*k2*`2ȶ55= 2̶5L5F=D2)ڷ2)ٷ2Ҷ+50)+30*@Cq656*@*#@3@)ض@ 2)׷2+G0;+E0<@@)Ѷ@)з2+M0A+K0B@@)˶@ )ʷ2+S0G@8@)Ş))+Z0N2)+]0Q2 &@*\*])+a0U@)Ax$)66)65})+6+<+h0\+f0]333 4)+l0`+j0a3 73 8)+p0d+n0e3;3<)+t0h3!)@+v*3*3N3K3*"3*!3H37323-&))z@@@@+#)t,<)x)s*0)q+0@>*6*A )l)jA Ƕ)p)nA AA*)h)g@[66*@)*hr@@@@@@@@@@@@@D)g@@A@@@@@@@+U)b @++3_13`6Z٩A03c)ܶ)ݩ>T03g))80+03l@)*hr@8@)))a+0˷@ )WA)V@++3xJ3y3z3{+0Ҷ3})U)T_\Y)K@@@@+)E @jgd)G6 B6s5$+ܐ@@@@@+)? @yvs)A6C66+@@@@@+); @)=6)D66, Ɛ@@@@@+@@**D)7)6𢢢76);A)6 @)86AE66)26@@6>BB@666ðBI>Ƕ@9.H:)0@@)/@@+֠)& @)(6^F6a6b)Oc)"]6^@M>ש 9@6ӐS+c@6א6ِY> *) @])^)@@0@@+) @ޠ)6G)77)t7@6?>@66 @@z,G +@@)@@,) @)6H)77371)) ) 7#@9 ,l@7) @,l j)[@)@,l @)@),T E)@@)@@,B( @)&#)6I7\ͩBȩ "9@@@@@,R( @963(6J7lݶ7j޶7Yض@ǠBک 7?@7M0S@@(@@,i( @PMJ(6K77oB B 7V@@@@@,|( @c`](7L)77 ) @? àC ŠCB5x 5z7|?C@@)&@@,( @}z(7!M7$7%** (!("@7:' `? bC* dC% (75©5"(7:7-]@@@@@,( @(7HN7K7L+F+G) H) I@'5r7ީ5v77@@@@@,ݠ(ܐ @Ġ(7eO(h7ζ7c6d@6U(֩5֠"X+6[/h\?-,n@@@@@,(Ր @ޠ(7P8(*E8@#C@z @}  f(Ω g7@@@@@-(͐ @(7Q((((+_+])f)d@:ܶ@-fd(@@8-g;(@8 (@-gs(@(Ѡx(-{@@(@@-E( @,)&(7R8_58]6*Ҷ*̶8NͶ@ J@@:ҩ,(,Ѷ@*@@(@@-_( @FC@(7S5kL(@++))@ (@8gZC(@((@@(@@-z( @a^[(8T5g(++)0 ). @@8sD(@@8(((@@(@@-( @|yv(8U588"8#@ D(@8(@@*:@@-@@@(F(@@@@F(~(}9 (988琠8Ԑ @@8(@@@@87 @@71MT@(v(w@@@@87ѐ @1@7 k@(tʠǠ(u@@@@8%7 @C@7 8E@(rܠ٠(s@@@@877 @U@7f@(p(q@@@@8I7 @g@7 @(n (o@@@@8[7 @y@7&Ys@(l   (m@@@@8m7 @@7*N@(j $ ! (k@@@@87n @@7va%@(h 6 3 0(i@@@@87` @@7h(#@(f H E B(g@@@@87G @@7O+a@(d Z W T(e@@@@87= @@7E#H@(b l i f(c@@@@8Ǡ7' @@7/@(` ~ { x(a@@@@8٠7 @@7% %@(^   (_@@@@8렠7  @ @75p@(\   (]@@@@86 @@7<_@(Z   ([@@@@96 @-@67&΀@(X Ơ à (Y@6@@9!6 @?@6$M@(V ؠ ՠ (W@6@@936 @Q@6?ހ@(T   (U@6@@9E6 @c@6m@(R   (S@6@@9W6{ @u@6 sXԀ@(P   (Q@@@@9i6r @@6z4e@(N   (O@@@@9{6m @@6u [T@:Jɶ:`Ѷ:^ҩ:F=6fGy:**@:t6:;(L B ? <(M@@@@96d @@6l7@(J T Q N(K@@@@96\ @@6d.$@:~:::z=E6Uϩ6P6(H o l i(I@@@@9ʠ6P @@6Xb*΀@(F  ~ {(G@@@@9ܠ6H @@6PK~@:1:2:=q^(D   (E@@@@96F @ @6N!|~@(B   (C@@@@:6= @ "@6E,C@(@   (A@@@@:65 @ 4@6=-@(> ͠ ʠ (?@@@@:(6* @ F@62)ņ@:v; ~:=6$=Q(<   (=@6!@@:A6 @ _@6%:T>@(:   (;@7@@:S6 @ q@6,f@(8   (9@6@@:e5 @ @6.O@(6   (7@6@@:w5 @ @5*@(4 . + ((5@5@@:5 @ @53Ҕ@(2 @ = :(3@5@@:5ؐ @ @5׀@(0 R O L(1@5@@:5 @ @5 J@(. d a ^(/@5@@:5 @ @5 Ƈ@(, v s p(-@5@@:Ѡ5 @ @5 sX߀@(*   (+@5@@:㠠5 @ @5K@((   ()@6@@:5 @ @5 [T@(&   ('@5@@;5 @ %@5.$@($   (%@5@@;5 @ 7@5!|@(" Р ͠ (#@6@@;+5 @ I@5,N@(   ߠ (!@60@@;=5 @ [@5-@Đ(   (@6B@@;O5 @ m@5&22x@Ȑ(   (@6T@@;a5} @ @5؀@ʐ(   (@5w@@;s5p @ @5x5hh@̐( * ' $(@5m@@;5j @@̐( 8 5 2(@@@@;5b @@̐( F C @(@@@@;5S @@ɐ5F T Q N(@6@@;5= @(@5?fɀ@Ȑ56 f c `(@7@@;5, @:@5 Ȁ@ǐ5% x u r(@7@@;Ӡ5 @55&@Ɛ5   (@7&@@;㠠5 @ @5:ؿ@Ɛ(   (@7@@;4 @@(    ( @4@@<4֐ @4OB~@5! @€@4Ǡ   ( @4@@<4 @@(  ʠ Ǡ ( @6@@<%4z @4 ,@4 p@4m ޠ ۠ ( @7L@@<94B @@(   (@6@@(@7@@<3 @w@' R O L'@5@@<3 @5Gњ(@3;@3 f c `'@5@@<3j @ @3r:#Y@~' x u r'@:z@@<Ӡ3_ @ @3g7%@z'   '@3H@@<堠3C @ @3KQ@q'   '@:@@<@@@@@>->> =@A@-' @   '=p@=S=M=̠K=M@@@@@'' @=Ʒ=[<\=d<H;͠=ܰEIcQ@=L' Π ˠ '@@@@(' @ ٠ ֠ '=A> =w<x=K#>_@(2IA;i@@@@@(*' @   '=B>7#@@@@@(8' @ '=C>!<@ܩ<@@@@@(H' @ '=D1p1n/w@׶@ة7(@@@@@(Z' @%"'=E @@@@@(f' @1.+'=F1ζ1϶/ @@@@@(u' @@=:'>G>^ݶ= ޶@@H>p=@+@@@@@(' @a^['>"I>J@@@@@(' @pmj'>1J1 1>@(=J@@@@@(' @}'>DK1 1!/"@;2:<3$J@@@@@(̠' @'>XL1415>=@ @eP/|F@@.@@(ࠠ' @'>lM2H2I>Q@IcF@@@@@(' @'>~N2Z2[>c@K@@@@@@)' @Πˠ'>O2+k2)l=<=א@@@@@)' @ޠ'>P>~@`Jyp@@@@@)&' @'>Q?@\@@@@@)5' @'>R??4@ՠfJ@@9T@@)F' @ '>S?/?E'栩oJq=r|@@@@@)[' @&# '>T?Dö?Z˶@/JƐ@@1@@)l' @741'>U?UԶ>ն?lݶ@ A@@@@@)~' @IFC'? V?g?}@ѩJTJ@@'@@)' @\YV'?W?z?@1JJ@@1J@@)' @oli'?0X?BF@@@@@)' @|y'?@Y??$@@UWkG@@1n@@)Ƞ' @'?TZ?0>^1gl?m>@@@@@)ڠ' @'?f[?B>pC@\zK>@@@@@)렠' @'?w\?S>T8U@z3q@@@@@)' @ɠƠ'?]?f>g8h@@@@@@*' @۠ؠ'?^?x>y8zK~KM@@@@@*%' @'?_@@$ĠM>ʠK@@@@@*8' @'?`@!>@8ؠݠKc@@@@@*L' @'?a@5>@L젩G> + J?$@@@@@*c' @.+('?b@L˶>̶@cԶ@ @@(@@*w' @B?<'@c@`߶? K@@@@@*' @ROL'@d@p?K@@@@@*' @b_\'@#e@?-9z@߶@>2L@@@@@*' @vsp'@7f@?A9@.@@@@@*' @'@Hg@$?R%9&@%?b?c>@@@@@*Р' @'@\h@8?f9@@@@@@*ߠ' @'@ki@G?uH@!LC@@@@@*' @'@|j@X?Y@a@@ːK@'@ΐNLa]@@@@@+' @ҠϠ'@k@o?p{@֩|?ڐ@@@@@+' @'@lA?@L@@@@@+*'~ @'@mA?: @ˠ4@@@@@+='} @'@nA&?: @ޠ5@@@@@+P'| @'~@oA9?:3ŠLǠLN@@@@@+e'{ @0-*'}@pANͶ?ζ:HϩU 4c@@@@@+z'z @EB?'|AqAc@:]*"5@@@@@+'y @ZWT'{ArAx@%A@0@~LLW@@;@@+'x @qnk'zA2sA@<A@ҩGi@@1@@+'w @}'yADtA @N!@-@@@@@+ɠ'v @'xAUuA1@_2@@@@@@+ؠ'u @'wAdvA@@nAYM;@@@@@+蠠't @'vAtwAP@~QiMS@@@@@+'s @à'uAxA`@a:b@{?ɶ@}P@@@@@, 'p @֠Ӡ'rAyAs@t@AjQ@@@@@,'o @'qAzB@@Rb?M@@@@@,.'n @'pA{B@sAM@@@@@,?'m @ 'oA|B(@@ߠ@@@@@,P'l @'nA}B9BO @@@@@,a'k @,)&'mA~BJɶ@ʩՠ5\@@@@@,s'j @>;8'lAB\۶A ܩMא@@@@@,'i @OLI'kB@BmBsMM_@@@@@,'h @_\Y'jB AB}B@MhM@@*@@,'g @pmj'iB1BB A;;B@'fN M;9@@@@@,'e @'gBFCB"AP#;$B,@@'dN)34@@4v@@,Р'c @'eB\DB8Af9;:BB@%@sx4;@@2@@,堠'b @'dBqEBMA{N;OBW@@+*=@@3@@,'a @Ġ'cBFBaADBްک'W@@'T@@- 'L @֠Ӡ'NBGB" e@@'J@@-'I @'H-'F=pN@'K0'A'%@'"@@-,' @$@?''@@@@-:' @'BH'kPC9B1N-@'{ !!FA<?NN@@'@@-S' @'BI'i')+C@'Oz|~ENĐ@@?@@-i'  @41.'BJCRѩ,EN֐@@?@@-{'  @FC@' CKCd' ''N@nCaN'NNN&@&&@@-&̐ @\YV&CL'&˶8@&Ŷ@'NC@B-@&@C 4{9*B2<@ @Cx +@&&F O &@&&@@-& @|y&C@M'B&9@&@ƶ';OC!@C#BQ$49K@J&@KO(@C248BZ-@&@C ȶ@&8ՠ &9\K&@&&@@-ݠ& @&CiN'k&90&@'cOGCI@8K@CS49s@&FOB@&}&y@@-&s @&uCO'&r9H@_&l@'|O`@CcBd4Fe@&e@KXOa@Dr49Cm@Cސ^7@&d9$1<&cCv9Ox&b@&a&]@@.&W @&YCP'&V&P&N9l&HA@&@4U'L&?LD@&=@D'5 9C&<9D@&99T:&3;&2@&1&+@@.=&  @& CQ9@&@D)@8@D,B@8DD@D&@&D5FQ@&%@@.Y% @$!%CR9@%@DEĶBŶ@%@O@D`ѶDL˶@}@49 _DQ%@%%@@.u% @@=:%DSD^ݩOO@@%@@.% @QNK%DTDo(%( OAy%ܠ(B%]BDC%QDxL|%ϩ(L OPP@%%@@.% @rol%D3UD(6%%%%%(.PA@%@ 4ǩL%P@%%@@.% @%DKVD'CU(D0(P%%%϶%%˶(HP,A@%LLP1@%;G4LP,@D%%@%9%L9%@%%@@.堠%o @%qDqWDM(t%n(jPOA@ D̰LTPR@%h%f@@.%V @à%XDX(%U&&&&Aڶ%O%LPePf%M%pLLPa(GjDkEs:,%KGpPq%I@@%H@@/%@ @ߠ%BDY(%t&&&$B (%m%PP|P(M%?LE@'6:.%=/%<@@%;@@/1%8 @%:DZ(%&@&>&<&:B$%9%7(GE!C@ܩ:\H%7I%6@@%5@@/K%) @%+D[(%B<(PE0P[PPPP@@%&@@/^%! @)&#%#D\(%&m&k&i&gBQ@%f%d(G̶ENͶEdն@:u::MP:P1@@% @@/z% @EB?% E])%׶&&&&Bm\%%)GEjE@ԩ:I@@%@@/% @]ZW%E^) %&&&&Bt%%)HEE @:;,P:;/qMe@@%@@/% @yvs%E:_)<& &&&&B&&)7HEE%@:٠}@@%Q@@/Ơ% @%ER`)T&#&&Ӷ&&϶B&ζ&̶)OH4E5Dc6::H::H<Q;:H>Q6%@@%@@/䠠% @%Epa)r&A&&&&Bƶ&;&7)mHRESDT;;HX@@%@@/%  @ȠŠ%Eb)&Z' ' ''B߶&T&P)HkElDm@FvEߐ٩;+;&;M;(;QvҐ@@%/@@0%  @%EcF% % F% +% @%QQ%0%Q$Q@@$@@03$ @$EdFF%!A%#Q% @@$@@0D$ @  $EeF-'\*x]CנC٠FJEB F1%<4DI$-@@$@@0_$ڐ @*'$$EfFHǶ@FC%N%5@@@@@0o$ِ @:74$EgFX׶EضFo@@a$ةFW%bZI%Y]6@@@@@0$א @ROL$FhFpE}ҩFl%wo%^@@@@@0$֐ @c`]$F$iF@͐@@@@@0$Ր @qnk$F2jF$%@F%Z$ҩ$ѠFd@@$@@0$ǐ @$FFkF"@F4$.F/@@$@@0͠$ @$FYlF5Ec6@qF%C@@$@@0ߠ$ @$FkmA0A$J%$Ő@@@@@0$ @>  К@$4@FZF[%$Š $@$~@@1$z @Р͠$|FnF%_%ڐ@@@@@1$y @ߠܠ${FoGF&$x@@@@@1%$v @$xFpGEG &&$ސ@@@@@1;$u @$wFqG$E@7G &+#&r@@@@@1P$t @$vFrG9E@ҩ$s@@@@@1`$j @+(%$lFsGIȶEɶG`Ѷ@ɶ@@G=Z$iM7@@@@@1w$d @B?<$fGtG`߶F G[&f&X`R&\0d@@@@@1$c @XUR$eGuGvF#Gq&|$bf@@@@@1$] @jgd$_G+vG F5 $&$@@@@@1$\ @zwt$^G;wG G @ G&@@@@@1 $[ @$]GNxG *G 2@G&&@@@@@1ՠ$Z @$\GayG =G E@ (G&ũ& @@@@@1ꠠ$Y @$[GvzG RG Z@ Gϰ&@@@@@1@@@@@!H;7!H>H(H@A@$Z$Y @G hG p R@@ j$@(Ensemblef$Hڠנ@@@DA|A$@A@@$>$. @@U@H H G r$" U"3@$=HF"S@@@@$W$ @@VAH  F G.$ Jz@@0@@$j$ @@VBH3 F GA署$N@(Same_setER@@F@@$# @+(%@V)C Щ>#x@@@V@8U@AB@@$# @=:7@V;DH[ ڶ@& R@@@@$#ߐ @MJG@VKEH 5 an#a@@@y@8x@EWA+@ABC@@$#Ԑ @b_\@V`FH G-!K! w#a@@@@$ɠ#Ɛ @tqn@VrGH!G?!]!#s@@(@@$۠# @@VHH!*H!$o!-M#!1T"@@@EA'A#$@A@8@A@ABC@@$# @@VIH"H!@Gn!A@ ȩ!K#Ұ!MEPĐ@@Y@@% # @@VJH![H!U!^̐g#1@@0@@%# @ʠǠ@VKH!g+Finite_sets%@&Finite@!yΐ@@@@EA*#A @AB@@%<#} @@VLI!@'6\@!@@@@%P#o @@VM/.@2 *!I!!T@@@*@-@CAC@ABC@@%h@@@@#6AF @@AB@#LI9#OIIxIc@A@%@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@cA%%%@A.0TQ+Ring_theory+setoid_ring#Coq@@ABA.U>[J @B/@I@$ @ABC$ #D@/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,E,D,C@05<s+ħU栠@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ-DecidableType*Structures#Coq@0kO!Z7+^0' m(k>4'Decimal$Init#Coq@0C涳N*ua---@00qGL;rߌߠ%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;ꮹ*FSetDecide%FSets#Coq@02[dS(]R1)FSetFacts%FSets#Coq@0;yD.5[l]0^s h@ >Eb 驠Q\0k?^+*-J⠠)Factorial%Arith#Coq@0@oehJd#Fin'Vectors#Coq@0r'gް؅/׸,U,T,S@0d]h :$m}-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+$List%Lists#Coq@0>I+ListTactics%Lists#Coq@0,Jcy{.20\͉!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")Morphisms'Classes#Coq@0Imӽ%\$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@0*SetoidList%Lists#Coq@0k窪ܸqS-SetoidTactics'Classes#Coq@0S_`nOU$&Sorted'Sorting#Coq@0bb1z٠&Specif$Init#Coq@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`&ie,rHȠe*cz@WrHȠ@W@We7W3@A@Vcv@@!L@@cd@A@!LH_@c|@V!LH_^e@A@AB@WWd@AB32 Q@@@@#_113?@A@@@@@@@@#_122M접 0Acv@cM-Tc#_13'`o@A@@4@#_14@@@@"!!@@@@@"!!@@@@@@#_15%c?@@@3v@@@ee@$ !! 32 Q@@A@#_16e@3 @A@@@@H@#_172M접 #_18'`o@B@@@cc@3ߠ2 Q@@A@#_19e@3/@A@@@@o@#_202M접 #_21'`o@B@@@c+c(@#_22@FF@F@@F@@FA@'_ === _@F @@I#===:V@@@@@A@@$ ===@A@@B@@@@@#_23%c?@@I=@@@:s@@@@44IK:@@@@>f<f2@) a === b 4B2 Q@@A@#_24f=@4M!@A@@@@@#_252M접 #_26'`o@B@@@c󠐑c@4<2 Q@@A@#_27fd@4Gݥ@A@@@@@#_282M접 #_29'`o@@@@4<2 Q@@A@#_30f@4G+'@A@@@@4@#_312M접 #_32'`o@B@@@c4V@4H2 Q@@A@#_33f@4SGHv@A@@@@[@#_342M접 #_35'`o@A@@b@4K2 Q@@A@#_36f@4V-Wv@A@@@@~@#_372M접 #_38'`o@B@@@b b@4R2 Q@@A@#_39f@4]t@A@@@@@#_402M접 #_41'`o@B@@@bҠb@4Y2 Q@@A@#_42g@4d?ڳ@A@@@@@#_432M접 #_44'`o@B@@@cPcN@4V2 Q@@A@#_45gB@4a&@A@@@@@#_462M접 #_47'`o@D@@@@@g$XX4t@4`2 Q@@A@#_48gq@4k.@A@@@@"@#_492M접 #_50'`o@B@@@c}c{@4e2 Q@@A@#_51g@4p+@A@@@@I@#_522M접 #_53'`o@A@@6F@4]2 Q@@A@#_54g@4h#@A@@@@l@#_552M접 #_56'`o@A@@6i@4^2 Q@@A@#_57g@4i5ڛ@A@@@@@#_582M접 #_59'`o@B@@@64@@4GrHȠ4D3 @-@-h 4P@A@h2@@"H_@4Q@4"H_3@A@"Hg@@3"Hg3@A@AB@f[-&g@AB@@|EJ硆|A@zQ$+g#;j@.黦@$9@@-G,7N'(8!sA!M/FSetToFiniteSet%FSets#Coq@@!t\!x@!U@ !L@〩%Logic$Init@#andЖw@A@(@"InAB C !HC97)8@#eltj̀#@#iffС)D0WS_to_Finite_set@%mkEns!* CQOA+)Ensembles$SetsQ@0-B%01ec"s'fN@!a4@FA=?a8@JEDMG@i@ A FLGMC~|}@@&Subset+ V:83@(Included"=T/H`.%lemmaY@%EqualoQ##v)Morphisms'Classes@=trans_co_eq_inv_impl_morphism&ni$As/RelationClasses @.iff_Transitive*z!>?m@(Same_setERk %@/eq_proper_proxy)f "MP@0double_inclusion @@ww@nD_v{c@Mhɩk T|@ϠɐE@'and_ind14ۀ "H0"H1ж@ܐFط٩ܩ.73)89 @@GCk"@ 4@%empty@)Empty_setįu@ 3 @  9 2@%Falsee@@2subrelation_properJ74!A!B@*respectful%WO?@)++&Basics'Programg@$impl7o.Morphisms_Prop@9iff_iff_iff_impl_morphism8C!?A@$flip$)Datatypesm@$unitUe@A@6subrelation_respectful>6z ;YY@0subrelation_reflv `7! bb b!@9iff_flip_impl_subrelation2VA`Ywll@6reflexive_proper_proxy5n@-iff_Reflexive/hxp"FM@)empty_iff:5:x#Dec!F@ ,8z{@@D@<-@>Reflexive_partial_app_morphism 2R,({Zn@+~{qg_TJ5)A@@D!y@@@"eq @{@ ĐA+C8ǩŐΩ@%Emptyo{Ӷ@Ӷն@׷Ȑ!fM@ʩݠꀷ >;@۶@9)@3,3C'%@$g- @ 3@)singleton;ک@)Singleton7u@2 @  "x0h?!"4lC"%&@-singleton_iff`@ܒ+^yB@@@@@DW@Z=@]?68exBp reDrIh_@(eq_ind_r!2#o!eKKMWzNAR\@|^^UW]baL\J,<Z/`DTFjBfXbB@@@@@Dk@ln3x@{m!ʰz?9|4}ϰĠ,@FCy3}ŷbƩ@@%unionΜ@%Union.B@@ oQ@"or @ȩ4~vka !!NFI#D@)union_iff ^y?@зBAAAA@@@@@D@7ݠ  >Aܷݩ詷KB N驷>S,vNS2G40K&UCBBBB@@@@@@@@DR@c'$ @RQD1= 1=\?^NEa>$KA)$K%l.I1JZ &P'83:{A?HB=s=>$4k7\Akm.qE,=N>u%AK&x(DnEVQ(XBUV@dlC$ɰRF@/{^@pk@%interΠ婛N@,Intersectionϟ@Ͷo@ ̩|˷urĩ`4[UKA9.$ y @)inter_iff -Թ@lb@eOH@hJn=C$TMxnt |r\Vu{ waQMS-]#oUUWhh 9b@  W]nh hddf+pbpWg T,Ge&:gJ\NuHq`~p@ss#~@ǩƠ.u"x1{Gϩsq?:EՠذnihGBݰk]\ũu䩷TOϩ{ԩys1Constructive_sets@-Singleton_inv+~@{C,fÐũ)@ɶ@նͶ@ѷ @%(੷נ s@4iff_impl_subrelation569%#ȷH@E@H8'/1P'@ S*C,22. % 8@_6 q֩X<ڷLX?<" PL@92R/w!@$H.@wv&8i3+_.R8np%e<#4E5ijaaKkp#?(PjrT+OOPFz-IS@W> O`P7SSU_<XXZ@kȐ"H3_@`bl@enCOP{RNwqAŰuVȐ"H4ʰzX9|bwΠѰZװmm̠o 4@ܰ\\V@Cʶg˶@ө q ]թ@@&remove/琀'@(Subtract 3m@à \Tͩ@#notШ4wm_ϩ   \TW"R@*remove_iff8?M@*h(O L@.␷!&̰H,а/a@ީ4M@@MީO&. @SDWZ   _6T8@@d%%[*C/n!b,}sSjW&Q"mU@ %w.i ))K3ĠJQ6d bs39k7_k| <|\OmQKN@/Singleton_introKM.^WC 8WCwNȰQE?@-set_inductionGՀ[+Finite_setsH@&Finite@lr@&eq_sym X\@(EnsemblefWb@8Extensionality_Ensembles L^w@/Empty_Empty_set+'t۰f@&eq_ind JϷJ24A ѷnҷ:xթhթi611@'Add_Add&B-D,^BCbni@(cardinal6\@~ @LkQOfg @#nat@A!n %.(A1#g^@*cardinal_1ˀzn7565ܩ/ܷ,:e8cEaP{N? 9O+-B'1J Z$QBc_%Mt@*cardinal_2̀8T-0|11C]/@*Finite_ind͹+2R@"ex @svt Az}{EI8@/empty_Empty_Setݥ)շP(IHFinite˰TZ~U>%BBB@@@@D@/ްg4lhn3t"Hs6x$tzJ|A ZѰ \ bzO?@'add_Add?ڳb (T u?7$