"`߄۰4Relation_Definitions)Relations#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ֱXG\tF7p '< 9 [)J',Р4Relation_Definitions)Relations#Coq@A(relation @!A8ӠA@@@@A@BA@HAA \+k+ T'+T'6'P@@@@@AA@@A@)reflexive @/-!R0@>'Jj-!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@@%equiv @'@#andЖw@@g€L @HS@c1xX@ |+k() 7! 7!7! 7!7%' hH\|h@@@@@ (preorder,<@.Build_preorderƶ+preord_refl<,preord_trans8@@@AB@BB@@% @@@@AAB@BA@BB䠠@@@@" @!!p@C @BBB@@@@@٩v6*?yݷ>t;-@<:   +k()= R '>'' +k7%':AB|@@@@@*S @US&$42,6%Mb#`"P@][.,<:a +k()= R '>'' +k7%'@[AB|@@@@@K%order,<HFzx@>l+Build_order~QO(ord_reflŶ)ord_trans+ord_antisymX@ g/28@@CC@@)ؖ@@@AACBA@BBqo@@@@$ @}{!o@Eؖ@>BCC@@@@@@eA?=;6q@Ŷ +k()= R '>'' +k7%'9AC|@@@@@U @޷42,6$ؐdb`#@=;퐐 +k()= R '>'' +k7%'+A[AC|@@@@@נt @ѷVTNXF|зϷE@  ڶ_] +k()= R '>'' +k7%'d~AC|@@@@@+equivalence,<)'@1Build_equivalence/-*equiv_reflt+equiv_trans8)equiv_symn:@@9 CC@M@#>u\@@666@AAC5BA@BBLJ@@@@* @US&$!e(@?>u\@BCC@@@@@@5^;4937@pnA?:8AC|@@@@@]N @YW31+5#R]V[UY"@b`<:Ґ?YAC|@@@@@~l @zxTRLVDt~w|vzC@][Y^xAC|@@@@@#PER,<@)Build_PERӶ'per_sym)per_trans@@ BB@@;@@@AABBA@BB@@@@̠ @Ʒ֩@9;@BBB@@@@@4W2@  ܶ[ѐ0AB|M@@@@@E @%#.(!TwR @-+ 61А8PAB|r@@@@@)inclusion @FD"R1"R2@@@SQ "  F +k() + T' +T'+ !T'%'@@@@@9-same_relation @ec47@.Aacec@ d+k() 7" 7"7%'PDl@@@@@]&commut @CXA?R7:4@6:0@4?@#ex2М@H"y'GB Q@T +k() + T' +T' + !T'+T'+ !T'+ +7&'%' %'T@@@A1A)E @A@@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@8@@A@ABC@@@AB@@@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"->I2 Q@@@@"_8X@T'Jj@A@@@@@@@@@"_92M접g@c'Jj@#_10'`o@p@l'JjA*type_scope@@@D2 Q@@@@#_14@Og*@@@@@@#_152M접@^g*#_16'`o@@fgB)@@@b@O2 Q@@@@#_17@ZHV@@@@@@#_182M접@iHV#_19'`o@@qHBU@@@@X2 Q@@@@#_20@c1x@@@@@@#_212M접@r1x#_22'`o@@z1xB@@@@l2 Q@@@@#_23@wg@@@@@@#_242M접@g#_25'`o@@gB@@@@m2 Q@@@@#_262@xıڠ@@@@@@#_272M접A@ıڠ#_28'`o@I@ıB٠@@@@aN$@@B@f?@\@@@@@@#_29d@r @A@@@@@@@@@@ A@@@@@@#_30'`o@~@ @B@@@G@#_31'`o@@ @AD @@@@@[Ѡ@2 Q@@H@#_32@s@I@@@@@@#_332M접@s@CC@A#_34'`o@@s@CU@@@@@̠2 Q@@H@#_35@z@@@@@@#_362M접@CC@A#_37'`o@@C@@@@@#_38L4x @ @@@A A A@@s@@@N$@@B@@@@@@#_39,@ؖ@A@@@@@@@@@@ A@@@@@@#_40'`o@F@ؖ@B֠@@@@#_41'`o@X@ؖ@AE@@@@@@$@2 Q@@H@#_42y@+}M@@@@@@#_432M접@+}CC@A#_44'`o@@+}C!@@@@[@2 Q@@H@#_45@U ~@@@@@@#_462M접@)U CC@A#_47'`o@@2U CR@@@@@=2 Q@@H@#_48@H@@@@@@#_492M접@WCC@A#_50'`o@@`C@@@@B@#_51L4x@ؖ@ @@AAAA@@+}@U  @@N$@@B@@@@@@#_520@>u\@A@@@@@@@@@@ A@@@@@@#_53'`o@J@ >u\@Bڠ@@@@#_54'`o@\@2>u\@AE@@@@@@(@62 Q@@H@#_55}@A4CDM@@@@@@#_562M접@P4CDCC@A#_57'`o@@Y4CDC%@@@@_;@d2 Q@@H@#_58@o>:u~@@@@@@#_592M접@~>:uCC@A#_60'`o@@>:uCV@@@@l@2 Q@@H@#_61@7-P@@@@@@#_622M접@7-PCC@A#_63'`o@@7-PC@@@@@#_64L4x @>u\@@@AAAA@@4CD @>:u$@7-P@VN$@@B@[@P@@@@#_654@d;@A@@@@@@@@@@ A@@@@@@#_66'`o@N@~;@Bޠ@@@@#_67'`o@`@;@AD@@@@@+@2 Q@@H@#_68}@ VI@@@@@@#_692M접@ VCC@A#_70'`o@@ VC%@@@@_@2 Q@@H@#_71@7C0z@@@@@@#_722M접@7C0CC@A#_73'`o@@7C0CV@@@@@#_74L4x@ ;@@@AAA@@ VӠ@7C0@2 Q@@@@#_75@A@A@@@@@@@@@#_762M접 @A#_77'`o@ @AC@@@@ڠ@2 Q@@@@#_78 )@|0@@@@@#_792M접 7@|Р#_80'`o@ ?@|CϠ@@@@  @2 Q@@@@#_81 X@t_@@@@@#_822M접 f@t#_83'`o@ n@tC@@@@ 8 ;@#_84X@$sets @ TgD@@@@@@  @ 'Coq.Relations.Relation_Definitions#<>#1, @ BHD@@@@ @ 'Coq.Relations.Relation_Definitions#<>#2, @ gD@@@@ @ 'Coq.Relations.Relation_Definitions#<>#3, @ ;1xD@@@@+ @ 'Coq.Relations.Relation_Definitions#<>#4,@#_85X@$sets @ @B@'META160'META161@A@@OA  Զ   ζ⩚   Ҷ㩚   ԩ@   @ 'Coq.Relations.Relation_Definitions#<>#5, @ؖ@C@'META164'META165@A@@A   ٩ א  N   K    é@   (@ 'Coq.Relations.Relation_Definitions#<>#6, 0@>u\@C@'META169'META170@A@@A > <   6  8 :   <   @   ^@ 'Coq.Relations.Relation_Definitions#<>#7, f@;@B@'META174'META175@A@@A t r E C l  n p  + r@ , 04 @ 'Coq.Relations.Relation_Definitions#<>#8, A@'META178'META179 @ s@@@   s q       X \ @ 'Coq.Relations.Relation_Definitions#<>#9, A@'META181'META182 @ @@D  ȶ   ¶    Ʃ    @ (Coq.Relations.Relation_Definitions#<>#10 0̠ A@'META184'META185 @ i+}@@l   é   I G   ;   @ (Coq.Relations.Relation_Definitions#<>#11 0͠ :A@'META187'META188 @ U @@   멚   q o   \   0@ (Coq.Relations.Relation_Definitions#<>#12 0Π A@'META190'META191 F@ @@ B @   :   < >   ? X@ (Coq.Relations.Relation_Definitions#<>#13 0Ϡ A@'META193'META194 n@ 24CD@@䠐 j h ; 9 b   d f   g$ @ (Coq.Relations.Relation_Definitions#<>#14 0Р A@'META196'META197 @ W>:u@@    c a  @ >   Ԡ H L @ (Coq.Relations.Relation_Definitions#<>#15 0Ѡ A@'META199'META200 @ |7-P@@4      h f    p t @ (Coq.Relations.Relation_Definitions#<>#16 0Ҡ A@'META202'META203 @  V@@\     ڶ ĩ  ީ    @ (Coq.Relations.Relation_Definitions#<>#17 0Ӡ *A@'META205'META206 @ )7C0@@   ۩ ِ  쩛    L   @ (Coq.Relations.Relation_Definitions#<>#18 0@#_86X@$sets .@AD@@@@ 5@ (Coq.Relations.Relation_Definitions#<>#19 0ՠ <@|D@@@@ C@ (Coq.Relations.Relation_Definitions#<>#20 0ߠ J@tD@@@@à Q@ (Coq.Relations.Relation_Definitions#<>#21 0@@@]4Ѐd{n^<2@*G65-Š9M<[@>Vr 9Hx<@.$W,6u