"`""S)MSetFacts%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ֱ&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>$Bool#Coq@0j 2cZ`FW*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI+Relations_1$Sets#Coq@0k<⪚(тc1&Sorted'Sorting#Coq@0bb1z٠*SetoidList%Lists#Coq@0k窪ܸqS-DecidableType*Structures#Coq@0kO!Z7++OrderedType*Structures#Coq@0#73t1E iW'BinNums'Numbers#Coq@0dmk(5Ju<*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼)BinPosDef&PArith#Coq@0}H d.%,b&BinPos&PArith#Coq@0vyػ0= u)BinNatDef&NArith#Coq@03@1O,[{ &BinNat&NArith#Coq@0K11ڤs+Π$Pnat&PArith#Coq@0,?pr.gZ'ZAxioms(Abstract'Integer'Numbers#Coq@0\}zK=PK%ZBase(Abstract'Integer'Numbers#Coq@0 TL}2_} ؠ$ZAdd(Abstract'Integer'Numbers#Coq@0Y9Vgⲫ򐠠$ZMul(Abstract'Integer'Numbers#Coq@0Mtr\b"H#ZLt(Abstract'Integer'Numbers#Coq@0xK|j2[&=}۠)ZAddOrder(Abstract'Integer'Numbers#Coq@0w:}H#NK}{)ZMulOrder(Abstract'Integer'Numbers#Coq@0Dr~-~ECM'ZMaxMin(Abstract'Integer'Numbers#Coq@0bAX1'ZSgnAbs(Abstract'Integer'Numbers#Coq@02`ou{Z'ZParity(Abstract'Integer'Numbers#Coq@0S)*Dd$ZPow(Abstract'Integer'Numbers#Coq@0AşsאI)ZDivTrunc(Abstract'Integer'Numbers#Coq@0`]f5FԠ)ZDivFloor(Abstract'Integer'Numbers#Coq@0dj_TYQc|$ZGcd(Abstract'Integer'Numbers#Coq@0G0=$ZLcm(Abstract'Integer'Numbers#Coq@0(9g%MmN]%ZBits(Abstract'Integer'Numbers#Coq@0ܹCF5s+ZProperties(Abstract'Integer'Numbers#Coq@0Ve*ʞ_OV)BinIntDef&ZArith#Coq@0ådR4Tuy&BinInt&ZArith#Coq@0BpHޞun^$Mult%Arith#Coq@0햖Qyb0(Zcompare&ZArith#Coq@0'ҤjI=D'Between%Arith#Coq@06v*0ur`C0)Peano_dec%Arith#Coq@0Kݢ*k+Compare_dec%Arith#Coq@0jXF 8)Factorial%Arith#Coq@0@oehJd%EqNat%Arith#Coq@0AIgՋXRV &Wf_nat%Arith#Coq@0UJX AJhO*Arith_base%Arith#Coq@0Ĕ}CS&Zorder&ZArith#Coq@0fVk.BG)%Zeven&ZArith#Coq@0i?eK#aU堠#Min%Arith#Coq@0Ce-Fѕ(PreOmega%omega#Coq@0\|چBb~w4%Omega%omega#Coq@0t.J'6\ϨrK,Zcomplements&ZArith#Coq@03 ٠*VectorSpec'Vectors#Coq@0GyK5%l6L(VectorEq'Vectors#Coq@0#'`ԶlxjT&Vector'Vectors#Coq@0_ċ|"Ʌhz'Bvector$Bool#Coq@0,rO3^~'Ndigits&NArith#Coq@04-RelationPairs'Classes#Coq@0CjN0x* .>S3‚HK iÕ{Zl)h!-Р)MSetFacts%MSets#Coq@A(WFactsOnA@!E@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%?<`@.@*?<`A@@@@@(eq_equiv @@/RelationClasses'Classes1@+Equivalence~@J@F?<`N@/?<܀@@@FA݋X_A/RelationClasses'Classes#Coq@@A@@A&eq_dec @@!xh@d?<`!yo@k?<`&Specif$Initg@'sumbool7̂K@@b?<܀BA%Logic@#notШ@t?<܀@@@@@|@*Equalities*Structures#Coq@-DecidableType@@@@?<`@@?<`J@@A@?<@@?<ܠ^@@A@AB@A!M@#elt @@!t?<`@ %'A*Equalities*Structures#Coq@@@B!E-MSetInterface%MSets#Coq@@@@-MSetInterface%MSets#Coq@'WSetsOn6@@@A@@@.H@A@@@@@AA@@A@4 @@/C('&@@@@@/@ @A@A@@@%empty @@]@O|逐@@@@@#(is_empty @@@k@]|逛)Datatypes$Init(@$boolZ'@@@@@@<#mem @@@@Z@@{|@@@@@O#add @@@@Z@@|通@|逐@@@@@f)singleton @@@@Z@|逐@@@@@x&remove @@@@Z@@|通@|逐@@@@@%union @@@@|逶@@|通@|逐@@@@@%inter @@@@|逶@@|通@|逐@@@@@$diff @@@@|逶@ @|通@|逐@@@@@Ԡ%equal @@@@|逶@!@|@@@@@砠&subset @@@/@!|逶@4@&|ɐ@@@@@$fold @@!A.hB@@@@L@HZ@BC@T@F|逶@D@@.h@@A@A@@@'for_all @@@@g@cZ@l@^|@@@@@2'exists_ @@@@{@wZ@@r|@@@@@F&filter @@@@@Z$@@|通@|逐@@@@@^)partition @@@@@Z<@@|逩B@$prodt@@|通@|逐@@@-)AxA ϲ6W)Datatypes$Init#Coq@@ A вuX @AB@@(cardinal @@@@|逛o@#nat@@@@@@(elements @@@@|逩@$list]@@Z@@@>A al<@A@@Ġ&choose @@@ @|逩@&option >v@@Z@@@\A ůMZ@A@@⠠"In @@@*@&Z@/@!|途A@@@@@)In_compat @@)Morphisms'Classes@&ProperL@>@=?<`@P@B|!@*respectful%WO?N@M?<`@`@R|1W@"eq?<܀k@]|<%Logic@ @y@k|通 @#iffС)@aN@@@>AviA)Morphisms'Classes#Coq@@~A @AB@@T%Equal @!s@|逷"s'@|逶!a@Z5@NAC@NB@&@|逶%@|途 +k() +7T' 7! 7!7%'@/-t`p @/X!dP@@@@@&Subset @T@|逷R@|逶P@Z@@NM@NJQ@o @|逶n@|I +k() +7T' +  7!T'7%'@Zt#@Nd@@@@@頠%Empty @2@$|逶7@3Z@#notШC@"N@I@;| `+k+7T' 7!7$'~dw@L0#@@@@@ 'For_all @!P@l@hZ=Ԛq@c|逶!xx@tZ@~@]N©*@@@ZX𚠐@|Đ +k() +7T'+  7!T'$'Ðtdre@@@@@b&Exists @B@@Z}@|逩F@"ex @@ZL@ZW@#andЖw@@N@m@@ZQ@@|途A +k() + 77%'  7!7%'%t:|th̠@@@A1@D%Logic$Init#Coq@@A@@Ơ @7@z/@@@|逶@@ |@@@@@䠠(eq_equiv @@/RelationClasses'Classes@+Equivalence~@8@!t|通=@A2A@@@/A݋X_A/RelationClasses'Classes#Coq@@A@@AA@@A@&eq_dec @@!xZ@"|逶!ya@)|逩&Specif$InitS@'sumbool7̂K@s@A2A%Logic@#notШ@A2A@@@@@<(mem_spec @@@|逶 @Z%Logic$Initb@@"eq @)Datatypes @$boolZ'@Ayx@#memA @"InN@@@@@*equal_spec @@3@|逶1@|逩]?3*@%equala#+'1@%EqualA2A@@@@@+subset_spec @@W@|逶U@|逩cWN@&subset'$JT@&Subsetǀ*@@@@@Ϡ*empty_spec @@@@~@c@@@@@⠠-is_empty_spec @@*@|逩@(is_empty/Iɀ|@%Empty@~@@@@@(add_spec @@I@;|逶ؚN@JZ!yU@QZݠ@#add Y@"or @@ @?<܀@@@@@5+remove_spec @@}@o|逶 @~Z4@Z֩͠@&removeS@#andЖw@+@#notШ9@@@@@f.singleton_spec @@8@Z`@Z;@NA@ 0B@b?<܀ @@@@@*union_spec @@7@|逶5@|逶h@Zf@N+@E06/@ @@ND@NA@@@@@à*inter_spec @@n @|逶l@|逶@Z@Nb"@=w-7`)@Nu.@ Nr@@@@@)diff_spec @@<@.|逶A@3|逶КF@BZΠM@,NS@WʀhZ@9N#a@@N@@@@@')fold_spec @@Қo@a|逶28ޠL+@@!i!f@@}Z-5@OFԐDͩ$List%ListsG@)fold_leftɀրH@Z&Basics'ProgramW@$flip$@Z\\署@|'c@@8@A@A@A@EA%t+@AHAx@JA!t Q @ABMA!uR#@QA1DHU@ %'A*Equalities*StructuresA&A@ A!s̓P5@ABCD@@-cardinal_spec @@C@|逩u@?ـ|@&length䷀@Z@|'@@@3A o@A@@+filter_spec @@l @|逶@ Z@@Z@۰@@?<`@?<`@?<܀m/@N⩚5@ Iyt=@NӰ@@@~AviA @A@@ ,for_all_spec @@T@F|逶۶@Z@VZ@!@@?<`)Morphisms'Classes@*respectful%WO?֐ڰΩ@'for_all3؀t@'For_allD񸀠!x@#eltZX֐@@J@@R+exists_spec @@@|逶!@@Z5@gFA+ @'exists_1w @&ExistsԾ3@@q@@y/partition_spec1 @@$@|逶H@@Z\@@@?<`d@?<`j@u?<܀@KA2At@#fst @|通@|逩@V&o@s I@@@A ӳ2[@A Գq\@@ABC@@Ǡ/partition_spec2 @@r@|逶@@Z@ܰ@@?<`@?<`@?<܀l,@A2A@#snd8@*|通<@.|逩A@&o;F@ I֚L@HZ@$negb@@[@@.elements_spec1 @@Ěa@S|逶𚠐f@bZ*SetoidList%Lists@#InA q9@ @(elements|@@@Ai0A@A@@F/elements_spec2w @@񚠐@|逩@&NoDupA @@?<`@;?<܀@|Ԑ@@)@@j,choose_spec1 @@@|逶A@Z@M@Z@#FA@Z@N͐@@@A ůMi@A@@,choose_spec2 @@H@|逶@{ܐ@Z@##B@Z @@~@@.@@@@@@#eqb @!yР&Specif|@ S7̂K@BAAAA@@@@@A!sL@&eq_dec.T@ |@ B@ ) )Datatypes$Init#Coq@@$boolZ'@ +k() 7!= R'>G'>H''+k6'>AABAAAP.h@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@$In_1 @@ ;@U@ )|逶l@V@ŠǠϐE@@@/C-MSetInterfaceAviA)@A@@0%mem_1 @@ [Au @ߩ@@@@@@%mem_2 @@ kB0(&@@@@@@N'equal_1 @@ yC>"s'A@۩# @@@@@a'equal_2 @@ DQR@@@@@@o(subset_1 @@ E_!`@שB6$@@@@@(subset_2 @@ Fo1p@-@@@@@*is_empty_1 @@ G}@©_S{A@@@@@*is_empty_2 @@ H@ک@@@@@%add_1 @@ I@YZ@@@ %'A *StructuresA݋X_A/RelationClasses@A@@Š%add_2 @@ J @@@@@@Ӡ%add_3 @@ Kö+@@+@@(@@⠠(remove_1 @@ L'Ҷȶ:ɶ@$ѐ@@;@@(remove_2 @@ M:۶Mܶ@6@۩۠@@P@@ (remove_3 @@ 5NOb@@@@@@+singleton_1 @@ COo@ǠЩ@)singleton 0 $ΐ@@t@@.+singleton_2 @@ YP@oݠީ[@@@@>'union_1 @@ iQ./'%@@%unionE0SR @@@@@V'union_2 @@ RFG?=@T=@@@@@h'union_3 @@ SXYQO@@@@@@v'inter_1 @@ Tf(g_]@&/5@%interw-,@@@@@'inter_2 @@ U|>}us@M@@@@@'inter_3 @@ VL@@\KS%@@@@@&diff_1 @@ W_@]fl@$diffʀc@@@@@à&diff_2 @@ Xu@@@@@@Ӡ&diff_3 @@ YöĶ@Ѷ@'9@@@@@堠(filter_1 @@ Z*ն˶!f@@@&ProperL@@&filter I@@@LA@A@@(filter_2 @@ 3[M#!@ @ݰѩ@@@@(filter_3 @@ F\` 64@3@@͠.F@@*@@0)for_all_1 @@ []u JH@G@"*@@;@@A)for_all_2 @@ l^1[Y@X@;3., **@@O@@U(exists_1 @@ _Eom@l@)B @@`@@f(exists_2 @@ `V~@}@-%%@@o@@u*elements_1 @@ ae][@$xz %m@@@Ai0A{@A@@*elements_2 @@ byqo@I@@@@)In_eq_iff @@ c~|}@ةi@#iffС)@@@@'mem_iff @@ d[@@@@@+not_mem_iff @@ e!kz@@@@@ˠ)equal_iff @@ f}3W`@@@@@٠*subset_iff @@ gɶʩABJ@@@@@砠)empty_iff @@ h̩N @%emptyc@%Falsee@@@@@@,is_empty_iff @@ ,iFh7@@@@@@-singleton_iff @@ 9jevP@@b@@'add_iff @@ Gka t2*a@@s@@-+add_neq_iff @@ Xlr@n9@@@@=*remove_iff @@ hm-%#$!>@@@@N.remove_neq_iff @@ yn>645@lZ@@@@^+for_all_iff @@ oNxv@uǠQY@@g@@m*exists_iff @@ p]@֠-5@@v@@|,elements_iff @@ qldb,@@@@%mem_b @@ rzrpq@̩^RIwJ@@@@@'empty_b @@ smaXҐ@@@@@%add_b @@ t}qhr@#orbp @<=Gw s@@@@@ɠ)add_neq_b @@ u!@ "?@@@@@ڠ(remove_b @@vʶ2@$andb=)@$negb7@@@@@,remove_neq_b @@#w=޶P߶@9̰n@@@@@ +singleton_b @@4x`۰ϩW@@@@@'union_b @@Cy] ߩ۩nbِ@@@@@*'inter_b @@UzoP@@@@@;&diff_b @@f{+,$"  a\@@@@@O*elements_b @@z|?75 !  $ListR@'existsb gQ@@@A=\ @A@@l(filter_b @@}\TR@ @ 4 +@@y@@)for_all_b @@~o@ R Fx1@'forallb?[/o 6@@@@A@@AAIPA<@4@A1@D c@ABCD@@(exists_b @@@ t hgS@@@@$In_m @@@)Morphisms'Classes#Coq@@&ProperL@ʶ@Aũ N, r@@@ AviA)Morphisms'Classes#Coq@@A @AB@@ݠ'Empty_m @@A,! @@@A@A=A@?Aۓό^@CA݋X_A4'Classes#Coq@@LAРD.Morphisms_Prop'Classes#Coq@@ABCD@@*is_empty_m @@1BU@ ͩ   F@@@1AF@A@@%mem_m @@DCh@($*  ؐ@@@EAZ@AFA9@4A]@6AA@8A?@ABCD@@4+singleton_m @@_D@C(?E* ; @@@`Au@AMAv@OAZ@QAX@ABC@@M%add_m @@xE@\@BBY_ U[FF   e@@@|A@AiA@kAv@mAt@ABC@@i(remove_m @@F I@@@A@AA@A@A@ABC@@'union_m @@G΀@s2u4 1A@@@A@AA@A@A@ABC@@'inter_m @@H瀰@@@A@AA@A@A@ABC@@&diff_m @@I/.@@@A@AA@A@A@ABC@@Ġ(Subset_m @@J@   R /@@@A@A@@נ(subset_m @@K&@ҩ e H@@@A@A@A@ABC@@'equal_m @@L= @@@A+@A@A @ABC@@,SubsetSetoid @@-M/RelationClasses'Classes#Coq@@(PreOrder@ p@ ǀ@@@:A-@A@@"+Subset_refl @l@2PreOrder_Reflexivevv r@1#n@D@)ReflexiveW % (6777"k,T LD#\@@@lA_@A@@T,Subset_trans @2@3PreOrder_Transitive4(ۀ1@,@*Transitive++- P+VT\ ѐLFD@@@A@A@@~&In_s_m @@Ǹé u ꚠ&Basics'Program T@$impl7o ;@@@A@A@AB@@)Empty_s_m @@O퀰㩚@$flip$ % ݐ@@@A@A!s̓P&Basics'Program#Coq@@A!t Q @ABC@@Š'add_s_m @@Pxy ˩ 1 1 ې@@@A@AA@A@A@ABC@@ߠ*remove_s_m @@ Q. @@@A@AA@A@A@ABC@@)union_s_m @@ RDv _0@@@ A5@AWA6@YA@[A@ABC@@ )inter_s_m @@8S\@@@6AK@AmAL@oA0@qA.@ABC@@#(diff_s_m @@NTr -  / w@@@HA@ۿ`Jh@A@Qk@ZAo@AB[AۀߠKp@`AW@AaA@cAڠPx@ABCfA@jA@AkA@A@ABA@Ah@AA@A@AAi@A@A@ABCDEF@@b,filter_equal @@U{@Xb!H@`j@@*respectful%WO?  : x rAȀ@&&qq  r@j I3@@@A@AA@A@A@ABC@@-filter_subset @@V@8@7  j  A@  A  0a@@@A@AA@A@A@ABC@@Ƞ*filter_ext @@W@ȶ"f' Ͷ@ @өi    ԐB@ ѩ%Logic$Init#Coq@@"eq @  ʶ2@@A2AzG@@@*A?@AA@@A$@A"@ABC@@@@@C@@Af@B\@@2@ABC@@A@@@ABC@@A+@B@@@ABCDEFU@&WFactsNBX@L{@L @J@@@@ %'@@A@A@@@ c  @^@B m@g$@@@@@@ u< @@;@ ~@@ +@@@@  @@ V$%  C@@@@@ @*Equalities*Structures#Coq@-DecidableType@@@@$@]@ $J@@A@@b@"eq^@@A@AB@ u @M@]栠@%WSetst@A@@۠ @@@A@@@@@yg@ @ yg)@A@@@'&@A@AB@A@@@@@䠠ϐ @@@@ܐ@/@@A@A@@@ؐ @@~@)j@@@@@  @@@ @@@@@  @@@@ *"ۀ@@@@@  @@@ @%%@@@@@Ӑ @@@.@@@@@' ֐ @@@@@@@/ @@@?@@@@@8 @@ @@@@@@_ @@@@@@@H  @@@XK@@@@@Q  @@ @@@@@Y_ @@!A.hB @@@@\@@u@ @@.h@ @A@A@@@q 7 @@@@ku@@@@@{  @@ @@@@@` @@@o@@@@@. @@@@+@$t@@@@-)A QA ϲ6W4@A вuX8@AB@@ @@@D@#nat@@@@@@ { @@@ƩT@ ]@@@@)A al[@A@@ʠ @@@کh@ >v@@@@O"#@*T@@@@@#+remove_spec @@ C4  Vg:;@џl,ې@@@@@<.singleton_spec @@ 6 n7RЩS@ !f˱ .@@@@@P*union_spec @@ pa b Lg婚h@ T @Y@@@@@f*inter_spec @@ w x *b}~@  $o@@@@@|)diff_spec @@   @x@ 4K :W@@@@@)fold_spec @@ <8ޠL Q@@h+ @:J.@4ǀa.@Zɀր9;;<@ |,y ~9@@8@@A@A@#A%t@@A&A`@(A!t Q@AB+A!uR@/A1DHn@ A&P@ A!s̓P"@ABCD@@ؠ-cardinal_spec @@ 4@RlZ署}@<䷀ߩ8@@@ A o@A@@+filter_spec @@   @ 簶@ u  >@ ʀ  ʩ@@ @@,for_all_spec @@ 4% @ Xİ,@ 3~Y]1@ 9   @@ @@0+exists_spec @@ PA %@; tԩH@ 1AyƩM@ Rz@@ @@J/partition_spec1 @@ j[ ?۶@Uנ@  eef@'cY@@@ A ӳ2[@ A Գq\@ B@ABC@@m/partition_spec2 @@ ~ b@x@ #v;sn4 @@!@@.elements_spec1 @@ H Ƞ dP@@ @@/elements_spec2w @@  q@ J @,@@ @@,choose_spec1 @@ i@Tᩚ@AtAC@@@ A@A@@,choose_spec2 @@ Ѷ@mԩB @@@@@ @@@@$@@$&@A@@@%$@A@AB@ڢ@ے@ڐ @@@@頠 @|@@@@ @@{p@ &@@  @@oh@@@@@g@@[OÐ @@N@@@@ @@0,@@@  @@*%@@@@". @@$#@@@@) @@"@@@@0 @@@@@@7  @@@@@@> @@*@@@@E Ӑ @@@@@@L  @@@@@@S r @@$@@@@Z @@@@@@a @@@@@@hn @@@@@o5 @@@@@@v  @@@@@@} Z @@@@@@& @@@@@ @@ݐ@@@@W @@Ԑ@@@Ր @@Ȑ@@@ @@@@@@ @@@@@ @@@@@@ @@@@@@Ð @@@@@@Ơ @@zy@@@@Π[ @s@f@`@@֠q @_@[Z@@@@ޠ @@TR@ @@ؠ  @@QJ@@@@ߠI @@H=@@@@< @@;0@@@@/ @@.@@@@ @@@@@@ @@@@@@ @@@@@@ @@␠@@@@ @@Ր@@@@$Ԑ @@Ɛ@@@@+Ő @@@@@@2 @@@@@@9 @@@@@h @@gX@W@@GS @@R;@ $@@N: @@9&@ +@@U% @@$@ 2@@\ @@@@@c @@搠@@@j @@ݐ@ @@qܐ @@Ӑ@ @@xҐ @@@@@ @@@@@@@@@ @J)@"\ۀ@@@V$%3@@@A@@@A@W@A@@@@@@y @@@s@@u@@s@@k @&# @AӶ@pdR@@@@@m @852@B϶@0@@@@@n @GDA@Cp@O+ns@@@@@Πm @YVS@D@=~@@@@@ޠo @ifc@ E%@29@@@@@q @{xu@F7()@KD@@@@@s @@-GG8@(԰ȩ/@@@@@u @@>HXI@@q@@@@@v @@LIfW AyB@\ҩ:@@x@@2m @@_JyjTU@X@@@@@Bo @͠ʠ@oKz,de@Զ@$@@@@Sq @ޠ۠@L=uv@(XD@@@@hs @@MR@@u$mt@@@@}s @@Ng@@@@@@u @@Ov@w0=@@@@o @(%"@P@/٠O̐@@@@q @:74@QcҶ@H@@@@@k @LIF@Ru@tm@@@@@Ԡl @_\Y@S  @@@@@@䠠n @oli@T+@{@@@@@h @|y@!U;,-@@@@@@j @@1VK<='@*@Bl@@@@@k @@EW_PQ;@@@@@@(e @@UXo`aK@ҩ:@@@@@:g @Š @gYrs%]@`@x@@@@@Ni @٠֠@{Z8pk@@{W@@Z@@`X @@[J}@@Z@@k@@qV @@\[*@@@l^X@@@@V @ @]>@@\Pu>@@@@X @$!@^ѶQ@˶@Z@@@@W @741@_d@޶@vd@@@@Y @JGD@`w@@&@@@@Р[ @[XU@a@tN@@]@@⠠Y @mjg@b)@@@l@@[ @|yv@c8)K@]@@@@X @@0dJ;%m(@@@@@Z @@@eZK5} M@@@@@%Z @@Rfl]^@@@@@5\ @@bg|mn@@@@@E^ @Р͠@rh.f[@@@@@VU @ޠ@i@@@@@eW @@jNϠP@@@@uY @@k_ @@@@[ @ @lr@ k!@@@@] @%"@mҶx /@@@@_ @852@n϶ж@ ?ZF@@@@a @JGD@ow@*Ґ@@@@Рc @[XU@p @;ǐ@@@@ᠠe @lif@q(  K@@l@@g @|yv@r8 ) K @ ǰuv@@@@@i @@2s] &ذ̩=@@@@@k @@Bt\ M 7o 8ީ1m @> yoې@@@@@1h @@^ux i S T@ é@@@@@@Dj @Ϡ̠@qv |. f g Hl(g1@@@@@Zb @@w D | }@ 0$i@@@@@md @@xV  A5XU@@@@@~f @ @y 2 i SGU֠b@@@@@h @@z ʶF ˶} g[S@@@@@j @0-*@{ ݶY ޶ ȩzn(P͠Ȑ-@@@@@l @FC@@|  ݩ=n w^@@f@@Πb @YVS@}   @R@@@@㠠d @nkh@~*  @f @@a@@U @~{@#= . @(˰@@s@@W @@5@ I  V  EOu F@@ B@@= @@GA0 f^@@@@A#@pAۓό^'@t@uAРD3+@ABCD@@4. @@aBJ `> o4b@@@@D+ @Ϡ̠@qCZ@  qO  s Ɛ@@@.@A.A@R@/@@ABCD@@[' @@Dq@  f    D@@@E@Ag@D@@ABC@@p# @@E@ ) { +  }   ' '@@@@ @ @F@@%@@ @@G    E d@@5@@  @,)&@H \@@C@@ @:74@IŰ T@@Q@@  @HEB@JӰ k   q @@@@͠  @XUR@K     &@@@@A@@ABC@@ᠠ  @lif@L  L@@@@  @zwt@M @(PreOrder@ . G@@@@A@@  @  : S@ %@ @)ReflexiveW ٠@@@@ ʐ @ @ @ ++-+  @@/@@2  @@_NH s<   թ> oy   p@@ l@@D  @Ϡ̠@qOZ N       @@@.@/A@1A@ABC@@[  @@Pqe  r g     u@@@@m  @@Q k@@@@{  @@R v     N@@@@ ~ @@S  F@@-@@ v @$!@T      W  B@@@ v@ۿ`J@A y@Q@@ABAۀߠK@@AA @AڠP@ABCA@l@Aj@@AB A@@A A@A@A@ @A ,@ABCDEF@@Ϡ m @ZWT@U m  _@@u@@ᠠ G @lif@V   @@@@ ) @|yv@W   ) @  % $@ ̰۶C 4 5@   '  )@@@@@@@@=@%Facts6:   @5 @4 @   㐠 @@@C @   ֐@@@@J @@  ʐ@@@Qk @@  @@@@X@ @@@@$@  @A@@  @A@AB " @ @ @ #<@A@ @@@@ze @@ n @@@h @@  @@@@ @@  @@@@ @@  @@@@w @@  @@@@R @@  ~@@@@S @@  }@@@@9 @@ | {@@@@ @@  z@@@@ؐ @@  y@@@@! @@ x w@@@@Ǡ @@  v@@@@ΠԐ @@ u g f@@@ՠ @@ d b@@@@ܠo @@ k a@@@@㠠 @@ ` _@@@@ꠠ @@ ^ U@ T@@_ @@ J C@@@@ @@ B :@ 9@@; @@ 5 .@ -@@ @@ ) '@@@@  @@ & @ @@n @ @  @@@@ W @ @   @@@@,1 @ @ & @@@@8 @ @ 쐐 쐠@@@@Dѐ @ @  ݐ@ @@P @ @ Րz Ր@@@@\  @@  А@@@Vp @@  Ȑ@@@@] ǐ @@  @@@@q  @@  @@@@x  @@  @@@@  @@  @@@@  @@  @@@@  @@  r@@@@ q @@ p `@@@@ _ @@ ^ S@@@@ R @@ Q D@@@@ C @@ B 5@@@@ 4 @@ 3 %@@@@ $ @@ #   @@  @@  ֐@ @@Š ѐ @@  @@@̠  @@  @@@Ӡ  @@  @@@ڠ  @@  ~@ }@@ᠠ t @@ s d@ @@蠠 c @@ b [@F@@ Z @@ Y Q@M@@ P @@ O @@ ?@@ = @@ < 2@ F@@ @ 1@@@@$@ .R@A@@ ,N@A@AB@> @@wv@@@@ @k!@h@@@@͐ @c!(A`@@@@@ǐ @[!2BX@@@@@Ð @V!u@@@@@C @#HvbS=u>שB=$@@@@@08 @#[wԐ@@@@@:1 @#ex!YZ <@@@@@H0 @#syȐ@@@@@R( @#}z@@@@@\! @#{@@@@@f @#|N8, j @@@@w  @-#}@@{@@ @7#~@@@@ @A#@@@@ @K#@@@@@ @U#A@@@@ @_v#Bs@@@@ @ip#Cm@@h@@ @sc#D`@@[@@Ǡz @}X#EU@@e@@Ѡh @O#FL@@o@@۠\ @K$GH@@y@@堠M @E$HB@@@@A @A$I>@@@@5 @=$$J:@@@@, @7$.K4@@0@@  @-$8L*@@:@@ @)$BM&@@@@! @Wp@).0@@0@@3ߐ @@Ҡ@=@@@ @$kN @@r@@J @$uO@@@@T @ $P@@@@^ @$Q@@@@hs @$R@@@@re @($S@@@@|Y @2$T@@@@$ @<$U@@$@@ @F$V@@.@@Ґ @P$W@@8@@@@@@#@@@8!@8!U-RelationPairs'Classes#Coq@@A@A9!@9!àV @A@@#|@@#|] @A@A#@A#^@A@ABC ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AD@@A@BcA̠ˠ@A.0TQ+Ring_theory+setoid_ring#Coq@@CBA.U>[J @2A8ӠA4Relation_Definitions)Relations#Coq@@AD7A @7A @A@BCEF@/DecidableTypeEx*Structures#Coq@'N_as_DT-OrderedTypeEx*Structures#Coq@'N_as_OT@A)Nat_as_DT )Nat_as_OT@.Positive_as_DT.Positive_as_OT@A&Vector'Vectors#Coq@/VectorNotations)VectorDef'Vectors#Coq@ @.'Z_as_DT''Z_as_OT@ABC@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@A\@&BinInt&ZArith#Coq@!Z@'quotrem\)BinIntDef&ZArith#Coq@!Z@ /@A@\@@+pred_double\@/S@@A@As2@3@&shiftls2*@vY@A@BCs8@8@&shiftrs8/@vY@A@ѓ@?@&squareѓ6@y@A@A@D@&to_intϑ;@@A@z@6@&doublez-@/!@A@A@o@(nth_map2*VectorSpec'Vectors#Coq@@ 8"@A@@|@*fold_left2v@6U@A@"W@@*fold_right"W|@6N@A@ABCDE/@h@)log2_iter/_@wd@A@NH/@[@&moduloNH/R@1,@A@A\d@`@&of_int\dW@1?A @A@bz@f@&of_natbz]@1?G!@A@#@l@&shiftl#c@1dV@A@#@r@&shiftr#i@1d\@A@ABCD/x@&BinPos&PArith#Coq@#Pos@)pred_mask/x)BinPosDef&PArith#Coq@#Pos@ )X@A@6@@&square6@19@A@AV+L@@&to_intV+L@2@A@V1b@@&to_natV1b@2 @A@V5=@@&to_posV5=@2@A@ABCl@@)sqrt_iterl@!$:@A@@@6@(sub_mask@-@)@A@ADEF c@@'testbit c@!ć@A@7 B@D@'of_uint7 B;@*`]?@A@AG@I@)mask_rectG@@+ED@A@F˱@O@)add_carryF˱F@+p@A@K5@@*Forall_indK5@9M@A@X@@/shiftrepeat_nthX@;\@A@ABCD^Ҷ@@'to_uint^Ҷ@#m@A@gL7@@'sqrtremgL7@40@A@Aq@@'testbitq@5)@A@BE@@-replace_order@:k@A@2s@&@,shiftin_last2s@=Nn@A@AxYe@+@!txYe%@;z@A@Bx^@0@"Inx^ʑ*@;z!@A@xa @7@"hdxa 1@;zd@A@Axa@<@"tlxa6@;zP@A@BCx#@A@#eqbx#(VectorEq'Vectors#Coq@@ /@A@x[@O@#etax[@> .@A@AxI@T@#mapxIN@;{&@A@BDx@Y@#nthxS@;{)j@A@y@c@#revy]@;{-@A@AG8@h@$castG8'@/Y@A@B8[@m@$last8[g@;d@A@R@s@$map2Rm@;@A@ @y@$take s@;:c@A@ABCݎO@J@+succ_doubleݎOA@6r@A@HI@@%case0HI@@A@ @x@$even o@>4@A@ACD @}@$ggcd Бt@>U@A@ @@$iter }@>:@A@A 3"@@$land 3"@>m@A@ F)@@$log2 F)@>t@A@AB S@@$lxor S@>@A@ @@$pred @?U@A@AC @@$size ܑ@?'@A@ !@@$sqrt !@?@A@A ! @@$succ ! @?\@A@ !7@@$zero !7@@P@A@A *@@%ldiff *@@A@ O@z@,take_prf_irr O @*@A@A g_@@+pred_double g_@25\@A@ q@@(take_app q@lm@A@ABCD m@@÷ m@2j@A@ @@+Exists2_ind Ñ@ @A@ k@@'nth_map k(@wF@A@ABS@@&of_intS㫑@4}5@A@S@@&of_natS@4};@A@ACEFGJ\R@@(mask_ind\R@4@A@\^@@(mask_rec\^@4@A@Aũ@@*Exists_indũ@@A@Ǜ@@'of_listǛ@@A@A!,@@&pred_N!,@4s)@A@BC@@&shiftl@5X@A@@#@&shiftr@5X@A@A&@(@&square&ّ@5,x@A@BD"@-@&to_int"$@5L@A@"@5@&to_nat",@5L @A@AnTq@:@+testbit_natnTq1@6n@A@B@3@(succ_posB*@@A@I@@'abs_natI@?n@A@AB.@>@'of_uint.5@MS@A@3~@R@'sqrtrem3~I@7]%{@A@ACD,@@'bitwise,@/v@A@>4'@_@'testbit>4'V@8g$@A@d;@@*rev_appendd; @fh:@A@AB{U@j@,sqrtrem_step{Ua@8R@A@u^@c@(div_euclu^Z@ @A@Au@!@&Existsu@@A@UA@'@&ForallUA!@@A@#N@-@&In_ind#N'@%@A@ABCDfz@@'to_uintfz~@9w@A@l@@'comparel@3R@A@AA@?@&appendA9@ m@A@L9@E@&caseS'L9?@ x@A@ABW@J@'replaceWݑD@ 4@A@K@P@&eq_decK@?w@A@K~@V@&eqb_eqK~@?w@A@MĚ@\@)nth_orderMĚV@ O@A@ABCDEFGs8@B@+of_uint_accs89@5+@A@@l@3to_list_of_list_opp@<@A@A}@@,pos_div_eucl}@&`@A@3x@C@'compare3x:@]=@A@`<@}@&t_rect`<w@ b@A@c`@@&take_Oc`@3@A@ABCD@@&double@'޺_@A@(@@'shiftin(@*I@A@Aq@@+of_succ_natq@$@A@w@@&modulowɑ@)1@A@ABEK@@&of_intK@)j,I@A@K@@&of_natK@)j2_@A@H@@'Exists2H@uF@A@ABI@@&shiftlI@*O@A@O@@&shiftrO@*O@A@AC,@@&square,@*ow@A@Z@ @&to_intZ@*81@A@ADF`@@&to_nat`@*9G@A@@@'Forall2@?j@A@Ae@@+testbit_nateđ@+@A@'@@+Forall2_ind'@ ~@A@"@@'to_list"ӑ@O*@A@ABC+{@.@'sqrtrem+{ё%@,J@A@@@0shiftrepeat_last@@A@A5z@:@'testbit5z1@-T|@A@BD @?@'to_uint ͑6@.@A@ @G@+succ_double >@.^4@A@A!lK@@)const_nth!lK@@A@!K@ @+fold_right2!K@x @A@A#@f@'compare#ݑ]@ )Q@A@$@@8fold_left_right_assoc_eq$@3@A@ABC%t2@q@(size_nat%t2h@ @A@%9@x@+of_uint_acc%9o@ ΋@A@A%V@}@+double_mask%Vt@ S@A@%%@@'div2_up%%z@ "@A@%R@4@)take_idem%R@-W@A@ABCDEG'ş@@'Ndouble'ş@ @A@(K|@B@*eqb_nat_eq(K|@w@A@A(b0@@*shiftl_nat(b0@9-@A@B(nՖ@@*shiftr_nat(nՖ@'@A@(@@0succ_double_mask(@@A@A*W$@@,compare_cont*W$@!@A@*@_@(cons_inj*@!@A@*A@e@(shiftout*A_@@A@AB.0@@.sub_mask_carry.0@΂@A@CDE.@P@!t.G@ ;@A@.먩@W@#add.먩N@ `@A@A.U@\@#div.US@ @A@.B@c@#eqb.BZ@ @A@A. @h@#gcd. _@ @A@.=@n@#leb.=e@ @A@ABCFHIK. @s@#lor. j@ @A@.Z@@#ltb.Zw@ @A@A.p@@#max.p|@ '@A@B.@@#min.@ @A@.@@#mul.@ @A@AC.g@@#odd.g@ @A@.&@@#one.&@ @A@A.뾴@@#pow.뾴@ k@A@.L@@#sub.L@ @A@.@@#two.@ @A@ABCD.,a@@$div2.,a@ @A@.Xz@@$even.Xz@ ?1@A@A.@@$iter.ؑ@ @A@B. @@$land. @ @A@. @@$log2. @ @A@ACE.@@$lxor.@ R@A@.y@@$pred.y@ `<@A@A.Ʉ@@$sqrt.Ʉ@ ;@A@.@@$succ.@ @A@.t @@$zero.t @ Z@A@AB/@@.to_little_uint/@ @A@CDF/@@%ldiff/@ H@A@00@c@'compare00Z@?H{@A@A1P%@@!t1P%@  @A@B1P@@#abs1P@ @A@1P&@@#add1P&@ @A@A1P@@#div1Pґ@ y@A@BC1P@@#eqb1P@ f@A@1P@ @#gcd1P@ 0@A@A1P@@#geb1P@ T@A@B1P@@#gtb1Pʑ @ q@A@1Pĺ@@#leb1Pĺ@ a@A@A1Pň@!@#lor1Pň@ /@A@BCD1P@&@#ltb1Pב@ ~@A@1P@/@#max1P&@ @A@A1P{@4@#min1P{+@ "@A@B1P]@9@#mul1P]0@ @A@1P@@@#odd1P7@ @A@A1Pɣ@E@#one1Pɣ<@ J@A@BC1P@J@#opp1PԑA@ {@A@1P1@R@#pow1P1I@ @A@A1P;@W@#rem1P;N@ @A@B1P@\@#sgn1PˑS@ r@A@1P@c@#sub1PɑZ@ p@A@A1Pe@h@#two1Pe_@  @A@BCDE1[8@m@$div21[8ޑd@ @A@1[d@v@$even1[dm@ I@A@A1[6@{@$ggcd1[6r@ i@A@B1[U@@$iter1[Uw@ @A@1\@@$land1\~@ /@A@A1\@@$log21\@ 6@A@BC1\$@@$lxor1\$@ @A@1\Y@@$of_N1\YÑ@ >j@A@A1\@@$pred1\@ j@A@B1\@@$quot1\֑@ }@A@1\@@$sqrt1\@ @A@A1\w@@$succ1\w@ @A@BC1\k@@$to_N1\k@ @A@1]@@$zero1]@ eD@A@A2:@@%abs_N2:@ @A@21@@%ldiff21@ ߵ@A@2=*@@%quot22=*@ @A@ABC2kF@N@(size_nat2kFE@{@A@3s&@@*eq_nth_iff3s&@*@A@A3@@(tail_add3@^q@A@BDEFGH3@@(tail_mul3@^@A@5Z@i@*shiftl_nat5Z`@y/@A@5f}@o@*shiftr_nat5f}f@4@A@AB5a@@'iter_op5ay@ @A@C6w~@@'of_uint6w~ @^5@A@6W @:@)fold_left6W 4@*Za@A@A8j@ @'of_uint8j@'"h@A@8V@E@.nth_order_last8V@/71@A@AB9E@@(div_eucl9Eđ @(*k@A@:El@Q@/rev_append_tail:ElK@.G@A@A:x@@,Nsucc_double:x@ ʭ@A@BCD@#R@A@A=9R@L@.to_little_uint=9RˑC@#b@A@=Y@@+shiftin_nth=Yӑ@3뗦@A@A=@X@%ggcdn=͑O@$*@A@=U@^@%ldiff=UU@$'R@A@ABCD>@@&divmod>@C@A@>@@&double>@NĴ@A@>@@+shiftrepeat>@2Y@A@AB?2@@,pos_div_eucl?2@-u@A@?;@@&modulo?;@"i@A@ACEFGIL@%Arith#Coq@0I|кX*o4)ArithRing+setoid_ring#Coq@0ṔCgt?}*Arith_base%Arith#Coq@0Ĕ}CS@0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C0&BinInt&ZArith#Coq@0BpHޞun^)BinIntDef&ZArith#Coq@0ådR4Tuy'BinList+setoid_ring#Coq@0Au&BinNat&NArith#Coq@0K11ڤs+Π)BinNatDef&NArith#Coq@03@1O,[{ 'BinNums'Numbers#Coq@0dmk(5Ju<&BinPos&PArith#Coq@0vyػ0= u)BinPosDef&PArith#Coq@0}H d.%,b$Bool#Coq@0j 2cZ`FW'Bvector$Bool#Coq@0,rO3^~*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1+Compare_dec%Arith#Coq@0jXF 8@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ-DecidableType*Structures#Coq@0kO!Z7+0' m(k>4'Decimal$Init#Coq@0C涳N*ua%EqNat%Arith#Coq@0AIgՋXRV *EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼---@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ)Factorial%Arith#Coq@0@oehJd#Fin'Vectors#Coq@0r'gް؅/׸-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh.+InitialRing+setoid_ring#Coq@0k/T=cN"Le%Arith#Coq@0d}Omq+$List%Lists#Coq@0>I+ListTactics%Lists#Coq@0,Jcy{0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏,͐0x* .>S#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ%Minus%Arith#Coq@0LFtR"30Imӽ%\$PD@0% :B'.>u%$Mult%Arith#Coq@0햖Qyb0$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ&NArith#Coq@0S22b%&*NArithRing+setoid_ring#Coq@0_ .Ys!Р'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠$Ndec&NArith#Coq@0${IէQ<^렠'Ndigits&NArith#Coq@0*SetoidList%Lists#Coq@0k窪ܸqS-SetoidTactics'Classes#Coq@0S_`nOU$&Sorted'Sorting#Coq@0bb1z٠&Specif$Init#Coq@0;RWMi\N'Sumbool$Bool#Coq@0sB ,$11.]m'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@033 ٠(VectorEq'Vectors#Coq@0#'`ԶlxjT*VectorSpec'Vectors#Coq@0GyK5%l6L"Wf$Init#Coq@0q+W,J+$Wf_Z&ZArith#Coq@0`&i2נrHȠ2ՠ2&@(9D{(@@2 @2.@)#2 Q@@@@#_112@).<=A@@@@@@@@@@@#_122M접(HasEqDec@20#_13'`o@B@@@22@(2 Q@@A@#_263@(< A@@@@@@)NE@A*D@A)k@A@@@@@#_272M접3@@)< #_28'`o@3J@)"< E@@@@@@)"++-<-@)2 Q@@A@#_293k@)#@A@1UE@A@@@@#_452M접4@*'B#_46'`o@4@*1BC@@@@**/@*12 Q@@A@#_474@*<=$HdA@@@@@@+B@A@@@@#_482M접4@*Q=$Hd#_49'`o@5@*[=$HdB@@@*ՠ/@*V2 Q@@A@#_505@*a=$HeA@@@@@@+DB@A@1ȐD@A@@@@#_512M접51@*}=$He#_52'`o@5;@*=$HeB@@@+/@*2 Q@@A@#_535P@*<ЕA@@@@@@@-"D@A+@A@@@@#_542M접5k@*<Е#_55'`o@5u@*<ЕD@@@@@+L-D-G/f@*2 Q@@A@#_565@*<ЕA@@@@@@+D@A@+ِ@A@@@@#_572M접5@*<Е#_58'`o@5@*<ЕD@@@@@+--0S@*ޠ2 Q@@A@#_595@*<ЕA@@@@@@,E@A-D@A,  @A@@@@@#_602M접5@+ <Е#_61'`o@5@+<ЕE@@@@@@+נ-Ϡ-Ҡ/0@+2 Q@@A@#_626 @+&"eA@@@@@@,OE@A-D@A,l@A@@@@@#_632M접6A@+G"eؐ#_64'`o@6K@+Q"eD@@@@@,"..0<@+P2 Q@@A@#_656h@+["eA@@@@@@,E@A.?D@A, @A@@@@@#_662M접6@+|"eِ#_67'`o@6@+"eE@@@@@@,k.c.f0S13@+2 Q@@A@#_686@+"eA@@@@@@,㐐D@A.@A, @A@@@@#_692M접6@+"eڐ#_70'`o@6@+"eD@@@@@,..1y@+2 Q@@A@#_716@+7cA@@@@@@.ːC@A-@@A@@@@#_722M접7@+7c#_73'`o@7@+7cC@@@@.預.점1@+2 Q@@A@#_7477@+7cA@@@@@@/C@A-}@A@@@@#_752M접7Q@, 7c#_76'`o@7[@,7cC@@@@/&/)1H@,2 Q@@A@#_777t@,3A@@@@@@-D@A-@A/P @A@@@@#_782M접7@,=3#_79'`o@7@,G3D@@@@@-t-w/o29@,A2 Q@@A@#_807@,L3A@@@@@@-鐐D@A@/@A@@@@#_812M접7@,g3#_82'`o@7@,q3D@@@@@--/2{@,q2 Q@@A@#_837@,|3A@@@@@@@-D@A/Ԑ@A@@@@#_842M접8@,3#_85'`o@8!@,3D@@@@@--/󠐑2@,2 Q@@A@#_868>@,3;hA@@@@@@.mD@A-ߐ@A0 @A@@@@#_872M접8]@,3;h#_88'`o@8g@,3;hD@@@@@.>.A093@,ՠ2 Q@@A@#_898@,3;iA@@@@@@.D@A.%@A0` @A@@@@#_902M접8@,3;i#_91'`o@8@- 3;iD@@@@@..03I@- 2 Q@@A@#_928@-3;jA@@@@@@.D@A.kE@A0 @A@@@@@#_932M접8@-93;j#_94'`o@8@-C3;jE@@@@@@.͠.Р0Ƞ33@-F2 Q@@A@#_959@-Q A@@@@@@/ED@A.@A0 @A@@@@#_962M접95@-p ͐#_97'`o@9?@-z D@@@@@//13@-v2 Q@@A@#_989\@- A@@@@@@/D@A.@A18 @A@@@@@#_992M접9|@- ΐ$_100'`o@9@- D@@@@@/]/`1X4"@-2 Q@@A@$_1019@- A@@@@@@/ҐD@A/DE@A1 @A@@@@@$_1022M접9@- ϐ$_103'`o@9@- E@@@@@@//14k3@-2 Q@@A@$_1079@--A@@@@@@0E@A1Ɛ@A-D @A@@@@@$_1082M접:@.-䐐$_109'`o@:@.-E@@.function_scope@@@/1점A. 4@.2 Q@@A@$_110:<@.-A@@@@@@0kE@A2@A.JD @A@@@@@$_1112M접:]@.=-吐$_112'`o@:g@.G-E@@M@@@0@28A.l5@.J2 Q@@A@$_113:@.U-A@@@@@@0E@A2_@A.D@A@@@@@@$_1142M접:@.w-搐$_115'`o@:@.-F@@@@@@02A.5U5|@.2 Q@@A@$_116:@.:mA@@@@@@1D@A.⑐C@A@@@@@$_1172M접:@.:m$_118'`o@:@.:mD@@@@0נA/2@.2 Q@@A@$_119;@.:mA@@@@@@1KD@A/%C@A@@7 F@A@@@@$_1202M접;?@.:m$_121'`o@;I@.:mD@.@@@1!A/J6 @.2 Q@@A@$_122;f@." ItA@@@@@@1D@A/oC@A@@@@@$_1232M접;@/" It$_124'`o@;@/" ItD@q@@@1dA/37@/ 2 Q@@A@$_125;@/+" IuA@@@@@@1ؐD@A/C@A@@@@@$_1262M접;@/G" Iu$_127'`o@;@/Q" IuD@@@@1A/Р6@/T2 Q@@A@$_128;@/_7A@@@@@@2C@A3Ð@A@@@@$_1292M접<@/y7$_130'`o@<@/7C@@@@1栐3ޠ6@/}2 Q@@A@$_131<)@/7A@@@@@@2XC@A4@A@@@@$_1322M접#1g]7@A@7@7n(META1447(META14487@A=@2(ݩ@@<3>222@7997Ѱ7Ʃ7997<='@ !Coq.MSets.MSetFacts.WFactsOn#<>#2g^7@A@7@7(META1450(META14517@A=L@2B@@w3y3$23&@799者8 87997<=b@ !Coq.MSets.MSetFacts.WFactsOn#<>#3g_7@@7@@7<=x@ !Coq.MSets.MSetFacts.WFactsOn#<>#4g`9@@9(META14537@:6999:/7<=@ !Coq.MSets.MSetFacts.WFactsOn#<>#5ga8P@A@8L@7Ȑ(META14548Y@A=@3=$Hd@@蠐33@7ې:^8{8p7:]8a=)=@ !Coq.MSets.MSetFacts.WFactsOn#<>#6gb4PA@(META1457(META1456Q@@U:49Ś4@:ΰ;044:4~4|:4y::=X>@ !Coq.MSets.MSetFacts.WFactsOn#<>#7gc4QA@(META1459s@@;w:Ț4@:;Z44|:4z4x4u:=>*@ !Coq.MSets.MSetFacts.WFactsOn#<>#8gd8A@(META14638*(META1462(META1461>H@3<Е@@s4u4 6646@88::8:詚8L:7=>^@ !Coq.MSets.MSetFacts.WFactsOn#<>#9ge8A@(META14678^(META1466(META1465>|@3<Е@@44T6M6K46M@9;!; 9;8;&7S=>@ "Coq.MSets.MSetFacts.WFactsOn#<>#108]8FA@9,(META14718e(META1470(META1469>@3"e@@ࠐ446646@8;R;Z8v9V;X8;b7>&>@ "Coq.MSets.MSetFacts.WFactsOn#<>#118]9_B@(META14758(META1474(META1473>@3"e@@54Ķ665.6@88ߠ;;@9;7ĩ9;8Š74>a? @ "Coq.MSets.MSetFacts.WFactsOn#<>#128]9A@(META14793ݐ(META1478?$@37c@@O665d6@9;;ǩ9;©3;>?8@ "Coq.MSets.MSetFacts.WFactsOn#<>#138]9&@A@9Ӡ(META1483(META14819ޠ (META1482?^@43@@556458717/@9<4 <;9\:<88:<<>?z@ "Coq.MSets.MSetFacts.WFactsOn#<>#148]: A@(META14874'(META1485(META1486?@4*3@@à5Ś5p535r7k7i@:3<=<<:6<84I8o#158]:?A@(META14914[(META1489(META1490?@4L3@@555g577@:g#168]:sB@(META14954W(META1493(META1494@@4N3;j@@+6-5ض55ڶ7Ӛ7Ѷ@:<<@:<<:<4}58?r@@ "Coq.MSets.MSetFacts.WFactsOn#<>#178]:B@(META15004X(META1498(META1499@8@4M @@c6e65Ӛ68 8 @:Ӡ<<ܶ@9:ڠ<<㩚:ݠ<橚469?@U@ "Coq.MSets.MSetFacts.WFactsOn#<>#188]=7@@@(META15049,(META1506(META1503(META150595Л909/9(%'9-#",@@ 0=O9}>9z9t=69r@9p@=99f==<9o=?=@9l=89k=B9b9_9V=G=G=H9S9w=C@@@ "Coq.MSets.MSetFacts.WFactsOn#<>#198];GC@(META15084(META1509(META1507@@4-@@76884ٶ@8;@4ٰ@8ӛ;88؛;:Щ;;=@;=9@;;=9;;6ǩ494@]A@ "Coq.MSets.MSetFacts.WFactsOn#<>#208];@B@;@8젛(META1514(META1513;@AA*@4:m@@U7W75-@8;ٶ@5-@9';ਗ਼9%9,;;$;;=ܶ@999;;==;=詛<;9.=:;@A\@ "Coq.MSets.MSetFacts.WFactsOn#<>#218]<@B@< @9(META1518(META1517<@AA@5" It@@77Y5@9Q<0@5@9~<79|9<<;{3@9<9k9i=>?<;>?<]F:s#228]9'A@9*9(9'9&(META1522(META15219,  `@@ d>9s:@9p@ɶ@>@9o@Щ>9n@՚9l>א<>9m9j9f9c9`>>9^>>AbB @ "Coq.MSets.MSetFacts.WFactsOn#<>#238]90A@9391909/(META1525(META152495> 9493A@@m>9;@9A,@?_@9A3?O9A89?:=>999{9x9u>>9s>F9p9m?? ?ABt@ "Coq.MSets.MSetFacts.WFactsOn#<>#248]9Y@A@:m#258]9k@@@9l9k9j(META1530!@@󠐰%?99999?mB0B@ "Coq.MSets.MSetFacts.WFactsOn#<>#268]@$_135X@#set=pA@=u(META1620(META1618B@8< @@!9#8ζ:ǚ:Ŷ98:Ƕ@<??@=?;˩=?8BeC @ "Coq.MSets.MSetFacts.WFactsOn#<>#278]=A@=(META1624(META1623C$@8<@@O9Q8::@=ᰛ=֩=Π??Ü=ǩ=Š??BC:@ "Coq.MSets.MSetFacts.WFactsOn#<>#288]=A@=(META1626(META1627CQ@8(ݩ@@|9~9)89+@>>=Ѡ??==Π??BCg@ "Coq.MSets.MSetFacts.WFactsOn#<>#298]=A@=(META1629(META1630C~@8B@@99V99X@>;>0=ڠ@@%>!=ؠ@(@!BC@ "Coq.MSets.MSetFacts.WFactsOn#<>#308]=A@=(META1632C@8=$He@@Ӡ9՚9@>c>X=ѐ@M>I=ΐ@ICC@ "Coq.MSets.MSetFacts.WFactsOn#<>#318]>MA@>R(META1636(META1634C@8<Е@@:9;;:;@==Ơ@s@{@>u@w=۠@<>{@9CHC@ "Coq.MSets.MSetFacts.WFactsOn#<>#328]>A@>(META1641(META1639D@8"e@@2:49߶;ؚ;ֶ:I;ض@>@=֠@@>@<CuD@ "Coq.MSets.MSetFacts.WFactsOn#<>#338]>A@>(META1643(META1644D4@97c@@_<<:t<@>͠@ש9@ҩ>(@@CDH@ "Coq.MSets.MSetFacts.WFactsOn#<>#348]>A@>ޠ(META1648(META1646D_@83;h@@::79:9<2<0@>A8ՠA@?A=6CDu@ "Coq.MSets.MSetFacts.WFactsOn#<>#358]?A@? (META1652(META1651D@83;i@@::d:':f<_<]@?'A19A3A,?-A/A6CD@ "Coq.MSets.MSetFacts.WFactsOn#<>#368]?3A@?8(META1656(META1654D@8 @@䠓:::T:<<@?TA^8A`AY?ZA\=D'D@ "Coq.MSets.MSetFacts.WFactsOn#<>#378]>A@>?j(META1660(META1659D@9 @@;:ö::Ŷ<<@?A9*AA>?AAD\E@ "Coq.MSets.MSetFacts.WFactsOn#<>#388]?A@?(META1663(META1662E@9-@@F;H:<<9 @<?̶@9 @=?ө==?ؚ??萛?A϶@?ɠAҩ9+A>?Ϡ>; DED@ "Coq.MSets.MSetFacts.WFactsOn#<>#398] ?A@?@?@(META1669(META1668@@AEg@9G-@@;;?=8=69l@=9@@9l@=f@=d=k@$?c@4@)B@@B9wB>N@?@4B&>T@$DE@ "Coq.MSets.MSetFacts.WFactsOn#<>#408]̠=gA@=l=j=h@W@@O@(META1673A@Z@A(META1672E@9h:m@@젓;;9Ķ@=@p@9İ@=@w==Û@|?@@Bs@@@=BsBz@w===@@>B@>EKE@ "Coq.MSets.MSetFacts.WFactsOn#<>#418]͠=A@==ɐ=Ǥ@@@@(META1677A@@A(META1676F @9" Iu@@ K@֩>>"@ۚ@@됛@BҶ@@@婚=BBٜ@֩=㠷>>@@?B@?EFR@ "Coq.MSets.MSetFacts.WFactsOn#<>#428]Π@A@@蠛(META1681(META1680Fi@97@@ <:>8@=V>c@ZC=NC A C CEF@ "Coq.MSets.MSetFacts.WFactsOn#<>#438]@9Ԡ2 Q@@A@$_154F@9$0A@@@@@@@>_D@A<Ԑ@A@@@@$_1552M접F@9$0$_156'`o@F@:$0D@@@@@<>>@@:2 Q@@A@$_157F@: =w A@@@@@@@@@@@$_1582M접F@:=w $_159'`o@F@:&=w B@@@<>@:"2 Q@@A@$_160F@:-A@@@@@@@@@@@$_1612M접G@:=$_162'`o@G@:GB@@@<>@:?2 Q@@A@$_163G-@:J: FA@@@@@@@@@@@$_1642M접G=@:Z: F$_165'`o@GG@:d: FB@@@==@:`2 Q@@A@$_166G\@:k{A@@@@@@@@@@@$_1762M접G@:4>{$_177'`o@G@:4>{B@@@?à?@:Ϡ2 Q@@A@$_178H@:9A@@@@@@@@@@@@$_1792M접H@:9$_180'`o@H)@:9C@@@@=??@:2 Q@@A@$_181HB@:,\A@@@@@@@@D@A>@A@@@@$_1822M접H]@;,\$_183'`o@Hg@;",\D@@@@@>>@6@9B&@;$2 Q@@A@$_184H@;/M8A@@@@@@@@@@@@$_1852M접H@;@M8$_186'`o@H@;JM8C@@@@>u@m@p@;G2 Q@@A@$_187H@;R=&KA@@@@@@@@D@A>@A@@@@$_1882M접H@;m=&K$_189'`o@H@;w=&KD@@@@@>@@B@;y2 Q@@A@$_193H@; >eA@@@@@@@e$_195'`o@I@; >eC@@@>A=@;2 Q@@A@$_196I3@;84A@@@@@@@=7C@A@@@@$_1972M접II@;84$_198'`o@IS@;84C@8@@?*A=S@;͠2 Q@@A@$_199Il@; SA@@@@@@@@@@@$_2002M접I|@; SÐ$_201'`o@I@; SB@@@?[AS@)union_iff9D{(@@9f@C^ 5)inter_iff9D{(@@9p@Br ?(diff_iff9D{(@@9z@B9 I*filter_iff9D{(@@9@B8YC S'set_iffF@@@@@AA@I@<9@<./theories/MSets/MSetFacts.v ( ( 2 9@@@@@@@@A@I@<M8@ ( ( E O@@@@@@@@A*@I@<4>{@) ( ( [ h@@@@@@@@A>@r@: i i v @@@@@@@@AO@y@K i i  @@@@@@@@A`@@\ i i  @@@@@@@@Ap@J<@==@o    @@@@@@<2 Q@@A@$_220JN@<<*A@@@@@@@B D@A@@A@@@@$_2212M접Ji@<<*$_222'`o@Js@<<*D@@@@@@JBBBEDd@<Ѡ2 Q@@A@$_223J@<(>A@@@@@@@@@@$_2242M접J@<(>$_225'`o@J@<(>A@@Br@<2 Q@@A@$_226J@<<ЕA@@@@@@@@@@@@$_2272M접J@= <Е␐$_228'`o@J@=<ЕC@@@@@BB@=2 Q@@A@$_229J@= EA@@@@@@@BD@AA5@A@@@@$_2302M접K @=(E$_231'`o@K@=2ED@@@@@@ꠐB⠐B堐D@=32 Q@@A@$_232K0@=>"f A@@@@@@@@@@@@$_2332M접KA@=O"f $_234'`o@KK@=Y"f C@@@@A!CC@=I2 Q@@A@$_235Kd@=T5l$A@@@@@@@C6D@AA@A@@@@$_2362M접K@=o5l$$_237'`o@K@=y5l$D@@@@@A`CXC[EH@=z2 Q@@A@$_238K@=7cA@@@@@@@@@@@$_2392M접K@=7cԐ$_240'`o@K@=7cB@@@CC@=2 Q@@A@$_241K@=3A@@@@@@@@@@@@$_2422M접K@=3Ԑ$_243'`o@K@=3C@@@@AƠAɠC@=2 Q@@A@$_244L @=3;A@@@@@@@@@@@@$_2452M접L@=3;$_246'`o@L$@=3;C@@@@AAC@=ߠ2 Q@@A@$_247L=@= A@@@@@@@@@@@@$_2482M접LN@= $_249'`o@LX@> C@@@@B.B1D)@=2 Q@@A@$_250Lq@> 7A@@@@@@@@@@@$_2512M접L@>7ܐ$_252'`o@L@>$7B@@@B`DX@>2 Q@@A@$_256L@>-ɀA@@@@@@@@@D@A@@@@$_2572M접L@>3-ɀ$_258'`o@L@>=-ɀD@@@@BDA@@><2 Q@@A@$_259L@>G:mA@@@@@@@@⑐C@A@@@@$_2602M접L@>]:m$_261'`o@L@>g:mC@@@BՠA@@>S2 Q@@A@$_262M@>^" IA@@@@@@@AC@A@@@@$_2632M접M-@>t" I$_264'`o@M7@>~" IC@@@CAA7@>|2 Q@@J@$_265MP@>< -A@@@@@@!xC@A!y@A@"x0F@A"y0@A@@@@$_2662M접*,$_267'`o@2@@@$_26846@;@>L@@@>$_269X@3typeclass_instances>@@@E@Ct@EE@C GECH'AHQ=@@󠒰>M&M@ "Coq.MSets.MSetFacts.WFactsOn#<>#448]@>ܠ2 Q@@J@$_270M@>A@@@@@@C@A@A@@@@$_2712M접$_272'`o@"@@@$_27346@|y@*$_274X@x?=@@@CsFC{HAkH;(@@VV?6MN1@ "Coq.MSets.MSetFacts.WFactsOn#<>#458]@?2 Q@@J@$_275N?@?!=$HA@@@@@@C@A@A@@@@$_2762M접$_277'`o@"@@@$_27846@ܐ@*$_279X@ے?@@@DJI @FhDVI,@HIA@I9@H7@@Ƞe?MN@ "Coq.MSets.MSetFacts.WFactsOn#<>#468]@?u2 Q@@J@$_280N@?<5A@@@@@@aC@A`@A@_F@A^@A@@@@$_2812M접&($_282'`o@.@@@$_28346@]Z@6$_284X@Y@@@@F@D̐I@FF@DܐI@HFD됒I@II@I@IȐN@@]@NO8@ "Coq.MSets.MSetFacts.WFactsOn#<>#478]@?2 Q@@J@$_285OF@?7cA@@@@@@C@A@A@@@@@$_2862M접$_287'`o@#@@@$_28846@@+$_289X@㒠@@@@GmEUGoGxE`ItID\.@@Ǡ]@PNO@ "Coq.MSets.MSetFacts.WFactsOn#<>#488]@@@2 Q@@J@$_290O@@K<ЕA@@@@@@`C@A_@A@^F@A]@A@@@@@$_2912M접')$_292'`o@/@@@$_29346@]Z@7$_294X@YA@@@G@E̐EϤGG@EېEސI򤐑GE鐑E쐑JJJD@@S@OP.@ "Coq.MSets.MSetFacts.WFactsOn#<>#498]@@2 Q@@J@$_295P<@@"fA@@@@@@쐐C@A@A@ꑐF@A@A@@@@@$_2962M접')$_297'`o@/@@@$_29846@@7$_299X@咠A@@@Ho@FXF[HuH~@FgFjJ~HFuFxKKJnD@@ߠA3PP@ "Coq.MSets.MSetFacts.WFactsOn#<>#508]@A&2 Q@@J@$_300P@A13A@@@@@@xC@Aw@A@vF@Au@A@@@@@$_3012M접')$_302'`o@/@@@$_30346@ur@7$_304X@qB6@@@F@F䐑F礐IF@F󐑐FKIGGKKEِD@@kAPQF@ "Coq.MSets.MSetFacts.WFactsOn#<>#518]@A2 Q@@J@$_305QT@A3;A@@@@@@C@A@A@F@A@A@@@@@$_3062M접')$_307'`o@/@@@$_30846@@7$_309X@B@@@Gl@GpGsIG{@GGLIGGL+L.F-D@@BQ*Q@ "Coq.MSets.MSetFacts.WFactsOn#<>#528]@B2 Q@@J@$_310Q@B A@@@@@@C@A@A@F@A@A@@@@@$_3112M접')$_312'`o@/@@@$_31346@@7$_314X@CN@@@G@GGJH@H HLJ+HHLLFD@@BQR^@ "Coq.MSets.MSetFacts.WFactsOn#<>#538]@B2 Q@@J@$_315Rl@BsA@@@@@@C@A@A@F@A@A@@@@$_3162M접&($_317'`o@.@@@$_31846@@6$_319X@C@@@H@HJH@HM.JH*M9FM;@@uBR8R@ "Coq.MSets.MSetFacts.WFactsOn#<>#548]@B2 Q@@J@$_320R@BC.A@@@@@@C@A@A@F@A@A@@@@$_3212M접&($_322'`o@.@@@$_32346@@6$_324X@D[@@@I@I M@K'I@IM@MK:I(M@MǤN@N @MN@@CRSu@ "Coq.MSets.MSetFacts.WFactsOn#<>#558]@Cr2 Q@@J@$_325S@C}(ݩA@@@@@@3C@A2@A@1F@A0@A@@@@$_3262M접&($_327'`o@.@@@$_32846@/,@6$_329X@+D@@@I@INt@KI@IN@NMKIN@N\N@N@NpN@@/CSbT @ "Coq.MSets.MSetFacts.WFactsOn#<>#568]@C2 Q@@J@$_330T@C#nA@@@@@@@@@$_3312M접$_332'`o@@@@$_33346@#@D @@#$_334X@D!@@@PD@@}AD8STX@ "Coq.MSets.MSetFacts.WFactsOn#<>#578]@D!2 Q@@@@$_335Tf@D,@HN@!xC@AQ@A@@@@$_3362M접Z$_337'`o@ @@@D2 Q@@@@$_338T@D%%\y@+DG@A!y@A!zE@A@@QR@A@@@@$_3392M접)$_340'`o@/@@@D*2 Q@@J@$_341T@D5A@@@@@@{C@Az@A@yFG@Ay@A@@@@@$_3422M접(*$_343'`o@0@@@$_34446@yA@@:$_345X@wF#588]@D2 Q@@J@$_346UQ@D;EA@@@@@@C@AF@A@@R @A@@@@$_3472M접"$$_348'`o@*@@@$_34946@@2$_350X@F@@@Kd𤐑M~KlDKtKwOEOÐ3@@ޠiDUU@ "Coq.MSets.MSetFacts.WFactsOn#<>#598]@Dߠ2 Q@@J@$_351U@DA@@@@@@wC@Av@A@uFH@Au@A@R @A@@@@$_3522M접-/$_353'`o@5@@@$_35446@zw@=$_355X@vG;@@@N@K鐑K줐NN@KKPNLL PPP1D@@pEhUVK@ "Coq.MSets.MSetFacts.WFactsOn#<>#608]@EW2 Q@@J@$_356VY@EbMA@@@@@@ C@A @A@ FH@A @A@S @A@@@@$_3572M접-/$_358'`o@5@@@$_35946@  @=$_360X@ G@@@N@L{L~NN@LLPNLLQQPD@@EV5V@ "Coq.MSets.MSetFacts.WFactsOn#<>#618]@EӠ2 Q@@J@$_361V@E?leA@@@@@@ CH@A @A@ F @A @A@S@A@@@@$_3622M접-/$_363'`o@5@@@$_36446@  @=$_365X@ H_@@@M @M MO*M@MMQO<M*M-QQLD@@F\VWo@ "Coq.MSets.MSetFacts.WFactsOn#<>#628]@FM2 Q@@J@$_366W}@FX);A@@@@@@ -CH@A -@A@ ,F @A +@A@TB@A@@@@$_3672M접-/$_368'`o@5@@@$_36946@ 0 -@=$_370X@ ,H@@@M@MMOM@MMR)OMMR7R:L\D@@&FWYX@ "Coq.MSets.MSetFacts.WFactsOn#<>#638]@Fɠ2 Q@@J@$_371X@F;QA@@@@@@ CH@A @A@ F @A @A@TԐ@A@@@@$_3722M접-/$_373'`o@5@@@$_37446@  @=$_375X@ I@@@N-@N1N4PNN<@N@NCRP`NNNQGNYN\ 萑RԐRאLO@@àG]WX@ "Coq.MSets.MSetFacts.WFactsOn#<>#648]@G'2 Q@@J@$_377X@G2.cdA@@@@@@LB@A@ cE@A b@A@@@@@$_3782M접"$$_379'`o@*B@@AJ @$_38097F@L@AA@@@@@@@@$_38146@ q n@$_382X@ lJ1A@@UUGN搑N鐑SSG(META1748H@@UGXY0@ "Coq.MSets.MSetFacts.WFactsOn#<>#658]@G2 Q@@J@$_383Y>@G;#ħA@@@@@@MABG@A@ E@A @A@U@A@@@@$_3842M접(*$_385'`o@0BP@@AJ@$_386?=G@M}@AA@@@@@@@@@$_38746@  @$_388X@ JA@@U䐑U礐HOOSSH(META1752I@@HY!Y@ "Coq.MSets.MSetFacts.WFactsOn#<>#668]@G2 Q@@A@$_389Y@G*@A@@@@@@MڑC@AGD@A@@PG@AO@A@@@@@$_3902M접)+$_391'`o@1Gꠐ@@@@@AAKFAVVH@@GrHȠG@CR@CTZ3GYA@A@Z+CW@@$@GY]@UG$G@A@@Ya@GG@A@AB@YCb@@$@ Yh@UR$G@A@@Yl@GG@A@AB@AB;rHȠ!Cr@;ZT;"Yb@ACwYc@B@ZMCy@@$@"G@A@@G@A@AB@YC@@$@G@A@@G@A@AB@AB@@ss|BEo_vWLH鄕@%TMi; *@U 180;@Q$>ZKߤ&Fv`!sA!M)MSetFacts%MSets#Coq@@!t|逷!x@#eltZ!y!E@@"eq?<܀BA%lemmaC )Morphisms'Classes-@2subrelation_properJ74!AA!B@*respectful%WO? @  %Logic$InitH@#iffС)  &Basics'ProgramT@$impl7o.Morphisms_Prop1@9iff_iff_iff_impl_morphism8C&-+ (//"@$flip$666)Datatypes+@$unitUe@AO@6subrelation_respectful>6z GE::V@0subrelation_reflv NA7! PPCC C!^@9iff_flip_impl_subrelation2VA@"InNDE p@)In_compat,m w~  v@/eq_proper_proxy)f}@6reflexive_proper_proxy5uh/RelationClasses@-iff_Reflexive/h!H,'÷ 3Ȑ"H0@(mem_spec*)ꀶж@ @f@$boolZ'@@#mem  A$Ȑ!aSȐ"H1ː!X"ӐGhР@#andЖw@BBB@@@@D@@:5/H,I@D?94$_tmpW@MHBJ?,*pYec^D.B@_FDB>6@+! m)<:"s'=?@%EqualA2A }E@*equal_specwMKL{vQ@%equala2pmWki oYmkg:z"f@[@Yq,X[@/ KW@ 'UeT~|B}0:56)@"_"lRQѩ@&Subsetǀo̚@+subset_spec rq]`Rʰũ@&subset'  `ذөOȩ!P@@ܩNѩ*M@,QR @ $LǷȷ ,61223%ӷ@ ַ@%Empty@~@-is_empty_spec4VÀ@(is_empty/Iɀ @꠶@"_"F@&+&ې<@ 2-# R(G1,&$"-@!퐷M!   aV@(add_spectҀ&$ݠ+@#add  @"or @tS=QOUD.SQ*0"3%7bS;`^+'/!8 à13\@Q@ʠJ4Reflexive_partial_app_morphism 2R,wWk@nd\QG{@#notШ  @<97@;w -("ķBAAAA@@@@@D@R[Vɠ"H'@)False_induُ ΐxsoedطdِI驷ީw橚 @&removeS@ UO@(S@0not_iff_morphism Z^8&@+remove_spec yf@'and_ind14ۀ@%Falsee@O"H2{%*LC!C8NL><7=qd+TRDB=C Ġ2M)Q!$tc^"p vgO$rKQҠ@[CD`ZZ/}#ܠJeiO["}@r@[tx@}#Ð&+fr@,NpA 8 ڐ)}>!.C Z4vnZPH=3ؠַZt-@)singleton 04tjbWM8 #@.singleton_spec;MڸTOK̷ͩ#&,x! (ȩ`[Wکĩ]˩@%unionE0˩Ơ44~iة fҩΠCoWR@*union_spec^/P搑&Y,TW=[ݩ[󐑷 3f,a!wr#)% jax,*+堩 3@%interw- 0A 4 @6?gA@*inter_specrjH^{'&QOPB@*%%4/TT3)XXn55`^$_QO94,'%@dӠ:5ж@ib!,1/$mL30H/6p(NMxv<wigQ1X@$diffʀX|LéZ4PH4*" gѩːk@)diff_spec9k ݷ޷ِTzyh},x4nfRH@5+m`({u"àC)E,wWk@30F]@7-+,vtj;"@=9>642ҷ·!f@!P@&ProperL@WY ǩ X@&filter I3!*4|gb`l+&ԐippWRr@+filter_spec8YCsQ}}H~$>9{. ECB@44%"  sn"f0&&]9+)WUTRFt,o.@3GF@7->(,=B?7v@ /ECpnk~G@'For_allD񸀠?={v$ak$eR@,for_all_spec°ZX@_@'for_all3؀4~{e)w}l+y@ ((#\4xb8cȐ"H3*1  9sq%%@@.G@Nİ44ǰ©>%w@ΰɩEFԷѷP[VrWtIuAw?=e;@0*0ː@&ExistsԾ{ۚ@+exists_spec $sζ@@'exists_1w A@ #vusq-o@頶@!"6j@8e'"(א @ .)/q` 42M/B8C>"r ?$8 1*@$*$^(  aXV@.elements_spec1!e~'&$ܠ*SetoidList%Lists'@#InA q9@5@(elements|suQ;OMS,QO%;IH@=@!-Q%9@6%1=<*6 @B-9B"43][MK6@;u_sq<wPus$g@R>K1lj\ZU[SQFDA@=trans_co_eq_inv_impl_morphism&ni$9,@.iff_Transitive*zנ@X@Ɛvt<@'iff_sym"㡀ǩij©$$XKѐİjaT@-iff_Symmetric!x }а BmȐ!b@@@@@@@@D ۩lթ'@ߩ"@ A  ߠ$Bool@/diff_false_true . @.absurd_eq_true!E@&eq_sym X NCC2\@2% U'"WW@B3&[E; ,CC  ͩ萑u@@%emptyc@h %@*empty_spec9o8 20L[UC'% &|$qfm@@&m lC)bCqKI;94:$'$|)&y@&@'> *@&or_ind"簩Ih˵L<CCFFDE׵XHOCȰRR}{mkflVY,DB7+8ũ:ǩW@,PER_morphism q$OB@/Equivalence_PER/;VI@/iff_equivalenceZrʶ@˩C||-U:$na5 r@Z@|^$ЩXA<8-CC    ߩi7QLH=CCڷʷ˩$,v$&_$Z((6, Q@P@.̷%ܩTTU˷*4[Yε  CCՐ'%@"w#/-H*4E?+  HꐑXj6F=im?@Ѡc@Ԡ(NIC>@ܠ.VQK4OVX@꠩<>t@gbV@-mh\|Z* %ж@;@,"H4@'ж@@"H5@ܩ0ж@ƶ@x"H6@ͩנאO01t4ߠP$eR렐QS'oTU\FBnQi`DC˷EA?dж@*@2ѷ=@k;9ַ<75a15c/P,*+*.ܩީ' B&*"Cֶ@h~@|@xp÷uж@ȶ@sɷJr@ponηpmkjhҷkfd 6ߩ=XfAAb{h?F[`ueaKeX\GH)X'&o(%VU#WTVWð(WFactsOn@'mem_iff=w  cש @)In_eq_iff$0['.Z^0@ {ڶ@Ǡ{کA<q\ϠSҠZж@@^7@- ж@h@i5is@n"ljn$Mw"Jz O  (y6K&%KY' "ж@$R@SQն@VP ! )^@)empty_iffɀed< 1 \ Z L J E KȐ"s0 E@&eq_dec. C&Specif @'sumbool7̂K@ V BAAAA@@@@@D } R@ 5 UX@ >@ Dg\a xwðp '@#orb:B0/@@@@@A B  @˷@  !e   @ r.0ڶ@@ y 2ͩ a}3 7 & ;'+@  HB"@ @  O z Sé   PN   Š 1 `, ( / 1ж@3@4 $  @9ж@< D@?fж@ suנ x=@ܠ u  M@  . /QY 1 `  O5 e bUm u v V " W  X @  ߷  # . Y )@ ( 1  4a Ǡ1Z w %4 @ 4&!  R  B x   ;  s | ?ж@x@y  7@~ Hz {)yLxp  y#h    4 ʷ a  a e@f d*+尩 y q@ pA x G wo>,i کvpmNa_: bpCU  c       ض@۶@ kw@ة      з  uȷ ͩ    ѷO̩ж@f2 {@1  ̷v  ]`_{ F 㐩a àYZ O\ @OE ֐: Xd ƶ@  [gŠ ΐt) = /   >    e f ҷ D 9C @ 1 ,aMAr OB@   G  $ %    @  q  @ Nͩ  >33Q, if 4K> { 'q  qQpE  .>     !n~ i k@@@ u p~  &| t v@y@v@t  {  q 1 l j n-hg   y #kf3e fd7c[  dS }OS N1JF G5D"?  > T1@B+Ȑ"H73 Ӱ g7G I* a@</. s0  t > b1[Ġ < VeC1 dV0QG< r H  r    k 0  ٩m.- ʰ Jc1),sF Tw  N +ש *\? (#IU Lv1 ˩Z~{ |&jCA3ʠ"  q (   ' (   @@@   0.&&     ۩    ߷]ک?    ط ǩ ilk h   ِ o@rs ܐ C@   & ^ 0 >f &7  fC/   f g ӷ E :D A 2 -b>Bs PCA   H  %H ;L { | C@ ͠  E @ :  5@ Ӡ ` K F @ b ;@ ٠   S NV9@#eqb<=@  B  D@'add_iff9 _ @ > 0 . ) /  c# i k@  v v qy e@ /@ w* ~ y s  . | ~@ @l@      { ;   y * 9ж@@w ?  Cж@ ض@ p @g < h >d+ $     S  8; = H6 Wж@@: ]65 742 a - Wũ Y<) t3"  n    n  Ķ@F@@D ΰ   } B  jX y@?2AZ } T >= ?M< wG yfB@A@ D .   !  : 1 n 87ŷH9pQ /.ɷ 0j- TSͷ UcR / 0 ٠  ҩ@+add_neq_iff,\ǐ  շ  ŷ  Ʃ{ysh a@  ©     @\@  T N  ̩ 'Y      ⩚ ~@$andb=G @$negb^ ڠM W )UY +@ " 5 0 *$ %@Զ@ Ġ }    թ PM C > 8   ) $ 9 u A   Jvz L@ ޠ :q@O@ 㠩  'L mO ` [ C Q  ~ Vy uM Q1 ж@~@  0  ζ@ ʩ K LJ ж@  F H@ K  H Š  N @ ˠ ˩ T tF v Ѡ ZE + ` F > F    8 P B U ) z  1    8  l-< e d@?@ @ 5    l    eC@Y@@ °  b ݩ P   oж@r@_ e+@ ' vI W z]X ^QP .ک -_B  5ME  E  @;@K '; 6b   # $ C@%@϶@    @@@   1ؠ'    ĩ  ] ?      }il kz v t r  -ena\   Q R C@@/@   & 6Y +5  WV XU 1b ?20  7  / ? ِ p E  @9@  { 7 v w C@x@T@ @ ;pK Rk =im ?@@@ I D, '} x Jvz L@@L@ V Q 9 G  t iA E% q  :u };9 y u R$⩷ T ۩ h ~i  5 Hh  ѩ   .-@@ à L 5(6 l  /C@#@n@R   {6 ʷ t xX 7o +ɷƩ ;ms nl ?"w #  $   S > s M QE J H8 I 2 a   ZC@@@}  al ߷ @i@ݶ@f   vp _ ܷ  m]\ط a^ 'Y q ܷ ٷRש uXS YLK K G 36 o5D ~@ ҷJ> tN bcxhaZae\a  C  C@@@   *C@'@@  0C@| q    s @@  Ơ5  Iې @*remove_iffM8 ҷӷ) ; 9=@Z˩ @@̩ ]РLJN @D@@۠;B  ж@G@HH ̩ LH ж@  x@  R)@ | © Y 1\XgU0Yؠ7+7ݷ 4 ж@0@11  5f׷ҩ 9E ge ctpa+^A ]N[K[bd@D@@B{@W T >= ?  <;c=:   j_Ơ Ok.;pҷ !m 098f :© 4jѷ Ω 8UTn|VSl=z bHs|@.remove_neq_iff=&K hge`f~@4T  @=  ̩  +g@@qn¶@T @X   Ӱ{a$d ж@@!  {@'  m ж@H@ݩ/  m   N@5  % T3 += X  Mݷ) ж@6@' @$ !$" i k )A " ;c  9 =@M@JŠ1C&A ?> +@ : 64 /97 ~0/0 - 5*12h  ;   <E h ^p C  CM6B] 43  5 2 RP US L C@ʠ VB=7 X2@Р QHC . `0@-singleton_iff4>{,*+ N U  W@頩  E ϩd_YT@ P@ mhb ]@M W$xsmV ^C,  z  |@Ǡ© jǩ~y@@.@6*S\ |ӠJ 9 ķ @,ߩ  @@3h @6Qr`̩?1 ǷDY P) _ж@ Ͷ@ Ω 5q F@ թv 6< nAE rж@B @ A@@ > yж@  |->@I I  ;@ &G     H -B r  LM! kCѷ R$p9gU  j    NsXD{\GM@WI QȐ"H8 ~7U[]X^ƶ@[a v,ީb ^ u U1 :6E ;CD|.&!$  klJ A·׷  ж@ @ ~ @ z Y vuQwt sm0tg   _g~ a]^<._@A <OPe @k G$s L_ y H mj ^[ԷY_ ϩ {T\_#YPN p  r@ض@^@; Y@өz.η k+ ͷ Ʃ/a b `3ж@  l@ m  @ p:~·02       ,e*W@2C]԰)_@ : -3   3+   + ,o P\5k $ Lo B Fs@?A ?>w-m = 2o / R 8  5 .@ " / ط 4 ө+@ :- 9 G1  N D| mENƷF T ZG }V  j f  W \N  p) => , ? * .@@ Q@|@z uE =H 8  6 : @r@*@m@kRƠ2f' d dc |e ^. _</ -YX4Z WVPWJFJE  * B  B ' ( M < P , IEi  =50.$$  &  W  RNO8) ^S /   Z h[ Y` |?v a Y   okl U}wwWs ?  r N p g  r GLT v m ^ L Q ULJ  l  n@Զ@@@ͩyt(ȷ Ʒe % Ƿ )  - 1u')       ~   t 1  :   wv  } } : C  {zQXy  зETwv x 5uX  /\)(* ('`VW p  r@ ! éo ©  ' !{@ ʩ *   u r   ض@jPݩRҶ@~@|@r+ĩWw̩[v  0  @<7 <@ @u@GsΩhr 7,  5 9 @VP ? 2@@q@^oZ Ϡ;+ 62  ȷ%ж@ <@ =no0+  @ Evp   R   onJp mж@l@k 3 @  j    Q i  %iO -DPRu 3  Щ6 t|j uqrd"H9SŐkKm\ @p@]qSIJ tZ(^US Y f }&ж@g _@ `X f  @ eU/ a  b  `3 · 7RM{SH-  /         b *BQP@@ ?H   xT, Ab  ۷ @@ @?@l N Ziư $ Lo  B  F s@? A ?>w-mo \  6 7 +з; w Y y 2 Q R~s=s Ts ,#C$#$o x ml 4Np vk  l ̷ p ʩji k ihW g \ Y | b  1 UE!@ 7@ [N Z h/  ULM ; N  9 =@@ `@@ʠ F; D H@@ 8@{@ % `ՠA6 s ̷)/*   ? pM @  >ji Ek h$W  ; S  8 - 9;^Q P %b [W ŷ K  !ܵ 8L,@+C$6-+kط` < SթYT 4ٷ ԩ i w j  h o  % N& p g   }yz id wjJTKI k  m@b@ @@]xs[(Y Ʒe |%WV}q Z R+     /  3NIwOD)D+@    =<    w  x   6 .r. s. +}C#R}߷*  ʷ?N(' 3 + 1&T    + X%$ & $#\wrx mRS  e po@ @  g  ϠO myl_h x  ζ@`ذөȶ@t@r@h!7M  ܠũ@T͠'Ȑ,@83N 8@ @q@CΠ ĩͩ`g87 6: @WQm @3@ @r@_ 0#^Ҡ?3:6  ̷-ж@@@ArsB @Gxr  JT   qpNLr oж@  Y @ O^   b; @  r    Yq - s   Zw xQ ]_{    ~zhib i_àn_21@q@Ǡrݠ e 9 !8necC@d@ @ .@͵n { 5,;ж@{t@uis @xfB t x u  sF|շ ҩJc[d S@  B  %      w ?ǐYhg@ @  V   C@0@ N@ c@@@ @N@˰uz ] iөx1 Y|  O  S MLN LK :z| i C D  ݷH  f >Bg1@ H@ < sR V ; <9:C@ٶ@ @ %@xu  * srgt q  '    Է p  u r  {-56 J^ Ѷ@ P@g s}  HBCED  ' ;?t  $   ʩ2>#F"׷ &.YC U ߩ  E  TX$0>T  3 ө -  @._ P41990.C@ƶ@ @ {@ZTV@i@ @Ҷ@aa\Z DW`b@V@ @ö@QmhxJ~ Z uHGI C     " &?7j@ //+   (/ ~$s " k1    EwF|sqC@r@ @<@ A8G  } ( K   " O޷۩Sldm \I XK #· C@(@@[@|@@ ֶ@F@ðr a˩p۷)Qt  ߷ ܷK کxEDFDC| 2rta ;<~ z շx@  m_ >U)Eu"#C@¶@3@@^8\[ͷP]xZ 3ѷ r lkշmkjٷ Y_EA@i@ Pjf OKLC@@\@7@' n DZߩɩͩ@"ex @qr㩚$List@p$}<O,J  vb]@Ǡ @̠D?@'existsb  T!<.(2WR H[VP 3 @6C#2  >+1 @8per_partial_app_morphismp G6"@xs4ĩ %Hj\ǷDȩK} - $rDAЩ5@'InA_alt+#Տ0@@!کxXgUMtOA|@.b S ry_C ]cr cLhC@JҶ@Ma@V^հЩ LkddFĩh5Kɩm:ԩs2ȩ̠78ư<y ѷ@Ơ@ݠHI̠ @OPӠ8Ŷ@.շ ж@cd砩hͩ|" ͠@qrv۩/* ڠ K@ Jss!BBB@@@@D@+ '/Ad 1@& 33@(/: id Z#Ha1#Ha2HVVA÷@ĩGR-} -3s+ж@T_% 8~ )@9ж@rv^epK=  JP@kr}XJ  W]{S `!$@%V%Щ 7cBŰ p<?=8ސ2?"Dٰ I;@ҷ@ |ƐݠC*v@}6ж@3@+ַe!FP8O @ؠ@ #@C!˶@(%4Ő.-*/,ж@ij@pqm=E@8iz{50 %@?: /-+@ID 9+ UP F'ж@=Ω-ڷL@Cʩ ж@ͩJ*9'ն@Q1@.C1ɷض@y7DVF  cGQ#ȷnRLL@@O3S952@&eq_ind JݷշH_Q=@$Truey@AiZkC>1mƷ)쩚@,elements_iff SÀv@.existsb_exists?; wnѷΩҶ@d~ܰש̶@j{@m&ک Ӡ.!@>ש@ X@EРȩ E 7 59 @0%@(@\ܩ  M  'Р1+8 (ж@@@ArD@Gx ж@M@NNJ pж@,|X@[4Q^5 @ :S@k'nppGr ytpq  Zwې{@ @}V} zUC@M@ ˶@KEQ^ ϷwF>X"POQK&GFH *ж@ESe@VhBt@?'@)<`r<tȷv '> > {RQ@ D@9;CXQC@@ @5oԷ@<@@eƩE Udж@@G@kB o;~e1gvJ7޷,'@@)LN=3   ?D 6|""#C@/@ B@g3 Fw10˷N2v/Ϸp (spӷtim_xe  6ZީܐAU@<@.w(CDC@P@ c@537 @@ @O E Ġ@>B@ @@Ϡ0  7ж@ @ =; A婷IީjLJ#kNK8 H  a'}~C@@ ʶ@T#0 ηҩ[$#_]% ©c<Ϸkǩ9lE;<m j۷  I C@A@ @*ce@@Q@VojP[  LQONUP #>8Yg?2,76@@̠tc4C@Զ@ @g8طz +:p׷ԩ>nmto Bx89KVU@ @PC@@ 0@4V~ߩ@'forallb?[/m@L޶@u&Ȱ@U@ϰ(Ѱ̩Ho@`$eܰשSV ݶ@o@|@v@@~@}l 82+ 7߷0̶@ ^TҶ@ bJ ķ"x0۷u@砶@/@# )@@թ*%<,'[g;@B@~94)Ƞ|@4iff_impl_subrelation5+* ޠ 0I*9@.?;id7Y C񩚠@(eq_ind_r!2#q ŷrR()@,xz@ _@@3eƷq"s{:mWU@hXCݰs][@n^IIC` w@l@ig@|@lj@X吷d @tr@` ccea^gvnI z@+reflexivity(ϓ/@5Equivalence_Reflexive1V@.forallb_forall'lA@+for_all_iff >eD ܷ "5Q48 @.ط٩S "@#% &@T)$*f٠U-1(TX*@DP@Ġ iA<'1RQРX4/Ӡ-[LW3נ1*{ܠ3"YTH68<!$"+b]?Q A?@4@|K031:@Q697@1@+]BECL[~}rB@fKNLUkݩkPSQZ>|U l@al\Hzwy^a_hN  P6 4 2lomv\  TcCgs=!m ypYpP /| -Mb"&^ڶ@l@`qշکy8̷@@ @ @ݠ·é̠c"·@˷̩ՠc]зѩڠO׷ @㠩[v꠩А @`/* md^~z琷b"q@ ۩!  *JE0:#Hb1췐#Hb2($/ _ZEO]_1<, @0%ni ]$}Y&C@vqjeW<?=F@|Up@_@˩k@*exists_iff84XܷQݷMmk1l]%wH(zHJ$</W  ٠B UC@GK<C@@OJqLS FCP  wRYWLcaq8g_A@0and_iff_morphism Ƴ>3)@䐩@v Q S@0all_iff_morphismU ,5,-@$In_m< -&30@ =7%,}s& ,&!<)))C׶ض@Ѡ@@C@ CC ^U3ȩƩ4w#v$q! @'Empty_m݀kYT3. <^Y橷Š2=8*L-4̠D?3#$?%%+@,is_empty_iff[wIuyK@ݠ2oUP3$R~T@xn^YM mtt ж@wwwNuvs{{x}T~vQzLж@O@P\ SUcwk,Ca+Jxz@ _43e/gs$%jlx@u?pp:ж@ssq0oGQC@q/s4h췐"x'﷐"HxaE"HsE\W4ME1' >Cc $UH, wyip  [NŰ'`Sxw r4h`LB:/%Y1$i\3{{k m@P''j#ߩԩ4zf\TI?s&7;$x6O99,**'Ҡ+,@B5%7# "'(!쩷*$<N:à/&46+0ͷ8/ ҩC"07C$@vx"|}M!Ġ}$au֠W穚@>trans_sym_co_inv_impl_morphism'\| 0   ʩ$$         @ u  Cs~Ce@ B  D ' 9 . N L Mf ? )   0,ݩ&|$  ɠ 83- DQ = =Ѡ @ *3q D C #ܠ JF@9P 8 +D [ T SE O V Uө$ C 6 "O   #@/or_iff_morphism3)$ nXz e f fW)) P C+ R iT$$ X K , Z X M Ce  \ O"7۩,  ~  v   x   w(( y@0,1G-/.)  |    Cm=C l  qqCذ@*@   t-  v  {{ 3G4E   · ÷C    8 SŠ% b$  ] A Πvz  H  8 w   R sߠ% N  a 1+z ˠx J$  ! ?,    Zp# t Y  f p$   d Hm [   V  r@% Q& Q " H R $Ml|(Q     _ -fC Cޠ8iC !!!!U\CIqo"s1!+#s1'!.#Hs1󵷐"s2!5#s2'!8#Hs2 S!,!  !Rʩ L$!  ҩ !%Y} !* >!) !, !O ] !0!/! Ƞ!6k,%<!$!0 Ѡ!@ l !?am!;!B!A ,$!0!#"<  $,!b!V !N b z!M Ϡ!8 ܩ!O $!=!0 ,!?!=!2!(J !A!4   !Z@%! &(" $ #  !] y !d  ͩ!f C N2C!M!! R RũC@!!T! Ys!q!o `m!k!i d !!}!]!!x1 g=$!q!d8!!~ f!! ! !!ywc!!q!*!K b!!x6 a!^!]X$!!S \*[  !'! !4!>a$!!\ ,!!!! 3qXr!; !>@!x!!y !BF!M!H !!! C %.C!!!  !CUT!! !! ! !婷!ϩ!!h!֩~ !W$!!!o!ީ6 B!!v!!f!{!!Ǡ!!! Ti!!!W!_!!$!!!!!!|!!!w#!!!"$!! v,!!!!!),!v "@#!}$  "!tٷ!Py!b}V"!X*C" C!3C""J"J! ! ~Crϐ"D"S"="T!起m"W"y0"Z!@!u"N@!f@!x"Q@!!z"S@!Ӡ"B l!{ !"X-!p"#  @ж@!ߠ"F!z!!!|@!~!!!h *@ !!!j%@!! ! !a!">!  !  '_ж@!!"!@"! "!."!!w6 !@ " !-&>"!3M" J?4" HC" a!" T   "!W!"}DPNIMGOoEg@"1"+ e"3 !cB<7"9! mh?S2k"?!hY"C!X~"G {G"K yl"k1!!"0.",C"""`"!"!"ն@!"!"ض@@C@"b""dka""!"""@ C ""l!c!i""!"#!é"ک!o"4""""""""!{"6"1!l"&"à!$""  @(Subset_ms΀"!""""m#!p""o"""j"I"D!"t"""o""3"4""""""""ݠ! $"" q,#-!#."!!!3"#0!!5"## ''# # "꠩!"c"^!"S# 4#""""""""j"e!"Y6$#"#88'%%"Q@*subset_iffC#p#""uЩ"d"eCܰ]\"g# @(PreOrder@A#"5##ŵ"## ##C";##C#@)ReflexiveW#"C##ӷ##Է!z#׷#"K##"#˷" @{jj@[lmn #U#O"#95# &C"`xC#=@*Transitive++-$#!o#!p#@#൷###8"s##ߠ" @$In_1< #s#"#r#CCC#$#"##ҷ##Ӷ@##C#!##$#"##C;#!##C?#!$#$#"##$$#$ $$#i#$'$'#"$$#aM#A$#@ @ !p!$$ s CC_C#XCb#$@$#$B$B$"#"j$7!!$,$L$J#$K"#d$=$'$"4$$#####$,#$$ #$.!,$$$#$!#$$#$5⩷$5$04$&$$ $####$%$##ɷ#"3  ķ#!#е#9C#$GC"C$,$p$p""C$0!$W$2$v$v"""K$k!!$`$$~#D$"#$q$[$V4$L$D$0$&$$$ $`#$K$>#$b!,$P$N$C$#$7!#$R$E#$i$i$d4$Z$R$>$4$,$!$#$Y$L###ܩ#!l:#;#!!$C!$|C#C$a$$##C˰5!$$~# |$z$x#$#$$v$4$}$u$a$W$O$D$:ol$hh$ $|$o$jf$d",$$$t$T$h!s$$$v$uq_$[$#6U$$$p$@/impl_Transitive6΀^$l@0or_impl_morphism?o",$I$$A@&In_s_m$>##$ww$.$$$)@.impl_ReflexiveJ~m$G$#V u$$$ y",,$$$$$$$$"$?$$$."2,$c$$[$S$T$U${$mC#bcC$$$#d#da`C _$$A#h!$$#o$$#s$$$^$4$$$$$$$XU$TT$[$$$VVR$Q"Q,$$$$$"L\$b$$$]^]M$L$O$$$NcK$@1and_impl_morphism%YIXXO$$:$$$YV]"e,$$$9$ 7$c5__V$JC#AC$%%%%##?>C K3 %+%,#%/%0 $I%"% =%4$$$$$$$63%//$$$$1-%,",%$$$$"}:$%$$<8'%#%$%$A"1uAA$% $nC00 $%#$%N%N%#$%!$%$-7",%%$j$I=hL7$@1not_impl_morphism{$",%JЩ$%L%L% %@%%_%"$$̩%1@8proper_normalizes_proper&n΀@%Vܩ%%%X $%.%)%\%%^%^%2%-%q%4%%s%s%63%%8%8%8% %G@*flip_arrow)/ %k!%N@)flip_atom|E׀%r(& %%HE %G% %L%$%[@2proper_flip_proper'TÀ*%$%b,w$'%% % '%w%f@%flip1 %%~%~%%%.%  %%b.$ %$$%%L/%t@%flip2 %l%S%S%%%n%U%%%R$@2PreOrder_Reflexivevv%Y%@-flip_PreOrder<3%%% @4Equivalence_PreOrder"fX%%'%(%%C$5}C%%%$7{zC 2%%$;%%%$=!L  "Hf %%ӷ$%ԷT$$%Ʃ%%%I% b$֠6q$%%l%P% $%L$ޠ F%©%V%ũ q%G% %W%#%V%ɩ%%b%Щ! $# %%o$%? [%נ %%$%f%p$%% d%Hm d d%[%%%V f  %d%%"t@%S"%S o%J%T%&%@%;%/"~#*%D%?%3%%% C$۠!/!0gC!Cjg!3"Y!O!BU!J&(&&$&'$%@&&S%4%%%%%%%LH&FF%%%%~HC& A#y,%%%%%#tO%%%%QO<&:&W$%%vVA(%R  %&%e EE8&3C$(C!h%!s!f"f'&<#%q}!r!m!l&)$Hff'&C#ǩ%%z!&W&U%&V$Hss'%&L&J&4&%͠&;!u%R%ʩ%[ 9$&*&%ՠ&D!}%W%ѩ%c  &G%۠&J%ˠ&4!m%&N%c$y&M&-%&T!%s$C iZ&B&5%w% &[!}&W&^% #&q#%&m %Y%%%&h\ %%%%&m%#1]fC&R$ %&y!%%C!!!% T% %&R%= &x 2$&f&Y -%C &E%  %&l&_% **&&n,&#@40%5#% 3%%%ǩ%%ܩ%"%ѩ# #̩%%%&&& FC%}C! ^"z/EPuz