"`„•¦¾óºI° $Utf8 'Unicode #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@ )Utf8_core 'Unicode #Coq@4  )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ú‚ÚÖ± t0{â&‰Äžwv¤›gšˆ‹ÍÑ_ŒwÿûðÌnO¾¤ö„•¦¾fVՠР$Utf8 'Unicode #Coq@ðA@@ Ð@ Ó³2À@  Ó³2 [ )Datatypes $Init #Coq@@AÐ@ Ô³qÀ@  Ô³q \ @A@AB@ @@@4      @0.iÜ ¼bãYN —Zû  'Decimal $Init #Coq@0C´æ¶³çö¬ˆN€*ua  %Logic $Init #Coq@0Ï\ƒÍ‰¬!ÆôIgÔ  *Logic_Type $Init #Coq@0Í «¬1¡ÊöÝë©jc6  #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ú‚ÚÖ±  &Specif $Init #Coq@0ƒ¢;Rî–WMi\N›©  'Tactics $Init #Coq@0„/æé9mÊ+ ¨œúa  %Tauto $Init #Coq@0é‹ÎÌ‚¶×"&þæ/é”r  )Utf8_core 'Unicode #Coq@0{â&‰Äžwv¤›gšˆ‹  "Wf $Init #Coq@0qÊæ†+‚W,JÆÀÓå+“A€   "_3 9.zã"<-  "_4 9.zã"->  "_6 ü @à°F  F@  F@@ ‘ F @@ ‘ F A@'_ ≤ _ @ À°F   @@  ¡!x #≤ ¡!y@@@ ¥‘@  @ A@  @– A@  @”$≤   @ B@@@@@  "_7 %cö?ð@@   #  )nat_scope@@     @@@¢’ Ð÷ %Peano $Init #Coq@@"le UxT@ ‘< ‘5@@@@ K  û@'x ≤ y  "_8 ü @à°F  F@  F@@ ‘ F @@ ‘ F A@'_ ≥ _ @ À°F   @@  ¡d #≥ ¡c@@@ ¥b  @ A@  @– A@  @”$≥   @ B@@@@@  "_9 %cö?ð@@   „  a@@  €  f@@@¢‘Ð÷_@"ge Uwõ ‘” ‘@@@@ ?  S@'x ≥ y@@ØXI™‹¹FdZð¶ N"ðÆ„•¦¾@=Ú9^ä™4‡šG©l +âhï„•¦¾@W:ªàîölM¿HS¼l;„•¦¾@À<Ïkn(Æ8ZøqîÁˆ§A„•¦¾€ä%!ü©z²š› JáÓ