"` V )Mergesort'Sorting#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@h)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@0bb1zQGyd?lZ2@<Р)Mergesort'Sorting#Coq@A$SortA@!X@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@#leb @d@)@!t@/@)Datatypes$Init#Coq@@$boolZ'@@@@@@AA@@A@)leb_total @@!xO@&!yV@-%Logic(@"or @ @"eq @:n@O:BACAG{@\:   @@@@@@@&Orders*Structures#Coq@,TotalLeBool'@@@@@@J@@A@:@@u:d@@A@AB@%merge @@@ "l1)Datatypes$Init@@$list]@@Ϡ @"l2Ȑ)merge_aux@@('A@B@B@@@@@D311DA"a1)#l1':%<=0 RD'> 7!= R#'! :'3 :''''''+k67$'+k67$'+k67$'+77 Tk67$'+77 Tk+ 77 T'67$'Р d8ȠEZ@@A@AB ~@@ABAE x\0@@@MA al,+*@@A@@AA@@A@3merge_list_to_stack @@@ %stack̐@&option >v@ֶ!l AA!y&stack'$!AA@A@@@@@D *,"l'01B-Š@)۩@-@GH@@P t,pk(*()=2 RL'>= R)'> 7! 3!L:'9:''G 9:''+k67 7 7$'+k67 7 7$'+77 7 7 Tk+ 77 T'67 7 7$'ࠑ%$`H(lT[T`( AEX&@ LIAA@@AC@@@HAA ůM@AA@A@A@ABC@@+merge_stack @@@ [5_,zTwusze gc6:@@h ,Wk*(=- R<'>= R'>3 7%'3$''G''+k67$'+k67$'+77 7 7 Tk67$'ࠑ}X bAEL~|PXAC@@@UAT@AVA@7AX@A8A@BC@@栠*iter_merge @A@ @lzO!aZ@Nimg@\Z_©_\ ,=k(*()= R'>L :7!3%'7$''+k67$'+77 7 7 Tk+ 77 T'67$'ࠑ|\4'(?AEXtT蠒*@@@A?@A@@:$sort @@^NZ@44G7 k H@@@@@S+SortedStack @@@ PNATRVT%Logic @$Truey@@]>`<C`ԠY0@#andЖw@&Sorted,@-LocallySorted!V`@5!x89F@'is_true#œ@倐< ,gk*(=6 RP'>= R7'>3 +77"7%'3$''6''() 7!7$'+k6'+k6'+77 7 7 Tk6',^Ġ2ؠ<!HРJAGL\x@̠nĠHAEc@@@HAAI@A@AB+ABA&Sorted'Sorting#Coq@@5AV@7A@ABC@@堠-flatten_stack @@@ QOzN!o·Z@#appʀTS@RV@ ,Yk*(=/ R>'>= R!'>3 77&'3$''G''+k67$'+k67$'+77 7 7 Tk67$'ࠑ`(6AFLX AD@@@A7@A s9@AB@@6,Sorted_merge @@@)Datatypes$Initk@$list]@@&Sorted'Sorting#Coq@@-LocallySorted!V`@@'is_true#œ@:B@#ߩ1·ĩ&!@\)@@@A@A@AB@@.Permuted_merge @@A^@TLZ+Permutation'Sorting#Coq@@+Permutation3.~@i@ʀoBA8)P@@@$AUDM$List%Lists#Coq@@A-A@0A@A1A$2aA$'Sorting#Coq@@:A$DϠS @A@ABCD@@젠:Sorted_merge_list_to_stack @@eBZXש4@d@Hp^@@zB|Dmm}@N@@@qAF@sA&@AB@@!= R'> 3%'H''G''+k6'+k6'+7Tk+7T'6'4 blP?@@AAACX@@@@@G)leb_total @@L4+@@"or @@$ӀBA AB@@@@@s@@@@@'NatSortK @JHFD0K3.,* : )U"! ŷ.Aʷ  0 @ Ԡ@@3@@$.@7@$.J@A@$@<@$Ӡd@A@AB@A@%H@A@@@@ %'A*StructureswA al}@A@@͠ʐ @ɰǐũÐOPSo  ?> ZkIaIkP@[؀U"Ҡqy@'RD@@@3A ůM@A6A@@GA@I@ABC@@z @ywAC EFII2us@gzl@@(@@-G @FD%`(c˷ L@ ;BlU@H4 Fԩw2@6@@@@W @j@z3=|@+@@@@@j @bdfGECJ۠` @ݠ@@@@A@ABA@@@ABCD@@ @2(̷pn1@@@@@A si@AB@@ @@3@{5c6@CB#@FE֠QF@@@<@ @AB@@Р3 @'@JALzM+Permutation@3.~@  CjO@@@'AUDM$List%Lists@A.@?@A0A$2aA@4A$DϠS@GA3@ABCD@@ @UG@xB/{@@[@KH@@G@@ @l^@C FEH"J0@AcCu@@@E@Al@|@AB=@nA$APU@>@;@ABCD@@8ߐ @@D.i@9°l@@z@@HŐ @@E>ywz0@@@@A@f@)@d@ABCD@@] @@FSGڶ@_ @@@@n @Š@GWe{)٩ې@@@@A@@A@S@@ABCD@@ @ޠ@ Hp@[#Z@@@@A@@w @@ I#@!1ĭ@@@@A@@AB@@f @@ *J,߰?)@@@@A@AB@@Q @ @ ;K=@/RelationClasses'Classes@*Transitive++-SV@.StronglySortedn@[M-@@@Q@ A݋X_A@AB@@@@@@@2SimpleMergeExample @LAQ!B X&  ^,  d2h6j8 @@A9A@AA@AAAA@AAAAAA@AAAAAAA@AAAAAAA@AAAAAAAAA@@D@@@@@u@@@ ӳ2@ ӳ2[}@A@ Գq@ Գq\@A@ABDE@@"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@h*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+@0>I'ListDec%Lists#Coq@0a&:׃j#0\͉!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$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ4Operators_Properties)Relations#Coq@0U3y#h&&Orders*Structures @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 Ӡ  @00zVybؠ$Plus%Arith#Coq@04tmG'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$   @0bb1z٠&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03#_10&Ű@A*bool_scoperHȠ@ 2 Q@@E@#_13 @A@@@@@@@@#_142M접 AA@A#_15'`o@B*list_scope@  @ ]2 Q@@E@#_16 T*)@#_172M접 AA@A#_18'`o@B')@ ʠ @ 2 Q@@E@#_19 PO@#_202M접 AA@A#_21'`o@AM@ @ 2 Q@@E@#_22 qp@#_232M접 BB@A#_24'`o@Bnp@@ 2 Q@@@@#_25 @#_262M접 AA@A#_27'`o@A@5@ 2 Q@@E@#_28 @#_292M접 AA@A#_30'`o@A@V@&invertFA@@!H@@A@@ >./theories/Sorting/Mergesort.v{{!@.subst_4C69D532χ@  {{#* @0clear_#_4C69D547<"@@@ U2 Q@@E@#_31 @A@@@@@#_322M접 AA@A#_33'`o@A@@ &2 Q@@@@#_34@ 14@A@@@@'@#_352M접 #_36'`o@D&(@@@ B E 6 9@ 2 Q@@@@#_37@ <;x@A@@@@X@#_382M접 #_39'`o@BWY@  @ ʠ2 Q@@@@#_40'@ km@A@@@@@#_412M접 #_42'`o@D@@@%  栐 @ Ơ2 Q@@@@#_43X@ ,6]@A@@@@@#_442M접 #_45'`o@B@T g@ 2 Q@@@@#_46@ (p@A@@@@@#_472M접 #_48'`o@Bڠ@@| :@ 2 Q@@@@#_49@ ))@A@@@@@#_502M접 #_51'`o@A@@ 2 Q@@@@#_52@ 04A@A@@@@'@#_532M접 #_54'`o@C&(@@ʠ͠ @ 2 Q@@@@#_55@ us@A@@@@T@#_562M접 #_57'`o@BSU@ @ 2 Q@@@@#_58#@ `G}@A@@@@}@#_592M접 #_60'`o@A|@@ 2 Q@@F@#_61G@ )=@A@@@@@#_622M접 #_63'`o@A@A@ 2 Q@@@@#_64k@ &r@A@@@@@#_652M접 #_66'`o@A@ @ 2 Q@@F@#_67@ R@A@@@@@#_682M접 #_69'`o@B@@ @@ zrHȠ@2 Q@@@@#_70 @$.@A@@@@@#_712M접 @#_72'`o@@@@2 Q@@E@#_73 2@#_742M접 AA@A#_75'`o@B)nat_scope@ o r@#_76@cc@c@@c@@cA@'_ <=? _@c @@$#<=?@@@@@A@@$ <=?@A@@B@@@@@#_77%c?@@EO@@T@@@ {R@@@@=W @'x <=? y 2 Q@@@@#_78 #@ a4@A@@@@@#_792M접 #_80'`o@B@  @@ rHȠ@ @   O@A@| @@$.@ @z$.J H@A@$@ @d$Ӡd 2@A@AB@A <2 Q@@D@#_82@ G/@A@@@@@#_832M접 @#_84'`o@@@@@@x@[w|'*mSlA@B܈kʅ[@YqIlj@ "L-+6A̕l@( I+js2 y$#4"l1)Datatypes$Init#Coq@@$list]@@!X)Mergesort'Sorting@!t@(list_indj%#"l2&@&Sorted@-LocallySorted!V`@#!x&'5@'is_true#œ/@#leb:BA@  ::$Sort@%merge)DC2V;I5Y@3M*]AR@::T1 !H"H0'CE_<%!adPt$IHl2RlI|Bq-,Je"a1\R;4bð YAN8@'f_equal=6acMeg1ZRiذTLEpr1sv?i`Azm\=Ȑ"H3-R@(eq_ind_r!2#S)Ķ@z]ːUTc Ȑ"H4~°pސVu)ҩ$kӶ@ѰȩW@װ/ٰЩY*ةXݩ Ƞ;8@ 0@W٠U/ϵC"%T` NhEB=(UoLq[8Z w!|G$1HYi`/-]Xpg\SJ#,lg#>$Y6@|3]m@m=_h8VC^mH |שLIF?˶@@_@\>ƶ@Щe"ܷ}j7+oieŰȐ"b0-v5=8Ӱ #1TiV @  ɠ$7&#נ Ҡ  Рb41ޠKܠJiyk/@.+2)"&6IF3-62۩4Ȱ6t~̰:ɩ<aoL&@԰BKSP3WNGFBK@[nkbRev<8W4`!y#Ca["5"==#$@kD^;z)qDBAȐ!om@)leb_total9SΛ@"or @˩O Z\ BAAAA@@@@@D@İ۩_kȰߩcolga"H'e DqԷ۰nn?_ݰAB@@@@@D!y@O~@ig]b`V^PVM@!X@@İr  "0ڐ{.2 F $;~?|SzunթDY lfܩJ-_NCQ_@W/ "$j75290)$-"=PMư4?&cqI4Ȑ"H5NO(BְDWUR5YPINWQFOD_ro#V@= i Fj@E_<@HHb?( MgDi4QkHm!@WqNq@'ZtQ:)_yV {.^}ZllHfvlGGbbb~H*SOLEJ3HEVŰ9A>]˰?ϰcҰ٩Ϸ@ذYӶK<:9xЩ`J~uηD fsѶlB^թ߰ڐh+%׷p,Ȑ | @԰@שװΩܰөéשϠTWȠS5@ ؠ] "52栐c⠩ @!@e $yͩ)+4'ҩA M3~bک6XṴ:а>|Q@PM0TKD۰I38AJ?ZmjeRd=>X5Z|y&^M$$8b\spSwng3lVdmb}Af=u;)2_B b|Y~ʩDc_FHL)kbͩIxX#UfBa+E_Ve~z_gFCYgzgE@װ6שuͩ|FzqACIѩķԶթ+Permutation@3.~@Щ@#appʀ@@򐶐"l02"t08Ŷ;÷3+ǩ6@0Permutation_reflBϩ%CA 9 թѠ׷ K!$OG㩞,@+( /&#3FCv*yq=·>i143ǩc5詚$List%ListsC@)app_nil_r)7A-Qݩ}EuG.XU8\SLGPE`sp$WA>,`by-f,j򩞠}@|y\wp<+ktiHC {A8e:HBީ@@V!m[``5,e#fW1c4@/Permutation_sym*(X;e?z7ҩKީv۩Q@4Permutation_cons_app4l $Ʃ$Cة˩ac%stack㐩@&option >v@  @@+SortedStackHp@ҩ@3merge_list_to_stackN"൩>@#andЖw@AC!÷32AA@A@@@@@D;>@2#@2CԶ@70J꠷1QO'IHstackE?6ѩEVWA@4 EQ@6Equivalence_TransitiveWDf)@4Permutation_app_tail ( & \*)4@4Permutation_app_comm w1@.Permuted_merge<;xӐ9 թ; <@)app_assoc4HCC$OG0MK13T&UC6a)Y+©Ba_'_db@T :@+merge_stackz鵷ک+AG$C@T0J'VvCx{@@n =W4B""i8&^}(@'and_ind14ۀЩRlI(GWYsP9-/>  ^xUR $a EEC@T=MjaJ\cQ2UoC@!"ZwnW(\ĩҰaAC۰YB<жoӶ@$YqZvv۷ ѩp/r}}t@4Permutation_app_head Ѝg{: Cé=GH/CʩD?@߷zӷ@*iter_mergeNZ @2Sorted_merge_stack(pCаǩ#IHl B٩ w@:Sorted_merge_list_to_stackkm C 5ِ !   $DBP H B絷LJc / 0[ #驚@4Permuted_merge_stack))Y +ީ -C\Zh 0X 3 CF ec| Hi ;k = Mx @ hV H i  Ud v H^  t ^ P u  ap T Y @  !ABA a@@!R@ N@ P N 0P@I@ t@ r1ĭ@ N ^ ] { Q P `@ ~ @  # W V @8Sorted_LocallySorted_iff(@@  n-+%#o! r   o@$sort(X u@+Sorted_sort`G}^ ǩ ~@3Permuted_iter_mergeus ɐ ѷ l2@*Transitive++- @5Sorted_StronglySorted K˂   ' @2LocallySorted_sort)=X @#nat@ @'nat_indJfu Ð (NatOrder@ $Ӏ  ͐ ܷ@@A@A@@@@D!n) ݐ0A թ 䐩!  ٠B HCC 1 GA C @&WB  H.^$IHa1S 2bC=dʠ U  Z  9&64C٠ 'd$sK ,iO O  ?C砩 5r2 9v6! .r"#d"!UM