"`vX#Cpo$Sets#Coq@4)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@-Partial_Order$Sets#Coq@<)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ֱ)Ensembles$Sets#Coq@00qGL;rߌߠ+Relations_1$Sets#Coq@0k<⪚(тc10zd> uڞE&k 8j;yf) kj0fvPlN-Р#Cpo$Sets#Coq@A+Upper_Bound,<!xC!B)Ensembles@@(EnsemblefB!D-Partial_Order@"POG@A!U,VA@ @@@  /-53A6Upper_Bound_definition&$86><@8@"In-BD.@*Carrier_of ,L+@!yE@F4>@&Rel_of(6TG L _@@@AB@+BB@x@t<@@@@AAB@@A@DDusrpcaUS@@@SA|At@A@AA@@A@0Upper_Bound_rect @fdwuȐ!CIoȐ!R>+Relations_1@(Relationk؀^S!P-VB@@!f@sVb@fH@yIi^k!u@<@jDBB@@@@D@@϶ն20*@˶@@/(&吐 +k()= R'>  % ' '+k'(AD|@@-V@J@A@A@@@u/Upper_Bound_ind @ַrpnlj`^V@ݶc1"IAD|@@@@@/Upper_Bound_rec @"з}@d@4)@)'/- X L+k()7# 't@@@@@+Lower_Bound,<ECB@31%#@6Lower_Bound_definition+)<:NLTR@@@G@@ BB@n@% %@@@AAB@@A@DDjhgeXVJH@@@0Lower_Bound_rect @TRecuyܷ-ڔ.W"CX@@ض@ֶ@:Զ@ө.;z!l@X %@DBB@@@@D@Z}@{y%@Ͷ@YS@ɩSNZNǐ QAD|@@.W"@8@A@A@@@;/Lower_Bound_ind @86420&w$D@ƶ̶)*萐ArAD|@@@@@Z/Lower_Bound_rec @WUSQOECƩ(@z(3@ǶضMNÐt@@@@@}#Lub,<@ِ.Lub_definition@W@ɶ@\@@ BB@2@' @@@AAB@@A@DD.,+) @@@(Lub_rect @)'9=C/WaD@@@L;@@0QƩ@Z @DBB@@@@D@AR@?=PNb`hf%@'kZ@@ Opr"SAD|@@/Wa@:@A@A@@@'Lub_ind @dbus=[F@ki|z`,CtAD|@@@@@ 'Lub_rec @ \ @|1O@Pt@@@@@C#Glb,<ˠȠ@.Glb_definition¶Զڶ@Mƶ@@Q@@ BB@@% @@~~@AAB@@A@DDޠ@@}@y(Glb_rect @ڷvtrpndb0WE@@`@Ķ@]@Z!gX@X @WDBB@@@@D@V@&$,*%@Ķ@ܶ@Q24O QAD|@@0W@8@A@A@@@à'Glb_ind @&$75GKQD@-+><PNVT"*pArAD|@@@@@⠠'Glb_rec @ECVTf׷jͷpN@z 'L@QOb`trzxXNKt@@@@@&Bottom,<#bot~}{om@rp ed1Bottom_definitionxv@b\@V`@hWRUYeV[g@@LBB@@.kH@@II@AAB@@A@CC.@@F@B+Bottom_rect @?=;97@*1WߠF@@(@Ƕ@~@)T޷!b#@akH@CBB@@@@D@?@ζ߶iS)K@@@&$\ +k()= R'> % ''+k''YAD|@@1W@C@A@A@@@*Bottom_ind @ ݷ~N@/ FxAD|@@@@@*Bottom_rec @'%7@ `4$@" 317(R H+k() 7#'p@@@@@֠/Totally_ordered,<[YLJ><@A?RPdb43:Totally_ordered_definitionGEXVjh@@j@(Included"=vUնy3*(@ 'w@&Couple8Zq@/rb?%Logic$Init@"or @;F<7?DQ@@6,AA@@G<@@3@AAA@@A@CC@@0@,4Totally_ordered_rect @)'%#!2XG@@@@Rohw@WMzGq9r!t@<@CAA@@@D@@Ͷ߶A-9@@y@~tnAC(&O +k()= R'>$''+k'*bAB|@@2X@L@A@A@@@3Totally_ordered_ind @ ~tqW@u4 IAB|@@@@@3Totally_ordered_rec @ *.s@%i@%#75V򐐠p@@@@@Ǡ*Compatible @*(;9KT@~@@"ex @!z@#andЖw@+I*M@KI\Za +k() 7! +'() + 7"T'+ 7"T'+7%'7"7 7"7%'ࠑHBx.ɐ\Eh@@@@iA1@D @mA8A@ABC@@(Directed,<!X@ zy6Definition_of_Directed@E@@)Inhabited.s@y@"x1q"x2p@ةp"x3jdSu~@@s#CC@@@('@@ppp@AAC@@A@CC@ݠΠ@@@m@X@AB@k-Directed_rect @̷hfdb`TVS3X]H@@Q@>@K@EPCM@JKG԰L`V Է!d]@('@:CCC@@@@@D@: @ *9@J@~5@xvܶ@ʰ,xࠩ<#>˰@H'0.J +k()= R'>  & ' '+k'2vAF|@@3X]@^@A@A@@@ڠ,Directed_ind @=;NL^Ϸŷ3i@CATRd7: QAF|@@@@@,Directed_rec @ZXki{b@|HD@ecvtk\Cp@@@@@(Complete,<~|@sr6Definition_of_Complete@W"ΰ@@sbi$bsupljjnot@@`BB@@/š@@]]@AAB@@A@BB@@@T-Complete_rect @QOMKI;4XI@@9@] ˶@L@ְҩA<B@D!c=@hš@BBB@@@@D@@k0c@3_@uw@Šȷcɩ'%! +k()= R'> % ''+k')`AD|@@4X@M@A@A@@@,Complete_ind @%#5 W@*( 0F}AD|@@@@@̠,Complete_rec @/-@>P6@)K+C@97JH>P @+k() 7&'l@@@@@젠6Conditionally_complete,<`^RP@D $Definition_of_Conditionally_completeXVig@z@@,?#majB8Dg3:;9qI@@.AA@@)%,n@@+@AAA@@A@BB{y@@@";Conditionally_complete_rect @ 5X۠J@@@h@Jgw@gb;c el rΩ @`%,n@BAA@@@D@@¶5,-@:)@n@_%'-ض#됐 +k()= R'>$''+k''\AB|@@5X@I@A@A@@@{:Conditionally_complete_ind @ܷxvtrpbS@e0DyAB|@@@@@:Conditionally_complete_rec @ }b@8_ @Pʐ l@@@@@I,<M6YK@@@@@HAA@@1Definition_of_cpo-)PO_of_cpo>(Cpo_cond\ɩ@@ BB@o@u @@@AAB@BA@AAF.@@@.A ְAS@2AH@AB@! @U=@ @`ABB@@@@@ztj;w~:p@nV +k()= R '>''+k7$'8AB|@@@@@%P @o2,%@b-%e*c)@}@ . +k()= R '>''+k7!7%'FbAB|А@@@@@R%Chain,<@@3Definition_of_chain+PO_of_chain϶*Chain_cond\@@ BB@ @  V@@@AABBA@AA@@@} @Ƿ F@7 V@ABB@@@@@ 31E  @߶#/AB| @@@@@G @ ;0*=#d 8y@Yj ? ^\+ !@ K@r 5  8 +k()= R '>''+k7!7! 7!7&'K`AB|Ġ @@@@@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@A Գq@ Գq\ @A@,V@ I@A@AB-V@.W"@A/Wa@0W5@ABC1Wb@2Xq@A3X] @4XJ@5X@6Y@<@A@ABCDE@ @A VA ְA-Partial_Order$Sets#Coq@@B@@A@@ABC@@@<'&%@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 IHG@0zd> uڞE&k%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"-> %N$@@B@ * @ @@@@@@#_20 :@ 6<@A@@@@@@@@@@ A@@@@@@#_21'`o@ T@ P<@D*type_scope@@@@@ 9 M@@#_22'`o@ m@ i<@AF@@@@.function_scope@@ U i@ 5A@ 2 Q@@G@#_23 @ 4W@@@@@@#_242M접 @ 4GG@A#_25'`o@ @ 4GU@@@Z=@@@  @@A @#_26? 3V/_rect_from_prop @ @ @ ? Ϡ2 Q@@L@#_27 @ :x"@@@@@@#_282M접 @ :x"GG@A#_29'`o@ @ :x"G@@@@@@ ݠ @@A @@#_30? 3V._ind_from_prop @ @ @  2 Q@@@#_31 '@ :y'@@@@@@#_322M접 6@ :y'GG@A#_33'`o@ ?@ :y'G@@@Ӡ@@@ ( <@@A @#_34? 3V._rec_from_prop d@ `@ f@ D N$@@B@ $?@ @@@>@#_35 v@ - %<@@@@@@ A@@@@@@#_36'`o@ @ F %@D;@@@@@ s @@#_37'`o@ @ ^ %@AFS@@@@:@@  @ nA@ @2 Q@@9@#_38 @ J(3@@@@@@#_392M접 @ Y(3GG@A#_40'`o@ @ b(3G@@@u@@@ ʠ ޠ@@A ]@#_41? 3V8 @ @ @  @2 Q@@@#_42 @ J٠@@@@@@#_432M접 "@ YGG@A#_44'`o@ +@ bGנ@@@ܠ@@@  (@@A @#_45? 3V7 O@ @ Q@  k2 Q@@@#_46 ]@ u#@@@@@@#_472M접 l@ GG@A#_48'`o@ u@ G!@@@& @@@ ^ r@@A @#_49? 3V6 @ P@ @  N$@@B@ t@ @@@s@#_50 @  q@@@@@@ A@@@@@@#_51'`o@ @  @Dp@@@@@  @@#_52'`o@ @  @AF@@@@o@@ à נ@ "A@ 2 Q@@n@#_53 @ 1OĠ@@@@@@#_542M접 @ 1OGG@A#_55'`o@ @ 1OG @@@Ǡ@@@  @@A @#_56? 3Vm :@ /@ <@  2 Q@@@#_57 H@ 00j@@@@@@#_582M접 W@ 00jGG@A#_59'`o@ `@ 00jG @@@@@@ I ]@@A @#_60? 3Vl @ y@ @  ڠ2 Q@@@#_61 @ 00oX@@@@@@#_622M접 @ 00oGG@A#_63'`o@ @ 00oGV@@@[>@@@  @@A b@#_64? 3Vk @ @ @ " N$@@B@ @ @@@@#_65 @  @@@@@@ A@@@@@@#_66'`o@ @ ( @D@@@@@ ݠ @@#_67'`o@@ @ @AF@@@@@@  @ A@ "2 Q@@@#_683@ , '@@@@@@#_692M접B@ ; 'GG@A#_70'`o@K@ D 'G@@@ߠ@@@4H@@A ?@#_71? 3Vo@ @q@ j "2 Q@@@#_72}@ , s2C@@@@@@#_732M접@ ; s2GG@A#_74'`o@@ D s2GA@@@F)@@@~@@A @#_75? 3V@ @@ j M2 Q@@7@#_76@ W 7@@@@@@#_772M접@ f 7GG@A#_78'`o@@ o 7G@@@s@@@Ƞܠ@@A @#_79? 3V@ 2@@  tN$@@B@ y@ g@@@@#_80@ kH۠@@@@@@ A@@@@@@#_81'`o@.@ kH@Cڠ@@@@@@#_82'`o@B@ kH@AE@@@@@(@A@ 2 Q@@@#_83`@  `&@@@@@@#_842M접o@  `FF@A#_85'`o@x@  `F$@@( @@@`@@A @#_86? 3Vː@ @@  x2 Q@@@#_87@  `,l@@@@@@#_882M접@  `,FF@A#_89'`o@@  `,Fj@@nQ@@@@@A @#_90? 3VƐ@ K@@  2 Q@@\@#_91@  `&1@@@@@@#_922M접@  `&1FF@A#_93'`o@@  `&1F@@@@@@@A )@#_94? 3V$@ @&@  ĠN$@@B@ @ @@@@#_956@ <@@@@@@ A@@@@@@#_96'`o@O@ <@C@@@@2F@#_97'`o@e@ <@AD@@@@J^A@ 2 Q@@@#_98@ %iG@@@@@@#_992M접@ %iFF@A$_100'`o@@ %iFE@@I,@@@@A @$_101? 3V@ W@@  2 Q@@9@$_102@ 6MK(@@@@@@$_1032M접@ 6MK(FF@A$_104'`o@@ 6MK(F@@t@@@ɠݠ@A @$_105? 3V될@ @@  Ӡ2 Q@@@$_106@ 6MW-נ@@@@@@$_1072M접 @ 6MW-FF@A$_108'`o@)@ 6MW-Fՠ@@٠@@@%@A _@$_109? 3V萠K@ @M@  2 Q@@@@$_110Z@ ?V @@@@@@$_1112M접i@ ?V@$_112'`o@r@ ?VB@@@T@ ԠN$@@B@ S@ @@@R@$_113@ ('P@@@@@@ A@@@@@@$_114'`o@@ ('@CO@@@@@$_115'`o@@ ('@AFe@@@@L@@ M A@ ڠ2 Q@@M@$_116@ |H@@@@@@$_1172M접@ |HFF@A$_118'`o@@ |HF@@@@@ݠ@A @$_119? 3VJ@ o@@  2 Q@@@$_120%@ ?J렠@@@@@@$_1212M접4@ ?JFF@A$_122'`o@=@ ?JF@@Р@@@%9@A *@$_123? 3VG_@ @a@  ޠ2 Q@@@$_124m@ ?V3@@@@@@$_1252M접|@ ?VFF@A$_126'`o@@ ?VF1@@5@@@m@A r@$_127? 3VD@ @@ $ N$@@B@ @ @@@@$_128@ š@@@@@@ A@@@@@@$_129'`o@@ ,š@B~@@@@$_130'`o@@ >š@AD@@u@@ɠ A@ 2 Q@@p@$_131@ )K+Ơ@@@@@@$_1322M접@ -)K+EE@A$_133'`o@@ 6)K+EĠ@Ǡ@@@@A !@$_134? 3Vi6@ @8@ V 2 Q@@@$_135D@  @@@@@@$_1362M접S@ EE@A$_137'`o@\@ E @ @@@C@A e@$_138? 3Vbz@ @|@ = $2 Q@@@$_139@ . N@@@@@@$_1402M접@ =EE@A$_141'`o@@ FE L@ O 2@@@@A @$_142? 3V[@ @@ f HN$@@B@ M @ B@@@ @$_143@ V%,n @@@@@@ A@@@@@@$_144'`o@@ o%,n@B @@@@$_145'`o@@ %,n@AC @ @@ߠA@ Y2 Q@@ @$_146@ c8_ ٠@@@@@@$_1472M접"@ r8_EE@A$_148'`o@+@ {8_E נ@ ڠ @@@@A h@$_149? 3V |I@ @K@  D2 Q@@ @$_150W@ Nò @@@@@@$_1512M접f@ ]òEE@A$_152'`o@o@ fòE @  @@@V@A @$_153? 3V u@ @@  m2 Q@@ @$_154@ wϷ a@@@@@@$_1552M접@ ϷEE@A$_156'`o@@ ϷE _@ b E@@@@A @$_157? 3V n@ W@@ $_158X@$core@}<@A@'META228'META229'META230@A@@@@ AʶݩېӶ@@ܩ@ũ/@ %@1Coq.Sets.Cpo#<>#1 ҆-@)<@B@'META232'META233'META234'META235@A@@OA+)!@>5IG@  N-@@3F%@ \ 8j@1Coq.Sets.Cpo#<>#2 ҇r@) %@B@'META238'META239'META240'META241@A@@A_]pnfz@PLKOr@GE@YEUxD@HX%@MQ] }@1Coq.Sets.Cpo#<>#3 ҈@ @B@'META244'META245'META246'META247@A@@٠AʩȐѶ@@@ͩ"@ @1Coq.Sets.Cpo#<>#4 ҉@( @B@'META250'META251'META252'META253@A@@A  @@ɶ@ܩ"@% 3@1Coq.Sets.Cpo#<>#5 Ҋ;@kH@B@'META256'META257'META258@A@@ZA%#64,=@R UD4@ @ =  P$@"f Bt@1Coq.Sets.Cpo#<>#6 ҋ|@š@B@'META261'META262@A@@Acatrj@7~r@@~X{GOPNOS(@d @1Coq.Sets.Cpo#<>#7 ҌB@B@'META265'META266A@@ՠEA@t@@0͐ն@#e@ @1Coq.Sets.Cpo#<>#8 ҍ@%,n@A@'META269'META270@A@@A@j@Π@ ַש]ɠѷhҩ+@* 8@1Coq.Sets.Cpo#<>#9 Ҏ@AN$@@B@F @@@@ @$_162I@O @A@@@@@@@@@A@@@@@$_163'`o@a@g @A @@@$_164'`o@o@u @AC @@@@Rp@2 Q@@H@$_165@(-?@@@@@$_1662M접@6-BB@A$_167'`o@@?-B K@@@@F2 Q@@H@$_168@Q~|k@@@@@$_1692M접@_~|BB@A$_170'`o@@h~|B w@@@I@$_171L4x@ @@@AAA@@-@~|@N$@@B@ @ @@@ @$_172@ V@A@@@@@@@@@A@@@@@$_173'`o@@5 V@A @@@$_174'`o@#@C V@AC Ϡ@@@@M@@2 Q@@H@$_175<@Kj?@@@@@$_1762M접J@YjBB@A$_177'`o@S@bjB @@@G@i2 Q@@H@$_178h@tUk@@@@@$_1792M접v@UBB@A$_180'`o@@UB+@@@s@$_181L4x@ V@@@AAA@@j@U@@@n U<_jY@/T{==[ˇ> j@xJJ'cPj@k7,s_|djԄ= U>h×P