"`@$j-Partial_Order$Sets#Coq@0)Ensembles$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@+Relations_1$Sets#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̂"&/r'Prelude$Init#Coq@0JqTttֱ00qGL;rߌߠw0k<⪚(тc1/zDzhr D# A=Р-Partial_Order$Sets#Coq@A'Carrier @!U ְA@@@)Ensembles @(EnsemblefA@|A @HAA@ ,+k7$'X@@@(A@A@@AA@@A@#Rel @97+Relations_18@(Relationk؀.@CA(8A @@*X@@@QA@A@@)"PO,<`^@^@K 0Definition_of_POig*Carrier_ofa&Rel_of6B(PO_cond1k@)Inhabited.s@C (PO_cond2I@%Order@@b@DFE@@@AB@*DD@@AG@@@@AAD@BA@AA@@@y@Q@AB@y> @!p@_G@ADD@@@@@@@TI^Y]YWEOMC_G@϶#! +k()= R '>''+k7$'͐&AAD|@@@@@v @;92=)"א&%}$r#t@DB +k()= R '>''+k7$'GbAD|@@@@@ՠ @ \ZS^J]@ ,ONML@mk +k()= R '>''+k7!7%'uAD|@@@@@ @;9{é@(6T10~}|5@KIˠݩ0 +k()= R '>''+k7!7%'AD|ِ@@@@@5-Strict_Rel_of @ki!x!y%Logic$Inits@#andЖw@?l@#notШ@"eq @{@ᩚ@dG' +k() 7"7  77%',pa`l'x@@@A1DH9@A@@&covers,<N>ML@¶VUZJA4Definition_of_covers˶_^cS@@q5}jNZf@Wh@"ex @U!zXs^\lԩ`^bGcaeq@@`#BB@@C*͘@@]]@AAB@@A@DDSQ@@@A1@D@A@ܠ+covers_rect @db!P ر|C@@!f@Q@MG[B]D!c@*͘@LDBB@@@@D@X/@ECֶ˶31+)ΐ +k()= R'>  % ' '+k'[AD|@@ ر|@>@A@A@@@,*covers_ind @b`PH@geU" :zAD|@@@@@I*covers_rec @}Ϸm@@~* v@ܶ"z G L+k()7# 't@@@@@n>Strict_Rel_Transitive_with_Rel @@@ ٱD@@!DA=?2'@&*6B@t+)9E-+;@@@A@AA@A1GKJ@A}@ABC@@ #Strict_Rel_Transitive_with_Rel_left @@A)#b^`SH@!@ @@@@@@ABC@@5Strict_Rel_Transitive @@B?93@*Transitive!&z͐@@@3@-@AB@@@@@ ְ@@A@ ر|@ ٱ@P@A@ABC ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AD@@@ABZ@@AdA@BCNMD@@@8@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua)Ensembles$Sets#Coq@00qGL;rߌߠ%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ֱ+Relations_1$Sets#Coq@0k<⪚(тc1&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@@@@#_10@&hn@A@@@@@@@@@#_112M접@&hn@#_12'`o@@&hnA*type_scope@@@2 Q@@@@#_13@G*@@@@@#_142M접@G@#_15'`o@@GA)@@@N$@@B@'@@@@@@@#_16@G@A@@@@@@@@@A@@@@@#_17'`o@@G@AX@@@#_18'`o@*@G@AEf@@@@@@򠐒@ˠ2 Q@@H@#_19K@ ,G@@@@@#_202M접Y@ ,BB@A#_21'`o@b@ ,B@@@@2 Q@@H@#_22w@(6Ts@@@@@#_232M접@ (6TBB@A#_24'`o@@(6TBʠ@@@@2 Q@@H@#_25@%-"@@@@@#_262M접@3-"BB@A#_27'`o@@<-"B@@@@:2 Q@@H@#_28@E-"ˠ@@@@@#_292M접@S-"BB@A#_30'`o@@\-"B"@@@0@#_31L4x@G@@@AAAA|A@ @ ,@(6T@-"@-"@2 Q@@@@#_35#@5}j@@@@@@#_362M접2@5}j@#_37'`o@;@5}jBw@@@@N$@@B@R@w@@@Q@#_38S@*͘O@@@@@@ A@@@@@@#_39'`o@l@*͘@D@@@@@@@@#_40'`o@@*͘@AF@@@@@@@Р@@@2 Q@@G@#_41@* @@@@@@#_422M접@* GG@A#_43'`o@@* G@@@.function_scope@@@ @@@A@#_44? 3V/_rect_from_prop@!@@}2 Q@@K@#_45@ Bi頠@@@@@@#_462M접@ BiGG@A#_47'`o@@ BiGA@@@FJ@@@V@@@A@#_48? 3V._ind_from_prop(@j@*@2 Q@@@#_496@ Bu2@@@@@@#_502M접E@ BuGG@A#_51'`o@N@ BuG@@@@@@@@@A&@#_52? 3V._rec_from_propq@@s@#_53X@$sets@  ,D@@@@@@ @;Coq.Sets.Partial_Order#<>#1<@(6TD@@@@@;Coq.Sets.Partial_Order#<>#2<@.5}jD@@@@@;Coq.Sets.Partial_Order#<>#3< @#_54X@$sets@*͘@B@'META222'META223'META224'META225@A@@GAŶ\[`P@HT`@QKLg TRbʩWUY'@\Z^j@;Coq.Sets.Partial_Order#<>#4 uڞE&k$&@b$"L ]f$O@社Mj¿$x@`"v}c}4-Մ 52A#!U ٱD-Partial_Order$Sets#Coq@@@!D@"POG@A ADD@@@@@@D!pB!xC!yD!zE@%Logic$Init9@#andЖw@5@&Rel_of(6TF#@#notШ@"eq @.2@G*26(H/73;Q!C)Ensemblesn@(EnsemblefN!R+Relations_1z@(Relationk؀V"H'@)Inhabited.s@]e#H'0@%Order@@b@dp @)Order_indEUsvVsDp@@m\{\WI@QxO~gbK#H'1B@)ReflexiveOpw#H'2L@*Transitive!&n#H'3V@-Antisymmetric9s+J##H'449L#H'5BA8=Nǩɩ@'and_ind14ۀЩGΩ!H "H0OZ  뵷#H'6'"Щ7@%Falsee@#H'7 #H'8ܐװP@(eq_ind_r!2#Q.% CM%C*Carrier_ofҶȶ(PO_cond1(PO_cond2@ BA #'+@$,0"*2C5724/1@,!26:>6>B@(#9AE_@-Strict_Rel_of5}j*@HCKMHJEG@ ~rpf][XVUSRP@B@P-=8/`d.v%# JhkKh9e5@@cPKswݷԷyvͷsȷ©q©^YM©T~idoj ԩЩ ~y%t@&eq_ind JvΠyCCpeYO@@KC@@Cƶö@@굷ѷη˷yo @>Strict_Rel_Transitive_with_Rel;[ܩЩةܩ   ŐЩm͐Ȱq"H1 "H2אҰOCbPm6@R