"`#l#Pww#.MSetProperties%MSets#Coq@t$Bool#Coq@$List%Lists#Coq@&Sorted'Sorting#Coq@&Basics'Program#Coq@*SetoidList%Lists#Coq@-RelationPairs'Classes#Coq@2Relation_Operators)Relations#Coq@4Operators_Properties)Relations#Coq@)Relations#Coq@)Morphisms'Classes#Coq@4Relation_Definitions)Relations#Coq@-SetoidTactics'Classes#Coq@&Setoid'Setoids#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@*Equalities*Structures#Coq@&Orders*Structures#Coq@+OrdersFacts*Structures#Coq@-MSetInterface%MSets#Coq@)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r'Prelude$Init#Coq@0JqTttֱ$Bool#Coq@0j 2cZ`FW&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI+Relations_1$Sets#Coq@0k<⪚(тc1&Sorted'Sorting#Coq@0bb1z٠*SetoidList%Lists#Coq@0k窪ܸqS-RelationPairs'Classes#Coq@0CjN&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:QVX]„. 呠Р.MSetProperties%MSets#Coq@A-WPropertiesOnA@!E@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@% K@.@* KA@@@@@(eq_equiv @@/RelationClasses'Classes1@+Equivalence~@J@F KN@/ K@@@FA݋X_A/RelationClasses'Classes#Coq@@A@@A&eq_dec @@!xh@d K!yo@k K&Specif$Initg@'sumbool7̂K@@b KBA%Logic@#notШ@t K@@@@@|@*Equalities*Structures#Coq@-DecidableType@@@@ K@@ KJ@@A@ K@@ K^@@A@AB@A!M@#elt @@!t K@ %'A*Equalities*Structures#Coq@@@@ K@@@@@AA@@A@ @@/C-MSetInterface%MSets#Coq@@@@@/@ @A@A@@@%empty @@E@7$;#@@@@@&(is_empty @@@S@E$;#)Datatypes$Init)@$boolZ'@@@@@@?#mem @@@l@h$є@q@c$;#@@@@@R#add @@@@{$є@@v$;#@z$;#@@@@@i)singleton @@@@$є@$;#@@@@@{&remove @@@@$є@@$;#@$;#@@@@@%union @@@@$;#@@$;#@$;#@@@@@%inter @@@@$;#@@$;#@$;#@@@@@$diff @@@@$;#@@$;#@$;#@@@@@נ%equal @@@@$;#@ @$;#@@@@@ꠠ&subset @@@@ $;#@@$;#ɐ@@@@@$fold @@!A.hB@@@@4@0$є@BC@<@.$;#@D@@.h@@A@A@@@!'for_all @@@@O@K$є@T@F$;#@@@@@5'exists_ @@@@c@_$є@h@Z$;#@@@@@I&filter @@@@w@s$є$@|@n$;#@r$;#@@@@@a)partition @@@@@$є<@@$;#B@$prodt@@$;#@$;#@@@-)A{A ϲ6W)Datatypes$Init#Coq@@ A вuX @AB@@(cardinal @@@@$;#o@#nat@@@@@@(elements @@@@$;#@$list]@A@@#elt$є@@@DA alB@A@@͠&choose @@@@$;#@&option >v@@$є@@@bA ůM`@A@@렠"In @@@@$є@@$;#A@@@@@)In_compat @@)Morphisms'Classes@&ProperL@,@+ K@>@0$;#!@*respectful%WO?<@; K@N@@$;#1E@"eq KY@K$;#<%Logic@ @g@Y$;# @#iffС)p@a$@@@@GAviA)Morphisms'Classes#Coq@@lA @AB@@]%Equal @!s@$;#"s'@$;#!a@$є5@$@AC@$@B@&@$;#%@$;# +k() +7T' 7! 7!7%''WSetsOn@/-tap @/X!dP@-MSetInterface%MSets#Coq@ܠ@@@A@@@B!E@@A@@@@@Ơ&Subset @i@$;#g@$;#e@$є@@$@b @$@_f@@$;#@$;#^ +k() +7T' +  7!T'7%']tUdSG@@@@@%Empty @3@%$;#8@4$є@#notШD@5$@@J@<$;# `+k+7T' 7!7$'d@L~@@@@@<'For_all @!P@m@i$єP皠r@d$;#!xy@u$є@@p$@թC@@@$єk@$;#א +k() +7T'+  7!T'$'֐tΐd̠@@@@@~&Exists @B@@$є'@$;#Y@"ex @@$єL@$єj@#andЖw@@$@&/@m@@$єQS@$;#A +k() + 77%'  7!7%'%t:|0t(h&@@@A1@D%Logic$Init#Coq@@A@@⠠ @@%O{@@@$;#@@ $;#Y@/MA@@@@@(eq_equiv @@/RelationClasses'Classes@+Equivalence~@8@!t$;#=@%O{@@@/A݋X_A/RelationClasses'Classes#Coq@@A@@AA@@A@&eq_dec @@!xZ@"$;#!ya@)$;#&Specif$InitS@'sumbool7̂K@s@%O{ѩ%Logic@#notШ@%O{@@@@@<(mem_spec @@@$;#@$є0?G@<$PMA@$@@@@@@*equal_spec @@*@$;#(@$;#Tck@%!%@H%O{@@@@@+subset_spec @@L@$;#J@$;#v@6a"F@1'@@@@@ˠ*empty_spec @@@%O@%!؀@@@@@ޠ-is_empty_spec @@ @$;#@WCu@%OH@@@@@(add_spec @@'@$;#,@($є!y3@/$є͠:@+$@AA@$H8@"or @A@ KS@D$@@@@@@4+remove_spec @@֚a@S$;#f@b$є:k@g$єr@c$@8x@6bNWo@p$@ݩGy@4 Kܐ@@@@@g.singleton_spec @@@$єh@$є3@$@f@zj&@Y K@@@@@*union_spec @@.@$;#,@$;#L@$є]@$@@%j-&@$@6@$@3@@@@@*inter_spec @@`@$;#^@$;#~@$є@$@©@5%5g2? @$@g@$@d@@@@@)diff_spec @@@$;#!@$;#&@"$є-@$@󩚠3@O$Ncp:@+$@A@2$@@@@@@")fold_spec @@ĚO@A$;#*8ޠL&@@!i!f@a@]$є%-h@G$ŌƐD$List%Lists@@)fold_leftɀր@z@v$є&Basics'ProgramP@$flip$@$єTTO@(2'[@@8@A@A@A@EA%t+@AHAp@JA!t Q @ABMA!uR#@QA1DHG@ %'A*Equalities*Structures{A&A@ A!s̓P5@ABCD@@-cardinal_spec @@5@$;#g@ ?t@&length䷀@$є@ (2@@@3A o@A@@+filter_spec @@^@$;#w@$є@@$є@Ͱ@@ K@ K@ K)Datatypes$Init,@$boolZ'@ة@ $@婚 @4ʃv^(@$@а#&A@@@AviA @A@@,for_all_spec @@B@4$;#@H@D$є@!@C@B KI@H KM@ KT c@OZĩh@:S򀠷n@j$єh͐E<@@B@@S+exists_spec @@@r$;#'@@$є3@_@@ K;P@ KA@F K]2AI@H@/}35@$є>v@@|@@/partition_spec1 @@/@$;#a@@$єm@@@ Ku@ K{@ K@V%O{@#fst @$;#@$;#@g㩚@4ʃ@@@A ӳ2[@A Գq\@@ABC@@۠/partition_spec2 @@}@$;#@@ $є@簶@ @ Ké@ Kɚ@ K婚%@%O{@#snd1@#$;#5@'$;#:@1?@4ʃΚE@A$є@$negb@@[@@-.elements_spec1 @@ϚZ@L$;#蚠_@[$є*SetoidList@#InA q9@c@b Kg@" K9y@(2~@o$@Ԑ@@@Ai0A@A@@c/elements_spec2w @@@$;#/@&NoDupA @@ K@N K@(2Ԑ@@'@@,choose_spec1 @@(@$;#A@$є@`@$є@41FA@$є@$@ː@@@0A ůM@A@@,choose_spec2 @@[@$;#@@$є@41#B@$є @%O@@.@@@6@@.@#Dec *MSetDecide%MSets#Coq@)WDecideOn  #!F)MSetFacts%MSets#Coq@(WFactsOn (#eqb @!x@ b@!t K!y Р&SpecifB@'sumbool7̂K@BAAAA@@@@@A!s!@"eq Kĩ%Logic_@#notШi2@&eq_dec0Q@L@sB@@>7?w +k() 7!= R'>G'>H''+k6'Р&Specif$Init#Coq@@B7̂K@BA@?AABAAAP)Datatypes@$boolZ'@@!E)MSetFacts%MSets@8.h@@A!M*MSetDecide%MSets#Coq@@A@@@!E   @A@@A@@@A!M"!<@@@@A@@@- @@/|@@!t/|ǠJ@@A@/|C@@"eq/|C^@@A@AB@A@'@A@@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@$In_1 @UJE@6%@>@-@$;#23@@6@"In$@vxE@@@/C-MSetInterfaceAAviA)Morphisms'ClassesF@A@@?%mem_1 @ytoeT@mA/]@)@ @=h@#mem$P@@@@@b%mem_2 @w@BR @!Y%5O@@@@@y'equal_1 @@Ci"s'l@@%Equal%O{@x@%equal%Z@@@@@'equal_2 @נҠ͠à@D>$@\7p%@@@@@(subset_1 @ڠ@EU;@@&Subset1Qy@&subset6a9@@@@@ՠ(subset_2 @ @FvŶ\ƶ@̩o$P@@@@@젠*is_empty_1 @1&!@Gܶ@ @%Empty%O}詚 @(is_emptyWLʐ@@@@@ *is_empty_2 @RGB=3"@;H@˰ߩ$@@@@@#%add_1 @h]XSI8@QI A B@x F@#add$H@@@ %'A*Equalities*Structures NA݋X_A/RelationClasses@A@@K%add_2 @{q`@yJ;  i j@6*@@@@@a%add_3 @v@KQ  @@?F@@7@@v(remove_1 @@Lf4 + @ cͩ @&remove6bNWe@@U@@(remove_2 @٠ΠɠĠ@M5R I @+@,0}@@p@@(remove_3 @ߠՠ@NPm Ͷd ζ@ 7e@@@@@Ơ+singleton_1 @ @O z @ " @)singletonzjթkF@@@@⠠+singleton_2 @'@P  @̠ 6@@@@'union_1 @=2-( @&Q @ U @%union%jx@"or @s@@@@@'union_2 @aVQLB1@JR   ;@ѩ q$ z@@@@@4'union_3 @ynidZI@bS$% S@@@@@@H'inter_1 @}xn]@vT89 g@3  k@%inter%5g@@@@@d'inter_2 @y@UTU# @@@@@@x'inter_3 @@Vhi7 @-@d թ1_@@@@@&diff_1 @֠ˠƠ@W2P @|  @$diff$N@@@@@&diff_2 @ݠӠ@XN4l ̶@DK@@@@@à&diff_3 @@YdJ @x@ 3K@@@@@۠(filter_1 @  @ Z|˶ !f@ Ӷ@@&ProperL@ݩ @*respectful%WO? K@ܠ M @&filter4ʃc`@@@A@A@@(filter_2 @UJE@6%@>[ .53@2@ Ѱ  n@@@@)(filter_3 @nc^YO>@W\ GNL@K@@:ĐF@@6@@D)for_all_1 @~ytjY@r]4hf@e@ e@'For_all:S򀠷  l D F q@'for_allO;'@@\@@j)for_all_2 @@^ Z@@*b >)0 0hD@@y@@(exists_1 @̠@_(w@@ @&Exists/}3CM @'exists_zf@@@@(exists_2 @ޠ٠Ϡ@`J˶@ʶ@i_}%?@@@@*elements_1 @@ab ߶@*SetoidList%Lists @#InA q9@j  @(elements(2@@@Ai0A@A@@렠*elements_2 @0% @b۶ @* G@@@@)In_eq_iff @F;61'@/c  @@#iffС)s@@@@'mem_iff @aVQLB1@Jd  :@@@@@0+not_mem_iff @uje`VE@^e  N-ǐ*@@@@@H)equal_iff @}xn]@vf89E@@@@@\*subset_iff @q@gLMY@@@@@p)empty_iff @@h- lZ ̚ @%empty%!؀ @%Falsee@@@@@@,is_empty_iff @ՠʠŠ@i1@@@@@-singleton_iff @ݠؠӠɠ@j` W A@@x@@'add_iff @ݠ@kXu նl ֩ n[r@@@@Ѡ+add_neq_iff @ @lr  @hР>@@@@砠*remove_iff @,! @m׶  9@#andЖw@@@@@.remove_neq_iff @I>94*@2n " #@q@@@@+for_all_iff @_TOJ@/@Ho ><@;@@!@@/*exists_iff @tid_UD@]pSQ@P-@@6@@D,elements_iff @~ytjY@rq4 bAZ@@q@@X%mem_b @~m@rH v  w@P@Ɛ@@@@@p'empty_b @@s# -e(@@@@@%add_b @ɠ@t%tB 9 C{>ͩ|@#orb Lq@\,0.OK@@@@@)add_neq_b @۠Ѡ@uLi ɶ` ʶ@BkfS@@@@@ (remove_b @@vc w |@$andb=5@$negbE@@@@@栠,remove_neq_b @+  @wֶ@}ީp@@@@@+singleton_b @B72-#@+x8q@@@@@'union_b @WLGB8'@@y1Ѱ @@@@@*'inter_b @od_ZP?@XzI !h@@@@@A&diff_b @{vqgV@o{12` 8z@@@@@[*elements_b @p@|Ky Q$List@'existsb #z@@@;A=\ @A@@~(filter_b @à@}n<@> v9) V@@@@)for_all_b @ܠѠ̠Ǡ@~8@V ,=@'forallb?[/ Ґ@@@@A@w@AwAIPAH@@@|A1@D?@ABCD@@(exists_b @@`@~ e#@@"@@ՠ$In_m @ @@@@ȔAv`Ő@@@@@AB@@'Empty_m @6+&!@A@@@@A@Aۓό^@@AРD.Morphisms_Prop@ABCD@@*is_empty_m @UJE@6%@>B.@ ( #@@@@%%mem_m @j_ZUK:@SCC@=ސ@@@@AA@/@9@@ABCD@@@+singleton_m @zupfU@nD^@2X4y@@@#@AH@R@@ABC@@Y%add_m @n@Ew@@LLrtPP7@@@@q(remove_m @@F@@.@@'union_m @Ƞ@G@u*w, )@@C@@'inter_m @ݠҠ͠Ƞ@HK@@U@@&diff_m @ߠڠР@IȰ'&@@g@@(Subset_m @@Jڰ@B @@@@Ѡ(subset_m @ @Kﰶ@©W@@@@A@@ABC@@ꠠ'equal_m @/$@Le@@@@,SubsetSetoid @A61,"@*M@(PreOrder@M@@@@A@@+Subset_refl @@2PreOrder_Reflexivevv_@*`@@)ReflexiveW (6777"kA]~@|T@wǐL @I#nD'Classes@.vv\zp_@@D@@Y,Subset_trans @V@3PreOrder_Transitive4(ۀC@\@*Transitive++-[>=T-@4(ې\>L אCL@[; ܐN@a Q@@@@@A@@@@r@3MSetDecideAuxiliary EA-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@@ ;ֶ 2ϩ >۶ A ? 8 @  D ) x r ɩ@ @%  st@ @ z{ƶǶ@@ @66Ͷ@ 1 = AA@@:$CBB@@DDDB$CBB@@DDDB@ _@X02@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BG$ACBBCB@@A@DDEDFDGB@@A@@@@@+8@p@A@A@rA1DH {@A@ܠ1MSet_elt_Prop_ind @H         u"=$ 6&W,U-@' @02@ @4 @  @(!- >oDmE@@: @@- ) " J{PyQ@$@> @@4搶@V\@/ @J =C  A@ l!mR MrD@@@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@D@2f m$ (÷ k + ) " *u  .  b} 1p2q ɩ өշ;z<{ @ADTX k !@'yncS \+k()        , ' (*()=| &0EZoRy'>  &'>  %'> %'> 3! 3!# '> 3! 3!# '> 3! 3!# '> 3! &''''+k()$'+7Tk+ 7 T'$'   @ S@L(ň@0@aAJؠِ   @@@@@)MSet_Prop,<@@]-elt_MSet_Prop/Empty_MSet_Prop0Subset_MSet_Prop/Equal_MSet_Prop@; m  ᶐ"s1 "s2 ĩ,  Ƕ ȩ0 ]AA0BABBBABB@ @*#Fy@@@@@@@@@@@@@DABBACBDB@@A@@@@@@@ꠠ-MSet_Prop_ind @V '; (  ^: +: 8  6 /> < 6c8̩ @]#Fy@@>?@@@@@@@@@@@@@DwL@H +~ ~@{¶ L` M% N# O U 4 0+k()= &R,'> % ' >$ '> % ' > % ' '+k()$'Р@Ws@@bc$IADH   z@@@@@2+eq_refl_iff @   @ B  J @@ $@@D&dec_In @   @ C }  Qِ@@@@@T&dec_eq @   @ D - + $ , @@@@@d@@@ E@@AB@3MSetDecideTestCases jA/test_eq_trans_1 @ Ӡ Ƞ @ E H F ? G!z J 1 @ , p@ ' ) 2 z@  i  @@@ {@As@t@ @g@ABCD@@/test_eq_trans_2 @   @ F l̶ cͶ$ζ!r  V @    @ N  @ R T    X@ [ 8 @@@@3test_eq_neq_trans_1 @ !  @ G!w     Q   ϶@ { D@ v x  h@@" Ѡ  nӐ@@@ @A@@ @ABC@@⠠3test_eq_neq_trans_2 @ F ; 6@ DH%  t"r1 "r2   @  ٩ A;@  ~@ < K@ @ @ = E @ *  ' >@@@ @A@ *@A@4@ @ABCD@@1test_In_singleton @  u p@ ~I U  pŐ@@@@@-+test_add_In @   @ Jf g  ;@ 4 & @  : 3@@@`@ '@AB@@H6test_Subset_add_remove @   @ K! U  ?  @@@@@\3test_eq_disjunction @   @ L6-@ d Vש XH  !4" hِ@@5@@{0test_not_In_disj @ ߠ Ԡ @ MTK  "s3 "s4 @5  s 9    A   "P $@@@@@0test_not_In_conj @  @ Ny  . , @*ࠩa䠩e g @@@@@Ǡ-test_iff_conj @+ @)O!a ׶ n ض@ 堩 ӠE X v 젩 k ۠ ԩ  Ԑ@@@@@蠠.test_set_ops_1 @LA<@JP!!q V  @ TTd@  @ # Š ~    @@@@@-eq_chain_test @la\@jQ"x1C"x2F"x3I"x4La _!"#@ G @` \@%@А&b à\ @א-i @0d "^@5  )]{{@@@2@A*@a@ (@ABC@@I0test_too_complex @@R" !X Y@@@T < O  O@שZ@@ @@e/function_test_1 @ɠ@S &!g@vwdb@  [\@) _ a @| d}  j@@@z@s@AB@@/function_test_2 @@T Q+)Ͷζ@(@N #@"@t "ސO@@@@@ A@ABC@@-test_baydemir @ @U vs¶@' 1l@o Šq q@@@@@@@@@A@@AB @@A@ @'@ABCD @@@@@ @"FMҐ @@}@ܠ@@A@@A@V@@@@  @ @,@@,@@@@+ @ @-@鐑@-@@@@@<ڐ @ @-@א@-@@@@@MԐ @ @܀@ѐ#@@@@@@^ @ @݀@4@@@@@@o @ @3<5@E@3<5@@@@@ @ @3<5@V@3<5@@@@@ @ @-:@g@-:@@@@@ @ @-:@x@-:@@@@@ @ @-xр@@-x@@@@Ġy @ +@-xҀ@v@-x@@@@@ՠt @ <@|-xӀ@q@-x@@@@栠p @ M@xW@m@}W@@@@c @ ^@kW@`@pW@@@@Y @ o@aW@V@fW@@@@@S @ @[( ~À@P@`( ~@@@@*H @ @P( ~Ā@E@U( ~@@@@;C @ @KۯÀ@@@Pۯ@@@@@L0 @ @8ۯĀ@-"@=ۯ@@@@@]) @ @1ۯŀ@&3@6ۯ@@@@@n& @ @.$J-@#D@3$J-@@@@@ @ @#$J-@U@($J-@@@@@ @ @ $J-@f@%$J-@@@@@ @ @@ N%0@@@@ > @ \@ F @Y@ ;@ K @Y@@@@ 5 @ m@ =|@ 2@ B|@@@@ 0 @ ~@ 8|X@ -@ =|X@@@@( $ @ @ ,6k@ !@ 16k@@@@9  @ @ ':WÀ@ @ ,:W@@<@@J  @ @ #)sT@  @ ()sT@@M@@[  @ @ c@@@@@+subset_refl @@ Eܩ6 @@@@@,subset_trans @@ F ) '_@!@"F@@@@@.subset_antisym @@ G@T@U@@@@@,subset_equal @@ H @@@@@@@Š,subset_empty @@ Io@@@@@Ҡ/subset_remove_3 @@ J c" a#Q@[@@@@@㠠+subset_diff @@!K t3 r45@ ˩(@@@@@,subset_add_3 @@!L E Ft@@3<@@@@,subset_add_2 @@!$M W X&@@@@@@)in_subset @@!4N g h6@,@ c@@@@@&0double_inclusion @@!CO v w թJ@@@@@70empty_is_empty_1 @@!TP8@&@@@@@E0empty_is_empty_2 @@!bQF@)4@@@@@R)add_equal @@!oRSpж@s7 @@@@a'add_add @@!~Sb߶"x'H{@@@@@v,remove_equal @@!Twƶ@[&1@@ @@,Equal_remove @@!Uնlֶ@Fk6@@@@@*add_remove @@!V@zѠKGR@@ @@*remove_add @@!W$@թ\Oc@@ @@3singleton_equal_add @@!X4 ߩ@@@@@Š6remove_singleton_empty @@!YC@@vF@@ @@נ)union_sym @@!Z'(=Щ>@@@@@砠2union_subset_equal @@"[78@̠N@@@@@-union_equal_1 @@"\FG#s''J@ޠ` a@@@@@ -union_equal_2 @@"&] YZ[@M@@@@@+union_assoc @@"6^ij#kשG@@@@@,3add_union_singleton @@"I_-|JgN X@@@@@=)union_add @@"Z`>$\"{@@@@@O2union_remove_add_1 @@"laP6nΩ48g';w@@@@@d2union_remove_add_2 @@"beK@yJ̠@@ @@v.union_subset_1 @@"cwƶ]ǩ!)@@@@@.union_subset_2 @@"dԶkթ/?@@@@@.union_subset_3 @@"ey@@@zP@@@@@.union_subset_4 @@"f@-Q@@@@@.union_subset_5 @@"g@<`ʐ@@@@@Š-empty_union_1 @@"h@ސ@@@@@Ҡ-empty_union_2 @@"i"#@#@@@@@ᠠ,not_in_union @@"j12 `@ؐ@ې1S@@@@@)inter_sym @@#kFGڠ  @@@@@2inter_subset_equal @@##lVW@@@@@@-inter_equal_1 @@#2mefg@֩- .@@@@@&-inter_equal_2 @@#Cn'v w0x@  >j@@@@@7+inter_assoc @@#To8ANPPF@@@@@J-union_inter_1 @@#gpK1T/a1d 6Y@@@@@]-union_inter_2 @@#zq^DgB&u I@@@@@p+inter_add_1 @@#rqW @V? / *O@@ >@@+inter_add_2 @@#sնlֶ!@k_@@ N@@-empty_inter_1 @@#t|@ @@@@@-empty_inter_2 @@#u@@@@@@.inter_subset_1 @@#v\ d@@@@@.inter_subset_2 @@#wj z@@@@@͠.inter_subset_3 @@#x@z@'|@@@@@ޠ,empty_diff_1 @@#y./@/S@@@@@,empty_diff_2 @@$ z=>@>Ҡ @@@@@+diff_subset @@${MN @@@@@ 1diff_subset_equal @@$)| \]@@@@@@5remove_diff_singleton @@$8}k9!Ʃ @@@@@*0diff_inter_empty @@$G~+z{@/6@@@@@:.diff_inter_all @@$W;! @@@@@I'Add_add @@$f@Jg!ǩ! @@@@@W*Add_remove @@$tAXu!ն@x ! !@@ @@f)union_Add @@$BgMp!@!$^!#! |@@@@@z)inter_Add @@$C{ʶa˶̶!@@2!1s4!: f@@ @@+union_Equal @@$D߶v"@@w 2@@ [@@+inter_Add_2 @@$E""@Ӷ@(&@@ m@@.elements_Empty @@$F ʩo@ %O!w@"eq @"L"F @"[(2!)Datatypes$Init#Coq@@$list]@A"[@@@$Ai0A*SetoidList%Lists#Coq@@A$A݋X_A/RelationClasses'Classes#Coq@@$AIPA$List%Lists#Coq@@A$A al)Datatypes$Init#Coq@@% A1@D$#"@@%A1DH%Logic$Init#Coq@@ABCD@@".elements_empty @@%?Gb""^j@$L%!؀`A"@@@$A7@A@@@'of_list @!l@"]@"ƩK@*fold_right#"<"@"$1 P+k77777#'РIX`px"h@@@$A*x@$A+|@$Aw@ABC@@'to_list @@# @@@@@)of_list_1 @@%HM<:"ةKA%@e/"P*SetoidList%Lists#Coq@@#InA q9@%%@% KAB@@@%A@%A@%A@ABC@@Ơ)of_list_2 @@%Ius'@*equivlistA~ɩ@Z$#􀐩@/"@@@%A@A@@砠)of_list_3 @@&J#q)@"%O{!"@@@%A@A@@/fold_spec_right @@&KN!AQ#~@@!i"¶@#@"*"Ʃ#@$fold$Ō"""Ʃ"#""ȩ@#rev$t#i@@@ @A@A@$A*'@A'A4%*@+A.hBi@AB.A8ޠLl@3A@A4A1FdJ)@ A1GK.@AnA>?@rA+C@vA3G@ABCDE@@S(fold_rec @@&pLTԠR#@@ @@# S#@@X\#f@M@۩0@# 9Sv@ ;@d@&g#,@ޠ#4nL#6q@@@-@A@@&@A@AB@1AX@A@@,fold_rec_bis @@&MȠ^$ @@J@@#I_$@@##X@#s@e@1,@#d@$,-8@#k@(@+$W.H@@@1@A@@*@A@AB@5Ar@7A@0Am@ABC@@ՠ.fold_rec_nodep @@&N֔f$R@@@#g$Z@@gٶ#6@@$fg@@uRpx.u@@@@A@@@A@AB@"Ag@$A@Ab@ABC@@-fold_rec_weak @@'$O k$@@@_@#!:l$@@ #϶@jkJ@۶@/@  #Ѷ@@$&u@p @;e;1##b#s@@ @.@A@!:@'@A@AB@2A@4A@-A@ABC@@I(fold_rel @@'fPJ#2t$@@!B#qu$@@@$ @$  #v$@@@$@ VC^!jk@A@$鶐!b@@JࠩYlJ$4n$6 q@@#2@7@A@#q@0@A@ #@)@A@ABC@A1I!M}@ACA@EAi@ABFAc@IA ߠn@ACA@EAr@ABCFAl@JA @ABA @DA1J`N@AB+@@Ag@d@A al@A@ABCDEF@@-set_induction @@'Qi@%i}%4@@@@3@@%B@$ @LT@@%i@@A@A@At@A@@ܠ1set_induction_bis @@'R@-&C%Z@@@56@ʶ@o( @$ض@ %k?@ȶ@_E5@@&@@A@A@A`@A@@-fold_identity @@("SU蠩Y@$$@@@IA@AJ@@ABC@MA@As@}@D@ABCD@@&fold_0 @@(;Tn  )YM%@@$޶@"ex @@&NoDupA @U4$Z%$o^=$$`!76!9$$!;%$%%@@ )Y@+@A@A@/AM@A0A*@2A%@AB3A@@A@@A@@@ABCDE@@d&fold_1 @@(Uef")נO%@@#eqA@%'@% "st@+Equivalence~@os%2@%@@Es%4Q%;%;@@")@ @A@A@$Aj@A%A@'Ag@AB(Aa@+AV@A@@R@@ABCDE@@&fold_2 @@(V&&*ӠS&@@=;97%b/0@,@˶@~'6)!!%m@R@)transposeWâ&:%m@J<@vG7?NK; EO 7@@&*@,@A@A@0AĠmn@A3A@5A@AB6A@:A@A;A@=A@ABi@D@A@@>@ABCDE@@'fold_1b @@) W?񔑠(+QU&m@@%{@%!%@@(+Q@ @A@A@A%t@AA@A@ABA@A!uR@AA@@A@A&@m@2@ABCDE@@ -fold_commutes @@)<X )+V&@@ƶ$Comp@IK*"$"$%%%궐#Ass&v")%0f:W&à-l%mPn%2q%%@@@&A@A'A@)As@+A@}@ABCD@@ W)fold_init @@)tYX8N1ٰ@xzSY&&&&&Z"T"i'g@5Z&"]\&&$@@@*@A)@&@@ABC@@ |*fold_equal @@)Z}]  WUNLzӶjԶ@hxV&@"{zX&;"}@@@oA)@ApA@I@ABG@@A@@A@@@ABCDE@@ *fold_empty @@)[&@'!@&U&\&Vð&_&a&Z&b&b@@@A@c@A'@ABC@@ (fold_add @@)\OMKI@['?@FAj"&yB@@@;@@AB@@ ֠(add_fold @@)]kige\w -'[@bZ@@@@A@@ -remove_fold_1 @@* ^ζ~|sƶ!D 'r@yƠ&v"u@@@o@A@@1@ABC@@ -remove_fold_2 @@*(_ ۶ ? b 0'@A@@5@@ !0fold_union_inter @@*>`"¶U )xy[S]6& _&"a&&@@@@A@@@i@ABCD@@ C/fold_diff_inter @@*`aD$ֶҶAw K1Ԡ>}O"@@@@ @@ABC@@ ]*fold_union @@*zb^>86/-[ eK@ ' [ޠ}^<#a`>'(@@"@@ |)fold_plus @@*c }̶!p"@#nat@x @( B'='E#Nat"@ `'HA'S@@@A@A@@ -cardinal_fold @@*d (Fꀰ(F @(T ?'k @($Ō@#nat@@(뜠@BA##*@@K@A@@@#A1GK@* A(1@*$A o@ABC@@ 栠*cardinal_0 @@+e () @"ex @ !3@*N$є  @#andЖw@b@&NoDupA @*[A!/  π <''ԩ}+rABf(©|'ݩ]@&length䷀AA@@@+8AV@+:A;@+lB@+sA3@AB@@ 3.Equal_cardinal @@,Pl"4(ᶐ!(ݶ@O((󩛠|)ة((@@@+zAviA)Morphisms'Classes#Coq@@A+AۀߠK @+Am@,ZAo@,\Af@ABCD@@ f*cardinal_m @@,m)Morphisms'Classes#Coq@@&ProperL@)!* +*)@@*respectful%WO?),*"@)]%O{%Logic$Init#Coq@@ @【@@@+AK@A@@ .empty_cardinal @@,n*<}A@@@@@ 2singleton_cardinal @@,o"+*U#@+zj)~@B4@@@@@ נ3diff_inter_cardinal @@,p"+J!+G)Datatypes$Init#Coq@@#nat@#Nat$Init#Coq@@#add `L#>@+y$N))V#H@+%5g))ũ`)@@@@@ .union_cardinal @@-9q#*_"*a@#>*i ?, M))婚 Q))⩛s*ϩ#{@+%j))𩚠U))@@@@@ W/subset_cardinal @@-tr#X)"?)@#@)1**%Peano$Init#Coq@@"le UxT@À*+ǀ*(@@@@@ 2subset_cardinal_lt @@-s#)Ӷ"k)϶#*϶@.*D*=@ *B*I@  *R"ک9@"lt Uxcԩ"@@@@@ 4union_inter_cardinal @@-t#,V",Sީр*x*ŀ**倠'*+*@@@@@ 砠4union_cardinal_inter @@.u#,", ++A** @#sub T*X*\**ɐ@@@@@1union_cardinal_le @@.9v$,#,v퀠**㩚@*㩚*@@@@@B.add_cardinal_1 @@._w$C+$a+@i+* +穚$@-<$H+++@@@@@g.add_cardinal_2 @@.x$h+$+@+++# ,ʀ)+/+6B׀+?@@@@@1remove_cardinal_1 @@.y$+ֶ$+ݶ@+S+K ܀@B$@-l6bNW+a+h+l@@@@@1remove_cardinal_2 @@.z$,$, @တ뀠++| ,i#)++++@@@@@@@@@Aa@`@AB!@!@A@@ABC @!:@A#2h@#qg@AB #e@%i@A&@ )Y@AB")h@&* @(+Q@)+@@A@ABCDEF@@A@A1I!M @ABA@A @ACDA-3@A ߠn @AA@A1J`N @AH@BCF@F@A@BDE@@A@B@@A@@ABCD}@|@ABK@$@A@BC@@A@@ABCDEF@@AT@BQPCNLJ@K@A*@B'&CDE$@$@"@ABAĠm N@@A@@A@@AA@BCDE@@A@0@AB$y@r@@ABCFGHs@ @3@AB.tA?@ @@A g@BCD!@n@@ABE `@@A @>@z@ABC/PA @ @ V@AB/UAO@}@t@/YA4@ABCD Q@ L@A/\A1FdJ S@/`A@l@ABCEFGI@+WProperties/B./@/+@% @J#@@@@ %'@#@A@A@@@*%} @^@B.- /@%3dXj@@@@@@*/o @@)@%3d_怐@@#@@*% @@%% %%%@@@@@*@*Equalities*Structures#Coq@-DecidableType@@@@3dXj@X,@@*3dXjJ@@A@3d_@],E@"eq3d_^@@A@AB@-D @H@X,U@/'@@,e%WSetsr,_@A@@,^,z @@@A@@@,f,g@@yg@ ,l@+yg,@A@@@*)@A@AB@A@@@@@/0& @@%9@@/%@/@%=@A@A@@@/=  @@|@&#%8J@@@@@/J$y @@@(j@@@@@/S%- @@@@-%8@@@@@/`$\ @@@ @%%@@@@@/j#Đ @@@.@@@@@/s$ @@@@@@@/{# @@@?@@@@@/#[ @@ @@@@@/# @@@@@@@/%3 @@@XK@@@@@/% @@ @@@@@/ Z @@ s F@@@@XԶ@p m@@.h@ N@A@A@@@/" @@@@e(o@@@@@/"S @@ @@@@@/ɠ. @@@i@@@@@/Ҡ.q @@@@(@.gt@@@@-)A%A ϲ6W(@A вuX)@AB@@/(cardinal @@@<@@@@@/"K @@@ @@@A !@A@@0.7 @@@ȩ)%@.2 >v@@@@0A ůM)+@A@@0&# @@@Ķ@m@@@@@0!.! @@#l@d #ffT#h|&"Q@&=%8P @@|@@06%ݐ @'%"b%&(@' %-50)@@@@@0M% @'&@)&/@-dHC<@@@@@0`% @'/%'#(@'3)-C[VO@@@@@0s#P @@"ʷ'D:'a$@<@-ojc@@@@@0#! @'WM /8'v9!ΠR)F@,ՠx@@@ @A@@0'\ @a@&L%@@f,@@@@@01O @@ u@@%@@,'h @@'~''!''@@@@@,,e @@''w"&)@&%8р&)@@@@@0ܠ,T @@'&#&ɰ*@&& '))@@@@@0,E @@'&#&ܰ*@&c7$')@&p2k̂'@@@@@1*empty_spec @@@&G%͏9@"& 1Y@@@@@1,< @@'ީ#C'*>@&V΄)*)ې@@@@@1-,3 @@'(۶(ܩ#X .@&8%8ɀ'%bj'&@@@@@1D, @@((/(&#o .ϩ@%6]؀',"(@@@@@1\+ @@(F (= #7.橚&@%u&,@@@@@1o*union_spec @@(>4'$5(\#L.;@%&-'%B@@@@@1*inter_spec @@(TJ':K(r5#b/Q@%l&D'3"X@@@@@1)diff_spec @@(j`'Pa(K#Ǡx/'g@%9%C]'I"nG@@@@@1)fold_spec @@(w  R@@ ~/>% @h |'/A@ {%C z!@+{ɀր/LuJw/N/N/O@$')곀$/L@@8@ n@A@A@ rA @A sA v@ uAL@AB vA @ xA @ @@ABCD@@1栠-cardinal_spec @@('Ѱ7@!{N*+@+O䷀**@@@&A o+@A@@2+F @@(ƶ(%TM@%Q@I+(%KK+*9%F/$3/@05"&#U(%(+@@%G@@2 +  @@(%qj@$K(+F@%^(+&@%:ѿs)%/@@%b@@2;* @@) %@8$f()+a@${(#+A @$0a@@%{@@2T*ǐ @@)"%@Q+x@* ""#@1r*(@U(A@@@(oA ӳ2[+@(sA Գq\+@%@ABC@@2v* @@)D:%@sܠ+@*|"q)l/"*`0@@@@2*_ @@)ZP)w:$$0'V@@$@@2/elements_spec2w @@)j` 7@@$@@2*! @@)uk)U@(p@04{'⩜Ab0:d@@@'A@A@@2* @@)@(+{BЩ'@@@@2@@@@@3dXj@40@.3dXj@A@3d_@80 @3d_@A@AB@33A0'BA@3@@)̐ @?>:9@@@.͠) @76-@@@@.Ԡ3 @@,&@'@@.۠) @@%@@@@.@@@1H @L@\@@@@3) @@3@@@3$ː @@ؐ@@@@3!(P @@֐@@@@3() @@А@@@@3/(+ @@͐@@@@36' @@ː@@@@3=' @@ʐ@@@@3D'k @@Ȑ@@@@3K'" @@ǐ@@@@3R& @@Ɛ@@@@3Y( @@Đ@@@@3`(Ɛ @@Ð@@@@3g @@@@@3n&? @@@@@@3u& @@@@@@3|23 @@@@@@32" @@@@@3 @@@@@@3% @@@@@31ː @@@@@3) @@@@@@31 @@x@"@@3)T @w@pn@@@@3)# @h@xc@@@@3( @]@YX@@@@3Š& @R@ML@@@@3͠&g @F@U?@9@@3ՠ* @8@43@@@@3ݠ4| @@-+@(@@/* @@*#@@@@/à/ @@"@@@@3/j @@ @@@@3/O @@ @@@@4 @@@@@@4/) @@␠@@@@4/ @@Ґ@@@@4. @@@@@@4. @@@@@@4# @@@@@@4* @@@@@@41 @@@@@@48 @@hge@@4?Y @@XI@H@@4F- @@D.@'t@@4M-8 @@-@'{@@4T- @@@'@@4[,ΐ @@@@@4b, @@ސ@@@4i,< @@֐@&@@4pՐ @@ѐ@&@@4w+ @@@@@4~+Ő @@@@@4@@@@++++++++ @+޷+~+|+n-@+W7!+g@-@+V@++-ʐ+S@@4۠@A@@5@A@52@A@+2@@@@** @*+ @++s+t@@*א@@*@@+*ɐ @&# *+2A++@*ð- *-א@@@@@+* @852*+DB++@@@@@@+)* @GDA*+SC+*@=*.*-@@@@@+;* @YVS*+eD+ζ*϶@-p*@@@@@+K* @ifc*+uE+޶*߶@#+.>**.@@@@@+]* @{xu*+F+*@<5*ѐ@@@@@+m* @*+G, @+'._!*r.;@@@@@+~*q @*s+H,@2@@@@@+*i @*k+I,),F ,= @}62ݩ-+p@@*`@@+*T @*V+J,<2,Y,P@6@@@@@+*N @͠ʠ*P+K,LB,i,,`-@@$@@*@@+*J @ޠ۠*L+L,]S,z=,q>@,Sl3L+@@*@@+ՠ*A @*C+M,rh,R,S@Ŷ@*=3/a*<@@*@@+ꠠ*; @*=,N,},g,h@t@@@@@+*4 @*6,$O,v,w@l+n@@*@@, *( @(%"**,4P,,@3Z|.ڐ@@*@@,*$ @:74*&,FQ,+,@z*H@@@@@,.* @LIF*,XR,+¶,@ũؠ3*@@@@@,A*  @_\Y*,kS,Զ+ն,@@@@@@,Q*  @oli* ,{T,+- ϶@{@@@@@,a) @|y),U,+-߶@@@@@@,q) @),V-+-,@@3ʩ)@@@@@,) @),W-",-@@@@@@@,) @),X-2(,)-P@ǩ-(@@@@@,) @Š ),Y-D:,*;-b%@>@R4*+@@@@@,) @٠֠),Z-XN-u8)ն@@f+@@)@@,͠) @),[-j`-J)@@)@@)@@,ޠ) @)-\-{q-[)@@@)˩,)@@)@@,) @ )-]-* @@,/,/Ð@@)@@-) @$!)-0^-*&@Ҷ@-)0@@* @@-) @741)-C_-*92@@,հ0 ,/@@*@@-,) @JGD)-V`-*LE@@&@@*/@@-=)| @[XU)~-ga-ж-@ҩ)xQ?4F0 @@)h@@-O)d @mjg)f-yb-. ̶@ϐ@@)w@@-^)] @|yv)_-c-.۶.ܶ@O)Y@@-=@@-p)T @)V-d. .*)iv@@@@@-)P @)R-e..:)y-<0t.@@@@@-)J @)L-f./%-&)@@@@@-)F @)H-g.?5-%6){@@@@@-)B @Р͠)D-h.k.)[5 x)9@@@@@-à)3 @ޠ)5-i.`V)qx@@@@@-Ҡ)/ @)1-j.N.O)ˠEÐ@@,@@-⠠)+ @)-. k.u._.`)ܠ+ߠ|@@,@@-)$ @ )&.l..r.s@)k!@@,@@.)  @%")".1m...*)@@,@@.) @852).Dn...@ *ZF@@,@@.,) @JGD).Vo.+LE@*&ې@@+/@@.=) @[XU).gp.ж+]V@ *7ѐ@@+@@@.N)  @lif) .xq./˩*G@@*w@@.^) @|yv).r./۶/ܶ@ O.1Rd.Be,Ȑ@@@@@.r) @).s/!.+1cu.@@@@@.( @).t/ /</3 .=1u$(6 /|/f@/Q/#-@@@@@@.( @(.u/= 3/Z /Q @ .\1B@@@@@.( @ѠΠ(.v/P F/m 0/d 1.n1>(((3@@@@@.ɠ( @(.w/f \/ F/z G@ .1 k@@@@@.ܠ(ߐ @(/x/ X/ Y.1ΩOW@@@@@.(ې @ (/y/ .p / k.1L)eb@@@@@/(א @(/+z/ . / .1J);@@@@@/(Ӑ @2/,(/>{/ . / .ϰ2G)N)I@@@@@/*(ϐ @HEB(/T|/ / .2.(˰ ?1n@@(@@/=( @[XU(/g}/ ж/ ,^ W@ .21C)x2@@,D@@/R( @pmj(/|~/ ,r k@/ 2E( 6@@(@@/e( @}(/0 , ~@1/ 2X)@@(@@/w( @(/@, %,  2 x, (+s "@@(@@/( @(/A, BQ@@(@@/( @(/B, , -2,J@@/t@@/( @Š (/C,@  /,  1 @@(~@@/(x @֠Ӡ(z/D,Ұ@  M,  O )@@(t@@/ɠ(p @(r/E,㰶@  :,  < ˩, b b  j@@(@@/ܠ(k @(m0F,a@@(@@/ꠠ(g @(i0G- @,  \  E@@(@@/(b @(d0$H- P=@@(@@0(^ @&# (`02I-" ^5@@(@@0(Z @41.(\0@J-0 E-)   K@@/@@0&(U @DA>(W0PK-@ c-9   [ @@(P@@06(L @TQN(N0`L-P s $@@(^@@0D(H @b_\(J0nM(D  @@(=@@0R(< @(N@2PreOrder_Reflexivevv  *@(e= @(;(6|y(@(W@@0l( @(@( &('@(g@@0|' @'0N- *-  7 }- ) V' '@@)@@0' @'0O- G- $)' & &) h( Z@@'@@0'Ԑ @'0P-ש-   - 8 8 z z @@@)]@@0'А @Р͠'0Q-̰ 7@@)k@@0'̐ @ޠ۠'0R-ڰ - V 2   @@){@@0Р'Ȑ @'0S- & @@)@@0ޠ'Đ @'1T- 4- t P - v vR  @@'@@0' @ '1U.'.  b&/@@)@@1' @'1+V. ɶ'̩. sa@@)@@1' @/,)'1;W.0ٶ'1 #4@./8b@1 ('1 0 @ - N''@@)@@1,@@@@8>'' \2'A' @ROL'1v@'@@@@@'!' @^[X'1A'@@@@@'-@@@@8^&젠& |23&A&,<&&ꐠ&*u&$&ݶ2  d2 e8 B2 Ӷ1 8 1&&&&&&AA& &&@ 2N' @'@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BG&@@A@@@@&&@'w& @'').'.2O 2F 5& .2S 28 .1wC.&.&.'*Ķ'*Ŷ@9 2'R@'K@0@&@ 4z&.϶(*ն'*ֶ@@&@&.ն(*۶(*ܶ@@&@ &.۶( *@4E&&&~(*&|&z(*& %@''&y(*@&a9 $&`2 ޷2~ &\2 L2n d&[''(!*(*&2&3&Z(%*(#*&6&7&T()*('*&:&;&S(-+&!&R@(/'v/'k/M/J/&/&/G/7/2/-&&O &8@@@@'ܠ&5,<&9&4'+&2(J+@>'h2 9J &- &+ 9U ٶ&1 &/ 9Y AA'X &(&'@ B2'@&Q Y9@@@@@@@@@@@@@D&'@@A@@@@@@@( &" @(w'/H//I2 9./L&[ &Y ©2 ./P&_ Ŷ&] Ʃ. D(+Y&@&~ Y9@4@&_&`&!(+c@ &9&@('׶/aH/b/c/d(+j&&&lif& @@@@(:& @wtq& 2B3 i.Q Z&(@@1*@@(J& @&2C3" 3 (@@@@@(Y& @&2D31 3( ( f@@@@@(h@@'&9&& 3n&A& @&2E3H 3? & 3/ %@ 0n@3%3' 2x@ B% C0@@%@@(% @ȠŠ%2F3c &3Z '& (% @3K A@ V2 /@3C \0@3G3I b2 Y%@ f% g%@@+@@(% @%3G% ޶3 ߶3 &@ 3o e@ 13@3e3g 0W@@ ( c'@@%@@(͠% @ %3.H& h3 i3 j&^ k% % 3 @ / c)!@3 %@ )! &0@ %@ )! %@ % )  %@@%@@(%ې @41.%3XI3  :l 5@@@@@)%ڐ @DA>%3hJ3 3 3 @ Р:~ 3@3 %ِ@@%@@)%֐ @[XU%3K3 3 ѩ : ܠ: 3Ԑ@@@@@)1%Ր @nkh%3L&s ̶4  Ͷ4 ζ& ϶@ 6 : :B1S1U]&^%Ԑ@@&@@)N%Ӑ @%3M4& 4 ''%%@4 0A Р7 Ҡ:Ω Ԡ:ɩ %Ω41y©1{ +%ͩ%̐@@@@@)t%ː @%3N4L4C'(')%*%+@&.4+ݩ.4/41@@@@@)%ʐ @Πˠ%3O%,4j4OE35F@/ ]%ǩ1  `(</ c&1 d3 [1@@@@@)%Ɛ @%4P4I%a'b4mc@ ";'@ @   3 3@@@@@)ˠ%Ð @   %4,Q%f%g%h%i((&Q&O@ 0ض@ * %@@4 * %@4 %@ * %@ % ޠ %*/@@%@@)% @ 6 3 0%4ZR4(4)''e4@D@@ Ơ0 % 1@ '\@@%@@*% @ P M J%4tS1Q%@(bȶ(`ɶ&& @ l%@:%@ 1  %@@%@@*-% @ j g d%4T1k%({(y&(̶&&Ͷ@@R%@@4%% %@@%@@*G% @   ~%4U1ն55!5@; %@4t%@@'@@*_@@@%;%@@@@;%%%5j5T5B @ @ 4   %@@@@44 @ @4ǟ @ %   @@4x@@44l @@4tL@ % Р ͠ @@@@@44[ @/@4cL@ %  ߠ @@@@@4Ϡ4V @A@4^[׀@ %   @@@@@4ᠠ4D @S@4L[؀@ %   @@@@@44? @e@4GN @ %   @@@@@540 @w@48N@ % * ' $@@@@@54+ @@43@ % < 9 6@@@@@5)4 @@4$@ % N K H@@@@@5;4 @@4 G̀@ % ` ] Z@@4@@5M4 @@4 G̀@ % r o l@@@@@5_3 @@4G΀@ %   ~@@42@@5q3 @@4;@ %   @@4D@@53 @@3;@ %   @@4V@@53 @@3;@ %   @@@@@53 @@3>@ % ̠ ɠ @@4z@@53א @+@3>@ % ޠ ۠ @@4@@5ˠ3Ӑ @=@3.o@ %   @@@@@5ݠ3 @O@3.o@ %   @@@@@53 @a@3.o@ %   @@@@@63 @s@3 \타@ % & # @@@@@63 @@3 \턀@ % 8 5 2@@@@@6%3 @@3 \텀@ % J G D@@@@@673 @@3%]@ % \ Y V@@@@@6I3 @@3%]@ % n k h@@@@@6[3 @@3%]@ %  } z@@@@@6m3 @@31@ %   @@3q@@63o @@3w2@ %   @@3@@63h @@3p2@ %   @@3@@63_ @@3g@ % Ƞ Š @@3@@63K @'@3S@ % ڠ נ @@3@@6Ǡ3@ @9@3H;@ %   @@3@@6٠30 @K@38;@ %   @@3@@6렠3* @]@326ƀ@ %   @@3@@63 @o@36ǀ@ % "  @@3(@@73 @@3>}ŀ@ % 4 1 .@@6@@7!3 @@3 1܀@ % F C @@@@@@733 @@3 -h90@ % X U R@@@@@7E2 @@3׀@ % j g d@@@@@7W2 @@3C@ % | y v@@@@@7i2 @@33@ %   @@@@@7{2 @@2+Z@ %   @@@@@72 @@2@ %   @@6`@@72 @ @25ST@ % Ġ  @@6r@@72 @ #@28w@ % ֠ Ӡ @@6@@7à2ܐ @ 5@21@9[9R8\; ]% ʠ Ǡ @@@@@82 @ )@2.o@ ː% ܠ ٠ @@@@@8ɠ2 @ ;@2 \@ ɐ%   @@@@@8۠2 @ M@2%]@ Ȑ%  @@@@@82 @ _@26@99k8;2;z2%@@2@@92 @ x@220@ ʐ%+(%@@6 @@92 @ @2׀@ ǐ%=:7@@2w@@9*2k @ @2s;@ Ɛ%OLI@@2@@9<2g @ @2oǟH@ Ɛ%a^[@@2_@@9N2] @ @2e(=@ Ɛ%spm@@2]@@9`2P @ @2X@ ʐ%@@9?@@9r2M @ @2ULP@ ̐% @@2J@@92D @ @2L>@ ͐%à@@2A@@92= @ @2EH@ ΐ%Ġ@@2S@@927 @ @2?;/@ ͐%Š͠ʠ@@2e@@927 @ ,@2?.o@ ѐ%Ơߠܠ@@2w@@9̠24 @ >@2< \@ Ӑ%Ǡ@@2@@9ޠ24 @ P@2<%]$@ א%Ƞ@@2@@924 @ b@2<3b%@ ې%ɠ@@9@@:21 @ t@29NI@ ݐ%ʠ'$!@@2.@@:2* @ @22\@ ߐ%ˠ963@@2@@@:&2* @ @ ߐ%̠GDA@@2@@:42 @ @2B*< ހ@ ݐ2[XU%А@23@@:H1 @1@ ܐ1jgd%Ґ@2B@@:W1ϐ @ @1!j0@ ܐ%Ѡ|yv@@3z@@:i1 @ @1)n`@ ܐ%Ҡ@@1@@:{1 @ @15S@ ܐ%Ӡ@@38@@:1 @ @11I@ ܐ%Ԡ@@3J@@:1 @ @1'2@ %ՠĠ@@3\@@:1 @ #@1q@ ␑%֠֠Ӡ@@3n@@:à1 @ 5@1=l@ 搑%נ@@1@@:ՠ1 @ G@1ʀ@ 搑%ؠ@@3@@:砠1z @ Y@1v€@ 琑%٠  @@3@@:1x @ k@1U@ 鐑%ڠ@@3@@; @@@@@8,:;;@A@,% @/,)@E@;;; ; @@@@@%% @;/;:;79%-7@;8%MJG@@@@@%Ԡ% @XUR@EA;J;ζ:ϩ74CX{@%#H0xB:@@@@@%% @spm@FB;/@@@@@%% @~{@FC<:@w;@@@@@& % @@F,D//-@9@:.!@@@@@&+subset_refl @@F?E<#\/2@@@@@&.% @@FMF/'/(-)@8@9n.B@@@@@&@% @Ġ@F_G0<<@?@@@@@&% @A>;@FN0P0N<@@@@@@@&Π% @ROL@FO0aǶ0_ȩ8-I7H;@@@@@&ᠠ% @eb_@GP<ڶ@{C @@@@@&% @uro@GQ<@`@@@@@'% @~@GR== @C@@-@@'% @@G0S= =1%Cɩ;+@@@@@'&% @@GET=)=F @C@@/h@@'7% @@GVU=:0< 1=X@cӠ'@@@@@'I% @͠ʠ@GhV=LB=i,@D䠩OD:D@@/@@'\% @ݠ@G{W=_U=|?@1KDdD@@/@@'o% @@GX=Q s#@@@@@'% @@GY=x=b@z@o@z@@/@@'% @@GZ=<|-U=V<@@@@@'% @)&#@G[=<@@hD[@@@@@'% @:74@G\=<%@Rz1{@@@@@'ɠ% @MJG@G]=¶<ö%Ķ@De@@@@@'۠% @_\Y@G^=Զ<ն%֩vDDM@@@@@'%Đ @tqn@H_=>ө= DD@@@@@(%Ɛ @@H"`><>$ƠD ʐ@@@@@(%Ȑ @@H6a>=>8ڠ<1+ݠ  =A@@@@@(.%ʐ @@HMb>1'=(>O@+ʠ7h@@0s@@(B%̐ @Ơà@Hac>E;=+<D@@@@@(R%ΐ @֠Ӡ@Hqd>UK=;LE@@@@@(b%А @@He>e[=K\&n]@߶@m';LE"@@@@@(v%Ґ @@Hf>yo=_p&q@@@@@@(%Ԑ @ @Hg>=p&@ƠK=@ @@@@@(%ؐ @.+(@Hi>=@E!E`@@@@@(%ڐ @?<9@Hj>=>@>@>РE~]@@@@@(Ҡ%ܐ @VSP@Hk>˶=̩l~>ͩ=@@@@@(䠠%ސ @heb@Il>ݶ=޶@"E@@@@@(% @yvs@Im>='@!2@@@@@)% @@I'n? ='@''ȠE۩ʠEN@@@@@)0% @@IOp?3)>*'<+ˠU3c@@@@@)E% @ɠƠ@Idq?H>>.?'Q@ࠩ* 33@@@@@)Z% @ޠ۠@Iyr?]S>CT?{>@Vc=+FdFW@@0*@@)q% @@Is?tj>Zk?U@G i@@0<@@)% @@It?|>l}@0@@@@@)% @@Iu?>}@@@@@@)% @'$!@Iv?>FX@@@@@)% @741@Iw?>Fp@@@@@)à% @GDA@Ix?>'@=ڶ@@@@@@)֠% @ZWT@Iy?϶>ж@Em@@@@@)砠% @khe@Jz?>@V~>F@@@@@)% @}zw@J{?>6?F@@@@@* % @@J)|@ >@H6@@@@@*& @@J:}@@; ,@@@@@*,& @@JK~@/%?&Ơؠ5\Y@@@@@*>& @ @J]@A7?'8ؠF@@@@@*O& @ӠР@Jn@@RH@o2xG G_@@@@@*_& @@J~A@bX@B@ZGNG@@2@@*p&  @@JB@si?Yj(|k@U@& G)62@@@@@*&  @ @JC@~?n(@j@@& GF63+}@@2@@*&  @@JD@?(@@@9a3@;@@1i@@*& @41.@JE@?(@@@+N*@@1}@@*Ġ& @HEB@JF@<"ة? %A @@@@A@@*% @%*%G@%-萐%zwt@@@@4A$@$@#T@ABC@@+% @k@@%@@@@@+% @@K2H%QA3%HRA@A@37m@$@@H[@A3$7/@@$@A X@$7W$7~D($@$$@@+$ @B?<@KN%$7t$>E;%HzA@6@A3E7@T$ީ=B@$$@@+֠$ϐ @ZWT@KO%$Ѷ7@$˶>^T%H@Aն@ֶ3]>@$Ķ@Dՠ H@Bƶ3d7A߶@Aݐ5ж@$é7h3$¶A7Hi$@$$@@+$ @}@LP&$$$7$>@$2%AF$AGB @$@B)37$7@y$7$$@$$@@,$h @@L=Q7Ӷ@$j@B$@46@B'A @6BF @B7$d@$cB0&>@$b$`@@,:$^ @@LYR7@4$`@B@6A&7@$Z@Hj@Bb%BG=@@38 BLB$V@$U$S@@,V$Q @ڠנ@LuSBYOS[II@@$S@@,g$I @@LTBj`&k$K&cI#>$E'/<䠩$?I+<蠶BV=Ҡ$9ZAEm$6'3Ep^I.I5I6@$5$3@@,$% @  @LUB&$'$!$$$&IF?@q$@3XAӠ $IM@$$@@,$ @%"@LVBAB&$$;$9$7$5&I`?-@?*@"#?$$$3#Ih@#>AIc@B#@#8B1#A884#@##@@,ʠ#ې @NKH@LWBö&#ݶ&I?RH@BAEWI@##@@,ݠ# @a^[@LX&#$t$r$p$n?e޶#?b@Z$i?\\%J#I#$3B*EI&?BC Ω8wf#? Ii#@@#@@,# @}@MY'#$$?|#۩?@{%?}}&k#I'E#BJC @%8۠##@@#@@-# @@M;Z'#$$$$?#?#:'?RC&B @8##@@#@@-6# @@MU['9$?¶'2IBWIIIdII@@#@@-I# @͠ʠ@Mh\'L$,$$޶$$ڶ?J$&l$g'I?CSICp3@%8נ89%XFJ9&J 1@@#@@-e# @@M]'h$H$$$$?f$B$9'e?CoeCO@g8I@@#@@-}# @@M^'$`%%%%@~$Z$Q'}?C}Cg@9 9XJ<99[wFe@@#@@-# @@M_'$|%0%.%,%*@!$v$m'?϶CC@u9'}@@#@@-# @52/@M`'$%H%F%D%B@9$Զ$϶'?CB9D39A?'59C?Jx79E?Js9#@@#@@-Ϡ# @SPM@Ma'$%f%d%b%`@Wж$$'@C϶BЩ9bQ9_@ @@#@@-蠠# @lif@Nb'$˶%%}%{%y@p$ $'@CB@DԩC9yn9t9Fp9v9JҐ@@#@@.# @@N&cD ##C'##@#JJǩ##J#{Jː@@#x@@.#v @@N=dD!C=#l#J#@@@'@BWA(1=(@g@ABC@@.5#O @@NTeD8.&u(v>˩>D\?9"C^#ĩBĐ@@@?@&@@ABC@@.S#  @נԠ@NrfDVL@fCs##@@@@@.c# @@NgDf\CL]DG@@KG]K"C#@#吩5b@@@@@.|" @@NhDu?ڠC$#@@@@@."ې @ @NiD@@@@@@."͐ @@NjD"$ @C$#_$FD@#sig#* @D@@@BA8AD@A@@." @?<9@NkD@D@D@@@BA1>lBD@@AB@@.Ӡ" @WTQ@NlD̶CͶ@MC$Z#G @@@D@A;@=@C@2@ABCD@@.ꠠ" @nkh@O mAj3Ac$pD $r:@@D/@@."\ @}z@OnD$I'$h@@@@@/ "T @@O*oE*D*$Y]$${@@@@@/"G @@O=pE!DD>$$o)qR@@@@@/4" @@OSqE7-D.@EDU$$e@@@@@/I! @͠ʠ@OhrELBD2C@%PeanoG@! UxT@@@@@@/a!ސ @@OsEdZDJ[EE@k@I@E\ԩ@"lt Uxc67@@@@@/}!Ȑ @@OtEvDfwD%$ΐ_$EҐ@@@@@/! @@OuED|D%% @#sub x@@@@@/! @.+(@OvED`+)@@@@@/!x @>;8@OwEE@D۰%A @@@@@/͠!f @QNK@OxEƶE@D%T%J@@@@@/ࠠ!M @da^@OyEٶFö@۩E%g%]2@@@@@/!5 @yvs@PzEFض@ʩE%|"@@@@@0@@@@@ 6q FRF<@A@6v*PropertiesP!P%   @P  @F- @    @@@K.F @   @@@@K5O @@  @DZ@@K<F @@  @@@@KC@ ~@@@@3dXj@ r p@A@3d_@ o l@A@AB kM @ @  j@ ۠<L@A@ k@@@@OF^ @@ POq L@@@OA8 @@ J E@@@@OD @@ D C@@@@OEo @@ B =@@@@OD @@ < :@@@@OC @@ 9 8@@@@ODQ @@ J 7@@@@OCؐ @@ 6 5@@@@OC @@ = 4@@@@OCM @@ D 3@@@@OƠEe @@ 2 1@@@@O͠E3 @@ 9 0@@@@OԠ* @@ / ' &@@@O۠B @@ $ "@@@@O⠠Bt @@ + !@@@@O頠N @@  @@@@ON @@  @ @@O  @@  @@@@OBR @@  @ @@PN8 @@ @@@P F @@@@@@PN @@吠@?`@@PE @@ݐMܐ@@@@P&E @@鐐M8Ր@@@@P2Ei @@ΐMΐ@@@@P>C @@ƐLנƐ@@@@PJB @@ҐL@@@PVG @@Lf@@@@PbQ @@@E_@@LAG @@@@@@LHL  @@@@@@PwK @@@@@@P~KԐ @@@@@@P~ @@}s@@@@PK @@rg@@@@PK @@fW@@@@PKf @@VF@@@@PK: @@E:@@@@P9 @@8+@@@@P* @@)@@@@P @@ @@@@P  @@ 퐠@@PĠސ @@ΐ@@@PˠJ @@@C@@PҠI @@@D@@P٠I @@@D@@PࠠIS @@{@z@@P砠I  @@qc@@@PH @@b[@CC@@PZ @@YV@CJ@@PHv @@UF@E@@QHJ @@C9@L@@Q @8@@@@3dXj@5"@A@3d_@3" @A@AB@H(H+HH2HH  @@vGǠu@@@@G_GO @jG@g@@G6@@GiG* @bGA_@@@@@GsG @ZGBW@@@@@G}G @UGCR@@@@@GF @MGDJ@@@@@GFݐ @GGED@@@@@GFƐ @?GF<@@@@@GF @9GG6@@@@@GF @2GH/@@@@@GF @.GI+@@F@@GàFx @%GJ"@@@@@G͠Fl @$GK@@F@@GנFa @.GL@@F@@GᠠFM @8 H M @@F@@G렠F< @BHN@@@@@GF/ @LHO@@F@@GF @VH'P@@F@@H F @`H1Q@@@@@HE @jH;R@@@@@HE @tHESڐ@@@@@H'Eߐ @~HOTԐ@@@@@H1E͐ @HYUΐ@@@@@H;EÐ @HcVȐ@@@@@HEE @HmW@@@@@HOE @HwX@@@@@HYE @HY@@@@@HcE @HZ@@E_@@HmE] @H[@@Ei@@HwEN @H\@@Es@@HE= @H]@@E}@@HE! @H^@@E@@HE @}H_z@@E@@HD @tH`q@@E@@HD @mHaj@@D@@HDȐ @ eHbb@@D@@HD @`Hc]@@H@@HǠD @XHdU@@@@@HѠD @(RHeO@@@@@H۠D @2JIfG@@@@@H堠D @<DI gA@@@@@HD @F>Ih;@@@@@HDi @P7I!i4@@@@@ID` @Z2I+j/@@G@@I DV @d,I5k)@@G@@IDF @n#I?l @@G@@I!D: @xIIm@@G@@I+D' @ISn@@G@@I5D @ I]o@@F1@@I?D @Igp@@F;@@IID @Iqq@@El@@ISC @I{r@@@@@I]C @Is@@@@@IgC @ItJ#J#J#I LXCܠQ J^JH@J33ZNJ@@@@@IC֐ @Iuߐ@@@@@ICɐ @IvJ&$JC$J:$IDL|֩C C&@@@@@IC @IwӐ@@@@@IC @IxJ_$"JV$#I`L>@@@@@IC @ Iyǐ@@@@@IC @Iz@@@@@IʠC @!I{@@@@@IԠCy @+I|Jo$eJ$OIL"֩Cs$lL^!@@Ck@@I堠Cg @<J }@@F@@ICX @FJ~@@CF@@IC: @PJ!@@CP@@JC. @ZJ+@@@C@@J C @dJ5A@@C@@JC @nJ?B~@@I@@J!B @x{JICx@@B@@J+B @tJSDq@@B@@J5Bܐ @mJ]Ej@@B@@J?Bΐ @dJgFa@@B@@JIBƐ @`JqG]@@B@@JSB @ZJ{HW@@C@@J]B @VJIS@@C@@JgB @RJJO@@J>@@JqB @LJKI@@B@@J{B @FJLC@@B@@JB @BJM?@@Bz@@JBy @=% #b!@B@8Bm8@B@@JBH @BG@5B<5@B@@JB& @3JN0@@C@@JB @+JO(@@A@@J A @#JP @@Cw@@J̠A @#JQ@@C@@J֠A @-JR@@C@@JࠠAؐ @7KS@@C@@JꠠAА @A KT @@A@@JA @KKU@@C@@JA @UK&V@@C@@KA @_K0W@@C@@K@@@@R$AkAjKAnAAj @qKZ@Ag@@@@@A@ @{KdA@@@@@@A@@@@R@@Π@͒L@A@͑,<@@̐@DW@AA@@@@L'@@@7\@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BG@@@A@@@@@z@x@AP@t @AAH@HٷHַH@mH@lHADAD@SLiA%@A7\@J@@k@ NM@jHADAD@@@d@@cHADAD@@@^@ @]HAD@N@X@S@QAD@O@MAD@R %@@@@LAD·@@4R$@3AAķADŷADƷ@Z.@[/@)ADɷADʷ@^2@_3@#ADͷADη@b6@c7@"ADѷ@e@!@AAEHA:HHH@H@HCH3H.H)"@А@@@@A@,<@@A\D?BD@8A5AAA??@eLAx@@*r:@@@@@@@@@@@@@D?@@A@@@@@@@AϠ? @B:AI %I ÷I IB?E@|@@9*r:@N}@@@?ܷBIE@ ?SO?@BKAI6IԶIҶI϶BPE%@?А?Ϡ`@@@@A? @iLRB@@J@@A? @sL\C@@@@@B? @}LfD@@@@@B@@A<?SB??M?A? @LxE@@?@@B#? @LF@@E@@B-?p @LG|@@?Y@@B7?U @kLHh@@?+@@BA?% @KLIH@@@@@BK? @ELJB@@?@@BU?  @8LK5@@@@@B_? @/LL,@@?#@@Bi> @LM@@@@@Bs>ʐ @LN@@@@@B}> @LO@@@@@B> @LPא@@@@@B> @LQĐ@@>V@@B>R @LR@@>`@@B>@ @MS@@>!@@B> @%MT@@>@@B> @/sMUp@@?}@@B@@@=S=@@@@S=蠠=r=ꐐwMMM @"@"McIe@@@@LL @@L3 [@"=Yc@L@@M L̐ @@L4c@"=ia@@@@ML @@L4d@"=ߠy_@@@@M+L @@L &@"=ޠ]@@@@M;L @@L '@"=ݠ[@@@@MKL @@L:h_\@"=ܠY@@@@M[L @@L:h_]@!=۠W@@@@MkL @@L4d΀@!=ڠU@@@@M{Ln @ @Lv4dπ@!=٠S@@@@MLh @@Lp4@"=ؠQ@L\@@MLP @+@LX4@!=נO@@@@MLJ @;@LR4@!=֠ M@L|@@MLE @K@LM܂B@!=ՠK@L@@MˠL7 @[@L?܂C@!=Ԡ)I@L@@M۠L, @k@L4܂D@!򐑠=Ӡ9G@@@@M렠L% @{@L-/7 @!򐑠=ҠIE@L@@ML @@L!/7@!򐑠=ѠYC@L@@N L @@L  @!𐑠=РiA@@@@NK @@L @!=Ϡy?@@@@N+K @@K @!됑=Π=@@@@N;K @@K+vWҀ@!됑=͠;@@@@NKK @@K+vWӀ@!됑=̠9@@@@N[K @@K+vWԀ@!됑=ˠ7@@@@NkKڐ @@Kw 7@!琑=ʠ5@@@@N{Kΐ @ @Kw 8@!琑=ɠ3@@@@NKȐ @@Kw 9@!向=Ƞ1@@@@NK @+@K%N@!ᐑ=Ǡ/@K@@NK @;@K%O@!ߐ=Ơ -@K@@NK @K@K%P@!ސ=Š +@K@@NˠK @[@K2҉@!ِ=Ġ ))@K@@N۠Kq @k@Ky2҉@!֐=à 9'@K@@N렠Kd @{@Kleހ@!Ӑ=  I%@K@@NKR @@KZe߀@!А= Y#@K@@O KJ @@KR #@!ϐ= i!@K4@@OK0 @@K8 #@!͐= y@KD@@O+K* @@K2M@!ΐ= @O@@O;K @@K'5K)+@!̐= @@@@OKK @@K# @!̐= @@@@O[K @@K1c&@!ʐ= @@@@OkK @@K4\pL@!ʐ= @@@@O{K  @ @K/3@!ʐ= @@@@OJ @@K t@!ɐ= @@@@OJ @+@K,Z@!ʐ= @Nl@@OJ @;@Jm@!ʐ=  @N|@@OJ @K@JHƀ@!ǐ=  @N@@OˠJ @[@J!@!Ő= ) @N@@O۠Jא @k@J>B@!= 9@N@@O렠Jѐ @{@J @!= I@L@@OJ̐ @@J0ѝ@!= Y@L@@P Jǐ @@Jp-@!= i@L4@@PJÐ @@J4@!= y@@@@P+J @@J \@!= @@@@P;J @@J4L@P*϶P*P*OS/!JX] AU@Q -BۀP!= @@@@PZJ @@J<*@!= @@@@PjJ @@J܂s@Q*Q%*Q*P&S^!J!ߩJ1= @@@@PJ @@J-@!= @@@@PJ @#@J/7>@QM+QD+PNS!U= @@@@PJ @7@J >@!= @@@@PJ @G@J+vX@!= @@@@PǠJ @W@Jw h@!= %퐠@@@@PנJ| @g@J #F@Qu+kQ+UPS)ܩJy+Sd(= <될@Jt@@PJp @~@Jx%@!= L鐠@M@@PJg @@Jo2Ҋ&@!= \琠@J[@@QJO @@JWf@!= l吠@Jk@@QJI @@JQ3 @!= |㐠@J?@@Q.J= @@JEW$G@!= ᐠ@J;@@Q>J. @@J64e @!= ߐ@Q@@QNJ) @@J14@!= ݐ@J$@@Q^J @@J&/7I@!= ې@J@@QnJ @@J4W@!= ِ@J)@@Q~J  @@J܂~@!= א@J9@@QJ  @@J I@!= Ր@JI@@QJ @.@J+vX@!= Ӑ@JY@@QJ @>@J w s@!= ѐ@Ji@@QJ @N@J {8@!= ϐ@Q@@QΠI @^@J:h_@!= ,͐@I@@QޠI @n@I b@!= <ː@J@@QI @]@!= Hɐ@I@@QI @!,*͚@JMl@!Iؠ Zǐ@I@@R I @I@!I gŐ@J@@RI @@I?6@!= wÐ@K:@@R)I @@Iد@!= @Iv@@R9Im @@Ium-?@!= @J@@RIIg @@Io!>@!= @K@@RYIe @@Im7@@!= @K@@RiIa @@Ii!N@!= @K$@@RyI_ @ @Ig:@!= @IY@@RI3 @ @I;&7@!= @KD@@RI, @ )@I42@!= @KT@@RI( @ 9@I0"o]N@!= @Kd@@R@@@@@ FC HSS@A@Cà= @ ]v@@@@@@=c=S @@=A #@@@@=o=. @ ,]AS-Sq-gRW-hN͠Z t@=p SՀHX@@@@@==# @ B]B@@@@@==! @ L]C@@@@@== @ V]D@@@@@= @ `]E@@@@@== @ j]F}@@@@@== @ tx]Gu@@@@@==  @ ~p]Hm@@@@@=ˠ= @ k]Ih@@@@@=ՠ= @ f]Jc@@@@@=ߠ< @ ]]KZ@@@@@=頠< @ S^LP@@D@@=< @ I^MF@@@@@=< @ A^N>@@@@@>< @ :^$O7@@@@@><ڐ @ 1^.P.@@@@@><֐ @ +^8Q(@@@@@>%<Ӑ @ &^BR#@@D@@>/<ΐ @ ^LS@@@@@>9<Ð @ ^VT@@Ft@@>C< @ ^`U @@@@@>M< @ ^jV@@F@@>W< @^tW@@F@@>a< @^~X@@@@@>k< @(^Y@@F@@>u< @2^Z@@@@@>< @<^[ؐ@@@@@>< @F^\ѐ@@@@@>< @P^]Ȑ@@@@@>< @Z^^@@@@@><{ @d^_@@@@@>ŠϠ٠㠠0V,/@;@@@@@@; @`:CV0U0>'0V=0@/@;@@H`@@@/; @`LDV00&U0'>90(VO0@/*@@@F@@@?; @`\EV@06U&07>I08V_0"@/@"@@G@@@O; @ `lF@@@@@Y;7 @{`vGx@@u@@@c;# @t@q; #q@n@@@o: @-@/:/k@@@@@{: @8i`H;;/V0\Qؠ/]8 @;K-_Tf@@d@@@:ʐ @Mb`I;P/̩_10@;#>X]Q@@R#@@@: @a[`JV0/;&X]a@@R3@@@: @qY`KV@::@@@:k @{M`L::kLrJSC.9:]xV0@I@V0HCLU0>0@!@G@X:X:WE@:M:I@@@נ:G @C`M@@::@@@ᠠ:  @$`N!@99@@@렠9 @aO@99@@@9 @aP@9u9o@@@9I @aQL߶@޶@W0U0@KҶW"0@ܶ@9<ِ@9:98@@A96 @a/R֐@99@@A9 @a9SĐ@@9@@A&9 @aCT@88@@A08̐ @aMU@88@@A:8 @aWVW;11V!12WY1;>888ж88̶;8]S@@@@8@8y8w@@AQ8b @anW@8U8S@@A[8< @axX|@@8@@Ae8 @"gaYd@@7@@Ao7 @,TaZQ@@7@@Ay7א @6Da[A@@7@@A7ɐ @@;a\8@@7@@A7 @J)a]&@@7@@A7 @Ta^@@7@@A7 @^ a_@@7@@A7 @ha`@@7w@@A7r @raa@@7e@@A7b @|abՐ@@7o@@Aɠ7M @ac@@7-@@AӠ7+ @ad@@@@Aݠ6 @ae@@@@A砠6 @bf@@@@@A6 @bgW1V1X1Ӷ@4@@@@@@B6n @bh@@@@@B 6Y @b(i|@@@@@B6G @{b2jx@@h@@B6 @eb<kb@@[@@B)5 @WbFlT@@N@@B35͐ @JbPmG@@Wp@@B=5 @BbZn?@@@@@BG5 @=bdo:@@@@@BQ5z @4bnp1@@@@@B[5? @(bxq%@@@@@Be5 @"br@@@@@Bo4 @,bs @@@@@By4Đ @6bt@@@@@B4 @@bu@@@@@B4q @Jbv@@@@@B4U @Tbwې@@@@@B4: @^bxҐ@@@@@B4 @hbyɐ@@@@@B3 @rbz@@@@@B@@@@@I*Y X@A@I/-OrdPropertiesbACb"b@_D_G@b @J[@@@@ %'@[@A@A@@@AA@@A@_ @^@&_f@b9!))@,_l@b?!))`0@@@@@^/ @@/RelationClasses`.@^,~@C_@bV!))H_@`!0@@@[A݋X_A@A@@8"lt @h@\_@bo!))@b_@bu!))`f@@@@@AA@@A@+lt_strorder @@:@+StrictOrder.[@{_@b!))_@/!1-@@8@@)lt_compat @@`@_@b!))@_@b!))``z_@b!))@_@b!))`_@`x!0`_@b!))`_@`!0`o_@i!1-@@[@@X'compare @d@` @b!))@`@b!))b@*comparison;f@@@@@@t,compare_spec @@_`%@b!))]ښ`+@b!))b@+CompareSpec!Q]@`9@`!0^W`?@!1-^]`E@!1-`| `K@L|^i@@@@@^ @@_š`Y@c,!))^`_@c2!))&Specifb@^7̂K@/`o@`!0^`7`w@a!0^@@@@@#@&Orders*Structures#Coq@+OrderedType@@@@|@M`@'compare|d@@A@A!))@R`@!t!))J@@A@!0@X`@"eq!0^@@A@!1-@^`@"lt!1-h@@A@ABC4Yc @k`@c~!))@c}q`@c!))@cr@@cpcmcX @cWz@c%Z%@cV@@czcT @cS@@c%Z%cR@cG@@ccE @cD@@c%𖀶@@c%Z%ca@cC@@ccA @c@@@c%𖀶@@c%Z%@c%Z%@c?@@cc= @c<@@c%𖀚@c%Z%@c;@@cc9 @c8@@c%𖀶@@c%Z%@c%Z%@c7@@cǠc5 @c4@@c%Z%@@c%Z%@c%Z%@c3@@cڠc1 @c0@@c%Z%@@c%Z%@d%Z%@c/@@cc- @c,@@d %Z%@@d%Z%@d%Z%@c+@@dc) @c(@ @d%Z%@@d"%Z%cݐ@c'@@dc% @c$@@d,%Z%@@d1%Z%c@c#@@dc! @c cc@@*@dG%c@/@dB%Z%c@c@@d/c @c @@:@dW%d@?@dR%Z%d @c @@d?c  @c @@J@dg%d@O@db%Z%d@c@@dOc @c@@Z@dw%d(@_@dr%Z%c@dv%Z%@c@@dcc @c@@n@d%d<@s@d%Z%cy@d%Z%}@d%Z%@b@@d}b @b@@d%Z%b@b@@dbސ @bݶ@@d%Z%bܐCdb@b%𖀐@b@@db̐ @b˶@@d%Z%bʐ@b@@db @b@@d%𖀶@@d%Z%b@b@@db @bb@b@d!))@@d%Z%bʩbb @d!))@@d%Z%b֚b@b!0b@d%Z%bb@d%Z%b@b%_@b@@d砠b @b@e%Z%b@e %Z%b@e%𖀩b@c%_b @c%_b@b~@e!%Z%b}@e&%Z%b|b{@bg$Setsba@A@@6&SetsOn6 6@A@@@Ebgbfbi@@w@ bo@w@A@A+l @@+l @A@+s@@+s@A@+t$@ @+t$@A@ABC@A@666@A@@@b@@Hn@!@Hn@A@AHv@@Hv@A@Hv@@Hv@A@.+0@ @.+0@A@ABC@A@b@@eNb @b𚠐Z@em%Z%b_@er%Z%b욠d@e%𖀶@j@c|%_b驚o@c%_b@bt@e%Z%by@e%Z%b␐bfa[HD@b}@@eb{ @c"@e%Z%c@e%𖀩bz@c%_c@bu@e%Z%cbtlh@bj@@ebh @bg@@e%ccL@e%Z%be@e%𖀶@@c%_c8bc@ba@@e%b`b_@e%Z%c5b^@bW@@eӠbU @b@@e%cc{@e%Z%bT@f%𖀷b@f %𖀩bN@d %_cnbH@bF@@f%bbE@f%Z%bDbBѠ@b3@@f cې @@c&L}@@@f,%Z%@@f1%Z%bb' @b(@@f%b& @b%b$0@b%Z%4@c&L}@b@@b b  @bb>@b'%Z%bC@b,%Z%bJ@c&L}aaQ@c&L}a@a@@b)a @ac񚠐[@fn%Z%c `@f}%𖀩dd*f2i@f'%Rca멚n@d%_c@a@@fna @adx@f%Z%d }@f%Z%d8dGfO@e&ab@d+&L}a@a@@fa @ad+@f%Z%d)@f%Z%dUddfl@e7cbb%@c2b@a@@faݐ @aܩ@c&K@f&@ڀ@a@@faِ @aضdW@f%Z%d|df@fScbL@c&Kc@a@@fϠaՐ @aԶdo@f%Z%c@f%𖀶aӚ@g%𖀩d@d%_aѩ@f%JdaРd8@d!0do@e%_d|@a@@faɐ @aȶd@g%Z%c @g)%𖀶b@g.%𖀩d̠@e*%_a@f7^mYd6c|%@e7%_dd-dm@d!0d@a@@g-aƐ @aŶcᚠ7@gT%𖀶b,<@gY%𖀩dC@eU%_b*I@flc꩚Od@e!0dƐ@a@@gOaÐ @a¶dY@gl%Z%d횠^@gq%Z%d c@g%𖀩ej@e|%_bQp@f&"labPw@e%_d|@e%_d@a@@g|a @ae@g%Z%e@g%Z%d:@g%𖀩eK@e%_b~@f&Tiac@e%_e#@e%_e @a@@ga @aeI@g%Z%eG@g%Z%dg@g%𖀩ex@e%_b@g%mbd(@e%_ePd@e%_eO@a@@gؠa @aex@g%Z%faabʶa@@h%fϩefש@f%aafޚ@h%𖀩a@h%ffb㩚@fV)4af@a@@hao @ane @h%Z%e԰fm@f{!^dcam@h6%𖀩@fr)4dn@ah@@hab @aae(@h;%Z%dך-@hJ%𖀶a@3@hP%h@f-@<e|@hO!))h fCe@hV!))hHe@f!0acc.fO@fa%_g;U@g 5酀aVd\@fn%_aUaT@aM@@h\aG @aFef@hy%Z%b.@l@h%h:@ff@ue@h!))hCfX|e@h!))hJe@fP!0acgf<fKhS@gf ned @eP;O􀠷e?@h%aHg@aD@@haB @aAf5@h%Z%bg@@h%hs@f@e@h!))h|fe@h!))he@f!0acfufh@gedE@eG0ߜ5ex@h%ag@aC@@hΠaA @a@fn@h%Z%b@@h%h@fذ@f'@h!))hff.@i!))hf3@f!0bc٩@f&L}aB@i%Z%@i%Z%@g𾫀f  @g5酀f%@a=@@i a2 @a1f@i*%Z%b߶@@i:%h@g@&ff@i9!))hg -fm@i@!))h2fr@g!0bMd7@f&L}a3>@iQ%Z%B@iU%Z%G@g𾫀f_L@h5酀eR@io%a.h=@a'@@iRa% @a$f򚠐\@io%Z%f a@i~%𖀩ga#jf@i}!))of@g>!0dUt@g)4fy@g%_f@a@@iya @ag@i%Z%af@i!))f@g^!0@g)4e@a@@ia @a g4@i%Z%fM@i%𖀶@glg͐@i%𖀩@g5-fRa @i%d@g%_fԐ@a @@ia @ag\@i%Z%@gg𐚠@i%𖀩@h5-f$a@i%𖀩@f&Kf@`@@iߠ# @@@@i%Z%@@j%Z%@@@@@i'min_elt @@@@j%Z%h$l@@@h|Ah@A@@j'max_elt @@@@j"%Z%h6~@@@hAh,@A@@j @ƶ@ @!t%Z%@&@%Z%A@@@@@ƠÐ @@/RelationClasses'Classes#Coq@@.[@B@"%Z%F@%b)@@@ %'A*Equalities*Structures#Coq@A݋X_A'Classes#Coq@@A@@א @@)Morphisms.@&ProperL@n@N%Z%@s@S%Z%M@*respectful%WO?~@^%Z%@@c%Z%]@h'&L}@m%Z%g@h1&L}%Logic$Init_@#iffС)@A%b)@@@YAviA)Morphisms'Classes#Coq@@A@@GӐ @@hL@j%Z%hJ@j%Z%j@(CompSpecg@j%Z%@h%a@}%b)ie@ f1@@@jA Gj@A@@j٠.elements_spec2 @@h{@j%Z%&Sorted'Sortingj@1ĭ@h6@k !))h;@!1- @iT)4gP@@@d}ABA@A@@k-min_elt_spec1 @@h @k%%Z%g @k4%𖀶@h఩iA @k=%𖀩 %@1'عgƩb +@kH%f 0@iB%_hH@@b}@@k2-min_elt_spec2 @@hԚ >@kQ%Z%g횠 C@k`%𖀶f8 H@ke%𖀶@iir Q@kn%𖀩 V@b'عhԩb ]@kz%jI@ c@iu%_ddhL kh@ !1-dd@@b@@km-min_elt_spec3 @@i y@k%Z%@iBi @k%𖀩 @'عgשb @k%𖀩 @h&Kh3@@b@@k-max_elt_spec1 @@i6 @k%Z%hO @k%𖀶@iniϐ @k%𖀩 @&yKhTc @k%f @i%_h֐@@c @@k-max_elt_spec2 @@ib @k%Z%h{ @k%𖀶fƚ @k%𖀶@ij @k%𖀩 @&yKc? @l%jֶ@ @j%_dhِ i8@ !1-jj@@cF@@k-max_elt_spec3 @@i @l%Z%@iаj1 @l-%𖀩 @&yKhecB @l8%𖀩 @i&Kh@@cm@@l",choose_spec3 @@iĚ .@lA%Z%iš 3@lF%Z%h⚠ 8@lU%𖀶g- =@lZ%𖀶@jjg F@lc%𖀩 K@j{5-eݩc Q@ln%k=@jj{ Z@lw%𖀩 _@j5-ec e@l%kQ@ k@j &L}FE ti@jC!0kY@@c@@lw@bl@@|@ i@ 4| 3@A@A!))@ i@ 2!)) 1@A@!0@ i@ 1!0 0@A@!1-@ i@ /!1- .@A@AB%b)@ @ 1%b) 0@A@CD@"ME +OrdersFacts*Structures#Coq@0OrderedTypeFacts i吠(OrderTac)OrdersTac*Structures#Coq@.OT_to_OrderTac#OTF,&Orders*Structures#Coq@*OT_to_Full+c @Cm@c!))@>%S!O&Orders*Structures#Coq@@!t5:@@B!O+OrdersFacts*Structures#Coq@S @A@ YgjA@A@@@F"OT)OrdersTac*Structures#Coq@@@"@"@'compare"d@@A@A'f@@!t'fJ@@A@'@ @"eq'^@@A@'j@@"lt'jh@@A@ABC@A@#l-~@@@A@@@I-@@Ӹ@3@'compareӸd@@A@A.#@@M.#J@@A@.@ @"eq.^@@A@.'@@"lt.'h@@A@ABC@A@cy&@@@A@@>@@@AA@@A@d  @@d!0@@k i@d=1u@ \@.5$~snLE,@@@@@%n @@n2ʐ@E͠##@d<1u&K)}@(eq_equiv8p͠@@b@@? @@!1-@<@Z5%>}v]@@@@@AA@@A@+lt_strorder @@ х@[@+StrictOrder.[@^^@1u&(@+lt_strorder+נ@@b@@$)lt_compat @@ 0E@aza{rXa}]$Z_@)lt_compat9#@@a @@C'compare @@ |@@@g @*comparison;f@@pϠ٠@@@@@c,compare_spec @6@ 'b@ddg+@+CompareSpec!Q]@dթdd֩ed@;Xrd3dܐF@,compare_spec"@e;e2] \+k() 7! 7!7%'@@*F2S@-5%>| @"eqF2[ @5$h%Logic$Init@"or @He^E@@@@@蠠'le_lteq @tmT@Aez>eq?`B@A1u&ĀeZJ@@@@@@@@@@@ :@@ : @0E@A@AH[@ @mH[@o1e@A@Y6@#@3Y6@52ʐ@A@ABXrd@)@Xrd@|@A@@1 @%@'b@A@A&[{'@7$@ &[{'+@х@A@1u@>+@1uϑ2@!))@A@1u&K@E2@1u&K9@!0@A@1u&@L9%@1u&ӑ@@!1-@A@ABCDE@"TOVCAeɐ @@@<U@5<<ݠ@@EEG@@:;@@.:;@0= @A@Aw\@@w\@>μ@A@_@@_@?!@A@ABs@@s@Ӹ@A@#1@@#1@8\@A@A+|P@@`+|P@b#{@A@6@@<6@>.#@A@6't@@6't@.@A@6'@@6'@.'@A@ABCDE@A@/OTF_to_OrderTac@A@@@B<@@@B@@A@A1фZ@@[1фZ@A@1ы@@ 1ы @A@1ьO@ @"le1ьOh@@A@1ь^@@1ь^@A@ABCD@A@1OTF_to_TotalOrder"p@A@@@@@@ f @@@m o@fC@ ^w@45CytRuB=&@@@@@-p @%@pY6 @Gՠ%%@fD)1i@ .@ 8p͠@@d@@H  @@;@_5D@rmV@@@@@ @U@ &[{'@UU@!%@)0@+ՠ@@d@@" @p@ :@cqc riMc t_!Oa@X%ޠߠ@@c@@A @@@@@ߏѠӠà@@@@@X @@@ffféUfĩVe@)( B!fʐ@#8u*@@@@@}fː @@fH[@g ʶg˩f%f'<@xI>9:@@@@@C @@向Q@5D1^SN,O@@@@@ɐ @@/@@X%@A@A 6@B@P 6@Rx@A@ H/@I@ H/@ݣ@A@A!F]@M@m!F]d@A@B' @T@' @#8u@A@/I @Y@/I @*☔@A@ACD8F@]@$8F@&4Y@A@:cl@d@:clȠJŀ@A@A:ctD@k@:ctD^U@A@B:ct@r@z:cth@A@:ct@z@:ct̠h4@A@ACE@A@-OTF_LtIsTotal@@@A@@Bggd©dÐ@@@@@@@@@@@@+@UB@_+YF2@c/@( B@|@A@/8T@E@/8T@'b@A@6@L@r6@tх@A@ABCDEQ'eq_refl @QFAB@@D!PEb@@ f@@ f@&@A@A "ˌ@@ "ˌ@0[@A@@@n@p1фZ@A@AB@@!"@#1ы@A@@ @)@1ьO@A@A@@'-@)1ь^@A@.@@.2@gC@A@ABk@@+kő6@-@A@}Ou@@}Ou;@%@A@5|@$@G5|@@I@A@;LG@)@X;LGE@Z"@A@ABCDE@A@@C!OKJ@A@g,MakeOrderTacXD@A@@@BKNJ@A@@A@@@@h@A@A$:@@f$:e@A@$@@Y$X@A@$@ @g$f@A@ABC@A@*OrderFacts#d@A@@@hT2[@@f@@AA@@A@'le_refl @ѠƠ B=83 @Aho.[@@f@@)lt_irrefl @ޠ٠ڠZUPK8@Bhh,[@@f@@5&eq_sym @ѠtojeR@Chh@gӐ@@f@@O*le_antisym @ ̠۠l@Dhh@|@}gf@@g@@k'neq_sym @9.)*@.Ei׶i ض@h8@@@@@*interp_ord @!o)OrdersTacg8@#ordȠ@ @@@@@@@@@@@Doϰ@ +k= R'6'6'6''+k+7T'+7T'6'ࠒAܠ_^]@@"lt\ @@"eq8L@*lР@4Ƞ@@10/@@A@B@A@xA܀k[L @@@@@䠠%trans @pa#@Fjh"o'kiTiU\HV@p'@ L5hp7p0@  |@)trans_ord-0u_WehpA@@[@@(eq_trans @iviw\jx!@?0 PgМApWpPpX@ii\v@chz@e[ L+k() LL7#'D@W$tӠàvqlgT@@@@@L(le_trans @ii\6МCppp@ii\@vh@x[搐 L+k() NN7#'2t3(#$@@@@@z(lt_trans @jڷj ۷\ܩdМBppp@jj\@hڶ@\ L+k() MM7#''@utcX@@@@@+le_lt_trans @j<j3\T&ppp@jAj8\@Q" L+k() MN7#'G@utx@@@@@+lt_le_trans @j\ jS!]"Ftppp@ja%jX&]'@C@rB L+k() NM7#'tp`Q @@@@@頠%eq_lt @jIj|J]=Koq#qq$@jNjO]BP@k L+k() ML7#'@ut̠@@@@@ %lt_eq @jijj]]kqCq<qD@jnjo]bp@@ L+k() LM7#'t۠ܠ\WRM:@@@@@2%eq_le @jj]qlqeqm@jj]@␐ L+k() NL7#'tѠ zub@@@@@Z%le_eq @jj]D@qqq@jj]@ @> L+k() LN7#';t<1, -@@@@@&eq_neq @QFAB @FGk+k"]@m@kpkp@@@@@&neq_eq @pe`>a.ܠנҠ@eHkJkA^@@@@@@@*not_neq_eq @{Y|I:@Ike)k\*@k>I@@]@@ؠ)not_ge_lt @tdU @JkDkwE@kYjd@@i@@)not_gt_le @ q3.)$@Kk`ka@ku@@@@@)le_neq_lt @ݠҠ͠ΠNID?,@Lk{k|@<@!hܐ@@@@@*@@@@@@ :@P=)@  :D@ 0E@A@A+@VC@`+ZG3@d/h6@5Equivalence_Symmetric. U@@@j@@1 @l l _ d@6Equivalence_TransitiveW ysrskss@l !l "_ #@k@^ϐ \+k() 7777# 'z|rtolg@6Equivalence_TransitiveWD ( @@k @@b @m Hl I_ JdI@6StrictOrder_Transitivea Q@6|sss@m Vm W_ X@kʶ@_5@"lt'jt|@ aD@9M@+l a V@@kD@@ @m9 d@7StrictOrder_Irreflexiveπ 7s@mA m`6ߐ0`h@ϐp-X  @@kn@@Š.compare_eq_iff @  @ ,CompareFacts  b@A@@@@    @A@ @mq mh hltmOAΐ@@@@@栠*compare_eq @  !@ Am Ѷm Ҷ@@@@@@.compare_lt_iff @ Ƞ 2-@ Bm m hڠl)B 0m{@@@@@.compare_gt_iff @  ՠJE@ Cm m hlAC Hl@@@@@'/compare_nlt_iff @  b]@ Dm m i m2m/@@@@@=/compare_ngt_iff @  xs@ Em (m )i m0m-@@@@@S.compare_compat @ $ @ #FjW@ @@ A %jR C ĩjT E ) Ʃl + 1@@@jE@fO@l@ABC@@n,compare_refl @ ? 4@ >Gn Ym ? Fa@@l)@@/compare_antisym @ Q F@ PHn# kn lm$ R Ym(p]@'CompOpp@@lC@@m @ @n8 n/ nn@ 7u  u j@@@@@<_dec @nN nE Ȑ!cp@-CompSpec2Type2K  " tt ln2p@)CompSpecTӊ  * ttȐ"c0 m Рp@,CompareSpecT, /@CAAAAAA@@@@@@@@D$ % Ck> k? l"un^ bnVu!e Okn|Bnbd{nf@)False_induُi`d mm@>`Ԁju;@'/^mjmɩ@>xjmu@uHC"SQ <kЩnA:)!@Kxmqd ?lc"H0)'/@2fmjmucu[CnSn YmFTCdVAiA@=umjmumuuCO@n #n $n< +k()7!7!7777= (Rv'> +$9'> +4 7"9'> +59''7"77!77%' 77%' 77!77%' +k()7!7 7!7%'D˰X} j d@6젒h|`%Logic$Init@%Falsee@T@VUH)Datatypes@2Kp(@&eq_symޞ@x.@'@ 6mpР@, /@CAABACAAD4@)False_induُ\J@&k#}4&SpecifA@'sumbool7̂K@Ԡ@'compare"D`@6 U@#notШ  {@@@miA ALq@A@@Ġoc @ob oY oWoI,qv @o5GoE@q@5o4@oq oh q +k() 7!= R'>G'>H''+k6'CBAAAA@@@@@AAABAAAP@$boolZ'@# @ n8Sh ɠ @@@@@)if_eq_dec @ Ԡ @ To o R9=Ib m@@R!vI"b'vDnvMooo>o@rTl~@CvV@vP @@@@@@@@@@@Do r lvYvava@@=I@!@A@A@#Ad%@A@@6'eqb_alt @  @ Uo o nذru@oCNo"o rkqoo@@@@@N*eqb_compat @  @ VlP@ 9@ :r(lK < lM >r, lH@@@@b@@@@@@ :@  x d@ E : @ G0E@A@A+@  ~ @@ +   n@ /|@A@@   @ Q @ S'b@A@A&[{'@   @ &[{' @ х@A@( B@   @ R( B @ T|@A@AB/8T@   @ d/8T @ f'b@A@1u@   @ 1uϑ @ !))@A@A1u&K@   @ ^1u&K @ `!0@A@1u&@   @ `1u&ӑ @ b!1-@A@6@   @ 6 @ х@A@ABCDEF`ࠠ"ML+OrdersLists*Structures#Coq@0OrderedTypeLists %In_eq @@@@!O+OrdersLists*Structures#Coq@ ,@A@ (w@A@@ @U\UZ p p @o wSw[@lA  w]slC  w_o@@@l2@aH@AB@@AA@@A@)ListIn_In @.#@+AUzp @i@p$ 'wzwrl_ ) wtw{@@@lN@i@S!@ABC@@&Inf_lt @H=@EBU8p :p ;@R@&Sorted'SortingxX@%HdRel%5p@ J wsש  L sp&@@@lq@oABA@AB@@B&Inf_eq @mb@jCU]q _q `@m%@@@@R+Sort_Inf_In @}r@zDUmq' ob p@4@21ĭ@ x wʶ@<@l | t pV@@0@@m*ListIn_Inf @@EUqB @q: @l ww6R  ww@@@l@AE@i@S@ABC@@&In_Inf @@FUq[ @qS @l  )wwO@@\@@'Inf_alt @Ġ@GVqn @F  xl,qj @l  @xtL eA@@t@@*Sort_NoDup @ܠ@HV(̶@]  x#S9  Sx@@@@@@@@wa㠠g%g({+uq̒ qϐqˢxqqqŐq(x (q @q qqU qM@Jqy@@L7:c@A@+3x'@A@)@@@@qq @ )qA@qZ@q%Z%q_q`@+@c@q%_qq@@p@@q2p @*')q[Aqqu@ppt%z@p%Rpt@@@@@qHp @@=)qqBq0r@qt:qt-p@@@@@qZp @RO)qCqBpC@@p&L}qqtQ@p&pt1@@@@@qtpא @li)qDr\p]@q.tfr tBp@@@@@qpҐ @~{)qEr"nqo@@p2rqEt}@p7cqt]@@@@@qpː @*qFr<q"@qZtr5tnq@@@@@qpƐ @*qGrN@@p&Kt=qpt@pSpt@@@@@qˠp @à*qHrg@qttTtpА@@@@@qܠp @Ԡ*%rIrxĶrr @y,$@p%JqÐ@@p@@qp @*1rJrڶr5r6@p@@@@@rp @*7r+KrrErF@@'@@p@@rp @ *=r;LrrUrV@!ryd\@p7^mYq@@p@@r*p @"*KrSMrrmrn@@pyp@@p@@r>p @63*UrgNr&rr@!y*q@@@@@rPp @HE*]ryOsr@2y@plqY5@@q&@@rep @]Z*hrPss@sGyu4@@q7@@rvp~ @nk*orQs^q_s0@YyΩ@py&"lqpxT5@@@@@rpr @*}rRs*vrwsHҶ@qyީpm@@@@@rpl @*rSs<r"sZ@o@@@@@rpg @*rTsKr1si@z@pb&Tir)@@@@@rŠpa @*rUsarGs @{@@@@@rԠp\ @̠*rVsprVs@@z,&pW@@@@@r砠pV @ߠ*sWs϶riжs+@ʠz?/@pQ%mraÐ@@@@@rpP @*s&XsrsA@s@@@@@spK @*s7YsrsR@@zf(p@@@@@s!pF @*sJZs sdpA@fv@p?zz@z|m@{5酀qq@@p.@@s<p, @41*se[s$sp\@@p'@@p>@@sLp# @DA*su\s4tpl+@*@0@p81s-)p@@pR@@s`p @XU*s]sHp>@=@@p;O􀠷t"pzs"vZ@p nsNv:@@po@@s}p @ur*s^tep[@Z@s8vps.vL t>pw@@p@@sp  @*s_t.zpp@o@@p0ߜ52sRv@ps~vj@@p@@sp @+s`tIp@@shvs^v|0@@p@@so @+sat\ty@oE{@o)4v@@o@@sՠo @͠+$sbtqt@pZ{,r@@o@@s栠o @ޠ++tctζt)t*@o@@s@@soې @+2t dt߶t:o@@@@@to֐ @+7t/ettIotשsðvt@@@@@toѐ @+@tBftsp@@@@@t(o̐ @ +EtQgtsp @@@@@t7oǐ @/,+Jt`htyp.{}@o&@ڀo@@@@@tKo @C@+Tttit3pB@@@@@tYo @QN+XtjuupQ h@@s)@@tho @`]+]tkuPu!upaL{trg}|@@s>@@t}o @ur+htlueu6u-@pwT@@sO@@to @+otmu*vuGѶu>ҩpQo@@sa@@to @+wtnu<uYuP@ pw@@sr@@to @+~touMq@pR5@@q@@to @+tpu]q@p0@@q@@tѠo @ɠ+tqumupɠ@@p@@tࠠo @ؠ+u ru|ȶu#u$@twөtésI@@@@@to @+usu5twur@@@@@uo~ @+u+tuuEuFtwoy}%k`uu@u:us@@@@@u ou @+uIuuucud@t۰xF@@@@@@u2op @*'+u[vuuuuvtx$ok&of2@@@@@uGoa @?<+upwu/vu@ǩux:5g@@@@@uYo\ @QN+uxvvuxJ% T@@@@@uioW @a^+uyvQtRv#u#x[6o]$@@@@@u|oR @tq+uzvdtev6u6xnIΩo@@@@@uoM @+u{v*vuwvHҩuHx[oǠoK@@@@@uoH @+u|v?v\u\xZoCx.А@@o;@@uo7 @+u}vQvnr@upxox@@r@@uɠo2 @+u~ver@uxKo-} @@o(@@u۠o @Ӡ+vvwör@ux-o|@@o9@@u젠o @+v@s@@osrsoqҐ@@o@@uo @+v(AsL@@o @@v n @+v5Bs%@xsxsU@@u@@vn @+vECs5@s/ @@n@@v,n @$!,vUDsE@.s?0ې@@n@@v<n @41, veEsU@>@''sPA©sR++a@@n@@vOnސ @GD,vxFsh6@@o@@v\nِ @TQ,vGsu@F soH"@@o@@vlnԐ @da,vHs@@o$@@vynϐ @qn,vIs@@o1@@vnʐ @~{,!vJs@psr-@@vc@@vnŐ @,'vKs@s= @@n@@vn @,-vLsC@@n@@vn @,0vMn+@@n@@vn @Fn6@n,kj@nn ,4@n@@vԠn{ @nz@nu npѠ,6@n@@v㠠n[ @۠,7w Nssgsp _nVǐ@@p@@vnL @,>wOt tpnGppngE@@nB@@wn9 @,Ew.Ptɩtt(@@o@@wn4 @ ,Lw?Qt/@@o@@w#n/ @,OwLRt<ǩt5@@o@@w2n* @*',Tw[StK~@@o@@w?n% @74,WwhTtXtQ*tS,,MW@@n @@wPm @HE,^wyUtnm,tk)vT@@p @@w`m @XU,dwVt~'n<t{%[@@p@@wom @gd,iwWt6mx)qz_@t;8~@x.vmx_v`@QmRm@@p4@@w@@@@~m⠠mxpmAm @,yw@mߐ@@@@@m}mm @,zwAmk@@@@@m@@@@~mGmFxmJAmF,<mJmEmCpmB$m8xhx_ .xkxPxGm'm&m%mmmAAm mm@xme@m^=D@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BGm@@A@@@@ll@mҠl @n=mumyuxx{ pux8xߩwCululunJqnHq @nVxm@m=D@w @l@ zlu+n\q1nZq2@@l@lu1nbq7n`q8@@l@ lu7nhq=@zlហlܰlڐnoqDll֐nrqGl &@mvmwlշnvqK@l|$lx+x,lxoxlnKnQn}qRn{qSl3l4lnqVnqWl7l8lnqZnq[l;l<lnq^l!l@nmҶu\mǶu]Nu^Ku_m=u`m<uaHub7uc2ud-&lDA,@@@@n7l,<llmqwlnqz@=möxAlDlE׶lHlIAAmll@yUn@l;W@@@@@@@@@@@@@Dl@@A@@@@@@@nhl~ @nnu0uy$p/ulsltxg/ulwlxuZ/nqmI@l;W@{@lll}nq@ lslr@nn3uIuuunqƶmZlqlp,@@@@nlc @,xBylt n@@w@@nl_ @,yCyzy_o@@@@@nl] @Ƞ,yDyжyѩo N@@@@@n@@ml[lYlXyl\AlX @ޠ,y'EyylVyѶ@ @yzy|qxͶ@lSvo@@lR@@nࠠlM @,y@FyAyBloClKy@xu@yv@yyx1lI@lHlG@@q@@olF @,ycGlD"y#y$l%y@w@y ,@ -@ oLn@@l?@@ol; @41,y}Hl^~yyll9(l7)y*@#vop@y֐)l5@+opll@/l4@1op:l3@5l26oX?l1@@l0@@oFl* @]Z-yIzE{@@@@@oUl( @li- yJz,z#z^@W˩z @z  ]l&@@l%@@okl# @-yKzB̶z'sکvz @@@@@o}l! @- yLl޶zU߶zLm @}/à?w w ,l@@lR@@ol @-1yMzozfmmll@zLvF}PHJlzWw wĠlQl@@@@@ol @Ԡ-LzNzzn ƶnǶl@ȶl>ɶ@%tzsѩtzwzy@@@@@o٠l @-^z9Ol:zzy|@ulwnulxy&w@@@@@ol  @  -pzUPzVl m_z@m@h@kl6y7zݐ@@@@@pl  @ ( %-zqQlrlsltlun` n^ l l @w@ p_[k@@zΐ !p`*k@zԐ 'k@ )p`jk@ -kƠokpt@@k@@p>k @ U R-zR{]{ ^mm Hz I@ @@ Dw/kxA@w Im@@l@@pWk @ n k-zSw8k@n an blRlP@ !k@k@ awL bk@@k@@ppk @  -zTwQl n yn zljնlhֶ@@k޶@@zQkk {kݐ@@k@@pkԐ @  -zUwj{E {b{Y@ kҶ@{? kА@@mZ@@p@@@kk@@@@kŠkĒ kǐ {{{ @ @ {@ Ǡ -ߐ@@@@z٠zɐ @@zǀ@ Ðk ؠ -@z@@zꠠz @@zπ@ k  -ᐠ@@@@zz @@zЀ@ k  -␠@@@@{ z @@z1@ k  -㐠@@@@{z @@z1@ k  -䐠@@@@{.zz @!@z M?Ȁ@ k - *-吠@@@@{?zj @2@zr M?ɀ@ k > ;-搠@@@@{Pzd @C@zlE:@ k O L-琠@@@@{azT @T@z\E;@ k ` ]-萠@@@@{rzO @e@zW@ k q n-鐠@zD@@{z8 @v@z@@ k  -ꐠ@@@@{z3 @@z;@ k  -될@zf@@{z/ @@z7*b@ k  -쐠@zw@@{z" @@z**b@ k  -퐠@z@@{Ǡz @@z *b@ k Ơ -@@@@{ؠz @@zy@ k נ -@z@@{頠z @@zz@ k  -@z@@{z @@z y@ k  -@@@@| y @@yz@ k  -@@@@|y @@y{@ ~k  -@@@@|-y @ @y<[8>@ k , )-@@@@|>yڐ @1@y<[8?@ {k = :-@@@@|Oyא @B@y<[8@@ }k N K-@@@@|`yϐ @S@y[@ {k _ \-@@@@|qyĐ @d@y[@ vk p m-@@@@|y @u@y[@ vk  ~-@@@@|y @@y6|@ tk  -@y@@|y @@y6|@ jk  -@y@@|y @@y6|@ kk  -@y@@|Ơy @@yja@ hk Š -@y@@|נym @@yujb@ \k ֠ -@y@@|蠠ya @@yi*FJ@ Xk  -@y@@|yP @@yX*FK@ Nk  .@y@@} yI @@yQ%@ Lk  .@y4@@}y0 @@y8%@ Hk  .@yE@@},y+ @@y3-|-@ Hk + (.@} @@}=y! @0@y)0 @ Hk < 9.@@@@}Ny @A@y&f@ Jk M J.@@@@}_y @R@yC@ Hk ^ [.@@@@}py @c@yAP@ Jk o l.@@@@}y @t@y"@ Lk  }.@@@@}y @@y Xz@ Ik  . @@@@}y @@y=;Q@ Lk  . @|u@@}x @@y$R@ Nk  . @|@@}Šx @@x')2@ Jk Ġ . @|@@}֠x @@x @ Jk ՠ . @|@@}砠x @@x#!@ Ik  .@|@@}xސ @@xby@ Ik  .@z@@~ xڐ @@x~ @ Jk  .@{ @@~x֐ @ @xP@ Kk  .@zD@@~+xӐ @ @x@ Mk * '.@@@@~<x̐ @ /@x0Ȁ@ Kk ; 8.@@@@~Mxɐ @ @@x@~ 7#~#~ A MxŠp&:toh@a Q~ Kk \ Y.@@@@~nxÐ @ a@x c@ Pk m j.@@@@~x @ r@x*b߀@ i:#Ķ1#ũ~;s Ox tx4k  .@@@@~x @ @x>h@ Tk  .@@@@~x @ @x@d#[#~e SZk  .@@@@~x @ @x캪@ Xk  .@@@@~Рx @ @x<[8o@ Vk Ϡ .@@@@~ᠠx @ @x[Ԁ@ Uk  .@@@@~x @ @x%@ ܶ$7~ x !k  .@x@@ x @ @x6|@ Wk .@| @@x @ @xj@ Tk.@xy@@,xm @ @xu*F{@ Sk+(. @x@@=xh @ 0@xp@ Sk<9.!@x_@@Nx] @ A@xe<@ QkMJ."@x\@@_xO @ R@xWEv@ Uk^[.#@=@@pxK @ c@xS @ Vkol.$@xG@@xA @ t@xI@ Wk}.%@x=@@x9 @ @xAÀ@ Xk.&@xN@@x2 @ @x:*b@ Vk.'@x_@@x1 @ @x9캵@ Zk.(@xp@@Šx- @ @x5<[8z@ [kĠ.)@x@@֠x, @ @x4[߀@ _kՠ.*@x@@砠x+ @ @x3"`p@ ck.+@@@x' @ @x/ M@@ dk.,@x#@@ x @ @x'1΀@ ek.-@x4@@x @ X@ ek..@x@@'x @Oհ@x59q h@ gx(%./@x%@@:w @w@ fwՠ63.0@x3@@Hw @ ;@wi@ gk GD.1@yj@@Yw @ L@w@ gk XU.2@w@@jw @ ]@w$R @ gk if.3@y&@@{w @ n@w @ gk zw.4@y7@@w @ @w%a@ kk .5@yH@@w @ @w1@ mk .6@yY@@w @ @w '@ qk .7@w@@wi @ @wq7a@ qk .8@y{@@Рwc @ @wk}@ rk Ϡ.9@y@@ᠠw` @ @wh3T=@ tk .:@y@@@@@@@q@A@qkǐ @.;@&: E G@@@@@kk @&K}שs@z4k .M@@@@kkz @.NA!  }?) wz@kAvѠN@@@@@k֠kt @41.SB$t@@@@@k㠠ku @A>.VC12@@@@@@kkv @PM.[Du@uAsB@@t@@@@@lE @a^.b!EQu@@@@@lkx @nk.e.Fu^u_s`@Զ@թt#@@@@@l!ky @|.l?G#o p@@6/e@@@@@l2kz @.sPH4@>@@@@@l@k{ @.w^IB m@@@@@lNk| @.{lJuun&@/ @@@@@l`k} @.~Kuut(@AvIB@@@@@lsk~ @Ѡ.Lvv¶'@@vUm@@s?@@lk @.MvԶvն'0@Jg~ @@@@@lk @.Nv)v''A@ @@@@@@lk @.Ov9v7~} ̐@@@@@lk @.P@mĠm @@@@@lȠk @&#.Q@ a@@@@@l֠k @41.R$'@  @@s@@l栠k @DA.S4'k'oqr @@@@@lk @XU.TH'@Y!@@u;@@m k @he.(U XY*'@2@@@@@mk @yv.9Vi:'Ķ@O'Dِ@@u^@@m-k @.KW/{L'ֶ@9~+@@up@@m?k @.]X]'I @n@@@@@mNk @.lYPm'@@[v~]RH@@u@@mak @.ZcIlO[P@@@@@mrk @Р.[tZ@R~a'@@@@@mk @.\жjѶkҶ@rrwos@@@@@mk @/]|k@l@@@@@mk @/ ^kdeI@@@@@mk @/_(bĠAܩ p@@@@@mˠk @)&/`(uנV@@@@@mޠk @<9/%a,-(꠩͠1)Р4@@@@@mk @RO/1bBC(@hΐ@@v8@@nk @eb/:%c UV@@@@@nk @tq/?4dde@@@@@n%k @/DCe's tl0u@Ŷ@@@@@@n8k @/MVf: lC@@@@@@nHk @/SfgJ0lS@ )89`@@@@@n[k @/\yh]C@@@@@@nik @Ǡ/`ikQ@u@@@@@nyk @נ/fj{Ƕaȶ)#@q@tǠ;X@@@@@nk @/rkݶwީDE@@@@@nk @/yl@V\@@@@@nk @ /ml@gxh@@@@@n k @ /nl@ϩϠy@@@@@nԠk @2//o"#l$ࠩJ@@@@@n蠠k @FC/p67l8Cؠx^@@@@@nk @ZW/qJKmL(x@@@@@ok @nk/.r^_0)@EǠЩS@@u@@o&k @/Ds(tuF)ж@3d@@u@@o7k @/Ut9@Щ@@@@@oGk @/euI/@@@@@@oUk @/svW=4 @@@@@odk @ /wfLC @@@@@osk @Ѡ/xu[¶m~ö@T@TV@@@@@ok @/yӶmԶ@:@@@@@ok @/z}@.K@@@@@ok @/{#[@@@@@ok @/|@ 4@@@@@oƠk @$!/}*oѠC @@@@@o֠k @41/~$%ᠩ2I@@@@@o砠k @EB056@@@@@ok @UR0@E*9>@@@@@pk @da0 $AT%*@:I-@@xG@@pk @tq0 4Bden!f7*@[k\Ωx,@@@@@p*k @0HC,xyn5zK*ն@`@pkqx@@xp@@p?k @0]DA'nJ`*@u@N1x@@w @@pSk @0qEU;n^t*@@)b(@@w@@pfk @Ġ0Fhàk)+XE@@E@@pzkX @ؠ0#G@@E@@pkI @kHk?+1 B@kK ؐk50,@E@@pk @8@@.k0.@@@@pk @0/Hki>+Qf@ky.rP#"me@@E@@pj @02IkVE#("@kN@@T@@pՠj @3003J#ߠ*@@e@@p栠j @DA04K4jjjm@+jߩ+@j%jݩk+jܠ+@@jj@@qj @`]0F Lkj|@Rjj U@W@j@*+x|۶\o]@ @ @UjjEϩ+j@jj@@q$j @0OBMk&j|ٶ@tj>k!+w@-yzx|@j@p\@Q+۶x|@|j@- @j| j} 2Sj@jj}@@qLjw @0mjNkNjx}jrekHR@| @q+x}"@jk@@jfjb@@qcj\ @0zOkej]}@jW}k`@kQx@YjP@a @,x}@u@i{\@jO|yjN~ʩ}K7jM@jLjH@@qjB @0PkjCj=j;};j5@,7j-xokѶj,Ҷ@j*@,>y}j)}@j'}#j!j @jj@@qi @0Q}]@i@@`|~@@|,Z@i@i@ii@@qĠi @"0R}x@i@@i@|O@,u@:@x} 1!iߐ@ii@@qߠiڐ @=:0S-頩1g@@i@@qiѐ @MJ0 T=kiҶkv i̠lkiư$_#o,YDiMil,@ii@@ri @nk0.U^liiiiil ̶@,i@xީY.iӐ@ii@@r'i @0EV)uvG,Ѷl,iiiiil&@@$i$i$i@i,fw@-i{@}iz}ǠSiy}Vix@iwiu@@rOi` @1mWQlRialJ i@ qHT @i[iY@@raiB @1XlciCiiiiֶi=尶@$i$k$Qi;#i9i-`lgq-}i7.i5@@i4@@ri+ @1Ylidjji]@$k&$l$qi,Cl~i*̶۶@k$~]i(i'@@i&@@ri" @11Zlij4j2j0j.%iz=iq8lӶ@~+i#i"@@i!@@ri @1@[li<@-ailkذtvoww@@i@@rʠi @(%1I\lij`j^j\jZQ?iiidl-z@0~W~R~ʩ~0@@i@@r堠i @C@1Z]liǶj{jyjwjulZiil: -@ ~rG@@i@@ri @ZW1g^li޶jjjjqiil1Q"-@7~~֠~~.b@@i@@si  @ur1x5_mijjjjiimL l=-Ƕ@}~y@@iB@@s.i  @1L`m0jjj¶jjj Ͷjȶm-c7~L~i֩N~kP~mRi@@i @@sKi @1iamMj-jj߶jj۶j'jmJT:~ݠi~@@i @@sci @1bmejEjjjjضj?j6mblR@.b~~C`h~E/͐@@i)@@si @1cѶiiii @.1i:Bhi>hF@@h@@sh @1di.D@b!^i$[i @@E@@shȐ @  1ekFnrG').^)ְi<!a.ev@@Ey@@sɠh @'$1f@}iNi5@@@@@sؠhv @631g&'.@_@EtiaD*iXGzՐ@@@@@sh\ @MJ1 h=LiuXi\@@@@@shM @]Z1iM@@@@@@t h> @jg1*jZEpi@,iVEoEn.1.^@@Eh@@th @}z2=k!m@1E.̷C.@@Ec@@t1g @2 Ol3@=Qif|@@E]@@tBgܐ @2`m@iƩiOEX@@@@tRg @2pnoiթi@@@@@t`g @2~o~/~iǐcET@@@@@tpg @Π2!prXii砩ڐΩܐ@@@@@tgi @2,qӶmԶ@j viXӐ@@@@@tgB @26r@yEO@@@@@tg% @2;s/R@l@Ŷ@EF{xА@@@@@tg  @2Gt  ݰjCj5(aNj9 ,@@@@@tӠf @1.2Ru!"jXE?a@@@@@t䠠fȐ @B?2Yv23E$"@@@@@tf @QN2^wA/@'jy\Đ@@@@@uf @c`2f#xS$/@d%jj֐@@@@@uf @ur2n5ye6/@K7jjB@@@@@u+fk @2xIz-yJ/Զ@Kj@@@@@u;@@@@@{q@A@{7sort_equivlistA_eqlistA @@^{pps'@%𖀶"l'p~ @&Sorted'Sorting#Coq@@1ĭ@2E'@"lt!1-B@2P @o2(@d!0j/o@'eqlistA:p$@2 t@@@9Ap@;ABA0/.@@Ap@ABC@@u#gtb @''A||@22p@$boolZ'@ +k() 7!= R'H'H'G''+k6'@@A@B@A@T'h @@@@@uŠ#leb @(*(+XF3@=E!@2F2Bp֠pՠp@@8Z'@ H+k() 7!7$'hwt@@@@@u+elements_lt @(XA@4ԑ(_2`@2r0)Datatypes$Initq @$list]@2{ \+k()7 7 77&'d({@$HSt@@@A=\q+@A@@v-+elements_ge @J(/{:(h@vE'@S290:2/d(@RHt@@@A.@A@@vY%gtb_1 @@v|v2϶n2˩vqũ3@E!BA@AAB@@@@@v%leb_1 @@}22󩚠v>qɀ3@E'BA(Av:AB@@@@@v*gtb_compat @@~3"jH@3j>) (%RA@@@rAjs@tAۓό^ju@xAq@ABC@@vΠ*leb_compat @@3Djj@3j`)=+(GLA@@@Aj@A@@vꠠ.elements_split @@3`1r.D@#appʀ)]0@#򩚠5@@@@Ar#@Ar@A sr @ABC@@w,elements_Add @@21e61@w8)@p%_AC@4l@w$A!橛4L)@)4-h@Jʀ34@Y#v@rr]@B14@- @@@Ak@AAk@Ars@ABAr}@Ak@AAk@A@ABCAr{@AH@AArk@ Ac@"Ah@$Al@ABCDE@@wz%Above @)߷|ȶ2#@)(E@4]2 wd +k() +7T' +  7!T'7%')323tӐd@@@@@w%Below @*2E@E@42-w +k() +7T'+  7!T'7%')T2Ttd@@@@@w2elements_Add_Above @@2H 4@5@TЯAC@X4횠`̩2!B4sA4ɐ@@@As @Ar@A@ABC@@w2elements_Add_Below @@2M4@5F@rLAC@䀰ǩ5-တ B5֩ꀐb@@@AsD@As)@AB@@x21set_induction_max @@O@*@%Z%ͥJ@@@A @*@{&K@O6@Er53@M@4Rd0Y @@ͥJ@1@A@A@@@xu1set_induction_min @@(@CͫK@@@N@AAA;@uݶ@C5x@R@sO(ඐo_@@ͫK@/@A@A@2A įLs@AA@fAs@hA ůMs@ABC@@x&fold_3 @@3K5rǔͳMD@@pb@A@xpc/RelationClasses'Classes#Coq@@+Equivalence~@BArߐCm@@.@l@6@$él6@E*lEEDDA@E@倰ߠ+@R% X ^@@ͳM@Y@A@A@s$AnU@A_Ai@aAs'@ABbAl@eAtC@AfAs@hAb@ABCAtP@Al@AA>t@@As@At=@A5@ABCDE@@yH&fold_4 @@eI3Ӷ0i60sOͷN@@p@A@ p꩛BAs[C@"@@m@6@?l6@EmEEDDA@U @a[| ҩ ؐ@@ͷN@K@A@A@PAjq@AQAmW@SAt@ABTA%tt@YAt<@AZA4%t@^A@ABC_A@cA!t Q&Basics'Program#Coq@@AlA!uR @A1DHt@ABAn@|At@A}Am~@A@ABA&t@At_@AA3t@At@"A!s̓P$@ABCDEF@@y䠠ph @@s䔑͸N`@@q~q|qzqxo]pĩln@mw%WO?,Zr+۩ps6EF@_ ,@@@tAs@AAq0@!At@AB"As@%As@A@s@s@ABCD@@zp@ @@2t2qqqqp,tYh94ö@N 2O@@@@A@@z-p" @@It-IqqqqqCt)p3P4ڶ@ IfZ*@@@@zC,choose_equal @@`D4t+4q@,@&&L}BAAA@A@@@@@Dt7@%,@5- A@@@@Dр0y  19m@%Falsee@A87@@@@D65ЩD"0;n@$Truey@@@@AnZ@AAnR@Au@ABAn^@AnX@AA@Au@A@ABCD@@z@@@@ta@A@A@tY@A@ͥJN@ABͫK@ͳM@ͷN@͸N@@A@ABCD@@Ak@BkkCkkDk@k@AA@BAn@@A@@ABC@@0@ABC/.DEF,+# C@@A@An@AAu@BC@@A@B@CD@@AA3@BEFGk@!@@ABAn@=@A<@ABA&Sorted'Sorting#Coq@@ABC@t@A)@'@A&@B@AE@ACDE@k@AAp#@ @)@ABk@k@ACDAp0@A1ՠF-SetoidTactics'Classes#Coq@@AA1I @Ao@ABEFH@@A!8@@@@t@At@t@ABtZ@tZ@At*@t)@ABC s@!:s@A#2s@#qs@ABD #s@%isX@A&s/@ )Yr@AB")r@&*r[@A(+Qr-@)+l:@ABCͥJ@ͫK@AͳM @ͷN@͸Nu@AB8!@8!U-RelationPairs'Classes#Coq@@A@CDE9!@9!àV @A@@#|@@#|]@A@A#@A#^@A@AB ӳ2@ ӳ2[vG@A@ Գq@ Գq\vK@A@ACFGu-u!@u@u@AB/@l[@AClXlWDElUlTlPlOCtlJDFt^lHGrl6rRl/l-l)Crl)r@r@q@@ABCDEF7GHID^@_@AcA{n{m{l@A.0TQ+Ring_theory+setoid_ring#Coq@@BBA.U>[J @CA8ӠA4Relation_Definitions)Relations#Coq@@ACGA @GA @@ABs~@ClNDEF@v"@s@@ABClM@uY@Ap@Bv@CDBEv@Q@u[@AB@p@lM@@ABC}DE4lH@v@Av@lH@ABCDEFGHJ@/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 S R Q@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ߠ-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ϰ߼̠ˠ@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+-,+@0>I+ListTactics%Lists#Coq@0,Jcy{M0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏0 agB;XRs:ߠ)MSetFacts%MSets#Coq@0ss|BEo_vWLHА0x* .>S#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ%Minus%Arith#Coq@0LFtR"w0Imӽ%\$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@0nml@0k窪ܸqS Q P O@0S_`nOU$0bb1z٠0;RWMi\N'Sumbool$Bool#Coq@0sB ,$11.]m'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@033 ٠(VectorEq'Vectors#Coq@0#'`ԶlxjT*VectorSpec'Vectors#Coq@0GyK5%l6L"Wf$Init#Coq@0q+W,J+$Wf_Z&ZArith#Coq@0`&i"_9X@$core@)transposeWâD@@@@@@ @=Coq.MSets.MSetProperties#<>#1U:@rHȠ@ڠrHȠ@Ԡ@֠@A@1@@ K@@A@ K@@A@AB@D@AB rHȠ@Р@ @A@B)@ڠ@AC@K@@ K@@A@ K@@A@AB@A:@@ K@@A@ K@@A@AB@d;@N=@ABC2 Q@@A@#_14@\A@@@@@@@@@@@#_152M접#_16'`o@B@@@+)@2 Q@@@@#_17~*@@@@@@@#_182M접@#_19'`o@C@@@@SV@ݠ2 Q@@A@#_203@ lA@@@@@@@@@@@@#_212M접#_22'`o@C@@@@$@&expAddF@@@@@AA@8@ !./theories/MSets/MSetProperties.vrr@@@@@@2 Q@@A@#_47}@(A@@@@@@@@@@@#_482M접@!(#_49'`o@@+(A@@@%2 Q@@A@#_50@0 pA@@@@@@C@A@A@@@@@#_512M접@K p#_52'`o@@U pC@@@@@U2 Q@@A@#_53@`A@@@@@@oD@Ar@AE@A@@@@@@#_542M접@#_55'`o@@E@@@@@@X[^󠐑@2 Q@@A@#_563@wA@@@@@@,C@A@A@@@@#_572M접M@wȐ#_58'`o@W@wA@@@2 Q@@A@#_59h@wA@@@@@@DG@A@A1E@A@@:@A@@@@#_602M접@w#_61'`o@@wE@@@@@@ࠐ㠐栐BE@2 Q@@A@#_62@ VA@@@@@@C@A@A@@@@@@#_632M접@%V#_64'`o@@/VD@@@@@&)@12 Q@@A@#_65@<YHA@@@@@@CE@A@A@ɐ @A@@@@#_662M접@]YH#_67'`o@)@gYHC@@@@mp@h2 Q@@A@#_68B@sX:A@@@@@@@C@A@@@@#_692M접X@X:#_70'`o@b@X:A@@@2 Q@@A@#_71s@6 uoA@@@@@@DF@A@A @A@C@A@@@@#_722M접@6 uo#_73'`o@@6 uoD@@@@@蠐렐J@Ƞ2 Q@@A@#_74@vLA@@@@@@IDF@AM@A @A@@A@@@@#_752M접@vL#_76'`o@@vLD@@@@@58;@2 Q@@A@#_77 @OA@@@@@@EG@AD@A/@A@@ߐ@A@@@@#_782M접5@6O#_79'`o@?@@OE@@@@@@@D2 Q@@A@#_80`@OOA@@@@@@颐DF@A@A@@, @A@@@@#_812M접@qO#_82'`o@@{OD@@@@@ѠԠ3@}2 Q@@A@#_83@A@@@@@@2D@A5E@Aʐ @A@@@@@#_842M접@#_85'`o@@E@@@@@@M@2 Q@@A@#_86@! 8A@@@@@@@@@@@#_872M접@! 8#_88'`o@@! 8B@@@RU@ؠ2 Q@@A@#_89$@!~A@@@@@@B@A@@@@@#_902M접:@!~#_91'`o@D@!~B@@@@2 Q@@A@#_92Y@ !A@@@@@@RBD@A@@A@@@@#_932M접u@&!#_94'`o@@0!B@@@ W@-2 Q@@A@#_95@8A@@@@@@C@A@A@@@@@#_962M접@S#_97'`o@@]C@@@@-@\2 Q@@A@#_98@g-E)A@@@@@@@@@@@@@#_992M접@y-E)$_100'`o@@-E)C@@@@2be@|2 Q@@A@$_101@rCA@@@@@@C@A"@A@@@@@$_1022M접"@rC$_103'`o@,@rCC@@@@p@2 Q@@A@$_104E@?v%A@@@@@@>D@A)@A@@@@@@$_1052M접a@?v%$_106'`o@k@?v%D@@@@@㠐K@ޠ2 Q@@A@$_107@+DA@@@@@@C@A@A@@@@@$_1082M접@+D$_109'`o@@+DC@@@@񠐑!@ 2 Q@@A@$_110@((A@@@@@@C@A@A@@@@@$_1112M접@1(($_112'`o@@;((C@@@@/_@82 Q@@A@$_113@C 3lA@@@@@@@@@@@$_1142M접@S 3l$_115'`o@@] 3lA@@@U2 Q@@A@$_116/@` =A@@@@@@(C@AJ@A@@@@@@$_1172M접K@| =萐$_118'`o@U@ =D@@@@@ʠ5@2 Q@@A@$_119r@eA@@@@@@@@@@@@$_1202M접@e$_121'`o@@eB@@@Р@2 Q@@A@$_122@==A@@@@@@C@A@A@@@@@$_1232M접@==$_124'`o@@==C@@@@ j@ՠ2 Q@@A@$_125@(A@@@@@@ّD@Ađ@A@@@@@@$_1262M접@(ܐ$_127'`o@@(D@@@@@KNQ@2 Q@@A@$_128#@(A@@@@@@@D@A*@A@@@@@$_1292M접?@,(ݐ$_130'`o@I@6(D@@@@@)@82 Q@@A@$_131f@Cڛ?A@@@@@@@@@@@@@$_1322M접x@Uڛ?$_133'`o@@_ڛ?C@@@@Ơɠ@Z2 Q@@A@$_134@e63A@@@@@@@@@@@@$_1352M접@v63$_136'`o@@63B@@@)@y2 Q@@A@$_137@fkA@@@@@@@@@@@@@$_1382M접@fk$_139'`o@@fkC@@@@+.^@2 Q@@A@$_140@=A@@@@@@@@@@@@@$_1412M접@=$_142'`o@@=C@@@@`c@2 Q@@A@$_1435@=A@@@@@@.D@A@Q@A@@@@@$_1442M접Q@=$_145'`o@[@=D@@@@@Ӡ@2 Q@@A@$_146x@0˒A@@@@@@qD@A@=@A@@@@$_1472M접@0˒$_148'`o@@0˒B@@@ࠐ@2 Q@@A@$_149@$0˓A@@@@@@@D@Aw@A@@@@$_1502M접@?0˓$_151'`o@@I0˓B@@@@E2 Q@@A@$_152@P0˔A@@@@@@墐DG@AѢE@A @A@@@A@@@@$_1532M접@x0˔$_154'`o@@0˔E@@@@@@dgjƠ@2 Q@@A@$_155?@0˕A@@@@@@8DF@A$@AK @A@@A@@@@$_1562M접e@0˕$_157'`o@o@0˕D@@@@@@Ġ2 Q@@A@$_158@0˖A@@@@@@DF@Aq@A @A@\@A@@@@$_1592M접@0˖$_160'`o@@0˖D@@@@@c@2 Q@@A@$_161@ #~A@@@@@@ґC@A@@@@@@$_1622M접@!#~$_163'`o@@+#~C@@@@>Af@,2 Q@@A@$_164@7#~A@@@@@@ C@A@@@@@@$_1652M접*@N#~$_166'`o@4@X#~C@@@@x{@W2 Q@@A@$_167M@bsWA@@@@@@FDF@A2E@Ao  @A@@@@@@$_1682M접p@sW$_169'`o@z@sWE@@@@@@à󠐑lo@2 Q@@A@$_170@:2A@@@@@@@@@@@@$_1712M접@:2$_172'`o@@:2B@@@@2 Q@@A@$_173@ ETA@@@@@@đC@A@A@@@@@$_1742M접@ ET$_175'`o@@ ETC@@@@47@ߠ2 Q@@A@$_176 @6yA@@@@@@D@A@A@@@@@@$_1772M접%@6y$_178'`o@/@6yD@@@@@twz@2 Q@@A@$_179L@6zA@@@@@@@+D@AS@A@@@@@$_1802M접h@86z$_181'`o@r@B6zD@@@@@R@C2 Q@@A@$_182@NATA@@@@@@@@@@@@@$_1832M접@`AT$_184'`o@@jATC@@@@򠐑@e2 Q@@A@$_185@p3hvA@@@@@@@@@@@@@$_1862M접@3hv$_187'`o@@3hvC@@@@$'*@2 Q@@A@$_188@3hvA@@@@@@@@@@@@@$_1892M접 @3hv$_190'`o@@3hvC@@@@Y\_@2 Q@@A@$_191.@?A@@@@@@@ D@AJ@A@@@@@$_1922M접J@?搐$_193'`o@T@?D@@@@@̠@נ2 Q@@A@$_194q@?A@@@@@@@PD@A@A@@@@@$_1952M접@?琐$_196'`o@@?D@@@@@ܠߠ@ 2 Q@@A@$_197@`A@@@@@@CE@A@A@ @A@@@@$_1982M접@6`$_199'`o@@@`C@@@@#&K@?2 Q@@A@$_200@J`A@@@@@@E@AܢC@A@Ð @A@@@@$_2012M접@k`$_202'`o@#@u`C@@@@gj@v2 Q@@A@$_203<@9A@@@@@@5D@A @A @A@@@@$_2042M접[@9$_205'`o@e@9B@@@@2 Q@@A@$_206z@:A@@@@@@sD@A^@AC @A@@@@$_2072M접@:$_208'`o@@:B@@@栐@֠2 Q@@A@$_209@;A@@@@@@D@AE@AĢ G@A@@@A@@@@$_2102M접@ ;$_211'`o@@;E@@@@@@036@2 Q@@A@$_212 @#;xrGA@@@@@@CE@A@A@֐ @A@@@@$_2132M접,@D;xrG$_214'`o@6@N;xrGC@@@@z}@M2 Q@@A@$_215O@X;xrHA@@@@@@HC@A@@@@@@$_2162M접f@o;xrH$_217'`o@p@y;xrHC@@@@@w2 Q@@A@$_218@tA@@@@@@D@Am@AR @A@@@@$_2192M접@t$_220'`o@@tB@@@@2 Q@@A@$_221@ɵKA@@@@@@C@A@A@@@@@$_2222M접@ɵK$_223'`o@@ɵKC@@@@03@ՠ2 Q@@A@$_224@*A@@@@@@@@@@@@$_2252M접@*$_226'`o@ @*B@@@c@2 Q@@A@$_2275@=3JA@@@@@@@@@@@@$_2282M접F@=3J$_229'`o@P@=3JB@@@@2 Q@@A@$_230e@!A@@@@@@@@@@@@$_2312M접v@2$_232'`o@@<B@@@à@72 Q@@A@$_233@Bs A@@@@@@@@@@@@$_2342M접@Ss $_235'`o@@]s B@@@󠐑#@Y2 Q@@A@$_236@d5DA@@@@@@C@A@A@@@@@$_2372M접@5D$_238'`o@@5DC@@@@.^+@2 Q@@A@$_239@9KA@@@@@@E@A@A@$ @A@@@@@$_2402M접$@9K$_241'`o@.@9KE@@@@@@twz@2 Q@@A@$_242O@:A@@@@@@HF@A3@AZE@Au@A@@@@@@$_2432M접v@:$_244'`o@@:F@@@@@@@Ǡʠ͠ʠ8@2 Q@@A@$_245@ A@@@@@@F@A@AE@Aː@A@@@@@@$_2462M접@3$_247'`o@@=F@@@@@@@ #S @D2 Q@@A@$_248@O[A@@@@@@F@Aߑ@AE@A!@A@@@@@@$_2492M접"@v[ǐ$_250'`o@,@[F@@@@@@@svy"@$_251X@#setA@$(META1789(META1788a@ p@@ԠX?@>Ar@ +Coq.MSets.MSetProperties.WPropertiesOn#<>#2cGA@L(META1792Y(META1791@+D@@ ݶ @٠LDwϠJ}MTT@ +Coq.MSets.MSetProperties.WPropertiesOn#<>#3cA@(META1795ꠛ(META1794@#((@@FʚH@E@ +Coq.MSets.MSetProperties.WPropertiesOn#<>#4c A@ǠL(META1797(META1798W @1e@@ XZqɩt}%@ +Coq.MSets.MSetProperties.WPropertiesOn#<>#5c!A@4(META1799(META1800? J@J:2@@A(&Y\]@ +Coq.MSets.MSetProperties.WPropertiesOn#<>#6c"@$_252X@#set9@@(META1814y@ (@@점pS++@ +Coq.MSets.MSetProperties.WPropertiesOn#<>#7c#YC@(META1815(META1817@@@ ! Y@yPI@}TMW @ +Coq.MSets.MSetProperties.WPropertiesOn#<>#8c$M@@(META1820@0w@@9 gxx)@ +Coq.MSets.MSetProperties.WPropertiesOn#<>#9c%mA@(META1821(META1822@%YH@@Zޚ-Ś/@ĠP@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#10#B@(META1824(META1825@\V@@TV@ö@Ʃ{#@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#11#C@(META1828(META18309@w@@@ߠ@쩚~P@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#12#@@7(META1833f@X:@@٠]Lr@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#13#A@P(META1836(META1834(META1835@6 uo@@ֶض@6F?9uEL@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#14#BA@k(META1838(META1839(META1840@vL@@7K J @jz{my2@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#15#vB@ (META1844(META1842(META1843@O@@k>~@o@<@6@j@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#16#A@(META1847H(META1849(META18480@O@@vxG@֠ߩ٠$jF@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#17#C@(META1853(META1852\@;@@ϠsӶ@@QTs@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#18#HA@(META1856]@H!~@@϶@<g7s@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#19#A@(META1858@]!@@@_[@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#20#&A@(META1861(META1860@}@@LКN@E@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#21#'A@ˠ(META1864(META1863 @rC@@}P@Oy!@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#22#(@@(META1866\C@ 3l@@VӐx/U@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#23#)*A@(META1867(META1868r@==@@堐iP@'Rՠ,%%@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#24#*[A@䠛(META1870(META1872(META1871 @(@@@aZ`jc@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#25#+A@"(META1874(META1875- (META1876@(@@\/ǚ13@ȠˠNQZ@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#26#,@@`e(META1878(META1879(META1880sz5@ڛ?@@,{}7P@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#27#-%@@(META1882(META1881񐛐y@C63@@점pU0(۠6.@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#28#.d@@Ǡ(META1885(META1883(META1884ՠ@{fk@@5 ٚ9#~}v,|5@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#29#/y@@(META1886>(META1887@z0˒@@m@ؚBYb @ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#30#9@@(META1889k(META1888 '@0˓@@moʠ۩7@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#31#:B@(META1890(META1891(META1892U@0˔@@ȠL3W@  @Po@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#32#;DA@}(META1895(META1896@| ET@@ҶjԶ@09AlF?F@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#33#<uA@(META1898(META1900(META1899 @6y@@8  ǚ@{tڠzݠ}6@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#34#=A@젛(META1902(META1903 (META1904@6z@@vIKM@堩t@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#35#>@@*/(META1906(META1907(META1908=DO@AT@@ F-Q-`c  f i j@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#36#??@@x͠(META1909(META1910(META1911۠¤@P3hv@@_X` efai@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#37#@@@ ՠ(META1912(META1913(META1914㠤8A@3hv@@oBښDFڠ]fir@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#38#AA@(R(META1917(META1915(META1916`BM@?@@D+dĶ@/bG kMl@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#39#BAA@z(META1921(META1919(META1920  Ø@ ?@@ ޶v@ߠRJ}ؠSZ]÷@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#40#LA@Š(META1923(META1924@3`@@Eɚ@?B>@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#41#MKA@(META1926(META1927@S`@@tGߚI@nqm@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#42#NA@s(META1929(META19302@c#~@@)xz@ߩÞF@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#43#OA@(META1933(META1932c@#~@@֠ZA@АCƠw@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#44#PA@<(META1935(META1936Ē@;xrG@@ضpڶ@?\LEĦ@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#45#Q{A@k(META1939(META1938@;xrH@@6  @0pv}v/@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#46#R|A@(META19448(META1941(META1943C(META1942 @9K@@rEݚGIx@fEir@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#47#SB@(META1949+(META1946(META19486(META1947 B@:@@9 D[»@@9]{?`BĹa@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#48#T6C@(META1952(META1954ʠ(META1953 ņ@@@}̶dζж@̠?7@;;}nť@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#49#UzC@(META1958(META1960(META1959 @[@@=̚C@†~@‚ĩʩD@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#50#_B@/(META1966R(META1964(META1965@$sW@@UW&Æ@Vȶ@]ϩ cթ`Ŋ2@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#51#`@@@(META1969(META1970O@9@@ F-򠩚^ŷ_@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#52#a@@m(META1971(META1972|@:@@s¶Zĩ+33ƌ@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#53#b(B@(META1975(META1973(META1974ƪ@;@@@Pa`@T]dWgà@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#54#c`@@(META1978(META1979@t@@Tؚ')ÐØÐI@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#55#dA@(META1980(META1981㐠@ɵK@@UW@üĩ٠š|$@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#56#e@@(META1984(META1983ǐM@(*@@Db©), ƻc@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#57#f8@@q-(META1985(META1986  cǏ@[=3J@@նmשkXAIDLǦ@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#58#g{@@p(META1987(META1988Ġ  @@@DȚ0ăċĆĎĆ?@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#59#h@@(META1990(META1989   @s @@yL{ĺIJ:Ľĵn@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#60#rA@(META1992(META19915@5D@@,{JŪ@w⩚婚ǡI@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#61#sA@'(META1996(META19942 (META1995n@?v%@@᠐eL@M$PS#eV&-ȇ@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#62#t\@@(META1999 (META2000(META1998͠ ԠȺ@O-E)@@-Ϛ/Q1kvuyt{-@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#63#u@2 Q@@A@$_253@%+ cA@@@@@@@@@@$_2542M접$_255'`o@A@@@Ҡ2 Q@@A@$_256 @+NA@@@@@@@@@$_2572M접$_258'`o@@@@ՠ2 Q@@@@$_259{ @@@@@$_2602M접 AA@A$_261'`o@A*list_scope@`@2 Q@@@@$_262O@$#F@@@@@$_2632M접l'HasWOps@?$_264'`o@A@@@֠2 Q@@A@$_265x@ A@@@@@@@@@@@$_2662M접$_267'`o@BR@@@ɠ2 Q@@A@$_268ɤ@ A@@@@@@@@@@@$_2692M접$_270'`o@A~@@Р2 Q@@A@$_271@ A@@@@@@@@@@@$_2722M접$_273'`o@A@@]@2 Q@@A@$_274@i A@@@@@@@퐐C@A@@@@@$_2752M접 @i $_276'`o@@ i D@*type_scope@.function_scope@]@@A@ɠ2 Q@@@@$_2771@(VA@@@@@@*B@A⑐F@AG@A3 @AA @A@@@@@$_2782M접]@(V쐐$_279'`o@g@ (VGRPR@@VX@@AA@AA@2 Q@@@@$_280ʎ@@f͐$_337'`o@H@fI31@4@@@@@@@AՠA̠@å@ 2 Q@@A@$_338w@A@@@@@@rB@A C@A@E@A@@@ňJ@AŪ@A@@@@$_3482M접ϩ@(>ᐐ$_349'`o@ϳ@(>J@@@@@@@@@AAA8@Aź@2 Q@@A@$_350@%\=A@@@@@@ߐB@AxC@A@nE@A@@@J@A@A@@@@$_3512M접@6%\=$_352'`o@ @@%\=J  @ @@@@@@@@AA¥s@~ͮ{@Q2 Q@@A@$_353S@\:(A@@@@@@LB@A吐C@A@ۑE@A@@@bJ@AƄ@A@@@@$_3542M접Ѓ@:($_355'`o@Ѝ@:(Jxv@y@@@@@@@@AA@렐@2 Q@@A@$_356@:)A@@@@@@B@ARC@A@HE@A@@@ϑJ@A@A@@@@$_3572M접@:)$_358'`o@@:)J堐@@@@@@@@@AAM@XΈ@2 Q@@A@$_359-@DA@@@@@@&B@AC@A@õE@A@@@@@@@@$_3602M접S@(D$_361'`o@]@2DIHF@I@@@@@@@AꠐA᠐@ƺƽ@42 Q@@A@$_362ь@?cFA@@@@@@B@AC@A@E@A@@@@@@@@$_3632M접Ѳ@ecF$_364'`o@Ѽ@ocFI@@@@@@@@AIA@@@y2 Q@@A@$_365@Z A@@@@@@䐐B@A}C@A@sE@A@@@J@A@A@@@@$_3662M접@Z $_367'`o@%@Z J@@@@@@@@AAīy@DŽLJA@Ǡ2 Q@@A@$_368X@#64#v@2 Q@@A@$_390@D A@@@@@@ϐC@A@A@@@@$_3912M접$_392'`o@"C@@@ш1@2 Q@@A@$_393@<+yA@@@@@@ B@A@@@@$_3942M접$_395'`o@B@@@ѻ=@2 Q@@A@$_396@@$eYA@@@@@@9C@A$@A@@@@$_3972M접$_398'`o@"C@@@@q@2 Q@@J@$_399y@ 1A@@@@@@!xC@A!y@A@@@@$_4002M접$_401'`o@$@@@$_40246@@#L@@@0$_403X@3typeclass_instances:@@@VE@<bQ@=<@^@8@@+Qln<@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#65#w@$_404X@+i@@(META2193(META2192#   @@+y L{ѺѲ:ѽѵn@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#66#xA@(META2195(META2194 @@+ )xGҧ@tߩ⩚ԞF@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#67#yA@$(META2199(META2197/ (META2198 @@+۠ _ʮFʰ߶@GJM_P 'Ձ@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#68#zA@(META2201@@,〶՚$@հ%ՐHԩҐDե@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#69#{@A@:@(META2203(META2204@@,<lh@v~b҄Ҁ9@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#70#ԅ@:2 Q@@A@$_405@EV) A@@@@@@@@@$_4062M접$_407'`o@@@@$_408X@#set#71#ԆmA@r@@(META2220~@A@@,Ϡ g@    p@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#72#ԇ@2 Q@@A@$_409~@VA@@@@@@@@@@$_4102M접$_411'`o@A@@N@$_412X@#set@@@2@𐤐␛(META2224@B@AM@@-= Չ ] Ӄ A:@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#73#Ԉ@2 Q@@A@$_413@B[A@@@@@@@@@@@$_4142M접$_415'`o@B@@@ki@2 Q@@A@$_416@53A@@@@@@C@A@A@@@@$_4172M접$_418'`o@"C@@ $@ruA@2 Q@@A@$_419T@ JA@@@@@@MC@A8@A@@@@$_4202M접$_421'`o@"C@@@@ӷӴ@2 Q@@A@$_422׍@#A@@@@@@͆D@AqE@Aͮ@A@@@@@@$_4232M접"$$_424'`o@*F@@@@@@@Yڠ@2 Q@@@@$_425@*[A@@@@@@@@@@@$_4262M접$_427'`o@B@@@փց@ 2 Q@@A@$_428@v~+A@@@@@@@@@@@$_4292M접$_430'`o@B@@@֮֬@2 Q@@A@$_4310@ (!~A@@@@@@@@@@@$_4322M접$_433'`o@B@@@٠@2 Q@@A@$_434[@ өA@@@@@@TC@Av@A@@@@$_4352M접$_436'`o@"C@@@@ձչ@2 Q@@A@$_437ؔ@# өA@@@@@@΍C@Aί@A@@@@$_4382M접$_439'`o@"C@@@@ꠐ򠐑@%2 Q@@A@$_440@0% cA@@@@@@ƐC@A@A@@@@$_4412M접$_442'`o@"C@@@@#+ @12 Q@@A@$_443@<% dA@@@@@@C@A!@A@@@@$_4442M접$_445'`o@"C@@@@\d<@$_446X@/@A@(META2226(META2227@@/ʠ՜՘@ 󠩚 n@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#74#ԉ@A@@9(META2229(META2230֐ݐ@@0ݶ߶@穚~}ba|e]{I{zngwvtup)@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#75#Ԋ@A@f@$(META2233(META22324@@0o4;@ֱ֩וֳֺֽo@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#76#ԋJ@A@׬@jʠ(META2236(META2235p@B@@0ׁؚؚ׈@ؐנְ婚֐ՠ ԐҐj@ ,Coq.MSets.MSetProperties.WPropertiesOn#<>#77#Ԍ@@rHȠ@@|f@A@t@@3dXj@@Ր3dXj@A@3d_@@3d_@A@AB@РǠ@@3dXj@ @՛3dXj@A@3d_@@3d_@A@AB@ABxrHȠ!נ@wڝw@Aܠ@@A@@B@ڛ@@3dXj@'@A@3d_@$@A@AB@@@3dXj@"@A@3d_@ @A@AB@ABwݠrHȠw@mJrHȠ@mE@mGwmQ`@A@lmB@@|@vv@A@A!))@vv@A@!0@vv@A@!1-@vv@A@ABC@A`FrHȠ@`A@`Cw`M<@A@`2mV@@|@vv@A@A!))@vv@A@!0@vv@A@!1-@vv@A@ABC@A|rHȠ@#@_VxƄE@AŠ@E&@A@@/ @ L-@A@@AB@mx\@@|@mv@A@A!))@mv@A@!0@mv@A@!1-@mv@A@%b)@mv@A@ABCD@Lm@@|@mv@A@A!))@mv@A@!0@mv@A@!1-@mv@A@%b)@mv@A@ABCD@m@@|@mv@A@A!))@mv@A@!0@mv@A@!1-@mv@A@%b)@mv@A@ABCD@ABC$_453X@1oc@@@oao_o](META2039m@op[d@@1ooo~ozovڣxy@ +Coq.MSets.MSetProperties.OrdProperties#<>#2/R@$_454X@#setoSA@oX(META2042(META2041m@on@@1ܠ3oIo@eǐooo)o$+x@ +Coq.MSets.MSetProperties.OrdProperties#<>#3/RךA@ןoV(META2046(META2045n'@on@@2koׁoɚo@؟oo^<o[@o_ԡҐolԧx@ +Coq.MSets.MSetProperties.OrdProperties#<>#4/RoeA@oj(META2049n`@on@@2Mؤo@԰6ooؔCooؓLy"@ +Coq.MSets.MSetProperties.OrdProperties#<>#5/RogA@ol(META2052(META2051n@o@@2~՚oo@iooؿҤo˩oyU@ +Coq.MSets.MSetProperties.OrdProperties#<>#6/R#7/RoyA@o~(META2059o@o@@2Fo@vؐoo6吚oo5y@ +Coq.MSets.MSetProperties.OrdProperties#<>#8/R@GN2 Q@@A@$_455y@GYB-A@@@@@@\C@AGWD@A@@@@@@$_4562M접$_457'`o@%E@@@@򠐒GpGs@G=2 Q@@@@$_458FqE@@@@@@$_4592M접6Q&HasCmp@'compare2/͠$_460'`o@B@@@ylyi@G?2 Q@@@@$_461Fxt@@@@@@$_4622M접/$_463'`o@B@@@yy@G82 Q@@@@$_464E@@@@@@$_4652M접$_466'`o@B@@@yw@G%2 Q@@@@$_467F @@@@@@$_4682M접$_469'`o@B@@@y᠐x@G 2 Q@@A@$_470z@G+A@@@@@@@@@@@$_4712M접$_472'`o@B@@@z z @G#2 Q@@A@$_473z@G.&mA@@@@@@@@@@@$_4742M접$_475'`o@B@@@z7z4@G#2 Q@@J@$_476{@G.*A@@@@@@@"x0D@A l@A@@@@$_4772M접$_478'`o@$A@@zm@$_47946@ o l@0$_480X@ k@@@{,Hw@pu@p F@ւ@Gϐ(META2081<@@4pGݫ{@ +Coq.MSets.MSetProperties.OrdProperties#<>#9/R@G~2 Q@@J@$_481{@G/ȥ'A@@@@@@@}D@A @A@@@@$_4822M접$_483'`o@#A@@z@$_48446@  @/$_485X@ 璠 @@@{H@"q@p@@H#(META2083<@@5<oG'{@ ,Coq.MSets.MSetProperties.OrdProperties#<>#10 [@$_486X@5Tb@@@{ꐒI5@dqB3@pʤ@@@H(META2085*@@5HW{xHW@|!IjHXqrap-fH^ހ|V@ ,Coq.MSets.MSetProperties.OrdProperties#<>#11 [ܠ@@@|=IT@q׆@qW@ד@H(META2086@@5ӠH{˩H@|tIHqś״qHԀ׹H"|@ ,Coq.MSets.MSetProperties.OrdProperties#<>#12 [@H2 Q@@A@$_487|@H5A@@@@@@@@@@@$_4882M접$_489'`o@B@@@|zB@H2 Q@@A@$_490|@H(MTA@@@@@@խD@AԘE@AՑ @A@@@@@$_4912M접!#$_492'`o@)E@@@@@@z[d!zfH@Hm2 Q@@@@$_493H$G@@@@@@$_4942M접5$_495'`o@B@@@|ޠz@Hr2 Q@@@@$_496H n@@@@@@$_4972M접6$_498'`o@B@@@} z@Hx2 Q@@A@$_499}x@H-t-A@@@@@@CD@A.E@Ak @A@@@@@$_5002M접!#$_501'`o@)E@@@@@@z񠐑d}JHIJ@H2 Q@@A@$_502}@H-vvA@@@@@@֋D@AvE@Aֳ @A@@@@@$_5032M접!#$_504'`o@)E@@@@@@{9d}HI@H2 Q@@A@$_505~@HA@@@@@@̅B@A@@@@@@$_5062M접$_507'`o@Dޠࠐ@@AAAH@H2 Q@@A@$_508~B@H"A@@@@@@̿B@A@@@@@@$_5092M접$_510'`o@D@@AAAH@Hy2 Q@@A@$_511~|@H(:A@@@@@@GJ@A2K@Ao @AXE@AF@A@@葐I@A@@@@@@$_5122M접68$_513'`o@>K@@@xv@@z@@@@|e٠~l@AH@A6I۠Jy@Hd2 Q@@A@$_514~@Ho(:A@@@@@@׺J@A֥K@A @AːE@AdF@A@@[I@A@@@@@@$_5152M접68$_516'`o@>K@@@렐@@@@@@|fL~堐@AI3@AJJ@2 Q@@A@$_536b@_A@@@@@@-B@AƐC@A@ԼE@A@@BI@A-@A@@@@$_5372M접@_吐$_538'`o@@_IXV@Y@@@@@@@AA@fĠfǠf@2 Q@@A@$_539@0G!A@@@@@@B@A.C@A@$E@A@@تI@A̐@A@@@@$_5402M접@0G!$_541'`o@@0G!I@@@@@@@@AbAY@g,}g)@2 Q@@A@$_5422@!OA@@@@@@B@AC@A@ՌE@A@@I@A4@A@@@@$_5432M접a@!Oꐐ$_544'`o@k@(!OI(&@)@@@@@@@AʠA@g}񠐑@@I2 Q@@A@$_545@I.PA@@@@@@eC@AP@A@@@@$_5462M접$_547'`o@"C@@@@}}I>@@@@C!̢2X<l ~N넕@cz#@-9]tyk=@#'á&ČNcREi0!xA!M.MSetProperties%MSets#Coq@@#elt$є!s@!t$;#Р)Datatypes$Init@$boolZ'@@@@@@@@@D!b@%Logic@#iffС)7@"In$@CB@"eq @A2A&Specif5@'sumbool7̂K@ D-@#notШ a@#mem$P) !H?7/G((D@'and_rec1@ж@B @ #.E"G"H0 "H1@NE/ KAeF QI )\F?)MAfHGGd[:w8f~Bb:ж@w@ X51/@ -gB2]4Q6Ȑ"H2/A"-$Bool@/diff_false_true .C@%Falsee@C-WPropertiesOn"FM@'mem_iff&H#Dec!F@.ဠ횠@!E@ Kⷐ"s'婜@#andЖw@A@!yנ @"or @$@ Kͩޠ٩@%Equal%O{ߩ@#add$H̶@ߩ '($ط1!a5%lemma)Morphisms'Classes8@=trans_co_eq_inv_impl_morphism&ni$A/RelationClasses @.iff_Transitive*zKE!<!@/eq_proper_proxy)f Ե2=5&PD5@2subrelation_properJ74!A3!B66B@*respectful%WO?=@>>V@@XX.Morphisms_PropM@0and_iff_morphism ƳLdNNf&Basics'Program@$flip$ZZZ @$impl7o@$unitUe@Ar@6subrelation_respectful>6z m:y@0subrelation_reflv t6( vv (@9iff_flip_impl_subrelation2VA@p@t*7@>Reflexive_partial_app_morphism 2R,ZO3K@9iff_iff_iff_impl_morphism8C@6reflexive_proper_proxy5@-iff_Reflexive/h@  @'add_iff @Yh@CoCq@@CCCC͠CطuנʐtܠԠx֠zکRN@6trans_co_impl_morphismoөƩ˩ޠ?C@@iC@@CCCC C5H%#A$ 7b@#Add $42FT@HK C̠CC&OOCC>CJHfIF,_թ77Q:@'and_ind14ۀж@C@  @IQ~@]A۶@WDݷcIC_ ǩNII@CC@v5@]L@E@GJM/Ȑ"H40Qo]bmK+O Z-à*Ag V (CGC|@͠q@ZCڠCCC@o@pCCCCC@&Subset1C (&rb@fX@w|CCCCC /C@@.,J-ש)۷ĩ+E@VCʠC̠@ CCC=C@@JHfI+^167ж@O>/1(CDC C C CKC@LdbCvA2y@%empty%!؀V@)False_induُ<T_WQ©V@4iff_impl_subrelation5`[Q@)empty_iff wXCRCRCRCRC(ZC?w-uf@&remove6bNW6P3MSetDecideAuxiliary@&dec_eqncrwĠ5N@&or_ind"͠?I[bxa`g}?mi8$`mFVoq3'@*remove_iff|XakC6CCCC蠩TC@trpŵ٠ʩ@$diff$N@ne@&dec_InZ]͐_sѐ rvVՐ\ِC kk   3ũ:ɠ!Q@)diff_specJ@C,CCCC@HC@QMNb`]L 3f1"LOA@j@<ֵi!·Fo@&In_s_m0V=@8X 5@xqC@2PreOrder_Reflexivevvx@,SubsetSetoid @`ˠPCӷRdogG+n  ݩ-cİ'UpCCCCCXC@@O#!P>?B4 v<1ʠAOBCCZCCCɠC@UַS׷鵷׷np@ǩCCCCCC@@ig@{@~ĩiƵCC浵M]`^CRCCCCCCٷ ,%@~p6@{pCC@1 C3CC CC𐑷+)ө=@%Empty%OD@5|4@#׶@&,&(|(w*@<@=..?Xl ;=$CT'C꠶@"@GCC@a@'CJdCCbC@>nliO !-, a&Щ5v@ķ@=˷1^.ߩfa" 8e'kMp{[ܩf~d1u'4fBrCKC?C?CVCiCCCuC@4P}ЩZ4UOEC;&@@Ơx{}}@@ ,`U9 @@c c!hUJJbLC"ko!CkCm@2@Cɠ5CCC@"x'ҩݠՠƩҩ Kܠ4rk@۩lY@Tu Sߩ LSN@ȶ@ ,nͩk, f!R,-934%@?yA;/y,, !G@/or_iff_morphism3|(w3//+$@0PRL,073=w"+6.I*b)4(@(g,,D,.F.Mm,. @ R133=4F4 @;z(,? W?~=,C[:?E]AC@5 HH@U@VR/SͩŰCթA[%\K%=L $bA԰ܩְgggFhl4iܰ\\o9cQwV|||C?41CA@@eCgCCCķֵoյܵ8b#|4wqge]HA@B'@m',$ %@ M4@x573,}a.. (R=@:JI@@KKQ!@@M PfJE VD޷0XᵷoXS4^       oVf@$In_m%/)Ua@,Mwwk3-@5Equivalence_Reflexive >@ЩAC@DM@JwĠN5@Q: qt ҠDzFgJZ᠐Np ;t+C 4+&$1lϩʠ7HfuΠ5Ҡ-Pе C"ȷ@E>K>EG>?,9M(*$Ð8O⵷gȐ"H5=X[ZC cFZUSGANGuHK:9CC@ϩr@vo@թC@F@RC@Y@dCfCC3JC@@>RPM!T"-%@"zY~4@.(Iy@c~ &@83Sx@m},2J"0=3E4 @y,@ X~72>00@1,E]5! ȩ@v@ѩ|ӵlѩ$^!C0B33-4g gg1s17/;77tVGGAHexxB} fCCB@àgv@ƠfCJ@ˠ ~@UCP@|@tCCCĠgC@ѷ㵷| 絵C.n2 4{qogRK@L2@x" 5- .@ˠƩV?@DA=,k88àIƩO4mf@H!KC<L%%A<'H@ƩUVR,MM#  GP`_@@a\ag7@@-ce h~b]fjXXkq\[ Jrr ~Ozӷtox|jj}%Рo q   3`%  C֠@٠ @2ܠCޠ@@:VC䠶@}@>uC @@CCXà 4 5C@ x vF yG R J ;e}D4 ܶ@ R L @)singletonzj_ Z UuD@ <,S  kU m d ^V X@ j e6@   _0 k bt  w h%oB4=7-+#@j-l nr @^,uB 72q s@-singleton_iff%0 [ NW4RLB@8#@ p,T I-D/Ơ ,X MHC  @w6K; F@ @Ԡ  t@   w   e  f b  CbCd@>Q@ldC AnCCؠf bzC      {   ՠ  Jة ٠ Ѡ |ԩ ߠ נ ҩ   ~ թ4pi@ ߠ  zU@VI eeE @g@h   @mY, To  ߠl q % Ԑж@ @$Truey@@ l   p&hV@ u  wж@{ 9~ @ }Ơu ʠ@ C |  2@ Ҡk  L ڠ@4@u T޷    6 r@ ]t@n `  > I iG, 6  NIܩ @ 9  NJv ; Sx rP ;@+eq_refl_iff#|" T, H  `[  V@,PER_morphism q$   P@/Equivalence_PER/;   @R10Q Zĩ  _ o8' a ! dy v . hQ ) uCȐ"H6gI p ` ;S QNQ   ֩ :  \Щ   "H7   0a J ܐS z ǠRrЩ ҐT  Ѡ"H8  ٠ : /    ߠVn X   B w b + > u7 .Щ ǠP( 2 R9 6 I -*Щ Ӡ\U'%+  ; X) F W<      @@ Q Qͩ 4     |@J@@ V V@Mʩ Y,      TO O   JQ@@ ] ] @ ^ @  V   Q)Decidable  .@+not_not_iff } ꩷  @ w& v@x 4     @ àr  |) @+not_and_iff(  &    C  +  "    U ' 2 * Ω* ߠ  4   <ڰ & >հ ( @ &@/iff_equivalenceZB > < թǠ, /  3 K    # F Q@  N 4    R N@H@IR , A  Y   K  C [ M V AGG  E ] IZ@-not_false_iff  [ f@ %  ʶ@& *4 %   j f@b  TZZR h s@p  թ 44 / )  t p@ !l   p , f 3 ~ ( & $p%   d  [@ ߩ (v m , k 8  -   ` w@,not_true_iff '      N4 I C U  : g  & & @ m ,  R  G E CD  D@0not_iff_morphism Z   O         =b  Cũ    D6q `t . z4 u o  F  N?/      T S S C n@ >@ BC r@ à Y M@ V Ơ t\C Ӡ [CC y C@ @        ک 堩 ݠ Ω @%union%j ߩ    4      { t@    ̩  G@ !   X    9 W   R@   @  / C l,      g  򠩚 ;@*union_spec%ms     1  A D 5 4       %@% FZ # ,   #   ~) y  % t+' L    @  , 00    e@C @8 E    q :     !  C   By &   (C C @aI@1UC Id3CC ad e C o m  n  A P     R ] U OZ  * 4       @ [ V~  z@   l }  R n nF@ o d D ݶ@ s  }  , ] * u    wO  [i @ }@ Z A    ,  E   g .  h h G aڰ   kC .  C 0@  r j@ /C  CC  C@     #s''  _ ,  ʵ P @ *     ʩ Ϡ )  i4 d ^ T R J 5 .@   C@ ؠ , F  QQ    S@T   @X  4 ѩ ,  u  j N \  J h 4 ~ x n l d O H@V ),  ~  s W $    gc @d (jf Y  Ѷ@  L |@.n@w&  ׷  P @    @n  J  & ; M  W N  }   ~=w 5z ط \ A    ҷ | F   b   a R  ; 4  g L X    C$C @   !@tYC vCC aC@  % # A $r %  ܵ  :   ۩     >   4       @  f@ F  i } vv y  % tx@y  @ @} Q  6 ,   .     "    ) 4       @z ,   8     " :  @  #}    ꠶@-@&     ~@ k@ r   $   q  \        c <      é   B      < V   P G GC C @ [ L`@mRC hoCC viC@ =      n  o z r c n   @4 ; 5 + ) !  @ { u x  z %@ 1 o   w   <    @  6 q@  Ġ;ة ,  V  K /         r h4 c ] S Q I 4 -@ ӠN & #TR        ##@$ ܠO ,  n  c G ($,      ٠ ۩  ߩ 4  y o m e P I@  .Ʃ ,,    v Z '  "   "=   @ -B ''ǰ    4     x c \@/  Aթ ?,     m :3   C,      > @/ @::ڵ @ E @  D  J   M Z   [    6    S   ;     X g   ]  Z  ߩ B  d  FX   K g  %   L j P   C -*C @@\C^CC 4799CDBVT $W %0(K% \ P 4       @12-U @ g D , , D      .F  =7`t p )1@CQ@  6 DC9 KVN F s 4       @ C = 'G  Kc @ 9 h , P h   . N  X b +4 &      @  , Y &q     [s *SY[ S S  _w  U  0쵩 @&!C'eC (C *@->@TKC0VCC   ѩ{C    Ơ  `4 [ U K I A , %@ & E@ Ӡ       @Р ~a@    ,  t i M    4 } w m k c N G@  ! $  W@  ѩ 1,   { _ ,!%  ʩՠ͠ Q 4     { f _@| B,    p = 8  34 @ C9## 0H G 4      x q@* T,     O. X,   @, U55B4@'@*]? _  b oߩ s f  j oR  u  Q  4 $ y 7   C ͠'$C Ϡ@y@TC+VCCCF@JCRPnQec3f4?7(Z p k=. t4      ̶@B<e  FAi @{MG   @QKt  H` @XS{ @ _Z  ,T!l  !R`  Ugrj[ - pa1:45/%# *@* ywr ,l9. 0 n 2, yp%@% 3s99  FvN=j W4RLB@8#@ Fws g# O Okka  !@"ϠS b,eZ> * \   =_"w4rlb`XC< @  f !,vkO&(= Щn(),~s  ԩ C$@ $(H 33   }4|zr]V@:z3>;, >1,@3.@8~D,r?!I | ש4rk@ /N,|ID?- -   //JE1@S6 $$  ɵ qũ% j Y c <@(/ { @%6: (6 o  ѩ<EG ةˠ   ۷G ՠSUO  }ڠ ĩ#   ɰb   ϰ '  Ұ  ԰ ,, ]  ?:  /s5w56 1~1 3 A    85F W(H(?Ʃ  9> TTTЩjc6 cal!d<-\Y<.S  ǩ' wT ٰ sj1r j:iLk5  4sRA US@lx@lr YCo{{Z  E  ~QO`I4 HƠJ #ʠ( j\ 6SQSWr`ara!  6 C\@ݠa@ c f@  @ l 젩p lCr@:v޶@ Cz@z@bC֠dCC [S < ^&C u ^4~w@ܶ@   LߩWSN@  k@,  pi, d   u74@v,qlg@u""! ˠ i4@N  z 2    ~ ~/~ 1@Y  ,6=  l)1 4@e  !,,Dj # .F   ,//@0n  ,3K4$        @-@9      3 % ʷ éMM ũ    Ʃ f © XΩ  Cշ$+   C__)[ $ ԰ y  7qh/ /.5?   ^ ɩP @; ݩ  ~u   HGB +? ~HO ?J| E .   S < iC  }CQ@ҠV6 v @נ  C[@ܠ @zCa@@XCZCCՠ~C@ᵵ⵵ĩϠ֩Cưĵ fCCCCCC  ?CCCCCC  ( Y "nRoWnv oyt꩷ߩ" 2{)u:y~ C"CCCC.C@=@$<:X;<+Q+)(!,ũ# 6̷@ ư;)1<۰%321CCCCCXBC@MecdeTGzE6hRUTMXPKs ©`©ѰW7z xoKYXm0n xT3z ǰ%(Xjumh+}tT-hv,utC)C|vCCCgqC@U F6@>$`tĠwsy<3h<Sl?SXWsC&C$CCCC@ (˷̵v .ᵵgW!7}4xrhf^IB@hԶ@fթkh @e@c(,}rV# olr10 t)(,gC{@׶@zC@Р@WCݠCCC@ ] f˵Q@@D@UU吵 ! Ue a꩷17 qCQCC@yCCCC@ @2<:X;O( Y@%inter%5g"C4@,& /*@B %60z,D@<7@ A,4L  2{@*inter_spec?1)AKVN?.9@4"@"?,Ia %Kc'$ >J@(M++=@< @23>6OQ!P[d[:=XV<(Y&|bkbC%C'@XB@+MC[-CC[N\CR{C37SCdZ4UOEC;&@u;@K:   @ @U;,dY=   c (@@{~f-@oj]Ci Ck@@0CɠCCC@ ;eycҩݠՠϩ94mf@ܠשB@@8BFNNB=P@QƩC@U7V,QX  ܠ d4~@Q_,ZUPc_@`^fbU6@*i@r# E@5@g4"n !c [RY  r ׷w yap[ &  CCϠ@ P@hOC.jCCFC@TRpST 6i 8C;5/4˶@A<]@._6kk:Rm@nJ**@r-,BZu  @,T4@n,Kc Me|K@}Nr1,+@)@#51,@b@+'!?0g%, ZtB [ʩ sUof0H6 353 ^xooCC2@tG@fKChCC\bC@eɵzpPѩh4c]SQI4-@iMm@^ d@$@ n)),~sW$ }ĩϠ y4{yq\U@}<&2#B@(!!@";?,m:&"* 4٩䠩ܠͩ©4vo@TR,MHC ;@S@%%⩷ש4@-ge,`1˩i, d@/f88E@C;@BT'0Ơ)&+թYͩ\  VAiנkD4iݠ$m 'C*'C㠶@@YC?[CCW*6CgefgH{ITL=,ک٩4 ݶ@SM3ةVQ y@  M^X @4Um@e`Eֶ@ թ,]*u [)ԩoө843-#!@%&@*̩,l9. ˩}q \v_gO4JD:80@R,NC'4 tj@;&&  tzRөj4e_USK6/@2ՠYm,i^B8۠_ @ <$ CC&s4}wmkcNG@J*,tX%N1.,x$@P- WW: @@3`  : "ȷx$޷G)ڷNA{B^3y_73 "ũ<@< + ^ C31C@@CCC' +8C75S6 7K$  'Ѡ! * F4@&  I)$   0@ࠩ0+  7,%='?60 G N젩<6 K T-@ ?: b@  4 O i7ITL= o4 %@&0EIa@,Me"6 K Y_jA©+4&  @ n,\)t^v3  6a  e} @= $$  tPz C4>8.,$@+0 ,s@5/4 ,wD975y  w@0 88  ɩV4QKA?7"@A}@Ʃ,YN2H ŵ@@TB r%`x,xaȩHpJolN % L *tMr ԩ#Ωз~_|֩+ŷ0 1 C64C@@CCC    C  '  |4@Na@ l $vlg@ -@ Ƞ, %! ٰ +-S4%@ڠZ .++''#@(㠩c,(@.*4  :E=.Xp 4@u,:R!<T#B{<@G?((LBT_ԩ  4  @3,Ph7$,T!lKF(&R@3>>#T@Kv@I*BJU*K,3l6ްAqzzq;H];U! yܷ@N[\F RCG,)CI@@^C`CC} tC@ʷ˷ݵvᵵx4smcaYD=@r@s{{}@~@%,zoS j4|rphSL@~-,w[(# @,c4}u`Y @40+ @?,m:   K[BFTuG#OPHCS\*V۷q\rbC@@C@@uC wCC]C@['%C&;| 4ryuwwh@~@@@@7  թ8+Q.76CCCCnC@oCCC% C@XVtW.9l)1.$nlmN, 9;9 : LU`,%IKCCCCCCCCC{VCh3F:SUU%T#]CWCWCWCWC_C D1m~1 eer:=k@~L C CCCC[C@"@·õm%ص_Oҩ_w4rlHXC<Wf#8Š@p)@@+>@w40@5@2  ̩נ@9;,wik8{f_A8à ۠EDFSCC@0FCߠC@KCCCܐ C@k,q$dPe4@%p@ i@.q@)x,s PT 5%56# '\:* 3C-CӠ@֠ @2@ڠ5@Cݠ@59@-Cᠶ@2#Yv@X@C@ZCCX_#3C@fdeFyD5bc4|7n[~[\ͩ/a3c&dé\K*VV^ia\p gGZRLgfCUCUCUCUCAiCDm|5%)~֩G4B<20( @j@kt%%x'@(h@,>6,NC'0 ک>[4VPFD<' @,VK/:@=;i4d^TRJ5.@ Vߩީs4nh^\T?8{,mbF   ۵fl©v@#l{9^z(u@^C{EjD4q5  KCC@<C@?"C@@/CCCC@ ީxА~4@ y@ ~ ܐl, g b] ,@  @ t     k4@ ]~  _ z&u@ j,)  d ["4 @ j r,1 l = l,3  % r r r C > =r y$C砶@ ~ C꠶@  C@ 9@R CI TCCa nh=ComnOP[SD3s5 9!4  @\V<=2@c]B9 VZr@jeJ0@!5,d1|&  b0TewZ@4;5+)! @-J,r?420t WPr,,@-6%F,yF;1!'  ES4NH><4@,NC';@>VLd4_YOME0)@QSp *UDttO@ZGj,j_C1 @fhڶ@""@@$4~xnldOH@pr@,,@@.@/xzն@ 4*%Щ۠@=@4~ib@@@CE,s@;6$@4DH@J@E֩-@@ @[޷sאe[IېΩ1kClCE#ѵMCI'OթQ.N!.uηcPCķ[];鵷eCCԠ@oG@hCؠ@۠@Cޠ@ض@C:CCRC`^|_@sALD5gw4 ն@KEnY@[A99 @:SNv@>,Kc A  IW穷]Ʃ&4!@7nNV;;NN @O.,]*uS  nQ742," @~,h5*_֩jMFh`` @aҩ,n;0d  :Nl5 >o@@Y%xD&_M;M_NIH0LgUUgVi5-Wo(;Z<ucQcud$_zhhzi)d}IIbCf@@۩Cl@@MCq@~@xC͠CC堩Cͩؠϰ R T TPհ,..ɠ@)Add_Equal l 4}v@   Q       ~C@  C  CC"C"0. ) -m, 2[&b. =D4ԩm4ϠPũcҠڷcifCڠCܠCޠC88 CC*C@b+[YwZ[om8C:,6]8XG4ͩA<"d$_'6FAV]<TqNYPBZtsvn4,IaKczpu L .$fqiZةmd641+!@^qQٶ@afchyt-p@c@`,tA6 pmr^jX4SMCA9$@}àu",WL0j ɠ @}'qנ3q4lf\ZR=6@ܠޠ'é,peI$0#!,vk(*@  $ Wpж@L6@@1SK{@@7( @Q=͐o<EǶ@BKUVHՐ=:FM@NJC:@FT ` POB OP8"JDV]?*,C F62k28>h">k_me?afqch+vz0 u{agI%#}ExaOWraVglcVsC{ Ϸ|6a^rJ.bqfMidϰ8f)7԰k6,I///ALD>_Yj:R8˩IDd ;-G>CC@ʶ@SDn%JC`CCC@`(,T!lL@"c_  (@#'%Xhc I =^v"ozqc L R T,j7b@6 >,p=2;' SqS?CBWoK K PN f4a[QOG2+@S= @ $!ĠD  @&@ $,rgK /, qONà֠a # 4wumXQ @?ɠ{&6,d1E,'G&Ѡ&"@F9-NN &{ҩکߠc4un@\O\U,Pd]q],#SN%#@ i\* qq, ж@0T@3 @l@91. k@ж@~An@F0ʠ@KϠ @<Ҡo@+°/]@0,|BCbᐩ8#@g5|>A@>tqGC̩KG@N~zVȶ@ ]aӷhj[@m"Ӱ֩uf@xԩ@/ة3@:<_ߩŠ۩YΠR÷Z AҠש^ې[i   4;2) ^G<i-$ )vƠ, &~ %ĵ33/5C9P/נZ)ɵ]44wDrE\,J.FN;4=R6??NA@Y=HHWJ=CJh{Щ-D/NWeMsAI9, g4oea:`h)T769j ʷm[2fF!O78\֐@`@p@c9d@8 }h~9od8sf<irWj0ECx]p6K1BBթ!VXynS\h Z]|hC&fWc'CZfCHv,$x(թ7j= vsϐ]@F}{q:I@:RΠJJڠ(* d᩷ZjmVseeCCu@Ơ 1Ƞ©| @͠  "cl_'4@۩S @/ ea \@ (@ 9#u, p       Dx4@,  #~y  %t @    k%"֠@0%@)*ޠ@&_@'a# Im@@op@rsIЩ@z©{@}Щ~ͷ  K © X N Q Q lթj $аg mC +]n q h֩ڰ~ k k 56d][WVQ@5@:P9 3 1M0 E*v  I-  ĩA  O   W< \ JB [ԩd "" ^$ C hM  #"    `&CCk@    Z@ԩ  C ͠ CCC@搑    = !!9, ug / * @ {@: Ʃ w7 2 ; ! W `S 4{t@_@`P hhL Gj@k'@l \, Wn" ^4@ kd,!_ Z!Uxu  @vc{x L k 4  ж@  9` m@ ж@z C! eɠ@̠w{@Ϡ ~ l@r  (!@,<=u ې2!@z!2y` h e;=!9g@ө!@@ J ·  #!˷֩  @O@Щ!USVQNJ!pGA!J!Jҩ,)\"X! J! jw 34 . ( so!mWk!`  W!j!P ۩&!t!eC!T!,l'!g!g!1@ `!zߩ/S@!w@˩ @W@ ?!Z_!!M !!jD Ea!W 1!\!?  Ӡ̩d!^ !_!ǩ  ޠ 4 { u Q  L!/!!1#!33 ! 5!+!+!!s!,w!Š*_!CT!!~ߩ! X!!!!!!s ͩ!ؠ4 ! -!Ҡ!k %!Ġ %1!z! X ! v! R3թT!55 ? ! :7G !*=  ! !!R!ڠ ;Y!!!C @ i@VC @!! b@2!!C"6CC)C@[)"'"%!A@!";c!"'@$list]@"E"F@(elements(2!A @" !!!"T!!ص!%"X!۩$List%Lists"X@"($"d"4")")!2"=!*SetoidList@#InA q9@!!g"81   N!!l">6"5!@,elements_iff50!@#6#'!7@'of_list/" ""g#/#8#z#x"C"A$"7#O"5"#5""o#@3"$";"@N""Q#\""}#EA"""U@>trans_sym_co_inv_impl_morphism'\|"P#h*""#N*@'InA_nil+#磀""#V"  #7"7C###u#m#^7\<""#b^"w#n#IHlE##"{##~#o"#`J ""##v"$"z#"x##"#=U W""#B####_""###H#v"t""@!?a!뀰##"#p""#"##"٠""w""##V"#{""ࠩ""~#"###@(InA_cons=#"###"#ɠ<"$"#"5"5"0,""#"z"7"&"#"!97#""#t# @""%!@)# 5E"%#Fo#"E#&####)#"@5Equivalence_Symmetric. U~###C #2E##ַ#? J87'#9#;####C#>Q##C$,$*###M$2###I#%##퐑}$<#O#$ҩ#U#1#ԩ# $"$"#[#7$$$ #$$#c#?$$"# Ԡ$ "@)of_list_1 #C@*equivlistA~#v#R#$C( #|#X"0@'to_list$# $&$c$a#@$s#>$I$A$2 6##n$68#D$#:$R#8$I$C##v$G!$>"8"8#+#B":5E$CD#G$_?#$'C$$}#x"@$KC$$#}'0$ $Q$$#&Q$@@!i$^!f@$@$m$R$~@(eq_ind_r!2#$tX@)fold_leftɀր${$#%$$}$}$sD$|#$~$|$e$vd@*fold_right#$l$$$k@#rev$t$P$@&eq_sym X$$$$$$`%}@3fold_left_rev_right.$$#$޷$$#L$$[$[$$$k$$@$fold$Ō$$$$$@)fold_spec$$$$#|ԠR$@@!P@$@$S$@@^\b$ȷ$$&Pempty$$@ϩ$x#%Pstep%%#$r$%O%@"@$$"@"$$$޶@"@ V"6$"C$$@)eq_rect_r$j$%)$$ѩe%+Ƿ#$$$rȐ&Pstep'%4$G$"$@%#q%$$ͩ$M$)$$$$$!!XM w"t $$$$$ %"W$[$7$"k#$a$="Ʃ"f%Ҡ"t$$%'$l$H$$n#$r$N"ש$t$%4%@'InA_rev+##%%+%*%!%k$~$7"$w%Z%[@7@Y@V@3"{$$Ȑ$Hdup @*NoDupA_rev>z\%~$o%@/elements_spec2w[oC@&NoDupA @$$}%NȐ%Hsame%%$\%g%_!+$$%QS$`$$V%n$T%e%_$2$$%aZ~%Y5$$%dޠ%$J$a*% %b$t%B$$%h$#$n%H%lR$@"%P#%rC%%%'Q$$%w%f%@)list_rect ]ƀ$%ŷ %$ݶ$"$%%@@@@! %L%6`P%%ĶI%%ש%$ԩn$$%%U"% %"%Y%$$#$%Ҷ %Ӷ@z$$%@Ӷ@ж@<!$%g?%Q{k%$%%f%%%Ƞ$O#-%%%$Ʃ%Ѡ$X$($$$$%7$q$^$I$%%u$}$($%<$v$c$N%:%rjC%%>C ZC%ϩP#&#'#2ķ$&UԷf&%)$$%"&S&@@@@J!UA%M%&&L%gw&&#05%&*%=$#3%6&g&@%C%%֩K&0%%@@@X!m*%[%ĩ%O%+ &,&*&?&=&%:%V%2%% %o&F<#P%$@& A&L%=%%%%c%?%%B@D@D@@@@@@@@DϷ@¶@& &#~&c#%ũ& &/##&,&&,?&&0&s%%%c%4&2H@%@!% &5%"&7%&%"l0'&&*%%x&I&@& &&J0&##©&&P6%& &;&##&-&j@'f_equal=BBC߷EE&Y& &%I&]%&& ð&##&a&iO&$#ͩ&CS%÷TV%&j&%ȷY&vѰ%&&"Ӱ&#&z&y%&ɩ&S&}%& #&A&x&%$;%"%ٶ@&l#&_&o_%%&#&OI%%#&v&ȩe&m&}$R&[&/ &t&t%%&&d^&&xݷ&&&%&pj&%%&Ơ#& %%(%u&-%g%T%?&% &!&$,&$2&&n&n&&&@&ө&&͠&g&&& ' %ש&%&'&&%$%&%%ũ&+&&&ϩ&& $&ܩ&&ީ%à% &%&&&!&=&&&%&&$&C&&&%c,%%'%&) %Y%'%T&렩%' &O&+&W&Q&&&6&0&&&$%'%.&<&6e&%&\&_&;'&&&T@#@&H&B&' ,&#)+& &J$'&q&M'$ֵ&t&PK'"$'C&4" ''&#M9#&N ɰ&Z$&&]X$'/'%C&A"'('(C%8&+'3&'v&"a0&'g'h'&&m'$$&h&eD"$ &&&&B'&x&$'/'J'I'@'9/@.@-&&%'Q''%')#'&Ʃ$ 'N''&<'/''' '4'6穷'8'$'[&&@'>߶'*۩$&&η'B'.'eS׷T'GӶ'3--&&'K˷'7'n$'n$'n'&'&@2&&'re%C '}'$'e''''v' '9''g%@/fold_spec_righti ''''n'@&SȠ^'@@׶@'@'_'@@317'''ʷ)Pmorphism''ζ&'϶&'B@%F@'F"%_'ߩ'a$o'ܶ''&'M&'۶@&$@''""@%""%&%%&'d%@(fold_rec(V'`''&%z%{''m'{''''"ǩ'~$''f%@.subset_antisymV$'Ω%@,subset_emptyX:'F%@,subset_equalYH'$%@0empty_is_empty_1!~''Ƿ("( &%'.(_('%m'' %WЩ' $N'%@)equal_sym p'&(%''''!'$&%''''''" m' 0 (%''''('&єf(F@@U@(g(N@@((I(G%"X0(_(]'+'@'@''%ܐ'( &-@,fold_rec_bis%( %ַ"X1%'(/(8(y(w'E'ڷ'(h(&' %%'''(B(8'  k(@@@(y@(M!:l(@@(VY(('('d(@%@'"7A(D%$(_+(('m(((@(I(n$@&!&Y%ݠ'%&%(&((H (((((g(V(q(('}&*'((I#(5ŷ"X2%#©((%(3(a({(r'F#2t(@@'J#qu(@@!R@(@( #v(@@/@(ֶ@((Q!g8(U!j(X((η&Rempty(O(%Rstep(('&(&@&@&(&&(j&%%&'5&)((U(n˷'&*&p(&.(Z((s&u>&w((i(Է(&x&yC&1)(d(n.(GȐ&Rstep') ('&+(&,((!'((ҩ&&(ҩ(p(((ө'۩(&P(+((']&M(0( (֐&R(֠&('((;((b(='n(A((h(C')(頩(()5(H(&W)&X@,@*!G&R(&^&2})=;)B(U(!P)!Q@9@&O) !<&R(é!X&@&m!\)M&|&)&g)O&()L)S(f(&j),&k@(k(G) @!g)&c!j(֩&t&S(C&&y)a&(&)c&((1)d(c)j(}(6&s)C&t@a@!c)1!f(&{&h&&)u&&)7*r)y((E!n)R!o@((m)?)~((@)D(!z&{)?)/!)&&)L&)&&)ND)(~)5)5)P(()7)R)()m),*(()Z)])])))C)^)()'()_)VC!!)&&q&)&&s)e)\'))h)M)j'!)O)&) )l)#)n&)%) @)%i})@@{))@$|&_))()@'))@)e(@ I)$$))( ))@!@)ʷ@('('))))̷(() ))g$޷)S)Q`'$1' )B)P))8))@)ɔ&C)@@))Ѷ()Ҷ@'@)&&)v))))ڶ@))@!ש)Q(Է)) /))@1&-(R))))(4)'^G'v)w))))*)(:) ))% )O'9&ө)g)r))))))))#acc)()*(&)ɷ)*)$ **(*)!*R*)%%)))_))())^($*) (@6Equivalence_TransitiveW"ܩ) %(\,*)@**)(**))))W@%add_m%)R@-x '([*4)%"*6)'')))))(ܠ*'))*-*+(ǔ )YM*<@@)  (Ġ(Ơ*O*M*!'L۩*)p)*)*)*U***)_Ӱ)n)J(ՠ*^*\*0')u)Q**!*%*d)U&)o *j*h)3*>'Ʃ))_*')5$)+*C))'©))c*4*+))e*6*v))3)M)E*P)))($B)J$)@*X)>))))$é1)*E*E!)Y*d4 ))))$V>)*R% )V*n0)))))$٩G)*[ޠ* *]G)@+@%*B-@(%)ķ))ũ),)Y)*m*m"x0)ͷ*P1*=*d** f**)ط))٩)@)*4*o)***(f'u)*)L' y)***V'*)*(tж@**Y y**N*@**a#* **W)g'**i*(@**U(+@((*(*|*%X*(w9*( **l+(9"*"*(9F+ ǐ _*p***А@&in_rev5N|+w*ط*@~*0**1)*Ű*5**ِl*7**j*<*'*=)dѰ*A**('h\)'jb*'k*wٰ*I*j(ZR)'f߰*O*[*_(dKHGF(V*+%+B(C(k!+E(z+GC*Q#+*`(z?*+ ++ =^+A+?)۔")נO+P@@#eqA@+@+*"st*@+Equivalence~@++*¶@+i@**ַ+*9+l+)8@&fold_0(**+9+8 ; <))++~+R+J  +B**+H*+-*++J+/+@@  N O*1* +++e+]+N(!+V**+A)+*++C++T*++V b+"@* * +++{+s+d(ɩ+l)'))+)(+)++++++s),(+!(+++n+63+:*4+++++x(+((++/+$+@*A++ȩ++!!+((+0(+1)++2+3+y)(+7()O)O++)+((++>)V+V2(!(+)Z)+L*((8 $ ) +}*++++#+1+++++!B(6#+)) +) +a+*+++Š+)+C,++ӠZ P) $$)$))(C++L $L), ):). ). 3,  ѷ+*,+#+X,,+蠩++!A($)5+Ʃa!q, )8$/+$/++ʩ)ж@++!P +>++]@ +A++++!\ + )X@ ++!W)?*.@!d!Zݩ++!\++䐩,,A+2+++ +X+4!+C, +!V',C l,F  +9+6$@!,M)e$\$\+,m)h)$_), C,B,@*,@'*Q+Ӡy+,+,,,P,N+l,O,c,a*씑&*ӠS,a@@  ,.,+4@&ProperL@+@++ש*++i*++,",",3+ @)transposeWâ,++,D,,*&+˩*O*)) )*+,  P  Q+ 3+ ,,,g,_,P$ #,X)Ω),)+),, +,V @  d  e+G+ ,,,{ 5,j)ک),$,),,,,h)堩),),,) ,n  z) @+68+8,,,ߩ,)),')*?),,)*A,)렩)*E)**F$ܩ)*I$*,"HlO)+P,,ש,,)),*W*, @+[,,, ,$$*"9*+$,**,$ )*"?**$)*!"*,#Hl1#Hl2,* >*,*,* ,w $")$**# x ŷ G Ʃ++- -,ܠ,Ԡ,"0 ,Ͱ"_-"a*(">%S"c-**%!, @  ٷ [ ک++--,,," ,"KA"M%3"H*.g"O-&%5*0,ߩ"x%8"XI"U%;"!*6,吷"l' *Y @++-:-8- -3 Y,"k\"m*I"4%5"o-A*K%7-"pb"i%;"V"%<"<f"m%?"2"-#Hl'ɷ*v+ʠ-S-Q-%--">-"{"}-Y%O"- 8@+נ-`-^-2-*-"n-#"Y"[""O""]-h""-"^"}""x"""W"""-)$Hl'1$Hl'2-8""-{"","f"h-""*,M"i"j""u"y"-?"q"s-"",,X"t"u-F""-""% %@.fold_right_add񱑀D,,""""""""-*"*-@,c-n-f" 3,,"*,2(,-H!,++ 7,,% ^,a-y Y-_+""%,x,,v- D,,-j ΰ,%©,,-p L,,-r%ȩ +,v-"P P,,- ڰ,*ɩ,,- X,,-*-~ ,,-%ש,--- @,-"e,ʠ--, ,,,^-,S,'+,-+ ,- -+-M,---,$,-,-- ,- -,,-.,-,頩,m&,$,-,,,-&-((C-@ ,@,J3 +(*, 02+ 'f,-!-Ѡ-F -!, &--C+";)7 --ȷ+8*<Q@+(R'v-1- -/-  -4-C+0I)E--C -4-- <-6#-+9 @# #QP#G-ܩ B##S#I-..,(+QU.(@@ -  -ɩ(*Ʃ -ݩ -.7,.9--- -------     .- -.C,.E--.-----C.- -.K .. Щ-.!)(.   *ð.   . (. p-...,甑)+V.\@@   $Comp@-,--_,...3.3.)#Ass.u-..7 -.h.f.z.x,A@(fold_rel(V(++!u+!v++.I-*}----t.L.K ,-'G,--.-\+ķ.i+.(,f.+.W+ Ω-O@,transitivity>4 &+|&+++Π.+$+Ѡ.+++. .  --$.".P.a,#-6OUS  HB@-ܩ-7- --9.y.y.x.x.o ._"i'.4...SکD(. . ..*.*.f...w..-,:.+.D,.Bة+.?.?.m..~-Rkqomk %ec\Z +.:..,@-set_induction P^6.Ƕ-.ȶ@,~, , .@..X ,.B..Z..з.y)-.ҷ.f-*کP , ,ǰ, ,, ,,e..W.W ,,g..Y,@&fold_1( .,,#,).`,n. ,,%  .c .,,(,..e,s-ĩ-)--(..--.--.)Ě.,@'Empty_m7D.'@?*-.---v-e-^ .----Y.-.-z-R.. .- '...-//./.. /@1,E.,//.[.#s'0/ .c.X ',+',-'2 B',=.,Z,>. F',A.,^ H'!,C.,`,@&fold_2( 0...'(,<'A,g,J,U,a.. '*,>   0...'-,A'F,l,O,Z,f.ߵ.8/9..%./.$-/--/ `-u,/B@/2-.4D/ (/-l/E.6/., /6.08,./.A.;./ / d-. /.C-..// C.^/A@,,Π t,./. v,.//- @/^@/!/" /"-)@'fold_1b@'Add_adds /?.!'%#!  ./v/t///.-P@*fold_equal:$(,-...//6*/Q-W@)add_equal-U.!:@><: ŷ42+) / /////7. Z,- ,-/O//h ,/ (1/P}0(3/m/l,-$/ /R/ //$.@(remove_1 *.@W/u/t/t -{@*Add_remove5D-y.E^db`^ XVOM /-////÷/[(=(,-@/(/'/2/@/n(O/-@,remove_equalrC-.Yrxvtr ,ljca 2/A//ŷ./Ƶ 9/ʩ-V -/@#e -/B-/ -/D///ӷ/|*P --ǰ---c -/M# -/Og/g -/Q/ - /S/j(-"-(-m/U/T/_#/-@-empty_union_1#~#d -*-0 -@)fold_init< -1-7/d/c/|/ũ~-3-9-~/~/f-@-empty_inter_1`# -;-A %1 /->-D-3/q/ȷ0/0/-H+%00/X/-@&In_dec\-i/Ӡ-l/ǐ-n/BAAAA@@@@@D0/-v/Ԑ-x(& P%(B$,@ S%(E,C-f V%(H/ X%(J--j/"i0- %(7!%(9-M b%(T(U/ f%(X&-yO %(B([-d!0/%(D-X-}(]-f-q/0$0/ .Р--.( W./$...0"/Ʃ)".נ--0/-/ڵ/---/---{(/-o/*0 C0.2@)inter_Add://-/0)03 %(h1/(/ %(/=? %(n75 %($e&?6 (%(s-(--8JSL.H@+union_Equal %(}F(0 %(D.T@-fold_commutesf̀$%(-(--K0 -00  0 N%( U`%l0//0%(-`(--0A0\!no %(]m(0 %((nkw0*q0%(-p(--ǩ.m@,not_in_unionsW0 .%0%0S0d.t@)union_Add9K00.,0,0u &(s-}-0000- & ((-q>1(& (-(---qs.@+inter_Add_2[ǀS- &(=R200C0' .B04$O .D060 .F080 .H0:00/[tzxvt .nlec 40C00Ƿ/0ȩD .U0=P .X0J8 .Z0L .\0Nx0 .^0P00 .`0H [  .@0fold_union_interD$.h0P0O0Z0h00H;Y .j0R .l0^0k(.n0V0U0`0n00.@.diff_inter_all0 .v0^0h0v00.x0`0_00j.@0empty_is_empty_2!.@0diff_inter_empty=3J0/ k< q0110"10110 .Q.z <.T0% 0ǩ >.V0%  @.X00˩ B.Z00Ω* .\.000% .^.0ѩ<.`.000/1-/4/d,//1//)0ؐl/\/1/W0ܐr%mtr0-00@0x./x/0t0/y.k/)0÷0.η.[.ǩ00R.f-1 1@.Զ@.00.0.0+1C0Cg$..00000111D1B!p1?@#nat@(  1! 1$#Nat1K@0H `0U@1kB1'A1301-C15 1/ 111|1z0H%1U&1/R11?*1C0+%Peano1j@+f_equal_nat!-5 13)/1EC110[81h9@/e@1R=).'2,.f111 F1@&length䷀1Q N1eP1_ R>1j: T V101XXD\@Y1p[1n1l _ \@0fold_left_length? z gS1vO 1xiQU1@(cardinal ?161@-cardinal_spec(-1<11(0M v0O11֩10d11?110 [000]1110 k1)L k1[C 0 110@0 m@ v/101@*elements_1YB1@ ˀ/C w1 1(@*elements_2YB1#@ ̀/C/>111,˩ ]cp1˰111ϐ0@.eq_equivalence()'1</@-cardinal_foldB^1P221,22#2!1,s1/111 {ѩ F1ԩ11o0( ۩ P1ŷީ11 0111111A C0@)ReflexiveW1M1 222 C1 @)SymmetricFgq 1Y!z1ݩ2 2#2"125@(eq_trans!y122+2*2!C1"@*Transitive++-$11p11,1"x1 "y0#1?&1 @*** -h1 //2H2G2>C1 11NNC@1 11 1}188UU$2127<2 >*`C2B_.2Z2Q,,/.//221jj1h$1^2v1\,h2\2dO71K1bU2 UV2s]rt22tx2nj2vaI2p1@2|rr2~i#2vS@2Z2:oW2] 2Ƿ 1@22222{52e@2:2 j2p2\"e0 %122@2@(u22/b2L2|222n@@A@A@@@@D]122+@(22,/w22>82222°D1Ω2٠-Vd1M-/٩2˰M/2Ơ0@.cardinal_EmptyT<2H2͐33~·22ڰA2 ɩ222ک ]/2kin2©2R-@3230@O򩛠2@#sig#* @393<3:22ө223B3@@ 21kVP2)@2{٩1B3 2|3@*False_rect$03 w3Q23 2ض3Y3W@& (A3]3`3^333 2e/3V3Tx@@3-308=3p3s3q0n@335 383/=#@3;&FK3~330ٷ33'3C.33223 2?Y333 3F28T:@3R=]%3+3;3WB*3[3]3F1f@.cardinal_inv_2D 333233?1LTUȐ$Heqn<3oZ3i33]3u3l3t_3w 3xc3|3@'nat_indJ 'k33233p33^1+3s3C3323 )3d111@*cardinal_11T3202h(.2433R323T3331@.cardinal_inv_1D .H#IHn$33շ23ַ<3W31O O33Z3rBBB@@@@D33a)3333B0SB0V1WkZ3ǰ3 3ʰL))cR0f1e{j3װ©[0o1`3ް3t3# f0z1s1]1@(eq_add_S10Y1f3꩚1@,Equal_remove?v%3333 2@*cardinal_21U,34344342 @)in_subset334 4 8333*5L34344344 33334 33Đ2@.Equal_cardinal$eY} 0Ws0 TR #M$4i4g32*{30$]3%@-eq_Transitive(b*ĩ*󩚠2>@*cardinal_m1**453$*2J@3singleton_equal_add 3l34114K6*{8,94P;Ґ*][1+4W=3ʩ! )4P4434GI51J4aL@4]CQS? ;T4kVJZFB4i\ ]4t_S cO!aK4regS$h4j4ylX4T2@/fold_diff_intercF$s_43334d. yYz4SWC3V}}hhCfL3Z3X3ȩ3\o44۷34ܷ%EqNat%Arith4@)eq_nat_eq,XUU @+eq_nat_refl:A\Cu444WM2@)fold_plus ړ4;A""+"55R3c@)inter_sym:23R4k!3,N;H:H8 &B# 3,RE%3"F5R5c3t@2inter_subset_equal ET3r$Plus@)le_plus_rx&Ӏeᩚ3@3diff_inter_cardinalB[3s554555Ʒ5^25J3{5H0eui"y1 9}R@"lt Uxc544Ơ "4,S4w 4s@4i}ة4k45s@%lt_wd/Ύh4r4K4D 4? 4H 454b4:4:<"1/A"+47,w-t 4   "15o1C4թ4"A5z4C,0</Ʃ4G,=ȩ"?5w5Ϡl1DM+ƶ@@0␩2+Nd 55ߠ5m@0퐩215l54655 4"04}6541˩52 515555L#0565w#&@5ys -6@62@1plus_lt_le_compat4Ļ€44"Gt{@'gt_le_S3r浵"Lt@'lt_le_S0?n򩚠@)lt_0_succ5%5CC@"gt UxC #A_16y6w56x57#*86O:.>?6VA56R EF6]H<>6[ȩN O6fQ E6bUWC*4X6oZ6ik\^J6v_6vacO*6rXȠ6\5̠*I64Ʃ*L6656vj ӷ5y6{o@#sub 4-e@5.먩x  %Minus@*minus_plusS y@(add_commb&64@4union_inter_cardinal*[6666 666°7cnK*6ũ[@)le_plus_lx&̀ 6ː777766İ28677 7 760Gu˩@2AΩ66ߩ~jթ6שL1k4@(fold_add(>((&̵ 6M686N60CkCi 7>cCN77622^*75737G7E66Ag/ܷ7 7萩s0q75@-remove_fold_1:('P/H7S7Q7e7c60/7)@8SortA_equivlistA_eqlistA$EnC7p7o6@7a!))@75!07|-OrdProperties"ME(OrderTac"TO@08X@092ʐ@!1-@+lt_strorder6@х@)lt_compatҖ%@0E7,6-6g7r7a7@*comparison;f@:@'compare|7H C*6̩$6o7,I7u77:@#gtbE!77v75q77|67w7}7JI@.compare_gt_iffn݀7hȐ!c*00@@@@@@@@@@@D 7777 7=777979777@7476@7A7FGA=@7G77H7p77I77ڷ77677'-777'4r777zX!Y)-[67-7171P7714|7[77 @7^7İcdBZ@7d77e77>4 7Ʒ7 7o 8p@7̰7G-7Gf77G7@77ذwkk@7777{o77C777l778(7&667,78w@#lebE'777ڐw7ܐx,m{zwuljn8888+@$negbl87k87V@88(78 7o@77s7b72C77ҩ7e@8]@77a7V72C77ݩ7p@8*8B)8%8%8X@87\7C8 77[_77774837C8N8=8UQ8878&ᐑ87S8`88#7U8Q7T$8f8P8h&858o@6,,@-&7!/(8_@.compare_compat $86811c:3/8#8Q8l8b7O88e8#8ѩ2C8q88\2C G@H87<J8C*8+8N7P8Q8X9787$8758D5é7@0reflexive_properm+8887Y88GG7@:reflexive_eq_dom_reflexive=[88N7@,eq_ReflexiveaN3S-@*gtb_compat*׀8d888!!78#88d8Ʃ>C88ʩ83&C A@8i88@8%Z%@,filter_split"o(@5{W8BY888Ұ8`8˷88հ8`P8p8J@,compare_spec'b/9 @+CompareSpec!Q]@//7a/Ȑ"c04CAAAAAA@@@@@@@@Dl@..688ũ99sh9g88퐩6g9 8ʩ4η8ϩ99&8886m5Р889Y#OTF@1u&ր-8 '%9f@)lt_irrefl>`Ԁ691 @%lt_eq/6668B9M9<9T*966659C9[1f9=#9?@%gtb_198958689I9SC97A9 59H8F68̩9E/$869W;@(lt_trans=u6969i9_C9& 709+9j99c98\8쐩8@.absurd_eq_true!9899s99}C8C+6C9b9=Z@)not_gt_le2N9&9m9~o@i1u&Ā5Rf@)not_ge_ltx9=9K9U5 97R777w7 9z@+le_lt_trans2f79F7999T9I7b98999ũ829h56a99˩>29n5O9p2%9rC9'@)49p@.elements_spec2p[d9vC:9 9Ȱ̐@:%9@#appʀ`@+elements_lt#9f@+elements_ge9:(92):)99ϐ.@9%_99:1>@7A@7sort_equivlistA_eqlistAB-ЩF6ԩ2ԩ@&filter4ԑ۩7Q4iC: #7 R6婚@)SortA_app-ʦR$ @+filter_sortJ$a4&Sorted'Sorting:b@1ĭ@Bc:1 $ %9;:F@%HdRel%5p@ :?.9|@ :9=U78}8˰~:1 9@ :FJ b40y 9>:K:"ML@'Inf_alt#P:a090:"@9970:h:g:{:a9t:B@9:q" 7 FD=:vpF8093NLE:~:|:0:v:wS@*filter_InA<>sWP7@*leb_compat/ȥ'5)<:::M*:77]6['':699j4@ж@99aoh9c9@9&L}::i:@3:o:: @39w~9y99c9R9K 9F9O 99J:9k9C8x:j:8-8-9' 3"@3685:9ҩ:ݠ8B:7:08E9::Р5@!w1@P8T::C:ƐO:gd::9::;6::Ґ7:;0::ِ:@%leb_1&m6:v6r8::ש{8:ک@;1u&Kπ18r: /;@'eq_refl&׀퐩@&eq_neq>p::8:@>x8:;; @*le_antisym.€8:;-;$C;-:n:;4/5:  ;:o:Y@9 ;(;B;Z7 ;<;:P;[;3H1v7%#; O%1s:;X;p7;R;S.'1;F;`;"8 86CCCCC@@@@@@@@@@DsC@HF?;!;n@;w;zհ8wM1Vq77s; JR8ةN z3;Z;;8^Ԑ3ߩ3;$g;~;8k8G//0!&22;;]Bu)5;x;a;3|;;?;9[CD5:F;;XV=I;;g;u9;é;°;o9 9;ư;h31S;;ɰ;l1[`15k@;ϰ`9Ͱ1B.9+4;ک1C1k90;ܰm;ڰ1J'N1n;yuT.1;o{9A1#1]1X9E1Vg1\1;̩p18;ϩs1K;1&1&٠1K;b1+1f1+;; <<<13< 1o148<<&o<ɠ1G1^< 1>9^@%eq_le/^1m1111o< <C<+9<9<;;;z 9x;<4C4E9~|9zj9h1<'f1@d94k9]9[1<0iTʶ91<6P9 4v[_@:1ש1q2S/;<=;1! =<<=?<=2dK<ɠ=C=@LI>=[:uzg={;P$=H(R=S;z>=:WV =X71;V>=>C=^;> =^ = ;=9+V>,>#>#>#C,+C@'eqlistA:p$@4e`<]n=>>@%AboveЯ=q> WNIz@>PB=<$!E0/# >U1A($A->_.=/>=53,>d5>;@=;4>R>c@>l>oʰ@<)">h :B;ͷ;ɩ>uӰI;+;ϩ>{ ٰO;1;)ܩްT;6>|>>m8;1ZЩ\;>>>^>9;婷;>b>266>>e>6;ީ*g6̷5h@>*V6;<>2>DU6> 95X*6<r4a4;6<vu>2>C-SetoidTactics=@0default_relation ~@>)@3equivalence_defaultú < 41#Heq4.=>0@===={=@=@?@= ==">=$=x=q &&=l(=u =**>==g4K=K,7#4N4v4>ީ4J4P=>4W;4` 6=?>4!4a7.C@KC?714_#><>>>>U ͷ>@7W?@?#?&7? >4?,<?,੷<?0>a>2?0>@ @5H! ?3>;>©4t>4j4?:> ӷ> <<>><>Щ 4??F>@?O?J? <?M=?M??>@?V*> ?S?0?>n2>l?w:81?`:&ư<?S>bB@9?h!>l?4FFD=?u%ҰH?1*>NLE?}?tOH;?w>?>YWP?98>?4]> &>Ġa_X?A>,>>X?>M>9,=>?=.?f_??}H>?? K>?4p>ՠ9>נ?>,>>i?>^>9=>,>>k?>`>9n??Nwp?>k>$>?>fe>>c>ba>?4m>]9Q_V>>?>N>>$>?>x?  >> ?q? @#@>v>?:#?)<4$t?P%;5??B9r?D ?W|9u??ͷ?=Z=\=p=r=t}8*@{8E@y=zݠ=^@w=}u83@~˷=s=!?ݵ@Cqie8W5^m55>8XWN>L55]@!55>rF555?7@BF!<<ԩI!.?1@I)@/_5b5=C@ 55d?=@5=@5??? η=̷=̩====8e@A 8 @="  ===8n@J=6=+ ) "= @@!;@U' /@ +5@d=8=6@%4?٩=$@( 45@,@d?ŷ5 =@-C A :5@i=F=D@3B?=2@6L J C5@3:@r?,)=@r>3@r@*@*?% ? L?@T R K@zް T@k@?z7?@5\\ Z S@ \@E;?Š)@ a Z@@xM?U?$?@?PO  ?z? M?LK?@5pW?ՠG?,??g@?\?:j;I@6??$?@?`@  ?? @Y?@ @?^ @m= Z@6 :T@9^<@@@v =#c@?:]  @@k@C@C  А @ͥJA@@Ѷ@@@;&K@=A@"@>nA @?@$[A "@_!^@ x@@ߩ@[A@(nat_rectbٶA!3 @@>@hA&8 @@@ @ _Au@ aA6H A*РA3@&option >v@AA@A@@@@@D!oQ@Ab@'max_elt&yK>3A>=@]AA* #AeA)>ਗ਼v@=7^mY@'A@@&^>(A?*A9d?YU@ M: A3AM@7@*bA:ATAT % AVd@'[ABA\@-max_elt_spec1€;AXAcAaLZ84A&AgB@@@@@D@Y@Aq\ Ak@At_AwKG??A{f>L??AxA@AmY7DAEAr ϩ^Z?A8zz{9}}A? ;A  AA?Q A?AA? l=5Ðq==KAAɐw=Aa ?AA]A]@AooAAS'AAj-A@AzΠAvٷ@@xzA <2 z?֩@ͩAؠܠA< >yAS@?ZA ? Aˠ0@>,*,@> :tAҐAA AcAŐ @AgdAAAݩ_?[AAAd>NAé>9AA֐XA쐩7ΐ@&neq_eq'j?rA?rAAA?BACA G@-max_elt_spec2ÀAAAAB CʠBAB꩜BIA֩ X@-max_elt_spec3Ā>OL?*K B  BB$A,B7W>B'>ٰ\<ȩB,O<B'?@a?B-B5 .зAx#@ʶ@:r8ZB5AB?*BBC.Aʩt1e2$BAA?BCA@ :@BFC@BP9,,??aB =0BWBXBN@ ͫKB@@eGB A @?B 6@~AxB S8~xWB jh^\@Bv_ @'min_elt'ع?BvYABXBk X?SBmB@UBJtNMEZBtBA8BvB @-min_elt_spec1nB C'B  Y@C4 C, C. CtCF é  aAJBC3C4C}, f _C7C6CAC}COC k  a  !@2elements_Add_Below-vvf,CA ԷCCBB ֩CNBC\!@3fold_left_rev_right. CKCCc8CM  Ce  COCCgCCOK>CS K#CkCUCA"@ @ A(C[FComB͸NC@@`@ 1@  7 CǷlCD C C 3CiAXA CCS  @BAAC֩vtAcA CCʩ^  *CYBAAkA_ CCf ! C,  ACCCCC  %    3A 4ChC ǩCD  C !  C C$BDB!  D  B BD C!  D BC 1C7CD  $!  D 7 C D%8 (C! CD(!D >@LCC  @5ACDDDADCɩBe  _^CDY kDk ^D @C @_$ACCCCD u@CT%JB(D9 F@EbB<C'%#!{zCDu D zDD-$BCCCDD2B=DN [@9mBQD C D,A @&choose5-AlESIG@D @DcLDf9@@DgPDjY:@D @DmV:D @@Ds\e:@D C @DzcDP D@Dh):Z@ AA OD@{DoCD3D 3>  ED7g! D:D! ~=Ah}@D ζ@Dq Ds #@@D|@D ۶@DD~ #@@DDӶ@D C @D Bq<@DD\?@ B= 98Dj?  B|DD5D' D.D'DME  @0!B3@+B"E D @@DҰ DwZDDzDDDĩ DBSC ACC@H@A@@@DE) @Dҩ !D}D@D|DvE4 '@DWB^@DVBOE= 0D; 1@,@D@ b=RB[=!="DDY=&;:EBƩDC, E u ک% \ &C y(  z ߩ* w + r+ M } CC  O    b  `BC Q > S  BBv=m" c !L `=pByEBDĠBީD۠qDC@A@;@8@4@1D"@Er e@>¶@@<@Ew j@@@@E| oDz p@>@=3DE7" uEEDBBE |D }@K@yJ=h=iGU<<C=k HEIDD\ѩC,  E jDCC !;C=BEPBǩEDE C@,@*@Ŷ@@DҵE#E @p E#@nD7B5BE D @m@n="=fE/E0lz