"`M1_.Disjoint_Union+Wellfounded#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@8)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ֱ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰siH*Ap _'Р.Disjoint_Union+Wellfounded#Coq@A)acc_A_sum @@@!A0HA@@@!B #leA@B@CA#leB !xD@"Wf$Init @#Acc>b@EA)Datatypes@#sum@F2Relation_Operators)Relations=@&le_AsB5ns@,5A"<@@@NA֠G@AQA ˱:S"@UA ̱yT&@YA7iA;@ABC@@AA@@A@)acc_B_sum @@|Aljak_]W^@P@,well_founded8EZe][@ZZKGCBETcQBJs@@7@@'/wf_disjoint_sum @@B{@$@%%g[@@I@@9@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@0H@@A@ABCZA ˱:S@W@AA1DH%Logic$Init#Coq@@A1FdJ @AA1GK@A7iA"Wf$Init#Coq@@ABCD@@@810/@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua+*)@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv %Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/ryxw@0q+W,J+A"_39.z"<-"_49.z"->W2 Q@@A@#_18f@b@A@@@@@@@@@@@@#_192M접x@t쐐#_20'`o@@~F*type_scope.function_scope@@@@@AA@n@,2 Q@@A@#_21@7@A@@@@@@@@@@@@#_222M접@I#_23'`o@@SGAC@B@@@@@@AA\@@K2 Q@@A@#_24@V?jge@A@@@@@@@@@@@@#_252M접@h?jge#_26'`o@@r?jgeF@@@@@AA@@@,~t @P$פOKS$ @„hcke[ ڄ@3Wtͣkf% 簐!A0HA.Disjoint_Union+Wellfounded#Coq@@@!B#leA@B@CA#leB !xD!H"Wf$Init#@#Acc>b@EA@'Acc_ind2MF)Datatypes@#sum@G2Relation_Operators)RelationsI@&le_AsB5ns@&7A"*?#w>wַ7 :ڷ٩J֩N Sq/ҩWSɩZƷ#˶ũ_;JQ>0@C@=7D4Iȩqfs@-;Ƕ@0::>:>Brũ;AGթI߷ө@,well_founded8EݷکǩݰŠ֩׷з@ooqEy{|÷@kz~@yj@|fŰfmǩ DDjqwgec[{Y"H5yy)fYQ4ݩXJGK"BNDPΩR֩0KMLXC!]]f%_hݩr8D9B\O5@\7۩ˠH+c> >ʷ˷ư VʰfҰ*cIRBr۰$-,gaCz,c.~ywpjn3lm@mgnjrkftk\fa^hV`j @)acc_A_sumrDFSaN7 \E~CP_.Ͷ!jM~KOԷ:u Y^YAhz@AK۶@DJNѰ??NRV٩Ƞ ͐٩ˠnϩ  ݠȩb۩f@)acc_B_sumC( eA93] ,A