"`鄕 ܰ !ExtensionalFunctionRepresentative%Logic#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ֱ&v sF S6Р !ExtensionalFunctionRepresentative%Logic#Coq@A #extensional_function_representative @@!Ah C@@@!Bh_D @@)$Init@"ex @!x@B"x0C$repr !f@@#andЖw@D&@"eq @ A#!g*@,E).F/5@@h @X@A@h_@N@A@AB@]A1@D%Logic$Init#Coq@@AfA1DH @^A @`A@ABC@@AA@@A@@@@h @h_@AB ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AC&@@@0  @0.i bYN Z'Decimal$Init#Coq@0C涳N*ua432@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@@A@"_5@ "f@A@@@@@@@@"_62M접"_7'`o@B*type_scope@@@@@@FӲ-Qr<(CՄ@ː^2`Fg@wy׺!e[ }v'@