"`фٰ+Relations_1$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@0)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ֱAT?h1. #"eР+Relations_1$Sets#Coq@A(Relation @!U8A@@@@A@BA@HAA \+k+ T'+T'6'P@@@@@AA@@A@)Reflexive @/-!R0@>k؀-!x./22@?=1 X+k()+ T' %'@@@@@$*Transitive @PN!D!yC!zD@O@EF@% +k() + T'+T'+T' +!T'+!T'%'@@@@@G)Symmetric @sqDB;g#!@#km!m&@= +k() + T'+T' + !T'%'@@@@@_-Antisymmetric @\ZS;9@@%Logic$Init@"eq @<DH@_ +k() + T' +T' + !T'+!T'7&'@@@A1DH@A@@(contains @"R'hke@Ha@  +k() + T' +T'+ !T'%'@@@@@-same_relation @зD@#andЖw@@16g֩@% d+k() 7" 7"7%'DlP@@@@@Р(Preorder,<ˠ@6Definition_of_preorderԶ@@Op@@!&@@@AB@BB@*@* dRC@@@@AAB@@A@BB*(@@@@-Preorder_rect @42!P8ĠB6@@!f@;@72!p@X dRC@;BBB@@@@D@M@ZX+)&$ +k()= R'> % ''+k'DAD|@@8@1@A@A@@@I,Preorder_ind @usFDAh9@xvIGDk4_AD|@@@@@b,Preorder_rec @_]Z@`@i+@igd > @+k() 7&'l@@@@@%Order,<}@u3Definition_of_order@@@@;9`i@@ CC@@"@@b@@@AAC@@A@BB@@@@*Order_rect @۷8C@@@@@.!o@K@@b@BCC@@@@@D@C@ζ" +k()= R'>  & ''+k'@AF|@@8@/@A@A@@@)Order_ind @ 7@4[AF|@@@@@)Order_rec @31@c?Y@;9  < l@@@@@$+Equivalence,<!SQ@E9Definition_of_equivalenceYW*(@T@O@+@9_ˀO@@N CC@u@!DwH@@KKK@AAC@@A@BBB@tr@@@@R0Equivalence_rect @~|OMJ8BD~@@H@F@E@-32!e]@JDwH@BCC@@@@@D@GF@qol"dO?AF|@@8B@.@A@A@@@/Equivalence_ind @6@3ZAF|@@@@@/Equivalence_rec @ѷE@b+*7@ٶM;C l@@@@@Ġ#PER,<@1Definition_of_PERȶ@@@BB@@ @@@AAB@@A@BBڠ @@@@젠(PER_rect @䔑8E@@@ީ@@ @BBB@@@@D@(y@53䐐ې:AD|@@8@)@A@A@@@#'PER_ind @OM B1@RP#!E2UAD|@@@@@<'PER_rec @hf974ک8@]Fͺ@pnA?<;ؐ l@@@@@Y@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@A Գq@ Գq\ @A@8@@A@AB8#@8@8B@8L@ABCD@@@0@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ֱ&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@@@@"_8 @k@A@@@@@@@@@"_92M접/@+kؐ@#_10'`o@8@4kA*type_scope@@@ 2 Q@@@@#_14J@Op*@@@@@@#_152M접Y@&Op*#_16'`o@a@.OpB)@@@*@2 Q@@@@#_17v@"!&V@@@@@@#_182M접@1!&V#_19'`o@@9!&BU@@@V@ 2 Q@@@@#_20@+9_@@@@@@#_212M접@:9_#_22'`o@@B9_B@@@@42 Q@@@@#_23@?9@@@@@@#_242M접@N9#_25'`o@@V9B@@@@52 Q@@@@#_26@@6gڠ@@@@@#_272M접@N6g٠#_28'`o@@V6gCؠ@@@@ڠ@H2 Q@@@@#_29)@S'#y @@@@@#_302M접7@a'#y#_31'`o@?@i'#yC@@@@  @MN$@@B@R9@H@@@@@@#_32^@^ dRC>@@@@@@ A@@@@@@#_33'`o@w@w dRC@B?@@@@@#_34'`o@@ dRC@ADQ@@@@@T@c2 Q@@G@#_35@n+@@@@@@#_362M접@}+EE@A#_37'`o@@+E@.function_scope@@@@A~@#_38? 3V/_rect_from_prop@@@i2 Q@@G@#_39@s7F̠@@@@@@#_402M접@7FEE@A#_41'`o@@7FE̠@ϠF@@@Ҡ@A@#_42? 3V._ind_from_prop#@#@%@2 Q@@@#_431@7R@@@@@@#_442M접@@7REE@A#_45'`o@I@7RE@@@@@A@#_46? 3V._rec_from_proph@h@j@N$@@B@@@@@@#_47z@@@bZ@@@@@@ A@@@@@@#_48'`o@@@@b@B[@@@\@#_49'`o@@@@b@AEm@@@@@@q@ڠ2 Q@@ @#_50@?@@@@@@#_512M접@?EE@A#_52'`o@@?E@@@@@A@#_53? 3V@I@@2 Q@@d@#_54 @E頠@@@@@@#_552M접@EEE@A#_56'`o@!@EE@점c@@@@A;@#_57? 3V?@@A@# 2 Q@@@#_58M@E-@@@@@@#_592M접\@%EEE@A#_60'`o@e@.EE-@0@@@3@A@#_61? 3V@@@N3N$@@B@8:@-@@@9@#_62@ADwHu@@@@@@ A@@@@@@#_63'`o@@ZDwH@Bv@@@w@#_64'`o@@lDwH@AE@@@@@@j@T2 Q@@;@#_65@^+*7@@@@@@#_662M접@m+*7EE@A#_67'`o@@v+*7E@à:@@@Ơ@Aq@#_68? 3V9@@@\2 Q@@@#_69$@f%<@@@@@@#_702M접3@u%J @@@@@@#_852M접 J@>J EE@A#_86'`o@ S@>J E@@@@ !@A6@#_87? 3VO q@}@ s@  2 Q@@@#_88 @>V_@@@@@@#_892M접 @">VEE@A#_90'`o@ @+>VE_@b٠@@@ e@Az@#_91? 3VN @@ @K#_92X@$sets @ OpD@@@@@@  @9Coq.Sets.Relations_1#<>#1B @ !&D@@@@ @9Coq.Sets.Relations_1#<>#2C @ R9D@@@@ @9Coq.Sets.Relations_1#<>#3D @ x9_D@@@@+ @9Coq.Sets.Relations_1#<>#4E @ C6gD@@@@9 @9Coq.Sets.Relations_1#<>#5F @ 5'#yD@@@@G @9Coq.Sets.Relations_1#<>#6G@#_93X@$sets !@ ! dRC@B@'META160'META161@A@@kA / -   '@ - ) +@ +  -@   K@9Coq.Sets.Relations_1#<>#7H S@@@b@C@'META164'META165@A@@A a _ 2 0 Y@ _ [ ]@ ]  _@  @  + @9Coq.Sets.Relations_1#<>#8I @5DwH@C@'META169'META170@A@@ӠA   h f @   @  N @G N R@ M Sa @9Coq.Sets.Relations_1#<>#9J @ @B@'META174'META175@A@@ A  ˶   Ŷ@u  ɶ@ ɠ  ˩@   @:Coq.Sets.Relations_1#<>#10;@@@k<⪚(тc11=@'|ewy+;1f@",xk1@m08np1Yhܰ=^