"`ڄڰ-Inverse_Image+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@0)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ֱ6O+MM=$% ڄ Р-Inverse_Image+Wellfounded#Coq@A)Acc_lemma @@@!A,ϒ$A@@@!B !R@A@BA!f@C!y@"Wf$Init!@#Acc>b@D!xF@%Logic@"eq @ #. H(IG7 8@@@KA1DH@OA1GK@SA7iA4@ABC@@AA@@A@1Acc_inverse_image @@vAfd[eYWQO;=@K@RZ/N?B@U)BE,8c@@@+@$@AB@@!0wf_inverse_image @@Bywuom@g@,well_founded8Et{cvbiLX@@@B@A@@?/Acc_inverse_rel @@C!F@@!b@}@qrp@#ex2М@xy}|!cJ@K;@@@A1A)E@y@AB@@v.wf_inverse_rel @@D׶ضʶ75@UUjk,:p&<%@*\@@!@@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@,ϒ$@@A@ABC@A1A)E%Logic$Init#Coq@@A@B@@AC@@@0@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ֱ&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r"Wf$Init#Coq@0q+W,J+A"_39.z"<-"_49.z"->2 Q@@C@#_20@@s@A@@@@@@@@@@@@#_212M접@@s#_22'`o@@@sH*type_scope.function_scope@@@@@@@AA@@@h2 Q@@A@#_23@s9@A@@@@@@@@@@@@#_242M접@9#_25'`o@@9FGIFH@@@@@AA@@2 Q@@@@#_26@;@A@@@@@@@@@@@@#_272M접.@;#_28'`o@8@;E@@@@AA@2 Q@@A@#_35Y@%>j=@A@@@@@@@@@@@@#_362M접k@%>j=#_37'`o@u@%>j=HàŠ Ġ@@@@@@@AA@`@@@2 Q@@@@#_38@&3@A@@@@@@@@@@@@#_392M접@&3#_40'`o@@&3E@@@@AA7@@@vWPIt"C?sݫC8 @;CXk1,S ,@-S!u"Z U@yPcjv!k>t턕puА!A,ϒ$A-Inverse_Image+Wellfounded#Coq@@@!B!R@A@BA!f@CȐ#Rof!xD!yE    !H"Wf$Init5@#Acc>b@. @'Acc_ind2MF"%*H@%Logic@"eq @ C,%JG8$_tmpj= RHZC P-qr9n<