"`-W -Well_Ordering+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@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\OIug-B03#xР-Well_Ordering+Wellfounded#Coq@A"WO,<!B@A֠B@@@!AA @@@@ #sup#!!aB!f@*EDC@@@AB@BB@I@E;@@@@@@AAB@@A@BBGE:8@@@@AA@@A@'WO_rect @GEWU!P!wZ@k;@?b TDa@@DI<F@?DDB@!bGRIOK AFTQ\@@!F1/^41BBB@@@@D=;lmoyv@tCHGw31{0@TRA" `+k() ,8'*(= R'>3+ &'' $'+k$'+7!Tk$''tAEx[8@@ T@W@A@A@@@u&WO_ind @ǷrpnAb@Ͷx$#IAEx}8@@@@@&WO_rec @׷@@;k&q@ J @+k() 7&'l@@@@@%le_WO,<@砠@@@@NM&le_sup @!vBB@@CC@>@/;4@@@AAC@@A@BB:8-+@@@@)le_WO_ind @75GE1!&#ݶ*֩#ҷ÷ැ!l@U;4@,4WBCC@@@@@@@D  ɷ@IGjbk?@a_qo[K*%#Ik +k()= R'>  & ' '+k() %'&KAF|@@@@@9%wf_WO @@@}{"Wf$Init@,well_founded8E<F6@@@A{7S*EqdepFacts%Logic@AA|vT@A1DH @ABA1FdJ@A1GK @AA7iA(@A8噠G&Specif,@ABCA8ؠH@A@AA@A@AA@A@A@ABCDE@@ѐ @Ȕ E@@#leA@޶@+@#sig#* @!x@ h+k() + 7%' %'x@@@(A8AF@A@@#wof @@A60.@@㩚@;x@@@CA @ADA@FAh@HA7kC@$@ABCD@@@@@@@A@A@$@A@ Tn@ @T@A@ABC ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AD|{ywBu@u@As@&@ABC%$DE@@@8@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua%Eqdep%Logic#Coq@0ڡc*%U\ߠ*EqdepFacts%Logic#Coq@0FI$ͼՋ`%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ֱ&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@;@A@@@@@@@@@@ A@@@@@@#_13'`o@@;@B*type_scope.function_scope@@A@#_14'`o@@;@AD@@@A@A@͠2 Q@@G@#_153@;k&qI@@@@@@#_162M접B@;k&qEE@A#_17'`o@K@;k&qEGFHJ@@@AAA@#_18? 3V/_rect_from_typej@f@l@2 Q@@F@#_19x@.@@@@@@#_202M접@.EE@A#_21'`o@@.E@@@AAA9@#_22? 3V._ind_from_type@@@Ơ2 Q@@@#_23@3Ӡ@@@@@@#_242M접@3EE@A#_25'`o@@3EѠРҠԠ@@@AAA~@#_26? 3V._rec_from_type@@@ N$@@B@@@@@@#_27@;4@@@@@@ A@@@@@@#_28'`o@@;4@D@@@@A@#_29'`o@9@*;4@AE54@7@@@A@A@@2 Q@@#@#_30U@ (cik@@@@@@#_312M접d@(ciGG@A#_32'`o@m@"(ciGihjl@@@@@AAA(@#_33? 3V._ind_from_prop@@@K2 Q@@@@#_34@;@A@@@@@@@@@@#_352M접@";#_36'`o@@,;B@@A@2 Q@@@@#_43@;x@A@@@@@@@@@@#_442M접@;x@#_45'`o@@;xC砐@@@A@@2 Q@@@@#_46@;@A@@@@@@@@@@#_472M접@;#_48'`o@@ ;D@@@@A@@@@Оu;]1@:D 7S8Nׄ@+-` mle@̢.+f!0{# o 򠐑!AA-Well_Ordering+Wellfounded#Coq@@@!B@A֠B@@!a@"WO;@B"Wf$Init'@#Acc>b@AC@%le_WO;4@ -!@&WO_ind. ,!y-D@E?+)8F 3"a0%!f@*PE!H!bF%@6G_;!WH?R1$"H0D'lbA,7LȐ"H1MBCC@@@@@@@D!w xI"@aJv@%Logicu@"eq @Kt[@Lz3 =bMI"a1G"f0@La)-!v1]E,#k|"H22#S#)"Q8"i ȩ=N(kC@&eq_ind JˠO \"RԠP v xAHݠQ ط2b%'U[Ȑ"H3j@'f_equal=&Specif@$sigT#6@'(@*R$!e2BBB@@@@D2@ЩTS#;۶@>٩.A '@'U!5SQ5: X1۩Z3IGWU1X/7 B;7(1]f_h}5aY°BwȐ"H4SȰ3t@(eq_ind_r!2#;rT<@?UV/1 @۰kWc@cYXH  O`J  UT7m T"f1@^O"v0dy6)*@,?d.n|f0pȐ"H5 /m/.xt%,-@/QZ3y4qk!s i<<ީ53X(>{?@D[[F-bk1\@u^]  Zf  \[ @  ҩJOˠ_Ʒ"v1t"f2@sE+[H.ǷV^78@:#<>"y09C"H67>z}Ȑ"H7y@&eq_sym X@GY9m%Eqdep+EqdepTheory@)inj_pair20:ZVW@YЩ`Jl!E@fmw@Yk'a9z:Ynb&<<<)@++@  HA)PC9@,well_founded8EL1Em Ek@@#leA@e@RAW!XHV@;well_founded_induction_type9p:O`l;j9k@~;x+!xEKC@Epy(*CEGw"X0@#sig#* @RSTu BBB@@@@DG)HInF3H"x0Q!l yC@=qx24-