"`O3j H,MSetPositive%MSets#Coq@()Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/rk0JqTttֱ$Bool#Coq@0j 2cZ`FW'BinNums'Numbers#Coq@0dmk(5Ju<*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI+Relations_1$Sets#Coq@0k<⪚(тc1&Sorted'Sorting#Coq@0bb1z٠*SetoidList%Lists#Coq@0k窪ܸqS-RelationPairs'Classes#Coq@0CjN/EqualitiesFacts*Structures#Coq@0)n,:5-|!N@Ƞ(OrdersEx*Structures#Coq@0'4|a|{s9e@]D-MSetInterface%MSets#Coq@0x* .>S&qNza`\;_I;rР,MSetPositive%MSets#Coq@A+PositiveSetA!E(OrdersEx*Structures#Coq@7PositiveOrderedTypeBits!t @'BinNums'Numbers0@@(positive*@@@,6k'BinNums'Numbers#Coq@@(positive*@D@(OrdersEx*Structures @7D@F @A@@A@@@@@@AA@@A@"eq @%Logic$Init>@ @I@!xL@MA867 k[!T*Equalities*Structures#Coq@@!t<D%Logic$Init@"eq @LN@@[@T@@ڰ@X@ڰJk@A@A@A@*Equalities*Structures#Coq@*HasUsualEqi@@@A@@@@ %'A:*StructuresA1DHX@A@@AA@@A@(eq_equiv @/RelationClasses'Classes@.eq_equivalence()'i@ @+Equivalence~@@4~(OrdersEx/7PositiveOrderedTypeBits@ڸ=y\!Ex@r5D/RelationClasses'Classes~@/()'L@@\n@@ڰ@@ڰJk@A@A@A@i)UsualIsEqb@A@@@@aA݋X_AL@A@@\#eqb @&BinPos&PArith#Pos@=C)BinPosDef@#F@!p!q)Datatypes@$boolZ'@&PArith@.#F@@@@@&eqb_eq @3@  2a@'7%8@#iffС),CBA1A J&BinPos-J@& 2a/@@@@@#&eq_dec @^!yaȐ!H@<@='6ڀ(2Ȑ!boC-[\@@@@@@@@D cA>h98@ED&SpecifD@'sumbool7̂K@OFQ@#notШ R6`]WW_/A&(Ȑ"H0dp-Рl@#andЖw@BBB@@@@D@@"G1@4&|$_tmp@ ,AlB9UB]7"EQa95@*@(@Y@*@@G@&eq_ind J"!e@%Falsee@@$Truey@A@)False_induُCm%@̩ΐ +k() 7! 7!= R'+'+0'$'= R'>G '9'+k7%'+9'#= R!'>' LL +-M7777%'+k+ 7!T'GM77&'= R'6'6''+k6' +k+7!L 77"7!T'7!7 7!7%'@@$e@$W!F@&eqb_eq;ɐhV_@2Ξ*xxT@#iffС))Datatypes@$boolZ'@  @Ԡ@@A@A@ؠ@El@Guُ,A,Р@Жw@BAB@E젒@w J&Specif@7̂K@접@yy@@#notШ̠a@#eqb3Ln|g@@Wfj@@G@n@ GdL@=Cy@A@A@A@@V(y@@ڰ@}@AڰJ%@A@ڸ=@@9ڸ=^Ff@A@AB@A@<-HasEqBool2Dec%@A@@@@@@'bits_lt @@@ Ƕ{ʷ@AA@AA@@@@@@@D ک\ @ ,k(*()=U 0R'>= Rb'> 3%'>6'6''>= RG'>6'> 3%'6''= R.'>6'>6'6'''+k6'+k6'+k6'+k6'+7Tk+7T'6'Р%Logic$Init@%Falsee@ܠ̠@10/AABA@@AA0\A`8@$Truey@L@@@@@ࠠ"lt @a@e[y\@f;n@Y1@o;n@@@@@0bits_lt_antirefl @s@ $@7 @$@@@@@-bits_lt_trans @@  ۶À@NO!zR@:@<萑5@ ۶@@@@@+)lt_compat @@ &p̪@)Morphisms@&ProperL@t( @*respectful%WO?{/©}0D@l4@mڸŀ`@'&p̪@@@@@V+lt_strorder @@  @@+StrictOrder.[@z@ @@@@@p'compare @@@ iU@*comparison;f@r^u |wdfƜC ͜B tu!A@% ,k(*()=Q .R'>= R['> 3%'>I'I''>= RB'>H'> 3%'H''= R+'>H'>I'G'''+k6'+k6'+k6'+k6'+7Tk+7T'6'ɠAA(\)Datatypes@*comparison;f@lD@@@@@,compare_spec @<@ N@@(CompSpecgOĩP@hϗK@i>V̐@N@@@@@@@@@@#elt @@𤨧Ad@@,6k,D@@𤨧@@A@A@HAA@A@@AA@@A@$tree,<@65$Leaf$Node@@3@@@@AB@@C@C@q@>ԍ:@@@@@@AA@@AC@@A@@@@@@@*(tree_ind @!Pq@8>ԍ:@&!f3 A@<l@ǐB H@@!F*)-,,@MN@@@@@@D54\!768987(9ed**@B@w>ԍ:@AAs@D@@QAV @8 CϛM L+k() ,7'*(= R'>3 3 # '''+k$'+7Tk$'j(CAHx@@@@@ @y@%C+@@ǐD@@%@@A@A@A@A@@Š%empty @@"@ > (Gk@@@@@ؠ(is_empty @@@ !m@)>  ䷐!l!r@@@@@@@@A""#@$negbSmn@#@)Datatypes$Init#Coq@@$boolZ'@ ,ik*(== RR'>7 = R*'3 'H'= R '3$'H''G''+k6'+k6'+k6'+7Tk6'ࠑDX.@@A@AA점5@DGĠAGL5l@@@@@=#mem @A@ !ihjhbEa!oya#ķ|֠QR٠TU@'BinNums'Numbers#Coq@@(positive*@g ,Vk(*()=1 R<'>= R"'> 3%'> 3%'''H''+k6'+k6'+7Tk+7T'6'РxﰠAABA@@AC\41oAFX@@@@@#add @@@ Zݶ]Iwcebrktjgwiyyg޷)vtqyfwtfv@|f嚠 ,k(*()=; Ry'>=# RU'> 3! ;'> 3!;'L ;''=# R0'>G 3!ML;'>GML 3!;'6'''+k6'+k6'+k6'+7Tk+7T'6'РlJ[AETP(AHXA@@@Ȁ@@@@@)singleton @0@f>Q1򚠐@=?@<6 4+k6 7%' T`@@@@@$node @)3?'5%B7Ұ·2<ŷ1?M"t0߰@>g)Boq +k()= RV' ;'= R8'>M;'= R'>M;'G''''+k6'+k6'+k6'N AE@`\+AE@@@@@S&remove @A@ |zW$s1q3!6@Z>*%<g@) ,fk(*()=A RL'>=' R2'> 3! 7& '> 3!7& 'M 7&''G''+k6'+k6'+7Tk+7T'6'Р(̠ AEt4rAHX@@@@@%union @@@ "m'ÐŷN}^շS mo"l'"o'߷"r'qIn@#orb @蚠)  ,Vk(*()=1 R<'>= R#'>3! 7! 3!;'''''+k6'+k6'+7Tk+7T'6'Ƞx\4AGX@@@@@젠%inter @@@ RRR ʷ" M·LϷJ'HѩF*@$andb=CB@(EiIK ,Xk(*()=3 R>'>= R%'>3! 7! 3!7& 'G''G''+k6'+k6'+7Tk+7T'6'䠒Ƞ<d<AGX@@@@@/$diff @@@ WUV4O eMjްCL@g ,[k(*()=6 RA'>=" R('>3! 7 7! 3!7& '''G''+k6'+k6'+7Tk+7T'6'РXԠ{pHFAGXiĀ@@@@@q%equal @@@ #yQ@*eDCW8Y-[G K_a$Bool@P֠@ڀހ ,k(*()=X R{'>=@ Rb'>7!= R9'3!'H'= R.'3% 'H''7$''7$''+k6'+k6'+k6'+k6'+7Tk+7T'6'X0ࠐAB<@E蠒ڠtgAHXC@@@@@Р&subset @@@ _6ՠԷWV0. ,\NM@ &J*ꀐ ,k(*()=k R'>=S R{'>7 = RI'G''= R?'3!'H'= R4'3% 'H''7$''G''+k6'+k6'+k6'+k6'+k6'+7Tk+7T'6'𠑑#lD AB@E4䠒#ؠAHXЀ@@@@@*rev_append @@@ @M>W}   l )n,rAu3yB7@@h>W}8 L,<k(*()=! R!'>9 3%'>9 3%'''+k6'+7Tk+7T'6'AC\0@,@@@@@a#rev @U=3@P aC@_-% 0+kG 7%'\@@@@@%xfold @!Bʠ^@@S@ȶ@Z@@!vfSWYWBpmrtʷtow͐J'H}@U>iOo2rz6@860& @+k() ,g'(*()=A RL'>= R3'99 3"7 !3& '99 3"3& ''''+k'+k'+7Tk+T'+7T''Р $AD䠐vAG@@@@@ܠ$fold @\ZT@j?a~@fd^ L+k()G7# 't@@@@@'xforall @Ƕ@ <'@@'% F1*( I#"8   kȠeˠi@  +k,'(*()=\ R{'>7 = RI'G'7  '= R:'93!'H'= R-'9 3%'H''G''+k6'+k6'+k6'+k6'+7Tk+7T'6' x䠑 fUpH ?ABC@E$U AHpC@@@@@K'for_all @Nlj@Z>ZML@Vt @+k()G 7&' l@@@@@g'xexists @1j@@ i, m߷F'Htftdub@` +k,'(*()=Y Rx'>= RI'7  'H'= R:'G'93!'= R-'G'9 3%''H''+k6'+k6'+k6'+k6'+7Tk+7T'6'א̠ Őd<점pABtt@EAAHp@@@@@'exists_ @qƩz@L)4\@[Z l@@@@@'xfilter @Þ@@  萷 s*ɠn\@ +k,_'(*()=9 RD'>9 3! = R#'7  'H'9 3!7&'G''+k6'+k6'+7Tk+7T'6'0蠑 ̠~( l@D̠ AHp@@@@@&filter @ @K1$@ g l@@@@@*xpartition @@@ B@ a M@$prodt@IIMK lԷP  +AK  aI BBB@@@@@ p(nc"lff "rto"rfrb 3 Ȑ"fiK . " ] 2 #k% a5 ( e@5nJ +k,'(*()=o R'>9 3!= R~'>93!= R['>= $R< ' 7  7 7" 7":' M7" M7":' ' ''6''+ k677%'+k677%'+k677%'+k677%'+7Tk+7T'677%'(A@@͐`EABAG X!f|XoAED,tl<PH<zALp|@@@A ϲ6W @A вuX @AB@@)partition @w̩@,Gzb@~b l@@@@@Ƞ)xelements @@@  !a @$list]@       ܷ      ⠩ i `B̩Ef r i  u  @4-@$list]@ F P,nk(*()=A RP'>= R3'93"7 :9 3& '93"9 3& ''''+k67$'+k67$'+7Tk+7T'+ 77 T'67$'ࠑ<<|hȠ V4t AC=ؠAFX@@@FA al)Datatypes$Init#Coq@@A@@:(elements @ZX @} :٩mA :@e@ 4+kGL 7&'`@@@@@\(cardinal @@@  @#nat@@  h AE G G B J  rB#Nat }@ ` @Ā@#nat@ ,Vk*(=4 R?'>= R&'3 3 7!9'3 3 7%''G''+k6'+k6'+7Tk6'Р i|ABx>\4MAFL@@@@@&choose @@@ ٩ @&option >v@k  B  ݷ  ̠A pAA@A@@@@@D $$w ! @*option_map's ) )@ )@&option >v@Ӑ l,k*(=K Rm'>= RP'6'3 = R/'>99'3 +777#'''G''9'+k67$'+k67$'+k67$'+7Tk67$'$ =0(GXAD(@AGL3 = RN'>99'= R*'6'3 +777#'''G''9'+k67$'+k67$'+k67$'+7Tk67$'$ 0(Xj3 = RN'>99'= R*'6'3 +777#'''G''9'+k67$'+k67$'+k67$'+7Tk67$'$ 0(XAD蠒ѐ@^AGLADPA@8@@@A@A@@֠,compare_bool @      c Ԡ    f ֠ G U  ؠ P I@ۀ ߀@*comparison;f@ x+k()= RF'= R%'G'I''= R'H'G'''+k6'+k6'+k6' lD A@t@@@@@@   @@@ ,*j+ /-m.2  !9  * @(w  ؠ)A@lj Gh @@@@@@@@@@@D   @[,(g ri    @OlpO@ ,k(*()=o R'>=F R'>7!= +.Rl'3!= RQ'3% 'H'I''H'I''7 = R>'G'I'''7 = R8'G'H'''+k6'+k6'+k6'+k6'+k6'+k6'+7Tk+7T'6'#@@A@B@AB(䠒! H _1A@,Ġqd b9 k h@+ A T+k()G 7!77&'l x @@@@@@ %Equal @!s"s's  k@=>q  nJ@79 0 +k() +7T' 7! 7!7%' ptdP@@@@@ &Subset @.ݷ,޶@))  @4[3]$ +k() +7T' +  7!T'7%'t8d@@@@@ ߠ%Empty @N C@Ry@ `+k+7T' 7!7$'ǐdT@ L@@@@@ 'For_all @ Զ@ o  ?@c  V@ ڶ@ǀ yg +k() +7T'+  7!T'$'Qt|d@@@@@ #&Exists @ % B%@"ex @j!k  @ @,Ð +k() + 77%'  7!7%' Ґtt!|h@@@@@ VV @ %@?]vd@@@@@@ f  @   g 򩚠 :@ % i @ ?= T+k()H 7!77&'l x@@@@@@ )In_compat @@@)Morphisms'Classes#Coq@@&ProperL@ٶ@  f# h   @@@ @ۓό^)Morphisms'Classes#Coq@@A AviA @ A @ A1DH%Logic$Init#Coq@@ A1GK @ABCD@@ ˠb @@1A/RelationClasses'Classes#Coq@@+Equivalence~@ m6@>Ȉ@@@ 6A݋X_A/RelationClasses'Classes#Coq@@A@@ (mem_spec @@XB`  A@?@@#iffС)*  c@@@@@ (mem_Leaf @@tC @"eq @ u@ >b9A A B@@@@@ .*empty_spec @@D@Y?] ;@@@@@ >(mem_node @@E2 㶐 T    T 7 ܩ3D@ D>*CBAAD BCBA@@@@@ o-is_empty_spec @@F l|uo H@?] :@@@@@AA@@>*@1A@A@A A@3@A-subset_Leaf_s @@G "@ Bꀠ %AA@@@@@+subset_spec @@ H @KJBA A+BA@@@@@C,equal_subset @@0I8,7*,/@j?BA@@=5BA;AB@@@@@s*equal_spec @@`Jh\gZ`4BA Al@?]vdBA@@@@@ @ > ?N@'Q @?'꠩ܠ 07a1ذ ַ ] ^Է@ɠ@ @CHr!B@ @\3K@ @@T~-&OQ u vS)U7\*ɩư%$%lemmai+ :@2subrelation_properJ7(!A`` 9bbvv.Morphisms_Prop@0not_iff_morphism Z Cll&Basics'Program@$flip$xxx @$impl7o@$unitUe@A h@6subrelation_respectful>6z  o@0subrelation_reflv & u@9iff_flip_impl_subrelation2VAwS>@(symmetry0xjD@-iff_Symmetric!x_iNoȐ#Heq@(eq_trans!yk,@&eq_sym Xr©Ȱ5Ȑ"H1Ƿʠ =CC@հOCK I  @>Ȉ@V }U &Specif$Init#Coq@@'sumbool7̂K@ d+k()G 7!= RV'+'+G'$'7!= R'>' 9'+k+L7!77"T'7%'+  7!7!L7!77"7777L7!77"7! '6  677777777!77777L  67777777777  67777 +e7T7 9'/   L7!77M7!L77ML +L7777%'= R'6'6''+k6'6' +k+ 7!77"T'7!7 7!7%'pD$G`e ҠePǠĠ @|ࠑE|x$x A@< @E\^ Dtld,$H plll͐AB@E접P4K,P8Π\0@@@@@⠠'lex_Opp @@K!u@;f@"u' @"v'@mD z@'CompOppB@{#K ++@vu@@@@D13N^jBmC%5@@@@@D:<o}BC@@@@@=0compare_bool_inv @@*L㶐"b'⩛䩚*@,(BAS AB@@@@@b+compare_inv @@OMWV݀N@%BAw AB@@@@@&lex_Eq @@sN׀ {*@   @@@@@D뀛BABCA=@#andЖw@*/BA23AA@@z@zn@A@A@ZA@A@AB@@ՠ/compare_bool_Eq @@O"b1|"b2{lVBA9Ac)Datatypes$Init#Coq@@$boolZ'@$Bool#Coq@@#eqbPBA A@@@@@-compare_equal @@Pp ntBA{A 瀠BA A@@@@@E*compare_gt @@2Q:9@]kK2@>@@@@@^*compare_eq @@KRSR@ڀvV@@@@@u= @@aSi7j; @(CompSpecg 06BABA@@@nA G@A@@"ct,<@@@@@@@&ct_xxx&ct_xex&ct_exx&ct_glx&ct_lgxж)1111,©444/ũ7772ȩ::5˩==CC@@AAAAAAAAAA@@0>e@С@4@6@8@:@<@EРAABACADAEA@@A@@@@@@@⠠&ct_cxe @@T\򩛠;@Q>e@@'CompOpp4oߐ@@@@@&ct_xce @@Ut |@@@@@&ct_lxl @@V%@@@@@&ct_gxg @@W$2@@@@@!&ct_xll @@X1?@@@@@.&ct_xgg @@Y>L..@@@@@;&ct_lex @@(ZYL .M!wPURQT"w'W@f@iyj ,GNWIPKR@@@@@_/ct_compare_bool @@L[ !cǠ@@@@@t.compare_x_Leaf @@a\iP # "@@@@@/compare_empty_x @@p] 7'@)  @@@@@/compare_x_empty @@^ G7@9!@@@xAۀߠK@|AРD@A1BhF'@ABC@@*ct_compare @@_ cS TPUϰ -@@@@@ @@`z@+StrictOrder.[@i@x>@@@As@A@@֠0compare_compat_1 @@aπ@~@+-ũf@@@A@A@@.compare_compat @@b瀰AC@@@A@A@@` @@c@UWD@@@A@A@A@ABC@@(add_spec @@d۶ᶐI驛@"or @@@@@@;+remove_spec @@(e0OUjҀ1Ʃ@o@X:!@@@@@Z.singleton_spec @@GfN㩚@SA:@@@@@s*union_spec @@`gh1g/ i@u?S٩]r@@@@@*inter_spec @@|h   &@??P@@@@@)diff_spec @@i 궐 趐)کB6@>Ƞc@@@@@Ƞ)fold_spec @@jm㔑M>@@A%@ @/R36@ >i9d(e$List%Lists@)fold_leftɀրE R F TH#K@ Ja y@@M>@.@A@A@A&ޠ$List%Lists#Coq@@AA e@=A%t @A@A @BA@DA@ABCD@@-cardinal_spec @@k  Bx@ U; j@&length䷀9r@@@A @A o @A @ABC@@@,xfilter_spec @@-l ʶ7綐o ـ0@u>qB7@ #1$DCAۀD A@@@@@y+filter_spec @@fmnͶ@ ƀ)Datatypes$Init#Coq@@$boolZ'@@*SetoidList%Lists#Coq@@+compat_bool!!|~@"eq4~A@ڸ=A7^@ ?Pl4 l3>ABA@@@kAm,*SetoidList%Lists#Coq@@A@@٠,xforall_spec @@n) cpi Pd=@xa5ۀfNs3spr@@@@@,for_all_spec @@oN@G@tjA@ X.mA@a5ۀ}A@@@Ah@A@@9,xexists_spec @@&p ö 0ඐ~Ѐɰ "ĩ@ `@@@@@U+exists_spec @@Bq J@ڶ@̀ÀA߀P@ U,O〠ƜAY@ Щ֐Aڐ@@@,A@A@@0partition_filter @@r 7  @ }"%Ω DD@ 2Plթ"l4,,@@@A ϲ6W @AA вuX @A@A@ABC@@ /partition_spec1 @@s g@ G@:0AIT@#fst @ "%b64f:@@@A#@AA@A>@ABA<@A ӳ2[ N@A Գq\ R@A@ABCD@@/partition_spec2 @@t T@M@zpA@#snd@tr驚@$negb@@@Al@AA@A@ABA@AI@AG@A @ABCD@@G.xelements_spec @@4u < ֶ!j ն#acc  ζ〠@#InA q9@!AE@ )DCB@C @8׀AB @  @©׀MBo@ DA  AEA@@@FA1@D s@A@@.elements_spec1 @@v  ﶐*u C'@#InA q9@? @@@@@ˠ-lt_rev_append @@wG4@5@"lt4u@ڸŀBA U'8Y+h@@@@@.elements_spec2 @@x  3&Sorted'Sorting#Coq@@1ĭ@HՐ@@@@@ /elements_spec2w @@y  M@&NoDupA @ٚx@ naA@@@@@ ),choose_spec1 @@z  ö@   ©@ ?D【B AA@@@A @A@@ P,choose_spec2 @@={ E @ ʀ !@ 4?D  @@@A @A@@ l,choose_empty @@Y| a@ 怰򩚠W@+*eD쀐AA 􀰩  O B@@@1A @A@@ -choose_spec3' @@}  @ BA  < 6tx/@@@VA @AAۀߠK @A ^@AРD͠'Classes#Coq@@A1BhF @ABCD@@ Π,choose_spec3 @@~  h  jL597@ N q kD xAGB@ _  |4 AWv@ o0?^CB@@@A a@A1FdJ @AB@@ -min_elt_spec1 @@  Qt@  ⩚o@ v? РӀw@@@A @A@@ /-min_elt_spec3 @@@ $ q@ {  @@@A @A@@ G-min_elt_spec2 @@4A < v@ ŀ:oն@  @#notШ@@@ A @A@@ o-max_elt_spec1 @@\B d \Զ@ 뀰B@ ?2U`1Ր@@@'A @A@@ -max_elt_spec3 @@zC  z@ ^R 퀐@@@?A @A@@ -max_elt_spec2 @@D  ! Զ@ #z8^@f6\ @@@aA@A@@ @@@𤨧T@A%@@@A@z@M>@ABCD@ @@oABAՠԠ@@ABC@4@AxA2@zA4@AB{A @}A@ACD @)@A @@A@BCE@@A@S@ABE@C@A @A@A @@ABCD@@A@BE}@@@AB&@@&@ABCFG@@@@8!@8!U-RelationPairs'Classes#Coq@@A@A9!@9!àV @A@B@#|@@#|] @A@A#@A#^@A@A𤨧@BC%@K@zI@M>@ABC ӳ2@@A@ Գq@@A@ADE@ @AA8ӠA4Relation_Definitions)Relations#Coq@@BA @A @AC^[D'TE KF GG@@A'N_as_DT0Private_OrderTac'IsTotal&BinNat&NArith#Coq@!N  @B'N_as_OT@)Nat_as_DT0Private_OrderTac'IsTotal(PeanoNat%Arith#Coq@#Nat  @AC)Nat_as_OT@'Z_as_DT0Private_OrderTac'IsTotal&BinInt&ZArith#Coq@!Z  @A 'Z_as_OT@+Private_Div&NZQuot@ABD @KE@A:E@71@A&1@.Positive_as_DT&BinPos&PArith#Coq@#Pos@A,POrderedType&PArith#Coq@.Positive_as_DT&BinPos&PArith#Coq@#Pos@:.Positive_as_OT@ABCDE.Positive_as_OT@I1Private_BootStrapE@A;@{+Private_Decw@ABm@k+Private_Decg@A]@8+Private_Dec8@A0+Private_Dec)@!@ABCD -@h+Private_Decd@AZ@BlVS@SU@A-Private_NZDiv@BC@-Private_NZDiv@A@Bz-Private_NZDivv@n@A-Private_NZPow@BCDEF@-Private_NZPow@A@B.Private_NZSqrt@@A.Private_NZSqrt@BC@@A@B@@A@BCD@.Private_Parity@A@B+Private_Tac@@A+Private_Tac@@+Private_Tac@ABCD+Private_Tac@}  @A| @+Private_Tac@AB@(Quot2Div@A@#Tac@ABC@#Tac@A@#Tac@A@@@ABCDEFGH@J@@+tail_addmulJ#Nat$Init#Coq@@ F2e@A@A"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@B\@@'quotrem\)BinIntDef&ZArith#Coq@!Z@ /@A@\@@+pred_double\@/S@@A@E@?@'compareE)BinNatDef&NArith#Coq@!N@ ?H{@A@ABs2@9@&shiftls20@vY@A@CDs8@>@&shiftrs85@vY@A@ѓ@F@&squareѓ=@y@A@A@K@&to_intϑB@@A@z@C@&doublez<@/!@A@ABC@e@&divmodCb@C@A@O@l@&doubleOۑi@NĴ@A@AV@@(size_natV7@{@A@j@f@j@A@ J@j@ J@A@([@@([ @A@ABCDEF/@s@)log2_iter/j@wd@A@NH/@n@&moduloNH/g@1,@A@A\d@s@&of_int\dl@1?A @A@bz@y@&of_natbzr@1?G!@A@@@&modulo@"i@A@@@&of_intő@6@A@ABCD`@c@0double_pred_mask`ϑ)BinPosDef&PArith#Coq@#Pos@ 0-+m@A@#@@&shiftl#@1dV@A@#@@&shiftr#@1d\@A@ABE/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@s:@@\s:[@A@w?@@&shiftlw?@vY@A@w?@@&shiftrw?@vY@A@ABC@@F@(sub_mask@=@)@A@^@@&square^ @y@A@Ab@@'iter_opb&PArith#Coq@#Pos@  @A@@"@&to_intꭑ@@A@AO4@@O4@A@P@@'of_uintP@'"h@A@A>@@>@A@BCDEFGH c@%@'testbit c@!ć@A@7 B@~@'of_uint7 Bu@*`]?@A@AE)@Z@*shiftl_natE) @y/@A@Hr@9@NHrM@A@ABHr@<@KHrJ@A@Q@g@*shiftr_natQ@4@A@AC[b@E@H[bG@A@g@@GgёF@A@{@M@<{;@A@@:@65@A@ABCDG@@)mask_rectG@+ED@A@\@n@)log2_iter\k@wd@A@AИ@x@/И.@A@"X@`@(div_eucl"XS@(*k@A@"@@,"+@A@ABCF˱@@)add_carryF˱@+p@A@Jj@B@+pred_doubleJj@25\@A@AD^Ҷ@|@'to_uint^Ҷs@#m@A@gL7@v@'sqrtremgL7o@40@A@Av@U-PositiveOrder"TO@'comparevd`_^@O@,compare_cont$ W#Pos@!)Datatypes$Init@*comparison;f@A@A@B.@z@÷.̑@2j@A@@@WV@A@E@@REǑQ@A@AB-@s@F-E@A@%a@@)sqrt_iter%a@!$:@A@ACDEFpb;@|@pb;@A@q@@'testbitq@5)@A@AlA@@'testbitlA@!ć@A@@@Б@A@A6k @@&of_int6k D@4}5@A@BC6q @@&of_nat6q I@4};@A@>@@(mask_ind>O@4@A@AD>@@(mask_rec>T@4@A@t@@&pred_Nt\@4s)@A@@@('@A@ABҎU@@&shiftlҎUe@5X@A@Ҏ[@@&shiftrҎ[k@5X@A@ݎO@@+succ_doubleݎO@6r@A@ABC8@@&square8v@5,x@A@R@@'pos_subR@+ie@A@A9@@&to_int9@5L@A@B@@@&to_nat@@5L @A@@@'pow_pos@+q @A@Ay@@PyO@A@BCDEGI@@NM@A@ @@P O@A@A@@NM@A@@N@'to_uintK@#m@A@AE@@PEO@A@BC@@JđI@A@@@JʑI@A@A@@B᧑A@A@@;@>=@A@ABma@ @<ma;@A@sw@@<sw;@A@Ai@F@8i7@A@@:@,Nsucc_double`@ ʭ@A@@h@+*@A@AB P@8@+testbit_nat PБ@6n@A@ *q@+@ *q@A@ACDEF p@@0double_pred_mask p@0-+m@A@ T@&BinNat&NArith#Coq@!N@!t T)BinNatDef&NArith#Coq@!N@ 2@A@A @@#add @3 @A@ l@@#div l@3@A@AB Y@"@#eqb Y@3@A@ #@(@#gcd #@3n@A@AC T@-@#leb T$@3@A@ "@5@#lor ",@3m@A@A q@:@#ltb q1@3@A@ @@@#max 7@3@A@AB @E@#min <@3`@A@ @K@#mul B@3B@A@ACD ~@P@#odd ~G@3@A@ =@X@#one =O@3@A@A @]@#pow ˑT@3@A@ c@c@#sub cZ@3@A@ @i@#two `@3J@A@ABC Z@@'sqrtrem ZݑW@7]%{@A@ hx@t@$div2 hxk@>@A@ADE @y@$even p@>4@A@ @@$ggcd Бz@>U@A@A @@$iter @>:@A@ 3"@@$land 3"@>m@A@AB F)@@$log2 F)@>t@A@ S@@$lxor S@>@A@AC @@$pred @?U@A@ @@$size ܑ@?'@A@A !@@$sqrt !@?@A@ ! @@$succ ! @?\@A@ !7@@$zero !7@@P@A@ABCD "?@@ "?@A@ ~]w@:@,pos_div_eucl ~]w-@-u@A@A L@@X LW@A@ *@@%ldiff *@@A@AB @@'testbit @8g$@A@ 2*@-@!t 2*S@#EE@A@A 2@2@#add 2X@#Fj@A@ 2X@8@#eqb 2X^@#F@A@ABCEFG 2"@=@#gcd 2"c@#F@A@ 2S@G@#leb 2Sm@#F@A@A 2!@L@#lor 2!r@#F@A@ 2p@R@#ltb 2px@#F@A@AB 2ˆ@W@#max 2ˆ}@#F1@A@ 2@^@#min 2@#F@A@A 2@c@#mul 2@#F@A@ 2@i@#pow 2ʑ@#Fu@A@ABC 2b@n@#sub 2b@#F @A@ =>w@w@$div2 =>w@#Q"@A@A =H@|@$gcdn =H@#QX@A@ =@@$ggcd =ϑ@#Q^z@A@AB =@@$iter =@#Q@A@ > !@@$land > !@#Q@A@A >$R@@$mask >$R@#Q@A@ >)@@$lxor >)@#Q\@A@ABC >@@$pred >@#R_F@A@ >@@$size >ۑ@#R@A@A >ۚ@@$sqrt >ۚ@#RE@A@ >@@$succ >@#R@A@A N@@.to_little_uint N@#b@A@ O@@ O@A@A g@@,sqrtrem_step gR@8R@A@ @@ @A@ABCDEF `@jh@,compare_spec `@*YJ@A@ (@@ (@A@A @@ @A@ ^ @@ ^ @A@AB .@@ .@A@ @@ Ǒ@A@AC @@ @A@ @@ ‘@A@A @@ @A@ @@ ߑ@A@AB @@ @A@ @@ @A@A e@@ e@A@ 9@@ 9@A@ABCD @@ ё@A@ W@ @%ggcdn W2@$*@A@A q@@ q@A@ @@ @A@AB >@@ >@A@ ]@@ ]@A@A <@@ <@A@ W@@ W@A@ABC ] @ @ ] @A@  @@  @A@A J@@ J@A@  @@  @A@A @@ @A@ @;@%ldiff a@$'R@A@ @#@ @A@ABCDEF 86#@$@ 86#@A@ G@l@# G"@A@A g_@@+pred_double g_@25\@A@ r@H@'to_uint rّ@9w@A@ y!@j@n y!m@A@ \@n@b \a@A@ABCD m@@÷ m@2j@A@ ۊ@J@\ ۊ[@A@A 4@M@0 4/@A@ }@@H }G@A@AB D!H@R@ D!H@A@ @@% Ñ$@A@ (@@$ (#@A@ /@@" /!@A@ABCS@@&of_intS㫑@4}5@A@S@@&of_natS@4};@A@ADEFGHIJ\R@@(mask_ind\R@4@A@\^@@(mask_rec\^@4@A@AkH2@@KkH2J@A@oLC@@$oLC#@A@ABoLI@@!oLI @A@l&@@l&@A@AC!,@#@&pred_N!,@4s)@A@@@  @A@A@@ @A@@@ё@A@\g@@g\gf@A@b}@@eb}d@A@ABCD@=@&shiftl4@5X@A@@D@&shiftr;@5X@A@A&@I@&square&ّ@@5,x@A@BEF"@N@&to_int"E@5L@A@"@X@&to_nat"O@5L @A@A@@@h@g@A@@@@f@e@A@ABS@@JSI@A@s+O@@Is+OH@A@s1e@@Gs1eF@A@s5@@ @Es5@D@A@ABCDnTq@s@+testbit_natnTqj@6n@A@B@@(succ_posB@@A@@+@ˑ@A@AI@(@'abs_natI!@?n@A@BC.@@'of_uint.@MS@A@3~@@'sqrtrem3~@7]%{@A@AD@@@)pred_maskD@C@)X@A@L:@5@L:@A@AU@'@(sub_maskUM@)@A@yt@O@yt@A@*@@*@A@ABCDEF,@^@'bitwise,U@/v@A@>4'@@'testbit>4'@8g$@A@L@B@'of_uintLh@*`]?@A@k@*@!kđ @A@ABC{U@@,sqrtrem_step{U@8R@A@@d@@A@Au^@@(div_euclu^@ @A@Bq@[@)mask_rectq@+ED@A@@D@ @A@A)Z@@)Z@A@\J@j@)add_carry\J@+p@A@Ay@@+lt_strordery_@2@A@BCDEfz@@'to_uintfz@9w@A@@_@"!@A@AO@u@+of_succ_natO@$@A@R@@R@A@-}r@l@ -}r@A@ABC,@m@ , @A@[@@'bitwise[ˑ@/v@A@:@@:@A@ABl@@'comparel@3R@A@CDFGHs8@@+of_uint_accs8@5+@A@}@U@,pos_div_eucl}L@&`@A@W@@0double_pred_maskW‘@0-+m@A@AB3x@@'compare3x@]=@A@7@@'compare7@3R@A@AC1@@1@A@bA@@!tbA@2@A@Af@@#addf@3 @A@@"@#div@3@A@AB@'@#eqb@3@A@@-@#gcdɑ@3n@A@ACD@2@#leb@3@A@@;@#lorȑ@3m@A@A@@@#ltb@3@A@-@F@#max-@3@A@AB@K@#min@3`@A@@Q@#mul@3B@A@AC$@V@#odd$@3@A@@^@#one@3@A@Aq@c@#powq@3@A@ @i@#sub @3@A@AB@n@#two@3J@A@ v@t@$div2 v$@>@A@ACDE 7@y@$even 7)@>4@A@ v@@$ggcd v2@>U@A@A @@$iter 7@>:@A@ @@@$land @ȑ=@>m@A@AB S@@$log2 SϑB@>t@A@ aX@@$lxor aXH@>@A@AC B@@$pred BM@?U@A@ @@$size T@?'@A@A A@@$sqrt AY@?@A@ @@$succ _@?\@A@ @@$zero ݑe@@P@A@Xkf@@Xkf@A@ABCDEF@@&double@'޺_@A@Е@@Е@A@A%@@%Ց@A@B*@@*@A@,n@@,n@A@A.8@@.8@A@BC5i@@5i@A@67@@67@A@A6@@6@A@B6@@6@A@7*@@7*@A@A8 @@8 @A@BCD9@@9@A@:R@@:R@A@A;@@;@A@B@x@@@x@A@B@@B@A@A۩@@۩@A@BCզ@@զ@A@@@@A@A>@@>@A@Bt7@@t7@A@܇>@ @܇>@A@Aܔ@ @ܔǑ@A@BCD@@@A@;@@;@A@AF@@F@A@BK&@@K&~@A@L@"@~L}@A@A8N@6@%ldiff8N@@A@BC,r@%@+of_uint_acc,r"@5+@A@}a@@+pred_double}a@25\@A@k@7@k@A@%@@÷%#@2j@A@ABCq@z@+of_succ_natqq@$@A@@1@@A@Aw@@&modulowɑ@)1@A@BDEFGK@@&of_intK@)j,I@A@K@@&of_natK@)j2_@A@N @@,N +@A@Y.@@&Y.%@A@ABCI@@&shiftlI@*O@A@O@@&shiftrO@*O@A@A,@@&square,@*ow@A@@[@-ݑ,@A@ABZ@@&to_intZ@*81@A@`@@&to_nat`@*9G@A@Aia@I@&of_intiao@4}5@A@ih@O@&of_natihu@4};@A@ABq@T@(mask_indqz@4@A@q @Z@(mask_recq @4@A@~@`@&pred_N~@4s)@A@L@w@ZLY@A@ABCDEF<@^@'compare<@ )Q@A@H@r@&shiftlH@5X@A@N@x@&shiftrN@5X@A@+@~@&square+@5,x@A@ABCc@$"@'le_lteqcs@;@A@80@@&to_int80@5L@A@AD86@@&to_nat86@5L @A@:l@x@M:lL@A@A:@{@J:I@A@Cu@@JCuI@A@Cz@@HCzG@A@ABe@N@+testbit_nateđE@+@A@x@@KxJ@A@ACDE@@ED@A@ָ@@CָB@A@Aָ@@@ָ?@A@Bؚ@@=ؚ<@A@ dT@@6 dT5@A@ jj@@5 jj4@A@AB+{@p@'sqrtrem+{ёg@,J@A@VR@@(size_natVR_@ @A@@@+testbit_natÑ@6n@A@ABCD[@@+of_uint_acc[j@ ΋@A@F'@@!tF'J'BinNums'Numbers@(positive*@@A@AM@@"eqM^%Logic~@"eq @@A@N@@"leNh!x&!y)@#notШ@'compare@ )QڀBAC@A@ABN+@@"ltN+h$H"I8B@A@ @ *@+double_mask @ S@A@ACEFGHI@ /@'div2_up@ "@A@'@ %@x'w@A@A5z@@'testbit5z@-T|@A@IQ@ N@'sqrtremIQБt@7]%{@A@U2@ 6@U2@A@ABCX@ 7@Xʑ~@A@p?$@ ;@&p?$%@A@PL@ @(succ_posPL^@@A@ABDK@ D@*K)@A@ ;@ @'of_uint ;h@MS@A@ ?@ Q@! ? @A@ Sy@ s@'testbit Sy@8g$@A@ABC dL@ m@'Ndouble dL @ @A@ e@ @  e@A@A @+@'to_uint ͑"@.@A@ @ @,sqrtrem_step @8R@A@A @7@+succ_double .@.^4@A@ @ @+ *@A@!$@ z@%!$$@A@ABCDEF!5m@ {@#!5m"@A@!En@ @*shiftl_nat!En3@9-@A@A!Q\@ @*shiftr_nat!Q\8@'@A@!k-@ @$!k-#@A@A!tTt@ @0succ_double_mask!tTtB@@A@!@ @(div_eucl!@ @A@!@ @'to_uint!̑@9w@A@ABCD"@ @ "@A@""d@ @"""d!@A@A"E@ @"E@A@"Vs@ @"Vs@A@"w;@ @"w;@A@ABC#:$@ @f#:$g@h!@A@#E*@ @%#E*$@A@A#@W@'compare#ݑN@ )Q@A@$ W@ @u$ W@A@$Px@ @2$Px1@A@ABCD%t2@d@(size_nat%t2[@ @A@%9@k@+of_uint_acc%9b@ ΋@A@A%V@p@+double_mask%Vg@ S@A@%%@v@'div2_up%%m@ "@A@&#@ S@,pos_div_eucl&# @&`@A@ABCEFG'ş@@'Ndouble'şx@ @A@'@ @.sub_mask_carry'@΂@A@'@ V@'@A@AB(Xe@ @ (Xe@A@(b0@@*shiftl_nat(b0@9-@A@AC(nՖ@@*shiftr_nat(nՖ@'@A@(@@0succ_double_mask(@@A@A('@ @&double(' 0@'޺_@A@)B@ 7@+of_succ_nat)B]@$@A@AB)|[)@ z@ )|[) @A@)#@ #@ )# @A@A)o@ @&modulo)o C@)1@A@*6@ @&of_int*6 I@)j,I@A@*6@ @&of_nat*6 O@)j2_@A@ABCDE*W$@@,compare_cont*W$@!@A@*θ@ @*θޑ@A@A*Ҽ@ @&shiftl*Ҽ a@*O@A@*Ҽ@ @&shiftr*Ҽ g@*O@A@AB*@ @&square*ґ l@*ow@A@+h@ @&to_int+h r@*81@A@AC+n@ @&to_nat+n w@*9G@A@+@ @6+5@A@A+)@ @3+)2@A@+^@ @%+^$@A@AB+d@ @"+d!@A@+A@ @#+A"@A@A+֛@ @ +֛@A@+֢@ @+֢@A@AB,Q j@ @+testbit_nat,Q j @+@A@-w@ @'sqrtrem-w @,J@A@-"=@ @ -"=ّ @A@AB-)b@KI@)lt_compat-)b @ 1@A@-@ @-@A@. @ @'testbit.  @-T|@A@ABCDEF.bo@ @'iter_op.bo L@ @A@.f@ca@&eq_dec.fޑ @ @A@A.0@ @@.sub_mask_carry.0 7@΂@A@B.@ @!t. @ ;@A@.먩@ @#add.먩 @ `@A@A.U@ @#div.U @ @A@.B@ @#eqb.B @ @A@A. @ @#gcd.  @ @A@.=@ @#leb.= @ @A@ABCDGHIJKL. @ @#lor.  @ @A@.Z@ (@#ltb.Z @ @A@A.p@ -@#max.p $@ '@A@B.@ 2@#min. )@ @A@.@ 8@#mul. /@ @A@AC.g@ =@#odd.g 4@ @A@.&@ D@#one.& ;@ @A@A.뾴@ I@#pow.뾴 @@ k@A@.L@ O@#sub.L F@ @A@.@ U@#two. L@ @A@.@ o@|.{@A@ABCDE.,a@ ^@$div2.,a U@ @A@.Xz@ f@$even.Xz ]@ ?1@A@A.@ k@$iter.ؑ b@ @A@B. @ p@$land.  g@ @A@. @ v@$log2.  m@ @A@ACF.@ {@$lxor. r@ R@A@.y@ @$pred.y z@ `<@A@A.Ʉ@ @$sqrt.Ʉ @ ;@A@.@ @$succ. @ @A@.t @ @$zero.t  @ Z@A@ABC/@ @.to_little_uint/ @ @A@/4@ U@/4ޑ@A@/ss@ @'to_uint/ss y@.@A@A/w@  @(eq_equiv/w玑 o@M@A@/ˏ@ @+succ_double/ˏ @.^4@A@ABCDG/@ @%ldiff/ @ H@A@0DO@ @0DO@A@0]@ @0]@A@AB00@F@'compare00=@?H{@A@1P%@ @!t1P% @  @A@AC1P@ @#abs1P @ @A@1P&@ @#add1P& @ @A@A1P@ @#div1Pґ @ y@A@BD1P@ @#eqb1P @ f@A@1P@ @#gcd1P @ 0@A@A1P@ @#geb1P @ T@A@B1P@ @#gtb1Pʑ @ q@A@1Pĺ@ @#leb1Pĺ @ a@A@A1Pň@ @#lor1Pň @ /@A@BCE1P@ @#ltb1Pב @ ~@A@1P@ @#max1P @ @A@A1P{@ @#min1P{ @ "@A@B1P]@ @#mul1P] @ @A@1P@ @#odd1P @ @A@A1Pɣ@ @#one1Pɣ @ J@A@BC1P@ @#opp1Pԑ @ {@A@1P1@ $@#pow1P1 @ @A@A1P;@ )@#rem1P; "@ @A@B1P@ .@#sgn1Pˑ '@ r@A@1P@ 5@#sub1Pɑ .@ p@A@A1Pe@ :@#two1Pe 3@  @A@BCDF1[8@ ?@$div21[8ޑ 8@ @A@1[d@ H@$even1[d A@ I@A@A1[6@ M@$ggcd1[6 F@ i@A@B1[U@ R@$iter1[U K@ @A@1\@ Y@$land1\ R@ /@A@A1\@ ^@$log21\ W@ 6@A@BC1\$@ c@$lxor1\$ \@ @A@1\Y@ k@$of_N1\YÑ d@ >j@A@A1\@ p@$pred1\ i@ j@A@B1\@ u@$quot1\֑ n@ }@A@1\@ |@$sqrt1\ u@ @A@A1\w@ @$succ1\w z@ @A@BCDGH1\k@ @$to_N1\k @ @A@1]@ @$zero1] @ eD@A@A1b@ @'1b @' ;@A@1t@ @#add1t @ `@A@AB1y3@ @#div1y3 @ @A@1{ @ @&1{  @& @A@A1|@ @#gcd1| @ @A@1@ @#leb1 @ @A@ABC1@ @#lor1 @ @A@18@ @#ltb18 @ @A@A1N@ @#max1N @ '@A@1@ @#min1ܑ @ @A@ABD1@ @#mul1 @ @A@1E@ @#odd1E @ @A@A1@ @#one1 @ @A@1@ @#pow1 @ k@A@AB1*@ @#sub1* @ @A@1@ @#two1Ƒ @ @A@A1?@ @$div21? @ @A@1$X@ @$even1$X @ ?1@A@ABC1@ @$iter1 @ @A@1@ "@$land1 @ @A@A1@ '@$log21 $@ @A@1y@ -@$lxor1y *@ R@A@ABDE1Ec@ 2@$pred1Ec /@ `<@A@1b@ 9@$sqrt1b 6@ ;@A@A1@ >@$succ1ؑ ;@ @A@1?@ D@$zero1? A@ Z@A@1@ J@.to_little_uint1 G@ @A@2~/@ @'compare2~/ =@ )Q@A@ABCDF2:@ 8@%abs_N2: 1@ @A@21@ B@%ldiff21 ;@ ߵ@A@2=*@ H@%quot22=* A@ @A@AB2kF@ @(size_nat2kF @{@A@2u@ `@(2uё@A@A2u@ c@2u@A@2u@ g@2u@A@ABC2u@ j@'2u@A@2uY@ p@2uY@A@A2u@ s@2u@A@2uX@ w@2uX@A@AB2u@ z@2u@A@2u@ @2u@A@A2uK@ @2uK@A@2u-@ @2u-@A@ABCD2u@ @2u@A@2us@ @2us@A@A2u@ @2u@A@2u™@ @2u™@A@AB2u5@ @2u5@A@2+@ @2+@A@A2W@ @2WǑ@A@2%@ @2%@A@ABC2X@ @2X@A@2 _@ @2 _@A@A2@ @2@A@2x@ @2xґ@A@AB2@ @2ё@A@2G@ @2G@A@A2sm@ @2sm@A@2o@ @%ldiff2o @ H@A@AB2T@ @2T@A@2汞@ @2汞@A@A3V@ @ 3Vޑ @A@3E@ @(size_nat3E @ @A@A3@ @(tail_add3 @^q@A@BCDEFG3@ @(tail_mul3 @^@A@3@ @,Nsucc_double3 U@ ʭ@A@A3N@ @+of_uint_acc3N @ ΋@A@3@ @+double_mask3 @ S@A@4 w@ @'div2_up4 w @ "@A@4Z@ @*4Z䴑)@A@ABCD4z3~@ @4z3~@A@4@ @4뽑@A@46@ @46@A@4B@ @4B@A@ABC5Z@ @*shiftl_nat5Z @y/@A@5f}@ @*shiftr_nat5f} @4@A@AD5a@ q@'iter_op5a h@ @A@5C@@'Ndouble5C '@ @A@A53@ @!t53 @#EE@A@B5@@#add5̑ @#Fj@A@CEF5e@@#eqb5e @#F@A@5/@@#gcd5/ @#F@A@A5`@@#leb5` @#F@A@B5.@@#lor5. @#F@A@5}@@#ltb5} @#F@A@A5ԓ@$@#max5ԓ @#F1@A@BC5!@)@#min5! @#F@A@5@/@#mul5 @#F@A@5@5@#pow5ב @#Fu@A@5o@;@#sub5o @#F @A@ABCDGHIJ6w~@ u@'of_uint6w~ l@^5@A@6 G@L@$div26 G @#Q"@A@A6 U@Q@$gcdn6 U @#QX@A@6 @W@$ggcd6 ܑ @#Q^z@A@AB6 @\@$iter6  @#Q@A@6 .@c@$land6 . @#Q@A@A6 -_@h@$mask6 -_ @#Q@A@6 2@n@$lxor6 2 @#Q\@A@ABC6 @s@$pred6  @#R_F@A@6 @z@$size6  @#R@A@A6 @@$sqrt6 䧑 @#RE@A@6 @@$succ6  "@#R@A@ABD6*@@.to_little_uint6* '@#b@A@6_v@@(tail_add6_v @^q@A@A6_@@(tail_mul6_ϑ @^@A@6hw`@@6hw`@A@A6xe@@*shiftl_nat6xe @9-@A@6S@@*shiftr_nat6S @'@A@6Kg@@0succ_double_mask6Kg @@A@ABCD6g@@6g@A@6;@@6;@A@6@@6ԑ@A@ABE6@@6@A@6@@6ϑ@A@A6@@6@A@6@@6@A@AB6@@6@A@6@@6@A@A6 r@@6 r@A@6 F@@6 F@A@ABCFG6@@6ޑ@A@6`,@@%ggcdn6`, @$*@A@A6z@@6z@A@6@@6đ@A@AB6K@@6K@A@6j@@6j@A@A6E@@6E@A@6`@@6`Α@A@ABC6f-@@6f-@A@6@@6@A@A6 W@@6 W@A@6@@6@A@ABD6@@6@A@6 @@%ldiff6  @$'R@A@A6 @@6 @A@70@R@70@A@AB70>@U@70>@A@7I@@7I@A@7UW@@7UW@A@7x~@@7x~֑@A@ABCDE7@@K7J@A@7=#@#@"7=#!@A@A8j@b@ S8j R@A@8mv@J@,compare_cont8mv p@!@A@AB8C\@@'of_uint8C\@^5@A@9>N@8@ 9>N @A@9v@@ 9vˑ @A@AB9E@y@ 9Eđ @A@CD:x@ @,Nsucc_double:x @ ʭ@A@<M@[@)pred_mask<M @)X@A@@A@ABCE=9R@&@.to_little_uint=9Rˑ@#b@A@=g@@=gΑ@A@A=m%@@=m%@A@B=m@@=m@A@=m)@@=m)@A@A=m@@=mՑ@A@BC=m@@=m‘@A@=m@@=m @A@A=m@@ =m @A@B=m@@ =m͑ @A@=mĽ@@=mĽ@A@A=mŋ@@=mŋ@A@BCD=m@@=mڑ@A@=m@@=m@A@A=m~@@=m~@A@B=m`@@=m`@A@=m@@=m@A@A=mɦ@@=mɦ@A@BCEF=m@@=mב@A@=m4@@=m4@A@A=m>@@=m>@A@B=m@@=mΑ@A@=m@@=m̑@A@A=mh@@=mh@A@BC=x8@"@=x8@A@=xd@(@=xd@A@A=x9@+@=x9@A@B=xX@.@=xX@A@=y@3@=y@A@A=y@6@=y@A@BCD=y$@9@=y$@A@=yY@@@=yYƑ@A@A=y@C@=y@A@B=y@F@=yّ@A@=y@K@=y@A@A=yz@N@=yz@A@BC=yn@Q@=yn@A@=z@W@=z@A@A=}Ǣ@k@#=}Ǣ"@A@=@o@!= @A@=X@3@@=X?@A@ABC=z@I@)mask_rect=z@+ED@A@=@:@>==@A@ADEF=@@%ggcdn=͑@$*@A@=U@@%ldiff=U@$'R@A@A>)S@_@)add_carry>)S@+p@A@>8=@@U>8=T@A@A>N@@N>NM@A@>Z-@@M>Z-L@A@A>@\@(>'@A@BCD>@@&divmod>@C@A@>@@&double>@NĴ@A@A>@k@!> @A@?2@@ x?2 w@A@A?G@@?G@A@?@@?֑@A@A?;@@&modulo?;@"i@A@BCDEGHIJKM@&Basics'Program#Coq@0!bs߯? :VU&BinInt&ZArith#Coq@0BpHޞun^)BinIntDef&ZArith#Coq@0ådR4Tuy&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*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1*0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼*Equalities*Structures#Coq@0όe얟)H.Ƞ/EqualitiesFacts*Structures#Coq@0)n,:5-|!N@Ƞ+Equivalence'Classes#Coq@07;ꮹ-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh."Le%Arith#Coq@0d}Omq+@0>Iz0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏-MSetInterface%MSets#Coq@0x* .>S%Minus%Arith#Coq@0LFtR"@0Imӽ%\$PD+^]@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&&Orders*Structures#Coq@0$Znl0\͗/k0'4|a|{s9e@]D+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%,POrderedType&PArith#Coq@0)Cv %Peano$Init#Coq@0 jha|ؠ(PeanoNat%Arith#Coq@0O~2$k[#lZ$Plus%Arith#Coq@04tmG$Pnat&PArith#Coq@0,?pr.gZ'Prelude$Init#Coq@0JqTttֱ   @0Gz rA6ՠ&%$@0CjN4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0@0k窪ܸqS-SetoidTactics'Classes#Coq@0S_`nOU$h0bb1z٠0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@031XrHȠ@1VrHȠ@1R@1T1a1]1@A@-.2 Q@@@@#_10(AA@@@@@@@@#_112M접 @#_12'`o@@@@-+N$@@B@-0#@-)-)@@@@@@#_13,%@@@@A@@@ B@@@@@@@#_14'`o@@@@@#_15'`o@%@A@@@#_16'`o@-@BC@*bool_scope@@6@0@-Q2 Q@@G@#_171@-\2Nm@@@@@@@@#_182M접DD@A#_19'`o@D.function_scope@@@A@A-4@12 Q@@@@#_20,@@@@#_212M접 #_22'`o@@@@-2 Q@@@@#_232)@-?@@@@#_242M접 @#_25'`o@@@@-2 Q@@E@#_26٠@@@@@#_272M접 AA@A#_28'`o@A@@-=@,Π2 Q@@E@#_29"@@@@@@#_302M접BB@A#_31'`o@B.positive_scope@@,̠-g@,2 Q@@E@#_322@,>Q1'@@@@@@#_332M접AA@A#_34'`o@B+@@,-@,m2 Q@@@@#_352@,xSQ@@@@@#_362M접AAAA#_37'`o@AT@-@,o2 Q@@@@#_38#6u@@@@@@@#_392M접CB@A#_40'`o@C@9@@-ޠ--@,_2 Q@@E@#_413@,jo@@@@@@@#_422M접BB@A#_43'`o@B@@-s.@,B2 Q@@E@#_443;@,M?SΠ@@@@@@#_452M접AA@A#_46'`o@B@@@.4.7@,2 Q@@E@#_473d@,$?P@@@@@@#_482M접AA@A#_49'`o@B@@@.].`@+2 Q@@E@#_503@, > @@@@@@#_512M접AA@A#_52'`o@B@@@..@+2 Q@@E@#_53#H@@@@@@#_542M접AA@A#_55'`o@B@@@..@+2 Q@@E@#_56#p@@@@@@#_572M접AA@A#_58'`o@B@@@.֠.@+2 Q@@E@#_59@@@@@@#_602M접AA@A#_61'`o@B@@@++@#_62@||@|@@|@@|A@%_ @ _@| @@3ܠ!@2@@@@@A@@" @@A@@B@@@@@#_63%c?@@3@@@2젠@@@@42@@@@;44x@%x @ y+à2 Q@@@@#_644@+>iO@@@@@#_652M접AAAA#_66'`o@A@@+@+Ƞ2 Q@@E@#_734@+?a:@+ԐB@A@@@@@@@#_742M접4@+?aCC@A#_75'`o@4@+?aE*type_scopeڠ@@Q@@A/@4@+2 Q@@@@#_764@+>i{@,B@A@@@@@@#_772M접4@+>iDCBA#_78'`o@5@+>iD@@@@@A/֠@@+Ơ2 Q@@E@#_825"@+>ZAA@@@@@@@@@@@#_832M접53@+>ZBB@A#_84'`o@5<@+>ZCL@@A05+@+2 Q@@@@#_855V@+.4@@@@@@#_862M접5e@+.BBAA#_87'`o@5n@+.B~@@A08@+2 Q@@E@#_885@+)4a@@@@@@@#_892M접5@+)4BB@A#_90'`o@5@+)4C@"@A0h5@+2 Q@@@@#_915@+,O@@@@@@#_922M접5@+,OBBAA#_93'`o@5@+,OBޠ@@A0@+Ġ2 Q@@E@#_945@+1$@@@@@@@#_952M접5@+1$BB@A#_96'`o@5@+1$C @@A0Ƞ5@+2 Q@@@@#_976@+Pl@@@@@@#_982M접6%@+PlBBAA#_99'`o@6.@+PlB>@@A0@+ˠ2 Q@@E@$_1006C@+,Gz!@@@@@@@$_1012M접6S@+,GzBB@A$_102'`o@6\@+,GzCl@@A1(6K@+j2 Q@@@@$_1036v@+u"%T@@@@@@$_1042M접6@+"%BBAA$_105'`o@6@+"%B@@A1X@+|2 Q@@E@$_106^AA@@@@@@@@@@@$_1072M접AA@A$_108'`o@C@<*list_scope@11 +j@+;2 Q@@@@$_1091@@@@@$_1102M접 AABA$_111'`o@A@@1@+<2 Q@@E@$_1126@+G; U@@@@@$_1132M접AA@A$_114'`o@A@@1@+ 2 Q@@E@$_115x@@@@@$_1162M접 AA@A$_117'`o@A@@2@*2 Q@@E@$_1187>@*?@@@@@$_1192M접AA@A$_120'`o@A@@25@*2 Q@@E@$_1217b@*?2@@@@@$_1222M접AA@A$_123'`o@A@@2Y@#lex9D{(@%@@@.@@@@D@%Ƞ@@@*A@@?./theories/MSets/MSetPositive.vww@.* B@@ ww@*C@@ww@@@*2 Q@@@@$_124%@@@@@@$_1252M접BA@A$_126'`o@B@2u2x@42 Q@@E@$_127%D@@@@@@$_1282M접AA@A$_129'`o@B@@@2ߠ2@*I2 Q@@@@$_130!l@@@@@@$_1312M접$_132'`o@B@@2o3 @*G2 Q@@@@$_133'@@@@@@$_1342M접ʠ$_135'`o@B@@@3.31@*@2 Q@@@@$_136(r@@@@@@$_1372M접$_138'`o@B@@@3U3X@*G2 Q@@@@$_139(⠠@@@@@$_1402M접 $_141'`o@A@@3z@*J2 Q@@@@$_142!@@@@@@$_1432M접:$_144'`o@Bɠ@@A3@*L2 Q@@@@$_145!u+@@@@@@$_1462M접a$_147'`o@B@@A3@$_148@FF@F@@F@@FA@'_ [=] _@F @@+#[=]8@@@Ǡ@A@@A@@@A@@B@@@@@$_149%c?@@+A@@@9@@@@(̠+L9#@@@@=9K9A@)s [=] t$_150@FF@F@@F@@FA@(_ [<=] _@F @@+u$[<=]9R@@@@A@@A@@@A@@B@@@@@$_151%c?@@+@@@9q@@@@)+9z@@@@=99@*s [<=] t9D2 Q@@@@$_152*m@@@@@@$_1532M접6$_154'`o@B@@@44@62 Q@@@@$_155&'@@@@@@$_1562M접]$_157'`o@B@@@44@+2 Q@@J@$_1589@+'8@AA@@@@@!xC@A!y@A@"x0F@A"y0@A@@@@$_1592M접*,$_160'`o@2@@@$_16146@ 6@+9L@@@?$_162X@3typeclass_instances+P@@@:$@@5 @6:2@@59{65":@5+9,yE@@@@+:y@ 'Coq.MSets.MSetPositive.PositiveSet#<>#1 &@92 Q@@J@$_163:@9bsAA@@@@@@@@$_1642M접$_165'`o@@@@+X2 Q@@A@$_168:@+cFn AA@@@@@@@@@@$_1692M접$_170'`o@B@B@55@+h2 Q@@A@$_171:@+sBITAA@@@@@@@@@$_1722M접$_173'`o@Al@56@+n2 Q@@A@$_174:@+y4AA@@@@@/אB@A@@@@$_1752M접$_176'`o@@@@+2 Q@@A@$_177;#@+EAA@@@@@@@@@@@@$_1782M접$_179'`o@D@ @@56'5蠐6-@+2 Q@@A@$_181;Z@+PAA@@@@@@@@@$_1822M접$_183'`o@A@@6S@+2 Q@@A@$_184;@+Z_AA@@@@@@0]C@A@@@@$_1852M접$_186'`o@A@@6@+2 Q@@A@$_187;@+AA@@@@@@@@@@$_1882M접$_189'`o@B@@@66@+2 Q@@A@$_190;@+AA@@@@@@@@@@$_1912M접$_192'`o@B@@@6Ӡ6@+2 Q@@A@$_193<@+3AA@@@@@@@@@@$_1942M접$_195'`o@B@@@67@:2 Q@@A@$_196<.@:AA@@@@@@@@@@$_1972M접BAAA$_198'`o@B@@@7(7+@*2 Q@@A@$_199@*>e2@@@@@@@ A@@@@B@@@@C@@@@D@@@@&E@@@@@$_227'`o@>D@*>e@C@@@@:x:{:~@$_228'`o@>Z@*>e@AA@@:@$_229'`o@>h@*>e@BA@@:@$_230'`o@>v@*>e@CA@@:@$_231'`o@>@+ >e@DA@@:@$_232'`o@>@+>e@EA@@:@*ܠ2 Q@@A@$_233>@*UdrAA@@@@@@@@@$_2342M접>@*Udr$_235'`o@>@+UdrA@@:@*2 Q@@A@$_236>@*UAA@@@@@@@@@$_2372M접>@+U$_238'`o@>@+UA@@;@+ 2 Q@@A@$_239>@+Uq*AA@@@@@@@@@$_2402M접?@+%Uq*$_241'`o@?@+/Uq*A@@;B@+(2 Q@@A@$_242?!@+3UjAA@@@@@@@@@$_2432M접?0@+BUj$_244'`o@?:@+LUjA@@;l@+E2 Q@@A@$_245?K@+PU2AA@@@@@@@@@$_2462M접?Z@+_U2$_247'`o@?d@+iU2A@@;@+b2 Q@@A@$_248?u@+mUAA@@@@@@@@@$_2492M접?@+|Uΐ$_250'`o@?@+UA@@;@+2 Q@@A@$_253?@+UoAA@@@@@-吐G@A6@A+ @A-됐H@A-@A+ @A@@@@@$_2542M접?@+Uo͐$_255'`o@?@+UoH@@@@@@@@@<<<<<>>@+2 Q@@A@$_259@=@+ SAA@@@@@@@@@$_2602M접@L@+ S$_261'`o@@V@, SA@@;@+2 Q@@A@$_262@g@, \AA@@@@@@@@@@@$_2632M접@x@,\$_264'`o@@@,%\C@@@@;J@/;P@,#2 Q@@A@$_265@@,.{$AA@@@@@@@@@@@$_2662M접@@,?{$$_267'`o@@@,I{$C@@@@;~@c;@,;2 Q@@A@$_268@@,F$#3 &@,2 Q@@J@$_276AQ@,1ZAA@@@@@`C@A_@A@^F@A]@A@@@@$_2772M접&($_278'`o@.@@@,2 Q@@J@$_281A@,AA@@@@@C@A@A@F@A@A@@@@$_2822M접&($_283'`o@.@@@$_28446@@6$_285X@2@@@<@<>@>J<@<>@0>]<>%@0A@>2@3CN@@-CB@ 'Coq.MSets.MSetPositive.PositiveSet#<>#5 &@>2 Q@@J@$_286B@> ]AA@@@@@.C@A-@A@,F@A+@A@@@@$_2872M접&($_288'`o@.@@@-Y2 Q@@A@$_291BX@-d˸AA@@@@@@@@@@@$_2922M접$_293'`o@C@@=W< <@-j2 Q@@A@$_294B@-u1AA@@@@@@@@@@@$_2952M접$_296'`o@C@%'@=<<@-}2 Q@@A@$_297B@-6jAA@@@@@@@@@@$_2982M접$_299'`o@BUW@=!=$@-2 Q@@A@$_300B@-?zAA@@@@@@@@@@@$_3012M접$_302'`o@C@@@=砐=ꠐ=U@-2 Q@@A@$_303C@-޷AA@@@@@@@@@@@$_3042M접$_305'`o@C@@@>>=@-2 Q@@A@$_306CK@-4)AA@@@@@@@@@@@$_3072M접$_308'`o@C@@@>I>L=@-Ϡ2 Q@@A@$_309C|@-- AA@@@@@@2C@A@@@@@$_3102M접$_311'`o@D@Ӡ@@>d@@A@-2 Q@@A@$_312C@-AA@@@@@@@@@$_3132M접$_314'`o@A@@>@-2 Q@@A@$_315C@-0"IAA@@@@@@@@@@@@$_3162M접$_317'`o@D@xz@A>>IC@-2 Q@@A@$_318D@-3fAA@@@@@@@?D@A@@@@$_3192M접$_320'`o@D@A@@>>A-@-2 Q@@A@$_321DL@-|"AA@@@@@@@@@@@$_3222M접$_323'`o@Cs@@A?/DR@-2 Q@@A@$_324D}@- AA@@@@@@?C@A@@@@$_3252M접$_326'`o@C@@@?bA.3@-2 Q@@A@$_327D@-lAA@@@@@@@@@@@$_3282M접$_329'`o@C٠@O@A?D@-2 Q@@A@$_330D@-AAA@@@@@@@\C@A@@@@$_3312M접$_332'`o@C@@@?ȠA.@-2 Q@@A@$_333E@- pAA@@@@@@@@@@$_3342M접$_335'`o@B@?@?A@-2 Q@@A@$_336EC@- AA@@@@@@@C@A@@@@@$_3372M접$_338'`o@C@q@@@)A.@-2 Q@@A@$_339Ey@- AA@@@@@@@C@A@@@@@$_3402M접$_341'`o@C@@@@_A/0@#InL9D{(@@-sA!AA@@/5@@-2 Q@@A@$_342E@- wAA@@@@@@@@@@@@$_3432M접$_344'`o@D@]!a@@à@.:E@-f2 Q@@A@$_345E@-qJAA@@@@@@@@@@$_3462M접$_347'`o@B@@@E@-u2 Q@@A@$_348F%@- JyAA@@@@@@@@@@@@$_3492M접$_350'`o@D@à@@=F+F.-@-2 Q@@A@$_351F\@-KAA@@@@@@@@@$_3522M접$_353'`o@A@@AU@-2 Q@@A@$_354F@-3XAA@@@@@@@@@$_3552M접$_356'`o@A@@A{@-2 Q@@A@$_357F@-/AA@@@@@@FKC@A@@@@$_3582M접$_359'`o@C@@@@A>M7e@-2 Q@@A@$_360F@-/AA@@@@@8D@A@;@A@@@@$_3612M접$_362'`o@#B@@@A㠐7@- 2 Q@@A@$_363G@-AA@@@@@@@@@@$_3642M접$_365'`o@B@@@B7@- 2 Q@@A@$_366G>@-3AA@@@@@9[C@A9^@A@@@@$_3672M접$_368'`o@"C@@@@BDBG7@-Ġ2 Q@@A@$_369Gw@-/AA@@@@@9G@A9@AG$E@AFF@A@@@@@@$_3702M접(*$_371'`o@0G@@@@@@@@BB?5?88P8S7W@-ڠ2 Q@@A@$_372G@-5}AA@@@@@@GqC@A@@@@$_3732M접$_374'`o@C@@@@BР?s8@-2 Q@@A@$_375H@-5}AA@@@@@: D@A@<@A@@@@$_3762M접$_377'`o@#B@@@C 8@. 2 Q@@A@$_378H9@.5}AA@@@@@:VE@AGᐐD@AFҐ @A@@@@@@$_3792M접"$$_380'`o@*E@@@@@CJ?B92H@./2 Q@@A@$_381H@.:1#AA@@@@@@H&C@A@@@@$_3822M접$_383'`o@C@@@@C@(9@@.F2 Q@@A@$_384H@.Q1#AA@@@@@:ՐD@A@=@A@@@@$_3852M접$_386'`o@#B@@@C9v@.d2 Q@@A@$_387H@.o1#AA@@@@@; E@AHD@AG @A@@@@@@$_3882M접"$$_389'`o@*E@@@@@C@Cm92@@@@[.ou&/'x(@V+)3Lt)K7Q@[j{ZǷz@hDa) !N؄6K  !s'BinNums'Numbers#Coq@@(positive*@"s'"Hs,MSetPositive%MSets+PositiveSet!E@"eq4~(OrdersEx*Structures7PositiveOrderedTypeBits@ ڸ=BA!x@!t> "x' "Hx%Logic$Init?@( @%lemma;FE)Morphisms'ClassesR@=trans_co_eq_inv_impl_morphism&ni$A @#iffС)/RelationClasses@.iff_Transitive*z=@"In>qGD (&@0reflexive_properm+(!iMS&2@*respectful%WO? w\/O^/=@:reflexive_eq_dom_reflexive=[ g:83@-iff_Reflexive/h/)Mq((K@/eq_proper_proxy)fs/7VC K5k@(eq_ind_r!2#SGfy@#andЖw@A@Sq!HCAi:gZ#\Cy@&ProperL@Ӷ@vPKhv@+Equivalence~@A@>Ȉ!a@#elt>W}:@ʩQ5CC@)ReflexiveW ҷ!yշD'޵!T@i@"H0 "H1 @'and_ind14ۀж@٩۶@ݩ  "H2@ ȠHu).'%#*-۠! ClWC@)SymmetricFgqS&$R%!z(z1Fvt@8U@S<M8 C_Oж@E@M?OE"H3@M,I"H4#5J hж@b9 A°  ACԶ  @AA@AA@@@@@@@D!pذ*!@$tree>ԍ:@A4B&A= FDC!bF@#notШO@|S D+@&eq_ind J[(!e^^@@@@@@@@D!e'@%Falsee@@$Truey@Af7$@)False_induُ>C6-T<@(mem_LeafBITCB@%Empty?]H@%empty?R!lS!o!rY>ZN?`@$node>*"klHBrx- x@@C@C@@@@@@D+rĩc$g9~ЩǠo0ˠs+ȩܩӠ<נ7\өޠA+ ܩ砩B4C"r1@"r2D̠]ש_Tη"l1O"l2S۠ l ک@(tree_ind2Neװ)@(is_empty*eDm 534k@8))><@fA?$Bool+@/diff_false_true .C̷tKaOc e"y;;I=|@-andb_true_iff 5#dQ"&vXxSf$\ZU.0$é%.Morphisms_Propp@0and_iff_morphism Ƴ+))z@6reflexive_proper_proxy5us;0ii.,Zx#|$|'UW'xI*2 @>Reflexive_partial_app_morphism 2R,!Btm7<.d><YY0Woΐư $(}(#!ؐа"#,P0G}2r pʷ*2q$<978+t@X0IGH+ ;;@QOP3A1BXEEa;(>30cabS1jhi`-\qo&pS3aj7ff%3}{2*| mV/dDrs|Ixx5X0|%C%CEPOC<SIC!H*Q@n_W(l'$x@g_0ta`"a0wo@2ABBB@@@@D@24p@@@ >g&@@@M@@ w}CvG+@ة-Cac[@-andb_lazy_alt3 ܩC°됩k` Ӑ˰tiCߩc嵷-"Hi@*empty_spec4ीϩC@&Subset Bꀠ3&6'֠K @&subsetKJB3䠩YK!@)&55@,-!@-subset_Leaf_sZ_ !Cn#`"l'"o'u"r'@FCRӰC@HWyMN!>C9@ } ͷ6Hз4KrOܷԩ#FM9^c_K?:5rb5[o~Vi<_Ouf XET$JHCjZ\P$tv  Z"!p]l$b`[46ɩnl466%3q`5$wupIKg'&,~QH,,JJ*@-is_empty_specPIHy$$b~,f0']A__?/ oq&ؠhO@|~:!堩u@꠩zo@)W,i* eEC 6Ѡɠ C?"Cz,ڠ*"YC⠩u\6@+}d(29@-7>̠Π8l@8Ȱ,BI7 @۠E4@EհOVD$_tmpP"HlV"Hrqj~@UbZkYo 'ufy%1)Ip. ~"ݩ^#[DxPA9|C uYUzȵH? "CC㵷ӵSM57CCCh=?y<3wr>MACrک{+yw-0jAƩ3ĠTi{ Ω°xȰ ʰ# $ΰ oܠ۰- ݰ/# 224xשĠ;H,=F.$E!6G 8s kNNIޠZ$1,[,VS!22bb0K,$ʠ1^k,fcB1rr@/sנ٠){ JVm$CӰB@砩頩9N|:&R @W[F@.ҷ@ bQ<a ڷ@U n F@q%s,POt#Ho'0~W0$YL6?5ʷI O%QT*1?GǷ[ 1K˷_c9P7%C>2M@g5^&\(\!MBqB'àqSy,ȠvX~1ɐ@bҐO+KCQCCC|~ΰ ,Z@ĩ@&ʷ`: ~+2~@Рhx - @$!wͶ@$ࠩx&0.ѷ1ݩ/ \D@*"M-@ @>HD W@栩ROЩ LeǷ@G@X NYc@>sHoG0?<-% jC}yAwUdC<cLGeQĩNIƠCIls3<` z̩@%equal?pϷ CکyCwwv&tr(}~} C%piʷc7/b`:2Fi>4hkkǠ  ۠M۠\ܩڠ~t7 \ z=ϰ!% à @)andb_comm#oCݰ/cHΠKu6w:ؠΩ@#eqbP6xMyGI )'CD  # %Z] _ #Udt!e g.$F   2!ro/s #um(#y o4N6 ? 3#g I3' H <',p. T; 6 # F6@U8: - P  R  @@9iff_flip_impl_subrelation2VA [FKMOb_\ B eP g  {|@.eq_iff_eq_true |)' e R%' wo y g$ ] [ V/ h© r  $ e> { h= Щ ҩ }$ s q lEG ~ک ~   } E886  SW ]꩚ @>trans_sym_co_inv_impl_morphism'\|   @/Equivalence_PER/;   @/iff_equivalenceZ)Un a ҠWw   3 x D   <   r멷 &  !> O ک ʩ 3 ܰ. ް0!7  2O 8) :+:, 5 2g^   0    Ѡ H9 J;Q  Li TE VGV, Q N$ $  ""|   $ԩ   d  ' $   Ƞʠ l #  2   && à (7@,eqb_true_iff?sn }< 䠩9: & G ' A1nAHI 9 & IbU 9$ / - ( QAN ? fW , ? =E A ? G  s C A ggA7 Y F i3 Y$ O M H!#, U S& W U  & {{U@ @.0n5@357   3 4 > uҩ  թ Щ  P J 5ީ   KSUW   Tac  F o    | 7& ɩo    ° ɠ  f  Щ Ȱ   ˰    ԰ &   ٰ +   2? %  %  6   ) !   <  . Щ  A 3  D ` 7  Nߐ  C  C  T  F  [) O  O  `  R 5# ѩ  e  X ˠ͠  o d  d # u*R  i ( z/   mޠࠩ 0   w w 6 =  { : A  ~ $ $     E .)fe  : V  J 3.k  `  VV =C2 b  # #      W @;   HC* l    m l ک zn_ o  c LGe  f m W  ٩  ة" η  t Ʃ{   +- }  ) I13  K 9;   $ N?A  Q   I ة icKM    QQ~kS{i t J   IS  2^   Pb  T N    R m  Ġ? k   Ƞ oC  M     ˰   J ϰ ! ?/  ԰ & n@  ذ *  |  X ݰ / " " " @&eq_sym X 8 S )    ;7 - h  ? 2  2   D   GC 9 t  K_  =  N   i #  RN# D   V H  +  ZV L  $    ]X  ! TP      $ #Z 1]s)^ +# 5a.C  k # f 2 c 0 T 1  v 3 w  , 7@%Equal?]vd  #  3  v> 7  z %$    ;  +D #E   C   E   Y  ) ȩ ?V 9$ / - ( h 5  f 6 4 -- e@+subset_spec q Q >*x  N$ D B = } , I G  K I & }BB$  @ #  Ƕ@    ɶ@    ˩ W  @  ϩ [  ɩ 0         ש ж  ڶ@   ܶ@  \    @  g      @      1         # &       C  VE} + @,equal_subset !u @*comparison;f@!v "u' "v' = °  @'CompOpp > ^ C@ ϰ  Ѱ!!@@@@@@@@@@@D ((  ɜ*B-C  Ѱ   a$ z607 9( u  !c@ B!1 3 4'"  İ L2 N<' R@(      Y   ["b' ^ ^ @,compare_bool,( *R c + k  ) m mө\ 6 e 6 =ucJ Bzh M q%  # ?  3% T Is) M X M Tz0Q Y5 d d  W }  ݶ ~ [ N ^@'compare% j   g    \p  t {XI G E  ^ z  n W ~  A _     ͩC ѩ3R6 D  < C ڷ A  ?   ' J  ߩAIΐD     #א- ĐР#C R ߐU÷ 7  9 >萩   Űܩeްgک =np  ð   @'lex_Opp=+ ] C ְ&Z      1C 3  浩 7C 90 @0compare_bool_inv} vy@ @ зqѵ  Ӡ  C v $   ؠCCޠQ Ud F   ?  X   B;  젩_ cc T%  # gi ~B@ @ ߷J +C " #M "  :CC*z, ~O o       . J A 7fa* > 7 3 J  @ 3 6ѩ&$X;+)@-Pé42  X٩  ,> <   ǩ @>:@(symmetry0xjGE@@-iff_Symmetric!x~Ϡ]aNqUS>! '!w ,[ Y  , % ][#'_]`tahfQ : <T6 : 2tr-<< vt<> xv>!@/compare_bool_Eq;O⩷ U W#W6 Y% [[:v% _# aY:à@)and_assoc- 5iH L s7ðR ,   x B; 9o=idݠ@&lex_Eq/@ǩװ'g X3.~y @+reflexivity(ϓ/Cɠ<{@14%EF@I K #+N@Q%S*W+1Z[:     1!  ꠩a8%d8/g;Aj >. nBE2Щ.@+compare_inv7:Cg4X5@)yM9@"lt>yuBfC*o$@2subrelation_properJ74!A" $@%%# &Basics'Program@$impl7o @9iff_iff_iff_impl_morphism8C6 4886@$flip$???@$unitUe@AR@6subrelation_respectful>6z M KKY@0subrelation_reflv TR  VVTT T!vƩ(\y˩_SS ^\$U@-compare_equal+"yfQ4LIF<7,%bbb@*equal_spec3C@zɷ@)@(CompSpecg|q@X%ߩ@+CompareSpec!Q]@A@*compare_eq+ۢ 6 m⩜BԷ>C@*compare_gt+ˀC@ϰ00k[$')@"ct>e@p AhDlEpA C    I( K"$$&B W6Y0// ' , #bA&d;*==*?C50oN3qH7GG7 ";#{ysz!w}t~r"w'Z%$"H'_ c`@AAAAAAAAAA@@@@Р@@@@@@@@@@D[\]@s@P@@y~°}z |~oзm_s"bw%qe(|jY p s   %|Ҷ  #    \@O@i@@ǰ̐WVU_з+ ک ٩P "5ͩ Q İYX))а (NӰ#.+i%0&ٰ)4 Z  ^3@>y5B6 [# $J4>lAB ^?rY =HP I#LT;&OK}RS)V=a-72-C1./,0 ]je" `m#a8+B=+<9+D)g>HC.RID/?{.@&ct_xllU2%4@&ct_xggU΀'c>>>q<{<V|Sz2\G61ķH`9_<EcmhxgdvtjC3X Ymqoyto7nmq{albw?jhf{<==z@;:4lalljש\ ȷ_ ˷ߩdyge|m4poĶw:ҩBܷЩ שrpoiGԷ޷ 26ݩ(éc8ķ-ɰ!Ƿl$2=Ѱ)*۷հ&'԰l  @""@@ް =+Ӱڠ .ܠ1ޠ_ F 2 k˰Zige!j"հ%dneذ(gz+j,߰/ _L Z ml6 R }9 U:ZYwj?@A@@W@X@YUONз IwL$J!H{b(FQYR,D)B+@c:097Ze[1533E04>$/bo%c:-)+D)g>P=8+@&ct_lxlUq*1@&ct_gxgUj ^;;;n9x{S:PwWBuC[8/\6H:2ŷI]4_2O\`0P8QfYWCV{VV2VTTnkr]LGڷ^vsuzfg{}z~nyoLsusIJ ICxmxxv  i"oĶ>ط̩Щieb>˷շ)-ԩ޶B+ ^$/ðͷǰư^@@@ΰ )LJة@]ܩC۩Qǩ TXHGjc X1C5SQL?` 8 ;;ZM"#$@@:@;@<541з,Z/-+^E )x4<5' % h=H>!pERF ' J!3 6\FP~S+(Oi/MX`Y3$4  ^!_5 7K748(fs)g>-/H-kBTA! W2y22e0o0JpGnN9(#w:xROQb`VBCW[YWVZdJUK`SQ$PsPEPPNhelWީAiXpq]ީGr^rةtstqueܩf{zlj~A~ϩ=Y8pppnwax>}ϩg~6зĩȩa]W}6ö@ʶ@˶@̩ \ ȷҷHK&92/޷;÷c ǰ+: ΰ4'p@c@@@ٰ hз4 8RB["Jc,  0$R'#V=!p,4-]2q3  c|8E!C/9g:8kAB3s HS1- P ? Iw$!H{(Q%R,-W.X.@/]j>;!h!e!T^96]=(f=)gA~%B.l@w0t0c@j@k@lFEHdc555h3rLI3©P)yPO>(|S?}S0TxV[F0XGD]_VGcN OdfcTUV@@@@oqnз]wt{fg|~}opw·x~~}}}Y}{|ʷözx|tɶvpxnŷϷзΩTضRP3J U"1-շ߷ 64ީ20.,0ķ*@f,7>;]"HL&<ӷ%J-   @@@ܰq$P@ ö@@s{ذߠ  ҩ % ·"#$ǩǠq렷+ͷ-.<3շ5 ;ݷ=ɩCE F   L N#թ TV+ݩ&ǐN ^ L # a c' %i iB;C lFEx0V{@P45( xSS0:;F ~* ķ('C@8a,PKL? L2Wݠ©Gp:`Z[vKxH1f=.U  bHnB4nYM:9n@fpqd  Ez=\Il 8430-# rĩb1(y ɩ +jR_]%! @!OM"E ک <^c$ӷ | %}x  ~ ' &,۷  % @8C  R 5Md9  [jRx ?א @ĠD͠  GߐV HC  l_ZOT  R~ Q  İ   ٰ x   Z [a   а    cq b  Ƿ'װ '   j   k kз0 0 r r շ5 5    C 8  )   |   C H  ?FC@Q("F,!Pwy@2pointwise_relation-rӀ"󩚠@#allЖY˩@0all_iff_morphismUѩĩ  ҷ}5@R67* z ];@X<=0  ѷ@,~{^`DE8  GH;   ܩ"LLMMNNO.@8per_partial_app_morphismp I   '@.eq_equivalence()'  5   /@,eq_Symmetric9^ =i@.compare_x_Leaf Sopq  > y i } & ^  o   # h K  ũw    + oU@/compare_empty_x\ $fYe  @f#s''.Q& : @3V+ 6 ? ? 9#l''2#o''#r''8 ';=Gj?԰ a b V}I  3  ݰ̩ j U@&ct_cxeUdr = ?$T" V@̰p b a  ~ܰ.r . p p  1 r̐6 j> C@F   #*#H''R!C R ,   V- / \)]2 4  # "<@/compare_x_empty{$(&i86HC@n==C EM + :tCCI K?uC@'yRRN ^ E{EXCT WZ \{ Ʒ/ɷ-kHIַΩc K21V  YY٩n  q  _N 䵩 >   k o} "h3Uq@f |S  M )2$s    Ʃ ZaP)uն@  8/,>D" w $     #*  ( #x  /Q/4C@ǰ 7C@OO̰ 9B 1MàU ]өTWCհ / bEGQtIް^  k^R  P G H  g֩ tgZ q  n [ Sީ @kf c [h|Qcj &  }  +  ls /  0  q( jdjݷ=@h  Bd  C   IJ   ak`^C@$. #C@]'9[ZWU ~ fdWb@&ct_lexUò    ' A < Š c = : E @  ˠ/ B ? J E Π Ѡ5 H E1@/ct_compare_boolt#ހ=!  w ƩCS xD@+StrictOrder.[@AK!mN"m'QUSéH   pst[\ط@@ ۶@ ߶@ݩV  # ې@ @okl rpq@@  @@ @ Bk␷@@ >>  MQ@5Equivalence_Reflexived;'e;h<>NCll@0G pD0/5#sG!uI8v5C@EA7<S>F| ?}@K@ :MZ W0X [H 6HH+H{@7@@; @?  1h@D  m[b{dfCCc *ig`h^k"y'n"Hyd`stg5 Ȑ!Cð^] "b#Zp5ũ )ho\@өBũp@4iff_impl_subrelation5ݩϩ 0rp + RuoWr <~| 7 ^ Ű/e9 g@ Z@t8@w@zaJee"aз"x0 7  yZrv˩A٩ǰV]XͰа >t԰$Voٰ)h,,kް.m2q5t7v8;zFY?=qDcII  MP ZݩTU  b`NQX3 \ȷ2Oh9$Kb%c=8G>([^e@\=Z Dm 22 pXr5sI&v:VTL)yv/||*7\@.~9^2^AG5A3J:NVSR RjCjip 3$sLsrOQ\e0}Vz|6+F7_s@Q@cnU@h$6lW ©$7dCv_(C2+1*+Cﰶ@@Ω:ߩ<5;3.,ũ}$Jm@-eq_Transitive(O0\@0compare_compat_11ZjiiAAl7ᐩW$f됩aƩd˩{nrqqi  s@,eq_ReflexiveaN3x)\e&٩yG"~ M 2C!0YXCFWX4'6V$8:@,PER_morphism q$A@.compare_compat él Y [##O&ͩ$ $XZ,[j6l!44"@cL:(C  C)y  C@.02 i69hei<kk@,positive_ind?UзDsptwD9PK@#add>Q1kC@"or @K`Md`#IHx"y0g9\s#QtdyUxv&Jmp41vwxʩ{r_ԩˠIuɩEyީIЩ{$qojڠ-XةT3[*Am^8÷f 3@k&@ner3 @&or_ind"&!'~AŰ.ʩ/Tȵ@ @   !f988:<C֩صSWƩްmGC]1*n/ o%'赩**+ --@/@0+*C 3o sӠ:CnqCܠQHƠ)F TYPK\d[٠*YՠZ #ne+` $!sj:h/){r@n?QР?@ @9y* %EgFB|YEOb$~S dCz*Bjj"}24~^*dwwv@(n#yC ? %||CIl_37/;tƩg7 [~ЩǠ_é?cةϠg@L @O<װwueC %@@wCC_v' e{OywQJ@Ű) ʰ *mͰ@5O  R  Tܰ<j[ @7JΩ8/*C;2- C̠A84WG>?::۠PGXCD\XO`K@̠ @ϠTlOW-C^vX2Ci""K 8&f~%i j_?~~ f@6C-|@C 0yoZw$8|̷ε@ D @+^   w dRtЩQ,5iA2YImCnnC;^%!Hfz7}Orĩ9M5zQ/<`թ̠JʩF@O @RInڰzC!'°CCgzv$xLv tNG@İ S$@)Fx ߷I  KӰ  3R +7ĩܰ.%!CC5,֩/*Jw& * -ΠC:n6 7-s }$nh  aV#W` @^ @ʠ  O\dZ{<|U  Wq; Ztt>P \O{{6R}# ` ` 4C J"c$ 9&$ * j`f >C > u8.zW9pK16 s s tiI IGH %Z JCQF J4C+z!>C! !.wt .Ʒȵ @ !>!~@$' (!X     q ĩk!!`0 ʩK!&/!c;wC q!cC!0!SF; !!!i!!=!`Am!!f!E!z @l* n@-!r!ss tv!x vdU!|!S!C  !!!!^g^!sC!C!h!ݩԠ5]ЩLַN"LJ$!@өU!!϶@Z#ҷ!۩M!! ط   !!!&!!C!C!! \p9!!P!sH!!  {!"!Ԡ!L@ ȶ@!F  ̩" %!K  ڷ !C!!ְ ( 0 m .o!h@%@(!d)+!g4.!"C!Π! C :K 67" " " !C"9"" "8!5"9!ڠ!Π"!H""B""!5"H"""G!D"H""Jз""M!J"N"Q"!" e \"*"%@&removeo@ E ^Ϡҩ )ַ"1"`"b W P"d"g"4"") { r"@ o :"D!n"r"u"BϷ!ǩ""9  <& ȩ J"T!@ G I @ L W N! O! Q"d!{޵"i UC @C! !v X X! Y!~ e"p"oC"<XZC"@"c  Pd   % #  !"  _ " "[\  ĩ"S y("x ʩ  N  "s"`" թ ̠"t ȩ9m q"w$"m"k"f" ߩ ֠"zl өDk "Ho"9"zi"#@@Q j"!}!~!˩ L"2"  !"y  ""y"ǵ"1 0"""v" "ΰͷ@"!p!vީ %"ѩ""!!k  !&C C"շ"?%!J4!! Ґ"R  ֐"ΰ#!!"㵷"M L J# #  " @ @## B!!""ܰ# C C"C""!2t!#pC!+թ v"@(mem_nodeE最"#|C"͠"!B!9!6"0#4#7# " "ؠ"!M!D!@{! #"@!!  @! !|!"!"!#%"<C" "5!!"@!"=!$v#/#.C"cРeC"#"!t!k!g   !x  "!|!s!;!#!4㠩#3!!|k !x!Ao"@xr@}!Lw""z#Y"p #]o"ol!6!'C!6C" "l"w"t![w#f#eC#2#U!+! d!0ut2"#pC#<#_!!8o! ##q #! #E#h!! ?! h!xl#"@!u (!w @ +!z!i!|"!}#!#"~.C" "!!"!"!c##C#hS =UC#l#!!ؠ |_! !Q!%!O!!M!'#,!! !A#6##j#!!#! U#!! {!!g#4@v ak@ d{!p#2~#?s#˵"w 5#k"i!!C!C#: "{{"|"!͐s##C##ǰ"/"  {e"!#!{1!&#h#2C##Ұ"$"!,t"#$ʷ$" "$$###߰"1"(#m"% !n##$$($+#!#!}#̠#"A"8l"5 ~"m$ #@! ! @ "" n"#"#"$#1C# #*" " #5" #2"h$$$#C#  ŠC#$"i"`˩d"] !!!"n!!#"r"i!ɰ $:$9"4"x$"- ܠ"6j#@  @ "A##$N#ez $Rm#dj"+"C"+C# #a#l#i"Pu$[$ZC$'$J"*" "?!,jB-$f$eC$2$U""HBr"#$$$i!$!$=$`""Aq"!"pq$z#@"m! "o @!#"r"}f"t#"u#"w$#&C# #"|"|#"}#"j$$C$`ȩ!5C$d$"٩"Р1p""H""F"ݷ"D"$#""ؠho""$s"!He"p$$|$""$}"!U$$$$$$""$Q"!^$!`$Q$V$;@@!i"ÐW$7#*##$H$°## _#"ϐ$ǰ%$ܵ$F E % % $%#$# "0$C"C$$O# >*# #"n$b$ﵷ$Y X V%  %" "A"AƩ %$%$"C##$$%&"'C"C$C$Ǡ$#<[#-!5#5 %%C$Ѡ$#F#=#9 %9%"$"$ڠ$#O#F"W#B!# k%$@# !#  @!##l#$#$#%'$>}C$ $7##$B#$?#&f%1%0C$!ҠC%%$#v#m"~e#j """#{""$##v""ְ%G%F#A#%#:!#Ck$@!@! #N$$%[$r{ %_o$qm#8#)C#8C$ $n  $y $v#]w%h%gC%4%W#*#" #"# ,w"-%s%rC%?%b##"O}#%##%%%x%J%m##%Zi#"$'#~|%$%%%#%6# %Z%}#ϩ#Ơ#©"3 #|%%@#"=# @"@##}#%#%#%$CC% $##$#$#%%"%%C%"TC%%##ZB# #h#<#f##d#>%C$#ķ#$%#"h@#|%C@"p@"s#͐%A%N%ڵ$ D$~##C#C%I $$$#ܐ%԰&#,%%C%%ذ$*)$"h$#ͩ#%y#%C%%$5$,֩$)%#&'&*%#%#|%ˠ%$@$7$3"n#&%@#"# @"$$ $%$%$&%/C% %($ $ %3$ %0$&&Oi#g&$&#C%X"ŠZC%&$i$`q$\###$m##%$q$h4$0$t&$)"ؠ$2%@i"c@"n$=h%q%k&J%a %`$'$C$'C% %]ss%ht%e$L&D&h#&Y&XC&%&H$)$"W$#pg%%$m&bC&/&R$$+o$ &&d#&#&8&[$$#$#[$k&u%@$h#$j @$k%$l%$n&%C% %$s$s%$t%%%%$b%$d%&C&YD#.FC&]&$ҩ$ɠ#$$A$$?$ַ$=$&$ک$Ѡ#$$ݩ&l$#A0&@$#GQ6@#Ja9$&$&#W< &$%$$${&$&$&C^5&  %aF$%b3&C&&$"$#^HM$$ҩ$&J$&C&&%$$$ &C&&ƶ&&%&&&&ѩ&#r%$̐&'&'&&&& &$ ѩ&&$&$&&&&& &s$  &&  && &@(add_spec˸$&&&p@ @&h 5  & '&&$%E X%%F$'%$&m$&s$$$Ӡ&':&&'C&'<&&'&z ? $'C''@&='A&⠩&֠''@)singletonS& 'Q''B''"'Q'$'S з'''V'Y'&'J''&'%n%e&'.@%union?S':%g 㠩'(%z%q&%l'+%}%tV%o'>'m 'q'>$˷&$ö'd'A''6%%)%{ '<%%/'S%'@%% %'U'u'R$߷'$ש'&'I%%<-"_% 'P%% O%'e&@%X %Z%Z@%[&%\ %^%^'q& %a%a%a'tC'A'd%%2% $C'H'k%% O"`% #s'1%%%ķ#s'2%'@'|%Ω%% <%'%ө%ʠ&'%ƶ@ C% '  6% '' %  &% '%' %%|%m'%% ?%'C'%% %۷&''C'z'%%=% ]'%% %% C''%% "{% "s1%@%&"s2%D''%O'r%G''& &  r'& |'&&   x&'Ű&& '& '۠'T@'ϰ&!&!& '԰&&&&%ֶ@  %'V   %''Y & % ' '' %\'%'`%%ϩ%'&9&0&+'C'&<&3 &.'C'̠'&A&8 +"&4 SC'Ԡ'&I&@ 3A&= %"b0&P%''䠩(&Y&P&é&M ɠ(&`&W &R(&c&Z&U($'''(&h&_&̩ &\ ؠ6(&o&f &a(2'(&0'@ ' pC 'RD k(-&&v&q(0&&y=&t(E'[  (GC((7&& %఩ &@#orb 9& (F&&  &(J&& %&C(-(P&& 4 %&(f( @((f%(%((i(;(^&& 7B& (d&& =({&(h&&&(}((z&(*%(N(q&é& J(& 2(w&ɩ&&('C(\(&ѩ&&é ?C(c(&ة&Ϡ &&&&ܷ&(@ M O&@ R& R( S E&(( &'&(&(&&&|(&&'Y(q&(C˷'((C((&&& j('& && C(('&  &  &J&'  &L((&W(z&O((''  ' (ǰ'' !~' (˰'' ('(ᠵ(Z@(հ'''(' (ڰ','# c'&ܶ@  &(\  ! &((_ , & ( ((&b(&(f&&թ&Ơ('?'6 -'1)C('B'9 ~'4)C(Ҡ('G'> #': LC(ڠ('O'F #'B&'S&((砩) '\'S''O ˠ)'b'Y 'T)'e'\'('X)$((()'k'b'ϩo'_ ۠3) 'r'i'('e)6(Š)' (@ ( tA(VB o)1''z'''v)5''~')&'z)K(a  )MC))='' l' )C'' r!')G'' v&'C)*)M'' |'))_&)&))b)4)W''&;' )]''&)t' [)s))p&) &)D)g''&' ( 5 g)C)O : / < @ B'"N"A)"O 5'"D)) '"G"G(')') ''{ :C"< 6)C)p - P ] /C)t)''&'','''.))'9)\'1))''&' d)'''"`' ))8@"m p"`'@ s"r'"c)4"s "f')ͷ)7 "i'"i("j)ѷ(':)')>''')Ű()()C%)C)$ & C))Ͱ((''(a'b(#_'d&@,orb_true_iff C))ް(0(''8(# )(6(-'>"() C)Ǡ)(<(3'D(/ **)*C*0)*!)**0)Ѡ)Š*(ک {*<* *-* * *<**> з**A*D**5*)䠩*(Y(P)*@%inter?P*%(R&*"*Q *U*"')'*H*%)*(l(c" (_&*1*Q*.')'**%(w(n"%;(k&*=)@(0&ض@(2)(3)(5(5*H*H))V(8(8(8)a(9)^(:*M*MC*٩&C**@(( }9%5('ַ(S('ص)@(L&ζ@'(O)(P)(R*e*g(T)}(R(@(1*X((#(*mCڷ) ){(](])(^)*s*rC*?'C*B*e(( ^%8('(x('**{(*+(*O*r(ĩ( ;k(')**@(}'0@'2()(* (*()((q(b{*C** )(()S*C*l'AC*o*((۠ Ω('(((%(**/(( [(D Z' w((*('Y*(( "(*(( %(򵩷***)()r('l*$****)))s )'t**d**N@*E) ))*V*а)")")*Ӱ)%))w*)***C**ٰ)+>)')# (? @?>C**)5), )) *+' ++*(*(}+**͠*)B)9")5'++'+(*(*ؠ*)M)D")@'+C*'C*堩+)Z)Q d)M())^(*@)'@')*)*)n+,+.)*D))(+)q)h)+)d+5Cw**C)%z)%*N)&*K L+;+:C+{'}C+ +-))v S)r(·)?)(ķ+e+B(Ϸ*(ǩ++9)) [)~'x+P*@)C'l@'h)F*)G*p)I+^)K*t)I)7)(?+aCu+a* *ox)Q)Q*zy+eC+2(\C+5+X)) ~)(`)(ﵩ*)) ŷ)q)+D)j(+i)) #})+m)) &C)+f+S+v)ȩ)*2)(,l+g$+]+[+V+})ϩ)Ơ*3v)é(4d++$+e_+@+*l **Y++))٠*4*L)թ+)))+++C+v+)9)ܩ(MZ)  C++)) ) ++)A+d)9++++))))(bU+à++)M+p)E++* *))(mP+ΠC+ (sOC++İ** )* X)Y)*V)[+U@)ϩ(N@(M)ҷ+O)ө+\)$+9+R*)$)ط+)ٷ*$++C+ (JC++*2*)):{*%7)u)*65)w,+)+)z+ɠ+*>*5)Fz*1(I,+|@)(D@(C)+v)+$)w,)+')) C$,+|+ $**++$,C+ Ω(=C+栩, *[*R)cw*N)*_)+*c*Z)kv*"*f+*(ʠ,*l*c#*^x( C+,!*s*d(A*k)|H ?)~C,,**|*s)G*o ,@@C,o,<,`,=,@,o,,,G*+(,{,H,l,I,L,{,N,}з,Q,,,P,t,Q,#,F**+⩚,X@$diff>,d*)**\),d,,,d),),,g,9,\**$O*)&*l$,v,,s*,#),G,j**$]$'*)!!,+@*v))*x*M@*y+*z,*|*Q,+*~,*'C*kC*U+ +**X*+*+*Z,(*q,C,f%);'*)C,l,**ؠ̩I'* 'u*%'s*'q*',!@*)N**@)S**)*,!*,.* ,+)$"***˩ +*,©&+**,ĩ +**,ǩ,+**+ک*+ **+ **,͠****,**C*C,8+*!*+*+*ː,,,C,#)w%*ѐ,C,,˰++'+ #*a*+"!*c-,*n,*f,,ذ+*+!+)*,󠵵,l@)*@)*,h,u*-r,k,*,,*--C,Ӡ) +XC,٠,+N+E8F+B '*'+S'*,+W+Nũ*ĩ),$q++`,+)Ġk+i- ,-+m+d++`)Ѡ++-$--,-%+w+n+۩+k)ܠE+6-@,Ϡ-,@ ,,TP  ,_Q,\+C ,m+Gl-R,n,N++,+C-TC-!-D+?+)+R+*C f DCAC-.-Q++ +-f---f*-*--i-;-^++%7+*+n-x--u+-%*-I-l++%E+*"-C-T*)+C-Z-}+ϩ+Ơ+ (b+(`+ӷ(^+-@+*;++ @*@++M+-+-+ -, ++ +!+ +-+ ++-C+C-,++,+,ǩ+ --C-*Z+C--,++ +C+,+E--+P-s+H--, ,+*p+ʐ-Ԡ-M@*z+@*}+-I-V+-S-L,+,-C-*++C--ܰ,.,%,! (+q(,2(+s-x,6,-߷+,9-Ƞ+*+--Ѡ-,F,=,,9*,-$---ש-,P,G, T,D*,.---@ ---#  -8$-5,ߩ-, .+-C., C-.,n8,_*Рݩ,*۩,iOة =QC..(,z,qW,m.m.:+Ƿ-+.`.=..2,,{+,w*۩,B4.L.l.I+ַ-+Ω..@,,+,*.XC.(*,WC...Q,,+, )6+)4,)2+赵-@,\+,^,i'@+,c,n'-,e-,f-,h .{-'%,,.8,",.:,.,.<,,.C,]C--,u,u-,v-,'%..C.YD+.F,C._.,ԩ,ˠ+, ,,,ط,..,$.G,.k.,,נ+,ө+D\..@'T+L'G,p@+O'Y,s'J.'Z.('M,v.%.-'P,y'P-'Q.C. +Z ]C..,,,,),A)-),C.H-,,,- .,+m,ǐ ...İ--+xo.Ȱ-&-- .$....̰-+.+-+ +\.+u.u.+m,ʷ,-*.+*+,..i@+*+#,,@++**.k .-* ...*.|.-H--9/ .u,.,-N*,,-?/,,C,C/.z.<.)=.&.., ,-,勺.,./ -[--L*é,/,*/!-/!.@+Ġ*a+ƠQ,@+ɠ,+ˠV*h. .;Y*k .FZ.C*m.,,/5.-#.2-"--C-C,/8..Fd,.Qe.N,.7*z/@,4/?C/ //-{-r+O-z, N,,+)C//9--,-~ /OOC/~/K/o/L/O/~///V.(+.x-Q.//ZM>/w@@//g@.@./!Ȑ"f'..-R.....-U./N.ݷ//p,/,/%/U!j/#acc-@$list]@.ȩ/u.8$List%Lists/@)fold_leftɀր.D./q//@%xfold?a.K/T/S/"/.M./z/@)xelements/*/Q/,/ҷ*(-. ../ -///3-X-,,7-W--U-/,/_.b:/86/.O..Q..h/$.S.a/r/A/2.U..l/C/j.dE/CA--./.I;.K/.f/ǩ1.M.`-[.y////PA.Q/ .l./T////S.aJ.c/.{7/)u/ש.x/@#rev>iO/AJ.o../g)u/%.p/а.i/[.k/'.H.'jB/./RP/'//-.i./5. /7!/:./.~p./<. .h.../'/..x./D.e.)///)~./J.0 t../4)/ð6)0 C/../R.0|../0C0../X.y00//../`.J@/c.0.0"./e.ĩ.'8/ݩ/߰/)S./k.0*..0M)ʩ/O)0.C0../s.02..)/05./w.ܩ/-)c/C0&. ./}.* 0?0>/0>0m0:/00mé00/9/;/0!0F/=0$//0I/?/0%/з0y0F/0(/0O0N-A$4C00N 00Ut0D/ީ0T@$fold>i/0_00`//󩚠0]@(elementsa/W0h/Է00g-0-000a.@#nat@#Nat0h@/ `0@(cardinal; /.@&length䷀000-Ƿ0%.$C0& -0.K.-3...H."-6,0ҷ*6...071...;0>B;4*{5/000020...O0#/(۰0ة'0(0ȩ)/(0.WQJ/HE0050*s0շ!nc0ưe_+"0ܵ.jd]/X n0Ѱp4l3/n3:/h.y=u$~000w(PeanoNat%Arith1$@.먩 7${00#/Y@/@)add_assoc7!+H5Jg;%Peano1@)plus_n_Smw;21QR*C1x(`1Z0*_1 *a/ha©1%R19/#\fǩ1*Wà1@0K /HM85!*1r1*u1%*wC18שѠʐ+ƩƠ1~+1U1T1T11P11Q/@ݠ/שѠ11M01b0nA /puw@(add_commbC1b1ڰ1z.1|C11w1j $1/@1/õ11.1/111811Y1|/Ω/Š11@'xfilter1$1t11/ȩ.9/ǩ1/۩1y1@*rev_append 0/Է11ҷ1S1ӵ1*////1x/.M/1/10/1*@/.W/ @.Z/1/1v!//1)/16/0ة11(01ŵ0///101-,/1C170/!/0/0 112C11°00 1٩F1/10 .z> //[.T/0//^.¶121211Ӱ0%01W01q10.01۰0-0R012121u030*1/g01/G..1נ0&0|0 n01/W/0A1Р/.10G0>10:10K0\0=0/0(2<1ݠ20R0I2/01+..10ÐE0)01+0O.20b0Y2&0U20f0ϐ2-0Z2,2*2Y212 0r0i260e.֠.2&0x0ᐩ+0l2$2 2 22-00v2D02!*20t.堩2500~1 0y2800퐩*=2Q02P. 2@001+012( 22]+"h2-2+1..?2O01 Ơ2h/0C242W00/W0/ 2]00/02q22W2D2g002}e0/2m0/702o01*+02`$2V2T2O2v0ȩ021.1=*Y0/.2~0Щ0Ǡ21C0é20ԩ17*e202/: 20ܩ1?2(,60212r 2^2,;"2w2u2=/I,201T2/0C2~20000/W2000 i000/2ŷ0120/e\211p,200/Q21220ة. C22İ11 01 /z2ʰ110$-12ΰ1 11202C22װ1)1 2[1-21/2߰111(2-1$2151Z1'2C3'223&23'2Ƞ23m223/2:G343333&@2J1G2s*SetoidList@+compat_bool!!|2U3,33@,xfilter_spec0"I3220_=3N30A3Q023P231f3$@'xforall>Zn1]3,3[@/X31p321d23b2@0B383g@1)3*1|3'#1p@3@3o@113213"1v0O20P3F3u2_172]161$13<13 113SC20IC3!3D1021l3Z13X3@0F10۷0D;1110޷0B333/3R1>3 3i3h13f3@/3X12:1331Y10M0H0C0I0D012lyP2o301R2q3X0ȷ1w13J1p3}3@3o110@3//@3a13s1ũ2(I11r1ȩ0f11˩3Z3}1ϩ0m3k2D3M-)111թ G0)#11ة3g31ܩ0z0|3z2S3[-B1%33s3100641ݩ0N31131:13$333}3100 l.<2n,10_32 132213FF3T3H0L330m32:232[23$3330u0w3ǰ22 3ɰ2;2 0G30?333ubb0f63ũ3534@0-3װ2)2U23$333034@s3222W>32'06,30130.00c#0Z333%9 3}}73/C33͠144/@0"32D2263$3330044 4:@/32O2t<42D%0@ 0U,30P30M00@0y333B@4++0{333-X/a3@00àV#>@4$4S@042h22Z"3 /@%4,4[@42p2S0430032c4"2t2ϐ32h4930/@0ݠ4-2 10ҩ2Y2u4D4s@04622㐩 2|@4L4{@04>22ᐩx4W24T4@4F22{14[003 24J22䐩-24a/v$.4b4@04T22ˠ4m2.$4k4@/Ʃ4]22Ԡ4v24s4224@4g22184|4*4/ӷ4+42433!24o2,ܐN244430N.C@0O4y2˩,搩3@./244342ԩ2ˠ43&2.5C@42٩,3N.32ε4 423I2/223F2N242 Y0-.242442 `0V3 .w24C@4233224&43ϩ454+,@43212 12433o+4R22223 49@2©433l64234Ű3 ,,3t3T3 44I@14ϰ3!3F42+3-4Q@213e4540.T454n.ay1@,orb_lazy_alt+$[0*i11|30-C4Ġ439Ӱ3043,45*@43?36,<315C!5244514Ҡ43G2=395@'For_alla5ۀ54S53R43D55F5745@,xforall_spec|"5"42eC5T5!2G5W245V453l5*@'xexists)4t3c5"@"ex @5h5:5i1ݠ1g5-353q45o4@345u5G5v1395:35*g3@55R513DE3D43E4n5Z54p5(A55^523P5Q35b35h43W5X35IA342o@.absurd_eq_true! 2v434&5e@&ex_ind 5{563l5}54743pG3p43q47555C5R5u3ǩ[13V5552-2y}3:32wh393з3732u5A55b53שk33ɩf5ȷ55ɩ2=1ǩ53ߩ4y3ѷ5O5ϵ33 V2}2x2~2y5a533۩~43335|3}5߷552T5534_j333 k33554 r5ĩ135554  { 3x54454&45$5555ð4  2253;4 5ΰ4  45а4" 45335s55 5ʩ55ܰ4.G45ް40F4!5$5555484)54:4+2f@/or_iff_morphism3# 6!!2c555#TT! K34G2544J5٠40a55ᠩ64V4G2.64Z4K5$555ɠˠ64b36h4U,DѠӠ2ʠx64lp4]4L2462882665:RR1P2,66i6h6:6i2ݠ26-444q6$666 6t6F6u2̩694442,6 262U*26"6 5,r6TpX676$i%66Y622|6L45&46;$616/6*=366g63 2J6Z454+uK2,6C26A2xK26E6C6 M}6w1126G6E6 315@(*i(Gж@N6663%3F6u4ǩ59a4'55BAAAA@@@@@D@1`6·66é37i64٩5</4669@K3B964b4թr6Է66թ3I2645N64}6߷663T6443u63q=54645UW461d6466+BBB@@@@D@6663n3655k5b57673x6Ȱ55k?6V56ߐ67 076736հ5'5 36267V556ڰ5,5tQ@5 066[0@7"67#32Щ6595^E65.N667-0 70-076C@Vi7 @775,5%79@w375T6 5E75V=5G7F77G37 5]55Q7P7"7Q3Š2~75g55[7,7+7Z63Ϡ375q5Ԑ645fe)԰)#7i#7>7=7;7j63ߠ37/55䐩645v9'7w'7L7K63|3 }7B556I5%77Y733"7L5557e2\y4<475|C777Z5@s5;77o74u7tC77q7#77D7g5M457x@&Exists r77~6}7@,xexists_speclm774з757©75@$prodt@777@*xpartition,Gz4٩A774ߩ77۩4}7i6.7797ߩ577%757'7746575h5<4*5g55e5?4I77-%777ǩ!77ĩ7877476L77зW75567=5627ة177ԩGH78 466\2 777dL>77T7754V78466j75:6W7ݰYXBBB@@@@@6bb7'7"lf7a67*"rt8"rf8d8857ũ67485748o88577177715F714 J71ĩ78%8%775D756G8@982/8/-8082825Ӱ6668=5ذ8>8m56665 8F16L8E8E5f8O#5g5%'3lVC8A82p8W8T8TȰr2u8\7{6xȩ8Nqj8ci8`h8aunfd8db8e8g8g60}8j8j6 X6|U6 S6~O7M6ީ8d8yv8vt8w8y8y6G686D686886"6^6$6^938C8x8F2d8882i885C8888@)partition"%7թ888@&filterPl7ݩ88ԩ5v7'888880 8878;6,{6@#fst 888 3Ʃ(8,9+78@0partition_filter p788Ƿŷ87ĩ8P8 69,7@#snd:-8(8,T*98۩696a j9 ht898@#InA q9@998 R3 9!9 8888889589(84ڵ 9* 8(9,8v@93998Ӡ8J98K589:86@ݠ8T98U578$E98 @49J9688989 8_@8f9#8g5Ơ99V8L7B9X9D899,9+8o8 4@5Ѡ9!9a97"M9c9O98979)#Hx'7)87'77W9m9Y8679AC 9n Ҷ8l9p9^9t9`9H 7\89KY89L85W6;66з69p6766ӷ67s 9 897:7V79)v99x9a7@9a İ8 |8 Ȱ9D8 ʰ8g889l86e9_77609t6,9v79Q9X9E999|'999L8÷98ĩ6#9s995^9a$9W9U9P999)6999+[8ҷ98ө6299945Z9Ad8۷98ܩ6;9776\96X$77 909q 9]1q999u999 İ9 Y9ɠ9 ũ9999$999}+ac9Ӡ9d999X/39116 999V3,,!@(InA_cons=999  99yݩ9996s9ð:9(6'9$999##ک9"99#69Ұ:9l6*W0 6&,96!9606J999209]],VVK91999e@F(v`@Š9<99=65%9 t@(Ϡ9F:9G65:9/@:'93ޠ9U:9V6::E9Ġ9^:9_6::N92:8b8E6:%5;8U8U:&9ð9m7p9::\9:7v: 8r8U67y58d:57*9K&@9}::9~6ݠ:-:m:i:C6]:s:_:":#9:G96꠩:::z:*&:=88r7:R88:S9+:W9m@&9:Z96:M::=6& /09:d97:W::##h:Z887+:o6*::8:s888:s:r995@7:h::4ݠ::l88:9"8-EP9Ƿ:9ȩ7':w:9:9-::{887L::>:8Ǡ:388:9::ĩD: 9:Ƕ@:8ܩ8Ӡ:W9.8ϩK:::9Dp9:97G:::1 9;::887l::^:ީ8:3 :a:8:.88:!:88:B9T8W::ة !:y9h:::7e:: *: ,9e:ͩ:9 87:аa:~:9:/99y::L:ư; ;9|@8; :9:޷9P@:$::%7:԰;:6?:萷::+:6b@7:ݰ;:~:߰919(:99$:: :y;% Z::$;(@:9=94:990;1;;9Ѡ:H;:I7:;8::v:9M9D:99@+;A;- v?:: :Z;:[7; ;J 9: !;9a9D7;$:t9T9T:hm:;;W 9s093;[;/; ;/:E9@ݠ(S;4:1d,WӰ,*h *;<:R{@<꠩젩;\:5 :;E:7蠩;8;x;' ^;N;<97 9;P;O::hM6ʷ@7$;E99z8;[59;w;< -.:;b:8;U;;! ʠy;k6©7:;k:8;^;;* Ӡ;t;b99;v:E:; 2M:;@;k998<;79+-;; 52U:̷;:ͩ8,;|;; ;^:շ;:֩85;;; ;;99̷;;998];'O9Щ9÷9;ж;PR;  " 0gX;;:W}:;:8T;; $ ;G:;:8^;;  #;ĩ;:49;};;;2{v;栩 0:q5o%|<;:{;;;8x;Ȱ< =:v3%j;!;;"8;Ѱ< #!;,;;a;۰<  P;;߰:1:(;::$9<#;;<$;b;:9:*< b:5W<3<:Ӡ;J<;K8;<: o:3Wܠ;S<;T8<: [ c=== _<==:_===I9=<<=R=<=@.xelements_spec w=; p=ͩ=C@*=@= =;,G@8=Ԡ-=@CCCCC@@@@@@@@@@D; t@>>==@=װ z= =====>; =Z> =]==  >#=}= == >)== =g; >.==; A@B@B@@@@@D; => ;@>:@ ;; >;;ؠ={>+!=Ҡ<<>=M=>>B; =0>F>2=>=0(=2$= ;;砶=9>O>;<=>#=[@>   ɩ==>>)<0  Ϸ=qk@=r>/=s:Ҡ>">b=:>6=`=y=9@:۠>+>k>  U>@:x"ũ>1<=@<=<{$<$?%>L<< p>S8]<<ͩ<=E$$H>>   y<<<>>>`$P>\< =V=V^=X>cC>""IN=  =>l=>[>>p0<2>qC>>m>p>>@>>>w===!<з>>|>=>@>@.D4>@.Eڸŀ> % J>#IHj>>=>=>J682>C 6u> L>ŷ>>Ƿ=>ȷ>>V6k84>C 6g>* ,>>ҷ=>ӷ>'>C( ;>3n>>>>;><3<=:F@&Sorted'Sorting>@1ĭ@>B>Ķ@>>=>@=@>>>>J .>>T>N27qY>Wc>>=>?>?@8>C`>^j@$@%? ]A<>>g<<`;.<="<)lx$Hacc4%Hsacc>?>?@>>83,<շ<=5 >?%>"?&@>><=>=@?.??> e7>M?3<I? k= -#>No>!>q= 3>ɠ&??@>=?A@>ՠ?9 @1?G?3?> ~]>=68>c E>7>۩mB>j L?7>>?)?X>U?Y?> #0? !Y>?3?21<Ŷ@?%,?9@%HdRel%5p@>h=?C >?2$ 驜A?w;>!?x!q޷>?>>!z?0l??W?VB? >?\.>i= yxA??|>>?e/o??~ >Ȱ>!? ?h??>߷@"???'>e <>?p><?c??R ؠ!#?y+?V?]?J???8>#!>x#???b>!!3>8"4???h>< Y>з?>ѩ<0???p ?>7!>?N?$%+?v<?v<??,ڷ@?|??>? ;@4=ީ.ؐ>A>???7?=?@>?@?==?w8=?3?ķ??>=?N>!=?@-lt_rev_append Jy>U=!=CO44=*4?>?C@?Űh?Yΐ=m?@ ?@ ?ѩ?$o@???( 3?Q=y@@?ڰ}??1DR> >qU???"@$"l0?e ?? ?B(5d>4>??  ?KYl>eS>?v%= =@?>,@@=@-?XEy8qD>@@??&@K>=@N@"?۷><@P=@&=@S@@??jg8=4G>@-@@Z@ l?@@^?Y5?E@4@"@b?+]8?@fa5>U@i@@,>.=45 ?@^>@HƠ=.8>?@<?E4=8?e@T?.=44>?ũ@u>ޠ =.88?ϩ@>@K<,@!@@<@@@@>@00&@@@@@@@D@@@@F@@D@@)lt_compat@@&p̪@&@@00 @@@0@@0  @@T@@@R07%@@'8%@@.ѩ=5[=>ZC G2?6@??@? ? ?ȷ#*@!?{??@~@|m@k?@h@@d>@˶@b@ @@?(?I\@ V?@g@'6Q>R7@@@?@L@@@?3X #@#[@@? 4 ?@?=W@@9>Z@@>>@.>c@@@@?!*/>5%5@@9'1./#|A@9-/ @@@=x@ȰA9H=>3.@ߩ@Ͱ??@/?@㠩//5??@样%t65>69C?D@@U8 *@mQ>>.59_@?@6@_S/#A@?@?7A/?3g>T//5B5OA @u@A:o>e@@:A>@A?S?J@ΐ\?G{>h/!/eA%A ?_?V@/&?R[/6#M>C>v/</p>@5tA/?A/?A/??@g@AJ@u @A7?>ɩR@}PA;Aj@gAk@@AC:*?9"ABAq@nArA7f%ԩ`AvAbAK @#fA|Ah@@E @AP@=ACAA #A9A&sAAu@%ǰwAAyAک$ {AA}A@ 1@Ae@>AXAAG Al@#}@d@Ao%#AN96A*@As@$ @٠!AVAUAz@Q@@<@>AoAA_ة栩>@}A@A@ A Aշ@A@ҩ >5@9A& е@!#?cC>6@KATA@C#@޶!-@@A 9"A[A*AAAAAAA>KAA+AAڷ@A۷;j@0g@۷?^C@϶@ͩ5>ArAA$UA?gL@ͷ@̩@@??@D(? @i@oAA$cA?uZ@@ک@@??@AA @S7?AACBAԩ!BY[B A٩@,SortA_NoDupA D BA,POrderedType&PArithB-PositiveOrder"TO@(^/w&BinPos #Pos@(dMvB@+lt_strorder)ZB@ ~A@.elements_spec2K@B5B?(B8?BAL@A@M@&option >v@B@&choose?DA}AAaB AWBAcABBA?@@AA@A@@@@@D?'BB5@Ax@@ @AzB:B9@<1CB7A{@B)/(?,#;???&6?@???$9@$@@@BDA@B6<??@>BM2 n!BMBB;@ʠAA8B?@@*option_map'sBB?GAMBBB`, A堷B^AA˩BPVIAz(VYA@JZ;@\ABj@NABl?5BlBZA?BoAB^A?A@\A?BrAA`ABek,^A??pB2B{B@O@%p?eB}A@BouBhBBBAzBAǶ@Bu{\;B96BB?xAsBMB:@Aӷ"HpBA׶@Bb~BA۷BBB:jA(A@v;B::hB#pBBA#BBBA:pB3@A#ѷBABoB A@@?@AS@@? BC >D@AA\BC  =NBgBeACAfA]C*@ABCA[B㠷BC"=K BvBtBJC#AuAlC9,AhBKA$.'=EA!1 C@@BAAABAA CA:BC392=$@<@?BC<B#CQCC@??0@<BCEKCZ4BBARBBAUCMAAACbAFBBΩCSYB@NBҩCW]4FBBBBAYcVC;6"e0h7ABQC-ANA?CBCekT@`BCioXX>A%.pRA(sBCpv/CC@Ca@h1BBɩACxAʩACA!AAB(ACAtBӷBC@CC@|r@y0BBڵBBAICC@-Al{CWAxAiCC C~@*?*BAƷACCBCթC0ACBCکCBƩCAA@AHB<ABWABɩAAAA.AAACAACA BxBB:CCCCC@AzC#CCC@ܩAp@CC1CvAC=C@C@,choose_spec1/Ҁ-BCCD C?R@@}@@ @>@{@@|>#>-B_@@@'@pCDC D;>CACٰȩCB=CXCݰFC@CߩC*ѐA䐑3,,,,,,3,ȷD,CDC@7HC6D1CD"C@5&D4D,DD'D D(DD)D37U5.4CC4507W3qC @qCCCDBDA5DEAD6DC518& ީD@,choose_emptyD#AAA  ABbAAA#DED"ACA@5D+D.D`ACD!Bs;BIBeD9C4D67D@5Equivalence_Symmetric. U*DBBSD#DD3B;=Bw8 =(D9B;>CB}8>DDO3=DQ8,ĩD4D!DDB;ʠBlCB8(Ű8"BqDDMB;B4D2D04Dd3 DfCDA@5DV\U-6?9A?7B?5A뵩BXB;tBkB@BcD`fAI*C$)I(b92'$DDAϩf>>AQ2D41Q0.+DDABlB;hBBö@54Dh;4>44946434)4$44;:DDx~AaBCAa@z>?<DDACAhIDHhG:EBDDA@DiDgD/;D~;4T44O4L4I4?4:4/4(;:::勺D:4Y44T4Q4N4D4?444-;:}:w :oDAGAI:; ; @"@:;DD:@&@AQDBCdDlDB<)=NB@DB<-=OBDAtC_srqnDDB6A{Dzyx>DȐD3BC Cr?C @DCS>DҰC$DְC(<\=nCDmrBDܰACDACDvBDACy CACCDz9CoDE<888C@5D,?E E;EE,E E DPD8DQEDܷ)D~8DDE@-choose_spec3'3DDEE ̩+DcDE$@DgE&Dp:+r<95tD+@E,DE^E+BQEaBE1Du@E#)E3@'min_elt?D"CiE<DDDVC67CE?D@E17B4+'BBŷB.BCBBȷB,EJDȐ"o0AC%BFB;ESD@@EFL- E\ B1E EEBENCCBE>CEcCGDBLEdD@DҩEW]PE?D+_bDcD Er&EsEaD=@EPDEeD&EUCcD=>EyDE4E|CBcE{D@\DEntBW8E_7/EEBکOCChCCȶDEyBbCEB:EEBZD ECCBQEqAQAPECENEEMD+D7QEEDBE{E EDBECDBED XBE_ED#CECCBfE CٷEEOеCVCYBED@4 7EEDDECCByDlCECEBEE@+ DE,E Dܩ+E VE=ED}EΩEE=DE;EE'DzCE=EEDwEDSCBEE@ !EDEɰ E EDCթrC,ECC,ECE԰D&D BD <D?CEװD)D BE DDhBzCEE.@Eܰ8AECF EEE4@E+F&EEbEDxשCзF-C}EiB+EjECCBCDDCCB ErEA5AEND.D'F;DFEVF?Eˠ C EF ϩ@!BEF"DEeCEFF*CD۠ZF!h ErEEHD'ʷ"e1*DF8DDF(._F<EF+1CE5D"D>DEF39CFHn$DEF9?(EcD8BD+FPD(EF?E.EiD>H{D"1FVD.DҷEFEK, #@e C1Fj9CEȩFMS*5=FPV?EFdEFF3@-]>D_EשF\bC"Fq CG(EhNFsDWEEEDakDETFyDQDBNF{EFjp"YCE Fms'\EFVD,wEFtz[:F8eDDpEϷE*EED|!D`oFDlD]C EFClMFsLDFFCdEwD}DDݶF FCwXFF~-FFZECED]lDvFDDsCFF)AE)CFFybDFDDC.cDFFFCFF@FFCFD>FFEF@FF*@FEDEDDKAӷFFEFF9F5)5E EDEE FDDDE FDDCDDYCDEDD\CFF!F G FKFа45FӰE%EF.ED߶@FܰFD萩qFFEF7dFFcD;DFGCEG2G2DZ)FGFRF,FLDo/G FFO>FƩFyFFS(XFDFU>׷GFVE 0E:E3GG5ҩG E\ESG DE{EEEQEG'(6FEGT5ߩGEiE`D E\FEG0CE(E CE*@(FF Gc5G&ExEoDEkFF?F7FFGCGBCE:CE<Š@(X5G7EEDDEEEE~"CEHѠD(vCFGTEзFE@J:EKGGM. G\ D2F  GGDF<GaGOUwѩG`@-min_elt_spec35}.EE$<%ELEhEFةG]cDF'Gr&GGDW6,GdEEFoE FG}FEEtF/F&F&FGpv76;GsEũEGA@EF-{~F%?GGzFDF=FG~FDF8E|FDطGF֩E  AQ  nEEGʶ6UGEߩE֠GE6?ڷGG?E F[HF$FH16GFFF=H E6PF<F;F H*6FFH>6ɩHFSFJEl FFGGHF >HFHH6өH F]FTEmFPE꠩F A*MFH*6ߩHFiF`EqEDHWG7 IH\IEHѠЩGFHII%EHeI'G HjHIHBG!F I/GHI$ CHI!' I$*EHI9H}IfH󠩵1F3HI06GFH=IwIwFIK&IKG/H FAHI>D%ISF) H w1)HH/HoGDN'G(7I\G4$HƩIKQF4HU IIFH>GDG`GHЩIU[F>IjIIFH3H$HةI]cLHG\f G@OItGL<GHީIciJ)@FN/I2.VCHIIjpYHI~SG)tHIqwX7IbHxGlH˷HaHHGxG\kIGhGYCHIFhIIoH@IIFRrGxGGضIIFrSIy(IzI I}DHCI I5WIIICII@萑IIFIG-IHHIݶ@I0}@G 60MIHHII$IB8t, H C GkG?FGjHGhGBFIIHII1I%8橵Gv@IIҩGʐ SIGIEIưIDG#GЩḬIOFHJJG1v> IIIհF3H/I-"IIڰI/AIIYIްI3,HGI5AѷII6G퐩 vE̩HHJ'8G },&JHHJ.8ڵIo C8HCHCH ,4CHJ;8صCH  ,;C8͵CH ,G_FHJHIHڷGJJ#FHԠ٩JTJTGs>sIJ)J?J(@-max_elt_spec31#"CHH/HsIJ$*G J9JhJhG 8ȩH6 0JH砷I8IZIH1IGJGIHB ED ΠGHHsHlJ9 D   H/HI.J9D ڠGCI3J9D ߠGC14CHZIJdHIΩJSY9H?X\>H_GTJlIIJ@@J`HHJw>HIJekHq 0wJ|H`IGeJ}IIJ@IJqwI0wzIJJvIBUIIJzI+IHxIBSJIҩH "HHJö9NH 'I IrJɷ9THgH !+DB}IzJѷ9\9]~J (+GxCHI&IJI)GJIIJܶ@p@JHHJ?}HJ JnIЩ :0IΩHHJHHCHIGJHIC@JH F0䐩HϠJCJJǶJJIJ@@I: WBZ