"`Ԅ] x)OrdersAlt*Structures#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@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̂"&/rk0JqTttֱ&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>$Bool#Coq@0j 2cZ`FW*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI+Relations_1$Sets#Coq@0k<⪚(тc1&Sorted'Sorting#Coq@0bb1z٠*SetoidList%Lists#Coq@0k窪ܸqS+OrderedType*Structures#Coq@0#73t1E iW2(}-6~?*pVSР)OrdersAlt*Structures#Coq@A/OrderedTypeOrig@!t @d?w1D+OrderedType@@@@@?w1@ @A@A@@@AA@@A@"eq @d@7-@&/@A@@@@@"lt @d@@@@@"'eq_refl @@!x !@+/!mA@@@@@5&eq_sym @@1!y4@BC@@@@@I(eq_trans @@'EF!zI@*@-E@@@@@^(lt_trans @@<Z)[\@^@S/!@@@@@@r)lt_not_eq @@Pn=o@;%Logic$Init@#notШ3@@@@@'compare @@iV@'Compare8Ȃ@3pZk@@@A?vtA@A@@&eq_dec @@n&Specif0@'sumbool7̂K@v:x@@@@@@+OrderedType*Structures#Coq@+OrderedType@@@@/@@/d@@A@/!m@@"eq/!md@@A@/!@@"lt/!d@@A@ABC@.OrderedTypeAlt@ @@A@@@@@@A@A@@@AA@@A@f @@@$@ v@)Datatypes@*comparison;f@@@@@@+compare_sym @@@ @#@1Ykݩ!@'CompOpp @@@@@<-compare_trans @@!c5 =>?@%; D@*@,B'F@@@@@W@@@Z@A@@@@)Update_OTmA@!Ow@jR @Q@ @r08Ҁ@@w08ҀP@N@@dL @K@@08Ҁ@ @08Ҁ_@S@@sQ @PO*@08Ҁ/@|0@NQ@O@@M @L^9@08ҀO>@08Ҁ@D@0@NUI@0@NW@U@@S @RxS@08ҀiX@08ҀY]@08Ҁ@c@0@N_@i@0@Nen@0@Ng@e@@c @bx@08Ҁ}@08Ҁ~@08Ҁ@@0@ր@@0@ր@0@ր@v@@栠t @sš@08Ҁ@08Ҁ@@0@ր~@0@N@y@@w @vޚ@08ҀϚ@$08Ҁ}К@*08Ҁ@0@ր@0@N@@@| @{@<08Ҁ욠@A08Ҁ@/0@N@60@N@@@<@_[@@@@08@@Y08y@A@0@N@@x0@Nw@A@0@@@v0@u@A@ABC@!t @ @ 08Ҁ@ %'A*Equalities*Structures#Coq@@@S!E  @@!1Th+@@2@A@ )Update_DT-3@A@@@ %'@"@A@A@@@AA@@A@"eq @5@ 0@N@@D@C7Ъ;@D08Ҁ@J@I7ЪA@J08ҀA6@1To0-@@@@@%'eq_refl @E@ i?<@!xj@i7Ъa@j08Ҁp@:7&g@;0@NAUR@@@@@J&eq_sym @j@ 'da@%@7Ъ@08Ҁ!y@7Ъ@08Ҁ@@f7&@g0@NB-@n7&@o0@NC&@@@@@~(eq_trans @@ V܄@Y@7Ъ@08Ҁ4@7Ъ@08Ҁ!z@7Ъ@08Ҁ@@7&@0@N2:@@7&@0@N@7&@0@NEA2ɠ@@@@@&eq_dec @@ '†ؠ@@7Ъ@08Ҁt@7Ъ@08Ҁ&Specif$Init@'sumbool7̂K@@7&@0@N~%Logic@#notШ*@7&!@0@N6  @@@@@(eq_equiv @@@O!F"@@ @@ -@i@A@Pk@$@LPk3@N1Th+@A@AP@(@P7@1To@A@BC/$*"@,@d/$*";@f'@A@/$@@2@/$@ϑA@'@A@A0Sa@6@0SađE@V܄@A@BD@A@@NGF=@@ $@Pk@D@lPkJW@A@AP@K@>P^(@A@BC/$*"&"D@A@S(UpdateEqV@@@A@@a@/RelationClasses'Classes#Coq@@+Equivalence~@@08Ҁ@a0@N@@@A݋X_A/RelationClasses'Classes#Coq@@A@@sِ @@@0@ր@@@@@@+lt_strorder @@0@/RelationClasses'Classes#Coq@@+StrictOrder.[@@7خ@@@-A݋X_A/RelationClasses'Classes#Coq@@A@@<)lt_compat @@WA)Morphisms'Classes#Coq@@&ProperL@@A)Morphisms'Classes#Coq@@*respectful%WO?@7&@0@N %Logic$Init#Coq@@#iffС)O@@@AviA)('@@AA@AK @A\@A?vtA*Structures#Coq@@ABCD@@ @e@08ҀVEAAAAAA@@@@@@@Dt @0@Nar@+gg!llB!esAC@)Datatypes$Init#Coq@@*comparison;f@ +k() 7!= R'>H'>G'>I''+k6'0hڐĠJAABACAAAT@@@@@,compare_spec @@Bac0@(CompSpecgjBA@u$?BA@@@A G)Datatypes$Init#Coq@@A@AB@@&@@@ %'@A@@A2@@AB@ @ACD@@r a@@r a@u@A@Ar$@@[r$@]6@A@E@@-E@/2+@A@A$M&@@$M&@0:N@A@7Ъ@@7Ъ@08@A@7&@@7&@A@ABCD@+Backport_OT`AAi@!t @J %'A*Equalities*Structures#Coq@@@@@ %'@ @A@A@@@AA@@A@"eq @^@)@%HS@.@*HSA@@@@@(eq_equiv @@/RelationClasses'Classes1@+Equivalence~@J@FHSN@/Oπ@@@FA݋X_A/RelationClasses'Classes#Coq@@A@@A"lt @h@g@!tHS@m@HSA@@@@@AA@@A@+lt_strorder @@/RelationClasses'Classes#Coq@@+StrictOrder.[@@'HS@5PW@@@A݋X_A'Classes#Coq@@A@@,)lt_compat @@)Morphisms(@&ProperL@@LHS@@QHSK@*respectful%WO?@\HS@@aHS[@"eqOπ@lHSf@ Oπ%Logic$InitZ@#iffС)@PW@@@AviA)Morphisms'Classes#Coq@@A@@'compare @d@@HS@@HS)Datatypes-@*comparison;f@@@@@@,compare_spec @@!x@HS!y#@HS!@+CompareSpec!Q]@0@dOπBA8@PW=@PW  C@O+@@@@@Ԡ&eq_dec @@!xS@OHS!yZ@VHS&Specif$InitR@'sumbool7̂K@l@MOπBA%Logic@#notШ~@_Oπ@@@@@g@&Orders*Structures#Coq@+OrderedType@@HS@@HSJ@@A@AO@@vOϠ^@@A@PW@@<PWh@@A@+@@+d@@A@ABC@ @R@0X@@#@A@+Backport_DT@A@@ @@@ @@Oπ@@@ S@HS@@ S#@HS~(@O@z@@ @8@62@/RelationClasses'Classes@+Equivalence~@@ SF@HS@ [K@OπSO@@@A_@A@@ʠ  @e@ac_@@  Sg@ HS@ Sm@HS '@ [u@Oπ~/@ [}@Oπ#@@@Ӑ @T@5Equivalence_Reflexive9'>9'>9'' +k()7777#'$gD֐XTh;D`~pdAABACAAAypRLϐ\@@@A AL`@A@AB@@@@@ %'@A@@A@B@ @@ABC@@ S@:@, S@.HS@A@A [@>@ [@A@ݐ<@B@Dݐ<@F @A@@G@@@A@ABC@+OT_from_Alt ABB @  @@ @ ,WԀ@@ ,WԀ@@@ @ @ ,WԀ r @ ,WԀ'@ -,i.@ 4,i @@@Ԡ @ɶ 9@ ,WԀ >@ ,WԀ C@ ,WԀ@Ű۩K@ Q,i @Ͱ㩚S@ Y,i  ԰꩚Z@ `,i @@@ @  @  @B @ ,WԀ@ @@@@@   @   @ ,i `@ { xא T+k()G 7!77&'l &x @@@@@@ ?  @ ; < # 9(@  # T+k()H 7!77&'2l Hx 7@@@@@@ aϐ @@ {EK@+Equivalence~@š@ \P;_@@@ AD@A@@ xc @@ Fb՚@ ZP;瀐@@@ AW@A@@ %lt_eq @@ G X綐 F䶐 3@ F I@0 K N! : O@@@@@ %eq_lt @@ H v d Q@I d g@; i l? X m@@@@@ Ǡ @@ I@%@&~*h0nq_@@@ Ag@A Ab@ A`@ A@ABC@@  Q @@H@@@@@  @@ J U W p@ P;_@ P;  ϩ @ x73x Đ@@@ #A@A@@  g @   @@@@@@@@@@@D   o   j  wA  *tt  A 1{ B " 8 !HȐ"H0 @&eq_ind J H I4  K 6  @%Falsee@ @$Truey@ A ( @)False_induُ /C*1 P f .,* m nY% <$$ =$C C à{ 0 @ Kڶ 9ש&Specif$Init#Coq@@'sumbool7̂K@*BA4BA +k() 7!= R'6'+9'+E9''LL +M7777%'= R'6'6'6''+k6'LL +N7777%'= R'6'6'6''+k6'+kG 77"7 L 77"7%'0hWXHpP@@A@B@A@4<T ࠒV w蠑 A@h Рyh` O܀@@@@@ @@@@@@@ABCD @)OT_to_Alt AC  @ @@ @gU@@gU@}@@{ @zy@gU @nр@n@@b @a@*@_gU@/@dgU^@\@@ZW @VU:@ogU>@}oY@H@@i= @<;@J@gU@O@gU~3U@gU@Z@gU^@.nрBd@gUh@8nр-l@oY@#@@ @@v@gU@{@gU@ @@  @@gU@gU@anр@oY@oY@H, @@@ˠ @@BgU󚠐@GgU񠩚@3nр㐩@:nр@@@@@ a@@gU@@^gU@A@An@@En@A@oY@@ oY@A@,@@v,@A@ABC@ Ő @C k @ gU@n@@@@@ Ӡ 6 @@ >,@z@@@@@ 㠠 ǐ @@ K  K@"eq @ @ [9{AB+@'CompOppBA@@@A@AAR@Aۓό^@A@ABC@@ *compare_Eq @@ 2L  @С)   F@ 9{ kk@ nр @@@@@ 9*compare_Lt @@ TM ޶ ۩" $ : @ #oY @@@@@ R*compare_Gt @@ mN  ;t pBA@C@oYAB@@@@@ { ? @@ O ?* I! 7 $ @5CBD@A G J 2I : O S@@@HA w@A@@ @@@@LA -@AMA@PA@AQA @BC [@@@@ @ %' *@AB ӳ2@ ӳ2[@A@ Գq@ Գq\@A@AC@@A@B@@A@@ABCD A @@ABQ@N@AC >DE@@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@As2@@&shiftls2 @vY@A@Bs8@@&shiftrs8@vY@A@ѓ@!@&squareѓ@y@A@@'@&to_intϑ@@A@AB/@,@)log2_iter/#@wd@A@l@2@)sqrt_iterl)@!$:@A@ACD c@7@'testbit c.@!ć@A@^Ҷ@?@'to_uint^Ҷ6@#m@A@A,@D@'bitwise,;@/v@A@l@J@'comparelA@3R@A@ABs8@O@+of_uint_accs8F@5+@A@.@W@!t.N@ ;@A@A.먩@\@#add.먩S@ `@A@B.U@a@#div.UX@ @A@.B@h@#eqb.B_@ @A@A. @m@#gcd. d@ @A@.=@s@#leb.=j@ @A@ABCDE. @x@#lor. o@ @A@.Z@@#ltb.Zz@ @A@A.p@@#max.p@ '@A@B.@@#min.@ @A@.@@#mul.@ @A@AC.g@@#odd.g@ @A@.&@@#one.&@ @A@A.뾴@@#pow.뾴@ k@A@.L@@#sub.L@ @A@.@@#two.@ @A@ABCD.,a@@$div2.,a@ @A@.Xz@@$even.Xz@ ?1@A@A.@@$iter.ؑ@ @A@B. @@$land. @ @A@. @@$log2. @ @A@ACE.@@$lxor.@ R@A@.y@@$pred.y@ `<@A@A.Ʉ@@$sqrt.Ʉ@ ;@A@.@@$succ.@ @A@.t @@$zero.t @ Z@A@AB/@@.to_little_uint/@ @A@CD/@@%ldiff/@ H@A@3@@(tail_add3@^q@A@A3@@(tail_mul3@^@A@B6w~@ @'of_uint6w~@^5@A@@@&divmod> @C@A@>@@&double>@NĴ@A@A?;@ @&modulo?;@"i@A@BDEFG@8&Basics'Program#Coq@0!bs߯? :VU$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1   @0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua 0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh."Le%Arith#Coq@0d}Omq+$List%Lists#Coq@0>IƐ0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏%Minus%Arith#Coq@0LFtR" 20Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ4Operators_Properties)Relations#Coq@0U3y#h&h  @0#73t1E iW&Orders*Structures m@0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%%Peano$Init#Coq@0 jha|ؠ(PeanoNat%Arith#Coq@0O~2$k[#lZ$Plus%Arith#Coq@04tmG'Prelude$Init#Coq@0JqTttֱ M L K@0Gz rA6ՠ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0*SetoidList%Lists#Coq@0k窪ܸqS-SetoidTactics'Classes#Coq@0S_`nOU$&Sorted'Sorting#Coq@0bb1z٠@0;RWMi\N'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03 8\@6@8@A@!8\@2 Q@@@@"_7.@ vAA@@@@@@@@"_82M접"_9'`o@@@@2 Q@@@@#_10O@1Yk!@@@@@@#_112M접#_12'`o@B@@@LO@#_13@FF@F@@F@@FA@&_ ?= _@F @@@"?=4@@@@@A@@A@@#?= @B@@@@@#_14%c?@@a@@@Q@@@@km[@@@@< @&x ?= y2 Q@@@@#_15@-@@@@@@#_162M접#_17'`o@B@@@̠@2 Q@@@@#_18@% -ˠ@E@A@A @AF@A@@@@@#_192M접%'#_20'`o@-F@@@@@@@ @@РrHȠ@֠#tӡ*Equalities*Structures#Coq@@ @A@Ġؠ@@08@f@A@0@N@c@A@0@@`@A@ABC@A2 Q@@@@#_21&AA@@@@@@@@@@#_222M접)/MiniOrderedType@;nj#_23'`o@B@@@@b2 Q@@J@#_24%@m,-AA@@@@@@@@#_252M접#_26'`o@@@@#_2746@ @z.[@@@@$#_28X@3typeclass_instances@@@=@@@@Dth@ 'Coq.Structures.OrdersAlt.Update_OT#<>#10@2 Q@@J@#_29v@4AA@@@@@!xC@A!y@A@"x0F@A"y0@A@@@@#_302M접*,#_31'`o@2@@@#_3246@@Lk@=#_33X@j@@@@@@ ѤܐՐ<@@} @ 'Coq.Structures.OrdersAlt.Update_OT#<>#20@2 Q@@@@#_34K@@@@@@#_352M접 @'compare"q#_36'`o@B@@@`^@2 Q@@A@#_37,@$nAA@@@@@@@@@@#_382M접#_39'`o@B@@@@@\rHȠZ@b#tӡ @e 0@A@  @@HS@  @A@AO@  @A@PW@  @A@+@  @A@ABC@A2 Q@@@@#_40 /AA@@@@@@@@@@#_412M접%HasLt@06B#_42'`o@B@@@30@m2 Q@@A@#_43@x@,AA@@@@@ːC@A@A@@@@@#_442M접#_45'`o@#C@@@@jg @2 Q@@A@#_46@j,&AA@@@@@!xD@A!y@A!zE@A@@@@@#_472M접$&#_48'`o@,@@@Š2 Q@@@@#_49@)AA@@@@@@@@@@#_502M접&HasCmp@92/͠#_51'`o@B@@@Ӡ@@ rHȠ @2 Q@@@@#_53 @P3AA@@@@@@@@#_542M접#_55'`o@@@@2 Q@@@@#_56 P@@@@@@#_572M접@#_58'`o@B@@@ , *@2 Q@@@@#_59 eF@@@@@@#_602M접(#_61'`o@B@@@ S Q@s2 Q@@J@#_62 q@~!4JAA@@@@@@@@#_632M접#_64'`o@@@@#_6546@@ ~@@"#_66X@ @@@  א@@@  @ )Coq.Structures.OrdersAlt.OT_from_Alt#<>#1*.S@=2 Q@@J@#_67 @H6;AA@@@@@@@@#_682M접#_69'`o@@@@#_7046@֐@#_71X@Ւf@@@ ߐ @@Ԡ< G @ )Coq.Structures.OrdersAlt.OT_from_Alt#<>#2*.T@ 2 Q@@A@#_72 @ 3~AA@@@@@uD@Ag@AWE@A@@@@@#_732M접!##_74'`o@)E@@@@@@ ( & ) \ r@ :2 Q@@A@#_75 O@ E%m.AA@@@@@D@A@AE@A@@@@@#_762M접!##_77'`o@)E@@@@@@ p n q  @2 Q@@J@#_78 @OAA@@@@@cC@Ab@A@aF@A`@A@@@@#_792M접&(#_80'`o@.@@@#_8146@_ǐ@6#_82X@ƒ0@@@ и@ \/ ܸ@ h !> s ,0 ;@@栒u Y @ )Coq.Structures.OrdersAlt.OT_from_Alt#<>#3*.U@2 Q@@@@#_83@73x@@@@@@#_842M접}#_85'`o@B@@@#!@ޠ2 Q@@A@#_86A@=AA@@@@@@@@@@#_872M접#_88'`o@B@@@NQ@K2 Q@@@@#_89l@V #pAA@@@@@@@@@@#_902M접Ѡ#_91'`o@B@@@wu@@ @rHȠ >@32 Q@@@@#_93 N@>GAA@@@@@@@@#_942M접#Typ@ Z#_95'`o@@@@2 Q@@@@#_96 g$@@@@@@#_972M접#_98'`o@B@@@  @#_99@FF@F@@F@@FA@&_ ?= _@F @@a"?=U@@@!@A@@A@@#?= @B@@@@@$_100%c?@@@@@q@@@@ Πz@@@@: @&x ?= y2 Q@@A@$_101 @&7]AA@@@@@@@@@@$_1022M접$_103'`o@B@@@  @ 2 Q@@A@$_104 @ ?`AA@@@@@@@@@@$_1052M접$_106'`o@B@@@  @ 2 Q@@A@$_107 D@ ?`AA@@@@@@@@@@$_1082M접$_109'`o@B@@@ 砐 @ 2 Q@@A@$_110 o@ ?`EAA@@@@@@@@@@$_1112M접$_112'`o@B@@@  @?2 Q@@A@$_113 @J.4 2@6Equivalence_TransitiveW9@(eq_equivr+\/·)D12%22e48Yb`<[ZQM>]Jh^UQ>A)qװ?ZDG۷BY= JOn3 `.6QM5 b08SUTOjWTK\C^ C&Basics'Program@$impl7okC@*respectful%WO?֔AC@&ProperL@@&*#ܩ?!C)Datatypes@(CompSpecgA9Q盠@*comparison;f@9!l󜠠 B!eAˠ؜COҠK1@+CompareSpec!Q]@B* q!r`C;2.t# A CD;7}%1f"CCNEA))CPGCow@ $?9A@HSI!L+Backport_OT@ [N!E @b [@cOπI@7StrictOrder_Irreflexiveπ##@PW'@+lt_strorder9_%lemmar@2subrelation_properJ74@9@:<$A@#iffС);F@)lt_compatDd<M6Oܜ@$unitUe@A@6subrelation_respectful>6z ]$F!@0subrelation_reflv d(% f** %󚠐@4iff_impl_subrelation5Vvvv@6reflexive_proper_proxy5r6@5Equivalence_Reflexive@:,WԀD+OT_from_Alt@P;_9򩚠@+compare_symem9@ @ @,iE@'CompOpp  FF@@@@@@@@@@@D#&Y[#*U]'.dC,3  '/6*%,@&eq_ind JA52B& Dqw@%Falsee@@$Truey@ A;砩QXLECLT[BJD*%aHRbF XahOUCC{vC@)ReflexiveW}kiqxlif @(eq_ind_r!2#ovdLs uQexA~CeƩZvC@`C+@-compare_trans L~sC3@P;瀵·@+reflexivity(ϓ/ǩɚ@3!4JȐ#HeqY@(eq_trans!yéb@ XаȐ"H1ɷrCC@=C @C} DCSC,!z@Pض@C8 @ @ [C&B#Hxy#Hyz Ȑ#HxzLO "V%PP")-!%ө4/6#-9-׷<7>q2 +-kȩ?F5<7ELIP?FAOV(e@+CompOpp_iff.ˀKRM]d;XؠfZRbi@P`0l` 3 (o&jq+ec8t[]젩u|,pw~,HͰ{qx zR29%Ru-={I!ykC@@yiϰm=&Hc;ep@qKJ3N6$d^44렩bi]ZU~A(KfbN<[ŰTRxkFC @>Ր 嵷E<@(symmetry0xj𩚠C@5Equivalence_Symmetric. U.CPC+Z"x0"y0 a"Tɩ@%lt_eq3~驚@%eq_lt%m.ȩ,'>6CG@vJ!"@y@CN% &@}Q( )@Z tPCW./@R2M,azK{ECV6@7R1Y9T3hCO@<^>8kB'C2&.5h8,4;/pKQ{R7S˷}T9U>E9pp:BI=?7HO<JQELSGICciDKSZN:CjpRRZaH%eT,,iP2jelF`1m1FCe}}~@773xfC@gUvJ @,compare_spec2xf@nр@oYͩ@],Ȑ"c0}CAAAAAA@@@@@@@@Ds@$"st]T᰷!U.:i53l)m%"ķ@=;78]Ű!VDEChҰqbIb@h:ígUu@>Reflexive_partial_app_morphism 2R,p@q]s_-Zo@v#xd%z ffaz@a@>+l^W nnRp [ ,rrr@MHtCv@y:;;xܩ~514&%!yG ] [Z{ex@VHHQO#J`E,@?=r*^__YVͩk@@6trans_co_impl_morphismoeaoo4? ) C E@AHss|zݠGN;u쩷4fea][+)ɠWO+&5C[b)OT_to_Alt@+9{Y ]h;tԷ>v@˩QHpé@#andЖw@A@V@WTXU~v@8@9[:WRBN& hɷb*C1" :#$ 4 ?lll(n׷b%@?,@@rAct<EC4L56,8$~Q~C9:'K+BC;5!@52Jﰷ I@@_ biZAr8ķX@Ӱ@,.ya@Q@3RS 6xWpWqZ8u\!C*vwdc2~q4pȩx @=trans_co_eq_inv_impl_morphism&ni$>o@.iff_Transitive*zP*@/eq_proper_proxy)fQ#Π@*compare_Lt?`c@.&7]h5q-E:@6=3q@:Al<C+ΩEL.:/4!A!B@̩.Morphisms_Prop@9iff_iff_iff_impl_morphism8Cةک@$flip$ө Ǡ   @9iff_flip_impl_subrelation2VAt{qi@xlzo@-iff_Reflexive/h (@*compare_Eq?`qߩ,A/թ@DA<4)ݩ @M@Oϩ_,H ,\"J@c$,`&ZXf(1h)頩- lm> C/9\|C@t@u_K9°}8M4|v qi1^ǰS@ʰ2ṵ̃RHQ_,NvGƩ$ PY@ ۰D+W`֩n\B[B ,b0[@'_, f4*<"hq,dW)M01~ j'/C@6@7?w4Jn >@o Y?@*compare_Gt?`E=,NbjP@#%Y!(qW+2gR,cw@6 ةW,h|:j<jr-5AB  ,xpC@A@BBI01)wP;