"`„•¦¾q»ã° ,all_fingroup (fingroup (mathcomp@H &action (fingroup (mathcomp@ ,automorphism (fingroup (mathcomp@ (fingroup  (mathcomp@ (gproduct (fingroup (mathcomp@ (morphism (fingroup (mathcomp@ $perm (fingroup (mathcomp@ ,presentation (fingroup (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@ (quotient (fingroup (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  )ssreflect  (mathcomp@0ú“tþ³n|kN0 ÌD/O  &ssrfun #ssr #Coq@01˜ ¼ZPž"}ßÀ;o{  'ssrbool #ssr #Coq@0Óð·ûœÀÏXßÉ%åë   'ssrbool )ssreflect (mathcomp@0èŒoµ:ìîÖõ nß‚Q‡  ,ssrnotations )ssreflect (mathcomp@0hÐÖP¼ÖB«·—ƒÒî‡   &ssrfun )ssreflect (mathcomp@0ÇâêNOƒ‰=(ÖþV¦  &eqtype )ssreflect (mathcomp@0Wn"2&=zHÏ0;  &ssrnat )ssreflect (mathcomp@0ƒÍ§àMç–yõ·}yWÕߘ  #seq )ssreflect (mathcomp@0…Þ=‹~Ö(•­sVž,AÚ  #div )ssreflect (mathcomp@0W~‹ï™ÜÄ›ß o+ N×  &choice )ssreflect (mathcomp@0†2*{;"ƒW$‹äÍ^6ï  'fintype )ssreflect (mathcomp@0¯Ç’3ð¯fpÁææò  $path )ssreflect (mathcomp@0¿*%)Ìb™hc¥FrÄY  %tuple )ssreflect (mathcomp@0Éýý¤ŒÞ‘€óÉß–ËР &finfun )ssreflect (mathcomp@0¾Æœ§N”ñt®D—Œƒç  %bigop )ssreflect (mathcomp@0ƒ#z ”åxW :¦GØ‚b  &finset )ssreflect (mathcomp@0 ·@$$~˜Ö,B¸‡½|XÅ  %prime )ssreflect (mathcomp@0.wFb쵂ËÚ¥N_ ‡0™ÜîÔÁcÿæ"6¥5rk 0Ä \nž.v(ù‹  (binomial )ssreflect (mathcomp@0iÿŒéo ÎÑ ×}  …0å–RÄ å«_Úî]U Ÿ0$ÁèÅDÌ^ æV+™b`Å C0é°·ý x<œG‚ä@ «0wÔ¦Ï-M:AB„ jì3! 0#ðüÚ3²ÔßéyHñΠŽ0F.Þ6Æ0D„ck ‰—¹ö$’ýÑ¥·_¹¿RO“„•¦¾ ÌÐû Ð ,all_fingroup (fingroup (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ÆÀÓå+“  &action (fingroup (mathcomp@0wÔ¦Ï-M:AB„ jì3!  ,automorphism (fingroup (mathcomp@0$ÁèÅDÌ^ æV+™b`Å  %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—Œƒç  (fingroup  (mathcomp@0™ÜîÔÁcÿæ"6¥5rk  &finset )ssreflect (mathcomp@0 ·@$$~˜Ö,B¸‡½|XÅ  'fintype )ssreflect (mathcomp@0¯Ç’3ð¯fpÁææò  (gproduct (fingroup (mathcomp@0#ðüÚ3²ÔßéyHñΠ (morphism (fingroup (mathcomp@0Ä \nž.v(ù‹  $path )ssreflect (mathcomp@0¿*%)Ìb™hc¥FrÄY  $perm (fingroup (mathcomp@0å–RÄ å«_Úî]U  ,presentation (fingroup (mathcomp@0F.Þ6Æ0D„ck ‰—¹ö  %prime )ssreflect (mathcomp@0.wFb쵂ËÚ¥N_  (quotient (fingroup (mathcomp@0é°·ý x<œG‚ä@  #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ã"->@@¥á‡Bt=~m.Fx‚ºa½ª„•¦¾@–î?SZ©]¹´ÉdÝ0êÓ„•¦¾@ùaNw@Ô³ú:MZBýT]ü„•¦¾@ÑäÚ²à­Ö‰­‰GÌÅ%„•¦¾€¶Ò•01§¾Æ8e`æ,¹