"`J+Relations_2$Sets#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@+Relations_1$Sets#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ֱt0k<⪚(тc1㗥Xf h<"a'-Р+Relations_2$Sets#Coq@A%Rstar,<@C!xB!R+Relations_1"!@@(Relationk؀A!U8ĠA3@@@  $"@(A'Rstar_0'Rstar_n(&.,D4/.,42!y:!z @ @;@GFEFAHIAA@@@D@D@^@Zx%@@@@@@AA@@AD@@A@CB[YXVIG@@@@AA@@A@)Rstar_ind @VThf!PM!ftwsccxID7B9@;@@f@x%@AF@HYEI[B@!FR!uV!r][!] `#^c$C@D@D@@@@@@@@DI@3Jsv # %@LK@ZXVYS7 +k(),E'(*()= R"'> 3" # '$''+k()%'+Tk +T'+  7T'%'Tܠ5AJ@@@@@z&Rstar1,<@砠䠠ᠠ@ư(Rstar1_0(Rstar1_1(Rstar1_nƶڶ@ж@AA@BD@BD@@,! =@@@@@@AB@@ABBD@@A@CB@@@@*Rstar1_ind @  )@5/@@[! =@@@ ?@B@I O Q@ C@BD@BD@@@@@@@@@@@D@05QQ'2Щ;W'*jY86ש=/oک@Mxs8Hzu4:Jwf@dbvtY   VQ7 \+k(),W'(*()=0 R3'> &'> 3" 3" #'$''+k()%'+Tk +T'+  7T'%'T(9}AK@@@@@/%Rplus,<@@{'Rplus_0'Rplus_ntAA_BDBD@@@@]]@___@@@BABBD@@A@CB@@@@^)Rplus_ind @[Yζ@^@X@W@H@VUB@PNLJjSQICBDBD@@@@@@@@@@DcJ@%IG砷NePQNiFj.EB@=9'  +k(),I'(*()= R&'> &'> 3" # ''+k()%'+Tk +T'+  7T'%';점+bAJ@@@@@2Strongly_confluent @  #!!a)!b@@+%Logic$Init(@"ex @@#andЖw@2@1/CA# x+k() + T'+T' +T' +!T'+!T'+7%'! !7%'d&,@@@?A1@D)@A@@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@8@R@A@ABC@@UA8A+Relations_1$Sets#Coq@@AB@@@4@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&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"->N$@@B@@נ@@@@@@#_12@x%@A@@@@@@@@@@ A@@@@@B@@@@@@#_13'`o@:@6x%@D*type_scope@@@@@-@@@#_14'`o@Q@Mx%@AC@@@@B@@#_15'`o@e@ax%@BG+@@@@@@@@Z@@@@@@2 Q@@G@#_16@7o@@@@@@#_172M접@"7HH@A#_18'`o@@+7He@.function_scope@@@@@AAA@@.@#_19? 3V._ind_from_prop@@@UN$@@B@@֠֠@@@@#_20@! =à@@@@@@ A@@@@@B@@@@@C@@@@@@#_21'`o@@! =@Dʠ@@@@@@@@#_22'`o@@/! =@AC@@@@ @@#_23'`o@.@C! =@BE@@@@@@!@@@@#_24'`o@F@[! =@CG @@@@@@@@;@@@@@32 Q@@@#_25i@="PQ@@@@@@#_262M접x@L"PII@A#_27'`o@@U"PIG@⠐䠐栐@@@@@|AAAA@@^@#_28? 3V吠@@@N$@@B@@@@@@#_29@@@@@@@ A@@@@@B@@@@@@#_30'`o@@?@D@@@@@Ѡ@@@#_31'`o@@U@AE@@@@@@@@@@#_32'`o@ @m@BGӠ@@@@@@@@@@@@@@U2 Q@@@#_33.@_$6@@@@@@#_342M접=@n$6HH@A#_35'`o@F@w$6H @@@@@@?AAA@@}@#_36? 3Vl@@n@G2 Q@@@@#_37{@R9gnc@@@@@@#_382M접@a9gn@#_39'`o@@j9gnBY@@@@#_40X@$sets@x%@@@'META178'META179'META180@A@@@@ A@@9Coq.Sets.Relations_2#<>#1Y@#_41X@$sets@! =@@@'META184'META185'META186@A@@8Aض쩚󩛠@ @9Coq.Sets.Relations_2#<>#2Y@#_42X@$sets7@A@'META190'META191'META192'META1937B@@m=B !*(.@0,J@612B@9Coq.Sets.Relations_2#<>#3Y@#_43X@$setsQ@@A@'META200'META201'META202'META203@A@@AKI][Rfd2j@lhW@-@rmn~@9Coq.Sets.Relations_2#<>#4Y @@@]p.' @i{J"@Yӎt^àP"@؂zUhW̷"܄@?5vrӫ;[#k82|B