"`!,!ǰ0FSetEqProperties%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ֱ$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⠠%Zerob$Bool#Coq@0f(j-6^BVa3Hd"?-C^ (!Р0FSetEqProperties%FSets#Coq@A1WEqProperties_funA@!E@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%>$@.@*>$A@@@@@'eq_refl @@!x@@<>$E@&>,:A@@@@@0&eq_sym @@U@Q>$!y\@X>$@b@C>,:Bi@J>,:C@@@@@T(eq_trans @@;y@u>$$~@z>$!z@>$@@l>,:")@@s>,:@x>,:E/@@@@@&eq_dec @@i@>$R@>$&Specif$Init@'sumbool7̂K@@>,:\%Logic@#notШ@>,:k@@@@@@-DecidableType*Structures#Coq@-DecidableType@@@@>$@@>$J@@A@>,:@@"eq>,:^@@A@AB@A!M@#elt @@!t>$@ %'A*Equalities*Structures#Coq@@@@!E-FSetInterface%FSets#Coq@@:UH@-FSetInterface%FSets#Coq@%WSfun6@@@A@@@@@2M@A@@@@@AA@@A@8 @@.%wA,@@@@.%w@@A@A@@@"In @@@_@[%F@d@V$GA@@@@@(%Equal @!sw@i$G"s'~@p$G!a@%F%Logic$Inith@#iffС)@@$AC@H$B@0@$G/@$GH +k() +7T' 7! 7!7%'@d-TcdP5p @-ot@@@@@&Subset @^@$G\@$GZ@%F@@$M@$JQ@y@$Gx@$GI +k() +7T' +  7!T'7%'HdAt٠@@@@@Š%Empty @@$G@%F@#notШ#@$@)@$G} `+k+7T' 7!7$'|@udL@@@@@'For_all @!P@L@H%FܚQ@C$G!xX@T%F@^@$D@@h@d%Fo@a$GÐ +k() +7T'+  7!T'$'dtSF@@@@@?&Exists @C@@%F)@$G@"ex @@%FM@%F@#andЖw@@Z$C@o@@%FRJ@$GA +k() + 77%'  7!7%'h)t>|t@@@A1@D%Logic$Init#Coq@@A@@%empty @@@$G@@@@@(is_empty @@@@$G)Datatypesx@$boolZ'@@@@@@Ƞ#mem @@@@%F@@ $G@@@@@۠#add @@@'@#%F@,@$G0@"$G@@@@@)singleton @@@>@:%FB@4$G@@@@@&remove @@@P@L%F@U@G$GY@K$G@@@@@%union @@@g@Y$G@l@^$Gp@b$G@@@@@2%inter @@@~@p$G@@u$G@y$G@@@@@I$diff @@@@$G@@$G@$G@@@@@`"eq @@Ae@@@$G@@$GN@P.V@@@@@~&eq_dec @@U@$GS@$G&SpecifK@'sumbool7̂K@@<$ÀAIɐ@D$À@@@@@%equal @@@@$G@@$G@@@@@&subset @@@@$G@ @$G@@@@@Ϡ$fold @@!A.(,L@@@@%@!%F@Bv@,@$G@|ΐ@@.(,@@A@A@@@'for_all @@@@>@:%FA@C@5$GF@@@@@'exists_ @@@@R@N%FU@W@I$GZ@@@@@&filter @@@@f@b%Fi@k@]$Go@a$G@@@@@1)partition @@@@~@z%F@@u$G@$prodt@@$G@$G@@@KA ϲ6W)Datatypes$Init#Coq@@UA вuX @AB@@c(cardinal @@@@$G@#nat@@@@@@w(elements @@@@$G@$list]@AӠϠΠ@@#elt%F@@@A alB@A@@&choose @@@@$G@&option >v@$@@@A ůM\@A@@$In_1 @@@$G@%F!y @ %F@@p>,:4@@$D @$E@@@@@䠠'eq_refl @@0@"$G5@$À@@@@@&eq_sym @@ϚD@6$G͚I@;$G@O@$ÀpT@$Àl@@@@@(eq_trans @@횠b@T$G뚠g@Y$G#s''n@`$G@t@$Àֶ@{@$À@$À`@@@@@C%mem_1 @@@$G>@%F@@D$@ @@%QtA@@@@@k%mem_2 @@B@$Gf@%F@#©@%Qt&@s$@@@@@'equal_1 @@b@$G`@$G@@weH穚@uC@@@@@'equal_2 @@@$G@$G@c@%^ @e@@@@@ˠ(subset_1 @@@ $G@$G@"@YX2%C')@*:@@@@@렠(subset_2 @@š7@)$G<@.$G@BD@E:eI@X2%Ր@@@@@ 'empty_1 @@W@O܀\@u@@@@@*is_empty_1 @@j@\$G@p@h܀ְuw@.4'ѐ@@@@@9*is_empty_2 @@@w$G@@.4'穚@܀2@@@@@T%add_1 @@+@$GO@%F@%F@@ >,:ѩ@_$@%@l@@@@@}%add_2 @@T@$Gx@%FȚ@%F@@$C@$@%@lː@@@@@%add_3 @@}@$G@%F񚠐@%F@搩@a>,:%@ @$婚@%@l@$@@@@@נ(remove_1 @@#@$GҚ(@$%F"-@)%F@&@>,:T:@$@@{'@@@@@(remove_2 @@ٚN@@$GS@O%FMX@T%F@BS@>,:@f@$Ml@$r@+{YR@@@@@5(remove_3 @@ @s$G0@%F@%F@@;$A@Q{@G$7@@@@@_+singleton_1 @@U@%F@%F@@`$%@ a\@>,:M@@@@@+singleton_2 @@y@%Fɚ@%F@@7>,:@$@ aN@@@@@'union_1 @@@$G}@$G@%F@@$s @x@"or @@$@$4@@@@@ޠ'union_2 @@*@$G/@!$Gޚ4@0%F@:@$?@$E@x,@@@@@'union_3 @@ߚT@F$GݚY@K$G^@Z%F@d@$Ʃi@$Do@x*@@@@@1'inter_1 @@}@o$G@t$G1@%F@@7$@@B$2@@@@@Z'inter_2 @@1@$G/@$GZ@%F@@`$%@GH@k$ِ@@@@@'inter_3 @@Z@$GX@$G@%F@@$I@@$@$:@{א@@@@@&diff_1 @@@$G@$G @%F@@$~@/(@$@@@@@ܠ&diff_2 @@(@$G-@$Gܚ2@.%F@8@$>@/(ʩ'E@$]@@@@@&diff_3 @@ޚS@E$GܚX@J$G]@Y%F@c@ $Ͷ@Mk@$p@$v@/(@@@@@8&fold_1 @@@v$Gn.(kMh@@!i!f@@%Fj穚@0$List%Lists@)fold_leftɀր@%F0!e@%F@PV@@.(k@9@A@A@ %'A*StructuresA&(@ADA%t+@HA@JA1DHJ@ABC@@*cardinal_1 @@k@$GF3@A?g75@&length䷀@%F@=PVE@@@7A o@A@@(filter_1 @@ @$G @ %F@ @ %F@*SetoidListw@+compat_bool!!| @ >$ @>,:@ -@$} 3@?ͩ 8@$Ɛ@@@xAm,$@A@@(filter_2 @@՚ J@ <$G O@ K%F@ U@ Q%FX@A O@ N>$ S@>,:ζ@ f@ $ l@?Ұ)Datatypes$Init@$boolZ'@aA@@F@@ @(filter_3 @@  @ ~$G; @ %F@ @ %F@ @ >$ @>,:@ @ R$@= @ X$E @Y?F@@@@ y)for_all_1 @@ P @ $G7@ @ %Fζ@ @ >$ @3>,:D@ @% @ %FHv M Ok5L멚 @2y6G@@@@ )for_all_2 @@  @ $Gm@ @ %F@ @ >$ @i>,:z@s @2y6 ,n @%ɚ @ %F=Ð@@@@ 䠠(exists_1 @@  0@ "$G@ 6@ 2%F9@" 0@ />$ 4@>,:@ G@MW M@ I%FkR T@ 0?;@@@@ (exists_2 @@ 횠 b@ T$GԶ@ h@ d%Fk@T b@ a>$ f@>,:@ڰy {@30? թ @MW 0 @ %Fg '@@N@@ H+partition_1 @@  @ $G@ @ %F@ @ >$ @>,: @ ?e@#fst  @ $G @ $G @K&_̀ ש @h? ܐ@@@@ }A ӳ2[@ A Գq\@ABC@@ +partition_2 @@ f @ $GM@ @ %F@Ͱ @ >$ @I>,:Z @ e@#snd @ $G @ $G @&_̀  @?  @ %F @$negb4 g@@T@@ ڠ*elements_1 @@  &@ $G ՚ +@ '%F@ 1@ $ @#InA q9@ 0@ />$ 4@>,: F@PVa@@@Ai0A2@A@@ *elements_2 @@ 㚠 X@ J$G  ]@ Y%F@- W@ V>$ [@>,:֩ m@PV  r@ $ @@,@@ 4+elements_3w @@  @ r$Gl@&NoDupA @ @ ~>$ @>,: @PV @@O@@ W(choose_1 @@ . @ $G R @ %F@Đ @ %F @4 VA @ %F- @ n$ ܐ@@@A ůM @A@@ (choose_2 @@ a @ $G@=򐚠 @ %F @4 2B @ %F @ ܀ @@.@@ @  @@ @"MP .FSetProperties%FSets#Coq@/WProperties_fun  #Dec*FSetDecide%FSets#Coq@+WDecide_fun !F-)FSetFacts%FSets#Coq@*WFacts_fun .,#eqb @!x@ 9{@!t>$!y Р&Specif@'sumbool7̂K@BAAAA@@@@@A!s!@"eq>,:  ֩%Logic@#notШ 2@&eq_decau@@B@@>7? +k() 7!= R'>G'>H''+k6'@!E)FSetFacts%FSets#Coq@@5$ӹhР&Specif$Init@N7̂K@BMLKAABAAAP)Datatypes@$boolZ'@@@A!M.FSetProperties%FSets#Coq@ @A@@@!E   @A@ @A@@@A!M*FSetDecide%FSets#Coq@"@@@A@@@!E@@Zή@#@!tZήJ@@A@Z*@@"eqZ*^@@A@AB@A@!Ϡ+@A@@@A!Mgfe@/@@@A@@@r (@@!+@-@!t!+J@@A@(@@"eq(^@@A@AB@A@ݠ(@A@@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@)In_eq_iff @}rmh[IC9(@A@ܚ q@$G v w@ݩ@#iffС) @"In$  7  9@@@@@;'mem_iff @tndS@lA+$ %   ͩ@ @ @#mem%Qt@@@@@a+not_mem_iff @Πày@B-QJ éK#(&&!@@@@@|)equal_iff @ޠ٠ԠǠ@CHl"s'oh @%EqualeGGG @%equalO@@@@@@*subset_iff @ܠ̠֠@Do' @&SubsetX2%lll @&subset:te@@@@@Ƞ)empty_iff @5*% @E ) a -@%empty@%Falsee@@@@@@렠,is_empty_iff @XMHC6$@F۩Ԡ O@%Empty܀: W@(is_empty.4'B@@@@@-singleton_iff @|qlgZHB8'@@G p q  v@)singleton a @@@@@/'add_iff @zhbXG@`H   ʩ @#add%@l  Щ@"or @ &  ڐ@@@@@Z+add_neq_iff @Ǡr@I&JC : @FA ,>=@@@@@v*remove_iff @ؠӠΠ@JBf_ ضV ٩a\ @&remove{GB@#andЖw@FI@@@@@.remove_neq_iff @ נѠǠ@Kj ~ @`2)@@@@@)union_iff @'@L> U "@%unionx[T@@@@@ݠ)inter_iff @J?:5(@MͶaζ @Ƞàx E@%inter#g"@@@@@(diff_iff @k`[VI71'@/N a頩 f@$diff/(D@@@@@ *filter_iff @}xkYSI8@QO  !f@ @*SetoidList%Lists @+compat_bool!!|ǩʩ @&filter? ΐ@@@ %'A*Equalities*Structures Am,#@A@@`+for_all_iff @͠ x@P,P?=@<K @'For_all%T ͩ,,.. @'for_all2y6;'@@4@@*exists_iff @ՠà@QVzig@fu @&ExistsMW*TT @'exists_0?aM@@Z@@,elements_iff @ ٠@R| u@#InA q9@P @(elementsPV@@@Ai0A@A@@٠%mem_b @F;61$ @ Sɶ ; <@@@@@@'empty_b @aVQL?-' @%T U,@@@@@ %add_b @xmhcVD>4#@@&ProperL@@A@*respectful%WO?  T@@@AviA@4A@AB@@*is_empty_m @]RMH;)#@!d0@%r@@@@A@@ 'Empty_m @xmhcVD>4#@9, @n!@c6@@@HA@@A@CA@E@ABC@@'equal_m @mb]XK93)@1o@w@@@'@@]@ABC@@+Subset_refl @zupcQKA0@Ipr@@@@@.,Subset_trans @ygaWF@_q#s''"@n@Bː@@@@@K5SubsetSetoid_relation @@/RewriteRelation6C @A:@(Gkʠu@@@@o6SubsetSetoid_Reflexive @M@`,:@@)ReflexiveW&h@mviݠؠˠ@@@@7SubsetSetoid_Transitive @p@m Wj@ @*Transitive++-I#@x5ڠԠʠ@@@@,SubsetSetoid @*@(PreOrder@A M*@l<67:kLL-D;0+&@@&@@ࠠ&In_s_m @MB=8+ @r >&Basics'ProgramG@$impl7oА@@@@0Empty_s_m_Proper @pe`[N<6,@4sC:7;"@$flip$Bf(@@@3@hA!s̓P+@lA!t Q/@ABC@@*)Empty_s_m @a@*proper_prf4>M]#9@7@ @(  eũLEF ,67 6  67777777 + 7T7k6'$At@6i|)Morphisms'Classes@&4>M@\6WCL@*respectful%WO?|r'Program@T$\%@r*Ug T*@I)"tTLlD@7ohߠڠՠȠ@@n@@.add_s_m_Proper @ڠȠ @tϰ?x@W^@@=@@'add_s_m @~Oj@$8k@@m@w $By= 067  677777 +7T77 + 7T7k6'+7T'6' |xpxlP@)T`xH@h@%Qm@"eq%Q~`c@W lXsLOD?:- @@ @@1remove_s_m_Proper @aVQL?-' @%u4ex@@@@ *remove_s_m @q@ p@@ζ@eea`_ ڠxp֐@;h5TϠPxH@^\`@K9LtndS@@c@@M0union_s_m_Proper @ve@~vƩ@@@Z@@d)union_s_m @:D@"*䡀@ IQ @R@ LT CU@ࠒ5`xp8@*ҐT6*P@D )L xH@۠ɠà@@@@0inter_s_m_Proper @  ۠ՠˠ@wU@@@@)inter_s_m @'a˚@ ?~3 @  @  @ ࠒ`xp@*ϐT}Pa@B'nLq xH@ P E @ ; .   @@@@/diff_s_m_Proper @ b W R M @ . (  @ &x5n)Q+S@@@@ (diff_s_m @~@$)^@  @g  @jfe <=67 +6  677777777 +7T77 + 7T7k6'+7T'6' Dpܐ젒Р͐d(0|t\TaL@LL@.)5lT      { u k Z@@3@@ T,filter_equal @        } l@ y2@ ; @0 # G H@ةؠ%&&@@@@ q*filter_ext @ ޠ Ӡ Π ɠ     @ zO"f' ] [ 3@P ^ =@ b ` : :  Ķ I m  n@KGN @@@E@A@0@@@ABCD@@ -filter_subset @      ؠ Ҡ Ƞ @ {}K@z m  % @J@@b@@ @@@@@0FSetLogicalFacts  A)test_push @ / $    @ @!P!Q!R@)Decidable *@)decidable r@ @  @$Truey@@  @  a@@ fHh @lI@ tJ @  |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@@ |) s" W-&.   y 0 R  j 3  a7ͩ8Ŷٶڶ@; @  )A@ @  w@@Đ@Ͷ@KS  AA@@;$CBB@@DDDB$CBB@@DDDB@  b@Z?/3@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BG$ACBBCB@@A@DDEDFDGB@@A@@@@@30@r@A@A@tA1DH @A@⠠1FSet_elt_Prop_ind @N    $ ȷ u  !w*C%<]Q[R@H X B@?/3@ @;@@/( > vjtk@@A@@40   vw@%@E @@;ꐶ@ *@0@Q 7J  A@ _ <W E @C@@@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@D@0k e$ j ap m k d lz G p U y J ko lp$'()ʷ˷ uy vz Ϸз z~ {Է ~R/7 c@(       w l aQ \+k()        , ' (*()=| &0EZoRy'>  &'>  %'> %'> 3! 3!# '> 3! 3!# '> 3! 3!# '> 3! &''''+k()$'+7Tk+ 7 T'$'   @ U@M5Ir@0@aAJؠ A 6 1 ,  @@@@@)FSet_Prop,<@@a-elt_FSet_Prop/Empty_FSet_Prop0Subset_FSet_Prop/Equal_FSet_Prop%@?  ֩t "s1 ۶"s2 ީ J   sAA3BABBBABB@ + @+Ya@@@@@@@@@@@@@DABBACBDB@@A@@@@@@@-FSet_Prop_ind @_ <   ; ; 9 17 ? = 7l` @^Ya@y@?@@@@@@@@@@@@@@Dt@Q 'MT@Ƕ "a #% $# % } ' 0 0+k()= &R,'> % ' >$ '> % ' > % ' '+k()$'Р@+eq_refl_iff @ ߠ Ԡ Ϡ ʠ  @ B W U X 7Y@@@@@R&dec_In @    ޠ Ѡ @ C k P t@@@@@e&dec_eq @      @ D ~ | u } N@@@@@x@@@3FSetDecideTestCases  A/test_eq_trans_1 @ #     @ E    !z   @ @ z |  @  ֐@@@@A AۀߠK@@$A@&@ABCD@@/test_eq_trans_2 @ N C > 9 , @ 7F ? @+A!r Ӷ  Զ@ Ǡ @  @@   Ӡ k@ ؠ  ڠw@@@@ڠ3test_eq_neq_trans_1 @ { p k f Y G@ dG!w     [   @ ؠ&@ Ԑ ֐ W@@& . @@@J@A[@@@ABC@@3test_eq_neq_trans_2 @      p@ H)"r1 *"r2 -  .@ ! -_@ 'Y@ *` R@ .dY@ 1a ՠiɶ@ 6N̩ 8K ܠbא@@@@A@@A@@@ABCD@@@1test_In_singleton @  ֠ Ѡ ̠  @ IYҩ S _@@@@@T+test_add_In @     Ӡ @ JmdS w@ j UK@Kթ pY@@@7@ @AB@@q6test_Subset_add_remove @   @ Ko  : p4 +h@@@@@3test_eq_disjunction @) @L@ ѩ U PP  @@:@@0test_not_In_disj @J?:5(@3M;< ̶ Ͷ"s3 ж"s4 Ӷ@ Ƞ^ ( * ,{    ؠupw@@@@@ڠ0test_not_In_conj @{pkfYG@dNlm$ " 1 /@- Ґ ֐#ؐ#@@@@@-test_iff_conj @zh@O!a  !@H˩ y"I @@@@@.test_set_ops_1 @@P8!qCsD!E@ q@ l @ p | ]n _@!@@@@@D-eq_chain_test @ڠՠРà@Q"x1ض"x2۶"x3޶"x4qrst@ 8@i T@@@Lq  @Sx@{ f@A  m@@@ M@A @ @ @ABC@@0test_too_complex @)@R@@@8 ϩ@Ӑ@@#@@/function_test_1 @H=83&@1S  !g@==Ͷζj@hA@`Z @{^` ж@͠cϠj@@@ @ O@AB@@֠/function_test_2 @wlgbUC@`T  /- lm@,@Ԡ'@&@Ұu#%')V"7@@@ A@ B@ w@ABC@@-test_baydemir @}k@U  ݶ @©̩J @ vP|@@@@@@@@ l@A}@ @AB @+@A k@|@ @ABCDA@@@@@C@"FMr]J @I@ ڠϠʠ@n@@A@@A@͐@@@@q @ ^@y +C@k@~ @@@@@Z @ r@b%mZ@T*@g.]  @@@@@H @ @P;@B>@Ut@@@@@A @ @I"AU@;R@N+F2'"@@@@@Ѡ. @ @6$~N{@(f@;-ĤAF;6@@@@@堠 @ @% b@z@* c(ZOJ@@@@@ @ @9=@@Rnc^@@@@@  @ @9@@ &ڠwr@@@@@! @ @Ҁ@쐑@ S@@@@@5ې @ @&@Ր@|@@@@@IӐ @ &@?Cр@͐@ڗ@@@@@] @ :@.3 @@7yvҠǠ@@@@@q @ N@'bR@@0ڠ۠@@@@@ @ b@1@@x@@@@@ @ v@*1xN@.@3w@@@@@ @ @?@B@ו"@@k@@a @ @i24`<@[V@n;z6+&@@@@ՠK @ @S {̀@Ej@X*9ѓJ?:@@@@頠9 @ @A4N\@3~@F=J"^SN@@(@@$ @ @,$ޔÀ@@1.$ꉠrgb@@@@@ @ @%4@@*zQ{v@@@@@% @@"$Ɛ{@M]@)S @7. A@@@@@I @&@,; &@ @ 5^@@@@@]  @:@ `@#G@7<:@#Dh۠Р@@@@@z @W@ f@ @'@@@@@  @k@Ym@pgII f'@(3@@@@@  @@=)m@ ;@ p3 @@@@@  @@ 62@ 𐑠O@$ދ/$@@@@@Π  @@ 3뗀@ ꐑc@  ǩ)'~@ sW;^SN@@ @@ ܐ @@ z@ ֐@ trgb@@@@ Ԑ @@ "hU@ ΐ@ ,:{v@@ @@%  @@  D>@ @ \@@ @@9  @@ $fv@ @ -H<@@ @@M  @*@ )@ @ odI @@ @@a  @>@ $ƀ@ @ -I=֠ˠ@@ @@u  @R@ %C9@  @ .`ߠ@@ @@ ~ @f@ 6yv@ x@ ?X<@@ @@ } @z@ $ޔ΀@ w2@ .$ꔠ@@ @@ y @@ Yx@ sF@ (>&@@ @@Š u @@ }$Ɛ@ oZ@ . L:/*@@ n@@٠ g @@ o `@ an@ tDsNC>@@ @@ f @@ n=)x@ `@ sp>bWR@@ @@ b @@ j6=@ \@ o$ތvkf@@ @@ a @@ i3뢀@ [@ nb l@ k _~y ;@?@@) 5 @ @ +@ >6@@@@9 0 @   @ OF 0@ / % @d@@N  @ @ @ 4:g@@T@@^  @ 3 /@ 0ow @  ӠȠà א@i@@s ѐ @ @ ǐ@ Ĉ٠@@y@@ ̐ @ X ,T@ u ̀@ ː  @@@  @ @ )@ 2E @@ @@  @ } y@ /U @   C o@ @@ i @@ qY_H@ cR@ v2'"@@{@@Ѡ ` @@ h;}@ Zf@ mבCF;6@@ K@@堠 F @@ N#@@ @z@ S,`ZOJ@@@@@@@@@@A@&In_dec @la\@j@ZĠ \ ^@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@#Add @  |ߩᠩ@ X +k() +7T' 7! 7!7! 7!7%'Р"M@"eq>,:h%Logic$Init@@С)\@%Fxa@!$T@  @t@@@@@N)Add_Equal @̠@AA?&JKD#@S8 ͩ!2@@@@@k*equal_refl @ޠ@BBf^@@@@@z)equal_sym @@CQu v@M@@@@@+equal_trans @ @D  @Զ@f@@@@@+subset_refl @ @E@@@@@,subset_trans @*@(F  @@@@@.subset_antisym @:/*@8GK@#@$J @@@@@Ϡ,subset_equal @MB=@KHʶ^˶@[@@@@@ߠ,subset_empty @]RM@[IکD "@@@@@/subset_remove_3 @mb]@kJ  ]@ʩW"@@@@@+subset_diff @vq@K % #2@k l i"@@@@@,subset_add_3 @@L : 8 @@c<@@6@@-,subset_add_2 @@M O( M)"@O@@@@@@)in_subset @@N b; `<5@ @1@@@@@R0double_inclusion @РŠ@O tM rNGߩޠ$@@@@@f0empty_is_empty_1 @٠@P=a@#@@@@@w0empty_is_empty_2 @@QNr@Q@@@@@)add_equal @@R^{@Va#*@@@@'add_add @ @Sp "x' 'u#9whxz@@@@@,remove_equal @/$@-T @Z=D#T@@ f@@à,Equal_remove @A61@?UR 1@8PW@@@@@֠*add_remove @TID@RVѶ C@b#tk#{@@@@A #@@]@@ABCD@@*remove_add @mb]@kW \@{##@@ @@3singleton_equal_add @vq@X o F@@@@@6remove_singleton_empty @@Y @@X 9@@ @@*)union_sym @@Z%&xy@@@@@=2union_subset_equal @@[89@ɠ#ِ@@@@@O-union_equal_1 @͠ @\&JK,L@ĩܠ @@@@@c-union_equal_2 @֠@]:^_@`@ @@@@@v+union_assoc @@^MqrSsŠ$Ǡ$Q@@@@@3add_union_singleton @ @_c e\۠ *$*@@@@@)union_add @@`w/!,$>|@@@@@2union_remove_add_1 @3(#@1aD!#AJ-M@@@@@͠2union_remove_add_2 @K@;@Ibȶ\ɶ!;@Z @@@@⠠.union_subset_1 @`UP@^cݶqީH$}@@@@@.union_subset_2 @qfa@odY$ɐ@@@@@.union_subset_3 @wr@e@@mU S$@@@@@.union_subset_4 @@f@ʐ@@@@@+.union_subset_5 @@g&'(@{|@@@@@@-empty_union_1 @@h;<@@@@@@P-empty_union_2 @Πà@i'KL@*ܠ#$@@@@@b,not_in_union @ՠ@j9]^W!ж@/.@2W;5Z%e@@@@@})inter_sym @@kTx yLN@@@@@2inter_subset_equal @@ lg@%3@@@@@-inter_equal_1 @ @my1@/ "А@@@@@-inter_equal_2 @4)$@2nE@CC@@@@@ʠ+inter_assoc @H=8@FoŶYƶǩV%p%qR@@@@@ࠠ-union_inter_1 @^SN@\p۶oܶݩl j0 `h@@@@@-union_inter_2 @tid@rqE,#H vѐ@@@@@ +inter_add_1 @z@r"z@ܩ9%%[@@+@@$+inter_add_2 @@s "@Ωn@@ @@@7-empty_inter_1 @@t23@Wc@@@@@I-empty_inter_2 @Ǡ@u DE@i@@@@@Y.inter_subset_1 @נ̠@v0TU%@@@@@j.inter_subset_2 @ݠ@wAefР& @@@@@{.inter_subset_3 @@xRv wXx@E@&! ː@@@@@,empty_diff_1 @@ yh @k@@@@@,empty_diff_2 @!@zz2@}/x&@@@@@@+diff_subset @4)$@2{E&R@@@@@Ƞ1diff_subset_equal @F;6@D|öWĶ@/T @@@@@ڠ5remove_diff_singleton @XMH@V}ն#Ge '@@@@@젠0diff_inter_empty @j_Z@h~{w8q0@@@@@.diff_inter_all @}rm@{M&@@@@@'Add_add @@@ #~&&@@@@@"*Add_remove @@A#@Ұ&&Ő@@J@@4)union_Add @@B /01*#@&#W&٩&ԩ @@@@@K)inter_Add @ɠ@C"FG(HA#@@&#h#o&| lӐ@@ @@c+union_Equal @֠@D:^_@`Y#Ҷ@4@ a@@ @@y+inter_Add_2 @@EPtuVvo#@$@.,@@ @@.elements_Empty @ @ Fe[\@$list]@$ A@@@@A`@jA alk@`@ @ABCD@@.elements_empty @3(#@1G$@@@@A@@Ǡ'of_list @!l4@*fold_right#$9 'm@ <ɐ P+k77777#'РAYXW@"\` @"Z7p@$J"h%Lists@%#x@0#@Xxmh@@@A+@[@bA* @ABC@@'to_list @Z@@z8@\&F@@@@@!)of_list_1 @@H]$'Ʃ@m?$''Ő@@@w@@AB@@=)of_list_2 @@Iy"@*equivlistA~5@C퀐$'@@@@Y)of_list_3 @נ̠@J0T㠩5'@@@@l/fold_spec_right @ߠ@KCg!A߷Q.FSetProperties$@@!i(d@$@($H($@$fold0(%(&$(('$((( @#rev$t$M@@߷@"@A@A@&A@A'A4%@+A.(,L@AB.A.(kM@3A@A4A1FdJm@pA>@A@tA3@A1GKz@ABCDE@@(fold_rec @?4/@=LT߸RR@@@Ķ@(b߹S[@@VZ(qζ@cж@X@%E biֶ׶@ @]@d%(@$g$ k(lu%(% @@߸@-@A@߹@&@A@AB@1AX@A@@,fold_rec_bis @to@}M^@@T@@(_@@(@ @@;6z@%3](@%B@(@ @5.D8%LR%N%G@@@1@A@@*@A@AB@5Au@7A@0Ap@ABC@@I.fold_rec_nodep @Ǡ@Nܔf@@@(񔑠g@@Aݶ(1U@@P%ɶ=@E@R}é{@@@@A@@@A@AB@"Aj@$A@Ae@ABC@@~-fold_rec_weak @@Ok@@Ѷ@@)&l@@w).@h r @@2@%)0@&z#s@g@rzz~0)I* ,)K%@@@.@A@&@'@A@AB@2A@4A@-A@ABC@@à(fold_rel @A61@?PVtT@@!B]u]@@@)l@)mvf@@Ŷ@&I@%%h%!j%߶@ g+@&T!b@@5;ɩw )&y {)&@@@8@A@]@1@A@@*@A@ABC@A1I!M@ADA@FA @ABGA ߠn @LAu@ADA@FA@ABCGA @KA}@ACA@EA1J`N@ABf@w@A&@~@A@ABCDE@@0-set_induction @@Q|@,U}@@@4@X@78@2&@ /)&a@gB ]@@U@@A@A@A@A@@Y1set_induction_bis @נ̠@R@UϠC@@@9]^@@9&|0@*@]&ֶBf@{@<Gk& Ð@@@@A@A@Aj@A@@-fold_identity @@SZ~ \*'*'@@@@A<@@AB@@A@A@A@ABCD@@&fold_0 @ @Tv3EM1@@/*G-s@"ex @:@&NoDupA @C')*a!B&D&*]&*d&'3*_*f*g@@E@(@A@A@,A]@A-A@/A5@AB0A@@A@-@A@4@@ABCDE@@堠&fold_1 @cXS@aUyàOw@@#eqA@*@*1"st~*@'d@'!z@'~!***@@@@A@A@A@AAe@!A @AB"An@%A[@AU@@l@ABCD@@ &fold_2 @@V'S@@9753*Ƕ2@@)compat_op$9["'G'N*Ѷ@@)transposeWâ'!'O*Ѷ@)_Q@\LTc`'[P!Ʃ'\Zd'_L!ʐ@@@+@A@A@/AĠm3@A2Au$ 6@6A@AB7A@;A\@AA@AB@'At D@j@@ABCDE@@ r'fold_1b @@WIm=U@@+d@G'+@@=@ @A@A@A%t@AA@A@ABA@SA&@@@ABCD@@ -fold_commutes @ @X1|V/@@˶$Comp'|+K+L#Ass}(''+I:"3( ֠7"9+P":";+[<">+U+\@@@!A<@A"A@$A@&A*@ABC@@ Ӡ)fold_init @QFA@OYf5Z.+w+p+xa'"i''ض@ga"c+z'c"e+|+@@@%@$@#@ABC@@ *fold_equal @shc@qZW QOMK"|@+(+(!@@@H@AiA!@kA@ABF@@@A@@A>@O@t@ABCDE@@ *fold_empty @@[@(@++++é++e++Ɛ@@@A@e@A6@ABC@@ 9(fold_add @@\MKIG%`" ; 4(@^Y(cϠ+H@@@@@@AB@@ X(add_fold @֠ˠ@]ljhfD"߶ 6Z S(̶@.}c@@@@A@@ r-remove_fold_1 @@^Զ^̶ȶ" Pt m(@H, (@@@@z@@ABC@@ -remove_fold_2 @   @ _%~ # p )@B@@:@@ 0fold_union_inter @ )  @ '`> Ҷ9#2 Aՠ6#88#:9,X:#<,S<#>,],\@@@@A@@@ABC@@ Ϡ/fold_diff_inter @ M B =@ Kab1ݶ+)'%]#V ѶeҩZ#\"$ @@@@@@ABC@@ 젠*fold_union @ j _ Z@ hbNHFDBz#s @ )b {G)},@@#@@ )fold_plus @   z@ c  !p#@#nat@ @) B,,#Nat#@ `,A,ː@@@PA8@A@@ ;-cardinal_fold @   @ d! 6 .)@(cardinal?g7#6,,@@@A(1S@A o$@@ABC@@ \*cardinal_0 @ ڠ Ϡ @ e!3 W̷ͩ꠶!W)Щ X-; 1Y+Z$2@&length䷀)-@@@@@)@ABC@@ *cardinal_1 @   @ f!X |@ Mu\@@@@@ *cardinal_2 @!!!@!g!i  ! !*@0@ D-0)-7 c]$X`@@@@@ .cardinal_Empty @!*!!@!(h!  ̩ ys@@@@@ .cardinal_inv_1 @!<!1!,@!:i! @@@@@@ ͠.cardinal_inv_2 @!K!@!;@!Ij! ȶ!n@ k$&!@#sig#* @*H!*I@@@A8A!@A@@ /cardinal_inv_2b @!m!b!]@!kk! @!D*`!*a@@@A1>lB!@@AB@@ .Equal_cardinal @!!{!v@!l!! !@  հ@@@1@A?@P@u@ABC@@ 1cardinal_m_Proper @!!!@!mj@!_!  @@:@@ 3*cardinal_m @󚠐 @)Hd@")!1" !2. "67 67 7777 + 7T7k6' 'Classes @,4>M @%WO?TntLz"~@?*L@(cardinal ^'T@ #_|)Datatypes >@#nat@Dh I@ O @p!!!@@@A@L@@ABC@@ .empty_cardinal @"!!@"n!QyKa@@@@@ 2singleton_cardinal @"" "@"o"+!b\3u@@@@@ 3diff_inter_cardinal @")""@"'p"!!:!!wsu 4L@@@@@  .union_cardinal @"@"5"0@">q"!!Q!@ϩ! b@@@@@ ؠ/subset_cardinal @"V"K"F@"Tr"!Ӷ!g!Զ@!?%Peano%@"le UxT@@@@@@ 2subset_cardinal_lt @"p"e"`@"ns"!!!"+`@Ͷ@ @" @"lt Uxcd@@@@@ 4union_inter_cardinal @"""}@"t"" !" !۰א dې@@@@@ &4union_cardinal_inter @"""@"u""!!""! @#sub ~@@@@@ >1union_cardinal_le @"""@"v#"9!":e-+@@@@@ O.add_cardinal_1 @"͠" "@"w#&"J#C+@""D!+I@@@@@ c.add_cardinal_2 @""֠"@"x#:"^#W+ж@" "0XN]@@@@@ w1remove_cardinal_1 @"""@"y#N"r#k+@"F"Dlb@!s@@@@@ 1remove_cardinal_2 @# #"@# z#d"#+@"6"Z@@@@@ @@@@@#S###@A@@  @ N@  O@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@&mem_eq @@0@@@@@+equal_mem_1 @@0A#"Ķ"X"Ŷ@,8"&""&"R!&@@@@@-+equal_mem_2 @@1B#"׶"k"ض@"b,K"&"̐@@@@>,subset_mem_1 @@1!C#""|"@,\@"&&"&"!&"&"U!>&@@@@@U,subset_mem_2 @@18D#""#@"e,s@"Ӱ&)&Ʃ"հ& 8&Ȑ@@@@@h)empty_mem @@1KE$ , .@@@@@s4is_empty_equal_empty @@1VF##"&":""e@@@@@,choose_mem_1 @@1dG$#+$$,@"&@, >v@,@&choose4"1 AQ@@@! A ůM'@A@@,choose_mem_2 @@1H$*#N@#"&$B©#&'&"s"O'@@@@)add_mem_1 @@1I$@#d$],֩#5'5#00 '*@@@@@ʠ)add_mem_2 @@1J N@@@@@Ԡ,remove_mem_1 @@1K$Z#~$w,#O'O#J0( $?@@@@@䠠,remove_mem_2 @@1L '@@@@@  @@1M$-#g'g#  '[@@@@)union_mem @@1N @@@@@)inter_mem @@1O@@@@@(diff_mem @@1P@@@@@%mem_3 @@1Q$#ö$-5@#q#'$@@@@@(%mem_4 @@2 R$#Ҷ$-D@#~ q@@@@@5| @@2S$#ީ#'#g'@@@@@Bz @@2$T$####'#u#u#@@Y@@Pw @@22U$####@3@4#Ͱ'ͩ#'@@@@a+equal_equal @@2DV$$ #$ $ @E#ް'ީ#F@@-@@r.equal_cardinal @@2UW$$#$@#@@@@@ @@2aX%$(#'#"'@@@@@ @@2nY%$5#$6@#@$(##'$ ( #'@@@@@ @@2Z%$$H#$I*$J@Z@[$(#)(@@@@@ @@2[%5$Y#$Z@#j@@@@@,choose_mem_3 @@2\%B$f@$7(7#%%-ܷ%d-ݩ"$>A;"@6@@@2@@AB@@Ԡ,choose_mem_4 @@2]$MPJ .@@A@@ᠠ)add_mem_3 @@2^%g$%-%{-@$^(^!e(Q@@@@@ @@2_%v$%. @$l$l(l$%(`@@@@@,remove_mem_3 @@2`%$%.%.@$}(}!k(p@@@@@ @@2a%$%.+@$e$($D(@@@@@  @@3b%$ȶ%.:@$$($S (@@@@@.  @@3c%$׶%.I@$$($b (@@@@@=1is_empty_cardinal @@3 d%$$($%Zerob$Bool.\@%zerobv쀐@@@@@V/singleton_mem_1 @@39e%.q$а(Щ$(Đ@@@@@d/singleton_mem_2 @@3Gf&.%.@%ߩ$($۠1 %А@@@@@u/singleton_mem_3 @@3Xg&.&.@$(!(@@@@@  @@3fh& %-$%.$($ (@@@@@ @@3ti&%;$%<@$% ) $)@@@@@ @@3j&&%J$%K,%L@%)$)@@@@@ @@3k&6%Z$%[<%\@$%-)-$ )!@@@@@  @@3l&F%j$%kL%l%<)<$ )0@@@@@Р  @@3m&U%y&r.%J)J% )>@@@@@ޠ  @@3n&c%%%&.%Y)Y% )M@@@@@  @@3o&r%%*%%g)g$ )[@@@@@  @@3p&%%8%%u)u%  )i@@@@@   @@3q&%%F%%@%)%5)y@ȩ%)% )}@@@@@ R @@3r&%ƶ%Z%ǩ%)%P P)@@@@@+ M @@4 s&%Զ%h%ն@%:%)%_ K)@@@@@: J @@4t&%%w%%@%)%o H)@@@@@J F @@4,u&%%%%@%%ư)Ʃ% D)@@@@@Z B @@4  Ƕ  ö% ܶ     C+<('(1)@']@@(@@Z @@5I [Q  ڶ  ֶ%  $ "   V+O('ʶ(1<@'V@@;@@-M @@6J nd    %  7 5 3 1 i+b('ݶ(1O@'I@@N@@@ @@6"K w    %  J H F D |+u('''@(1d'ð+$<(@@d@@V @@68L(3'(3.@(3F44A31)D@1?g7)J@3;%@l44© 4Ɛ@@@@@Ґ @@6eM)3T)&3[@U3s〠44՜B`1̩-+44멜@#nat@B>4@@@@@ @@6N):3)X3@355A(@-Bg)@3w{5 5'q5+@@@@@蠠  @@6O)m3)3@3ةH5B5:BBŀ21+5I5P5T@@@@@ @@6P)3ⶐ(O3@)3쩛倰zw5q5p{5u5muB2dŀ* @3x55~#Nat$Init#Coq@@#add `݀5တ5@@@@@X2 @@7:Q)3:(37@*4H*;@3K:55A%Peano$Init#Coq@@"le UxT@5ɩ5Ɛ@@@@@*filter_mem @@7mR'"'  $$z*/-*$U5޶*):*32) - )5'%) ,]@@@@@.for_all_filter @@7S';'9 *+)O)-&ϩ(m'.*O2ȩ& ,t5@@@@@-exists_filter @@7T'R'P 0*B)f)6-6&&('G@@@@@Ϡ2partition_filter_1 @@7U'g'e E*W){)K-K)-M@#fst ))2@)partition&_̀ -M@@@$A ӳ2[-[@$A Գq\-_@AB@@2partition_filter_2 @@7V'' k*}))q-q)*-s@#snd&W-l@@@@ ,filter_add_1 @@7W'' *)*3*@)-,-})K'2((6_ w@@'@@#,filter_add_2 @@8X'' +*)϶*3A@)-,*)b @@@@@6,add_filter_1 @@8Y''̶ >*))v)*3U@)- |-@3Z8@6_t ]6' '@@'@@T,add_filter_2 @@87Z'' \ʶ**)**3s@)Ӱ- *@)@@@@@i,union_filter @@8L[( ϶K ж@ @ **)(i'=''+3' --z 6Ȑ@@'@@,filter_union @@8g\(( + *0)*1)( 3W (@@(@@-for_all_mem_1 @@8{](0(. + *D@+>3@**.3e)@. *.'.@@@@@-for_all_mem_2 @@8^(F(D $+6*Z@*+.+ .+V3϶@s*/./."@@@@@ -for_all_mem_3 @@8_(Z(X 8+J*n+g3@*@@*A.A*+/*C.C(+2@@@@@נ-for_all_mem_4 @@8`(o(m M+_*@*T.T5+B 3+3)@@@@젠.for_all_exists @@8a(( b+t**h.h2'N(<H@@@&@@AB@@,exists_mem_1 @@8b(( (+*@+4@*>*.(+1+n@@@@@,exists_mem_2 @@8c(( (+*@*.Z+~+44@ة*.+@@@@@',exists_mem_3 @@9 d(( /(+*Ӷ+4E@*@*.(R.@@@@@:,exists_mem_4 @@9e((ж B(϶+*@*.. 4\+4])z @@@(A1?C+@ @AB@@T#sum @(@4p ++ +4t .]7 @(++ |+k()G + 77#' 7$' h@ x@@@@@x(sum_plus @@9[f)@, [@&v&j, + 7ƶ@,++* #E@:6_`,,4 7ک  Y @@@A@A(@ @&w@ABC@@*sum_filter @@9g)7"@)4,'+K+ C ,H4/@@@@@@@@Ar/% M.r  57 @@)'@@+fold_compat @@9h+5M4@@    })[ |@ J,g4,F48@ E4.48@ P,m",L.8@ K4!"4!,X+|@,v4@+Q,n!!! ! ! !!8%8,!!8'8.@@+5@'@A@A@T@A+A F@-A E@AB.A'@1A#@A2A@(@ ?@ABCD@@*sum_compat @@9i)@@,+@,5@+}+{ tԩ+} ";$@@@&@A@@ @@@@2@C@A@+5,@ABC@@AJAĠm*SetoidList%Lists#Coq@@BSAu$  @XA݋X_A/RelationClasses'Classes#Coq@@AZ@[@AY@@ABHGCDEEDB@9Ai0A@9Am,"@AB9At %@'@ACDF&@'j@A'@@AM@BC9A1>lB  @@@:A1@D @ @ABC',@'b@Al@i@ABDEG m@-WEqProperties:7B9E:A@:59)@- @J)@@@@ %'@)@A@A@@@AA@@A@, @^@B9n5:Y@- $,F@'v@@@@@'eq_refl @@-3@-$3€&7@@@@@$&eq_sym @@-B!-9"@-+#@@@@@2(eq_trans @@-P/-G01@ *@"&8@@@@@B-# @@-_>-V?-B-9 @@@@@P@-DecidableType*Structures#Coq@-DecidableType@@@@$,F@y9@!t$,FJ@@A@$3@9@"eq$3 ^@@A@AB@5 @g@z9@9"WS9@A@@99 @@@A@@@99@@7LYM@ 9@*7LYM)@A@7L`@@'7L`&@A@AB@A@@@@@9- @@(@@9@.%w@("@A@A@@@9, @@@@60V9@@-Ȁ(@@@@@9ˠ,\ @-,k-@#iffС)@,-+,@-,{(-9wXSL@@@@@9렠,W @-.,/6@+@9Bkf_@@@@@9,# @-AH-ڐ(@-E(S9!~yr@@@@@:* @#n@[(c-V.]@<"@#s8@@@@@:%* @#.iq.-r+àR0@8@@@(@A@@:;, @@|@@@@@:C,` @@@1@@@@@:L- @@@ @@@@@:U,2 @@@@@@@@@:_,] @@@@@@@@:h+ @@@@@@@:p+ @@@@@@@@:y+ @@ @@@@@:+ @@@@@@@:.a @@-"8u @@ѐ8 @@@@@:.c @@.޶-;ߩ.@.D..~@@@@@:-8 @@@m@@@@@:- @@ @@@@@:H @@c6@@@@@ [@@.(,@>@A@A@@@:Ҡ+t @@@@1@@@@@:ܠ+X @@ @@@@@:䠠+ @@@@@@@@:i @@@@01@7t@77@@@)jA ϲ6W1@)nA вuX1@AB@@; А @@@H@@@@@;+f @@@Q1@7]@^@@n@@;  @@@a  @@ @@;)7t @@/k/-r/$s@@X.%Y@@@@@;8  @@/z(;@@@@@;B @@/)-@-%@@@@@;N @@/5-(;@,@(9@@@@@;]7 @@/D/a@.:2:@.5`-F22@@@@@;o7 @@/V/s@.L2L.P2@@@@@@;}'equal_1 @@/e.@/\.\2\@.x@,2T@@@@@;'equal_2 @@/yԶ.1ն@.o2o/r2c,@@@@@;(subset_1 @@/.A@@.A/.2@.J-2|@@@@@;(subset_2 @@/.Y@.2/2-@@@@@;ɠ6 @@@-8]@.w}@@@@@;۠6 @@/@2?.2(@./@C-2@@@@@;6 @@//@.ɰ2ɩ2S2)-@@@@@;6 @@/=/D/E@);I@-O.@@@@@<6 @@/P0W0 X@<@@@@@<6t @@0\0c0d@@ @@@@@<'6P @@0i0+p0"q@0W;֩w@-J/*@@@@@<<6: @@0#~0@07@@k/6l;"L@@@@@Ґ @@1%0A@?ø3 3@@@@A@@=R(filter_1 @@1:1W.N@.K:'=@= @.@O(0U#i@@.:@@=j4l @@1Q1n.e@@0I4I@@.H@@=x48 @@1_1|.s@%@O@9$!@@.Y@@=)for_all_1 @@1q̶.@6@@.D<41.C=C0o4o@.A2ӷ04g@@.t@@=3 @@1.Ӷ@P@04/4v19ڐ@@.@@=(exists_1 @@1.@c@@.G؀-04 @.F1nN04@@.@@=Ϡ(exists_2 @@1.@|@04/4,@@.@@=ࠠ3 @@1".@Zp((/@k&$N/˩/̐@@@.@l@i@ABC@@=3i @@1:.'@rb2H-=@@@@> 30 @@1L2S@2.t=.@@.i@@>3  @@1Z2a@.=̩0.@@.w@@>&2 @@2 h @@.@@>12ڐ @@2s25z@1~@ C0; =M@@@@>E2 @@2,@1!)45Y@@@@>S@Š@@@@$,F@Y>{@$,F@A@$3@]>@$3@A@AB@??f>gf@?e@2f @dc_^@@@\2N @YXO@@@@cN @@MG@@@@jF @@E@@@@@q? @@>7@@@@x2Y @@60@@@@@/@@#;  @|@@@@@>2 @@>@@@>1 @@搠@@@@>1A @@Ӑ@@@@>1$ @@Ȑ@@@@>0 @@@@@@>Ƞ/v @@@@@@>Р/T @@@@@>ؠ1 @@@@@@>ߠ0 @@@@@@>栠1 @@@@@@>0ʐ @@@@@@>0 @@@@@@>0 @@@@@@?0T @@@@@@? 08 @@@@@@?0 @@@@@@?2 @@@@@@?2 @@x@@@@?&1 @@wv@@@@?-1 @@~u@@@@?4 @@tlk@@@?;/ݐ @@ig@@@@?B/ @@pf@@@@?I0% @@ed@@@@?P̐ @@cZ@Y@@?W! @@QP@@@@?^/ @@OG@@@?e2 @@FD@/@@?l; @@C<@@@@?sD @@;9@@@@?z< @@84@@@@?5 @@3,@@@@?;E @@+!@@@@?;$ @@ @@@@? @@ @@@@?  @@ @@@@? @@@@@@? @@ꐠ@@@@?: @@ߐ@@@@?: @@Ԑ@@@@?: @@͐@@@@?Ǡ:s @@@@@@?Π:Q @@@@@@?ՠ:/ @@@@@@?ܠ: @@@@@@?㠠9 @@@@@@?ꠠ9 @@@@@@? @@@@@@?9u @@@@@@?9W @@u@@@@@9( @@tm@@@@@ 9 @@lh@@@@@8 @@g\@@@@@8 @@[W@@@@@"8 @@VN@@@@@)8v @@MB@@@@@08T @@A;@@@@@780 @@:2@@@@@>n @@1@@@Eِ @@@@@@L @@ꐠ@1#@@@S7U @@㐠@1*@@@Z7 @@ِ@11@@@aؐ @@Ő@18@@@h6 @@@1?@@@o @@@1F@@@v @@@1M@@@}65 @@@@@@5 @@@@@@5 @@{@0@@@5 @@zt@0@@@5e @@sp@0@@@5I @@oc@j@@@5 @@b\@q@@@@[@@X@444TS4544_^4𢢢544吐4kj4֐ @444ʷ4x7@44h4@7@~4@4474@@A/@A@@By@A@B$@@A@4@@@@44  @44F@4<4C4D@/@@@@@4.3 @&# 34XA4N5U?5@@@@@4>3ݐ @63034hB5^5 eO374@@@@@4P3Ԑ @HEB34zC5p3qa@@@@@4`3 @XUR34D5%3q@@@@@4p3 @heb34E5Q{A3@@@@@43 @yvs34F5Fs@@@@@43 @34G5q5h0@@@@@43q @3s4H5e5Ƕ5yȩA43e3dF@@@@@43\ @3^4I5{ֶ5ݶ5޶@8ɠY@@@@@4Ƞ3R @3T4J555ڠZ3CM@@@@@4۠3= @ӠР3?5K555@]~@@@@@433 @355L5 4j5O3@@@@@43" @3$5)M54| 5'13z@@@@@53 @ 35;N514259#3 @@@@@5$3 @35NO5D6K22@732@@2@@582ؐ @0-*25bP5X3E@©Js@@2@@5I2 @A>;25sQ6i3!V@ө[qX@@3@@5Z2 @ROL25R6z6<ka!@@2@@5j2 @b_\25S6/6L6C@ 5&9&5E5D@@@@@5~2 @vsp25T6U57976&@@@@@52 @25U6S6p6g5I9I2|> 666@6U6X4T@@@@@52w @2y5V6rͶ6Զ6ն@ /5i9i/C@@@@@52p @2r5W6665{9{AR2i(2d4@@@@@5֠2_ @Πˠ2a6X666@ X59Xl@@@@@5頠2X @ޠ2Z6Y6 6 59ikX@@@@@52Q @2S6$Z6 5w 6 "59{\2bl@@@@@62J @2L68[6 .5 /6 65ɰ9ɩ@2@@@@@6!2C @2E6K\6 A5 B7 I5ܰ9ܩ$2ʠ2Ő@@@@@672< @/,)2>6a]6 W7 ^5925 9}@@2-@@6J2) @B?<2+6t^7 j7, q4#X@թ6:ԩ24 @@4 @@6_2" @WTQ2$6_7$ 47l@6:2 B5@@2@@6r2  @jgd2 6`77 4J@6-:-2q@@2'@@62 @|yv26a1 E 2@@1@@61 @16b2  @@1@@61 @16c1ٰ@ b é1 d  Q1 1  @@1@@61Ð @16d1 P1 :m 1@@1@@6à1 @16e1  ِ@@1@@6Ѡ1 @ɠƠ16f2 @  o1  q !Q@@1@@6⠠1 @ڠנ17 g2@  2    ;b@@2 @@61 @17h2,@  ~2!   2#   N N֐@@1@@71 @170i2?@@1@@71 @  17>j2M 2A 7  l r@@2@@7$1 @17Nk2] P@@2(@@721~ @*'$17\l2k /@@26@@7@1w @8521y7jm2y 2m c d |@@2F@@7P1o @HEB1q7zn2 2} s  @@1g@@7`1` @XUR1b7o2 @@1Y@@7n1V @fc`1X7p83 1O@@@@@7|1N @tqn1P7q8A 6 1G @@1D@@@@@71C @1B @1;1919@2@@710 @@1@1/1*1)@2@@71  @@12y5B@1(11@3 @@7Š1 @1 (@1 91à0@3@@7֠0 @Πˠ08r363   3 3  0 @@2@@7蠠0 @ݠ08s3! 3 30  3 &1 @@0@@70А @0  b@13@8 8 @0 ! !3/ :DD1 5񐐠0ɠ0@0@@80 @ 08@t3O#3C   Ʃ3E ; ; T T@@2@@8(0 @02 @0.À@9  9 @ ʶ9 N9 O@ j j 0 0~0}30-0[@3\@@8F0R @>;80T8pu3S0@@2@@8T0K @1)^; @0j6nqH@98 9/ @ 9; z92 {@   0 00J_\Y0.@3@@8r0% @jgd0'8v3 3   \А@@3x@@80 @1W  ۚ@0?y@9f 9] @ 9i 9` @ ĩ Ġ0٩0ؐ00@3@@8/ @08w3ٰ .̐@@3@@8/ @1 9ך@0$B@9 Ѷ9 Ҷ@ 9 Զ9 ն@  11//@3@@8̠/א @Ġ/8x4 <3  X 3   ͐@@1@@8ޠ/А @1 KؚF@/q/f: 4F .' 7.% 8F T.+ ;.) <F |AA/V.#."@;P;:/@.M+9@@@@@@@@@@@@@D."@@A@@@@@@@0. @0{/818;  dF08.W g.U hCM08!.[ k.Y l=005|8&@.z+9@=@.[.\.05@ .F.@0/׶82J8384850587.._\Y.@@@@0>. @jgd.:B;S2 "0@@@@@0M- @yvs-:C;b ;G 0@@@@@0\- @-:D;qP;hQ0@@@@@0k@@//G--𢢢;;-A- @-:E;h;i-j;p ˶@Z/@;f;h`:@ 3 -@@-@@0- @-;F; ; .  - ; @ ѠCΩ G>v@; 0@;; ݠCک -ܶ@ -۩ -ڐ@@5|@@0-ِ @ߠܠ-;9G-;;..; @-Ӷ@;;.)@@ 1 /@@-@@0Ѡ-ΐ @-;WH-+;,;-.L.-)-*;+@>} 1%@;Ȑ-ƶ@1% .@!-Ŷ@#1% -Ķ@'-é(1  -@@-@@0- @'$!-;I<U8G >r@@@@@1 - @741-;J< e<f<a@KGѩ ";@;Q5 @@-@@1"- @NKH-;K<7|<w G 7G <@@@@@15- @a^[-;L.W D H  H s--E@@.@@2b@@@-CI|-;@@@@I}-:-9z=-===== @@=A-=@@@@<< @@<1} @-2-3@@@@<Š< @+@< 02@-0Ġ-1@@@@<נ@- Ҡ Ϡ -@;@@=堠;[ @K@;cY@-   -@;@@=;G @]@;O,4@-   -@;4@@> ;0 @o@;8 r@-    - @@@@>;' @@;/4c@-    - @@@@>-;" @@;* nS@>N?U?V=A;G&?e.@?$=!{>- < 9 6- @@@@>O; @@;!@- N K H-@@@@>a; @@;.>z@?'?D?;>B; ɩ;6- i f c-@@@@>|; @@; D@- { x u-@@@@>: @@;eE@?p?g>IBI^-   -@@@@>: @ @;!E@,   ,@@@@>: @ @:\ @,   ,@@@@>Ƞ: @ .@:\o@, Ǡ Ġ ,@@@@>ڠ:ߐ @ @@:)M@??>BI:ٰB! ,  ݠ ,@:@@>:Ґ @ Y@::X@,   ,@<@@?:Ȑ @ k@:F-@,   ,@:@@?: @ }@:."@,   ,@:@@?): @ @:DN@, ( % ",@:@@?;: @ @:3[@, : 7 4,@:@@?M: @ @:Ş@, L I F,퐠@:u@@?_:o @ @:w !@, ^ [ X,될@:g@@?q:f @ @:n@,   ,ᐠ@:`@@?ˠ:D @ 1@:L!P@,ޠ ʠ Ǡ ,ߐ@:@@?ݠ:> @ C@:F\@,ܠ ܠ ٠ ,ݐ@:@@?:; @ U@:C\z@,ڠ   ,ې@:@@@:8 @ g@:@&aL?@,ؠ   ,ِ@; @@@:2 @ y@::N@Đ,֠   ,א@:,@@@%:% @ @:-5i@Ɛ,Ԡ $ ! ,Ր@:"@@@7: @@Ɛ,Ҡ 2 / ,,Ӑ@@@@@E: @@Ɛ,Р @ = :,ѐ@@@@@S: @@Ð9 N K H,ѐ@;@@@a9 @(@:QÀ@9 ` ] Z,А@;@@@s9 @:@:M&h€@9ڠ r o l,ϐ@;@@@9Ґ @9&@9Ǡ   |,ΐ@;@@@9 @ @9i@,ʠ   ,ː@;@@@9 @@,Ƞ   ,ɐ@9@@@9 @9Ț~@9(ҹ@9|   ,ɐ@9@@@ɠ9: @@,Š Ġ  ,Ɛ@;l@@@נ9/ @9 @9R@9" ؠ ՠ ,Ɛ@<@@@렠8 @@,    ,Ð@;@@@8 @9 @9*Jn@8   ,Ð@<#@@A 8 @@,   ,@<@@A8 @9t@8@8   ,@<%@@A/8 @@, * ' $,@<3@@A=8 @:f@8@8{ > ; 8,@@@A_8Q @:4Y(@8t}@8F ` ] Z,@:R@@As8 @ @8';= @x, r o l,@?/@@A8 @ @87UU@t,   ~,@7@@A7 @ @8ݝ@k,   ,@?S@@A@@@@@B2MBBB@A@2S, @   ,B@B׶BwҩBuEBlG@@@@@,, @BBA=BҠȩ@t3@Bː, Ǡ Ġ @@@@@,ɠ,{ @ Ҡ Ϡ ,}BDABBAX젩K:C@,c\7G<Nv@@@@@@,堠,z @   ,|B`BBL;א@@@@@,,y @   ,{BnCB$A%@d\@Ő@@@@@-,x @  ,zB~D6$46"5416@^@_n;ܐ@@@@@-,v @,xBE @@@@@-!,u @*'$,wBF6BR6@S4OT @@@@@-0,t @963,vBGCaAb@}@~A7@@@@@-B,s @KHE,uBHCsAt@t@@@@@-Q,r @ZWT,tBIC'tN@@@@@-`,q @ifc,sBJ66CT@&BJO@@@@@-s,p @|yv,rBK664@6 7O@@@@@-,o @,qCL66C{@@b֠|46K@@3@@-,n @,pCM6̶6ͶCԶ@ΩK @@@@@-,m @,oC(N6޶6߶C@ʶ@s@@@@@-,l @ǠĠ,nC9O660AIB@@@@@-Ѡ,k @ڠנ,mCLPC@9Ok@@@@@-ᠠ,j @,lC\QC@I@@@@@-,i @,kCkRC!C(@Y_O@@>@@.,h @ ,jC|SC2C9,g:jOAͩu@@@@@.,e @,gCTCGD N@O@@5@@.',d @0-*,fCUCXBYD`@ɐ@@@@@.9,c @B?<,eCVDjD,q@P,OOݐ@@,b@@.L,] @URO,_CWD"}D?@=OO@@6@@._,\ @heb,^CXDQƠAP@@@@@.o,[ @xur,]CYDEDb@@٠۠L@@6&@@.,Y @,[CZDYC렩DQCS@@@@@.,X @,ZD[DkƶC#Ƕ@P0@@@@@.,W @,YD!\D|׶C4ض=ٶ@8%@@@@@.,V @ ,XD4]DCG=@+#@@@@@.ˠ,U @ԠѠ,WDF^DCY=4<>Pp>PqM@@@@@.ࠠ,T @,VD[_DDHCQP}@@@@@.,S @,UDn`D$C%D,\dPh@@@@@/,R @  ,TDaD8C9D@pxB+{ Cܐ@@@@@/,Q @'$!,SDbDOCPEW@;}@@-H@@/2,P @;85,RDcEcCd~P@@@@@/B,O @KHE,QDdEsCtP@@@@@/R,N @[XU,PDeE(C>.@߶@7P@@@@@/f,M @oli,ODfE<C>B@@@@@@/w,L @}z,NDgEMD>S@ŠDaCM@@@@@/,K @,MEhEaD@@@@@@/,J @,LEiEp˶D(̶@!Q5@@@@@/,I @,KE&jEܶD9ݶE@Ewʶ@Ez͠QS]@@@@@/ ,E @ˠȠ,GE=kEDP*ED@@@@@/Ԡ,D @ݠڠ,FEOlEDb@!=Qv@@@@@/堠,C @,EE`mEDs>@@O'9d(@@@@@/,B @,DEsnE)D*>+@jb::\@@@@@0 ,A @,CEoE<D=>>tLNQNQN@@@@@0 ,@ @)&#,BEpEQDR>SaUd9c@@@@@05,? @>;8,AEqF fDg?h*w9@@@@@0J,> @SPM,@ErF {D|F>@b@E6QAQW@@@h@@0a,= @jgd,?EsF7DFU@Sˠi@@6|@@0s,< @|yv,>EtFIE@s@@@@@0,; @,=EuFZE@@@@@@0,: @,<FvFiĶE!ũߠR-@@@@@0,9 @,;FwFyԶE1թRE@@@@@0,8 @,:F.xFEA?@D|@א@@@@@0Ơ,5 @Ϡ̠,7FAyFET@Ʃؐ@@@@@0נ,4 @ݠ,6FRzFEe @ש@DRs@@@@@0頠,3 @,5Fd{FEw5FR@@@@@0,2 @,4Fu|F+E,@Gc @@@@@1 ,1 @,3F}F<FCs @@@@@1,0 @%",2F~FMEN\5\B@@@@@1.,/ @741,1FG_E`Rɐ@@@@@1?,. @HEB,0F@GpG2wsRR_@@@@@1O,- @XUR,/FAG%GB@fRR@@/v@@1`,, @ifc,.FBG6E@<GU@,+R@<@@@@@1u,* @~{x,,FCGKF@QGj@@,)S9@@9.@@1,( @,*GDGaF@gGŶ@@9;@@7@@1,' @,)GEGvѶF.Ҷ@|ӶGڶ@@+ *Đ@@7@@1,& @,(G/FGՠɩF`A@@,@@1ɠ, @ҠϠ,GDGF@@,@@1ؠ, @,,Sv@, , +琠@+@@1ꠠ+ې @@ǐ+٠+ڐ@@@@1+א @+GsH,3ضG0S0@,C0nEDYSS@@+@@2+Ԑ @+GI,L+ѩF@,$ŀJkS@@Dc@@2'+ΐ @0-*+GJGX,J}Sː@@Du@@29+͐ @B?<+GKHj++ʶ+SڶE$GS,wSwSSש+y @++@@2O+ @XUR+GL++=@+E:-+SH*@F@j+@HK98=FA6@ @H' )@++~JT<+x@+w+s@@2r+q @{xu+sGM,+p=@+jE]P+THM@HOG9Y>@+c@PT@Hs9`=G@+`@HO ȶ@+_= +^>Pe+]@+\+X@@2+R @+THN,-+Q=+KEx,%T<Huж@=@Hٶ9>*@S+DK%B@+?+;@@2+5 @+7H.O,E+4=@+.E,>TU@HGG9K;@+'@PڠTV@H9>IH@H<>@+&=۠A+%H>TTm+$@+#+@@2ܠ+ @+HWP,n+++>#+ EǶ@+9,iP+PH@*@H9=*=@*> **@**@@2*ː @*HvQ>F@-*ʶ@H/@=c@H2G3@=eH;@Hΐ!*Ķ@*öH;K@**@@3* @ *HR>b@I*@HKGL@*@T@@IWHR@@9D> _HW*@**@@33* @<96*HSI d h%TXT֐@@*@@3D* @MJG*HTIu,*,TF/"*)-*FҠ*FՠIBql*QHQq-*-QtTTT@**@@3e* @nkh*HUI;,**y*w*u*s,UFR@*r@9QG*qU@*p*n@@3}*a @*cHVISH Iq-*`****- U!Fl@*ZXQEQU&@*UL QU!@IT*P@*O>j*NQ>m*M@*L*J@@3*1 @*3IWIyԶ-6*0-,UDF@ HqQTUG@***(@@3* @*I1X-H***Ƕ**öFڶ**QzUZU[**QQUV-GL@II>㠩* LFUf* @@* @@3ՠ* @ޠ۠*IPY-g*6**F*/*UxUqUy-bQ*QI@+?f))@@)@@3) @)IjZ-*P++**F*J9*F7-|LuI'H(@g?))@@)@@4 ) @ )I[-*jF4-UHհUUU0UU@@)@@4) @%")I\-*}+/+-+++)G@*wf*sd-LITJ[@?@?;?RE?U1@@)@@48) @A>;)I]-*+K+I+G+EG#\**-LJpJ2w@V?\I@@)@@4P)ސ @YVS)I^-*+c+a+_+]G;t**-LֶJ-JJ@n?t?U5?q?R{e@@)@@4l)ڐ @uro)I_-*Ͷ++}+{+yGW**-LJIJf@d?}@@*@@4)ِ @)I`.*++++Go*ζ*̶.M JaI?f?M h?MV0j?MV+l)ؐ@@)@@4)Ӑ @)Ja.4+++++Gƶ**./M(JڶI7۩?ˠ?M.@@)@@4)ϐ @Ġ)J6b.M+++̶++ȶG߶++.HMAJIP@JJթ?⠩?@R8R?@TVkҐ@@)@@4ڠ)ΐ @)JUcJ ))˩I)ͩ)Ϸ@)VwV) )V{)V@@)@@4) @)JldJ"I))V)̐@@)@@5) @ )J}eJ3,Y/@HHJA+& Iְ)H)Đ@@)@@5) @&# )JfJN@1I*)@@@@@5-) @630)JgK^I_K!f@@d)I*$M*;@@@@@5E) @NKH)JhKvfZJ*9* @@@@@5V) @_\Y)JiK,@U@@@@@5d) @mjg)JjK:)*U@J0*XZ))K]d@@)@@5x) @~{)JkKN@KB4)Kp@@)@@5) @)KlKaJ@JW*>HY@@)@@5)~ @)KmEE*)|N@@E@@5)z @C Y@)><@KK%)y)C@)@@@5à)< @̠ɠ)>K>nJ*s*@@@@@5Ҡ); @۠ؠ)=KMoK J*ĩ):@@@@@5㠠)8 @):K^pKJqJ*֩*Ƞ'ސ@@@@@5)7 @)9KtqK*J+@7JŰ*l*r@@@@@6)6 @)8KrK?J@@[)5@@@@@6), @'$!).KsKOJPLW@Q@"@K)+;8)(KtL fJgK+(+R+0@@@@@6K)% @TQN)'KuL!|J}K+>)$f@@@@@6]) @fc`)!KvL3J)&$@@@@@6m) @vsp) KwLCL`@K9+a @@@@@6) @)KxLVLs@qKL+t+j@@@@@6) @)LyLiĶL˶@K_++}H8 @@@@@6) @)L#zL~ٶL@Kt+@@@@@6@@@@@L;8@ZhFM fKO6֐@@@@@)) @NKH@ZxGMvM8}@א@@)@@)( @]ZW@ZHM*@g@@)@@)( @khe@ZIM8MUL-P-YP"@@@@@) ( @}zw@ZJؐ@@@@@)Π( @@ZKMVMsLKPKY$uM;@@@@@)ࠠ( @@ZL͐@@@@@)젠5 @@ZMMթLhPh  AP\@@=@@)) @@ZNŐ@@@@@*) @à@ZO@@@@@*) @Ϡ̠@ZP@@@@@* ) @۠ؠ@[QM M @éLPdM@@@@@*1)  @@[RM M @@@@@@*@7 @@[%SM #LP`FP@@@@@*P7 @ @[5TM 3L 4LͰP^qLѐ@@Hj@@*a7 @@[FUM DL EF F@@LPFPՐ@@>0@@*u) @0-*@[ZVM XL YG Z@LPA@@>C@@*) @C@=@[mWN kL l@@@@@@*7 @ROL@[|XN zMQG=Q@@@@@*7 @b_\@[YN/ L @@M&Q&L.QM)Q)BQ@@@@@*7Ð @xur@[ZNE L GK @@M=Q=GJQ1@@@@@*Ѡ7 @@[[NY M @ː@@@@@*ࠠ)$ @@[\Nh ö@M]Q]NK, ηN ϩL MdlVKfR@@)&@@*)$ @@[]Ms{eR@@*g@@+)& @ @[^N N N @MQQy@@@@@+7D @ԠѠ@[_N N!@KMQ; Q@@@@@++)+ @@\`N!N!N!@MQ/Qɐ@@@@@+=7> @@\"aN! N!'@MQ_ Q@@@@@+O7+ @ @\4bN!2N!9@MͰQͩq Q@@@@@+a7$ @@\FcN!DO!K@M߰Qߩ QӐ@@@@@+s)6 @.+(@\XdN!VMQ&)8ؐ@@@@@+). @?<9@\ieO(!mNRQ@@@@@+)0 @OLI@\yfO8!}O/!~@!ةNRO@@@@@+)1 @a^[@\gOJ!OA!@N$R$R!@@@@@+7? @rol@\hO?!M!N4R4 R(@@@@@+Ƞ7= @}@\iOP!N!@NFRF R:@@@@@+ڠ7= @@\jOb!N!Hh!@NYRY RM@@@@@+7< @@\kOu!жN-!ѶH{!Ҷ@NlRl  R`@@@@@,7< @@\lO!N@!H!N~R~ " Rr@@@@@,78 @͠ʠ@\mO!O!NR 3 R@@@@@,#75 @ޠ۠@]nO"Nc"O"NR E R@@@@@,57 @@]oO"Nu"NR . R@@@@@,F7 @@]+pO")N"*NðRé ? R@@@@@,W7 @ @])42222Nж2259T2Q#Q#@@@)@@.1j @ˠȠ@^H5T)J22Ӷ22϶N2 2 5OTHQ#Q$@"I@@)4@@.&1f @ޠ@_ I5j)`2222N23"2/ 5eT^Q$Q$@"_@@)J@@.<1\ @@_!J5)v3222N 2I82E65{TtQ$&Q$-@@@)`@@.R1 @  @_7K5)3333N (2_N2[L5TQ$<P$=@R$EG@@)w@@.i.̐ @$!@_NLQ$LR$S@"@@@@@.x.ǐ @30-@_]MR$[R$b@@@@@@.. @B?<@_lNR$jR,$q@"@@@@@.. @QNK@_{OR$yR;$@@@@@@./ @`]Z@_PR-$P$@L^@@@@@./ @oli@_QR<$P$@"X@@@@@.à(9 @~{x@_RO]#2ͩLL%KUB%8L^RQ$Rn$QFUF# ^!EN6"T@@@@@.ޠ(; @@_SOx#2Rh$éQ\U\ F "!+R$(=^9@@@@@.(; @@_TO#Ķ22R$کQsUs F#NZ"!DF(@@@@@/ (= @ǠĠ@_UO#۶3IR$QU#.(?$$ F>U@@(5@@/"(- @ݠڠ@`VO#3,_R%QU#D(/DU@@(I@@/6(* @@`WO$3@sR%R%"@(,$S![["ߠ^@@O@@/M(* @@`2XO$3WR%2R%9@(,$j@@@@@/`(* @@`EYO$/3jR%EQ%FS%M@(,@[&@=<41^!E3!D@@O@@/~(* @963@`cZP$M3S%cQ%dS&%k@(,@$@@@@@/(* @NKH@`x[P-ZCw[@C@DS%z$"!Di!D$!㠷SD%(,^@@P@@/() @heb@`\PG$|3S7%Q%$ɠ!["Ӡ@@P0@@/à(+ @~{x@`]P]$3SM%@Sk%@#(-RDVD!FV8@@@@@/ؠ(* @@`^Pr$3Sb%@RWVWVJS%Ƕ@(,@@@@@/젠(* @@`_P$3)Sv%ѶS%ض@$ @(,RmVm!ES\@@@@@0(* @@``P$ж4 >S%@RV$Sn1%S%QC(@@.F@@0(, @ӠР@`aP$4"US%RV#O|")9@@(.@@0,(, @@abP$46"xS&@S&@$a(lRV"G_S@@@@@0A(. @@a&cP%4K"S&&@RVMSS&0@(0@@@@@0U(. @  @a:dP%$4_"S&:S&A@$@(RְV֩"<F%Vʐ@@@@@0j(0 @%"@aOeQ%94t"S&O@RVvVܩ2L&ZT&[Q");@@(2@@0(- @Q@&h3!T&c# 3$T'&l(,_3 @QT &h3'(*GDA@@@@@0( @ROL@a|fQ1@'3:D|@NN'!3@'2,_@T(&S3D<@([<|TM&(!_3= Ey E4@@( @@0( @uro@agQT@#TD&S83`Te&(`#"Ő@@Q<@@0Ϡ( @@ah8(5555Ql D @5['Y\'F\`@5V&W \`)@5a'_J'LW`,@5\&IJ\8ITi&Ķ@T&̶@&(I#p( #q( @( (@@0' @@aiQ^D_@]@^T&ܶ@T&@&'Sx3\J6]L @@'@@1 @@@@@'TDt'TTT@A@1",EqPropertiesaa'''@a'@T @''''@@@'T @'''@@@@'' @@''@@@@'' @@''@@@@'Ơ' @@''@@@@'͠T @@''@@@@'@'@@@@$,F@'x'u@A@$3@'t'q@A@AB'p]c @'@'鐑a @(Ja @A@'s@@@@aT @@'X`'T@@@a S @@'R'G@@@@aS @'F@'6`'5@@@@aS @'2@'B`o)'.@@@@a)SN @'+@''`G5''@@@@a5Q @'$@'` A'@@@@aAQŐ @'@'+_ƠM'@'@@aMS @@''@@@@aTSq @@''@@@@a[T& @@''@@@@abS? @@' ' @@@@aiSg @@' ' @@@@apS @@''@@@@awRɐ @@''@@@@a~R @@''@@@@aR @@''@@@@aUd @'@&_&@@@@aU_ @@&&@@@@aT( @@&&@@@@aT  @@&&@@@@a95 @@&&吠&@@@aRV @@&&@@@@aR7 @@&&ߐ@@@@a R @@&&ݐ@@@@aɠ+E @@&&Ӑ@&@@aР4 @@&&ɐ@@@@aנR. @@&&@:-@@aޠ1 @@&&@1@@a堠^0 @@&&@@@@a젠( @@&&@@@@a( @@&&@@@@a( @@&&@@@@b] @@&&@@@@b] @@&&@@@@b& @@&&@@@@b& @@&&}@@@@b&| @@&{&l@@@@b$&k @@&j&c@@@@b+]  @@&b&X@@@@b2] @@&W&M@@@@b9] @@&L&F@@@@b@\ @@&E&:@@@@bG\ʐ @@&9&5@@@@bN\ @@&4&/@@@@bU\~ @@&.&!@@@@b\\Z @@& &@@@@bc\. @@&&@@@@bj& @@& &@@@@bq[ @@&%@@@@bx[А @@%%@@@@b[ @@%%搠@@@@b[~ @@%%ᐠ@@@@b[\ @@%%Ր@@@@b[: @@%%А@@@@b[ @@%%ǐ@@@@bZ @@%%@@@@bZ͐ @@%%@@@@bZ @@%%@@@@b7 @@%%%%@@b5R @@%%u@%t@@bŠ%s @@%r%c@S@@b̠Yΐ @@%b%\@S@@bӠY @@%[%R@S@@bڠ%Q @@%P%>@S@@bᠠY2 @@%=%3@S@@b蠠%2 @@%1%!@S@@b%  @@%%@S@@bX @@%% @%@@bXn @@%$@%@@cX* @@$$@S\@@c W @@$$퐠@Sc@@cWސ @@$$鐠@Sj@@cW @@$$ܐ@2@@c W @@$$Ր@2@@c'@$Ԡ@@@@$,F@$)@A@$3@$)@A@AB@Wt|Ww"~WdW~Wh"zWV𢢢WWpW["vWH @"r@"fWO"e@@@@VuVe @X"ZV@"W@@@@@VVD @b"RVA"O@@@@@VV( @l"LVB"I@@@@@VV @v"DVC"A@@@@@VU @">VD";@@@@@VUߐ @"8VE"5@@@@@VUƐ @"1VF".@@@@@VU @",VG")@@@@@VŠU @"&VH"#@@@@@VϠUu @"VI"@@@@@V٠Uc @"WJ"@@@@@V㠠UE @" W K"@@@@@VU3 @"WL!@@@@@VU @!WM!@@@@@WU @!W)N!@@@@@W T @!W3O!@@T@@WT @!W=P!ې@@T@@WT @!WGQ!Ԑ@@T@@W)Ty @ !WQR!͐@@T^@@W3TZ @!W[S!ǐ@@@@@W=TI @ !WeT!@@@@@WGT< @*!WoUX *eX'*lX*mW[!T2`X}XgXR@X<6 X!@@@@@WbT, @E!WV!@@@@@WlT @O!WWX/*XL*XC*W%[%!T!ѩT '@@@@@WT @b!WX!@@@@@WS @l!WYXh*X_*WA[A!?@@@@@WS @z!WZ!@@@@@WSݐ @!W[!@@@@@WS͐ @!W\!@@@@@WS @!W]Xx*ӶX*کWm[m)!S+xmZ&{@@S@@WƠS @!}W^!z@@Uz@@WРS @!rW_!o@@S}@@WڠSr @!iX`!f@@S@@W䠠Sc @!aX a!^@@SM@@WSI @!]Xb!Z@@S>@@WS8 @!YX c!V@@S@@XS @!PX*d!M@@S@@X S @!JX4e!G@@S @@XR @!FX>f!C@@S6@@X R @!?XHg!<@@S@@@X*Rڐ @ !8XRh!5@@R@@X4R @!/X\i!,@@R@@X>R @!!+Xfj!(@@S>@@XHR @+!%Xpk!"@@SH@@XRR @5!!Xzl!@@SR@@X\R @?!Xm!@@S\@@XfR @I!Xn!@@Rw@@XpRp @S!Xo!@@Re@@XzRb @]! Xp! @@@@@XRV @g! Xq!@@@@@XRC @!@ R6t @S@@XR+ @J@R>@ R$ @S@@XR @Z@Rå@ R @T@@XR @R+)"@ Q @T@@XȠQ @ Xr @@S@@XҠQϐ @ Xs @@Q@@XܠQ @Q+ )@Q!i@ ␐Q ې@Q@@XQ_ @ Yt ֐@@S@@XQP @Q" )Ӛ@Qs yk@ АQC ǐ@T @@Y Q @ Y2u @@S@@YQ  @Q" )@Q*#ᡀ@ Q @T<@@Y&Pِ @  YNv @@T&@@Y0P̐ @R+ )@P<2Ҁ@ P @T8@@YBP @% Yjw @@TB@@YLP @R!+ )u@PQ@ P8 @TT@@Y^Pi @A Yx @@RG@@YhPZ @R=+ )b@P};@ POT @RY@@YzP& @] Yy |@@W.@@YP @g sYz p@@O@@YO @q bY{ _@@WB@@Y@@@@f~OࠠOߒ𢢢ZZOAOߐ @ ZY@Oِ@@@@@OwOg @ XYAOa@@@@@O@@@@fO=O<𢢢ZZOAAO<,<O@O;O9TO8 UAAN UNN@ZZOT@OL=@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BGN@@A@@@@NN@OĠN @P/OrWOgW LW IWN۷WNڷWҶP6U*P4U+@c]9[1[O@O=@X@Nٶ@ WNطWPHU<PFU=@@NҶ@NѷWPNUBPLUC@@N̶@ N˷WPTUH@]\NƞNNP[UOWNP^URW &@O]O^NPbUV@Nf$N F DP3P9PeUYPcUZX/X0NPiU]PgU^X3X 4NPmUaPkUbX 7X 8NPqUeXN@PsOXOX X XOXOXDX3X.X)"N, C@@@@PNo,<NsNnOU}NlPU@8O @ = 9AAONXNW@[[oO@Ng@@@@@@@@@@@@@DNW@@A@@@@@@@PENR @POXN&XO 5XP 3XQ 0PUXS~@Ng@]@NNNIPU@ N?gN>@PPX_7X` FXa DXb APUXdN=N<w .@@@@PiN+ @ ,ZB )@@@@@PsN! @ 'ZC $@@@@@P}N @ "[D @@@@@P@@OOgNN𢢢[[NAN @ [E @@M@@PM @ [F @@Um@@PMʐ @[(G@@M@@PM @[2Hې@@M~@@PMx @[IWW@'MK@@@@] Y @@Y Ӏ@]0*]01]02\Ű`'JY'qY2K@@@@]"Y @@Y/۴@'MK @@@@]2Y @@Y1g՞@^0Y^ 0Z\`'JVK @@@@]FY @@Y8@'MK 0@@@@]VY @@Y-c@'IK @@@@@]fY @@Y9Ȁ@'FK P@@@@]vY{ @&@Y;O@^<0^Y0]1a1.Yu1<`,?K g@Yp@@]Yl @=@Yt'߀@'DK w@[G@@]Y` @M@Yh5@'?K @YP@@]YE @]@YM$o@'<K @Y`@@]Y< @m@YD6@':K @Y,@@]͠Y( @}@Y0!7\@'<K @Y#@@]ݠY @@Y%65@'>K| @Y@@]X @@Y7(j@';Kx @X@@]X @@XP@';Kt @Y@@^ X @@X6@'=Kp @Y3@@^X @@X1gթ@'<Kl @YC@@^-Xݐ @@X6޷@';Kh @X@@^=Xː @@X ހ@'8Kd '@X@@^MXƐ @@X8@':K` 7@YS@@^]X @ @X-n@':K\ G@Yc@@^mX @@X9Ӏ@'<KX W@Ys@@^}X @-@X@'>KT g}@Y@@^X @=@X<@'>KP w{@X@@^X @M@X"€@'>KL y@X@@^X @@'<KH w@@@@^X @@':KD u@@@@^ŠXz @'7@'5Xm s@Z@@^ѠXb @@X7F8@'2X[ q@Z'@@^ᠠXO @@X8@'/XH o@Z7@@^X> @X=20("@',X3 m@ZE@@^X @@X'b߀@'*K4 k@Z%@@_X  @1@'$K0 i@W@@_W @W2:'00.8@X" @@'!W g@X @@_-W @3@'K) e@Y@@_9W @X(C' 0V@WhPB@'W %c@Za@@_KWW @5@'K" 1a@Y@@_WWN @X,(a'>0t@Wm3D@'WC C_@Z@@_iW @7@&K O]@Zk@@_uW @XJ1'/Κ@W25҅F@&󐐠W a[@Z}@@_V @9@&䐑K mY@Z@@_Vܐ @Xh2'/@V {ӅH@&吐VѠ W@Z@@_V @;@&֐K  U@X@@_V @X2&/@V4J@&ӐV S@X@@_àVo @s@Vw(gy@&ȐK Q@]}@@_ӠVb @@Vj$@&K O@VI@@_㠠VD @@VL5( q@&J M@]@@_@@@@@ aP aa`@A@PJ @ K`c@H@@@@@JJ @C@:Jנ :@@@@KJ @ 8`yA`3϶`30_313!io KaC@K>l5U|5@@@@@KJ @ 3`B0@@@@@K!J @ /`C,@@@@@K+J @ )`D&@@@@@K5J @ )!`E(֐@@@@@K?J @ 3`F@@@@@KIJ @ =`G@@@@@KSJ @ G`H@@@@@K]J~ @ Q `I @@@@@KgJx @ [`J@@@@@KqJn @ e`K@@@@@K{Jc @ o`L@@Q@@KJX @ y`M@@@@@KJO @ aN@@@@@KJG @ aOِ@@@@@KJ= @ aPА@@@@@KJ6 @ a&Qʐ@@@@@KJ0 @ a0RŐ@@[@@KJ( @ a:S@@@@@KˠJ @ aDT@@Sx@@KՠJ @ aNU@@@@@KߠJ  @ aXV@@I@@K頠I @ abW@@S@@KI @ alX@@@@@KI @ avY@@S@@LIݐ @ aZ@@@@@LIԐ @ }a[z@@@@@LI̐ @ va\s@@@@@L%I @ ma]j@@@@@L/I @ #ea^b@@@@@L9I @ -Za_W@@@@@LCI @ 7Qa`N@@@@@LMI @ AGaaD@@@@@LWI @ K:ab7@@Jw@@LaI @ U0ac-@@@@@LkIx @ _*ad'@@@@@LuIq @ i$ae!@@@@@LIf @ saf@@@@@LI^ @ }bg@@@@@LIS @  b h@@@@@LIM @ bi@@@@@LIE @ b j@@@@@LI4 @ b*k@@@@@LI+ @ b4l@@@@@LŠI# @ b>mސ@@@@@LϠI @ bHnՐ@@@@@L٠I @ bRo̐@@@@@L㠠I @ b\p@@@@@LH @ bfq@@@@@LH @ bpr@@]@@MHݐ @ bzs@@S@@M HԐ @ bt@@@@@MH̐ @ bu@@@@@MHƐ @bv@@@@@M)H @bw@@@@@M3H @'bx~@@@@@M=H @1xbyu@@@@@MGH @;qbzn@@@@@MQH @Eib{f@@@@@M[H @Obb|_@@@@@MeH @Y[b}X@@@@@MoH @cTb~Q@@@@@MyHz @mLbI@@@@@MHr @wEb@cW5ct5B@@@@@MHn @Bc Acd5c5ƶ@5?@@K@@MHj @?cBcr5Ͷb*5ζ\x5϶c5ֶ@Hg<@@@@@MHd @;c(Cc5޶b;5߶\5c5@5ƶ@Ha8@@Ud@@MH^ @7c:Dc5bM5\5c5@5ض@4@@S@@MѠHX @2cJEc6b]6\6c6 @5¶@"/@@S@@MᠠHS @.cZF+@@H>@@M렠H6 @#cdG @@H/@@MH. @@H"@G@@NG @2@4ސG@@@@N G @cHHF4c6C6-6(o@HVfb@@G@@N"G @cIH[5G66ਗ਼ @H fzoȐ@@`r@@N6Gݐ @*cJd 6e5&foؐ@@`@@NFGڐ @:cK @GG@@NPG @DcLGGYa83+God(6@@dG6U4Yݶb6]26@'@@YGyGx@GnGj@@NiGh @]cM@G4G0@@NsG* @gcN֐@G G@@N}F @qcOȐ@FF@@NFĐ @{dP@FF@@NFa @d QY@@dh6öc 6Ķ@Xd6̶@@FQ@FOFM@@NFK @dR@F/F-@@NF+ @|d'Sy@@F#@@NF @ud1Tr@EE@@N Eݐ @^d;U[@EE@@N̠E @PdEVd6cX6d7H_EEE޶EEڶHWpnag@M@K@I@EF@EE@@N㠠Eq @Ad\W>@EaE_@@NEO @8dfX5@@E,@@NE$ @#dpY @@E@@OE  @dzZ@@D@@O D @d[@@D@@ODܐ @ d\@@D@@ODǐ @d]@@D@@O)D @d^א@@D@@O3D @'d_Ő@@D@@O=D @1d`@@D|@@OGDx @;da@@Dh@@OQDe @Edb@@Dr@@O[DO @Odc@@D,@@OeD* @Yuddr@@D@@OoD @cndek@@C@@OyC @m]dfZ@@@@@OC @wWdgeW7d7eu7@ֶ@CT@@@@@OC @Oe hL@@@@@OCߐ @HeiE@@@@@OCڐ @De jA@@C@@OC @:e*k7@@C@@OC @1e4l.@@C@@OŠC @)e>m&@@_@@OϠC @]6/4{@C/0@"C!@C^@@OᠠCZ @eZn@@@@@O렠CT @edo@@@@@OCJ @enp@@@@@OC= @exq@@@@@P C1 @er@@@@@PC! @es@@@@@PC @et@@@@@P'C @euڐ@@@@@P1B @%evҐ@@@@@P;B @/ew̐@@@@@PEB @9exÐ@@@@@POBؐ @Cey@@@@@PYB̐ @Mez@@@@@Pc@@@@@fVfffo@A@BƠP[ @d@#BŠb@@@@BŠB @ks@0@@V@@BϠB @usA@@@@@B٠B @sB@@`;@@B㠠B @sC@@@@@BB @sD@@@@@BB @sE@@@@@CB @sF|@@@@@C B @ysGv@@Bu@@CBq @tsHq@@B@@CBe @ptIm@@@@@C)B_ @ht J0=@@@@@C3B_ @ftKc@@@@@C=BY @^t L0(@@@@@CGN @\t*MY@@W @@CQBV @Vt4N0@@@@@C[BV @Tt>O0@@@@@CeBV @ RtHP0@@@@@CoBV @PtRQM@@@@@CyBQ @It\RF@@@@@CPʐ @)DtfSA@@@@@CPŐ @3>tpT;@@a@@CP @=7tzU4@@W\@@CB@ @G-tV*@@Wf@@CB9 @Q$tW!@@@@@CPȐ @[tX@@@@@CP @etY@@@@@CɠPϐ @o tZ @@@@@CӠP @yt[@@@@@CݠB! @t\@@B@@C砠B @t]@@CQ@@CB @t^@@@@@CP& @t_@@@@@DB @t`ؐ@@@@@DP @taА@@@@@DO @tbȐ@@@@@D#O @uc@@@@@D-A @ud@@@@@D7A @ue@@@@@DAAݐ @u$f@@@@@DKA֐ @u.g@@@@@DUOݐ @u8h@@@@@D_OԐ @uBi@@@@@DiO̐ @uLj@@@@@DsO @uVk@@@@@D}O @#~u`l{@@@@@DO @-vujms@@@@@DO @7outnl@@@@@DOk @Agu~od@@@@@DOd @K`up]@@@@@DO] @UYuqV@@@@@DN @_LurI@@@@@DàN @iEusB@@@@@D͠Nݐ @s=ut:@@@@@DנNӐ @}4uu1@@@@@DᠠNɐ @+uv(@@@@@D렠N @#uw @@@@@DN @ux@@@@@DN @uy@@@@@E N @ uz@@@@@ENl @u{@@@@@ENe @v|@@@@@E'N^ @v }@@@@@E1N- @v~@@@@@E;N% @vܐ@@@@@EEAQ @v(@Ԑ@@@@@EON @v2A͐@@@@@EYN  @v<BƐ@@@@@EcAD @ vFC@@@EmA @vPD@@@@@EwI  @vZE@@@@@EI> @'vdF@@@@@EI @1vnG@@@@@EH @;vxH@@@@@EHߐ @EzvIw@@@@@EHɐ @OnvJk@@@@@EHy @YbvK_@@@@@EF  @cUvLR@@@@@EǠF @mPvMM@@@@@EѠF  @wKvNH@@@@@E۠F @FvOC@@@@@E堠FՐ @AvP>@@@@@EFɐ @<vQ9@@@@@E?o @7vR4@@@@@F?` @&vS#@@@@@F ?S @vT@@@@@F?H @ vU @@?4@@F!?, @wV@@?>@@F+? @wW@@f@@F5? @wX@@@@@F??  @w"Yf; JGzi<"h<#i<*@? @ra=@S !Hdݐ@@f@@FX? @w;Zf;%J`i<;h<<i @wV\Đ@@f@@F}> @#w`]@@@@@F>ِ @-wj^@@@@@F>ϐ @7wt_@@@@@F>Đ @Aw~`@@D@@F> @Kwa@@>@@F> @Uwb@@@@@F> @_ywcv@@@@@Fà> @iowdl@@@@@F͠> @sdwea@@>@@Fנ> @V@P>xO@@@@F㠠>k @Mwfg{JZK@I@Jjm<ȩiaI@> ioEI[[w@@>c@@F>^ @Dwgg0¶@9Gj<iyIA?@@gz@@G >S @?wh<@>,>*@@G> @#wig~Z@}@~j<@ iI5`T6b+@@>@@G+@@@@@kZkjj@A@G@@@@B@2>!@+5>L@ABC ӳ2@ ӳ2[BBB@@A@ Գq@ Գq\@A@AD@cAGCGBGA@A.0TQ+Ring_theory+setoid_ring#Coq@@ABA.U>[J @B@>?@ABC>6>3E>i>$Fd>G@/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 8J0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/OߠC  @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;ꮹ*FSetDecide%FSets#Coq@02[dS(]R1)FSetFacts%FSets#Coq@0;yD.5[lN0^s h@ >Eb 驠rҐ0k?^+*-J⠠)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+$List%Lists#Coq@0>I+ListTactics%Lists#Coq@0,Jcy{K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")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@0III@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`&irHȠ+@y.rHȠ@y(@y*"y5Uf@A@xo'@@>$@BA@A@>,:@@>@A@AB@xy,@ABb2 Q@@@@#_118@c 6_t@A@@@@@@@@#_122M접@#_13'`o@C@@@@yx&x)@Uy2 Q@@A@#_32d@UJ#@A@@@@@@@@@@@#_332M접u@UJ##_34'`o@@UJ#D@@@@@xX̠Ϡy6@U2 Q@@A@#_35@U,U@A@@@@@@@@@@#_362M접@U,Uɐ#_37'`o@@U,UC@@.function_scope@xxA@UȠ2 Q@@A@#_38@U,U@A@@@@@@@@@@#_392M접@U,Uʐ#_40'`o@@U,UD@@@@@xàxƠx=@U2 Q@@A@#_41@U04_@A@@@@@@@@@@#_422M접@V 04_#_43'`o@!@V04_C@@k@xxA@V 2 Q@@A@#_44:@V04`@A@@@@@@@@@@#_452M접J@V%04`#_46'`o@T@V/04`E@@@@@@y.y1yy @V22 Q@@A@#_47u@V=)@A@@@@@@@@@#_482M접@VL)Ȑ#_49'`o@@VV)A@@@VQ2 Q@@A@#_50@V\'L@A@@@@@@@@@#_512M접@Vk'L#_52'`o@@Vu'LA@@y@Vm2 Q@@A@#_53@Vx Gv0@A@@@@@@@@@@#_542M접@V Gv0#_55'`o@@V Gv0C@@@@y/y@V}2 Q@@A@#_56@V Gv1@A@@@@@@@@@#_572M접 @V Gv1#_58'`o@@V Gv1B@@@y점y@V2 Q@@A@#_59*@V>v@A@@@@@@@@@@#_602M접:@V>v#_61'`o@D@V>vB@@@z@V2 Q@@A@#_62Y@V>v@A@@@@@@@@@@@#_632M접j@V>v#_64'`o@t@V>vD@@@@@zMĠ{$@V2 Q@@A@#_65@V0/ӥ@A@@@@@@@@@@#_662M접@V0/ӥ#_67'`o@@W0/ӥB@@@z@W2 Q@@A@#_68@W 0/Ӧ@A@@@@@@@@@@@#_692M접@W0/Ӧ#_70'`o@@W'0/ӦD@@@@@z(+{@c̠2 Q@@A@#_71@cs@A@@@@@@@@@#_722M접@cs#_73'`o@@csA@@X@WL2 Q@@A@#_74"@WW9z@A@@@@@@@@@@@#_752M접3@Wh9z#_76'`o@=@Wr9zC@@@@{{@Wv2 Q@@A@#_77V@W#"G@A@@@@@@@@@@@#_782M접g@W#"G#_79'`o@q@W#"GC@@@@{I{L@W2 Q@@A@#_80@W<@A@@@@@@@@@@@#_812M접@W<#_82'`o@@Wv@A@@@@@@@@@@@$_1232M접X@Y>v$_124'`o@b@Y>vD@@@@@~;~@gϠ2 Q@@A@$_125@g>ڳ@A@@@@@@@@@@$_1262M접@g>ڳ$_127'`o@@g>ڳC@@@@~q堐~F@Yנ2 Q@@A@$_128@Y0/ӧ@A@@@@@@@@@@@$_1292M접@Y0/ӧ$_130'`o@@Y0/ӧD@@@@@~~~@h2 Q@@A@$_131@h0!8J@A@@@@@@@@@@$_1322M접@h+0!8J$_133'`o@@h50!8JC@@@@~ܠP~@h2 Q@@A@$_134@h)@A@@@@@@@@@@$_1352M접-@h9$_136'`o@7@hCC@@@@~@h82 Q@@A@$_137P@hC/@A@@@@@@@@@@$_1382M접`@hS/$_139'`o@j@h]/C@@@@B@Zk2 Q@@A@$_140@Zvx@A@@@@@@@@@$_1412M접@Zx$_142'`o@@ZxA@@r@Z|2 Q@@A@$_143@Z_ @A@@@@@@@@@$_1442M접@Z_ $_145'`o@@Z_ A@@ @Z2 Q@@A@$_146@Z_!@A@@@@@@@@@@$_1472M접@Z_!$_148'`o@@Z_!C@@@@:=@Z2 Q@@A@$_149 @Z_"@A@@@@@@@@@@$_1502M접@Z_"$_151'`o@$@Z_"C@@@@mp@h2 Q@@A@$_152=@h9l@A@@@@@@@@@@$_1532M접M@i9l$_154'`o@W@i9lB@@@.1@i2 Q@@A@$_155l@i&4+D@A@@@@@@@@@@$_1562M접|@i!&4+D$_157'`o@@i+&4+DC@@@@^a3@i'2 Q@@A@$_158@i2R4@A@@@@@@@@@@@$_1592M접@iCR4㐐$_160'`o@@iMR4D@@@@@k@iK2 Q@@A@$_161@iVR4@A@@@@@@@@@@@$_1622M접@igR4䐐$_163'`o@@iqR4D@@@@@ˠΠѠ@ip2 Q@@A@$_164@i{F@A@@@@@@@@@@@$_1652M접 @iF$_166'`o@*@iFC@@@@@i2 Q@@A@$_167C@i@A@@@@@@@@@@$_1682M접S@i$_169'`o@]@iB@@@4@i2 Q@@A@$_170r@i9ƶr@A@@@@@@@@@@@$_1712M접@i9ƶr$_172'`o@@i9ƶrC@@@@eh@i2 Q@@A@$_173@i(@A@@@@@@@@@@$_1742M접@i($_175'`o@@i(B@@@@i2 Q@@A@$_176@i(@A@@@@@@@@@@$_1772M접@i($_178'`o@@i(B@@@Ơ@iנ2 Q@@A@$_179@i(@A@@@@@@@@@@@$_1802M접@i($_181'`o@@i(E@@@@@@Ѡ@i2 Q@@A@$_182@@i#,9@A@@@@@@@@@@$_1832M접P@i#,9$_184'`o@Z@i#,9B@@@14@i2 Q@@A@$_185o@i[@A@@@@@@@@@@$_1862M접@i[$_187'`o@@i[C@@@@ad6@iנ2 Q@@A@$_188@iՀ@A@@@@@@@@@@@$_1892M접@iՀ$_190'`o@@iՀD@@@@@n@i2 Q@@A@$_191@jՁ@A@@@@@@@@@@@$_1922M접@jՁ$_193'`o@@j!ՁD@@@@@ΠѠԠ@j2 Q@@A@$_194@j*8[@A@@@@@@@@@@@$_1952M접#@j;8[$_196'`o@-@jE8[C@@@@ @j=2 Q@@A@$_197F@jHƏ@A@@@@@@@@@@@$_1982M접W@jYƏ$_199'`o@a@jcƏC@@@@9<?@j[2 Q@@A@$_200z@jfƐ@A@@@@@@@@@@@$_2012M접@jwƐ$_202'`o@@jƐC@@@@mps@jy2 Q@@A@$_203@j8M@A@@@@@@@@@@@$_2042M접@j8M퐐$_205'`o@@j8MD@@@@@z@j2 Q@@A@$_206@j8M@A@@@@@@@@@@@$_2072M접@j8M$_208'`o@@j8MD@@@@@ڠݠQ@j2 Q@@A@$_209@j8@@A@@@@@@@@@@$_2102M접.@j8@$_211'`o@8@j8@B@@@@j2 Q@@A@$_212M@j8A@A@@@@@@@@@@$_2132M접]@j8A$_214'`o@g@j8AB@@@>A@jؠ2 Q@@A@$_215|@j8B@A@@@@@@@@@@@$_2162M접@j8B$_217'`o@@j8BE@@@@@@qtwIL@j٠2 Q@@A@$_218@j7I @A@@@@@@@@@@$_2192M접@j7I $_220'`o@@j7I B@@@@j2 Q@@A@$_221@kxR@A@@@@@@@@@@$_2222M접@kxR$_223'`o@@kxRC@@@@٠ܠ@^K2 Q@@A@$_224@^V@A@@@@@@@@@@$_2252M접*@^f搐$_226'`o@4@^pB@@@ @k42 Q@@A@$_227I@k?%>Q@A@@@@@@@@@@$_2282M접Y@kO%>Q$_229'`o@c@kY%>QB@@@:=@kP2 Q@@A@$_230x@k[76G @A@@@@@@@@@@$_2312M접@kk76G $_232'`o@@ku76G B@@@il@$_233X@#setFA@K@O@N(META1781ѐ_@B@b)@@@@rsoNf@ 1Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#1-Gm~A@@@ؐ(META1782L@b'L@@:کi)1@ 1Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#2-GnA@@@(META1784۠(META1783@A@@b>v@@zɩĜsU@ 1Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#3-GoA@@@(META1786֠(META1785@B@b0/ӥ@@8\Vϩ/0, %@ 1Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#4-Gp=A@B@F@}(META1787dԐb@A@os@@tu/SVs@ 1Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#5-GqA@@@(META1790(META1788(META1789ؠ! @cU9z@@Z֚oϰЩ̠V ՠؠ]?@ 1Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#6-GrA@@@(META1793Y(META1791(META1792򠤐!@c#"G@@5Y[UΩ./+  #47@ 1Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#7-GsDA@I@M@L(META1796(META1794(META1795QdXr&@d<@@R2nՠpiwv}u#@ 1Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#8-GtA@@@q(META1797(META1798| /@r4d@@i  ܰݩaC@ 1Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#9-GuA@@@(META1800ɠ(META1799@Aw@q@@-QKĶ@%&"-.蠩?+@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#10>A@C@G@(META1803e(META1802e@A@q/@@@z{wVNm=MY\cc @ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#11@$_234X@#set@A@@_(META1829(META1830@A@f/,U@@SϚ@zܚiɰʩƠɠӰԩV8@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#12@A@@~(META1832(META1833@A]@fO04_@@7̚9@{ @ @ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#13)@A@1@0(META1836(META1835A@A@fW Gv0@@⠐^|@VfZfX-fU9dea8?\@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#14o@A@w@Ȑ(META1838@A@fw Gv1@@%Ŷ@f>fvfEy( @ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#15@A@@(META1842Ѡ(META1841(META1840ʠ ;@f>v@@u@ꐩƩũMPy[@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#16@A@ @(META1846۠(META1845(META1844 @f0/Ӧ@@ƠBf`ٶX۶@;EBC?  E@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#17R@@@Z@(META1848i@A@uG@@ {|6WWs@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#18@A@@K(META1849(META1851V(META1850  @f,Gn@@DyȚ@u°é}G)@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#19@@@@o(META1853@AM@u%@@'Ԝ{]@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#20@A@ @(META1854(META1855@A@u0@@8\^@01 (89Π 0@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#21C@B@K@(META1857(META1858[@A@u9\]@@x1@pqDLh@yzMTq<\y@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#22@A@@(META1863(META1862(META1861@A@gb>v@@Mɚ`ߚb@ðĩ˰̩Ƞݠ'Q3@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#23@A@@(META1866(META1865@A_@u>ڳ@@93@  Р'}@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#24#@B@+@*(META1870(META1868;@A@g0/ӧ@@ܠX|vn@RSO.)0M]^Z1U@ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#25h@A@p@-?(META1873(META1872@A@v0!8J@@(ȶš;@xp_o{* @ 2Coq.FSets.FSetEqProperties.WEqProperties_fun#<>#26@f 2 Q@@A@$_235@f+@A@@@@@$_2362M접 $_237'`o@Etvx@@@AAA@fE@f2 Q@@A@$_238K@f<0–@A@@@@@$_2392M접 $_240'`o@C@@@@@n/2 Q@@A@$_273v@n:0yh@A@@@@@@@@@@@$_2742M접@nK0yh$_275'`o@@nU0yhC*type_scopeܠ@@@A@@n2 Q@@A@$_276@n0+@A@@@@@@@@@@@@@@@@@$_2772M접@n0+$_278'`o@@n0+J9@@@@@@@@@A?Aoo@@n2 Q@@A@$_279@n8֎@A@@@@@@@@@@@@@@@@@$_2802M접@n8֎萐$_281'`o@@n8֎Jh@k@@@@@@@@AAo㠐oޠ@@nР2 Q@@A@$_282Q@naD@A@@@@@@@@@@@@@@@@@$_2832M접h@naD$_284'`o@r@naDJ᠐@@@@@@@@@A砐Ap7p2@dؠ9@o 2 Q@@A@$_285@o?/@A@@@@@@@@@@@@@@@@@$_2862M접@o,?/$_287'`o@@o6?/J5@@@@@@@@@A;App@,@o>2 Q@@A@$_288@oI?0@A@@@@@@@@@@@@@@@@@$_2892M접@o`?0$_290'`o@@oj?0Jd@g@@@@@@@@AApߠpڠ@ @o82 Q@@A@$_291M@oC1Z@A@@@@@@@@@@@@@@@@@$_2922M접d@oZ1Z$_293'`o@n@od1ZJݠ@@@@@@@@A䠐Aq4q/@adA@m)2 Q@@A@$_294@m44@A@@@@i@$_2952M접 $_296'`o@C@@@@h@m@2 Q@@A@$_297@mK4@A@@@@@$_2982M접 $_299'`o@C@@@@ݠ堐h@mW2 Q@@A@$_300@mb pj@A@@@@@$_3012M접 $_302'`o@C@@@@i @ml2 Q@@A@$_303"@mw pk@A@@@@@$_3042M접 $_305'`o@C@@@@3;i6@nb2 Q@@A@$_306M@nm@A@@@@@$_3072M접 $_308'`o@C@@@_bA@nw2 Q@@A@$_309x@n4 @A@@@@@@$_3102M접 $_311'`o@C@@@@i@g>2 Q@@A@$_323@gI$#@A@@@@@@@@@@$_3242M접@gY$#$_325'`o@@gc$#D@@@@A預@g\2 Q@@A@$_326@gg#@A@@@@@@@@@@$_3272M접@gw#吐$_328'`o@@g#C<@@@A@gx2 Q@@A@$_329 @g{t@A@@@@@@@@@@$_3302M접@g{t$_331'`o@'@g{tCo@@@AR@g2 Q@@A@$_332@@g^@A@@@@@@@@@@$_3332M접P@g^ؐ$_334'`o@Z@g^C@@@A8@g2 Q@@A@$_335s@g^@A@@@@@@@@@@$_3362M접@g^ِ$_337'`o@@g^Cՠ@@@Ak@g2 Q@@A@$_338@g(f)@A@@@@@@@@@@$_3392M접@g(f)$_340'`o@@g(f)E@@@@@Au@g2 Q@@A@$_341@g(f*@A@@@@@@@@@@$_3422M접@g(f*$_343'`o@@h(f*EC@@@@@A(۠O@h 2 Q@@A@$_344@h,gE@A@@@@@@@@@@$_3452M접,@h&,gE$_346'`o@6@h0,gEG~@@@@@@@Ae𠐑h;@h02 Q@@A@$_347_@h;,gF@A@@@@@@@@@@$_3482M접o@hK,gF$_349'`o@y@hU,gFG@@@@@@@A[^Ҡ3h~@h^2 Q@@A@$_350@hi1"-@A@@@@@@@@$_3512M접@hw1"-$_352'`o@@h1"-E@@@@AA@h|2 Q@@A@$_353@h(?@A@@@@@@@@@@$_3542M접@h(?吐$_355'`o@@h(?D=@@@@A!Ԡ@h2 Q@@A@$_356@h=@A@@@@@@@@@@$_3572M접"@h=$_358'`o@,@h=Dt@@x@AY A@h2 Q@@A@$_359I@h=@A@@@@@@@@@@$_3602M접Y@h=$_361'`o@c@h=F@@@@@@AD@h2 Q@@A@$_362@h=@A@@@@@@@@@@$_3632M접@i=$_364'`o@@i=F@@@@@@AРX[@i2 Q@@A@$_365@i =@A@@@@@@@@@@$_3662M접@i0=$_367'`o@@i:=D)@@@@A @i72 Q@@A@$_368@iB@A@@@@@@@@@@$_3692M접@iR$_370'`o@@i\C`@@@AC@iV2 Q@@A@$_3801@ia1S@A@@@@@@@@@@$_3812M접A@iq1S$_382'`o@K@i{1SD@@@A+A@iz2 Q@@A@$_383h@i1S@A@@@@@@@@@@$_3842M접x@i1S$_385'`o@@i1SFʠ@@@@@@AIc5ڠ;@i2 Q@@A@$_386@i1S@A@@@@@@@@@@$_3872M접@i1S$_388'`o@@i1SF @@@@@@Awz@iѠ2 Q@@A@$_389@i1S@A@@@@@@@@@@$_3902M접@i1S$_391'`o@@i1SDH@@@@AŠߠ@i2 Q@@@@$_392@i6_`@A@@@@@@@@$_3932M접+@j6_`hg @.-[$_394'`o@8@j6_`B@@A@i2 Q@@A@$_395M@j>g;@A@@@@@@@@$_3962M접[@j>g;$_397'`o@e@j>g;E@@@@AAK@j 2 Q@@A@$_398@j6q@A@@@@@@@@$_3992M접@j%6q$_400'`o@@j/6qC@@@Ab|@j"2 Q@@A@$_401@j-I9@A@@@@@@@@$_4022M접@j;I9$_403'`o@@jEI9L>@@@@@@@&@@AHAAwwww@͠A@j52 Q@@A@$_410 @j@@A@@@@@@@@$_4112M접@jN됐$_412'`o@"@jXFjl@@@q@AATW A@@jrHȠj @d@dKjBh@A@Cd@@$,F@j:@i$,Fi@A@$3@>@i$3i@A@AB@dd@@$,F@ E@i$,Fi@A@$3@I@i$3i@A@AB@ABBxrHȠ!dˠ@BwlB,k@AdР@} jU@A@@B@ld٠@@$,F@)i@A@$3@&i@A@AB@dߠ@@$,F@$i@A@$3@"i@A@AB@AB@@8Wkbm,:BA%lemmaC )Morphisms'Classes.@=trans_co_eq_inv_impl_morphism&ni$)Datatypes$Init:@$boolZ'@%Logic @+ @/RelationClasses!@-eq_Transitive( Z@#mem%QtDE 6f1WEqProperties_fun"MP"FM@%mem_m*p  #Dec!F@ $ޔ΀LSK@6reflexive_proper_proxy5@%Equale6@5Equivalence_Reflexivetrans_sym_co_inv_impl_morphism'\|%:@/Equivalence_PER/;,A@/iff_equivalenceZ(%f8ߠ$⩚@(eq_ind_r!2#b!bةVϰI@#andЖw@A@2"H05WC,*+󩚠/@%equalf$   $] @>Reflexive_partial_app_morphism 2R,1@C&@*respectful%WO?J$;/ư=1@$E_ST)L@$fv.-W@'equal_2/ހ/7 $dbcJT@w -D<k@(subset_1 LCKbKF@2subrelation_properJ74!A!B?@=@#iffС)G&Basics'Program@$impl7o.Morphisms_Propf@9iff_iff_iff_impl_morphism8C[!]@$flip$o@$unitUe@A@6subrelation_respectful>6z 822@0subrelation_reflv 94 ;; ;@9iff_flip_impl_subrelation2VAK v@-iff_Reflexive/h꩷,R1E\@URH>6+$Zз C@&SubsetX2%=ʩ@&subset:Cܩ2z4uoe[SHA@(symmetry0xj%:@-iff_Symmetric!x#!,A8,1Fdx3*3H?,'5J) @(subset_2 L鐑X@#notШZ @%empty߰ Bl֠  oCcx> @+not_mem_iff;?@'empty_1/^IG$BoolE@.eq_true_iff_eq4S@(is_empty.4'3*:B@# %21@) +BO EKl@0empty_is_empty_1 ywO @0empty_is_empty_2 yxVX@*is_empty_2DQ_k#]ʠ@%Empty܀(+аKXAgǩ q,@,is_empty_iff9=8*{6}.Oft@&option >v@@&choose4UA@%mem_1@(choose_1DԀҷ')B%@*is_empty_1DQlx@(choose_2DՀƐީ.@#add%@lFЩ@%add_1Ҁש@'eq_refl+e&:ߐ @)add_neq_b,; &AXU@&remove{p۰ eϠi=]r8   4@(remove_1)(n<><.,'-@,remove_neq_bfv86ɠL@)singleton a,`3#$& f(*@'equal_m/g@Ӥ  ;  d Ѡ+@3singleton_equal_add(eH@*equal_refl%{yzlj@'union_b=)mwu@'inter_b62$@&diff_b3뗀ɐw䠩=`m@鰩dqSN }t  éVɷ$ʩQ$ sI r@)equal_iff"AU*i9 0n3ʠB@%@ѷ'z@5Equivalence_Symmetric. UuC Cߐ c #s'' 9:$ĩ栐FNNǰ$"}#$ Q$٩0ݰa<:;"@.Equal_cardinalZRvIGݰ""@+subset_reflb*TRS:p3q,@.subset_antisym;O3@,subset_equal2D=: <ab? F ACvtulvN4AP4ϩ9FJK^@ @M_@*subset_iff$~N{ejנr\, @$ũ&yZgD~*gtu,3&0@کy,7,* ݩ<0橚T@,subset_trans2befɷ$ʷalѷȐ!o"*)AA@A@@@@@D 2@Ѷ@7)!Ѷ@@=bש&Specif@#sig#* @詛ဠQCƩܐG6ݠ!e@Ű_QS*"H1@Ͱg?*)A   "װqce" ݰwiР]l $"@`z\'@dd۩.%@&eq_ind J [7 #"|p6%&Ȑ"H2N@@@@@@@@DJ 4@$Truey@@%Falsee@ ACD $@*False_rect$0cfd|C1> TIUW۶@|z@Y֐nw@`L@)False_induُ\vvx@op$갩@%add_2ӀU@%mem_2\{][@)add_equalѷ©@$andb=.@$negbv@#eqb#8}ķ@֩ԩ"G@)andb_prop,PXԩ1BBB@@@@D@İѩ0+Aɰ֩E쐷*аݩ<7 M 󩚠@(remove_b `U(&nv@,remove_equal2]< u64&$uG @*add_remove9sDB42*+"@*remove_add!SQ %Zerob @%zerobv쀐^@(cardinal?g7>L@  - @&3 Uf6@#nat@A!n 7D,[C<I1@*cardinal_13Mgj%Cw%p?@/zerob_true_elim,)X /rS*1$o2@.cardinal_inv_19]@+singleton_2>ŀ}qȐ"s0@&eq_decau@'sumbool7̂K@ BAAAA@@@@@DשBAAAA@@@@@A#שѐà@@ƠΩ^̷yYCЩԩg@+singleton_bYmԐͩ< @+singleton_1>Ā\쐑qe@%unionxo@)union_sym<v^+)*Gy@2union_subset_equal(p6,h;9:1;"h%@-union_equal_1Հ KIJAK2 5@-union_equal_2ր(0[YZQ[D28F3H@+union_assocŐ8lj\Z|T$I@3add_union_singleton!(PzxykiȰcYZT@)union_add<[d!gt"@.union_subset_1+n-r.@.union_subset_2+z,<{>@.union_subset_3+OPQ@%interU@)inter_sym%+ɷ$ʷc@2inter_subset_equal 0M׷2طٷ(#:r@-inter_equal_1!zrA72@-inter_equal_2!zsPE@.ԩBD@+inter_assoc;,M5aVQTU@-union_inter_1SkFrg"c@-union_inter_2SkW*()jyt>? G@+inter_add_1;*߀ l><=/-%V@+inter_add_2;*"MKL(@.inter_subset_1:2/YWX3@.inter_subset_2:3;ecd[eL -H>\@.inter_subset_3:4FkHP {yz}@$diff/(]\@+diff_subset9hcs۰cp%@1diff_subset_equalDb xS3@5remove_diff_singleton?0A@0diff_inter_empty(CN@.diff_inter_all9r!P@ŔG@@!X϶*ж@@s?s@"X0ضȶ@ @Ɛ0"X1T⩚w@-set_induction8EW0ѩbǩȩ<ʩ̩@,subset_empty2C3کBW"X2A䩚@#Add8J_k ZU*@"or @ =b%$VkTe :̐H  n  p 3e@'add_iffҀ=   0)UuP !%2@/=0 @&or_ind"$"&%9A >F . 0 7-CB  <CU Q 9 g @%mem_37CbZ B J  I u s t f d M H$bةf}ܩ@0not_iff_morphism Z  @0and_iff_morphism Ƴ h  K X-m  pݠ۩ m$!<!%i,'@   nU p k x m z   Q ~e Ơ {  }   @Ԡ    @      @@|  _ c#S ÷  @'and_ind14ۀ1123@/diff_false_true .@.absurd_eq_true!۩ @&eq_sym X  > C CA@R Ͱ  G ϰ ܩB K@   \   a  @b@ F 3   ?kʷl: C C!  ݷ "  v>& $  f   '@*J2  r! {!@  1  * +:> ! 9? , +@@v_ : 4kEIF fC 5C E@HhPP  *???@  O  H IX\Y ? W]] I I@^N} X RccgdJ PC2P y@@!f@ s@ _ W!i b@*fold_empty3%Z #eqA@ n@ p ÷"st J@+Equivalence~@ { @ @ C B$Comp*SetoidList%Lists @)compat_op$9[К @ >$ V   #Ass@)transposeWâ  _ ` ;  ·  ÷  Y@*fold_equal3%(P j k   QT=;97P0.,N  շ  ŷ l@(fold_add;3ڀ(c } ~  " dgPNLJcCA?/-aѷ    ط )@(add_foldQ6(v    $ wzca_]vVTRB@t     <@-remove_fold_1%! usqohfdTR     U@-remove_fold_2%"8 zxvfd !  z     ܰ O x v@*fold_union3D(*    "x0   u = t J  e o   } 'G h c  o h   @-exclusive_set<0– ) R P B @ 8@.add_cardinal_16׀ ] [ M K C@.add_cardinal_26؀3 h f X V N@1remove_cardinal_1\ s q c a Y7K G M I@M0!8J     g` @.union_cardinal ( Z b z xY     t  #@/subset_cardinal75`@  ] j@&ProperL@ f ^ h  ] |     8@(filter_bz   L ~. Ȑ%Comp'      Z t  \ V  y  c 0 }@(eq_trans!y  @'f_equal=    "f0  D     C 3    4 COJI    @'for_all2y6   @&filter?  !   ٩ @   7  ̩   0   A@ ʰ  D ̰ ٩' G  < p    Z +  G#  - :     ] (  [ [     p j ; $ "W   ֩= Y     m  @*filter_iff?  ! 㵷 #L Y  = {J@R n  sQ  * 1 tD  z,  J ! M #  % <  :  9 ߠ f@'For_all% ^ \ ' 4b K Z * 7^  E@4iff_impl_subrelation5 5 Bq|  s q < IK a        a @+for_all_iff24`<zc / 0 j J W  FV \ ]D? r8>2  s8: uC YC   @)for_all_1v  F G      ( % j w `  >4 9 3 )     o | eĠ  D  ^  6   =    | l  J  A  .  !      M  ܠ  u    G  f4 a [ Q G ? 4 - Ɛ  젷  өwЩ ϐ &٩   , m ɩ   $ x ! o -  <    @ 䐩 ;     5 ܠ  y  $ Ȱ թ4  D       C@lX C   װ  Q  & $ ݰ '@'exists_0? $P ܐ; ) @   h  \ 萩G o@   r   u *? F@(exists_2)@R &   % M@&ExistsMW E C  W  0Р @"ex @BBB@@@@D@ V Y Wo M $ 1 { \  J  b R u@}  2 ?z  4 A ,U l  [#Ha1 #Ha2ǩ B@0eq_true_not_negb. > t P ] ʩ o u ; @(filter_34v B( u }C  hҩ n ѷ @  @˩  0@@ɩ )4 m z5      @ $_tmp@  @(exists_1)@R érA   Ӡ      N  Vݠ  d4 _ Y O E = 2 +@  0  F@蠩     ,  j d _ ] S  o  f $ ' [ +  v  m +  @  ѐ ^ Mܩ  hA  @˩ ; ۩    @ͩ |  ϩ   = 1 }y{ ʰ ש E 젩 Lک 0ېv i @#fst $$%@)partition&_̀ "+@+partition_10}  86  @#sndI20e  E@+partition_20}RPB@8   D- Ӡ 4 j/@C X ; q  ߩ l   g Bs g y  G |nRU sK:GNM  T gЩ  ZdR$     a`  Ne v+d 0(   .#u# Y,    x @/or_iff_morphism3*!   ,'vb@y ?x %G w$  # % ; 4$)664  + 8  z  @ '@]T G-  rt թٷ r ܩl  a\* b      ް@x" s) +   Ԡ*,C@x 7 ة  Րk_j `$; 9{="B xv$G ErnIj@i@yk7z { de9;fHG   +# /L #  'L   9  S 0 2  w2Ȑ"H3  " |#   '(-`)(.ex Cy =9ihk433C][MK@Vݠea˷ʵgefXVNGSY OIZ`I PL  5BHN$ [  >K  `jYŠeR/ic hРo T6}l jc,! p& r{g ~x }#;g|$(+ }-) //90 1" { B ^8_@=@l ͠ 9@4 ՠx  &  U e~ѩ      M q - N)ѷ  9 zڷ h>6   /.-'0/ G"ЩK :  @  6# 5%"C" {!@϶@@6_t+7534&$9з) $kimЩRrWw'*+ҵ ?6 E g  ٰ ?'./6 ,23G  CD-@G@@ Sǩx ! X%QSQ tq@HG _© #-& f (`XT dR9FOM ^ ` x :re]edC}@Y@lf!g@+compat_bool!!|z  n}Cperr@#orb =$`u $é 0d m  C-#K   }$ [  ɠɠ$&ũ(ȩD5`" @)union_iff'bR(&֩թ{' 7$42!꠩ ,Űd?#x'%%>J'%% < ,$IG %A,OQ]:881 ǩg8!  9FiFfM @\Np +@ $;{,@Ӷ@/K1   | @(orb_prop/pـY2;BAAAA@@@@@D@E+I"/]{D  H ! #&+@.orb_true_intro  5.ж@/@58Ef 6? "H4@'CPޠ#1 ? @'j<MZ [o@/Q^Ȑ"H5rB]jk ة`mj@ũcpoߩ@      Av@ ɠ ͠  ѠI "H6Щʩ  2] "H7g oݩ@Pq% 6נQv-©0ǩR7̩: Fưөa BO*ϰܩjS1O  ]-3ݰxT4]ZbAXObU[N?Lgd7KyC941:}&7+{R{n]d %^ YzX| - S B  W   /`[  aR\ cTYGV`:T  M\a@???C栩 OuVFw <xa_)Jܷ۵xvwgPW e c]_$Ġdv >Ƞh u  sΠn$Рpo-rq٠x@ t  $Pu$!  \dqFt QR04 d5V*  à*).,,F=.deCE Р-wHi'  ֠,',TNI =YPAwxV9 @$ [ : 砩  g9 [=;;kb =T@ #@ Ԡ=* L) 7, 8 ࠩO5    İP>J     ' ^K:_ 0F%$ Jq)K"  ( Ұ*[ ?|4}- &     C423@  DQWB@'31@ : >< @) @+equal_mem_1,UɀG0@H ~IE1)O2J " 8 Q'@@O+ B@H@ b2]3(5 J ~ rL S@ c SP @)empty_mem)ȀX$_=x @4is_empty_equal_empty'L}q @.for_all_filter#m xr{V\j:\bvo Zgԩi Ϡ  ʐLn@dqSMuv@ly ߠ] ې@w  }C ' N-@.negb_false_iff ӥ2"C@9 j >⩚ ~@+equal_mem_2,Uʀ  nX LW@> 3өKϩ'Sumbool@+bool_eq_ind̲jm6̩KQ Uҩ.R0̰F ۩A>ʷ @ذǠ֩@SѠ) P&c!@` .)@ﵷC@kt2*.$Y1R;9nIK8 !i 0):A + _  p[Y@!o4C$K8Xک&Z9  @,choose_mem_3 Gv2IB|Z][s(©+8NEBBB@@@@Dorp=שʩ@M/z}{HU7 LéKXkl@TWdF{ө`mO }ܩdq(ivXlAr[}e`ˠ  ni  & m R  ЩztZ   dũéi% 4vϩz- *x֠@-negb_true_iff'ݩ3/ߐ  r f q Z X # ө$List h@'forallb?[/ @(elementsPVٰ ©驚@'existsb R"! 'Ȑ!l@$list]@@(list_indj3 #83"m=< +&ZC,A񩜠AzJI OJ(&#IHl&=R`<WV 5@X .Z0%2HK` c gf.PC3@ΠYnQutW`C@M۠b ~ CHUl e]Biq tu/@(exists_b D>|Cu  7@)for_all_b"hU  -     C  @ĩߐ  w{ c \@-for_all_mem_1= ݩ N  ~4    x@.for_all_existsǐ g Q E: 987ҩSƷ޷שƩ  Ʃ_ҩ*=$& -{(&٠$ @-for_all_mem_2= Mưө2 # W˰E ϰܩ; , 8԰NI   ~s rqp&$ e}5l;a; r'g':D @-for_all_mem_3=  j Pp&M'{ )]Y    XV=@!;5}# @-for_all_mem_4= D8>䠩$1  N)6I FDLvNfig4A KXUpsq>K-AN Vaz}{g!pL@(and_recttԀЩTaCϩWdÐy 9 boΐ:kxSo|5uܩy> H@ Y5"Hf 5 ac"Hg Ȑ"fc , -ķ p"y0sév%Peano@,f_equal2_nat0  #Nat@ ` ҩ ̰C J@-- C h@ R T  C ` V6 Ȑ"ft!z)Decidable@+dec_not_notHɀְ. ȩ0y2{4 )Peano_dec%Arith%@*dec_eq_nat5뵀u@'BinNums'Numbers7@!Z7@p*&BinInt&ZArithF@[1P&)BinIntDef@` ̀@&of_natbz @1?G!p4Y,y ED}1$Znat)%Nat2Z@'inj_addc mD@6@#Zne>o=^. ])VthJ;*=_QBD vu5-3g@#\M}BocT$wiZàwU^Ǡ$J@@yj1_q4f1]@SBrX3'x @&ex_ind 5{ȩ@"le1P,A@#mul1P]@ ܩB@(positive*@C%Zvar0ڷ&Omega6**ЩѰ,'נ$+&Omega0 61ᠩ.(5H5ېL Eҷ%Zvar1&Omega5 OЩQ%޷&Omega1 a0NH%]귐%Zvar2&Omega4 gЩ<1<&Omega2 6&D8DV)k;: XL +Y0@젩%'H)W}2@#opp1P-@ {:<-&SqeVhg7- d[@PRTu&$:gyej|{K.Cm@)bdf36L&y@5npͩr?YBv<\c@E~NO0h.@QZ[v+OmegaLemmas%omega@2fast_Zplus_permute @i4r@4fast_Zopp_plus_distrpe @xC!@7fast_Zopp_eq_mult_neg_1=Ҁ ŷɶ@PRն@ʠ\̠ +C$!@ڠlܠޠ1ũ.ɷ@y렩8?ө]Щ G> %B)D+3 @ƠO㩚m@8fast_Zplus_assoc_reverse ' Z>@Ѡ>Zx`D@נDb-L#@ߠL w1l@0fast_Zplus_assoc Da~0 .#.%@'0.@1fast_Zred_factor3& ;`h?@4U6K8:!#n""IYxO@ D g,czY@N Pq6@1fast_Zred_factor2%?h@$]_.G@1fast_Zred_factor6)R@1fast_Zred_factor5( ~sǩw~ c&Omega3Iҩ/֩)auxiliary@(Zne_left0߀Vgj a @'intro_Zz,Ʃȩ8@'inj_neqjD   E֩  G CG0 Ȑ"gcYZ-+) ! }CcC|CqgGȐ"gt ܰ4 o6 8 : m p I b 2ꐩS `W=@Р(a zc' >2ɩT' <;!V-@頩"C5SG) j=/ UT$ sJ@?-`%RpdFXJSlk#]@R>s8W YJĩ\^ȩpqeunKvЩk{\Svg_ Щphl~p{y Yx @cvusc{1iϩr̠ö@h d˶@^Ӷ@ȠZ̠%@VIѠӠĐ=ؠڠA 7;;)<46 8 ^: `< Cu^" AȐ#fgc+$" ̷\ͷZX PQ NX ZT Q  ] "a Y ` RS%C>7@3 ac fhNCbAaPNoq pCɰa`CIȐ#fgt\ZU[^\) ;! @!T XYhkOmaC4I6 ҩ g_QB [G #j_E~N :t@0X"àqStexgy|m)o/Y-@OC!nHE=DAp?@f-8'ЩĐ]^T<Vö@FnSBͷߐ2XթǠ2!x%u @נe٠5:@  ǩi' %#(@Pک0@à%XD+Ƞ[   jy }x%G&e*;sS+'Omega10{Щ"2 } <GR L J9[:y.> v REB&Omega9 Щ9I* j ^i"D aPrQEU6 ui.DY&Omega8 ЩP`A7 ru9D xgh\lMZ3F%Zvar3s&Omega7Щjz[[/T  wh _%Zvar4 ЩrUj}}d$ @_bBc  Bͷ 3 ն@ʠ̠ΠK- V %ĐG6 㠷@ݠߠ^ 0㠩;867˩m'$  3%@gHFG۩}&7 ,R㠷6 @ɠ% e)YZx@/fast_Zplus_comm11,K"@ޠ::jkЩ = uW.@꠩#Dtu  2@_6@+-N~%Ji@@57isJ@?A(C EfIf/d\@Q!U;Ϡh@$]-a[cIv@2k,;oiqW|@@y:I}wfcudg@LFUmzqn@VPuv@^Xgn@lf@tnЩpĶ@z  ʷζ@àŠǠ&ܶ@ѠӠ %"@۠ݠߠ5ɩ@  =@?ө< )@-PM X:@͠ǩΩ > ![B1bЩy%#g <Ni vP%! Z1@kv 5`7@,~/;h?@46lC rI@>@'2&C]'*|S@HJ140120]@RT;VXZo@] | @m@)b(dKfhũjl9`RRwVprtvx^z | `Uf@KY  ߠ zz$@cwҷ@m  4@wnö@v0 D϶@Ġ(i ׶@̠0ΠРqҠB$ ,@ڠ>ܠޠࠩ-_44ȩ1 >8|Щ꠩7>{= DF    TN }yYa^  o` c 8x9y<| b? p Bz|~# N RQCi lj驜AxbC9@)ReflexiveW!|"z%hpoCF@)SymmetricFgq -./[2u}5EFxCV@*Transitive++-H@'set_recзrI@$fold0PҐԠQؠ[ݐ X` ]շ0ַi k̩퐩 al+vש s0{ܩ x7  }@     L!ð S  Z   ' )%:ְ .f/h@`0+( X' E( ZE r;  ( ^=  w 1 # ! y\+ũ F HK(̩  O4̩RΩ<֩ WX٩ ۩ \ ^XbXݩ d /M hT  m oT :X st_  x C z  |N ^ + = 0 Qjc  G e Y ; , y w qfu 4y Y K <&   sv$ D.( y x H  4  n@ a q R<    (; P m } ^e q b d    | m ֠ݩ+   w ࠩ } 栩i  ʩ 됩g$oIi     u  @ k é   ([ )U2  ۩ ϐ  3 4 ǩ  1 2  7 5  ж@  Š n#M ط    ܩ Π @ <  F D! @  ڠ+ 8b !   ᠩ Ґ= Ԑ= $  頩 ڐ Cc] ސ Gf[!! ␩ K  !1 @ Ġ N!㩷 !.!" S C  O:!*!) !D @ נ !1- #!A!5 dĩ V ) `K!=!<. ,!W .@ & #!!D \  ( * r: = 2 4  6   H!j I!= M!^ # v N'Omega11Щ!E U 6Z!j u. o  m  \!~ ]!Q a B (!u : h e: Щ!Z j K A! C eC   q! r!f v WA!! Ð] @! U k >Щ!u  fP!! Ґ^ O! d o M   ! Ҡ!  xb!!é 䐩` a! v0 HЩ!  &q!!ҩ  o! # V é  ! !  7!!  e թ$  ! : ķQЩ! ɩ I!!  f 0!  b 驷N ٷ!@! 8!! i\"  @  ؠ ڠ ܠ! ͐gP ⠩ Ӑr" " ?!  ېzŷ"("& Gh!#ĩ Ð   ꐩ l " P䩷 "/D!@ H"%"$ 7^"A @ Ԡ  C/ a ""@ !Q $f"6"5 "R"P qj!@*"X /@ 렩 $ &G ("I>5 z ;"Y !j =g"O"N KL"l C@  8 :[ G   !IW"v M@  B"cO (:)_"~ U@  J W 0" ]@  R " V X"yv\ >I" k@ ' ` 0 dh J\s" w@ 3 l+ < p"t Vr" @ ? x7 H | ~X dV" @ M E V  " r" @ [ S d " ~  " @ i a   " @ q i z   " @ { s"  ÷" Ƕ@  {  " ϶@  Ġ   # ׶@  ̠  )&# ߶@  Ԡ  & ## @  ܠ .© +6# @   6ʩ TK   K  XM    ک \ҷ#( @  Dة Lط#. @  Jީ      .#6 @ ɠZ R   ĩ  6#> @ ѠP Z *  , >#F @ ٠D b j D#L #@ ߠ< h 4 '. ! 7. # >, % x r '     % ' K j /  E $#q#o \"^  = ? A#b ##}  "n #l &## _"w%#u /## ""-#}  #    :7 +#   @/ Ġ?)# @&inj_eq8Fk#CL#NHX@8֎ UO XR "[UR\#^# ߠb!\d!^"f`]g#ic # "mgdn#pj l##Ht pp-x##٩ '!t@c0yhz"|9##  3@!#C#D # 3H#C <p =@ 9@ :$ $ #ð@#sum6_`$$ #J# $  #/| QnrȐ"cc$t$u$$  H#  F#"#q### @#@ݰ@@@A#&#$B#ܩ L  $ X@+f_equal_nat!-թ V$$#$"^ RC$<$5@$1#  } } _ b"C# [$: Z$I h(%$C° Z YC$B Ȑ"ct$U$N W U$" z:76 }=:p9$I  $M N $]"` D$b$V 8 ): * SP*O$X#} P B 3N 5 ^[Z$1$k$j : W &$ `@ $t D  Y$s? l$$~ ` Q% # t f W  $$$ A"$ {@ 7 p8$V $$ w h"#  } n נ$i$$ r ۠= ^$ @ T U/$s $$ \ H#  V E$$ q$ @ g @$$ϩ l  <         ÷$ ĩ $ v$   ɷ Щ$ Ω $     ( շ$ ֩ $ʰ ک $ &  ޷  ,Щ$Ӱ  Đ,$     =      ݩ9  ķ  ӷ  h % ͩ$" 7%% ֐  %$ @   %     e ɩ ǐ    n   S穷%2 $C@%(%'  $%D@ נ  b %L#@ ߠ ! j%T+@ 砩   $%E) v D  )A> >/ GD D 57 %X %X OLK%[ < %c%g%fC%ީ`]\%%з%%R)+%%mjki%y)C %}%%%%${$%b9;%%}zAy%9S 9% uEG%ɐ8%\EBL%wN%b̠>%c ThҠ%iOY%[]%ߐ%q[%%uߠ%!%k@,filter_equalY_H d%%$%p)%j(r+ !l%%%*%%%Է%",$?$x 6r|%~%ȩn 嵷 %3%2% %% %%.#;%%%@(filter_14%%%    lC# $%϶@@$@!! #! #%@@%Ӱ%%#@!%+ -#3 %8%q&|>OԐZ @v@%"$#I,"'HT!<JV2@ @7%Ġ42%=שܩ&ީ&&*&Gf&#"!V%#@*cardinal_23N%#"L&4&=㩚#@'Add_add>th!h"UC@6@+&'9!$@a=/@&0&=$P$P5!9 0  &5 R&V&$"AB@&YC@@&=  4.!@,add_filter_1,gE!&/ &a(@,add_filter_2,gF &  % ) #  *&U ,&v @% 1 + ( 2&] 4 .&~&  6 0 Jg $&&&%,%&!$%A(%.$6%%$%&Š$!à$&$&!"&%?$!c%P(%=$E%'%%  !Π!gA$!i&&Q%%H% &a@)empty_iff b%&!ݠ!vթ!x!x%!y!x!I!|&&C$ǐ C$W9' r&&ө$ p x r&C& z1 | & v !CpQ@C&&& ꠷&&&ѩ ʐ%+5M&@@qomkdp@&@&"1cY&&&&S&"&& i_"&"& Y'"&!''hзc'@' ' @#'()&&蠩j;'&Ʃl=!'&ȷ o')&'*'%& @''@&k'@A=&+I&,?|&#"~&#$"+'-'+@&y''EF&9&@,transitivity>4 XƩ&@6Equivalence_TransitiveW_Yaf&"Nch&"Pe&"R1(galI"T&&&N'#B'+&+&@)equal_sym4d' rt)'"a'?'X'V"$'Rf' '=ж@&@&'D"oc-@'P& K"u#b'J'QT(?!M"w'''L '{'m'k'c#÷&\R"o'q'o@&'\FB ="')8P!"( "','-'_L  GU'j'2$'3'4'4$DT O]'97"';';J9'vp'"P[''A't!w"'v'~'}%$#Y/'''@%' &&v''wx'";%'V&}''~&ѩ'j@+reflexivity(ϓ/<';>' %'ڰ' "N%'ް"P''C@''@$0#J"W'''' DCoq_FSets_FSetEqProperties_WEqProperties_fun_Sum_sum_compat_subproofZ''˶''̶!m'!o'%~''© ECoq_FSets_FSetEqProperties_WEqProperties_fun_Sum_sum_compat_subproof0X%n&Z''#&$''"''@$X'!L@+fold_compatI90!.!0}'!'!"!rCp'!'!!"jkhCf  '\"x'_"Hx''!"y'!"Hy7'($ ''$!P'P3e'ũ5='ǩ(PeanoNat9@&add_wd> ړrH#1$( ''ԩ'!'֩FN( '!'۩'2!(('!ͩ'!ϩPX( '!өTa( ((C'!!vvXlYC!(/z (?(=(8(>A!ߩ"($(,(+C $(EFD(:(A!B!@u(2>(-$!<n&( 9(U0((/s(7'Ҡ!('_!(D(T!(%!}(H 'Ԡ"(M(E(LC'0""Ca(k(i(d(jm" oQ(P(X(WC~"(X(p(n#1'(j" "+(\(\($(W%EqNat^@)eq_nat_eq,X(g(g @+eq_nat_refl:A'oC(N"%,gѷ((((",y#S&Ʃo((cT$#sW('|n_##ͩbˠ(]((fϠ R(@H(p٠ ۠ (#k ((}B'@(("l (@b8(# #(̩(!'<(((ͩ+(ö@U.(# @˷((ݐ\s'ѩàUp(((ֶ@ˠ?(##ũР(YՠƐ LA٠۠ E@)$-(t);#ȷAЩ(ِ ) #ѷ"R)!$?(吩V)P#ݷ   VЩ(  W)"-#%g#c5#- );(La)1)02)M$@ࠩ)<N$&W{$ <)Z(k> h)P)OQ L)lC@8$䠷)tK@@ $&)|S@HکL)m($2B֩ɰQB'VG*[] )~)~ r) ) ީ))4 ግ"є