"`ㄕ # X'Ndigits&NArith#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&Basics'Program#Coq@0!bs߯? :VU'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>'Sumbool$Bool#Coq@0sB ,$11.]m*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@0K3 ٠*VectorSpec'Vectors#Coq@0GyK5%l6L(VectorEq'Vectors#Coq@0#'`ԶlxjT&Vector'Vectors#Coq@0_ċ|"Ʌhz'Bvector$Bool#Coq@0,rO3^~'BinNums'Numbers#Coq@0dmk(5Ju<)BinPosDef&PArith#Coq@0}H d.%,b&BinPos&PArith#Coq@0vyػ0= u)BinNatDef&NArith#Coq@03@1O,[{ &BinNat&NArith#Coq@0K11ڤs+Π$Pnat&PArith#Coq@0,?pr.gZ$Nnat&NArith#Coq@0$W;s #%M!cɉ1a0'{Р'Ndigits&NArith#Coq@A-Ptestbit_Pbit @@@!p'BinNums'Numbers#Coq@@(positive*@!n)Datatypes$Init#Coq@@#nat@%Logic$Init#Coq@@"eq @)Datatypes$Init#Coq@@$boolZ'@&BinPos&PArith#Coq@#Pos@'testbit>4')BinPosDef&PArith#Coq@#Pos@'testbit8g$B&BinNat&NArith#Coq@!N@&of_natK)BinNatDef&NArith#Coq@!N@&of_nat)j2_A8@+testbit_natnTq/@+testbit_nat6nBA@@@@@AA@@A@-Ntestbit_Nbit @@A!a'BinNums'Numbers+@@*7@|@$boolZ'@N@'testbit5zE@'testbit-T|ŀBXA]@+testbit_nateT@+testbit_nat+BA@@@@@A-Pbit_Ptestbit @@Bʛɀ'BinNums'Numbers#Coq@@!N7@@pB@&to_nat`@&to_nat*9GABA@@@@@z-Nbit_Ntestbit @@Cw59逰m@[B,esBA@@@@@-Nshiftr_nat_S @@9D[)Datatypes$Init#Coq@@#nat@@*shiftr_nat5f}@*shiftr_nat4B@BA@$div2 hx@$div2>ÀBA@@@@@㠠-Nshiftl_nat_S @@|E`C@Uꀩ#@*shiftl_nat5Z@*shiftl_naty/΀B9BA3@&double*@&double'޺_BA@@@@@1Nshiftr_nat_equiv @@F{ةljBȀA^@&shiftrOU@&shiftr*OBA@@@@@B1Nshiftr_equiv_nat @@G?BABA@@@@@e1Nshiftl_nat_equiv @@Hb"Ҁ}{BK@&shiftlI@&shiftl*OBA@@@Le$Pnat&PArith#Coq@A1DH@@A@@1Nshiftl_equiv_nat @@3I @1B݀ABA@@@@@0Nshiftr_nat_spec @@ZJ!<)Datatypes$Init#Coq@@;@!m)Datatypes$Init#Coq@@#nat@Ja0CBAĀC#Nat$Init#Coq@@#add `AB@@@@@5Nshiftl_nat_spec_high @@K ,)Datatypes$Init#Coq@@#nat@O@%Peano@@"le UxT@BA HDCBP@#sub   @@@@@V4Nshiftl_nat_spec_low @@LSsћ)Datatypes$Init#Coq@@#nat@@H@"lt UxcABހMCBA@$boolZ'@B@@@@@-Pshiftl_nat_0 @@+M @@*shiftl_nat(b0@*shiftl_nat9-A)Datatypes$InitG@@#nat@AA@@@@@-Pshiftl_nat_S @@XNH-:@/0-B BA'BinNums'Numbers#Coq@@(positive*@BHBA@@@@@-Pshiftl_nat_N @@O~cp)Datatypes$Init#Coq@@#nat@o'BinNums'Numbers@@!N7@B&BinPos&PArith#Pos@*shiftl_nat(b0f@9-&BinNat#"@5ZY&@y/΀&@@@@@H0Pshiftl_nat_plus @@P)Datatypes$Init#Coq@@#nat@)Datatypes$Init#Coq@@#nat@ԩрҩπA|BCڀހACB@@@@@.Pxor_semantics @@%Q"p'éo@$lxor=(_@$lxor#Q\CBA@$xorbȀǀCÀBA@@@@@Ƞ.Nxor_semantics @@aRśĀ"a'ɀJ<S @$lxor S@$lxor>CBA<CAŀBA@@@@@-Por_semantics @@Sue@ @y)e@#lor=L\@#lor#F̀CBA)Datatypes$Init#Coq@@#orbGCAMBA@@@@@H-Nor_semantics @@TEDH~ҩ*@#lor "@#lor3mCBAB>CADBA@@@@@.Pand_semantics @@U   b@$land=(@$land#Q̀CBAz@$andb=CABA@@@@@.Nand_semantics @@TV<񩛠.E@$land 3"@$land>mCBA;CABA@@@@@/Pdiff_semantics @@W|{gt)f}ՀR@%ldiff=UI@%ldiff$'RCBAs*CAu@$negb7BA@@@@@2/Ndiff_semantics @@X/.j2hu@%ldiff *l@%ldiff󀠐CBA(CA?2BA@@@@@n#eqf @!f@ʠf@@@$boolZ'@!g%Logic@"eq @RgS@%@р@؀A |+k() +7T'  77&'1`=t-h@@@@@)eqf_equiv @/RelationClasses'Classes@+Equivalence~@A\k@j:螀@5Equivalence_Reflexive@#odd ~@3ɀ.FA@;@!N7@A D+kG 7 77&'\]hUp@@@@@砠%Neven @dީcp2qB@f+' D+kH 7 77&'?\hzp@@@@@ -Nbit0_correct @@]Jy耠ArAM@#odd ~D@#odd3ɀA@@@@@0,Ndouble_bit0 @@^ns@!Z'@!?AB@@@@@S5Ndouble_plus_one_bit0 @@_̛#?@+succ_double @+succ_double.^4AA@@@@@v,Ndiv2_double @@`@@;/A뀰@ÀQQ@@@@@5Ndiv2_double_plus_one @@4aـ@7@:A@O耐vv@@@@@-Ndiv2_correct @@Yb=1HBABB@@@@@ꠠ)Nxor_bit0 @@c盠(",[ڀBAU耐B퀐A@@@@@)Nxor_div2 @@dVPZ@]PBAVkBpA@@@@@I)Nneg_bit0 @@eF@:BAÀ/K,PS3@@@@@}+Nneg_bit0_1 @@ fz@BAB@(positive*@C ifm@@@@@+Nneg_bit0_2 @@ Pg Hꀶ@ ->퀠CB BAA Bƀɀ@@@@@*Nsame_bit0 @@ h1+5 &@ iz)CBHB:BA ~ᩚߩ@@@@@ +)Nless_aux @B@  0+i-  34@AA@AA@@@@@@@D @=@$negb$E3@$div2 hx/@>À =0@ j  ,Wk(*()=. R<'>7 7 7 7%'> 7 7 3&'7 7 7 7%''+k6'+7Tk+7T'+7T'6' |$̠|SAABA@@AD\`Q(N@@@@@ %Nless @xw@@A@A@@@@D!x=@$lxor S@>շ@ ' @ ÛL@ +k() 7!= R'> 7&'H''+k6'-@@AAADPf"x.h@@@@@ *Nbit0_less @@ i  *@ bũတBB@ oҩΜA zG @t;0QܜA@@@@@ ((Nbit0_gt @@ j %6^8@ BA@ "B {4B@@@@@ Z.Nless_not_refl @@ k W ŀKAAB@@@@@ s+Nless_def_1 @@ l p   f }B  ]sBA@@@@@ +Nless_def_2 @@ 1m   ԩGBL BA@@@@@ +Nless_def_3 @@ Xn  Ѷ) , ɀBqATA@@@@@ ⠠+Nless_def_4 @@ {o J  OՀB 񀐐AwB@@@@@ 'Nless_z @@ p ? p=AMAB@@@@@ )N0_less_1 @@ q V@ YhAAA&Specif$Init#Coq@@#sig#* @j  } B #@@@@@ X)N0_less_2 @@ r U@ ĀJAAB Ӏ .A@@@@@ {+Nless_trans @@ s x#a''@ 쀰rCB A@ ǩ Z Y A ҩF e #A@@@@@ +Nless_total @@ Jt 붐驛@%sumor$|@@'sumbool7̂K@ .BA NA ;AB [A HBA@@@@@ $P2Bv @@@ 'Bvector$Bool@!n炀@(size_nat%t2@ yͷ 㰷ש@%BconsXߩ0"@*Bvect_true ]} BA@  T'Bvector$Bool#Coq@@'Bvector!n炀8 ,Nk*(=+ R0'>3 7 L7&'>3 7 M7&'67$''+k7 7$'+7Tk7 7$'𠑑X ADP/젒Tx4?A@䠒Ul(|@@@@@ e$N2Bv @ \"n0 `r ?@i2kF :@j{ Gz@$Bnil%KA@@:@ U @(size_nat2kF @(size_nat{A +k= R'>7$'6''+k7 7$'РTABt+l4@@@@@ $Bv2N @A@ 5G"bv, ;MР&Vector'Vectors @!txYe)VectorDef@;z@A@C@C@@@@@@@DTfc    A!hjas, l@@@@@@@@D s   @+succ_double  @.^4F ̩ @&double @'޺_ @ x <J؀ ޛE ,Wk(*()=/ R:'>= R!' 3!7$' 3!7$''G''+k6'+k()6'+7Tk+ 7 T'6'ࠑ `,*8@@A@AB*|l@@ACAFX@@@@@ :)Bv2N_N2Bv @@ u  7 @:(A @: AA@@@@@ [*Bv2N_Nsize @@ v ԛ)Datatypes$Init#Coq@@#nat@?A N9BAB@@@@@ ,Bv2N_Nsize_1 @@#w @֩d BA F@$boolZ'@|@%BsignBA 1A/@6/BA BB@@@@@ ؠ(N2Bv_gen @@@ ]o ة as t@@A@A@@@@Dj|2 |l~C   @+Bvect_false/ {m"p0·ʩ  ۰ϩK ˩ ͩ |թ& S ҩ @ PU ߐ ,k(*()=b R'>=H Re'>=+ RE'>9 3! L7&'>9 3! M7&'7 L7&''97$''6''+k97$'+k97$'+k7$'+7Tk+7T'7$'$ ĠRAEADԠ̠<L ǐ+PHl^@@AAAFX@@@@@R-N2Bv_N2Bv_gen @@xOؐ֐AA@ 2!䀐AA@@@@@z3N2Bv_N2Bv_gen_above @@yw!k 쀰l BA/ BAB&Vector'Vectors#Coq@@&appendA)VectorDef'Vectors#Coq@@&append m/BApB@+Bvect_false/ {@@@@@Ϡ)N2Bv_Bv2N @@hzHtAAB{BBAA@@@@@*Nbit0_Blow @@{nQ@Aπ=BAoҩ΀BA@$Blow%IKBA@@@@@))Bnth_Nbit @@|ζrA ˶!H ˀAC @)nth_orderMĚ@)nth_order O DCBA$DCB@@@@@e*Nbit_Nsize @@}ޛa X@ IꀐBA߀N ? > B@@@@@(Nbit_Bth @@$~& &[ %ABsCBbЛ '%CeCBA@@@@@*Nxor_BVxor @@X8dA#bv'B9˩C@%BVxorpCBA CBCA@@@@@*Nand_BVand @@@vFԀA>ۀBvрC@%BVandCBA S䀠CBꀠCA@@@@@:@@@ ӳ2@ ӳ2[   @@A@ Գq@ Գq\@A@AB@&Vector'Vectors#Coq@/VectorNotations'Vectors#Coq@@A@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@As2@@&shiftls2 @vY@A@Bs8@@&shiftrs8@vY@A@ѓ@"@&squareѓ@y@A@A@'@&to_intϑ@@A@B@C@(nth_map2*VectorSpec'Vectors#Coq@@ 8"@A@@Q@*fold_left2K@6U@A@"W@W@*fold_right"WQ@6N@A@AB/@E@)log2_iter/<@wd@A@/x@&BinPos&PArith#Coq@#Pos@)pred_mask/x)BinPosDef&PArith#Coq@#Pos@ )X@A@Al@c@)sqrt_iterlZ@!$:@A@@@@(sub_mask@@)@A@ABCDE c@n@'testbit ce@!ć@A@7 B@+@'of_uint7 B"@*`]?@A@G@1@)mask_rectG(@+ED@A@F˱@7@)add_carryF˱.@+p@A@ABCK5@@*Forall_indK5@9M@A@X@@/shiftrepeat_nthXc@;\@A@A^Ҷ@@'to_uint^Ҷ@#m@A@BD@@-replace_order@:k@A@2s@@,shiftin_last2st@=Nn@A@AxYe@@!txYe@;z@A@BEx^@@"Inx^ʑ@;z!@A@xa @@"hdxa @;zd@A@Axa@@"tlxa@;zP@A@Bx#@@#eqbx#(VectorEq'Vectors#Coq@@ /@A@x[@@#etax[@> .@A@AxI@@#mapxI@;{&@A@BCx@@#nthx@;{)j@A@y@@#revy@;{-@A@AG8@@$castG8$@/Y@A@BDFG8[@@$last8[@;d@A@R@ @$map2R@;@A@A @@$take @;:c@A@BHI@@%case0HI @@%trunck8@@A@ @x@$even o@>4@A@A @}@$ggcd Бt@>U@A@ @@$iter z@>:@A@ABD 3"@@$land 3"@>m@A@ F)@@$log2 F)@>t@A@A S@@$lxor S@>@A@ @@$pred @?U@A@AB @@$size ܑ@?'@A@ !@@$sqrt !@?@A@A ! @@$succ ! @?\@A@ !7@@$zero !7@@P@A@ *@@%ldiff *@@A@ABCD O@@,take_prf_irr O@*@A@ g_@@+pred_double g_@25\@A@A q@@(take_app q@lm@A@ m@@÷ m@2j@A@A @@+Exists2_ind Ñ@ @A@BCEFG k@#@'nth_map k@wF@A@S@@&of_intS㫑@4}5@A@AS@@&of_natS@4};@A@\R@@(mask_ind\R@4@A@\^@@(mask_rec\^@4@A@ABCũ@B@*Exists_indũ<@@A@Ǜ@I@'of_listǛC@@A@A!,@@&pred_N!,@4s)@A@@@&shiftl@5X@A@ABD@@&shiftr@5X@A@&@@&square&ّ@5,x@A@A"@@&to_int"@5L@A@"@ @&to_nat"@5L @A@ABnTq@@+testbit_natnTq@6n@A@B@1@(succ_posB(@@A@.@7@'of_uint..@MS@A@AB3~@!@'sqrtrem3~@7]%{@A@CD,@r@'bitwise,i@/v@A@>4'@.@'testbit>4'%@8g$@A@Ad;@@*rev_appendd;@fh:@A@{U@9@,sqrtrem_step{U0@8R@A@u^@Z@(div_euclu^Q@ @A@ABCu@@&Existsu@@A@UA@@&ForallUA@@A@#N@@&In_ind#N@%@A@fz@V@'to_uintfzM@9w@A@ABCDEFHIl@@'comparel@3R@A@A@@&appendA@ m@A@AL9@@&caseS'L9@ x@A@W@@'replaceWݑ@ 4@A@AK@@&eq_decK@?w@A@K~@@&eqb_eqK~ @?w@A@MĚ@@)nth_orderMĚ@ O@A@ABCDs8@@+of_uint_accs8@5+@A@@@3to_list_of_list_opp@<@A@}@@,pos_div_eucl}@&`@A@AB`<@@&t_rect`<@ b@A@Cc`@@&take_Oc`@3@A@@@&double@'޺_@A@A(@@'shiftin( @*I@A@q@@+of_succ_natq@$@A@Aw@@&modulowɑ@)1@A@K@@&of_intK@)j,I@A@K@@&of_natK@)j2_@A@ABCDEH@,@'Exists2H&@uF@A@I@@&shiftlI@*O@A@AO@@&shiftrO@*O@A@,@@&square,@*ow@A@AZ@@&to_intZ@*81@A@`@@&to_nat`@*9G@A@A@Q@'Forall2K@?j@A@e@@+testbit_nateđ@+@A@ABCD'@\@+Forall2_ind'V@ ~@A@"@c@'to_list"ӑ]@O*@A@+{@!@'sqrtrem+{ё@,J@A@AB@n@0shiftrepeat_last+@@A@5z@-@'testbit5z$@-T|@A@A @2@'to_uint ͑)@.@A@ @9@+succ_double 0@.^4@A@A!lK@@)const_nth!lKC@@A@BCDEFG!K@@+fold_right2!K@x @A@#@1@'compare#ݑ(@ )Q@A@A$@@8fold_left_right_assoc_eq$V@3@A@%t2@=@(size_nat%t24@ @A@A%9@B@+of_uint_acc%99@ ΋@A@%V@H@+double_mask%V?@ S@A@%%@N@'div2_up%%E@ "@A@ABCD%R@@)take_idem%Rs@-W@A@'ş@Z@'Ndouble'şQ@ @A@A(K|@@*eqb_nat_eq(K|@w@A@BE(b0@d@*shiftl_nat(b0[@9-@A@(nՖ@l@*shiftr_nat(nՖc@'@A@(@r@0succ_double_mask(i@@A@*W$@x@,compare_cont*W$o@!@A@ABC*@@(cons_inj*@!@A@*A@@(shiftout*A@@A@.0@@.sub_mask_carry.0@΂@A@ABD.@@!t.@ ;@A@.먩@@#add.먩@ `@A@A.U@@#div.U@ @A@.B@@#eqb.B@ @A@A. @@#gcd. @ @A@.=@@#leb.=@ @A@ABCEFH. @@#lor. @ @A@.Z@ @#ltb.Z@ @A@A.p@@#max.p@ '@A@B.@@#min. @ @A@.@@#mul.@ @A@AC.g@@#odd.g@ @A@.&@%@#one.&@ @A@A.뾴@*@#pow.뾴!@ k@A@.L@0@#sub.L'@ @A@.@6@#two.-@ @A@ABCD.,a@;@$div2.,a2@ @A@.Xz@C@$even.Xz:@ ?1@A@A.@H@$iter.ؑ?@ @A@B. @M@$land. D@ @A@. @S@$log2. J@ @A@ACE.@X@$lxor.O@ R@A@.y@`@$pred.yW@ `<@A@A.Ʉ@e@$sqrt.Ʉ\@ ;@A@.@l@$succ.c@ @A@.t @r@$zero.t i@ Z@A@AB/@w@.to_little_uint/n@ @A@CD/@|@%ldiff/s@ H@A@00@T@'compare00K@?H{@A@2kF@Z@(size_nat2kFQ@{@A@AB3s&@@*eq_nth_iff3s&d@*@A@3@@(tail_add3@^q@A@AC3@@(tail_mul3@^@A@5Z@q@*shiftl_nat5Zh@y/@A@5f}@w@*shiftr_nat5f}n@4@A@AB5a@a@'iter_op5aX@ @A@CD6w~@@'of_uint6w~@^5@A@6W @@)fold_left6W @*Za@A@A8V@@.nth_order_last8V@/71@A@:El@@/rev_append_tail:El@.G@A@:x@~@,Nsucc_double:xu@ ʭ@A@ABCEFG@w@&divmod>n@C@A@>@~@&double>u@NĴ@A@>@@+shiftrepeat>@2Y@A@AB?;@@&modulo?;@"i@A@CFGHIJ@*Arith_base%Arith#Coq@0Ĕ}CS&Basics'Program#Coq@0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C0&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 $Bool@0,rO3^~*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1+Compare_dec%Arith#Coq@0jXF 800.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ް؅/׸-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh."Le%Arith#Coq@0d}Omq+40\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏%Minus%Arith#Coq@0LFtR")Morphisms'Classes#Coq@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.-@0eʤģPSR蠠$Nnat&NArith#Coq@0$W;s #%M)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%0 jha|ؠ(PeanoNat%Arith#Coq@0O~2$k[#lZ)Peano_dec%Arith#Coq@0Kݢ*k$Plus%Arith#Coq@04tmGihg@0,?pr.gZ'Prelude$Init#Coq@0JqTttֱ0Gz rA6ՠ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0-SetoidTactics'Classes#Coq@0S_`nOU$ 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_nat%Arith#Coq@0UJX AJhOA"_39.z"<-"_49.z"->$Pxor9D{(@@B$Nxor9D{(@@ $Pbit9D{(@@$Nbit9D{(@@'Nxor_eq9D{(@@@'lxor_eq G$)Nxor_comm9D{(@@@)lxor_commc/*Nxor_assoc9D{(@@@*lxor_assoc,}>:1Nxor_neutral_left9D{(@@@(lxor_0_l&E2Nxor_neutral_right9D{(@@@(lxor_0_r&P.Nxor_nilpotent9D{(@@$@.lxor_nilpotent- [2 Q@@A@"_7@#@A@@@@@@@@"_82M접"_9'`o@B.positive_scope)nat_scope@@*2 Q@@A@#_10@5ש@A@@@@-@#_112M접 #_12'`o@B'N_scope+@E@2 Q@@A@#_13@!<}@A@@@@W@#_142M접 #_15'`o@BU,@0@2 Q@@A@#_16@e%@A@@@@@#_172M접 #_18'`o@BSU@VY@ 2 Q@@A@#_19A@8H@A@@@@@#_202M접 #_21'`o@B|@#@2 Q@@A@#_22j@'hr@A@@@@@#_232M접 #_24'`o@B@ @2 Q@@A@#_25@9'S@A@@@@@#_262M접 #_27'`o@BΠ@Ѡ@2 Q@@A@#_28@;T@A@@@@$@#_292M접 #_30'`o@B!@;@2 Q@@A@#_31@8@A@@@@M@#_322M접 #_33'`o@B "@#&@ܠ2 Q@@A@#_34@;+@A@@@@v@#_352M접 #_36'`o@BIs@ @ޠ2 Q@@A@#_377@j:@A@@@@@#_382M접 #_39'`o@Cr@w@2 Q@@A@#_40e@#@A@@@@@#_412M접 #_42'`o@Dʠ̠@@ݠࠐ@2 Q@@A@#_43@M@A@@@@@#_442M접 #_45'`o@DҠ@@ؠȠˠ@2 Q@@A@#_46@:<@A@@@@1@#_472M접 #_48'`o@A/@@2 Q@@A@#_49@:<@A@@@@U@#_502M접 #_51'`o@BSR@@2 Q@@A@#_52@:<@A@@@@~@#_532M접 #_54'`o@B|{@!@_2 Q@@A@#_55?@j֢y@A@@@@@#_562M접 #_57'`o@C@|pR@I2 Q@@A@#_58m@T@A@@@@@#_592M접 #_60'`o@CӠՠ@z}&@;2 Q@@A@#_61@FG@A@@@@@#_622M접 #_63'`o@C֠ؠ@T@02 Q@@A@#_64@;3o@A@@@@1@#_652M접 #_66'`o@C/10@֠٠K@2 Q@@A@#_67@" 囓@A@@@@_@#_682M접 #_69'`o@C24^@x{@ 2 Q@@A@#_70%@&}@A@@@@@#_712M접 #_72'`o@C@25@2 Q@@A@#_73S@ <7@A@@@@@#_742M접 #_75'`o@C@Ԡנ @2 Q@@A@#_76@K@A@@@@@#_772M접 #_78'`o@C砐預@:@2 Q@@A@#_79@81S@A@@@@@#_802M접 #_81'`o@Cꠐ점@03h@נ2 Q@@@@#_82H-C@#_832M접 @#_84'`o@B.function_scope@AA@2 Q@@J@#_85@'vYSi@#_862M접 @#_87'`o@@@@#_8846@@@@#_89X@3typeclass_instances@@@@@@!@@@@A@@C@7Coq.NArith.Ndigits#<>#1]@2 Q@@A@#_92Q@@A@@@@@#_932M접 #_94'`o@A@Z@2 Q@@A@#_95u@/u@A@@@@@#_962M접 #_97'`o@C۠ݠ@@@2 Q@@A@#_98@gK@A@@@@ @#_992M접 $_100'`o@Cݠߠ@@᠐䠐/@2 Q@@A@$_101@"@A@@@@7@$_1022M접 $_103'`o@B  @ @%Nbit09D{(@@Bà2 Q@@@@$_1050f@$_1062M접 #$_107'`o@A7@@2 Q@@@@$_108P@$_1092M접 C$_110'`o@AW@@2 Q@@A@$_111 @@x@A@@@@@$_1122M접 $_113'`o@A{@@2 Q@@A@$_114 d@ Dqk@A@@@@@$_1152M접 $_116'`o@A@#@2 Q@@A@$_117 @0gu@A@@@@@$_1182M접 $_119'`o@A@G@2 Q@@A@$_120 @@A@@@@@$_1212M접 $_122'`o@B@@l@2 Q@@A@$_123 @,+@A@@@@<@$_1242M접 $_125'`o@B@@@2 Q@@A@$_126 @@A@@@@d@$_1272M접 $_128'`o@B7a@@2 Q@@A@$_129!%@,6d@A@@@@@$_1302M접 $_131'`o@B`b@栐@2 Q@@A@$_132!N@,6@A@@@@@$_1332M접 $_134'`o@B@@2 Q@@A@$_135!w@9'd@A@@@@@$_1362M접 $_137'`o@C@@9<!k@2 Q@@A@$_138!@!@A@@@@ @$_1392M접 $_140'`o@Cߠ@@fi!@2 Q@@A@$_141!@!@A@@@@9@$_1422M접 $_143'`o@D ;@@!@x2 Q@@A@$_144"@-6@A@@@@k@$_1452M접 $_146'`o@D>@m@@Ǡʠ!@r2 Q@@E@$_147"5@} '2@$_1482M접 CC@A$_149'`o@Cnp@@2 Q@@@@$_150]@$_1512M접 BA@A$_152'`o@B@"@2 Q@@A@$_153"@*EG@A@@@@@$_1542M접 $_155'`o@D Ġ@@@"" "|"@2 Q@@A@$_156"@@A@@@@ @$_1572M접 $_158'`o@D@@@"9"<""@2 Q@@A@$_159"@H3u@A@@@@Q@$_1602M접 $_161'`o@A$@@2 Q@@A@$_162# @ Aw@A@@@@u@$_1632M접 $_164'`o@BHJ@""@2 Q@@A@$_165#6@Ax@A@@@@@$_1662M접 $_167'`o@Bqs@""@2 Q@@A@$_168#_@Ay@A@@@@@$_1692M접 $_170'`o@B@"ޠ"@2 Q@@A@$_171#@Az@A@@@@@$_1722M접 $_173'`o@Bà@## @2 Q@@A@$_174#@&"@A@@@@ @$_1752M접 $_176'`o@A@p@2 Q@@A@$_177#@(nӀ@A@@@@ =@$_1782M접 $_179'`o@B @@#@ 2 Q@@A@$_180#@nӁ@A@@@@ e@$_1812M접 $_182'`o@B 8@@#@2 Q@@A@$_183$%@b(@A@@@@ @$_1842M접 $_185'`o@E ` b d@@@ꠐ𠐒$$"@2 Q@@A@$_186$[@b@A@@@@ @$_1872M접 $_188'`o@B  @@%Nsize9D{(@@d O2 Q@@E@$_189$@:1 @$_1902M접 AA@A$_191'`o@A @!6@2 Q@@@@$_192R @$_1932M접 AA@A$_194'`o@A @j@2 Q@@E@$_195s 5@$_1962M접 BB@A$_197'`o@B /@@#%@"2 Q@@A@$_198$@-@A@@@@ \@$_1992M접 $_200'`o@A /@@%2 Q@@A@$_201%@0q @A@@@@ @$_2022M접 $_203'`o@B {@@?q@2 Q@@A@$_204%@@)l&@A@@@@ @$_2052M접 $_206'`o@B @@8@2 Q@@E@$_207m' @$_2082M접 AA@A$_209'`o@B Ƞ @$%)@2 Q@@A@$_210%@>r @A@@@@ @$_2112M접 $_212'`o@A @M@2 Q@@A@$_213%@|@A@@@@ @$_2142M접 $_215'`o@B  @s$u@t2 Q@@A@$_216%@\@A@@@@ C@$_2172M접 $_218'`o@B >@@4@v2 Q@@A@$_219&@*@A@@@@ k@$_2202M접 $_221'`o@B f@@\@$Bnth9D{(@@O#@@v2 Q@@A@$_222&7@0^zj@A@@@@ @$_2232M접 $_224'`o@D @ @@a#j#Z@k2 Q@@A@$_225&h@v1@A@@@@ @$_2262M접 $_227'`o@C  ͠@@%蠐#ޠ#@r2 Q@@A@$_228&@}H@A@@@@ @$_2292M접 $_230'`o@C Р @@&#Ġ#@k2 Q@@A@$_231&@v* -y@A@@@@ *@$_2322M접 $_233'`o@C %@@@ꠐ@Y2 Q@@A@$_234&@d@A@@@@ V@$_2352M접 $_236'`o@C Q@@@HK@@@4')BinPosDef @8g$B&BinNat&NArithI!N@&of_natK)BinNatDef @)j2_A(@+testbit_natnTq!@6n ge"IHS"n0SS@@A@A@@@@D][PGAyAD5!$$_AXYACf]WCH{A9 u@&eq_ind Jrl&Z!bwysEv@&pred_N!,o@4s)~@+of_succ_natqw@$퀐s_Ȑ!H%lemmah#Nat@$pred `<Bw)Morphisms'Classes@>trans_sym_co_inv_impl_morphism'\|𛠠@7@/RelationClasses@/Equivalence_PER/;  @.eq_equivalence()'J<4,A)@0reflexive_properm+%1@*respectful%WO?,):@:reflexive_eq_dom_reflexive=[50.@,eq_ReflexiveaN35!%Peano@'pred_Sn, &@ȩ@(eq_ind_r!2#L@c @d?U瀐eUW٩Y (PeanoNat%Arith9y@x.y|w$Nnat%Nat2N@(inj_pred!?+s ԠW4Y8]F"H0>쩚C@(eq_trans!y@1HȀŀ /`@'f_equal=v^^!f58'$m'@AA?!BDC{rl+rF-׷@><}wB6iUXX4BC1/c/*Cka_CwzzVC K KƵ*C!a  @@A@A@@@@D۩аǩ@5z@-T|ŀ@e@+ש +A  'Ndigits@-Ptestbit_Pbit#ᡀ;թԐ@&to_nat`@*9G˷ͩOѷP  %N2Nat@"id#*!4[fY/h0i#M T6oˠ YIRPE@-Pbit_Ptestbit<}q|DB٠@$div2 hx @>À@*shiftr_nat5f}@4YW)@&double"@'޺_1@*shiftl_nat5Z*@y/΀pc$lB@&shiftrO;@*Oa6OCsQQCu6U~Y~@&eq_sym X̩u@$iter=(Tn@#QT"VM$@"w@5L _$Pnat'Pos2Nat@(inj_iter Sjh6Cc:BuEB<szʩd @yb@1Nshiftr_nat_equiv9'S"a0ذ @&shiftlI@*O*,.6 C8C:}l@'nat_indJL@(nat_rectb@T*+"CX 00 ~_5'`b9/;Cg?M?C#kϠCCC'oӠGPIiQuh>w1yݠ;[ݠC>C@˩i bTj[Nw0}"I@-iter_swap_genK? -_us3Zة25Cj9Cn=̩?̐$Ʒ©|F(yIʩ.x'1ée@1Nshiftl_nat_equiv8k׷!m [EzfƠG@#add `o2rՠnXB9TH@(plus_n_O0G؀ɷ#IHn,,͵MЩ']թʰy^6.lbϩXr4_ԩ߰x,(RL]ѩK9c#G^zoC+.$^"p0//@AA@AA@@@@@@@D:8W"ACI~# JN~PNm8-$Wנ,C90cggeOD;n0CLCv ̩z ,aVM$rC]T(   pDr@)plus_Sn_m͹݀Π8hz@)plus_n_Smw;Cvm9tDFǷ@@"le UxT@N<o@#sub x01h~͠Q#:=Ѡ%sMA@'sub_0_rv ·3#ķ"3uʶ(9°젩pxX{67HbJA@B@B@@@@@@D@V@s٩ J?w{W.Ȑ"H1Q!e  A̠@%Falsee@@ @$Truey@A@)False_induُ:(A(,K,#033+#G/&YݠMKʩa@>Kѩ@7j~թlWݷXǠ([@&le_S_n114 Ѡ 6R DdWbYu2% _p||@<tkqDWC{r1^HJŶ@kPhLmCHo޶@iiˠp͠NԠ`נtyַ@ࠩR_wĠ_"n'ЩCư|Щз:۶@2Ѱȩ-<2zޠHCܰө %O@tݩs.\C-ܩdC&*o ΐDOx@@"lt Uxco # dI*(@d@?I͠(3% "m0:v:</>90cW@@7PN7P7ةH{ZMDw `^E.VM $::ȩQm hߩY vv@]6neܩpg<@iZyp@v't]"Ltp@<_S_n`lVX7O-#з߶۩ Ǡ" imɷѠqstUs@-Nshiftl_nat_S'hr{٩X޷ǩ^4@j(b0@k9-֩٩ΰ(@iKCٰ!3  pr$n,>Ʒ13Eemש;QCBT,+* ,C(&L^Hvy535RܩtVXA?A^WCEC Ebf 4#IHmSQ 0_vxz<ϩ=l !mV ɐ  ^ҩ@~~~%(ש ٩01Ci5͠g7i9"p'ok@$lxor=(_d@#Q\}^y{N@$xorbȀTU'nĠA.ɩd& Lm@-pos_lxor_spec'@sm֠4x@-Ntestbit_Nbitש"a'ȩG@E S@F>HȰDVVé=Pũаǩ<OaaZϩڰ V ;@)lxor_speceڀ: 526ک(9yyࠩ@#lor=L@#F̀շ{ũ@#orbwtr:q p@,pos_lor_specoqImlSkߠ'2Ydee-+P@1 "@23m$ +"0c%b&1(ae9a.g/:1 ?`@(lor_spec &*k^]k! nlmXVB{>@$land=(7@#Q̀P1LWN!d@$andb=өVзWbYͩ_Y`kb ̩I@-pos_land_spec4Mw;ǩ'>s[@1 3"S@2>ma|~Q0 9÷ ?t@)land_spect`*Ǡ!iȷ1ɷ1נ@%ldiff=U@$'R3}\*@$negb0H/A-mRK˰ t,@.pos_ldiff_specX+*)-("##hթ@7 *@8÷iީ@6yy#r"^& )| "1@*ldiff_spec62<[.!R .&ЩX 1 / "з 4 2 @#notШ.@#eqf:螀@ * E C#IHp  . ! !@@@@@@@@D (1(/"0 2C( _ ],' "  P NC41 , B";HC>  w u hз z x y@A = Z  8  = #p'0 U  @N - K h   G 3 ֩X  7  <8  R4 v  T> z B 8  * +' ( K . . %+ 0$   2 . O P s% R WS   X) $h ZK &a   E) b  dU5@/Pbit_faithful_0 Md@@D@   t  зYP   Զ@ {,  ۩._  F ޷ $ N I    T    Yé ʰ B\ c Y  7F^\Z LMv XNNwx  P    DƠ   j ש Z u!,ߩϠ  0;  ݷ  @֠ѩ  C  }  [ݠ ^ 5@(symmetry0xj@  穚 =@5Equivalence_Symmetric. U@)eqf_equiv'vY ҩn  i@   6f ۀ 7 }ܩ  b  Aq   ة à Fv 됑 3 l_ 5 nf o@T U  . v   o xk A z@_  8 V   &P b * j NI/Hn" 1>F@H M k  v t  a @?$, Y b 7 # Y@[ ` ~ *  ̩N$ +@-Pbit_faithful/u  J 6 n   L 6 r    0  ~ @     Dө թ    F ' H I  ɷ ʩ @#andЖw@Ad@   l Xz (g@-Nbit_faithfulgK Y     x  r  @+reflexivity(ϓ/ @5Equivalence_Reflexive  T  @    q   Է  s      y b N K  P     -  ^      3  M    8  @ 𐑷    (  Ƞ c 4 $    n  >   &     2   . ~   9   5  _ 9  @-Nbit0_correctx  2( @.Nxor_semanticsG   `/   C        թZ   z q f ۩  ݩ       / F q    m    ԩ  ֩  v &  V       /  3 1  5          ܩ   .@-Ndiv2_correct : /U   u G b  < LeD6 `F8 C TV VW n yz z  5 ,h ԩ  .   1 < 3    6   8 C :  H > J @ŠǠ P F   G R IΠ  W M  OԠ ȩ$Bool ~@,xorb_false_r=ݒ\ @.xorb_nilpotent`ũǩ@2xorb_assoc_reverse!\%6 @)Nxor_bit0,6d̀ w  E"@+xorb_true_l0M  ͷ η   1 @)Nneg_bit09'd & n  :  ۩   4 9 _        ҩ H 5  r E k     ˷   ة 5 'q  0    zt w !  V ! ? Q 9   5  M   e I  = j   İ @    D V éHJ S ȩ Ӱ     C X ͩ ذ ϩT      Z N@,xorb_false_l=ݒV-e/#}11;0z0  ^   1 <= = `  Q f   T Ȑ!s @%discr &Specif @%sumor$|@ @#sig#* @ < ? =  b[ t  dJ :BAAAA@@@@@D)! N Q O , tm    0 xq N 2 ) L@%Nless;0Q   >*BBB@@@@DG4 j m k H  O   L C   v t"H2  V   e  X O !x  S & ˷   x@)Nless_aux ' J /  \   k  R  ǩ o f V O  O  $ v   z p   q | s%S   x   y  {-ѐ  R ' ,֐ o    2  2  cީ ư B 6 g 6Ȑ"H3 W  ; ʩ Ѱ ȩsO/ s  װ       J _ ԩ ߰ ֩Y    b 1 s \ C  ݩ   =   C     7 Z _   ? a  DS ©tH @   l      # t  t Ω  x x *N   IEC  o  ݐ S ^_ _  #   蠷$&ߩ$  MKᵩ + r : s-$  $WUȩ3* \Zµ :0 ط 1<3  ?5  6A8꠩    J CG> om U V W E  hPG̠   ^ L MXOԠ $ $  t\Sؠ    X8 Q + ^ Ne\ / j` alc ک oe 0  6 sCpg ;:Cri  ~E$%y&owB @zq - v*I  G%! } m{r N  ϵ    ө 5X 2((\  Ӡ^^q@.lxor_nilpotent- eCj     ۷  s * ujr   |  ~ {V ۩Z ߷  ul   ʰl & rǩr bw̩w L{Щ{   0Cݰ  4 L O # P &  U   C  x ; .= 2@'Ndouble'ş@ ʠ n(& ]; _S AѠ v0.ՠ |"p14 C  PWW  A? А' r YƩ`  IGİ- C&  hs f<uvv0'IJ}} pF90R Sdb yOB9[\CJA d + wunCTK" h N{hg j]T f ͷ ͩ /_/ZCg^ & Ơ ڷS#:RCri@ L  @*Nbit0_less*EG  @,Ndouble_bit0 Dqk𩚠 @5Ndouble_plus_one_bit00guU շ֩ @(Nbit0_gtc {b ⩚@%N_ind@ rp ̵  Uxз֩!ٷ%۷'  ש@(lxor_0_r& C 0 @ʰiϰe );Ӱr`" u ө@)False_recu唀Π* < N.A6  H .9W1<@GeAdHj $"hHn L ".,r  0.u ۠- }֩ 2 \  <:9 C ?   !do@*binary_ind)-bзlwxx#a''{@6-3ֶ@:1 `ڷ @7 =@I@iMD+m堷$HeqnULXO +^U, =}y@)N0_less_2nӁg^50c:6fqh;;ߩ@'Nless_z&"yp s lF y iHC@x44z:"(}9Ϸ#IHa[ӷ[Է]E<p1Y_l޶gO f;cm j?pXmDv^<Jr+9}eAD A= ;  o  [ $_tmp*+ð HdȰ~bj6Xũ?b {@+Nless_def_1Awڰ y%ש8۩  {I_I| z  ᠩƠ WƷE%IHa''#ǩѠj ̩֠Y@ԩؠ:ߠ@ o ߩ㠩ːFGc?;@+Nless_def_3Ay  qql-$~η2)Kԩ;2 Tݩ@7! F=_gClݐ \ N >UL#qu!'! \S*u &Y0{ k/ө@+Nless_def_4Az q x j Zqh?\=C=<xoFHY I F%ZFŷO ǷOȷzQ=c$LR_ ѶZ*X-U_ \3e;8`'k/2~/+ )  u ~ It #} 4Px?&I%RA ?   _  9-Ű(fΰũo[ Y Щ װΩy#~g e ܩ ̠ک/sv @+Nless_def_2Ax bȠ^ũˠ ZҠ3 b ֠%ͩՐKV@*binary_rec)-nзS^ __@'sumbool7̂K@#|©% oo"@.%*4+Tթ8V$Heqbt9A(E<G>0A YKB:Xu Zx$n8C@^UZG$,\Q Zз gTqh?=ulCAyC Qt@wNL~k;VR-Rwb5SB ZAdR-E3C@  .MS) H@(eq_rec_r!%08?Rðdǰ*LƠаǩhqc ש}@Рڰ y=ܰ$XڠǠ۩|0~䠩Ѡ>[eķ HE;Fw蠩   S a UU  l a˰#k66Ǡm8* :U= Xp tto©3*Hԩ7.Lة;N  |* 3з @-JANER ;XO&&x\S*|*`,~Ȱ tPh_68  iVsj r_|sJevMKF HM' ̷AInYP,]T0V t` ߷T0ooEBGq*ϩũMi{өwЩa2`7qð g  Ұ@$Bv2N:(@(size_nat2kF@{@$N2Bv: C2u v з<"RSR  E· FH HCKԩ1@,%t2@- w%@$P2Bv:}C[A<ک6?= 'd,egLC"jvC$lRMةGC+sYTΩNA?"bv'Bvector@!n炀)VectorDef'Vectorsb@%t_indx렵 @(5@,B@@@@@D!y,@8/@L  R@HU(@KX)+')'CRUb(5 @[h;@3-W@cZ-@ .勺/fV56@)-C=}@s=@+>?6~Gt@|o_I|J@Z 1C dCBY"A3Ơzz u#Eϐ ?u ÐܠFd \q% _°àưfɰL!7Π,Ѱ޵@'and_ind14ۀж@ܰ@߰$é; @ i@ЩH @թM"e @+f_equal_nat!-aC dy󐩚"@(eq_add_S10Y16C&Cb!.~>IG$h'41Vж@g-:T 5@1>XlJ3p6C3oE@D @G@M=@IVF\MV֩P]w  ۩ULMTfT`&8C\i,AER%4Ck4Ckn{+twA}G @@ <Sen}'6^  F"+bddCߩķ }yCߩC!VL֐ߠ  ީ@(N2Bv_gen 2!k^@$Bnil%KCѰзܰ"<   A[@%Bcons  :@Y А(Cܐ W?= ?5-3/5(&;39Ƞ*A0C*'"p굩ՠFC961 CA MLOY!kZOz4m@&appendA@ mU (~˩*@+Bvect_false/ {0/u"ywl77Cs ,EԩtGC"C8PSˠ5W.зH`c۠`Eg>÷ V vp AtyVxOTi"\u$^@,ϩưө( @ z̰0-~xgө4@Ʃ%?  ҩ f@NZ I! ǐ@Z O%+.% C ՐdghejeCߐx`[ceFD/vr*!rnp;l gYQ,WRS.YOH_>W2]ߠL8e\W     CA7R<CSHGy|HF~ a`[ǩl=an?? .%tkxpp nvg"'k/m[AAAACxDsFC2JHMŠ-/~LQK(QC=U]XРU:a\p4dbZhPh ~IjD٩XAJv^Hj:O~\ ^P @4.aR=h{ }%B<DoթqשOXͶuٰ&rܰ%$r K"]]M尩(~t786(5 1 `[:éHrCͷЩp?ҵة)CCܩ/ #!X!ˠD ];絩 q@1ϩC) "8zJ%;p=NC2Onr}~ /2_04aec7EGjh<J>e@pgsOnIYec$ bZ_S^zU],\Z0\Cg4`b{y;XVRkPCvVoMqL#DC|JIHv(IVy!PȠPMŷb!k J ͠_Q_ 8~۠ ?Rɩjj$Q4%$x&# j OzUT}/C k4#E6574 1/f 4@CȰ ECh̰de[Ѱ  iQhͷ"|9P`b|C* @%caseSHl@D թG BbV,e <>ͩN(' G"EeUrhΩ2)+ݩ̩`  0;24 [6  Yyi{{  CE<>e@c.#s %CNEG%nIl7,KxVM6.Q\SU }X++h)yjנ/Cg^`5b 5 8Cpg$i>k>Cxo,qsa.vZTdi6}C|9~QTgSǷֶ@ ?%[C@!з@"ŷrc'nxjQ|#!2pLɷ@8S@Űd3ɰ\Ͱ`٩Ztcͩ?թŠV5[;@L]<aĩb@'gt_S_le3pr,C@j d;\!eW  iSDqQqᠷoNu%C-@0ԩ 6 |7{ݩη%#\.O0.@`젷&348 0([99; .sW^DCbH@@7Z R~TmS:KBשDtn-x^Ehfd@@[h9o]TȩVsr)'cpw+gta{swwoZ~4gW67z4z| 8 o_;@wn+-r-E׶@~w 35zaN)зY^Ef>r^ QfÐ :ʠ<X͐ssB SCEޠ RI@#nthx{@;{)j""#Fin@)of_nat_lt%C\-C4̰2aܵ<Š,~RCC̠3?ݰԩ= );9"=CN  B@-_X  PB֩ ! ǠkTqCl0R *LCx   "ܷ: DC p(D&Hf$"_L&C # +)QM375-$G&   &C) :1dϩ5    C C: <  mS<+䩚9@'nlt_0_r4Ao1ϰ3R@TYPǩР@ "Y@@ABAB@@@@@@@D"m'w9@whOh p"v't !u~(Jm} @ .5]%YmZC f?é l kڰ neC  R s rjj@%rect2f1 g@[&RC@^ CB <[#qoM*$R 5 2#CS)}{Y\XGnʩb4m.f< ` 8"!@<ީvSE|ĩ~d#|Cg~UMC[ƠL]̠絩ة ַکz Ƶ< CR5iC;2VM` ?O{axm L\=&ݷ° j[CŰ mCǰ \l 5  Cа&>>} Cy۰# pumaJl+,.D1C3|C56.[[h<d=?@,Nsucc_double:x@ ʭiI gCLjCO,H]u߷ U L7O+ڠtZN$]` SZ堷fZ0i$l _fmC,t gnWUfC4|u^\$uKݩ? z٩ ѵeCH$.Cpõ[COd[X. ՠR'G]rCf< <341CnD ,ݷ(%Cv#7féƶW )àBNC#ʠoCѠPKV b ` >P+| R F t L" XeҠ 0  XLC \2 huk޷] Щ h"ݵ u! C qG }*<+ # 6© Ŷ V *% M BΩ· Ѷ b ! z XuC i (o   kC p /h   · b [۷  _ { :%Y( q SC  A,P/ Է J UGC  K6E9 $ b <    Qf@  }#    /٩ ǰ  \qөK  6      ;ǩ Ӱ  h V  AC ڰ " o]!! HC  ) vd O! !  O  ."  1 T  4 %o  ZC  ; ,v! aGC  B 3} h  _ E9! H k! K  Р r   QE! T w! W   ۠ }(C! ^ !@!> /C! e  !G!E    j^!4 m !( p %ܩ  ֵAC!/ w ,ө*!W ͵C!6 ~  3ũ   f     C!L!Jж@~!8 !9!D  rC!X!Vܶ@!E !F d(P6PuZ