"`ð„•¦¾Ôžx¿° -all_ssreflect )ssreflect (mathcomp@€ )ssreflect #ssr #Coq@ )ssreflect  (mathcomp@ 'ssrbool #ssr #Coq@ 'ssrbool )ssreflect (mathcomp@ &ssrfun #ssr #Coq@ ,ssrnotations )ssreflect (mathcomp@ &ssrfun )ssreflect (mathcomp@ &eqtype )ssreflect (mathcomp@ &ssrnat )ssreflect (mathcomp@ #seq )ssreflect (mathcomp@ &choice )ssreflect (mathcomp@ $path )ssreflect (mathcomp@ #div )ssreflect (mathcomp@ 'fintype )ssreflect (mathcomp@ (fingraph )ssreflect (mathcomp@ %tuple )ssreflect (mathcomp@ &finfun )ssreflect (mathcomp@ %bigop )ssreflect (mathcomp@ %prime )ssreflect (mathcomp@ &finset )ssreflect (mathcomp@ (binomial )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@ 0generic_quotient )ssreflect (mathcomp@  )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 @0ú“tþ³n|kN0 ÌD/O  &ssrfun #ssr #Coq@01˜ ¼ZPž"}ßÀ;o{  'ssrbool #ssr #Coq@0Óð·ûœÀÏXßÉ%åë  J0èŒoµ:ìîÖõ nß‚Q‡  ,ssrnotations )ssreflect (mathcomp@0hÐÖP¼ÖB«·—ƒÒî‡  D0ÇâêNOƒ‰=(ÖþV¦ A0Wn"2&=zHÏ0; >0ƒÍ§àMç–yõ·}yWÕߘ ;0…Þ=‹~Ö(•­sVž,AÚ 80†2*{;"ƒW$‹äÍ^6ï 50¿*%)Ìb™hc¥FrÄY 20W~‹ï™ÜÄ›ß o+ N× /0¯Ç’3ð¯fpÁææò ,0åè¼äê@t]Øï³ù[ )0Éýý¤ŒÞ‘€óÉß–ËР&0¾Æœ§N”ñt®D—Œƒç #0ƒ#z ”åxW :¦GØ‚b  0.wFb쵂ËÚ¥N_ 0 ·@$$~˜Ö,B¸‡½|XÅ 0iÿŒéo ÎÑ ×}  Û0_˜7…‘†±©ºƒ"3^/ £ãý$Bê¶É„•¦¾ ±ãY Ð -all_ssreflect )ssreflect (mathcomp@ðA@@ Ð@ Ó³2À@  Ó³2 [ )Datatypes $Init #Coq@@AÐ@ Ô³qÀ@  Ô³q \ @A@AB@ @ÐÐÐ@°HUÐ@Ð÷¢ %bigop )ssreflect (mathcomp@&Monoid@&addmAC°HU‘Ð÷¢ &Theory@._N¡@A@A°HyÐ@Ð÷@&addmCA°Hy‘Ð÷@._NÅ@AÐÐ@ ˜OòÐ@Ð÷@&mulmAC ˜Oò‘Ð÷@0GV>@AÐ@ ˜PÐ@Ð÷@&mulmCA ˜P‘Ð÷@0GVb@A@AB„|$Ð@Ð÷"@)mulm_addl„|$‘Ð÷@=3‚p@A@CD„|*Ð@Ð÷'@)mulm_addr„|*‘Ð÷@=3‚v@AÐÐÐÐ@1ñAëÐ@Ð÷0@'iteropE1ñAë‘Ð÷'@ H7@A@A:YaõÐ@Ð÷5@%add0m:Yaõ‘Ð÷,@ hA@A@B:Yf?Ð@Ð÷:@%addm0:Yf?‘Ð÷1@ l‹@AÐÐ@:YfPÐ@Ð÷A@%addmA:YfP‘Ð÷8@ lœ@A@A:YfRÐ@Ð÷F@%addmC:YfR‘Ð÷=@ lž@AÐ@:s„Ð@Ð÷L@%mul0m:s„‘Ð÷C@ "Ð@AÐ@:s—Ð@Ð÷R@%mul1m:s—‘Ð÷I@ "ã@A@ABCD:sÎÐ@Ð÷W@%mulm0:sΑÐ÷N@ "@AÐÐÐÐ@:sÏÐ@Ð÷`@%mulm1:sÏ‘Ð÷W@ "@A@A:sßÐ@Ð÷e@%mulmA:sß‘Ð÷\@ "+@A@B:sáÐ@Ð÷j@%mulmC:sá‘Ð÷a@ "-@A@C:}ÄÐ@Ð÷o@%simpm:}Ä‘Ð÷f@ ,ÊÛ@AÐ@=[ŸYÐ@Ð÷u@'mulmACA=[ŸY‘Ð÷l@# ¥¥@A@ADEF@  $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ÆÀÓå+“  %bigop )ssreflect (mathcomp@0ƒ#z ”åxW :¦GØ‚b  (binomial )ssreflect (mathcomp@0iÿŒéo ÎÑ ×}   &choice )ssreflect (mathcomp@0†2*{;"ƒW$‹äÍ^6ï  #div )ssreflect (mathcomp@0W~‹ï™ÜÄ›ß o+ N×  &eqtype )ssreflect (mathcomp@0Wn"2&=zHÏ0;  &finfun )ssreflect (mathcomp@0¾Æœ§N”ñt®D—Œƒç  (fingraph )ssreflect (mathcomp@0åè¼äê@t]Øï³ù[  &finset )ssreflect (mathcomp@0 ·@$$~˜Ö,B¸‡½|XÅ  'fintype )ssreflect (mathcomp@0¯Ç’3ð¯fpÁææò  0generic_quotient )ssreflect (mathcomp@0_˜7…‘†±©ºƒ"3^  $path )ssreflect (mathcomp@0¿*%)Ìb™hc¥FrÄY  %prime )ssreflect (mathcomp@0.wFb쵂ËÚ¥N_  #seq )ssreflect (mathcomp@0…Þ=‹~Ö(•­sVž,AÚ  'ssrbool #ssr #Coq@0Óð·ûœÀÏXßÉ%åë   'ssrbool )ssreflect (mathcomp@0èŒoµ:ìîÖõ nß‚Q‡  )ssreflect #ssr #Coq@0Šêó» •zì“û²·v  )ssreflect  (mathcomp@0ú“tþ³n|kN0 ÌD/O  &ssrfun #ssr #Coq@01˜ ¼ZPž"}ßÀ;o{  &ssrfun )ssreflect (mathcomp@0ÇâêNOƒ‰=(ÖþV¦  +ssrmatching  #Coq@0áý¼ú²L´ò1åT›=Î>  &ssrnat )ssreflect (mathcomp@0ƒÍ§àMç–yõ·}yWÕߘ  ,ssrnotations )ssreflect (mathcomp@0hÐÖP¼ÖB«·—ƒÒî‡   %tuple )ssreflect (mathcomp@0Éýý¤ŒÞ‘€óÉß–ËÐA€   "_3 9.zã"<-  "_4 9.zã"->@@ܯƒ_mO’¢#˜¿ ò„•¦¾@À'žÌ×xíù3 „•¦¾@”—Õó‰¹ Y®UŸ‡D„•¦¾@˜ÖÁ ˆzè·â/?m„•¦¾€à£BUžê%>Z¢Äóªæ