"` I%Eqdep%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@*EqdepFacts%Logic#Coq@4)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̂"&/r'Prelude$Init#Coq@0JqTttֱt0FI$ͼՋ`ڻKmOxx  ou Y Р%Eqdep%Logic#Coq@A*Eq_rect_eqA*eq_rect_eq @@!U* A@@@!pA!Q@B*IB@@!x !h>$Init"@"eq @DC!@'eq_rect=߀E ).@@* @;@A@*I@+@A@AB@?A1DH%Logic$Init#Coq@@7A @9A1E%I @ABC@@AA@@A@@@@* @*I@AB@@@+EqdepTheoryq*EqdepFacts%Logic#Coq@+EqdepTheory{w @@@@!M*EqdepFacts%Logic#Coq@)@A@ (/@A@@ [xzP*EqdepFacts@@@yQ @@@@y@@A@A@w;OA1DH}@AA1E%I@AvN@"A @B@ABCD@@AA@@A@)eq_rec_eq @E:@B\5@@@&eq_rec V @@@'@$@AB@@!)eq_dep_eq @cX@`]S!P@ҔzRW@@Զͩ֐ܶ!yж@g@&eq_dep2|@ְ@@z@@A@A@`璠xvA*HBx@AAd@~A) A~@AAVn@[WsB|@B2@ABCD@@e#UIP @@^ 7"p1"p2  "@@@'@@!@ABC@@(UIP_refl @Ǡ@_@&36 166"$55:'A:@@@D@@AB@@+Streicher_K @@`\ӶBO@A@UYC7}@@@@)inj_pair2 @@as{7S@@@m|vT@@voh@c&Speciff@$sigT#6@Wd A\ih^kj@@{7@'@A@|v@!@A@AB@t~LA@AA8ؠH@4AoCG@AB7A!@:A @A;A8噠G&@@B8@ABCD@@@@@@B@B@ABc@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@A Գq@ Գq\ @A@* @*I@ABC@@A@B@@@ABCz@4@0.i bYN Z'Decimal$Init#Coq@0C涳N*uaj0FI$ͼՋ`@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"->WrHȠ@U2 Q@@A@"_6d@` *@A@@@@@@@@"_72M접"_8'`o@E*type_scope@.function_scope@@@@@A@\@@&rHȠ@!@#-1@A@3@A"_93#13 @#_11X@%eqdep@A@'META184'META185'META186'META187g@0:Z@@A"@א@氩ੜ|ݐI*@4Coq.Logic.Eqdep#<>#23 @A@'META190'META191'META192'META193@0:Z@@?̶c@3ƶ6/(17[5@'Š!$#?'&G3,+Gk@4Coq.Logic.Eqdep#<>#33@@@ڡc*%U\̈́@ 2 { 2ij-@E `E[ ݱ!s@ϓh) u.PVHJA#`i.M