"`K„•¦¾/&¸:° &Setoid 'Setoids #Coq@8 $Init 'Classes #Coq@ /RelationClasses 'Classes #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@ 4Relation_Definitions )Relations #Coq@ -SetoidTactics 'Classes #Coq@\  )Notations $Init #Coq@0&v!D]â¼hÑwƒ•nv   %Logic $Init #Coq@0Ï\ƒÍ‰¬!ÆôIgÔ  )Datatypes $Init #Coq@0.iÜ ¼bãYN —Zû  *Logic_Type $Init #Coq@0Í «¬1¡ÊöÝë©jc6  &Specif $Init #Coq@0ƒ¢;Rî–WMi\N›©  'Decimal $Init #Coq@0C´æ¶³çö¬ˆN€*ua  #Nat $Init #Coq@0î‰Ãeʤµ®Ä£P£óSRè  %Peano $Init #Coq@0± jé¥ùêh¯ž¾aõ|Ø  "Wf $Init #Coq@0qÊæ†+‚W,JÆÀÓå+“  'Tactics $Init #Coq@0„/æé9mÊ+ ¨œúa  %Tauto $Init #Coq@0é‹ÎÌ‚¶×"&þæ/é”r  'Prelude $Init #Coq@0JŸÀqƒTttú‚ÚÖ±  &Basics 'Program #Coq@0!bŒs߯…?Á÷ :žVU  $Init 'Classes #Coq@0ñ]Þ(áÅpù¾˜{yOh.  'Tactics 'Program #Coq@03<¸r°å“ü’v Á‚¥T  0CRelationClasses 'Classes #Coq@0˜TL;0RªUfw1  4Relation_Definitions )Relations #Coq@0]§4©Ð€êådõ{nœ^ÿ  *CMorphisms 'Classes #Coq@0ôqþ€ËÛŒ­óZ‚×BeÏ  /RelationClasses 'Classes #Coq@0Gâzº² ¥©éãrêAº6Õ  )Morphisms 'Classes #Coq@0IÏmÓ½%\$PD¸ƒŠ  .Morphisms_Prop 'Classes #Coq@0% Å:B'‚.>Ñu‚Ã%  +Equivalence 'Classes #Coq@0ÌÇîˆ7ÁƒŸÞ;ꮹº Î0S„ÕÖ_㽯`ùnOUÚ$m¸²@ÇE¤%°FYF‹Ry±t„•¦¾< Ð &Setoid 'Setoids #Coq@ðA  -Setoid_Theory @‘ ›  Ð÷ /RelationClasses 'Classes @@+EquivalenceË~î@€@¶!A”‘   Ý‹X_ A /RelationClasses 'Classes #Coq@@@¶!R©š Ð÷ 4Relation_Definitions )Relations@(relation'±Jj€A”A °,6k ‘‘5D€@ @@@@°AAÀ@@ A@  3Build_Setoid_Theory @‘ œ  EA€@¶;9¶-+¶5Equivalence_Reflexive©š Ð÷=@)ReflexiveŸW€ B+¶5Equivalence_Symmetric©š Ð÷ @)SymmetricFgq€ C ¶6Equivalence_Transitive©š Ð÷@*Transitive++-»€ D ©›  Ð÷ l 'Classes #Coq@@+EquivalenceË~î@€ E ° 8+k();'€€@ @@@@H  (Seq_refl @‘ ·!A”‘   èP¶ C ¢ ¡Š@@·#Aeq©š Ð÷ y )Relations–@x'±Jj€A·!s©š Ð÷@°2_ü € B ·!xC©š Ð÷±@+reflexivity(Ï“/€ÀD ©š Ð÷¹@s4¶€ HG©š Ð÷y@WÛ€°hgÇÏÓÞ@¶ö”‘ %@¶ð©hA¶穚 À€ BA¶äC¶‹D¶1E¶@©E CB¶@©‹ ó÷©, õ ° l+k()7"7#'  ’;T ’5@€@ Ð@èV0À@V@A@AÀ@°XA¥À@°ZAÊ@AB@@€  &gen_st @’°@Ñ@¶8”@©š ú€ A©›  Ð÷ %Logic $Init #Coq@@"eqÐ @€A@ @@@@£@@ ÐÐ@èP¶õÐ@èSs’Ð@èV0-@ABC Ó³2À@  Ó³2 [ )Datatypes $Init #Coq@@AÐ@ Ô³qÀ@  Ô³q \ @A@ADÀÀÀ@@A@B¡ÀÀÀ@¢@A>@B<@CD @@@\  &Basics 'Program #Coq@0!bŒs߯…?Á÷ :žVU  *CMorphisms 'Classes #Coq@0ôqþ€ËÛŒ­óZ‚×BeÏ  0CRelationClasses 'Classes #Coq@0˜TL;0RªUfw1  / . -@0.iÜ ¼bãYN —Zû  'Decimal $Init #Coq@0C´æ¶³çö¬ˆN€*ua  +Equivalence 'Classes #Coq@0ÌÇîˆ7ÁƒŸÞ;ꮹº  $Init 'Classes #Coq@0ñ]Þ(áÅpù¾˜{yOh.  %Logic $Init #Coq@0Ï\ƒÍ‰¬!ÆôIgÔ  *Logic_Type $Init #Coq@0Í «¬1¡ÊöÝë©jc6  )Morphisms 'Classes #Coq@0IÏmÓ½%\$PD¸ƒŠ  .Morphisms_Prop 'Classes #Coq@0% Å:B'‚.>Ñu‚Ã%  #Nat $Init #Coq@0î‰Ãeʤµ®Ä£P£óSRè  )Notations $Init #Coq@0&v!D]â¼hÑwƒ•nv   %Peano $Init #Coq@0± jé¥ùêh¯ž¾aõ|Ø  'Prelude $Init #Coq@0JŸÀqƒTttú‚ÚÖ±  h g f@0Gâzº² ¥©éãrêAº6Õ  ‘  @0]§4©Ð€êådõ{nœ^ÿ  -SetoidTactics 'Classes #Coq@0S„ÕÖ_㽯`ùnOUÚ$  &Specif $Init #Coq@0ƒ¢;Rî–WMi\N›©  'Tactics $Init #Coq@0„/æé9mÊ+ ¨œúa  'Tactics 'Program #Coq@03<¸r°å“ü’v Á‚¥T  %Tauto $Init #Coq@0é‹ÎÌ‚¶×"&þæ/é”r  "Wf $Init #Coq@0qÊæ†+‚W,JÆÀÓå+“A€   "_3 9.zã"<-  "_4 9.zã"->  "_6 3ñ„•¦¾@ÒäÖŸ‚èú°´Â^ÎNb -Æ„•¦¾@7… éÔA‘ µ3¤ŠFÍï„•¦¾@7ìdÏÉÜÈhëËÃZu”»š„•¦¾ƒmQF‘·!A”@©œ   Ð÷ /RelationClasses 'Classes #Coq@@+EquivalenceË~î@A€ÐA©›  Ð÷ %Logic $Init@"eqÐ @€µ·!x©œ  A€ BC©š Ð÷&@)ReflexiveŸW€ µ·!·!y ·!H©&°C*©š Ð÷(@&eq_sym £Xø€ÀD 2C©š Ð÷@@)SymmetricFgq€µ·*:·$·!z·©>°*·"H0©C°E0©š Ð÷E@(eq_trans!Òyí€àF &8OC©š Ð÷]@*Transitive++-»€7Ý"üŒ&5½/o¢9b©qÛ