"`!ń!H0MSetEqProperties%MSets#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-RelationPairs'Classes#Coq@0CjN-MSetInterface%MSets#Coq@0x* .>S-DecidableType*Structures#Coq@0kO!Z7++OrderedType*Structures#Coq@0#73t1E iW'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/EqualitiesFacts*Structures#Coq@0)n,:5-|!N@Ƞ+OrdersLists*Structures#Coq@0 X@u#ɠ)MSetFacts%MSets#Coq@0ss|BEo_vWLH*MSetDecide%MSets#Coq@0 agB;XRs:ߠ.MSetProperties%MSets#Coq@0C!̢2X<l ~N%Zerob$Bool#Coq@0f(j-6^Be-㌫[.\ؠ*  Р0MSetEqProperties%MSets#Coq@A/WEqPropertiesOnA@!E@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%^2@.@*^2A@@@@@(eq_equiv @@/RelationClasses'Classes1@+Equivalence~@J@F^2N@/e@@@FA݋X_A/RelationClasses'Classes#Coq@@A@@A&eq_dec @@!xh@d^2!yo@k^2&Specif$Initg@'sumbool7̂K@@beBA%Logic@#notШ@te@@@@@|@*Equalities*Structures#Coq@-DecidableType@@@@^2@@^2J@@A@e@@e^@@A@AB@A!M@#elt @@!t^2@ %'A*Equalities*Structures#Coq@@@B!E-MSetInterface%MSets#Coq@@@@-MSetInterface%MSets#Coq@'WSetsOn6@@@A@@@.H@A@@@@@AA@@A@4 @@/C('&@@@@@/@ @A@A@@@%empty @@]@O黀@@@@@#(is_empty @@@k@]黀)Datatypes$Init(@$boolZ'@@@@@@<#mem @@@@,@@{黀@@@@@O#add @@@@,@@黀@黀@@@@@f)singleton @@@@,@黀@@@@@x&remove @@@@,@@黀@黀@@@@@%union @@@@黀@@黀@黀@@@@@%inter @@@@黀@@黀@黀@@@@@$diff @@@@黀@ @黀@黀@@@@@Ԡ%equal @@@@黀@!@黀@@@@@砠&subset @@@/@!黀@4@&黀ɐ@@@@@$fold @@!A.hB@@@@L@H,@BC@T@F黀@D@@.h@@A@A@@@'for_all @@@@g@c,@l@^黀@@@@@2'exists_ @@@@{@w,@@r黀@@@@@F&filter @@@@@,$@@黀@黀@@@@@^)partition @@@@@,<@@黀B@$prodt@@黀@黀@@@-)AxA ϲ6W)Datatypes$Init#Coq@@ A вuX @AB@@(cardinal @@@@黀o@#nat@@@@@@(elements @@@@黀@$list]@A@@#elt,@@@DA alB@A@@ʠ&choose @@@@黀@&option >v@$@@@^A ůM\@A@@䠠"In @@@,@(,@1@#黀A@@@@@)In_compat @@)Morphisms'Classes@&ProperL@@@?^2@R@D黀!@*respectful%WO?P@O^2@b@T黀1Y@"eqem@_黀<%Logic@ @{@m黀 @#iffС)@a @@@@AviA)Morphisms'Classes#Coq@@A @AB@@V%Equal @!s@黀"s'@黀!a@,5@ AC@ B@&@黀%@黀 +k() +7T' 7! 7!7%'@/-t`p @/X!dP@@@@@&Subset @T@黀R@黀P@,@@ M@ JQ@o@黀n@黀I +k() +7T' +  7!T'7%'HtAd@@@@@頠%Empty @2@$黀7@3,@#notШC@  @I@;黀} `+k+7T' 7!7$'|du@L0#@@@@@ 'For_all @!P@l@h,;Қq@c黀!xx@t,@~@[ *@@@,V@黀 +k() +7T'+  7!T'$'tdre@@@@@b&Exists @B@@,{@黀D@"ex @@,L@,U@#andЖw@@ @m@@,Q>@黀A +k() + 77%'  7!7%'%t:|th̠@@@A1@D%Logic$Init#Coq@@A@@Ơ @ @x@@@黀@@ 黀D@/@@@@@㠠(eq_equiv @@/RelationClasses'Classes@+Equivalence~@7@!t黀<@@@@.A݋X_A/RelationClasses'Classes#Coq@@A@@AA@@A@&eq_dec @@!xY@"黀!y`@)黀&Specif$InitR@'sumbool7̂K@r@%Logic@#notШ@@@@@@<(mem_spec @@񚠐@黀@,*.@#4A@ @@@@@l*equal_spec @@@黀@黀?NR@^A3 %@3@@@@@+subset_spec @@7@黀5@黀apt@(us"F@#k'@@@@@*empty_spec @@@.P@]p@@@@@ -is_empty_spec @@k @黀@&mCu@.PH@@@@@ޠ(add_spec @@&@黀+@',!y2@.,9@ A@@y8@"or @@@eR@/ @@@@@+remove_spec @@`@R黀e@a,:j@f,𠩚q@N 8w@(0o~@[ ȩGx@eǐ@@@@@K.singleton_spec @@@,h@,@| f@3)&@De@@@@@p*union_spec @@@黀@黀L@,H@ @}@ !@ @@@@@*inter_spec @@K@黀I@黀~@,z@ ©@e2?@ R @ O@@@@@Ӡ)diff_spec @@|@ 黀z @黀%@!,,@  󩚠2@6cp9@ @@ @@@@@)fold_spec @@N@@黀8ޠL @@!i!f@`@\, g@.;D$List%Lists&@)fold_leftɀր'y@u,&Basics'Program6@$flip$@,;;O@Yʀ'B@@8@A@A@A@EA%t+@AHAW@JA!t Q @ABMA!uR#@QA1DH2@ %'A*Equalities*StructuresaA&A@ A!s̓P5@ABCD@@w-cardinal_spec @@ @黀R穚@[@&length䷀@,@Yʀ@@@3A ol@A@@+filter_spec @@I@黀w@,@@,@@@^2@^2@e)Datatypes$Init@$boolZ'@ة@ ̩@&sya^'@ p#lt&A@@@AviA@A@@,for_all_spec @@A@3黀@G@C,ܶ@ @B@A^2H@G^2ꚠL@eTߠ򩚠b@Zĩg@,"^m@i,hE#@@B@@7+exists_spec @@@q黀'@@,@J@@^2";@^2(@1e],0@/Tx@!+ˀ5@,>]@@|@@q/partition_spec1 @@@黀a@@,T@@@^2\u@^2b@ke@Al@#fst @黀@黀@N9NA㩚@k&sy@@@A ӳ2[@A Գq\@@ABC@@/partition_spec2 @@h@黀@ @ ,@Ұ@@^2@ ^2@e婚$@@#snd0@"黀4@&黀9@9NA1>@&syΚD@@,@$negb@@[@@.elements_spec1 @@Y@K黀蚠^@Z,䠩*SetoidList@#InA q9@b@a^2f@ e9x@Yʀ}@Z @@@Ai0A@A@@G/elements_spec2w @@𚠐@黀/@&NoDupA @@^2@9e@YʀԐ@@'@@j,choose_spec1 @@@黀A@,@K@,@&mFA@,@ ː@@@0A ůMi@A@@,choose_spec2 @@F@黀@y֐@,@&m#B@, @.P@@.@@@@@@"MP .MSetProperties%MSets#Coq@-WPropertiesOn  "#Dec*MSetDecide%MSets#Coq@)WDecideOn '!F-)MSetFacts%MSets#Coq@(WFactsOn =,#eqb @!x@ _@!t^2!y Р&SpecifX@'sumbool7̂K@BAAAA@@@@@A!s!@"eqeũ%Logicu@#notШ2@&eq_dec!@b@B@@>7? +k() 7!= R'>G'>H''+k6'Р&Specif$Init#Coq@@B7̂K@BA@?AABAAAP)Datatypes@$boolZ'@@!E)MSetFacts%MSets@8.h@@A!M.MSetProperties%MSets#Coq@ @A@@@!E   @A@ @A@@@A!M*MSetDecide%MSets#Coq@"@@@A@@@!E@@ K@#@!t KJ@@A@ K@@"eq K^@@A@AB@A@!Ϡ+@A@@@A!MJId@/@@@A@@@U (@@/|@-@!t/|ǠJ@@A@/|C@@"eq/|C^@@A@AB@A@ݠ(@A@@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@$In_1 @}rmh[IC9(@A@ܚU@黀Z[@ݶ@^@"In E@@@/C-MSetInterfaceiAviA)Morphisms'Classesn@A@@B%mem_1 @{ukZ@sA2+@,©@  @@#mem耠c@@@@@h%mem_2 @ՠʠŠ@B4XQ@$(|U@@@@@'equal_1 @ߠڠ͠@CNr"s'u@@%EqualLF©@%equal^A3@@@@@'equal_2 @ ܠҠ@Du'@en(@@@@@à(subset_1 @0% @EA@ @&Subset#k @&subset(us?@@@@@砠(subset_2 @TID?2 @F׶eض@'Y@@@@@*is_empty_1 @nc^YL:4*@2G@ H@%Empty.Pө°> P@(is_empty&m @@@@@%*is_empty_2 @}p^XN=@VH@\8'@@@@@>%add_1 @wqgV@oI .'  @) @#addy+@@@ %'A*Equalities*Structures A݋X_A/RelationClasses)@A@@i%add_2 @֠ˠƠ@J5YR I @T-@@@@@%add_3 @ߠڠ͠@KNrk ȶb ɶ@D@Eg@@=@@(remove_1 @Ӡ͠à@Lf z @c\  @&remove(0@@^@@(remove_2 @(@M  @}@ = F"@@|@@٠(remove_3 @F;61$ @ Nɶ  @Ġ b= @@@@@+singleton_1 @`UPK>,& @$O 8 9@ݠ { =@)singleton3)j@@@@+singleton_2 @toj]KE;*@CP W X@ک '@@@@+'union_1 @vd^TC@\Q r@  v@%union}@"or @ѐ@@@@@R'union_2 @{j@RBC< @= ө', ܐ@@@@@m'union_3 @ڠϠʠŠ@S9]^W @,@@@@@'inter_1 @ܠϠ@TPtun ˶@o  @%intereА@@@@@'inter_2 @ܠ̠֠@Uo! @9@@@@@'inter_3 @'@V8 @Q@Q C7@@@@@֠&diff_1 @C83.! @WƶTǶ @ _ !@$diffM"@@@@@&diff_2 @bWRM@.( @&Xs <@@@@@@&diff_3 @{pkfYGA7&@?Y U@@ 9T@@@@@)(filter_1 @tb\RA@ZZ o!f@ sb@@&ProperL@l @*respectful%WO?%su Ŷ@* ǩ @&filter&sy2@@@A%@A@@a(filter_2 @Πày@[-QJ 86@5@# <x@@@@}(filter_3 @ߠڠՠȠ@\Imf öTR@Q@i@jc@YF@@<@@)for_all_1 @ԠΠĠ@]gqo@n@ @'For_all,"^ `t +bީ @'for_all@@e@@Ġ)for_all_2 @1&!@^@@w٩, @@@@䠠(exists_1 @QFA</ @_Զ@@ -@&Exists!+ˀI# 5@'exists_Tx@@@@ (exists_2 @vkfaTB<2!@:`ݶ@ܶ@ưB(E@@@@$*elements_1 @|o]WM<@Ua  j@⩛*SetoidList%Lists n@#InA q9@  y@(elementsYʀI@@@Ai0A@A@@Q*elements_2 @zi@bA: @-; ٩"F@@@@j)In_eq_iff @נ̠Ǡ @c6ZS J @3,@#iffС)\@@R@@'mem_iff @Ӡ@dTxq ΩG!@@@@@+not_mem_iff @ ؠҠȠ@ek 3a`^:R@@@@@)equal_iff @'@f8N7@@@@@Ѡ*subset_iff @>3.) @gO©e@@@@@蠠)empty_iff @UJE@3!@h -{Ҡ p 1@%empty]p@%Falsee@@@@@@ ,is_empty_iff @xmhcVD>4#@ 5 @@@@@n*remove_iff @۠РˠƠ@m:^W N 2@#andЖw@9@@1@@.remove_neq_iff @٠Ǡ@nZ~w Զn ն@P$Ԑ@@J@@+for_all_iff @ ڠР@os}{@z< @@`@@*exists_iff @,! @p@T@@x@@נ,elements_iff @D94/" @qǶk@@@@%mem_b @[PKF9'!@r޶45@ '֩5@@@@@ 'empty_b @vkfaTB<2!@:sNð ?!@@@@@ %add_b @}xkYSI8@Qt fgܰ X詚 Y@#orbu)eO:@$2 Dʐ@@@@@K)add_neq_b @~tc@|u;4+@  ]@@@@@e(remove_b @ҠǠ }@v1UNE!  @$andb=; @$negbL@@@@@,remove_neq_b @נŠ@wX|uҶlӶ@NI ũD@@@@@+singleton_b @ߠ٠Ϡ@xa ݩ\~@@@@@'union_b @+  @y<z uY@@@@@٠'inter_b @F;61$ @ zɶWʶ  Vt@@@@@&diff_b @`UPK>,& @${q: +ĩ@@@@@*elements_b @}rmh[IC9(@A|V˰ G$List@'existsb  ɐ@@@A=\ @A@@6(filter_b @oi_N@g}&|  @  oҠK O@@@@R)for_all_b @{j@~B(&@% C@'forallb?[/*@@@%@A@@AAIPAN@F@A1@D%@ABCD@@}(exists_b @ߠڠՠȠ@ImSQ@P9 sn&@@%@@$In_m @Ϡɠ@@f@~@Acbe1@@@}@U@AB@@'Empty_m @" ޠ@A@@@@Al@oAۓό^@s@tAРD.Morphisms_Prop@ABCD@@נ*is_empty_m @D94/" @B@  TА@@@@%mem_m @\QLG:("@ C@@@@@AA@@?@@ABCD@@ +singleton_m @zojeXF@6%@>Dݰ@@@@@A@[@@ABC@@)%add_m @tb\RA@ZE@ @   @@@@D(remove_m @}wm\@uF@@4@@Y'union_m @Ơq@G)@K0#M2/,@@L@@q'inter_m @ޠӠΠɠ@HA@@a@@&diff_m @ޠѠ@IV-,@@v@@(Subset_m @ ԠΠĠ@Jk@eِ@@}@@(subset_m @    ܠ@K@ݩ}0@@@@A@@ABC@@Ϡ'equal_m @ < 1 , '   @ LA@@@@䠠,SubsetSetoid @ Q F A < /   @ M@(PreOrder@&@@@@A@@ +Subset_refl @@2PreOrder_Reflexivevv8@-=@@)ReflexiveW (6777"kA H @ |T@PǐL  @L#nDѠ'Classes @.vv\      n h ^ M@@G@@ G,Subset_trans @Y@3PreOrder_Transitive4(ۀF@_@*Transitive++-^A@T0@4(ې\AL?D Ԡ ɠ Ġ      @@y@@ y&In_s_m @  ۠ ֠ Ѡ Ġ    @ NIB b AD n&Basics'Program@$impl7o o@@@@ )Empty_s_m @      ՠ Ϡ Š @ Ole "@$flip$   (@@@ @ A!s̓P+@ A!t Q/@ABC@@ à'add_s_m @ 0 %       @ P      @@@@ ܠ*remove_s_m @ I > 9 4 '    @ Q;@@@@ )union_s_m @ ^ S N I < * $  @ "R  ..Ð@@@@ )inter_s_m @ u j e ` S A ; 1 @ 9Sذ@@@@ (diff_s_m @   z u h V P F 5@ NTĩ  Z   \F@@@HA@ۿ`J @A@Q @ @AB AۀߠK @z@A A @ AڠP @ABC A@@A@@ABA@@AA@A@A@A@A@ABCDEF@@ \,filter_equal @ ɠ        t@ U1%!H0063 R@@Q@@ v-filter_subset @  ؠ Ӡ Π     @ VK?HHN@@h@@ *filter_ext @     ؠ Ơ   @ WbV"f' y w Ŷ@c]\@ ~ | P  d e   @  YG#\@@@@ @@@@@0MSetLogicalFacts  A)test_push @ - "    @ @!P&!Q)!R,@)Decidable  @)decidable r @ @  @$Truey@@ @  C@@ tHJ @zI@ J @   K @ʠ L @@ ȐM@ ̐٠@ O@  @ Ԑ@ ِ@P J@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@)test_pull @      {@ A~@|@}@r@j@h@d@^@Y@R@K@D@۠ @ @@  FO@> N@ Q@@@@@D@@@@k@3MSetDecideAuxiliary  A-MSet_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$!S+8A*MSetDecide@@ z qg O  ~ w  P  h    _$ͩ%Ŷ  @( @z  7 R@ @  z Y@@ @ @7? | AA@@:$CBB@@DDDB$CBB@@DDDB@  a@Y6 @$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BG$ACBBCB@@A@DDEDFDGB@@A@@@@@+8@q@A@A@sA1DH @A@ᠠ1MSet_elt_Prop_ind @M     ŷ V   vB ;\Z@e U ?@6 @ @:8@:@.ĩ'  us@@@F@@3ѩ/   @%@DR@@:ݩ鐶@· @0@P >I aA@ \!mX NǷE@@@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@D@2l n$ i `q l j c k{ F o̷ T x I1q2rb d ;{<| @ADT %  b@) y z { | } ~ y n cS \+k()        , ' (*()=| &0EZoRy'>  &'>  %'> %'> 3! 3!# '> 3! 3!# '> 3! 3!# '> 3! &''''+k()$'+7Tk+ 7 T'$'   @ V@N(ň@0@aAJؠ. @ 5 0 +  @@@@@)MSet_Prop,<@A@bB-elt_MSet_Prop/Empty_MSet_Prop0Subset_MSet_Prop/Equal_MSet_Prop&J@@  թb 嶐"s1 ڶ"s2 ݩq *  u mAA5BABBBABB@*@+(W0@@@@@@@@@@@@@DABBACBDB@@A@@@@@@@-MSet_Prop_ind @` <   ; ; 9  7 ? =  7mЩ@^(W0@@?@@@@@@@@@@@@@@D@R 0  @ȶ a % #   9 0+k()= &R,'> % ' >$ '> % ' > % ' '+k()$'Р@Ws@@cd$IADH Ϡ Ġ    @@@@@?+eq_refl_iff @ ޠ Ӡ Π ɠ  @ BVT 6@@ )@@T&dec_In @    ޠ Ѡ @ CkȶP t@@@@@g&dec_eq @     @ D~|u}N@@@@@z@@@ P@@AB@3MSetDecideTestCasesA/test_eq_trans_1 @% @E!z @ d@|~ @  ?H  @@@ @A@@ ~@@ABCD@@/test_eq_trans_2 @LA<7*@5F!"'#!r Ѷ Ҷ@ ˠ ĩ  ~@  @ נ Щ  mƶ@ ܠɩ ޠY א@@@@ڠ3test_eq_neq_trans_1 @ynidWE@bG!wW @ M@ѐӐ V@@%- z@@@ @A@f@ @ABC@@3test_eq_neq_trans_2 @m@H(vwx}y"r1'"r2*+@$  G^@*@-_ Q@1c*@4` h ʶ@9M ͩ;J a@@@6@Ad@ @A@@ @ABCD@@?1test_In_singleton @ޠӠΠɠ@IVV y<@@@@@S+test_add_In @ݠР@JjǶaȶPt@m  DH@HЩsl@@@@ E@AB@@q6test_Subset_add_remove @@Km ܠ' `! f@@@@@3test_eq_disjunction @'@L@ zB |=Q  :D@@;@@0test_not_In_disj @I>94'@2M˶̶"s3϶"s4Ҷ@͠ a  n i s  ݠXs sZ@@@@@۠0test_not_In_conj @zojeXF@cNOP$"1/@- ѐ Ր#א#@@@@@-test_iff_conj @yg@O!ar @ Ġ v ˠ"t#  @@@@@ .test_set_ops_1 @@P7!qBtC D@r۶@V @Y Ԡ @ C!@@@@@C-eq_chain_test @נҠ͠@Q"x1"x2"x3"x4¶nopq@ @lCg@@@It  @P{ @~U@@ؠ\@@@@A@@[@ABC@@0test_too_complex @&@R@@@ 9 Ȑ j@Ґ@@#@@/function_test_1 @E:50#@.S !g@ʶ˶j!h"@X [@g _ a׶@ dѠ  j@@@@@AB@@Ԡ/function_test_2 @shc^Q?@\T ض.,LM@+@Р&@%@ȰU#%%'U 5@@@@#@A@ABC@@-test_baydemir @yg@U r s@D@:  z@@@@@@@@@A@J@AB @@A@@*@ABCDK@@@@@M@"FM{mXE @D@ՠʠŠ@i@@A@@A@Ȑ@@@@|l @ D@t2 Q@f@y,@@Z@@N @ X@V2iY@H*@[-@@@@@< @ l@D2iZ@6>@I- @@@@@6 @ @>y@0R@Cܠ-"@@@@@̠# @ @+y@f@0ݠA61@@@@@ࠠ @ @%8R@z@*3<5UJE@@@@@  @ @8S@@3<5i^Y@@@@@ @ @3$Ā@@-:}rm@@@@@ @ @3$ŀ@񐑠@-:@@@@@0 @ @2e@쐑@-xѠ@@@@Dې @ @2e@Ր@-xҠ@@@@@X֐ @ @2e@А@-xӠ͠ @@@@lҐ @ 4@58@̐@W֠@@#@@Ő @ H@59@@W@@7@@ @ \@5:@.@W @@@@@ @ p@-c\@B@( ~à @@_@@ @ @-c\@V@( ~Ġ1&!@@s@@Р @ @ 3@j@ۯàE:5@@@@@䠠 @ @ 3@~@ۯĠYNI@@@@@ @ @ 3@@ۯŠmb]@@@@@  @ @) Ȁ@@$J-vq@@@@@ } @ @) ɀ@w@$J-@@@@@4z @ @) ʀ@t@$J-@@@@@Hr @ @z-@l@9@@@@蠠 @ @  Ԁ@@;]RM@@@@ @ @ Հ@퐑@;qfa@@@@ @ @6 @搑@ ˠzu@@@@$Ӑ @ @6 @͐@ ̠@@@@8ΐ @ @ @Ȑ@k"ʠ@@@@LĐ @ @3v!@@.@@@@@` @ (@ Vu@@Uy5ՠʠ@@@@@t @ <@0 @@*8ܠޠ@@@@@ @ P@2#B@"@-0F@@@@@ @ d@)@6@ w@@@@@ @ x@@J@GĠ%@@@@@Ġ @ @* ۀ@^@%09.)@@{@@ؠ @ @ҙ@r@ @YMB=@@@@젠 @ @@@|aVQ@@@@ @ @ MY@@|Xuje@@@@ @ @<<@@6k~y@@@@( @ @>5@{@:Wà@@@@<} @@.P@w@)sT@@@@Py @@##@s@vR@i@|@@@@@l @T@t2eB@Rvo̶fͩBfeJ@LeU_6@-x@@@@@e @x@m:D@_J@r4%@@@@@Ġ_ @@g5i@zYXS:g@uX)B72@@@@@ᠠU @@]+;@O{@b&^DVKF@@@@@O @@W-c\4@45&If@`( ~nc^@@@@@ O @@W 34@I@\ۯwr@@@@@!H @@P) @B@U$J-@@@@@5B @@J^@<@O@@:@@ Q @@ Y;@ K@ ^ebWR@@ G@@ > @@ F5@ 8@ K Avkf@@@@ 9 @@ A Mg4@ 3@ Fz@@@@) 8 @@ @5l4w@ 2@ E0W7@@@@= 5 @@ =;D@ /@ B@@,@@Q 4 @@ <8;Z@ .@ A2}qƠ@@ /@@e  @-@ $c4@ @  VϠڠϠ@@T@@y  @A@ 1#@ @ +˶Ǡ@@h@@  @U@  D@ '@ C3@@|@@@@@@@I@A@N&In_dec @ @@nl c @@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@#Add @? V\@H2 +k() +7T' 7! 7!7! 7!7%'Р%Logic$InitI@@jС)"@"eqeh@ #,x @ T@ @t@@@@@N)Add_Equal @tid@rA L#<@S&ˀ w|@@@@@k*equal_refl @@B @@@@@z)equal_sym @@C@ݐ@@@@@+equal_trans @@D V. T/ c0@@ @@@@@+subset_refl @Ġ@EA @@@@@,subset_trans @ӠȠ@F xP vQ R@w@x ِ@@@@@.subset_antisym @۠@G?cd@@$ @@@@@Ӡ,subset_equal @@HRvw@@@@@@㠠,subset_empty @ @IbѠ @@@@@/subset_remove_3 @ @J   @䠩  /@@@@@+subset_diff @-"@+K   @ ,i =@@@@@,subset_add_3 @B72@@L  !@@ @@@@1,subset_add_2 @WLG@UM Զ ն!+@"@@@@@D)in_subset @j_Z@hN  !>@@ :@@@@@V0double_inclusion @|ql@zO ! IIʐ@@@@@j0empty_is_empty_1 @@P @ 4@@@@@{0empty_is_empty_2 @@Q@E@@@@@)add_equal @@R .'!@ Ő@@ R@@'add_add @à@S@9!"x'!Π ԩ@@@@@,remove_equal @۠Р@T4XQ!@ȩ @@ @@Ǡ,Equal_remove @@UFjkd!@ϩ@@@@@ڠ*add_remove @@VY}v!Ӷ@K N!!@@ <@@*remove_add @ @Wm!@!#i!*@@ P@@3singleton_equal_add @(@&X!/ Gt͐@@@@@6remove_singleton_empty @9.)@7Y" @@CߩE@@ v@@()union_sym @NC>@LZ˶Y̩V@@@@@;2union_subset_equal @aVQ@_[޶l߶@+j!n@@@@@M-union_equal_1 @shc@q\~#s''@W xؐ@@@@@c-union_equal_2 @~y@]@@@@@@v+union_assoc @@^)!!S@@@@@3add_union_singleton @@_ /(" !@@@@@)union_add @Ơ@`CD="Ϡ'!թ+@@@@@2union_remove_add_1 @۠Р@a4XYR"䠩<-?-@@@@@͠2union_remove_add_2 @@bLpqj"Ƕ@UI0@@ 0@@⠠.union_subset_1 @@caѠ"@@@@@.union_subset_2 @ @dr$"-ː@@@@@.union_subset_3 @*@(e5@@ϩ"A@@@@@.union_subset_4 @?4/@=fJ@ ʐ@@@@@+.union_subset_5 @QFA@Ogζ\϶ж@$@@@@@@-empty_union_1 @f[V@dhq@@@@@@P-empty_union_2 @vkf@ti@ܩ#"@@@@@b,not_in_union @}x@j#\@א@#ڐ"b@@@@@z)inter_sym @@k@@@@@2inter_subset_equal @@l 01@}"ǐ@@@@@-inter_equal_1 @Š@mBCRD@Ϡϐ@@@@@-inter_equal_2 @٠Π@n2VWfX@㠩@@@@@Ǡ+inter_assoc @@oFjkzl##R@@@@@ݠ-union_inter_1 @@p\  geh@@@@@-union_inter_2 @ @qr$"z,"}А@@@@@ +inter_add_1 @/$@-r:$@{98#G#B[@@ @@!+inter_add_2 @G<7@EsĶRŶ$@5Qn@@ @@4-empty_inter_1 @ZOJ@Xt׶eض@b@@@@@F-empty_inter_2 @la\@juw@@@@@@V.inter_subset_1 @|ql@zvE#@@@@@g.inter_subset_2 @}@w  V#@@@@@x.inter_subset_3 @@x+@i¶@kr@@@@@,empty_diff_1 @@y /0@?h@@@@@,empty_diff_2 @Ġ@zAB@*͠z#Ґ@@@@@+diff_subset @נ̠@{0TU(#@@@@@à1diff_subset_equal @ޠ@|Bfg@@@@@@ՠ5remove_diff_singleton @@}Txq$Ω ̐@@@@@砠0diff_inter_empty @ @ ~f8o@@@@@.diff_inter_all @ @y+($-@@@@@ 'Add_add @2'"@0@%$F$>@@@@@*Add_remove @C83@AA%@Ͱ$P$W@@}@@/)union_Add @UJE@SBҶ`ӶԶ%*@$l $k$f_@@@@@F)inter_Add @la\@jCw%A@@$| ө$yC@@@@^+union_Equal @yt@D%Y@Ѷ@'\@@ )@@t+inter_Add_2 @@E'%o@@.,n@@ >@@.elements_Empty @@F,Ϡ< u@$list]@%  A@@@@A@@AA al @@ =@ABCD@@.elements_empty @נ̠@G%2{@@@@A@@à'of_list @!l5b@*fold_right#l%8%@ =m P+k77777#'РA@%!ؐX @I$H`@v$;#p%Lists@%#x@%$єh @@@A*@bA+@_@ABC@@ 'to_list @@@{8@(27,'@@@@@)of_list_1 @C83@AH]&d%Y@m. ʩ%`%X@@@@@@ABC@@:)of_list_2 @`UP@^Iz@*equivlistA~@D=f4% %@@@@V)of_list_3 @|ql@zJ6 %@@@@i/fold_spec_right @@K !AQ.MSetProperties&e@@!i%@&q@%"%&u@$fold;%%" %%&}%%%@#rev$t& ؐ@@@"@A@A@&A@A'A4%3@+A.hB'@AB.A8ޠL*@3AV@A4A1FdJ@ A1GK@AA>H@@A3M@ABCDE@@(fold_rec @٠@LTԠRR@@@i@%S[@@VVZ&Os@u@Ƕ@q&ζ_{|@@M@ "f&@uw&l|& "p@@@-@A@@&@A@AB@1AX@A@@,fold_rec_bis @$@"MȠ^@@@@&6_@@&E@C(@@:s@&Q@'O¶@&XO@@ՠ?"["@@@1@A@@*@A@AB@5Au@7A@0Ap@ABC@@F.fold_rec_nodep @la\@jNܔf@@C@&g@@ݶ&@e@'Ro@P@)$,{@@@@A@@@A@AB@"Aj@$A@Ae@ABC@@{-fold_rec_weak @@O k@@x@&@&!:l@@&¶@ 12@@2@#\&Ķ@ 2'  <@ 7@d]ɩh #G&ݩ*s&:@@ @.@A@!:@'@A@AB@2A@4A@-A@ABC@@(fold_rel @۠@PV#2tT@@!B#qu]@@@'@' #vf@@a@'Ҷ@#amho!jr `@@ 'ݶn!b@~@ v'*x#',#|@@#2@7@A@#q@0@A@ #@)@A@ABC@A1I!M r@ACA@EA@ABFAo@IA ߠn"@ACA@EA@ABCFAx@JA @ABA @DA1J`N @AB@@As@#@@A@ABCDEF@@--set_induction @ S H C@ QQ#@є%i}@@@ ٶ@F@ ܶjݶ@H (4@ ڠ'x#Ƕ@6 (@@%i@@A@A@A@A@@V1set_induction_bis @ | q l@ zRL@&C@@@   @@#&@'@!(_  @x@7   "@@&@@A@A@Aj@A@@-fold_identity @   @ S  # ''K'@@@ A@A @@ABG@ A@A@@@ABCD@@&fold_0 @    @ T! ?3 )YM1@@/'۶--!@"ex @ !=@&NoDupA @!Q!0'!V( X' ,$GE$I' U'$K('''@@ )Y@)@A@A@-A^@A.A@0A6@AB1A@J@A#@+@A@6@"@ABCDE@@㠠&fold_1 @!   @!U!b z")נOx@@#eqA@(%@( "st@+Equivalence~@!l(0@(@ *@é 0(2(9(9@@")@ @A@A@$Ak@A%Al@'A@AB(Au@+Aj@A@z@@u@ABCDE@@ !&fold_2 @!G!<!7@!EV! Ķ R Ŷ!)&*ӠS@@@><:(c3@@!˶@`G!9!  $$(n@@)transposeWâ)7l (n@! ݠ@  x ޠ  |@@&*@,@A@A@0AĠm@A3A@5A @AB6A@:Ai@A;A@=A@AB@@A@l@@ABCDE@@ t'fold_1b @!!!@!W!! (+QU @@(@ %(@@(+Q@ @A@A@A%t%@AA@A@ABA@A!uR@AAH@@AA&4@@@ABCDE@@ -fold_commutes @!͠! !@!X=)+V;@@8׶$Comp7@"O1"Q"03%@%@(((#Ass)!Q%E(K"@!d"])H( )M()@@@&A @A'A@)A 3@+A;@ =@ABCD@@ ⠠)fold_init @"!!@"Yx;ll4i@"c"q"be)")")))#x%s"i'!"p!@x#)%%|z%)').@@@-@A,@)@ e@ABC@@ *fold_equal @"0"%" @".Zc 4][TR="!!B!@!@٠+)M%-)H%@@@uA8@AvA@O@ABM@!@A@@A@@ @ABCDE@@ 3*fold_empty @"Y"N"I@"W[@*-@)e)l)f!)o)q)j)r)r@@@A@l@A@ABC@@ N(fold_add @"t"i"d@"r\db`^x"!"*N@ho%p)H@@@A@@AB@@ m(add_fold @"""@"]ƶ}""#*m@!<c@@@@A@@ -remove_fold_1 @"""@"^ض϶# "1#**@!V)éS k&@@@{@A@@!@ABC@@ -remove_fold_2 @"Π"à"@"_>3Ҷ9۶#."R#K*@©w@@;@@ 0fold_union_inter @""ܠ"@"`WնѶL  R#G"k!"lOQR*S*U* * @@@@A@@@!A@ABCD@@ 栠/fold_diff_inter @# #"@# a|?q970.w#l"""t>%)@@@@$@#@ABC@@ *fold_union @#)##@#'b\-VTMK6#"";"@#+#P!X"נ) &+*M@@%@@ %)fold_plus @#K#@#;@#Ic#"ȶ!p&@#nat@" @++ B*e*m#Nat&@! `*pA*{@@@A@A@@ T-cardinal_fold @#z#o#j@#xd#"".+O@(cardinal%ک6,*@@@@!A(1@!A o&K@ABC@@ u*cardinal_0 @###@#e##Рʩ$+uà!X"Y+"%&i@&length䷀+*@@@@@(@ABC@@ *cardinal_1 @###@#f$#=@"L#u\@@@@@ *cardinal_2 @#Ѡ#Ơ#@#g$*#N"#O$H+@I@ ]*'7*#]`@@@@@ Š.cardinal_Empty @###@#h$D#h "x#4s@@@@@ נ.cardinal_inv_1 @###@#i$V#z@"b@@@@@ 栠.cardinal_inv_2 @$ $#@$ j$e#!n@#Wk&k$}@#sig#* @+$+@@@"`A8A$@A@@ /cardinal_inv_2b @$.$#$@$,k$#@${D,$,"U@@@"xA1>lB$@@AB@@ !.Equal_cardinal @$G$<$7@$El$#Ķ#R#Ŷ@#P#&@@@#@A@@"@4@ABCD@@ 9*cardinal_m @$_$T$O@$]m @# ##i#@@#@@ M.empty_cardinal @$s$h$c@$qn#&@@@@@ ]2singleton_cardinal @$$x$s@$o$,U#ʰ7 /"@@@@@ q3diff_inter_cardinal @$$$@$p$$#$#߰L> ĩ"@@@@@ .union_cardinal @$$$@$q%$+#$,@~#d6"Xk@@@@@ /subset_cardinal @$Ġ$$@$r%$A#$B@#%Peano'@"le UxT@@@@@@ 2subset_cardinal_lt @$ޠ$Ӡ$@$s%7$[#$\%U,@#@$@%/$S@"lt Uxcp@@@@@ ՠ4union_inter_cardinal @$$$@$t%T$x$$y$C d]@@@@@ 젠4union_cardinal_inter @%%%@%u%k$$$$Z@#sub ~@@@@@ 1union_cardinal_le @%*%%@%(v%$$5$e-+@@@@@ .add_cardinal_1 @%;%0%+@%9w%$%-@$$Ð@@@@@ ).add_cardinal_2 @%O%D%?@%Mx%$̶%-"@ <$ @@@@@ =1remove_cardinal_1 @%c%X%S@%ay%$%-6@$$# @@@@@ S1remove_cardinal_2 @%y%n%i@%wz%$%-L@ f$°/2@@@@@ e@@@@@&=Ƣ&?&,&@A@@ \ @ @ R @@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@&mem_eq @@05@J@@G@@+equal_mem_1 @@0?A&%2$%3@-$({$$@@@@@*+equal_mem_2 @@0OB&%B$%C@$*-%(% e"@@G@@;,subset_mem_1 @@0`C&/%S$%T@;-@%!(3(x%#$@@@@@L,subset_mem_2 @@0qD&@%d$%e@$L-@%2(#(%4((@@@@@_)empty_mem @@0E&o-~@@@@@j4is_empty_equal_empty @@0F&^%%L($l% @@@@@x,choose_mem_1 @@0G&l%&-@%\(@- >v@c-@&choose&m$ Ay%n@@@$kA ůM(@A@@,choose_mem_2 @@0H&%@%~"($B$Ð@@@@)add_mem_1 @@0I&%ƶ&.%) %-_ (@@$@@)add_mem_2 @@0J@@@@@Ƞ,remove_mem_1 @@0K&%&.6%)'%-y &@@$@@ؠ,remove_mem_2 @@0Lt@@@@@⠠ X @@1M&.N%ð)?%} V)@@@@)union_mem @@1NY@@@@@)inter_mem @@1OH@@@@@(diff_mem @@1(P8@@@@@ %mem_3 @@12Q'&%'.{@!%)m%&@@@@@%mem_4 @@1AR'&4'-.@!#N@@@@@)6 @@1MS'&@& )%)b@@@@@64 @@1ZT')&M%&N&)%%&@@u@@D1 @@1hU'7&[%&\ k&]@%@%&))%)@@@@U+equal_equal @@1zV'I&m%&n }&o@%&:)%%@@@@f.equal_cardinal @@1W'Z&~& &@%@@@@@sM @@1X'f&&T)Щ%,)@@@@@8 @@1Y's&&%&@%@&d)%&Z)&g)&!$X)@@@@@^ @@1Z'&&8& &@%@%&x)%5)А@@@@@I @@1['&&I&@&"&@@@@@,choose_mem_3 @@1\'&ȶ@&*%';/"'/#!l&>8)3|@@@/@;@AB@@Ƞ,choose_mem_4 @@1]&MG +@@>@@ՠ)add_mem_3 @@1^'&'/C'/D@&*6 *@@@@@堠 Ґ @@2 _'&'/R@&&Ȱ*D& * @@@@@,remove_mem_3 @@2`'' (/b'/c@&ٰ*U *0@@@@@ ǐ @@2(a''(/q@"&*c& *?@@@@@  @@27b('*(#/@&ҩ&*r& *N@@@@@"  @@2Fc('9(2/@"'*& *]@@@@@11is_empty_cardinal @@2Vd(%'I'*&3%Zerob$Bool/@%zerobv쀐^@@@@@J/singleton_mem_1 @@2oe(Z/',*''*@@&,@@X/singleton_mem_2 @@2}f(h/Ŷ(_/ƶ@(A'<*'7%p(1@@@@@h/singleton_mem_3 @@2g(x/ն(o/ֶ@'L* *%@@@@@w ǐ @@2h(j''''Y*թ' *@@@@@  @@2i(x''*'@&ũ'h*'" *@@@@@  @@2j(''9' '@'2'x*'2 *А@@@@@  @@2k(''I' '@'#'+'B *@@@@@  @@2l('˶'Y'̶ 'ͩ'+'Q *@@@@@à  @@2m('ڶ(00'+!'_ *@@@@@Ѡ  @@2n(''v'(0?'+0'n + @@@@@ࠠ v @@3o(''''°+>'= t+@@@@@ s @@3p(('('а+L'K q+(@@@@@ p @@3 q(('(#(@'+\'[+8@'_'+`'_ q+<@@@@@  @@34r)(''(('+n' +J@@@@@  @@3Bs)(5'(6@'^(+}' +Y@@@@@-  @@3Qt) (D'(ET(F@'˩(+' +i@@@@@=  @@3au)0(T'(Ud(V@'(!+' +y@@@@@M  @@3qv)@(d'(et(f(0+' +@@@@@\  @@3w)O(s((t(u(?+' +@@@@@k  @@3x)^(((((N+ʩ( +@@@@@z  @@3y)m((()0@(:(^+ک( +@@@@@  @@3z)}((/()0@$(n+(( +Ɛ@@@@@  @@3{)((?((|+' +Ԑ@@@@@  @@3|)((M((,( +@@@@@  @@3})(Ͷ([(ζ(϶@(,('v+@:(,(&(+@@@@@ʠ  @@3~)((o((,((' ,@@@@@ؠ  @@3)((}(@((,7(u ,@@@@@砠6remove_inter_singleton @@4 @)()1U(ʰ,F( ,"@@@@@  @@4A)) ()(ذ,T( ,0@@@@@  @@4(B))()(,b( ,>@@@@@'set_rec @@47C}@*]@3m黀CƠH1@@@*2l(2i@%Logic$Init#Coq@@"eq @,(,j@-00)>0@*.3*L3 @,(*@)K0%(,@0$*?8)T0@@C@7@A@A@9A @A@@]-exclusive_set @@4D*Q1)1*q1=@#iffС)D@#notШL@#andЖw@*@1 1*1)1.1&^)Datatypes$Init#Coq@@$boolZ'@ @$andb=*@3耠1L1K1P1H)Datatypes$Init#Coq@@Z'@B@@@@@ @@4E ƔEQ2(@@@@@A@ A @ A@ABC@@Ҡ@ @@4F  \ Z X V& p &y*))~)@)W<@@@@@AB@@砠 @@5 G + q o m k&  &***2[@%s @@@@ @@5H >    ~&  &**+2n@)@@(@@  @@51I Q    '  Ҷɶ &+*++$2@)@@;@@  @@5DJ *d    ' ܶ %&Ƕ+*>+72@%@@N@@3 @@5WK =w    '2 Ѷ 8&ڶ+-*Q)*R@+L2*-#+@@d@@I @@5mL+<4'+Z4.@(4H21A32䩚+@2+@4;y2 2 2@@@@@vŐ @@5M+i4T+4[@U4u〠2-2%B`3-+242;@#nat@B>2H@@@@@ @@5N+4+4@42_2WA(@-Bg,@4w(02p2wq2{@@@@@۠ @@5O+4+4@4کH22BBŀ3v+222@@@@@ @@6(P+4ⶐ*4@,4쩛倰zw22{22uB3ŀ,n@4}22Ω#Nat$Init#Coq@@#add `݀2穚တ2@@@@@K% @@6oQ,>4*4@*5J,@4(us23A%Peano$Init#Coq@@"le UxT@33@@@@@}*filter_mem @@6R(z(x B(w,s+,3+b.ީ+]30(h%C+C'@@@@@.for_all_filter @@6S(( W(,++v.(-*(},4 %S'3J@@@@@-exists_filter @@6T(( n(,+é+/ 'D%e*ΐ(I@@@@@2partition_filter_1 @@6U(( (,+ة+/+\/ @#fst ++㩚49@)partition9NAg/@@@+A ӳ2[/.@+A Գq\/2@AB@@䠠2partition_filter_2 @@7 V((߶ (޶,++Ȱ/D+/F@#snd&W/'@@@@,filter_add_1 @@7 W(( (,,-4k@(Z+(, &*3(@@@(@*@AB@@,filter_add_2 @@78X)) ) - ,--&4@+/u(r,+@@@@@&,add_filter_1 @@7KY)#)! ) -,@+,A-:4@, / 5/d@47P@j3)i)@@@)@A+@+A1ՠF-SetoidTactics,=@+ A1I@ABC@@P,add_filter_2 @@7uZ)M)K )J-F,j+,k-d4@,7/ _-+@*+#"@@@@@e,union_filter @@7[)b)V)W@!@!-],, *c)Q)Rc)S-4ߩ&u)/h }4!@@)R@@,filter_union @@7\)}){ E)z-v,,(,,%)i0ѩ*@@)f@@-for_all_mem_1 @@7])) Y)-,@-5@,W,{/,+/ө,~/) 7/֐@@@@@-for_all_mem_2 @@7^)) o)-,Ķ@,0 /-5@r,0/@@@@@-for_all_mem_3 @@7_)) )-,ض-5.@,@,0!*-,0#)E-@@@@@Ӡ-for_all_mem_4 @@7`))ζ )Ͷ-,@,04B- `5G-5H'@@"@@蠠.for_all_exists @@8 a)) )--,̰0H?&)lU@@@%@@AB@@,exists_mem_1 @@8!b)) )--@.5m@,>,0_)< -ؐ@@@@@,exists_mem_2 @@84c* *  * .-)@,0pg-.%5@ש,0tZ-@@@@@#,exists_mem_3 @@8Hd* * *.-=.65@,@- 0)ca0b@@@@@6,exists_mem_4 @@8[e*3*1 *0.,-P@-00r à5.N5'@@ @@K#sum @*H@5 .A-eF .`5 0F4 @*P.H-l |+k()G + 77#' 7$' hV@ x@@@@@o(sum_plus @@8f*l@.~ @*k*d. .c 5@.l--Z ǩL@:Y.5 5.   z@@*c@@*sum_filter @@8g**@*.--u .60@@@@@@@@A!b0 )  5N @@*@@+fold_compat @@8hU~P6@@ ? = ; 9*S  2@*  5_@ 6+*`-5i@*@.ж@#"*.Ӷ@#O#.*#Q#Q*j*j5s@ 68# #T1ƶ#.-@.6<@-."""!j#!k#"#5}5"#55@@U~@.@A@A@%A@A3A @5A-@AB6A,@9A@A:A-@)@*@,@ABCDE@@*sum_compat @@9i*J@@..@/ 6j@-- M B- O#e@@*@@ @@@C@E@L@A@U~-@ABC@.@A&@@=@A9@@AVAĠm*SetoidList%Lists#Coq@@BCDX@bAviA)Morphisms'Classes#Coq@@AkA݋X_A/RelationClasses'Classes#Coq@@n@Al@xA1GK  @@ABXWCDUTR@*)@ABEF+@&@-@AB'H@@A@BC8A1>lB@9PA1@D@9TA1DH@@ABC @8A8A&Specif$Init#Coq@@ADEG u@-WEqProperties9B89@98@/x @J-R@@@@ %'@-W@A@A@@@4/h @^@B869@/#OҀ@'@@@@@49o @@@/#WN@@-y@@4/w @@// ///@@@@@4@*Equalities*Structures#Coq@-DecidableType@@@@#O@X8@4#OҠJ@@A@#WN@]9@"eq#WN^@@A@AB@7, @H@X9@9 %WSetso9@A@@99  @@@A@@@9"9#@@yg@ 9(@5yg)@A@@@'&@A@AB@A@@@@@9/ @@.@@9 @/@.@A@A@@@9*3 @@y@0 <@@@@@9,.! @@@2h@@@@@95. @@@@7}@@@@@9B- @@@ @%%@@@@@9L-T @@@.@@@@@9U8ݐ @@@@@@@9]-, @@@?@@@@@9f,ܐ @@ @@@@@9n, @@@@@@@9v. @@@XK@@@@@9. @@ @@@@@9W @@rE@@@@X @pj@@.h@M@A@A@@@9+ @@@@e2o@@@@@9+ @@ @@@@@9,f @@@i@@@@@9 @@@@2@8Lt@@@@-)A/A ϲ6W2@A вuX2@AB@@9Ϡ Ő @@@ @@@@@9ؠ+ @@@@@@A@A@@9堠 : @@@ǩ I @@@*A :@A@@9/ؐ @@@@(a@@@@@98 @@,Ӱ@Y ,[I,(p/Ð+@/@@(p@@:/ @0/ ީ+./@0/(7-(!@@@@@:'/a @0 / !@)/@7Z@;4@@@@@::/7 @1!1(@1!(79SNG@@@@@:M, @%@(1$21A@<$@%7gb[@@@@@:a,y @%17E01V1*R3<@6ˠ|wp@@@)@A@@:w1< @Y@/@@^6@@@@@:;D @@m@@/J@@61H @@1v1{w1g!1`1_@@@@@66[ @@1w1o,?0h3䩚@0ci0p3@@@@@:6J @@10<,R0{3@05P13)@@@@@:ɠ6; @@10O,e04 @0 (z13꩚@0$:{1@@@@@:ᠠ*empty_spec @@@/=р@,@@@@@:62 @@1֩,044@/}343ѐ@@@@@;6) @@11Ӷ1ԩ, 8@/a0ǩ.䠩_0@@@@@;6 @@122, 8@:( p0ީ+1@@@@@;65 @@2&2,Ҡ78ǩ@/L4D808,@@@@@;I*union_spec @@2,0-2<,砩L8ܩ3@/(0ɩ/'B@@@@@;_5 @@23A0B2Q,,a8񩚠H@.0ީ,W@@@@@;t5 @@2HV0W2fA-v9]@. 0,lE@@@@@;5 @@2^lvF@@p9.n@]n1T9w@mJl*@5nɀր9*j(l9,9,9-@-vיK.F9*@@8@b@A@A@fA{@AgAj@iA( @ABjAv@lA%@t@'w@ABCD@@;5F @@21쩚@I,45@5A䷀)4@@@@A@@;ՠ+filter_spec @@22.?@.@85.:5(.9j-yޠ9m@.&񈜀0/,}1ԩ15@@.@@;4 @@2ֶ.\@-156@.X\ +15@.i,n 2.h9@@.@@<4ؐ @@2.w@8-1հ5Q@..҈151@.;"0;L@@.@@<(/partition_spec1 @@2 /@RI@D:A]€1R1@@@D@A@.@ABC@@X @@@2[@@94Y @@ @@@@99d @@ @@@@=9G @@@@@@=9, @@ᐠ@@@@= @@Ր@@@@=Ƞ9 @@ɐ@@@@=Ϡ8 @@@@@@=֠8 @@@@@@=ݠ8 @@@@@@=䠠 @@@@@@=렠8I @@@@@@=8 @@~p@@@@=7 @@oRQO@@>7 @@C4@3@@>2 @@1@0@@>7 @@@0@@>6ސ @@@0@@> @@搠@@@># @@א@@@>*6 @@ϐ@/@@>15 @@ː@/@@>8ʐ @@@@@>? @@@@@>F@@@@5{5~5z5o55s5o5e𢢢555j5e5[ @5ZƷ5Q5O5A7@5*35:@7@5)@5fҶ5]75&@@>à@A@@?w@A@?}>@A@5@@@@44 @44@5ft5^5z_@϶@4@@4}@@44q @&# 4s4A5x5p@4h74^7@@@@@4Š4] @8524_4B55@@@@@@4Ԡ4R @GDA4T4C54K@0484>7@@@@@4栠4= @YVS4?5D54]@ c4N@@@@@443 @ifc455 E5ɶ4mʶ@48'4`8@@@@@54! @{xu4#52F5۶4ܶ@/(4p@@@@@54 @45BG5@ 4̰8H48$@@@@@5)4 @45SH5@%@@@@@573 @35aI5 66@e)< 5@@3@@5J3 @35tJ66,6#@)@@@@@5Z3ؐ @͠ʠ35K6-6<63@@$@@4@@5k3ѐ @ޠ۠35L60>6M(6D)@6&_<?5N@@4#@@53Ő @35M6ES6b=6Y>@@s3t=T3@@48@@53 @35N6Zh6wR6nS@g@@@@@53 @35O6a6}b@_5 @@4X@@53 @(%"35P6q6r@=.o8Ð@@4j@@5Ǡ3 @:7435Q65>6@m3H@@@@@5٠3 @LIF36R65P6@ˠ=S3@@@@@5젠3 @_\Y36S65c6@@@@@@53x @oli3z6&T6϶5sж6@{@@@@@6 3i @|y3k66U6߶56ʶ@Ր@@@@@63b @3d6FV656ڶ@@=3[@@@@@603Z @3\6ZW657@@@@@@6@3K @3M6jX757#@6 @@@@@6R3D @Š 3F6|Y7%5&75@1@E=ԩ3@@@@@6f3= @٠֠3?6Z7+97H#36@@{Y4@@3@@6x3 @36[7=K7Z53HҶ@@3@@3*@@63  @36\7N\7kF3Y@@@3"}6h3@@3?@@63 @ 36]7cq3m@@6T9Щ69@@3R@@62 @$!26^7v3 @˶@7s2:@@3e@@6Ġ2 @74126_73@޶@6z969Ґ@@3x@@6נ2ΐ @JGD27`730@@&@@3@@6蠠2Đ @[XU27a77@ũ29'>a<9@@2@@62 @mjg27$b7Ͷ7@@@2@@7 2 @|yv273c7ܶ7ƶ7Ƕ@72@@6@@72 @27Ed77ة2i@@@@@7+2 @27Ue78 26:]y7Ր@@@@@7=2 @27gf862ʠx@@@@@7M2| @2~7wg8 6!2ڠnu@@@@@7]2u @Р͠2w7h8>2頩N>k2i@@@@@7n2c @ޠ2e7i83A2dk@@@@@7}2\ @2^7j8^98U:3 8@@60@@72U @2W7k8R`8oJ8fK3w5To@@6C@@72K @ 2M7l8es8]8y^@ͩ3/k!@@6U@@72D @%"2F7m8w8o8p3@2=@@6h@@7Š27 @852297n888@3TZF@@6z@@7נ20 @JGD228o840@3eԐ@@4@@7蠠2) @[XU2+8p84A@3vʐ@@4@@72" @lif2$8#q8̶83@@3@@8 2 @|yv283r8ܶ8ƶ8Ƕ@ 77;;W7X6I@@@@@82 @28Gs8٩7а;Lh8Ő@@@@@8-2  @28Wt8 997;^z2@v 9f9P9;@9% e[ɀ86ː@@@@@8L2 @28vu9 9. 9% @ y8;~C@@@@@8_1 @ҠϠ18v9$ 29A 98 8;21(14@@@@@8u1 @18w9: H9W 29N 3@ 8+; l@@@@@81 @18x9i D9` E8<;CX@@@@@81ې @  18y9^ l8 m9| W8N;ʩ@2rb@@@@@81Ԑ @ 18z9r 8$ 9 k8b;ީ?2A@@@@@81͐ @30-18{9 87 9 ~8u; =2T2O@@@@@8֠1Ɛ @IFC19|9 9 8<"1 (;t@@1@@8頠1 @\YV19}9 9 5 C@8<72~;@@5@@81 @qnk19(~9 Ѷ5 W@8@@9@@9S1d @Ơà1f9}C6@  6   @@1]@@9d1W @נԠ1Y9D6-@  96'  ; @@1P@@9u1L @1N9E6>@  &68  ( 6: N N^@@1c@@91D @1F9F6QU@@1q@@91= @ 1?9G6_ ,6X l H  9@@1@@915 @179H6o <2@@1@@91. @'$!109I6} J+@@1@@9 1' @52/1)9J6 96   ?@@9@@9Ҡ1 @EB?1!9K6 O6   O@@1@@9⠠1 @URO1: L6 _ @@1%@@91  @c`]1:M1  @@0@@90 @0  @1$/=@ ~<6< /@/$l^S@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BG/=@@A@@@@/3/1@0/- @0y/8 /8 c/)8)0303@@/#@/"8/03¶03ö@@/@ /8503ȶ@>.///03϶// 03ҷ/ &@/// 03ַ@.B$./@...1'4K@ .Ci.@1)0l8I8881.4R/..mjg.@@@@0Ӡ. @xur. @.@=lM= ֶ= ׶0- 0+ .: .8 @=ؐ 9 Š@ ǠD ɠD .6=㐩:©: .5n.4@@@@@2.3 @.5=N>! > 0S0Q.`.^@&7͠>ݩ7Ѡ>>@@@@@2+./ @Р͠.1=O.+>?>$2<3@8 R.);'  U0Щ8 X. Y=D P;@@@@@2H.( @.*=P>[6.$N/O>BP@ "D@ @   =b =e@@@@@2e." @   .$=Q.S.T.U.V0n0o.p.q@ :1@ 2 .@@>^ 2 w.@>d .@ 2 .@ . Ӡ .2ɐ@@.@@2.  @ 8 5 2.>R>>0 />@D@@ :A . ;q@ /ِ@@.*@@2. @ R O L. >1S:.@00.k.i@ a.@$-@ :_ -@@-@@2Ǡ- @ l i f->KT:.1 ζ1 ϶..@@<-@@=.. -@@-@@2ᠠ- @   ->eU:¶>>Ѷ>Ҷ@E -@>Ӑv -ߐ@@/@@2@@@-H -@@@@H!-Ԡ-Ӓ?Q-א?W?A?,? @ @ >֠   -א@@@@>H>8 @@>@ m ր@ -̠    -͐@>$@@>Z> @!@> !Hހ@ -ʠ Ԡ Ѡ -ː@@@@>l> @3@> !H߀@ -Ƞ   -ɐ@@@@>~= @E@> =ǡ@ -Ơ   -ǐ@@@@>= @W@= =Ǣ@ -Ġ   -Ő@@@@>=ߐ @i@=&`׀@ -    -Ð@@@@>=͐ @{@=&`؀@ - . + (-@@@@>Ơ=Ő @@=!fI@ - @ = :-@@@@>ؠ= @@=!fJ@ - R O L-@@@@>ꠠ= @@=!0@ - d a ^-@=@@>= @@=!0@ - v s p-@@@@?= @@=!0@ -   -@=@@? = @@=h@ -   -@=@@?2=w @@=h@ -   -@=@@?D=k @ @=sh@ -   -@@@@?V=c @@=kê@ - Р ͠ -@> @@?h=V @/@=^ê@ -  ߠ -@>@@?z=O @A@=W9ۈ@ -   -@@@@?=: @S@=B9ۉ@ -   -@@@@?=1 @e@=99ۊ@ -   -@@@@?=, @w@=4YM@ - * ' $-@@@@? = @@='YN@ - < 9 6-@@@@?Ԡ= @@="YO@ - N K H-@@@@?栠= @@=0@ - ` ] Z-@@@@?= @@= 0@ - r o l-@@@@@ < @@=0@ -   ~-@@@@@< @@<)ɀ@ -   -@<@@@.<͐ @@<)ʀ@ -   -@<@@@@<Ð @@<)ˀ@ -   -@<@@@R< @@<^p@ - ̠ ɠ -@=@@@d< @+@<^q@ - ޠ ۠ -@=@@@v< @=@<gY@ -   -@=)@@@< @O@<gZ@ -   -@=;@@@/0@ -|   -}@@@@A*< @@<'6@ -z   -{@@@@A<< @ @<#7\`@ -x   -y@?@@AN< @ @<?!@ -v Ƞ Š -w@@@@A`<  @ '@<7JA@ -t ڠ נ -u@@@@Ar< @ 9@< ;@ -r   -s@@'@@A; @ K@;*D0@ -p   -q@@9@@A; @ ]@;.@ -n   -o@>I@@A; @ o@;]@ -l "  -m@>[@@A; @ @;0nq@ -j 4 1 .-k@=@@A̠;ސ @ @;!H@ Đ-h F C @-i@@@@Aޠ;Ր @ @; ׀@ -f X U R-g@@@@A;А @ @;!0ǀ@BĶBBAE" ĩ;ɠJ8sC(1@BO  ȀB -d z w t-e@@@@B;ǐ @ @;(,r@ ǐ-b   -c@@@@B$; @ @;h@BCBAڰEV Ʃ; ;6-`   -a@@@@B?; @ @;7 @ ː-^   -_@@@@BQ; @ @;ê@C3C*BE ^-\ Ϡ ̠ -]@@@@Bg; @ .@;9۹@ ϐ-Z  ޠ -[@@@@By; @ @@;Y~@ ͐-X   -Y@@@@B; @ R@;0@ ̐-V -W@@@@B; @ d@;$@CcqC[BRE;Eh<-T-U@;@@B; @ }@;)@ ΐ-R0-*-S@?i@@BȠ;v @ @;~^@ ː-PB?<-Q@;i@@Bڠ;] @ @;eg@ ʐ-NTQN-O@;{@@B젠;V @ @;^ m @ ʐ-Lfc`-M@;K@@B;I @ @;Q2%€@ ʐ-Jxur-K@;F@@C;9 @ @;A!f@ ΐ-H-I@B@@C";3 @ @;;!H@ А-F-G@;-@@C4;' @ @;/êĀ@ ѐ-D-E@;!@@CF; @ @;%!0Ҁ@ Ґ-B-C@;3@@CX; @ @;h@ ѐ-@ҠϠ-A@;E@@Cj; @ 1@;9Ā@ Ր->-?@;W@@C|;  @ C@;Y@ א-<-=@;i@@C; @ U@;0@ ې-:-;@;{@@C; @ g@; >@ ߐ-8-9@C|@@C: @ y@;&a@ ᐑ-6,)&-7@:@@CĠ: @ @: =݀@ 㐑-4>;8-5@; @@C֠: @ @ 㐑-2LIF-3@:@@C䠠: @:@; 6&= @ 搐:נ`]Z-3@:@@C: @:@ 吐:oli-2@;@@D: @ @:,7@ 向-.~{-/@@b@@@@@-,ݐ @,EIF>LL@@@@@-Ϡ,ܐ @,EJ8[8\FkF@ZCM @@@@@-⠠,ې @ ,FK8n8o6p@9CCM@@@@@-,ڐ @",FL88Fm@@ѠEI@@5@@. ,ِ @630,F-M88F@I@@@@@.,ؐ @HEB,F?N88F@@ @@@@@.-,א @YVS,FPO88AsC@p  E@@@@@.@,֐ @lif,FcPF̶@uMq@@@@@.P,Ր @|yv,FsQFܶ@s@@@@@._,Ԑ @,FRFFն@M@@6%@@.p,Ӑ @,FSFG ,MD@@@@@.,А @,FTGG @M@@7@@.,ϐ @ ,FUG"E#G2 @j͠!@@@@@.,ΐ @ԠѠ,FVG&4GC@>ޠIM4M@@8 @@.,͐ @,FWG9GGV1@+EM^M@@8@@.Π,̐ @,FXGhC ĩm*@@@@@.ޠ,ː @ ,GYG\jGyT@t@iJj@@8@@@.,ʐ @,GZGp~F"'OGhPFd@@@@@/,ɐ @0-*,G'[GF4@ݩ:bN6@@@@@/,Ȑ @A>;,G8\GFE,@Lt:=u@@@@@/(,Ő @TQN,GK]GFX,@>_@@@@@/:,Đ @fc`,G]^GƶFjǶ,ȩpNvNwM@@@@@/O,Ð @{xu,Gr_G۶GũF IN@@@@@/b, @,G`GFG٩NĐ@@@@@/v, @,GaGFHԠE+נ F@@@@@/, @,GbH FH)@%Ġ1o@@8@@/, @͠ʠ,GcH-F.yN@@@@@/, @ݠڠ,GdH/=F>N@@@@@/, @,GeH?MFN-sO@߶@t!DN@@@@@/ՠ, @,GfHSaGb-c@@@@@@/栠, @ ,H gHdrGs-t@EEީFGL@@@@@/, @&# ,HhHxG*@@@@@@0 , @52/,H,iHG9@,?!O;@@@@@0, @FC@,H=jHGJH@H@HʠOY]@@@@@01, @]ZW,HTkHGafyHzG@@@@@0C, @oli,HflH϶Gsж@yO|@@@@@0T, @}z,HwmHG.@(;|@@@@@0g, @,HnHG.@}E@@@@@0z, @,HoHG.,àOŠON@@@@@0, @,HpI G.AŠU;c@@@@@0, @Р͠,HqI"0G1.V2ڠ*;@@@@@0, @,HrI7EGFIU0@P]FO^OW@@8@@0Р, @,HsIN\H]IlG@Ai@@8@@0⠠, @ ,ItI`nHo@+@@@@@0, @,IuIqH#@@@@@@1, @.+(,I%vIH2ڠP3@@@@@1, @>;8,I5wIHBPK@@@@@1", @NKH,IExIHR.@Gk@@@@@@15, @a^[,IXyIHe¶@Xi@@@@@1F, @rol,IizIҶHvӶ@i|zHPy@@@@@1X, @~,I{{IH0IP@@@@@1i, @,I|IH@B0@@@@@1z, @,I}IJ 1@@@@@1, @,I~J HӠ5\S@@@@@1, @ɠƠ,IJ)H*ҠPϐ@@@@@1, @ڠנ,I@J,:JI$xPP_@@@@@1, @,IAJ<JJY4@TPHP@@;@@1Ϡ, @,IBJM[H\/]JlG@,Q0:@@@@@1䠠, @  ,JCJbpIq/rJ\@|@,Q!1;@@;H@@1, @&# ,JDJxI*/Jr@@3[;;@@9@@2, @;85,J2EJI?/J@@+H*@@9@@2#, @OLI,JFFJEhҩI,@@,@@25, @a^[,JXGI?@@,@@2D, @,,~Qy@,А,ywtq,W@,T@@2V,K @Z@%,I,J@@@@2d,G @,IJH,6JکEQ2@,'.IEvdQQ@@,F@@2},C @,EJI,O,BsH@,9MQ@@E@@2,= @,?JJKǠ,MQΐ@@F@@2,< @ѠΠ,>JKK#1,;,9,1QݶG/JQ,Q!QQک,&#@, ,@@2+ @+JL,P+?@I+GE׶,IQK>L@IN@p+@K_:;M?ٶIS0xT@ @K; @++FR+@++@@2ޠ+ @ +KM,s+߶?Զ@l+ٶGh,lRKao@KcqJr;n?@+Ҷ@J{R @Kb;u?J{@+϶@Kc G@+Ω?F+ͩ@ N~+̐@++@@3+ @30-+K*N,+?+G",R?K@?@K;@"@E+G=B@++@@3+ @KHE+KBO,+@@+G;,RX@KJU;GS@+@NRY@K;@AK@K>S@+?<]+Kĩ@LRpP+@++@@3H+ @tqn+KkP,+++@9+yGҶ@+q;),J߶+pJKܶ@+n@Kȶ;@@@@j+k@!n+eo+d@+c+]@@3g+: @+<KQ@\@+9@K@?y@KJ@?{L @K␩+3@+2KGY@+1+/@@3+- @+/KR@x@+,@LJ@+&@RN@L&L @@;[@ ޶L+$@+#+!@@3+ @ˠȠ+!KSL+Ӡ/?RfRِ@@+@@3+ @ܠ٠+KTL.<-F+-<RH:̩+ -E+RELW2Gg+RK,OG+.OJ:RRR@**@@3Ҡ* @*KULP^-h*****-`S H^@M*۶@;Kl*S@**@@3ꠠ*ɐ @*L VLhvKwLa-*ȶ++**-zS%Hx@Hu@*©Ho**S-@*oH&KS(@Ll*@*@ˠ*K@*@**@@4* @?<9*L6WL-*-SKH/@1KOWSN@**@@4&* @ROL*LIX-*~+;+9+7+5H޶*xH@3+0H5,T#*vSe*t*KOS`-H_LLAM*rHeSpP*p@@*o@@4H*f @tqn*hLkY-*+]+[Hc*Hΰ@T,sHV-D*eS-Oֶ*cKL߶@,qAhl*am*`@@*_@@4e*[ @*]LZ-*+z+x+v+tH*?*:-HLK@A3*Z*Y@@*X@@4*L @*NL[.*׶I. SKSSSHSS@@*I@@4*D @*FL\.'*++++IJ*l*g."HĶM%M4@ A`A[A<P$AS1@@*C@@4*A @ڠנ*CL].C+++++I8f+*.>HM3AMP+@KA|I@@*@@@4Ơ*? @*AL^.[+++ٶ++նIP~++.VHMKYMhC@cAATAA[PZe@@*>@@4⠠*: @ *<M_.w+:++++Il+4++.rIMguM_@YA}@@*t@@4*9 @&# *;M`.+R,, , , I+LԶ+C϶.I,ML1A͠AI2AI4T=AI6T8 *8@@*7@@5*2 @DA>*4M;a.+p,-,+,),'Iж+j+a.IJMLOA렩8AIP@@*1@@51*. @]ZW*0MTb.+,F,D,B,@I+ +z.IcMĶLhŶ@MM}BUABTPƩWABVTxҐ@@*P@@5P*+ @|yv*-MscMܶ***(L**i*,@*"TT*n*1T*T@@*@@5g* @*MdMLӰ*@T*BT*)@@* @@5x* @*MeM,ҠL/MGũGNHŠL*[oL'k@@)@@5) @)MfN@AM*m*T@@@@@5) @Ϡ̠)MgN!/L0N?@@p)M*I*x=@@@@@5) @)MhN9GIjM)**}@@@@@5̠) @)MiNJX@@@@@@5ڠ) @)MjNXf)*@MH*Z))UN{Vn@@)@@5) @)NkNlz@N`4*hNi@@)@@6) @-*')N$lNM1@Mo*ܩP@@)@@6)ڐ @?<9)N6mJJ*I)@@M@@6#)֐ @OLI)NFnM**@@@@@62)Ր @^[X)NUoNM+ *)Ԑ@@@@@6C)Ґ @oli)NfpN϶MsЩM++35Ȑ@@@@@6Y)ѐ @)N|qNM@!Mǰ+4H+(\ݐ@@@@@6n)А @)NrNM@G)@@@@@6~)Ɛ @)NsN M O@0@@N)Šr>Kې@@@@@6) @)NtO!M"N+o+aR+e@@@@@6) @נԠ)NuO)7M8N+)f@@@@@6) @)NvO;IMJ*&$@@@@@6͠) @)NwOKYOhC@cN;+pΐ@@@@@6ࠠ) @  )OxO^lO{V@PNN++@@@@@6) @)OyOqOi@Na+Ω+Đ@@@@@7) @41.)O+zOO~@xNv+@@@@@7@@@@@ =O>{ @OOO@A@)7 @ @ )PMJ@@@@@)) @[XU@Y@ߐ@@>@@)à) @gda@YAOǶNkȶ@?NR&B#@@@@@)ՠ) @yvs@YBOٶN}ڶ@@?ũNR8T/ΐ@@F@@)蠠) @@ZCON@?ض@NаRLR'j'@@@@@)) @@Z"DON @S?@NR_'R:NRa%R<@@@@@*) @@Z7EP"$@@@@@*) @@ZDFP !OR}I@@@@@*-) @ѠΠ@ZTGP# 1P@ @@@)@@*<) @ݠ@ZcHP2 @@U@@)@@*J) @@ZqIP@ NP] 8O/RǠVuR@@N0@@*\) @@ZJA@@@@@*h) @  @ZKP^ lP{ VOMRɩWfPC@@NN@@*z) @@ZL6@@@@@*5 @*'$@ZMP sOjR 2R@@?@@*) @:74@ZN.@@@@@*) @FC@@ZO&@@@@@*) @ROL@ZP@@@@@*) @^[X@ZQP P @OS8P@@@@@*ˠ) @oli@ZRP ϶P @@@@@@*ڠ7 @~{x@[SP ީOS:CBS@@@@@*ꠠ7 @@[TP O OϰSKTTOӐ@@G,@@*7 @@["UP O!6%!@Y@ZOS_hAS;@@@<@@+) @@[6VQ!O!69!@mOSr{Cn@@@O@@+") @Ơà@[IWQ!&O!'@@@@@@+18  @ՠҠ@[XXQ'!5PSBSm@@@@@+A7 @@[hYQ7!EO!F@@P(SPSP+SNS@@@@@+W8" @@[~ZQM![O!\6!]@@P?SAS@@@@@+k8 @  @[[Qa!oP!p@@@@@@+z)ʐ @@[\Qp!~@P_SQS-!lQ!mK8Pf 3S/@@)@@+)ʐ @630@[]Pu ЩB.@@+ @@+)̐ @EB?@[^Q!Q!Q!@PTSߐ@@@@@+7 @WTQ@[_Q!Q!@ 1PT  S@@@@@+Š)ѐ @ifc@[`Q!ɶQ!Q!@PT(Tɐ@@@@@+נ7 @{xu@[aQ!۶Q!Ŷ@ܩPT9 B T@@@@@+頠7 @@\bQ!Q!׶@ gPϰTK T T'@@@@@+7 @@\"cQ!R!@PT] f T9@@@@@, )ܐ @@\4dR"PTm 9)ސt@@@@@,)Ԑ @ @\EeR0" QT~ TZ@@P@@,.)֐ @ҠϠ@\UfR@"R7"@"QT R @@@@@,@)ؐ @@\ggRR"-RI".@Q&TT}ΐ@@@@@,Q7 @@\xhRG"UP"VQ6T  T@@@@@,b7 @@\iRX"fQ "g@ QHTĩ  T@@@@@,t7 @@\jRj"xQ"y7"z@ҩQ[Tש  T@@@@@,7 @+(%@\kR}"Q/"7"@ QnT  TƐ@@@@@,7 @>;8@\lR"QB"7"QT! Tؐ@@@@@,7 @PMJ@\mR"R"QU ! T@@@@@,7 @a^[@\nR"Qe"¶R"QU!( T@@@@@,Ϡ7e @spm@\oR"ӶQw"ԩQU0!& U @@@@@,ࠠ7e @~@]pR"Q"QŰUA!7 U@@@@@,7e @@]qR"Q"8"@QذUT!JEU0@1QܰUX!N U4@@@@@-7 @@]/rR# Q# QUi!r QUE@@@@@-7 @@]@sS#Q#@!qQU{! PUW@@@@@-+7 @Ϡ̠@]RtS!#/Q#08U#1@RU! QUj@@@@@->7 @ߠ@]euS4#BQ#C8h#D@!R%U! QU}@@@@@-Q7 @@]xvSG#UQ#V8{#WR7U! QU@@@@@-c6 @@]wSY#gR #h8#iRIUũ! NU@@@@@-u6 @@]xSk#yR#z8#{R[Uש! KU@@@@@-6 @+(%@]yS}#R/#S#v@"RnU! HUƐ@@@@@-6 @>;8@]zS#RB#S#@RU" DUِ@@@@@-6ϐ @QNK@]{S#RU#RV" %U@@@@@-6ϐ @b_\@]|S#¶Rf#éRV" &U@@@@@-Ϡ6ϐ @spm@]}S#ӶRw#Զ8#ն@RV2"(QV@RV6",V@@@@@-栠6 @@^ ~S#R#R˰VG"= V#@@@@@-6 @@^S#R#@"ORݰVY"b V5@@@@@. *" @@^0@S$ T#RVj"s VF@@@@@.6 @@^AAT$R$RV{" VW@@@@@.+6 @Ϡ̠@^RBT!$/R$0SV" Vh@@@@@.<** @ݠ@^cCH@$A*'@@T8$FR$G@"3Z@T<$JTY$4@K@3^O@@Z"4@@C@*8@A@A@*:A3@A@@.^* @@^DTT$bS$cTr$MOSFVT:@@@@@.q1 @@^E5~)j@@)@@.~1 @"@^F5)Ŷ3 3 33P2Hж2?˶5P(T{$S-$@"@@)@@.1 @852@^G5)۶3!333PĶ2^2U5P>T$T$@z@@)@@.1 @NKH@^H5)37353331Pڶ2t2k5PTT$T$@#/t@@)@@.1 @da^@^I5*3M3K3I3GP22 5PjT$˶T$@#Er@@)@@.֠1 @zwt@^J5*3c3a3_3]P 2(2#5PT$T$˶@l@@*@@.젠1a @@_K5*33y3w3u3sP 2>295PT$S$@U$1@@*@@//f @@_*LT%U$@#@@@@@//a @@_9MU%U%%@@@@@@/!/\ @Š @_HNU%%U4%@#@@@@@/0/U @ԠѠ@_WOU&%4UC%@5@@@@@/?0/ @@_fPU5%CS%D@L^@@@@@/N0( @@_uQUD%RS%S@#X@@@@@/]( @ @_RQ\$3$"UU%cUr%MTDW#ܠ\"GN%#P@@@@@/t( @   @_SQs$3;"Ul%zTZW֩"H#"U%k(\,@@@@@/( @ / , )@_TQ%3R"նU%TqW"H(NI#"H-@@@@@/( @ F C @@_UQ%+3i"U%TX$ (%%"HCW@@(@@/(Ԑ @ \ Y V@_VQ%A3#U%TX$#(DW@@(@@/̠(ѐ @ p m j@_WQ%U3#U%ҶU%@Q-$|#T##\|#Fu@@(@@/䠠(ѐ @   @` XQ%m3#.U%U%Զ@(ө$@@@@@/(ѐ @   @`YQ%3#AU%T%V %@(Ӷ@]m&@=tZXF1˩\#FG:#GF@@(@@0(Ő @   @`<ZR%3#_V &T&V+&@(Ƕ@$Ǡ@@@@@0*(Ő @ Π ˠ @`Q[R)#qE#r@@V$&2$ڠ$#rFo#sF*#tVI&$(\@@R@@0D(Đ @   @`k\RC%Ͷ4 #V<&JT&K$#YHΩ$@@R,@@0Z(Ɛ @   @`]RY%4!#VR&`@Vp&K@$(ȩUCX#HX@@@@@0o(Ő @!!! @`^Rn%46#Vg&u@UVXXV&b@(ǐ@@@@@0(Ő @!'!$!!@`_R& 4J#ͶV{&V&s@%@(ǩUlX#GVa@@@@@0(Ő @!<!9!6@``R&!4_#V&@UX%Vs2'&V&PX)O@@.@@0(ǐ @!S!P!M@`aR&84v#V&UY$Ol#:@@(@@0à(ǐ @!g!d!a@`bR&L4$ V&ɶ@V&@%D)UY(#IeV@@@@@0ؠ(ɐ @!|!y!v@`cR&a4$"V&޶@UY;NVV&˶@(ː@@@@@0젠(ɐ @!!!@adR&u4$6V&W&ܶ@%l@)ZUհYQ$H,Y-@@@@@1(ː @!!!@a(eS&4$KV'@UYdwY?2&W&P)@@2@@1(͐ @S@'3eW '$3hW,'(]3P@SW' 3k(ʠ!Ǡ!Ġ!@@@@@1.( @!Ҡ!Ϡ!@aUfS-@'3~F@S,S%'3'2o]۶@W-';V3<@(ZWR'-(]3 G G:@@S#@@1Q( @!!!@axgSP&ڶ@$WI'WV73Wj'E(^$Ɛ@@S8@@1f( @" ""@ah8s(5555Sh F @Sf  ^@5']SVy^@Sl@'(Sf'('(^#@5'fKLZv8|KWq'@W'j@&(K%(%(@((@@1( @"3"0"-@aiSaFb@`@aW'@W'@&(Vz3_L"`G@@Sy@@1@@@@@(CWF(FWWW@A@1,EqPropertiesaa(S(N(M@a˒(L@WÐ @(K(J(F(E@@@\ڠW @(C(B(9@@@@\ᠠa @@(8(2@U@@\蠠W @@(1(*@@@@\@()@@@@#O@((@A@#WN@((@A@AB(_A @(]@(ma)@(<a@A@(@@@@aW @@'a'@@@aR+ @@''@@@@aV @@''@@@@a%Vא @@''될@@@@a,U @@''萠@@@@a3U; @@''搠@@@@a:` @@''吠@@@@aAU @@''㐠@@@@aHT @@''␠@@@@aOTs @@''ᐠ@@@@aVVǐ @@''ߐ@@@@a]V @@''ސ@@@@ad94 @@''Ր'@@@akS @@''А@@@@arS @@''ϐ@@@@ayT4 @@''͐@@@@a+ @@''Ð@'@@a4} @@''@@@@aSZ @@''@'@@a1 @@''@'@@aW @@''@@@@a_ @@''@P @@aW# @'@'_ '@@@@aV @'@'^'@@@@a V @'@'^'@@@@aΠT/ @'@'|^'|@@@@aڠS @'y@'^='s@'p@@a栠X @'o@'k^'k@@@@ab @@'h'f@V@@]X @@'e'^@@@@]] @@']'R@@@@b] @@'Q'F@@@@b] @@'E'5@@@@b'4 @@'3')@@@@b]Z @@'('@@@@b#]E @@'' @@@@b*] @@' &@@@@b1\ @@&&@@@@b8& @@&&ᐠ@@@@b?\ @@&&Ӑ@@@@bF\s @@&&Đ@@@@bM\G @@&&&&@@bT[ݐ @@&&@&@@b[& @@&&o@U@@bb[i @@&n&[@U@@bi[2 @@&Z&I@U$@@bp&H @@&G&:@&9@@bw&6 @@&5&+@&@@@b~Zm @@&*&#@TK@@bZ> @@&"&@TR@@b& @@&&@2@@b& @@&&@2@@b@&@@@@#O@&)@A@#WN@&)@A@AB@YԒY$YYĒYY$UY𢢢YYY$QY @$M@$AYe$@@@@@XՠXŐ @$5X@$2@@X@@XߠX @$-YA$*@@@@@X頠X @$%YB$"@@@@@XXq @$ YC$@@@@@XXT @$Y%D$@@@@@YXD @$Y/E$@@@@@YX* @$ Y9F$@@@@@YX @$YCG$@@@@@Y%X @#YMH#@@@@@Y/W @#YWI#@@W@@Y9WА @"#YaJ#@@@@@YCW @,#YkK#@@W@@YMW @6#YuL#@@W@@YWW @@#YM#Ր@@X@@YaW @J#YN#ʐ@@@@@YkWx @T#YO#Đ@@X@@YuWc @^#YP#@@X"@@YWT @h#YQ#@@@@@YW7 @r#YR#@@@@@YW& @|#YS#@@@@@YW @#YT#@@@@@YW @#YU#@@@@@YV @#YV#@@@@@YV @#YW#@@@@@YŠVА @#YX#@@@@@YϠV @#~YY#{@@@@@Y٠V @#tZZ#q@@V@@Y㠠V @#lZ [#i@@V@@YVp @#eZ\#b@@V@@YV\ @#ZZ]#W@@V@@ZV= @#QZ)^#N@@V@@Z V' @#HZ3_#E@@V@@ZV  @#?Z=`#<@@V@@ZU @#8ZGa#5@@U@@Z)Uؐ @#0ZQb#-@@U@@Z3Uɐ @#+Z[c#(@@Z@@Z=U @&##Zed# @@@@@ZGU @0#Zoe#@@@@@ZQU @:#Zyf#@@@@@Z[U @D#Zg# @@@@@ZeU} @N# Zh#@@@@@ZoUd @X#Zi"@@@@@ZyUX @b"Zj"@@Y&@@ZUK @l"Zk"@@Y0@@ZU8 @v"Zl"@@Y:@@ZU) @"Zm"@@YD@@ZU @"Zn"ڐ@@YN@@ZU @"Zo"Ґ@@WV@@ZT @"Zp"ː@@W`@@ZT @"Zq"Đ@@V|@@ZɠTې @"Zr"@@@@@ZӠTʐ @"Zs"@@@@@ZݠT @"[t[+[+[+Z^ "Tc#\[[@[ "["@@@@@ZT @"[ u"@@@@@[T @"[*v[+Ӷ[+[+Z^1"T"ȩT'@@@@@[T @"[=w"@@@@@[Ty @"[Gx[+ٶ[+کZѰ^M"?@@@@@[-To @"[Uy"@@@@@[7T^ @ "[_z"@@@@@[ATN @*"[i{"@@@@@[KT; @4"v[s|\,\+,Z^y*T2,m^(@@T*@@[\T& @E"t[}"q@@X@@[fT @O"i[~"f@@S@@[pS @Y"`["]@@T @@[zS @c"X[@"U@@S@@[Sϐ @m"P[A"M@@S@@[S @w"L[B"I@@[b@@[S @"F[C"C@@S@@[S @"?[D"<@@S@@[S @"8[E"5@@S@@[Sr @"/[F",@@S@@[Sg @"+[G"(@@S@@[ʠSY @"%[H""@@S@@[ԠSN @"![I"@@S@@[ޠSC @"\J"@@[@@[蠠S5 @"\K"@@S'@@[S# @"\L"@@S1@@[S @" \$M" @@S@@\S @S,+!"@S,5Ҁ@"R"@S@@\Rѐ @R@"RŠ"@S%@@\%R @"\MN"@@T|@@\/R @!\WO!@@R@@\9Rv @"!\aP!@@T@@\CRg @,!\kQ!@@T(@@\MR\ @6!\uR!@@T2@@\WRO @@!\S!ސ@@T<@@\aRD @J!\T!ڐ@@R5@@\kR @T!\U!Ґ@@TP@@\uQ @^!\V!ː@@TZ@@\Q @h!\W!Ő@@Td@@\@@@@f~QӠQҒ𢢢]]QAQҐ @{!\@Q̐@@@@@QjQZ @!\AQT@@@@@Qt@@@@fQ0Q/𢢢]]Q4AQ/,<Q3Q.Q,U Q+!AAP!PP@]]QG@Q?ά@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BGP@@A@@@@PP@QP֐ @R"QeYQZY!Y!YPϷYPηYR)UMR'UN@e2"^"^ Q@Qά@[@PͶ@ `P̷Y̶R;U_R9U`@@Pƶ@PŷYҶRAUeR?Uf@@P@ PYضRGUk@_PPPRNUrPPRQUuP &@QQQRPRUUy@Pd$P!!R&R,RXU|RVU}P/P0PR\URZUP3P4PR`UR^UP7P8PRdUPP@RfQYQY!Y!YQYQYDY3Z.Z)"P#!@@@@RPa,<PeP`QUP^RU@8Q!!!AAQPJPI@s^v^`Q@PtI@@@@@@@@@@@@@DPI@@A@@@@@@@R8PD @RQZ6&Z7!Z8!Z9!RU̷Q ~@PI@`7@PzP{P;RUַ@ P1dP0@RQZG7ZH!ZI!ZJ!RUݶQP/P.n!@@@@R\P @w!]B!@@\;@@RfP @!]C!@@@@@RpP  @!]D!|@@@@@Rz@@QPgOO𢢢^^PAO @!z^E!w@@O@@RO @!i^F!f@@U@@RO @!O^G!L@@O@@RO @!;^#H!8@@Or@@ROl @!^-I!@@@@@ROb @!^7J!@@OP@@RON @!^AK!@@@@@RɠOA @ ^KL @@Od@@RӠO) @ ^UM @@@@@RݠO @ ^_N ͐@@@@@R砠N @ ^iO @@@@@RNѐ @  ^sP @@@@@RN @ ^}Q @@N@@SN~ @  s^R p@@N@@SNi @* c^S `@@NG@@SNE @4 S^T P@@N+@@S#N' @> C^U @@@O@@S-@@@NhTN @@@@hUNN_N __u_`_M @)@)搐_ Z 5@@@@^z^j @@^r {/@)ڐMj 3@^T@@^^H @@^P(7@)ؐMz 1@@@@^^2 @@^:(8@)֐M /@@@@^^( @@^0:7@)אM -@@@@^^ @@^:7@)ՐM +@@@@^ʠ^ @@^>0@)ՐM )@@@@^ڠ] @@]>1@)ӐM '@@@@^ꠠ] @@]֢@)ӐM %@@@@^]Ր @@]֣@)ҐMޠ #@@@@_ ]̐ @$@]{#@)ԐMڠ !@]@@_] @4@]{#@)ѐM֠  @@@@_*] @D@]{#@)ѐMҠ @]@@_:] @T@]3@)АMΠ* @]@@_J] @d@]3@)ːMʠ: @]@@_Z] @t@]3@)ƐMƠJ @@@@_j]w @@] @)ƐM Z @^@@_z]h @@]p @)ƐMj @^-@@_]_ @@]g&K@)ĐMz @@@@_]H @@]P&K@)M @@@@_]= @@]E&K@)M @@@@_]6 @@]>Lɦ@)M @@@@_ʠ]' @@]/Lɧ@)M @@@@_ڠ]  @@](Lɨ@)M @@@@_ꠠ] @@]M @)M @@@@_] @@] M @)M @@@@` \ @$@]M @)M @@@@`\ @4@\?t"@)M @\@@`*\ɐ @D@\?t#@)M @\@@`:\ @T@\?t$@)M *@\@@`J\ @d@\ ɀ@)M :@\@@`Z\ @t@\ ʀ@)M J@] @@`j\ @@\3ײ@)M Z@]@@`z\q @@\y3׳@)M~ j@]+@@`\f @@\n.@)Mz z@\M@@`\I @@\Q.@)Mv @\]@@`\@ @@\H6m@)Mr 퐠@`@@`\2 @@\:!@)Mn 될@@@@`ʠ\+ @@\3%XS@)Mj 鐠@@@@`ڠ\  @@\( @)Mf 琠@@@@`ꠠ\ @@\!2 @)Mb 吠@@@@`\ @@\+y@)M^ 㐠@@@@a [ @$@\#J@)MZ ᐠ@@@@a[ @4@\̹@)MV ߐ@_@@a*[ @D@[-Cw@)MR ݐ@_@@a:[ @T@[0@)MN *ې@_@@aJ[ܐ @d@[(v@)MJ :ِ@_@@aZ[̐ @t@[紉@)MF Jא@` @@aj[Ð @@[@)MB ZՐ@^@@az[ @@[ r@)M> jӐ@^+@@a[ @@[@)M: zѐ@]M@@a[ @@[(h@)M6 ϐ@@@@a[ @@[950@)M2 ͐@@@@a[ @@[{$ @b2b2xb2yapd)[j bQx@b%nb)M. ː@@@@aڠ[ @@[ˀ@)M* ɐ@@@@aꠠ[ @@[3G@b2b2b2ae)[~)[y2M& ǐ@@@@b[w @@[b@)M" Ő@@@@b[m @-@[u @b2жb2ѩaȰeD)VM Ð@@@@b'[i @A@[q&L@)M @@@@b7[^ @Q@[fL׀@)M '@@@@bG[T @a@[\M<@)M 7@@@@bW[G @q@[O.@c3+c:3b e1[A3e"/M N@[<@@bn[8 @@[@?tS@)M  ^@_@@b~[, @@[4 @)M n@[@@b[ @@[3@)~M ~@[-@@b[ @@[ {k@)|L @Z@@bZ @@[ -@)zL @Z@@bZ @@Zހ@)|L @b@@bΠZߐ @@Z(s@)|L @Z@@bޠZѐ @@Z @){L @Z@@bZŐ @@Z{$+@)zL @Z@@bZ @@Z3R@)wL @Z@@cZ @(@Z&L@)yL @Z@@cZ @8@ZL@)yLޠ @[ @@c.Z @H@ZMG@){Lڠ @[@@c>Z @X@Z+R @)}L֠ .@c@@cNZ @h@Z>l@)}LҠ >@Z@@c^Z @x@Z:86@)}LΠ N@Z@@cnZ @f@){Lʠ Z@Zz@@czZy @Zx4K2@Z''u@)|Zm l@Z@@cZE @ZD@)yZ9 y@Z@@cZ  @@Z(ZS@)wL @[@@cZ  @@Z!J@)uL @Y@@cY @@Y-C@)sL @[@@cɠY @@Y(&@)qL @[@@c٠Y @@YU@)sL @[@@c頠Y @ @Y:N"@)sL @[@@cYܐ @ @Y@)uL @Y@@d Y @ #@Y @)sL @[@@dY @ 3@Y R@)rL @\@@d)Y @ C@Y @ k]dDZ@@@@@LӠL5 @ uUdER@@@@@LݠL0 @ QdFN@@@@@L砠L' @ IeGF@@@@@LL @ AeH>@@@@@LL @ <eI9@@@@@ML @ 7e&J4@@@@@ML @ .e0K+@@@@@MK @ $e:L!@@T@@M#K @ eDM@@@@@M-K @ eNN@@@@@M7K @  eXO@@@@@MAKא @ ebP@@@@@MKKА @ elQ@@@@@MUKʐ @ evR@@U@@M_K @eS@@@@@MiK @ eT@@V@@MsK @eUې@@@@@M}K @eVӐ@@V@@MK @)eWʐ@@V@@MK @3eX@@@@@MK @=eY@@V@@MK} @GeZ@@@@@MKt @Qe[@@@@@MKl @[e\@@@@@MàK` @ee]@@@@@M͠KW @oe^@@@@@MנKK @ye_@@@@@MᠠKA @f`}@@@@@M렠K6 @vf as@@@@@MK( @ifbf@@WM@@MK @_f c\@@@@@N K @Yf*dV@@@@@NK @Sf4eP@@@@@NK @If>fF@@@@@N'J @BfHg?@@@@@N1J @8fRh5@@@@@N;J @3f\i0@@@@@NEJ @,ffj)@@@@@NOJՐ @fpk@@@@@NYJ̐ @fzl@@@@@NcJĐ @fm @@@@@NmJ @fn@@@@@NwJ @fo@@@@@NJ @#fp@@@@@NJ @-fq@@@@@NJ @7frڐ@@VT@@NJ~ @Afs͐@@V^@@NJu @KftŐ@@@@@NJm @Ufu@@@@@NJg @_fv@@@@@NǠJ` @ifw@@@@@NѠJY @sfx@@@@@N۠JO @}fy@@@@@N堠JG @gz@@@@@NJ> @g{@@@@@NJ6 @g|@@@@@OJ. @g$}@@@@@O J& @g.~@@@@@OJ @{g8x@@@@@O!J @tgB@g7g7q@@@@@O.J @qgOAg7g7@6©n@@X@@O<J  @ng]Bg7ƶfj7ǶL7ȶg7@J k@@@@@OMJ @jgnCg7׶f{7ضL7ٶg7ö@6@Jg@@X@@O_J @fgDg7f7M7g7ն@6@c@@W$@@OoI @agEg7f7M7h 7@6߶@"^@@W4@@OI @!]gFZ@@I@@OIؐ @+UgGR@@I@@OIА @O@LIĠ8L@I@@OI @5@7nIDJ@@@@OI @MHgHI7{hD8b7Tn䩚@I1|zڀfUE@@I@@OI @bDgII7I88 @IjDn@@c@@@OԠI~ @vBgJhP8^7&jTo @@cP@@O䠠I{ @@hK=@ISIQ@@OI0 @4hLII-\1du6Iyo$hn8|@0@h8hX{]g$8M8@)ƶ@.@YII,@II @@PI  @*h(M'@HH@@PHː @ h2N@HH@@PH @h<O@HoHk@@P%He @hFPې@H+H%@@P/H @hPQ]"ƶ@Ŷ@h8g`8@\>h8@ö@G@GG@@PBG @hcR@GG@@PLG̐ @hmS@@G@@PVG @hwT@GG@@P`G} @hU@GYGW@@PjGI @ hVh8g8i8߶JGFGG~G|GzIod@~@y@w@G-t@G$G"@@PG  @#ohWl@FF@@PF @-fhXc@@F@@PF @7NhYK@@F@@PF @A;hZ8@@F@@PFv @K+h[(@@Fj@@PFe @U"h\@@FR@@PFP @_h] @@FA@@PǠF@ @ih^@@F-@@PѠF) @sh_@@FU@@P۠F @}h`ߐ@@F@@P堠E @iaː@@E@@PE @ib@@E@@PEԐ @ic@@E@@QE @i$d@@E@@Q E @i.e@@E@@QE} @i8f@@@@@Q!Ev @iBgi9hO9i9@!@Es|@@@@@Q1El @wiRht@@@@@Q;Ed @pi\im@@@@@QEE_ @lifji@@EK@@QOEG @bipk_@@E=@@QYE8 @YizlV@@E/@@QcE* @QimN@@h@@QmE  @KinH@@@@@QwE @FioC@@@@@QE @#?ip<@@@@@QE @-3iq0@@@@@QD @7(ir%@@@@@QD @A"is@@@@@QDԐ @Kit@@@@@QDǐ @U iu@@@@@QD @_iv@@@@@QǠD @iiw@@@@@QѠD @six@@@@@Q۠D @}iy@@@@@Q堠D @jzې@@@@@Q@@@@@jYQjjj@A@DQ @R@$ӐDא@@@@DD{ @t@1@@Y@@DD{ @tAА@@@@@DDu @tBȐ@@a@@DDn @tC@@@@@DDg @tD@@@@@DD^ @tE@@@@@DǠD] @tF@@@@@DѠDY @tG@@DD@@D۠D@ @uH@@DN@@D堠D7 @u I@@h@@DD1 @ uJ1Ґ@@@@@DD1 @uK@@h@@ED+ @u(L1@@@@@E P @'u2M@@ZD@@ED( @1u @/u[,@@@@@EC @*u\'@@C@@EC @u]@@E @@EC @u^@@@@@EQ @u_ @@@@@EˠCא @u`@@@@@EՠQ @ua@@@@@EߠQ} @vb@@@@@E頠Qs @vc@@@@@EC @ vd@@@@@EC @v"eݐ@@i@@FC @!v,fא@@@@@FC @+v6gϐ@@@@@FQk @5v@hȐ@@@@@F%Qb @?vJi@@@@@F/QZ @IvTj@@@@@F9QN @Sv^k@@@@@FCQE @]vhl@@@@@FMQ9 @gvrm@@@@@FWQ/ @qv|n@@@@@FaP @{vo@@@@@FkP @vp@@@@@FuP @vq@@@@@FP} @xvru@@@@@FPt @qvsn@@@@@FPl @ivtf@@@@@FPb @`vu]@@@@@FPX @WvvT@@@@@FPL @OvwL@@@@@FP@ @GvxD@@@@@FŠP4 @?vy<@@@@@FϠP& @6vz3@@@@@F٠O @-v{*@@@@@F㠠O @&w|#@@@@@FO @w}@@@@@FO @w~@@@@@GO @ w&@@@@@G C$ @%w0@@@@@@GO @/w:A@@@@@GO @9wDB@@@@@G)C @CwNC@@@G3B֐ @MwXDӐ@@@@@G=J @WwbEʐ@@B{@@GGJ @awlFǐ@@Bl@@GQJ{ @kwvG@@Bv@@G[Jf @uwH@@B@@GeJV @wI@@B@@GoJ? @wJ@@B@@GyI @wK@@B@@GG @wL~@@@@@GGܐ @|wMy@@@@@GGҐ @wwNt@@@@@GGƐ @rwOo@@@@@GH @mwPj@@@@@GH @hwQe@@@@@GAB @cwR`@@@@@GɠA7 @VwSS@@@@@GӠA* @IwTF@@@@@GݠA @<xU9@@A @@G砠A @0x V-@@A@@G@ @ &xW#@@@@@G@ @x X@@@@@H@ߐ @x*Yj=K;Mm> l> n=@@߶@uyi@U'E-Iש @@@@@H@ΐ @8 xCZj=K;fn>"l>#n2> @@ζ@@@@@@H/@ʐ @IxT[@@j @@H9@ @Sx^\@@j@@HC@ @]xh]@@@@@HM@ @gxr^ܐ@@@@@HW@ @qx|_Ґ@@@@@Ha@ @{x`ǐ@@F@@Hk@ @xa@@@{@@Hu@y @xb@@@@@H@p @xc@@@@@H@f @xd@@@@@H@] @xe@@J@@H@R @@@G~@@@@H@: @|xfjy]z@x@yn>mJ@@o'tJ^^@@j@@Hà@2 @sxgj>J@< n>ǩmKpn@@j@@HӠ@% @nxhk@??@@Hݠ? @Oyij^0@@n>@LmİK15cl6_G@@j@@H@@@@@BoE]ˢEoHo2o@A@I@@@8!@8!U-RelationPairs'Classes#Coq@@A@A9!@9!àV @A@B@#|@@#|] @A@A#@A#^@A@ACD@E@@U~@-@ABC ӳ2@ ӳ2[DDD@@A@ Գq@ Գq\@A@ADE@cAI II@A.0TQ+Ring_theory+setoid_ring#Coq@@ABA.U>[J @2A8ӠA4Relation_Definitions)Relations#Coq@@AB8A @4A @n?@ABCfm@-DDx@ Fk?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 8L0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ-DecidableType*Structures#Coq@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ϰ߼onm@0όe얟)H.Ƞ/EqualitiesFacts*Structures#Coq@0)n,:5-|!N@Ƞ+Equivalence'Classes#Coq@07;ꮹ)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{M0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏*MSetDecide%MSets#Coq@0 agB;XRs:ߠ)MSetFacts%MSets#Coq@0ss|BEo_vWLH;0x* .>Sw0C!̢2X<l ~N#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ%Minus%Arith#Coq@0LFtR"HHH@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@0KKK@0k窪ܸqSMΠ'Classes#Coq@0S_`nOU$&Sorted'Sorting#Coq@0bb1z٠K̠KˠK@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`&iSrHȠQ@}rHȠ@}@}^}W`@A@|נ@@^2@@A@e@@A@AB@|}|@ABd2 Q@@@@#_11t@dj@A@@@@@@@@#_122M접@#_13'`o@C@@@@}||@Ws2 Q@@A@#_32@W~&@A@@@@@@@@@@@#_332M접@W&#_34'`o@@W&D@@@@@|}@W2 Q@@A@#_35@W @A@@@@@@@@@@#_362M접@W #_37'`o@@W C@@.function_scope@||A@WŠ2 Q@@A@#_38 @W @A@@@@@@@@@@#_392M접@W Ð#_40'`o@&@W D@@@@@}+}.|@W2 Q@@A@#_41C@Wu*X@A@@@@@@@@@@#_422M접S@Xu*X#_43'`o@]@Xu*XC@@k@}b}eA@X 2 Q@@A@#_44v@Xu*Y@A@@@@@@@@@@#_452M접@X(u*Y#_46'`o@@X2u*YE@@@@@@}}}e}k@X52 Q@@A@#_47@X@3x@A@@@@@@@@@#_482M접@XO3x#_49'`o@@XY3xA@@!@XT2 Q@@A@#_50@X_[B@A@@@@@@@@@#_512M접@Xn[B#_52'`o@@Xx[BA@@}@Xp2 Q@@A@#_53@X{+l)@A@@@@@@@@@@#_542M접@X+l)#_55'`o@@X+l)C@@@@~#{}@X2 Q@@A@#_568@X+l*@A@@@@@@@@@#_572M접G@X+l*#_58'`o@Q@X+l*B@@@~T~ @X2 Q@@A@#_59f@Xl@A@@@@@@@@@@#_602M접v@Xl#_61'`o@@XlB@@@~@X2 Q@@A@#_62@Xl@A@@@@@@@@@@@#_632M접@Xl#_64'`o@@XlD@@@@@~ @X2 Q@@A@#_65@Xɞ@A@@@@@@@@@@#_662M접@Yɞ#_67'`o@@Y ɞB@@@~ꠐB@Y2 Q@@A@#_68@Yɟ@A@@@@@@@@@@@#_692M접 @Y#ɟ#_70'`o@@Y-ɟD@@@@@tw@e2 Q@@A@#_714@e%yl@A@@@@@@@@@#_722M접C@e%yl#_73'`o@M@e%ylA@@@YR2 Q@@A@#_74^@Y]%s@A@@@@@@@@@@@#_752M접o@Yn%s#_76'`o@y@Yx%sC@@@@}@Y|2 Q@@A@#_77@Y@@A@@@@@@@@@@@#_782M접@Y@#_79'`o@@Y@C@@@@ @Y2 Q@@A@#_80@Y@A@@@@@@@@@@@#_812M접@Y㭐#_82'`o@@YC@@@@堐蠐@@YР2 Q@@A@#_83@Y[@A@@@@@@@@@@#_842M접 @Y[#_85'`o@@Y[C@@@@p@Y2 Q@@A@#_86-@Y\@A@@@@@@@@@@#_872M접=@Z\#_88'`o@G@Z\C@@@@K@hP2 Q@@A@#_89`@h[0)@A@@@@@@@@@#_902M접o@hj0)#_91'`o@y@ht0)A@@{@hk2 Q@@A@#_92@hvö@A@@@@@@@@@@#_932M접@hö#_94'`o@@höB@@@@h2 Q@@A@#_95@h @A@@@@@@@@@@@#_962M접@h #_97'`o@@h E@@@@@@ڠݠࠐ@Z2 Q@@A@#_98@Z g@A@@@@@@@@@@@#_992M접@Z g$_100'`o@@Z gD@@@@@@Z2 Q@@A@$_101-@Z ߹@A@@@@@@@@@@$_1022M접=@Z ߹$_103'`o@G@Z ߹C@@@@KN@i2 Q@@A@$_104`@i(@A@@@@@@@@@$_1052M접o@i7Ȑ$_106'`o@y@iAA@@{@i%2 Q@@A@$_107@i0V@A@@@@@@@@@@$_1082M접@i@V$_109'`o@@iJVD@@@@@x{@io2 Q@@A@$_110@izb@A@@@@@@@@@@@$_1112M접@ib$_112'`o@@ibE@@@@@@⠐堐蠐@i2 Q@@A@$_113@if@A@@@@@@@@@@$_1142M접 @if$_115'`o@@ifC@@@@@[c2 Q@@A@$_1160@[n+l+@A@@@@@@@@@$_1172M접?@[}+l+$_118'`o@I@[+l+B@@@L@[y2 Q@@A@$_119^@[+l,@A@@@@@@@@$_1202M접l@[+l,$_121'`o@v@[+l,@@@[2 Q@@A@$_122@[l @A@@@@@@@@@@@$_1232M접@[l $_124'`o@@[l D@@@@@u@i2 Q@@A@$_125@iЬ@A@@@@@@@@@@$_1262M접@iЬ$_127'`o@@iЬC@@@@٠1@[ݠ2 Q@@A@$_128@[ɠ@A@@@@@@@@@@@$_1292M접@[ɠ$_130'`o@ @\ɠD@@@@@fi@i̠2 Q@@A@$_131&@i.C@A@@@@@@@@@@$_1322M접6@i.C$_133'`o@@@i.CC@@@@D@iڠ2 Q@@A@$_134Y@i3@A@@@@@@@@@@$_1352M접i@i3$_136'`o@s@i3C@@@@wϠF@i2 Q@@A@$_137@j1(@A@@@@@@@@@@$_1382M접@j1($_139'`o@@j1(C@@@@y@\q2 Q@@A@$_140@\|6T q@A@@@@@@@@@$_1412M접@\6T q$_142'`o@@\6T qA@@@\2 Q@@A@$_143@\6@A@@@@@@@@@$_1442M접@\6$_145'`o@@\6A@@Y@\2 Q@@A@$_146@\6@A@@@@@@@@@@$_1472M접#@\6$_148'`o@-@\6C@@@@@\2 Q@@A@$_149F@\6@A@@@@@@@@@@$_1502M접V@\6$_151'`o@`@\6C@@@@3@j2 Q@@A@$_152y@j%e@A@@@@@@@@@@$_1532M접@j%e$_154'`o@@j%eB@@@@jȠ2 Q@@A@$_155@j!=@A@@@@@@@@@@$_1562M접@j!=$_157'`o@@j!=C@@@@Ơɠ@j2 Q@@A@$_158@j0*@A@@@@@@@@@@@$_1592M접@k0*ܐ$_160'`o@@k0*D@@@@@@k 2 Q@@A@$_161@k0*@A@@@@@@@@@@@$_1622M접$@k'0*ݐ$_163'`o@.@k10*D@@@@@369@k02 Q@@A@$_164K@k;"?@A@@@@@@@@@@@$_1652M접\@kL"?$_166'`o@f@kV"?C@@@@jmp@kN2 Q@@A@$_167@kY?y@A@@@@@@@@@@$_1682M접@ki?y$_169'`o@@ks?yB@@@@ki2 Q@@A@$_170@kt%k@A@@@@@@@@@@@$_1712M접@k%k$_172'`o@@k%kC@@@@͠Р(@k[2 Q@@A@$_173@kf>@A@@@@@@@@@@$_1742M접@kv>$_175'`o@@k>B@@@@ky2 Q@@A@$_176@k>@A@@@@@@@@@@$_1772M접!@k>$_178'`o@+@k>B@@@.1@k2 Q@@A@$_179@@k>@A@@@@@@@@@@@$_1802M접Q@k>$_181'`o@[@k>E@@@@@@adg36@k]2 Q@@A@$_182|@kh"2@A@@@@@@@@@@$_1832M접@kx"2$_184'`o@@k"2B@@@@ky2 Q@@A@$_185@k(RT@A@@@@@@@@@@$_1862M접@k(RT$_187'`o@@k(RTC@@@@ɠ̠@k2 Q@@A@$_188@k>y@A@@@@@@@@@@@$_1892M접@k>y$_190'`o@@k>yD@@@@@@k2 Q@@A@$_191@k>z@A@@@@@@@@@@@$_1922M접'@k>z$_193'`o@1@k>zD@@@@@69<@k2 Q@@A@$_194N@kNT@A@@@@@@@@@@@$_1952M접_@kNT$_196'`o@i@lNTC@@@@mps@l2 Q@@A@$_197@l ;u@A@@@@@@@@@@@$_1982M접@l;u$_199'`o@@l&;uC@@@@@l2 Q@@A@$_200@l);u@A@@@@@@@@@@@$_2012M접@l:;u$_202'`o@@lD;uC@@@@ՠؠ@l<2 Q@@A@$_203@lGMC@A@@@@@@@@@@@$_2042M접@lXMC搐$_205'`o@@lbMCD@@@@@  e@l\2 Q@@A@$_206"@lgMC@A@@@@@@@@@@@$_2072M접3@lxMC琐$_208'`o@=@lMCD@@@@@BE@l_2 Q@@A@$_209Z@lj9@A@@@@@@@@@@$_2102M접j@lz9$_211'`o@t@l9B@@@wz@l}2 Q@@A@$_212@l:@A@@@@@@@@@@$_2132M접@l:$_214'`o@@l:B@@@@l2 Q@@A@$_215@l;@A@@@@@@@@@@@$_2162M접@l;$_217'`o@@l;E@@@@@@٠ܠߠ@l2 Q@@A@$_218@l@A@@@@@@@@@@$_2192M접@l$_220'`o@@lB@@@@l2 Q@@A@$_221#@l$K@A@@@@@@@@@@$_2222M접3@l$K$_223'`o@=@l$KC@@@@AD@`R2 Q@@A@$_224V@`]=O@A@@@@@@@@@@$_2252M접f@`m=Oߐ$_226'`o@p@`w=OB@@@s@l2 Q@@A@$_227@mA4J@A@@@@@@@@@@$_2282M접@mA4J$_229'`o@@mA4JB@@@@m2 Q@@A@$_230@m =@A@@@@@@@@@@$_2312M접@m0=$_232'`o@@m:=B@@@Ѡ@$_233X@#setA@@-@(META2023=@B@d3x@@@@^԰QѠ5l@ /Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#1*WݠA@@e@+(META2024X<@d[B@@:B Mީ̠qO@ /Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#2*WޠA@ @@#(META20265(META2025@A|@dl@@z^|٩O̩L Y#@ /Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#3*Wߠ]A@b@@e(META2028(META2027@B@dɞ@@Ķb=e]+@ /Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#4*WࠠA@@$@f(META2029@@A@qi%yl@@`ְS,=9t@ /Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#5*WᠠA@@m@𠛐(META2032(META2030(META2031+!\@e[%s@@Z>bd^1.N\7  :{@ /Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#6*W⠠GA@L@@O(META2035(META2033(META2034Egp!@e@@@Pö aTc\vjime2@ /Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#7*W㠠A@@+@(META2038((META2036(META2037ƠԠ&@f @@%'!~qũfڠِͩA@ /Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#8*W䠠 A@@@Ԡ(META2039(META2040ߠ k@tWö@@iMqs> @ /Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#9*W堠KA@P@@b(META2042 (META2041@A@s?3@@@XP㩛 K[>^ee,@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#10SA@@%@gY(META2045(META2044C@A@s1(@@e@ܰY٠թ䰛aF)@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#11T@$_234X@#set@A@@ (META2071(META2072@AU@h) @@S7[]@~E+(+5t@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#12U@@A@@Ǡ(META2074(META2075@A@hLu*X@@{.@~@pmA@̩xuAHԩPI@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#13V@A@@(META2078(META2077@A@hZ+l)@@⠐ƚA@h]Ih[hXPưCà"]@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#14W@A@U@(META2080b@A'@hz+l*@@% -@hhͩhGМcF@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#15X@A@@(META2084+(META2083(META2082, w@hl@@uY}wԶoֶ@R\SЩP]&vV"y@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#16Yc@A@@j(META2088(META2087(META2086} @hɟ@@ƠζȚ%'@fn!mPwǩs@@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#17Z@@@8@z(META2090G@A @w0)@@ ݰZ9t@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#18[@A@l@(META2091(META2093(META2092 F@h g@@D(LۚNu^P@ؠx$De@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#19\1@@@@(META2095@A@wQ@@kZשנ++@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#20fe@A@@젛(META2096(META2097@A@wQf@@ĶSƶ@N[cjc1@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#21g@B@)@k(META2099(META21009@A@wV@@@ҰOO.@۰XX7㰛`?z"@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#22h@A@r@(META2105(META2104(META2103@AO@ihl @@M1UOG@%"-*7Po@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#23i;@A@@Q(META2108(META2107@A@wvЬ@@}@o쩚l@8˩w3CJJ@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#24j@B@ @(META2112(META2110@A@iɠ@@ܠޚ;֚=@1`<ߜV@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#25k@A@N@(META2115(META2114e@A*@w.C@@( 0*@{ǜ ٜeH@ 0Coq.MSets.MSetEqProperties.WEqPropertiesOn#<>#26l@h'2 Q@@A@$_235V@h2( @A@@@@@$_2362M접 $_237'`o@Etvx@@@AAA@hL@h 2 Q@@A@$_238@h@A@@@@@$_2392M접 $_240'`o@C@@@@@oڠ2 Q@@A@$_275@oGoa@A@@@@@@@@@@@$_2762M접@oGoa$_277'`o@@pGoaC*type_scopeܠ@@@A@@p62 Q@@A@$_278@pAG$@A@@@@@@@@@@@@@@@@@$_2792M접@pXG$$_280'`o@@pbG$J9@@@@@@@@@AqAqD@$'@pF2 Q@@A@$_2819@pQ5@A@@@@@@@@@@@@@@@@@$_2822M접P@ph5ᐐ$_283'`o@Z@pr5Jh@k@@@@@@@@Aq֠AQq@xРG@p{2 Q@@A@$_284@p-=@A@@@@@@@@@@@@@@@@@$_2852M접@p-=$_286'`o@@p-=J᠐@@@@@@@@@Ar*Aq@̠$@p2 Q@@A@$_287@pG(@A@@@@@@@@@@@@@@@@@$_2882M접@pG($_289'`o@@pG(J5@@@@@@@@@Ar~Ar@@ x@p2 Q@@A@$_2905@pG)@A@@@@@@@@@@@@@@@@@$_2912M접L@q G)$_292'`o@V@qG)Jd@g@@@@@@@@ArҠAMr@t̠C@p2 Q@@A@$_293@pgP@A@@@@@@@@@@@@@@@@@$_2942M접@qgP$_295'`o@@q gPJݠ@@@@@@@@As'Ar@ɠ̠A@o#2 Q@@A@$_296@o.@A@@@@i@$_2972M접 $_298'`o@C@@@@j@o:2 Q@@A@$_299@oE@A@@@@@$_3002M접 $_301'`o@C@@@@䠐점j@oQ2 Q@@A@$_3023@o\- fc@A@@@@@$_3032M접 $_304'`o@C@@@@k@of2 Q@@A@$_305^@oq- fd@A@@@@@$_3062M접 $_307'`o@C@@@@:Bk=@p\2 Q@@A@$_308@pg=y@A@@@@@$_3092M접 $_310'`o@C@@@fiA@pq2 Q@@A@$_311@p|X@A@@@@@@$_3122M접 $_313'`o@C@@@@ꠐ蠐k@iE2 Q@@A@$_325@iPT@A@@@@@@@@@@$_3262M접@i`T$_327'`o@@ijTD@@@@A᠐\@ig2 Q@@A@$_328@ir:@A@@@@@@@@@@$_3292M접&@i:ސ$_330'`o@0@i:C<@@@A:@i2 Q@@A@$_331I@i4j@A@@@@@@@@@@$_3322M접Y@i4jِ$_333'`o@c@i4jCo@@@AJm@i2 Q@@A@$_334|@i%@A@@@@@@@@@@$_3352M접@i%ѐ$_336'`o@@i%C@@@A}@i2 Q@@A@$_337@i%@A@@@@@@@@@@$_3382M접@i%Ґ$_339'`o@@i%Cՠ@@@A@iʠ2 Q@@A@$_340@i\"@A@@@@@@@@@@$_3412M접@i\"$_342'`o@@i\"E@@@@@A堐`@i2 Q@@A@$_343@i\#@A@@@@@@@@@@$_3442M접-@j\#$_345'`o@7@j\#EC@@@@@A C@j2 Q@@A@$_346X@j  Ʊ>@A@@@@@@@@@@$_3472M접h@j0 Ʊ>$_348'`o@r@j: Ʊ>G~@@@@@@@A]۠RjE@j.2 Q@@A@$_349@j9 Ʊ?@A@@@@@@@@@@$_3502M접@jI Ʊ?$_351'`o@@jS Ʊ?G@@@@@@@AàƠj@j\2 Q@@A@$_352@jg&@A@@@@@@@@$_3532M접@ju&$_354'`o@@j&E@@@@AA⠐堐@jz2 Q@@A@$_355@j<5@A@@@@@@@@@@$_3562M접'@j<5ސ$_357'`o@1@j<5D=@@@@A<?@j2 Q@@A@$_358N@j%43@A@@@@@@@@@@$_3592M접^@j%43$_360'`o@h@j%43Dt@@x@AQtA@j2 Q@@A@$_361@j%43@A@@@@@@@@@@$_3622M접@j%43$_363'`o@@j%43F@@@@@@Ax~@j2 Q@@A@$_364@j%43@A@@@@@@@@@@$_3652M접@k%43$_366'`o@@k%43F@@@@@@AȠ렐C@k2 Q@@A@$_367@k%43@A@@@@@@@@@@$_3682M접@k.%43$_369'`o@@k8%43D)@@@@A(@k52 Q@@A@$_370:@k@:z@A@@@@@@@@@@$_3712M접J@kP:z$_372'`o@T@kZ:zC`@@@A;^@kT2 Q@@A@$_384m@k_@A@@@@@@@@@@$_3852M접}@ko$_386'`o@@kyD@@@ApA@kx2 Q@@A@$_387@k@A@@@@@@@@@@$_3882M접@k$_389'`o@@kFʠ@@@@@@Aˠ&@k2 Q@@A@$_390@k@A@@@@@@@@@@$_3912M접@k$_392'`o@@kF @@@@@@A砐 b٠@kϠ2 Q@@A@$_393"@k@A@@@@@@@@@@$_3942M접2@k$_395'`o@<@kDH@@@@A$G@k2 Q@@@@$_396Y@kY@A@@@@@@@@$_3972M접g@l Yj{'HasWOps@<㠠$_398'`o@u@lYB@@A{@k2 Q@@A@$_402@l Ɩ4@A@@@@@@@@$_4032M접@lƖ4$_404'`o@@l!Ɩ4E@@@@AA@l2 Q@@A@$_405@l (O,j@A@@@@@@@@$_4062M접@l.(O,j$_407'`o@@l8(O,jC@@@A @l)2 Q@@A@$_408@l4-2@A@@@@@@@@$_4092M접@lB-2$_410'`o@ @lL-2L?@@@@@@@'@@AyAA yPyV@6A@l32 Q@@A@$_417G@l>'@A@@@@@@@@$_4182M접U@lL'䐐$_419'`o@_@lV'Fkm@@@r@AAMPsA@@lrHȠl@g@g頢l C@A@g@@#O@l @#Ok@A@#WN@@k#WNk@A@AB@ܠg@@#O@ @#Ok@A@#WN@@k#WNk@A@AB@ABC٠rHȠ!h@CؠC,@Ah @l @A@@B@h@@#O@)k@A@#WN@&k@A@AB@h@@#O@$k@A@#WN@"k@A@AB@AB@@j6B=8 @z7ʓˆMr>߄@pwP,:9AMOB{@{Wݛ[{߄ܯ+D!sA!M0MSetEqProperties%MSets#Coq@@!t黀!x@#elt,!y!H@!E@"eqeBA%lemmaC )Morphisms'Classes.@=trans_co_eq_inv_impl_morphism&ni$)Datatypes$Init:@$boolZ'@%Logic @+ @/RelationClasses!@-eq_Transitive( Z@#mem耠DE 6f/WEqPropertiesOn"MP"FM@%mem_mp  #Dec!F@ 2iLSK@6reflexive_proper_proxy5@%Equal6@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+)*򩚠.@%equal^A3f#   $] @>Reflexive_partial_app_morphism 2R,0@B%@*respectful%WO?I#:.Ű<00@"+*@'equal_2y,4!a_`GQ@u* A9@(subset_18R@H_HC@2subrelation_properJ74!A!B=@ũ@ǚ&Basics'Program@$impl7o.Morphisms_Prop^@9iff_iff_iff_impl_morphism8CT۩Vݩ@$flip$g@$unitUe@Ay@6subrelation_respectful>6z 3򩚠@0subrelation_reflv 4  @9iff_flip_impl_subrelation2VAߩCn@-iff_Reflexive/h㩷ܩ,M 1EW@PMH>6+$RɷC@&Subset#kڷ6۷©@&subset(us<ԩ+u4pje[SHA@(symmetry0xj3@-iff_Symmetric!x{%:8,*?dx3#,A?% .C"٠@(subset_28SᐑQ@#notШS񚠐@%empty]pװ Bl߰Π hC\q> @+not_mem_iff Vu7@*empty_spec TA?$Bool=@.eq_true_iff_eq4K@(is_empty&m,#:;@ +1@! #:G @AOh@0empty_is_empty_1:jK @0empty_is_empty_2:jRT@*is_empty_2WM@3$ŀ\h(ZȠ@%Empty.P-0հHUFdũ n)@,is_empty_iff=+x7z/|>@OPgu@&option >v@@&choose&m^A^@%mem_1W@2iY@,choose_spec1,~XԷ( *B&x@*is_empty_1WLq@3$Ās©@,choose_spec2,~Xɐ0@#addyJө@%add_1@2e۩@+reflexivity(ϓ/@^2萑@)add_neq_b:DJ da'@&remove(0| xڠ'uPi~K  @(remove_1?t@58DJH:839@,remove_neq_b+;DB+ՠX@)singleton3)9iG/$%3 o<7@'equal_m@yX  G  p ޠ7 @3singleton_equal_add6OU@*equal_refl_6%xv@'union_b 34%@'inter_b) Ȑ0@&diff_b^ӐLlyOp}_Z ķ ϩnVշ1֩)]$# (V~@)equal_iff0 ̩ɩ7uF +(=z+@ ֠O@%@޷'@5Equivalence_Symmetric. UC& C쐑p#s''9:$ЩFéƩ([[ְ0./0Q $    <aHFG.@.Equal_cardinal=_♀!)US@ SQ퀰22@+subset_refl0 ;dbcJD, <@.subset_antisym)C @,subset_equal =JL@y SQz&S!ZU#W% tbРHUdĩ4MZ_ɩ`r@ Tag#3@*subset_iff2#By~젩ϩq,1)3@#$&n{ؠX>{,J .B0@,N HF<P 0ʷl@,subset_trans рyzݷ9޷p̩ȩȐ!o5=A<*EȐ"H2/Q00@@@@@@@@Db7K,@$Truey@2@%Falsee@ Ab[ ;@*False_rect$0z}{FHU7kIln;<@@x@c@)False_induُ{@r$ԩ a@%add_2Z@2emi@%mem_2b@2iZuطȷ-{yx@)add_equal/#쀰ڷ۩@$andb=H@$negb@#eqb2 Dݷȶ@9<a@)andb_prop,PrаKBBB@@@@D@ݰ0+[Ѡ _ * <7g۠@(remove_b5ilA?1/'{@,remove_equal e$OM?=5u]$@*add_removeQs][MKC9;3@*remove_add<hlj+"%Zerob-@%zerobv쀐w@(cardinalXf@+9F %@?L+n4O@#nat@A!n P],u̵*CUb18@*cardinal_1!tv6BC#%?@/zerob_true_elim,)X /l*1$ؠO@.cardinal_inv_16Jj]@+singleton_2"V@-c\ǐwȐ"s0@&eq_dec!@'sumbool7̂K@Ր BAAAA@@@@@DBAAAA@@@@@A#ݠ@9@࠷aztCʰ@+singleton_b-c\4 ڰɠW@+singleton_1-c\^201а4@%union}@)union_sym*ZECD+i䰩"@2union_subset_equalX}!)UST?U<v%@-union_equal_1b2:!fdePfM<63@-union_equal_2bCK"vtu`vE3SGNI@+union_assoc4wu%U3d#@3add_union_singleton7k4dtuU5@)union_add*Z㫀ҐSuA@.union_subset_1sHҀ _M@.union_subset_2sHӀ3Z]@.union_subset_3sHԀjkQlSѷ-ҩq@%intere+t@)inter_sym*Yr@ @2inter_subset_equal9 N#A@-inter_equal_15]٩2@-inter_equal_25l@.BD@+inter_assoc)#N#!}" #°QT"U@-union_inter_1 Ȁ_4234Ӱ"c3@-union_inter_2 ɀpECD64,l尩tVW'G@+inter_add_1){&&.nYWXJH@V@+inter_add_2){'5=hfgC@.inter_subset_1)I4yJtrs N@.inter_subset_2)I4zV~jg;Hd Yk!@.inter_subset_3)I4{./ac0kB@$diffxw6@+diff_subset'B~̩G~D@1diff_subset_equal6 2cT bR@5remove_diff_singleton-m6·éb0`@0diff_inter_emptyvkз,ѩpm@.diff_inter_all'tB!P@CƠH@@!XF@@]^"X0@/@Ր4"X1X@-set_induction&͞1 穚@,subset_empty UzC s "X2   ]@#Add&ˀ ȩJ7˩{͵  vq B!@"or @ $Y~, $rp RH / ' ) ( +:@'add_iffҙD 4 3 :?)ql <AN@/D0 !@&or_ind"$"& %9A YU I K R-CB  WCU ` T  @%mem_3[i ] e + d      h c$멚@0not_iff_morphism Z  @0and_iff_morphism Ƴ  0 f s K   ݩ $!Z!%,E ?^    Y         o i  ɐ͠    ʩ     @א۠   ! !ζ@   з Ɛ  ж@@  a e#W ߷  @'and_ind14ۀ1123@/diff_false_true .@.absurd_eq_true! @&eq_sym X  Z C CA @R   c  D g@     \   %a  @b@ &F (4  ) $?kη$l: 'C $C! <  >  AE& @  h8 18 1 C@MQ2  'tD D@  L  F G:E < U? G F@@v` U PkEPFfC PC a@koPP 8 Ebbb@  j  d eXcY Z s]] d d@^N~ s nccndJ kC EQ @@!f@ @ z r!i }<@*fold_empty!|ِ 2#eqA@ @  ߷"st e@+Equivalence~@  @ @ ^ ]$Comp @&ProperL@@ i    n n   #Ass*SetoidList%Lists @)transposeWâ  | } =  ߷ ;   z@*fold_equal!}d(V     qV?=;9R20.!PϷ     .@(fold_add)j!(i    3 iRPNLeECA42c     -@(add_fold>}(|    ( |eca_xXVTGEv     @@-remove_fold_10}h wusqjhfYW , *   f@-remove_fold_20}i8 |zxki > <  = $ 0 .  S   #@*fold_union!3(!3(    $"x0 < %  BF  h  i   9  LP    &s   C <@-exclusive_set* G o m _ ] U @.add_cardinal_1%' z x j h ` @.add_cardinal_2%'7   u s k @1remove_cardinal_1>U    ~ vʩH] d ?_ f@Q.Cɐ     ` 7@.union_cardinal& w   Y      ϩ D@/subset_cardinal%7c@  z@ ~ w   u      P@(filter_b#Ou   d + Ȑ%Comp' ŷ Ʒ    r    t v    { K @(eq_trans!y  @'f_equal=    "f0 ΐ ]     C      C?JI   İ @'for_all #  @&filter&sy       @ հ  P װ  Ր  /   Z@   ]  ' ` Р  !  x s + , *F'  1 S     v (  t t  6     "; < :V * A r      , U@+filter_spec  - 4!  <P r  &= I@V   ,rN  B J H & 3y)  N 9 f ; 0 = U  R  Q  ~@'For_all,"^ v t ? L_ d f B Oj  ]@4iff_impl_subrelation5 M Zn ʩ   T aK z        y 4@+for_all_iff>5` G H  b o  GZ t uE@ 9?3  9; C YC 0  K@)for_all_10<  ^ _    թ   @     Y4 T N I ? 7 , %   Ġ  éߐE  v  Q        l  b  !  I ȶ : ҩ Ԑ "   - ( ࠩ ,     b & 4 | v q g _ T M 搩 4 젷  wܩ  ?ة  ʩ , 9j  °  =  : O M  <    ׶@  T  Ӱ   N   y  $  3  ]       C@lX C & $   j | > <  ?@'exists_Tx =O ; B 3@     [ G @       BC @(exists_2 Հ >  6 = e@&Exists!+ˀ ] [ & 3W  HР '@"ex @BBB@@@@D@ n q os M < I <{ h  b  z k t@  J Ww ũ L Y LR x  s#Ha1 ŷ#Ha2ǩ b@0eq_true_not_negb. ^  h u 㩚 4o  V S@(filter_3  L@#OFw ^-  C  lک r ٷ @  @ө  4@@ѩ H8  9   ÷   Ŷ@ $_tmp@  n@(exists_1 Ԁ ˩vA ַ  ש۠     ĩ 2 - Z堩 1 4 ~ x s i a V O@  Kǩ 7 G@ <  ǩ 6 , 3  H   w   5 J H D _ H   < Q O  @  퐩 { h  A  @ө X    @թ      Zɠ  }   b fީ Iߐw97 ְ @#fst @@A@)partition9NA ?G@/partition_spec1(DF&'TR 񰩚@#sndMNLh <9a@/partition_spec2(DFnl^\T(5  `I  P KA_ u W     \u m &  a )lQo qe9ahg ՠ Рn uө  ֠tfl$     ܠ{z P E~ .*    #t#  t,  4  .w "@/or_iff_morphism3*;   ,)dZ Y%E $  % ; 6#)88N   :8  y  @ Ġ'@[V I-  us ө׷ q کk · a^* b  ͩ   ө     2 r( *   Р'  ) C @ 5  }e[d ذ x$ShQ  U :Zo5us$_t]okag@f@vh3w x cb46c*CB   .  2G & ? *L , 3 <  5 V 3 J! <55.Ȑ"H3 & A :   >?E[@?Fa F U5dgfKJJCtrdb@Veaŷĵ~|}ome_jpŠK  `&qw`ΠɠgH/  LYGǩe$©Ӡr  Ub  ?wfUݠ|QF_  Pyh f{,;5~l= nf t ;c$+ }y-% //P 1:@ ŠB#@*?)  v NwŠ   S ڠO }a 㠩/˩ *з~   շ(L; ʠA*赩!  C-SetoidTactics@0default_relation  @3equivalence_defaultú #Heq(.ةZZ  C@  6 x%)Q -S, HFCAHEC:89+)@϶@@j'7cMKL><4900ѷA*%$/Ġ 1ѩkf66pk@M@@Gb G V6LKKRm· R Yd YWCrocj8dgfLNAiiP+8S@TMVKOXMMd@,PER_morphism q_TaVL@.eq_equivalence()'S`i^bk`" mbbod qff(%'M    O  K :  %/C@ (  jC@s@B+!g   ʷ ˷ y@#orb  TUvͷ S֩ a# $C  C8CBT쩷թC>ܩ Р ٩РGI$>S<M ߠҩޠUWYFMS '@*union_spec<"(&s' $Fh$ezc! ,]fp#'%%o'%% -㩷< ;]$zx Ar,:-881)0 5/6PQO%4 Uw+CwrM \%2NGCJK \@/<<SA@@DKI8E$  C@(orb_prop/pـnbPBAAAA@@@@@D@ZN[^R_rt 7 -x :Ʃ& <&c@.orb_true_intro  5.ж@/@5huf 6X "H4@'s#I X Y'Q}) w@/Ȑ"H5ϩW   @٩@ ՠ!  ٠ ۠'  ZB$@   - 1I "H6ЩCߩ°ϩ> ǰԩ4cE] "H7аݩO NְCPu vV N젩Q^ aRhk +wc s+, lS  92 zTҩ9444ZbVX%OU[N)KdOJC941 :&7+EEE{g{n]d5 :^ 0=X2?X B o W.  s & G>K`[  }R\ TYxV`/j4l  ~\a5poooC ezv Q)z { x S 8 <-  p  Ġ 9h$ ɠ q~K  (4 ٠|-*  ߠ*?.,,v 53.ͩ;E Q +@' Š P',1F S3HFAޠN9 Ԡ!d$>S<:  |9 p=;;EZX=GK@#@ =*  L)9] *iΩ "/Qf& 4 ư+#  p0|+, * ʰ 0 !""!/( _L;+` F_&A c*9d0#> A C433:\ U5D;.I '  ;;;Cecd䠩Y 5 5]psqXdb@ l;Wg<co>LZc @+equal_mem_1 €ajr{J cxMBOccQl}RGT *j'Y@@P] t,z{@  dҷeZg ,  ~ @ z  '@)empty_mem3xVyW /@4is_empty_equal_empty[B 5@.for_all_filter:ހ $   ·÷tTlzY    f@ ·@ ѩ  @ ѩשϩ=F)Ʃ 3H/ޠ@.negb_false_iff ӥ2"C@ǰԩ!D9 j:X @+equal_mem_2 À% m clZX#&$ LM 'Sumbool@+bool_eq_ind̲jطmi4k %oHJ+ y> Z*5W &O@@ ,>=M7H@ mH j;Z)U*@ -zC Jb1L]2@   IC@+8MU'+U_xXmnlhj_ 9j k\a`>Kf x շ sGTov=Wf7ks۩LYut  @,choose_mem_3+l+du[^kM`BBB@@@@Dp sb{j d~ @ yӠŷƩʠ Cl׷ةܠ]˩样  ѩ   A  n 5 Щ˩v;°ϩ? Ȱ ̰٩hJӰ Pװeݰ0Z p 9cG`uB  @-negb_true_iff'/51     w u @CA9$List r@'forallb?[/< 9N@(elementsYʀ/D ߩO@'existsb OQ&(<n"V D Ȑ!l1@$list]@7@(list_indjh4A#m\W=q H[uC=J,v&AթJ~ l(&#IHlN[=qW Ru .c3eZgǠ}K }F 2g0LChuՠY"Ƞ uCu ʐӠ C}l ]Bא 驚d@(exists_b x  Ʃl@)for_all_b0=  G / % .   Ͷ׶@©  # { q@-for_all_mem_1%43 Էک ੷ةF  O°2=İ 堩 ? @.for_all_exists:z됑 | d Z c Q O ְN2B/ ! ީ] *u$&E^s@(& $ @-for_all_mem_2%43 eש~I ; o!v  R D P*%G' (       SVTFD<|6}O5㩷1$;&;A*','G@5D @-for_all_mem_3%43 &BJH.;XP4A^MWy Y]Y  Ϸ     mANp7Q6e}FS @-for_all_mem_4%43 \6hnܠTa  fҩYf FD|q~dq cn{]1q~ n@nՐ/ˠ  7ɷʩΠO)2ͩ2Ƞʐ @Coq_MSets_MSetEqProperties_WEqPropertiesOn_Sum_sum_plus_subproof \@o2'ܩu@$fold;|#Nat@ `      ְ Nĩ$!1"$ Y.!) *4 ?p@"Hf zE6""Hg Ȑ"fc<B5C31 ķ"y0Ƿ1 .-,  V)$ TV (PeanoNat%Arith_\@&add_wd> ړ E  ڠgBޠ,S%Peano:@+f_equal_nat!-xRZYCrxky@gAFF~ CE@mHMMvvC ˰@Mt{Ȑ"ft!z)DecidableU@+dec_not_notHɀ_ 9֩ ?)Peano_decO@*dec_eq_nat5뵀@'BinNums'Numbers@!Z7@&BinInt&ZArith@1P&)BinIntDef@ ̀@&of_natbz @1?G!O,-˩$Znat)%Nat2Z@'inj_addc D@6@#Zne>o=.v  7VJ;=_QB]D I5-3g@#\MPocT$,wiZ\5yH2@>wh/ͩk/#~o2Ed/+*[E@Q@2@V~ !@&ex_ind 5{Yc,M@"le1P,A@#mul1P]@ aB@(positive*@C%Zvar0ط&Omega6*ЩVߩ Oz,'ՠ$+-&Omega0 61ߠ.(5HoِE@%Zvar1&Omega5 Щ{%L&Omega1 a  ]X%Zvar2&Omega4 Щ<c&Omega2 6$ɩ'^X .@꠩#%ͩ'Wҩܩ0@#opp1P+@ {8:+2Q T5- Π Y@NPpR&$Fe ֩hI.Ƞk@'`bd 6&'w@3lnpީBt<ʩc7@C|N0֩.C@OZɩ6䩚+OmegaLemmas%omega\@2fast_Zplus_permute!  [@g4rL@4fast_Zopp_plus_distrpe %cj@vCW!@7fast_Zopp_eq_mult_neg_1=Ҁ 3wǶ@PfRI1Ӷ@Ƞ\ʠ쩜Cx$&!Y@ؠlڠܠ]13.N@y頩8(?A]Щ lG> n%B|)Df+@ĠOQm@8fast_Zplus_assoc_reverse ' Z@Ϡ>Z\x`@ՠDbd!@ݠL 81ln@0fast_Zplus_assoc Da~0 !.#%0.@1fast_Zred_factor3& `=@2ک4K6s8n"IM@ B dzW@L N@1fast_Zred_factor2%f@"[]@1fast_Zred_factor6)@1fast_Zred_factor5( qǩu~ &Omega3Gҩ'֩)auxiliary@(Zne_left0߀VgjO E@'intro_Zz,HKjM~@'inj_neqjDv x [z |_^CvHXȐ"gcxvtFCrAkO  Bҩh$Z? J;=> Nx??3s10zC@i##nn? Cn)(C&%Ȑ"gt#1!w5 ܩ & ( ک ͠   נ ۠ (@é   +w4٩͐(ݩ;-!A@6*I␩=. QC4y6 "}" \@Q+Ed X j\Q 5o@+d< 0ik\dةnp&ܩ+5lͷBЩn ^(շ<Fy 9 @3 VЩ : =céVh LKY $i@uXwηs}fihJն@ʠ| xݶ@Ҡr&(@ڠnޠ%24@j]堩֐QU OOPH '   -C?Ȑ#fgcɷʷKLQ Tܩ U$Uؠڠ   ]ݠߠ  b   f f[e h蠩 ak ϩq M$t,z!m}}}u! .n5C  @ש~ =C CfȐ#fgt-/ 24 79 +6l0$pAqJL | })O}lXZ K>=_w r\@hGikeF]Qw©a`,{˶@h@!ӷxlǠE}۩͠=|xwA?@נ-8-ޠϐZѐ[栩אT<V@FSH2X 2ˠs֩@Ԡ c3e8"@ޠ m *ϩÐҩ0"#5@*N=@%2VB79Y* 1>@1 c4G I[\װ`a'Omega10Щ߰hI   op"tU  }x&Omega9 4Щ`  ȷ| /9lT &Է|&Omega8 KЩ wo 2߷| FPZk>췐%Zvar3&Omega7eЩ'[gM+ ˩ ak4 &W %Zvar4· |Щ>ǩUc᩷Ϸth1kjd$ >ٶ@ΠРҠzÐbB٠۠̐c:ѐԐ˩렩ސ DFɩ 琩3  @ǠK-XZ PG6@ڠ^ ;86oq.ݩ032@')+HF>٩@ة!RC@8:%<> ^{Y@/fast_Zplus_comm11GX@MO:jЩS  d@ Yt l@(ac ~%&v@2kméi0@<uwy {fMfթdB@NYϠN@Ze[\@h,si|j@v:wf ud$vƶ@F/z.nж@ŠP%DNvض@͠Xn#%.@ӠPՠ\@۠f/1,L@np;=Ff@zEGBp@éϐSU^@Π A]_Z@ؠ۩Kmox  ɷ,@蠩!#>wyt 6@+-/e1H3۩  G@<ǩ>@vBYDzЩJyUL]N[P  ]Y g@#kmm@)b*g%u@1j2l©{ /@;t<vj̩{'*9@E~Fl֩120C@OP©.  @@S@_`ҩ`%3^ ' ``#uŶ@bީש ĠƠ Ƞ n p I$ݶ@Ҡ!B(|(*S @ܠ ޠ 24g4@:<o@0FH kD@(NP s0 @ɠ0©B\^ >@נ>Щe_llni p ov$&u |*~3 5 7 9 ;E79Y*a^?A2o`5 c8K M3$    " $# & (   * ,   Cd & ) ' 1 3f ? =@'set_rec( з : G  J = ; E G- d * J T˷ G E O 1ȩ Yз L J T e 5̷ ] ^ E4? ة cڷ V T ^ `QFG =۩ d n a _ i  D s f d n  I$ z m k u^[  :  v t ~ af  *  e9 ! 0 K        9  sG     %: C ^    / I  " ~*@G$(( s s# S  F(+ vF#m% U   -< ' (/ z>) Y      ]  y7 9%3& ) $=  m ?EE9F k CI l=  Ơ G:MA IXOC AKT@5*  U WfQg j[ ] 5 ࠩ ⠩"  栩Y \  $ "" ak$ ? ϩ q s9m q w   p4  a,     y < 栩8[     ΰ      ٰ      !!  % /!"!  * @Goa ;!.!, 6 8 T)!C  F !  @ J!$C T U@ @ !R!P! ȩ@#sumY!K!I 2!3 S ,  v h i!b!T!R C g ʰ J  J ?EZ O !T!H   u!h!f p,!  {! t    !v!t ~d  h!d!c    ! Ҷ@!L թ  !!  ;!; !u# |!W   !!  /!G ڠ ː #!M ϐ ' !Q! !! 頩 ڐ ש ސ 60    搩 7ө 됩 C=!!  Ƞ  ! @ Ѡ!  Ҡ Ԡ[ ֠Wf #!ȩ!     ,  ' !!, *! 4@  )!<! <!!Ր 0 !& #&  F 8 ) C !!  1  !! 7  #"  ]@  R=e!F e" ! YB!  k ]? N#""' 8%"" r@ . g"5[ z"" nU!5  rR c0""4 M2"7 @ C* |%"$ҷ( H   tl u|     "G Q" u";   'Omega11`Щ""  %"F    ĩ  "Z d"-  &"Q   Y tЩ"6  W"[  b ٩  Ʒ"o ǩy"B ˩  ""~  a!p {"m   ַ^Щ"R ۩  ""  Z!"~ +  n  > " "e  ϐ '"" U!k%" A<P hЩ"s  ݐ 5""  !k3" #J{ v  ] " "   F"" ʐ_! D" `[V mЩ"   T""Ω ؐ~! R" Bi  { :  (" ! *a""©  c""ݩ 琩 頩_!Щ^!Ґ\g" :@" = /"ש  3 $ |"" y + "" ]! 7 V" "  X"" 9 # #  ,(֠# a@"۰ d Vv ( Z#  N m# "$ o ## P 1,<"Ҡ#% u@" x j <  ©."ݷ#/ @"  t  ʩ "#7 @#   Щ ˰"#= @#   #, V: ۩ ְ#H @#       #P @# #; U #V @#   署 @1fast_Zred_factor0##a @#+   n   G '   #4          Ʒ#k#_ '"  #c#b # ж@  Š Ǡ ɠ#q   Р Ҡ Ð נx +- ## " b## ΐ## @  砩 頩  Z# ?A ##e" ## ␩ :##  `";# @ ʠ    v#; [])# @ ֠ #C ce\# "@ ޠ  ` 됩  #J su 2#ש#E" 5W##ͩ  n## 2ki# >@  3  7Nb v# J@  ?(  C#n l$ V@  K4  O Q  S# G f$ #&# i$$ J +#ˠ$ o@ + dM 6 h j$ ,#ڷ$- }@ 9 r[ D v'$ ̩ Щ z# $; @ G i  ֩ ($C @ O q Z   #$N @ Z |$;  $$V @ b  $E o G  $d @ p    Z $U  $p @ |    $a   c$~ ζ@  à Š Ǡ o $q  $ ܶ@  Ѡ Ӡ( ՠ נ$   ,. )$ @  ɩ 7  栩 5 W $ <> ZЩ      (  b $ @ M JL  $ @ Š9 PR n6$ @ ˠ Y ? O$ \^ QB$ @ נ e K [0 hj{6$ '@ 㠩 q W $ȩ "< $  &© u \ |~ qd$ ;@  0 2k 4 } }$   l$ I@  > @y B D$    z% W@  L N P R   $      \ 2  4 q * c + e | g     @,fast_OMEGA15M$!   r t@   } !# x Ǡ    "       $  Ϡ          ͩ  ܩ נ       @'OMEGA17 PЩ % %=%>    \ȩ z˩ s%f%dnpi  { v  .@*Zegal_left;6t %|%z$l, à  2 %%9  =%v 1%% $ E%~ 9%%%$z% A'-)!% E% HΩ @%KG% L@&inj_eq8F'%2AK%M%=O%C%@)ReflexiveWV%X%Y%\%%%C%@)SymmetricFgq %d%eXf%ש%i%%ͷ$l%%%%%C%@*Transitive++-HȐ"cc%"%"%%}~$%%Ű%Eѩ%$%@  @@@A!b%ѠB% %9%@%%%%% %%&&& & C&"#(&#)@&$.&#] 1)&_#C$#4& &/#57/,)CȐ"ct&9&7&2&8&ĩG?<`9JB?9<&-MO&1 &A$L&F&:7`XUR&<%bQkc`s]&&O&NpZ&m@y&Xz|V&W! ɷ&n&b%s%ѩà r&n&m$"&ض@͠8&u!#&&yԠŐ"%ڠː&&͐;&@S-&!>&&Z%T&&&@ >&!Q&Ǡgt   xs&!Ѡ&#t&n!iN$LЩ&) &K!rEUC0&1!㠩&5&!~>9< Щ&>&`!;EXE9!3F1:/h!,05`/N&*&P&&1)'V@KM&O@   &$VXI 0!Po'&&q' ' R!(렷'&v@2k!'.~@:s!!ɩ'6@B{M'')!թD  uDA ]?{JG aE  ': ': ROSL'= 7 `b'Edf'I'HC'` 2'c'akc`^]'x'v9з4'z'4 } 'p'nxpm5j'[ ! w"o'_ '&''o&^&i'D!!''~} z'd!!"'h"C!!'$'>!! !'Y!'z!+'E'&S&p'~#&! k&!"m!$'$b#!"!<d'U!@h#%S@*cardinal_m!tvЀ  ']@,filter_equal "s'V@$c4w,'h#%''J##'j''"y!D!F''ʐ's!D!A!K'!M+''=!O !cΠ@'|'!UE'!O3(!WG"#!Q'''!'''ҷ'$&[&!] R!W!a'!c'Ʃ!wTm"ϵ"ѩ'2'ɩ''"'''"''0%9'''@(filter_1#OD''l'"""''?"'"''='""%'"]C&"'ض@@'@ڰ##%$Ωݰ#թ%+¶@@'ܰ''&@#'"%9"'!*"(5!((%.0(%"!!ĐQ"ٶ@d@'$!%O$$9#1;2@"@7'͠42'G!ǩ8!ݐ!!̩(!Ω?&(3!B]!Է(P%VXPMJ#K!(!%@*cardinal_2!tv%#$I(=(F!ө&@'Add_add,I#]$RC@6@+(0!qa#@O=!@(9(F&a&a5#.!0!!(>!R(_(&$$>B@(b!|C@@(F""4.@,add_filter_1 Ʊ>o#(8"(j@,add_filter_2 Ʊ?"""'""""(^"("0U'"!""""(f"$"(("&" ":="(((''(#&'M(|'?&$')' ' '(}&#&(t&(#$((&#U'\('N&3'8'/' #à#Y/&#[((Z(('(j@)empty_iff)'(ũ#Ҡ#h#j#j'#k#Q#;#n((C&ؐ C&c9"b((ܩ&"`"h"b(C("j"l ("f"#C^F@E((("t(((ک"'U~P)@@_][YrRG@(G̩P@& @$#'&N('(((((I) $((\@&@#'&@$ )'$$%%(rV)$(ɷ#)-)+з)/@)") @%)(/(0栩: )(۩<#)(ݷ"j)>()?)&(( @)4)2@().$%(A(B L4(%+N6(%-$,)B)@@()<*+=(O)@,transitivity>4 <D) @6Equivalence_TransitiveWCKܩeE)$OgG)$QiI) $S(KS C$U) ) (d)3%KY)4([)A(B)@)equal_symö)  W_yY()$c)U)n)l$ )hL) )S{ж@(@(à)Z$q,Զ@)f(9 F$w%l)`)g(ow># H$y)/)0)b"))))y%ͷ(sS$q))@(Ԡ)rGC z>|$)?9O$( z$)B)C)uM HT))H&)I)J)J)Z@+reflexivity(ϓ/&)&)QK[ Vb)U=$$)W)W Q?)o)$U \))])# x$)))'%`$5)))@') (ĩ({))%|})#$@')r()),(,;)R= ) ') )$N')$P))C@))Ӷ@&;I$W)) )) BCoq_MSets_MSetEqProperties_WEqPropertiesOn_Sum_sum_compat_subproofV))))]#k)#m! )ԩ۩!)ة CCoq_MSets_MSetEqProperties_WEqPropertiesOn_Sum_sum_compat_subproof0< i >)̷(ͷ* * $))@&b)ư# 2 @+fold_compat-20# dM絵* '*'$*##ͩ@,f_equal2_nat0  #Q0)* *C*'*' @*(##%˩&cC(''*ggCoi*%*#**$#$* **Cq*-'3*&'4$*"##" #;~***CCC*6*4*/*5#!!**#*"C#*#*;*9$)^*5#©- #Fi*'*')*"%EqNat@)eq_nat_eq,X*2*2 @+eq_nat_refl:A);C*#ש ǩ !m*W*U*P*V#ީΰuuq%(^z!*X*L&W%*t*O)u%m%*(*b*a *ж@*k *j%!ܷ**uРL)Ԡ*}*|*@ܠ5*%2!**_Ԑ)Щڐ9*\**ސ*@R+*%O! **Y)R***@Ӡ *%b%vؠ* ! .*/%ᠩ*3q*~%y^4\ Щ*9!*[%UeS@*A%*E&S*%LGJ!Щ*ðL*k%FPcPD%>Q<E! :s%7;@k":Y*5*[**<3˰+`@UW*YJ10.`bS(9%"Yx+'*/z"++[0!+/@;t&%ʩ"+7@C| %ҩ+?@KV+0(%ީB -f2i +B+B"C+Ehj"+Ml"n+Q+P Q|G{k2;@