"`¾„•¦¾¢Ü¿i° &ssrfun )ssreflect (mathcomp@0 &ssrfun #ssr #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@ ,ssrnotations )ssreflect (mathcomp@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 Ï01˜ ¼ZPž"}ßÀ;o{ 0hÐÖP¼ÖB«·—ƒÒî‡ òVù×ßÛ=¿ s ¬éíX„•¦¾2¼g$ Ð &ssrfun )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ÆÀÓå+“  )ssreflect #ssr #Coq@0Šêó» •zì“û²·v  &ssrfun #ssr #Coq@01˜ ¼ZPž"}ßÀ;o{  +ssrmatching  #Coq@0áý¼ú²L´ò1åT›=Î>  ,ssrnotations )ssreflect (mathcomp@0hÐÖP¼ÖB«·—ƒÒî‡ A€   "_3 9.zã"<-  "_4 9.zã"->@@ÇâêNOƒ‰=(ÖþV¦A„•¦¾@&MÚÛŽûCé¾Ò 'ëÆj„•¦¾@Þþóìˆ{ujjŽâóÉ“„•¦¾@æÆ{]ý^~ýr®T)¼„•¦¾€N^>¹\·DJ'õÏ\Ç¿