"`­„•¦¾‘ܸe° 'ssrbool )ssreflect (mathcomp@, )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@ 'ssrbool #ssr #Coq@D  )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ú‚ÚÖ±  $Bool  #Coq@0úÚj­ è2c·Z`FËùW  +ssrmatching  #Coq@0áý¼ú²L´ò1åT›=Î>  )ssreflect #ssr #Coq@0Šêó» •zì“û²·v  &ssrfun #ssr #Coq@01˜ ¼ZPž"}ßÀ;o{ –0Óð·ûœÀÏXßÉ%åë ªvÀÍÅ«û¿s<œH_Hø„•¦¾#¼a! Ð 'ssrbool )ssreflect (mathcomp@ðA@@ Ð@ Ó³2À@  Ó³2 [ )Datatypes $Init #Coq@@AÐ@ Ô³qÀ@  Ô³q \ @A@AB@ @@@D  $Bool  #Coq@0úÚj­ è2c·Z`FËùW    @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  "Wf $Init #Coq@0qÊæ†+‚W,JÆÀÓå+“  'ssrbool #ssr #Coq@0Óð·ûœÀÏXßÉ%åë   )ssreflect #ssr #Coq@0Šêó» •zì“û²·v  &ssrfun #ssr #Coq@01˜ ¼ZPž"}ßÀ;o{  +ssrmatching  #Coq@0áý¼ú²L´ò1åT›=Î>A€   "_3 9.zã"<-  "_4 9.zã"->@@èŒoµ:ìîÖõ nß‚Q‡!„•¦¾@y[õ_¾¯8Æ]ðw0ƽJ„•¦¾@í­òbh˜ËæêÊ‹Á¾Èús„•¦¾@ô[Ù²'êR“a¬³<­®œ„•¦¾€3òŒô`ÂÓ¿BêÂë†