"` S *FSetBridge%FSets#Coq@d$Bool#Coq@)OrdersTac*Structures#Coq@+OrderedType*Structures#Coq@$List%Lists#Coq@&Sorted'Sorting#Coq@4Relation_Definitions)Relations#Coq@-SetoidTactics'Classes#Coq@&Setoid'Setoids#Coq@&Basics'Program#Coq@)Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@$Init'Classes#Coq@/RelationClasses'Classes#Coq@)Morphisms'Classes#Coq@*SetoidList%Lists#Coq@-DecidableType*Structures#Coq@-FSetInterface%FSets#Coq@@)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r'Prelude$Init#Coq@0JqTttֱ$Bool#Coq@0j 2cZ`FW&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI+Relations_1$Sets#Coq@0k<⪚(тc1&Sorted'Sorting#Coq@0bb1z٠*SetoidList%Lists#Coq@0k窪ܸqS+OrderedType*Structures#Coq@0#73t1E iW-DecidableType*Structures#Coq@0kO!Z7+/0^s h@ >Eb J@OK@DJ@@@@@1'eq_refl @@!x`\@UJfb@@QA@@@@@J&eq_sym @@ws@lJ!y{@tJ@@`QB!@hQC@@@@@r(eq_trans @@A@J(@J!z@J@@Q&.@@Q@QE5@@@@@(lt_trans @@u@J\@J4@J@@R2@@R9@R1@@@@@ՠ)lt_not_eq @@@J@J@ @R%Logic$Init@#notШ!@Qm@@@@@'compare @@Қ0,@%J62@+J'@'Compare8Ȃ@КD@@9JIE@ RNJ@(QBA@@@AA?vtAA@A@@6&eq_dec @@c_@XJ욠ie@^J&Specif[@'sumbool7̂K@zv@TQk~@\Q@@@@@d@+OrderedType*Structures#Coq@+OrderedType@@@@J@@!tJd@@A@Q@@"eqQd@@A@R@@"ltRd@@A@ABC@#elt @@J@ %'A*Equalities*Structures#Coq@@@@J@@@@@AA@@A@ @@.%wA-FSetInterface%FSets@@@@.%w@ @A@A@@@"In @@@@@(Zi@@(Z-@@@@@*%Equal @!s@(Z-"s'@(Z-!a @d(Zi@#iffС)@9(Z3]@?(Z3]@(%@(Z-'+@ (Z- +k() +7T' 7! 7!7%'e%WSfun@[-TcdP.p @-ot@-FSetInterface%FSets#Coq@!SP@@@A@@>@$Sfun@@@A@@@A] _@@ R=X@ d@ R=X@A@ RD@@ RD@A@ RE\@@ RE\@A@ABC@A@9@A@@@@t"@@;*d@@;*d@A@;*lE@@;*lE@A@;*l@@;*l@A@ABC@A@@@@@&Subset @@(Z-@(Z-@(Zi@@(Z3]@(Z3]@@(Z-@(Z- +k() +7T' +  7!T'7%'dt~qfVQ@@@@@%Empty @ؚ@(Z-Ϛ@1(Ziʐ@(Z3]@隠@(Z- `+k+7T' 7!7$'@(Z3]@@N(ZidL@@@@@6'For_all @!P@ @c(ZiԷ@(Z-@m(Zi@@<(Z3]D@@%@}(Zi/,@!(Z- +k() +7T'+  7!T'$'dtޠΠ@@@@@z&Exists @D@M@(ZiVR@G(Z-D@"ex @^@(Zic@(ZiU@#andЖw@p@(Z3]RC @p@z@(ZiU@u(Z-A +k() + 77%'  7!7%'Vh)t>|VtTG<,'@@@A1@D%Logic$Init#Coq@@A@@⠠%empty @@@(Z-@@@@@(is_empty @@@@(Z-)Datatypes@$boolZ'@@@@@@#mem @@@@/(Zi@@(Z-@@@@@#add @@@@B(Zi@@(Z-@(Z-@@@@@0)singleton @@@@Y(Zi@(Z-@@@@@B&remove @@@@k(Zi@@ (Z-@(Z-@@@@@Y%union @@@*@(Z-@/@$(Z-3@((Z-@@@@@p%inter @@@A@6(Z-@F@;(Z-J@?(Z-@@@@@$diff @@@X@M(Z-@]@R(Z-a@V(Z-@@@@@@ @n@|(P@@s@h(Z-@x@m(Z-SF@.V:-" @@@@@- @@@(Z-@(Z-*@t(Z5t@{(Z5t@@@@@ޠ%equal @@@@(Z-@@(Z-@@@@@&subset @@@@(Z-@@(Z-@@@@@$fold @@!A.(,L@@@@@7(Zi@o@@(Z-@uʐ@@.(,@@A@A@@@%'for_all @@@@@O(Zi7@@(Z-<@@@@@9'exists_ @@@@ @c(ZiK@@(Z-P@@@@@M&filter @@@@@w(Zi_@$@(Z-(@(Z-@@@@@e)partition @@@@7@(Ziw@<@1(Z-}@$prodt@H@=(Z-L@A(Z-@@@A ϲ6W)Datatypes$Init#Coq@@A вuX @AB@@(cardinal @@@h@](Z-@#nat@@@@@@(elements @@@|@q(Z-@$list]@@(Zi@@@A al<@A@@ɠ&choose @@@@(Z-@&option >v@@@@#elt(Zi@@@A ůM`@A@@$In_1 @@š@(Z-f@(ZiL@ (Zi@@QI@@(Z3]e@(Z3]kE@@@@@ @@@(Z-@(Z5t@@@@@, @@@(Z-@(Z-@@(Z5t @(Z5t~@@@@@I| @@@(Z-@(Z-#s''%@(Z-@+@(Z5tw@1@ (Z5t}6@(Z5tt@@@@@s%mem_1 @@HD@9(Z-욠I@(Zi@O@p(Z3]1A@/ @[@(Z%͜A@@@@@%mem_2 @@pl@a(Z-q@(Zi@#y@(Z%[~@(Z3]@@@@@'equal_1 @@@(Z-@(Z-@@(PH٩@)/pC@@@@@۠'equal_2 @@@(Z-@(Z-@c@)/p3^@(P @@@@@(subset_1 @@К@(Z-Κ@(Z-@@N5րQ@%:F6*@@@@@(subset_2 @@𚠐@(Z-@(Z-@4@@:F6s@u5րJ@@@@@;'empty_1 @@ @B(r@g)/@@@@@N*is_empty_1 @@#@(Z-@%@[(rְg,@u؀ѐ@@@@@i*is_empty_2 @@>:@/(Z-@}B@؀穚G@}(r*@@@@@%add_1 @@YU@J(Z-Z@(Zi㚠_@(Zi@fb@@Qਗ਼k@(Z3]q@(Z@@@@@%add_2 @@@t(Z-'@(Zi @(Zi@@(Z3]w@(Z3]G@(ZŐ@@@@@נ%add_3 @@@(Z-P@(Zi6@ (Zi@@Q5@@(Z3]t@(Z򩚠@(Z3]@@@@@ (remove_1 @@ޚ@(Z-@7(Zih@<(Zi@@Qeܐ@(Z3]@:A,#@@@@@5(remove_2 @@ @(Z- @c(Zi@h(Zi@@Q@@@(Z3]%@F(Z3]+@!:A,P@@@@@i(remove_3 @@>:@/(Z-⚠?@(ZiȚD@(Zi@J@k(Z3]P@F:A,©U@v(Z3]6@@@@@+singleton_1 @@c@(Zi욠h@(Zi@n@(Z3] t@|m?Wzv@TQƐ@@@@@+singleton_2 @@+@(Zi@(Zi@@nQ@(Z3]L@m?/@@@@@ݠ'union_1 @@@(Z-@(Z-[@(Zi@@(Z3]p@)N?@"or @@(Z3]@(Z3]H@@@@@'union_2 @@蚠@(Z-暠@(Z-@F(Zi@@(Z3]ܩ@(Z3]@)N?@@@@@='union_3 @@ @ (Z- @ (Z- @p(Zi@ @?(Z3] #@D(Z3]֩ )@)N?*@@@@@f'inter_1 @@; 7@ ,(Z-9 <@ 1(Z-䚠 A@(Zi@ G@h(Z3] M@)7(< R@s(Z3]3@@@@@'inter_2 @@d `@ U(Z-b e@ Z(Z-  j@(Zi@ p@(Z3]" v@>)7(<© {@(Z3]@@@@@'inter_3 @@ @ ~(Z- @ (Z- 6 @(Zi@ @(Z3]@ @(Z3]  @(Z3]4 @r)7(<@@@@@蠠&diff_1 @@ @ (Z- @ (Z- f @(Zi@ @(Z3]{ @(e@ـ  @(Z3]@@@@@&diff_2 @@暠 @ (Z-䚠 @ (Z-  @D(Zi@ @(Z3] @(e@ـ D鐩 @ (Z3] q@@@@@<&diff_3 @@ @ (Z- @ (Z-  @o(Zi@ @>(Z3]@  %@F(Z3]  *@K(Z3] 0@(e@ـ@@@@@m&fold_1 @@B >@ 3(Z-n.(kMq@@!i!f@ P@(Zikᩚ W@(eU < $List%Lists H@)fold_leftɀր󚠐 h@(Zic!e p@(ZiS v@,*[ )@@.(k@9@A@A@ %'A jA&&@ABA%t)@FA@HA1DH x@ABC@@Ǡ*cardinal_1 @@ @ (Z-I2 @@$1-@&length䷀ @ (Zi @<,*=@@@5A o@A@@(filter_1 @@Ś @ (Z- i @ (Zi~@ @ $(Zi @*SetoidListu@+compat_bool!!|  @ J  @ Q @ @ (Z3]w @8DXΩ @ (Z3]ǐ@@@xAm,&@A@@ 3(filter_2 @@  @ (Z-  @ a(Zi@ @ g(ZiO@C  @ J  @ Q Ͷ@ "@ C(Z3] (@8DX ٰjА@@9@@ h(filter_3 @@ = 9@ .(Z- ᚠ >@ (Zi@ D@ (Zi@x L H@ AJ Q M@ +Q @ W@ x(Z3]@0 ]@ ~(Z3] c@N8DXHF@@s@@ )for_all_1 @@ w s@ h(Z-+@ y@ (Zi@  }@ vJ  @ `Q 7@ @=ǀ 5 @ (ZiC$9#E֩ @A@@@@@ ؠ)for_all_2 @@  @ (Z-a@ @ (Zi@㰚  @ J  @ Q m@n @A 6i @=ǀ r @ '(Zi`w@@@@ (exists_1 @@ 䚠 @ (Z-@ @ >(Zi&@  @ J  @ Q @ @3p  @ W(ZimA @%π1@@@@ C(exists_2 @@  @ (Z-̶@ @ r(ZiZ@N " @ J ' #@ Q ض@ٰj /@.%π ԩ 4@3p ݚ :@ (Zik @@H@@ w+partition_1 @@ L H@ =(Z-@ N@ (Zi@ V R@ KJ [ W@ 5Q  `@ n(P@#fst  l@ a(Z- p@ e(Z- u@H ~ 穚 z@e8DX @@@@ A ӳ2[@ A Գq\@ABC@@ +partition_2 @@  @ (Z-I@ @ (Zi׶@˰  @ J  @ ~Q U @ (P@#snd @ (Z- @ (Z- @ ~ 0 @8DX l @ !(Zi @$negb ` _@@V@@ *elements_1 @@ ⚠ @ (Z-  @ ;(Zi@ @ (Z3] ˩@#InA q9@  @ J  @ Q  @,*a@@@Ai0A4@A@@ A*elements_2 @@  @ (Z-  @ o(Zi@/  @ J $ @ Q թ )@,*  .@ O(Z3] @@.@@ k+elements_3w @@ @ <@ 1(Z-p@&NoDupA @ I E@ >J N J@ (Q S@,* @@S@@ (choose_1 @@ e a@ V(Z-  f@ (Zi@ϐ o@ (Zi t@7ѱπ WA }@ (Zi . @ (Z3] @@@A ůM @A@@ à(choose_2 @@  @ (Z-@F @ (Zi @7ѱπ 0 B @ (Zi @ (r @@.@@  w @@@ @ (Z-@ @ (Z- @@@@@   @@ Ӛ @ (Z- њ @ (Z- К @ (Z- @ (Z5 @ (Z5t  @@@ A?vtA Z*Structures#Coq@@A@@ ('min_elt @@@ @ (Z-_ @ W(Zi@@@ NAS@A@@ >'max_elt @@@@(Z-u@ m(Zi@@@ dAi@A@@ T S @@ ($@(Z- &)@(Z- .@#(Z-@4@ (Z5 @:@ (Z5 ?@(Z5 }@@@@@ | L @@ PL@A(Z- NQ@F(Z-@W@(Z5 ѩ H^@8(Z5t @@@@@ *elements_3 @@ pl@a(Z-&Sorted'Sorting]@1ĭ@}y@rJ~@DR@ ,* @@@xABA@A@@ Ƞ)min_elt_1 @@ @(Z-A@ (Zi@P @ (Zi@*e 8@ (Zi c@ (Z3])@@5@@ )min_elt_2 @@ ɚ@(Z-m@ "(ZiS@ '(Zi@ 8@ 0(Zi@*e>i@ ;(Zi @@ (Z3]ʩ ڐ@R @@o@@ .)min_elt_3 @@ @(Z-@ h@ `(Zi @*e k@ k(Zi@ N(r @@@@ U)max_elt_1 @@ *&@(Z-Κ+@ (Zi@ݰ 4@ (Zi9@3)KM Š?@ (Zi 𩚠D@ e(Z3]@@@@ )max_elt_2 @@ VR@G(Z-W@ (Zi\@ (Zi@  Őe@ (Zij@d)KM˩p@ (Zi"@v@ (Z3]Wg~z@@R@@@@ )max_elt_3 @@ @(Z-@ > @ (Zi@)KM (@ (Zi@ (r @@#@@ ⠠(choose_3 @@ @(Z- @(Z-`@(ZiF@(Zi@ t +@#(Zi@ ?7ѱπZ\@.(Zi@  ?@7(Zi@ S7ѱπnp@B(Zi@@ (P @QM@@u@@4@ @@@@J@@lJk@A@Q@@jQi@A@R@ @hRg@A@ABC@%empty @@&@&Specif$Init#Coq@@#sig#* @*@(Z-!s @ e(rA@@@dA8A@@A@@AA@@A@(is_empty @@XA%6@'sumbool7̂K@'A%Logic$Init#Coq@@#notШ:A@@@@@1#mem @@B!xT@(ZiSZ5a@(Z3]BA4 BA@@@@@\#Add @+ y @!t(Z-"s'!y %Logic$Init @#iffС) @"In(Z3]Y9@"or @ (!E@"eqQDlnF@ba6A +k() +7T' 7! 7!7! 7!7%'Р Hx3TB*h6t@@@@@#add @@C瀩퀷j@٬CBA@@@OA@A@@栠)singleton @@;D @С)AB$F@"eqQCA@@@A@A@@&remove @@mE皠怶7>OD6AB#@#andЖw@*@DAAC@@@A_@A@@Z%union @@Fu|#s'':9y3ABf@ @@ADFAC@@@A@A@@%inter @@G7πĀ>wvpABzADAC@@@;A@A@@Ҡ$diff @@'H횠􀶐q xABAD怐AC@@@yA@A@@%equal @@eI+26=@q(PBA BA@@@@@8&subset @@JSZך^9e@5րBA8 BA@@@@@`(elements @&Specif@#sig#* @A)Datatypes@$list]@ !l@EЖw@&Sorted'Sorting %@1ĭ@@.J @"ltRr; 8- *SetoidList%Lists =@#InA q9@ b H@Q,*3A0&" X UJ@+2v ]@ Ce b@N+9@ |@S!HX q@B }C   y@ ~C@)Datatypes$Init#Coq@@$list]@~€z'Sorting#Coq@@~1ĭ@@"ltRAޚ݀׀AC%Lists#Coq@@#InA q9@A(AB +k+ 7 : 7 :'+ +:'7&'7&'@|hcnĀ@@@A al)Datatypes$Init#Coq@@~Ai0A*SetoidList%Lists#Coq@@ABAӠYX@@ABC@@f$fold @@K!AbϠA @@!f@?@1)!iCD!rBBB@@@@@A@H C.@A3q@"eq @GC$List%Lists#Coq@@)fold_leftɀրАG\!aG!ecHABBD@@b@u@A@A@xA%tݠ$List%Lists#Coq@@AAY@A @AA1DHڠ٠@@A@A&@ABCD@@(cardinal @@YL&7&@#nat@BB@@@@@5K;*<)'  BK>@:84-'&$"S5C\@&length䷀UB@@@A o @A@@X$fdec @!P@$Pdec@Z7̂K@$@#notШBAAAA@@@@@A0ѩ@$boolZ'@@  A@ B@6@]7ed6lk@$boolZ'@ +k() = R'>G'>H''+k6'?AABAAAH7@@@@@ ,compat_P_aux @@Mj@4jƀih@@(compat_P0A8KR@+compat_bool!!|RY1@e@@@Am,@Aq( @AB@@&filter @@ON@ɀlКπB穚B.5F;@N:!D5橛F@@@AO@sAT@AB@@L'for_all @@O@"!PB9JB@b@oC@=ǀ6@}CoF@@@A@A@@'exists_ @@P?@f ?mlBB˚Ҁ@瀰ӚC@3p6@ᚠȀCF@@@ A@A@@⠠)partition @@7Q@T怠BϩBֶ. @@$prodt@/18BBB@@@@@BA"s1"s2@ZF-F€iʀf1H'Z3߀;Щ ?@@@A ϲ6W$@AA вuX'@A}@A@ABC@@z*choose_aux @@R@%sumor$|@V[؀:4@I7ѱπB@&option >v@AC~퀰OIABR@@@CA ůMq@GA@IA:J@ABC@@Ơ&choose @hgȐ"s0@Zܳ݀#m@Q$|@tz~{q@S @u@ >v@q@,7ѱπ3 AO HB(BAAAA@@@@@D2-+& A.)#<7@%Empty(rPRB@@@@D©K÷ĩID>;YT̷ͩ   ҷ"HxgAdܷݩƠ-@(choose_17…%~B}BC>@(choose_27† 2@ry݀/4'ABA +k7 = )RT'>= R$'> 7" :9''> 7!9''+k7 + 77!7%' 7%'+k7 + 77!7%' 7%'(@XtAABAAF@'Hz$TCࠒSABAEx@@@0A@2A@4A@ABC@@*choose_ok1 @@S]Sc])B'AfA@"ex @AB AB%~}{VyC5@-*P耐C&Specif$Init#Coq@@z$|@A@'#* @dfȀ|C@AstADBA@@@Aj@A/@Ah@ABC@@,*choose_ok2 @@TGک8|ةABᩛz]A~A 퐐BtBrB'BA@@@A@A@A@ABC@@,choose_equal @@U@iBA B@@@@@D`87696{3VZéKJILI#B-,@@@@D造[Z]ZCdNcLNB԰@@@@@DBVyxwzwtc署g  "Bnm@@@@D *3"x'= η@%Logic$Init#Coq@@%Falsee@RB21@@@@@D֠շԚשԠѐL] _砚詚*7~ >@$Truey@@@@A@A o@A@ABC@@ l'min_elt @@V  򀠩  D IF @AB " xABB A@@@-A@/A @1A@ABC@@ 'max_elt @@W ǚ ΀2 〠   ABQ b ȀBAB A@@@mA*@oA @qA(@ABC@@ 젠~ @@{o@@@@@   @ @j @@@@@   @ @a @@@@@ %Equal @    B2@߂ 9@ Nv  @ :z | +k() +7T' 7! 7!7%' ptdP@@@@@ <&Subset @  ݷ  ޶-,@''v@ \  +k() +7T' +  7!T'7%'9t5d@@@@@ [? @  JI@@ y `+k+7T' 7!7$'TdP@L@@@@@ y'For_all @!@h @ I $n@d @+@@!߂ @ ,I 񐐠 +k() +7T'+  7!T'$'td@@@@@ &Exists @N- I, >@ @ S56@Z@/$ Қ-A +k() + 77%'  7!7%'It |th@@@bA1@D@A@@ ߠ%eq_In @@$In_1(bsÀ@m@@@@@  ^ @@ni@Ր@@@@@ f @@n(Z5@ @@@@@ 'eq_refl @@  /t@r@@@@@ "&eq_sym @@ 8-\@q@@@@@ 3(eq_trans @@ 9\Q@e@@@@@ D(lt_trans @@ 6@ k@@@@@ U)lt_not_eq @@ 8@ T@@@@@ f'compare @@ =@ ␑@@@@@ w  萐   @@?w1D*Structures!@@@J@@?w1@@A@A@@@  @ @@: @ <$o= @E@Q@@@@@ɠ  @ @@R@@@@@֠ @ 4@K@ c'(@ 7$o ;@K@@@@@ @ K@+z@ z> o?@ @+z@@@@@ @ b@-o@ U VX@2 @4u6@-o@@@@@ @ |@*o"@ o pq@s@ z$oA {)@R@*o"@@@@@:ː @ @,E@  @M7i@x,E@@@@@Qѐ @ @򝫀@  @H8Ȃ@8@e@@@A?vtA@A@@p&eq_dec @ @ +̀@ ¶ é@N+@@@@@@@@@@@A@$o=@@$o=@A@$o@@$o@A@$oA@@$oA@A@ABC@@@@b@A@@ABC@@ 9@AB0@ A@ACD A@A1FdJ@AA1GK@@A@$@ABCA!@A ӳ2[ L@AA Գq\ O@ A @AB J@A@AA@ E@ABCDE6@*NodepOfDepAA@@ @ې@@@ؠՐ @Զ@@ Հ@ @ ՀӐ@@@@@젠ѐ @ж@.@  Հ@4@ Հ@@@@@ϐ @@ΚB(@! ՀH.@  "Q̐@@@@@ʐ @@⚠V<@5 Հɚ\B@; Հ@cI@' "QǩiO@- "QŐ@@@@@5Ð @@w]@V Հꚠ}c@\ Հši@b Հ@p@N "Q@w@U "Qǩ}@[ "Q@@@@@c @@1@ Հ@ Հ𚠐@ Հ@@d "ـ@@k "ـ@q "ـ@@@@@ @@_@ ՀF@ Հ@@ "ـD@ "Q@@@@@ @@@ Հi@ ՀК@ Հ@ "ـ @ "Q@@@@٠ @@@ Հ!@ Հ)@ "Q1@ "Q@@@@@@@@@@ @=#@ @A@ "Q@A'@ "Q@A@ "@E+@ "@A@ABC @P6@/ Հ@*V<@5 @@@@@|9 @@.(Ny@@@@.(@@A@A@@@u @@@r@(ꀶ@w@V(=y*@@@@@t @s@d(=yq@i(=yo@(ꀩm@(Bހh@(Bހg@@(=y@(=yfe$Sdep@>'jdPp @>vt@d\@A@@@@@@蠠' @@(=y@(=y@(ꀶ@@(Bހ@(Bހ@@ך@(=y֚@(=y&IdAt?@@@@@##Add @ @ Հ@(=y@(=y@](ꀩ"@-(BހH*@ "QƩ0@;(Bހ@š7@ Հ*=@(=y)C@"(=y +k() +7T' 7! 7!7! 7!7%'РTj:@`Őh2~tx@@@@@ @[m@L(=yRr@(ꀩMy@(BހE@l@^(=y>ؐ@АdeL@@@@@ @~@@(P@(=y4@(ꀶ@@(Bހy|@@@(y@(=yyxd t @@@@@s @@@(Ț@(=yr@"(ꀷr@'(ꀩl@(Bހf@Ӷ@@5(暠@(=ycaRht|RtP@@@A\@A@@6ؐ @@)mр@@!@ (=y@&@ (=y됑z@#?*]n@@@@@Rܐ @@@8@ (=y@=@ (=y@@@@@d @@8J@ )(=y6O@ .(=yКU@ 4(=yY@ (E}]@ !(D@@@Ae@A@@ @@Zl@ K(=yq@ 5(D@@@@@ @@l~@ ](=yj@ b(=y@@ M(D@ R(D@@@@@ @@@ z(=y@ (=yl@ (=y@@ o(D@@ u(D穚@ z(Dސ@@@@@ݠܐ @@@ (=y@ (=y@ (=y@@ (E} @@ (E} @ (E} @@@@@Ր @@ٚ@ (=yך@ (=y@@ (E} Zѐ@ (D 3@@@@@$%eq_In @@ @ (=y @R(ꀶ @W(ꀶ@!@  "Q @"@-(Bހ7'@2(Bހ6@@@@@Nl @@@#sig#* @;@!(=y.@@!(=yE@e)m@@@A8A&Specif$Init#Coq@@A@@v @@J\@!;(=yݠc@)m۩ >j@)m@@@@@ @@!w@(ꀶj|@![(=y@(Bހ  ^@(Bހ @@@@@ @@!$@(ꀶ@!{(=ym@!(=y@!(=y@(ؠ~& I H@@@QAh@A@@֠ @@!I@(ꀩ@!(=y@!(=y!:@ (ꀩ@(Bހ!@! "QS u@@@~A@A@@  @@!v@ +(ꀶܚ@!(=y@!(=y@!(=y!l@ @(ꀩܠ@ (Bހѩ ␩!@! "Q婚@ (Bހ@@@A@A@@ = @@ #@"(=y (@"(=y.@" (=y3@"(=y!Ś8@ z(ꀩ ?@ J(Bހ eF@ Q(Bހ!_L@ W(Bހ @@@A@A@@ u @@ I[@":(=y G`@"?(=y1f@"E(=y2k@"J(=y!p@ (ꀩ Nw@ (Bހ C~@ (Bހ8@ (Bހ U@@@'A>@A@@ % @@ @"q(=y ~@"v(=yh@"|(=yi@"(=y"4@ (ꀩ @ (Bހ z5@ (Bހo!@ (Bހ @@@`Aw@A@@ 堠 @@ @"(=y @"(=y!Q@ )mр";!@ )mр"B@@@@@! @@ ٚ@"(=y ך@"(=y!q@ X6 W"[!Ґ@ _6 W"b@@@@@!%ؐ @@@ @!N("$Pdec"@!V(ꀩ!!!! @"(=y$@#(=y!)@#(=y@G@(compat_P0A86#@# Հ;#!@" "Q "͚@@!(ꀩ!G@!R(Bހ!ΠN@!Y(Bހǐ@@@A @#,Aq( *SetoidList%Lists#Coq@@AB@@!] @@ J@i@!(#]"o@!([!bt@#S(=y!@M~#d@#] Հ#i@#G "Q@ t>qH W"%@`#w@#p Հ#|@#Z "Q "q@ >qH@@@#xAL@A@@!Ơ @@ @@!(#`#@@!(!@#(=y"9@#@# Հ#@# "Q @@ t4D@#@# Հ#@# "Q R"@ 4X@@@#A@A@@"  @@ Ѷ@@"2(##@"8(!隠@#(=y̠A#G@I(=yĩ  BBB@@@@@ #""s1@#(=y"s2#@$(=y@+$@$  Հ0$@# "Q 7@!#>qHG  @@!,>qH#ӚF@"(ꀩ#!H "#ܚO@"(ꀩ"-V@"a(Bހ"ݩ}[@(Bހ u@@@A@AA@A@$@A@ABC@@" @@"bt@$S(=yE䐚y@(ꀷ!l !@ Հ@ "ـ$$!@"(ꀩ"r@"(Bހ"m@ "Q$$$@@@$|Ai0AP@$ABA#'Sorting#Coq@@$A@ABC@@"נӐ @@Ҕ.+ݠ["@@a@@#(ж"@$(=yo!D!!r!BBB@@@@@"˩IeaLh!g`_Y$g$v@#+(ꀩ"Ǡ@"(Bހ#nV$v$V$@o,݈C}h@!}|v$$@#H(ꀩ"䠩 @#(Bހr$$r!ۚ@#Y(ꀷ"@#_(ꀩ"#!@@.+@f@A@A@iA%tݠ$List%Lists#Coq@@ArA1DH!y@vA@% A&@ABC@@#[Đ @@#/A@% (=yŷvBtsr#9ӷϩ֩!ՠΰ$ն$䚠W@#(ꀩ#5^@#i(Bހ_$$%e@,݈"2Ր@!$%s@#(ꀩ#Qz@#(Bހ4{$$ߩ@#nat@$ߩ@&length䷀$@@@%fA o )@A@@# @@#@%{(=y$@%sumor$|@u@#(ꀷ%<@#(ꀩ"6@#(Bހ#@">qH%/@$(ꀩ$%@%u "ـ#$e@")m"F@@@%A@%A:J@AB@@# @@#Ϛ@%(=yE@$+(ꀷ%{@$0(ꀩ"u@$(Bހ#@">qH%n @$B(ꀩ$ې %@% "ـ%l$ @#-)m"@@@%A@%A?@AB@@$8 o @@$  @%(=y񠚠 &@$h(ꀷ% +@$m(ꀩ 0@$;(Bހ# 5@#U)m"@@@&A@&Ag@AB@@$`,choose_equal @@$5 G@&&(=y$3 L@&+(=y@ R@$J)mр%BAAAA@@@@@D%. c@$(ꀷ% h@$(ꀩ m@$x(Bހ' r@#)m&% w@ 8OP $kJ @$(ꀷ& @$(ꀩ @$(BހCYB@@@@D$a @$(ꀷ&( @$(ꀩ @$(Bހ&S%;&3 @$(ꀷK @$(BހBZYX&@ @$(ꀷ&I @$(ꀩ @$(Bހk @#)m &z @!%8OP$ @%(ꀷ&f @%(ꀩ @$(BހB U$ө @%)(ꀷ&y @%.(ꀩ @$(Bހ%&%"x' @%<(ꀷ @% (Bހ &@& "Q!% @$-)mG%@%Falsee@ @$9)md|Bŷ& $@%f(ꀷ& )@%k(ꀩ .@%9(Bހ詚 3@$S)m~&橚 8@!8OP%,  @@%(ꀷ&Қ E@%(ꀩ J@%U(Bހ=˩ P@$p)m&+@$Truey@@@@@@%}@I@@ @ a'G@% %@A@ "Q@ e'K@% "Q%@A@ "@ i'O@% "%@A@ABC@"ME t+OrderedType*Structures#Coq@0OrderedTypeFacts 'e(eq_equiv @@@A!O+OrderedType*Structures#Coq@ [@A@ *%3@A@@ @/RelationClasses'Classes!@+Equivalence~@! @@@ A݋X_A @A@@AA@@A@+lt_antirefl @0%@-A52'A@@@@@+lt_strorder @@5@=B0@+StrictOrder.[@LF@@+@@'%lt_eq @TI@QC)YZ [@W@GZ @@ E@@;%eq_lt @h]@eD=m2n o@@@@ V@@L)lt_compat @yn@vE)Morphismsh@&ProperL@@Z @*respectful%WO?xczS@@@ @AviA@ DA@ HAK@ABC@@y(lt_total @@F{p[ ^ c@@ @@"TOA @@ pAĠà @@!t̠@@@@@s @@Q@۠@@@@@z @@`$@ @@@@@Ƞ"le @" L@o0 W @n \@  ܐ \+k() 7! 7!7%'O"a@>Ofh%Logic$InitY@"or @H@KO|*@@@@@@@@@&P@$IsTONA> @#  _@I1@2V@P:EK@@@@@@) @@+2t@@#6^S@@@@@< @+@@񐑠(@7Ǡqf@@@@@O֐ @>@)@א;@7y@@@@@b'le_lteq @@GdYW@o! K@@@@@y@@@@&@(OrderTac)OrdersTac*Structures#Coq@,MakeOrderTac ݐ @@@D!P)OrdersTac*Structures#Coq@@@@A@@C!O@A@&9@A@@@B@@@A@@A"@@@@!tJ@@A@A$:@@"eq$:^@@A@$@ @"le$h@@A@$@@"lt$ h@@A@ABC@A@**OrderFacts-#@A@@@@ؚ @g,)@@@ %'A*Equalities A@A@@AA@@A@'le_refl @`SMGA&@aA!)3@@@@)lt_irrefl @2'tga[U:@uB 5D)I@@3@@-U @G<|vpjO@C"JK@PP@@H@@B*le_antisym @]Re@D8`-a@Ӷ@Ωh )N@@a@@['neq_sym @vk~@EQyFz@GI3@@@@@t*interp_ord @!o)OrdersTacB@#ordȠ@ @@@@@@@@@@@D@@w)@ +k= R'6'6'6''+k+7T'+7T'6'ࠒA@@"lt\ @@"eq8L@lР@6Ƞ@@321@@A@B@A@xA܀ڠϠ @@@@@Р%trans @- @.Fdb"o'e9@$ a@z4;)))@  v@)trans_ord-0ul))@@@A@AAۀߠK@ Aۓό^@@ABC@@   @e +@EyۀМA***9@*+q,@1|@3p L+k() LL7#'@@]$tD9ysmgL@@@@@:(le_trans @(PQR2МC*?*G*g@0X%YZ@@ L+k() NN7#'.tncv@@@@@dj @QyFz{[МB*h*p*@YN@Ӷ@ǐ L+k() MM7#'Wt٠̠Ơ@@@@@+le_lt_trans @{pS****@u@P& L+k() MN7#'{tޠ@@@@@+lt_le_trans @ǷȷɩNw***@̶Ͷζ@K@uJ L+k() NM7#'tՠ" @@@@@֠ @2r***@7@n L+k() ML7#'ÐtE82,& @@@@@ @U*++"@Z@@ L+k() LM7#'t'i\VPJ/@@@@@%eq_le @ 34z5++'+G@89:@ߐ L+k() NL7#' tK@ztnS@@@@@A%le_eq @/W$XY95+C+K+k@4\)]^@@3 L+k() LN7#'0tpex@@@@@f&eq_neq @và@G\Q@Z@T]V]@@@@@&neq_eq @ޠѠˠŠ@Hwl@@v@@@@@*not_neq_eq @ܠ֠@I@?@@@@)not_ge_lt @ʠ @ JͶζ@BN@@@@Ǡ)not_gt_le @נ$ @%K@@@@@@ߠ)le_neq_lt @</)#@=L@p@x @@@@@@@@@A@A*.@ @ @HX@¶@@@@@@ @(@%I-.l/@Ҷ@@@@@@  @8-@5J =>|?@@.~@@@@@!͐ @MB@JK"RST@@@@@@@1 @]R@ZL2b'cd@)b@@@@@C @od@lMDt9uv@@@@@@@S&le_neq @u@}NUJ@K۶@J,l)@@@@@g? @@Oh]@6@7`,,L@@@@@{K @@P|q@r@E@@@@@D @@Q@'@@@@@%lt_le @͠@RҶӶ@&o@@@@@)gt_not_eq @ܠ@S@1@@@@@)eq_not_lt @@T@A֐@@@@@͠)eq_not_gt @@U @P@@@@@ܠ)lt_not_gt @ @V<@@@@@蠠/elim_compare_eq @ @W  @kq #  - $@1ynjB - ' - -5@@@@/elim_compare_lt @5*@2X  : ;@ 3A@@*@@ /elim_compare_gt @MB@JY" R S@٠86KC1@@B@@8> @ f@FiW@; k0 l8@&eq_dec"*͠rg@@@@@P<_dec @P E q@+Compare_rec> (   p-p-!c|   u-u-Y3sD⩜]A9y-橜dB@^@8N-- @in9\Nl@쀰---@ w . |+k() 7! + +# +.+.7777# '7"9'7"7"9'9'7!7 7!7%'(u@+t^Vz@9bϮȠ@'compare9Ah\< @W> &Specif@'sumbool7̂K@h%@"Az𠒐@#notШH@@@@Р#eqb @  @Ӏ[@Y@K@   +k() 7!= R'>G'>H''+k6'7BAAAA@@@@@AAABAAAP)Datatypes@$boolZ'@@8h0%@@@@@'eqb_alt @;0@8Z @ A񩚠@N6Lڀ8EAAAAAA@@@@@@@D" @@;@@1%In_eq @^S@[[# e6 f+ g@@ k S.K m U.M.@@@Ai0A@A@@L)ListIn_In @yn@v\2O @@8$ ..p  r.r.j@@@@9AIPA @=A alO@ABC@@n&Inf_lt @@]T=q f @@O@%HdRel%5p@  .I  K.Z@@@A@]ABAZ@AB@@&Inf_eq @@^t]  ¶@ @@@@+Sort_Inf_In @ˠ@_m Ѷ Ҷ@~  .@2@j  v. Ԡx.@@-@@*ListIn_Inf @@` @ @l ..J  ..А@@@@AB@g@d@ABC@@Ϡ&In_Inf @@a @ @  /.@@Y@@⠠'Inf_alt @@ b @  /ڠ, @  /& /@@r@@*Sort_NoDup @(@%cʶ@ٰ 0 */8@&NoDupA @ 8 / @@@@@@@@-[ @ B ͷ Ω @c)m Ӛ @)$.! ٷ@ /<@_@/(=y |6= R '>'k+k6'D p%@El@@@@@(ِ @@/X}@-)m*D @=p@@@A@A@@ @W EYWEQG= @uY@N<@ 9@ߚE'@ +k7 = R'>G'>H''+k6'Xf'AA@[@@@@@栠*is_empty_1 @@0;Y g@MA:,U@(o/3A@@@@@ *is_empty_2 @@0\Z "@VHANAz/א@@@@@ & @  ʩȠ *RÐ @ (ަY@ @ @  @.(ꀶ Wx +k() 7!= R'>G'>H''+k6'AAPhҐ@@@@@ ]%mem_1 @@0[ xހ 0+@ E@.(BހAB2@ K=耠030+A@@@@@ %mem_2 @@0\  XS@؀R ABA50Z0R@@@@@ S @ @)@>@@@@@  @ Z  T I ][ @)mрZF젷@ A@>@ 䚠J hN j+AAP_9h@@@@@ 'equal_1 @@1B]!n r@ @/K)mрBAH1c@=C300ÜAA@@@@@!'equal_2 @@1j^!0 @hQ BAaA500@@@@@!9 @    ɷ ݩ۠ @ 6 WiڐƩ @:Ƿp@ŷ@ @!h΀ 욠ҀhAAP@@@@@!q(subset_1 @@1_!򀶐!@ Y@/86 WBÀ1@Xu1?1GA@@@@@!(subset_2 @@1`!!8@쀰Q BAA51f1n@@@@@! @!^ŷ!b !g  !HP !@ 8OP !o !q !v  1!x [ ѩ d@![C  8+k7 = !R2'>= R'>9''>G''+k67$'+k67$'Р ɠ䠒$XmAD@$점]ABx@@@2-AH@A@@" @@2Za" !ؚӀ@X42t@W oBAA11א@@@2WAr@A@@"0֐ @@2b"J@~ZX&AB#2@@@2zA@A@@"S(choose_3 @@2c"ny!{"&9S;@@ o>@ @u31 O2@!m "Q1!@@@2A@A@@" " @"#"%   /".k" J@ 8,݈琷 @2Q@"~ +k7 = R '>''+k67$' ;XBAB|@@@2Aq@A@@"&& @@3d"ؚ>"@`AB`23@ |؋ʀ2@@@3 A@3 A@3A@ABC@@"蠠& @@3qH"?3@*  #L# J#K g3"3J#Q`@#󀩛ۀZР`䠐AD@$젒+XvABx@@@3A@A@@#)min_elt_1 @@3h##pk@42 @I?jOBAAR3w3o@@@3A @A@@#Ƞ)min_elt_2 @@4i#㚠I##h@ ca/CEAB@3#Z#ր؀3#b@@@4%A@@A@@#)min_elt_3 @@4Sj$@ M]AsB򩚠t3ѐ@@@4IAd@A@@$"v @#{*#ǩUP# !gӠ#z3i@)\!##ةa#!63y4# /ji@$\€)gР/䠐\AD@'Xw$점EABx@@@4A@A@@$l)max_elt_1 @@4k$퀶$?:@ 42@= တBAA!4F4>@@@4A@A@@$)max_elt_2 @@4l$$je$7i@ ca/CAB@O4t$)$$14t@@@4A@A@@$͠)max_elt_3 @@5"m$蚠N@!]ABBC4@@@5A3@A@@$$0 @$ѷ$K$O$PQ@$(ؠ~"'UV@$E(͞'$\@ 4@$Ӛ΀%# +k() 7!= R '>''+k6'hqABL@@@@@%(. @@5|n%B$$ǚ@ŀBAԀ4@$={4$@@@@A%U@A@@%P. @@5o%jЀ%"$!@AC5!(5$ڐ@@@fA%{@A@@%v%add_3 @@5p%%ID%H@%oBA@(5MT5I%05M5@@@A%@A@@%$ @%I%H8%JӠ%F%D%B#4!Ho%% @$:Pߐ%U@5w@%%ۚACh(e8ABL@@@@@%ߠ.K @@63q%_%%~@|BA%݀5Z@$5%o@@@A&@A@@& .K @@6_r&%%ݚ؀%܀@&BA@5%5ݩ1%5@@@*A&?@A@@&:.F @@6s&T& %ٚ @ARBC뀠6%Ő@@@QA&f@A@@&a%{ @&A&&%G%%é@%|#Ð&ʷ@ 6-@&A< +k7 = R '>''+k6'XېAB|@@@@@&.u @@6t&`[&-_@4A@%E+B76]6e@@@A&@A@@&.t @@7 u&&Q@OBA^6)6@@@A&@A@@&ؠ%~ @&y1&s2j&| 6%u8&&u&d=>@%) D@ 6@'m&qs萰hXhABL@@@@@'. @@7cv')&&嚠@A@%=CB%ƀ6&ʀ66@@@0A'E@A@@'@. @@7w'Z&ޚĀ'@怠AC쀠76&7 @@@VA'k@A@@'f. @@7x'怶'ꀶ'<7@ AB77\&73@@@|A'@A@@'% @'-'''0 '6s'(ѩ%署@&)7@ 7Y@''=#%h G ABL@@@@@'.А @@8y'ۚA'_E'@gA3@&D=CBt7'N@@@A'@A@@'ꠠ.А @@8>z(j'n'@A)CB77@@@A(@A@@(.ΐ @@8e{(+''皠‶@AC@77۩€7ߩZ7'@@@,A(A@A@@(<&j @''η'!id'#'ؠ%ʠF#ސC@&(PZtr@8 @(lҀ'ր؀Mh ABL@@@@@(t/ @@8|(􀶐((JE@A@&=CB'8L(@@@A(@A@@(/ @@8}( (; !(sn@CA)CB(R8w8o@@@A(@A@@(Ƞ/ @@9~(⚠ H(f L(@nAC@(ǀy88}8b8j([@@@A(@A@@($ @(P ("#շ%x ("){&|& ((z$y&N&@ "0橚f@%%Ai&e%@8@)0 % X !AB|@@@@@)5*cardinal_1 @@9)P %"@%A9J變A%&tA@@@9A&@A9A%@9A&@9A%@ABC@@)]% @!B'-c3@@S@G@9#9·) 9 ) "(޷s( )"&& )W) x"L%&'@ "%93 @)fold_leftɀր%gv% i#@) 9E(9 @&.(ր)9C9K9k&2)@%9O@87@&*@ d@9Z9R&% )CD +k() 7= R '>''+k'#x D"AB`@@'-@V@A@A@XAV@A@@) &fold_1 @@:@)ݚ C&`'ld4h@@&TA&b@ @9)G&!C=@&==CADB&&АC&9&C99 DB@@'l@1@A@A@5A&@A6A@8A@AB9A&@@%:@'w@  #+ n p +k() 7 +7"= R'>''G  77&'+k6'ࠒ"Dh&]ࠑ$, #qABh@@@@@+0 @@;lB+2 *ꚠ 倶'@ ꀛ \@&NnA@ ɀ:橚@&C {:* Ӏ*:@@@9A+N@;rA&W@;tA&U@ABC@@+M(filter_2 @@;C+h ΀+  '@  @&A@ ;6;(*ݩ';%*㜠 A@@@rA+@;A&@;A&@ABC@@+(filter_3 @@;D+ +Y T(@ Y ˀ@&ݚ *A@ 8;U+@'퀰;[+ A F;/}+$&x@@@A+@;A&@;A&@ABC@@+Ġ&x @+f'T+h'f@t;@'f'R+@&-Qh@'Q@ 'N@(j@  + a  +k() 7 +7"= R'>G'>H''G  77&'+k6'РDh''EAAl'y% Ȁ@@@@@,)for_all_1 @@<]E,# (@ ׀ I@';[ A@@9e>qH+̩(n;ܐ< cA;ਜ਼(wM@&,\;+ pA@@@t@'pB'8'7'6 (=+','+@+*ݠ -=&()*(=*堩 -E(- I&('"*(*='-M-n&2+@' !p4@-=5@* @ E -'␐ +k() 7 +7"= R'>''G  77&'+k677%'h)R*Dࠑ&Ɛ8& ABh@@@A'C@A'B@AB@@-+partition_1 @@> I-њ7*K@  @(逰!  VA Ӏ*@#fst --!5@' BPA====@@@A'{@AA'y@A!V@ABA!T@A-@>A)@>A(@ABCD@@-+partition_2 @@>KJ.w*@ ŀ7@))!I A +'@#sndmm@==˩倠-5+8@$negb=ِ>=ڐ@@@ #A!@ %A!@>^A)C@ABC@@.78ɐ @@>h >@@@@@.B-ِ @@ <@@@@@.N-͐ @K@ 8L@@@@@.Z$K @--$J@8=,-@-= -թ-@. O. Q-͐$It. pdP@@@@@.$H @.%ݷ.޶$t*@%%+@. o.% q-퐐$G6t2d@@@@@..E @.DE.C@.B=뻀.A.?L.=C.,h'K@.|"@9J=,.Κ"@.U=뻀.T. +k() +7T' 7! 7!7! 7!7%'Рhkx.^jT.Rt@@@@@.ݠ' @.~6$*uy@. .C$d@*L@@@@@.$ @*@*.Z.@$|@*@R*p/P.h$wtd@@@@@/$v @*".{$u÷.ĩ,*@*ʶ@v*/Bt$p$n,t$|ݐtِh@@@?qA$m@A@@/J$b @@$s)t%@@@@@@/Z.ǐ @@%S=@@@@@@/j,ϐ @@,(E}@@@@@@/z$i @@$q>@n@@@@@/$h @@$p8݀@l@@@@@/$g @@$o9ڱҀ@_@@@@@/$f @@$n78@G@@@@@/$e @@$m9 @/@@@@@/ʠ$d @"@$l@@@@@@/ڠ/H#4/K/z @@$b#9@@ @$Y@@@@ /] @@@:#V/j@/0ǀ@+#O@@ "Q@@@@@@ -k @@#\@@ "@@@@@@-% @@% 7EQ@/'(@/0Ԁ?#s@@7EQ@@@@@@D% @Y@/:/;@$S-c#@@in9@@@@@@V%  @@%.@/P/Q$RR@,+]@.$Q#@?.@@@@@@n% @&@%v@/h/i$jj@l@-0*+y@$m#@?v@@@@@@% @B@%#u|@00 @$,6#@?u|@@@@@@%! @5@0*0$L.r@E@e#@?1ynj@@$F@@@$B @@0;00,8o,2q#@?iW@@@@@@@@@@@#@A@0@@?U0?T@A@0@@?R0?Q@A@0@@?O0?N@A@ABC$=@@@'-@'l@AB@@A@BC@@@AB@"A$,@AC@"A0@ADE@@A+@A@A+@@AB@@v@ABCt@@A@A,@B@A$I@@A$I@AAA0@AA*@ABCDF/@@@@b,@'-!@'l@ABC ӳ2@$I@A@ Գq@$H@A@AD,,,,@,@ABC)@@ABD@@A,@B*3$lC,$kDE$i$i$^$]$Y@$V@C@ABC 42BDE0.-B,C*DFG@@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@As2@@&shiftls2 @vY@A@Bs8@@&shiftrs8@vY@A@ѓ@!@&squareѓ@y@A@@'@&to_intϑ@@A@AB/@,@)log2_iter/#@wd@A@l@2@)sqrt_iterl)@!$:@A@ACD c@7@'testbit c.@!ć@A@^Ҷ@?@'to_uint^Ҷ6@#m@A@A,@D@'bitwise,;@/v@A@l@J@'comparelA@3R@A@ABs8@O@+of_uint_accs8F@5+@A@.@W@!t.N@ ;@A@A.먩@\@#add.먩S@ `@A@B.U@a@#div.UX@ @A@.B@h@#eqb.B_@ @A@A. @m@#gcd. d@ @A@.=@s@#leb.=j@ @A@ABCDE. @x@#lor. o@ @A@.Z@@#ltb.Zz@ @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@CD/@@%ldiff/@ H@A@3@@(tail_add3@^q@A@A3@@(tail_mul3@^@A@B6w~@ @'of_uint6w~@^5@A@@@&divmod> @C@A@>@@&double>@NĴ@A@A?;@ @&modulo?;@"i@A@BDEFG@@&Basics'Program#Coq@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1,:0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ-DecidableType*Structures#Coq@0kO!Z7+'Decimal$Init#Coq@0C涳N*ua*Equalities*Structures#Coq@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ@`0^s h@ >Eb 驠-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh."Le%Arith#Coq@0d}Omq+...@0>I20\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏%Minus%Arith#Coq@0LFtR"'Classes#Coq@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ'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蠠)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ4Operators_Properties)Relations#Coq@0U3y#h&B0#73t1E iW&Orders*Structures#Coq@0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%%Peano$Init#Coq@0 jha|ؠ(PeanoNat%Arith#Coq@0O~2$k[#lZ$Plus%Arith#Coq@04tmG'Prelude$Init#Coq@0JqTttֱ/RelationClasses'Classes#Coq@0Gz rA6ՠ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0111@0k窪ܸqS-SetoidTactics'Classes#Coq@0S_`nOU$10bb1z٠5'0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03E|rHȠEz@5l2 Q@@@@#_10E@5w/A@@@@@@@@@#_112M접#_12'`o@@@@5[2 Q@@@@#_13E@5fvA@@@@@@@@@@#_142M접#_15'`o@A@@5@5S2 Q@@@@#_16E@5^>A@@@@@@@@@@@#_172M접#_18'`o@B@@@5o5@5S2 Q@@@@#_194*@@@@@@@#_202M접@#_21'`o@C@@@@55𠐑5@52 Q@@@@#_22F)@5&6A@@@@@@@@@@@#_232M접#_24'`o@B@@@5Ǡ6@5!2 Q@@@@#_25FT@5,8XA@@@@@@@@@@#_262M접#_27'`o@A@@5@52 Q@@@@#_28Fz@5 ,\EA@@@@@@@@@@@#_292M접#_30'`o@B@@@66o@42 Q@@@@#_31F@5 XA@@@@@@@@@@@#_322M접#_33'`o@B@@@66@42 Q@@@@#_34F@4CUA@@@@@@@@@@@#_352M접#_36'`o@B@@@6 6@4ܠ2 Q@@@@#_37F@4[A@@@@@@@@@@@#_382M접#_39'`o@B@@@66@4ɠ2 Q@@@@#_40G&@4A@@@@@@@@@@@#_412M접#_42'`o@B@@@77@4̠2 Q@@@@#_43GQ@4,OA@@@@@@@@@@@#_442M접#_45'`o@B@@@7C7F@4Ϡ2 Q@@@@#_463A@@@@@@@@@@#_472M접@#_48'`o@A@@7i@32 Q@@@@#_49G@3nA@@@@@@3B@A@@@@@@#_502M접#_51'`o@D*type_scope.function_scope@@@@A7@@32 Q@@@@#_52G@3MA@@@@@@@@@@#_532M접#_54'`o@A@@7@3Z2 Q@@@@#_55G@3ee&@3fB@A@@@@@#_562M접CBAA#_57'`o@CZ\@@AA7@3#2 Q@@A@#_58H2@3. A@@@@@@3B@A@@!xF@A!y@A@@@@#_592M접$&#_60'`o@,C@@AA3L@#_61X@$core3PA@573X(META1210(META1211]@@@@3@333333HH33HH8@35Ӛ7H35ؚ7ਗ਼3HH&8H@ $Coq.FSets.FSetBridge.DepOfNodep#<>#1/@3z2 Q@@@@#_62H@3*qA@@@@@@4)B@A@@@@@#_632M접#_64'`o@C @@AA8@3]2 Q@@@@#_65H@3h .]A@@@@@@4^B@A@@@@@#_662M접#_67'`o@CSU@@AA8@3G2 Q@@@@#_68I+@3RA@@@@@@4B@A@@@@@#_692M접#_70'`o@C@@AA9*@312 Q@@@@#_71I`@3<>A@@@@@@4ȑB@A@@@@@#_722M접#_73'`o@C@@AA9_@2Π2 Q@@@@#_74I@2ܳA@@@@@@@@@@#_752M접#_76'`o@A@@9@22 Q@@@@#_771A@@@@@@@@@@#_782M접%#_79'`o@A@@9@12 Q@@A@#_80I@1ƖA@@@@@@@@@@@#_812M접#_82'`o@B@@@D\DS@12 Q@@A@#_83J @1ƗA@@@@@@@@@@#_842M접#_85'`o@A@@D@1b2 Q@@A@#_86J/@1m0YA@@@@@@: C@A9@A@@@@#_872M접#_88'`o@"C@@@@H-H*7@02 Q@@@@#_89Jh@0ǥA@@@@@@@@@@#_902M접#_91'`o@A@@:X@02 Q@@@@#_92J@0h7A@@@@@@@@@@#_932M접#_94'`o@A@@:~@D2 Q@@@@#_95/%@@@@#_962M접 *Equalities*Structures#Coq@#Typ@!t Z#_97'`o@ @@@:)2 Q@@@@#_980P@@@@#_992M접 HH@J-N$_100'`o@@@@:32 Q@@@@$_101K@:>Nvs@@@@@@$_1022M접%@I.-Tc$_103'`o@B@@@I2I0@0Ѡ2 Q@@@@$_104K-@0ni@@@@@@$_1052M접1$_106'`o@B@@@IUIX@0̠2 Q@@@@$_107KU@0( Ǡ@@@@@@$_1082M접Y$_109'`o@B@@@I}I@42 Q@@@@$_110K}@4n@@@@@$_1112M접$_112'`o@A@@I@0ڠ2 Q@@@@$_113K@00r@@@@@@$_1142M접$_115'`o@B@@A0@0ՠ2 Q@@@@$_116K@0&!:@@@@@@$_1172M접̠$_118'`o@B@@A1@0Ġ2 Q@@@@$_119K@0b@IE@AKD@AK@A@@@@@$_1202M접 %@FX-ɠ$_121'`o@*E@@@@@@F_F]F[FXFT@;Y2 Q@@@@$_122L9@;dP@@@@@@$_1232M접=$_124'`o@B@@@JaJd@9y2 Q@@@@$_125La@9QӠ@@@@@@$_1262M접I@L/& $_127'`o@B@@@>>@1/2 Q@@@@$_128L@1:J@@@@@@$_1292M접@LEPz$_130'`o@A@@F@1F2 Q@@@@$_131L@1Q*u'@JC@AJ@A@@@@@$_1322M접@L_=âb$_133'`o@$C@@@@FޠFܠF@1p2 Q@@@@$_134L@1{+۽jb@JD@AJ@AFޑE@A@@@@@@$_1352M접!&@Ly>W$_136'`o@+E@@@@@@GGFFF@12 Q@@@@$_137M:@1)9!@KDD@AKC@AG(E@A@@@@@$_1382M접 J@L$_139'`o@*E@@@@@@?C?A???<?9@12 Q@@@@$_140M@1+@KC@AK@A@@@@@$_1412M접K'@Lx$_142'`o@$C@@@@?\?Z?W@2 2 Q@@@@$_143M@20@@@@@@$_1442M접KW@L)yq$_145'`o@B@@@@@@= rHȠ@LU@2'M=19@AKM1;@BL]1<1;@K=à@@J@=LT@A@Q@=LP@A@R@=LL@A@ABC@AC@@1rHȠ1 @&rHȠ@&@&1&K@A@&&@@ @/Ll@A@ "Q@/Lh@A@ "@/Ld@A@ABC@A=2 Q@@@@$_1471/@>=pA@@@@@@@@@$_1482M접K/@J|?j$_149'`o@@@@G+2 Q@@A@$_1501S@G6)AVA@@@@@@L;B@A@@@@$_1512M접$_152'`o@@@@>2 Q@@@@$_153&'@@@@@$_1542M접 K@J*2堠$_155'`o@A@@@Y2 Q@@A@$_1561@d>'A@@@@@@>gB@A@@@@$_1572M접$_158'`o@B@@@⠐@h2 Q@@A@$_1591@s>'A@@@@@@>BD@A@L@A@@@@$_1602M접$_161'`o@$B@@@:@>u2 Q@@@@$_16256@@@@@@$_1632M접@K0>2$_164'`o@B@@@G@t2 Q@@A@$_16523@=ގA@@@@@@>C@A>@A@@@@$_1662M접$_167'`o@"C@@@@zƠ@2 Q@@A@$_1682l@=ޏA@@@@@@?2C@A>@A@@@@$_1692M접$_170'`o@"C@@@@;@22 Q@@@@$_1712@2 (r9@@@@@@$_1722M접w@J?jy}$_173'`o@B@@@,,@=_2 Q@@@@$_174nd@@@@@@$_1752M접+$_176'`o@B@@@  @2 Q@@A@$_1772@)QA@@@@@@?C@A?D@A@@@@$_1782M접$_179'`o@"C@@@@ ? B@2 Q@@A@$_18031@)RA@@@@@@?C@A?}@A@@@@@$_1812M접$_182'`o@#C@@@@ y |#17͇@[2 Q@@A@$_2175@f3 _A@@@@@@@@@@$_2182M접$_219'`o@A@@#'@9E2 Q@@@@$_220%@@@@@$_2212M접 @E$_222'`o@A@@#M@:2 Q@@A@$_22369@E>A@@@@@@BC@AB@A@@@@$_2242M접$_225'`o@"C@@@@#"̠?P@H2 Q@@A@$_2266r@S>A@@@@@@C8DE@AB@AB @A@@@@@@$_2272M접"$$_228'`o@*E@@@@@@#à##?"@[2 Q@@A@$_2296@f>A@@@@@@CBD@A@Q@A@@@@$_2302M접$_231'`o@$B@@@$?@92 Q@@@@$_2326@@@@@$_2332M접 @E?A+$_234'`o@A@@$,@J2 Q@@A@$_2357@U A@@@@@@CޑC@AC@A@@@@$_2362M접$_237'`o@"C@@@@$_#@/@X2 Q@@A@$_2387Q@c A@@@@@@DDE@ACҐ@AC @A@@@@@@$_2392M접"$$_240'`o@*E@@@@@@$##񠐒@u#@k2 Q@@A@$_2417@v A@@@@@@D`BD@A@R@A@@@@$_2422M접$_243'`o@$B@@@$⠐@@C2 Q@@@@$_24426@@@@@@$_2452M접@P>*$_246'`o@B@@@$V%@M2 Q@@A@$_2477@M=FA@@@@@@@DwD@ADF@A@@@@$_2482M접$_249'`o@#D@@@@@%E$$"_@M2 Q@@A@$_2508:@M=GA@@@@@@ED@A@D@A@@@@$_2512M접$_252'`o@#D@@@@@%$Ϡ$Ҡ$@2 Q@@A@$_2538x@=HA@@@@@@E>E@ADD@ADǢ @A@@@@@$_2542M접!#$_255'`o@)E@@@@@@%Ƞ%%E=$@DF2 Q@@@@$_256fG@@@@@@$_2572M접@Q=59$_258'`o@B@@@%E%@M2 Q@@A@$_2598@N# mA@@@@@@EE@AEkD@AE:@A@@@@@$_2602M접!#$_261'`o@)D@@@@@&:%%#T@N 2 Q@@A@$_2629/@N# nA@@@@@@EE@AED@AE~ @A@@@@@$_2632M접!#$_264'`o@)E@@@@@@&%ˠ%ΠE%@N!2 Q@@A@$_2659w@N,# oA@@@@@@F=D@AE@AEŐ @A@@@@$_2662M접!$_267'`o@'D@@@@@&Ġ&&%@Eq2 Q@@@@$_268A@@@@@$_2692M접 @RaL$_270'`o@A@@&<@N`2 Q@@A@$_2719@Nk8f8A@@@@@@FYC@AF(@A@@@@$_2722M접$_273'`o@"C@@@@&o&r&F@Nt2 Q@@A@$_274:@N8f9A@@@@@@FC@AFa@A@@@@$_2752M접$_276'`o@"C@@@@&&$v@E2 Q@@@@$_2778@@@@@@$_2782M접 "@S&?L$_279'`o@B@@@''@N2 Q@@A@$_280:|@N78A@@@@@@GBD@AFȑ@AG @A@@@@$_2812M접!$_282'`o@'D@@@@@'ɠ'̠'&@N2 Q@@A@$_283:@N79A@@@@@@GD@A@G?@A@@@@$_2842M접$_285'`o@#D@@@@@(( 'V'*@NҠ2 Q@@A@$_286:@N7:A@@@@@@@GCD@AG}@A@@@@$_2872M접$_288'`o@#D@@@@@(E(H''h@F@2 Q@@@@$_289 =@@@@@@$_2902M접 @S?rI$_291'`o@B@@@(v(y@O2 Q@@A@$_292;e@O4A@@@@@@H+D@AG@AG @A@@@@$_2932M접!$_294'`o@'D@@@@@((('@O+2 Q@@A@$_295;@O64A@@@@@@HmD@AG@AH, @A@@@@$_2962M접!$_297'`o@'D@@@@@(((C(@OD2 Q@@A@$_298;@OO4A@@@@@@HD@AH5E@AHo @A@@@@@$_2992M접!#$_300'`o@)E@@@@@@)9)<((\(_@F2 Q@@@@$_301 KG@@@@@@$_3022M접 @T>4栠$_303'`o@B@@@)m)p@O2 Q@@A@$_304<\@O 5bA@@@@@@I"D@AH@AH @A@@@@$_3052M접!$_306'`o@'D@@@@@))((@O2 Q@@A@$_307<@O 5cA@@@@@@IdD@AHE@AI$ @A@@@@@$_3082M접!#$_309'`o@)D@@@@@))𠐑)<)@O2 Q@@A@$_310<@O 5dA@@@@@@ID@AI.E@AIh @A@@@@@$_3112M접!#$_312'`o@)E@@@@@@*2*5))UI@EĠ2 Q@@@@$_313 G@@@@@$_3142M접  @T:%$_315'`o@A@@*d@ 2 Q@@A@$_316=P@ 7#A@@@@@@@@@@$_3172M접$_318'`o@A@@*@F2 Q@@@@$_319 9%@ ÐB@A@@@@@@$_3202M접 N@U>sb$_321'`o@D @@@@A*@@ 2 Q@@A@$_322=@  R>A@@@@@@@FC@A@@@@@$_3232M접$_324'`o@D@@@*@@A@ n2 Q@@@@$_325=@ y=FHA@@@@@@@@@@@$_3262M접BAAA$_327'`o@B'@@A*m@E2 Q@@A@$_328>@E.ݒA@@@@@@GLB@A@ȐE@Aǐ@A@@@@@$_3292M접"$$_330'`o@*Bd@@AF@$_331X@ÒFA@6ǐ6J6ΤD#@F@(META1102AF@Ad@@Р @  @ 66[ 66JϚ6DRFZ[FKy>@ $Coq.FSets.FSetBridge.NodepOfDep#<>#27͇@FC2 Q@@@@$_332 @@@@@@$_3332M접 p@Ve$_334'`o@B@@A+@P2 Q@@A@$_335>@P.yA@@@@@@KE@AKJ@AHD@A@@@@@$_3362M접!#$_337'`o@)E@@@@@,+gAFʠ+@@ c2 Q@@A@$_338?@ n.zA@@@@@@KؑE@AK@AHYD@A@@@@@$_3392M접!#$_340'`o@)E@@g@@@,c+AG+@ r2 Q@@A@$_341?Z@ }.{A@@@@@@L E@AKڐ@AHD@A@@@@@@$_3422M접"$$_343'`o@*F@@@@@@,+AG\+ҠH@F2 Q@@@@$_344 L@@@@@@$_3452M접x@W-5$_346'`o@B@@A,@ h2 Q@@A@$_347?@ s< A@@@@@@LD@AIC@A@@@@@$_3482M접$_349'`o@$D@!@@@-AGɠ @ g2 Q@@A@$_350@@ r<!A@@@@@@LעDF@AITC@A@@\@A@@@@$_3512M접#%$_352'`o@+D@g@@@-cAHI5@G^2 Q@@@@$_353 E@@@@@@$_3542M접(@XL,`ܠ$_355'`o@B@@A-@ Z2 Q@@A@$_356@@ e## A@@@@@@MHD@AIđC@A@@@@@$_3572M접$_358'`o@$D@Ѡ@@@-͠AHy {@ Y2 Q@@A@$_359@@ d## A@@@@@@MD@AJC@A@@@@@$_3602M접$_361'`o@$D@@@@. AHI@G2 Q@@@@$_362>@@@@@@$_3632M접@X!φ$_364'`o@BB@@A.?@ 2 Q@@A@$_365A+@ *`WA@@@@@@@JhC@A@@@@@$_3662M접$_367'`o@C@u@@.pAI@ 2 Q@@A@$_368Aa@ *`WA@@@@@@@JC@A@@@@@$_3692M접$_370'`o@C@@@.AIR@XǠ2 Q@@@@$_3715@@@@$_3722M접 \PP@/MiniOrderedType@\;ff$_373'`o@@@@M2 Q@@@@$_374\@@@@$_3752M접 @^>"$_376'`o@@@@M2 Q@@@@$_377A@N= ~@@@@@@$_3782M접@\>'j$_379'`o@B@@@@@@D2 Q@@@@$_380B @D=@@@@@@$_3812M접$_382'`o@B@@@@@@D2 Q@@@@$_383B3@D ;mҠ@@@@@@$_3842M접"$_385'`o@B@@@@Ҡ@@N2 Q@@@@$_386B[@N=N@@@@@@@$_3872M접K$_388'`o@C@@@@ h e h@H 2 Q@@@@$_389B@H=0P'@@@@@$_3902M접v$_391'`o@A@@A%@DР2 Q@@@@$_392B@D`J@@@@@@$_3932M접$_394'`o@B@@A @Dˠ2 Q@@@@$_395B@D1-r@@@@@@$_3962M접 $_397'`o@B@@A @D2 Q@@@@$_398B@D=1@]E@A_D@A_|@A@@@@@$_3992M접 @??jX$_400'`o@*E@@@@@@?????@OO2 Q@@@@$_401CD@OZ=7㠠@@@@@@$_4022M접3$_403'`o@B@@@A㠐A@Mo2 Q@@@@$_404Cl@Mz= @@@@@@$_4052M접>@`%>* $_406'`o@B@@@@N@L@E%2 Q@@@@$_407C@E0)77@@@@@@$_4082M접j@`;+D#$_409'`o@A@@@E@E<2 Q@@@@$_410C@EG ?_@^C@A^@A@@@@@$_4112M접@`Uhui$_412'`o@$C@@@@@h@f@c@Ef2 Q@@@@$_413C@Eq `@^D@A^@AZԑE@A@@@@@@$_4142M접!@`o^$_415'`o@+E@@@@@@@@@@@@E2 Q@@@@$_416DE@E g\䠠@_:D@A_9@A[E@A@@@@@$_4172M접 (@` $_418'`o@*E@@@@@@@@@@@@Eנ2 Q@@@@$_419D@E >Fb-@_C@A_@A@@@@@$_4202M접k@`|$_421'`o@$C@@@@@ɠ@Ǡ@@F2 Q@@@@$_422D@F #?Ph@@@@@@$_4232M접@`%xu$_424'`o@B@@@AA@QrHȠ@`K@:pDQ  @AC0a֠ @B`S  @C4:w@@ @:`J@A@ "Q@:`F@A@ "@:`B@A@ABC@AC@@@@҆0&.yE'@2,Bp"N^$@jK<naq?#+M@;Je);5KɄT$(,&Specif$Init#Coq@@#sig#* @A@!M*FSetBridge%FSets@!t(Z-!s@%Empty(rA@%empty)/@'empty_1-$Р)Datatypes3@$boolZ'@@@@@@@@@D!b@@*B%LogicK@"eq @ #A@@=D^@'sumbool7̂K@ @#notШ_@(is_empty؀O!H@Z-6$$"H0@`CȐ"H1;AF4Ag  22k2AvF1Ou%@}PYjBJ&@$EB)A+)-Ȑ"H2/;E$Bool@/diff_false_true .uCr@%Falsee@C@*is_empty_1)y6@*is_empty_2)y7!x@#elt(Ziͩ@@@"In(Z3]h@@ :@#mem(Z%Ҡ@@~|ut$Gr@q@sligzh5feC @%mem_1)> ˀ֩@%mem_2)> ̀US+"s'  *DepOfNodep@#Add٬+@#add(ZI!ym@#andЖw@A@l*i@"or @K!E@ Q@CJ!2n l@+sumbool_ind=S[!)#"!a*3A  bF9B@%add_3)&7oJ<@&eq_dec+̀:&7O@&or_ind"JA9(K@%add_1)&N+Cʠ-t÷4N@%add_2)& C Cn~驚s@#iffС)^`@)singletonm?@ {@}Ze @+singleton_1#uCm @+singleton_2#vCީ2֩}@&remove:A, .@& #@0ɩ@)False_induُb@(remove_1]쪀uu@'eq_reflK|@$In_1(bsÀЩ7J@&eq_sym+zCȩʷ#·'"ϩ5@(remove_3]쬀>@'and_ind14ۀA߷׵G@(remove_2]쫀7C{aH:FS6TdV#s''YJta@%union)N?3@V ,6#@1;z@'union_1Du2EjC1@'union_2Dv>vC.$>@'union_3Dw C }GةHE@%inter)7(<u@ڠ שB@?yƷP If@'inter_1:?@'inter_2;E_Xu\YV[@'inter_3<J.C1׷ةڷ۶,@$diff(e@ـ$"@ة  @ &  @&diff_17wY @&diff_27wlC!@&diff_37wMCKѩ= #$@@*@%Equal(PW@@Vݐ7@%equal)/pUض@Y׷ն@٩Tީǰ S7@·@/QC[@'equal_130ya@'equal_230\iLjF:8@@p@&Subset5ր9@@;)#}@&subset:F6@@!$  9W}-@)@ A)8/C@(subset_1.Ā@(subset_2.ŀŐ!AbϠA@@!f@@K!iOt!rwBBB@@@@@݀@$list]@!l &Sorted'Sorting@1ĭ@@J@"ltR޶0.E%V*SetoidList%Lists@#InA q9@˔A@(elements 5>@4հ$List@)fold_leftɀր%V&!eZHթ$@$fold(eU*@&fold_18P{&3C@#nat@yw1pnfo]d}M@> nw@ ۩'@&length䷀T@(cardinal$1DZ@*cardinal_1"eƀJ!P@`$Pdec ?@&Basics'Program@$impl7oFP4BAAAA@@@@@D>  9@J%XaFB@@@@@AN~Img@]@X]Sw`@h@"2-d/|_!p@spy*sI$oW@@=L"p0$^[!n)c;@ƩjK"H3@v    L"H4G젩l䐩琩\z |~Q3[@L̰|JSW;Rs&@ɠ,54@Р#3?;=1^1v+B7^z"n0.xCԶѶ@A@(compat_P0A8WH@+compat_bool!!|^)@$fdecewGTdV9W@o qy7`@&filter8DXP,~J@,compat_P_aux 퀰#[/)*A@d3u/FީH@&J&>U  @(filter_1X "}CI@@`iQ3Lp@`@a\*Cq"rB@@@@@D@|,@24ͩ@&eq_ind J:@$Truey@A&ˠ¶@oJ8ŐfC@Z?@(filter_2VCgvljhOm K@(filter_32TuU@VO°j,.@0@{`RcT_CҰzàlnm@pѷ@CݰҰXCKѩ,) &@@@-@'For_all=ǀom"ǩ@@Sc@~|%O1@aũ V@R@'for_allA򠵷@@@r"+'@@@p+4 Is0$밶@3&Ͷ@{Q9@ Z :45^w50@NW?D:^}@N@O1Ȑ"H5@ض@Πɩfo[Ml`>B@@@٠qzfONxlH OL./+SNOER@Q@zPaH^.@@S*I7F9HȐ"H6(͠ Ķ@qQCC@sTCqvC@@@(&N@@@Ƞ20ĩt@Ҡy@@Ķ@{@@~wrcmǠ7SQ̠ @p@N*נPҐ@@3wMzO=̰_s"x0tHj(y@.absurd_eq_true!Vh CC@y7Ʃ/ CCC@@@jȶ@@@c\Y@)for_all_1'S]I`@)for_all_2'S^]jF:8@@@q@&Exists3pD>@@<@A 9+@3 1@5(@'exists_%π"$@I@P@"ex @ͷΩ.,@(@1շ֩@4ݷީ@:Q8=n@&ex_ind 5{)A֠ƩЩ<\ߠS};JéB@C$@˩DFƠ@H@QZ8)R7+GXJ6@0@9ԐQ`Sb.@ܶ@MC3bChĩàC@@@@@@@ @@϶@@@{vp}xpVYW:q\Z>u udgeH\[orSFkz dj9j@A`=@@ƠvM5CDDCCC@@@[Ѷ@@@ZYb@(exists_1uF h@(exists_2uG   erP@$prodt@||)partition  BBB@@@@@ r"s1"s2@F@'For_all=ǀ( שGeکXG@* ~C4B*)@@@@D<@@A@#fst \L@@@#sndWi@$negbSLbKշIֶ@IlM !6E`^뵷@Šv@ xˠ42.Xb @@A˰ԩ,Ǡ9MSQMѰ+= WX23Y@'f_equal=[ްxwz2CacCH>JqKk[a $ %QxRr L4. Ta 8+~ <s Gp'ж@ -w #@ 6*ϩ ѩ >"H7@ 1Ȑ"H8 6; L  K T@ = D   @R@ Y b  J  E i @ Y@  ZT "H9 @Ȑ#H10  '۠Ph!ߩ  % i% - B  @@ Y RK 9M ;Ȑ#H11     @ dWCP  B 1 9  d CyJ8 C xt 5  ө ' %!>J  , *WR|ж@ $  &  8 62o& P@ 0  B @<0F Y 9 g ^@ > o`l1P r Q OKϰL U  Ω ߰   | ש  Ӡ@ v@  ]  ݠ א  @ @    }  n   R k࠷ } {wVU 2z w  C *    ۩ k  O  C@  )   N    O  C =F   $~ Yݠ  @ _  _C-   A@( 7  A  C@- 0 O9 I O a U S@ M V P u J}   y V _m M ! Ġ J\ж@ ɠ >@ Π T8$_tmp !B@ נ $  (f  @ + eC@ w   n t! }  - B'ж@*  ȶ@  w8/#!@  C   G  + @(eq_ind_r!2#  G        cI T j 9 C@    Q*C@    - m  Cm z ZnlNo^F {y ж@O@  MQUnvCZyjR  4.8L  vж@ . #?@ 1  C Abr 6 fgkLC C@@ԩ砩^  A    @@)\    ! !  +@& >  B f d Ԑo ߶ i g ~t ; 4@+partition_1L۩ :@+partition_2Mᐑ 5 BȐ!o F@&choose7ѱπ 6 '@&option >v@yAA@A@@@@@D i@%sumor$|@    ) ,A  V 0# X$B \U A    @3- C6   m :,B ŷ  Ʃ QD!( SF## H%    е d@ _RX d7 N ; O eIנ    \MBAAAA@@@@@D W    zms R }pv oNb   v  @*choose_auxܳ݀ z"s0 B@@@@D ũ     Rq~    ! X ǐ  "Hx n  "    #  @(choose_17…   ۷ 9m6 S @(choose_27† X X   8X  @t    ǰ9 B E C  b @ I L J հX װʩ sU P N h_  X V>hF  0 [F 8     ۩3 =#  : e#    g$ % bx  ` -ࠩn w z x W۩ m֩b_  } =|     p    Fv @  y 尩    O= o  &w ( M "߰r  y   U U b㠩     82. <!    e e K "Hy a8  z:3D<  q@  s  "   N@(eq_trans!yGQ  U@ l XMW   \  _   +  ֩c :d dH֠ ߷  W ʩ4   °  `:      w  M     zmsR 2 H  }plT  L  Z  N     # ܰ z W RpqnXsp  s    "H'Ȑ#HeqKj q  H$n  k p ss Π@  7 ! E  9 ޠ^ ӷ  k   1    lBBB@@@@D@d ưII   f?G g9 ϰUf ֶ  հk ͩ ۰ RP  O XjU  \ ZBl} 4 _ <O   ֩7  KH ? jK   ̠ n = nl , ԩ !Ȱ N y H  ۠ } " .    ְ \  , ǩ s   5      D   =  ?  W      Q  @   W 1 |    5   zRзͷ j j   f@ h@   ީ  5 qF # MG'^ v P> >; p WV '˩<9 z   @ @T    dWRQ  hC   M A N k @d*P >   ~@ ylrI+  T  ~7 O @3  \  j      ! q     k 7fϩ    6 Ð  ˩h  =     ?  ̷ }^ v a"   4!B `    5I  ,#*  ᐷ 4 2  7 é    |) ~H e  ?= W~ k  l Ѱ7D 8     M_BAC w ް \d > @ \W tQ  t ҷ ө `Ω< g D k  b     || F 8 Ơ F@.+ ~  |;?  s6ǰt 78~E  аsp  C )  !eڰ  L& v   ~  / tͩʩ %' Wηk rb@@  [g Ω sC6<lxH:KLC ֠ө{%|OɩT t- T@  Ҷ@z@@Z@  ׶@` ͠f @@N@  ޶ t ߶@k^(+@@ L c Ѷ@   uh2L'ePfz^@ GC T@ C6K_L BO@ iD'm({ *4j  ̶@ 3y[/0gF+ $-0.#FG   0 /8;9.= 쐷?= G]B ;DGE:3K g H GPSQF "x'W a  r +z4z,4w 0 [`^m@@@jh@^ m@@ֶ@qop@k@@ @{y u rӰrm 'k@ g| e@  ̠m:mhom&K@ (ڠ-{H{vWr lX&˷h1@@</*@@@3.@@@@ɶ@T@K>D @@ d @ɩ ࠩVI -1[%  ĩ)f@ h[8Dn'@vioN)R|` J@|Y;d G&   ǩ   Ð   #0ɠ@e@c@" @ D@@@)'(@>t@@ EI@20GGmDD;  #D@S@y̰P >@GE\ҰũTذD H CJ.YJ @qklXaZ TTh#Hx'MIqo@e  V@D Hxv w@1ö@@  w ;?@8ڰ|8`|  a6 ~2ɠD 0"HՠKL(  W˩^       <aȠ>1fgCm  %lemma٠OBH(   0Z> ̠շ֩ˠYZ-    1   )Morphisms'Classes@9iff_flip_impl_subrelation2VAylrQ  . wYg V    Z    J CA $`~  Rl 3 2_6}&  a  #1    5  S°s;  v2 d˰qqlFq g upJu k 7 _&$ <1~ 8 )  J}\Zqq %&nn Ql{h !"x f Z f h  al n  t/RelationClasses@(symmetry0xj F @-iff_Symmetric!x;   bt K@+@'@@@@#@2@)@@@@    5~ @Ơ ? @ϠE8> !K/ Ty@ࠩVI& 1[   Ġ  ׷ʶ@J@H@1@-@y@pc+0@@D@4 )ݷRީ|15 1@ - 3ʷ\˩; +@6 <շe֩ƩY 2@ . F,o- +( oeia@^ \ [ E1Q Wc M ;I aGH Fy/-DD jAA 8  &AP= vɰM ; V *[; 0}= 2 6hA $ GC & T = @y· : +  L^\s MN/ S} :;  b$KƩBǩMD:@(choose_37‡g@*choose_ok1Ɩթ%@*choose_ok2Ɨ۩ CP@@@'@޶@ q@@&é   ٠<aЩr@'min_elt*ebZ@ M@D7&@H;""<WYǶ@ D8 Щ"FKз MK_$QCj oکJ?߶@U<x@ob?/@ /Q<@!d+Ѡ %Lm*@)min_elt_1 W @)min_elt_2 W @)min_elt_3 W ѩ@@@@ @}  S!dJ@'max_elt)KMܠ,z1/0@xvZ 6̶<:@ tpC"ԩ vDkjLJK@h@ :fIRUS6% 7{e @)max_elt_1<_&@)max_elt_2<_,@)max_elt_3<_i)hA87@3(=y2@0)m/;2=@ @4)$.3[ = pCAJ,@!(oJ=zO};M5O@S\1^}@1N@1O)#zZ41_61 `SC@en$]@o㚠p@(ꀷGv@(Bހ/f ea~&oRj@~@8@(ަxWSC}@=1Vϩ13@M0Ϡ@0@0Z("٠->Ra-?䠩C4C@$>@)mр| -˰s@˷@̩@)@ImC驚@=C3Kܐ ۠2Ր4@&1@1@1)#P?h  @@FJ+<23@OnpC@/gJD4@6 WqշN  $-̷Wx4S@$@%5@:ǷYC8A#@u4qFaGu31-3@KT~0Vu@0F@0G(">-(da@߶@\E/1+@8NC@gp/_Iq  S  O@x k  `aS "  d%a `@ 8OP ' @% t5lǐ 7"!{- |=z 2@3  5CՠE GL٩INMn ' O P;L G2 W:R("DU ɰQ afϰW?BMZB"e0]  _@ohKE<h)C@ܰd@  o y j } ͠[g@y l{& h(yrzymkk̩j% s q1@s+~ߩ |yܩo, 86@|8D;3C@>DP%@&D%  ] _Ʒǩ$ZʷU |o  ַש QA ڷw *J%O ʩ 5àVt ͷ̠ Mַ ԩ ;@  Mjo     ]~   ! @ "Q#* +.=(/ à U Lx*Hٶ@ 50 ͐=(R   = E8< J/ 3(Aᠷ6 .-U9VQ I鐷<YD7 5 ]&@ ^C Р BAiMje mXLSݷjO Sc Q[k( {2@ Y[ "x1"i0g©ze ɠj 3ovqxs ѩ @v@: Հ??I|%}9   *@   9q٠ 1 3  mA@C\ c ;W =  wK  )(`-))@'eq_rect=߀g̷!Xl\7 ]C@@7V :u @?Mp lөxGnC@lg!K i #S } ʷϷ|@ bԩ    ط:j AѶ@ LuDtA y7X 8C6PM K%"e1C@*D}@,choose_equal>C,-@"@@e8{4 ש0  !@ "ـڶ,IA,*,2+!:WO됷(@ɩ@,݈%$Щ/$նLiaJLܷ Urjo`$T ѩqv +[ةж@'0` @3c6k N@ p\>ntA#[%=%CBr@5؋ʀҐ8  |<{eqfhd^@YIrp@}r@qU #ve%$Щ#xJw©Ps-X˩өOy3ѩ8ж@u~8W@;Nz@LNkkFC@CnGKΐ{P ~TзN@N_-b>9mCɰimv\"ME@*Sort_NoDup+|퀠f@*elements_3:KB  l"#@;>qH,}fs@$ 2 89$x/Ϡ  ܩC'D'!M:ڐ-J(&(3@*  12 /@I$鐷Y!" 8 `a&?;I+Dl+MuƐ4GU}ΐ<IC@u@?jOy&o +\@ x V)4X v6ub٩{w4r@g`䠵 v@u V@ @/ bɷʩͶ@Z`з@͠.% iHٷG٠im :wSRBVr  ѷ^'@>7F1q@ O.Dn;sЩ  @^ ֶ@eӠ@'sig_ind5π #@ o ( !) Щ'/@+ l- C7@3 d@:[Jw@E& VM搩" v 5 ICZeC+@ аX@3O\D@%cC@ٰaM@lÐ1 y ɠWcD}]Y@y lk{&k h(WrWmj˩E$ r p0u@ r*}xC@2y㐑= A o&ot@  S^  `Ƿȩ^η@@)\B . s@EmLݷ!! Tà;"ȠfA oy6`kѠoJr:s4ڠxSss `=C@s^@= |^@ iX&Z #$_yI *b`@}`h 56!9@ کA%B%(E@ @;&%M1N4Q@D䐷7T2@됷[~yw; cFd)rKh@`/b):2Tq@}Ð1?u6DJta~@aА>y|{Ii@1ؐFsqR&t@nXrm m}@k쐩ZSs@ja z@ig©޶@gpea_][InC@KLCU@EYW]kSC@.@Ug<ͷjӷԩѩ)EA@E۷7oz7|'s'TxķA@V ~&DSFC@\7fn;طנopq@(ؠ~` ?|} 0@@(͞PRZ_ }Vж@&g *R@W0 s m@ 4q@g9aL@=?)}@  @J4 C9ƶW2CRƩ@={ѷEbcZBjTٷOID=CE86~21 ?/ #C"C ^{|ZY @֐eX@n}z␵ȶtTxک鐩xTةVԩnpж@F kY@}[{@ש@dw@N Buȩ˩Щ fŠ^<bb,@B $j@G nCO^@I@FC@4@@Ya.ʷɠa|biH2J4٠qryɠXz|@ z~@:PK#SNߠnAж@栩u׶@렩z$a 8@ ;@@/mЩ9vy=֐ i@@ސTC+CM@̷@]^|>d^HAٷڶkch1O?@ hacwsx cж@|a@]6@g @\@ک_@&O&@CͩB5 ~z:y , i@I @: @ # $+ж@!@@@@: dd@@ K%FkkhC@֠o3mX W X_U@[ѷʠ b cj f h@f_ j@|lo pDL@jөrж@h۶@eַGA@dK66C@  g@E+  9@ X   ' $   @3 Grn.,+q-k*m_C@@ 4)t  $ Aߩ  + H@ E-5@ H2+ ÷ Ķ8 UM R: 됷 ˷@ɩà F @)3 շPaϩҠ %ж@ϩנC@ڠ p@ Щ@-Ϸ@ͩ@5F@/C@ ! @=d% 4 $ ~ y9Z@. >}    7  @P j K GDH@?> O,=QC@ /3|a 6Q 7 ȵf@ -n= > i>eb3f ^ ]\*mYmC@ z Oj P  V8 W  @ [ѷʠ bD c   gJ i@gT k@)7ϐp qEMAktж@j@i0KE@hH@RڠffWg'@@Ϸ@WoJC@  {@,=   0O@H : !Pzv520Ƿy3s.u-~,Qj*mC@# 8  / L*k@߶@ 9 L6/ Ƿ ȶ< YQ V  Ϸ@f ҷM| _\ж@ǩ0 ^ɷ{@ĩ~@2@ ##@9@ )C@ w@ s }^Q#  m h(g  t  W v @ }7v    fݩ  8 @  @o(PZ~ !z  r&ж@F@Q! @  @}@I ?!&L#$* Hm@@T. Ott C@ ޠw :@=y ]x ^ ͷe@[ Jd ef9A5 0\;iж@[ĠS <:@Z@ȶ@6UBѠ[:{U8 GVשd Q<@ڷ@HUeHECiC@?     '@@  '˩    4, 1 a q @  *~yIG~|HSBUAWB2pC@ C@ > Ik ĵ21̷?=+ @˰ >ΰG@۷NL/ :/@.`@ީ͠ s @%Ai ZXܶab0#PE@0% k%dNZOQMs GTɐaV@'zY . i/CE  C @9J變= J 'ldW@@I@ @X]8dfɐ@92] ʷU ̩e:ҩ9)l-.q ܩԠ @ Ny q V {lF@ZI 'Jz L]* d@x(ր0Sf۩XڷuwݠǷȩʠƶ  xϷ@zG J ĩ 2޷ߩݶ  6Y@F _J .HeOCfp79 4l: 6<ϩZCq @==Gx Ayy C{ܩ9@ J/  @U5  [>PͩưXi ƶ@ʩ̰k(@ CQҰqp I@in9v Cc*@ڰ  S   U\ ܐ  b p7a @8ـl 쩚 @%f_dec=FH $ȩk  @  t{ |  _ ֩     4~ >} 0 @        s =@  @  T +F ,@* &   , 5B # é  v 3 <v * 9 6U ;@ 9 Q ^= >$Hiff+ 8 ;  . T  ةР ԠU Z L U DOж@    V _ N@ e \ eyy Te h@ ~@@ h q ` ˩ ƠpЩ   t } l  y  q } @@ K    P o@X.ݒ C@@  Z x@l {`     ,  @@~  1  ǐ i {g v qe Ib[SP L\MJ QDB@@ TC=  2: 3C@׶@+       · 6 SD 53 @@@( V @ 9 ѷ Ҷ@а  B I f Ұ  ɶ L ia a/ x ٰ Y   ɐ @ ! Ϸ       8 ܩ  a ~v D H|ж@Mv !]Z SD@ H@@ aNP!.@@ א  !!7!7!9-!C@8@ @b  ސ!O$lڷ!S!@( $ 5 ( @!@) , !2@ !"!4!=ܷ!g!%@< 8 3  @!%!I! @ !9@ !:J@0-QhWT!L"f0)!&!!!!'!)$!$"S!!# E!C! C@{@3!\!eG@I,\ 0!X!j !F@<@!l!u!!]@` k!@c![!!y@!o@!)!p60W!TO!O!R!L)CX!ZU!U!5!P !@@! !!X!?!Z!A!1 !Ġ !!@!hXC"C@@!!; !h!"W!Щ!@}@p4@!@~@ |!!W!!@{y@}!!!@!@!k!@xPx!!!!1!!uC@@'!˰!ԩ@*z !ǐ"ٷZ!"8@@!۰!"!̠@ϩ>o@ѩ!ɐ!!砷@!ݷ@!!,H!!!nC YF!!!! !@z@!Sl"!!!!!x! /"%"&@!JbCC@!@"" 7 !W"7 T{";z֠ηI"9@ܩ o ! s !""#!  E!   @j00"]"# "X89@7 3 !  l"  !֩"'r"E!٩ Ѡ "9"H;@"K!P@ DF!_D"| \]@1  ˠ&")  Ϡ!"H2"f!  %C@+qq"88""t u"H\!Co r ""O Ѡ E"k ՠ "L!! Aε Щ "# ⠩ M"|"#! ζ!]&! a#" "h"b  "2""9"5!- K Щ "<"""""a"$A!9 N!!|E!= pB"۩& ""W"0M!E F! z!R!@ iP"ĩ4Q@T"8 RW" r@.{["g멷+!_dک!Ѡg ж@k"i!٠op@!ޠt+u"v"` B3@{"O8@"@j"=gC#!Ҡ@ "!Ȱ #(@#!#-pb@C"# ##7#"ܩj#8BCR"O!ж@C5@C=Qrc9@.y#";!3!34#K#!X'C"#P@.z"{""Ch#V#VCr"˩lCu;;_=="#'#<fC@^ȰFF+@ BPA"0"1#zO#~C@!(Ġ"#E KM"f@Ѡ"y##jk#>R#AȐ!D"C0" o" p@ #v#?" t" u#K ###J٩#4"C z } "Ʃ|  " #  # '!Щ #%#F"]&"a###- #k #e!!Щ #7#####""t="5h:#ө#'D!###T#-J"B8"b"O"@fM#1#:W4P@U#9#B_<W#v\##+"_d S"Ѡg!ж@k#U"٠o@"ݠst#H @ 1@ y ԩ5@}#{#`@#:$6@ #"Ű#w$&@$"$*^3"-'$${#$f3W&Y$ n# 5|"$ $)?$~ p@ɩ#Ŷ@$2$;$\$*##@0eq_true_not_negb.$e ʷ$@+#ݶ@$J$SX$u$C# $yA${]${NC$"Wж@x@|B$N#\Ґ$$/#xuuy"h.$l$uw$c$w$e$z$x@#/x #$}@$w$|$@$z$$$!e$$y$$"$$$@$Z$$^$#η$($$CC$s$n$/C$$CԠ$-$+ C٠$R$6 dC@ࠩ`$8$C$q@Wt)MI