"`~b~-%Union+Wellfounded#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@<)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ֱ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s2Transitive_Closure+Wellfounded#Coq@0#V"px \9:4yƊa-7 \QoР%Union+Wellfounded#Coq@A,strip_commut @@@!A:,iA@@@"R14Relation_Definitions)Relations@(relation'JjA"R2B@@&commuttC !xD!yE@2Relation_Operators&@*clos_trans4 ;@F%!zG@,%Logic$InitG@#ex2М@I"y'H@(J 5D@@@]A\A+@aA1A)E@eA8ӠAY@ABC@@AA@@A@)Acc_union @@Axvmk^\@Y@RP@"Wf8@#Acc>b@X`o MZk!a]@SdwQ_@%union2flX\iz@@@A_A2Transitive_Closure@AB@AFo@AC@A7iA(@D@ABCD@@A(wf_union @@B@@;@,well_founded8E@ 3@@@&@#@d@ABC@@a@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@:,i@@A@ABCB~@<@A|@9@z@ABCD@@@<@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ֱ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r2Transitive_Closure+Wellfounded#Coq@0#V"px \9"Wf$Init#Coq@0q+W,J+A"_39.z"<-"_49.z"->~2 Q@@C@#_17@ ޞ@A@@@@@@@@@@@#_182M접@ ޞΐ#_19'`o@@ ޞI*type_scope@@@@@@@@@@@@@@@K2 Q@@A@#_20@V7m@A@@@@@@@@@@@#_212M접@g7m#_22'`o@@q7mGE@@@.function_scope@@@@᠐䠐ӠA@}@P2 Q@@@@#_23@[!@A@@@@@@@@@@@#_242M접&@l!ߐ#_25'`o@0@v!F@@@@@@@!$~@@@4z{sxB @O;GXc[b @8@~qWϙ ׄ@~ޓf0넕 r!A:,iA%Union+Wellfounded#Coq@@@"R14Relation_Definitions)Relations@(relation'JjA"R2B!H@&commuttC !xD!yE"H02Relation_Operators*@*clos_trans4 ;@F)# @.clos_trans_ind?,b G  H!zI@;*%Logic$InitW@#ex2М@K"y'JO:3L BSA$>";$RX$ "H1&!@'ex2_ind>, gNYj/#PM_p"x0!"H2"H3 fuAAO8NR<iP axmA u}X{w~a{_^\ywI_#IH1eR@O6a/U0NyX3!5KU_#IH2v<@ q.e/-h2,4"z04DJ5\3r4=u7Q:©<{=FBV?Q "H4R ȩqSTة    ݷ"x1"H5"H6UnVlWB Ѡ  @"Wf@#Acc>b@  !a@'Acc_ind2M @%union2fl(ж@.(**@/14A -(ɩ B-@&or_ind"E2H-JqC,T7E.?թ;Dض@?^+Zة?\N@IhbdMfW@Rq`@Un,pUg"H7^l0F^l"y0"H8fpGeo"H9 }ik ?Uɠ!X#H10 #H112Transitive_Closure@-Acc_inv_trans-X Ϸ@YZ[@"or @ |}Է"x2"y1#H12Uː\ੜA&*3,**-#H13]1#H14 !#H15^_B`K C_^ "6@,strip_commut ޞ΀$;LSV##r@.Acc_clos_trans7mr%@'Acc_inv2M  /5m"717WUIG:864$.+<)-B2+/3*@)Acc_union7m$37:کJ(P8LQLSC@I@O@,well_founded8EFJ@EM 8?:IMV.+:j