"`œ„•¦¾€5ìg° *NumPrelude 'Numbers #Coq@D 4Relation_Definitions )Relations #Coq@ -SetoidTactics 'Classes #Coq@ &Setoid 'Setoids #Coq@ $Init 'Classes #Coq@ /RelationClasses 'Classes #Coq@ )Morphisms '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@ .Morphisms_Prop '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Õ õ0IÏmÓ½%\$PD¸ƒŠ ¶0% Å:B'‚.>Ñu‚Ã%  +Equivalence 'Classes #Coq@0ÌÇîˆ7ÁƒŸÞ;ꮹº  -SetoidTactics 'Classes #Coq@0S„ÕÖ_㽯`ùnOUÚ$ 0D9µAs…˜WüEî!>ñÁm-î±³Â7¬Œï™» „•¦¾Ca‚  Ð *NumPrelude 'Numbers #Coq@ðA@@ Ð@ Ó³2À@  Ó³2 [ )Datatypes $Init #Coq@@AÐ@ Ô³qÀ@  Ô³q \ @A@AB@ @@@`  &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ú‚ÚÖ±  /RelationClasses 'Classes #Coq@0Gâzº² ¥©éãrêAº6Õ  4Relation_Definitions )Relations #Coq@0]§4©Ð€êådõ{nœ^ÿ  &Setoid 'Setoids #Coq@0D9µAs…˜WüEî!>ñ  -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ã"->  /induction_maker ¤ÅFÀ@@@  !n !t@Å¡¡¡™  ð?./theories/Numbers/NumPrelude.vYöYöü  Ð÷‘@7intros_until_#_4C69D57CÑÿ  ‘*e³>‘@ @ª—  @  ‘#ðYöYö@@ @@ ðYöYö’‘ -ð%YöYö  ð*YöYö! Ð÷)@0clear_#_4C69D547ý†·  ‘‘<ñèð  C@@@ ð;YöYö$0“ ð@YöYö$0  Ð÷ )Morphisms 'Classes #Coq@@,solve_proper9û @@€@@Á5WUVŦö]ÅxVXÝáÔ 0„•¦¾@þlÿõ·`¤ì2ð+]ît‰ Y„•¦¾@h•Oi¶b¸ÚI¶P2°N¿ ‚„•¦¾@Ø0?'î૪.HPý «„•¦¾€ÑV™=J¶°çIX‰=ØïØ