"` i ! *SetoidList%Lists#Coq@L$List%Lists#Coq@&Sorted'Sorting#Coq@4Relation_Definitions)Relations#Coq@-SetoidTactics'Classes#Coq@&Setoid'Setoids#Coq@&Basics'Program#Coq@)Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@$Init'Classes#Coq@/RelationClasses'Classes#Coq@)Morphisms'Classes#Coq@0)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r'Prelude$Init#Coq@0JqTttֱ0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$0D9AsWE!>$Bool#Coq@0j 2cZ`FW*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI+Relations_1$Sets#Coq@0k<⪚(тc1Y0bb1z=CavWp>whAE̾Р*SetoidList%Lists#Coq@A#InA,<@)Datatypes$Init@@$list]@C!xB#eqA@A@A!Ai0A98@@@  @/+InA_cons_hd+InA_cons_tl%#!y+!l9.,86><B@F;AA@@#CCCC@i@e q9@@@@@@@BACBC@@A@CCYWVTOM@@@MA alm@A@AA@@A@'InA_ind @`^jhpn!PV!fQJOE@GP{QIO]N[R@x@ q9@][Z@\_^IjA@!Fx!i}v"Hzx$CCCCC@@@@@@@@@@Dː&@6J*0-Ր!e 5ɩ!ŷ8 .IK=˩ͩ@ȶҶضjhfi[= +k(),D'(*()= R#'> &'> 3! # ''+k()$'+7 Tk+  7T'$'x>AGe@@@@@*InA_altdef @@@%Logic @#iffС) $List@&Exists0DA@ @@@A/Ǡ @@AB@@(InA_cons @@GA!'%+,0-'3@"or @@@@@*A1FdJ=@.A1GKA@ABC@@ᠠ'InA_nil @@nB><HFNLQUPJdAZY@%Falsee@@@@@'InA_alt @@CYWcaigA{mep@"ex @GOHy@#andЖw@Qwu@"In$Q~@@@xAIPA~@Au@/@}A1@D@ABC@@0&NoDupA,<@ @@ *NoDupA_nil+NoDupA_cons\Ķ@@#notШ@AA@D@D@@6 @@@@@AA@@AD@@A@BBΠ@@z@v*NoDupA_ind @ѷ۷r>pݐsq@6e@h@` @@ǐİfϞA@e!nyB@D@D@@@@@@@@D+q@.t_!vhoh%#9Xk(/*$@ *(MK/ +k(),='(*()= R'> 3!# '''+k()$'+7 Tk+ 7"T'$'J1pAIRT@@@@@䠠-NoDupA_altdef @@qDA?KI(TdK@.ForallOrdPairsE@_/RelationClasses'Classesl@*complement qg7_@@@YA݋X_A @A@X@A^A;9d@@@ABCD@@%inclA @pnzxW䷐"l'W@RZUT@|zc  +k() + T' +  7T'7#' @@;@@7*equivlistA @{$y#!u}@! +k() + T' 7  77%'-d@@[@@W(incl_nil @@E(<@Qx@@n@@j'eqlistA,<@砠@<Ӡ@϶ٶ@E֠+eqlistA_nil,eqlistA_consֶ;;ڶ궐"x'Ŷpy@@KbNǩðPΩŰRBB@F@F@"@7:p$@@@@@AA@@AF@@A@BB  @@@+eqlistA_ind @ >Ϸ#7@5@@`:p$@3.@?df B@ȶ{B<÷ IC!B@F@F@@@@@@@@@@@D12@3\V/W,a˷u:twLxCNMsn>=EupjGwl@geqoYW: +k(),A'(*()= R'>3"#' ''+k() %'+7 Tk +7 T'+  7T'%'W䠐;|AMd@@@@@+.eqlistA_altdef @@For@'Forall2:@ww@@@A*5p@L@AB@@I'eqarefl @)eqA_equiv]@+Equivalence~@驚c@5Equivalence_ReflexiveO QJ0 #|@@@@AAUDM@@A<@@9@ABCD@@̠'InA_rev @@YP)'31!p9!mOAE@8@#rev$tAB@@@@A;A>A@@A@ABC@@-InA_singleton @@~QNLXV^\9bb6fa-8]:j@@ @@/InA_double_head @@RdbnltrOxMKyEM}DGzOQ@@ @@1InA_permute_heads @@Sywd!z`e ^]e\`^bdckbfdh@@@@@<,InA_app_idem @@T%˰@@@@@AB@@R*NoDupA_app @@U Ѷ@@@հĶ@@B @E8#x߰%'@@@v@@AB@@t*NoDupA_rev @@V϶ٶ+)@q @@@@A@@,NoDupA_split @@WYuʶ@ ͩxʩ?@@@@@@ABC@@+NoDupA_swap @@0X ZX"޶@%3+;#@@ @@0NoDupA_singleton @@MY'%-+>2-4)ߐ@@@@Ѡ6equivlistA_cons_proper @@^Z.,86Ѱ@D@ʩG@VCXXL@@@@A@@@ABC@@젠5equivlistA_app_proper @@y[IGSQ찶@mo/{c@@@@A@@@v@ABCD@@3equivlistA_cons_nil @@\a_kiruJHFBJJ%@@@@1equivlistA_nil_eq @@]us}Ͷ]@X\$@@/@@+6equivlistA_double_head @@^pjnepgr@@C@@?8equivlistA_permute_heads @@_{z}|~@@Z@@V3equivlistA_app_idem @@`'é@@@@g7equivlistA_NoDupA_split @@a¶̶ _@@H3J@$M&(@+A  \I@@@@2fold_right_eqlistA @@!b!BĠm@@#eqB"stW@ܶ@ݶq涐$Comp@@@!s"s'k@}@*fold_right#^3`0@@@$A+*@A@5A@7A*0@ABC@@ݠ4ForallOrdPairs_inclA @@jc:8DB!R@Q@"E%R_sym@ (R_compat鰶@$@&P'@(S0*U2a]7ܶ@s2\@ej@8=?@@@@@AB@@)transpose @kiywqt@@QRZKLMWYZ @{y +k() + T'+T'+T'!! !!%'@@@@@1/transpose_restr @TR,@tm}op@qvut}v1@ec= H+k() + T' +T' +T'+!T'!!!!%'@@@@@V9fold_right_commutes_restr @@d  S@']@"V$Ͷ@;@ȶ$TraRM@D+9"s1{"s2{s@wy{OXC é] `K @@@@A@@A@@ @ABCD@@;fold_right_equivlistA_restr @@+eUS  VHnGBéV ©@G@J@K^M`!MKw%47@:>)@=PB-@ܰQ@R K S @@@ @A@@@ABC@@⠠4fold_right_add_restr @@of?=IGOMGJE'A DB977;5\o@1@o.23@ -.@-2;3@:T1:69:=G٠ ? > A ? G C A E D {@ k iyn̐ +k() + T' +T' +T' +T' +!T'+!T'!!!!%'@@@@@ :fold_right_commutes_restr2 @@ k | z  Զ ׶ ɶ}$@ bx d b k k   N@@  ɩ @D T  n m  ߶A = նӶ@V~ ɰ z@D ϰ  ~   L װ  @@@@AP@ c@A@@@ABCD@@ b9 4 @c   " Mt r    Sg@  /m  -wo ( &q a ) ɠ ^7u  5w 0 /@@@2@A @z@A\A@7@x@ABCD@@ 6fold_right_equivlistA2 @@ o h f r pxmp snö i5_ Ŷ]   ֶb @ X@@ @Z] Y Wd!]  [ f#_  \ _@@@@ 1/fold_right_add2 @@ p      .۶[      :@¶@? y@G<@ +  @ !   ͠N  O R  +@@@@A f@@A1DH @ABC@@ h'InA_dec @  ÷  ͷ'eqA_dec  ֶ  ܩ&Specif @'sumbool7̂K@~ 0     @(list_recj    x k     @B t    I!HȐ"H0 Z  @     @1      ݷ  l:"H1; ^      ` B [  b  $  ] &@&eq_ind Jǩ  Z   f =A@B@B@@@@@D  , . @з@ <@$Truey@A  ;  F@)False_induُG z    E F L )  ' M   !  K@>B9S4 V    '  T@ ۩    YA   Ck!a 6 C 跐#IHlh jT A A y G ŐBAAAA@@@@@Dd ܠ T [ Ԑ    \ X  [ c ܐ  A   A   l i q  $Ƞ    s x Π "    u  y x     -B      "n0Ű  \@ <V]  @ Ʃ \ 4  t   d"l0̩b  з    ש   Eɩ       &⩚ @'f_equal=  )÷ ɩ    ··   ð  Ω Ű + "  -ͷ =׷   շͷ    հ  ة װ 4 8 Ȑ"H2 = o- @(eq_ind_r!2#@H 6 $ ( Է'P > B (  C 2 5 Q 7  7  7 طt>  r <1r3jDbKFI;H97 E53!޶@.N #*  Q*@ N3<&& 0'V X, U Z /6. %  [  [%%@  0  6 4  aI 6   ;9'>= R~'>;9'> + 9'''G 1= R-'> + '> + '$' ::+K7 7 7 ::+Q7 7+Z+7# '= R'>'''+k7$'= R'>'''+k'++7 7#' 77%'+!T'6'+ 7 7"T'+!T'6' ::+J7 7 7 ::+P7 7+Z+7# '= R'>'''+k7$'= R'>'''+k'++7 7#' 77%'+  7T'6'+ 7 7"T'+  7T'6'+k()+: 7 7"T'6' +k :77  :77%' +k :77  :77%'G '= R'>  +'> +V'$' LL +:7 7 +/!T7&'= R'>6'6''+k6'6' LL +$:7 7 +6  7T7&'= R'>6'6''+k6'6'+k()+ L 7 7"T'6' 77  77%'@ +0dX    | @@   , X|`0||   7@L AABAAH8Рx dlUL   $8  D   x Ԡ|x@@ABAB, @  ذ  ؠL  8<H  T @@ @@ _'removeA @    ķA@  ض   ^    a  W 5 Ӡ}  "tl :Bed@@@@@Aǩ  n 6 2  q@@  \ @     ! +k() ,`'(*()=2 RA'> != R!'>3%'>3! :''G''+k7$'+k7$'+Tk+7 T'7$' h"tACȠaAE@@ @@ .removeA_filter @@ 4q    ?=    ;  @Y!w   !   @&filter4ԑ   FO   w =@$boolZ'@ @  B@ A 4@@@ -A=\ 3@ @AB@@ ᠠ+removeA_InA @@ nr > < H F  z P S + $xΩ ж - + W " 2 $ [  * ( TD , * 1 \ a 頩  0 . Z e  @@@@@ .removeA_NoDupA @@ s a _ k i  #S H t ?@  E C@@@@@ 2removeA_equivlistA @@ t t r ~ |  ̶6 ] [    T@ Ր+@ ]  \ X   c  a   ]z   `  g@@ \@@ 4(InfA_ltA @@ u  #ltA ,ltA_strorder J@+StrictOrder.[@ ֶ      z@ @&Sorted'Sorting @%HdRel%5p@         @@@ ABA@A@@ d+InfA_compat @@ v    ɶ  2*ltA_compat h@ | a  ݩ c     ԩ o@ @ \ ֩ i @ k   l m ۩ s 5 @@@ e@(@AB@@ (InfA_eqA @@w     @ >W%#    ƶ  ɶ@"@L i   ҩN B   ̐@@@A@ @AB@@ .SortA_InfA_InA @@0x   Z XqĶom˶A    l@g@e1ĭ@  "@o c   @  S f     @@g@@ Ǡ'In_InfA @@Ty$",  58@ @ 2=:?@@@}@A @ @0A{@ABC@@ ᠠ(InA_InfA @@nz><HF  '%Q@-@$)TY@@U@@ (InfA_alt @@{SQ][  S> h6@Q 6i n ;mrJ ڶ@   kF  @@@@(InfA_app @@|qoy   V@ @ WU YV^@@@@0@ @ABC@@.)SortA_app @@}  O r &@f@qv@ @  u@#  x {  @@%@@P,SortA_NoDupA @@~  qj=@ հĐ@@@@f.eqlistA_length @@˶ 7 S@ : @#nat@@&length䷀n @@@@A o@AB@@2app_eqlistA_compat @@@ @ \  ^@ _  &  b b n@@ -@@+eqlistA_app @@,A V T @#l1' <#l2'@ @ o q 9 ;#@@ N@@/eqlistA_rev_app @@MB'% `  ?@  [@   Q ; U :@@@ @A @@ R@ABC@@ࠠ2rev_eqlistA_compat @@mC=;GE ߰TR @@@@+eqlistA_rev @@|DLJVT  On@ é 5+3  {@@@ @@AB@@8SortA_equivlistA_eqlistA @@E`^jh  $`K ϶@ @_Ew@ KOT@@{@@+filter_sort @@Fyw  Ѷ=y6@Zaf@x]z`v|@@@@Z@;@ABC@@8*filter_InA @@G1@y@ :@} 3 ѐ{+A1 ߰@@@ <@A7@@d@5@ABCD@@b,filter_split @@HǶ  0.|_@,@ @ M  Ŷ@ȰLک   'Ȱ)ʰ+,@$negb@@@4@A@@ @HAA4@ABCD@@%findA @_@@ A@p')@$prodt@者0@&option >v@*: 9?*B  J#I#BBB@@@@D -(F!b @@@@@@@@A '5"Š9AT@OX ]YJ +k() ,u'(*()=9 RV'>= R:'> = R'9'3%'''G''+k7$'+k7$'+k7$'+ +TTk+ 7!7 T'7$'6'𠑑vd/ABAEC[XX0@@A@ABWAG@@@A ůM@AA ϲ6W@A вuX@A5@ABC@@3,findA_NoDupA @@I @@  &жyrVz@u_v@} w"p'  @#fst (*éà;  2S5ǩ @#snd A  ĩW@~vO:"a'R ʩB 9© @@ƩJ@@@A@Ar@p@ABl@A ӳ2[ @AA Գq\@Ay@Aw@ABCD@@+compat_bool @m,@@tr@  @@A@!@B)Datatypes$Init#Coq@@$boolZ'@A +k() 67 77 + T7&'6' А| ɐTHp mx@@m,@;@A@A@=AviA)Morphisms'Classes#Coq@@A@@*compat_nat @ToR@@db@i @q sn j@e@s@A@zY @BX@#nat@QO | THp x@@o@8@A@A@:AN@A@@=(compat_P @q( @@? C ;&Basics'Program@$impl7o@@@A@X@B +k()  677 + T7&'6' ep ^HѠ|)p@@q(@8@A@A@:A@A@@)compat_op @t @@ u$ @@\ ] ^ @    @@ @ @B@ @B@@D@鐐 +k()      7+T7 + T7&''+T''  X@@t@=@A@u$@8@A@AB@AA@@AAA@BA1FdJB@C_@A1ՠF-SetoidTactics'Classes#Coq@@AA1I @ A^@ v@ABCD t@ Ad@L@AB @@AA@BAD@A ůMu@ACD3@A вuXz@AA}@Au@ABEA al@At@AA3@A1GKw@AB@9@A@B@@ACD @@A@B@ @ACEFGH@@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@As2@@&shiftls2 @vY@A@Bs8@@&shiftrs8@vY@A@ѓ@!@&squareѓ@y@A@@'@&to_intϑ@@A@AB/@,@)log2_iter/#@wd@A@l@2@)sqrt_iterl)@!$:@A@ACD c@7@'testbit c.@!ć@A@^Ҷ@?@'to_uint^Ҷ6@#m@A@A,@D@'bitwise,;@/v@A@l@J@'comparelA@3R@A@ABs8@O@+of_uint_accs8F@5+@A@.@W@!t.N@ ;@A@A.먩@\@#add.먩S@ `@A@B.U@a@#div.UX@ @A@.B@h@#eqb.B_@ @A@A. @m@#gcd. d@ @A@.=@s@#leb.=j@ @A@ABCDE. @x@#lor. o@ @A@.Z@@#ltb.Zz@ @A@A.p@@#max.p@ '@A@B.@@#min.@ @A@.@@#mul.@ @A@AC.g@@#odd.g@ @A@.&@@#one.&@ @A@A.뾴@@#pow.뾴@ k@A@.L@@#sub.L@ @A@.@@#two.@ @A@ABCD.,a@@$div2.,a@ @A@.Xz@@$even.Xz@ ?1@A@A.@@$iter.ؑ@ @A@B. @@$land. @ @A@. @@$log2. @ @A@ACE.@@$lxor.@ R@A@.y@@$pred.y@ `<@A@A.Ʉ@@$sqrt.Ʉ@ ;@A@.@@$succ.@ @A@.t @@$zero.t @ Z@A@AB/@@.to_little_uint/@ @A@CD/@@%ldiff/@ H@A@3@@(tail_add3@^q@A@A3@@(tail_mul3@^@A@B6w~@ @'of_uint6w~@^5@A@@@&divmod> @C@A@>@@&double>@NĴ@A@A?;@ @&modulo?;@"i@A@BDEFG@0&Basics'Program#Coq@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua*Equalities*Structures#Coq@0όe얟)H.Ƞ+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>I$#"@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏%Minus%Arith#Coq@0LFtR"ONM@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ4Operators_Properties)Relations#Coq@0U3y#h&&Orders*Structures#Coq@0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%%Peano$Init#Coq@0 jha|ؠ(PeanoNat%Arith#Coq@0O~2$k[#lZ$Plus%Arith#Coq@04tmG'Prelude$Init#Coq@0JqTttֱ5@0Gz rA6ՠ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0$#"@0S_`nOU$_^]@0bb1z٠&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03&N$@@B@+ @@@@@@@#_16<@8 q9A@@@@@@@B@A@@@@@A@*B@A9F@AD@A# @A@@@@.B@HB@AWF@Ab@A@? @A@@@@#_17'`o@@ q9@D*type_scope.function_scope@*list_scope@@A@@#_18'`o@@ q9@AF@@@@@A@@@@#_19'`o@@ q9@BF98@@8@@@A@@Π@@^2 Q@@G@#_20@i+#@ʐB@A٢EF@A@Ay @A@@ȐH@A@@@@#_212M접@+#HH@A#_22'`o@#@+#H@@@@A@AAA1@#_23? 3V._ind_from_propM@I@O@A2 Q@@A@#_25\@LYA@@@@@@:B@A@@@@@@#_262M접s@cY쐐#_27'`o@}@mYD점@@@A@~@S2 Q@@A@#_28@^=A@@@@@@wB@A@@@@@@@#_292M접@v=吐#_30'`o@@=E*)@@)@@A@@@l2 Q@@A@#_31@w+#A@@@@@@B@A@@@@@#_322M접@+#磐#_33'`o@@+#Chg@@@A@@2 Q@@A@#_34@+#ՏA@@@@@@B@A@@@@@@#_352M접'@+#Տ#_36'`o@1@+#ՏD@@@A@2@N$@@B@@@@@@#_37Q@ A@@/B@A@@@@A@=B@A@@@B@JB@AYEF@Ae@AA  @A@@@@@#_38'`o@@ @C@@A@#_39'`o@@ @AB@@A@#_40'`o@@  @BF,+@*@@@@A@@@2 Q@@@#_41@>yDѠ@B@A͐E@AgD@A@@G@A@@@@#_422M접 @>yDGG@A#_43'`o@@>yDG@@@@AA@A@#_44? 3V될7@@9@B֠2 Q@@A@#_46F@A@@@@@@$B@A@@@@@#_472M접\@鐐#_48'`o@f@CՠԠ@@Ae@2 Q@@@@#_49@:@]B@A@@@@@@#_502M접@@#_51'`o@@ D   @@A@2 Q@@@@#_52@~x@B@A@@@@@@#_532M접@~>#_54'`o@@$~DKJHJ@@Aݠ@2 Q@@A@#_55@#+ A@@@@@@ِB@A萐E@A@@A@@@@#_562M접@D+ #_57'`o@&@N+ C@@A%@JN$@@B@O @==@@@ @#_59D@Y:p$I@@"B@A@@@@@A@1B@A@@@B@>B@AMGH@AY@Aq @A:@A@A@@@@@#_60'`o@@:p$@D@@A@#_61'`o@@:p$@AB@@A@#_62'`o@@:p$@BH/.@@.0@@@@A@@Ǡʠ@@@2 Q@@@#_63@-@ƐB@AՐE@AoD@A@@H@A!@A@@@@#_642M접@-HH@A#_65'`o@@-H@@@@AA@A+.@#_66? 3VI@^@K@2 Q@@A@#_68X@PA@@@@@@6B@A@@@@@@#_692M접o@PՐ#_70'`o@y@PD蠐砐堐@@Az}@à2 Q@@@@#_76@:Z@@uB@AC@A@@@@@#_772M접@:ZCC@A#_78'`o@@:ZC+*@@@A@Ѡ2 Q@@@@#_79@0}@B@AC@A@!xG@A!y@AOH@A@@@@@#_802M접@ 0CC@A#_81'`o@ @0C|{@@@AB@2 Q@@@@#_82&@ {KΠ@B@AC@A@QF@AP@A@@@@#_832M접L@/{KCC@A#_84'`o@U@8{KCĠà@@@A@"2 Q@@J@#_87n@-\hA@@@@@@LB@A[C@A@@@@#_882M접@H\h#_89'`o@@R\hC@@@A@$_429X@3typeclass_instances@A@@'META946o'META947@\h@@@@@9Coq.Lists.SetoidList#<>#1'@#_9046@)@+Equivalence~@@@@2 Q@@J@#_92@EWA@@@@@@ʐB@AِC@A@@@@#_932M접@EW#_94'`o@@EWC@@@AF@$_430X@~P@A@#@'META952@ 'META953G@EW@@~M@9Coq.Lists.SetoidList#<>#2'@#_9546@}w@2 Q@@J@#_97b@lBA@@@@@@@B@AOC@A@F@A@A@@@@@#_982M접@%lB#_99'`o@@/lBC@@@A@$_431X@:A@@'META958t@ 'META959y @mlB@@ m@9Coq.Lists.SetoidList#<>#3'@$_10046@@+subrelation0s@e2 Q@@J@$_102@peA@@@@@@ϐB@AސC@A@!xF@A!y@A@"x0I@A"y0@A@@@@$_1032M접(@eƐ$_104'`o@2@eC@@@Ag@$_432X@A@@'META964@H@ @@Y@'META965i@+!12k@?$@e@@Πi@9Coq.Lists.SetoidList#<>#4'@$_10546@ @&ProperL̐@2 Q@@A@$_107@+#_A@@@@@@B@AC@A@H@AG@A@A@@@@@$_1082M접@<+#_$_109'`o@@F+#_H^]@\@@@@@@A*@@@d@E2 Q@@A@$_111 @PS:A@@@@@@B@A C@A@瑐F@A @A@@@@$_1122M접 >@wS:$_113'`o@ H@S:F@@@@@A M@@2 Q@@A@$_115 l@!i4A@@@@@@ JB@A YE@A ;@A i @A@@@@$_1162M접 @!i4$_117'`o@ @!i4E   @@@@A @ @2 Q@@A@$_118 @+#A@@@@@@ B@A F@A@A @A @A@@@@$_1192M접 @+#א$_120'`o@ @+#F ^ ] [ ]@@@@A 򠐒 @ a@נ2 Q@@A@$_121!@7cA@@@@@@ B@A@@@@@@@$_1222M접!,@7cՐ$_123'`o@!6@7cE    @@@A!8!;@@2 Q@@A@$_124!W@ +#A@@@@@@!5B@A@@@@@@$_1252M접!n@!+#$_126'`o@!x@++#D 砐 @ @@A@!y@2 Q@@A@$_127!@"^A@@@@@@!rB@A@@@@@@$_1282M접!@9^$_129'`o@!@C^D $ #@@@@A@@@;2 Q@@A@$_130!@FT@A@@@@@@!B@A@@@@@@@$_1312M접!@^T@$_132'`o@!@hT@E _ ^@@ ^@@A@@!@f2 Q@@A@$_133"@q>8HA@@@@@@!쐐B@A@@@@@@@@$_1342M접"'@>8H$_135'`o@"1@>8HF  @@@ @@A@@@"6@2 Q@@A@$_136"Q@&GA@@@@@@"/B@A@@@@@@$_1372M접"h@&G͐$_138'`o@"r@&GD ᠐ @ @@A@"s@2 Q@@A@$_139"@>y.A@@@@@@"lB@A"{C@A@"^F@A G@A@@@@@@$_1402M접"@>y.$_141'`o@"@>y.H 1 0@ / 1@@ 9@@A"ˠ"Π Ѡ ԠA@2 Q@@A@$_142"@>z\A@@@@@@"ϐB@A"ސC@A@"E@A@@@@$_1432M접#@>z\$_144'`o@#@(>z\E  @ @@@AU#!!$@+2 Q@@A@$_145#?@6%iA@@@@@@#B@A#,F@A#@A  @A#A@A@@@@$_1462M접#i@`%i㐐$_147'`o@#s@j%iF ⠐ ᠐ ߠ @@@@A#v#y@!}@i2 Q@@A@$_148#@t->+XA@@@@@@#vB@A#C@A@#hG@A!@A# @A@@@@$_1492M접#@->+X$_150'`o@#@->+XG = <@ ; =@@@@A #ՠ#ؠ@!@2 Q@@A@$_151#@> A@@@@@@#ՐB@A@@@@@$_1522M접$ @> $_153'`o@$@> C  @@@A@@Ѡ2 Q@@J@$_154$.@A@@@@@@$ B@A$C@A@=F@A<@A@;I@A:@A@@@@@$_1552M접$b@$_156'`o@$l@C ۠ ڠ@@@A @$_433X@ْA@@'META970@$@ $@ @$@"$@*'META971 %$@:$@B I R($@B]$@@@$ $@9Coq.Lists.SetoidList#<>#5'@$_15746@V@2 Q@@J@$_159%@3YA@@@@@@$搐B@A$C@A@F@A@A@I@A@A@@@@@$_1602M접%<@3Y$_161'`o@%F@3YC  @@@A!{@$_434X@ A@@%X@'META976@%b@ %j@ %w@@%@(%@0!P7'META977!%@G%@O!oV!x_( ͐h%@k3Y@@k%@9Coq.Lists.SetoidList#<>#6'@$_16246@A@c2 Q@@A@$_164%@n4NA@@@@@@%ѐB@A%C@A@%쑐F@A%ɑ@A@@@@$_1652M접&@4N$_166'`o@&$@4NE@@@@A"\@&)@2 Q@@A@$_167&D@݁A@@@@@@&"B@A&1C@A@&E@A@@@@$_1682M접&f@݁퐐$_169'`o@&p@݁Eߠޠ@ݠ@@@A"&t"7@۠2 Q@@A@$_170&@ E@A";F@A@(ؑI@A@@" KO@A@!@A! @A)f@A@@@@$_2352M접)@!$_236'`o@)@!O@  @@@@@@@@A%ߠ@A%栐A@%7A!Ԡ))@'_@!2 Q@@A@$_237)@!%fA@@@@@@)B@A)̐C@A@"אE@A"ԐF@A@)qI@A@@"KR@A@@@"אP@A"ڐQ@A@@@@@@@$_2382M접*)@" %f$_239'`o@*3@"%fS@@@@@@@@@@@@@A&~@A&A@%֠A&6%ޠ"y*b*e(h(k( &1@"2 Q@@A@$_240*@"))iװA@@@@@@*jB@A*yC@A@#E@A#F@A@*I@A@@#OKS@A@@@#R@A#Q@A*T@A@@@@@@@@$_2412M접*@"z)iװ$_242'`o@*@")iװUVU@[Z@]@@a@@@bd@@@@@@@@A'4@A';A@&A&점&#/++@))"()c&@"2 Q@@A@$_246+F@"ڞA@@@@@@+$B@A+3C@A@$>E@A$;F@A@*ؑI@A@@@@@@@@@$_2472M접+z@"ڞ$_248'`o@+@"ڞM@@@@@@@@A'Ƞ@A'ϠA@' #++@@"2 Q@@A@$_249+@"2>wA@@@@@@+B@A+C@A@$E@A$F@A@+UI@A@@@$M@A$N@A@@@@@@$_2502M접,@#82>w$_251'`o@, @#B2>wO|{@@@@@@@@@@A(S@A(ZA@'#,/,2*5*8'@#[2 Q@@A@$_252,V@#fA@@@@@@,4B@A,CC@A@%NE@A%KF@A@+葐I@A@@@%BO@A%KN@A,qP@A@@@@@@@$_2532M접,@#񱑐$_254'`o@,@#Q@@@@@ @@@@@@@A(@A(A@(G$*,ˠ,Π@*Ҡ*ՠ+(@#ˠ2 Q@@A@$_274,@#?0eA@@@@@@,ԐB@A,㢐FL@A%D@A% @A,@A@%@A%@A,hK@A#@A@@@@@$_2752M접-9@$?0e$_276'`o@-C@$#?0eL@@@@@@@A@AA(נ-X-[@@@*'@$2 Q@@@@$_290-|@$'c@-YD@A&lC@A@@@@@$_2912M접-@$Bc$_292'`o@-@$JcD@@@AA@$82 Q@@@@$_293-@$C TƠ@-D@A&C@A@@@@@@$_2942M접-@$_ TB$_295'`o@-@$g TEOQPRT@@@AAA@$V2 Q@@A@$_299.@$aA@@@@@@-ߐB@A-C@A@&E@A&F@A@-H@A@&âJQ@A@&:@A&< @A. @A-P@A% @A@@@@@$_3002M접.T@$ꐐ$_301'`o@.^@$Q̠͠@ҠѠ@Ԡ@נ@֠ؠ@@@@@@@A*@A*A)A$Ԡ..@@@@,)@$2 Q@@A@$_302.@$:7:A@@@@@@.B@A.C@A@'E@A'F@A@.;H@A@'kJS@A@@@'Q@A'R@A.*U@A%@A@@@@@@@@$_3032M접.@%:7:$_304'`o@/@%%:7:Uwv@|{@~@@@@@@@@@@@@@A+U@A+\A*A+ *%/8/;@@-@-C,᠐+ @@%;2 Q@@A@$_305/e@%F A@@@@@@/CB@A/RC@A@(]E@A(ZF@A@.H@A@('JU@A@@@(YS@A(bR@A.摐T@A&n@A/V@A@@@@@@@@@$_3062M접/@% ฐ$_307'`o@/@% W:9@?>@A@D@@@EG@@@@@@@@@@@A,@A,!A+qA+Ѡ+y&M/0@@@.. @-.K+@%̠2 Q@@A@$_3110.@%7iA@@@@@@0 B@A0C@A@)&E@A)#F@A@/H@A@@@@@0?O@A-X@A@@@@$_3122M접0m@&7i$_313'`o@0w@& 7iO栐@렐@@@@@@@@@A,@A,ĠA,&;00@@@@@&#2 Q@@A@$_3140@&.}A@@@@@@0B@A0C@A@)E@A)F@A@0LH@A@@)N@A)O@A02P@A'@A@@@@@@@$_3152M접1@&y}$_316'`o@1@&}Q~}@@@@@@@@@@@@A-W@A-^A,&ՠ1215@@/:/=@-@&2 Q@@A@$_3171\@&0 kA@@@@@@1:B@A1IC@A@*TE@A*QF@A@0H@A@@*GP@A*PO@A0ԑQ@A(\@A1R@A@@@@@@@@$_3182M접1@&0 k$_319'`o@1@'0 kS'&@,+@.@@.0@@@@@@@@@@A.@A. A-Y'1ݠ1@@@/栐/@0(-@'2 Q@@A@$_3232 @'"+#4A@@@@@@1鐐B@A1C@A@@@@@@$_3242M접2(@'?+#4EE@A$_325'`o@21@'H+#4E@@@AA@26@%f2 Q@@E@$_3262Q@%q!wF@2.B@A2=C@A@@@@@@$_3272M접2m@%!wEE@A$_328'`o@2v@%!wE堐䠐@@@AA@2{@%c2 Q@@A@$_3292@%n/A@@@@@@2tB@A2C@A@@@@@@$_3302M접2@%/$_331'`o@2@%/E,+-@,@@AA@2@%p2 Q@@A@$_3322@%{A@@@@@@2B@A2ʐC@A@@@@@@@@$_3332M접2@%א$_334'`o@3@%Gut@wu@@@@A/AA3@@@%2 Q@@A@$_3353,@%,jA@@@@@@3 B@A3C@A@@,G@A@@@@@$_3362M접3P@%,j$_337'`o@3Z@%,jGɠȠ@ˠɠ@@@@A/A3c@1g@%ߠ2 Q@@A@$_3383@%BWhA@@@@@@3`B@A3oC@A@@3SH@A1I@A3 @A@@@@@@$_3392M접3@&BWh$_340'`o@3@&$BWhI+*@-+-@@@@@A/A3Ƞ3ˠ@2 /@&-2 Q@@A@$_3593@&8oA@@@@@@3ːB@A&?C@A@3H@A3쑐G@A3̢ @A@@@@@$_3602M접4@&fo$_361'`o@4%@&poH@@@@@@@A&s4,@@@&p@&]2 Q@@J@$_3624M@&hnA@@@@@@4+B@A4:C@A@&E@A@cH@Ab@A@aK@A`@A@@@@$_3632M접4@&n$_364'`o@4@&nE@@@@A0ɠA0@$_435X@0#B@@'META982@4@ g0/@4@w'META9830B4@*1@23Ҥ'"@?'META9854@'n@@6'5@9Coq.Lists.SetoidList#<>#7'@$_36546@h/@'2 Q@@A@$_3675@'WA@@@@@@4B@A5C@A@'sEJ@A@4@A5 I@A5@A@@@@@$_3682M접5O@'EW$_369'`o@5Y@'OWJȠǠ@ʠ@ɠ@@@@@@A1A0砐5h@@@'@'Z2 Q@@A@$_3715@'efA@@@@@@5gB@A5vC@A@'␐E@A@@5aJ@A5L@A*-K@A@@@@@@$_3722M접5@'f$_373'`o@5@'fL:9@<@@<@@@@@@@A2 A(#1^5ߠ@@'(%5R@'2 Q@@A@$_3746@'+]AA@@@@@@5㐐B@A(WE@A5ԑ@A6 @A@@@@$_3752M접6*@'+]Aː$_376'`o@64@'+]AE@@@A66@A@'2 Q@@A@$_3776T@'=7A@@@@@@62B@A6AC@A@(G@A6*@A6X @A@@@@$_3782M접6@(=7$_379'`o@6@((=7G@@@@A2ƠA6@A@(02 Q@@A@$_3806@(;A@@@@@@6B@A6C@A@) E@A@@6I@A@@@@@$_3812M접6@(f$_382'`o@6@(pIVU@X@@X@@@@A3$A)<2w6@(@(w2 Q@@A@$_3837@(A@@@@@@6B@A)iF@A2B@A2?G@A+@A@@@@@$_3842M접7C@(ϐ$_385'`o@7M@(G@@@@@A7Q7T@))@(2 Q@@A@$_3867v@(-ʦRA@@@@@@7TB@A7cC@A@)ϐG@A2@A2H@A@@@@@@$_3872M접7@(-ʦR$_388'`o@7@)-ʦRI  @   @@ (@@A3A77))A@)2 Q@@A@$_3897@) DA@@@@@@7B@A7ϐC@A@*;E@A@@7H@A@@@@$_3902M접8 @); D$_391'`o@8@)E DH  @ @@ @@@A4RA*j38&*@)R2 Q@@A@$_3928D@)]QdA@@@@@@8"B@A81E@A8@A5 @A@@@@$_3932M접8i@)Qdא$_394'`o@8s@)QdE ⠐ ᠐ ߠ @@@A8u8x5A@)2 Q@@J@$_3958@)=46)A@@@@@@8tB@A8E@A@A @A@H@A@A@@@@$_3962M접8@)=46)$_397'`o@8@)=46)B!@!?@@A@$_436X@:4W@@@8@'META992@8@ 8@4q8@@9@(9@05@8'META99349'@H9/@P5@X 6@b*4Wk9b@*X=46)@@*X"49h@9Coq.Lists.SetoidList#<>#8'@$_39846@@*R2 Q@@A@$_4009}@*]-rA@@@@@@9[B@A9jC@A@4H@A*n@A4I@A*u@A@@@@@$_4012M접9@*-r$_402'`o@9@*-rI")"(@"'")"+"-@@@@A59Š9Ƞ9ˠ9Π66@*2 Q@@A@$_4039@*5A@@@@@@9͐B@A9ܐE@A5@A*ސ @A@5H@A*@A@@@@$_4042M접: @*5$_405'`o@:*@*5H""""@""@@@A:1:46:::=7@*2 Q@@J@$_406:[@*:ANA@@@@@@:9B@A:HE@Ai@Ag @A@@@@$_4072M접:@+:AN$_408'`o@:@+):ANB""@@A@$_437X@󒠠6@@@:@'META996:@ 6!:@:@7@&'META9977@1 5::@+:AN@@!+#:@9Coq.Lists.SetoidList#<>#9'@$_40946@S@+2 Q@@A@$_411;@+-A@@@@@@:㐐B@A:E@A60@A+ @A@@@@$_4122M접;*@+-$_413'`o@;4@+-E####@@@A;6;98@+Ƞ2 Q@@A@$_414;W@+$EnA@@@@@@;5B@A;DC@A@-E@A@@;/I@A8ݐJ@A@@@@@@$_4152M접;@,$En$_416'`o@;@,$EnK$$@$@@$$@@@@@A7ӠA-렐7&;;--7s@,&2 Q@@A@$_419;@,1JA@@@@@@;B@A;C@A@.'E@A@@@;I@A@@@@$_4202M접;@,\J$_421'`o@<@,fJI$r$q@$t@@$x$v@@@A8AA.Y7A<-@,q2 Q@@A@$_423<5@,|<>sA@@@@@@<B@A<"D@A;@A@@@@@@$_4242M접s$_425'`o@sF$Р$Ϡ$Ѡ@$Р@@@AA7蠐#101lG@A@(META1006(META1007(META1008=A@B(META1009(META1010FB@@LB=;=9=E@=C@=J=B=M=K=(=Q=&=`=%@Z@=#=+=[=P='=&=.=%=*=a=\&G={@:Coq.Lists.SetoidList#<>#111l=@::p$@@@(META1012(META1013=@A =@A$@A@@ݠA===@=@==@==#121lA@B@(META1014(META1015=@B (META1016(META1018=@B(META1017(META1019LB@@ 'RB==˶=׶@=ն@==Զ==ݶ:====;d==@===@g@====者=I=©==L==ʩ==O==&>@:Coq.Lists.SetoidList#<>#131l>@ @A @A@@ pA>>> @>@>%>@>*>$<ڐ>-'>L@:Coq.Lists.SetoidList#<>#141l5@B@(META1024(META1025>T@B (META1026(META1027:B@@ @B>N>L>X@>V@>]>U>`>^>8>r>g@<=>>>n>i>c@T@><>D>o>@>?>>>C>J>z'`>@:Coq.Lists.SetoidList#<>#151l'@,1ĭ@@@ (META1030(META1031)Datatypes$Init,$@$list]@A#@A@@ A!A,A@@!R@>@>A@>>/@A>'>@:Coq.Lists.SetoidList#<>#161lK@B@(META1032(META1033I@B (META1034(META1035HB@@!;NBFD@@>@>>!a>!l<>@`@>?>@,@1N%5p@>>?? >>٩SB>>?'?0@:Coq.Lists.SetoidList#<>#171l@1`%5p@@@(META1038(META1039(META1040@A@A@@!A@?:@?AQ?B@?L?G?A?O(5?i@:Coq.Lists.SetoidList#<>#181l9@A@(META1041(META1042(META1043@B(META1044(META1045>B@@!ȠDBѶͶ@?v@?}˶?~!b??Z@?\??V@?[?Z?b?^??({?@:Coq.Lists.SetoidList#<>#191l@$_439?@944NA@@@@@F@?@AA@;@AA@@@@@@$_440?@9;݁E@?@AA@<@AA@@@@@/ˠ2 Q@@E@$_458?@/~v8@?ΐC@A8ᐐD@A@@@@@$_4592M접@ @/~vDD@A$_460'`o@@@/~vD((((@@@A@@/t2 Q@@A@$_461@3@/&cA@@@@@@@C@A9$F@A@&D@A@@@ I@A@@@@@@$_4622M접@^@/&c$_463'`o@@h@/&cI(נ(٠(ؠ@(۠(٠@@@@@@A{@/d2 Q@@@@$_464@@/o!!|A@@@@@@@tB@A@@@@@$_4652M접@$_466'`o@C) ))!@@AA@$_4670.C@@@AA@@@@@/Y2 Q@@@@$_468@@/d:x%F@@B@A@@@@@$_4692M접E$_470'`o@C)d)c)e@@AA@$_471.rC@@@AA@@@@@/W2 Q@@@@$_472A @/b0A8@@B@A@@@@@$_4732M접$_474'`o@C)))@@AA@$_475.C@A)@AA@@@@@/U2 Q@@@@$_476Ad@/`$9[Π@AAC@A:TD@A@@@@@@$_4772M접Ԡ$_478'`o@"E)))))@@@AAA@$_479= E@A|@AA:@AA@@@@@@@@k窪ܸqSń@o!4 gf&@}|%@w&U8b  @v#ViيeǗR* XJeII(!Ai0A*SetoidList%Lists#Coq@@@#eqA@A@BA!x!l)Datatypes$Init@$list]@C%Logic@#andЖw@A@7@#InA q9@D.0$ListA@&Exists0DA@E&;@)@B ,B!H! @'InA_ind+# 6FD!F'V!yQO  $]0AАHG Oeg-`%D1l%IHInA?  oBBАIJaywy5<I@*Exists_ind+nuFEy3\1IU"x0L.D,dA*(;v T6La-AD(IHExistsq53FtB(:8oMQ@p|Bu@"or @~i@ értŷȐ"H0CCCCC@@@@@@@@@@D@p@@"eq @ؐ:7w"y0"l0}-"H1 TVȩ *J_aF@'f_equal= K!eA@B@B@@@@@DLM+!a'04Y Щo)!4N>ٷ86A  El"өp#DȐ"H2Pu:7@(eq_ind_r!2#O3.@SP: bQ CR /d Y$r iLnȠVS&!)EA!~7éf*(;^\MKIGE@rmA@?өv7>E:2RDN.x/۩~;?F.ީBIPB'7&&%@ӰV`yPc{AɩY{@&or_ind" @exCgz6CАշө@کAǛ@%Falsee@@ !G@,@ķ,O"$V) <@&eq_ind Ja߷ 4@ @@$Truey@AC @@)False_induُ]J(!۷b345/f*Qi +V4@ZPPY8a_Z?TRFD>B<:%lemma.@#iffС)*)Morphisms'Classes`@=trans_co_eq_inv_impl_morphism&ni$Y/RelationClasses @.iff_Transitive*z"4dJ@"ex @12S7DsB@"In$'zb*@/eq_proper_proxy)f~[@*InA_altdefYZCAN(_`"Xe}E$M;g3^_-)+88"l@-Exists_exists td@B@CzS{=h!@&ex_ind 5{yP0zq@'and_ind14ۀЩJYb[[k\U_sƩSd eyiA[{\e_r֩crwvih޷82uJ]v-({$&#y"z{ĩ @@&NoDupA @@.ForallOrdPairsE@ߩ@*complement qg[@ X@*NoDupA_ind>yD ~s&!A&$޷驚@#notШ57o:8(IHNoDupA7۩1)6z ͩ@0subrelation_reflv &''Q2RBBB@@@@D@V4"a'/@BBB@@@@D@ՠ-DӰ!FjH$Haa'#Ha'ܰ'9   I/PT@]TO8]@4iff_impl_subrelation5Z-Rae@nV` FnpЩCrpCDtrt{ypuc7VOf~x2@\1Il@a%#N64P2ĩ;/{#j|ѩcoķ@@ǩߩ5#UqSJ]"֩U~1@߰mkhC@%inclAɐܷηԷ"l'Ʃ@@'eqlistA:p$@@'Forall2:@@ @+eqlistA_ind- "󩜠Aɷ"x' /G8-)IHeqlistA+𩜠.B$   *@+Forall2_ind;?$ ǷHCFAj̷,R>#ZH #)IHForall2T!WB /-/DB64)eqA_equiv@+Equivalence~@<>BCC@@@@@D@$@*equivlistA~Q5Equivalence_Reflexive@)ReflexiveW5Equivalence_Symmetric@)SymmetricFgq6Equivalence_Transitive @*Transitive++-8A'!9p_@U}{W }g;C5/C-*,0C=&$s@iyk{X@n gpi R ж@z{O|z}uQ@lzC  ]@ qsJb]s léXkCuCCc?jnѷ!z~Ugɷ˵J@@u ,ж@@ "H3@ "H4 Gж@@ "H5@詷勺 TީϩU ᐩ"$&(v0RMuID˷LA?C@,@27ж@,$@+'/I4@%*;멷9FHHҐ4LC6E6C̐dbVT KSNM@(list_indj1[(4ccJ86`#IHx0kkA UUkkF@'eqarefl:ZssCjql!ӷ4@Ly{ *Bx$(g|/{Aηrrfuu^c eh<)`Th@&eqasym{Klo~0C~~C8#CLWKc$:MK@0yeHFGJl@}ci|ũgi\uB@F@F@@@@@@@@@@@Dt_@koֶ@ΐ]é0_g@Րʩ9样 @||٩M $#$&!@@(+(蠶.+1+* Ϸ#x'0#l'0;ǩ]'C#?VtvIW~6R$X(.Y#!64Z7[E?HLqA97L\V?+PNYT] X!MvfAN]L?@d^KXfj_Ͱ=S-e$a`)EbڰCLm"t ;p>m,J_:DcMa0(*Jm^-mG-vQd Lr"H68<c!#Wb˩'sȩe \x"dש3N'5Ω̐&ѩϐ@ f@ؐgΩ;q~@h֩CѩiHqtJ$!$6 "%%%3'',\*)2)+% @%@#7/7(=/@/-+޷i#x'1U.#l'1@֩@l6R6;&N j"H7Z,k  3e7l;Am64IGnJoX-R[_©TLJ_piR>calðg Űp k(!`yT)qR@wr^S}sPf But=YvDMPð%#Qt̰T/bdRé!\w  Rf 7p1/Ǡ5ʩ#L <Ӡm=ͩː!֩-Fz/H)XکJ~+J{.zx@ᐐyn{zzݩ#|OhrQ $9 # ߶9 ;}g|iɩ*'*F'&/ %),@(eqatrans0 ,0/ #Ϡ5 ' ' ' ' ' & ( @NTee@QTaaZQfSȩU 5~^pbo " < < <@bTT@e * *nݩ.  G֩ 6  6 N LCې d b V T  P K] ߩp    U bhԵ@+reflexivity(ϓ/ 򩚠 @trans_sym_co_inv_impl_morphism'\| q`@/Equivalence_PER/; xf@/iff_equivalenceZ5/   g t  z ͠/  j J"$ zD &D @>Reflexive_partial_app_morphism 2R, ܶ!B   1@/or_iff_morphism3S@6reflexive_proper_proxy5 @-iff_Reflexive/h_]( ,,y .ө$ %4i4@8per_partial_app_morphismpǩI    ;; =AA ک @^E _MFDHG      Ln  C o   q     C@+subrelation0s ϩ f ; 9 - + ' 4 $Hxx'  + ڷf A$Hll'     &     >$ ?  ;     =   . F  ?   0Π G L  ܷ  ݩ栩 0 O X @$ W S  T W J b 3 b% B   / h    n'+  j  kQ v:@D42#  ,*9%# z  n } m@% d 5 e h g  >- i = j'# [  2@5 t E u/: v J w4 z   a ~ $  e Щ p  ; W  LL Y \ ZF ]  D Y  C u H ]  G X i YS \  ĩQ [     i  W e  é ն x h  e@ g o@ V  o   n@ p  |@ ` x   j   l     p      y      S? [P j ŷ \:Щ   F      D   4B1      @ թ    >   F @   @=   ƶO @  @         ʩ     ! ߐ   # # #C<  "۩     dC@&ProperL@ @  .J @ ) 1 2M + 3  w L J > < 4 2 8     "H'    .    j4 F ֶ@ F Jf ٶ@ S M i U O   -  -@*InA_compateƀ   t  v b \hWP    KS  h b >@2eqlistA_equivlistAlB !s < 0 @(symmetry0xj   @. U < H w $ $ | ~ T@-eqlistA_equivEW' .D    RP ~ |. Z    P@  ;   h * =  x  c N  u o D \   C  i@ & `  ` p n  O Z  M@ . =   } A ?    @ ީ  ΰ G |  8 I    ԰ ; v  > =    ? Q    d         R 3  H   Q  J \  m   )  N  q  1C   P    u  C    {@,  f@ Z k   ϐ    Է ک{   ̶  @     ٩ w "l1  | |  }  "l2  {      @#appʀ ~ ܩ I     ߷ | 0 .  @z@x  "           ĩ .  1    c      ׷   K   O~ :  Rs  @       >  z K  N <     + - -    & շ g 8 : k V  n 7 @~ Ԡ ]  נ ׷  ة ڠ ][ ^ Ԡ  M i I )Y  / ? #IHl F @ '   O M  ]t ^      Zr [ 렩    V p V G  X _ a \   =   e    _ @ C   S k@  g l b  Z [  L  M  N O  P5  ; Ѱ A f u C h հ E    -         t ߰ t t  Z   k  k c z M ʩ  m m | n z  W )  ^ m ]  ,   s b n  u  )  İ y r + ک  d h  e   9 H  C } Q  M   p Z r1  Ұ r \   ְ Z M  f  ٰ V R  d Q {  R@ ߰ F   S   [ ^ n a [  " Q  &  ӷ   b r        ^  v y۷ܩ |ķ ũ  y    Aԩ ة E   *    )6 +߷    % W   , \    =+&,    5 g  ' < l    @ @= r  2 ! iC  #  #      3 ( ]     ( 0 2 c e g  1}     Ͷ@{ m     /y pe  : c  4d u &   @c x      *  gjh + , 1h2  u,  '@ RyS ; < 6w7 w 2Gs GH > ? :; <  l 7 Ű7TS9 \ ɰ; t v vt 4" N@ U 'V QR  LfL X #Z[ &Q 6R )PQ #Ru  T TgpV  X    Gv Z! t@ =jk 7l  Ͱkk q m   Jqr Mo ]p P]^ Je  3 U~ҰW  Y   Ð " @ [   } %  Щ n{| qm n tkl nm ݩ l 6ln ͩ :p   琷     C  ة $hi      "l T  X Z  ;  ' 2 40$ h 0 © I2   A sߩ3 w  y &  Ԡ ש Oo?)  /C  3 XH     `  ÑiQ@@Щ lҩ p ̷^ s߷Z vHh -  A 㩚>@(eq_trans!y  w )  A _ Yb!fo۩ Ġ   du   CK lu u   @      } ~  t' u  j k  l   a A ap ݰ c Ԡ   :} ]@sH` ֩ 젩x:Mqt_˩ UmC{@r~t t   $IHl1he@Uh  \Zh]b`Ʃd۰f з@ Zж@  ѩ( q q'     ݠi ٷ    : < s   ǩD ٩F   -      ݷ     S ѩU    ) ?            e שg  '  ;  Q?   B     ȷ  @HL8   _ ky       ַgU=ΩE    5 WJ   1Zr " ҩ# " ?% $  { Ǡ ߩ İ + 0   JAJJ   ·շCE'7F OWmYe]OM?= X; . @97 E 5V60a>,[? H M*g*B P @3 F O T1AE* 20U T s/G ˰75v;xoxx   @~а* DgϠ[z kw]|mV Ϡް%:^C4)@j.,0䠩p"4  p@|iukWo{@t֩^vİ`@'InA_app+#׀v BAAAA@@@@@D@`sٰbȠ"  j} ll|m fp d ct 4 ڶ@   ښ @9iff_iff_iff_impl_morphism8C    ܩ        ש   }|ũ   X+  :  . -,(    (@+/ ,' %!#  #  # & uROH @1   A !4#]: @ 4 $+ɩ ɠ à ^ 5H.7@ ǰ$$Ʃ p Ҡ  ΰCV-<,0 ְ$I@)in_or_app+I#а /'M 1)XX     4 ` [>7+ } mm{{w **u,p) } ol r+iu` L@_y$ C@V yUZ7oo# bKZpDB@f^;!p!mSQvom@#rev$t2@wPx:6p N\$dRuLw\xFDBd vv>x wu x^  "@#c@!% @gzw{a~^mӐ~# r֩"}gvک>p"n˩E  婷xwOy ~W@&in_rev5N|7Y շ@7 - з@M0]X=O -A04 ,.ך@-iff_Symmetric!x53&/&;9-+%)堩 04M R$6ݩ #;)AǠ@.DF_el$Ipv,Mq iniOdtR,@'InA_nil+#磀@@@(@)cFff"1i~|pnhlWg˩+)N;G^˰=vͩȠѩ*$y2 V+COӰ-hРLXoܩB@Ω 4C=@,PER_morphism qJ ,N P@@^$g*I <MK^m o"5   з·l v~x z"|ϩ$yq,sߩ))wݩy4{ɩ6}iG<l$@@Bީ ,IHJ! ^֩Z\ YY T2_2uѩϠjdhc.n,pp,J,!E=sB0=#82&)@|vB@<ArBlҠ %?wN   ðb%M  iRRR$a5eb#ذ%!\=$ {f",$ kkk~rpjnhf,*OH_uJyyɠUU+$z3!WDPgFѠAAAAˠ]@+InA_app_iff7cՀ\sr@L@iKPPPQOnTT g e Co Q@޶@k@A@2Dm@5pͩ7I  lxxP@US@FXC @ @@ °^\հ`w~ n@@̰hfʶ@X@[@ A԰^8ڰvtٷݰgy۷ֶ@7~@ B@D@D@@@@@@@@D޷@@OԩS꠷)$-0`  6 @ٷ@99)Ω  1#! -I{}! 5QЩ $/ C _8 Ϸ2 b;?d4 Pڷ, Q*? o .H̷B kI%Mtx fV{ > ;. <@ BU1; ; EaK tf 5 >?h - 7 / K} 1 R k p Lj M&FP G P ^x { @ Jy} < BҰ > a @ b4T^ ^ h  X a  P Z l!FDi V ` r'- X= Y' \ z% Y(mv ] c : _J `4 c }2 c e   h@Z pmy@G s E eͰ g    L W԰ Y  Ȑ!o@)in_app_orЀ \  ͩ\ ` ^ b @%d b f d ۠j f p   h i} l { p  t s   v w z  y ]3     /       ȩ     ɩǠ    ٩  -  ک    ީ  + & &\ ש)  .C2ҷ-   6@  7ϰ#  %  ;=%=4=>&<@d+__C+X  H&@C}X@u@s@qQ9Hd;q$ShfZX$"PN,S@_ $id5L}dC@g,8ɠ..=;b#@o4oq /v#|p@||@x}ixkm2ڰo!|ĩryw@~@r}y6өnx UȰY̰kkl\t;ְrx=H^IVcVieXb^é^Os\]@ RةӰհ  9 r. pշ h   Ω ƩP E t ̷+Ɛz@*NoDupA_app>y.  +)|5 © ? @@3 6 3 " ǩ '< کn A ܩ.C ީu  H ֩ ͩ{   " (+N@ ÷@ T /Q ޠ V4 D 9J#L_  dB@hSSgFoCE0/I1 --7Ug/0렩3,].4]~X|;2;a458թ0k͠2Sm@H?HnŰAX) q* "2"L@@TAKdѰC_n~"x1Q>J@MIKm@gKNTMioE !R~TzTsFWHHloӷ@{29?@ɰ11d3TA==9հ3 5a#ް=?Uʩppq Ơ) ɩG I\zΩ}۩5 נr&ة/=1?g ݩBj2d. h f @ x     <  ܷ  |0JȐ!n␩ %4 ڶ@ ! ݶ@ $    ũ   %+  "- B   ''      %>  - A VV 9     [&<éK4&$#,bb ԩ@&In_InAS:BGOͩŰHǰJթLⰩͰxϰ٩|FOW kk@@D@ooMDMMŷ]Y*RFH_aycw[u ~ٷ1@si:u}Ylrdx{L^|qBx}jtES)g]@KFYs@?t?w"O6Op=԰=i?w:۰:Yp<E::S_u=s<@<@(zBwSEfCpWveq"]ĩ`PSll@Ͱͩ:))(@ְ)Kz+ةKK{M66@°L^ հN&PRɐC@Yϰki1mѐַܩ}ζ 5@ް ȩ5 T} &۷?Y#@@I1 Q橷7%W $%  @@/ /I䐩;ɩ<nϩB t Y  'շ!*,Q g!  ,5ҷ /63:aȩwe9JCh- @nB(N8XS,U;{.`YfSg/9aidJbfGL9C.snnVnen1@uus  DtuCmsJ@|AM CC-E /jVk{߷ <74@$7 &t +) 8-O204] 6k8@,@ȰC C|p԰=` ư?z AްW аlɩ Ǡ@@%!EHWǷӷ۩ְԷ.ҩ g2y8ͩ ީ<!}}~ѷ{~Gͩ ީK3Y[ީ _ E4@:7 *n޶S(#%z  :·aOS ?թ 81/ FΩ޷/4p =E@">B% W,۷~#,1SN0/ a24,6:-00:>1 B909B t2I4A8AJOC:CLG4>Q 6Rư8àO<FYXQ>H[yKTb]75Р[e^U^g,>שBܠ^r%jWatdmv.*02U3'X*\ZvcB%Jr| t1<!.IC`LQX11{@ް  G 4Ch]@ưb` ٰd.ʰTf ݰV̐߷ѷǩy0@Pڰvt/xM9@@@wyD*Jߩ0P@@''&Aܐ ĩ7ik̩?qsX  % {}*Oe 2 .5\ér`4E>c(ܶ@iQ= ~#I3SN4'P163x+]VP,6D^faBG_cEDG8B-rmS PUmoWofo2@~}}tyu}CԶt?@}*B ,.ְ mYW~8 ?/$@)' +w- 3S$6&a (o*@@̰G Gtx? ȰSdްj а a ڰvөķѠ@@+'ORη·ݷ޷8ͩ:ީ s>D©F۩J/߷ UǩWݩ[-C ;iék+oAWE*#H̩ Ƿ@N'">ͩg 2<79 ۩ #Pطweb̩U*,NG-\-/E2!++5S[V%.TX'-7A@gb:Du<> 7@-k:C< 0)g7@s28s@4t˰4ѩJT'8bѰ)M~;IrװIAImݰI KktLr7}@=@ yu[XSjtX[J[Ű:u<婷Ͱ;;q}=?ul>>?#d7DhFаH~L~2D3"DȠeJ xɩ Lgz"NPϩRmWsةVd=>@ ש/kx4϶  é wC Q nq7X  2{#А#8 &א$^X nɩH_#6K(8ҩР/k?<B1B(=<5-sAt<D)GM< s@ R0 HMpMJLPUxRWz谩 Vi[(#^q*%`sRchoݩ7mr۩,^kz`utA<wizð.r%LECF[^vmv9@@KU<B~ǠBR[iF@_V_mJ><qEChU_qWxY-)䠩p]gy~r_i{>v]c_a7$~ekgm %pzfd/yI,l.n,|?YU,./C#Ƿ&!̩A < s8$2֠ SnـCV@,NoDupA_split%id{[[@**ީ<ѩ>7,C#@ ZO85+Cؐ0NIص ⷐ"E1㵷(#"E2שՠ"wtv$&ͩ")}'f0 )0309 6?8)ΠEDAIKEN6 g$P & ĩt(ZAPCRY[ʩtZo\%[5L$c ,eg |!ԩ,T@WjdYl$&Jp\ks:Fu..tu.7C-ϰ)dC%%  CY@l@6o@}eet\Z<I=%VTy+~0@V$^LK8 1AQrpG~Lo3z b2Ƞ EUx˩Yi|$u&! B(,kjgfesqFF|]z$ ,/QLx 'Cqm9Cyy!CŰ@l kjܐ·U!EUɷ@@  +@,  @/ @ @@4ӷ@@ ; @ l @ ې@ @@  (%,C5HF:80.2@>P>*[[ ;  zW!@3equivlistA_cons_nil4N7MOq1RQfdXVPTNL*2@/InA_double_headT@%1`H^C3J5b7df{ymkeiTdȵ4H@1InA_permute_heads>8H#;vG^tC+=IͰ?bϩϰAzѰCf~zm^@,InA_app_idem&G̀]tCAvxa_IFC4V6_ԩ);+N.Sm[^rII^nl̰EjY K4     |ǩyʩ߰ũ# !̩ ٩ũݩ 0  _o*婷 </, # %F%A! yZVX ,432 /*(>Ġ_H7A $YMCC-(E""/*$z֩Ԡ^o4C4JI FA?۠vUx3.*r\U,,PH~M\H.C^\ 1==  4E M.@::@`;@= $%!ک*#: .204!5-n8 P[r##oa@OMb hkX@ @T1nP1pG1EO:uwz!xn ҰPg԰iDvڰLXܰb0{sq=dwAYl6]8<t>Qi?˰BkϰHSҰ9O]J@ذƩĩ|@ukmquwt$xzg+·@<@BJéϷӐȐ"SW@+NoDupA_swap->+Xөi)P 1·@@Dv6@ݠx٩~ Ġ"ҩ&(B{i )["q2c!FN<:OUXE@@}A:[}=8]ַ mշ2<bdXgeש=T3,Ωɰ;G˰7%l**d+b - հ/Gװ@5M{sq + +>>$1BЩ71(-L)t¶@ǰ"ީy@f DFҩJܩ ̠N PxNةRTXLP/"6W۶ϩްܶ@1n"5 7t8"n?rt-Ȑ z'  5LHQ@@@?BȐ"H8Ҡ-  ʩΠ.44 ¶@ 0Ŷ@ ̩3 Ѡԩ˰ݩ: թ< "Q . ک   ( 4?B /H ͰC,Ȑ"H9X^^(YXQI6/\VF&aY[c H Inж@ , 0o 6 1@ ;6& ?uy E) #H10##H11@"Ơ"M T%.ŷƩ X)<;9 ^ Y :Dؠ d$_> f&aJ(a  H   JJ}J4 n]DJ蠩 tcH v!eP $9S]t + @&Ȑ#H12ca( &,lð([^  ,2r_ .4td 57>gm#! @2D~ BCz @Fb ʶ@   EKx N KQȐ#H13 2T LWd @ 2 Q\~ 6_ Wb}  . ^]u B` dc H %  gk{  Nm{ Up Ts! @ \w [z}Ȑ#H14 o 5e lh ;k!"@ so!Br!)!kG! CJ ! GN!IP Ʃ\5   !KJ M!QP!"QUc X!(W[    NO] װK!7~Or!`@  S~!?VrȐ#H15!İ!K~!t@ Š!S] ͠!Y"!F 8/!^u  ֠!by 6 é & WX ! !!o@%!@* 頩)!w, 89  !A!@ !R !B!F! !%^!' !!CT!j! !ʷG!!r!j Mb@v\jkb!^ ,D@f>ũ!!@ .,!+!6HK8x3 )!~{4!!!trs^! h!@!=]! ! N!@!Jf!  ~!"- Cr!qu!Y7!  0ط! !d0"@!i   ! v!-5!s?!19"'@!x="8@wJ"/HEʷ">;""4!< v@"+CF+   a:!"!ĩ!ԩ "!P!!!I! ! xN 6"'Q!! ҩ! N"9 D!"@Dҩ"C"  "l"l"l3 O!"Kb}" "sms" `@wWhi`!t l@dgl"!a"@q_ !d"r @h{G @) !m"S!%!=; W!M ÷ "f"!` Z!ީ!! rnP NL9O J"<P" """K! -1"O""""Ȑ"OR ж@" ѩ""t~BЩ"y"xFٶ@"ة"Lک""Q@!uqv"  "y{"3g"(YWea"鰩f"!jp "@! qT"}!JR@!"-"./"!y="{ "@ "P"%"T)ϩ"+"!eJ@E  E"!20#@J"g<:uv5"!t/-#@:"p2ͩ"4!gé#"}*"!"1/!t"n#"ef"!PN#"w$!, ) -"{"|_"]Zqr"SP P!""!Ͱ#Q""-!!ة!հ"P!÷ʩ!۰"G0! ! #f!  "?#i#i#i#i35"'%ss!75#8!7ީ!12!޷!Ω!"""#}!#~#~#~#~#~yTI#F!O!ig`jNMK!Il!tUqTuHGe!YWEZ"j" !S!""#"W!  "#p "p!J@""IG#S###4m!X#rt7d!vtbw !3o="p!" #"_ !`GVH#'######YP"Oҩ#Ő"F#ʶ@Ʃ#"&#Ѷ@.ǩ"2#t"Q#(Ʃ"#9""_#@""_#6`#8f"*{Vz|"kxv#}Z"0}N["4IGKJ"uEC#K"xHF"#X"{db#####7ݩ"@^#; "D#@u"I#Dzt"Mb`d c b$ϩ"R{#L"jh##O$$$tթ"#$$FxE"]|J4"a'%)(?"eƷ#_"$#b"k#fJ"o;"~#$4ĩ"$$7$72:"W$9"zOD"~  "Ϸ#|"9C"ǰ$$K# "$P$P$Q"9$S$S$S$;$Q@$U#EQNH"; ""$9 |t6q#$?:$Aw (  !< } b٩$E6B#$KF$s"(I$#"1+ 4# s$V'*E*$),2+.-06$KK1;14$5 R$e69`9$8;Abb<  d"MS 4# @B$ADJ-CF$aa>F$EHNoo $$#INA$#$#$##c@#ưJ]]@"[#T#C##Z#I"g$CJ#Ip$$GN#Mw$IP#O$#4p#$#$#7#7@##@"y$#m#$#$$#q#$#$#s#$#é$͐##C##$\ǐ$$$$طĠm$@@#eqB$ⷐ"sty@$@$$!i$$CompŰ@$@$$! $@$$$! $$$$$!s$"s'#$Y  ## ##ܩ#$@*fold_right###$$%##$$% $$$C$$#$$ %# #%# I#׷$ԩ#$a$R G##%% #⠩###$ $###$ % $$$%$###$$&##$$$%+C#Ӡ*##$$$#$$.##$ $ $#$%%%3%5%J%H%<%:  !R@%&@%%<%R_sym"ѷ(R_compat@%@$%G!c%@%%J%!f%%L% #%M%G$ $]$ $q@۶@ $O$%V%)@"S ."T$5$%-%"_$$#\$ $$#E%J$j"] A">$N%%a% $k"IH@ ̶@ ܶ@"i$J$%"k$I$j%D"ND"x$`$o$Incl $V$e%*#FOP"z$X$y%"A$G$l%1%I%@%~$F@"@$$.%$$.%*%("B$)$T$%-%y%N$$T1꩷%R$$*q$ѩ#$>$$?$%$+%%#@$:@##%#ĩ#%$% $h$$7%b"y%$K$R%%$"$G$N%$$԰%$H%%%$J$%?$$ܰ%$=%%%$?$$%y$$$%%à%q$%%Ʃ%%u%%$$%ʩ$%$%$$$%%Ӡ%p$%%ԩ%+%r%%-$$%ة$%v$%%%|$%%%%m$$$$@% $$%"%%$ֶ%&"$ʩ"$v%%%$%/%$$%%"ΐ%$&%8 d"%"א%$$%A# $#ȩ#Ơ & @#&Ҡ&"&@#&d&"-%˷"HyȐ"Ix##ߠ&% %~Ǡ&  "ذ&%%̠&"&@%% $$)$$&##" @#η%ϩ#㠩Ҡ&T#&V&$$&6-!&:'#&#(&i#&k&k"&m!u%w "7@$y$&u"5&&yL#Hx'$ &hȐ"IyV%ڰ2C&#$߰%7&($&*J&(C$&, &j&. Y#&n& "k@$4&D$.$+& +%$]$[&%'"I&%,$Hɷ&Xʩ$B$?&0&#&"y'۷% "@$P$M&>D%&Đ$Hyy' #Hy'$X&.$ޠM%ȩ"4@@&ҩ"@&"&$""&""թ"  "ɠ " &$"#E%&%%%&$,#"%ة  %%&&&0&@1ForallOrdPairs_In+ye H%&&&&K&"%&Щ&O%&ԩI@&V&-%&ϩ&Z %&ө"&%%&'  $%$өi%#=4'#8Ӷ@'ީ#;'!!٠$ܩ'Ӱ#B #D'*"Y #6#%# # #! '0 $#<#j& '4M Ұ &1%&"C''?$ %&#d4'&#<&%ީ %&'H'%%&$'K&SB@&@_&&+&&*&'T&]F'V&^f&&/'YCh&A'Y&P'Y%%@&&$&&8&' '`%%'|']&%@߶@ީ$b&&-''R''٩')&%%Q 'q%&&5&&'/ͷ&ɷ&}ǩ&'4'6'8&'~&, O& &T P@'>&$~ 1 K&'B&'&6 K&#' L'G& $ % N!u'K&&('' @&'p . C'!~&.'' + 2' ~!}'&CC&'&'&&_@C$&F&x'L@'''''"p"nͷ'"q<@'V÷'{@'J#'L'J'v@'<@&'$TraR'@/transpose_restr+9&'W'j''"s1&!g&&"s2&'&@$°&q'wݰ&s''!&u''̩&&&r&'\&t'')&v''&Π'֩&&z&'d&|''ĵ&'&'$ڰ&''7&''&&Ω&&&ߩ's'&&'v''C)&ȶ'&Ķ@$&'& &ܠ&&'' &ѩ'N&''''&&''&'&&۷E&۷$IHs1C&ƶ(&@%&'&''b&(( &栩&&&' &&''j&(''(&&''. Z&(&'۩%&''w&'7&''{&(((&%@,transitivity>4 &&򩚠%@"W/''3&&'' K&''&(:($'''(>=&&''*U&( (,'(D' ''@''!&&&'((6(L'%HB@D@D@@@@@@@@D(R!f@%V&'U(^@'!(_'"I'v"K''"M(8(,%a"J'B|"L('"N(2((m''!|!z'ư'( ;''!!z'̰&(&(('а&(e(N'&y!!u'g!'e(z!((&p@"f@!j&&l%(&&h!('"a0' (!'ĩ%A"u'x(O('%"t'l('F'!z'!z(i('!|'!~(&'!(K(8'R'Ű!|'!|(i(u'!~'!''!(D(F''!~!~'!'(!w!q((^'!w(!t((!(b(z( !'ʰ!'(!(W(E('!(''!!'!'(!!(Ġ(a'!(!(ũ(!(c(v(!'ް!'("!(Y'(ͩ'!(k'( '!(q''(֩'!(b''!'z'!@(!T'թ!v'(5!x''(%!t"('ζ'%!r!'©%!j!é!l'o(B!n''('(!(|!'(I!'''('! !'(P!''(!(6%!!"()( %!!)%!!֩!"(^!''(C%!""(& !!%!'(i!'')')( )''ٶ@(<"$&'()'e"F(()(Yӷ)"/@ɶ@ǩ((()((a(c(4'O' )/''ŷ)("X(i(:''(n|(pzj(rh(C)<f'!'޷(!@d(x^(I["#*'(|U(M)Fj'!O)@!ڶ(K(RH (@(T=''&!ҩ","si)O!Զ@&!)XQ"C$&!ݩ"-"YW)Y!߶@&!)bu!#E(!''"&)g%)g( !'~( 'ð&!('((!(('''!(C(ɠ '!((e)}(t)}''@@g(v))heC()|("@&}()!( (ܰ(")N)Zc(M(4("(f(u($((&)>)VW(k)(<(*(n(}(,))))))$h$fŷ)$i4)rhd$F&b~@(@()%(@()(%()('e)()<)N))_(#Z(x(u(H@ @@ @&(Q)F)@$r(A(T))(`(\#(()p(^#(()(()(Y@&˰(k(r"@ @&ǰ(d)Y"ض@$(T(g")(s(o#((")֠)&۰(()(&װ(x){"($(w({"" (( (C@ @@ @ (((o(("((()&((#),&(()L()))&(~("()#')##*)##*)Y#))Ȑ"i0')##))##) %ַ@'@)"#))""))m"))@)"#))r#))̩)"#)/((é()"$ "(()*'$9$3@*"#)$!*/*/*3)##)))ҩ####) ")n*2#@*"#)&*>@)d"*?#$$#&)B# "#)$() *G)#*A# "# ")r")"*9*O#" )x""(Q")?")= *Z(}@"@"(I(C*]((?""# #(##(b""#&#,)*g(߷*#-*`#*"*D#(#+)E*l": "<"((R"*M"#)*:*u(@)#?hh#[($a)dy#V#=$d))u*(Ƞ#CgC@@@@%;$n) #})ݰ$p*O*[)$)O)4*;)%$q)7)S*UC@@@@).)-$y)?)[)/${)A)]*)^*)-$Hrec)B@@')9)=*@')))*x@%]$),*o*{)D)C$)U)q*[ );!N')I)M"N'');)N*!F'$) é%t$$**~(~(|*#$*e*#*g*e*#$*i*'q*##*[*~*##*]*(#*_*qj*(*נ*)*P#$*w*w*u$n#$$*y)ĩ*@)InA_split!i4##**o*(# #©(#*#(##(# D*#*}#*ݩ*J#**&̷@(#̷#ͩ(#÷*#ĩ(#·#é(#G**#)o$頩))##))* ##))*+S#*I&@(#շ*#֩(#׷4#ة(#٠)+*C#*3#**w#+"+$#%)%##% %*'##% %*#+,*#*f'@(͠#ڷN#۩(Ǡ#)+ *]#*M#+*#+&+>$$)?$#$$&*A$#$$(*+F#*'@(ޠ#)+ *t#*'d#+*#+&+S$$)V$#$ $*)X$#$"$,* +]*f**#*%u#**#+++N*$#թ{#+*#++=s#ڶ(p##+pu&&##*Ȱ#%[)+s+1+P##%Y+`#$ $^y##$ $%_{$#$$+Q̩($$ &9$$*۰$* *$ +*߰$ +&+Q+H+g$ $%u$ **$+/+@k $$f$$ $&$.%z$#$1$F%$2%~$$$5$J$*+;$"$$9$N$**$+1+A$d%%%<$ $'$+%*.*Ʒ+#@($$+@*ٰ#++ #$$(##$*S**$+$!%%**##ɩ+$$%*y)##ʷ*#*+#++̠)@#@#))+))+*J+M$3*#+ (+$$%++ط*(۰#$+ٷ%+#+3#++ȩ+5#$$%+ #+;#+++=#$$+"*##ڷ*#*ҷ+##++*#ŷ+#++H$+++J$$$++#+$+2*##з*#*+##,+*#ɷ+#,+X#+++Z#$$,+,#+$+B+0#+$*,+3#+$*#$*#Ŷ@+9#+ $+N(鐩+##,+*Ω)##*) ##$+X+F#+$*,$*#$,#Ҷ+_(,##$,,*ߩ)/##,-)1##$+i),##$$*)9##$,9+!,9+0,9**@+_$~~~)>$$&,?*$k~g$$+,++,,+|,>$@)B$%,J@)E$n$%%*+++*t*4 ,T*ͷ+($+d$+) $%,,Z+ )U$~$,[&n&p|+vj+h\+Z+,fX+$$+<$@V+)$$,-+V+!)i$ $+J)k#$$+S+',ua+#$"$,o$#+)-$$(,|+/)w$$,})y#$$+)6$-$$%+8)$ $%,+p,+,++K@O)$%G&lM,d@7equivlistA_NoDupA_split:CQ0$%%&x+z,,&s,,W++,z,j %%%+, %S&y,",]#;%%##6!0%%&!+ ,w@9fold_right_commutes_restr<%%!%%%$%.%4%;%P%a%d%}+,?,/,~@4ForallOrdPairs_inclA,E,H,W,g-6n,I,,j,!,-Fh,m-<,o-yv,Q,,r-!,-N-{,u-,w-F--H-H',%,,,H-JO- -L-C,G-,0,c,c,-,-!,/a,-,i,3,-!,5g------(f(d#÷-(g2-p~|,,-_з,Ƿ,([,k,~-y-L,Q,m,,,,-4-F-D@,R@,L+-,U-X,O,b+-C(R,Y-,^-a,X,k,Z(}-6,P,,>'ͩ,@(-@++'+-C-,j-m,d@ -,[-p,I@ +++C-,r-u,l@),d-,h+@,e+C),y@,z-,),|-,+++C"@,@,y-֩), ,1-,-,~(,,+̩,*C+,,,9-m----ᩚ-@:ForallPairs_ForallOrdPairs8̘3,@-,,*x,,+{,--(+~,--+C-@+ForallPairs;{c‰,P--C-,+-,,.--,,.-C(,,--֐... . ((Է$+ 3 -.  +(׷f '- %e -  ,.,-7-M+,,-- *됩-,,.-,Щ(,,-ͩ-u,--穚-@5fold_right_equivlistA2>w<,,,,,--- ---é-~,--.*],,--.+-.-.B.@.4.2$R.B@@ Z.:ζ@. @.$.  R# Z*X..*Z.+.+.A.A.C M-'- P-S N-e a-㶐!j-趐%heqij-)&heqss')-.-=..&-M T-A-/-.*. V-C-1-.C.  b-h u. -ķ)-J-Y"W.3.'.\-@.]->@)-,-?.g.i@-,.T"D@--.W--3 n-- -I-' p---K.-l.u.2--Too---Tl.).9--?---"[..?.--('.,-'.--1 ---"-P-' -/-$-R..,-' -B)-*-.'.-6 -2--@-' -4--B-'K)-7->''.;C-G -C-8-f.-'-..P-.)f.-})-{.-e)-8.c-P--)-E-L..--Ұ' |'-b-հ'٩.-6.a.---۰'ة. (.V.g'.v,'.(.I.Y-'-.'.. ,@'@',,!.,,-z-'.'.V.f-s.'$I.)''-.[' ''(-nũ ''(-w-l.%@a@--..-Ġ ---.{ ---..{.⠩-+-թ---.-. .#IHs - ..y.{)*--..ũ-ݠ ---.. ---.. - .--)·*,--..(@.-.-@*3--// @./(..a--.@.4(8..- -(-..j(-- -(-../.֩.@-".r-...W.E-(8.ϩ.ߩ.I-(6.{-...`-$(6(4.(7./%(U/+/.-@-@(Q-S-%/1-S-.k.Y(](9.%/6)/1-޷*>-ط/0-ŷ*k(E.-..t*i)%-/'/=.G.e(>.)%./.)'. .-.l(-(*.".R.p('.('...()--/ .C(%(%.;(&.9/V..((...(*--/[.(..-/.P(((&.H().F/c.L.(+.]/.(--./f.(/.a-/'.(-.V-./o.(-.J)W.()T.G(@.'.P)X.*.( .ϰ( .?.U)b/8( (.*(( .(.D( ((((g.ڰ((F(L (( ()j(a..(3.t)r.?/.;( (q/(!.C.(.(.<.k)v/Q( '.ϩ*((/.A($ (((-(v.((\(_ (!((1((q.U+./-(.('.H.k/(/e(*'.*(*(.(m.N(. (2((;(/((_(p (6((?(/.!)ȩ*(:(9(.a-!i/(:.S.^ !lo*(#(>/©(C (B((E(/((^(s (F((I(/().a|*(K(O1(`(}.T/ (T(5(](( (V(7(_(.o(.q(((/C(X* (\(=(e(/1(?.`.w(/)(/././.W.W&@/.rĶ@/.//. .../© ...///렩.4./C./z/.8.//򐑷00//**&Ʒ / *ķ!S $԰@/ ,/ /,////0 ɶ@/@/0S/@0transpose_restr2 T///0/Q/).T.O.0. -..ʩ.*۶@-./$../ʩ/r.//.㠩 .../$6.//z.//ԩ// &../0$>൷j/0)/ H/'//*/-..//.///.+.*@+..ש.Ԡ//0@****..۷***/.˩02/L G/./40/ I/./606/0'@3fold_right_eqlistA2?0e0..//+/=/L000&0=0S&.+.ݩ&.$߰../0 C/G0X/7 w/V/H/@-\/0$w/)|F/= e/-//R0;$}/)|C/U03 k/3/ /X0X$/ )0/F/[/Oq/N0q/: /Q//O-/Q+>@-v//u$/0-/հ/0S0G/* /&//\0W$/ 0"/ݰ/ 0O07/a0Q /.//d0v$/0*0=/Q0/: /jK/XI/Z+Z0S-////08$/ 08//"0q0ex /;/BsH/g0/ /@*/j0x$*0E/m05/o0r /H*/r0$/t0w/v0>/0@0@*I*/:/M0B 0S0g0000/l0)ݷ@-*/0@/)00)/$ذ)/0)0c0e-ð)/r$ް)/0")0k0Y0Ϡ0/))ȩ0(*0_.0/)#é0.*/ҩ$*0g/.)#ڷ/)/ŷ0)00.з@)@)/.#0/.Ƞ0/a`*Ϸ0)0"-)ϩ/00/-)/0/0)ũ0I)00ީ0K)/Ω% )/ө0O)0//0#)ǩ0U)00ө0W)/ǩ%)/ܩ0[)//0@/))̷/)/1))10/)̷1)10f)00ة0h)/%()/ک0l)0/10>)00T0))۷0)01))1"0/)Ϸ1)1#0z)00ԩ0|)/ɩ%<)/ҩ0)001+0R)0/ϩ0h0V)0/0;140Y)0/˩/)/0 )ȶ@0_)03%O)/0)//ٶ0x-)©*10,0L.?)* 0 .A)*%\)*-0)/+300s)0ک%c)/0)//0\1U0)ĩ%j)+?0)//1S)ɶ0.)ߩ*%*C1`0h.[)*"1a.])*!%x)*?0)+O+J0.)0t.g)*4%)+R0ư)0/1s0[1s0j1s//6@0*.p+Y0N1y/ *x0e11C0 01x*@Ķ@©0+0^1!1000//l 10 +s1*000C0E0{0yi0g01e0G**00o*+@c0]0Z*_*y0#0T01i0Q*N1*0J0G*e*y+0A0?/g/e.d*.*r*j1*0@/B*1R*c#ک-Y.n**y*X1*@/L*1%԰**1*+**\#1.Y10J!}*F*0L0"/Z*K0Q*10*O0U0U/`0R0*T0ZC1( /g*X0^01010U0U@i001g(0z0(}5C 010 00Q@.0l0ҩ%0n1A0p11P0 0+01é&+ک1I+1101 0+01& +112222,,˷("з $2 ",η# ]    ȩ,.y Ʃ&ⰶ@1a.&1 ]1.(121/2 ^ 01111ٷ 0+0 !0 0ض 200@@/001@/01 1϶@,, 011Ҷ@0,0 &0+ 011 (0+011ɷ 4112'0 I1 1@A@@//01+:@,, 0+/1@0Ѡ :0+!01%92? Z1*11{1|S1M/@01?+Q0,00+N+N,\0,2MC f161(@@_@ @ @0 S0,901%B U0,;12%D1.1 b0 w151#2/c00+l1/f00 1n/a,O1B+^12e,L0"2G+Q,P2o%i2I+S,R2q,1-m2s1w0,2Q+Q+[2.@@0@2X+O+X1w72Z+G+Q1j1װ+I1l1{@2_+V+_1~1ܰ+X122c+P+Z1s{,m211w +s+V12-12,,@2o+V+\1p|*2222+_+e1y1y1,3+a+g+q1{ *p1ط2+c@2+S+d1k2@1ΰ+!2+k1p+}1O +m+@+11X22\+o2+[*+a1S1ܰ+J2+J221+J2+J22*0+12+E221+412+#22ɠ0@+K@$y00200*+O1S2~+a1h+, +`+S+1p1Y21O2+2+*2+r+12ܷ&"*10 *2+e+d1g221]@2 +Ʃ+1é+͠1 +++11ĩ218+C 1ɶ1@@@@-,,% $@1~212 ,+122C1ض1ƶ@@@@@1,+12 ,+12;3 131Ϸt1+11׶@@0112@0-12ȶ@-,-22˶@1- +122$*1Ʒ=11ͷw0)11u0,-12s0'-22-22˷6-,-2,222㷐$eqij1-ǵ2003,,2*2,2,2;3,,2.2/갩3",,2#2ԩ3$,,2%2,2'26'3M1"/3P3P2;2,#,,2<2<2K,,%,.,82>2=y,,(2223Y0,"'~,#0,3,0,'|, 0,!22,2@'z,3QG/>@1,.',/1 ,,3,-1 ,',1,"(i2+2O%,R-]2@z,N,;-`2v2U|,P,=-b3 2i3 ,D2/Y@1",332,41%,',1,%(2,"2T',"3d2,$33,[,p29,Z,1,s2t2B,\,3,u22s33H,J2/u@1>,5',618,7(2Ͱ,52Q',53q3,733,k,v2G,_,=,y2w2M,a,?,{22]3 ,I2/@1N,G2A32,.2a'԰,B3p3,D33é,\,-,Z,K,2k2M,\,M,2t2f3͐222,,2k',T3n3),V332$%',V3v3/,X33% )0,A,\3.,0,D38,2,,333,,5,3Щ,e,j,,O,,m-,,Q,,o-3 <0,o,s.,W,r3K,Y,-٩( ,[33O,]3333,L,`,ש(,N23V,P33  ,, ְ,,,,,ة,,A,-,,,ܩ ,,E,2(",G23,,I,2(&,K23j,M33,,,-,Q,h,|,, .23U!64,F@1#,D,Y4#@3I,C4$3{,C,,1*,=,E,23c3Q,T,/3,f,-3i3W,0,.3,W,-222,V,-,,2492[24;23,r3K,93u14,],c4@4B21E,X,`4C.V3k,53,X4423,Z,-.^3s,%3,%44#3,',,33F, , 3>,!3<4Q,,4Z43/,4T,4]3,&4 4$3,(,,4a3,,4(,33V,%,#3N,&3L4a,,4j43?,4d,4k3°,+4 43İ,-,-4o3,/4 ,33,)4,3*4x3,&4,3(,%,3P,&@3,3w,31S4],,43m381,, 3a1,,,3©3,84- 3@43<+,4+3ɩ1d4n,,,43I1,,41,,,3ө1n4x,#,8,-3S1,,&,4343433 f@3ɰ,xx1,,-w42,x,,34H4843 `4,׷@1,-C4@1,-6-v3W333n2ީ2 4373,3,31u,ީ-M44ķ3w1,-F4ŷ..|4vj4h\4Z34X3~,{-N3,|@V4 1,Z,4331Ӱ,W,31հ,S,-4S34a3,A-B4,B41,a,- 431,_,41,V,- 4#1,q,--P31,n,-?434343k3k @O1---Mj0---D-X-34-443443  -u-y-4-y-3-.--44)-}-)0-:-Q----.33ǩ+-,02->-U+-0)-B-Y-m)-- 4@:fold_right_commutes_restr2D-K-b-v-------3443.)--.33کr,-O-f-z---54-Q4S4-?-T5)1-A34u-C442ݩ/-A-G)9-C34}-E44+R,-?@-B5*-H1F-D5,/185 1R@-G@-"521N-J -R1P-N56 2 )-N-V-\1T-P-X141- -R-Z-Z1( 10 -W5?1+-Y21L15,+]-Y-a+ 5/4-\..)\-^44-`4&4D5M2C0--<!335O44(4FC/6N/4."34P/6.$3545U5j5h5\5Z0&0$+{)}5]{0'& tc%\!YX Qj4?n4=~4N4@5b45$l42l4454t434!2i/W4J5 /2D5N/W/\5;5/0,.[/Z4p4ΰ.]5(55T@476KC6F454@ 6I05501@ C6L454@2m0<6S44 @0=4CC2p4@46W42s46Y44''C+4@4@46]2y4 5-6^46405"z'50z4V0t555$ECf5525E:5W6 6 6646@6W5 <6 5F5 25 0446u5n040`6x5b4`C5G66~C6y5466[5566 6]5566!C1:5 5'6#6!666661X1V,[61Y($ o5561L6 65m6S5Щ35B5^6H55v45P3p6z5;5B6s6<01X5:5>6/55<6l6C045J56Y5N5056H685Ӱ5P5R5456L6566a6> 45O5Q05{6T6 06T53F5T5U5T05f5566@6fold_right_equivlistA2}D05H5[5_5f5m55556P6b6205J6b566u66Ʃ56d5e056h56̐66߷66ѷ'eqA_dec66Ҷ6~6&Specif6@'sumbool7̂K@%3%66˷66?06666 66@'removeA!w$ǩ6@&filter4ԑ666!BAAAA@@@@@A +643Ր6@$boolZ'@4@  B@ A74C6:6ȩ.66774ީ*666%'I6434@@45676η*6N67B66667->6ɷ669;]6'F42&g@,@)7:E%Hg6%J4kBJI@@@@@DQs6%46r6HXZ|6% 4&6@7V@o6B6Q667@66E7 X@@@@@@@@A3_6Nmoa7f@[@X66c71}6e76fxz-4E-p4@-j@g7I 7x6`07b!}06)6v7u6w66j6հ6j7/76װ6l716n706o6t34^63@@7W5ڠ6*67 72707g7~C6676747G7_3 787F79ʠ7>4ݩ4t4࠷@@3777772x2vܶ777X7ڠ-4-771[7{77h77e7b7S5p77Y7W77[7Y7775R77_7]774*777q7u7@ĩ5^é47j7@5d̩472̷777 76@+r@7673:5q7667+ש462r7堷67767 +c676+b+᩷676+`$7(56+X666$76@6@655$765ڠ7265թ57667+ة4Ґ6-86{77777=*777A6,5젶7D7667786@757/6654386`757J3@R 877W 7(7V87@77778&@7L78'%8777%8)7>7$8%776)67U7 77 882%$67[6U7@646L7"67 8=6`@6߷@66,6&,8@6b6"7J6f8667.1V8F67X7>8?727P8#7$7378K677V6q617Y8,667K88T6̶@7z7P33w8X67E,PC8V8!88 689788ax78848a6g778)8\8 ,8a88868D788l78 88l8V68J788r8Z5D %8p88 888x8?85O>7{8m825W6>8c7d7s8s7x8b8+5c7k8@7m7p78\81@77p866-8v7w7877y8:8M5rs8#Heq#6b6`8778778988\6B36a$86i6W8778 6H3586L8778878[8Y6E88 8@ @,84@6\87788"78Y8k573_8Ґ83-8 887788.778e5778E77878j888G4@*6v398吷8,8887788v78"87@87788@8788J777ߩ8778788 78 787478$2  8V777ܩ78*2.8\7888^777872.2.72/7N98M8f2779882587ة8822827I98H8q27798C3878)8G287359%8J18771771@8P187851.Q9 1173898W2873E95 7139/18@172911728E273!#C8 22222 72)77222272+9I7k#@7m9%11332%9M8D9M89M777ŷ8_78]78W9*7789R8T8P8]JC8_A:8a83k9[68 2,7߷812-@48g9:2!2'78Y38j13t9d982'3L9^2(8o9B2&2)79j/8r9E2,2283S9m8d9m89m777@889J889 8i9s788˰88`8o9xC7/ැ$Hnot9e@9[8\8k9k8ذ8^9̶@9`8^8a9Y9D8898d@9g8R8e9T9@88#988;88=8Y8o909 7)9r8:8A94$6l8D6]988u88_8ة8e888Ȱ8G88G9988I88K8R89G888Ұ8;298J88L8S8v9=888228289229988=929798S88U8Y8g8898298828H8289239ɠ9d83929:9!8P88R8e8p889Ω88T989 839p8}89ש839u8y828t82@929i22388z9287v92289<238k628q9$929238s888982ũ 2238892ȶ9/2Ƞ83792289S2336Ґ2 Ʒ9;2ݠ889#922838: 9!##8 22֩222883::C*9 :9:8889%89#8Է9M9889:9 v9"n9Sh\9UZN9WL8:!J83883@H9]:2389E9`<8:*M828:$29e:228:069h: 33 8?5@7Ƞ:2388P?77:338ߩV333#88 5Ⱙ:33 8ީ\33 384-7ڠI:I8:J:9M:4:)3 389335447%3 93383:49:V:X9O:X9:X888ж@9~93:\8999$9x9&999K:9:6+@:@9+9>:- :h:%99s9:e8@@}:J99 9:p99999}y9)x9+t9ng9e^9\4:Z9-3P99U3Q@X9V:^3B3E99۰3D3j3F3I3Y9 4k9Y4:a9:3O4t:3P9W:j3=3N993?3l3A3R3[4|3x9Y:3U3X9.3{:9::#:99999A99=9L9O9Q9994:9S3v9)9{3w@~9J&9y4:9Z3o4:3p9H 9F:3o3r9H3+8n8l:3u3x9N18Lh7_:3j3{9A+8R73 |:Ġ4 :u:99::R:9A9A9@@[:9k9r:e$YC8L3C::j:x:Y8:9:]:ө9:_:o:698h:9:c:6=7 :ې::::554:=4::::@77::,:::7::8:C::@7::9::::::@(.7:::::37::6g:(:9@!^@:(9;g89949::7ߐ9Ω:@@;::::6s6{: :>:/:p:::9Щ99(!R9; 9B9;"9:::2::,!L9!H57:L9!F\5;:P9!>T:5:99!6!0;0:U9::):;:%99!(!"A;4:[9:::A:_9::9;=:b9::95'9:5(@:h4A:<9:M!9!8I44!RTv4&99ѩ8!453@@:45=:_:}4z::: ;[: 4A9;U4B:f81;;4;4E9;c:!8f4+45oq4::5R8>4/4Q@,@:ǰ435U/:|8G;Q4[5Z:::,8|4T4^:Ȑ"s0.4>84B4H4M:5j8[4I;@@;:v&:0C84S4YO%)74W4]5yS9S9Q;v4]4c5Y91;z4a4g557(778u7777;~4b4e499;4f4i458|4l:04;;@+removeA_InA׀4u4{445:K5:99ܷ55ũ84{54:5999;;C8'4C8ǰ44U:;:;:@:@'@::7.7.8̰::շM:;kK@N$@MO;Ӑ::C:;;;~@;;v@ߩ8ݰ:;g ;ݐ;;;;666;;@7;;;;8;;;;;Է;$;;9;;|;;;G;~;;;;;;;Ƿ;r;99;:;;:;;;;ĩ9)28Ӑ;92P<92K@;::<:;;;;9;:;< ;8;;<c; ;;;;;<;@W @R; Y9ԩ9Ҡ;;;<;t; ;;8B4,I,H985@0and_iff_morphism Ƴ,E8,C<;;<;ĩ<;;<;;;;ʩ0<-9+<09;9h2L<292G;<*;;";1<8;;<::,%%<<@'InA_eqA+#_ ;;.;=;<.;5;!;0;?;<06;n5;;԰;;W;(<;;<0;Y66y<ܩ;45j;(;\5k@;5f<;6<6=n6==>6=ة6<<=W9L66<= ;٠/668={6<<3678>=#=c!>@:678=6<= >67 8=6<=@C67<=7==$=D<!>77@L677%>C@=i6>D=6<<S67 7"=6<<>L==s7)5*==w7)2=7<=8g)1>[^<<@>`<ٷ:7 27 =7)08u=6ݩ=6>Q>g=7== 8}=7=İ7>B>Y=ư7<= =&=e77=]7=[#>x>>#©=ΰ7>@>L=а78c=>}=7 >P==3=r67=j6=h#>> #=۰7>5>M=ݰ7 8k= >=7 >98m=@=7>*7r8>=7>/7k=A67d=i6@=6>#7q=L77>667=67_7o=S=ư6>?78> =R67u>6Ͷ=Z7 7*7f667,>67j7s=a7,707p67727r7:6ض@6>6ߩ:6>66::: 6 66: : 6>66<:;l7I7E3^663Y6677I7M>774665k77Z<7 774,667$: 7&7::7U466 7W773p6677>3=>>g>=V=V=U@>7778é>77==>吩=.7==ͷ>7@778>@>7>>G7==777>=>7)ũ=>!7)9<7)<?=#<?=|;7÷3'7÷=9>,79>07>b7===©>77>g7==?>97>==ʩ> 77>o79=?>A7>9=ҩ>E7>99,?#>H7>8=77=7@>N7T>8 =ީ77?,97Q77>7S77=>X7w>99??6 =7^8?07_=7F7X77>7Z77=778+7e7788 <;g477;?77?H775a7e7k{77ԩ=z5u,7j7p7x7ϩ5h7l7r778 ?Q4N>H?Q>?Q===ɶ@>w8_88%88?W=8x>?Z>0?Z63@>>G?E?E@>>;?H?H=m>:>[??)o><>]??7?g=>E?;=>G?TC;>?k:@?+?w?K;?-?y:==3? ????:O:MG?}?7??4?1?"?D!=D?(>̩5,?5=D;;/>?*?x?U5?=H5>?.?e?Y?m@+InfA_compatn,>?%?7?5?H?l???`?`5>:56:>4%]?f?>ک?/?R??v?????:v:tnѩ=;&hʩ>:I<?>9Y?P?>Ҷ??@>>@@1ĭ@>?[?@>?L??@?>>??>????d>?S?>?f;(?>?k?3ķ>ש?>>?,>??>@?>>??ض@>>l?3>?w?y?ݠ?>>>>>@89? >u!l8>=8!g>8>?>@>r@9==8?>=Ӡ>>+q>>>?>o?>η?>>?>>??: :>>"=⠶>?>>>?@>}@?+>,,>??@ >T>!>????̶@ ? >>@\>??@">?@?@?>>??>W@?>?Wh>?3?*.>? @#3z>ة@>>?+n:9?^@">ͷ@@>>?@.@?T9<@/~>V@2?>Է4W>:F><:A?]9a?>@$@::G?c9`?:(@@*z:S?49A9A?,9B?*@?9,9"@H@?9,@B9%@K?:.@@u@M?r9K@ ?(:a?B9795?:98?8@M909%@V??+90@P9*@W?9=@@ ?9?? ?3@[?9A@ ?":q?9;?? :W@d?95@??9-??<9.@?9-??:}9-5`94?? :?9:@?:g@t ?"94? @n95:9599??:9</?0B@D@D@@@@@@@@D@91@Ӱ9#9L@@?9!@d9<?:x?9?F?9=+h?9C:~??L?9)?94:::>92)!L>u@>é>@?"a19Q49?Z999f@:969X@@:?Ӱ9!F@9199:?ٰ9!B@ 989}9?k?2h2h!>!;@999|9@?2l@9?s?99$!7!4@9&99@é?9(@a9?{?9@g9v:@̩?9@X9d?|89_?8@?8?9c?89 ?:88@?89k9e?@8@i9u:@?89k@8?,89@:899e@89t9j?499$9w:899q9p@)շ@8ɷ@89 9@@@8@@O89I9]8Р9~9z9@7@%8*S@W899@=@+8*@]89k9:?8*?8?A8A A>@8ķ@8?5>A?5>A?=8598@O9'~; @?8Щ@q8AA@s89V9m;@G8ҩ@y8@A@{89I9^@`@88ַ@8@A%88A.@@8ȷA(8A1@8@A@89P9VA5@Z8A9X@p@*88ӷ@"8@ A588A>@ٷ@8÷A88A?@8@A@89X9`AC@j8@9Z@@n8@9Y9AL@q8@9!?89@$8Ƕ@@w8@9@8Ҡ9eAU8Π9,9 @@8@9/9A] @ 89AW8@8ؠ9698Ϡ9,9!@89v9@p:&C-SetoidTactics?@0default_relation 88ਗ਼ @3equivalence_defaultú8889B9'ک89<9)708@8A8̩=8A8=8=@8@8A=8 8ԩ=8A8?C89=8 8 == 888ک=z88= 8A88?K=>89Q788838899U9K91AAC@089(899 9Z9G9 9\9R@@AA*A@@@@@ư9xA?9p@A@A@ @ -j@@Ͱ:Q1A?:$@AA8A@'@'@&AX@O5@<;A@H@LAMA;|;x;tj;h\;Z;AX@j:@W@:@V;ѩA::@c@U;S;A[@s:@\A:;٩A:v:@dAR;ܩA::@n@c@QG@w>.:}5:I@,;*;(;$@ @@;A@::o@;A@9:m@;A:>u96 9A#Է;ө;A'A)A+:=A@9m9A/:AA@989A39999A999@@:@BAB@y@y@x`]@B@B@y@y-YV@BAB@y@y@x@A&@ww@B@N@A]@AAB BB6BB?;AB BB A@AAڶ@?AAW"3qBBAֶAA@@?AA^AABCBB @AA@6/AAB$?뵷@BA7AAB%A@AAڶ@?AB0B a;6B,A߷AjAAζ@AA\AAB9?ưAB;B $AAB;BBB>B@AfABB?A^@1aCAB.B>A@BCA@AA@?ٰABNAiéYAABNAkBPBeBcBWBU=!=~BNA;BBQB BUB@BA@ HiAB%B^BHB\B'BB B@%^H[0CBaB,@sBB;Bh@nA?B1A{BB)BiB @BB @  }AB!BrB\BoBAB B@aAqBBxB?BKB{BAAAuBBCBCBO<@LCASBEBxB'@B}B@A}B B=BBBBB=W=UOH߷BABB-BMڰBBABB{@AB3BBBCA@BuAvABBb@BHA@BzAABBs6AB@BBuABOAA B@.SortA_InfA_InAf0AAAAB8BJB[BBsBBBB@(InA_InfA=7AB?BQBOBBBBȷB6?PA詷ABA6AA@A/)-@ABA@ݠBAv?ABABABAB'A 6gAB+A)%6BAAAAAA+C B+)BcAAACB5ABABBAAAAA+CB+)BnAAACB@ABAB&BDABA=2C"BGABA˩AAAƷAA@BM"> 7zB<C7}C 7vC@1|@@C\BC BZ@X@C?B@BOCeC<B`C07CC'CCVA~BBwCkC CB@CMBlBCs>Ѷ@j<CtC7C(@ @@ °CC)7CAaCOBRCD7C&4Ͷ7B@$@@CB}C0Bo@#@= ZѰBsC'7B[7BCJװCC>>BɩڰBC.CBCB~C@Bp@CrBpBsC ݶ@CuB`BsCCJBwBBQ!CB|@BzBC@BʰBfC کBPBBBRB7:CB`zBbBհB0 =éABt%QBBuBCBICCA@Ba@B]AA CAݩACB65BCBBrBBC·=өBlBCC÷=ϩBBjC S=ԩBBYF BB<<۷B<B CҠC D CөB<CBBB=B[B=B C۠Cx C1N C۩CBaCyBBC=CB=CC =CpBB<BB<˶@C<BBB5<=B׶><<CB˩:<<̩CI<=ש8 <=BBC<CB> CB<BC<жBH<<D><<=DM<<֩C\<<8<=BBT<=B><<=BZB<<= BBDBD<طC<ַC֩C<<D<>'C<<D>BCD C<<C<<D"D$C@(InfA_appπ<=>B> D+CD%<Cfw<=D1C9D-<޶C<ʶ@D<<D5C<<=@D<<D:D<CH<<=D'BԠCx==/(CKD?=C<@D!<<DGC<==#@D&<<DL-<CE<==)=8m=C==4C^DR<D<@D4<<DZC<==#@D9<<D_۩<CK<= =)D5DLDe=+D7C<<=-=-=7=<===/C<=D=D=DT=<==D?CCVDnCeDnBB01@CCL  өCICjCȰCKD8:[DwBCR C8C@@@ưCYD 8C[ DSDDDDD?S?QKݷD۷DC>3D*DC@ذDD?D+DN۰D1DZB@AODD3?CDT@CD6D/CԩCD;8C"DC}@@CɰCeD7ACOCk/DCCϰC18CCӰC18CcBCr&OB8DBթBDC.CCCCCCk>ʩC߰C^0>ΩCCL9CȩC==4DéC=DDOCΩC=CKDǩCCMDeCCԩC>DkCCDЩC>D\CC=CC=@C=CCCCAܰ==D1=CsCwCD=DkCCD C=CD=CC==C~DA==D@=CoCC6=>CC==CCA%==CCD.𩚠B@7StrictOrder_Irreflexiveπ===CW0======CCCDDECCDCECECzCz0Ķ@D'C8t8tBCC8kECPC8oE EEEEEB@AED@=@) DDE Dŷ@FDD:E @#nat@E@&length䷀A@Cl 0E"D@/DַE!D6@\DHD@-Dd@,@*DSDEDE6 "BDE#DED3@...6EG+D DCD=77ENCDs93D+D1 6D.DD0EE(E?EUEWElEjE^E\EYBeE EUE@@y E(E4E^EEE E`DrED@@,\@DbD9~DdE2EU9DfE@EmEkE"EEE.@\EsCEnE%EE@@_@EE9ECwEb9ECyEzEwEB@E+EvD@DE<@D@@E~DnE.D`@@DKD^9DME$Er9DOE9EE DiE8DgD)@f D9DUDE9D;E0E|9D=E0EECEhBCEDsEBDq@3@DCD_9DEDDGDE<E9DI<EEEECEBEME@@ѩAEXEX++939EKCAB@BE@@pABB9EoC:@B),AB  EEȷEE@@9E#l1'E9Ep#l2'EhE~@E_ErEE:@EdEbEEƩC@EVEhEyEC|$D109DEkE9: E@2app_eqlistA_compat=46) DEcEsEEEE>6N6NC_D6PEکCA EjE|EEȩC$DE6W< ,Dݶ@DDHADDJJ9D;gE<DNMEEEE6`6`E<D::u6qFFEE:B8EEA!A  EEȷ:E=E:E;E@A(DE:D5bDEE:D5fF: EGEFEͷAEFEA<E(EA EDA A :)DPD@sA=DD:&Dة5wDEE:*Dܩ5{DEF:7D^DE&DD:4Dʩ5DE:8DΩE|DE :FF!DAVDDF,:?DΩ:ADЩ5DEΩEDE+?JFDDǩ:IDߩ5DEԩ:MDEDE:F<F6DЩAkDD:TD5DEϩ:XDEDE1?_FFIFEDEEF6EDEFNA& DEEIEF:FPEFRCA~DE3:gD:iD FVF'@1app_assoc_reverse;E'#F]:rE:tE @<FK E B>FMC:EAE?@AEE-:}E5ΠEFV:E5ҠE<FpFZFpFrFFFyFwFsCF#FoF6ADvF.:FD54DEFxF2AF0FHF5̩D~F6:FL5DLFF9AF7FO:F954UDFFf@/eqlistA_rev_app5 FYFeF|FFDYDYA{5驚Fc@)app_nil_r)7F`5FbCBCC6F_C;xFFFFF@2rev_eqlistA_compat:ANAoFFFFA}A{ !u  ,!n FE©@]FTFEֶAE@)@EFZF@=EͷAEEFEŶ@@@AzEE3FAEE3FFɠFFXF{DFEשAEE::ǩAC@@ @BEE33ηEFcB EӵF$EFz:ӷF'EFk7EAEE37!@DFEEF(FEEF7B@D@FEEF:ʩFEEF.@FEEF7FEEF@B%EE@.FEA@ FEEF@A GGGFEEFFF@EEEF AFBG@@FEEF G@F8@5G@ BA@@:Fl@EFGFEG@CAE<+?gFD@FvAG G!: ?mFJ@ :!AE#@F@FG$?G*G-EP@?@?EE2>G0EREA&@ EFBa?@2'F?EEG9EFEϷG2@bA/GA$EF&G>? ?A5EdE$A8G@@EG GGE@Fm@U@S@SBvEE@OFEFEFةGOE@y@UC@w@u@sBFF-(8YF+FGPF\;BFT@@F8FG]@BF8F;G3GJBF'F:G)G5BFOFIG^FB@H@F.FSGi@B!FF12GVBFF!GAGpG.FNF:FFNFo4hFB.F>FQ:)"G}GE4GYF(FDG2ǩG[F*FFG;[CJ@E@GbF*F1G&!GdF%F,G@@GgF/F6G+@GiF*F1GBF,F3@GFGA@ GqF.F2F!AGGGGF7F;FFG,A5F9F=FDFG~F;F?F@AFܷG@з@GAF.FG@FҰ@G:B@AV:GG\F5F@ԷAA:?Fܰ@G@GG:@F@G@GG2AE@G@GGF@FG@GGɠE@@@@EE2GEEA©@FjG~B@@2GFKG}FVF@AɩGAAFGط@!"@#AEEAҩG@@FzGGFY@GA @@CAFh"@۩G琩F0A @C@x@v@tCFF35;ǷgFɷC"FɵG;FF;JG->FFѩGMGBFF"p4FGF@HFFH@G(A,H)C1AF"?G\AGGHFG0FAFG4AAB"F A;AAE8HF6EHFsFG&A#F˩aFFHB, 'BFHHB(GDAGvBGH GxBGGB0GLA G~A GGGAG$GFGA A GA GH*A@H3GGAH-@H6GAGGGAG"G1H:G_AHG3FG/AAG'AG%H:A AHCGGA H=AHDGAGGGAG#G2HHGoAGG%GGsAGG&BaHQGvAGGGAFG)A@G|AGPGG @AGDBm h@AHGG8C@@")G@FFGGA$GG)BwHgG@G Ha@GöB| w@AFHlC@@GŰ@BXFG%A A4GB AA4G GGHrA@İ@AH~@G@H˩C@AȩGذAAgBfGGGA2"QG©G@2BF@2ѷGw@GuH:@HHF@A@@FF|HFFxHGA"GAGҩAA,HB AA)HHBGư@GAHvH⩷BG̰@ҩG@HpH|"&GG@@ԷG@GH@@HH_G@ԷH@HH @HcH{H @ANAcHGݰ@HAeGG@@߷G@GH@@HH^G@޷H@H©H@H`HsH@AWA^HƩG@HdAYHG@HjAWBHϩG@H[APG@ASG@@G@GAWH @@G¶B @@HGD @@H4@AaA`HH@HnAcBHG@AcH@H  1@@HB @@A$HD@@ʩHE@AnArH* ;@AAqB @AAEAYHH@HH@@HA3V0@@@@@@A HAHHHH@@@AIBH@BH@@IAa0@@@@@@AkIAWGGI H@@@A[I C$(AA-FȠH@@A0H@@A2Hl@AzAD@F@H@@A3ݩH@@A0Hw@AZAq@H@@A:H|@AvAI@@A9H@A;A@@ƠA=AeI/CAC;@I @@AH@A AE$PAA4FI@@A^I@@A`H@AbAwE@F֠@I @@AcH@AAI$@@A_H@AaAi@I)@@AlH@AnAtI-@@AhH@AA@ΠAAlIYAA)@I7@@AmH@AA)\I(I6I,H@@AAA&B@@@AIF@@A Hð@A~A):HIj@@IN@@AIv@H@xIwHΰ@A7AB@AA/I}I(@H@)J@ˠAI)H@H۰@IpIHݰ@A<AF)H@H@IaIxH@A>AD)\HI@H~H|II@I@IIdHs@IIH@IhItH@ANAQIHʰIxAS)rH@HHI(OIIIH@II(TII@IbIzI @AOA`IHܰ@IfAQ)H@IWA@)KIH(aI\A<Hn(OA8H(P@H鰩I(1IRA>)(3@Iɩ(#@A5)HIŐ(_InAN)`IHIʐ(.ABI)("@A$)(F@AJIHIIhIHWHWHVIAGHA )I@A,A{I)t`)vZ)TB)@2)0)yI.H({AdH(|@,)I(J(\AH()&)I1H"AbI#)©I(C(RAI")ũI(U(gAAi)HÐHHǐI|(O(^AoAoAsC(Q(`(rAqI(S(bAsI`(UAA)ICJJ(L@I'(OA.J@I;J EJIpA A$(A)JI([I0J')'\)ILJFIJJ,I(A)IWJ)GIJ J!I(()̩I-J3HI(I&J;J9IJ<JJJJIJDJMIJJ I((JQIvJ$()IFI>I<JQKJ[II0JUJSJ^IJJ'I((JbI J()I!J()JkIJ (IL(ID@IJiMJ(*(JxNG(*IJuJ()JI1Jz mJ*(UON(&*(fD(]JIJJJI I I J=(ηIs*&Jp~(0AJ*&r*(i*,`K*.I:*08)J6IO4(;Iw5@3*6J-2(I.*9+*J8IX'J(*>J$5(J%*AJ8=(H;+H]r(C6(JC<IIJJGJI6I6I5@IJ(AA(AAݩJŐIJ(bAAIJJTJICICIB@IBJ"B7BBB8BzBJҐIAJ*B BBBBC:E BsBBC(BC<J۩BC>JI_JBvJ@JBfB{JBJBaBhJC@JBkBJC5JBfBmJBD &CiJHJBmBtJJBoBvJF@H@JBpBvJJBgBrJ@JBuB{JJBlBwJJBnByJCKCMBӶ@ JBuBtJ+K K K JwB~B}JBBJJBBJ*JJKBR@JBcBJK@JB/B6JBKJBJ.BJ*BkFݷ****q*o*K+mI)BJ)@k*)@SK ){)IB*f*K5qIbBK/c+)IBK)w)IB+)IBI"K)))BNE&BPI}Gi4KE)@*KIGe)@?KL)GhAKNF))I K-@)))Go) )GqJKWF GWGRGK )))GF GN PK]? IG]GBBl?))?BoBKdBnBnA}V BX?BsI쩷I%3G4$"GeIBKnBxBx KoJJfKoJKoIIIKBطJB+;KLBBKKt+++Aө+Cé+E+ K}J+* BJS* @+KK\))JJ{S+N+K©J4BK+SKd))J!KQ+VKg))J(BKJKKKJJJ@ũKjBBK,CeE&G[@KpCCKiC_KCCh+KKKK CCKiCCKu+nJڷKB@@JΰBKKBCECVKBBK9CGKKZCJBܷ+|+DJٰB0K BC;CP+JJ߰B.KBC:CA+J,,* KBC9C?KéJ0KCA+J/BKBC6CAKɩJBKzC8+JBKkC=+_KҩJ*uKpC<J*cCJ*d@JKdC#+K*%*4JrB+KK|CH+nK JBK+*=J|BK*#*1JkB+*TJBIΠ*8*}*CXEנCZI)H4GCC?KC^C^BC`J{IH4GJCKCeCeJKKKJvJvJuKCfK C)++M+I+EA+?;+9+L 7J*CTJ*@5+3+1+L8J=C+L >+-+ީK*n*JC0LKLKLJJJ@K=CUKoCCCKCgCKCʩLJhCLKwCmCCK L$KL$JJ7@KJD%%L(JqD {KL+K"L+JJ7@KQJ""GZJJ&}"L1JzE?"C@B@@@=GcJJ 1"L9LNLLL@L>G Gg'e &]  =׶@K?L<KbEKѷL?KK@ K3K\K5LLKL LOC@ KIKcKKL<GK(K߷LMKO@@ KBKLZ K5KmK7L#L\LK LZK;@@KJLe=W K K? HfJF"KKLKKLLpKKKL9d=KKK7.=zKJtK @S.Ja=kL{JJ]L}J#KTKK>K ȰK)K[LKK%K[LmLK8KK. KݰK#L&L$K>KE. KK%LL,KȩKEE..GLKELZLKΩKEF--KFKKLKFL7KK֩KİFL=KzKLKǰEL.KzKRE~KiKzE@KͰE{KKmK ErEKKEoELK EnEUI?E[FEL EtKMɰEvFKSKKELGKKLKlEKgLEK EELĶK̩EEK\Lũ EtElIVEAFEL"EzKQE|FKfL  EEK{KܩEEKpKwIc$@@@@@@@@DIjک 'EwEInEtL㠩L9E|F̩E~EKjL蠩EEKmKLթL@'In_InfA+]AˀEE$KuLELJELH@JJELFL"ELEEL꩷JJJEMEEFHJELEEFJJELFL9EMML@)filter_In"EEMGML&K {0EEEEEEFLELLѩ6EEEFLM$;LM&LM&KK8@LLL>:>: qKLηI(KGLKLAKLMM3K|K>8C@X LL0JLL>LM;MPMNMBM@>Զ@M?<LB@M-@I^M/BMELlDMIMALMEMKKM)LMMQbMM$MQJMLMJJLMZkLM!MDK $M[KKM8LM M^JLM LJMJҩJMMhyMMM;MjJAީLiM4M.^JMnI#K.K,A*KM&M#M'K  NCM{K4CKKMM,MK  LcAMCMK?CIA=Mr@;@K"L2 3LAM{*Ik@8K4M6MDM7K.M:K,K+M*MMeMMKM<LU@Ij@K8MDKK5M4MM6MFMqKHLMXLKBLJK?LMMNMLLKDLMʰLMWMhJLMgLKQLIKNLMM_MK ЩKRLMMaLĩMTMuK]L;L GߩL̩LMMLKKbLMMaMMթKKKhLMLMiMyKrIKpLMLLMKzKvLMMM렩LMxMMMI÷@MMMMMMLI@SMMMMM4VMGKH;9M%MML?H6LLMJM.N N LM(M6MEKXML"I@KMMMKM>+KMNMɩKMMMKpKM N#FN!MMH6I@KM"M4KMN+MǩKɠMMM KàM K^KM N5FM MMN7MpMAKǰMN$MةKpMMMKҠMJKϰMNDUM MM=NLKKװM"NKߠK۰M&N!MکMuMM;MBD{,NRDvL J_KJv>N>|K4>tJN>rM.%1DqNWLDlKMN!KKM#N%MWM]M<NRNcLM<MNN7MNMMB>!NgNPNkLfhbeN2Me?NnNNNuNsI?I=)7ɷ)0Ƿ@ NsNtN5NuNN%N@MzN?n@M}NTNBvGN{MH+M}N~M@0MMeNBMe0MgNMhN@$negb+eNM?C@ϩMMBBMMNpBMNM+$BMxMNMB^@MN4NMϰMNBMMN]NMNM$,]NMMMM<NM{@=@MMbN4MMN4BհM]gKQGѩMNONMcNd۰MeMNyo> N%MkNlMmNMnF*NNנMMM0w4MNMpB4MLMG)FL4NMLĠ$NM]&\MMMwM/MMNMMMNNHNG)>ܩINH):NHMwNNMMHH)8)2NMHMNNNHNNNMGH)0)*NUHMMON'HNM쩷N N+GNMMO N.GNMMGMзMGݶ@N4GNMԶNZGGMMǩ GGNMN<GNnGMMC.GT&NtGM2GIMZ&N|GM:GַO&GשHMMN7NUHNNMO3$MGMܷO-GN> MCGGMO8N_GNGMMөCQG_&@NGMƩUGH(Me&HNGMΩ]GOIGH*MMNZHH-MNaHH'MMMNHMCoH =5M$G֩NGةM@-eq_Transitive(,NHMC}H( E,HOfGHNGKGGNG詚M#@0reflexive_properm+@HOsH HKHM.@:reflexive_eq_dom_reflexive=[HGG'M,@,eq_ReflexiveaN3,NMH%NN$%OQQMHS L!@N&ONH,NH,ICH.H0HyN#H2OH3HvN N)CH8LL6H6OOH=IQ OoOHBI&NN۰&NH0RC@NH3UCаHU}bީ1yNN&I׷NH^I٩MVHZONMIթ %0HWH]HdHyHHIOIOO9HYH_HfIOOЩH|B>L`ж@NөHOO٩NOΩHOŠIҩOЩMàOة HgHvH}O' HiHxHkHzHOHOHOHOOOC@ ION:C@OC@OO$NE$NH@8O&J IHOHJNH@MHP P O1 HOO4H~:["HHPJ%NH@N9O<HO NbH:tCJ-OH@MHP!:y OFH:{4HH:}NHPHC߶J9OH@MHP-P+OR*HO#OUH:sCHHP2_L4@O_7HOP=JNO%H@OOgHOPDMѰHPFP OkCHP<OnHtHPLHHsP5OHOaHHPIP<POzRFJhO?Hն@OOHP#P^MHP`P1O]HP"VPN_aIP_PeZPhP.N簩OHP2P2MHP4P@NHP6OnfbONoqiO]rMtPvPyNNfN`iPzNN\OHHOӰHPHIP/PP>O3xJ.PoOoHOFPsPN㰩OHP*PNHPP?PC@OCCJ>OH:;M%H4OHPbIIJPpNPCJOI$@N2I#POI%PzPOΰ$ROаBZ:I+IkO1PO԰IB9NI>; PI?OٰI#P I7ID˰I9P˰I;PI<.IO9JDӰIAP©PICI O IQDٰIQ; PISJ۰IUPIV>IOIJI[IJPC@OIKmDImzIC@P''ϩPIUwO('OPOPO[O[<@PO77P Ox6DOMvOPAOPOPPbPIOPOPOj.PPOEO7C@IP%O7EOǩOP7#O˷QO̩z-47(Q Q _Q@@G5Q@Q@QQKKNJQPPPnȐ#eqk@Q@$prodt@Ou"p' KP򠩚Q"@#fst M:E@ Q4Ȑ$eqke@PSNРP>w8\PhPߩQ9@#snd>8e@"%QKQFQDJЩ2NQLQJP+PMP@N\;FQ QEOQ9@YQBAJQ7PQ]@&option >v@PXQH@%findA~vPOP^MAPP,PdO NNy{@o@tQRAFPYQ"NQ#QCNiG QPOQu@Qk7QX1K O:P01BP j@Pð8P P!PQQ~EQSDH,O͐HPPPQQ@QQLP"Q@PٰQP}PQOP఩UP|&P}> QQkaQQPͩQcfPPQwQQȷP}PQPOQ%QQЩOPPQ̐PrQ/QQĩPPOQՐPhQ8QQPPʷQߩQݐ!QQP@@Q㐩!OOשPQPOԠPPϠPPPQQQKdK|PPQPwQQ>Q QLQ<RP:P2Q*P*O꠶QQ#PQR P@Q3ciiQ5P{P ԩRP_VP?VQR}Q#PQAA@A@@@@@D>cR$R'@QPKPPR)PKP R|Q{R-COQTQQ*MQ=-?aQ0OǩO 6@,@1QR7R5!NEQQ<NQ=@OIQR1PR%QQ%Q(R7RMR Qt?Q)Q,NQ*]-_Q2OO+V#@L@QR/G)QHNQIROdRQR+R7FBBB@@@@DAR-OtQkQɰRvR#P-RRQqQQ#RARMQѰR|RQQAQ%RQYQ&OQ'*O-Q.OO`@@Q/R'Q-Q1NcQ.-ƠQ7OɩOpQHO̠@@R.#QMRwRSNrQk"b'QnRgOQRשN-RKQ?ʷRԷ@OQR@QݰRR̩Z(QPtR"zQ`LQFRNR`RdLQJRuRQQbKnOXȩeK׷-٩QhAOЩQvA蠷@Ƿ@̠YQ^RmLQ`NL- QfOGOQOJ@ط@QҩiQnRR젷R%RRE$HRR,RQRMQQRRRRPQ%QQRRDSSP@F@RLLQ.PRS Q.PQSQS -R(RHO㐩R%QSSRPWQSQ˩R>RpRSRr QQԩRGS=کR|RRR~LMRRRReRS%L LRRS.S,L LS0LLS?RBS9SBRRS RL L*RRR SHRmSR RR=R5R3SH0LLSSRBSMSKSVR!RSR#$RS[R&RRR&RL*L4RMR\RmSfRRL)L/RCRRRK L+L.RERHB@RShTL"L3RnQRPJST[LL)LMS|RfRP`LLLHR\Q:S_fLLLN'LLMqR R+LLR(R/LqR)L"5P,L. L0MR4PmLZ@@!L3RD5L/L5OqL0.ԠL;MSPL[@@L2LDR7RR۰SNSDRORSJRiSCMSRPSDLcLVL]RgRnSǶRϩPʰCLSȩQSLOLYLnLQL[MMS'rLUL_RkRoLRD{PeթrLG.LoMRvPީL@շ@ڠgLsR{LkLuOLl.L{@[PĐL@^@@LЩwLMS2P͐SLΩLLRRMS QLMS@1@y<SRS?TT@@S\LΩLLLMT@S:T LLTSpLLNRLSDEŷPLf./0RLLN P(L@@$LNLLPL@/BdL-Q9-젷@/@4MLMTCSwSTT;7RLLLM%M/TKN^SsTE1LLЩST>TTSLLN;N@MNlSTS?LLéST5TLSLLMJNIM$SSZT`LgSUSSThTfR'TiU4;TwT=CTqTzSϰTATMSѰLLMXMbM+TSTSM-S6SuSmSkTh0TT%CTTTST>TVS 1LLMdMmM+TS$TDSKS%T59LLMbMlNTSðT<>LLMaMgSPLLDLLMdMgD@SϰT>T9M/SbL砩PL{LM3M=TSٰNLZQDQLw÷/ũ砩LM@MOQL@@FLM_ZLLPLշ/שLMNTҩQϩL@Ʒ@M9WLMYSTTҐ;T{M^NT6STא.MaTSM LLMkMjLLM|MT6Q|L/LMtMQʐM @@~LMLLPL 01LŠMkU QܐL@@M]LMSũMJcLLMMP޷@R]T@LMM0UTaSҩTELMMSLM|L׶T]QU 0LLLMU-MNTRLӷQ-L<0>`LMoMR 6L@-@2LU@LLQLN0PrLMlUKRHM@?@DMlРLMTR&U075<MgMM MMM0eM$MMީMR3"0n0T5 QdLs0uMMMѩRBmUr@c@hMM LMQEL0MMURS~M0@u@zMUToRSѠY?ST?OFSSoT("MMQ^M0MMURlMF@@MM%MUN+UT;TUU,UTTTULշT^TWUNR\UOZONT]B+T_)TaOUT^ E @ TgUMTTjOUTgN7UڶToUM}MMUԷTtUMN@0 0өTlRVƩcMyշ0שMGaRUӠ@ķ@ɠVMNbjMMQM0 MN/URߩM@ַ@NgMNfU꠷$HeqA?@TU(rMNttMNXTOUUTUMMMשMMN<NSVUMMMƩMMNmNU!=TUNMMN_NsT8UUJVV @UMMMN?NTV@UDVMMV#TKVMMM֩MMNbNyTRV.U.V(V&+UMMMNSNYV6UpU^V0UV&V<UwUeV7#MMUVV0TnVTEVA-MMUVV#U9U7VLVJ6MMVVVYT|@@VQ=MMTLTFTVaTTCVMMMN/N;VVB MMMNzNTVmTVlVf>V+VJON.<VrU:U5V1,TTXV4VS$NV@V{T@UgTgVYyN=wTPVT̠U-/VV}vJATU>VfNUrVVhmNB.NNNNVz%UFVnsNR`UuViVVTUηV`@VvZNJ<N NNNV@UưWVUWV?VRVPN*ENNNNĩUTVGVEVVVUlVjNYONNNNVUUٰaV aVVUU߰`V`VVVbVJV\V|UV4UUVVMMVMMVѠVF@VVԩV)VVV+UVbVةUVVdVUUU÷VMMVV~FRVݩVېVV=VVV?!UUVV#VU֩VV#VUUVVVU˩U֠NNUFg@V VޠMNVUĶVN5MN|NWV55N55NNVaUUVʩV4WVUVWUW 5N UWVשN/55NNUV55N/55NNV{UUVNC'U˩ķF&VN:55NNW3W 55N>55NNVW9UUԐ.5ʷ"b05ͷVNM55NN55WEWGS@Tܠ5NW5Vr5NWMW)0 555NNV55W)W@Q>WXWVV5NWEV 5W0S5Kv5NnNVW?F > O5ҩ @ QNvWiPCWEL 9 D5  ; FNNP@WK 5ʩ J [NNVʰ N _WW&PQK15ĠNNV0WX_ h56  j5NWIPfW^5P^V5& p5"NN( r5$W9WQPn/e  u5ɩ/` w55NNW>L& y5ͩL!NNQzW|C5 NWQ|VVWW WVVVW@oVVWTWsMODWV詷VWZǩW\W^VWVRViG@WdWNVWgVWV[VVWWlWNWWoWNV]WNVQVXJtVWWBWV1V1V0@VްWWWW{Oh]O,O7OOWWpWWĐV OWWCVAҵUUWyOoOOP4POP VTyVjOOSO 2! O7T ީO7@ շ@ PWOP L~WUFW렩P:POPjVWCVWWxWVgVgVf@WW T PO 3!#PPV~Tΐ P@ @ PVPPSP!3!5PDiTߐ! PDl@!@!PPQXV_өWn PPVVPW3(<B ߷3+*WީWH0 ȷT!"!032!TPQRT!*X/@! @!%PVPPTP!A3C!ePQ X>U!;P@!2@!7Q àPQ(X PީPPQQ"XJW2RXWrZ WP QX9Pՠ(PP*PPWPةȐ"e0VXa;WXc==XK@'eq_rect=߀XjPQ4QQ!XXoXrXZXrCWdTP!tWYDVPXz@PX|QK;JXa@&eq_sym XbQBXC)C=BX@WRCW8Q B2QIVEVCXh>Q&HQOWq^QU6Xn6Q%4PPQ]QgQTWv+PPTgP!3!ʠQ2:Ut!2=@!@!Qc&Q QxXQpQ{QXqXCfXkWXWXW%W%Do@WҰVfXWQWJWNXOXbWڰOWC![1!·3ĩ!栩W^UU!WU样@!@!DM0EXȐWWDCVXXkmWWXXϩX&XXWmWgWWTW!3"WVlU!e@!ѷ@!bL&XzVqz