"`""h=/MSetToFiniteSet%MSets#Coq@()Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/rk0JqTttֱ)Ensembles$Sets#Coq@00qGL;rߌߠ1Constructive_sets$Sets#Coq@05<s+ħU栠+Finite_sets$Sets#Coq@0d]h :$m}$Bool#Coq@0j 2cZ`FW&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI+Relations_1$Sets#Coq@0k<⪚(тc1&Sorted'Sorting#Coq@0bb1z٠*SetoidList%Lists#Coq@0k窪ܸqS-RelationPairs'Classes#Coq@0CjN-MSetInterface%MSets#Coq@0x* .>S-DecidableType*Structures#Coq@0kO!Z7++OrderedType*Structures#Coq@0#73t1E iW'BinNums'Numbers#Coq@0dmk(5Ju<*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼)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'ZAxioms(Abstract'Integer'Numbers#Coq@0\}zK=PK%ZBase(Abstract'Integer'Numbers#Coq@0 TL}2_} ؠ$ZAdd(Abstract'Integer'Numbers#Coq@0Y9Vgⲫ򐠠$ZMul(Abstract'Integer'Numbers#Coq@0Mtr\b"H#ZLt(Abstract'Integer'Numbers#Coq@0xK|j2[&=}۠)ZAddOrder(Abstract'Integer'Numbers#Coq@0w:}H#NK}{)ZMulOrder(Abstract'Integer'Numbers#Coq@0Dr~-~ECM'ZMaxMin(Abstract'Integer'Numbers#Coq@0bAX1'ZSgnAbs(Abstract'Integer'Numbers#Coq@02`ou{Z'ZParity(Abstract'Integer'Numbers#Coq@0S)*Dd$ZPow(Abstract'Integer'Numbers#Coq@0AşsאI)ZDivTrunc(Abstract'Integer'Numbers#Coq@0`]f5FԠ)ZDivFloor(Abstract'Integer'Numbers#Coq@0dj_TYQc|$ZGcd(Abstract'Integer'Numbers#Coq@0G0=$ZLcm(Abstract'Integer'Numbers#Coq@0(9g%MmN]%ZBits(Abstract'Integer'Numbers#Coq@0ܹCF5s+ZProperties(Abstract'Integer'Numbers#Coq@0Ve*ʞ_OV)BinIntDef&ZArith#Coq@0ådR4Tuy&BinInt&ZArith#Coq@0BpHޞun^$Mult%Arith#Coq@0햖Qyb0(Zcompare&ZArith#Coq@0'ҤjI=D'Between%Arith#Coq@06v*0ur`C0)Peano_dec%Arith#Coq@0Kݢ*k+Compare_dec%Arith#Coq@0jXF 8)Factorial%Arith#Coq@0@oehJd%EqNat%Arith#Coq@0AIgՋXRV &Wf_nat%Arith#Coq@0UJX AJhO*Arith_base%Arith#Coq@0Ĕ}CS&Zorder&ZArith#Coq@0fVk.BG)%Zeven&ZArith#Coq@0i?eK#aU堠#Min%Arith#Coq@0Ce-Fѕ(PreOmega%omega#Coq@0\|چBb~w4%Omega%omega#Coq@0t.J'6\ϨrK,Zcomplements&ZArith#Coq@03 ٠*VectorSpec'Vectors#Coq@0GyK5%l6L(VectorEq'Vectors#Coq@0#'`ԶlxjT&Vector'Vectors#Coq@0_ċ|"Ʌhz'Bvector$Bool#Coq@0,rO3^~'Ndigits&NArith#Coq@04/EqualitiesFacts*Structures#Coq@0)n,:5-|!N@Ƞ+OrdersLists*Structures#Coq@0 X@u#ɠ)MSetFacts%MSets#Coq@0ss|BEo_vWLH*MSetDecide%MSets#Coq@0 agB;XRs:ߠ.MSetProperties%MSets#Coq@0C!̢2X<l ~N,POrderedType&PArith#Coq@0)Cv (OrdersEx*Structures#Coq@0'4|a|{s9e@]DW;]'SqNu NР/MSetToFiniteSet%MSets#Coq@A0WS_to_Finite_setA@!U@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @%Logic$Init@ @@8IHG@@!tO @!xA@=O @F@BO A867 k[!TG@R<D3L@*Equalities*Structures#Coq@2UsualDecidableTypeh@@@A@@_^]@'UsualEq@@@A@@@[$  @@/@@{/J@@A@A@A@*HasUsualEq @A@@@@}A1DH%Logic$Init#Coq@@A@@x(eq_equiv @/RelationClasses'Classes@.eq_equivalence()'󀐚\!E@5󴀠Q@@\C?@@U;@C@U;7@A@A@A@M)UsualIsEqIH@A@@/RelationClasses'Classes#Coq@@+Equivalence~@@O @O4DBL3+@@@A݋X_A/RelationClasses'Classes#Coq@@A@@Ԡ&eq_dec @@!x@O !y@O &Specif@'sumbool7̂K@鰚@O BA@#notШ"@O @@@@@ @ʠ@@@@O @-@)O @A@A@A!MC@#elt @B@!tO @ %'A*Equalities*Structures#Coq@@@B!E-MSetInterface%MSets#Coq@@@@-MSetInterface%MSets#Coq@'WSetsOn6@A@@@-@@O B@O@2@"eqO^O@A@AB@A@@@@@AA@@A@; @@/C/.-@@@@@/@ @A@A@@@%empty @@d@VF@@@@@#(is_empty @@@r@dF)Datatypes$Init(@$boolZ'@@@@@@<#mem @@@@@@F@@@@@O#add @@@@@@F@F@@@@@f)singleton @@@@󀚠@F@@@@@x&remove @@@@@@F@F@@@@@%union @@@@F@@F@F@@@@@%inter @@@@F@@F@F@@@@@$diff @@@ @F@@F@F@@@@@Ԡ%equal @@@#@F@(@F@@@@@砠&subset @@@6@(F@;@-Fɐ@@@@@$fold @@!A.hB@@@@S@O@BC@[@MF@D@@.h@@A@A@@@'for_all @@@@n@j@s@eF@@@@@2'exists_ @@@@@~@@yF@@@@@F&filter @@@@@$@@F@F@@@@@^)partition @@@@@<@@FB@$prodt@@F@F@@@-)AxA ϲ6W)Datatypes$Init#Coq@@ A вuX @AB@@(cardinal @@@@Fo@#nat@@@@@@(elements @@@@F@$list]@@@@@>A al<@A@@Ġ&choose @@@@F@&option >v@@@@@\A ůMZ@A@@⠠"In @@@1@-@6@(FA@@@@@)In_compat @@)Morphisms'Classes@&ProperL@E@DO @W@IF!@*respectful%WO?U@TO @g@YF1tm@_F7%Logic@"eq @|@nF @#iffС)@]K瀐@@@:AviA)Morphisms'Classes#Coq@@A @AB@@P%Equal @!s@F"s'@F!a@5@K瀠AC@K瀠B@&@F%@F +k() +7T' 7! 7!7%'@/-t`p @/X!dP@@@@@&Subset @T@FR@FP@@@KM @K瀠JQ@o@Fn@FI +k() +7T' +  7!T'7%'HtAd@@@@@㠠%Empty @3@%F8@4󀩚@#notШD@K@J@<F} `+k+7T' 7!7$'|du@L1%@@@@@'For_all @!P@m@i7Қr@dF!xy@u@@WK$@@@R@F +k() +7T'+  7!T'$'tdsg@@@@@\&Exists @B@@w@FE@"ex @@L@󀩛V@#andЖw@@K|@m@@Q>@FA +k() + 77%'  7!7%'%t:|th͠@@@A1@D%Logic$Init#Coq@@A@@ @@xrڀ@@@F@@ FD@/@@@@@ݠ(eq_equiv @@/RelationClasses'Classes@+Equivalence~@8@!tF=@rڀ@@@/A݋X_A/RelationClasses'Classes#Coq@@A@@AA@@A@&eq_dec @@!xZ@"F!ya@)F&Specif$InitS@'sumbool7̂K@s@rڀ%Logic@#notШ@rڀ@@@@@<(mem_spec @@񚠐@F@+(@節.A@K@@@@@f*equal_spec @@@F@F?OL@ %@3rڀ@@@@@+subset_spec @@7@F5@Faqn@"F@`'@@@@@*empty_spec @@@r@-7@@@@@-is_empty_spec @@k @F@/zbCu@rH@@@@@ؠ(add_spec @@'@F,@(󀶐!y3@/:@K瀠AA@֧8@"or @V@|O T@,K@@@@@+remove_spec @@šb@TF𚠐g@c;l@h񠩚s@KK瀠9y@Yp@XKɩH9I0@@@@@C.singleton_spec @@@f@@vK瀠d@!ɀ$[kR@@@@@e*union_spec @@@F@FG@C@K瀠@ɀ @K@K@@@@@*inter_spec @@F@FD@Fy@u@K瀠@@ƀ2:@KM @KJ@@@@@Ƞ)diff_spec @@w@ Fu@F!@(@K瀠.@+Ycck5@ K~<@K}@@@@@)fold_spec @@J@<F8ޠL@@!i!f@\@X c@#߀D$List%Lists@)fold_leftɀրu@q󀩚&Basics'Program+@$flip$@00J@摀'7@@8@A@A@A@EA%t+@AHAL@JA!t Q @ABMA!uR#@QA1DH.@ %'A*Equalities*StructuresVA&A@ A!s̓P5@ABCD@@l-cardinal_spec @@@FNܩ@ Jr񩚠P@&length䷀@󀩚@摀@@@3A oa@A@@+filter_spec @@D@Fr@@@}@@@O @O  )Datatypes$Init@$boolZ'@ϩ@K瀠@†XU@K瀠g#ck&A@@@AviA@A@@ꠠ,for_all_spec @@9@+F@?@;Ͷ@@:@9O թ@@?O ZPҠߩV@32ZqM[@vQꚠa@]dA@@>@@$+exists_spec @@Ӛs@eF@y@u@9@t@sO *z@yO L @1Y񩚠@$@:F@@t@@Z/partition_spec1 @@ @FU@@=@o@@O E`@O K@,rڀQ@#fst @F@F@3'Ω@PӐ@@@A ӳ2[k@A Գq\o@@ABC@@/partition_spec2 @@S@F@@@@@O @O   ̩ @vrڀ@#snd@ F@F!@}'&@†,@(󀩚@$negbސ@@W@@.elements_spec1 @@A@3FϚF@Bˠ*SetoidList@#InA q9@J@IO  d\@p摀ܩa@9K@@@Ai0A@A@@$/elements_spec2w @@Ӛs@eF+@&NoDupA @r@qO  @摀@@#@@C,choose_spec1 @@򚠐@F @@+@󀩚@TY%A@s@K@@@A ůMB@A@@v,choose_spec2 @@%@F@Y@󀩚@TYB@󀩚@ra@@.@@@۠@@ @"MP &.MSetProperties%MSets#Coq@-WPropertiesOn #Dec*MSetDecide%MSets#Coq@)WDecideOn !F-)MSetFacts%MSets#Coq@(WFactsOn ,#eqb @!x 6!y 9Р&Specif9@'sumbool7̂K@BAAAA@@@@@A!s%LogicP@"eq @ Z @#notШa b@&eq_dec"@E@lB@; o9 pp +k() 7!= R'>G'>H''+k6'Р&Specif$Init#Coq@@D7̂K@BCBAAABAAAP)Datatypes@$boolZ'@@!E)MSetFacts%MSets@9.h@@A!M.MSetProperties%MSets#Coq@ t@A@@@!E  @@O  @O@ @"eqO^ @A@AB@A@ @A@@@A!M*MSetDecide%MSets#Coq@*@@@A@@@!E&@@ K@+@!t KJ@@A@ K@@( K^@@A@AB@A@ Ѡ*@A@@@A!MQPk@.@@@A@@@\ '@@/|@,@!t/|ǠJ@@A@/|C@@"eq/|C^@@A@AB@A@ߠ(@A@@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@$In_1 @ylgZIC9(@A@嚠A 5 .@ +F@#elt@@@"InK瀠ߩE@@@/C-MSetInterface IAviA)Morphisms'Classes N@A@@I%mem_1 @|ra@zA943@,m@@#mem節O@@@@@j%mem_2 @ޠӠƠ@B?ZUT@;#hP@@@@@'equal_1 @۠Π@CYt"s'w@y@%EqualrڀE]@%equal@@@@@'equal_2 @ޠԠ@D'@|ͩg(@@@@@Š(subset_1 @9.!@EA@@&Subset`@&subset?ΐ@@@@@頠(subset_2 @]RE@3"@Fٶeڶ@ 'Y@@@@@*is_empty_1 @wl_ZM<6,@4G@@%Emptyréٰ*@(is_empty/zbp @@@@@'*is_empty_2 @~q`ZP?@XH@H$'@@@@@@%add_1 @ysiX@qI0+*)+@$6@#add֧&@@@ %'A*Equalities*Structures lA݋X_A/RelationClasses$@A@@k%add_2 @ߠԠǠ @J@[VUTV@O-@@@@@%add_3 @۠Π@KYtonmo@K@Eb@@=@@(remove_1 @ՠϠŠ@Lq@nc @&removeY@@^@@(remove_2 @1&@M@@ | )"@@|@@۠(remove_3 @OD72%@ N˶Ŷƶ@ E= @@@@@+singleton_1 @i^QL?.( @&O޶߶@ؠ ^@)singleton!ɀΰ  e ^@@@@+singleton_2 @~ql_NH>-@FP@ v @@@@.'union_1 @xgaWF@_Q@ $@%unionɀ@"or @Ґ@@@@@U'union_2 @ɠ~m@R*EFA@@9 ' @@@@@p'union_3 @٠̠Ǡ@SE`a\[@(@@@@@'inter_1 @ޠѠ@T\wxsr@k 񩚠}@%inter@ƀѐ@@@@@'inter_2 @ߠ٠Ϡ@U{"@:@@@@@'inter_3 @1&@V9@R@R '7~@@@@@٠&diff_1 @MB50# @ WɶUʶĶ@ C@$diffYcN#@@@@@&diff_2 @laTOB1+!@)Xt@@@@@@&diff_3 @zmh[JD:)@BY@@ {9T@@@@@,(filter_1 @ve_UD@]Z!f@O@@&ProperL@YY @*respectful%WO?``bc @' 9@&filter/@@@A"@A@@e(filter_2 @٠Π}@[:UPO97@6@#8 А&f@@@@(filter_3 @ݠؠˠ@\VqlkUS@R@f@g`@CF@@<@@)for_all_1 @ؠҠȠ@]trp@o@@'For_allvQyf {̩@'for_all32Zq@@e@@Ƞ)for_all_2 @<1$@^@@yǩ,@@@@蠠(exists_1 @\QD?2!@_ض@@@&ExistsI@'exists_1Y@@@@ (exists_2 @vidWF@6%@>`޶@ݶ@߰0 (E@@@@(*elements_1 @ra[Q@@Ya@ߩ*SetoidList%ListsK@#InA q9@U (@(elements摀7@@@Ai0A@A@@U*elements_2 @ɠ~m@b*E@?@-w "H@@@@n)In_eq_iff @נʠŠ@cC^YXWY@@?@#iffС)Y@@O@@'mem_iff @֠Š@da|wvD#@@@@@+not_mem_iff @ ܠ̠֠@ex3j]w<]@@@@@)equal_iff @2'@f:N9@@@@@ՠ*subset_iff @I>1,@gŶQƩe@@@@@젠)empty_iff @`UHC6%@hթ{Ϡ U@%empty-7@%Falsee@@@@@@,is_empty_iff @xkfYHB8'@@i @@@@@%-singleton_iff @|o^XN=@Vj 1@@@@<'add_iff @uoeT@mk,'&%'͠!  א@@@@Y+add_neq_iff @͠ q@l.IDCBD@ @@@@r*remove_iff @۠Πɠ@mGb]\[]E@#andЖw@B@@3@@.remove_neq_iff @ܠˠŠ@ng}|{}@Y$֐@@L@@+for_all_iff @ޠԠ@o~|@{< @@`@@à*exists_iff @7, @p@T@@x@@۠,elements_iff @OD72%@ q˶ũk@@@@%mem_b @f[NI<+% @#rܶݶ@ĩİ ө7@@@@@ 'empty_b @vidWF@6%@>sܰ -!Ð@@@@@$%add_b @{n]WM<@Ut  F詚 G@#orbRkU@@*)h!̐@@@@@O)add_neq_b @àxg@u$?:98:@! r]@@@@@i(remove_b @ݠҠŠ@v>YTSRT:  @$andb=; @$negbL@@@@@,remove_neq_b @ڠɠà@we{zy{@Wb F@@@@@+singleton_b @ݠӠ@xz ˩^~@@@@@ 'union_b @6+ @y> w[@@@@@ݠ'inter_b @QF94'@zͶYζȩ Wt@@@@@&diff_b @k`SNA0* @({sȰ ĩ@@@@@*elements_b @}pk^MG=,@E| 5$List@'existsb ? ɐ@@@A=\ @A@@:(filter_b @smcR@k}*%$ @   ]ҠK =@@@@V)for_all_b @ʠn@~+F)'@&' xC@'forallb?[/J*@@@%@A@@AAIPAN@F@A1@D8@ABCD@@(exists_b @ݠؠˠ@VqTR@QR sn&@@%@@$In_m @Ӡ͠à@@g@@Ad_f1@@@z@U@AB@@'Empty_m @-"@A@@@@Al@qAۓό^@u@vAРD.Morphisms_Prop@ABCD@@۠*is_empty_m @OD72%@ B@  VҐ@@@@%mem_m @g\OJ=,& @$C@@@@@AA@@?@@ABCD@@+singleton_m @zmh[JD:)@BDް@13@@@@A@[@@ABC@@-%add_m @wf`VE@^E@M@  P$$@@@@H(remove_m @{q`@yF@@4@@]'union_m @ѠƠu@G*@O0$Q2/-@@L@@u'inter_m @ޠѠ̠@HB@@a@@&diff_m @Ԡà@IW-,@@v@@(Subset_m @  ؠҠȠ@Jl@fې@@z@@(subset_m @ +    @K@ݩ~2@@@@A@@ABC@@Ӡ'equal_m @ G < / *   @ LC@@@@蠠,SubsetSetoid @ \ Q D ? 2 !   @ M@(PreOrder@(@@@@A@@ +Subset_refl @@2PreOrder_Reflexivevv:@-^р@@)ReflexiveW (6777"kA L @.|T@RǐL  @L#nDӠ'Classes @.vv\      r l b Q@@G@@ K,Subset_trans @Y@3PreOrder_Transitive4(ۀF@_@*Transitive++-^A@T0@4(ې\AL?D ߠ Ԡ Ǡ       @@y@@ }&In_s_m @   ٠ Ԡ Ǡ    @ NJC>E r&Basics'Program@$impl7o l@@@@ )Empty_s_m @      ٠ Ӡ ɠ @ Omf "@$flip$   (@@@ @ A!s̓P+@ A!t Q/@ABC@@ Ǡ'add_s_m @ ; 0 #      @ P    @@@@ ࠠ*remove_s_m @ T I < 7 *    @ Q=@@@@ )union_s_m @ i ^ Q L ? . (  @ &R°  0.Đ@@@@ )inter_s_m @  u h c V E ? 5 $@ =Sٰ@@@@ !(diff_s_m @   } x k Z T J 9@ RTĩ  \   ^G@@@HA@ۿ`J @A@Q @ @AB AۀߠK @z@A A @ AڠP @ABC A@@A@@ABA@@AA@A@A@A@A@ABCDEF@@ `,filter_equal @ Ԡ ɠ       x@ U2&!H1163 T@@Q@@ z-filter_subset @   ֠ Ѡ Ġ    @ VL@IIN@@h@@ *filter_ext @     ۠ ʠ Ġ  @ WcW"f'  @d^]@  i  V r   @  YG\@@@@ @@@@@0MSetLogicalFacts  A)test_push @ 8 -    @ @!P&!Q)!R,@)Decidable @)decidable r ζ@ @  @$Truey@@ @  C@@ tHJ @zI@ J @à  K @ˠ ʐL @@ ѐM@ Րڠ@ O@  @ ݐ@ ␶@P J@@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@)test_pull @      @ A~@|@}@r@j@h@d@^@Y@R@K@D@۠ @ @@  FO@> #N@ Q@@@@@D@@@@P@3MSetDecideAuxiliary  A-MSet_elt_Prop,<@@@$'eq_Prop+eq_elt_prop+In_elt_prop-True_elt_prop.False_elt_prop-conj_elt_prop-disj_elt_prop-impl_elt_prop,not_elt_prop$!S+8A*MSetDecide@@  ~Q h   \   u   Z ͩ Ŷ  @  @d  7 S@ @  { Z@@ @uu @x$  AA@@:$CBB@@DDDB$CBB@@DDDB@  a@Y-j@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BG$ACBBCB@@A@DDEDFDGB@@A@@@@@+8@q@A@A@sA1DH @A@ᠠ1MSet_elt_Prop_ind @M / 0 ѷ     vB ;\Z@B [ E@-j@ @:&@(@.ĩ'  us@@@4@@3ѩ/   @%@D@@@:ݩ鐶@· @0 @P @I OA@ b!mX PǷE@@@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@D@2l p$ o mq r p{ A u t a | D1q2rLN;{<| @ADT   ~ ]@) z { | } ~  y n cS \+k()        , ' (*()=| &0EZoRy'>  &'>  %'> %'> 3! 3!# '> 3! 3!# '> 3! 3!# '> 3! &''''+k()$'+7Tk+ 7 T'$'   @ V@N(ň@0@aAJؠ. K @ 3 . ! @@@@@)MSet_Prop,<@A@bB-elt_MSet_Prop/Empty_MSet_Prop0Subset_MSet_Prop/Equal_MSet_Prop&J@@  ٩G 綐"s1 ޶"s2 V ,  Z oAA5BABBBABB@0@+ @@@@@@@@@@@@@DABBACBDB@@A@@@@@@@-MSet_Prop_ind @` <   ; ; 9  7 ? =  7mЩ@^ @@?@@@@@@@@@@@@@@D@R 2  @ȶ a % #   ; 0+k()= &R,'> % ' >$ '> % ' > % ' '+k()$'Р@Ws@@cd$IADH ڠ Ϡ     @@@@@?+eq_refl_iff @  ޠ Ѡ ̠  @ B\ C@@ +@@T&dec_In @     Ԡ @ Cq p] x@@@@@g&dec_eq @    @ DZ@@@@@z@@@ R@@AB@3MSetDecideTestCasesA/test_eq_trans_1 @0% @E׶ض!z۶ @z%@,@  A/  @@@ @A@@ @@ABCD@@/test_eq_trans_2 @YNA</@:F ˶ ̶) Ͷ!r ׶ ض@ ʠ é  @  @ ֠ ϩ  o@ ۠ ݠ[ ֐@@@@ܠ3test_eq_neq_trans_1 @{ni\K@gG!w/01Y2@6 @ݐߐ= ض@@'1 @@@ @A@j@ @ABC@@3test_eq_neq_trans_2 @u@H*"$#"$%"r1/"r223@%  Mb@ +@.c S@2g+@5d l ζ@:Q ѩ<N e@@@7@Ah@ @A"@@ @ABCD@@C1test_In_singleton @ՠРà@I`_Wݩ 2@@@@@W+test_add_In @נ@Jtsrta|@n JG@Uԩtm@@@@ K@AB@@u6test_Subset_add_remove @@K~  f  e@@@@@3test_eq_disjunction @6+ @L@~ + &Q  3.@@<@@0test_not_In_disj @YNA</@:M˶̶Զն"s3ض"s4۶@Ϡ f  X S ]  àߠ]]ϰ  x_@@@@@ࠠ0test_not_In_conj @rm`O@kN)'1/@- ߐ! ##@@@@@-test_iff_conj @p@O!a!U ()@ ɠ z! Р$& @@@@@&.test_set_ops_1 @РŠ@PCB!qLxM3N@vƶ@^ @a ۠ C F#@@@@@I-eq_chain_test @۠֠ɠ@Q"x1g"x2j"x3m"x4pxyz{@ !@oKj@B@Xw  @_~ @]@Fࠩd@@@@A@@c@ABC@@0test_too_complex @7, @R޶߶@@@ ? А q@֐@@#@@/function_test_1 @VK>9,@7S !g@̶Զնj϶hж@` a@ R e g߶@ jԠ    p@@@@@AB@@ڠ/function_test_2 @ylgZI@eT ޶.,#!@+@4z&@%@#%+-U&;@@@@)@A#@ABC@@-test_baydemir @q@U  &! !@8@B" z@@@@"@@@@@A@P@AB @ @A@@*@ABCD6@@@@@8@"FMydQ @P@۠Π@u@@A@@A@ѐ@@@@v @ J@~).@p@,@@]@@Q @ ^@Y*j6@K*@^- @@@@@D @ r@L*j7@>>@Q-*@@@@@ > @ @F_@8R@Kܠ>3&@@@@@֠+ @ @3_@%f@8ݠRG:@@@@@ꠠ% @ @-0m/@z@23<5f[N@@@@@ @ @0m0@@"3<5zob@@@@@ @ @*r@ @-:v@@@@@& @ @*r@@ -:@@@@@: @ @*R@@-xѠ@@@@N @ @*R@ݐ@-xҠʠ@@@@@bސ @ &@*R@ؐ@-xӠޠӠ@@@@vڐ @ :@@Ԑ@W@@+@@͐ @ N@@ǐ@W@@?@@Ð @ b@@.@W@@@@@ @ v@$@B@( ~à.#@@g@@Ơ @ @$@V@( ~ĠB7*@@{@@ڠ @ @@j@ۯàVK>@@@@@ @ @@~@ۯĠj_R@@@@@ @ @@@ۯŠ~sf@@@@@ @ @!$e@@$J-z@@@@@* @ @!$e@~@$J-@@@@@> @ @!$e@{@$J-@@@@@Ry @ @9% @s@@q9% @c @v@ Q A|o@@@@ ? @@ G@ 9@ L@@ @@3 > @@ F,T@ 8@ K0W7@@@@G ; @ @ C!@ 5@ Hà@@2@@[ : @@ B/@ 4@ G2}qנ̠@@ 5@@o  @3@ @ @  VϠ@@Z@@  @G@ (@ @ +˶Ǡ@@n@@  @[@ k!@ '@ C3@@@@@@@@@I@A@N&In_dec @% @#@ r @@@@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@#Add @"G\"8e@"ŶQ9 +k() +7T' 7! 7!7! 7!7%'Р%Logic$Init[@@qС)@\gf @"eq KhAr @$єx@$@T#@ @txk@@@@@X)Add_Equal @w@A#3#9#wR@]( @@@@@u*equal_refl @@B"@@@@@)equal_sym @@C23@@@@@@+equal_trans @͠ @D gC eD oE@@ Đ@@@@@+subset_refl @ՠ@E;V4@@@@@,subset_trans @@F e f g@@ @@@@@ˠ.subset_antisym @@G]xy@ö@72@@@@@ޠ,subset_equal @ @Hp@@@@@@,subset_empty @% @#I @@@@@/subset_remove_3 @5*@3J  @Щ %@@@@@+subset_diff @I>1@GK   @  = { 3@@@@@',subset_add_3 @^SF@\L Զ ն϶@@ !@@@@<,subset_add_2 @sh[@qM  @5@@@@@O)in_subset @{n@N  @@ E@@@@@a0double_inclusion @@O 2 0\\ؐ@@@@@u0empty_is_empty_1 @@P"@/ E@@@@@0empty_is_empty_2 @@Q3@V@@@@@)add_equal @͠ @R(C>=@ ͠ @@ ]@@'add_add @ߠԠ@S:UPO"x'Rᠩ& ʩ().@@@@@,remove_equal @@TRmhg@٩ @@ "@@Ҡ,Equal_remove @ @Ud {z@ @@@@@堠*add_remove @@Vw@Ya!! @@ I@@*remove_add @0%@.W@0!z! @@ ]@@ 3singleton_equal_add @D9,@BXB Tސ@@@@@6remove_singleton_empty @UJ=@SY˶Ŷ@@VX@@ @@3)union_sym @j_R@hZli@@@@@F2union_subset_equal @}re@{[@>}!d@@@@@X-union_equal_1 @w@\#s'' @j @@@@@n-union_equal_2 @@]@@@@@@+union_assoc @@^./)0!!S@@@@@3add_union_singleton @Πà@_)D?>͠ % !@@@@@)union_add @נ@`=XYTS⠩9!˩)=@@@@@2union_remove_add_1 @@aRmnihN-Q;@@@@@ؠ2union_remove_add_2 @@ bj@*gZB@@ =@@.union_subset_1 @$ @"c&" @@@@@.union_subset_2 @5*@3d7"#ː@@@@@.union_subset_3 @F;.@DeH@@ "7@@@@@$.union_subset_4 @[PC@YfѶ]ҶӶ@ʐ@@@@@6.union_subset_5 @mbU@kgo@/7@@@@@K-empty_union_1 @wj@h@@@@@@[-empty_union_2 @z@i @#"y@@@@@m,not_in_union @@j@@5"b@@@@@)inter_sym @@k23@@@@@2inter_subset_equal @ϠĠ@l*EF@Ϡ"@@@@@-inter_equal_1 @֠@m<WXRY@⠩@@@@@-inter_equal_2 @@nPklfm@&@@@@@Ҡ+inter_assoc @ @od z  " "R@@@@@蠠-union_inter_1 @@pz!gw h@@@@@-union_inter_2 @5*@3q75,4-А@@@@@+inter_add_1 @K@3@IrM¶@LJ#=#8[@@ @@,+inter_add_2 @cXK@asٶeڶԶ@Fdn@@ @@?-empty_inter_1 @vk^@ttx@өt@@@@@Q-empty_inter_2 @}p@u@ @@@@@a.inter_subset_1 @@vX#~@@@@@r.inter_subset_2 @@w i#@@@@@.inter_subset_3 @@x01+2@|ն@~@@@@@,empty_diff_1 @Πà@y)DE@+Rz@@@@@,empty_diff_2 @ՠ@z;VW@=ࠩ#Ȑ@@@@@+diff_subset @@{Nij4#ڐ@@@@@Π1diff_subset_equal @@|`{|@Ʃ@@@@@ࠠ5remove_diff_singleton @ @}r ِ@@@@@0diff_inter_empty @)@'~+(&8oĐ@@@@@.diff_inter_all @<1$@:>;$#@@@@@'Add_add @NC6@L@Ķ$<$4@@@@@(*Add_remove @_TG@]Aն϶@ΰ$F $M@@@@:)union_Add @qfY@oBs@$b $a$\l@@@@@Q)inter_Add @}p@C@Ƕ@$r Ω${ U@@@@i+union_Equal @@D@߶@6\@@ 4@@+inter_Add_2 @@E,-'.)(@@.,@@ I@@.elements_Empty @ˠ@F&AO" t@$list]@F&  A@@@&@A@@AA al @@ H@ABCD@@.elements_empty @@GG%C@@@@A@@Π'of_list @!l5s@*fold_right#zK$@ = P+k77777#'Р@%!ؐX@X$H`@($;#p%Lists@!#xh2'@@@A*@oA+@Y@ABC@@'to_list @@@u@(2MB5@@@@@")of_list_1 @YNA@WHWɩoà%I@gYש) %P%H@@@@@@ABC@@?)of_list_2 @vk^@tIt@*equivlistA~)!@D')A% %o@@@@[)of_list_3 @z@J6 %@@@@n/fold_spec_right @@K!AQ.MSetProperties)M@@!i% @$@%! %/@$fold߀%%!%%0%%0@#rev$t7@@@"@A@A@&A@A'A4%>@+A.hB/@AB.A8ޠL2@3Aa@A4A1FdJ0@ A1GK5@AA>S@@#A3X@ABCDE@@à(fold_rec @@LTԠRR@@ƶ@x@%攑S[@@bVZ%g@@ Զ@e@@a @"[&@}&l &"e@@@-@A@@&@A@AB@1AX@A@@,fold_rec_bis @:/"@8MȠ^@@@@&&_@@&5¶@ĶPŶ3@'@E@&A@ȶ\Ѷ@à&HZ@@ĩJ"f"Ȑ@@@1@A@@*@A@AB@5Au@7A@0Ap@ABC@@K.fold_rec_nodep @wj@Nܔf@@N@&ug@@ݶ&| @p@ z@]@4/7ȩ{@@@@A@@@A@AB@"Aj@$A@Ae@ABC@@-fold_rec_weak @@O k@@@5@&!:l@@&@ %@Aȶ@@2@#g&@ CB& 0K@ ?ɶ@o hЩs ;VĠ&ͩ*~&B@@ @.@A@!:@'@A@AB@2A@4A@-A@ABC@@Š(fold_rel @@PV#2tT@@!B#qu]@@˶@&@&񔑠 #vf@@m@@#Vuhw!jz x@@ t!b@@Ǡv'x.'#q@@#2@7@A@#q@0@A@ #@)@A@ABC@A1I!M @ACA@EA@ABFAo@IA ߠn"@ACA@EA@ABCFAx@JA @ABA @DA1J`N @AB@@As@#@y@A@ABCDEF@@2-set_induction @ i ^ Q@ gQ.@%i}@@@ @Q@ w@S @ Ð'h#@; 3@@%i@@A@A@A@A@@[1set_induction_bis @   z@ RW@ &C@@@   @@#@'@!   @}@<!  "@@&@@A@A@Aj@A@@-fold_identity @   @ S! 2 6'V'@@@ A@A @@ABR@ #A@A@@@ABCD@@&fold_0 @ ؠ ͠ @ T!3 N3 )YM1@@/'˶9-!6@"ex @H@&NoDupA @+8'ߩ!g f  `'!P$<E$>' ]'$@ p'''@@ )Y@)@A@A@-A^@A.A@0A6@AB1A@U@A.@+@A@0@-@ABCDE@@蠠&fold_1 @!!!@!U!z z")נOx@@#eqA@(@("st@+Equivalence~@!r( @ @ 5@ȩ ;(""()()@@")@ @A@A@$Ak@A%Ay@'A@AB(Au@+Aj@A@@@o@ABCDE@@ &&fold_2 @!]!R!E@![V! Ӷ _ Զ! ζ&*ӠS@@@><:(S3@@,@kR,9  $$(^@@)transposeWâ w (^@!Ɛ  @    @@&*@,@A@A@0AĠm@A3A@5A @AB6A@:Ai@A;A@=A@AB@@A@l@@ABCDE@@ y'fold_1b @!!!@!W" !& (+QU @@(@"$(@@(+Q@ @A@A@A%t0@AA@A@ABA@A!uR@AAS@@A A&?@@@ABCDE@@ -fold_commutes @!!ؠ!@!X=)+V;@@D׶$CompC@,=,8?%5%5(((ᶐ#Ass!j!Y%:(޶K"X!s"n!mH( (M((@@@&A @A'A@)A @@+A;@ J@ABCD@@ 砠)fold_init @"""@"Yx;xl4u@,o,qjq))) ) )x%h"i'!"!@x.)%qz0))@@@-@A,@)@ r@ABC@@ *fold_equal @"F";".@"DZc 4][TRH"!ö!O!Ķ@!M䠩6)=%8)8%@@@uA8@AvA@O@ABM@!@A@@A@)@ @ABCDE@@ 8*fold_empty @"o"d"W@"m[ȶ@!@)U)\)V"Ȱ)_)a)Z )b)b@@@A@l@A@ABC@@ S(fold_add @"""r@"\db`^x""#"@s(#z%֩{)|H@@@A@@AB@@ r(add_fold @"""@"]ƶ}# "&#!" @!Gc@@@@A@@ -remove_fold_1 @"à""@"^ض϶Ŷ#%"@#;":@"a)^ x&@@@{@A@@!@ABC@@ -remove_fold_2 @""٠"@"_>?Ҷ9#F"a#\"[@ͩ@@;@@ Ơ0fold_union_inter @"""@"`WնѶX  R#_"z""{OQL)S )U ))@@@@A@@@!N@ABCD@@ 렠/fold_diff_inter @#"## @# a|?}970.w$#""+"Št*8%)@@@@$@#@ABC@@ *fold_union @#?#4#'@#=b\-VTMKA#""H"@#"#[!e"⠩4 &6*=@@%@@ *)fold_plus @#a#V#I@#_c#"׶!p&@#nat@# @"ޜ B*U*]#Nat&@! `*`A*k@@@A@A@@ Y-cardinal_fold @###x@#d###.# @(cardinal Jr%ש6,*@@@@!A(1 @!A o&D@ABC@@ z*cardinal_0 @###@#e$ #'РĠʩƠ$)#(Π!X$Y+"2&b@&length䷀#4*@@@@@(@ABC@@ *cardinal_1 @#֠#ˠ#@#f$1#L@"Y$,u\@@@@@ *cardinal_2 @##ܠ#@#g$B#]"#^$Y#X@C@ X*',*ש$B] `@@@@@ ʠ.cardinal_Empty @$##@#h$\#w"$Xs@@@@@ ܠ.cardinal_inv_1 @$$#@$i$n#@"o@@@@@ 렠.cardinal_inv_2 @$"$$ @$ j$}#!n@${k&h$@#sig#* @#$#@@@"mA8A$@A@@ /cardinal_inv_2b @$D$9$,@$Bk$#@$D#$#"b@@@"A1>lB$@@AB@@ &.Equal_cardinal @$]$R$E@$[l$#Ӷ#_#Զ@#]$&@@@#@A@@"@4@ABCD@@ >*cardinal_m @$u$j$]@$sm Ȱ@# ##v$ΐ@@#@@ R.empty_cardinal @$$~$q@$n$ݰ&@@@@@ b2singleton_cardinal @$$$@$o% $$7 /"@@@@@ v3diff_inter_cardinal @$$$@$p%$##$$%L> "@@@@@ .union_cardinal @$Ġ$$@$q%$:#$;@~%d6"Xk@@@@@ /subset_cardinal @$ڠ$Ϡ$@$r%5$P#$Q@#%Peano'@"le UxT@@@@@@ 2subset_cardinal_lt @$$$@$s%O$j#$k%f$e@#@$@%C$[@"lt Uxcp@@@@@ ڠ4union_inter_cardinal @%%$@%t%l$$$%g d]@@@@@ 4union_cardinal_inter @%(%%@%&u%$$*$%~@#sub ~@@@@@ 1union_cardinal_le @%@%5%(@%>v%$$B$e-+@@@@@ .add_cardinal_1 @%Q%F%9@%Ow%$Ƕ%$@$%Ð@@@@@ ..add_cardinal_2 @%e%Z%M@%cx%$۶%$ն@ G% @@@@@ B1remove_cardinal_1 @%y%n%a@%wy%$%$@$%а#' @@@@@ X1remove_cardinal_2 @%%%w@%z%%&$@ q%/2@@@@@ j@@@@@&Nˢ&P&=&(@A@@%mkEns @&%&%$@@&P@/@F)Ensembles$Sets#Coq@@(Ensemblef&b@/\󀐐 <+k() 7%'%*h@@@/[A|A)Ensembles$Sets#Coq@@A@@AA@@"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@AA@A@%In_In @@0@&F-]&]-d%Logic$Init#Coq@@#iffС)%7)Ensembles$Sets0@%h-B%v00@o.*u$,@@@/AH@A@@@/Subset_Included @@1A&v,%,0$ᩚ&@(Included"=%""(i@@@/Ad@A@@\.Equal_Same_set @@1B&-%:-L&@-Prڀ-'-/@(Same_setER1+@.*u-6-B@@@/A@A@@/empty_Empty_Set @@1JC%֩`sm@)Empty_setįu@@@@0A@0A1DH@@AB@@/Empty_Empty_set @@1iD&,@'/@-r-vG%'@@@0$A@0&A @AB@@à3singleton_Singleton @@1E'/[&@)Singleton7u@@@@0@A@1yA<@1{A1GK>@ABC@@㠠+union_Union @@1F'/%/}&4@%Union.B@@@@0bA@0dA^@0fA"@ABC@@2inter_Intersection @@1G'9/%/&T1@,Intersectionϟ@Ő@@@0A'@0A~@0AB@ABC@@#'add_Add @@1H'n0'[0&t @-‰&|-@@@1A'A1Constructive_sets$Sets#Coq@@A0AQ@1A@0Al@ABC@@M'Add_Add @@2I'1Ͷ'&&-&@2 '@(... &22&4)*{@@@0Av@2 A@2 A@ABC@@r/remove_Subtract @@23J'0.'0+ &éM/Z@(Subtract 3mP@@@0AO@A0A@2,A@0A@ABC@@,mkEns_Finite @@2UK'ɩ+Finite_sets$Sets#Coq@@&Finite@Ʃ2.n@@@1A@1A*#A+Finite_sets$Sets#Coq@@AB@@.mkEns_cardinal @@2L'+@(cardinal6\@꩚V.(Q@/w Jr.@@@1BA@1DA*@AB@@ᠠ+Ens_to_MSet @@2M!e'1@SA@"ex @+(0!..ʐ@@@18A1@Do@1yA@1{Aa@ABC@@@@@@ @@AB@i@A@B@CD[@/S_to_Finite_set2B22@2 @J&?@@@@ %'@&D@A@A@@@AA@@A@(_ @(lB22@2K @(@ 867 k[!T*Equalities*Structures#Coq@@!t<D%Logic$Init@"eq @L@&Orders*Structures#Coq@0UsualOrderedTypeT2@A@@&Orders*Structures#Coq@0UsualDecStrOrder @@@A@@-UsualStrOrder @A@@*Equalities*Structures#Coq@1UsualEqualityType @A@@KJI@'UsualEq@@@A@@@[W  @@/@@V/J@@A@A@A@*HasUsualEq @A@@@@@A@@(eq_equiv @:@.eq_equivalence()'@t@(Kه\!E@5D/RelationClasses'Classes@()'L|pb\@@\NJ@@@N@B@A@A@A@X)UsualIsEqTS@A@@@' @@Ǡא @h@@@@@@AA@@A@+lt_strorder @@@+StrictOrder.[@ך@K@@'/@@)lt_compat @@%Q$%J%L $@@%:@@''compare @d@@+@*comparison;f@@@@@@9,compare_spec @@))+@+CompareSpec!Q]@)}0 0;)h<(f@)//%)n@@@@@U)t @@)!)"))@@@@@4@@@@@K @N@K @A@K@Q@"ltKh@@A@AB//%@U@'compare//%d@@A@C@C24=@(Ɛ @F@Z2砠@2&SetsOn3@A@@@E22접s@@K (@Kه@@"eqKه^@b@A@ABK.@//%+@AC@A@32@@@A@@@3@@Hn@#@!tHnJ@@A@AHv@@Hv^@@A@Hv@ @"ltHvh@@A@.+0@@'compare.+0d@@A@ABC@A@@@@@24< @@)@@2@/@)@A@A@@@3 $@ @@C3\4U@4Re@@@@@3(1 @@@,d@@@@@3"( @@@@)8@@@@@3/( @@@ @&&@@@@@39'd @@@/@@@@@3B'Ð @@@@@@@3J'; @@@@@@@@@3S& @@ @@@@@3[& @@@@@@@3c( @@@YK@@@@@3l( @@ @@@@@3t Z @@ u H@@@@X@q m@@.h@ P@A@A@@@3% @@@@e,o@@@@@3% @@ @@@@@3&t @@@i@@@@@32C @@@@,@29t@@@@-)A)A ϲ6W,@A вuX,@AB@@3Ȑ @@@@@@@@3Š% @@@ @@@A @A@@3Ҡ2 @@@ȩ-@2  >v@@@@/A ůM-$@A@@3堠) @@@ö@"v@@@@@31 @@&鰶@ &&"*%@*j逐@@"@@4) @+)%à(ȩ)@+)"1UP>7@@@@@4)y @+)@*)@1UidRK@@@@@40)P @+3'++#*@+7+"Ő15}xf_@@@@@4D&Ɛ @@$"ַ+I=+_&@?@1{t@@@@@4Y& @+]Q !;+u<%V-G@0ɠ@@@#*@A@@4p+_ @f@*o܀@@k0@@@@@4 @@ {@@)g@@0+o @@+++"+v+@@@@@00[ @@++|&Z+-@**-@@@@@40J @@+*Y&m+.@*R+-)@@@@@4à0; @@+*l&+°.@*&€+-󩚠@*3 b+@@@@@4۠02 @@@*n@&L9@@@@@401 @@+&+.<@*0vd-.-ݐ@@@@@50( @@,,߶,&2@)*(, 22@@@@@50 @@,,0,.&֠&2@)x*%ڠ,@@@@@50/ @@,G,E&=2ǩ,@)i"ˀ*U-@@@@@5C*union_spec @@,F:*;,]$'R2ܩA@)D-ˀ*)CH@@@@@5Y*inter_spec @@,\P+Q,s:'h2򩚠W@)_Ȁ*&^@@@@@5o/ @@,qe+f,O'-}3l@(xe+&1sJ@@@@@5/ @@,{  W@@ 3(@k ,3 @ ~ }$@/tɀր3+x"$z3-3-3.@'(b3+@@8@ s@A@A@ wA @A xA {@ zA"&@AB {A @ }A@ @!@ABCD@@5/L @@,,@it.%.@@@@A@@5̠/7 @@,¶,(H@(ʰ@`/(b/d(3f'3i@(*H&+,/ @@(@@5ꠠ/ @@,(e@',/;@(o4.ys+/@(rS-(3@@(@@6. @@-)@8'à-/V@(E2[+/6@(R@@(@@6.Đ @@- )@Q/m@. @4( ,U,@@@,2A ӳ2[/z@,6A Գq\/~@)@ABC@@6@. @@-B6)@@sӠ/@."q-c*&.e3ސ@@@@6V.d @@-XL-n5((\3+wR@@(L@@6e.A @@-g[ @@(W@@6p.- @@-rf-O@-nk@4P[+A\4^@@@+`A@A@@6. @@-@-/sB˩+@@@@66 @@@@4@@@@@6'min_elt @@Ԑ@@@@6'max_elt @@ݐ@@@@6Z @hC@@@@@AA@@A@ @@@om@@+@@{ @@)˰^)d)%ff(@@)@@h @@-ն,֩0+@(CompSpecgݚ@-m'4u4}@+-Ԑ@@@,A G0<@A@@6.elements_spec2 @@.&Sorted'Sorting8L@1ĭ@I@@@+ABA @A@@7-min_elt_spec1 @@..0@.J@,<@@@@7*-min_elt_spec2 @@.-!.C .A @.*^0X4@>+.&-@@@@@7A-min_elt_spec3 @@.D8@.?s)0,@@@@7O-max_elt_spec1 @@.RF.h/@.NK@ʄ,t9@@@@7b-max_elt_spec2 @@.eY.{B.yC@.b08@6.[$+?@@@@7v-max_elt_spec3 @@.ym@.t&0a@@@@7,choose_spec3 @@.{-.|.e.f@.*M[@@!.-1w@@@@7@Ҡ@@@@m@@m@A@A@9)9%ܑPO@8 @NMIH@@@F. @C@;9@@@Nǐ @@@,@@V f @@@@@ @@|@,@@{ @@zt@*@@s @rqi@@@@h @@gT@@@@.ǐ @@SM@@@@@L@@I@;:@- @@9@@@@797 @@7퐠@@@8)5 @@@@@@8- @@퐠@@@@8- @@琠@@@@8, @@䐠@@@@8,G @@␠@@@@8#, @@ᐠ@@@@8*, @@ߐ@@@@81+ɐ @@ސ@@@@88+~ @@ݐ@@@@8?-Ӑ @@ې@@@@8F- @@ڐ@@@@8M3 @@ѐ@@@8T*ʐ @@̐@@@@8[* @@ː@@@@8b+> @@ɐ@@@@8i7  @@@@@8p | @@@@@@8w*d @@@@@8~6 @@@@@8. @@@@@@86 @@@'@@8./ @@@@@@8- @@z@@@@8-Ð @s@on@@@@8+- @g@ba@@@@8* @Z@jS@L@@8/ @K@GF@@@@8àϐ @@?=@-@@4Ġ/ @@<5@@@@4ˠ4 @@4)@@@@8ؠ4r @@(@@@@8ߠ4W @@ @@@@8栠4= @@ @@@@841 @@@@@@84 @@䐠@@@@83 @@Ӑ@@@@93 @@ǐ@@@@9 Ɛ @@@@@@9 @@@@@@93O @@@@@@93# @@|{y@@9%2 @@mb@a@@9,2 @@`J@,@@932I @@I6@,@@9:2 @@5$@,@@9A1 @@#@@@9H1 @@@@@9O1] @@@+=@@9V12 @@@+D@@9]1 @@ސ@@@9d0 @@ѐ@@@9k @@ΐ@@@@9r͐ @@̐@@@9yː @@ʐ@@@9 # @ Ȑ@@@@ǠF @@@.g@@Π8 @@@,j@@ՠ @@@@@9 @@@@@9 @@@#@@9 @@q@*@@9p @@oj@1@@9i @@h^@8@@9] @@\Q@?@@9ƠP @@OJ@F@@9͠I @@H;@M@@9@:@@6@10131/71$1>1(1$B1𢢢1J1411*N1 @11 1 0g3F@0€0䠷@3(@m0@113P0ࠠ@@:Xjs@A@@;Jq@A@;;'@A@0@@@@0T0D @0F0~@1"1816@@E.0+@@0)@@0f0 @&# 00A14(1J@*10303]@@@@@0x0 @85200B1F:1\#@&@@@@@00 @GDA00C1UI/J@ĩ1Q3/3~@@@@@0/ @YVS/0D1g[0\@/@@@@@0/ @ifc/0E1wk0l@1s3ĩ03@@@@@0/Ґ @{xu/0F1}00~@é0!@@@@@0ˠ/Ȑ @/0G1@13/3@@@@@0ܠ/ @/1H1@@@@@@0ꠠ/ @/1I111@8à8E0Đ@@/@@0/ @/1'J111@@@@@@1 / @͠ʠ/17K1϶11@F@$@@/@@1/ @ޠ۠/1HL12ɶ2ʶ@l1ސ8{0@@/@@13/v @/x1]M22޶2߶@l@ϩ 8/m@@/@@1G/l @/n1qN2 2+2)@@@@@@1W/b @/d1O2:28@2! 88@@0 @@1h/S @(%"/U1P2K2I@@8©4`@@0@@1z/L @:74/N1Q2H<0=2_&@/=+@@@@@1/7 @LIF/91R2ZN1O2q8@Re8/0@@@@@1// @_\Y/11S2ma1b2K@d@@@@@1/( @oli/*1T2}q1$r2[@ J@@@@@1/ @|y/1U2142k@0n@@@@@1Ϡ/ @/1V21D2{@@92A/ @@@@@1㠠/  @/ 2 W21X2@?~@@@@@1. @.2X21h2@O2@@@@@2. @Š .2/Y2Ƕ1zȶ2@˶@ߠ9hb/A@@@@@2. @٠֠.2CZ2۶2Ķ.a@@0Q@@.@@2+.Ɛ @.2U[23ֶ.s@+@%.@@.@@2<. @.2f\3 3 / @<@-@.ѩ27.@@.@@2Q. @ .2{]3 /@P@+35m22+5I@@/@@2d. @$!.2^32 &/0@c@E>3M .6@@/@@2w. @741.2_3E 9/C@v@63B5=2Q5o@@/'@@2.} @JGD.2`3X L/VѶ@@PI&@@/8@@2.s @[XU.u2a3i ]3 F@_.l  95@@.\@@2.X @mjg.Z2b3{ o3 X@"[@@.k@@2.N @|yv.P2c3 ~3 g3 h@ .GY@@2@@2Π.B @.D2d3 3 y.W@@@@@2ޠ.; @.=3e3 3 .g{35 3@@@@@2.2 @.43f3 2e .y. @@@@@3.+ @.-3*g3 ¶2u é. @@@@@3.$ @Р͠.&3:h3 .:r.@@@@@3!. @ޠ.3Ki3 .@@@@@30.  @. 3Zj4 ڶ4 ۩. ~@@1@@3@. @.3jk4 4$ 4" .ʠ 1  @@1@@3S- @ -3}l4! 47 45 @ .ޠk@@2@@3e- @%"-3m43 '4I 4G .- . @@2@@3x- @852-3n4F :4\ #4Z $@ /Z@@2+@@3-ߐ @JGD-3o4X L0V Ѷ@/el@@08@@3-ؐ @[XU-3p4i ]0g @/%[b@@0I@@3-ѐ @lif-3q4z n4 W/5 q"@@/k@@3-ʐ @|yv-3r4 ~4 g4 h@ 46ة31@@@@@3Р-Ð @-3s4 z464@@@@@3ࠠ- @-4 t4 4 4 46 -? o554@4"4 2|@@@@@3- @-4)u4 4 4 @ 84ʰ7 .C@@@@@4- @ҠϠ-45@1 1 3  5 @@-/@@4栠-- @-/5A1  ؐ@@-&@@4- @-5B1 1 8 S1 ѐ@@4@@5- @Ġ-5.C1ʰ@ ` 1 b  d 1@@- @@5- @ՠҠ-5?D1۰@ q ٩1 s  u u @@,@@5&, @,5PE1찶@  ũ1   1     @@-@@59, @,5cF1 @@-@@5G, @,5qG2  ˩2     ː@@-.@@5W, @,5H2  Ð@@-<@@5e,ې @%",5I2+  @@-J@@5s,Ԑ @30-,5J29 n r@@5D@@5,ʐ @A>;,5K2G 2@ F 8  @@,@@5, @QNK,5L2W  @@,@@5, @_\Y,5M, b @@,@@5, @, m @, ιd@,,wtq,@,@@5 ,w @,v@,q!,l,^@,@@5Ҡ,U @,W5N2 2/ 12 .3 ,N @@.-@@5䠠,D @,F6O2 ̩2 .C,=  .E ,` ڐ@@,8@@5,/ @,16 P2Щ2S U2     @@-@@6,( @ȠŠ,*62Q2ΰ @@-@@6,! @֠Ӡ,#6@R2ܰ 2     @@-@@6&, @,6PS2  @@. @@64, @,6^T2 2   52  R 7 @@, @@6F+ @+6pU3 A+ D3  =51@@..@@6W+ݐ @+6V3" R+ U3 a@@.>@@6g+֐ @'$!+6W32 b+϶7L9@31 g f=¶@7Q+Ͷ7= 15 2@  Π g+˩ h+ɐ@@.Y@@6@@@@AX+Ƞ+ǒ𢢢77+A+ǐ @KHE+6@+Ð@@@@@+a+Q @WTQ+S6A+M@@@@@+m@@@@Ay+)+(𢢢77+-A+(,<+,+'+%/+$$+77>  7 Y7~ r> 7c+ ++***AA* **@877+I@+A&>@$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@BG*@@A@@@@**@+*ؐ @,$+g3+\37I7J:&37 7 6D3*׷3*ַ3ö,1/U,//V@B808+@+&>@5@*ն@ 9*Է3ն,C/g,A/h@@*ζ@*ͷ3۶,I/m,G/n@@*ȶ@ *Ƿ3,O/s@9*ž**,V/z**,Y/}* &@+Y+Z*,]/@*>$*8 8 *8  Է7 *,2,8,d/,b/*3*4*,h/,f/*7*8*,l/,j/*;*<*,p/*!*@,r+4+4N4K4 +4 +4 H4 74 24-&* *u@@@@,*o,<*s*n+/*l,/@>+8%> /*g*e> \*k *i!> AA+ *b*a@88~+@*Ҡ@@@@@@@@@@@@@D*a@@A@@@@@@@,P*\ @,+4O04P8TH>/4S*K*L7\/4W*O*P3 ȷ,/++@*Ҡ@:I@***[,/@ *Q>*P@,,4hI4i4j4k,/+<*O*Nifc*E@@@@,~*? @tqn*A8B83<8~??,ِ@@6f@@,*; @*=8C8o8,@@@@@,*7 @*98%D8.8/- @@@@@,@@+*3B*1*0𢢢\9 8*5A*0 @*28=E8F8G*,H8@8L;?O@888S?V;@ ** 51@@*)@@,Ӡ*$ @ɠƠ*&8ZF88*I* ζ8϶@ 7 4@8ϐ 5@8Ӑ8Ր 7 *@ * *@@0"@@,* @*8~G*99*n8@8;8@88 v@@-D ,@@*@@-* @ *8H*59/9-** * 9@(4é -i@9.*@0-i "*Y@4*@6-i *@:*;-Q *@@*@@-?) @52/)8I9XK?թ ;*@@@@@-O) @EB?)8J9h/9f09UI@^? P9;@9Id)@@)@@-f) @\YV)8K9F9k_ ? e? O9R@@@@@-y) @oli)9L*Y9Z9[*\@@@@@@-)ߐ @)9FN99,,* * @'3~9399@@@@@-ܠ)ې @ҠϠ)9cO)9m9ֶ8׶@4)թ6٠$,4)ԩ8 6@@@@@-)Ӑ @)9P:ٶ)+E:@2%@@(@+  9 9@@@@@.)͐ @   )9Q)))),],[*e*c@F5@,.e)@@:3.f )@:9)@;.f-)@?)i2).z@@)@@.D) @ : 7 4)9R:]Զ:[ն+&+?:L@@ @@W5)7#@\+@@)@@.^) @ T Q N)9S6_1)@@@,Y,Z*C*D@)@:e@)@v6w)@@)@@.y) @ o l i):T6zL),s,t*0]*.^@@:~A)@@:f)))@@)@@.) @   ):U6g::v:w@A&)@:{)@@+9@@.@@@)D)@@@@D))[; )a;::吠:Ґ @ @ :   )@@@@99 @@9"7@ )y Ơ à )z@9@@:9Ȑ @%@9#ɀ@ )w ؠ ՠ )x@@@@:#9 @7@9#ʀ@ )u   )v@@@@:59 @I@9@ )s   )t@@@@:G9 @[@9@ )q   )r@@@@:Y9 @m@9)€@ )o   )p@@@@:k9 @@9)À@ )m 2 / ,)n@@@@:}9z @@9$4@ )k D A >)l@@@@:9h @@9p$5@ )i V S P)j@@@@:9a @@9i#@ )g h e b)h@9T@@:9H @@9P#@ )e z w t)f@@@@:Š9A @@9I#@ )c   )d@9x@@:נ9; @@9C@ )a   )b@9@@:頠9, @@94@ )_   )`@9@@:9  @@9(@ )]    )^@@@@; 9 @!@9 Us@ )[ Ԡ Ѡ )\@9@@;9  @3@9Ut@ )Y   )Z@9@@;19 @E@9 <&s@ )W   )X@@@@;C8 @W@8<&t@ )U   )V@@@@;U8 @i@8<&u@ )S   )T@@@@;g8 @{@88@ )Q . + ()R@@@@;y8Ӑ @@89@ )O @ = :)P@@@@;8ΐ @@8:@ )M R O L)N@@@@;8Đ @@82;@ )K d a ^)L@@@@;8 @@82;@ )I v s p)J@@@@;8 @@82;@ )G   )H@@@@;Ӡ8 @@8ʴ@ )E   )F@8@@;堠8 @@8ʵ@ )C   )D@8@@;8v @ @8~ʶ@ )A   )B@8@@< 8j @@8r![@ )? Р ͠ )@@8@@<8S @/@8[!\@ )=  ߠ )>@8@@<-8E @A@8M D@ );   )<@8@@?@ Ő)   ) @;@@=;7 @ O@7-/q@ Đ)   )@;@@=M7 @ a@710s@ Đ)   )@9@@=_7 @ s@7@ Ő) & # )@:@@=q7 @ @73@ Ɛ) 8 5 2)@92@@=7 @ @7#@ Ȑ) J G D)@@@@=7 @ @70€@ Ɛ) \ Y V)@@@@=7 @ @7#ಀ@>vj>S>T>r@ ȩ7|H5>-[@>3K\ ̀>g Ɛ) ~ { x)@@@@=ɠ7z @ @7+7Y]@ ː)   )@@@@=۠7r @ @7zـ@>>>>@ ʩ7k 7f6)    )@@@@=7f @ @7nɶ@ ϐ)    ) @@@@>7^ @ @7fUפ@>>>ҰA# ^)  Ӡ Р ) @@@@>7\ @ 2@7d<&@ Ӑ)   )@@@@>07S @ D@7[i@ ѐ)   )@@@@>B7K @ V@7S2;΀@ А) )@@@@>T7@ @ h@7H)Q@?#?9?Ao7:A ̐)")@77@@>m73 @ @7;@ Ґ(41.)@;@@>7) @ @71!𸌀@ ϐ(FC@(@7@@>7 @ @7 u@ ΐ(XUR(@7.@@>7  @ @7"7@ ΐ(jgd(@6@@>6 @ @75uR@ А(|yv(@6@@>Ǡ6 @ @6$p@ Ԑ((@>@@>٠6 @ @6#@ ֐((@6@@>렠6ڐ @ @6Uׯ@ א((@6@@>6А @ @6#ཀ@ ؐ(Ġ(@6@@?6ǐ @ #@6@ א(֠Ӡ(@6@@?!6Đ @ 5@6<&@ ې((쐠@7 @@?36 @ G@6t@ ݐ((ꐠ@7@@?E6 @ Y@62;ـ@ ᐑ(  (萠@7.@@?W6 @ k@6@ 向((搠@?,@@?i6 @ }@6)@ 鐑(0-*(䐠@6@@?{6 @ @6Ȁ@ 됑(B?<(␠@6@@?6 @ @ 됑(ߠPMJ(@6@@?6 @6[@6#&  @ 6da^(@6@@?6d @6c@ 퐐6Xspm(ߐ@6@@?6A @ @6I.d@ 퐑(۠(ܐ@8@@?Р60 @ @687.@ 퐑(٠(ڐ@6$@@?⠠6 @ @6#[@ 퐑(נ(ؐ@7@@?6 @ @6>?⤀@ 퐑(ՠ(֐@7@@@6 @ @6&^@ 񐑠(Ӡ͠ʠ(Ԑ@7@@@6  @ ,@6. @ 󐑠(Ѡߠܠ(Ґ@8@@@*6  @ >@6)-!@ (Ϡ(А@6@@@<5ܐ @ P@5U@ (͠(ΐ@8%@@@N5Ԑ @ b@5"w@ (ˠ(̐@87@@@`5ϐ @ t@5@ (ɠ'$!(ʐ@8I@@@r@@@@@A0AAAo@A@0(ɐ @:74(@@A]$AI=AG ˩A: ͐@@@@@(Ƞ( @AkAWK?LAk5<O>MAWDCGT@AuS(YVS(@@@@(ᠠ( @da^(AAAAsg@h<.K.A@((;5 Hx@@@@@@(( @}z(A1BA(@@@@@) ( @(A?CA@C@ -@u@@@@@)( @(AOD331@F@G?2H@@@@@)-( @(AaEA(@@@@@);( @(AoF4 4 2¶@D@E2h@@@@@)M( @Р͠(AGAҶ@Ӷ@@@q>@@@@@)_( @ߠ(AHA@@_g@@@@@)n( @(AIA0H@@@@@)}( @(AJ4M4KB%@B?}H@@@@@)(~ @ (AK4`4^2h@U4V>H@@@@@)(} @'$!(AL4t)4r*BL@,@j3A@E @@1m@@)(| @;85(~AM4=4>B`'@}E2F@@@@@)ʠ({ @MJG(}AN4O4PBr9@S@ ~@@@@@)۠(z @^[X(|BO4`4a='ܩ<$AQ@@@@@)(y @qnk({B"PBs@I @@@@@)(x @~{(zB2QB@@@@@@* (w @(yBARBB{@/I1@@1@@*(v @(xBRSBB(u@I=@r@@@@@*3(s @(uBgTBB@UIW@@3@@*D(r @ǠĠ(tBxUBɶA|ʶB@og@@@@@*V(q @٠֠(sBVB۶BĶ@ݩxIuI|@@3@@*i(p @(rBWBC׶@ȩޠII@@3@@*|(o @(qBXC" ʩ/@@@@@*(n @  (pBYCC3@@@F@@3@@*(m @# (oBZC1%A&CB@@@@@*(l @52/(nB[CC7A8@vԠIϐ@@@@@*à(k @FC@(mB\CTHAI(jJ@栩 5@@@@@*֠(h @YVS(jC ]Cg[B\(}]@ש @@@@@*蠠(g @khe(iC^CymB n(o 13J3JM@@@@@*(f @}z(hC1_CCkBqF OJ@@@@@+(e @(gCD`CBHC2YJ/]@@@@@+$(d @(fCXaCB\CFmAx+p B@@@@@+;(c @(eCobCBsC@ĩ^t@@4@@+O(b @ҠϠ(dCcCԶBթJk@@@@@+_(a @ߠ(cCdCB"J@@@@@+o(` @(bCeDB)@߶@y5@nJ@@@@@+(_ @(aCfDB )* @H@@@@@+(^ @(`CgD%B);@YAC@@@@@+(] @+(%(_ChD9-B.@@@@@@+(\ @:74(^CiDH<B=@٠!JԐ@@@@@+Ƞ([ @KHE(]CjDYMCNDp7@DKS@DNiJ]@@@@@+ߠ(Z @b_\(\DkDpdCeDVCT@@@@@+(Y @tqn([D%lDvC)w@$K@@@@@,(X @(ZD6mDC:)@-%6707@@@@@,(W @(YDInDCM)@8IA|@@@@@,((V @(XD\oDC`)J[]KO]KPN@@@@@,=(U @(WDqpD¶Cuö)ĩ_pUs7kc@@@@@,R(T @ՠҠ(VDqD׶Cض)٩t*7@@@@@,g(S @(UDrDCEֶ@BiKKW@@43@@,~(R @(TDsECE&@ީi@@4E@@,(Q @ (SDtE!C@GÐ@@@@@,(P @$!(RDuE2&C'@<@@@@@,(O @30-(QDvEA5C6sK̐@@@@@,(N @C@=(PDwEQECFK@@@@@,Р(M @SPM(OExEaUDV*wW@C!@Ő@@@@@,㠠(L @fc`(NEyEthDi@@@@@@,(K @wtq(ME(zEyD,z@D`L@@@@@-(J @(LE:{ED>ɠ#E}L#@@@@@-(I @(KEK|EDO@۩95ʐ@@@@@-((H @(JE\}EEIE 7@@@@@-9(G @(IEm~EDqZk5\@@@@@-K(F @Πˠ(HEEжDѩlLh@@@@@-\(E @ߠܠ(GE@EFʩxLLx_@@@@@-l(D @(FEAEFڶ@LL@@6@@-}(C @(EEBFD+$F&@(BL6@@@@@-(A @(CECF#D+9F;@@(@L7_@@6@@-(? @+(%(AEDF9-D.+O/FQ@1@͠7t;@@5r@@-(> @@=:(@EEFNBDC+dDFf-@@+*@@5@@-Ѡ(= @TQN(?FFFbVAlF^(3@@(0@@-㠠(' @fc`()FGFm@@(%@@-($ @(#(!v^yM@(&w(|yv(@'@@.' @@ː''@@@@.' @'FFH(FܶFA^M82@(VAlDƩA;=M?M7@@'@@.+' @'F_I(_'JLH@(*$;HMU@@A@@.A' @Ġ'FuJFƩa,HMg@@A@@.S' @֠Ӡ'FKFض'''MvBYFMxX(MzM{Ms'ϠO@''@@.i' @'FL'';e@'Bo'MF@E@ '@G6;E,@ @F @''BM~'@''@@.' @  'FM(';@'C(MG"@G$E7;@'{@F,HM@GA7$;lE"@7'x@G  J@'w;VL'v;J'u@'t'p@@.'j @852'lFN(E'i;'cCE(=MضGJ>@:̶@Gb)7E;ֶ@'\BB@'W'S@@.͠'M @PMJ'OGO(]'L;ɶ@T'FC^Ӷ(VM@GdXF Y7]C@'?@JMM@GH7d;Gnb@G^y:@'>;m8 '=Gwk<N '<@';'7@@.'1 @yvs'3G*P('0'*'(;'"C@g'6(F'FG@'@Gn7;Ķ';Ŷ@o';ՠ'' @' '@@/& @&GIQ<@&@G@;-@GFS@;/G@G&ܶ@&۶GC @&&@@/1&֐ @&GeR<,@&ն@GFl@4&϶@NQ@GG@@7 &JGWHRF)R&G)HNDRǶ@4HPK<WN@&A&?@@/Ԡ&( @WTQ&*HX)d&'&&&&޶De޶&!Db@&٩D\'&N&&MGtKUN)fDHsgHP<&DO &@@&@@/& @yvs&H*Y)&I''D&BD@ (D} ) &O)Kt& GH@(=& & @@&@@0& @&HGZ)&f'#'!''D&`?&W:)DKHGR@<砩&&@@&@@0-% @%Ha[)&DD)OHHOQ1OSOLOTOT@@%@@0@% @à%Ht\)&'P'N'L'JDJ&l&g)DxH̶H@=K==fK©=gOh1@@%@@0\% @ߠܠ%H])&'l'j'h'fDf&&)DHI Ѷ@=0I@@%@@0t% @%H^*&Ƕ''''~E~&&)DI I"@=H=O=E=Ke@@%@@0% @ %H_* &''''E!&&*DȶI(I>@=d}@@&@@0% @+(%%H`*8&''''E9&Զ&϶*3DI@4G5==~D=DO֩=DOѩ%@@%@@0Ơ%ې @IFC%Ha*V'''Զ''жEWж'' *QDI^RHS==E@@%@@0ߠ%א @b_\%Ib*o'2''''Ep', '#*jEIwkHl@IVIi==>4Ld=> PҐ@@%@@0%Ԑ @~{%I2cI%%ѩI%ө%շ@q%PP%%Ƞ%P!%P)@@%@@1% @%IIdII%%P:%Ґ@@%@@1&% @%IZeI({+]CoũCqIDyI&Gݩ%F@@%@@1A% @Ġ%IufIƶ@۩IͰ&%@@@@@1Q% @ԠѠ%IgIֶH׶I@@p%I&*-E&!09N@@@@@1i% @%IhIDI&?B&&@@@@@1z% @%IiJ @y@@@@@1% @ %IjJ %&[@J&^Z%%J5n@@%@@1% @%IkJ- !@J4% JH (@@%@@1% @2/,%IlJ@ 4H 5@J<&Lj@@%@@1% @DA>%ImFJFC I&%@@IW@@1Ѡ% @TQN%JnJ[&&@@@@@1ࠠ%~ @c`]%JoJ MJk&0%}@@@@@1%{ @tqn%}J%pJ vI) wJ}&Ʃ&ː͐Ȑ@@@@@2%z @%|J;qJ I? @!J&ݩR&Ѡ\ݐ@@@@@2%y @%{JPrJ IT @%x@@@@@2,%o @%qJ`sJ Id J @5@@J%n 9ې@@@@@2C%i @Ơà%kJwtJ ȶI{ ɩJϰ'' R'!@@@@@2Y%h @ܠ٠%jJuJ ޶I ߩJ'.%gf@@@@@2k%b @%dJvJ I %Ơ&$@@@@@2{%a @%cJwK !K" @ K'QT ΐ@@@@@2%` @ %bJxK!K5 @K'd'Z@@@@@2%_ @$!%aJyK2!&KH!@ (K.'w'm|@@@@@2%^ @963%`JzKG!;K]!$@ KC'@@@@@2@@@@@#K:)#KKK@A@%_%^ @K]!QKs!: R@@!S%@(Ensemblef %M^[X@@@IJA|A%@A@@%C%3 @mjg@V@K{!oK!XF6 r%'!\U#7@%%TIR@@@@%\% @@VAK!J;!FOȩ%!uM~@@0@@%o% @@V2BK!JN!Fb %S@(Same_setER@@F@@%$ @@VHC!>ީ$ @@@V@:@AB@@%$ @@VZDK!ö@ة&!R@@@@%$ @ѠΠ@VjEK!5!an$d@@@y@:@IA,@ABC@@%$ِ @@VFK!J!K!өw$a@@@@%Π$ː @@VGL!J!]!$s@@(@@%ࠠ$ @ @VHL-!L" o!ũ$!R@@@JA'A$%@A@;.@A@ABC@@%$ @&# @VILI#L5")J"*@ "$װ"NaO @@Y@@&$ @;85@VJL^"%LJ">"(̐ߩ$1@@0@@&$$ @NKH@VKL\"P+Finite_sets&@&Finite@"Cΐ@@@@JHA*#A @AB@@&A$ @khe@WLLy"m@(6\@"\Đ@@@@&U$t @|y@WM$v/@3+T"L""qS$@@@KADW@-@0@ABC@@&n@@@@@$NL;w$QMLL@A@&@@@8!@8!U-RelationPairs'Classes#Coq@@A@A9!@9!àV @A@@#|@@#|] @A@A#@A#^@A@ABC ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AD@cA&&&@A.0TQ+Ring_theory+setoid_ring#Coq@@ABA.U>[J @0A8ӠA4Relation_Definitions)Relations#Coq@@AB5A @5A @A$@B%3@CD%2$E@(OrdersEx*Structures#Coq@'N_as_DT0Private_OrderTac'IsTotal&BinNat&NArith#Coq@!N  @A'N_as_OT@B)Nat_as_DT0Private_OrderTac'IsTotal(PeanoNat%Arith#Coq@#Nat  @/)Nat_as_OT@A3'Z_as_DT0Private_OrderTac'IsTotal&BinInt&ZArith#Coq@!Z  @E'Z_as_OT@+Private_Div&NZQuot@ @ABCDE/DecidableTypeEx*Structures#Coq@'N_as_DT-OrderedTypeEx*Structures#Coq@'N_as_OT@eX@NY@AB)Nat_as_DT)Nat_as_OT@OI@=J@ABCF.Positive_as_DT.Positive_as_OT@u.Positive_as_DT&BinPos&PArith#Coq@#Pos@A,POrderedType&PArith#Coq@.Positive_as_DT&BinPos&PArith#Coq@#Pos@.Positive_as_OT@AB.Positive_as_OT@h1Private_BootStrapd@AY@+Private_Dec@AB@+Private_Dec@z@6+Private_Dec6@ABCDE.+Private_Dec'@#  @A" / @+Private_Dec@ABx@ur@ACor@-Private_NZDiv@A@-Private_NZDiv@AB@-Private_NZDiv@ACD@-Private_NZPow@A@-Private_NZPow@AB@.Private_NZSqrt@AC@.Private_NZSqrt@A@@AB@@ACDEF@@A@.Private_Parity@AB@+Private_Tac@AC@+Private_Tac@@+Private_Tac@ABCD+Private_Tac@|  @A{ @B+Private_Tac@@A(Quot2Div@BC@!#Tac@A @B #Tac@@#Tac@@ABC&Vector'Vectors#Coq@/VectorNotations)VectorDef'Vectors#Coq@ @'Z_as_DT'Z_as_OT@@@ABCDEFGHI@J@&@+tail_addmulJ#Nat$Init#Coq@@ F2e@A@A"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@B\@=@'quotrem\)BinIntDef&ZArith#Coq@!Z@ /@A@\@M@+pred_double\@/S@@A@E@t@'compareE)BinNatDef&NArith#Coq@!N@ ?H{@A@ABs2@9@&shiftls20@vY@A@CDs8@>@&shiftrs85@vY@A@ѓ@F@&squareѓ=@y@A@A@K@&to_intϑB@@A@Bz@x@&doublez;@/!@A@C@@&divmodCc@C@A@O@@&doubleOۑi@NĴ@A@V@@(size_natV8@{@A@ABC@@(nth_map2*VectorSpec'Vectors#Coq@@ 8"@A@@@*fold_left2@6U@A@j@@%j$@A@AB"W@@*fold_right"W@6N@A@ J@@( J'@A@([@@&([%@A@ABCDEF/@@)log2_iter/@wd@A@NH/@@&moduloNH/@1,@A@A\d@@&of_int\d@1?A @A@Bbz@@&of_natbz@1?G!@A@@@&modulo@"i@A@@@&of_intő@6@A@AB`@@0double_pred_mask`ϑ)BinPosDef&PArith#Coq@#Pos@ 0-+m@A@#@@&shiftl#@1dV@A@#@@&shiftr#@1d\@A@ABCD/x@&BinPos&PArith#Coq@#Pos@)pred_mask/x)BinPosDef&PArith#Coq@#Pos@ )X@A@6@ @&square6@19@A@AV+L@@&to_intV+L@2@A@V1b@@&to_natV1b@2 @A@V5=@@&to_posV5=@2@A@ABCl@@)sqrt_iterl@!$:@A@s:@4@\s:[@A@w?@K@&shiftlw?@vY@A@w?@Q@&shiftrw?@vY@A@ABC@@F@(sub_mask@=@)@A@^@]@&square^$@y@A@Ab@ @'iter_opb)BinPosDef&PArith#Coq@#Pos@  @A@@r@&to_intꭑ9@@A@AO4@d@O4@A@P@e@'of_uintP"@'"h@A@A>@@>@A@BCDEFGH c@?@'testbit c6@!ć@A@7 B@@'of_uint7 Bw@*`]?@A@AE)@@*shiftl_natE)%@y/@A@Hr@@PHrO@A@ABHr@@MHrL@A@Q@@*shiftr_natQ3@4@A@A[b@@K[bJ@A@g@5@JgёI@A@{@@>{=@A@@@87@A@ABCDEG@@)mask_rectG@+ED@A@\@@)log2_iter\@wd@A@AИ@@/И.@A@"X@@(div_eucl"Xn@(*k@A@"@@+"*@A@ABCF˱@@)add_carryF˱@+p@A@Jj@t@+pred_doubleJj@25\@A@AK5@@*Forall_indK5@9M@A@X@@/shiftrepeat_nthX6@;\@A@ABDF^Ҷ@@'to_uint^Ҷ@#m@A@gL7@@'sqrtremgL7@40@A@Av@-PositiveOrder"TO@'comparevd@@,compare_cont$ W#Pos@!)Datatypes$Init@*comparison;f@A@A@B.@@÷.̑%@2j@A@@@cb@A@E@@^EǑ]@A@AB-@@Q-P@A@%a@/@)sqrt_iter%a@!$:@A@Apb;@@pb;@A@Bq@@'testbitq@5)@A@lA@=@'testbitlA@!ć@A@@0@Б@A@ABCDEG@/@-replace_order)@:k@A@2s@8@,shiftin_last2s@=Nn@A@A6k @@&of_int6k ^@4}5@A@6q @@&of_nat6q d@4};@A@AB>@@(mask_ind>i@4@A@>@@(mask_rec>p@4@A@t@@&pred_Ntv@4s)@A@ABxYe@Z@!txYeT@;z@A@CDx^@_@"Inx^ʑY@;z!@A@xa @g@"hdxa a@;zd@A@Axa@l@"tlxaf@;zP@A@Bx#@q@#eqbx#(VectorEq'Vectors#Coq@@ /@A@x[@@#etax[@> .@A@AxI@@#mapxI~@;{&@A@BCEHx@@#nthx@;{)j@A@y@@#revy@;{-@A@AG8@@$castG8'@/Y@A@B8[@@$last8[@;d@A@R@@$map2R@;@A@A @@$take @;:c@A@@@@A@AҎU@f@&shiftlҎU@5X@A@Ҏ[@l@&shiftrҎ[@5X@A@ABCDݎO@@+succ_doubleݎO{@6r@A@8@z@&square8@5,x@A@R@@'pos_subR@+ie@A@AB9@@&to_int9@5L@A@@@@&to_nat@@5L @A@@@'pow_pos@+q @A@ABCy@@y@A@@@@A@AD @@ @A@@@@A@@ @'to_uint@#m@A@AE@@E@A@BCHI@@%case0HI@@A@ @@$even w@>4@A@ADE @@$ggcd Б|@>U@A@ @@$iter @>:@A@A 3"@@$land 3"@>m@A@ F)@@$log2 F)@>t@A@AB S@@$lxor S@>@A@ @@$pred @?U@A@AC @@$size ܑ@?'@A@ !@@$sqrt !@?@A@A ! @@$succ ! @?\@A@BD !7@@$zero !7@@P@A@ "?@@ "?@A@ ~]w@'@,pos_div_eucl ~]w@-u@A@A L@@V LU@A@BCEF *@@%ldiff *@@A@ @@'testbit Z@8g$@A@A 2*@@!t 2*@#EE@A@ 2@@#add 2@#Fj@A@AB 2X@@#eqb 2X@#F@A@ 2"@ @#gcd 2"@#F@A@AC 2S@@#leb 2S @#F@A@ 2!@@#lor 2!@#F@A@A 2p@@#ltb 2p@#F@A@ 2ˆ@%@#max 2ˆ@#F1@A@AB 2@*@#min 2!@#F@A@ 2@1@#mul 2(@#F@A@A 2@6@#pow 2ʑ-@#Fu@A@ 2b@<@#sub 2b3@#F @A@ABCD =>w@A@$div2 =>w8@#Q"@A@ =H@I@$gcdn =H@@#QX@A@A =@N@$ggcd =ϑE@#Q^z@A@ =@T@$iter =K@#Q@A@AB > !@Y@$land > !P@#Q@A@ >$R@a@$mask >$RX@#Q@A@A >)@f@$lxor >)]@#Q\@A@ >@l@$pred >c@#R_F@A@AB >@q@$size >ۑh@#R@A@ >ۚ@x@$sqrt >ۚo@#RE@A@A >@}@$succ >t@#R@A@ N@@.to_little_uint Nz@#b@A@ O@@ O@A@ABCDEFG g@@,sqrtrem_step g@8R@A@ @@ @A@A `@@,compare_spec `@*YJ@A@ (@@ (@A@A @@ @A@BC O@@,take_prf_irr OS@*@A@ ^ @@ ^ @A@A .@@ .@A@ @@ Ǒ@A@AB @@ @A@ @@ ‘@A@ACD @@ @A@ @@ ߑ@A@A @@ @A@ @@ @A@AB e@@ e@A@ 9@@ 9@A@ACE @@ ё@A@ W@@%ggcdn W@$*@A@A q@@ q@A@ @@ @A@AB >@@ >@A@ ]@@ ]@A@AC <@@ <@A@ W@@ W@A@A ] @@ ] @A@  @@  @A@AB J@@ J@A@  @@  @A@AC @@ @A@ @@%ldiff @$'R@A@ @@ @A@AB 86#@@ 86#@A@ G@_@ G@A@AC g_@i@+pred_double g_`@25\@A@ q@i@(take_app q@lm@A@A r@!@'to_uint rّ@9w@A@ y!@b@1 y!0@A@ \@f@% \$@A@ABCDEF m@@÷ my@2j@A@ @@+Exists2_ind Ñ}@ @A@A ۊ@(@g ۊf@A@ 4@,@: 49@A@ }@~@ }@A@ABC D!H@1@% D!H$@A@ @@ Ñ@A@A (@@ (@A@ /@@ /@A@A k@@'nth_map k@wF@A@BCS@@&of_intS㫑@4}5@A@S@@&of_natS@4};@A@ADEGHIK\R@@(mask_ind\R@4@A@\^@@(mask_rec\^@4@A@AkH2@@kH2@A@oLC@@oLC@A@oLI@@oLI@A@ABCũ@@*Exists_indũ@@A@l&@@l&@A@AǛ@@'of_listǛ@@A@BD!,@@&pred_N!,@4s)@A@@@@A@A@@@A@@@ё@A@\g@@+\g*@A@b}@@*b})@A@ABCD@@&shiftl@5X@A@@@&shiftr@5X@A@A&@ @&square&ّ@5,x@A@BEF"@@&to_int" @5L@A@"@@&to_nat"@5L @A@A@@@+@*@A@@@ @)@(@A@ABS@@ S @A@s+O@@ s+O @A@s1e@@ s1e @A@s5@@@s5@@A@ABCDnTq@6@+testbit_natnTq-@6n@A@B@@(succ_posB@@A@@=@dˑc@A@AI@:@'abs_natI@?n@A@BC.@@'of_uint.@MS@A@3~@S@'sqrtrem3~J@7]%{@A@AD@@@)pred_maskD@@)X@A@L:@F@L:~@A@AU@@(sub_maskU@)@A@yt@a@Ayt@@A@*@@*@A@ABCDEFG,@:@'bitwise,1@/v@A@>4'@w@'testbit>4'n@8g$@A@L@5@'of_uintL,@*`]?@A@Ad;@|@*rev_appendd;v@fh:@A@k@"@'kđ&@A@ABC{U@@,sqrtrem_step{U@8R@A@@{@ml@A@Au^@/@(div_euclu^&@ @A@Bu@@&Existsu@@A@UA@@&ForallUA@@A@Aq@`@)mask_rectqW@+ED@A@@H@10@A@AB#N@@&In_ind#N@%@A@)Z@@)Z@A@\J@t@)add_carry\Jk@+p@A@ABy@@+lt_strorderyi@2@A@CDEFfz@@'to_uintfz@9w@A@@j@('@A@AO@@+of_succ_natO@$@A@R@@R@A@-}r@w@!-}r @A@ABC,@x@ , @A@[@@'bitwise[ˑ@/v@A@:@@:@A@ABl@@'comparel@3R@A@CA@@&appendA@ m@A@L9@@&caseS'L9@ x@A@ADEW@@'replaceWݑ@ 4@A@K@@&eq_decK@?w@A@K~@@&eqb_eqK~@?w@A@MĚ@ @)nth_orderMĚ@ O@A@ABCFGHs8@@+of_uint_accs8@5+@A@@@3to_list_of_list_opp@<@A@A}@@,pos_div_eucl}@&`@A@W@@0double_pred_maskW‘@0-+m@A@AB3x@%@'compare3x@]=@A@7@I@'compare7@3R@A@A1@@1@A@bA@n@!tbA@2@A@ABCf@s@#addf@3 @A@@z@#div@3@A@A@@#eqb@3@A@@@#gcdɑ@3n@A@ABD@@#leb@3@A@@@#lorȑ@3m@A@A@@#ltb @3@A@-@@#max-@3@A@AB@@#min@3`@A@@@#mul@3B@A@A$@@#odd$#@3@A@@@#one)@3@A@ABCq@@#powq.@3@A@ @@#sub 7@3@A@A@@#two<@3J@A@ v@@$div2 vB@>@A@AB 7@@$even 7G@>4@A@ v@@$ggcd vN@>U@A@A @@$iter S@>:@A@ @@@$land @ȑY@>m@A@ABC S@@$log2 Sϑ^@>t@A@ aX@@$lxor aXf@>@A@A B@@$pred Bk@?U@A@ @@$size q@?'@A@AB A@ @$sqrt Av@?@A@ @ @$succ |@?\@A@ @ @$zero ݑ@@P@A@Xkf@@Xkf@A@ABCDEFG`<@@&t_rect`<@ b@A@c`@@&take_Oc`Y@3@A@A@@&double@'޺_@A@Е@ @Е@A@AB%@ @%Ց@A@*@ @*@A@AC,n@ @,n@A@.8@ %@.8@A@A5i@ (@5i@A@67@ ,@67@A@AB6@ /@6@A@6@ 3@6@A@ACD7*@ 6@7*@A@8 @ <@8 @A@A9@ ?@9@A@:R@ C@:R@A@AB;@ F@;@A@@x@ J@@x@A@ACEB@ M@B@A@۩@ U@۩@A@Aզ@ X@զ@A@@ \@@A@AB>@ _@>@A@t7@ c@t7@A@AC܇>@ f@܇>@A@ܔ@ m@ܔǑ@A@A@ p@@A@;@ t@;@A@ABF@ w@F@A@K&@ {@K&@A@L@ @L@A@8N@ @%ldiff8N@@A@ABCD(@m@'shiftin(g@*I@A@,r@ @+of_uint_acc,rS@5+@A@A}a@ 8@+pred_double}a/@25\@A@k@ @k@A@%@ B@÷%9@2j@A@ABCq@@+of_succ_natq@$@A@@ @@A@Aw@2@&modulowɑ)@)1@A@BDEFK@7@&of_intK.@)j,I@A@K@>@&of_natK5@)j2_@A@N @ F@,N +@A@AH@@'Exists2H@uF@A@Y.@ O@+Y.*@A@ABCI@Q@&shiftlIH@*O@A@O@X@&shiftrOO@*O@A@A,@]@&square,T@*ow@A@@ @ݑ@A@AZ@g@&to_intZ^@*81@A@BCDGHIJ`@l@&to_nat`c@*9G@A@ia@ @&of_intia@4}5@A@Aih@ @&of_natih@4};@A@q@ @(mask_indq@4@A@Aq @ @(mask_recq @4@A@~@ @&pred_N~@4s)@A@L@ @L@A@ABCD<@ @'compare<@ )Q@A@H@ @&shiftlH@5X@A@N@ @&shiftrN@5X@A@AB@ @'Forall2 @?j@A@+@ @&square+@5,x@A@Ac@97@'le_lteqc @;@A@80@ @&to_int80@5L@A@AB86@ @&to_nat86@5L @A@:l@ @R:lQ@A@A:@ @P:O@A@Cu@ @MCuL@A@Cz@ @LCzK@A@ABCDEFe@@+testbit_nateđ@+@A@x@ @RxQ@A@A@ @LK@A@B'@ G@+Forall2_ind' A@ ~@A@ָ@ @OָN@A@Aָ@ @LָK@A@ؚ@ @DؚC@A@A"@ Y@'to_list"ӑ S@O*@A@ dT@ @A dT@@A@ jj@ @@ jj?@A@ABCDE+{@@'sqrtrem+{ё@,J@A@VR@ !@(size_natVR@ @A@@ 2@+testbit_natÑ)@6n@A@AB[@ ,@+of_uint_acc[@ ΋@A@CF'@@!tF'J'BinNums'Numbers@(positive*@@A@M@@"eqM^%Logic@"eq @@A@AN@@"leNh!x'!y*@#notШ@'compare@ )QڀBAC@A@BDFGN+@@"ltN+h$I"J7B@A@ @ @+double_mask @ S@A@@ @'div2_up@ "@A@AB@ @0shiftrepeat_last K@@A@'@ @z'y@A@A5z@@'testbit5z@-T|@A@IQ@ @'sqrtremIQБ@7]%{@A@U2@ @U2@A@ABCDX@ @Xʑ@A@p?$@ @)p?$(@A@PL@ 6@(succ_posPL @@A@ABK@ @,K+@A@ ;@ @@'of_uint ; @MS@A@A ?@ @! ? @A@ Sy@ @'testbit Sy@8g$@A@A dL@ @'Ndouble dL =@ @A@ e@ =@ e@A@ABCDEH @@'to_uint ͑@.@A@ @ @,sqrtrem_step @8R@A@A @@+succ_double @.^4@A@ @ V@. -@A@!$@ @(!$'@A@ABC!5m@ @&!5m%@A@!En@ @*shiftl_nat!En g@9-@A@!Q\@ @*shiftr_nat!Q\ m@'@A@!k-@ @"!k-!@A@ABCD!lK@ U@)const_nth!lK @@A@!tTt@ @0succ_double_mask!tTt }@@A@!@ @(div_eucl! @ @A@AB!K@ g@+fold_right2!K a@x @A@!@ +@'to_uint!̑ "@9w@A@ACE"@ @,"+@A@""d@ @-""d,@A@A"E@ @ "E@A@"Vs@ @"Vs@A@"w;@ %@"w;@A@AB#:$@ ;@#:$ @!@A@#E*@ @b#E*a@A@ACD#@ @'compare#ݑ @ )Q@A@$ W@ 5@$ W@A@$Px@ @p$Pxo@A@AB$@ @8fold_left_right_assoc_eq$ @3@A@CE%t2@ @(size_nat%t2 @ @A@%9@ @+of_uint_acc%9 @ ΋@A@A%V@ @+double_mask%V @ S@A@%%@ @'div2_up%% @ "@A@%R@ @)take_idem%R %@-W@A@&#@ @,pos_div_eucl&# h@&`@A@ABCDFG'ş@ @'Ndouble'ş @ @A@'@ @.sub_mask_carry' @΂@A@'@ @'@A@AB(K|@ @*eqb_nat_eq(K|g@w@A@(Xe@ }@(Xe@A@A(b0@ @*shiftl_nat(b0 @9-@A@BC(nՖ@ @*shiftr_nat(nՖ @'@A@(@ @0succ_double_mask( @@A@A('@ '@&double(' @'޺_@A@B)B@ @+of_succ_nat)B @$@A@)|[)@ @ )|[) @A@A)#@ @ )# @A@B)o@ :@&modulo)o @)1@A@*6@ A@&of_int*6 @)j,I@A@*6@ G@&of_nat*6 @)j2_@A@AB*W$@ @,compare_cont*W$ @!@A@*@ @(cons_inj* @!@A@ACDEF*A@ $@(shiftout*A @@A@*θ@ I@'*θޑ&@A@A*Ҽ@ d@&shiftl*Ҽ @*O@A@*Ҽ@ j@&shiftr*Ҽ @*O@A@AB*@ o@&square*ґ @*ow@A@+h@ u@&to_int+h @*81@A@AC+n@ z@&to_nat+n @*9G@A@+@ j@A+@@A@A+)@ m@>+)=@A@+^@ q@%+^$@A@AB+d@ t@"+d!@A@+A@ z@#+A"@A@A+֛@ }@ +֛@A@+֢@ @+֢@A@AB,Q j@ @+testbit_nat,Q j @+@A@-w@ @'sqrtrem-w @,J@A@-"=@ @ -"=ّ @A@AB-)b@  @)lt_compat-)b '@ 1@A@-@ @-@A@. @ @'testbit.  +@-T|@A@ABCDEF.bo@ <@'iter_op.bo @ @A@.f@  @&eq_dec.fޑ ?@ @A@A.0@ @.sub_mask_carry.0 @΂@A@B.@ n@!t. e@ ;@A@.먩@ u@#add.먩 l@ `@A@A.U@ z@#div.U q@ @A@.B@ @#eqb.B x@ @A@A. @ @#gcd.  }@ @A@.=@ @#leb.= @ @A@ABCDGHIJKL. @ @#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@ @#sub.L @ @A@.@ @#two. @ @A@.@ @{.z@A@ABCDE.,a@ @$div2.,a @ @A@.Xz@ @$even.Xz @ ?1@A@A.@ @$iter.ؑ @ @A@B. @ @$land.  @ @A@. @ @$log2.  @ @A@ACF.@ @$lxor. @ R@A@.y@ @$pred.y @ `<@A@A.Ʉ@ @$sqrt.Ʉ @ ;@A@.@ @$succ. @ @A@.t @ @$zero.t  @ Z@A@ABC/@ @.to_little_uint/ @ @A@/4@ @/4ޑ@A@/ss@ {@'to_uint/ss @.@A@A/w@ o m@(eq_equiv/w玑 @M@A@/ˏ@ @+succ_double/ˏ @.^4@A@ABCDG/@ +@%ldiff/ "@ H@A@0DO@ @0DO@A@0]@ @0]@A@AB00@ @'compare00 @?H{@A@1P%@ k@!t1P% .@  @A@AC1P@ p@#abs1P 3@ @A@1P&@ w@#add1P& :@ @A@A1P@ |@#div1Pґ ?@ y@A@BD1P@ @#eqb1P D@ f@A@1P@ @#gcd1P L@ 0@A@A1P@ @#geb1P Q@ T@A@B1P@ @#gtb1Pʑ V@ q@A@1Pĺ@ @#leb1Pĺ ]@ a@A@A1Pň@ @#lor1Pň b@ /@A@BCE1P@ @#ltb1Pב g@ ~@A@1P@ @#max1P p@ @A@A1P{@ @#min1P{ u@ "@A@B1P]@ @#mul1P] z@ @A@1P@ @#odd1P @ @A@A1Pɣ@ @#one1Pɣ @ J@A@BC1P@ @#opp1Pԑ @ {@A@1P1@ @#pow1P1 @ @A@A1P;@ @#rem1P; @ @A@B1P@ @#sgn1Pˑ @ r@A@1P@ @#sub1Pɑ @ p@A@A1Pe@ @#two1Pe @  @A@BCDF1[8@ @$div21[8ޑ @ @A@1[d@ @$even1[d @ I@A@A1[6@ @$ggcd1[6 @ i@A@B1[U@@$iter1[U @ @A@1\@@$land1\ @ /@A@A1\@ @$log21\ @ 6@A@BC1\$@@$lxor1\$ @ @A@1\Y@@$of_N1\YÑ @ >j@A@A1\@@$pred1\ @ j@A@B1\@$@$quot1\֑ @ }@A@1\@+@$sqrt1\ @ @A@A1\w@0@$succ1\w @ @A@BCD1\k@5@$to_N1\k @ @A@1]@>@$zero1] @ eD@A@A1b@`@!t1b '@ ;@A@1t@f@#add1t -@ `@A@AB1y3@k@#div1y3 2@ @A@1{ @r@#eqb1{  9@ @A@A1|@w@#gcd1| >@ @A@1@}@#leb1 D@ @A@ABC1@@#lor1 I@ @A@18@@#ltb18 P@ @A@A1N@@#max1N U@ '@A@1@@#min1ܑ [@ @A@ABDE1@@#mul1 `@ @A@1E@@#odd1E j@ @A@A1@@#one1 o@ @A@1@@#pow1 u@ k@A@AB1*@@#sub1* z@ @A@1@@#two1Ƒ @ @A@A1?@@$div21? @ @A@1$X@@$even1$X @ ?1@A@ABC1@@$iter1 @ @A@1@@$land1 @ @A@A1@@$log21 @ @A@1y@@$lxor1y @ R@A@ABD1Ec@@$pred1Ec @ `<@A@1b@@$sqrt1b @ ;@A@A1@@$succ1ؑ @ @A@1?@@$zero1? @ Z@A@1@@.to_little_uint1 @ @A@2~/@@'compare2~/ @ )Q@A@ABCDEF2:@@%abs_N2: @ @A@21@@%ldiff21 @ ߵ@A@2=*@@%quot22=* @ @A@AB2kF@ @(size_nat2kF @{@A@2u@ @2uё@A@A2u@@2u@A@BC2u@@2u@A@2u@@2u@A@A2uY@@2uY@A@B2u@@2u@A@2uX@#@2uX@A@A2u@&@2u@A@BCD2u@)@2u@A@2uK@1@2uK@A@A2u-@4@2u-@A@B2u@7@2u@A@2us@<@2us@A@A2u@?@2u@A@BC2u™@B@2u™@A@2u5@H@2u5@A@A2+@K@2+@A@B2W@N@2WǑ@A@2%@S@2%@A@A2X@V@2X@A@BCD2 _@Y@2 _@A@2@`@2@A@A2x@c@2xґ@A@B2@f@2ё@A@2G@k@2G@A@A2sm@n@2sm@A@BC2o@@%ldiff2oK@ H@A@2T@x@2T@A@2汞@@2汞@A@3V@@3Vޑ@A@ABC3s&@@*eq_nth_iff3s& @*@A@3E@D@(size_nat3E ;@ @A@A3@]@(tail_add3T@^q@A@BDEFGHIJ3@b@(tail_mul3Y@^@A@3@P@,Nsucc_double3 @ ʭ@A@A3N@`@+of_uint_acc3N W@ ΋@A@3@f@+double_mask3 ]@ S@A@AB4 w@k@'div2_up4 w b@ "@A@4Z@T@.4Z䴑-@A@A4z3~@U@4z3~@A@4@[@4뽑@A@46@_@46@A@4B@c@4B@A@ABCDE5Z@ e@*shiftl_nat5Z \@y/@A@5f}@ m@*shiftr_nat5f} d@4@A@A5a@ @'iter_op5a @ @A@5C@@'Ndouble5C @ @A@A53@@!t53@#EE@A@BC5@@#add5̑@#Fj@A@5e@@#eqb5e @#F@A@A5/@@#gcd5/@#F@A@5`@@#leb5`@#F@A@ABDF5.@@#lor5.@#F@A@5}@@#ltb5}#@#F@A@A5ԓ@@#max5ԓ(@#F1@A@5!@@#min5!/@#F@A@A5@@#mul54@#F@A@5@@#pow5ב:@#Fu@A@5o@@#sub5o@@#F @A@ABCDG6w~@@'of_uint6w~@^5@A@6 G@@$div26 GM@#Q"@A@A6 U@@$gcdn6 UR@#QX@A@6 @@$ggcd6 ܑX@#Q^z@A@AB6 @@$iter6 ]@#Q@A@6 .@@$land6 .e@#Q@A@A6 -_@@$mask6 -_j@#Q@A@6 2@@$lxor6 2p@#Q\@A@AB6 @@$pred6 u@#R_F@A@6 @@$size6 |@#R@A@A6 @@$sqrt6 䧑@#RE@A@6 @@$succ6 @#R@A@6*@@.to_little_uint6*@#b@A@ABCDEH6W @q@)fold_left6W k@*Za@A@6_v@@(tail_add6_vZ@^q@A@A6_@@(tail_mul6_ϑ_@^@A@B6hw`@&@6hw`@A@6xe@H@*shiftl_nat6xe?@9-@A@6S@N@*shiftr_nat6SE@'@A@6Kg@T@0succ_double_mask6KgK@@A@ABCD6g@9@6g@A@6;@>@6;@A@A6@A@6ԑ@A@6@F@6@A@A6@I@6ϑ@A@6@M@6@A@ABCE6@P@6@A@6@V@6@A@A6@Y@6@A@6 r@]@6 r@A@AB6 F@`@6 F@A@6@e@6ޑ@A@A6`,@}@%ggcdn6`,@$*@A@6z@n@6z@A@ABCF6@q@6đ@A@6K@x@6K@A@A6j@{@6j@A@6E@@6E@A@AB6`@@6`Α@A@6f-@@6f-@A@A6@@6@A@6 W@@6 W@A@ABC6@@6@A@6@@6@A@A6 @@%ldiff6 @$'R@A@6 @@6 @A@AB70@ @70@A@70>@@70>@A@A7I@@7I@A@7UW@@7UW@A@7x~@@7x~֑@A@ABC7@@O7N@A@7=#@@!7=# @A@ADEFGI8j@@8j@A@8mv@@,compare_cont8mv@!@A@A8V@-@.nth_order_last8V@/71@A@8C\@J@'of_uint8C\@^5@A@9>N@@9>N@A@9v@A@ 9vˑ @A@ABCD9E@:@9Eđ@A@:El@E@/rev_append_tail:El?@.G@A@A:x@Q@,Nsucc_double:xH@ ʭ@A@<M@@)pred_mask<Mq@)X@A@@#max=M45@#F1@A@=M@D@#min=M‘;@#F@A@AB=N@I@#mul=N@@#F@A@=Rx@O@#pow=RxF@#Fu@A@AC=W@T@#sub=WK@#F @A@='%@\@$div2='%S@#Q"@A@A=(@a@$gcdn=(X@#QX@A@=( }@g@$ggcd=( }^@#Q^z@A@AB=(T@l@$iter=(Tc@#Q@A@=(@r@$land=(ϑi@#Q@A@ACD=(@w@$mask=(n@#Q@A@=(_@@$lxor=(_v@#Q\@A@A=) I@@$pred=) I{@#R_F@A@=)R@@$size=)R@#R@A@AB=)]H@@$sqrt=)]H@#RE@A@=)a@@$succ=)a@#R@A@=8@2@>=8ё=@A@ABCE=9R@@.to_little_uint=9Rˑ@#b@A@=Y@@+shiftin_nth=Yӑ @3뗦@A@A=g@@=gΑ@A@B=m%@@7=m%6@A@=m@@7=m6@A@A=m)@@3=m)2@A@BC=m@@1=mՑ0@A@=m@@1=m‘0@A@A=m@@,=m+@A@BDF=m@@*=m)@A@=m@@.=m͑-@A@A=mĽ@@*=mĽ)@A@B=mŋ@@(=mŋ'@A@=m@@(=mڑ'@A@A=m@@"=m!@A@BC=m~@@ =m~@A@=m`@@!=m` @A@A=m@@=m@A@B=mɦ@@=mɦ@A@=m@@=mב@A@A=m4@@=m4@A@BCD=m>@@=m>@A@=m@@=mΑ@A@A=m@@=m̑@A@B=mh@@=mh@A@=x8@@=x8@A@A=xd@@=xd@A@BC=x9@@=x9@A@=xX@@=xX@A@A=y@@=y@A@B=y@@=y@A@=y$@@=y$@A@A=yY@ @=yYƑ@A@BCD=y@ @=y@A@=y@@=yّ@A@A=y@@=y@A@B=yz@@=yz@A@=yn@@=yn@A@A=z@"@=z@A@B=}Ǣ@7@A=}Ǣ@@A@=@<@@=?@A@=X@@D=XC@A@AB=z@@)mask_rect=zd@+ED@A@=@@D=C@A@ACDEFG=@S@%ggcdn=͑J@$*@A@=U@[@%ldiff=UR@$'R@A@A>)S@ @)add_carry>)Sz@+p@A@>8=@N@s>8=r@A@A>N@Q@m>Nl@A@>Z-@V@l>Z-k@A@A>@ @(>'@A@BCD>@@@&divmod>7@C@A@>@G@&double>>@NĴ@A@>@{@+shiftrepeat>u@2Y@A@>@@(>'@A@ABC?2@~@]?2\@A@?G@@g?Gf@A@?@@4?֑3@A@AB?;@b@&modulo?;Y@"i@A@CDEHIJKLM@%Arith#Coq@0I|кX*o4)ArithRing+setoid_ring#Coq@0ṔCgt?}*Arith_base%Arith#Coq@0Ĕ}CS&Basics'Program#Coq@0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C0&BinInt&ZArith#Coq@0BpHޞun^)BinIntDef&ZArith#Coq@0ådR4Tuy'BinList+setoid_ring#Coq@0Au&BinNat&NArith#Coq@0K11ڤs+Π)BinNatDef&NArith#Coq@03@1O,[{ 'BinNums'Numbers#Coq@0dmk(5Ju<&BinPos&PArith#Coq@0vyػ0= u)BinPosDef&PArith#Coq@0}H d.%,b$Bool#Coq@0j 2cZ`FW'Bvector$Bool#Coq@0,rO3^~*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1+Compare_dec%Arith#Coq@0jXF 8999@05<s+ħU栠@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ-DecidableType*Structures#Coq@0kO!Z7+/DecidableTypeEx*Structures#Coq@0' m(k>4'Decimal$Init#Coq@0C涳N*ua;h;g;f@00qGL;rߌߠ%EqNat%Arith#Coq@0AIgՋXRV *EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼k0όe얟)H.Ƞ/EqualitiesFacts*Structures#Coq@0)n,:5-|!N@Ƞ+Equivalence'Classes#Coq@07;ꮹ)Factorial%Arith#Coq@0@oehJd#Fin'Vectors#Coq@0r'gް؅/׸999@0d]h :$m}-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh.+InitialRing+setoid_ring#Coq@0k/T=cN"Le%Arith#Coq@0d}Omq+$List%Lists#Coq@0>I+ListTactics%Lists#Coq@0,Jcy{;ΐ0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏*MSetDecide%MSets#Coq@0 agB;XRs:ߠ)MSetFacts%MSets#Coq@0ss|BEo_vWLHki0x* .>Sa0C!̢2X<l ~N#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ%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ɠ&NArith#Coq@0S22b%&*NArithRing+setoid_ring#Coq@0_ .Ys!Р'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠$Ndec&NArith#Coq@0${IէQ<^렠'Ndigits&NArith#Coq@0*SetoidList%Lists#Coq@0k窪ܸqS-SetoidTactics'Classes#Coq@0S_`nOU$&Sorted'Sorting#Coq@0bb1z٠&Specif$Init#Coq@0;RWMi\N'Sumbool$Bool#Coq@0sB ,$11.]m'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@033 ٠(VectorEq'Vectors#Coq@0#'`ԶlxjT*VectorSpec'Vectors#Coq@0GyK5%l6L"Wf$Init#Coq@0q+W,J+$Wf_Z&ZArith#Coq@0`&irrHȠrp@grHȠ@g@grgA@A@g:pܠ@@O @pq@A@O@p@g9O^q@A@AB@gPgq@ABA2 Q@@@@#_11A @A@@@@@@@@#_122M접 =p@n/X!#_13'`o@A@@A@#_14@@@@"!!@@@@@"!!@@@@@@#_15%c?@@@AB@@@r|rr@$ !! A2 Q@@A@#_16r}@A-X@A@@@@H@#_172M접 #_18'`o@B@@@o*o2@A2 Q@@A@#_19r@A<^@A@@@@o@#_202M접 #_21'`o@B@@@nwnt@#_22@FF@F@@F@@FA@'_ === _@F @@XX#===G@@@@@A@@$ ===@A@@B@@@@@#_23%c?@@Xy@@@H@@@@AꠐByXH@@@@>s"s@) a === b B2 Q@@A@#_24s#@B.A@A@@@@@#_252M접 #_26'`o@B@@@o?o<@B2 Q@@A@#_27sJ@B @A@@@@@#_282M접 #_29'`o@@@@B2 Q@@A@#_30si@B8>@A@@@@4@#_312M접 #_32'`o@B@@@oB"@B2 Q@@A@#_33s@BF_@A@@@@[@#_342M접 #_35'`o@A@@q@B2 Q@@A@#_36s@B":W@A@@@@~@#_372M접 #_38'`o@B@@@qq@B2 Q@@A@#_39s@B)si@A@@@@@#_402M접 #_41'`o@B@@@qȠq@B%2 Q@@A@#_42t@B0 l@A@@@@@#_432M접 #_44'`o@B@@@rFrD@B"2 Q@@A@#_45t(@B-3+L@A@@@@@#_462M접 #_47'`o@D@@@@@t hߠh⠐B@@B,2 Q@@A@#_48tW@B7;0@A@@@@"@#_492M접 #_50'`o@B@@@rsrq@B12 Q@@A@#_51t~@B<8s@A@@@@I@#_522M접 #_53'`o@A@@D@B)2 Q@@A@#_54t@B4'#@A@@@@l@#_552M접 #_56'`o@A@@D5@B*2 Q@@A@#_57t@B5n@A@@@@@#_582M접 #_59'`o@B@@@DTB@@BrHȠB@@;Ġ@;ƠtB@A@t@@@K @B@AK A@A@K@@@K@@A@//%@@@//%@@A@ABC@sĠ;֠@@m@@@@m@@A@A@AB@@btkEq@"(Zavf-0_qք@fx$X ]Vq@@0s(f''s8!sA!M/MSetToFiniteSet%MSets#Coq@@!tF!x@!U@ O %Logic$Init@#andЖw@A@(@"InK瀠AB C !HC97)8@#elt󀩚#@#iffС)D0WS_to_Finite_set@%mkEns.*u CQOA+)Ensembles$SetsQ@0-B%01ec"s'fN@!a4@FA=?a8@JEDMG@i@ A FLGMC~|}@@&Subset`83@(Included"=T/H`.%lemmaY@%EqualrڀQ##v)Morphisms'Classes@=trans_co_eq_inv_impl_morphism&ni$As/RelationClasses @.iff_Transitive*z!>?m@(Same_setERk %@/eq_proper_proxy)f "MP@0double_inclusion&Հ@@ww@nD_v{c@Mhɩk T|@ϠɐE@'and_ind14ۀ "H0"H1ж@ܐFط٩ܩ.73)89 @@GCk"@ 4@%empty-7@)Empty_setįu@ 3 @  9 2@%Falsee@@2subrelation_properJ74!A!B@*respectful%WO?@)++&Basics'Programg@$impl7o.Morphisms_Prop@9iff_iff_iff_impl_morphism8C!?A@$flip$)Datatypesm@$unitUe@A@6subrelation_respectful>6z ;YY@0subrelation_reflv `7! bb b!@9iff_flip_impl_subrelation2VA`Ywll@6reflexive_proper_proxy5n@-iff_Reflexive/hxp"FM@)empty_iff7?x#Dec!F@ Q=8z{@@D@<-@>Reflexive_partial_app_morphism 2R,({Zn@+~{qg_TJ5)A@@D!y@@@"eq @{@ ĐA+C8ǩŐΩ@%Emptyr{Ӷ@Ӷն@׷Ȑ!fM@ʩݠꀷ >;@۶@9)@3,3C'%@$g- @ 3@)singleton!ɀک@)Singleton7u@2 @  "x0h?!"4lC"%&@-singleton_iffkF@"Yh+^yB@@@@@DW@Z=@]?68exBp reDrIh_@(eq_ind_r!2#o!eKKMWzNAR\@|^^UW]baL\J,<Z/`DTFjBfXbB@@@@@Dk@ln3x@{m!ʰz?9|4}ϰĠ,@FCy3}ŷbƩ@@%unionɀ@%Union.B@@ oQ@"or @ȩ4~vka !!NFI#@*union_specQϷBAAAA@@@@@D@6ܠ  쩜=A۷ܩ穷JB M詷=R,uMR1F3/J%TCBBBB@@@@@@@@DQ@b&#@QPC0 <0<[>] MD`=#J@(#K$k-I0JY %O&729zA>HA<r<=#3j6[@jl.pD,<M=t$@J&w'CmDUP(WBTU@clC#ȰQE?.z]@oj@%inter@ƀ䩛M@,Intersectionϟ@̶n@ ˩{ʷtqé_4ZTJ@8-# x @*inter_spec<BBB@@@@D@*W̩]ŷ4A[r;H. ,/au@*6+(9BCCC@@@@@@D @O@ QǷ"H2Ωשɶ̷ͩޠِLڶܩmM İ©@10C$"#dᐩ۩0."@ 5@#add֧@#Add- [3 @  ^gfi@#*4loF(')@'add_iff90@ -v304/be@,0Up6:hj]v<j`@cMF@fHl=A#RKvlr zpZTsy u_OMQ,["nSSUff8`@W[lffbbd)nbnUe T,Ec$8gJ\NsHo`}n@qq!|@ũĠ.t"x1yFͩrp=8DӠְmhgFA۰j\[és⩷RMͩ}zҩxr1Constructive_sets@-Singleton_inv+}@{C*dé'@(Ƕ@Ӷ˶@Ϸ @#&ީ~ՠ q@4iff_impl_subrelation547#!ƷF@C@F6%-/N%@ Q(A*00,$ 6@]4 qԩV:طJV>; NL@92P.u@"G,@ut&6g1)],Q6np$c:"2C3gj_aIkn!='NhrR*MMNDx+GQ?~U= M^N5QQS]:VVX?iȐ"H3]@^`j@clBOOyQNuo@ðsUȐ"H4ȰxW7zaw̠ϰYհllʠn 2@ڰ[[V@Cȶeɶ@ө o[ө@@&removeY%@(Subtract 3m@ ZR˩@#notШ4uk]ͩ   ZRU"P@*remove_iff5tK@ϴu L@. &ʰH,ΰ/_@ܩ4K@@KݩM$.@QDUX  ]4R6@@b##Y*C/nb,{sSjW$Q mS@#u,i ''I1 IQ4b `s17i5]i|:zZMkOIL@/Singleton_introKK-\UC 6UCuLưOC=@-set_induction[+Finite_setsF@&Finite@jp@&eq_sym XZ@(EnsemblefU`@8Extensionality_Ensembles L\u@/Empty_Empty_set8>rٰd@&eq_ind JͷH24AϷlз:vөfөg611@'Add_Add3+LB-D,^BCbni@(cardinal6\@| @ Jr kQOfg @#nat@A!n %,(A/#e\@*cardinal_1 7xl5345ک/ڷ*8e6cEaP{N? 9O+-B'1J X"QBc]#Mt@*cardinal_2 76R+.|//C]-@*Finite_ind͹+0P@"ex @qtr Ax{yCG6@/empty_Empty_Set 'շN(IHFiniteɰRX|S<%BBB@@@@D@/ܰe4jhl}1r"Hs6v"txI|? }Xϰ Z `xM=}@'add_Add laδQ%n>em