"`M5ProofIrrelevanceFacts%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$ͼՋ`D%]v.EzDР5ProofIrrelevanceFacts%Logic#Coq@A0ProofIrrelevance@1proof_irrelevance @@!PA"p1A"p2B($Init)@@"eq @C@@@@@AA@@A@@@@@@@@6ProofIrrelevanceTheory8A@!MB@5A=@@@*Eq_rect_eqA*eq_rect_eq @@X@!U97JAa`6@@!pA!Q@B97B@@!xAB!h%Logic$Init#Coq@@"eq @DCCCDB%Logic$Init#Coq@@'eq_rect=߀EDCBDA@@97J@Q@A@97@B@A@AB@UA1DH321@@KA@MA1E%I @ABC@@@@@97J@97@AB@+EqdepTheory*EqdepFacts%Logic#Coq@+EqdepTheory @@@@!M*EqdepFacts%Logic#Coq@@A@ (@A@@ [xzP*EqdepFacts@@޶@ݔyQ @@綐谐Dީ방𩚠@'eq_rect=߀E  @@y@@A@A@w;O,A1DH@AA1E%I@5AvN5@9A @B.@ABCD@@AA@@A@)eq_rec_eq @]R@Z\MLD!C@@>=;:"7%#@&eq_rec V 5@@@'@$@AB@@!)eq_dep_eq @{p@x]kjF@@zRl@@jC`EJ!y<d@|@&eq_dep2|@]iFTFXS`hIW@@z@@A@A@`璠xA*HB@AAb@A) A@AAVn@[WsB@B2@ABCD@@c#UIP @@^7~~tx@@@!@@@ABC@@}(UIP_refl @נ@_ƶA@@@>@@AB@@+Streicher_K @@`@@Щu@@@@)inj_pair2 @@a{7S@@ٶ@Ӕ|vT@@ֶ@ذ&Specif@$sigT#6@ A@@{7@'@A@|v@!@A@AB@t~L$A@AA8ؠH@4AoCG+@AB7A.@:A@A;A8噠G&@@B8@ABCD@@@@@@B@B@AB@'eq_indd @!A@@<$,!a$!e&0!f/,B -9E4.B@@@@@DF9GA?CC2@!A@@!xAW,O+@ @JX\a2`1s:3xdh +k()= R '''+k() %'=@@A@|@@@@@a0subset_eq_compat @@AD97ȠCC@@@A7BDCLCB!qDB@AFDCH&Specif$Init#Coq@@#sig#* @y}@AA@@97@E@A@A@GA5@IA8A&Specif$Init#Coq@@AB@@1subsetT_eq_compat @@B98D@@@A^BCCB]DB@FDC\@$sigT#6@ҩ @AA*@@98@<@A@A@>A@@A8噠GU@AB@@@@@97J@A97@97`@98 @ABC@@A@B@d@Ab@@A@B @@ACDE@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@A Գq@ Գq\ @A@97J@A97@97}@98)@ABCD@@@4@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua0FI$ͼՋ`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ֱ@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"->̠8\@ʠ2 Q@@A@"_6@O=@A@@@@@@@@"_72M접"_8'`o@C*type_scope@@@@@@@@ˠrHȠ@rHȠ@2 Q@@A@"_9@,zL@A@@@@5@#_102M접 #_11'`o@E3@.function_scope@@@@@A@@@|rHȠ@w@y @A@ht@A#_123 " $#?$D@!MU@1proof_irrelevance:v%N"b97ȠC`@@!P@[AQY!y@dBS!qGW!HV/LKJ2.9GG5QRr_&Specifb@#sig#* @H AIf]6ProofIrrelevanceTheory@'eq_indd$O!g4",Y#I,ri0!vu.4h$6j|q8~l~}:g?>98D@@_]ZXWUTRPO[QL@$sigT#6@IAGFE^q_i=; 9 854/aT3+F4