"`T $JMeq%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@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ֱ*EqdepFacts%Logic#Coq@0FI$ͼՋ`%Eqdep%Logic#Coq@0ڡc*%U\/aKUG!5Բ'$e (#O"Р$JMeq%Logic#Coq@A ,<@A!B,9B@@@!x!A+A@@@   @"A)JMeq_refl)CB--BB@AB@ @@@C@I1;Z@@A@@@@@A@BB/?-+@@+@+@A@,9@>@A@AB@/A@@A@AA@@A@(JMeq_hom @@-xCO@@K[!y2Z@u1;Z@<:<f@S@\ABO H+k() 7#'p@@-x@(@A@A@*Ah@,A{@AB@@;(JMeq_sym @@@x.ķD@@/E@@BCB@@1;Z@DBCA DE@@.ķ@'@A@/@!@A@AB@A@A-A@/A@)A@+A@ABCD@@{*JMeq_trans @@A05F@@є1tG@@!C2ųH@@ՐCC!zC@MFCEB@VFKѩ[HPؐ@@05@6@A@1t@0@A@2ų@)@A@ABC@=A@A6A@8A@1A @ABC@@ʠ'JMeq_eq @@3I@@!@ũ9$Init @"eq @~@@3@@A@A@A@A/@A1DH%Logic$Init#Coq@@ABC@@(JMeq_ind @@ZB641JF@@BA!P@B7@AB@f<@@41@@A@A@!AV@A"Ah@$AU@&A;@ABC@@,(JMeq_rec @@Ci7My@@uA3@B@@AB7@o@@7@@A@A@!A@A"A@$A@&An@ABC@@_)JMeq_rect @@D:ǫP@@Af@B;Q@@@ABn@*Щ @@:ǫ@"@A@;@@A@AB@'A@A(A@*A@,A@ABC@@*JMeq_ind_r @@EՔ?U@@A@B@ABM@]QQRSِ@@?@@A@A@A@A A@#A@A$Ay@&A@(A@ABCD@@͠*JMeq_rec_r @@.F BɣX@@AԶ@B@AB@8@@Bɣ@@A@A@A(@A A:@#A@A$A@&A+@(A@ABCD@@+JMeq_rect_r @@cG?E`[O@@KA @BFʟ\\@@@AB@̀s©ÐI@@E`@"@A@Fʟ@@A@AB@'Ae@A(Aw@+A@A,A@.Ah@0AN@ABCD@@?*JMeq_congr @@H|J˛`@@AKڠa@@!f@C{LD@ EDEA~}|@@"eq @@@J˛@3@A@K@*@A@AB@8A@A9A@;A@=A@4A@ABCD@@.JMeq_eq_dep_id @@IȔLb@@ᔑMXc@@ܐBB@PDBCA*EqdepFacts%Logic#Coq@@&eq_dep2|@N̗d@@!X `a@@L@6@A@MX@0@A@N̗@@A@ABC@@) A*EqdepFacts%Logic#Coq@@AA@IA@ABJA@DA$@FA"@$A*HB@ABCD@@ꠠ.eq_dep_id_JMeq @@KJ'O֠e7@@@Pf?@@;BB@WQTgP@@LADBCA<:@@O@+@A@P@%@A@QT@@A@ABC@@T@A4AZ@6A@AB/An@1A @"AJ@$At@ABCD@@4+eq_dep_JMeq @@K!UX n@@9@AYLo@@!pBBA!qDJDA@FEDCBA  @@X @8@A@YL@0@A@AB@=A@A4A@6A@8A@ABC@@=eq_dep_strictly_stronger_JMeq @@L!@"ex @\ r@@^@A]Hs@@@  Ba&C^-CB9DBf@#andЖw@EDBECA{@#notШN$@@B@Ô@@@@@@@"_7AA@@@@@@B@A@ːD@A@@@A@ǐB@A@@@@"_8'`o@*@D*type_scope@@@@@@@@"_9'`o@?@AB@@@@@#_11eALB@@AA@AA@A @@A@@@@#_12X@$core@@@'META160'META1616@@@@A207G@ L LW@3Coq.Logic.JMeq#<>#1*?@2 Q@@@@#_13e@ ?@NB@A@@@@@#_142M접@#_15'`o@C@@@@@@@#_16+ƐC@w@AA@@@@@ 2 Q@@A@#_17@?AA@@@@@C@AD@AE@AZ@A@@@@#_182M접&(#_19'`o@.E᠐@@@@@@@@3@#_20X@=A@B@'META165'META167'META164'META166_@@tsmlfֶd׶@bVZYXT@3Coq.Logic.JMeq#<>#2*?@H2 Q@@A@#_21#@S9DAA@@@@@ D@A$E@AQF@A#G@Aݐ@ASH@A@@@@@#_222M접35#_23'`o@;Hkmo@@@@@@@@@@@@Ġ@Y2 Q@@A@#_24@d |`@lB@AvD@A0@A@@@@#_252M접!#_26'`o@'D@@@@@@@I@h2 Q@@A@#_27@s?AA@@@@@B@AF@A@@q@A@@@@#_282M접"$#_29'`o@*F@.function_scope@@@@@@A@@M@}2 Q@@A@#_30 @?AA@@@@@B@AF@A@@@A@@@@#_312M접"$#_32'`o@*F@@H@@@@@@A@@@2 Q@@A@#_33P@AA@@@@@:B@ADF@A@@@A@@@@#_342M접"$#_35'`o@*F@@@@@@@A@@@2 Q@@A@#_36@9AA@@@@@B@AF@A@@G@A@@@@#_372M접"$#_38'`o@*FΠ@֠@@@@@@A@@"@2 Q@@A@#_39@9AA@@@@@ȐB@AҐF@A@@@A@@@@#_402M접"$#_41'`o@*F@@@@@@@A@@i@à2 Q@@A@#_42 %@ AA@@@@@ B@A F@A@@Ր@A@@@@#_432M접"$#_44'`o@*F\@d@@@@@@A@@@͠2 Q@@A@#_45 l@97AA@@@@@ VB@A `F@A sD@A@ ! @A@@@@#_462M접')#_47'`o@/F@@@@@@@A@@Ϡ2 Q@@A@#_49 @=AA@@@@@ C@A D@A E@A n@A@@@@#_502M접&(#_51'`o@.E@@@@@@@@ G@2 Q@@A@#_52 @)?AA@@@@@ 퐐C@A D@A E@A @A@@@@#_532M접&(#_54'`o@.E>@@@@@@@@@8@2 Q@@A@#_55 L@7- AA@@@@@ŐB@AG@A@A K @A@A @A@@@@#_562M접/1#_57'`o@7G@@@@@@@A@@@@@2 Q@@A@#_58 @1.CAA@@@@@@@@#_592M접#_60'`o@@@@U2 Q@@A@#_61 @`PAA@@@@@@]Hs@@T <©[imV@#andЖw@٩Eɩb@#notШқ)Datatypesl@$boolZ'@I@ 7=m@C12F01/)$@ @$Truey@f()Y+,\_H?:  ;A}?@p"(#s%'&\QL-/MB172465k#`[<!>-/ɩQ@(eq_ind_r!2#uĩwzĠlO~xxWC?