"` v °1SetoidPermutation%Lists#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@l)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ֱ&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>$Bool#Coq@0j 2cZ`FW*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI+Compare_dec%Arith#Coq@0jXF 8%EqNat%Arith#Coq@0AIgՋXRV 'ListDec%Lists#Coq@0a&:׃j$Mult%Arith#Coq@0햖Qyb0'Between%Arith#Coq@06v*0ur`C0*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼)Peano_dec%Arith#Coq@0Kݢ*k)Factorial%Arith#Coq@0@oehJd&Wf_nat%Arith#Coq@0UJX AJhO*Arith_base%Arith#Coq@0Ĕ}CS#Fin'Vectors#Coq@0r'gް؅/׸&FinFun%Logic#Coq@08@OcսtG20+Permutation'Sorting#Coq@00zVybؠ+Relations_1$Sets#Coq@0k<⪚(тc1&Sorted'Sorting#Coq@0bb1z٠*SetoidList%Lists#Coq@0k窪ܸqSP\!j% TyPZ Gg864Р1SetoidPermutation%Lists#Coq@A,PermutationA,<@)Datatypes$Init@@$list]@C@B#eqA4Relation_Definitions)Relations@(relation'JjA!A'AA@&@@@  @%@7A)permA_nil*permA_skip*permA_swap+permA_trans+)40DA5!31$x₁9$x₂A$l₁RD$l₂XE@ P@HGFVQIhB  `HFZX!x`!yh!l'!'#j%q['s)p_][om6u1$l₃8@)39z@--6}10/8BB@@U@FCE@FCE@@Ct@@@@@@@@AC@@AFBCCE@@A@BB@@@A al@A@AA@@A@0PermutationA_ind @!P!fxs~ΐm{ѐq@sx@@Ct@y~˶@|{K~#xvtܩͩѷ1)'q@&@@(J@!B@!F?!p> ! H  IB@FCE@FCE@@@@@@@@@@@@@@@@@@@@@D7Ué:L@hM.+` FIN!e?{POGBID3XK5vPK:( &P$VQSYTh[VXG@FDXV:}d +k(),f'(*()=C +RB'>3"#' > & '> 3"3"#'''+k() %'+7 Tk +7 T'+  7T'%'z8`AM@@@@@Ӡ6Equivalence_instance_0 @@@ig{yE/RelationClasses'Classes@+Equivalence~@{ @@@zA݋X_A@@AB@@1PermutationA_cons @@A)Morphisms @&ProperL@@m @*respectful%WO?@,c@@@AviA@!@AB@@5PermutationA_app_head @@BĶK޶i@ S @#appʀߐ@@@L@A@@A s@AE@ABC@@C0PermutationA_app @@C׶pO@@GJgI  ii&@@@AUDM$List@c@#@ABC@@a5PermutationA_app_tail @@/D !ж˶@CNéBD@@@Aۓό^x@@@@ABC@@~8PermutationA_cons_append @@LE&$>iڰ0_2ް#@@@~@A@@@]@ABCD@@5PermutationA_app_comm @@iF1/CA ȶ [  zݩ{@@@@A8@@ABX@@v@s@ABCD@@5PermutationA_cons_app @@GKI]['u&$!@'Sl%!-#pu@@#@@Ѡ3PermutationA_middle @@HgeywCA<@"92;.4s684:y@@@@@@ABC@@7PermutationA_equivlistA @@I`^Y]@X^*SetoidList@*equivlistA~,@@@Ai0A @@AB@@>NoDupA_equivlistA_PermutationA @@J;~ζy}@@&NoDupA @m@wǶ@){zϩ}@@@&@A@AۀߠK0@AB@D@9@A1@D%Logic@ABCD@@<;Permutation_eqlistA_commute @@ Kжu@M@'eqlistA:p$@y@+Permutation'Sorting@3.~@y)@"ex @I%l₂'L @#andЖw@)Ր@@@n@|@A$2aA%@ABC@@}6PermutationA_decompose @@KL%#=@.st%>"H$:@@@@A@@#A$APE@ABC@@8Permutation_PermutationA @@kM31ECʶ ] @Y@@@@A@7@8A@ABC@@4eqlistA_PermutationA @@NIG[Y"as@v"hcR@@@@Š;NoDupA_equivlistA_decompose @@O[Ymk7"l1"l28@@@|s/1p16r<@@m@@䠠=PermutationA_preserves_NoDupA @@PzxVTOS@@װFOٰIH@@@@@@@'@@A@A ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@Ai0A*SetoidList%Lists#Coq@@AAviA'Classes#Coq@@AۀߠK @ABAۓό^ @A݋X_A/RelationClasses'Classes#Coq@@AC@6@@AB@@AC@A1FdJ%Logic$Init#Coq@@AA1GK @A8ӠA4Relation_Definitions)Relations#Coq@@A @@ABCDE@@"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@l*Arith_base%Arith#Coq@0Ĕ}CS&Basics'Program#Coq@0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C0$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1+Compare_dec%Arith#Coq@0jXF 8@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'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;ꮹ)Factorial%Arith#Coq@0@oehJd#Fin'Vectors#Coq@0r'gް؅/׸&FinFun%Logic#Coq@08@OcսtG20-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh."Le%Arith#Coq@0d}Omq+$List%Lists#Coq@0>I'ListDec%Lists#Coq@0a&:׃j@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏%Minus%Arith#Coq@0LFtR"nXW@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$Mult%Arith#Coq@0햖Qyb0$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)Peano_dec%Arith#Coq@0Kݢ*k+Permutation'Sorting#Coq@00zVybؠ$Plus%Arith#Coq@04tmG'Prelude$Init#Coq@0JqTttֱWVU@0Gz rA6ՠ?>=@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0@0k窪ܸqS-SetoidTactics'Classes#Coq@0S_`nOU$&Sorted'Sorting#Coq@0bb1z٠&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03ƠN$@@B@˔@@@@@@@#_20@CtA@@@@@@@@AA@@@@@A@@ @@@B@@࢐GH@A@A @A@A@A@@@@>C@@=@@@@@@KD@@J F@Aߐ@Aސ @AG@A@@@@@#_21'`o@ S@ OCt@D*type_scope@*list_scope@@ ; V Y@#_22'`o@ q@ mCt@AB@@@ S@#_23'`o@ @ Ct@BH0@@@13@@@@ m@@  @@@#_24'`o@ @ Ct@CEW@@@X@@ @@ @#_25'`o@ @ Ct@DGr@qsu@@@@  ʠ ͠ Р@@ "2 Q@@G@#_26 @ --@ @ ېE@A 5D@A@@@@ J@A"l0@A@@@@#_272M접 @ Z-JJ@A#_28'`o@ (@ c-Jՠ@.function_scope@ޠ@@@ A@AAA = @ m@#_29? 3V._ind_from_prop \@ X@ ^@ ˠ2 Q@@J@#_31 k@7A@@@@@@ A@ UC@A@@@@#_322M접 @7#_33'`o@ @7C:@@@@ p@#_88X@3typeclass_instances @A@ @(META1142 @ (META1143 @ /7@@@@ 0 @ Coq.Lists.SetoidPermutation#<>#17N@#_3446@@+Equivalence~@@@@ %2 Q@@J@#_36 @ 02rVA@@@@@@ @ ѢEH@A!x@A!y@A@"x0@A"y0@A@@@@#_372M접 @ b2rV#_38'`o@ #@ l2rVBР@@@ @#_89X@ t@@@(META1148@ 5@  =@ @ M@" U@*(META1149  e@: m@B @J  @T* @B_ @ 2rV@@ޠ  @ Coq.Lists.SetoidPermutation#<>#27N@#_3946@@&ProperLܐ@ נ2 Q@@A@#_41 @ A@@@@@@ @㠐 C@A@ yG@A y@A@@@@@#_422M접 @ #_43'`o@ @ G@@@@@ ۠ d    ,@ 2 Q@@J@#_44 @ -A@@@@@@ @> C@A@6F@A6@A@5I@A5@A@@@@#_452M접 M@ H-#_46'`o@ W@ R-C@@@@ : @#_90X@ʒ A@@ i@(META1152@ s@  {@  @@ @( @0 @8(META1153  @H @P @X  @b* 񐛐k @ -@@(  @ Coq.Lists.SetoidPermutation#<>#37N@#_4746@J!@ ٠2 Q@@A@#_49 @ A@@@@@@ @( C@A@ G@A @A@@@@@#_502M접 ,@ #_51'`o@ 6@ G@@㠐堐@@@   > A D q@ 2 Q@@A@#_52 b@ "3=BA@@@@@@ 8@ LC@A@@@@@@#_532M접 |@ <3=B#_54'`o@ @ F3=BE3@@3@@@ l  @@ >2 Q@@A@#_55 @ IGA@@@@@@ |@Ǡ C@A@@@@@@#_562M접 @ cG#_57'`o@ @ mGEw@@wy@@  : Ϡ @ k2 Q@@A@#_58 @ v0SA@@@@@@ @ אC@A@ }H@A @A  @A@@@@@#_592M접@ 0SĐ#_60'`o@!@ 0SHΠ@@ΠРҠ@@@@  *-0@ ^@ 2 Q@@A@#_61O@ 3 A@@@@@@%@p9C@A@@@@@@@#_622M접j@ 3 #_63'`o@t@ 3 F!@@!#@@@\ 堐z}@@ ޠ2 Q@@A@#_64@ = A@@@@@@o@C@A@PF@AP@A@@@@@#_652M접@ = #_66'`o@@ = Fu@@uw@@@ 9ΠѠ @ 2 Q@@A@#_67@ 9nA@@@@@@@ِC@A@F@AG@A@@@@@@#_682M접@ F9n#_69'`o@ @ P9nH͠@@͠Ϡ@@@@@  (+ ^ a @ F2 Q@@A@#_70O@ QA@@@@@@%@p9F@A@A @AאG@A@@@@@#_712M접x@ z#_72'`o@@ G/@.02@@@@l  @ d2 Q@@A@#_73@ o A@@@@@@@ϠC@A@eF@Ae@A@@@@#_742M접@  #_75'`o@@  F@@@@@ĠM⠐堐@ 2 Q@@A@#_76@ A@@@@@@@$퐐C@A@F@A@A@@@@#_772M접'@ 䙐#_78'`o@1@ Fޠ@@ޠ@@@7: 7@ ؠ2 Q@@A@#_79X@ A@@@@@@.@yBE@A@A  @A@@@@#_802M접z@ ؐ#_81'`o@@ E1@02@@@k @ 2 Q@@A@#_82@ ,[PA@@@@@@}@ȠC@A@ )F@A ,G@A@@@@@@#_832M접@ G,[P#_84'`o@@ Q,[PH@@@@@@@ Kࠐ㠐:@ V2 Q@@A@#_85@ anA@@@@@@@(C@A@F@A@A@@@@@#_862M접,@ n#_87'`o@6@ nG@@㠐@@@@=@mv@@"_8:}9 @@' @A@%A u@ Y@AB@jni2%<Z5@Uiۥ Z^@!*lKL&)Z@~B:'F^N= vބe/A@D!A'A1SetoidPermutation%Lists#Coq@@@#eqA4Relation_Definitions)Relations@(relation'JjA!e/RelationClasses'Classes @+Equivalence~@BAЩ)Datatypes$Init3@$list]@CA@,PermutationACt@ !l@(list_indjАD $E@@A "C!$2A!a 9#IHl0FXX5B G;;NNZ@+reflexivity(ϓ/a@5Equivalence_Reflexive}H$IHPlEMG'I8u PLszwu sÐQƐR|sΐSѐTڠmUkD!O+P)H@,transitivity>4 ٠LS@6Equivalence_TransitiveW @6Equivalence_instance_07Za`Ѱ\^`bd۰féݰhjl ᩚ%Logic@&eq_ind Jxz׷ĩ z}1°|İ~&٩Ωʰ# ѩϰ@p1*$List]@-app_comm_consbSL(> <=.@(eq_ind_r!2#9(3#\'>Q 'J7Bi C@5PermutationA_app_head1T7N0VP^2veԷ#Pl1WZm%IHPl1\ϩFL'Hc0#Pl2eSh%IHPl2j TTV\ r `AbJdd  hP>$,RUmsCrZt\C@@|g~ڷ̷ECt!E%lemma@=trans_co_eq_inv_impl_morphism&ni$2>v԰6ϰBzDF@0PermutationA_app-€$M@6reflexive_proper_proxy5J@/eq_proper_proxy)fRcРg  8ɩŷȩ ̰ ~ װשƩ۷ɩǩ "_̩&@>trans_sym_co_inv_impl_morphism'\|5@/Equivalence_PER/; :԰ְ#ذ 'ܰ߰.G@>Reflexive_partial_app_morphism 2R,*ĩO$$7@1PermutationA_cons2rV**ϩ$-0) ijI4\CH8ObQKCP:Kh|zhENC3^.FH0vJ::[;f6NP8~0A|TzP@)app_nil_r)7ZM[ &IHl₁yBIcD~e6cxmgQkr$zsD|xxH|ih,c&b`_YѠq!-T/3k5\7$,,b.02h4$6E} :w44"@8PermutationA_cons_append3=BP©HTV!EN[(ਗ਼@)app_assoc4Hb-dKfةhũj ̷?EEz6E$o`oqٰsߩ,u7w߰yߩ{5#+d°"h$Ͱb$ @] e &&"d 4%  '#{c@-$/b$1F} 5Hywki\ZH%";@5PermutationA_cons_app0SĀ )/+FYFYj g17sq_<(#;꩚*SetoidList@*equivlistA~ԩ& "@/equivlist_equiv\h!:4`u@6equivlistA_cons_proper$BI|agJDs'@8equivlistA_permute_headsXYշ-+ *ҷЩ2 wη̩6u{ =:A0]d|ٷ˷DB%Pl₁J@&NoDupA @Q@*NoDupA_ind>yD }XFVD@C{ٶ@^-]N$_tmpⷐ$H₂iQ/Gn+JcrKZΰGPIR{@1equivlistA_nil_eq݁PYh5n"E1@#notШ@#InA q9@`OMo~'IHPl₁@Tnm@jq il%Pl₂_ry&"E2twvȐ"e0@)InA_split!i4p̰,@)Aǩ9ʠ˩&Basics'Programc@$flip$ @$impl7oOO@2subrelation_properJ7@ݶ@!X&Z'%!F@#iffС)@*InA_compateƀh61^@$unitUe@Aq@6subrelation_respectful>6z Dx@0subrelation_reflv B$E  KIEEMG&E@9iff_flip_impl_subrelation2VA.#\&YSٰ[U*cA&  ED(?*C,n@"ex @617 /0 ැ"l2㩛@#andЖw@@"eq @u_&BBB@@@@D@0[36*( 2թ"  Ʃ{ i BK𐷐%l₂hr%@N-QE C!J=mư̩ *-,W^ @1>@g-[.Y/S1tܰ1ܩ3587j|!%l₂t@kBBB@@@@D@uHoGIʰK*VNϰp@"E3©0  ܰ) 8W6X [5YzP@,NoDupA_split%i>BE @7equivlistA_NoDupA_split:CQ0EIRL jBKOCMQLɷ31w8@'eqlistA:p$@|!P+Permutation'Sorting@3.~@` @/Permutation_ind*(I,rQ?2V0!(1-o%l₂'r!˩+,3dO/Nb1B@F@F@@@@@@@@@@@DQ@CKJ@5@8کV)HFpS GjeJNmRکtYwJigW'tY)Rg//AZyw/71~A~!!AȩAI9"x'巐"l'"H1"ŷ"H2 )9iM۷B/{ҩ@ϩԠ01Ơİ*E,5>.-Ű/E od"d_Ru@%Falsee@@@V}@$Truey@A/@)False_induُ+54bc\G^34@@VWĩǠAikݷr1/'շ#IHP\p1cd#!d.f,gy 203x2gq@; k@-@0ҩKJO"A?iLLVA_DvJ9hM99թ99;pU66ipt7G8fd4$q6<&8teN5 IJI1@I@4P`Q}M>>>.>·"l0l#l'0lĩldl':f߰feg ^BMީ ѷ8 שrɩ[ǩ̠`\]A G)#/+1 l@'f_equal=f $f5&O9m20ٰ+ é @v4v-[4y2:H<JLȩ.? =Ʃh9{l:@^=`_Babcԩ! ֩gdzVĐ^)5$ɐa>4$ ة@Ԑ42cB&w= TJ:9/ҩĠ& Y;,<KI8* V:@ ;@d$7%VT"- a$E m (Ba_d8 "o2 $ &#l0'?@sqG ~A " e`}fϰ @  BӰ~ D"P'"E'. )ԩ  8yg Y [" &(&%(.#B-- 1 YB 28 6  o o o p p o@ a a@5kk̠ = | ~  D `F| ) Y &Ʃ   k  X   d) e@  @հ[ w \@ذ z /  1 Dʷ˩렩    <  >    .H  = G  y I  c  9C       X $K   Щ ҩ c  e ) ( .; Wɷm  ߠC@@M? M<;  -+^     ۷ 8 6s ml  I?$  1    c6   ũ  S  N T@  r  Z  E֩  h  `ȩ  c { ˶OƩ  i   K  uk s rwJig  't ) A FNҩj   ԩ ð Ű   ʷ  <    ?*( ?{ ( ַ  H    : ܰ   ް u @  ҩ {  X { u @  r{    p r  %  ũ   |. O E ک tܠ pķРΰé    #1 %8<  ̩ -MJ q r@  @ @  } EXe   I K=C i xf= |= Vivt q ͩ    y* */! p~  .  t v)h$@A ~  T@@^P ^ML·é><       ﷐"x1<> ;6 ·U  "H3Iک   "H4Pǩ   ֩V ȩ    !] h   ũ  i    m j ǰ   ɰHo =lk   ,mnn ݰ}  N  P   C- -   /++1,  1 J# L& e  ' 8 h20 h7  .A  A, q  &4 D1 c 6  ѩ 8Y g: ['? G# < D 38- 79@ po M6˶1qp  蠩 |rݠ۰s -H /      3 e 5 fqR㰩 ` tP ' ^  Z ]# Y"(    t R T   ũ, ǩ X  Z wD sBA @= d@  fB F lH nJ   ,LR rN tP(CU   W]   ۩ Y_    q  q   z 6@+  @.m//K-.=;* ,  J.4  0 2 = (?D       U Q@F   @I YYf 9 XV   c          ũ V  X l   #l'' "P1l ~  $IHP1  Ƕ l~   3  ] |Y   : 㷐"P2   $IHP2  ʶ  n$ {  K   ѷ    O "  A |{ } | 4 X ~  Z @    * c   e     - l   n  n%l₁'  M@  : h   j ΩҠ  Ġ°  $      $P₁$E₁   i `  W ]^٠װZ X \   ɷ@VW䠩Q K Sg  'WXQ  S\  ( h -@\ X ^g  3FG\   ^c   $P₂$E₂lp  67]  ѩ_p   t # $v{  D{ * 9         ͐      ߷ g ͷ e  c a _(   l Z j XA L  M31 L  > N ]   f  g<:   G     @   M     s l k  i   g  e  b a _ [b   TR [  _ ] `  D@m   _]   <t   fd      &s   (     *  @us   "   $ ީ `  a~| ` Ͱ b   > > | s    k  l k ۰ m   L o r N ߰ q    v   z | ک ~   ! I      #   \     / 2  2     D   1 Y j   l   5 D   M   b s< ҩ   h        Z m ~  ݩ H   @-eqlistA_equivEW G          , a -נհ  V     ^    0 l 1⠩  I     cҷ@ - w . .   0   O 4  5 /   1 9  X H ?d@ :    < D  +       p Ȑ    H  (@&     ) s-     & ݩ*    2  @*(  4 o?   1/  j <    :  iǩ @;Permutation_eqlistA_commute   f    Sɷ&ʩEC ^P  5@^·1éPN `[ g÷ ĩYW 8d I&l₁''ַ@fd wq ȩ} om C-z/ P/#P''#E''    O?A Z  [  h P  J@7Permutation_Equivalence*AS h  A [  Vհ!  {Z6IZzxlj][ I & ߩ%Sd$  ط    ѷ : ط ˷ -IHPermutationK  Na   55;P t  G ש   UhyJ , W ܷ  [n.IHPermutation1  کŰ La.IHPermutation2c ֩   -4Lggz iz[p @+eqlistA_ind- \bL \  `UIqS _ 5)IHeqlistA ƩP   MTlrɷ 0w0   _wb ; ~@6PermutationA_decompose )ah@>NoDupA_equivlistA_PermutationA9n 0hoƐַǷOMKIG(yTBR@@ ?w ÷S  ط?=|^;\9Z653/@ .5 -0 03x2 $B@D@D@@@@@@@@D {@ 2 t |@ 6 % .Ph 9 $ 0 >  p D   6  7  6 t@ 6@ 6~p~mL  ׷  , W B N   [ D D٩ a B B Dt~Щ F F  G 1۷ C4Ű Lǰ N 8 t R  N   ϷA 3հ Vװ X 7  Z ũ   ~DO   u  t@  { U PKR    Ze  8Ҷ  f a  }mc _  p k    m     ԩW@7PermutationA_equivlistA=   !       3 ~  M @@D@V ɩ : C :4Ѷ@ VԶ@ Yݩ [ ! 8  4#  d  _ 2 +  &  .  j 0@2eqlistA_equivlistAlB K j % T X a a N3 f Ω  >=  ̩ j,$ ~# x! f@,+$#+ P I -  ,  K  ,, F. d  > q g- t } C ːH$#Ұ@ Zѩ RZؐ >\ <Kj9@ ̶@ "}שy6{8 '7:9 I . M 2MO   f@M@pbp_Za  Za JZ] N V ܩxLL MLI&зLL)[]1- iX3YW ZķYO6Y T(ʰ_̰a, yc }dD _ ^_@   J E a@       yϷ s% \  #1  _ Z  )f    X    ũ k f 5   $ 8 &J@   #}@ o   ! ư(  4  ̰ J $ 7 :vP l*l Z @*@(   Hb /!   E J M 7 H 7?7wA9 uȩ ۩G9yI; i8/ N9ju<éTnV  m ǩ   H? ^IР;  ©dw~f y Ʃ { {X G z ީ ;li@ 8rd 䐩 >  ': )-.6r 1 R  MNy  :  < >ȩ<DC  P  J mN!  R%  CCCCC@@@@@@@@@@D @ [,@ i`f 'b31߷ G(/ v Ͱ -ϰ No7 ~հ "װ)V  ܷ N !Q6U 8  ..^1P $ (.T "*    Zl I D$@ ]J ":h o6; ' Ym 1LR .@F {<H 3KJ   QKPҰOU@ Vt C nua[ IUI KG; M97UyY@5 S k1 V/:^y [ m- ^  &v!@  d OC    q   >< Bz   ЀC ͐ %$@  qIIl֐  eF,+@ xvv 10o3q]␩ |iWgUHf @ &?H (BAG  @ -@G /?B  2BE鐩BƱ?5`(