"`W;{.+Relations_3$Sets#Coq@0)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@+Relations_1$Sets#Coq@+Relations_2$Sets#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̂"&/r'Prelude$Init#Coq@0JqTttֱ+Relations_1$Sets#Coq@0k<⪚(тc1}0]p.' @i{J^JJ"_:b8wР+Relations_3$Sets#Coq@A(coherent @!U8A@@@!R+Relations_1 @(Relationk؀A!xB!yC%Logic$Init"@"ex @D!z@#andЖw@+Relations_2:@%Rstarx%@E&. ,0@IG><1/.,A +k() + 7%' 7  77%'#8@#p@@@_A1@D?@cA8ĠA*@AB@@AA@@A@1locally_confluent @vtki^\[YJL@N]a@:Rd~@6GF[i@}rp@ +k() + T' +T' +!T'+!T'7#'@@@@@-1Locally_confluent @"@77孝@^ d+k() + T'7&'P@@@@@K)confluent @@@@H@? L+k() + T'+T' +  7T'+  7T'7#'N4@@@q@A@@n)Confluent @߷Զǩc@0,A@@> P@@@@@*noetherian,<ࠠ@y8definition_of_noetherian@@˰@@@AB@AA@'@(@@@@@AAA@@A@CB  )'@@@@/noetherian_rect @31(&!P8BB6@@!f("@&@:@W@1@1 @ 2:8'6A@!FF2!n 7M8N##&S$CAA@@@D@-Y!^[@*5IHc;aid!rYom~@}WUNL. +k() ,A'(*()= R#'>3+ &''() ! %'+k$'+Tk+ 7"T'$'N/zAD@@8B@d@A@A@@@5.noetherian_ind @ul@x"! mNAD@@@@@R.noetherian_rec @÷@J@-sD(@ζö F @+k() 7&'l@@@@@s*Noetherian @ٶ̩B@A?P@@@@@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@A Գq@ Գq\ @A@8@@A@8Bh@ABC@@A8A+Relations_1$Sets#Coq@@A@BC@@@8@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua%Logic$Init#Coq@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ֱONM@0k<⪚(тc1+Relations_2$Sets#Coq@0]p.' @i{J&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@@@@#_13@6@A@@@@@@@@@@#_142M접@6@#_15'`o@@6D*type_scope@@@@@@@@^2 Q@@@@#_16@i7孝3@@@@@@#_172M접@x7孝2#_18'`o@@7孝C1@@@@@@b2 Q@@@@#_19@me}a@@@@@@#_202M접 @|e}`#_21'`o@(@e}B_@@@@p2 Q@@@@#_22=@{,@@@@@@#_232M접L@,#_24'`o@T@,C@@@@B@@{2 Q@@@@#_25k@"#p@@@@@@#_262M접z@"#p#_27'`o@@"#pB@@@o@N$@@B@;@@@@@@@#_28@@@@@@@ A@@@@@@#_29'`o@@@C@@@@@@#_30'`o@@@AD@@.function_scope@@@A@2 Q@@G@#_31@-sD6@@@@@@#_322M접@-sDFF@A#_33'`o@@-sDF5@35@@@@AA@@#_34? 3V/_rect_from_prop@ @!@w2 Q@@H@#_35-@42g}@@@@@@#_362M접<@42gFF@A#_37'`o@E@42gF|@z|@@@@8AA@@#_38? 3V._ind_from_propf@g@h@2 Q@@@#_39t@42lĠ@@@@@@#_402M접@42lFF@A#_41'`o@@42lFà@à@@@@AA@O@#_42? 3V._rec_from_prop@@@Ǡ2 Q@@@@#_43@` @@@@@@#_442M접@` #_45'`o@@`B @@@@#_46X@$sets@6D@@@@@@ @9Coq.Sets.Relations_3#<>#1o@#_47X@$sets@7孝D@@@@@9Coq.Sets.Relations_3#<>#2o@#_48X@$sets@Q,D@@@@+@9Coq.Sets.Relations_3#<>#3o@#_49X@$sets(@C"#pD@@@@@/@9Coq.Sets.Relations_3#<>#4o@#_50X@$sets>@?@A@'META194'META195'META196@A@@gAOMDB;:8@86@8=A@0B3AEl@9Coq.Sets.Relations_3#<>#5o@#_51X@$setsz@`D@@@@@9Coq.Sets.Relations_3#<>#6o@@@0:F؞'C@QK#|X,6sɄ@#[`8^}y+}$򄕦@x׆ydI"^fLZG~