"`!!3Z)FSetFacts%FSets#Coq@d$Bool#Coq@)OrdersTac*Structures#Coq@+OrderedType*Structures#Coq@$List%Lists#Coq@&Sorted'Sorting#Coq@4Relation_Definitions)Relations#Coq@-SetoidTactics'Classes#Coq@&Setoid'Setoids#Coq@&Basics'Program#Coq@)Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@$Init'Classes#Coq@/RelationClasses'Classes#Coq@)Morphisms'Classes#Coq@*SetoidList%Lists#Coq@-DecidableType*Structures#Coq@-FSetInterface%FSets#Coq@)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r'Prelude$Init#Coq@0JqTttֱ&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!>$Bool#Coq@0j 2cZ`FW*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-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@040^s h@ >Eb +}9qk}"ZOy YР)FSetFacts%FSets#Coq@A*WFacts_funA@!E@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%%Q@.@*%QA@@@@@'eq_refl @@!x@@<%QE@&%Q~A@@@@@0&eq_sym @@U@Q%Q!y\@X%Q@b@C%Q~Bi@J%Q~C@@@@@T(eq_trans @@;y@u%Q$~@z%Q!z@%Q@@l%Q~")@@s%Q~@x%Q~E/@@@@@&eq_dec @@i@%QR@%Q&Specif$Init@'sumbool7̂K@@%Q~\%Logic@#notШ@%Q~k@@@@@@-DecidableType*Structures#Coq@-DecidableType@@@@%Q@@%QJ@@A@%Q~@@"eq%Q~^@@A@AB@A!M@#elt @@!t%Q@ %'A*Equalities*Structures#Coq@@@@!E-FSetInterface%FSets#Coq@@:UH@-FSetInterface%FSets#Coq@%WSfun6@@@A@@@@@2M@A@@@@@AA@@A@8 @@.%wA,@@@@.%w@@A@A@@@"In @@@_@[)@d@V)"A@@@@@(%Equal @!sw@i)""s'~@p)"!a@)%Logic$Inith@#iffС)@@)'AC@H)'B@0@)"/@)"H +k() +7T' 7! 7!7%'@d-TcdP5p @-ot@@@@@&Subset @^@)"\@)"Z@)@@)'M@)'JQ@y@)"x@)"I +k() +7T' +  7!T'7%'@)'d@)t@@@@@Ǡ%Empty @@)"@)@#notШ%@)'@+@)" `+k+7T' 7!7$'6@)'@;@7)d"L@@@@@'For_all @!P@P@L)U@G)"!x\@X)@b@ )'ĩD@@l@h)s@e)"ǐ +k() +7T'+  7!T'$'ƐdtWJ@@@@@C&Exists @C@@)-!@)"@"ex @@)M@)#@#andЖw@@^)'C @o@@)RN@)"A +k() + 77%'  7!7%'h)t>|t@@@A1@D%Logic$Init#Coq@@A@@%empty @@@)"@@@@@(is_empty @@@@)")Datatypes|@$boolZ'@@@@@@̠#mem @@@@)@@)"@@@@@ߠ#add @@@+@')@0@")"4@&)"@@@@@)singleton @@@B@>)F@8)"@@@@@&remove @@@T@P)@Y@K)"]@O)"@@@@@%union @@@k@])"@p@b)"t@f)"@@@@@6%inter @@@@t)"@@y)"@})"@@@@@M$diff @@@@)"@@)"@)"@@@@@d"eq @@E*U@@@)"@@)"N@T.V@@@@@&eq_dec @@Y@)"W@)"&SpecifO@'sumbool7̂K@@<)*EMː@D)*@@@@@%equal @@@@)"@@)"@@@@@&subset @@@ @)"@@)"@@@@@Ӡ$fold @@!A.(,L@@@@)@%)@Bv@0@")"@|ΐ@@.(,@@A@A@@@'for_all @@@@B@>)A@G@9)"F@@@@@ 'exists_ @@@@V@R)U@[@M)"Z@@@@@&filter @@@@j@f)i@o@a)"s@e)"@@@@@5)partition @@@@@~)@@y)"@$prodt@@)"@)"@@@OA ϲ6W)Datatypes$Init#Coq@@YA вuX @AB@@g(cardinal @@@@)"@#nat@@@@@@{(elements @@@@)"@$list]@@)@@@A al<@A@@&choose @@@@)"@&option >v@@)@@@A ůMZ@A@@$In_1 @@@)"@)!y@ )@@n%Q~2@@)'D"@)'E@@@@@栠'eq_refl @@2@$)"7@)*@@@@@&eq_sym @@њF@8)"ϚK@=)"@Q@)*nV@)*n@@@@@(eq_trans @@d@V)"횠i@[)"#s''p@b)"@v@)*ض@}@)*@)*`@@@@@E%mem_1 @@@)"<@)@@F)'@ @@)øA@@@@@m%mem_2 @@D@)"d@)@#@)ø(@u)'@@@@@'equal_1 @@d@)"b@)"@@y*UH婚@*zuC@@@@@'equal_2 @@@)"@)"@c@*z#^ @*U@@@@@͠(subset_1 @@@ )"@)"@$@[6iA%+@(;ɀ@@@@@(subset_2 @@Ě9@+)"š>@0)"@@F@C;ɀcK@6iՐ@@@@@ 'empty_1 @@Y@O*Ug ^@s* @@@@@@ *is_empty_1 @@l@^)"@r@h*Ug ְsy@]kѐ@@@@@;*is_empty_2 @@@y)"@@]k穚@*Ug 0@@@@@V%add_1 @@-@)"M@)@)@@ %Q~ϩ@a)'@)@@@@@%add_2 @@V@)"v@)Ț@)@@)'E@)'@)ː@@@@@%add_3 @@@)"@)񚠐@)@搩@_%Q~#@ @)'㩚@)@)'@@@@@٠(remove_1 @@%@)"К*@&)"/@+)@(@%Q~R<@)'B@;h5'@@@@@(remove_2 @@ۚP@B)"U@Q)MZ@V)@BU@%Q~@h@)'Mn@)'t@);h5YR@@@@@7(remove_3 @@@u)".@)@)@@=)'A@O;h5@I)'7@@@@@a+singleton_1 @@S@)@)@@b)'%@aҀZ@%Q~M@@@@@+singleton_2 @@w@)ɚ@)@@5%Q~@)'@aҀP@@@@@'union_1 @@@)"@)"@)@@)'s @*Ҁ@"or @@)'@)'6@@@@@ࠠ'union_2 @@,@)"1@#)"ܚ6@2)@<@)'A@)'G@*Ҁ,@@@@@ 'union_3 @@ᚠV@H)"ߚ[@M)"`@\)@f@)'ȩk@)'Bq@*Ҁ*@@@@@3'inter_1 @@ @q)"@v)"/@)@@9)'@*π@D)'2@@@@@\'inter_2 @@3@)"1@)"X@)@@b)'%@E*πH@m)'ې@@@@@'inter_3 @@\@)"Z@)"@)@@)'K@@)'@)'8@y*πא@@@@@&diff_1 @@@)"@)" @)@@)'~@)5l@)'@@@@@ޠ&diff_2 @@*@)"/@!)"ښ4@0)@:@)'@@)5lʩ'G@)'_@@@@@ &diff_3 @@U@G)"ޚZ@L)"_@[)@e@)'϶@Mm@)'r@)'x@)5l@@@@@:&fold_1 @@@x)"l.(kMj@@!i!f@@)h婚@)s $List%Lists@)fold_leftɀր@)2!e@)@-š@@.(k@9@A@A@ %'A*StructuresA&(@ADA%t+@HA@JA1DHL@ABC@@*cardinal_1 @@m@)"F1@?&&{3@&length䷀@)@;-šC@@@7A o@A@@(filter_1 @@ @)" @ )@ @ )@*SetoidListw@+compat_bool!!| @ %Q @%Q~@ /@)'{ 5@9ͩ :@)'Ɛ@@@xAm,$@A@@ (filter_2 @@ך L@ >)" Q@ M)@ W@ S)V@A Q@ P%Q U@%Q~ζ@ h@ )' n@9Ұ)Datatypes$Init t@@$boolZ'@bA@@G@@ C(filter_3 @@  @ )": @ )@ @ )@ @ %Q @%Q~@ @ U)'@> @ [)'E @X9뀠F@@@@ |)for_all_1 @@ S @ )"8@ @ )Ͷ@ @ %Q @2%Q~E@ @?YZ @ )Iw P Rk4M꩚ @6zH@@@@ )for_all_2 @@  @ )"n@ @ )@ @ %Q @h%Q~{@t @6z /o @?YZȚ "@ ) =@@@@ 砠(exists_1 @@  3@ %)"@ 9@ 5)8@# 3@ 2%Q 7@%Q~@ J@4d P@ L)kQ W@ b<@@@@ (exists_2 @@ 𚠐 e@ W)"ն@ k@ g)j@U e@ d%Q i@%Q~@۰x ~@2b ֩ @4d / @ )g &@@O@@ K+partition_1 @@ " @ )"@ @ )@ @ %Q @%Q~ @ B*U〠@#fst  @ )" @ )" @J  ک @g9 ߐ@@@@ A ӳ2[@ A Գq\@ABC@@ +partition_2 @@ i @ )"N@ @ )@ΰ @ %Q @H%Q~[ @ *U〠@#snd @ )" @ )" @  ! @9뀠  @ ) @$negb4 f@@T@@ ݠ*elements_1 @@  )@ )" Ԛ .@ *)@ 4@ )' @#InA q9@ 3@ 2%Q 7@%Q~ I@-šb@@@Ai0A3@A@@ *elements_2 @@ 暠 [@ M)"  `@ \)@- Z@ Y%Q ^@%Q~ש p@-š  u@ )' @@,@@ 7+elements_3w @@  @ u)"m@&NoDupA @ @ %Q @%Q~ @-š @@O@@ Z(choose_1 @@ 1 @ )" Q @ )@ɐ @ ) @97b UA @ ). @ q)' ߐ@@@A ůM @A@@ (choose_2 @@ d @ )"@> @ ) @ 97b 1B @ ) @ *Ug  @@.@@ @  @@ @#eqb @!x@   @ %Q!y Р&Specif@ O7̂K@BAAAA@@@@@A!s!@"eq%Q~  %Logic@#notШɩ2@&eq_dec5$ӹ@÷@B@@ 7 )Datatypes$Init#Coq@@$boolZ'@ +k() 7!= R'>G'>H''+k6'#hOAABAAAP@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@)In_eq_iff @@ @cA }@ r)"@#elt)@kd@#iffС)@"In)'  @@@@@9'mem_iff @@ A)#  @ @J6@#mem)øB@@@@@V+not_mem_iff @@ BF@9b@@@@@h)equal_iff @@ CX"s'[M^@ |*U4ye@%equal*zq@@@@@*subset_iff @@ Duvhy@ 96iԩO@&subset;ɀ@@@@@)empty_iff @@E} @%empty* @@%Falsee@@@@@@,is_empty_iff @@,F @%Empty*Ug Oɩ@(is_empty]kW@@@@@ՠ-singleton_iff @@GGD: @)singletonaҀ .@@@@@젠'add_iff @@^H?ܶ\ֶRשРˠ Щ@#add)  ֩@@"or @Nܠ  @@@@@+add_neq_iff @@Ia~t@W #@@@@@!*remove_iff @@Jt   @&remove;h55t@#andЖw@4{@@@@@@.remove_neq_iff @@K0*+@%   @@@@@S)union_iff @@LCD>72 7J@%union*Ҁ = 6ga&@@@@@m)inter_iff @@M]^XQL Qd@%inter*πL@@@@@(diff_iff @@Nuvpid i|@$diff)5l2d:@@@@@*filter_iff @@O!f@@*SetoidList%Lists@+compat_bool!!|  @&filter9~é  @@@ %'A*StructuresAm,"@A@@Ԡ+for_all_iff @@FP'Ķ53@2@'For_all?YZOɩp 驚@'for_all6z@@*@@*exists_iff @@gQHVT@S٠@&Exists4d!@'exists_b@@G@@,elements_iff @@Re٩r@#InA q9@i @(elements-šC@@@cAi0A@A@@2%mem_b @@S"@<  @@@@@D'empty_b @@T-Kz@@@@@R%add_b @@UB<=[f\@#orb@ t d@@@@@q)add_neq_b @@Va[\@6{1c?@@@@@(remove_b @@WrlmFAa@$andb=)@$negb7@@@@@,remove_neq_b @@X@e``n@@@@@+singleton_b @@#Y toW@@@@@'union_b @@2ZX1ɩmnb@@@@@Ҡ'inter_b @@D[%¶jöC۩eP@@@@@㠠&diff_b @@U\6Ӷ{ԶTΩ^a\@@@@@*elements_b @@i]Jg$ListV@'existsb q@@@EA=\ @A@@(filter_b @@^gvt@sٰg^@@\@@')for_all_b @@_z@0G1@'forallb?[/t@@@@At@uAIPA<@4@zA1@D@ABCD@@I(exists_b @@`9@ RLS@@@@Y$E_ST @@a/RelationClasses'Classes#Coq@@+Equivalence~@@"eq%Q~@@@A݋X_A/RelationClasses'Classes#Coq@@A@@(Equal_ST @@b(W@*U【@@@A@A@@$In_m @@c)Morphisms'Classes#Coq@@&ProperL@@A)Morphisms'Classes@*respectful%WO?  G@@@ AviA)Morphisms'Classes#Coq@@A @AB@@̠*is_empty_m @@>d6@թ)d@@@A@A@@ᠠ'Empty_m @@SeK@1'@@@A/@A@@%mem_m @@cf[@b&Nd(C'@@@OAB@&AD@AB@@+singleton_m @@xgp@wcyX1@@@dAW@;AY@AB@@%add_m @@h@@yn{1@@@}Ap@A~Aۓό^q@A@YAw@ABC@@9(remove_m @@i@@@A@AA@A@oA@ABC@@O'union_m @@j@C4E63@@@A@A@@b'inter_m @@k̀@@@A@A@@r&diff_m @@l܀#"@@@A@A@@(Subset_m @@m쀰@vx@@@A@A@@(subset_m @@n@ʩ- @@@HA@w@AA@Az@A6@ABC@@'equal_m @@!o=@@@A@A@AJ@ABC@@à+Subset_refl @@5pNA@u6i@@@@@ՠ,Subset_trans @@Gq(`n\#s''_@@! ;Ɛ@@@@@5SubsetSetoid_relation @M@/RewriteRelation6C @Au@@@/RewriteRelation6C @@u)"@6i(Gk@@@DA@A@@$6SubsetSetoid_Reflexive @@jvi@(@)ReflexiveW$"@@@bA@A@@B7SubsetSetoid_Transitive @@v5@F@*Transitive++-B@@@@A@A@@`,SubsetSetoid @l@(PreOrder@AXE'@j@(PreOrder@fd<67:kXL=D@@@A@A@@&In_s_m @@rީ &Basics'Program@$impl7ox@@@A@A@AB@@0Empty_s_m_Proper @@s@@L@;A @*respectful%WO?-@$flip$">3C@6*Ug @@@A@A!s̓P&Basics'Program#Coq@@A!t Q @ABC@@栠)Empty_s_m @>@*proper_prf4>MHE.0@J6WC@!xx!y{@&Basics'Program#Coq@@$flip$ABA&Basics'Program#Coq@@$impl7oRT򐐠 ,67 6  67777777 + 7T7k6'$|@}@@*>2 @@@@@젠Đ @  W!a @ *>7qȩ @  d(YTM@@@@@  @ /+ t,3@@`]Zsng@@@@@# 0 @ IE6L =/@ MIUDA>_=@@@@@?0 @!P@jp ie l@Nr 9@!@@@@@V& @ }y q@"ex @  k @@@@@A@@r  @@@@@@@z  @@@ Q@@@@@  @@@ @@@@@ c @@@@@@@@@  @@@@@@@@ A @@@@@@@  @@@@@@@@  @@ @@@@@ @@@@@@@ ֐ @@*d@@琑R#@@@@@Ӡ ؐ @@  = @ *>9  @@@@@栠 ; @@@m@@@@@ ) @@ @@@@@$ @@!A.(,L2@@@@(@@$@/@@.(,@ @A@A@@@ @@@@7 @@@@@ @@ @@@@@! 6 @@@@@@@@* @@@@L@t@SS@@@lA ϲ6W @pA вuX@AB@@Cܐ @@@d@#nat@@@@@@R @@@s*@]@@@@ kA al1@A@@f͐ @@@>@ >v@@@@ ~A ůMD@A@@y$In_1 @@   @!@ &0@@@@@@ @@ @@@@@; @@  @ q@@@@@9 @@  ¶Ķ@ @(@@@@@%mem_1 @@ Ҷ ٶ@ G@ B*>9 @@@@@à%mem_2 @@  @ Z ^@@@@@Ҡ'equal_1 @@  =@  j@ 6+ P@@@@@栠'equal_2 @@  Q @ }© - `@@@@@(subset_1 @@  a@!@|7q  ש(@ C<*J xΐ@@@@@(subset_2 @@ 40 y1@  -ݩ @@@@@'empty_1 @@F@ 4*vK@ R+@@@@@1*is_empty_1 @@ WS@ Ȱ ^@ D۵ -@@@@@D*is_empty_2 @@ jf@ ڰ+ <@@@@@S%add_1 @@ yu | }@d@ 9*>1 @@@@@g%add_2 @@   @x@@@@@t%add_3 @@   @@"@@@@@(remove_1 @@   @* 2@ 5;E@ 6@@@@@(remove_2 @@   ¶@ @ COƐ@@@@@(remove_3 @@ Ͷ Զ ն@a' @@@@@+singleton_1 @@  @ˠp@ {qS X@@@@@ΠI @@  @tݠz @@@@@ܠ'union_1 @@  G @ @ [+2S Z Lܐ@@@@@'union_2 @@  ] 6@%@@@@@'union_3 @@ )% n& G-@@@@@@'inter_1 @@ 62 {3 T:@!Ʃ>@ u+,P ~@@@@@$'inter_2 @@ JF G hN@@@@@@1'inter_3 @@ WS T u[@B@)C"^e@@@@@C&diff_1 @@ ie f m@Tq@ *ID @@@@@W&diff_2 @@ }y z @ sP@@@@@f&diff_3 @@   @w@x$5@@@@@w= @@ .(kM@@80 @ 3@*Ii1 a@+ɀր>?!eC )@ I.cA@@.(k@"@A@A@ A& u@A(A%t x@,A@.A1DH @ABC@@ @@ ө Fq@V&5@䷀+@@@ A o@A@@͠(filter_1 @@  @ @@ :(l ;@@ @@堠(filter_2 @@ ( ٶ@@ ~@@ @@(filter_3 @@8 *@(@|@!'*@@ @@)for_all_1 @@.* <@:@4@ ?צۀT: © 쩚=@ E @@ ,@@#)for_all_2 @@IE W@U@  nT RZ@@ A@@8(exists_1 @@^Z l+@j@d@ 5gt0 հk@   @@ Z@@Q(exists_2 @@ws D@@ . 2!.@@ k@@b @@ T@=@ @@ x K L@@@ @A ӳ2[K@A Գq\O@ABC@@ @@ v@Ǡ_@" ԐA@@ @@*elements_1 @@Ķ@ [gTH  @@ P@@*elements_2 @@̶Ӷ@ jvc_ @@ _@@ @@ک @} @t@@ o@@ɠo @@ @_g@=9 ĩmAʐ@@k@@ࠠS @@@u}CB@@|@@@F@@@@@K@@a@K`@A@@R~@@_@R~^@A@AB@;7$@8@7 @␠@@@ߠ* @Ґ@@@@栠ѐ @@ʐ@@@@ɐ @@Ð@@@@ @@@@@@5 @@@@@@@@@ @@@@@@@j @@x7p@@@G @@nc@@@@N& @b@US@@@@VА @M@]H@@@@^k @;@76@@@@f W @'@@@@@n > @@' @@@v @@@@@@} @@@@@@ @@@@@@b @@@@@@ @@@@@@; @@ @@@@ @@@@@@  @@@@@@  @@@@@@ː @@@@@@ @@ߐ@@@@Ġ @@ݐ@@@@ˠ @@ܐ@@@@Ҡ @@͐@@@٠  @@Ȑ@@@@ࠠ  @@ǐ@@@@砠  @@Ő@@@@ @@@@@ @@@@@@  @@@@@j @@@@@  @@@@@@ǐ @@@@@@ @@@@@@ @@w@@@@&v @@uk@@@@-j @@ic@@@@4b @@aV@@@@;U @@TM@@@@BL @@K<@@@@I; @@:3@@@@P2 @@1'@@@@W& @@%@@@@^ @@@@@@e @@@@@@l @@@@@@s @@@@@@z @@ꐠ@@@@ @@ސ@@@@ݐ @@Ր@@@@Ԑ @@ɐ@@@@ @@@@@@ @@@@@@ @@@@@@ @@@@@@ @@@@@@ @@@@@@ @@@@@@Ǡ @@x@@@@Πw @@vp@@@@ՠo @@nf@@@@ܠ @@eBA?@@㠠M @@1"@!@@ꠠ @@ @@@  @@ @@@ @@@@@ @@䐠@@@ @@֐@@@ Ր @@Đ@@@Ð @@@$@@А @@@@@" @@@@@) @@@@@0 @@@@@7 @@~v@@@> @@uf@@@E @@e\@@@L@[@@X@ @w)@`'p@"@_@"#3M@@et@A@@j@A@X|@A@@@@@@G7 @@@@.ߐ@@@@@Y  @&# @A>Ɛ@@@@@i @630@BNw0u@@@@@{ @HEB@C̶ͩ`Ő@@@@@ @XUR@Dܶ%ݩp@@@@@ @heb@E ڠ@@@@@ @yvs@ F@@@@@ @@/G,"0@@@@@ˠߐ @@?H =#3$ ܩ۠@@@@@ᠠӐ @@UI62S9I:@Ƞy@@@@@Ґ @@gJHDeK[L٠x̠6@@@@@Ɛ @ӠР@zK[Wx^n_@@@@@@Ő @@Lmijql%[@@@@@* @@M{|Jm@@@@@< @ @N")M@@@@@O @@Or@6)@@@@c @0-*@P@ĩIp@@@@t @A>;@QŶ@թZlS@@@@s @ROL@Rֶݩj @@g@@c @b_\@ S@ l\rq@@@@@e @vsp@ T m&@@@@@g @@ -U + ! ĩ8i0 @> @@!Hc.@&ProperL@  -6  / 8 0< O @@@!AviA;@ MA@AB@@& @@!fd N F e%@@@@A@@" @Р͠@!we/ V'@@@@  @ޠ۠@!f=@  ʩn   "@@6@@" @@!gN@  u  w  @@G@@3 @@!h_@ , ٩ .      @@@[@A|Aۓό^@@\@ABC@@M @@!iy@@@@[  @(%"@!j    '@@i@@k  @852@!k @@w@@y @FC@@!l `@@@@ @TQN@!m    @@@@ @da^@" nð   Q ɐ@@@@a@A@ Ac@@ABC@@ @zwt@"!oٰ  @@@@@@ABC@@ @@"2p @@@@@̠ @@"@q! f  \ @@  @@@@@ޠ @ - @Ϡ@@@@͐ @,@6 >@@WƠʠǠ@@6@@Ɛ @C@;,{[:@@++-2ޠ@@M@@ @ n S0@E@@`@@2 @@"r^Y ,    m s@@X@@D @ @"sp      Z@@@f@ A!s̓P@ A!t Q@ABC@@_y @x  n@-@  @   !>!Fՠ z PO=:7@@%@@{, @HEB@"tH u " b     V@@G@@ @W a@H1 @  @ f  @ ̩ ̠ nW!x p Inkh@@@@ @yvs@# uذy1 R@@t@@ @< ]@0p@@. $ @ 1 ' @   j- k uޠ@@@@ؠ @@#Lv c4 ,  ] (@@@@蠠 @ p  3%@ q@\ <R =@ $_ ?U @@ ' ' @[ A ȠŠ@@@@ @ӠР@#zw2 . @@@@ @- 9 +Q@D6@ h~ i@ P k l@ S S 8 9 ϐ@@0@@2u @@#x^    k   m @@@@Dg @]  (@sbO@  @   @  5 6 ^$!@@ @@b> @/,)@#yĶ@ Zj@ö  @ © ؠ@@@@x @EB?@#z r@ڰ u b"V@ wD Զ ն@   "hI"c@@@@A@S@@@ABCD@@  @jgd@${;@ 9 @ ة :@@@@@@@@"@%Facts$$ ѱ  @$ @$ @   Đ @@@   @   @@@@ Ƞ  @@  @@@@ Ϡ  @@  @@@@ ֠  @@  @@@@ ݠ @@  @@@@ @ @@@@@K@  @A@@R~@  @A@AB ~Ґ @ @ #K@J#7@A@ @@@@#.$X @@ f#% ^@@@#5ِ @@ \ Q@@@@#<# @ P@ C"֠ B@@@@#H" @ ?@ O :) 4@@@@#Ta @ 1@ - ,5 $@@@@#`Q @ !@ "4A @@@@#l< @ @ %!M @ @@#x @@  @@@@# @@  @@@@#  @@  @@@@#d @@  @@@@# @@  @@@@#= @@  @@@@# @@  @@@@# @@  @@@@# @@  @@@@#͐ @ @ 󐑠!D @@@@#àȐ @@  吠@@@@#ʠ @@  㐠@@@@#Ѡ  @@  ␠@@@@#ؠ! @@  Ӑ @@@#ߠĐ @@  ΐ@@@@#栠 @@  ͐@@@@# @@  ː@@@@#  @@  @ @@#  @@  @@@@$ @@  @ @@$  p @@  @ @@$  @@  @@@@$͐ @@  @@@@$Ő @@  @@@@$% @@  }@@@@$, | @@ { q@@@@$3 p @@ o i@@@@$: h @@ g \@@@@$A [ @@ Z S@@@@$H R @@ Q B@@@@$O A @@ @ 9@@@@$V 8 @@ 7 -@@@@$] , @@ + !@@@@$d  @@  @@@@$k  @@  @@@@$r  @@  @@@@$y  @@  @@@@$  @@  @@@@$  @@  䐠@@@@$  @@  ې@@@@$ ڐ @@  ϐ@@@@$ @@  Ȑ@@@@$ ǐ @@  @@@@$  @@  @@@@$  @@  @@@@$  @@  @@@@$  @@  @@@@$Ơ  @@  @@@@$͠  @@  ~@@@@$Ԡ } @@ | v@@@@$۠ u @@ t l@@@@$⠠ @@ k H G E@@$頠S @@ 7 (@ '@@$ # @@ " @@@$  @@  @@@$  @@  @@@%  @@  ꐠ@@@%   @@  ܐ@@@% ې @@  ʐ@#@@% ɐ @@  @*@@%!֐ @@  @ @@%( @@  @ @@%/  @@  @@@%6  @@  @@@%= @@  |@@@%D @@ { l@ @@%K @@ k b@ @@%R@ a@@@@@K@ ^@A@@R~@ \@A@AB@ @ @J:@@@@9) @C&@@@@@@C  @M&A@@@@@M @W&B@@@@@W @a&Cڐ@@@@@aܐ @k&DԐ@@@@@kː @u&Eΐ@@@@@u @&Fǐ@@@@@ @&G@@@@@ @&H@@@@@ @'I@@@@@| @'J@@@@@g @'K@@@@@^ @'#L@@@@@N @'-M@@@@@Š@ @'7N@@@@@Ϡ1 @'AO~@@@@٠ @w'KPt@@@@㠠 @p'UQm@@"@@ې @i'_Rf@@@@Ő @c'iS`@@@@@ @ Y'sTV@@@@@  @S'}U^Z{aqbϰPm@ Ҁ_O@@@@@# @-O'VL@@@@@- @7F'W|6Cj$@@@@@@ @JC'X@@@@@@J @T:'Y R7<@@@@@X @b7'Z4@@@@@b @l-'[*@@@@@l @v$'\!@@@@@v @']Ŷ̩9~ߩpj  @@w@@s @'^@@@@j @ (_@@]@@R @( `@@g@@L @(a@@@@. @(!b@@@@# @(+c@@@@à @(5dϐ@@@@͠ @(?eȐ@@@@נ @(IfĐ@@@@ᠠې @(Sg@@@@렠А @(]h@@@@ @(gi@@@@ @ (qj@@@@  @({k@@@@ @(l@@@@ @'(m@@%@@' @1(n@@@@1 @;(o@@@@;x @E~(p{@@@@@Ep @Oz(qw@@@@@O[ @q@o;\m@@@[7 @G@6@j+lf@@@k) @W@4ɸ@c|_@@@{ @"@\Z@@@ @X(rU@@@@ @P)sM@@G@@ @V@6}@>7@Y@@` @5)!t2@@s@@H @;@t~@@,5"@@@ˠ @ )=u@@@@ՠ @Wx@*8ŀ@@@@砠ѐ @)Yv @@@@ @ y<@E@ @@@ @ )uw@@ @@  @&2$@&u@x @@@b @))x@@@@)L @B @vԀ@吐9<ܐ@@@; @E)yא@@z@@Eܐ @O)zː@@@@O @Y){@@@@Y@@@@(@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@@AcAihg@A.0TQ+Ring_theory+setoid_ring#Coq@@BA.U>[J @S@ABCDqE@/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   @0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C0&BinInt&ZArith#Coq@0BpHޞun^)BinIntDef&ZArith#Coq@0ådR4Tuy'BinList+setoid_ring#Coq@0Au&BinNat&NArith#Coq@0K11ڤs+Π)BinNatDef&NArith#Coq@03@1O,[{ 'BinNums'Numbers#Coq@0dmk(5Ju<&BinPos&PArith#Coq@0vyػ0= u)BinPosDef&PArith#Coq@0}H d.%,b$Bool#Coq@0j 2cZ`FW'Bvector$Bool#Coq@0,rO3^~*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1+Compare_dec%Arith#Coq@0jXF 8   @0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ01 1@0kO!Z7+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;ꮹ00^s h@ >Eb 驠)Factorial%Arith#Coq@0@oehJd#Fin'Vectors#Coq@0r'gް؅/׸-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh.+InitialRing+setoid_ring#Coq@0k/T=cN"Le%Arith#Coq@0d}Omq+$List%Lists#Coq@0>I+ListTactics%Lists#Coq@0,Jcy{0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ%Minus%Arith#Coq@0LFtR"0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$Mult%Arith#Coq@0햖Qyb0$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ&NArith#Coq@0S22b%&*NArithRing+setoid_ring#Coq@0_ .Ys!Р'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠$Ndec&NArith#Coq@0${IէQ<^렠'Ndigits&NArith#Coq@0@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`&i7rHȠ76@*{9D{(@@6@&eq_dec5$ӹ@*à2 Q@@@@#_117@* tA@@@@@@@@@@@#_122M접(HasEqDec@#0#_13'`o@B@@@7472@*t2 Q@@A@#_327@*4fA@@@@@@@+D@A*@A@@@@#_332M접8 @*4fː#_34'`o@8@*4fD@@@@@***+@*2 Q@@A@#_3580@* nBA@@@@@@@@@@@#_362M접8@@* nB␐#_37'`o@8J@* nBB@@@*ؠ*@*2 Q@@A@#_388_@*#6A@@@@@@@@@@@#_392M접8o@*#6#_40'`o@8y@*#6B@@@++@*2 Q@@A@#_418@* |A@@@@@@@@@@@#_422M접8@* |ݐ#_43'`o@8@* |B@@@+6+9@*Π2 Q@@A@#_448@* A@@@@@@@@@@@#_452M접8@* #_46'`o@8@* B@@@+e+h@*2 Q@@A@#_478@*)HA@@@@@@@@@@#_482M접8@*)Hꐐ#_49'`o@9@+)HA@@+@*2 Q@@A@#_509@*!7A@@@@@@@@@@#_512M접9%@+ !7Ő#_52'`o@9/@+!7A@@+@+2 Q@@A@#_539@@+ tA@@@@@@@@@@@#_542M접9P@+t#_55'`o@9Z@+&tB@@@+᠐+@+2 Q@@A@#_569o@+$+9ZA@@@@@@@@@@@@#_572M접9@+5+9Z#_58'`o@9@+?+9ZC@@@@,,,@++2 Q@@A@#_599@+6.b}A@@@@@@@,D@A,@A@@@@#_602M접9@+Q.b}#_61'`o@9@+[.b}D@@@@@,X,T,W,@+Z2 Q@@A@#_629@+e'DYA@@@@@@@@@@@@#_632M접9@+v'DY#_64'`o@:@+'DYC@@@@,,,@+o2 Q@@A@#_65:@+z4\lA@@@@@@@-,D@A-'@A@@@@#_662M접:4@+4\l#_67'`o@:>@+4\lD@@@@@,Π,ʠ,͠-,@+2 Q@@A@#_68:[@+cA@@@@@@@@@@@@#_692M접:l@+c#_70'`o@:v@+cC@@@@---@+2 Q@@A@#_71:@+92iA@@@@@@@@@@@@#_722M접:@+92i#_73'`o@:@+92iC@@@@-9-<-8@+Ԡ2 Q@@A@#_74:@+2A@@@@@@@@@@@@#_752M접:@+2֐#_76'`o@:@+2C@@@@-m-p-l@+2 Q@@A@#_80:@+:{EA@@@@@@@@+D@A@@@@#_812M접;@,:{E#_82'`o@;@,:{ED@@.function_scope@@--A,@+2 Q@@A@#_83;6@,5A@@@@@@@,:C@A@@@@#_842M접;L@,5Đ#_85'`o@;V@,#5C@=@@-栐A,V@,2 Q@@A@#_86;o@,UA@@@@@@@,sC@A@@@@#_872M접;@,1U#_88'`o@;@,;UC@v@@.A,@,,2 Q@@A@#_89;@,7A@@@@@@@@@@@#_902M접;@,G䐐#_91'`o@;@,QB@@@.P.L@'set_iffF@@@@@AA@;@-+9Z@<./theories/FSets/FSetFacts.v!!+2@@@@@@@@A@;@-v'DY@!!>H@@@@@@@@A*@< @-t@)!!Ta@@@@@@@@A>@<@-lc@=bbox@@@@@@@@AR@<2@-f92i@Qbb@@@@@@@@Af@@-%*$_133'`o@> @-%*C@@@@000@-2 Q@@A@$_134>&@-qA@@@@@@@@@@@@$_1352M접>7@.q$_136'`o@>A@.qC@@@@0Р0Ӡ0@. 2 Q@@A@$_137>Z@.'A@@@@@@@@@@@@$_1382M접>k@.)'$_139'`o@>u@.3'C@@@@111@.-2 Q@@A@$_140>@.8-.@.H-.<$_142'`o@>@.R-.@.J=6A@@@@@@@@/‘D@A@@@@$_1472M접>@.a=6$_148'`o@>@.k=6D@@Ơ@@1o1kA/@.j2 Q@@A@$_149>@.u A@@@@@@@/C@A@@@@$_1502M접?@. ݐ$_151'`o@?@. C@@@1A0@.2 Q@@A@$_152?4@.2A@@@@@@@08C@A@@@@$_1532M접?J@.2Ɛ$_154'`o@?T@.2C@;@@1䠐A0T@.2 Q@@J@$_155?m@. A@@@@@@@@@$_1562M접$_157'`o@@@@$_15846@-"@.~@@@@#$_159X@3typeclass_instances.@@@?v.א@@@@C.>?@ #Coq.FSets.FSetFacts.WFacts_fun#<>#1,q@.Ҡ2 Q@@J@$_160?@.7*J A@@@@@@@@@$_1612M접$_162'`o@@@@$_16346@PL@$_164X@K/#@@@>X/@@J</??@ #Coq.FSets.FSetFacts.WFacts_fun#<>#2,q@/2 Q@@J@$_165@@/ #NA@@@@@@,C@A,@A@"x0F@A"y0@A@@@@$_1662M접(*$_167'`o@0@@@$_16846@-'@9$_169X@/J@@@3V@2ݚ@/J3c@2 3I/Y222쐑2萠<@@Рy/?@~@ #Coq.FSets.FSetFacts.WFacts_fun#<>#3,q@/V2 Q@@J@$_170@@/a ~A@@@@@@-=C@A-@@A@@@@$_1712M접$_172'`o@"@@@$_17346@x'@*$_174X@&/@@@3P6h@/3\6t@338@6@27@@Be/@@@ #Coq.FSets.FSetFacts.WFacts_fun#<>#4,q@/2 Q@@J@$_175@@/z=A@@@@@@-C@A-@A@@@@$_1762M접$_177'`o@"@@@$_17846@@*$_179X@03@@@3夐0.3퐑3o33&(@@V0 @qAS@ #Coq.FSets.FSetFacts.WFacts_fun#<>#5,q@02 Q@@J@$_180Aa@0 VA@@@@@@.C@A.@A@[F@AZ@A@@@@$_1812M접&($_182'`o@.@@@$_18346@Y@6$_184X@0@@@4@457M@04@4E7]@404T7l@340@7y@42N@@:0AA@ #Coq.FSets.FSetFacts.WFacts_fun#<>#6,q@02 Q@@J@$_185A@0ZA@@@@@@.C@A.@A@@@@@$_1862M접$_187'`o@#@@@$_18846@@+$_189X@1,@@@5841*5C4ɐ5(4q4.@@]0ApBR@ #Coq.FSets.FSetFacts.WFacts_fun#<>#7,q@0۠2 Q@@J@$_190B`@0 A@@@@@@/C@A/@A@ZF@AY@A@@@@@$_1912M접')$_192'`o@/@@@$_19346@Y@7$_194X@1@@@5@555815@5D5G515R5U444{D@@01^AB@ #Coq.FSets.FSetFacts.WFacts_fun#<>#8,q@1I2 Q@@J@$_195B@1T15A@@@@@@/C@A/@A@摐F@A@A@@@@@$_1962M접')$_197'`o@/@@@$_19846@@7$_199X@2.@@@6:@55Ĥ206I@5А5Ӑ622B5ސ5ᐑ554ҐD@@1BCj@ #Coq.FSets.FSetFacts.WFacts_fun#<>#9,q@12 Q@@J@$_200Cx@1%*A@@@@@@0)C@A0,@A@rF@Aq@A@@@@@$_2012M접')$_202'`o@/@@@$_20346@q @7$_204X@2@@@6I@6M6P26X@6\6_626j6m665,D@@H2BCC@ $Coq.FSets.FSetFacts.WFacts_fun#<>#10-@282 Q@@J@$_205D@2CqA@@@@@@0C@A0@A@F@A@A@@@@@$_2062M접')$_207'`o@/@@@$_20846@@7$_209X@3F@@@6ո@6ِ6ܤ3H6@6萑6됑63Z66665D@@Ԡ2CD@ $Coq.FSets.FSetFacts.WFacts_fun#<>#11-@22 Q@@J@$_210D@2'*A@@@@@@1AC@A1D@A@F@A@A@@@@@$_2112M접')$_212'`o@/@@@$_21346@8@7$_214X@73@@@7a@7e7h37p@7t7w73777*7-6D@@`37D,E@ $Coq.FSets.FSetFacts.WFacts_fun#<>#12-@302 Q@@J@$_215E@3;)A@@@@@@1͑C@A1Б@A@F@A@A@@@@$_2162M접&($_217'`o@.@@@$_21846@Ð@6$_219X@’4]@@@7@74\7@774k8*777;@@⠒u3DE@ $Coq.FSets.FSetFacts.WFacts_fun#<>#13-@32 Q@@J@$_220E@3yOA@@@@@@2OC@A2R@A@F@A@A@@@@$_2212M접&($_222'`o@.@@@$_22346@E@6$_224X@D4@@@8n@8r;@48~@8;@8+48;@8:8m@;@8%N@@w4+ECF%@ $Coq.FSets.FSetFacts.WFacts_fun#<>#14-@42 Q@@J@$_225F3@4%8A@@@@@@2䑐C@A2@A@-F@A,@A@@@@$_2262M접&($_227'`o@.@@@$_22846@+ڐ@6$_229X@ْ5t@@@9@9<@5w9@9@8Ϥ9@#15-@42 Q@@A@$_230F@4viA@@@@@@9C@AEg@A@@@@$_2312M접$_232'`o@"A@@E@42 Q@@A@$_233F@45A@@@@@@9DG@A9:@A4ϑE@A@@E@A@@@@$_2342M접(*$_235'`o@0E@@@@@@EREOER5 5@42 Q@@J@$_236GH@40O@@@@$_2372M접 @$_238'`o@@@@$_23946@4@@@$_240X@Ւ5@@@55@@Ԡ;5FG@ $Coq.FSets.FSetFacts.WFacts_fun#<>#16-@52 Q@@H@$_241G@5 0@!xC@AF.@A@@@@$_2422M접Ǡ$_243'`o@ @@@$_24446@5%T@)$_245X@(51@@5W5V@@&F5GFG@ $Coq.FSets.FSetFacts.WFacts_fun#<>#17-@562 Q@@@$_246G@5@"f蠠@RDG@A!y@A!zE@A@@F@A@@@@$_2472M접)頠$_248'`o@/@@@$_24946@5h@8$_250X@5t@@55@@U5GSH5@ $Coq.FSets.FSetFacts.WFacts_fun#<>#18-@5y2 Q@@@$_251HB@53ӤI@@@@$_2522M접 @$_253'`o@@@@$_25446@5@$_255X@Β5@@@55@@͠:5GH{@ $Coq.FSets.FSetFacts.WFacts_fun#<>#19-@52 Q@@J@$_256H@5P6A@@@@@@5:C@A5=@A@FG@A@A@@@@@$_2572M접(*$_258'`o@0@@@$_25946@A@@:$_260X@ 37A@@;ڸ@;a7;@;m;̤7;x;5;k;@@ Sy6HI@ $Coq.FSets.FSetFacts.WFacts_fun#<>#20-"@52 Q@@J@$_261I@66WCA@@@@@@5C@A5âF@A@@G@A@@@@$_2622M접"$$_263'`o@*@@@$_26446@ ݐ@2$_265X@ 65@@@Go65Gw 5;됑; ;x56@3@@ ɠi6eHIw@ $Coq.FSets.FSetFacts.WFacts_fun#<>#21-#@652 Q@@@@$_266I@6@ 2fv@65C@A68F@A@@H+@A@@@@$_2672M접!u$_268'`o@'C@@@@G͠GР6V@6 2 Q@@J@$_269I@6 lXsA@@@@@@6tC@A6w@A@ FH@A @A@Hu @A@@@@$_2702M접-/$_271'`o@5@@@$_27246@ @=$_273X@ p6@@@I@H8H;6I@HGHJ9\7 <<#22-$@6z2 Q@@@$_274JT@6+F@7C@A7@A@ MFH@A M@A@I @A@@@@$_2752M접,$_276'`o@2F@@@@@@@JaJd9Š=="<@62 Q@@J@$_277J@69A@@@@@@7ZC@A7]@A@ FH@A @A@I[ @A@@@@$_2782M접-/$_279'`o@5@@@$_28046@ @=$_281X@ V7@@@J˸@II!7Jڸ@I-I0:B7===.=16D@@ 7JKK-@ $Coq.FSets.FSetFacts.WFacts_fun#<>#23-%@62 Q@@@$_282K:@7'D@7ꐐC@A7@A@ 3FH@A 3@A@I @A@@@@$_2832M접,$_284'`o@2F@@@@@@@KGKJ:>>=@72 Q@@J@$_285K@7 )A@@@@@@8@CH@A8D@A@ F @A @A@JA@A@@@@$_2862M접-/$_287'`o@5@@@$_28846@ h@=$_289X@ <8@@@J@JJ8J@JJ98>>>>7D@@ e7K1L@ $Coq.FSets.FSetFacts.WFacts_fun#<>#24-&@72 Q@@@$_290L @7c8@8ТCH@A8ԑ@A@ F @A @A@Jѐ@A@@@@$_2912M접,$_292'`o@2F@@@@@@@J|J9ꠐ>렐>>x@72 Q@@J@$_293Lu@7'nA@@@@@@9&CH@A9*@A@ pF @A o@A@K'@A@@@@$_2942M접-/$_295'`o@5@@@$_29646@ tN@=$_297X@ "9@@@J@JꐑJ9J@JJ:g9?m?p>>8D@@ K8*LL@ $Coq.FSets.FSetFacts.WFacts_fun#<>#25-'@82 Q@@@$_298M@8#92@9CH@A9@A@ F @A @A@K@A@@@@$_2992M접,$_300'`o@2F@@@@@@@KbKe:Р?Ѡ?Ԡ?^@842 Q@@J@$_301M[@8?A@@@@@@: CH@A:@A@ VF @A U@A@L @A@@@@$_3022M접-/$_303'`o@5@@@$_30446@ Z4@=$_305X@:@@@K̸@KʐKӤ:K۸@KِK␑;M:@S@V:@^@a ?됑?8O@@<8MM@ $Coq.FSets.FSetFacts.WFacts_fun#<>#26-(@82 Q@@s@$_306M@82r@:CH@A:@A@ F @A @A@L@A@@@@$_3072M접,$_308'`o@2F@@@@@@@LSLV;@ @Š;@82 Q@@A@$_309NL@8>ZA@@@@@@?OB@A@AIE@A@@A@@@@@$_3102M접"$$_311'`o@*EZ@@@@@A8㠐LL렐8@8 2 Q@@A@$_312N@8:wA@@@@@@?C@A8ґD@A@@AG@A@@A@@@@@$_3132M접)+$_314'`o@1G@@@@@AA99AMFMC92@8̠2 Q@@A@$_315N@8 A@@@@@@?BG@A@A뢐E@AA5@A@M@A@@@@$_3162M접(*$_317'`o@0E@@@@@A9MLMI=@@8rHȠ8@3@3O@8N@A@O83@@@K@8N/@8w@K8v@A@@R~@N3@8u@R~8t@A@AB@NY3@@@K@ N:@8@K8@A@@R~@N>@8@R~8@A@AB@AB+BrHȠ!3"@+AOa+JN4@A3'N5@B@OZ3)@@@K@"8@A@@R~@8@A@AB@Nv3/@@@K@8@A@@R~@8@A@AB@AB@@;yD.5[l}K@ 7]eLxQ)}t@m#؂r@hsW}@H2߉YejMyϴ$!sA!M)FSetFacts%FSets#Coq@@!t)"!x@#elt)!y!H@!E@"eq%Q~BA%Logic$Init)@#andЖw@A@8@"In)'CD E@   I@$In_1)hV)(+5@&eq_sym5$f21][MK4@(:;8@C @)Datatypes>@$boolZ'@r@#mem)øR:A@ H @%mem_1*^a@%mem_2*_g%lemmaj@#iffС)<)Morphisms'Classes@=trans_co_eq_inv_impl_morphism&ni$A/RelationClasses @.iff_Transitive*z@#notШ9Y.Morphisms_Prop@0not_iff_morphism ZEcc^U_B.@/eq_proper_proxy)f) *WFacts_fun@'mem_iff nBȐ!b_uu@@@@@@@@D |P5r&Š@?||~0@Ȑ"H0Aܐܛ@%Falsee@@)False_induُ#$Bool@/diff_false_true . @.absurd_eq_true!b@ Xj C-C@@԰qְss@!?w$G +@C?CGE"s'H @L@%Equal*U,멚T@%equal*z4@ 9`@'equal_1%!@f@'equal_2%"Fpn)oG@s@&Subset6iS{@&subset;ɀ'@  _ ,@(subset_10OWf@(subset_20OXll@`r@%empty* @@h{ @'empty_1"& @@%Empty*Ug VQ@(is_empty]kH@`[ L@*is_empty_1*ɀɩ@*is_empty_2*ʀϐ÷ĩ@@)singletonaҀ!@Ʃ @+singleton_1%ǩ@+singleton_2% ͐@àթ@#add)@"or @*ƶ@ ֠ѩؠȐ"s0@&eq_dec5$ӹ&Specif@'sumbool7̂K@ u  BAAAA@@@@@D3SU@<7F c*CA #1JBQ@%add_3*10>MUBAAAA@@@@@D@_+:Id@%add_1*(+,CQ'l@%add_2*vtfd_e]QO@k:@7E+.?@Xsqlr[@Oa@&remove;h5eN_@o^q[qWh@(remove_3?Sé@(remove_1=hklCwBBB@@@@D@&}x.pu @(remove_2>ȷ@9@4SԷշũ@@%union*Ҁߠd@© ,@'union_19 @Π@'union_29 @'union_39  @ՠ穚@%inter*π3@2 ]@'inter_1!]̀թ$@'inter_2!]΀۷@ 93@'inter_3!]π␑=;<.,@ C@$diff)5l@@+9+V@&diff_19^l2 \@&diff_29^l3H@-($+@O%q5m@&diff_39^l4wuge!f@ia*SetoidList%Listsz@+compat_bool!!|j@~%Qndc@WR@&filter9QR72]]$@h>9|*ked~b@(filter_1Impq@(filter_2J @"x*}w"H1_ZL@(filter_3KGϷYWV@@'For_all?YZ˩{vg~y@'for_all6zo@ tsݩy@)for_all_1(@)for_all_2(@@&Exists4d1@'exists_b@ ,@(exists_1ـǩ@(exists_2ڀ͐)'@̩@#InA q9@ 4@(elements-šT@ ~>@*elements_1 D@*elements_2 $NL><7=53vuy@ q@Ơ%@Π-H0*,IG0  @ࠩ?9@W@꠩IK" F^2"H12"H2/g@'and_ind14ۀж@@c/J"H3"H4@m Kж@s?@vL"H5@é~M'ж@N@  ѷ: "H6@  O=>۩AP3o8RQQS/u#TUb`V^\WVRXPN`ж@J@HE@Cg@:qA75n15p/_,c+*x. E͠' B&Р*"FC 204@|ݶ@@Pж@@@|y-}usoipfd1;=xetagB<wZ_t8`dW[=G(W&% '$UTPVS ~,@)In_eq_iff4fˀ DJ@͠,'b@Ҡ1+ .ETڠmxݠж@s@t@7@yE?ж@@Kk@P#U!wZWWo|(6d&%d'" ж@$k@lj@oif~@)empty_iff)Hڠ@$YTKE@*_ZQK@0RǠqlg^mj@#orbB@@@@@AŠƠ3~@p@#xà!e@^.0@@eĠ2}7 l50Ω15@}D,@%@Q c71:4ж@>@?Ʃ7Ӱ@G?ж@N '@Qж@LG/ @L4X!]@!^akթ(ercK?@&or_ind"T7>zn=]^\V9cWK X^@O Ʒ Ct[Yn@_vyܩhZ>l44&!q nqr~+$ж@@XS-@- !1w o=>@,hc@m@2Iq'6._S roca:df,We@@h|ɶ@©/=ܠ޷ rӷx۩ ߷qש~ж@es@X ӷg©I+H(FYᰩ BCE@OEhiɐM @ P;]@=F? (  E .PCQMA[9B@  ^ϷЩ>7D;@ (MD@5r8K3>qr; q,ީKݩ}Jf[{ RQm"baFIJ!nX$&@@@0+Vn/1@@@;6_̠(y{ywvE@0 z rmn lkc l[)W[+V(RNI~J,GA%~4@E.Ȑ"H76#:JL-@?2 $3%A٠4[ܠr<Mh<4gYTJ.K 1ZS/."JZ2L-Y8M] @i,©k+U))$3 G_6}m̩~sDmfFA3"{t0.2@@@ө@NN ) ,tϩV8UƩ5R.-lm ͐@rs̐@ 3&H )f7C/"G  0RES>C];DB  ``L C@ˠgi@Ѡ#%@נ7k/ f@#eqb t=U@W@'add_iff+9Z-ywrxpd#$&@Z1,@;@394+^v7·9@@{@&GBk2%#!ж@@·% Ʒ)ж@@ {Ϸ8@r6s8o'+@ԩ9>FDB9@ж@@86F0-1)'J!T"QS1x H ] , @I@@G)ȠEhd[bCBXDVǩfIjA= tB:<q4sb/f.-{1 2ȷ:~zqx87Էn9lU|ط_WSܷXPRװEȩG@+add_neq_iff.b}А # !      *@wʰũy@q@۩nذөʠ٩@$andb=\@$negbs %bntrv@"$߶@߶@Š $ݩРީb ̩) *$ D 0  @ߠ >:@b@䠩 C^̐b   BC  \ lV_1ж@@ W#@ ][Z [Y ж@ gߩvZ@Z s$@ y**X, 0W,- X. SϷ 9 0 ,3  >  %  E ( :I  @L@ MY 1 5٠     C@a@@   sj ө YƷg`ж@z@ggY@dgF÷ [kaYǷ bNQw:Щy9c7   *BFɐ F  @0@L ֠0+_ -    C@&@@   Q =  ; ? @@ @    [   ,ͩ 45 8  < 8b Da|x E Avvt 9x  $ =qd_  ?   C@@=@   ' .[ PCYX ZW?Y  7@>  \ͷ'   5  ; :@1@  ,/ + $ ' (C@z@b@   L9     @@@  6 71  Q      @ @i@   BC   \ l ]/ O  uPN   9婷   ީ`  a2v&    ީ    @(@ t)%   8    p s tC@-@@\ T O ?6 ̷ 1b* /˷!ȩ.   "2(   )>@*    R BC "]DU &Z  X8MB2      C@@@  z a v {   }@s@@p    &v Š i g`gf ehWbd  Xh^V  _KNtNvJc- s,GqC  ʷAAx^  hihaY+ak\a   I  C      C@@ @   *C@)@@   T0C@     @@ p l Ű h \  ^@*remove_iff'DY ސ : 8 * ( # ) !  b  ` d ׶@  թ   Ͷ@@      % s!  q u @ ! k@*@  0 ` Š iзж@ n@ o o֩ s mж@ 3Ʃ@ |@ȩ   l } w 7 : ;  : G7ж@& L@ M M Q ޷ԩ! U"a`^  \.Y ]X V V  R U V h -   /@G@@E s CW A@ B  ?; @:  & {  zک +  r u v ;,̷(p&98 :ǩ*  ˷ ȩ.XT 8YS      / v @.remove_neq_iff4\l ~          @ B   @ z u l f@ K   !   ~ u  :  Р"  @$ w@ * ɠ      @ b  @ f Š  $5     ۠  p%   s>xж@ @  ֠D 5 @ " ݠ <ж@ @  F 0  @   M 1   + ; , z W 6    T  =/ж@= @ - @ )%"  && I  +B     lj  j n @T@Q $ 3I UGED \F?:7 ` ;;2 ^ _ \ fh3 a #  m G ^_ +  [ t B f * B O6 qc43 552VS 9 WWN 7 4 LC@ ߠ      @          Z @-singleton_ifft b   E  } {    '   )@   3 . %  @  ]@ F < 7 .H (@  l f  A2 G B 9 ۠ m >K   A J շ  L@ !  z  Y T K E@2@ +K@ .  àEc f a Xe  V   : h   j@ ?    @@ Fx @ I  ޠb  |   ̩ R1  ]`v\)Zж@ @   MWVT@  \ KTiHȷ Lmж@F @ Aη ?@ =tж@ ѠK / C=@ H ٠H 7߷ P@  ߠF =  )G A D /L  B:w fu G :  o < 6 7Y  \ b @b  `fȐ"H8   p] s #@ v r +R Y  y^tk'1 i cZ j C D.&! :b$ %d < a  $ ! $ J Р 1 n۷ж@ 7@ 8~ζ@ ;z3 Y42vu ~wtsmtg  g}   R  B_ a@W R OPe ) E [  l@k ]   b _  i  mj8^[ _  T g _    h e h  @ ˷  B@ض@@  K z@ө O J p  η  ) , ( & ͷ Ʃ *~   } .ж@  @    @  5 ?· < > -  1fƷ H 5 "   D j   B @JC C   A @  R E$K `  M :C     * +-   (      i l h5 f \ Z j I  M n@? A >> r |B y < 1 { . Y 7     ̐ ˰ - @  ۠ . 9ط 3 ِ ΰ 2 @ 9  8 D\ d !   C "ZNܷ [  Y FG  v  i e -  7  W N  o?  < 3 j    [   Y ] ж@@ P@|@z ۰ ul z  g  e i ܶ@r@@@m@k  #2f T c  ڷ  dc e ^ D ^<E C YX aZ W VP WJ FJ E  * q  B=  > M < 4P , x r  =50.$$     W   { |8P u  858^         p hq o    | v  `U+  Y      U}wwWs `  r-  p g    hLx  v m s m Q}|   dad < Ƿ >@Զ@@@ͩIDjȷ  ŷ &  "  Ƿ  $   (   , 6 3 5 $   ( ]  ? , I #: O    3 H  5  R #,C    {z-   y   U Ϸ Q Owv Ex Cu S ַ 6ԩ W)( * '' [ e+ b c ͐   ϶@  é  ©Ơ & ض@ ʩɠ ) '% 8 3 +55@)union_iffc 86:@  @@@   " }ð ]  |QOSƶ@ % hӰΩ@ @z@ xݰةϠ ܩ 4'wk,im@  ? kf@ %@v@ t 41@Ơ+jd ѷ   % ж@p@q,  Wt  ɶ@y4 ѩ _u  1  W 2  0 ts|u r ж@B  m q@ pH  s  @ N  y  o T     V   n j - kWz      ԩ  oi"H9X ꐩzmpPora@u@bsv XNOIZ  ror ) , B (} &ж@g@XZUf  @U /      3 Ƿ ĩ 7RM ASH >   @       ڷ p GG@@ \   E  U T, ^ L  PA  @@ ƶ@D@Π l o  k i  a _ o  N ķ R © sED F CC w G ~  o  s ;  /  x  e% 7 U V~sWs Xs,C$ U o)     mlŰb4 p k   x  |  on 8p mm  q  k `  ]  fH!" 5 Y  &@ ;@ _  ^ 7 6KUG ~  omq@@ d@@,z;x|@@ S@@ 7Fh w   )      Z tR [  Y on wp m   \   @    S   T@c V UKg ѷ P% &ܵ]!,JC$b JGJpط    S թ.)4 ٷ ԩ   |       %  &  t  l   id?J heh@˷B@b@ @@]MHnrY ʷ +  '| %WVWRB  Z R +      /   3NI =O D :D <@ +  / = <   F  4    # P . w. x.s+cC# *  T η P N('{3 F+ D& T   ׷ 7 թ X*) + (( \wr fx ,m c d   Ѷ@ "@ ĩà #  O 4/ 11@)inter_iff92i   426@~  @@~@ߩ   p ° \  }SQUȶ@  jհЩ@ @|@  ߩݩԠ , ҩ $r7pt@ rm@ ,@}@Ġ#͠ > ߩ:JР3tn ۷   - ж@z@{6 -~|  Ѷ@< ٩3}  9 _ :  8 |{} z ж@J ĩA # Ր @ Zڐ ũV ũM &  Ͷ@\ éS . } b Y +  d  ȩ    {   ~j  )   nstm t_ yj@|@} p  4 C@d@ =@ V@⵷9 D G ] C Aж@{@i 9 7@f H  '  +  L ݩ Pc[ Zd S W   Y  7    &  =ǩ  bCd϶@ Ŷ@  y . 7 1C@0@ r@ @&$(@@ ۶@Y@⠵    ө ~ t r   a# ׷ e թ XW'!Y VV +  Z    1  N  4     x8 ^|M  @ h@   v [" \@:qC@ٶ@ @ /@(uJ   4   sr t q   2    W   Է      |  g@A T6 .:9@ Z@+ }"  UMNPO  26sJt  / 9  => .-r 19 NumwSSCybE <  RK  ة Ґ ZR KV  T K@    b\ ]_mmURUC@ȶ@ @ @\(13@k@ @߶@c>9\ cY|=ȷ?@X@ @ж@SJEkL Ƿ(>$w"JIKE&  ŷ   *ɷ .A9ͷ8B 1517-& * *7 &ַA $// ש !"" ʠ C@t@ @f@ UkQO EC S   ַ6 ԩW'[nfeo +^b ed /' +C@*@@@ "@@ @S@ܠ~ zͩxnl|  _ RQSPP# T| +H |, z   s Kap%/R%x&]C@Ŷ@@@@a6E _^`] &@ ' %zyC{xx |l  O&%@v@ w sC@@i@D@=1 @(diff_iff2րcaSQҩР,=@"ex @XU$List@=$SG@>Reflexive_partial_app_morphism 2R,ڶ!B署@*respectful%WO?&Basics'Program@$flip$𚠐 @$impl7o@2subrelation_properJ7@# @#@9iff_iff_iff_impl_morphism8C* /,I@$unitUe@A@6subrelation_respectful>6z =))#@0subrelation_reflv 0A   22 2<+@9iff_flip_impl_subrelation2VA8Om3@6reflexive_proper_proxy5.@,@-iff_Reflexive/h@G^@Jzq@'existsb b vPsfg`k˩0 u b @j{|u +`/ o@8per_partial_app_morphismpj|i@/Equivalence_PER/;qo@/iff_equivalenceZ@@ f$ɰĩ  ̰Ma\Щ@'InA_alt+#Տ^\`Ӷ@V@۠-*!װ# @n˩  ۩ηGϩȠ3'\  8"ܩ   =D@ՠ%y@ؠZ㠩W@wk젩 WKo \ \kPI8rN[=f*aаc2 ,xl?: />},}~@@4D%& @K,-&5;S$_tmp@=ҩ/*)B+5!3ж@aBC<[Goj _%\@oPQJiU|w l;i=E@[*]&Ycd]Ѡȩ~jʩBBB@@@@D@vwpf۩}ݩ0ސ!a _@~j6  g#Ha1#Ha2YA iҰͩ  xж@yH6˰%ݰة ͠ʷJ @Suж@÷<ĩܰ(  ߠv-ܶ@зIѩʠ5)x :,Ӡ&2  +Q$ζ@%88sIϩBک igbcϐZij٩א)$st۩,m@@p[\Ґ}کz yC+:ŷ<@ar@<@4vxo%&~O @(symmetry0xj%@-iff_Symmetric!x[0.Nb@;@4@V#E@9CMIGж@7uVWP@|]^WM@1gha |@qrk אywV@u }琷 fܩж@]Y@Tж@W@ȠԷ@ `ةͰ/-(   L/0u.zW:;z4@@7t>o;@.k:@&eq_ind JGlE@$Truey@AQumSC>;޷aз=B@,elements_iff^@.existsb_exists?;O~wB+-@72)#@(#@ jة<BE@j 1HC:GB pq ةBL׷N@#|+_Զ@ @*3Cb]Md_ Qd  df@;0߶@>T@AlILB ܩ{vf N+[ WR(ZXж@@S_ESQ@OeHeж@@?J kж@ȠJqDt<@wFРJy G@ ֠EEܠCKvC%zB(**Y,  n.()  1~ E5@ @7]hM5 2,C@M@ V@K˵:Q ZwPOGQKGFKGH @ж@E~@BU@?@<|^{àVQ aR"  =gab ɷ '6 ~+:9@ ϶@-9k;;(Cs@e%()C@@ @5n@ڠ;@@ M~D ж@I@JJ@MO S~_ Skon@@`   h w m  |c~cfgC@/@ Ͷ@3! ѷw10w2/{ #sp-tm*驷, / ķ@Ƕ@. C@P@ @bd@@ !@ni  mo@ @E@zueJX 5TRHFVж@@0; +\f,c&婷eT!X ީeo5]R KL l:N  C@@ U@ #| Yxҩvljz$#%] M~ϷNHvC%zBǩ&Wt%u mn \ApB  C@A@ w@mKdIM@@Q@VʰgP7 LON@P x>8?y2p|OS@v@Ukr  C@Զ@ @gVط ׷ԩnm _o $Ϸ+#:./>=@@1+$'(C@@ @4.@*filter_iff:{E$wu] @'forallb?[/p[N@xv@yc@)$@@Zlȩ2-4/@ @ew8sy"?:>d|=ȷ?@@;T@@RM5=:@#N6Ʃ+;8.5ҷ6,ɷ=3:;1:8@ojZ Ķ@<wr1b'5G""x0ϷC(6@U@ֶ@w t@ݶ@~{}>@@vwp4T@sq-n@4iff_impl_subrelation5Dpl琷 *}@ ϰʩt 4  Ű@(eq_ind_r!2#ceXFy 3keim@@@`&V˷)ݩũà$KI@L6*QO@R<r<&T @ڠ@][@6H~}@~b`@;M5 @jh@CUũXAgc`xpaKbpOO Qt@'eq_refl~XHѷ ^C@;6$&@/{A<o,@ȶ@tn(eNI7qiC@.forallb_forall'l:@+for_all_iff5ĀiCܐķNLKJbd@9iDLsn ^@Csʷ˩NM}xhzk@K~ @X߷cG@`k_3Iנl3yo,A }s0Է{qzxZAO  Fkyf v@@4@Ơ ?:z@CJ<Ҡ),*NܰM@۠253^ Щ9<:ө(J@Y@ƠG2nILJ͠&8 ?:C A ;?WZX۠4F  A0G:4  N^<JF=Td?Z  rEf(ǰ) { !:mcoYp)]k vu57@ m@W|rطC3z|t@&@Ŷ@1@ʩV1T֩ѷ@_:Xd?^·J )@H#t˷̩On @`׷ة[z w_md^c~zpѐrpqO@nҩyuͩ2 䐷#Hb1㷐#Hb2ũ 7AJI @%˰ Q7*C@ӰmР'*(_@'3@ް__ĩs@*exists_iffU@+Equivalence~@A8C@)ReflexiveW@ C@)SymmetricFgqH@(eq_trans6T [C@*Transitive++-&t(u@o$C#{/|@*9uC"@:–C }vtrKa[\cZ^$ gaicc{  ٠ SihehC#etǩuC@&ProperL@.@214%C 87 :t+ŷƷ5bd@9 @=rm^up*su@J/2@Ni~nU۩;CeC@\#@ lb é4jhNp̩;ζSjSasN"Ha}c@@ c@$@%gېb $@,n'䩷"~y C5C@E@iD^p\`Ӷ@^ @]ް{KN\FE;)+KAH@Ƞ@g@hGWG7c <X46<0C_C@.@u0nqr-C@3@43@,is_empty_iff!7ŀCŰ@u wΩC̰}1Ðtmk:)$4!A @0and_iff_morphism Ƴ߶@@83$w @Ҷ@ϩ (, #   }: 4 @ 2, -    '&@'ީ *)C$X 4* )'    @/  "1 @,PER_morphism q$ZK\M@.eq_equivalence()'R/@*is_empty_m ~YYHH -?J$ Z,/ UA / ? -L=L@#P$Cܶݶ@JWC \;M00C5/&2bcϵ]_]ǩЩ Z4j T a O J H Ad\à1h`fYkbh٩dk 6_q 1ʩ0.2@z٠*@@RI!GK@ 7@@ :%Cж@ H@IK@N ж@ SSM@Vж@@`@y˩#k'*}rl.ke%()o5ߩՠ[6S54z61ж@8>@?4|Ķ@B/-*.''$"LK |CFG @nV@b@`yf&]xж@e_@`Z`$UZdVT QNhRKtPMoClp˩okDkgjkA!Bw=@?{A>#jg-kd}vyz}|{C 9WHN۩OC@=P @?RQTC DCVOXHIB@ >$4F2;b TR 婚O@>trans_sym_co_inv_impl_morphism'\|J\ ˠrw@@ !թַ CS@| ~\*CX  . } h${y(# ncf ;6 -P +:"uðc$"E  @/or_iff_morphism3)$5 A7@$E_ST 233 >@5Equivalence_Reflexive<U92W C שCհ@@ k Cݰ  q DD}{T    i{  $r#y &$4$/ N. 590$&8$!?  U,* P< *B@p#  .Fp=$3E1 J 7I  ީ@%Y&R "WI6o:ѠɵgQ zCC nKKlm7CItroCKvnqo#s''$s'''w zxנ5rx$nlޠ<UyXN(B , g -$#9 %vܩ$  ,  E z u!# J#@$ %! #"/ 1 C ZZvC@_ک aC elj%kRڵkniow޷ j`ߠ>Pi٩g$ҩDWomfXH[ cRd}b ~ai^]$[Z  Ϡ o 5$   %,   qYx]z z@xdy juoAq C *̩CVUCXSv+/ 20*;:2$(:&D#3 LJJU:4کBT [:Ơ _V$L^J!e!e## )Rd $%0TЩlc$YkW  ,[ m [sq.H @%&x "}ܷo\ϩe`$C C   nn3ZClCnڐ  "  # H &"y0 )1 @ ' @@ * @ , "@   1 ' ж@  w  y@    @   ੷@!   !ж@ & (@ + - /̷ @  4 :é >۩ B T<zU XҐD \OU  u멷NLGKMCݶ@c YS%@:5 _=0ש e1ԩ۩ iĩ m穷 q /  /- +C *   k   @ |  s 6p   @ 9C @  7   y   @ BC  ? yR  ɷ ʷ  ͷ ηW9 j l@ Ae@ E z uc f } x f   {   }@ Rv@ Vq Šd Zbhd _dж@ @  ][@ Ωmж@̶@ͩ zS@ѩy{k? o7  L  C   ԩ 2 y4 s \ r    t    v v   m f  x    a x h  z z   c  * ,!%!& h T@(Subset_m) ]!-Ұ!/㚠 ]@(Equal_ST7*J i!  B B f   a D   4  %# ?!ة p!@ N N  fp  d h ۶@ ^ @]! V\ж@e @ U @ Tж@W b@ cS @ fR ^ h YTR ( lQ!! ]!! M 4  LJ FBj@ . .     0!$ / 4  SQ MmI. 5 5Bxy 1 @*subset_iff کC !v! *C˰@!{ !}  1 !! <!!i 8!!  <  6!"  !$@  D @ !2!- B!!5!0!Z E{!r !3  !5@!  U @!)!}!   ! xж@ @  f @ é j%ж@ @  o Ƿ2 @  s~13 wz# ' < {q !!7-4='!6  !  3i!  !!@64F0!?$ $! 0:!pp   N!o  !q@!F< @;!U4Q:Oж@C @ 3 GE@ 2Vж@5 @ 1 b;@ 0`1b/@% U!j.! !!dZ4jT!cH-G,  !!i©_4oY!hMH2)  շtSpT Ġ!/@)equal_iff |݀mC" !   %  LC^ "" "!!!C"" !!"" """ " @!۷!' "w!!!"C"("& "'%"(@ @  """"" W"5"6!> ŷ"!!s!"CCC"@! ͷ!!@""C"("G! ""C"."C"2"Q! ""H"W"A"X"? !"N"]"G"^"E Y"O@""!i \"R ]"SHٶ@@)+ϩ!)!n"J"L  PCC"f"u"_"v"]"!C"z!ӷ"l"{"e"|#  C"~!ש""!!   C"w"p"n"l "d"!!""y "w"u""!M"!շ ""4 wt"roo!"qm" k$,!"  {!" }xf"{b"é 4`^kk""m"h! :Dqs8! e8"r"u7C"t"C"."/"" ""!!H!H  "|""""C:""!M!M@?C<;=">""!Q!Q  CC"C"D"" "η"Ϸ!!^"L"M""""ַ!"׷! "ȩ"I=?4O9F4/-&41"--"8"J /+"P*h,"=c"O`MH8"?"Q:6#""WM4]GTB=;4?(("F"X*"e a2`.0e˷W"  "C  "C"s"t"" """!!E y EC~##!!C"D } }CC"# "# "! 2##"!##!#"!##"!!# "4|wrpi "R"{"M",""Y""T # "gC޷  "#C!à \CC#*#9###:#!!ɶ ^#<#="E! C#@#@!!C#B! f fCC#9#H#2#I#0!ص n#L&#M"U!ܩ#S#Q" #R#9!Q#TO#U"]!䵷Q#G"4#5ݩ""ߠ۩"ک,""""#>շO@ڷP&#C!0 Cõ#/{C!4#JC! eC#f#u#_#v#]" #xR#y"" C#|#|" " C#~"  o oCC#u##n##l" #b#"1##"H##uз##"3##ѩ4 #p"#à# ","# ̩"# #y٩"c#="!o#!qiC"C#C#####"A ##"]"D֩ vC5##A"HC7#8"J9##E"L | |C;#<"N=##E"P  C P@ A#`# N##ʷ"#˷":##=#;## C3!F #;$#1#C#/## J #!N K### PB##< x##!##V#T##ũ \T!_! #J#\!c# `#̠ ##!##f#]$#S#e#Q j## i i.#W#i) k  #5#Y##@{t# ty#ķk####!Щ##q#### C I@ $$"$@"ɩ"ɠ | # T"f'$ #"Hf  $#$Hff'$ #ǰ# : L$-$+"$,$Hss'"䵷$"$ ###$ #! (#$###$$ #! s$$ $#|# $ $#" ##$$) V!à"F Xi##D!Ǡ$ $0 $$3   ׷$H ط$F$D ###$#$>#)#$$$$C$}C $$P  C $ $T C  $V  ;$  x#$#⠩!Q#%##1!#$###֩!X ,Z$? ,$t$h$M#@$In_m #N$d${$o1$}$q:$h$L$O$g  ۩## ;;#Ǡ#=$m$k@EA$}F $U D#$V $:$5 1"$&$v"c$?$:&$*$|${${ vC#WT! x!2$!/$$#f$#$ %ީ$$©$~$y!'"*$z$ O$~$ "~ , ,η 1 #$"$$3$1 $$!; g""?$ d$$!"$C!\ @!Y$$ն#$ֶ@#e#eٜ)7*M