"`愕z)Morphisms'Classes#Coq@0)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@$Init'Classes#Coq@/RelationClasses'Classes#Coq@D)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ֱ&Basics'Program#Coq@0!bs߯? :VU'Tactics'Program#Coq@039@@8@@4,proper_proxy @usjfdcaUS1@5a0m@p~mk_]  .,@@U@@Q/eq_proper_proxy @@@!xr%Logic$Init@"eq @@@@A1DH @A@@r6reflexive_proper_proxy @@A!H/RelationClasses@)ReflexiveW/rHDu@@@A݋X_A@A@@3proper_proper_proxy @@BҶBö©4#`@@@@1respectful_hetero @הzeE@@!B{ɤF@@!C@Ք|G@@!D@ߔ}"H@@@H@Iⷐ"R'~E!y@t@!fF !gH@ f کg@E?=75.,%#!@@ +k()+ T' +T' + !T'  #'@@ze@S@A@A{ɤ@K@A@|@C@A@}"@;@A@ABC@@@ *respectful @KI@<:_(:xAy73BB8BG@2<1/@JXmYHOG@ +k()+ T' +T'+ !T'  %'@@@eA@AfAx@hAp@jAh@;@ABCD@@8/ProperNotationsA@@@@@@@*forall_def @ۀߠK@@A@~|!P@Bnos@@ہL@@ T+k()+ T'$'@@ہ@ @A@A@"A@A@@p/forall_relation @.($"#sig!a(*mn- 1@B70 t+k()+ T'  &'@@@LA@A@@2pointwise_relation @XRʷȷƶ@+ѩ'Q@bcѩѐ p+k()+ T'  %'@@ @@3pointwise_pointwise @@ Cv w婚D@4relation_equivalences#@2-rӀ@%WO?v@@@A@AAhCZ@Ap@A1GK@L@ABCD@@堠5subrelation_id_proper @@6D"RA#RA'Vxv@+subrelation0s갶@r%/tt)Datatypes@"id{p~@@@4@AA~@A S@{@ABC@@6subrelation_respectful @@eEEҶhӶ-1B0$subl/9L"RBK!#RB'OV$subr=PGZ?@MMhO`!jQWN@@@d@1@@ABC@@@0subrelation_refl @@FqnlU_rr@@@A@A@@O2subrelation_proper @@G {om#morL5#unc@-Unconvertible쀰=޶#subx^TY@@@HA@}A@A@l@@A@ABCD@@}9proper_subrelation_proper @@H;u@@@1&Basics'Program@$impl7o@@@+@@A@@@A@ABCD@@5pointwise_subrelation @@IcdҶG@ܩ+-̐@@@@$@AB@@2forall_subrelation @@J{pinH!SrJ@REܰKNxް{񩚠@h죀%$@@#@@ޠ1apply_subrelation,<@.do_subrelation@@@AB@@@@9@`S@@A@@@@AA@@@@@@@4iff_impl_subrelation @@MK/RelationClasses'Classes#Coq@@+subrelation0s@#iffС)@@@@@9iff_flip_impl_subrelation @@jL2@$flip$999@@@@@.;respectful_per_obligation_1 @oۓό^m@@A@jhVhȩ@#PER"@5sx."H0 y@qq{@::"H1r?xo"x0I"y0J"H2 "BBB@@@@D@,Ln[-PER_Symmetric@)SymmetricFgq.PER_Transitive@*Transitive++-MK&@K/8i8.PER_Symmetric0 /PER_Transitive0NBG@uv2jb`5_)Ȑ +k() = RT ' >= R*'>""  &'''      +k  %'   + k  %'VABAEt|@@@A@A6@A@ABC@@ɠ;respectful_per_obligation_2 @@M6XR&@@@@A@@۠.respectful_per @  0 IkɷA<]v Q @<&t&u''/@?<'  @4նWֶ2pʶ:` +k()7       7:'X!@@@@@ >complement_proper_obligation_1 @@qNQ;LO@?@:"mR@_d HfDJ%]&@@bHli%nL'-@*complement qgY@@@L@@@ABC@@K1complement_proper @}{gx{,*(k1@@yj0M@}@EowsyTU@HqcZOTU@D H+k() 7#' p@@@@@w8flip_proper_obligation_1 @@OIJKc"RBf"RCi@71{@r9t={@y@8|@}wc@@@@A@iA!s̓P@mA!t Q@qA!uR@ABCD@@+flip_proper @yݷ˷753c2ѩط?=@9@::m@X@YY[BCm@[+5O JcIJK@X X+k()7#' @@@@@@⠠ %trans_contra_co_morphism_obligation_1 @@3Pphfĩ#c@@@4@A2@W@T@ABC@@8trans_contra_co_morphism @;Ʒ,*)',@*!vԀ7#6@9ڶ64&F'%* @+k() 7&'l@@@@@" +trans_contra_inv_impl_morphism_obligation_1 @@sQSPN@_= ? @@>@@4>trans_contra_inv_impl_morphism @ufdcaS)gǩmlc6@'y5@urpb8?~a$/ϐ萐p@@@@@^ #trans_co_impl_morphism_obligation_1 @@R0|RyT@@@@@AB@@p6trans_co_impl_morphism @B<"eV<&p@%/"-o@P /ryv "p@@@@@ +trans_sym_co_inv_impl_morphism_obligation_1 @@SjĶ&^J""@@;@@>trans_sym_co_inv_impl_morphism @{uٷַ8[<tu`ש@% 3苀U@F i<C\p@@@@@Ҡ +trans_sym_contra_impl_morphism_obligation_1 @@#T`:ƩTO[[@@@@⠠>trans_sym_contra_impl_morphism @#qKשȷu9@#@!¶~X*/t o{p@@@@@ %per_partial_app_morphism_obligation_1 @@[U;ܶ86rG%@@@@8per_partial_app_morphism @[LJIGMqG@#,׮@YVT#bʐp@@@@@@ *trans_co_eq_inv_impl_morphism_obligation_1 @@Vqnl^|5!`~7\z*bb@@@@A@A@Au@ABC@@W=trans_co_eq_inv_impl_morphism @)#vE]U@()6r\@5]>ZF%[l@@@@@|9PER_morphism_obligation_1 @@WN q]T@@@@,PER_morphism @]WyI@ M݊@iö%rql@@@@@4symmetric_equiv_flip @@Xڶ<=2̐@@@@AA@ @@ABC@@à;compose_proper_obligation_1 @@YLJ@@K@I PL@'compose' W@@@@A#@A!gʏDV@A!hΠEZ@A!i F^@ABCD@@.compose_proper @4%#H@}{⩷@EX"2@5ֶX׶Pض!@a@}GdECA< P+k()7# 'x@@@@@#:reflexive_eq_dom_reflexive @@tZTwXP b+G@@@@63respectful_morphism @@[g /@@u@iݩyll@``eȐ@@@@@AB@@T>Reflexive_partial_app_morphism @@\&'¶v:QNy &MYOz@@@r@@AB@@p/flip_respectful @@]BCݶީWYYYk^`oo@@@@A@@@@ABCD@@%flip1 @@^`wn@@@@A@@@ABC@@%flip2 @@_vж3&((1@@@@.eq_subrelation @@`DB̰֐@@@@s@r@ABC@@Ƞ2proper_flip_proper @ z@~ȩȰO@@@@A@>@ABC@@䠠0reflexive_proper @@5arpةf@@@@)proper_eq @@Db$Ŷ#@@@=@<@@ABC@@2PartialApplication,<@8Build_PartialApplication6@@%@@@[@@@A@@@@BA@@@@@@@2normalization_done,<@651did_normalizationR@@A@@@w@: ԰@@A@@@@AA@@@@@@@:&Params,<%arityF@#nat@"ofvzۻdF@@@ ji,Build_ParamsM@@y@@@@06@@A@@@TBA@CC/-'%@@ۻd@%@A@A@@z-proper_proper @@c۾!I@@@LE@@۾!@@A@A@A@AAhC/RelationClasses'Classes#Coq@@A1GK%Logic$Init#Coq@@A8ӠA4Relation_Definitions)Relations#Coq@@ABC@@*Normalizes @锑ۿ`J@@귐"m'-@ 1ܐl@@@A@A@AB@@ݠ*normalizes @ % J/@45oր @ /  )T  0i ֐@@"@@8proper_normalizes_proper @@ Ld ,C"R0 )"R1l! !6 5@@@@@ASA J@UA@ABVA@B@AYA@B@ "A@ABCD@@ )flip_atom @@ qe Qh N L@ ? R A A ;  C C = V@@@pA@rA@AB@@ 6*flip_arrow @@ f gڠP v@@Q ~@@ s rB$R'''@C@͔A"NA @5oրDB&Basics'Program#Coq@@$flip$DDA D#R''@E@)"NB'FB%FF8A4@H @%WO?HGFC<@H@HQHGEB@@@s@A@@m@A@AB@yA @AzA@|A!s̓P&Basics'Program#Coq@@ABA!t Q @A@AA @A @AA@A @A&@ABCDE@@ ֠/proper_sym_flip @@ 'g c @@ߩ4Relation_Definitions)RelationsO@(relation'JjA y@)SymmetricFgqBA K_ 8@@"R2 -A .@E ĩ@F FCEBA@G PGDFʀDDݐCB@@c@Y@A@_@9@A@AB@ uA@A`A v@bA݋X_A@ABeA@EA }@GA@IA@ABCD@@ N1proper_sym_flip_2 @@ h  @@WxA 穚nBA ٠ @@kA*BA ” ՠ @@"R3 A @H@  < @I@  éI@F H FCEBA#@J@  ЩJ@G I$GDF]DDpCB@@@t@A@@a@A@ @N@A@ABC@ A'@A}A @A@ABA+@nA @AoA@rA2@A^A @`A&@bA@ABCDE@@ 砠3proper_sym_impl_iff @@ 8i  풠 '@@ A BA $@CA@D zDC@$impl7oA@EAED%Logic$Init#Coq@@#iffС)B@@ @I@A@A@KA r@MA@OA@ABC@@ C5proper_sym_impl_iff_2 @@ j t @@ xmA ܩcBA K @@ AxBA @F@ r#򀰶@G@ {G@DFDCyA @H@ wH@E~G ED}B@@@`@A@K@M@A@AB@eA @AfAq@iA @AUA @WAw@YA@ABCD@@ 3PartialOrder_proper @@ k  @@#eqA鐐A#equ?@+Equivalence~@BA C$preo@(PreOrder@DA x@,PartialOrder5͛АEDCBAx@F@ 婚qF@FEyFE뀐C@@@S@A@A@WA U@AXA@ZA@AB[A@^A@A_Ak@aAd@cA~@ݷc3mAex@ABCDE@@ 48PartialOrder_StrictOrder @@ l e!~ t@@v^AutBA tiCmlDA ީfАEDCBA b@+StrictOrder.[@F j@4relation_conjunctionlFC s@*complement qgFE@@!~@C@A@A@ @ N@AHA @JA =@ABKA R@NA@AOAK@QA@SA@ABCD@@ 4StrictOrder_PreOrder @@ m Ŕ$; @@֩A - @~@BA ٩ΐC kVDA j9@E@ 2E@ED:EDB @@F @4relation_disjunction!%FCE@@$;@P@A@A@ @ @AUA )@WA @ABXA @ZA@\Aa@^AO@ABCD@@ 8StrictOrder_PartialOrder @@ Pn 0(7 ?@@A)A kBA A6C өDA ҩ@E@ NE@EDEDBMАFEDgFCE @1FEDCBA@@(7@U@A@A@XA @AYA@[A"@]A@_A@ABCD@@ k@@@vi@ @A@Aze n@B{ɤ m@| m@A}" k@BCۀ@ '@A@ہ @Aۓό@ ?@A@Bۻd@۾!@Aۿ`@@A@BCD@@AcE@B_C@@A@BC @ I@A@BK@k@A!~@$;@(7*@ABC ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@ADEFG@ @@@ABC *@ o@AD n@ n@A l@BE @ 5@A @ @A 7@ @ABCF @ @A @ @ @ @ABCD @@A@B@@ @ABC @ @a@`@ABCDEG @!@A @@@@ABCD@@A@B@C@@A @B CDEB@@A@B@@ACD@@A@@AB@@ACEFB@@@@ABCD@@A'@B&%#@$@A"@@ABCDEF@@A@]@\@ABCD[[Y@Y@AW@@@ABCD@@A@@@ABC@@A@B@@H@ABC S@@ }@ABDEFGHIJ @D;:9@0!bs߯? :VUuts@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua$Init'Classes#Coq@0](p{yOh.rqp@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ֱ@0Gz rA6ՠ@0]4Ѐd{n^&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03Ѡ2 Q@@@@#_21@L@A@@@@@@AA@@@#_222M접@LCBB@#_23'`o@@LC*type_scope@@@@@@2 Q@@3@#_24@4>M2@@1@@@#_252M접"@4>MDD@@#_26'`o@+@4>MD0@@@@@@@#_27B@>LbB@/@a@@@@@#_28U@ 4>MuC@B@tA@AA6@AAd@AA@@@#_58X@3typeclass_instancest@pL@@#_30/@ @@@@@UTg4Relation_Definitions)Relations#Coq@@(relation'Jjx|{@@XBq@]@@`@@@?2 Q@@@#_31@I5a@A@@@@@@@@@#_322M접@Z5aCBB@#_33'`o@@c5aCӠ@@@@@@a2 Q@@@#_34@k0@@@@@#_352M접@{DD@@#_36'`o@@D@@@@@@@#_37@5a`B@@3@@@@@#_38'@sC@@F@AA@AA@AA@@@#_59X@ҡE@5a@@#_40/@ @@@@@&%8р?CBVU@멐BKK@@m@@@@٠2 Q@@A@#_41z@)f@A@@@@@h@@@@#_422M접@)f#_43'`o@@)fB@@@@@2 Q@@A@#_44@5@A@@@@@@@@@#_452M접@5#_46'`o@@ 5DȠ@@@@@ @@#_47@#52C@@@AA@@@@@2 Q@@A@#_48@ /@A@@@@@@@@@#_492M접@. /#_50'`o@@8 /D@@@@@@@#_51'@O /2C@@F@@AA@@@@L2 Q@@@@#_52B@W./theories/Classes/Morphisms.vU xU x z U xU x z  U xU x z $Init'Classes#Coq@@+class_applyw@\)f@%U xU x  @(U xU x  @@-U xU x  2U xU x  8U xU x  ,@^5@HU xU x  @KU xU x  @@@:Coq.Classes.Morphisms#<>#1@#_61X@3typeclass_instanceslB@km@@lkjX X  oX X  uX X  )Notations$Init#Coq@@(not_evarLEu3X X @X X  )X X  )X X  r@ /@X X )@X X )@@y@:Coq.Classes.Morphisms#<>#2@#_62YS/signature_scope)signaturerHȠ@#_63@ww@wA@w@AwA@'_ ++> _@w @A#++>@@@@@A@@$ ++>@A@@BA@@@@#_64%c?@/signature_scope@Q@@@V@@@@@@@@@@@à@@@@Hk@* R ++> R' #_65@ww@wA@w@AwA@'_ ==> _@w @b점#==>@@@a@A@@$ ==>@A@@BA@@@@#_66%c?@/signature_scope@@@@@@@`@@@@@@@@"*@@@@EM@* R ==> R' #_67@ww@wA@w@AwA@'_ --> _@w @K#-->Y@@@@A@@$ -->@A@@BA@@@@#_68%c?@/signature_scopem@@@x@@@@@@@@@@@@ A!AA@@ B!BA@@C!CA@@@@@@@[ ?@* R --> R' @#_69'`oA @*type_scopeI@@@#_70 @A@@@@C@@AA@@@@@#_71'`oA @gi@@@@#_72!F@@AA@AA@@@@@@@#_733**13I**57Q**8:@T**5:"f'`**=@@@@@i**AB@l**=B@o**1C@#"  @!TGGOPGG\]@@ @"Rxaaik!R@@ ||@9evar_#_(_#_:_#_)_4C69D536;㌠E .@||<||@||@@ @ِ@@@@A@@Š@@@@ ]ŠҠ @ @@@@@@ W@0clear_#_4C69D547<@@@.3@ 6@@A@@TG @@@@ L /-d@@@Z#_#`@@@@q&&-/"y&&02"&&36@&&-6@860@@@::MSAXA@@ X::TUZ::VW@::MW@@@ ::Zx@6eauto_#_#_#_#_4C69D5E1"٠?_@?_@)dn@*h?3typeclass_instances@@::{::{@@@@32 Q@@@@#_88@>=@A@@@@@@@@@@#_892M접@P=#_90'`o@@X=B䠐@@A@42 Q@@@@#_91@?/@@@@@@#_922M접@P#_93'`o@ @XC@@AA@<2 Q@@@@#_94&@G-ra@@E8@H@@@#_952M접9@Z-rꠠ#_96'`o@A@b-rCFH@@@@*@R2 Q@@A@#_97Z@]@A@@@@@H@zm@}@@@#_982M접n@q#_99'`o@x@{C}@@@@a@\2 Q@@J@$_100@g*@A@@@@@@@@@$_1012M접@x*ᐐ$_102'`o@@*D@@@@@@$_103@*4F@@䠐@AA@AA@@@@@@@$_131X@pA@@'META266  'META267'META268 @*@@F@:Coq.Classes.Morphisms#<>#3@$_10446@@@@ 2 Q@@A@$_106&@>6z@A@@@@@@ F9@ I@@@$_1072M접:@>6z$_108'`o@D@>6zH I K@@@@@@@@@25!;>*@$_109m@>6zGL@Z@ @ F@AAM@AA@@AA@AA@@@@@@@@@@ 2 Q@@A@$_110@v @A@@@@@@ @@@$_1112M접@)v $_112'`o@@3v B @@@@.2 Q@@A@$_113@9J7@A@@@@@@ @@@$_1142M접@JJ7$_115'`o@@TJ7G @@@@@@@@Ҡ@٠Y@$_116 @wJ7>F@@ *@AA@AA@@AA@@@@@b2 Q@@J@$_117/@m4 ;@A@@@@@@ O@@@$_1182M접@@~4 ;$_119'`o@J@4 ;A O@@@$_132X@ 咠@@@?'META274@@ZP@Cp"@*@4@4 ;@@۠"@:Coq.Classes.Morphisms#<>#4@$_12046@ 2@Š2 Q@@J@$_122@)7@A@@@@@@ ڠ@ @@@$_1232M접@)7Ő$_124'`o@@)7E ݠ ߠ@@@@@@àƠ@$_125@ )7;G@@ @ @AA@AA@@@@@@@@$_133X@ D@@'META276'META277  'META278$'META279A@W)7@@}WG@:Coq.Classes.Morphisms#<>#5@$_12646@ @0sD@@U2 Q@@A@$_128b@` @A@@@@@P@ @@@@$_1292M접t@r ﵐ$_130'`o@~@| E  $ & ( *@@AAAA@$_134X@ )@@$_135X@ 1@-r@@$_136X@ ;@@@$_137'`oA@;@@@@$_138@A@@@@E@@AA5@AA@@@@@@$_139'`oA7@`@@@@$_140%E@@@AA@@@@@@$_141X@$core@)ReflexiveWD@@@@ A  @:Coq.Classes.Morphisms#<>#6@$_142X@$coreD@@@@ T@:Coq.Classes.Morphisms#<>#7@$_143X@$core@*Transitive++-D@@@@ j 2@:Coq.Classes.Morphisms#<>#8@/subrelation_tacF@@@ꠐ3@ v    % {    %     # @)is_ground z    $ %@    ( 3    ( 3    ( 1c    2 3@    6 S    6 S    6 A @ v @    C S@    B S@@  X X \   X X \   X X \ g ɠ@Y>6z@  X X i @  X X h @@  X X    X X    X X   접G@  X X  @  X X  @@$_144X@3typeclass_instancesC@ &@@ ) ( &    ޓ +    ޠ 1    @2O 9    ܠ @    @@:Coq.Classes.Morphisms#<>#9@N$@@B@@@@@@$_145$@`S@A@@@@@@@@A@$_146'`o@@@@@$_147'`o@@A@@@2proper_subrelationF@@@ B@ }!]!]!c!d@3@@ !]!]!g!x@:@@@@@@@ !]!]!|!}@   !]!]!!@@@ !]!]!! !]!]!! !]!]!! @J7@ !]!]!!@ !]!]!!@@@$_148X@3typeclass_instancesE@ 盐 @@ 蠕  !!!!铠 !!!!預@~#M@@;Coq.Classes.Morphisms#<>#10*@@2 Q@@J@$_149@5@A@@@@@$_1502M접 $_151'`o@@@@$_15246@B@@$_153X@ B@)@@ =;@;Coq.Classes.Morphisms#<>#11*A@2 Q@@J@$_154@2VA@A@@@@@$_1552M접 $_156'`o@@@@$_15746@ߠB@@$_158X@ ȒB@אߐv@@ @T@;Coq.Classes.Morphisms#<>#12*B@$_159X@3typeclass_instancesD@ RvRȰ  k@@  @A@@@ @ ####y #### #### #### ####@ ####@@@@  #### @.intro_4C69D576V`@@;Coq.Classes.Morphisms#<>#13*C@H2 Q@@DA$_174@S<&@@堐@@@@$_1752M접@f<&LD@A$_176'`o@@o<&F砐@@@@@@@ΠjԠp@2 Q@@AA$_179@<'@A@@@@@@&@)@@@$_1802M접@ <'$_181'`o@$@<'F)+@@@@@@@@2 Q@@J@$_184I@)<%C@6@h[@k@@@$_1852M접\@<<%@$_186'`o@d@D<%Fik@@@@@@@P점V@$_187@e<%D@r@@t@AA@@AA@@@@72 Q@@A$_193@AqcZ@A@@@@@@@@@$_1942M접@RqcZ$_195'`o@@\qcZDƠ@ h@@@A{@C2 Q@@@@$_198@N-a8@@@@@$_1992M접@^-a7$_200'`o@@f-aD@ @@@ޠA@$_201@-aiI@@.@AA@AA@@@@@@@@@@l2 Q@@mA$_2052@v+5O@A@@@@@ @RE@U?@X@@@$_2062M접I@+5O鐐$_207'`o@S@+5OHXZ\@@@@@@@@EHKA@2 Q@@@@$_210@!XنN@m@@@@@@$_2112M접@!XنM$_212'`o@@!XنH@@@K@@@@@Ah@$_213@!XنK@@栐@預@점@AAr@AA@AA@AA@@@@@@@@@@Ǡ2 Q@@3A$_217@!v@A@@@@@@@@@$_2182M접 @!vԐ$_219'`o@ @!vC@@@@U@2 Q@@J@$_222 ,@壟4@ @K@@@$_2232M접 <@壟3$_224'`o@ D@壟CI@@@@ *@$_225 Y@壟aI@ F@x E@AA@@@@@@@@@@@$_386X@ !A@@'META286@s @$'-'META287!7 Л @n壟@@預`0 @;Coq.Classes.Morphisms#<>#14*D@$_22646@@@V2 Q@@A$_231 @`y@A@@@@@ @@@@$_2322M접 @qy$_233'`o@ @{yD@@@@@ ɠ%@@y2 Q@@J@$_236 @&W!6@ @@@@$_2372M접! @&W!5$_238'`o@!@&W!D@@@@@ X@@$_239!,@&W!eG@!@K!@AA@ @AA@@@@@@@$_387X@ؒ C@@'META292뤐D򤐑'META293 'META295!|@&W!@@!@;Coq.Classes.Morphisms#<>#15*E@$_24046@C@@2 Q@@A$_245!@/"-@A@@@@@!@@@@$_2462M접!@/"-$_247'`o@!@/"-D@@@@@!@@2 Q@@J@$_250!@o6@!@@@@$_2512M접!@)o5$_252'`o@!@1oD@@@@@!͠)@@$_253!@HoeG@!@!@AA@!o@AA@@@@@@@$_388X@!C@@'META300 Û'META301]'META303"?@o@@{| "E@;Coq.Classes.Morphisms#<>#16*F@$_25446@ҠC@@t2 Q@@A$_259"[@~ 3@A@@@@@"I@{@@@$_2602M접"l@ 3苐$_261'`o@"v@ 3D{@@@@@"]@@2 Q@@J@$_264"@'\|6@"~@@@@$_2652M접"@'\|5$_266'`o@"@'\|D@@@@@",@@$_267"@'\|eG@"@ߠ"@AA@"2@AA@@@@@@@$_389X@l"C@@'META308   'META309    % 'META311#@'\|@@C !# @;Coq.Classes.Morphisms#<>#17*G@$_26846@C@@2 Q@@^A$_273##@ @A@@@@@#@C@@@$_2742M접#4@$_275'`o@#>@'DC@@@@@#%@@'2 Q@@J@$_278#Y@2F6@#F@x@@@$_2792M접#i@BF5$_280'`o@#q@JFDv@@@@@#X@@$_281#@aFeG@#u@#t@AA@"@AA@@@@@@@$_390X@4#QC@@'META316 G! N Q W'META317 񤛐'META319#@F@@"V#@;Coq.Classes.Morphisms#<>#18*H@$_28246@fC@@2 Q@@*A$_287#@,׮@A@@@@@#@@@@$_2882M접$@,׮$_289'`o@$ @,׮D@@@@@#񠐒 @@2 Q@@J@$_292$%@p6@$@D@@@$_2932M접$5@p5$_294'`o@$=@pDB@@@@@$$ @@$_295$T@peF@$A@s$@@AA@#@AA@@@@@@$_391X@$B@@'META324 "k 'META325!2'META327$@6p@@Ѡ(#$@;Coq.Classes.Morphisms#<>#19*I@$_29646@(B@@"2 Q@@A$_301$@,)6r@A@@@@@$@@@@$_3022M접$@=)6r$_303'`o@$@G)6rCѠ@@@@$!@>2 Q@@J@$_306$@I&ni4@$@@@@$_3072M접$@Y&ni3$_308'`o@$@a&niC@@@@$㠐!?@$_309%@v&niaI@$@1$@AA@@@@@@@@@@@$_392X@$B@@'META332@ Ӥ#, @ ݛ'META333#9 礐$@ !   "%h@&ni@@#%n@;Coq.Classes.Morphisms#<>#20*S@$_31046@B@@2 Q@@A$_315%@M݊@A@@@@@%r@@@@$_3162M접%@M݊$_317'`o@%@M݊C@@@@%"!@ݠ2 Q@@J@$_320%@ q4@%@@@@$_3212M접%@ q3$_322'`o@%@ qCՠ@@@@%"R@$_323%@ qaH@%@%@AA@@@@@@@@@@$_393X@%A@@'META338@ # @ 'META339$   "ћ&/@_ q@@kS$&5@;Coq.Classes.Morphisms#<>#21*T@$_32446@ A@@N2 Q@@A@$_327&L@Y,VV~@A@@@@@&:@l@@@$_3282M접&]@j,VV~$_329'`o@&g@t,VV~Cl@@@@&M"@$_330&|@,VV~0D@&i@&h@AA@@@@@@2 Q@@A$_333&@X@A@@@@@&@%@%@@@@$_3342M접&@X$_335'`o@&@XF@@@@@@@&&&@2 Q@@J@$_338&@ F@&@%@%@@@@$_3392M접&@ E$_340'`o@&@ F@@@@@@@&ꠐ&&@$_341'@ L@' @;&.@>&(@A@@@@@@@@@@@@@@@$_394X@͒&@@@@'META345'META346@@'META344 @ %I@@@ @"%^,+'META348'META349%m@4>@9@%|BL'META347!%PW+ ]gf'@  @@ o&;'@;Coq.Classes.Morphisms#<>#22*U@$_34246@K@ `2 Q@@J@$_345'@ k=[@A@@@@@'@󠐰&@@@@$_3462M접'@ =[$_347'`o@'@ =[D@@@@@'۠'=@$_348( @ =[7F@'@)'@,&@AA@@@@@@@@$_395X@'dA@@'META356'META357&$  '@'META358(N@ =[@@ &(T@;Coq.Classes.Morphisms#<>#23*V@$_34946@ @ ]WG@ 2 Q@@J@$_351(l@ ԑ@A@@@@@(Z@'@@@@$_3522M접(@!ԑ$_353'`o@(@!ԑB@@@@$_396X@)(F@@@('META364@('META365(@ &( @((@0)&א9&(Ȑ<(ϐ@MF&M&@^W&g`)@!ԑ@@T!')@;Coq.Classes.Morphisms#<>#24*W@$_35446@@!2 Q@@A@$_356)3@! 2R@A@@@@@)!@S(F@V@@@$_3572M접)G@! 2R$_358'`o@)Q@! 2RHVX@@@@@@@@)@)CA)@(@$_359)x@! 2REF@)e@(@)g@AA(q@AA)`@AA@(@AA@@@@!2 Q@@A@$_360)@!9^F@A@@@@@)@ (@@@@$_3612M접)@"9^F$_362'`o@)@" 9^FDŠǠ@@@@@))@!2 Q@@A@$_363)@"  @A@@@@@)@@@@$_3642M접)@" $_365'`o@)@"% D@@@@@)ߠ)⠐'@$_366*@"> 4F@)@0)@AA*@AA@@@@@@@">2 Q@@A@$_367*2@"I @A@@@@@* @R@@@$_3682M접*C@"Z ᐐ$_369'`o@*M@"d DR@@@@@*4*7(#@$_370*f@"} 4F@*S@*R@AA)\@AA@@@@@@@"2 Q@@A@$_371*@"+@A@@@@@*u@@@@$_3722M접*@"+$_373'`o@*@"+C@@@@*)@$_374*@"+0E@*@֠*@AA@@@@@@@"2 Q@@@@$_375*@"'TM@*@@@@$_3762M접*@"'TDD@@$_377'`o@*@"'TD@@@@@*Ԡ@*@$_378+@"'T}C@*@#*@AA*@AA@@@@"2 Q@@A@$_379+"@"m+@A@@@@@+@B@@@$_3802M접+3@# m+$_381'`o@+=@#m+DB@@@@@+$*@@$_382+T@#+m+2C@+A@s+@@AA*@AA@@@@#/2 Q@@A@$_383+r@#:.c@A@@@@@+`@@@@$_3842M접+@#K.c$_385'`o@+@#U.cB@@@@@#MN$@@B@#R@#K@@@@$_397+@#[@A@@@@@A@$_398'`o@@@@@$_399'`o@@A@@@$_400L4x @A@@$_401/@ @@@@@@#iN$@@B@#n@#g@@@@$_402+@#w: ԰8@A@$_403'`o@@@@@$_404'`o@@A@@@#uN$@@B@#z@#Z@@@@$_405,@#6@A@@@@@ޠA@$_406'`o@@C@)nat_scope@@@#@$_407'`o@&@AC+@@@@#@$_4089@8C@,'@AA@@@@@$_409L4x@A@@$_410/@@@@#қ)Datatypes$Init#Coq@@#nat@#ؐA,R#@@@@@@:partial_application_tacticF@@@ A/do_partial_apps: : ::&+à,W$cont@ B:4:4:>:?,c:4:4:>:?@@#:E:E:M:P, :E:E:Q:S@:E:E:M:S@#,:E:E:W::E:E:W::E:E:W:b頑,@%9 2R@:E:E:d:@:E:E:c:@@::::::::l::::,- ::::#'::::@@ 0::::,H@@@@?::::͒E::::@@ A*do_partialN::::,c"ar,@ A^::; ;  d::; ; @@*,-G@@$@A@x;;;;@ @A;;;";C;;;";C;;;";1,;;;2;3-:;;;4;5 AA@@@@!B@;D;D;L;M"n';D;D;N;Q@;D;D;L;Q@4@B B;U;U;c;d-o;U;U;c;d@@$;j;j;t;w-;j;j;x;z@;j;j;t;z@$-";j;j;~;;j;j;~;;j;j;~;-;j;j;;W;j;j;;$֐;j;j;;@@@@ @¶ms;;;;-Š"sk"fk@ @$2;;;;͔@@ 9;;;;s@;head_of_constr_#_#_4C69D5FCKڠE %?LFI-M;;;;@@ @!nV;;;;@@ ];;<<@n;;<<@@ @!vw<<<< AAAAAA@-<<<4<5@@ <<<9<@ki>@@@ @-BS?_@@-Ӑ<[<[=Nr= = =>=N+x= = =>=H.= = =I=J1= = =K=L/,= = =M=N@=P=P=\=`=P=P=\=`@@ B@@=y=y==@@@=y=y==@@@@@@@@=y=y==@ AA@@====@@====@@@@====@@@@====@@@@====@====@@@@@@@@====@ AA@@@@====栠====頠@@@@$====렠/ΐ/====/f7====@:====@=====@'AQ/鐛/| B@/aT>>>>@@@`>>>>1@@@@@@@@o>>>5>6@|u><><>F>qz><><>F>q><><>F>Qt@><><>S>q@><><>R>q@@@ ><><>u>|{y/@@@@>~>>>ۓ>~>>>۠q>~>~>>0^>~>~>>/>~>~>>@>~>~>>@>>>>ړ>>>>ڠ>>>>Ϡ@>>>>@>>>>@@@@@'2 Q@@J@$_4110@( %+@A@@@@@$_4122M접 $_413'`o@A!@@@$_414G@0@AA@@@@@@@@@$_41546@!@$_416X@!(6@@@0쐛'META368@/0@/!/!ʤ0@)-褐0쐛3d@@(/1N@;Coq.Classes.Morphisms#<>#25*X@0proper_reflexiveF@@@ B@@ @  @ @@@@ @  @ @@)@@@@@@@@ @  @ @-@.@ AA@ @; @;@F@[ @; @;@F@[ @; @;@F@Q1@)\.c@@@@ @; @;@_@| @; @;@_@| @; @;@_@jȠ1@)m+@ @; @;@l@|@ @; @;@k@|@@@$_417X@3typeclass_instances.yA@ (      @@   @@@@“ @@@@  @@@@ 1@* @ !@@@@@ $@@@@@@1@;Coq.Classes.Morphisms#<>#26*Y@$_418X@3typeclass_instances.A@ D D(_ I I I I@@ H G E@@AA J@@AA P@@AA D2-@*D @ `@@AA@ c@@AA@@24@;Coq.Classes.Morphisms#<>#27*Z@$_419X@3typeclass_instances)qA@  %  @@  @A@@2_@--a@ A/A/AaAr@ A/A/A`Ar@@@@2f@;Coq.Classes.Morphisms#<>#28*[@$_420X@3typeclass_instances)A@  (    @@  @A@@2@-!Xن@ AAAA@ AAAA@@@@2@;Coq.Classes.Morphisms#<>#29*\@$_421X@3typeclass_instances)B@ 礐)     @@ 렕  AABB& AABB& AABB 砑2@*'T@!AABB&@!AABB&@@2@;Coq.Classes.Morphisms#<>#30*f@$_422X@3typeclass_instances*D@!&!&!&@@!%!$!"BABABbB|!'BABABbB|2@O1 @2@;Coq.Classes.Morphisms#<>#31*g@$_423X@3typeclass_instances*9G@!K!K!K@@!J!I!GBBBBȓ!LBBBBȠ3 @6ja@3!@;Coq.Classes.Morphisms#<>#32*h@*'2 Q@@$O@$_4273.@*15o@A@@@@@@@@@$_4282M접3=@*@5oA$_429'`o@3E@*H5oC$J@@@@3+3.@*12 Q@@$~@$_4303]@*;+` 6/@@@@@$_4312M접3k@*I+` 6DD@@$_432'`o@3t@*R+` 6D$y@@@@@3[3^*U@$_4333@*5o_B@@@@@@@$_4343@*|+` 6pE@@3y@AA*@AA*@AA@@@@@$_444X@$I3@*5o@@$_436/@ @@@@*$D33$K33*@@*0@4relation_equivalences333@*@3@*@@@*2 Q@@A@$_4373@*&n@A@@@@@@@@@$_4382M접4@*&nΐ$_439'`o@4@*&nF%@@@@@@@33*@3@$_44040@*&n8E@@*@AA*@AA@4@AA@@@@*2 Q@@A@$_4414Q@*|E@A@@@@@@@@@$_4422M접4`@*|Eא$_443'`o@4j@+|EB%o@@@4O@*2 Q@@A@$_4454@+)/@A@@@@Z@$_4462M접 $_447'`o@H%%@#:@@#>@@@@4A+4A+@$_448;9J@4@AA3@AA4@AA+5@AA@3@AA+@AA@@@@@@+F@@@ B@@@+G@#FG FG GG@@@@#&FG FG GG "&@#0FG FG G"G,".A4A@@ "5B4A@@@@@@#GFG FG G-G.@@@@#PFG FG G/G0@#SFG FG G"G0@@@@#\FG FG G2G3@#_FG FG GG3@+#q+Z#v#v#v#v#v#nFG FG G9GP#sFG FG G9GP#yFG FG G9GD#m@#FG FG GFGP@#FG FG GEGP@@#GGQGGQG\Gr#GGQGGQG\Gr#GGQGGQG\Gg#5z@,|E@#GGQGGQGiGr@#GGQGGQGhGr@@@4proper_normalizationF@@@ B@@#LGLGGG@@#LGLGGG@ @@@@@@@#LGLGGG@# AA@@#MGMGGG㐰@c@#MGMGGG@@@@"@#MGMGGH@@@@$MGMGHH5$ MGMGHH@@@@$MGMGHH @$MGMGGH @-$(5$* @52$%NHNHHH!H@@@@5>A@$7OH,OH,H9HJ@@@A@$>OH,OH,HNHs$COH,OH,HNHs$IOH,OH,HNHY$=6&@,&n@$YOH,OH,H[Hs@$\OH,OH,HZHs@@@$_449X@3typeclass_instances,A@$z$z$z@@$y$x$vRH|RH|HH${RH|RH|HH6O@--+` 6@6P@;Coq.Classes.Morphisms#<>#33*i@$_450X@3typeclass_instances-F@$$$@@$$$SHSHHH$SHSHHH6t@12@6u@;Coq.Classes.Morphisms#<>#34*j@,]2 Q@@A@$_4516@,h),@A@@@@^@$_4522M접 $_453'`o@G'@@'@%@@@@,w,k@6A-@$_45475J@6@AA-y@AA@5@AA,@AA5@AA@@@@@@@,E2 Q@@A@$_4556@,P@A@@@@@$_4562M접 $_457'`o@J'@@'@@(@%@@@,۠,Ϡ@,㠐,נ@6A.N@$_458CAP@7@AA-@AA@6<@AA,@AA@6<@AA,v@AA6"@AA@@@@@@@@@@,$2 Q@@A@$_4597[@,/N@A@@@@6@$_4602M접 $_461'`o@E(r@@&@@@-L-@A.@$_462/-H@7u@AA7u@AA@6u@AA@@@@@@@,2 Q@@A@$_4637@,#1H@A@@@@@$_4642M접 $_465'`o@H( @@(Ơ@@&i@@@--@--A/@$_466;9N@7@AA7@AA@6@AA6@AA@6@AA@@@@@@@@@@,2 Q@@J@$_4678@,/ @A@@@@@$_4682M접 $_469'`o@F)*@@@@@@@.,. , ,@$_47031L@81@AA,>@AA,<@AA89@AA,1@AA@@@@@@@@@@$_47146@( S@($_472X@)/C@@'META370@. @"'META371., -*'META373]@@&ܠ,7#8@;Coq.Classes.Morphisms#<>#35*k@,02 Q@@A@$_4738@,;?dc@A@@@@@$_4742M접 $_475'`o@F)ˠ@@@@@@@.,.,,@$_47631F@8@AA,@AA,@AA8@AA,@AA@@@@,(2 Q@@A@$_477+t@A@@@@@$_4782M접  $_479'`o@F*"@@@@@@@.,</,0f@$_48021F@9)@AA-6@AA@9.@AA@@@@@$_481X@3typeclass_instances,;@D@',='''@@'''SSSS5'SSSS5'SSSS '+@@@@9@;Coq.Classes.Morphisms#<>#36*l@,C2 Q@@A@$_4829@,N A'@A@@@@m@$_4832M접 $_484'`o@F*@@@@@@@/,à/-0@$_48531H@9@AA-@AA@9@AA@@@@@@@$_486X@3typeclass_instances-:@D@((-;(-(-(-@@(,(+()TTTT(.TTTT(4TTTT((Z@@@@:@;Coq.Classes.Morphisms#<>#40*y@$_487X@3typeclass_instances-D@(](](],(b(b(b(b@@(a(`(^U U U U1(cU U U U1(iU U U U(]@@@@:C@;Coq.Classes.Morphisms#<>#41*z@@#_14:}9 @@@#_78:}9 @@@$_163:}9 @@@@Imӽ%\$PD桄@]_۹ 1ʄ@VKγ^󄕦@"\Ơ,+7,P 9 '>&Ȑ!UviA)Morphisms'Classes#Coq@@@ A@!AA!x%Logic$Init@"eq @AB+)!R4Relation_Definitions)Relations-@(relation'Jj&!H/RelationClasses<@)ReflexiveW!1C"H0:::*TRFB@?A*(2X@&ProperLM;MeۀߠKc@@A@][!BLGE^@.."x0@Db@#andЖw@A@+@2pointwise_relation-rӀАEEfx3@*respectful%WO?F {Qr@ "Vw &Xyf"x1!yG_H@(eq_ind_r!2#I &sr,h5iIk{C?+!a4%#@"%"H1@>).L ŐǐĠ+CHyз"RA#RA'@+subrelation0sސѷA$subl뷐"RBԐ#RB'l$subr z@eel@__ةJcoK"y0LԩR}M@$"H2O@੷"H3@%' , #͐"#HC8; *CeC 0ZHF/-G7$;LCu<NNfTR"R';!mF#morEo#uncXr@-Unconvertible쀰vi#sub\o #vtu]6RvGũ;OR$̩BѩG[Z@u@$>C^&rC&Basics'Program@$impl7o1l <C;PA7sUuWCD@ H B~C@@P   }wηs~hҶ@^^E@XXhG[cڵ+Eg{CcCsNRnCwrytِ﷐!P@ܶ!Sǩ׶N("޷sѩ@/forall_relation죀4^x21C .C@<.-fg@#iffС)򩚠@'and_ind14ۀȶ@ʷt@ 2""C$C_:! .ݷ߷F4C@$flip$;Cv1 iۓό^g@@A@a_NI;:@#PER"@7j6  nm߶@޷!zyDe`yGhwvtXsȐ"H4W@,transitivity>4 N_@.PER_Transitive96y}\}\f@(symmetry0xjm@-PER_Symmetric"Txikk  'BB1DvXR@@~"mRo@@S@ BX-GI_.+-Ȑ!i5JRdɩ5N7Xж@4Ao@8 נBb@ @%Falsee@@ )Ͷ@Ii@@@@@@a x Ȑ"H5dvCQ"@)False_induُ))O+m`1 %!CE1"RB4"RC7!f@Jȩܰ@P(')(&/ 2͐J۷86@*Transitive++--= ۷ ݠC1ŷ?60} Iө KL:dRP97+Q ޷  ([Is a_HF:)`// 6iWomVTH _o> > FyIj+%ig[P"P0! $VX&y:4xvj"_1._֩/@2#g@C &88   ));m,OIntCsEI,}O3 "6>Pd^L,X]@-{[@@F )@+3KeJ -M9g=/8<PXP 3 ?Sm[R 5 UoԩE7qĐڷ@)SymmetricFgqѵ@@ll6tٶ@ww9xG7bt@vc@haa[Hs@t@oz@{(|mC@1pointwise_liftings׾@%TlistР@BĜALy.C@4relation_equivalences#%O=;** mY(Z&[?ml3EIA@GGGJ9KD"y1AFvkYWF?31[+QcUѩ֠h8kCnCC <ooCF @aC"ywfy9VO{LT"x2&@@c@h@ @  @"x3Zy%lemma i@9iff_flip_impl_subrelation2VA)@-iff_Symmetric!x  \̠η6,̷ɷȩ*(&!֠ sǩ1-N*%C RHCĠkFNnmHTC˩ɠˠĩuX\pwZ^zC@5predicate_equivalence"v  Cʰ  C*C¶@ũ@C˰@Ѷ@ҩ 0 ܷݷܰO%$񩚠@+ProperProxy5a.""4CCCCP><+&?ݷn@DǶ@ʠKI@ @PӶ@נVŶ¶@Ƞ6˷ȷ*Q0cC=ҷϷ1!CC:$ ;\n =*  `,AAt#zx&_b8)#~ge->/)mk_]V%U {aaCCCcCF@ICZ@0reflexive_properm+&d~@,eq_ReflexiveaN3j۾!I@@*y൷]ZID+2d337'd@<P,@D$ɩB8F"̩a;C ),C C-CCez*('%Cg#ԩi.!  C2 n*%C픑ۿ`J@@"R0ڷ"R1ѩ@*Normalizes5oր!ʩZԩ@2subrelation_properJ74|y[@^a  @-proper_proper%+ln Ԝ)Datatypes@$unitUe@A@6subrelation_respectful>6z '!!@0subrelation_reflv .(' '' )!?  @/eq_proper_proxy)fݐK^20J:@  "C@'HZ&5\CC@>-7%//-bCjRdTT VVhmڠP~@@Q@@a7$R'''Ʒ"NAo;1#R''@@ Է"NB|H62@  @oD@@[~ry$CBBB@@@@D@M@@{@[$@ @@ ?ǰ$&ReːP#@@é@P @Q"ː@ @߶Ŷ ~lDWU޷-۷c?@8)P@6@,j6O};ܷ+M@*@$/=!@,@'4/CwS  !g    @sC3c{C3/##i/C-73C'5C*(c9@@8#SymTՔ_D@@"R2 @ "Hf@ݩ2DD"x'$Hxx'<rC @۩BYj@@iD$Sym1٠u@@1O$Sym2Z ՠ@@"R3\Z@7<4@+=<~~:}8x"y'$Hyy' \{ZCJCM@@GF 풠@@uǷh`/Dv4e-cG@ @<F >Q$Cr@CBEW@@lK@@|$Sym'@U@E`G#[3ڵE>BOI\BZF|! OThpRkWݰYmuECuX:\-DC@[jz];a:␑ @@#eqA淐#equ@+Equivalence~@&$preo@(PreOrder@署@,PartialOrder5͛@5proper_sym_impl_iff_21H #@5Equivalence_Symmetric. U0CT1"Hx9"Hy"Hrk 5B@3PreOrder_Transitive4(ۀ<I@IөQéS@[ \˩Q :ж@]ϩ_ɶ@ T@ Sn:_۩ghvRЩwz|yZe}yLMw}z $Rt v@@ T~a2C@{Jq@4relation_conjunctionl[$M{@9partial_order_equivalence  ,+ jHzz@@!ж@ NF@@  @ z~sЩL~M}p l]`^xTީVc@ @ RIJqC@̠ QL8J QYCKT%C{V@^OQKC@y{r}GVɐ !~ @@#@+StrictOrder.[@Ay⩚@*complement qg  j@Gx@q  @OO +$_tmp@V 3 @5Equivalence_ReflexiveReflexive_partial_app_morphism 2R,Ŷ@ө (S@˶@ . ۩ 0# e@3PartialOrder_proper/ * 9  j  t@6reflexive_proper_proxy5 # /C Ȕ$; @@  ˷  ŀf  O ^ a s ƩA ^ @4relation_disjunction!% e  m  g @"or @Bͩ @+reflexivity(ϓ/ c w  C Π z  | k i f! a  i  BAAAA@@@@@D@"@1  y   ݩ3  s    ķ@d<      7A "      & @6StrictOrder_Transitivea     -y p,@ '  ) 32@@    /  1! ;    3   5 5 7  9 9)  ; = C    ?$   N 8BP; Q631R4  U 6   Y  ک M v<:  R X 7@6Equivalence_TransitiveW Y _ c    4 gC/p m(7 ~@@t X Lp \  ?  v   絩 @8ʠw97y ˩ ̶@ӠE7@B vH (IG nC ~qM t ީ ߩ @&or_ind"  @@      _ @7StrictOrder_Irreflexiveπ    #6    % 9 %   +  W > * Cm  X        C~* / 1 Q 5 3 3   C ;ɩ4 = ? m S A A  C W _ q @4StrictOrder_PreOrder1yHʑ