"` E )QD,FSetPositive%FSets#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+OrderedType*Structures#Coq@0#73t1E iW)BinNatDef&NArith#Coq@03@1O,[{ &BinNat&NArith#Coq@0K11ڤs+Π$Pnat&PArith#Coq@0,?pr.gZ'ZAxioms(Abstract'Integer'Numbers#Coq@0\}zK=PK%ZBase(Abstract'Integer'Numbers#Coq@0 TL}2_} ؠ$ZAdd(Abstract'Integer'Numbers#Coq@0Y9Vgⲫ򐠠$ZMul(Abstract'Integer'Numbers#Coq@0Mtr\b"H#ZLt(Abstract'Integer'Numbers#Coq@0xK|j2[&=}۠)ZAddOrder(Abstract'Integer'Numbers#Coq@0w:}H#NK}{)ZMulOrder(Abstract'Integer'Numbers#Coq@0Dr~-~ECM'ZMaxMin(Abstract'Integer'Numbers#Coq@0bAX1'ZSgnAbs(Abstract'Integer'Numbers#Coq@02`ou{Z'ZParity(Abstract'Integer'Numbers#Coq@0S)*Dd$ZPow(Abstract'Integer'Numbers#Coq@0AşsאI)ZDivTrunc(Abstract'Integer'Numbers#Coq@0`]f5FԠ)ZDivFloor(Abstract'Integer'Numbers#Coq@0dj_TYQc|$ZGcd(Abstract'Integer'Numbers#Coq@0G0=$ZLcm(Abstract'Integer'Numbers#Coq@0(9g%MmN]%ZBits(Abstract'Integer'Numbers#Coq@0ܹCF5s+ZProperties(Abstract'Integer'Numbers#Coq@0Ve*ʞ_OV)BinIntDef&ZArith#Coq@0ådR4Tuy&BinInt&ZArith#Coq@0BpHޞun^$Mult%Arith#Coq@0햖Qyb0(Zcompare&ZArith#Coq@0'ҤjI=D'Between%Arith#Coq@06v*0ur`C0)Peano_dec%Arith#Coq@0Kݢ*k+Compare_dec%Arith#Coq@0jXF 8)Factorial%Arith#Coq@0@oehJd%EqNat%Arith#Coq@0AIgՋXRV &Wf_nat%Arith#Coq@0UJX AJhO*Arith_base%Arith#Coq@0Ĕ}CS&Zorder&ZArith#Coq@0fVk.BG)%Zeven&ZArith#Coq@0i?eK#aU堠#Min%Arith#Coq@0Ce-Fѕ(PreOmega%omega#Coq@0\|چBb~w4%Omega%omega#Coq@0t.J'6\ϨrK,Zcomplements&ZArith#Coq@03 ٠*VectorSpec'Vectors#Coq@0GyK5%l6L(VectorEq'Vectors#Coq@0#'`ԶlxjT&Vector'Vectors#Coq@0_ċ|"Ʌhz'Bvector$Bool#Coq@0,rO3^~'Ndigits&NArith#Coq@0Eb 马VE+Cw(~i]HfРР,FSetPositive%FSets#Coq@A+PositiveSetA!E-OrderedTypeEx*Structures#Coq@7PositiveOrderedTypeBits!t @'BinNums'Numbers0@@(positive*@@@,6k'BinNums'Numbers#Coq@@(positive*@D@-OrderedTypeEx*Structures @7D@F @A@@A@@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@"eq @%Logic$InitK@ @V@!xY@ZA867 kND%Logic$InitR@"eq @LP@@@@@D'eq_refl @5A@(^-OrderedTypeEx*Structures7PositiveOrderedTypeBits@fI@>KA<+kG'z@@@@@n&eq_sym @]@  X+@W+!y.@h1Bk4C\@fID^@( XL@@@@@(eq_trans @@ !yY@Y.Z!z]@`,/@cE0/D@#!yL@@@@@Š'bits_lt @@@ !p !q @AA@AA@@@@@@@De i:m"@%Falsee@!)v$,@$Truey@" @- ,k(*()=U 0R'>= Rb'> 3%'>6'6''>= RG'>6'> 3%'6''= R.'>6'>6'6'''+k6'+k6'+k6'+k6'+7Tk+7T'6'Р@e@ܠ-̠2@876AABA@@AA0\A`8@)y@L7@@@@@+"lt @@o5& @p;GP@c@u;GPK@@@@@?-bits_lt_trans @@ gO@'~@϶@ ϐd@gO@@@@@Z(lt_trans @ @ &"D@B@@A0b@BfQ @@&"D@@@@@x0bits_lt_antirefl @)@  @`l@#notШZ))@ @@@@@)lt_not_eq @E@ (J@|P%Q@9V@/Q@fQ\@(J@@@@@'compare @c@ ?I8@nCo+OrderedTypej@'Compare8Ȃ@`$If@'compare?I8@@@@@Ҡ&eq_dec @@ (9Z@c&Specif@'sumbool7̂K@Ӱkh@(9Z@@@@@@@@@@#elt @1@s7KA@@,6k?D@@s7K@@A@A@HAA@A@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@$tree,<@VU$Leaf$Node϶@ж@)Datatypes@$boolZ'@@D@@@AB@@C@C@@$ @@@@@@AA@@AC@@A@@@@@@@A(tree_ind @!P@B @C!f  A@!bE@FG B@@!F.-R100@QR@@@@@@D987];:&i=<#"?.@F@ @AENDH@@7ED @D^DCe L+k() ,7'*(= R'>3 3 # '''+k$'+7Tk$'?AHxr(@@@@@Ġ @}@u7ɠC@@␐D@@u7@@A@A@A@A@@ࠠ%empty @@P@9=(Gk@@@@@(is_empty @@@ !m@W=ꐷ A!lǷ!r@@@@@@@@A@$negb B@*G)Datatypes$Init#Coq@@$boolZ'@ ,ik*(== RR'>7 = R*'3 'H'= R '3$'H''G''+k6'+k6'+k6'+7Tk6'ࠐ AGLCĠ-X9@@A@AA점@@D9l@@@@@_#mem @A@ !i#@!susm+Ri.!o_i2b䰷̩7ϩ:_@@!b ,Vk(*()=1 R<'>= R"'> 3%'> 3%'''H''+k6'+k6'+7Tk+7T'6'Р bAFXݰAABA@@AC9x\4@@@@@#add @@@ TRWUJ|{]a_cwydh|j~~]>n&rq\q)u\twwv@v\暠 ,k(*()=; Ry'>=# RU'> 3! ;'> 3!;'L ;''=# R0'>G 3!ML;'>GML 3!;'6'''+k6'+k6'+k6'+7Tk+7T'6'РzAHXP(7ZAETlA@@@Ȁ@@@@@ )singleton @@eՀ͚@=$e@;5 4+k6 7%' T`@@@@@0$node @&3$5"7ѠҰ·/<Ӡŷ.?("t0߰$#@;g"?oq +k()= RV' ;'= R8'>M;'= R'>M;'G''''+k6'+k6'+k6'(AE`\RAE@@@@@@n&remove @A@  |z2(p5dn7谷Щ:@Zd΀֩"hB@" ,fk(*()=A RL'>=' R2'> 3! 7& '> 3!7& 'M 7&''G''+k6'+k6'+7Tk+7T'6'Р&hAHX(̠t AE>@@@@@%union @@@ "m'ķM`~RR 5"l'"o'"r'pIyr@#orbJ| @皠) ,Vk(*()=1 R<'>= R#'>3! 7! 3!;'''''+k6'+k6'+7Tk+7T'6'AGXx\4 Ȁ@@@@@%inter @@@ RRPͷMŷLҷJHԩF@$andb=CB@'DiHJ ,Xk(*()=3 R>'>= R%'>3! 7! 3!7& 'G''G''+k6'+k6'+7Tk+7T'6'AGX䠒<d< Ȁ@@@@@I$diff @@@ VTUK?I7ķDݰCH@f ,[k(*()=6 RA'>=" R('>3! 7 7! 3!7& '''G''+k6'+k6'+7Tk+7T'6'Р@AGX{pH_ԠeĀ@@@@@%equal @@@ }"5T@FZ,\,^ bd$Bool@#eqbPנ@ڀހ ,k(*()=X R{'>=@ Rb'>7!= R9'3!'H'= R.'3% 'H''7$''7$''+k6'+k6'+k6'+k6'+7Tk+7T'6'UAHXϠt#X0ࠒ<AB<@E@@@@@렠&subset @@@ `7X٠W1/-]NM@ &K*【 ,k(*()=k R'>=S R{'>7 = RI'G''= R?'3!'H'= R4'3% 'H''7$''G''+k6'+k6'+k6'+k6'+k6'+7Tk+7T'6'AHXؠlDРAB@E4䠒@@@@@7*rev_append @@@ ֶ:אٷ=ⰷ'A/. B6@ԀS؀ڀ L,<k(*()=! R!'>9 3%'>9 3%'''+k6'+7Tk+7T'6'AC\@,@@@@@v#rev @p 1@J' .6C@z+% 0+kG 7%'\@@@@@%xfold @!B>n^d@@Q@6@=:@@!vFFDJH<nRMQp\r@@@@DbJZ^zH~@Xie6{m@;93) @+k() ,g'(*()=A RL'>= R3'99 3"7 !3& '99 3"3& ''''+k'+k'+7Tk+T'+7T''РeAGߐ䠒v$-AD"@@@@@$fold @^\V@l/@hf`ߐ L+k()G7# 't@@@@@'xforall @Ƕ@@@#!&$%ːjРdӠh@  +k,'(*()=\ R{'>7 = RI'G'7  '= R:'93!'H'= R-'9 3%'H''G''+k6'+k6'+k6'+k6'+7Tk+7T'6'  AHpBِ/pH ;AB?@E$䠒;@@@@@a'for_all @Mge@Y=g֤"@Uo @+k()G 7&' l@@@@@}'xexists @0i@@ h %iEt~G|w}x~y,epca@_ +k,'(*()=Y Rx'>= RI'7  'H'= R:'G'93!'= R-'G'9 3%''H''+k6'+k6'+k6'+k6'+7Tk+7T'6'&hAHp7d<점`ABtd@È@@@@@'exists_ @ox@K=S؀[@ZY l@@@@@ՠ'xfilter @@@ xv␷{ym#rϷh[@ +k,_'(*()=9 RD'>9 3! = R#'7  'H'9 3!7&'G''+k6'+k6'+7Tk+7T'6'~AHpu(̠l@D̠B@@@@@&filter @@J=[aȀ@_ l@@@@@-*xpartition @@@ ;9Ω!@$prodt@BBFDͷI ᠩAA5?BBB@@@@@%J\"lf_"rth"rfkXS3 Ȑ"fiK\.xx1Xa"5]^@2kJ +k,'(*()=o R'>9 3!= R~'>93!= R['>= $R< ' 7  7 7" 7":' M7" M7":' ' ''6''+ k677%'+k677%'+k677%'+k677%'+7Tk+7T'677%'(UALpA@@IABAG,tl<PH4Xi|X]AED`|@@@A ϲ6W@A вuX@AB@@)partition @sĩ|@ q@_@z_ l@@@@@۠)xelements @@@ }{!a@$list]@ ~BZBA`c @-.@$list]@-. P,nk(*()=A RP'>= R3'93"7 :9 3& '93"9 3& ''''+k67$'+k67$'+7Tk+7T'+ 77 T'67$'ࠐAFX@<|.ؠ4t|ACqȀ@@@XA al)Datatypes$Init#Coq@@A@@L(elements @QO@|$7 ֩lAh@\y? 4+kGL 7&'`@@@A,@A@@p(cardinal @@@ }{a@#nat@ =  < A}B.q{Dҷ1t (B#Nat @ ` @v@#nat@ ,Vk*(=4 R?'>= R&'3 3 7!9'3 3 7%''G''+k6'+k6'+7Tk6'Р;}AFLxnABB\4@@@@@Ǡ$omap @z@__ é@&option >v@AA@A@@@@@D  sqAvB@@df 婛@# >v@@ +k()= R'> 9'G''+k67$'98AA@@AB@@@@-A ůM@A@@&choose @@@ (&Z*(,^ Id ʠT `ZʩY ީ@z|@B_Tې X,k*(=F Rh'>= RK'6'3 = R*'>99'3 +7%'''G''9'+k67$'+k67$'+k67$'+7Tk67$' AFLR,<(DNACZABԠA@@@@A]@A@@v'min_elt @@@ [ Y 9w<ku>SuZ #YQ@& X,k*(=F Rh'>3 = RI'>99'= R%'6'3 +7%'''G''9'+k67$'+k67$'+k67$'+7Tk67$' #eAFL,4<i(D`AB蠐ACA@@@@A@A@@'max_elt @@@ T YJjh $| rU@ޚw X,k*(=F Rh'>3 = RI'>99'= R%'6'3 +7%'''G''9'+k67$'+k67$'+k67$'+7Tk67$' tAFL,<(+DAB蠐.ACA@@@@ &A@A@@ ,compare_bool @-\0@*comparison;f@ e   ؠ ACn  ࠜB @F՛ @;f@ x+k()= RF'= R%'G'I''= R'H'G'''+k6'+k6'+k6'*lDA@t@@@@@@ P+compare_fun @@@ ][\D`^_c I OCǠB:X  LV  !Q EWKJ $ S &V@@@@@@@@@@@D l]] -@k ,̀ SXSX@šP@ ,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'  [AFX'@@A@B@AB(䠒%dH ^A@,Ā@@@@@ "In @LJ p   q@b݀ @U; 7A T+k()G 7!77&'l x ֐@@@@@@ ݠ%Equal @!sⷐ"s'z @#iffС) @BC  u@km f +k() +7T' 7! 7!7%'ptdP@@@@@ &Subset @3 1 -@))  @98$ +k() +7T' +  7!T'7%'t8d@@@@@ 0%Empty @S 3Lȩ ːC@W@ `+k+7T' 7!7$'ӐdT@ ېL@@@@@ O'For_all @ @ Gt T L@c 3 6@ @Հ ʶ~g +k() +7T'+  7!T'$'t{d@@@@@ s&Exists @ 2$ w {@"ex @  w  @#andЖw@ .@ E@ 1 ͐ +k() + 77%'  7!7%'t#| 2th@@@ A1@D%Logic$Init#Coq@@A@@   @ m@@Ɛ@@@@@ Š  @  Ƿ ȩ ̰ @0*A @ RP T+k()H 7!77&'Ðxl @@@@@@ 젠$In_1 @@ f@ e  @  B@ e a@ / #@ fQBA@ o@UC  ⩚  r@@@ @ۓό^)Morphisms'Classes#Coq@@A 2AviA @ 7A@A VA@ XA@ ZA1DH{@ABCD@@ *  @@ AL  @ ;E,  @@@@@ ;  @@ B] \ @    @@@@@ Q ː @@ Cs ɶr ˶#s'' ζ@-  @2  6  @@@@@ o%mem_1 @@ D 趐 k @v 1 נ֠@@"eq @ lp ~@@@@@ %mem_2 @@ E   @    9 6@@@@@ (mem_Leaf @@!F  &1 "@ X݀A *A B@@@@@ Ġ'empty_1 @@>G5@E @@@@@ Ԡ(mem_node @@NH  S   d   d U3DV@ d΀CBAAD jBCBA@@@@@ -is_empty_spec @@I( ~@#С) @E  z @@@@@AA@@d@4A@A@A"s  @B A@6@A*is_empty_1 @@JH @dA @ H Ӝ A@@@@@&*is_empty_2 @@Kg @π "A (A @@@@@C-subset_Leaf_s @@L ک@]*$ AA@@@@@Y+subset_spec @@M  򩚠t 9@y*$  n @@.  @@@@@w(subset_1 @@N  @7BA(@.CF A@@@@@(subset_2 @@1O@DBA Affi@@@@@,equal_subset @@QP  c P@ ^ƕ(BA@@ =MBASAB@@@@@頠*equal_spec @@Q* ) \@  @ ƕ(G @@@@@'equal_1 @@RD C @@SBA rSҜ A@@@@@%'equal_2 @@Sf e @Ѐ mBA *A/@@@@@E/eq_dec_subproof @@T ܶ ߶!H%Logic$Init#Coq@@"eq @ ci Z@#notШϠ!@@@@@q Ӑ @  ۷ : }@ gR נ {667 AvA d@q @G x7 B p@]E C@°   C ƶ ǩ @E,e@ G I&Specif$Init#Coq@@'sumbool7̂K@ +k()G 7!= R,'+'+'$'7"9'7"9' +k+ 7!77"T'7!7 7!7%'$<ĠנHl ֐T ; @E\A|A접9\@@@@@'lex_Opp @@U!u+@;f@ m"u' @"v'@D @'CompOppB@# թ++@а@@@@D;13 BC%5@@@@@D:<7󜠠BC@@@@@L0compare_bool_inv @@V?"b'>@@k ,̀BAS AB@@@@@q+compare_inv @@ W@Q0*ABAw AB@@@@@&lex_Eq @@-X2 @H A@XW@@@@DFBAMBPCSA`@ZЖw@g.BbAo2AjA@@XE@XE@A@A@A@A@AB@@㠠/compare_bool_Eq @@{Y"b1׶"b2֩ܩBAA)Datatypes$Init#Coq@@$boolZ'@$Bool#Coq@@#eqbPBAA@@@@@'-compare_equal @@ZhʶgȩBՀΩBAA‰ BAbL@@@@@&ct_lex @@Kc )!wöŶ"w'ȶ@fK@i}kzu %R|w~yɐ@@@@@ؠ/ct_compare_bool @@pd ߶Sʩ-@@@@@렠.compare_x_Leaf @@e, DC t@@@@@/compare_empty_x @@f 3@!U @@@@@ /compare_x_empty @@g C+@-1e>!@@@lAۀߠK)Morphisms'Classes@tAРD.Morphisms_Prop@zA1BhFB@ABC@@,.ct_compare_fun @@h eMNO԰2@@@@@; @@i{ݶz۶ݶ@倠@ꀠ@@@@@X @@j@7Q@@@@@o(add_spec @@k15@"or @:=@Ր@@@A@A@@%add_1 @@+lж2W4@@9BA^3@Հa@@@A@A@@%add_2 @@NmMzW@݀AC〠#ǐ@@@@@ՠ%add_3 @@mntv@BA@G멚{@@@1A@3A1GKr@AB@@+remove_spec @@oH @ɩ@.P4͐@@@VA@A@@$(remove_1 @@pe>öŶ@рʐBAԀU󩚠@.P䀠;@@@}AA@A@@K(remove_2 @@qⶐe궐@BA@}],e@@@Ak@A@@u(remove_3 @@ r 9@AHBCE@@@A@A@@+singleton_1 @@/sضY6@wx@:.|K]`c@@@A@A@@+singleton_2 @@MtRwT@`rxހ|"\@@@A@A@@Ϡ*union_spec @@gul    쀠 @O.d ϩ @@@@@'union_1 @@v /* .( @A@nCB@ @) -Ȑ@@@@@'union_2 @@w \ [U7@BACH橚2,@@@@@:'union_3 @@x {v zӶV۶@aABgQK@@@@@Y*inter_spec @@yq W Uv =@7 @@@@@u'inter_1 @@ z q o@A@7􀠐CBG@@@@@'inter_2 @@/{  8@A"CBɀgd@@@@@'inter_3 @@O| N PX@ހAC@倠造LY͐@@@@@۠)diff_spec @@s}x   @P:   @@@@@&diff_1 @@~ ; :@ !A@PCB .@@@@@&diff_2 @@ ]ٶ \׶8@ CA"CBр R@@@@@@&diff_3 @@@ ׶ ٶ\@ gAC@񀐩 r  vTZ@@@@@h&fold_1 @@A !AsvKW@@*AG@@3x "7X@ =]@$List%Lists@)fold_leftɀրIF J!eJN8o@ s ݿV@@svK@0@A@A@A&ޠ$List%Lists#Coq@@AA @?A%t @ABA5@DA @FA@ABCD@@*cardinal_1 @@VB  A f i@ |4A@&length䷀9@@@ o A @A @A@ABC@@㠠,xfilter_spec @@{C &  B@G=[aȀDCAC ! DA@@@@@ (filter_1 @@D [<4@)Datatypes$Init#Coq@@$boolZ'@@*SetoidList%Lists#Coq@@+compat_bool!!|@ `@Y,F jJ֐@@@Am,*SetoidList%Lists#Coq@@A@@ b(filter_2 @@E |7@H@;$G@ ,1 1@@@A,@A@@ (filter_3 @@F %[@(l@_H)k@ P@ @% *^b@@@AV@A@@ ,xforall_spec @@HG Զkj ̀ް©wԩ@ 2x̩Ðo@@@@@ Ӡ)for_all_1 @@kH j@s@ A@r@ 2  ̩ȜA @ FQA@@@?A@A@@ )for_all_2 @@I N/@@䀰 CA@ À')ܜAED  Ԁ/ *A3@@@uA@A@@ C,xexists_spec @@JN g `qU7g(@ (@@@@@ _(exists_1 @@K 2@C@6 A@@ $(  X3TsA7 &@ ̇AA@@@A?@A@@ (exists_2 @@1L l@9}@p πA@ O)khAE O `A@@@Au@A@@ Ϡ0partition_filter @@gM ܩ y@?+6}琩@@@BA ϲ6W@AEA вuX@IA @KA@ABC@@ +partition_1 @@N <ζ@߶@Ҁ 1A @#fst 55@}+6ҩ@0,ؐ@@@`A@AA=@A=@AA ӳ2[ @A Գq\@A:@ABCD@@ ;+partition_2 @@O |]@ۀ@ qA BC@#snduu@>uT@$negb?@@@A@AA@A@AAG@AE@A}@ABCD@@ ~.xelements_spec @@P !j#accG ]@#InA q9@ A'@$7DCB ӀAB S@ V @wy `,BN@' .DA m^ A IF@@@A@A@@ (choose_2 @@3W|@ Dz@,hl婚 e@@@A@A@@ ,choose_empty @@OX@ ` AA lMB@@@A@A@@ ࠠ)choose_3' @@xY!w y@ ݀BA ʩrv@@@7A @AVAۀߠK@ZAРD'Classes#Coq@@cA1BhF@ABC@@ (choose_3 @@ZVU1϶Ѷ@ ĀDZAB@ Հ4jA@ 6ʩmB@@@AW@A1FdJ@AB@@ V)min_elt_1 @@[춐p@7@Dc=$!@@@A{@A@@ v)min_elt_3 @@\ @ѩC ؀<@@@A@A@@ )min_elt_2 @@&]$FR/@;:3ݠPV@[ Dw^@@@A@A@@ )max_elt_1 @@K^k@^@#\ր]ဠ|@@@A@A@@ Ѡ)max_elt_3 @@i_@z,3@@@A@A@@ 頠)max_elt_2 @@`*.@H8[@  @@@=A@A@@ @@@s7K0@Au7O@>n@@A@XE 5@svKk@ABCD@!@A7@W@AB 8@=@NAi0A@A@BCD@@UABAؠנ@@AB~@/@AC@J@A@B@`A@/@ABCDE*@ @-@AB@@AC@@A @ @AB0@A@A /@@ABCD@@@ ]@ABCEFw@@@@ ӳ2@@A@A Գq@@A@s7Ki@ABu7@>n9@XE m@svK@ABCD@[@AcAkji@A.0TQ+Ring_theory+setoid_ring#Coq@@BBA.U>[J @CMD LEeFF_5G@@A&Vector'Vectors#Coq@/VectorNotations)VectorDef'Vectors#Coq@ @B@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@A\@&BinInt&ZArith#Coq@!Z@'quotrem\)BinIntDef&ZArith#Coq@!Z@ /@A@\@@+pred_double\@/S@@A@As2@3@&shiftls2*@vY@A@BCs8@8@&shiftrs8/@vY@A@ѓ@?@&squareѓ6@y@A@A@D@&to_intϑ;@@A@z@6@&doublez-@/!@A@A@j@(nth_map2*VectorSpec'Vectors#Coq@@ 8"@A@@w@*fold_left2q@6U@A@"W@}@*fold_right"Ww@6N@A@ABCDE/@h@)log2_iter/_@wd@A@NH/@[@&moduloNH/R@1,@A@A\d@`@&of_int\dW@1?A @A@bz@f@&of_natbz]@1?G!@A@#@l@&shiftl#c@1dV@A@#@r@&shiftr#i@1d\@A@ABCD/x@&BinPos&PArith#Coq@#Pos@)pred_mask/x)BinPosDef&PArith#Coq@#Pos@ )X@A@6@@&square6@19@A@AV+L@@&to_intV+L@2@A@V1b@@&to_natV1b@2 @A@V5=@@&to_posV5=@2@A@ABCl@@)sqrt_iterl@!$:@A@@@6@(sub_mask@-@)@A@ADEF c@@'testbit c@!ć@A@7 B@D@'of_uint7 B;@*`]?@A@AG@I@)mask_rectG@@+ED@A@F˱@O@)add_carryF˱F@+p@A@K5@@*Forall_indK5@9M@A@X@@/shiftrepeat_nthX@;\@A@ABCD^Ҷ@@'to_uint^Ҷ@#m@A@gL7@@'sqrtremgL7@40@A@Aq@@'testbitq@5)@A@BE@@-replace_order@:k@A@2s@!@,shiftin_last2s@=Nn@A@AxYe@&@!txYe @;z@A@Bx^@+@"Inx^ʑ%@;z!@A@xa @2@"hdxa ,@;zd@A@Axa@7@"tlxa1@;zP@A@BCx#@<@#eqbx#(VectorEq'Vectors#Coq@@ /@A@x[@J@#etax[@> .@A@AxI@O@#mapxII@;{&@A@BDx@T@#nthxN@;{)j@A@y@^@#revyX@;{-@A@AG8@c@$castG8'@/Y@A@B8[@h@$last8[b@;d@A@R@n@$map2Rh@;@A@ @t@$take n@;:c@A@ABCݎO@J@+succ_doubleݎOA@6r@A@HI@@%case0HIz@@A@ @x@$even o@>4@A@ACD @}@$ggcd Бt@>U@A@ @@$iter }@>:@A@A 3"@@$land 3"@>m@A@ F)@@$log2 F)@>t@A@AB S@@$lxor S@>@A@ @@$pred @?U@A@AC @@$size ܑ@?'@A@ !@@$sqrt !@?@A@A ! @@$succ ! @?\@A@ !7@@$zero !7@@P@A@A *@@%ldiff *@@A@ O@u@,take_prf_irr O @*@A@A g_@@+pred_double g_@25\@A@ q@@(take_app q@lm@A@ABCD m@@÷ m@2j@A@ @@+Exists2_ind Ñ@ @A@ k@@'nth_map k(@wF@A@ABS@@&of_intS㫑@4}5@A@S@@&of_natS@4};@A@ACEFGJ\R@@(mask_ind\R@4@A@\^@@(mask_rec\^@4@A@Aũ@@*Exists_indũ@@A@Ǜ@@'of_listǛ@@A@A!,@@&pred_N!,@4s)@A@BC@@&shiftl@5X@A@@#@&shiftr@5X@A@A&@(@&square&ّ@5,x@A@BD"@-@&to_int"$@5L@A@"@5@&to_nat",@5L @A@AnTq@:@+testbit_natnTq1@6n@A@B@3@(succ_posB*@@A@I@@'abs_natI@?n@A@AB.@>@'of_uint.5@MS@A@3~@R@'sqrtrem3~I@7]%{@A@ACD,@@'bitwise,@/v@A@>4'@_@'testbit>4'V@8g$@A@d;@ @*rev_appendd;@fh:@A@AB{U@j@,sqrtrem_step{Ua@8R@A@u^@c@(div_euclu^Z@ @A@Au@@&Existsu@@A@UA@"@&ForallUA@@A@#N@(@&In_ind#N"@%@A@ABCDfz@@'to_uintfz~@9w@A@l@@'comparel@3R@A@AA@:@&appendA4@ m@A@L9@@@&caseS'L9:@ x@A@ABW@E@'replaceWݑ?@ 4@A@K@K@&eq_decK@?w@A@K~@Q@&eqb_eqK~@?w@A@MĚ@W@)nth_orderMĚQ@ O@A@ABCDEFGs8@B@+of_uint_accs89@5+@A@@g@3to_list_of_list_opp@<@A@A}@@,pos_div_eucl}@&`@A@3x@C@'compare3x:@]=@A@`<@x@&t_rect`<r@ b@A@c`@~@&take_Oc`@3@A@ABCD@@&double@'޺_@A@(@@'shiftin(@*I@A@Aq@@+of_succ_natq@$@A@w@@&modulowɑ@)1@A@ABEK@@&of_intK@)j,I@A@K@@&of_natK@)j2_@A@H@@'Exists2H@uF@A@ABI@@&shiftlI@*O@A@O@@&shiftrO@*O@A@AC,@@&square,@*ow@A@Z@ @&to_intZ@*81@A@ADF`@@&to_nat`@*9G@A@@@'Forall2@?j@A@Ae@@+testbit_nateđ@+@A@'@@+Forall2_ind'@ ~@A@"@@'to_list"ӑ@O*@A@ABC+{@.@'sqrtrem+{ё%@,J@A@@@0shiftrepeat_last@@A@A5z@:@'testbit5z1@-T|@A@BD @?@'to_uint ͑6@.@A@ @G@+succ_double >@.^4@A@A!lK@@)const_nth!lK@@A@!K@@+fold_right2!K@x @A@A#@f@'compare#ݑ]@ )Q@A@$@@8fold_left_right_assoc_eq$@3@A@ABC%t2@q@(size_nat%t2h@ @A@%9@x@+of_uint_acc%9o@ ΋@A@A%V@}@+double_mask%Vt@ S@A@%%@@'div2_up%%z@ "@A@%R@/@)take_idem%R@-W@A@ABCDEG'ş@@'Ndouble'ş@ @A@(K|@=@*eqb_nat_eq(K|@w@A@A(b0@@*shiftl_nat(b0@9-@A@B(nՖ@@*shiftr_nat(nՖ@'@A@(@@0succ_double_mask(@@A@A*W$@@,compare_cont*W$@!@A@*@Z@(cons_inj*@!@A@*A@`@(shiftout*AZ@@A@AB.0@@.sub_mask_carry.0@΂@A@CDE.@P@!t.G@ ;@A@.먩@W@#add.먩N@ `@A@A.U@\@#div.US@ @A@.B@c@#eqb.BZ@ @A@A. @h@#gcd. _@ @A@.=@n@#leb.=e@ @A@ABCFHIK. @s@#lor. j@ @A@.Z@@#ltb.Zw@ @A@A.p@@#max.p|@ '@A@B.@@#min.@ @A@.@@#mul.@ @A@AC.g@@#odd.g@ @A@.&@@#one.&@ @A@A.뾴@@#pow.뾴@ k@A@.L@@#sub.L@ @A@.@@#two.@ @A@ABCD.,a@@$div2.,a@ @A@.Xz@@$even.Xz@ ?1@A@A.@@$iter.ؑ@ @A@B. @@$land. @ @A@. @@$log2. @ @A@ACE.@@$lxor.@ R@A@.y@@$pred.y@ `<@A@A.Ʉ@@$sqrt.Ʉ@ ;@A@.@@$succ.@ @A@.t @@$zero.t @ Z@A@AB/@@.to_little_uint/@ @A@CDF/@@%ldiff/@ H@A@00@c@'compare00Z@?H{@A@A1P%@@!t1P%@  @A@B1P@@#abs1P@ @A@1P&@@#add1P&@ @A@A1P@@#div1Pґ@ y@A@BC1P@@#eqb1P@ f@A@1P@ @#gcd1P@ 0@A@A1P@@#geb1P@ T@A@B1P@@#gtb1Pʑ @ q@A@1Pĺ@@#leb1Pĺ@ a@A@A1Pň@!@#lor1Pň@ /@A@BCD1P@&@#ltb1Pב@ ~@A@1P@/@#max1P&@ @A@A1P{@4@#min1P{+@ "@A@B1P]@9@#mul1P]0@ @A@1P@@@#odd1P7@ @A@A1Pɣ@E@#one1Pɣ<@ J@A@BC1P@J@#opp1PԑA@ {@A@1P1@R@#pow1P1I@ @A@A1P;@W@#rem1P;N@ @A@B1P@\@#sgn1PˑS@ r@A@1P@c@#sub1PɑZ@ p@A@A1Pe@h@#two1Pe_@  @A@BCDE1[8@m@$div21[8ޑd@ @A@1[d@v@$even1[dm@ I@A@A1[6@{@$ggcd1[6r@ i@A@B1[U@@$iter1[Uw@ @A@1\@@$land1\~@ /@A@A1\@@$log21\@ 6@A@BC1\$@@$lxor1\$@ @A@1\Y@@$of_N1\YÑ@ >j@A@A1\@@$pred1\@ j@A@B1\@@$quot1\֑@ }@A@1\@@$sqrt1\@ @A@A1\w@@$succ1\w@ @A@BC1\k@@$to_N1\k@ @A@1]@@$zero1]@ eD@A@A2:@@%abs_N2:@ @A@21@@%ldiff21@ ߵ@A@2=*@@%quot22=*@ @A@ABC2kF@N@(size_nat2kFE@{@A@3s&@ @*eq_nth_iff3s&@*@A@A3@@(tail_add3@^q@A@BDEFGH3@@(tail_mul3@^@A@5Z@i@*shiftl_nat5Z`@y/@A@5f}@o@*shiftr_nat5f}f@4@A@AB5a@@'iter_op5ay@ @A@C6w~@@'of_uint6w~ @^5@A@6W @5@)fold_left6W /@*Za@A@A8j@ @'of_uint8j@'"h@A@8V@@@.nth_order_last8V@/71@A@AB9E@@(div_eucl9Eđ @(*k@A@:El@L@/rev_append_tail:ElF@.G@A@A:x@@,Nsucc_double:x@ ʭ@A@BCD@#R@A@A=9R@L@.to_little_uint=9RˑC@#b@A@=Y@@+shiftin_nth=Yӑ@3뗦@A@A=@X@%ggcdn=͑O@$*@A@=U@^@%ldiff=UU@$'R@A@ABCD>@@&divmod>@C@A@>@@&double>@NĴ@A@>@@+shiftrepeat>@2Y@A@AB?2@@,pos_div_eucl?2@-u@A@?;@@&modulo?;@"i@A@ACEFGIL@%Arith#Coq@0I|кX*o4)ArithRing+setoid_ring#Coq@0ṔCgt?}*Arith_base%Arith#Coq@0Ĕ}CS&Basics'Program#Coq@0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C0&BinInt&ZArith#Coq@0BpHޞun^)BinIntDef&ZArith#Coq@0ådR4Tuy'BinList+setoid_ring#Coq@0Au&BinNat&NArith#Coq@0K11ڤs+Π)BinNatDef&NArith#Coq@03@1O,[{ 'BinNums'Numbers#Coq@0dmk(5Ju<&BinPos&PArith#Coq@0vyػ0= u)BinPosDef&PArith#Coq@0}H d.%,b$Bool#Coq@0j 2cZ`FW'Bvector$Bool#Coq@0,rO3^~*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1+Compare_dec%Arith#Coq@0jXF 8Y0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ-DecidableType*Structures#Coq@0kO!Z7+'Decimal$Init#Coq@0C涳N*ua%EqNat%Arith#Coq@0AIgՋXRV *EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼*Equalities*Structures#Coq@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ-FSetInterface%FSets#Coq@0^s h@ >Eb 驠)Factorial%Arith#Coq@0@oehJd#Fin'Vectors#Coq@0r'gް؅/׸-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh.+InitialRing+setoid_ring#Coq@0k/T=cN"Le%Arith#Coq@0d}Omq+@0>I+ListTactics%Lists#Coq@0,Jcy{i0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ%Minus%Arith#Coq@0LFtR"@0Imӽ%\$PD  @0% :B'.>u%$Mult%Arith#Coq@0햖Qyb0$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ&NArith#Coq@0S22b%&*NArithRing+setoid_ring#Coq@0_ .Ys!Р'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠$Ndec&NArith#Coq@0${IէQ<^렠'Ndigits&NArith#Coq@0@0k窪ܸqS-SetoidTactics'Classes#Coq@0S_`nOU$ 0bb1z٠-0;RWMi\N'Sumbool$Bool#Coq@0sB ,$11.]m'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@033 ٠(VectorEq'Vectors#Coq@0#'`ԶlxjT*VectorSpec'Vectors#Coq@0GyK5%l6L"Wf$Init#Coq@0q+W,J+$Wf_Z&ZArith#Coq@0`&i*rHȠ@*~rHȠ@*z@*|***>@A@(C2 Q@@@@#_10&AA@@@@@@@@#_112M접 @#_12'`o@@@@(3N$@@B@(8M@(1(1@@@@@@#_13'%@@@@A@@@ B@@@@@@@#_14'`o@@@@@#_15'`o@%@A@@@#_16'`o@-@BC@*bool_scope@@6@(l@(O2 Q@@G@#_17+@(Z{m@@@@@@@@#_182M접DD@A#_19'`o@D.function_scope@@@A@A(.@+2 Q@@@@#_20'@@@@#_212M접 #_22'`o@@@@'2 Q@@@@#_23+Q@( $e@@@@#_242M접 @#_25'`o@@@@( 2 Q@@E@#_26٠@@@@@#_272M접 AA@A#_28'`o@A@@(7@'2 Q@@E@#_29t@@@@@@#_302M접BB@A#_31'`o@B@@@'(_@'2 Q@@E@#_32$@@@@@@#_332M접AA@A#_34'`o@B@@@'᠐(@'c2 Q@@@@#_35+@'n:.|M@@@@@#_362M접AAAA#_37'`o@A@@(@'d2 Q@@@@#_38p@@@@@@@#_392M접CB@A#_40'`o@C@4@@(Ӡ((@'T2 Q@@E@#_41l@@@@@@#_422M접BB@A#_43'`o@B@@@([)@'62 Q@@E@#_44Ơ@@@@@@#_452M접AA@A#_46'`o@B@@@)&))@' 2 Q@@E@#_47t@@@@@@#_482M접AA@A#_49'`o@B@@@)N)Q@&2 Q@@E@#_50@@@@@@#_512M접AA@A#_52'`o@B@@@)v)y@&נ2 Q@@E@#_53>@@@@@@#_542M접AA@A#_55'`o@B@@@))@&2 Q@@E@#_56f@@@@@@#_572M접AA@A#_58'`o@B@@@)Ơ)@&{2 Q@@E@#_59@@@@@@#_602M접AA@A#_61'`o@B@@@)K)N@#_62@||@|@@|@@|A@%_ @ _@| @@,!@,@@@@@A@@" @@A@@B@@@@@#_63%c?@@-@@@,@@@@?-,@@@@;--@%x @ y&2 Q@@@@#_64-@& @@@@@#_652M접AAAA#_66'`o@A@@)@&2 Q@@E@#_73-@&/0@&ʐB@A@@@@@@@#_742M접-@&/CC@A#_75'`o@-@&/E*type_scopeР@@@@@A*@* @&2 Q@@@@#_76.@& p@' B@A@@@@@@#_772M접.@& DCBA#_78'`o@.$@& D?@@@@A*Š@@&2 Q@@E@#_82.?@&=g֤AA@@@@@@@@@@@#_832M접.P@&=g֤BB@A#_84'`o@.Y@&=g֤CA@@@A**@&2 Q@@@@#_85.r@& FQ3@@@@@@#_862M접.@& FQBBAA#_87'`o@.@& FQBr@@A+&@&2 Q@@E@#_88.@&=S`@@@@@@@#_892M접.@&=SBB@A#_90'`o@.@&=SC@@@A+U*@&2 Q@@@@#_91.@& ̇@@@@@@#_922M접.@& ̇BBAA#_93'`o@.@& ̇BѠ@@A+@&2 Q@@E@#_94.@&=[a@@@@@@@#_952M접/@&=[aBB@A#_96'`o@/@&=[aC@@@A++K@&2 Q@@@@#_97/0@&,񠠑@@@@@@#_982M접/?@&,BBAA#_99'`o@/H@&,B0@@A+@&2 Q@@E@$_100/]@& q@@@@@@@@$_1012M접/m@& q@BB@A$_102'`o@/v@& q@C^@@@A,+@&]2 Q@@@@$_103/@&h+6P@@@@@@$_1042M접/@&w+6BBAA$_105'`o@/@&+6B@@A,C@&o2 Q@@E@$_106AA@@@@@@@@@@@$_1072M접AA@A$_108'`o@C@@*list_scope@,+렐&[@&.2 Q@@@@$_1090@@@@@$_1102M접 AABA$_111'`o@A@@,@&-2 Q@@E@$_1120@&84AT@@@@@$_1132M접AA@A$_114'`o@A@@,@%2 Q@@@@$_11503@&|x@@@@@@$_1162M접BB@A$_117'`o@B/@@A%@%Ϡ2 Q@@E@$_118O@@@@@$_1192M접 AA@A$_120'`o@A@@-$@%2 Q@@E@$_1210@%DĠ@@@@@$_1222M접AA@A$_123'`o@A@@-H@%p2 Q@@E@$_1240@%{\蠠@@@@@$_1252M접AA@A$_126'`o@A@@-l@#lex9D{(@ E@@@)@@@@D@ O@@@$A@@?./theories/FSets/FSetPositive.v@)$B@@ @$C@@@@@%z2 Q@@@@$_127 B@@@@@@$_1282M접BA@A$_129'`o@B*,@--@%f2 Q@@E@$_130 l@@@@@@$_1312M접AA@A$_132'`o@B@@@-򠐑-@%+2 Q@@@@$_133#@@@@@@$_1342M접$_135'`o@B@@@-v.@%(2 Q@@@@$_136!@@@@@@$_1372M접⠠$_138'`o@B@@@.@.C@%2 Q@@@@$_139"⠠@@@@@@$_1402M접 $_141'`o@B@@@.g.j@%#2 Q@@@@$_142# @@@@@$_1432M접 /$_144'`o@A@@.@%&2 Q@@@@$_145u+@@@@@@$_1462M접R$_147'`o@B@@A.@%)2 Q@@@@$_148R@@@@@@$_1492M접y$_150'`o@B@@A.@$_151@FF@F@@F@@FA@'_ [=] _@F @@%#[=]2;@@@頠@A@@A@@@A@@B@@@@@$_152%c?@@&"@@@2Z@@@@"᠑&-2c@@@@=22@)s [=] t$_153@FF@F@@F@@FA@(_ [<=] _@F @@&V$[<=]2@@@@@A@@A@@@A@@B@@@@@$_154%c?@@&y@@@2@@@@#&2@@@@=22@*s [<=] t2w2 Q@@@@$_155%G'@@@@@@$_1562M접N$_157'`o@B@@@//@$_158W칠#o%l12 Q@@@@$_159!(W@@@@@@$_1602M접~$_161'`o@B@@@/ܠ/@%ܠ2 Q@@A@$_1623:@%{AA@@@@@&E@A2ՐD@A2@A@@@@@$_1632M접!#$_164'`o@)E@.positive_scope@@@03Q3T&& @22 Q@@A@$_1653@2 ?,AA@@@@@@@@@@$_1662M접$_167'`o@A@@0Q@22 Q@@A@$_1683@2,đAA@@@@@'jC@A'm@A@@@@@$_1692M접$_170'`o@#C@@@@00&?@22 Q@@A@$_1713@2- AA@@@@@'D@A'@A&8E@A@@@@@@$_1722M접"$$_173'`o@*E@@@@@@0Ƞ0ˠ0Π&&@&N2 Q@@A@$_1744/@&Y0AA@@@@@'퐐C@A3ʐ@A@@@@$_1752M접$_176'`o@"C@@@@10g&@&g2 Q@@A@$_1774h@&r0AA@@@@@@@@@@@$_1782M접$_179'`o@C@@@@170&@&2 Q@@A@$_1804@&8kAA@@@@@@@@@$_1812M접$_182'`o@A@@0@&2 Q@@A@$_1834@& +=KAA@@@@@+tB@A@@@@$_1842M접$_185'`o@@@@&2 Q@@A@$_1864@&8oc@AA@@@@@@@@@@@@$_1872M접$_188'`o@D@@ @@111u1@&2 Q@@A@$_1905@&7zAA@@@@@@@@@$_1912M접$_192'`o@A@@1@&2 Q@@A@$_1935B@&AA@@@@@)B@A@@@@$_1942M접$_195'`o@B@@@2'2@&2 Q@@A@$_1965r@&AA@@@@@)0D@A@,/@A@@@@$_1972M접$_198'`o@#B@@@2J'@&ՠ2 Q@@A@$_1995@& AA@@@@@@,_C@A@@@@$_2002M접$_201'`o@A@@2z@&2 Q@@A@$_2025@&&2$AA@@@@@@@@@@$_2032M접$_204'`o@B@@@22@&2 Q@@A@$_2056@'#|AA@@@@@)C@A)@A@@@@$_2062M접$_207'`o@"C@@@@2ؠ2۠'Z@'2 Q@@A@$_20869@'#}AA@@@@@)E@A@@,@A@@@@$_2092M접$_210'`o@$C@@@@33(@'+2 Q@@A@$_2116t@'6@AA@@@@@@@@@@$_2122M접$_213'`o@B@@@3A3D@'&2 Q@@A@$_2146@'17]8RAA@@@@@@@@@@$_2152M접$_216'`o@B@@@3l3o@'72 Q@@A@$_2176@'B @FAA@@@@@*C@A*@A@@@@$_2182M접$_219'`o@"C@@@@33'a@'N2 Q@@A@$_2207@'Y @GAA@@@@@@@@@@@@$_2212M접$_222'`o@C@@@@3Ӡ3֠)@@'_2 Q@@@@$_22674@'jEAA@@@@@*D@A*@A@@@@@$_2272M접$_228'`o@#C@@@@4 4'@5@2 Q@@A@$_2297n@5K,zg:@@@@@@$_2302M접BAAA$_231'`o@B@@@494<@'2 Q@@A@$_2327@'!+AA@@@@@'#E@A0F@A@@@@@@@$_2332M접 $_234'`o@&F@@@@@@@'D'G'@'C)預)@'2 Q@@A@$_2357@'ZAA@@@@@@@@@@$_2362M접$_237'`o@B  @4f4i@' 2 Q@@A@$_2388 @'0*DAA@@@@@@@@@@$_2392M접$_240'`o@B@@@4ڠ4@'2 Q@@A@$_24188@'-AA@@@@@@@@@@$_2422M접$_243'`o@B@@@,b'/@&2 Q@@A@$_2448c@&4dAA@@@@@@@@@@$_2452M접$_246'`o@B  @4預4@&٠2 Q@@A@$_2478@&8U^AA@@@@@@@@@@$_2482M접$_249'`o@B@@@5]5`@&ؠ2 Q@@A@$_2508@& XoAA@@@@@@@@@@@$_2512M접$_252'`o@C@@@@55*@&2 Q@@A@$_2538@& XFAA@@@@@@@@@@@@$_2542M접$_255'`o@C@@@@55+(@72 Q@@A@$_2569@7ԑEAA@@@@@@@@@@$_2572M접BAAA$_258'`o@B@@@5蠐5@&N$@@B@&,@&&&&&@@@@$_2599M@&E 1@@@@@@@ A@@@@B@@@@C@@@@D@@@@&E@@@@@$_260'`o@9@&E @C@@@@... @$_261'`o@9@&E @AA@@.@$_262'`o@9@' E @BA@@.&@$_263'`o@9@'E @CA@@.4@$_264'`o@9@'(E @DA@@.B@$_265'`o@9@'6E @EA@@.P@&2 Q@@A@$_2669@',~AA@@@@@@@@@$_2672M접9@',~$_268'`o@9@',~A@@.z@' 2 Q@@A@$_269: @',~$AA@@@@@@@@@$_2702M접:@'#,~$$_271'`o@:$@'-,~$A@@.@'&2 Q@@A@$_272:5@'1,~AA@@@@@@@@@$_2732M접:D@'@,~ΐ$_274'`o@:N@'J,~A@@.@'C2 Q@@A@$_275:_@'N,~AA@@@@@@@@@$_2762M접:n@'],~漐$_277'`o@:x@'g,~A@@.@'`2 Q@@A@$_278:@'k,~AA@@@@@@@@@$_2792M접:@'z,~֐$_280'`o@:@',~A@@/"@'}2 Q@@A@$_281:@',~rAA@@@@@@@@@$_2822M접:@',~r$_283'`o@:@',~rA@@/L@'2 Q@@A@$_286:@',~qAA@@@@@*iG@A3Ԑ@A' @A*oH@A*o@A' @A@@@@@$_2872M접; @',~q$_288'`o@;@',~qH@@@@@@@@@//////(L(O@'ܠ2 Q@@A@$_289;D@'AA@@@@@@@@@@@$_2902M접;U@'$_291'`o@;_@(Cxz|@8⠐8堐8@(2 Q@@A@$_292;{@( (AA@@@@@@@@@$_2932M접;@(($_294'`o@;@($(A@@8,@(2 Q@@A@$_295;@(&<`AA@@@@@@@@@@@$_2962M접;@(7<`$_297'`o@;@(A<`C@@@@8Z;`8`@(?2 Q@@A@$_298;@(J/YAA@@@@@@@@@@@$_2992M접;@([/YȐ$_300'`o@;@(e/YC@@@@8;8@(Q2 Q@@A@$_301< @(\1=OAA@@@@@@@@@@@$_3022M접<@(m1=O$_303'`o@<(@(w1=OC@@@@8 8Š8@:2 Q@@A@$_304!@)QcAA@@@@@1ߐE@A=D@A=j@A@@@@@$_3292M접!#$_330'`o@)E@@@@@@;:b:e.o0@)d2 Q@@A@$_331>i@)odAA@@@@@@@=D@A@@@@$_3322M접$_333'`o@D@@@@@;?::1)@)|2 Q@@A@$_334>@)P#-AA@@@@@@=ᐐC@A@@@@$_3352M접$_336'`o@C@@@@:Ԡ:נ1^@)2 Q@@A@$_337>@)P#.AA@@@@@>mC@A>@A@@@@$_3382M접$_339'`o@"C@@@@; ;1@)2 Q@@A@$_340?@)vAA@@@@@@@@@@@$_3412M접$_342'`o@C@@@@;=;㠐;@)à2 Q@@A@$_343?A@)6 T-AA@@@@@@@>ؐD@A@@@@$_3442M접$_345'`o@D@@@@@<<;z2@)Р2 Q@@A@$_346?{@)6 T.AA@@@@@39D@A@?@A@@@@$_3472M접$_348'`o@#D@@@@@)>,=4@*2 Q@@A@$_373A@*,YAA@@@@@5KD@A5NE@AA. @A@@@@@$_3742M접!#$_375'`o@)E@@@@@@>n>q=Ѡ4X1@*ݠ2 Q@@A@$_376A@*,3AA@@@@@@*鐐C@A@@@@@$_3772M접$_378'`o@D@@@>@@A@*2 Q@@A@$_379B @*ru~AA@@@@@@@@@$_3802M접$_381'`o@A@@>@*2 Q@@A@$_382B3@*K2AA@@@@@@@@@@@@$_3832M접$_384'`o@D3@@@@A>預>g>@*2 Q@@A@$_385Bh@*nAA@@@@@@AE@A?D@A@@@@@$_3862M접$_387'`o@%E@@u@@@?(>A*ޠ52@*2 Q@@A@$_388B@*oAA@@@@@@BBE@A@D@A@@@@@$_3892M접$_390'`o@%E@@@@@?l>ꠐA+"5v@*ڠ2 Q@@A@$_391B@*pAA@@@@@6E@AB@A@ID@A@@@@@@$_3922M접"$$_393'`o@*F@@@@@@?Ԡ?4A+l55I@*2 Q@@A@$_394C=@+0;AA@@@@@@@@@@@$_3952M접$_396'`o@C<@@@A?񠐑?@+ 2 Q@@A@$_397Cm@+AA@@@@@7+D@A@C@A@@@@@$_3982M접$_399'`o@$D@x@@@@IA+ޠ+/@+2 Q@@A@$_400C@+AA@@@@@7jF@AAC@A@@CO@A@@@@$_4012M접"$$_402'`o@*D@@@@@pA,#5@+2 Q@@A@$_403C@+);bAA@@@@@@@@@@@$_4042M접$_405'`o@C@@@A@@<@+22 Q@@A@$_406D!@+= AA@@@@@7ߐD@AAuC@A@@@@@$_4072M접$_408'`o@$D@,@@@@A,+W@+72 Q@@A@$_409D`@+B AA@@@@@@AC@A@@@@@$_4102M접$_411'`o@D@f@@@AA,̠6@+;2 Q@@A@$_412D@+F+AA@@@@@@@@@@$_4132M접$_414'`o@B@@AJA@+:2 Q@@A@$_415D@+E IAA@@@@@@BC@A@@@@@$_4162M접$_417'`o@C@ˠ@@A}A-0@+02 Q@@A@$_418D@+; IAA@@@@@@BJC@A@@@@@$_4192M접$_420'`o@C@@@AA-f@#InL9D{(@@+A!AA@@7@@+52 Q@@A@$_421EC@+@'??AA@@@@@@@@@@@@$_4222M접$_423'`o@D@@@BAv;栐EO@+2 Q@@A@$_424Ez@+>#5AA@@@@@98C@AE@A@@@@$_4252M접$_426'`o@"C@@@@BRA89@+%2 Q@@A@$_427E@+0>#6AA@@@@@@EIC@A@@@@$_4282M접$_429'`o@C@n@@BE+@+C2 Q@@A@$_430E@+N)s-AA@@@@@@@@@@@@$_4312M접$_432'`o@D@@@BEE򠐑+i@+S2 Q@@A@$_433F @+^>#7AA@@@@@@@@@$_4342M접$_435'`o@A@@B@+_2 Q@@A@$_436FF@+j]TAA@@@@@@@@@$_4372M접$_438'`o@A@@C@+h2 Q@@A@$_439Fl@+s,z=AA@@@@@@FC@A@@@@$_4402M접$_441'`o@C@@@@C@B8@+v2 Q@@A@$_442F@+,z>AA@@@@@:_D@A@=^@A@@@@$_4432M접$_444'`o@#B@@@Cy8@+2 Q@@A@$_445F@+2ʖ5AA@@@@@@@@@@$_4462M접$_447'`o@B@@@C9@+2 Q@@A@$_448G@+'LAA@@@@@:C@A:Ð@A@@@@$_4492M접$_450'`o@"C@@@@CڠCݠ7@+2 Q@@A@$_451G;@+,z?AA@@@@@:G@A:@AFېE@AFF@A@@@@@@$_4522M접(*$_453'`o@0G@@@@@@@@D%D(CC997@+2 Q@@A@$_454G@+?'fAA@@@@@@G(C@A@@@@$_4552M접$_456'`o@C@@@@DfCߠ9@+2 Q@@A@$_457G@+?'fAA@@@@@;D@A@>@A@@@@$_4582M접$_459'`o@#B@@@D: @+ߠ2 Q@@A@$_460G@+?'fAA@@@@@;E@AGD@AGF @A@@@@@@$_4612M접"$$_462'`o@*E@@@@@@DߠDXDB:O:@,2 Q@@A@$_463HF@,0ԤAA@@@@@@GܐC@A@@@@$_4642M접$_465'`o@C@@@@ED:@,2 Q@@A@$_466H{@,%0ԦAA@@@@@<9D@A@?8@A@@@@$_4672M접$_468'`o@#B@@@ES:@,82 Q@@A@$_469H@,C0ԥAA@@@@@L)!s,FSetPositive%FSets#Coq@+PositiveSet@!t=!x'BinNums'Numbers@(positive*@!y!H$!E@"eq/-OrderedTypeEx*Structures)7PositiveOrderedTypeBits@ fQBA%lemmaC )Morphisms'Classes>@2subrelation_properJ74!AA!B@*respectful%WO? @  %Logic$InitY@#iffС)  &Basics'Programe@$impl7o.Morphisms_Prop1@9iff_iff_iff_impl_morphism8C&-+ (//"@$flip$666)Datatypes+@$unitUe@AO@6subrelation_respectful>6z GE::V@0subrelation_reflv NA7! PPCC C!^@9iff_flip_impl_subrelation2VA@"InCDE po@0reflexive_properm+(!i@#elt!ql nuj@ @o@:reflexive_eq_dom_reflexive=[x/RelationClasses@-iff_Reflexive/h7100@/eq_proper_proxy)f766@6reflexive_proper_proxy5=ʩHC!a<"@+reflexivity(ϓ/(XC@E,͐ "s' Ul Z@@(symmetry0xjF@-iff_Symmetric!x{vC$"#@'(ꐑ-+$,#s''/@zؠ%"H0FࠩF @=trans_co_eq_inv_impl_morphism&ni$횠u@.iff_Transitive*zGy78CZXQY-Z@^ @`"ecUE@$boolZ'@n@#mem݀x A@Cywi@V Crʶ@]wu@AA@AA@@@@@@@D!pϰ,&_@$tree @A6BiA? 󩚠Q@(eq_ind_r!2#J!bM[@#notШVJZ%Ni@&eq_ind Jb-!eee@@@@@@@@D!l{@%Falsee@@$Truey@Ap@)False_induُC6-Y@(mem_Leaf8kC@%EmptyE@%empty$eJ!l!o!r >ZJf@$noded΀noB蠩}y @@C@C@@@@@@Dqn˩Š$ɠzשѠ0 ՠ+7ݠ<7DB蠩HA; MK񠩜QBDàXC"r1@"r2DѠ (]ܩ_=ED"l1O"l2S7lސ@(tree_ind{e:ߩ3ְ3@(is_empty-J@#andЖw@A@©G;;@K?"H1Ȑ"H2B@@@@@D\@_*@bV Ȑ"H3@%#CCz"sGguBIk#IHlO|#IHrT&f@$andb=@%$@@@ADr@$negbdVdfͷQORFWְYз[ܐHiXQ+!fX2#Ƞa;'ik/@>trans_sym_co_inv_impl_morphism'\|ܩe@/Equivalence_PER/;㚠k@/iff_equivalenceZ=ݩZ\R.٩% ݩ4$BoolR@-andb_true_iff 57&6:oi83dBD' '!@0and_iff_morphism Ƴ* B((- *(fE%ʩ͐J!W;.Racِ֩Ͱ*$]E C"* W@>Reflexive_partial_app_morphism 2R,OMB8t*/QD1/SF1jPP(jJC=8~|`Sw%%MGB ,jh]SE-l_/i na k We  ^?T f[B/@ qR&''Kii!T1@&e@/2&dyy A@'and_ind14ۀJE EH<CLOCӐITWKڰ6]ސJW^'adX ,f]찷opL\hcLXICXCxCՠ]  rϩ@@L}7 ihЩ@!#\GFD4h%k(?"a0ܷS^3ZH5|\:BBB@@@@D@PRy>@@HI~oM@ \nH@@S@թ̰ؐ)#\K ]@@ `aeCCA`uwް;1$Q@-andb_lazy_alt3 CTMG{{ES KCf*ũ4wcYQF<r@-is_empty_spec7z<שD,au@xnf[Qᵷ.,"HiDSg@'empty_1 +=KC@&Subset*$anζ̩>@&subset. NݩK ڠq@&k@lin@-subset_Leaf_s CCǠ `""l'"o'ķ"r'@C@F!C }ک?ϷAdH@޷>bK@H$]5Pmhe=o }3!3,"?#: xݐ+R   I-<J*7V:-Q)`bɰ&˰([F9AN^>O+kOBf>uw)$0,XVKA}3ZM\O s,,`tT`eX|Tl ,jh]SEl_<na> XfҠw0) *@ߠ_=6"@B,젩İl6J|3 3-װ]4;⵵BƩXƩ1+_nCurCC;⠩t^m@"ymye@ro/yq{w8ruC.C}CD~N9CC%ѷ@,R*3'0ٷ@"Y;@_7>$_tmp"Hlm"HrmطO@-JMRĠ32Yɠ ͠8ܩ>bҠ֠LGڠeYwa"O!SCr{C4~hj:M<x?C>ٰ6+yqw9us=17upryIWàhQΠ Tb XՠuPlbߠX h\ j$^y!n렩iڠ5k{ o }#qà*G{,E}@ˠ͠46,GɩYUࠩ/*y,/@ 22ߩ+mLk0^,ARBD~\xéѠ=  rEBj\,頵@MNƩ9%@ E/Z29.1G6gS?$<mE+ArJ0F1@ǠfɠT2ODChKpZ>5)t6O/{nVés $ɩ yQ?ND֩e Bک`ީ \PTbCؠX9ZCtn-c6@렩ðBf6ö@;ͩI ͩKB>{ <:PiohVũǰI@ڠܠYUw̩gd @h%u @(w 萷tʩ2]ʩ5t~tF@+3#.÷@!@8YϷ@TM۷@H@]'7>I@4A?#B}zH<O-CC|C >@zwhRƩ|yȠөC[m(9vC~|u}^~@+subset_spec&2$HRgTip@c@ARͰ*E @Ұ/ $@װ4*gL@m)$kuw=@# w[#z(R@%equalƕ(ՠǷ`өޠ7C hm5qFB@Cw%ߠkN/2ŷ.)4(D4-_`U^p[ivZJnکo ( @)andb_comm#oCXc3kc=85@#eqbPnxyͩr LGDHEa_{KHLIMJI.?/B]b jl.H ~ q '!x(|wtxuj 1eҩl3   > ' I; H (@U 2˰( Ͱ* Ѱ.A©]ZW B۰8K,ݰ: . kO@.eq_iff_eq_true |$" r R Jj>L@s$ h [nRcFTmH  pk9  h `T bV$ ~ q jy^ ly`b   } 88  N zXn  D #Pt a &  " Ơ ~       !   - Ѡ   Ʃ "ڠ A C  >䠩 Kv M|,    ! 2   C#0  ߠ   [ ]  X3 g i,    =$ $  "" P   a$  ޠt w $  r 1 rxx vv f   wxt&& o (@,eqb_true_iff?sj 24:u =?'  +I 5   KU 4$ )  /O  8 UW?YW , 9 7 , "^E  ; . G  R  = 0 ggA87 U 5 ΰ +3 k T$ I < Ooq, O M B 8t*  Q D  & h{{UL@@|~n5@ݩ  3 ~4  P_ E  S  IЩ  Y   ]/ R  `Š  V  jݩޠ a * a  oN d  vh l l  zߠ : p &, %  w (   {Щ .   1  e РҠԠ ;     @  ޠࠩ G d   K  _  "E Q   %Щ W   Z  Z  d 743y #  j ǩ,   q DA@J   v ө8* ɷ$"H4 ~ ۩@ ѩ!  [XW  ݩ  PR.   UE 24  nkjР    c@   gW %%   n   j        F  @C3 H ԩ$$     ð    KC+ R K K K S R if Xשfh ϰ ,Li ! Ұ /  %Ʃsuީw Է  =  2  F _ ~  T    \3 Rjd  f;l|j u"H5  pՠtS g 9  y{  }⠐T5 t % 9 xĠ + @ ~ / D  T , H  E 9   1  ߩ =    c[  B  @ R F   ՠ    K       @&eq_sym X w   c W  * 'z   [  . +    V r  o c  6 3   g  : 7R   j    z n  A >#   r  E B    v  I F ȷ      ]X   TP       ,٩ Q N۠  U R !C  ٩ b֩L   U S L T      Z@%Equal #  (     >g    :   5   m 4n K  J       A % B~ L 0 # G$  V D   q 7 * l N  9 ,   T Q 1 & ^ B 5 Y6 h l, G E : 0 l "  I < !  K > # b  @  w  @    @  S@ ~  @  '  @   {       |   Y c ʩж@  | |   ~@    p    @     #  y      ʷ             3  "ж  %@    '@       +@   B/* 0/ /@-$ 2& n   9 D 81+ C   Πk> @,equal_subset@ ɐ     ⚠ @*equal_spec7]8R      I T        g    fc@ @ X c @ \ g @ a l   ն@  0 . ' / .) @  1  * B  3  #Ʒ@       > < 5 =  |  "H' %            ٩ M@'equal_1 @F        "        $   {  %  xC !u @*comparison;f@!v "u' "v' R  ˩ @'CompOpp y  @   !!@@@@@@@@@@@D {(( U N*B-C     v$ 607 װ9(  h !c@ B!1 3 _4'" u  L2 N<' R@(      R   T"b' W ^ @,compare_bool ,̀ R   d   f mU\  a  4ucʩ 9zh D m% z  1 | !% K s)  O  Kz0ѩ P5 [ [   o  ϶   <@+compare_fun0*A ҩ     O ީ J  ~ ܠ r     P l  \ / p  제A 7    ͩC oѩ3 6U 6  Y< 5 ӷ 3  W? 5=    }ߩAΐDT {   #א-  #C RߐU6 1 ) /  - + 萩  -ܩegکn-p $ C |@'lex_Opp+ש֩ Jq_C İ&Z      1C Ѱ3  浩 7C װ9۩@0compare_bool_invZҀC C32ZsLJDK*MV Q0+~*'  W Y @  a @   & (i    p 1@uL  @ % < &  X aF      C0 3  8 M@/eЩ ̠<@ ϠA X Bŵ ɩ ;q 6}˰ . . ( " .CI  L А"b1  ? [ "b2 PTR  ᠷ   M i  [P]  젩 @dOf é @  }e @oCq Ω  ö@ xL= \ h Y C      z c   o `C8  z  g) $i  @w2 -y @:( { ~;(  { *C A /     /  1C @ wIDy @Q Rwu z Jqy }Zrv~ Z R'"va°P @ ߶@ ˷m ݷn C5ΰ0{oа-! o g m/ k i ̷ 3Aڰ<~{ t @ @ ηϵr ҩ à rC  w  ש ȠwCCTO~L@   = O   @  b]~ZN ^lg|B )@@ݷ޵ +C CC}xui   w  {1|#d_(.': ,}G  W?76  D.&"é<~9  7 ۠ ݠ7DO = u,  =+<?= ?WW;کSf  4 Y ,  >Oh j͠fe  G  nJ, 0 g% i22Wh4Yj!>@/compare_bool_Eq4d  젩  "#M6 $% &Q:  l% *# ,O:@)and_assoc- 5_H&@ 4  / >7F , C ; =\"W9q@&lex_Eq-䀠@ [ WX Q5( Lq7*lN</`DCAC0ɰ+j˰(DY45@ְ8d ذ:a>@߰ACpGzvJ}K*x!y۩̠Q(}T(W+Z.٠^25@+compare_inv0*DۀCǶȶ@i=@"ltEշ֩_4tjbWMzx&m@-compare_equal8U^ƀ V,s  C@zuZ@"ctE @]̰ AשD۩Eߐtq  |"谩&Br stȩ0y'z,{$ө;?C51H ;鷐!w"w'4Z] %^@AAAAAAAAAA@@@@Р@@@@@@@@@@D@q@  H@@w Ӱ N İ   eDзlHH uɩL xɩ"G {RQŰ' $) ٷ*ש˰-Y ݶשΰ0]      Ѱ 3  %װ9  6hfڰ<  > ?Bn #r  vtJ  L M.)| (%0+~  \UVW@O@[@@Ű>9WV:7B=U=:E@?< 8зj m p s x00z={~+b]YX^[fa)`]hc)+( ..+H0U@44wrZHytzuIʩ>@>XBe [l#$JA۩M K\?Y=kPxWT;Z8]ma=a+-C/,thje  mΩ6+++ԩ<R?{>@&ct_xll,~րD@&ct_xgg,~rc з;+<|z/.x61" Iax"vt,%|C- qmo7nm{L6l  u?jhy<==z>;:4AeAAiY H a!PN°$&'VȰ*4Y˰-pZ01ީҰ4ҩ  B|f<ܷ= !D% s&!trpoivvv3K2{6ݩR)(U,VY-c8]1 ^ -ǰ@;!Ƿl2f)gϰ)*H-kӰ&'԰  X@r 3 3@@ܰUPOLWR +QNYT+> @ BB 3 4 lk2&2i8gD >Q<0 Be?3 6׷[C: M ]}xZ~ymlJA ? S \ BiZ jwnop@@W@X@YUONз LJeHbFtYDmB)@c:97}eȶu513E0x>/oЩ8-+ԩ<P=6;@&ct_lxl,~΀A@&ct_gxg,~漀 ^ ͷ8({:w,u8/63:24]2$\0;%8dY=WAV{++$+SCT0G42LG 8s<Q;{zYCyLHuIJ ICMqMM u"e R iVT*+Z"[pZ01a>xb8ط9=iebmmm*B)r-ԩvtJ! KzB{+zP$Q ^$XY/:]Ű3ưJ@@@̰ t 'OgLJ nܩq4ru %x (YTHGj(~ { 7 BD,C FSQ/L?? %L (;ZQRS@@:@;@<541gз/-H+E)W<d'P%  `HmX[!hRuy3 6\SlOiM{`ƶ$ i ̶y 5K74|sԩ</ة@TA! Wyķ/ܷ0 pn#(#Ob`-[W0WVd5U^7SQ"Ps%I%%M=*A.,ީַ23H2ީ߷ ةrtqP:ܩyl}A~ϩ=8gEEEm]JaNL"#R>ShRϩ()6pZ0з1 5a]Weee"@ʶ@˶@̩ L jj j'?nBE&vJwM!JO#PS* ޷V-SY0Z] Ű3+ c &d̰:=4p+i,j-k@c@@@װEH Aзs "1{>|*TW:"G2\_5B,Ocf 0y'@#=!O4\=޷bMN[E!C:U8Lq]3kS1-P eH\bŶr@s j>;he˷z]qԶ~%wwt¶@j@k@lDdc,     Ƿ2߷©! xŷ[V%# b?@@@@mз\ L9P=;A|EZDbL"·#~|}RRKRz'jW|n[Y/ʷ0_z`xu_|5t6vp{ex;gg`g$<lзΩTpnDEtRP3vJuUK1-ww4L6|4ީ2~0T(U.,0Z1[*@ f,`>;IaHL<i@,j%J oC  X@@@ڰKH5$]@wǶ@@ZULTQ\W̰VS^YXCݩE֩G!=>Q344F,H[=U>/Ƞ`4P+55Π.h<X'=֠6 ^D`sU{W2ᠷyMi!?N8砩B,Uq)0@@J$4-+˩!ΩnA3 hϩtpCwJ+|O@R@EGSW('*pKL o KI#m@@%\^GP%,%D̐O5k8Ԑ; t]fCXyWC~@Ŷ !BO=N.ǰ$d(`O4E=) Ͱ*Iu l&E_԰ 6zdROBJ!1@!kL4J'y G[ucuH<I P~  PDQ X Zr"C ], \^  fȠg#31 r;C w٠]3 } A   ` [ \ YǩNȩ@  M +  l g T &B2  s nװ m jOܠ/K; e7i4P@  y yjnnCC   ) ~ {pr کhܩ שCT  )&pwC@[y퐑,!P@+ީਗ਼@2pointwise_relation-rӀ4ک@#allЖYr@0all_iff_morphismUx VG@I  K=\M@O  @aR,s W  QZ  T K"^_`a#@8per_partial_app_morphismp  4 @.eq_equivalence()'  j7 aa  @,eq_Symmetric9^ i?{@.compare_x_Leaf(`b # @  &ư (T $ +`  ,̰ .   W] 3M  4԰ 6  $ g <qW@/compare_empty_x<`+ hY}  h      #l''#o''[#r'' bҰ  Ϡ (( r  5 s۰ נD ©@&ct_cxe,~  $"{ 6@'Q_  Ω w _yZ 7Q   ݩd ݷ `  ʐ6 xϩhzѷ ǩGoB^@Oyߩ   #*#H''[!u 0 *   é+  }xé0   ! <-@/compare_x_empty/YȀ9r8HC@w==A ML + CCG ?uC@RRLW (^ 'E{XCR NZ P\ Q%tPN(rPX,Y5-a ]FO$+ Y a..@8l h  \ 4L mA C  Tې N  ~D} zculG@ Q iU aM sgzpΰ+ 2  3 tZa_ed|ڰ7)Է;@  D K $   O % } NO *  x  /@/4C@Ű 37C@]OOʰ B M'cU ʠ7RWCӰ  ϠYlܰ^  ؠ^11 {    ? }g gN9 q F n  ;@kf  h|cI   } Z   ٩R  _  \ ީ( jDj<X@h  e d r   jze   ak` ^C@". C@]%9[ZWU  fdb'@&ct_lex,~q  m n p   3      7# 9     < ?-   B@/ct_compare_bool"   $6CCR NcTU V7X@.ct_compare_fun1=O*      @@  fն@@ © kY[@  p^ @  u Aзj F F |շɩ Lɩ "G 8ܩT$Sǰ )  , |  /ܩа 2^ܩӰ 5b r@ذ : 9w @ݰ ? >  DsN@'f_equal= L L My?!y OA# S %G X Z  Y  ] `  ##@ e Ǡ( >@ j A  l Π|  E q Ӡ#/ v v*7 z ܠ,)  2 4D#  8 J @)   d@.   i*թ3  l *\ E9  E|KxW u d OC  ysRF  שd  _ ۩M  YܩP  _R  X^FBX@e<Y 6 ~ @4@ oV, qT )omf  u   %y*w!n    Ѷ~r -~u %f@p@y { { \ ~ 0     @ @ {   ! {" w {  @ @t@ -l++AM++AS /    穷7     :  穷  A       ǩ  Iʩ  O # # OSŰ ' TȰ * Щ ,   -שΰ 0-@ ն@ʩҰ 4 D װ 9thf  <з  =@ @߰ A   s H   u֩Ǡ vvvv3 KzHL.~ R )N U U  ,, W .. [ 2/> ^ 5 ! _  b 6N f f : j >0  m A  o C 2 pC@A<F, v  9 w@ض@ :ڷ ( ~ R  U 6.+g@   @@$  A@)  ` c@-   hT {V X  C@ 5Ŷ@ 7 G    Ȑ#Heq@(eq_trans!y  4  6  [ < ] @4iff_impl_subrelation5féqi   M 驷ڠ 9  z   ^ j[C CA?8@@ v鐑97@,positive_ind?UзA?4TR#Y@#addՀi멛@"or @+37][#IHx"y0cwu F#bG fLKfr`X-ư#47DY1ϰѰ.(a$abB۰82lI0ErB<C7j$_ReGAsXu?TyyQKF[*pXZ%[if  %@k& @n r z@&or_ind"&!'~A+k%@@ٷ!fMIIC4686$8EoCǷ2+oA0p&AN\F_L|հ@׷@,+C P4RTR@1TaCo,CYǠàUa%#!Ӡlɩàڠ"֠t&vө*ȩ${ةҠ:Щ/ڠ Qq>@ @ = 9%E(F l(VWY6 ~]]Z 8C;*B>>U"}24D~h.nnowKv@r\#MC P? %PPC-ư#q470;ΰ+%y!xrj?ذ5/p+@ްt=7xp3p@M @PذՠeC d|qC<~@@ (CCvlfbw'rlagu=@|vq$1'~y@5     ©6ܩ:7,@CC CIWO[X^k`𠵩@l͠ n@Рn{OsstXv)xvdUxZCj  4135'89rljx C~Cq&X,VT.@ "@-%H(4K ++: b_av <c xUf.A>ECH:FFC#* &Lİ!"|z<~7а-'a>bb%:ذfg4f{sH>8Os6Kw@T @W߰ܠ C ϷI+CCxnhDf{$v>@"/Y@)|   1ש5,&:VCCA J{ ROnUb1w㠵$sm bGfzuΠe @c @Ϡmzrai_uZu?uz*+BBxU-TݩWߩ11 C h9(tefdC- z89uODDEM!KLF^"CUJ"@C01_3][5- ©9/$$* 8bB0/0 @ @$°PgsVtʰ)22U4G_C b' bbyQ%hR$m"nC*q6-qqCND>w:O+YOIP"EZT@c @f`     렩jCʩrtw 9C C|v}#Rt#L@)0=@'01ķ(  ̩@C'3CCGA[U\i갷%#h̠e© ͠kx$@u֠ w@٠w||}a2  m^*C&s=<j.?p5|CC 6X,VT.@(@$/"H0%4K ((: b:a Sd ,?{Cu?C `# ;bn\T)°Zm*Ȱ$^V@ҩ3 Զ@6԰0jٷyکܵgjʩް:llCrrBEdwwCwCTJD]@U޷P@۩^ X׶@c#ڷU   f iCCxnh\dy9ȷyszo"/~~G@? .@BC 2P< !7JG9HC8ӷյc@[%Ƕ@(E`a2+=.fcCS7C e f  Š~ʩà𐑷 ) ' q r hu -@(add_spec45B|~D~ 9 7ޠ  ݠ{- O7 @"蠩3 7蠩A8ݷ@&@I@©DF3@KVXϩO > /4@Ǡ٩F 8LѠa z x j· ]÷ [mHOa_baJx cA7 M16R Q   ~ַ q׷ oېg Z : b?:4 \4 R J 6 , $   aFA߰ f m x i qsHBAAAA@@@@@D@ z~            ޠ $         з      ѩ x nh  @&remove.P j+{y  ѷvt -^W ն    '~ r{Ǡ<s     ѷ :ɩ  7&qנLqo ̠d@I K@䠩YAPP QoS W}CBC   %ZZe\  C  C Ơ _N %#!ũ  Y˩ ٠y > vө͠ɵ! 栩 ܩ֠ ҩ $     xݩ)>!-  |!  @@6 )!Bp 1  n   ^ !Rf!e!e !fn!Bm@!i#z!E !lVt  `CC!J!J!a$M>3 PN$Ӑ ǰ y!m!!!_1>>!!@q!b ְ! CC!d!dC!A ڰ 7r +wA 3t!@(mem_node8oc@!m!uzC!Q  G A$ >!!!! !\  R L H !!@   @   ! ,  1C!!    !C!|C!! v p l z 9 ~ x 6 ! /à 8!,    R@Ϡ @Ҡ GC!] ! O  1 "C 1C!Ϸ!  T!!C!!J )  po!!C!!T  j  ""!`!Ġ!]  6  q!񠵵@ n  p@  ~ u u" v x!%C"" H } }! #"C!C!蠩! ީ ؠߩp   G  E  C     7""{!"  ! 0 !  ( 쵩@< #@? 0("K+!; c  C C"<"S 33!B"A"AC"!!-!T!  o/ "E"M0C")!°!! !"{"y!! "}"""6!ϰ!,!&"`!#o 2"d"""" y! q"F!߰!<!6!3 "t @   @!  "   !C"" !!!"C"gC"k"!a![!X    !f  !%!j!d }""!%!p"~!!' =@@!2'" H! " :!! C!C"" ! ?""C""5!(!Ҡk! *[+""C""@!!/!""# #  "N ݩ""K!!l!꠩!_s"ߠ w@!\ !^@!l!c!c#!d !f!C"# 6!k!k!"C"ҠV XC"֠"o!̩!Ơk!!4!!2!з!0! !!ԩ!Πj!!ש"! !V#""!!ޠ"x!ک &n"$#"" "!!"~! /o#" 1q"# @@ :!#Ft"5 e !""wq"" " b"7"#Vj #i#i"#j!r#Fq!}#HC!C#H#H#_?+"N@ ~ #g{y#z #|!,!,O #~#~!.h#Y"Ͱ#C!C #[#[C#8"Ѱ".Z"" n4"*ce#f#eC#B"۰"8"2k". ##!~"!v#K""A";!B"7 !#x!@!  !@ "!!#!!!"C## """#C#kp rC#o#"e"_!f"\ !!!"j!!")"n"h!o!v##")"t#"" "+!A@! @ "6!%#!&!L"!>" "C" C##  "#C##8"'" ՠx"!!)^!*##C##C""!2"#T""~#$$##N""#ߩ=" "c#㰷#$ $$!#a!#Š#^""" "r#򠵵!@"o! "q@! ""v"v$"w!"y# &C$$  I"~"~# $$C#!C#頩#"ߩ"٠q" "H""F""D""""6 E""#"!-" !@$!5@!8" +$D,!!#4 \$4!""C"C$5$L  z))#;{$9C$## $#!L#\"g k_$="$DC$!###e#$e$q$$"_#"W$,#Ű#"#]w#!d"ِ$Y!@"֩!n "ض@!q"""ݷ$}"ީ!"൷#mC$k$  ""#q$oC$LЩ!C$P##F#@g#<"""#J""# #N#H ##Q$_"!#е"@!۶@!#)$")㵷# $"""C"C$$  #$C$|$#r$#f!ʩ#nf:$#C$C$$#|#ve#r $$"·$+"$$(##"#{!Ǡ#<$"T@#9!Ѡ #;@#<$#="[#?#C$ʷ$ !#D#D#"O#F$$###3$#5c#$C$!C$$M##"##"###"赩#m##"#j#$à#c!0ŵ"@#e!6@"9"b#j% #k"<. $#o##m#[#L$o#$#$C% !BF#w$G"3%C$ߠ$x###ɩ"N#Ѡ"ɩ"%#% C$頩$#ߩ#٠"# %C%:$%-$%M%K$$x"'q-%U%S%E$%8$%6,%$$%'"6$u%!(%%%$#$@0not_iff_morphism Z$$$̩$Š%,$©"C#$%8%p@+remove_spec#[:е$C! $#""$H##%FC#Ȑ!%%%s$˷%f$̷%d$Q$%N%."$$$$$R"h#ݐ$Ѱ$$$%_'$%[$".$%e%d%%%$%$詷%h%H%%o$"$%j4%`%X%D%:%2%'%PM%t$$$%_%R$$ >%z%y%r% !$$ȷ$Է"% %~%~%%%%%%b%% g%#ȩ c%!%#̩%4%}%u%a%W%O%D%:%%% q%#ҩ m g%+% h h$%%v$ j%%#ڵ$*$o$:$%$p@ z t$9% }$  y$  y$ z%$$"%$!$$R%CD%$R#C@% C%%0%%1@%G%%@)singleton:.|" %%>%%?%ͩ%@%add_1,;$%%%C%%H%%I@ש%_%Ω#%%Q з%%&& %& %%M$$%֩&@%union%$ %Y$$%$%\$$,$&& &&&$$%i#%&'%Π%g$ĩ$$ Ϡ%m$ʩ$Ġ%$%q$Ω$ $&%0&8$%}$ %ᠩ%z$ש$Ѡ%-!L$Ω 㠩%$ީ$ &$&#@$ $$@$&0$ u$$&&3 $$$  &C%%$$ $ C&%$$ O!M$ #s'1$8$%#s'2$<#@%% %$ $%%% #f&C%@ $ &\  $ &H&_ $  %N$õ v&N$&e$$$%Ű%"%%&TC%Ȱ%%%%%Z&X&XC&5%ΰ%+%% %  5%Ӱ%0%* %%& C&@%ٰ%6%0 !m%- "s1$u$%="s2$y%&$%$|&Q%%G%A Y7&|%? T%%O%I a=%E%%S%M e&%I&$@&%]%W %R g&%b%\q%W% @ m %&   %&&  % % &%% &%&%%$&%u%o%j&C&%x%rW%m&C&& %}%w !%s SC&&(%% %| $·"b0%$Ƶ&&&8%%"% &?%%k%&B%% %%$&&%©&G%%"{ % 6&N%% %&&9&#$v@ & HC %D C&^%%%&a%%%&%  &C&Ϡ&h%ũ% Ω% ͩ&@#orb 9%ĩ ٠&w%ԩ%Π %ʩ&{%ة%Ҡ $%C&蠩&%ީ%ؠ 4$%';'9 @'N'L%(&% &G'O&&%%B% &%%%'&%&%% %'(&X'`%<&%4' &%%2(% &&% %'7'C'&& && C'&&& & %P%&%R$@ $ '%@ *% )'k * %!'W'n %$$&]%ҵ ']%'t%%%&԰&1&+#&L&''dC &g/'e'eC'B&۰&8&2&- B&&=&7 &&3 C'M&&C&=  &9  %%&G %&'%&%'Y&&O&I &E Z&&U&O  C&K&&Y&S '&O'%$@'&c&]&~'#&Y n' &i&c$'(&_&@ u &'  &''  & &'&& '& '&& %' &}&w#T$&s'C'$&&{#&&w'C''*&& "&} PC''2&&  &%˷ &%͵'Ʃ''?&&#& 'E&&#&&'I&&#'&&$''&ʩ'O&&#& 6'V&&#'s&''B'$ %@ ( QD&E L'g&ĩ&$$$&'k&ȩ& $ '&'&  'C'ڠ's&Щ&ʠ D &Ʃ ۠'y&֩&Р J &̩'}&ک&Ԡ N%&C'꠩'&&ڠ T&(L(J&&'&'E(M''&&%@& '&&%($& 7(#'S([&7'&/('&&%#&   C(/C(    C('' '& &&E&'  &G%@% &!:@ &%!=(`% &!@(L(c &!C!C'R&ǵ z(R&(i&& C! (SC(0  - 7 C(4'Ͱ'*'$&+' &f&'.&h'(&s'&k(@'ٰ'6'0&7', A'߰'<'6&=!*'2 (o&@!i M!*&@ P!n&!-(!o ְ!0&(}( !3&!3'!4('& (&(&&&ؠ''X'q'L(C(C(ff ch mC(j('`'Z&a'Vf&'dd&%{@,orb_true_iff C({('q'k&r'g |('w'q&x!R'm ZC(( '}'w&~'s (C((0(('(((Iک (L((M(('(((>(֩(T(©('ƚ(@*union_specv(((I&K'(')&M'')((d' (h"I(i(%) &X'((n&ө (s&%$@%@(z%  ɩ(϶@ ŠƩ(%%(%t ('"ٶ@($(#=)7)5(.)6)(()(*(?S(I((&(T(K')<&(:(M&,)>&( 1$ѷ@() "(() kթ(%5)N)L(E)M)?()/(U(Vj(`)(&(3k(b()S&(5Q(d&C)U&(7H$)!#>(&-)% )R(з)U)S)g)e(^)f) ((')/)m@%inter7)>'&KY)e)c)x)v'R('J(q)y) (((!d( &XR)J(z)'^('V)+(İ(!(!o$(&dJ)V&@'ө&kF@'շ)u'֩&'')a)a)x%'''۷(g')eC)BF&vCC)E(ް(;(5 8$(2B'x'(@@'z' @'&;@&6')'''?)})'('''Ӡ((S(M"(H)CG) %'J'((' 6))C)g-&/C)j)(`(Z ]$(W*'((e('()')')w)(m(g j&(d&%)':@(&@&(")(#'A(%)('((%(()C")) %%(-(-(&)C)Z& C))0((('ʷ('̵(Q(( '氩 ' (S()(L&ࠩ)G(( "()K(( $()۩))T((&(&($))(֩)[((% (&))I)'@* &8R (S'x ')n(˩("()q(Ω(Ƞ#)(***C)ޠ)w(>(ȩ'(Ϡ ީ(.? @?>C)蠩)(ީ(ؠ ( *:*8*M*K(')()F*N))(("('-*)O*W(3)(+*)((")('8**C* '>C* ))( ( (?()(A'@('M@'O(*X('( *Dn*F()I((()))&o)F)*MC *d&( (Ƿ)S(ȷ' *S*RC*/'cC*2)˰)()" )(d(),(f)*(q)(i*>)װ)4). )*'v*h(@('}ض@'(*(((*v()y((٩(ʠ*yC*y* &(() *}C*Z'C*]))S)M )IY()WW())[)U ŷ))^*l) '*)d)^ ")Z* )h)b %)^**{*)q)k&)g'թ)$**)*)x)r&Ou s)o'** *ǩ(E@*&  ) (8(M*.))$&)*2)))***C**7)9)'©)  [ C**@)) ) + +(*L(۶*+ **J))()'*۠* +(*X(**U))()'*栵C*Ơ ˩'C*ɠ*b))()()x)÷((@)q( @( )t+)u()w#+ +'E)z#)z*){(#++C* (C*堩*~)۩)ՠ({))))߷)*@+H)$*)**))(z)ݩ()+(@)(0@(2)+;)(#)Q+))*,)) C#+*+A'o#))*0# J+.C+ (?C+**))w) )@~*)B)* *) v)*+)(Q***#7*  "(+7C+&***(\*)H ) C+/*Ȱ*%*)&G* +XC+*ض++*++8*)(m++*++*㩷+c+C*+j4+e(z*+d4+Z+R+>+4+,+!+++q:_(**'+s**+@*inter_spec83+{+t+|+'**2*ʷ**˷)+++++*++++"+4+v+n+Z+P+H+=+3+*>*>*+u+h**@+#'**D*D**ݷ)++++˷*+̷+++***M++x+1+iY(+-"+<+8+3p#(&+=+6++8+9)A+9.++++1з++ڶ++*+++-**++@$diffP+*(Ҡ*G߷++,,)ܷ+E)Զ*,++C**#*(ܩ*W+נ+,)+T)++Q**#$'#*(+䠵)|@*a(*c*8@*d,*e)*g*<+**i+*k'C*VC*@,  (9*n*C*n**o)y*E,'*\+C+נ۩) ݩ*C+ݠ+v*ө*͠YI''* '*'*ط'*)@*)**ն@)#***,/*)* ,+ߵGE*** F**,#I***,% J***,( )**{C*C,?(m**+.*)*,0,/C, ҩ)@ԩ*C,+++~'?* *E*+ *G+n,v*R+*J,+++'+ )Xͩ*͐,M)@ǩ)b*@)e*Ƿ,oͩ)*,[k,r(*ͷ+aη)*,a,`C,=)q*C,C+ܰ+9+3+0 '~*v'|+>'z*x*+B+<K*J)Ġ+s#֩++K,Y*)+,,b++X+R(+N)©++$,z,m+,+b+\(9+Y)+,+,*2@ ,(  +*%+'*<++,,*++++C,C,,$+?+u)+6+*C LDCAC,,1+++,,,,*׷,@*϶+,,,>++$+)ݠ+R,Ҡ,- *,O*ީ,,L++$+),ޠC,)+gC,Ġ,]++_+ '*'+'**@+l*+n+y ö@* +s+~+u-+v*+x -, ͵-+++?+!,+A+- /+C++- C+mC-")P++,+*+L--C,*#+C,,++Z+ +'+++),P-X+4,+,-,++a+*9+-.*@*C+@*F+-P*+-<L-S)+,B-@C-*Q+ƐC-#,,,, (]+U([,(Y+W+,!,߷+,$-2+ҩ*fƩ+ېĵ-[-;,԰,1,+),'*s+,^$-S-F,Y,ް,;,5) 6,2*~ũ+-s,Ϡ-^+ @ -)  ,ѷ*,+ȩ,--C- C-c,,Y8,M*,,Wة #C-o-,e,_,[--+-+,-ҩ-y-,o,i+p,e*,&-,-+-#+-- ,},w+~,s*-C-*Ơ,;C--1,,+, (+ʷ(,(+̵+[@,@*ؠ,B,M&@*ݠ,G,R+A,I-,J+h,L -յ,&˵,,-h,u",-j,-ݩ,-l,,y- C,AC-*$,Y,Y,,Z+d,f&--C-àȩ*ʩ,lC-ɠ-b,,+, +,x,÷+-$.,,-q,-ՠ-n,˩,Š+,+ \.+@&+&,T@+&,W&."'+&,Z..%*S&,]&ķ-&.C- +# ]C--,,+,)-,%)+,)),',,,+,,.,+6, .+. --,+A--%,-,$.!.-'-- +-$+|,+K+.>+Mu-.++&,,-.#+W*+Y,.M+@+_*T+aͩ,֐+@+f+h*].r **` -aط+*b+-ְ-3*-'.e.|++,-9*j,,--.k,,C,C.j.*-p+..++-,ө.,թ,--F*-:*y,ʠ.y,̠*}.{-.{,@+=*+,ζ@+B,ѩ+*. **  -, *",!,,..-,-,,C,C,..*,-,,,,7*/.,.C.v.-l{-`+-h,o 4,q,+)C..-v-p,w-l .C..)..-...B+-3..-...7...P..+Π--C-.4......x.n.Y.ȩ !+נ.-L-... X/@)diff_specL̀Y.+." ."-.#,X-ZZ..ڐ//. //.^.'.4.........8...I.(--+-.v-M,l.w,j-o./*-R-C.C&/+/)."/*/.t/ .--..֠..@, .(...G',"/;^,.3/ / /G/E.svK/F@@./c@.@/.Ȑ"f'.d/-./.\.g/-../:/]/[,/`-0.."!j.#acc.@$list]@..+f$List%Lists/o@)fold_leftɀր+r..>/E/|@%xfold/+y.4./E/M+{..G/@)xelements$7/M..,.շ*(-,} ,.. -/^/]/V--f,7-./--i,.+:.86.ٰ+v.+x.+/i$+z+./d/l2+|.+/f.+E.CA-ڷ-.A.';'.+/w1'+-+/z.s//sA(.+ ./w// .w. )TJ)V/+7/)/+,/@#rev,ĩJ)b+5,/).)c/(/[(/+:H+'jB/,ةP.'//-.)si)u/#+Ʃ /%!.)x/(-p(//*+O +h(3++/<'/.D)x)/2+թe,)/./)~)/8+/t)+_/G4)/I6)/C/1))/@+/|)+g//C/7))/F+y///µ.W))/N+J@/)/D(V/ҩ(X/S+x,'8/c./)S)/Y+/ک)+/hM)٩/jO)/C/R))/a,/)+)//)/e,- )c/C/\) )/k,)////0'0%/q/|/pé/f--/u//-.///-/y//0301/}.///-̩A#C0;09//0Q/z00?@$fold 00/00 /󩚠0H@(elements ݿ-0010T0R-0W.'///@#nat@#Nat0@  `0i@(cardinal4A-r/@&length䷀/0?/-/·.ڠ$C/& -/..W-1./ ..Z-4*/ӷ(&../'/̰71.Ʒ./-;0^>B;4*Q5-0/0k2/.ַ./=?0n!-(yٰ/֩%0(0v'-(0.WQJ+;E/030*0!nc/e_+"0.jd]-}X n0p4l3/n3://y=u$~00//(PeanoNat%Arith0@.먩 7${00(#/KY@/@)add_assoc7!+H5Jg;%Peano0@)plus_n_Smw;20RR*C0Gx(`0[/*_/ؠ*a/Tha©0YR0/[\fǩ0^Wà0/zK /M85!*0s/*u/+wC0lשѠʐ+ƩƠ0+1111;191<1:/xݠ0Ѡ0 0.D1/mA /tv@(add_commbC00װ1'.)1)C1a1_0#00D|@001l1j.1o/?1_000100 01@1v@'xfilter=[aȀ01?1F0 .U0000א1@*rev_append' .001z0ҷ00ӵ/0&//0'15/թ.i/ש0а0-0됩0q0$.@/۩.s/ @.v/0ݰ0:0!0//1///0r0.0@1r0u//թ/Ơ00F0q-!0=1zC1-/!/0/. 11 C1\00R0L1F10(10J. //.T/0[//.߶11111m10c0]1W.110[.0W10k.R0`111 10,0q0k1/g-0/~..15-ؐ#00Gn-1</04010-.1(0010{1,0-\0~0k0d1113001é/఩-.+/ / 0-B0e-1Y+0.ܠ1C00101G0-101ٰ211ک11S0010..1Y0. +00$110۩1`001-0*0/1h0ũ0001k0ȩ-*(101/  1s0Щ-1,01a1 12 ,1M111p/.F10ߩ.3Ơ2/0C1100/W0ݩ/)100/02H2F2!21002*e0/910/T010.S,901)$221$1112:-.h*C0/J1112B.n111-萩*O2H1 2G/V 11-2H,W112: 1;2T,\12?221/e,1̰1).}2_041!C2;1԰111+0:1'/s1ڰ17110@A1-01</1ŷ01?2M0/111E.,2{0H1=/]2.220Nة.C2^11T1N0U1J/11Z1T0[-u1P21^1R1X20%2C2q2 1g1a2[.-21_/21o1i2-1e21s.Z1h2C22ܶ22&2)2'22>2m%/1cF22223,*SetoidList}@+compat_bool!!|2?22222X222U0/נJ2>12ΐ021242222222{2f2a22b0/2l2L12Ԑ02k122r2r23222D2t3@,xfilter_specK222u202!/-22120m2a12}02122C3,3*32tAŶ@A@22󩚠31@&filter,2K23<3:3,2Qշ,Q3G342222222953 21&V12b222s/3'I/U2;220(33C3N3L3>2c@c@"3V3T3F2k-k3 a/,33 322.2G@2222#0@ 0:2 A/,333 332%#^Z30P3H25(0H3635C3n3l3^2@@@02Ϡ2ɩC&3{3y03~1N22Ʃ3$223@'xforall=g֤23y2Ѷ@/2ǰ2$2O 3R222ص0@032ݶ@1֩2Ӱ202['^2'@32@1ީ2۰2822-0302n2010032?@0@022C/*(2:3w0101011ީ1Ϡ 3~2@1 22P2j72\2G03 1 C3b22X>32,32N33 @0&110I12_110333p3 2fL2332\33@0)32l/H2a3 322q0000002j0^0312E`021222}32+330@3&22d03//22y3*2/]W2|2-212B2334213ĩy/2-22:2 ͠0#2O233A2113ө03b-2%3ԩ33M21'1)64203U223W2:22$332֩3[21517 .0&,203f2 23h2223FF3R3H033٠1 3t2:2ũ3v2[2ǩ2$332113~22ϩ32;2043e333vbb064354@3@0320?23$4331.4I3@32/ʐ۠4*20,4443190#344 3%9 4-}}730 4.414[3@0330Z>23.$4#43)1I1K44f3@0x33/琩4G3 %1 @ 0,43414&41X1@3454(3B@4L++3474*3-X0)1@1a1cV#>@43׶@13Ͱ3*0~3"4s 0%@%43߶@3հ32314d003M3(3ٰ360wq3-4j4004@1}33A w11`03:43@1,33J013A@43@033R.U943J44@33Z3;140003P43^-E.3U4/$.q44@1>4 3h.kOE43`.}44@0H43q-'X43i44&3W3P4ζ@43{3\144040U414թ3y4-60V3u4&3-%j3z444޵40.wC@0ة403-/t0.344起4۩49334.3.C@4>3-=0.344F3030'3I30{3 34L3 ߠ1E-MU/(34k34ߩ4S3 0-y\.34C@4[3-22352ϩ25 -ö@4h332"22!34k3ȩ14233h33϶5@3}4v3ө1423˩4|3٩,h12F345'@2430ʠ4232}5/@32405B441T/5D44 /%y2@,orb_lazy_alt+$[0i2j2g|30C5432R05.35V4@443,x353C5m5k44544 235r@'For_all25j4©444p4 5G55/-5K5+4İ4!5U5M3"45~4֩4˰4(5Sm45U1,5G5E5:55.0#544հ424&445N5A44ٰ465b4374,.5444=44245o5@,xforall_spec0;ƀ#5<5444K4\4?5u5|C@44N5@'for_all FQ%4H55X/lԵ5?545{5s5_5U5M5B58*&511, 5=5C@54c44X7h55Щ3E53555{54q5@'xexists=S؀4k5@"ex @5/55022A5'45B4y58563M@425<55=2͠475445Ox 4@5G55H2ؠ4B4B54C44A4/4 '5P55Q24K5H44А45ٷ51BBB@@@@D@(4Z5㐷/5d5(1@24a4a5ꐷ64c%_tmp0p5C5̠5e4©Qj4L5u65v33W4.43Q^4-4˷4+43O55~5ܠ5u4ҩal4ǩ\56.5325}4ک3064Ϸ5544ߩ3W3T3X3U5n44٩tmul4454s56E53-n542E`444*4465416.j46.655: 455 455 &553$6(65.55FH335ҠX4t5  55 555 56N335695 6Q61.5̰5)G55ΰ5+F55R$6G6:5M685ְ535'5ذ555)6-@/or_iff_morphism3# 6m!!56X6K5#TT! K45B36η45E6SPR40a6{6[55Q5E3/755U5I5|$6q6d5w`b65]3ڠ65S,Dhj36 5g5[4L24688566z6:RR1P3,66i6%66&33P65z2{5o5$665616623 6)52ڐmK5}3[,6666U*6666",r6p66i6D66E3ՠ3L6<5255$665=)6R66S336J52{5+uK3~,6666xK64666EM}61166666G324y@i(Gж@D6m76n346e5©3!5'7 @*O6x7!6y4 6p5ͩ2(5672@۠4ĩ6{55̩a67364365ߩ2Ơg75שl67>64&6554G74Do4A5653/ G57"2v}A647)7@!P@67V64>3ة663C567`64H66 1067@7i616ķ7m6ũ4U6654v7K3q67r3o666/Ԑ561O7R7iy@6ַ76ש4g36ΰ6+37`6#L7`761B ?6-1m7e6hz@M@g7j"x06667@wIK466H46<66Jo6>Ӡ6764T66Q1T8.6Hݠ77743266[1^B6R777744G76e3;L7'5y6])c)#z7#7777Ʒ743թ76u3K\7756mq9'7-'777ũ4n 4Ġ07+63^2467=77>4Π3ݩ7563Ӑye6!73ZU55 6C77C6/6*7S77T47C#887[7Y77P6<568@&Exists(8 841477ʠ7c6O64,777773P7K777\7l6ɩX6784@,xexists_spec;b8%8C@7z6ש8?@'exists_ ̇'6ѐ8I8G]1]8)848777777 8##"80(8C@767.6)8Z8Xn5з8^6.8L77@$prodt@8g8g8h@*xpartition q@5A8r8r58g758C8B 8h6ؠ8}8}8J68I 8s7˩57.68N66W5*67 66Z5 *8y7Ȱ-%7Q8Y8X!8887ݩ57I7w8b8a 886̷6737ذ=5528i188+,8754728r76L>8887a7r6O:875577x6U7'W7YXBBB@@@@@72bb8'8ķ"lf8a47琷"rt8η"rf8ѩd88ө6ð8,4 586Ȱ858o88ީ6ΰk5725n58<26հrF725 vJ8D27C88|786~D867g84@98Ð/8-888644>48Ω688Q64y75G6 817l997f73#7g6 %'4lC8X73N89 9 r3S87z{7ȩ8eqj8i9,h9-unfd90b9193937#196967&X7U7(S7O7M7ީ8{9 v9Bt9C9E9E75G7977D7979M9M7=7^7?7^948C883B99W9W3G9$9%6C9]9[q89_@)partition+68i9f9f68l79[86t8M979q9o 9Q79u9uE8PF9;7- 8@#fst 999LR(橚9@'eq_refl ?,,8e9@0partition_filter+핀9U99.9v79%8 :-@9@#snd q.8 /99797} L8 J H999U@#InA q9@999 44[ 9999ߠ999 69995Ƶ f9 d b997'@m999999969998@y9$99%689$99 ;@49999=9999ٷ@ 969976Ǡ9.99I}83B999K9J999?9 5@6Ҡ9999S68>M99889ɐ"Hx#Hx'8G98E838$Y99669C 9U  999`:99ܩ 899ߩ[89a: 9b6Y7C877=r88877;u 9k  ::8X8t89͠x::98^ 9 6%j `9y? 8O9 6+p֠iX9:*97g9y8873:70[: 89: 9頩:5:#: 蠩:9:': l9:>97&9:@:6L9$:99 :D:2: ):H:6:$+{9:M9759:O:#e6F:*9:V97>9987_:47\88 9:  9!2B :::9::e:S:@ :g  ϩ:X:F :m:[:H թ9>$:3:&99+"$:b:Q:w:e:SX/3:T119:?:293,,!@(InA_cons=::q:^  멷:]:=:ߩ9:97v9ݰ::lY79a$:V:I9\#EG#Iܩˠ9:979::sE7!W0 7,:g:e:Z:PU09:i:\920:]],VVK:2::8@^`F(v`@c:::76%9 "@(m:::76:9/-@x::|:'::(7::::):0::17:(::Be:*99h7:6n9}9}:::?88U:6::Q x98::99x7869:8O9&Y@&:O::P7ࠩ:G::a +:7_;::g9ԩ3:\;:]7:T;9۩ :W998:9899:砷:-D:9@F:o;:p8:g;9 q7Π1P:y;":z8 :q;$9 $':t998.;7:;*9Π;399;;0:: 6ҷ@8:;59 ĠL;:99ݠ;69٩Ep:;B:8*:;D7L Ӡ6;!:998O;$v:;K9;(399;(:,9;Q ;';H;T@::9:59 ;];K;96ܩ:;b:8J:;d;8 5;A::98o;D:;k:;H3:;n:;K/::;b:::;I7_:;y;g :7x:׷;:ة8h:ϰ; : 7p;a:հ:2:8;da:;:/;h0J:+:+D:8:; "7@:;;r8;r:uP@͠:;:8:;; 7$;|;::7G@8:;;::V:P;7:L;::; A;;;@;:b:\;"4:X m;;;7Ʃ;;;8;;;;;:r:l;5v:hl-;; ];88ϩ;,;;-8;$;ש f;@ h";)::g8;mt:|:|;:-9P;1; s730:V;;:;÷:9S@ (S;Ƞ;3 %,W,* )"*;з:@<  ;;f8 1;Z<;[8렩;R<;l ;;V:7:;䐷< ;e:M7@8&;_::9;5: Ơ Ƞ<: ̠/N;w< ;x9;o<":  9;7W;<);9;x<+: X<;|:Z:< ;G:<3 2<)<5@;::9?;:ש 젩 <,< 6\ u;;;<@!pv<=H<:0i<;;:Q=&9:99;;='<+@"q<=W<:?~<<;:`=59[;;=6=N!~ =:<=a@o"f<=i<:Qd<<;:r=G;< =H=q<ɷ!b=9= ==:== G =!v= =\<9@:=V<<;=<"=琷<$ݷ>>@=a<<;=};<"Ƞ̷> =g<<;!=<<<>>"Ҡ=>%>#>"Z>)>'>v!ʰnaZ><}= <{4>"B:1g=>9=;!=>; ʠ:';p=>B=;*=>D >=5=>C=>;>G=>K>9>&ذ%>!>)#=>T=;<==<>35<>3>o>m>_=>O= >8>>d>R>@>:<C#>j>X>FG=Ʒ>o=ǩ;W=>q>E:Щ=氩>u>c>I=< T#*>{>i>OX=׷>=ة;h=ϰ>= :>]>@.xelements_spec'??>^<3g>f",$"C=">j;=߰>>n !L=+=>>pC>>>=@=>>>vd;>>>>>>>>~0>L#;+>>H=CCCCC@@@@@@@@@@D<Ωk@">>>+>@>>>=r=l===h>>>̷<=>%<+>>>><1>%>>B>==* >>F>G='!A@B@B@@@@@D<*>>Ġ='@>@-=#=>=)==̩>>?===>> >>=6=өW>>>_>ӷ; >h>>@>QE>S==>p=>㐩=yL= @ >鐷?>j=:@;>d?>~ Q>? 1>i=Ʃ=>===?  ?#?!;->=>C?5?3?%?#@?&??<7=>#з?-?0?.?#?/@?@.v0b?@.wfQ? 2 ?:#IHj?@?>?3???1>7I9?C Ԡ7=? ?H?L?J???K?=>7292?*C 7.?'  ?W?U?J?V?H'?3C( g?5?O?r?p<?u=E>@&Sorted'Sorting?w@1ĭ@?q@?L@?u>Ͷ?h?t@>7@?x?f?T>ߩH ?O?}L 81>ڷ/·?s>`?>޶?y?@91?bC8>6ɶ@$@%?[> >?b==r<.=>;==u<1F>D׷$Hacc4%Hsacc?>??@??}8,=>>N ????@??=;?;@???>r@8:?M?=#?C;7"?G<$??#I;=">&????¶@?2?9Ѷ@'???>Ym?;7?) \>7?9mB?0 >7?@???3??ڷ?J w"Hy2?G$???=@?5.?é@%HdRel%5p@?JB:?"??B&ҩA?T4!z?W!q??P< $4>٩H쩜B?e ??2۩>sQ$>OrA?o@????3@@?<#>?z@@ ?@$Р@!@?=  T?}@&?~=?u@(?#@#?@?栩@2@ ?;$I=3%$@8@&?Ű<$#@,?, N@?%@,@U?@E;@=@?@Z?@8???@<8>0=b@>@V >@g>#@>p@k@????8?@4@O?ð? ?@L8?@@-lt_rev_append)s-8>)$>CP5j>?5m?=@aC@?ְ5?Zѐ>:@?@@@@@@qذ? @>۷@ڶ@?@z?;-:N#<r3:?i?z@%I@"l0@޷??ݩ@ 5©?9K<3?@@XG9,S<@''?>@@*?F@ķ>@@!ET9D:u@@ @3@'7@Ϸ?>@@??V@Է>@@?@>@3gf9;>49;@@+@?l@ѩ@/@?45>?@@3@=89H?O@<5?o@@@=1<}/<>5,5@@9V@өǠ>/G9H9m@@MA=5->9c>_@?kG/U>555B?L@@9~`ߠ>Đ/b9u9`AA9wj@=,A A@@m@A!@A@@@A$@A& @nA(  @pA*@@@j@.flip_Reflexive-@@ܚ@p@.impl_ReflexiveJ%@mA8'9%AA/>6>?oCG2==A=HA@1@1@V%AAA4M@!@#A8~A:|mA<k>A'h?ANd?AO@bABASAA9=P\AEV>A0g?Q?gAJA[AI9A6LAMA^AL9X ȷ@&AdAR95 @Ai@>Q@Ak9?'ZAI@@@AM/@cALA,AxAf9/ɩ?45&kAAm9ʩ //˩&4AAs9/ϩ @A@>r@ٰA9?H/dAj@ް@;@5An/@1An/5:Aq66V?K9: AvA8 @n/?S/x6`:A~@A=I@>@A6i;?h/A@@\@VA/@RE?i/55AA@#AM?zAAA¶@A@o@iA/\@fY?}/0AA@{@uA/@q[/&@Cg?/0&k?AG6A=A=A@@@@A/#%A> ANA@X+-AFSAAHAA@A_A;x-=9%AAOAAfYAAA!d@&_BAA> 3A\BA]>ATBAo#AAlB AA&pBAAy٩&ĠtBBA}> HAqBAr?AiBA 2A=&4?AAD#@9AAAB$ %@$B@AB1AB=з@?AB3AשĠ? ?7@BB+ @B<շB1B=@ҩϠ?6Q>@Bgе:$r&u@xCؠ?73>TAB'A=CA@@BR!߰9AB(B/BhBfBiBgB3B3@5AA,B`ABSB_<@50A?@s@@6@A-A>BE' Bl@|AK??AO@@ARE@"=>vBTA'Bz@AY??A]@@A`B^A@TpACBB"BX7BB@,SortA_NoDupA D BBA@+Equivalence~@ABBBBB@ , )B@ -KACA@)ReflexiveWBBBBB@6,{B@6(9ACA@)SymmetricFgqBBB@'-B@')hACB@*Transitive++-B @+StrictOrder.[@ABBBҵBũABǩB@)lt_not_eq-*B@(JBBBA;BϠBBBCB$@*complement qgBBBCB+@+IrreflexiveHt}BBBB@(lt_trans+TB@&"DAC: CBBCBB rC'CABA(BBAѩ,&ҩ?,C BC BBBܩBqBCBYCB[CBBBTABLCABBB)BOBA(BBAB(ACBC!CBC#BBکBkC%ABBCCB\C'CBEBBBhCBC+BCB@A@=CBC/@C0BC%CC@&ProperL@C8 BC: C(/ 詚CL@*elements_3>#7B1CVCT@CYA)CIB@BB@&option >v@Cc@&choose,h@gAA굷C_BCOBB  BBAAAA@A@@@@@DA|&C4CK@BAAACNA=CCvBζ@Bİ-&@!=#AA\@4AB%AA_@7A÷AB*CB۶@BѰ:@AB0<Cb0CA2!CAA:>%BB7CAAC@$omap|APF@`ACCv-KCnCBCBUHB}* XBAY;A[BCACCAP 5C$BBCATCACAVCCCCBh+[#ACCCBLAl@CC@CqCdC*C@CC@CwY8C63A~t@oC5C;BLC$"HpCC(@C_zCC,CĩC"~C;B*BC4B"s8C7;C',mCC.C;'.CCԩC2C?;CB4CA'CCBCWC=}CRBB\CJBCXCB=CCL@BCCNBA$CCS@AB@CJmAC۩C[CթCpCk=lBC_;D Ca@9BͷCCX{AB*xCjBXnCm(AACqCCCfCs<CD CjCw(KCBlCy<D"Cz=ЩCCBک#pBDCARD)C@BDCxAC B}Ba1D BmB^1D AG@CD5C@C5CrDDODMD.CC1AзDVB&D5@D6CChC?pC:BYB-A|BXBBVB0Az D@C?BBBDGC>C{CBCC CD<BY@kD7C7CCˠDVC> CCĵCICCCDK. CA̩B)">B,DR@CBBBDMBBCB֐DmC˰4->~ B7B:DvC԰=DcBD:AR,ADCݰFDl0CCBCCBCCBC<C7DtBCDCT>AжDCX0BCCCBB^QD<"e0c7BMDBBCDCfPADDjTT@:B*kNBnDDq+BvD]A1CDCDCmCgDB=7C<@CeDCD#DD<BwnA0CD*CB.C"EB-CwD?CCCDɩD'zB*@D6CgC`DDDDDCRDDDCCũD7CCBB=MCc@mCBJC>CCB.C;C$CDC0C!CCP CCDDCE E@@?E E "HsBvC @DQBDwCDa=DW@E@(choose_1,z=.WD8E$@*is_empty_2+?@CFDiD8EDm>C@DpҩDr!ŐCאD,... .-D-E@E>D7E?@8LD~-EEECD<ED@8:EHEF. EHDAEI DBEJDCEKD8Y8B4]DDnEDDETERBEWC'DNEVE75ө9FѩEZ@,choose_empty2ʖ5E+C^C2BC]CC[C5B!D]EeCADC9@5D-  E6ErCBEQDD <CDEAEWEx@9f,đEHC詷EFE&9(?DD<?D*dDŰD"<?D91?DzE@E3DuEW8?(EYD-EYE99;DEYD԰D1<D&*xDDDD۰D8<D-Ej8 ElCECu@3DKD7X@Cy@DA@}C{CDE<CDF@CDUBA9Q:SC_U?lB#E"A CfCDYnD@E3D=>>oDE6C eAidb$ia^C6ClDŠkih1EΐEDDDA@D@EHD=S=D@ELD=W> DEOC"~?}{:zwC©;C*Eߠ@2S?ɩE^D=i>D?ʩEbD=m>DD}rD%ϩEhC;?ȠEC>?DD.ةEqCD?Ѡm DCJBB+?;?EF =999C@5E-ϩA FFKFIEBFJF<EF/E LE̷bF19>+F3FT@)choose_3''LE EF$E,EEF*@EF,Ec-+R e/:S gE+V 3F2F+FnFlCFqDAFaE@EFt@'min_eltDCxEFlEķF\ EID$D%FK@E̛F*@%Falsee@DDFS6CF{EӶ@Eɰ2C&*DDaC!DE*DDdC$FEȐ"o0%CN>!DACFE@ @EްG)FnCEWDPEECE$CFYE8FuDECζFE@ 'FEXKF@E-]F^@F)FEF>FFEF )EDF >FF EvFECFF@XTFFoC5E4+Dv[CEE EkFFzC@F?6DfAbFEuEVCEBBFEkEFFJE-=F/3NFF$F1DF>FʩF(F5DEE*F7DFF8 D?EFECF-EEkCFH EFөF1OϵDDDFFE@3 FީF<FKCF@EE~CB EFϠE=FPD#FFR@* ·FFI E۩-hFZVF]? F_C FFTFa? CFFXFe+9CEZFg?GFh lBFECD;GFj@ GFaFpEٵEEgEK+FEH+FCFkEED%D E@nCFnEED(F EFCCG%F}@Fsܩ8dGCG;G9G+F@EGAG?G F~F#ҩDзGHEG'CG(FEIEDlEHEEFE Dj G0FBBFEηEGEESG"FiGIFE\GBF ʩAqDvDVG3EFEhGNFG;DCjXFfFGYFFE!ɷ"e1$GJEGKEXGMGdF°+DDuEEF$GlFʰ3DGYleCGrFа9#FaE<=E'GbGyFװ@*FhECzE-GhF~GFݰF(/ADFWj5CGFN6?9FQ;DGvFGF`?AgX:EZGF]?GD%DJGEGGFEf*EPG>EޠOGGGk"UCG Gn'XDGRErGG uW6G4aFF GG*FE$FEEkGYE[GC GGDLG8KBErDuFF7FGʩG(DWGH|FG]FEEE<F0\F+vFGrCkG֩G4,FF;EEF9FFaF4FF2F-Gɠ}F&F FG}$CFFCGG?FPGDFFE/FE GGCH H @CCHHEHEHG]GG^@GTE@GXFFG2FFi7HGjHGkHGa:,F EsFgFĩFGF0FMFGQCF,FEOF+FɷF)FEMH$G|HG}HGs4:GvFөF͠H/FɩŷF;@GH F "FGmGH,F<FKGHEcDAF3GH"G[G'.GFx9H(GG@2GHBGG+ERFG@0HXGF (1[FFH\;,GG GH<FY@BDMGF 5HC+~EfnHi;9GGGF( G HbHLCFΐCFА EBO+}Hx;HGȰG%GF.GHq PGE@EHWGFH_H^CFCF␩ WBl+;YGٰG6G0F7F@DzDG."CF cF>+E[DHpGHFOEFPGR4HxEDF[HvBH}GZکH@)min_elt_3?'fĀ/F=\FGGYHGhE.H-$FobǶ;HGcG]EFAHD<G[G DHHz=;HGqGkGANGgG/4H&*EHHH(FwD֩HHH,F{DϩG!H.F}HH/G2  B  GgG`H޶;H.GGHF۰=GAUGB IuDfH;H9GGF GB BFHCH;éHCGGFGB ɠBFG*EHC;ϩHOGGFAfGB ՠFF/CGd/DHGHHY;ܩH\GGGBGGȩG!˶FBIHqI Hr@HhH@ DIHl"ȠH{E G~ (HGmHFSI*HIH@Hy-IH|$H /H2۠HBIHHA<B⩷I)HH-hAGHA2I?HG AIGͷGID<HGGI$GA7G>GG I+-~A VIQHIHGIIL@ڷIICGrHˠqhGLCHAH]HIING!}Iݠ|sGWD"=Hɠ9IIW4H©HŶGAJIk@Y JIb˩GI(&IH`IsGKJIu@M JIlթG2I0I~ΠIB $JIvIB F1JIzI-zF*H|IB "EJ I C>GaJ3I@ J$IG#!3bCI(GLCJ:I@I;yJCJPJNJ@I@HΐJVJTJ5II8GзJ]H-J<FJ=IH^H2GH]HH[H5G JEI EF IHJ4I{J[IĠ۩GsHoJUIJBGGhg JDHIŷJ]I$ILH'HJLJcI*CJfIİ-Iǰ0GAGJVIJ|I@7H9JuIӰ<E!GGH=Jh-JhHI'HGJIJ, JpGFy85IJ/IyHT3H>Jy,.JIWGGHUNEHIIRJIaG'J&H_OF0JJiSIIl 0HVJDFIJJoQ0@G7I6]CJIJ v`GJZHzJJ}_>JiGIJ&JaI"#H+ILIrJ`CJĩJ"GQJ=PGHRyII;IJΩJ,G[J IJөJ1ICJ֩J49GJJCJJ@F2KJHtKHԶJJLJJM@JC4@IT =÷JJUJJVJJLF=/jI C IHH5IIIHH3K JbJJcJJY%=橵IǶ@JaJIq CIJsOJiKIl%I,֩JoJSHDG"Hةz@9JKJxJ=J 1JHK J}JC6IK#JJ/bH3IJC,K9JI GCIƷIK=> I /qKHA IKD>۵K9 DDCICI /E( VKQ>!ٵCI %/E:>'εCI +/IH#GeK8JNKPIڷInJK@HGoؠI@}K? KFJ#IK@)max_elt_30Ԧ%E:IIJ!KiJǰ0HKVI.)>OɩIݐ R2GKv÷>UJdKzIJI4KJI鐩 ^GEK aI<GJJK>fER h#R'G K>kEW mIHEw K>pE\ rIME2{CJG%KJKJ_>yI@bEIeHKK KK @@KJ`JZK?JVKKqJ 22KJKHKKKK@KK}J22K$#KKK&CExKKK*/D/JK,CKK-J0 JbJ[Kٶ>J7 D< K߷>JJ? .E K>>Kܩ /I{CJJFD_KJI!KKKKKL@s@KCJJK@JKKHqJک 2YIZJNJ2K6CJ^DcKK*C@KTJd 2J{KCL!LLKiLKj@@K98H֘rmv