!4Þ„•¦¾¨×° $Poly@0 )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@ 'Prelude $Init #Coq@ &Basics@ )Induction@ %Lists@4  )Notations $Init #Coq@�0XMtÔ±4– ­ ß±»9-  %Logic $Init #Coq@�0O{øyÊ�jäbſŠ )Datatypes $Init #Coq@�0·f:|aÔ¬)ØÎÁ€Ü‘«Â  *Logic_Type $Init #Coq@�0$ÄISÜ'ÓÊG6Ȳæÿ  &Specif $Init #Coq@�0؇ñ)+)œ²Þ¬/›Þ*K  #Nat $Init #Coq@�0ù±dbGôntO ZTk  %Peano $Init #Coq@�0Øo¥œ gÓFFø€~³ä  "Wf $Init #Coq@�0¢��“²èýê–ÁdV–<§  'Tactics $Init #Coq@�0Ÿ5ØŒI`VÓÛ ñˆ  'Prelude $Init #Coq@�0A‘Ðä+ïA¤Áìu·b;�  &Basics@�0”±ÐD,Áq9‹UU+ÈÖ'ä  )Induction@�0ÿWÛ jƒî. %R_µ h�0–>Ç/«¼Ë¡�»%¥ÔÈÏÉJ8´™ie�—Â�Ö"«„•¦¾¥SL¥øP Ð $Poly@ð�A�  (boollist‘,�<@� ”�@ (bool_nil)bool_cons �A¶@›  �Ð÷� &Basics@@$boolšä@€¶@�B�C@@ @ A B@ @B @B¢@�¡� �Ð÷+@'*Éš%@ ¡@€¡@ ¡@€ @@AA  @@ AB@@A@@@@@ €@@  -boollist_rect� @‘ ·�!P¶�!b›  �Ð÷� K@@E*Éš%@€”‘°  ® B@=÷.¡@·�!f©B�œ  A€·¶F¶¶@©�D�M©�E�©œ  !B€ HIž  �@@°��!F�¶0.�·20ÍÐ0@QR°@ @ @ @@D·97©�Fj  ·=j·><© °co%@�¶�E¶�D›  �Ð÷Š@†*Éš%@€”A¶�<©};¶�?¶�Q¶�S›  @€¶@©=<©;:¶�[› €©C���� ° 8+j() ,2'*(=>3 &''Qêÿÿÿ''+j$'+7Sj$'  �°6xA´  ‘‘i@€@@ �b@@@  ,boollist_ind� @‘ ·z¶xv”�A©š �Ð÷x@ˆ1b€b@�¶?¶>=” 8�� ° ,+j7$'  ’X@€@@ €@@@  ,boollist_rec� @‘ ·—¶•“Ê@�¶U¶TS”ÍN�� ° ,+j7$'  ’$X@€@@ €@@@  $list‘,�< °�!X@”‘°  ¯^ C«@>u>"@@‘  �@°  HA@>}@  #nil$cons ¶©ã£¶¶@ñ¶@©æ�詪�é@@è  @B @B¢@�¡� �Ð÷@,<øöß@ ¡@€¡@ å @@AA  @@ AB@@A@AA °/@-@@ �+@@  )list_rect� @‘ ·97·è¶�!l©›  �Ð÷ç@J<øöß@€Ñ”‘°  ±Ü Eì@?q]$@·å©%�©œ  A€7·ì¶�!x!¶©�æ¶@è©å�©œ  B€°Ð,-ž  �@@°�ä�¶,÷�·.©,�÷ÍÐ-APQ°@ @ @ @@D·7©5�åæN ·�!yé·>©<��Gé@�¶~|¶�-¶�F©›  �Ð÷s@�<øöß@€�c”F¶�&©gB¶�)¶�>^¶�W©›  @€A¶@©(�t©'B¶�a©› €�0©1�}�� ° D+j() ,2'*(=>3 &''Qêÿÿÿ''+j$'+7 Sj$'  �°@‚A¸  ‘‘p@€@@ �k@@@  (list_ind� @‘ ·º¸·i¶�署 �Ð÷e@Ž;éö²€ �œ@�¶Ä¶F¶EDï¶<©¢�©}�™¶>¶=š¶<©;�_¶@9©^�©y°F¢£¶:©9�g7�� ° <+j() 7%'  ’!h@€@@ €@@@  (list_rec� @‘ ·éç·˜¶°®Ë/@�¶íë¶o¶nm¶e©Ë�©¦�¶g¶föe©d�ˆ¶@b©‡�©¢°oË̶c©b��`�� ° <+j() 7%'  ’Jh@€@@ €@@@  &repeat� @‘ ž  �B@°�� �¶”‘°  ² FÃ@?ïl¥@¶Ïû¶�%count›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©ô�·4·ã·ÍÐ@ @A @A°@ @ @@D·é ©ó%·�&count'©é°Ô©Ò°Ö!@�¶�I”0¶�ú'¶�,›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©›  �Ú@€�/�� ° `,5j(*()=> 3" :'F'Qêÿÿÿ''+j7$'+7Sj+ S'+7S'7$'  �°4  @@ AAA”  ‘‘2Р ‘�‘[ô  ‘‘U4  ‘‘?L@€@@ �cÀ@°eA}@A@@  ,test_repeat1� @’°@x@�©›  �Ð÷� %Logic $Init #Coq@@"eqÐ @€°©>�› M€©š �Ð÷Ž@—•`œ€°©œ   �Ð÷� ‚ � €@@ò@B€�©œ   B€�©œ  B€�©œ  B€�œ   @A€©œ  B€�©œ  $B€�œ  A€©œ  uB€°› †€©œ  3B€�©œ  8B€�©œ  =B€�©œ  BB€�œ  ,A€©œ  “B€°› ¤€©œ  QB€�©œ  VB€�©œ  [B€�©œ  `B€�œ  JA€©œ  ±A€�› €�@@ €@@@  ,test_repeat2� @’°@ A�©› ’€°©Å�›  �Ð÷� û@@$boolšä@€©š �€° œ   B€©œ  ŽB€�œ  xA€©œ  ßB€°› €œ  B€©œ  éA€�› &€�@@ €@@@  -MumbleGrumble’ð¢>A�  &mumble‘,�<@� =<°!a !c°;¶@<¶@?0=@@/°@B@°@B@¢@�¡� �Ð÷@ ¬.@°¡@€¡@  @@-¡@€BA° @@ AB A@@@A@@@@@ €@@  +mumble_rect� @‘ ·-¶�!m›  �Ð÷¢�,:@3 ¬.@€”‘°  µØ I2@Ái›(@·+©k�œ  A€·1¶¶@©f'¶�!nx©)�©œ  B€ p}·?©r�œ  %C€ž  �@@°�.�¶1/©>@�·42ÍÐ2@RS°@°@ @ @@@D·;9©AJ–°I·><·%›©1°�©Q©œ�@�¶�r¶�F›  �Ð÷z@v ¬.@€”C¶�i©ª?¶�l¶�S›   @€¶@©¦�´¶�A¸©i@¶�y©­;¶�a› €©q�À�� ° L+j() ,6'*(='> 3 &''Qæÿÿÿ''+j$'+7Sj$'  �°:}AÈ  ‘‘o(@€@@ �h@@@  *mumble_ind� @‘ ·«¶~|1©š �Ð÷|@Š•0I€‘@�¶A¶@?/9�� ° ,+j7$'  ’ X@€@@ €@@@  *mumble_rec� @‘ ·Ŷ˜–ø@�¶V¶UT.N�� ° ,+j7$'  ’"X@€@@ €@@@  'grumble‘,�< °-@”‘°  ¶ JÖ@Á窩@@‘  �@°+Áﬡ  !d!e ¶=¶@¼&¶?¶@(@@  AA AA¢@�¡� �Ð÷÷@#3›}¬@ ¡@�¡@� @B  AA BA@@A@AA °S@&@@ �$@@  ,grumble_rect� @‘ ·]0· ¶�!g©›  �Ð÷à@A3›}¬@€õ”‘°  ¸• L@ÂãÉ«@· ¶ïí©>�©œ  A€Ó·¶%D©E�©œ  B€  X· ©*ÍÐAAB°@  @@ @@D·(©&×b@�¶Š]¶�9¶�.©›  �Ð÷B@n3›}¬@€�o”.¶�2¶�©i+¶�7¶�Ll©m(¶�B©›�4©5���� ° ´+j()= >$>$Qïÿÿÿ''+j$'  �°/bAh@€@@ �G@@@  +grumble_ind� @‘ ·º�·i¶][署 �Ð÷:@j\tC€@�¶Ã–¶9¶87î¶/¶.E©–�©X ˜¥¶0¶/š©›�©V `«¶1©0�c/�� ° <+j() 7%'  ’h@€@@ €@@@  +grumble_rec� @‘ ·å¸·”¶ˆ†Ç+@�¶é¼¶_¶^]þ¶U¶Tk©¼�©~ ¾˶V¶UÀ©Á�©| †ѶW©V�‰U�� ° <+j() 7%'  ’Ch@€@@ €@@@@@ ÐÐ@µØÀ@z@A@A¶À@×@AÐ@¸•À@Ÿ@A@AB@ @@@  'repeat'� @‘ ž  �B@°�� �¶”‘°  ¼‘ PÄ@Äܯ@�·#ï@�¶�%” ¶�Ö¶�› k€©› Ñ€�þ�� ° `,5j(*()=> 3" :'F'Qêÿÿÿ''+j7$'+7Sj+ S'+7S'7$'  �°ÏA”  ‘‘þР ‘�‘&ô  ‘‘!4  ‘‘ L@€@@ �.À@°0AI@A@@  (repeat''� @‘ ž  �B@°�� �¶_”‘°  ÁÌ U@ÇRU4@E�·g3@�¶�i” ¶�G¶�L› ¯€©› €�B�� ° `,5j(*()=> 3" :'F'Qêÿÿÿ''+j7$'+7Sj+ S'+7S'7$'  �°GA”  ‘‘BР ‘�‘&ô  ‘‘e4  ‘‘OL@€@@ �.À@°0A�@A@@  'list123� @‘ ©@°x©œ  zB€�œ  ~A€©J°‚© � ©N°†©�©`�Š@�©›  S@€�› e€�� °,6j  ‘¤A ¤A�“@¤A ¤A�¤A�“@¤A ¤A�¤A�¤A�“@“@D@€@@ €@@@  (list123'� @‘ B@�©›  �@€�›  <@€�� °,6j  ‘¤A ¤A�“@¤A ¤A�¤A�“@¤A ¤A�¤A�¤A�“@“@D@€@@ €@@@  )list123''� @‘ q@�©›  °@€�›  k@€�� °,6j  ‘¤A ¤A�“@¤A ¤A�¤A�“@¤A ¤A�¤A�¤A�“@“@D@€@@ €@@@  )repeat'''� @‘ ž  �B@°�� �¶C”‘°  ÅÈ Yì@ÉJ“8@)�·K@�¶�M” ¶�þ+¶�0› €©› ù€�&�� ° `,5j(*()=> 3" :'F'Qêÿÿÿ''+j7$'+7Sj+ S'+7S'7$'  �°+÷A”  ‘‘&Р ‘�‘&ô  ‘‘I4  ‘‘3L@€@@ �.À@°0Aq@A@@  %list'‘,�< °€@”‘°  ÇF [)@ÊF²:@@‘  �@°~ÊN´2  $nil'%cons' ¶�|¶‘{@@] @B @B¢@�¡� �Ð÷…@!=ÏwŠ@ ¡@€¡@ Z @@AA  @@ AB@@A@AA °¤@$@@ �"@@  *list'_rect� @‘ ·®.·]¶u©›  �Ð÷Z@==ÏwŠ@€D”‘°  ÉÄ ]_@ËBÑ<@·X©˜�©œ  A€ª·_¶s’¶‹©q¶@X©U�©œ  B€pž  �@@°�S�¶›f�·�©(oÍÐ(AIJ°@ @ @ @@D·¥©0nS» q·mT·©©4kR@�¶çg¶�–¶�¯©›  �Ð÷Ü@x=ÏwŠ@€�Ì”<¶��©Ð8¶�’¶�§Ƕ�À©›  @€��¶@©’�Þ©‘<¶�Ë©› €�š©›�ç�� ° D+j() ,2'*(=>3 &''Qêÿÿÿ''+j$'+7 Sj$'  �°<wA¸  ‘‘g@€@@ �b@@@  )list'_ind� @‘ ·$¤·Ó¶ëvY©š �Ð÷Ï@ƒ!J;s€j@�¶-­¶F¶EDX¶<© �©s�¶>¶=¶<©;�ȶ@8©Ç�©r°¯  ¶9©8�Ð6�� ° <+j() 7%'  ’ h@€@@ €@@@  )list'_rec� @‘ ·RÒ·¶¤4.@�¶VÖ¶o¶nmk¶e©4�©œ�+¶g¶f,¶e©d�ñ¶@a©ð�©›°Ø45¶b©a�ù_�� ° <+j() 7%'  ’Ih@€@@ €@@@  #app� @‘ ž  �A@°�� �¶ƒ”‘°  Ê  ^,@ËÀà½@¶�"l1O¶�"l2©Rw_�·’· V·Í)· eAd q·�!hg·�!tH©C°+m©°-{n@�¶�£”!¶�©› K€�…¶�©› Q€�©› U€�‚�� ° t,5j(*()=> 3" :''Qêÿÿÿ''+j7$'+7Sj+ 7 S'+7 S'7$'  �°R”A”  ‘‘‚Р ‘�‘Bô  ‘‘‹  ‘‘�D  ‘‘“`@€@@ �NÀ@°PAÑ@A@@  #rev� @‘ ž  �A@°�� �¶甑°  Ì � `�@̼ÿ¿@¶³±_�·ð ·¶´Í†·¸dÂÍ ¨·]÷[Å©š �Ð÷Ÿ@†<í�¶€°‹©‰€©£°ŽÍ©³ª@�¶�”¶�Ê©› ª€�ä©› ®€�Ü�� ° \,:j(*()=>F : 3!7&'F'Qåÿÿÿ''+j7$'+7Sj+ 7 S'7$'  ’|  �°®ðA¨  ‘‘Þä  ‘�‘:  ‘‘ç,  ‘‘ëH@€@@ �BÀ@°DA)À@°FAª@AB@@  &length� @‘ ž  �A@°�� �¶A”‘°  Î ÿ bê@͹Á@¶  $�·J ·Íà·¾)' ­·ý·�"l'!©¶�X@�¶�V”¶�©› þ€�8› €�� °  ,/j(*()= > 3!9'F'Qìÿÿÿ''+j6'+7Sj+ 7 S'6'  �°ý?AŒ  ‘‘GÀ  ‘�‘/Ü  ‘‘6ü  ‘‘T@€@@ �7À@°9Ax@A@@  )test_rev1� @’°@sB�©› û€°©€�›  æ@€©š �Ð÷@»<í´ä€  ©œ  :B€°©œ  öB€�œ  àA€©œ  GB€°›  @€©œ  B€�©œ   B€�œ  õA€©œ  \A€�©œ  aB€°›  @€©œ   B€�©œ  %B€�œ  A€©œ  vB€°›  0@€©œ  5B€�œ  A€©œ  †A€��@@ €@@@  )test_rev2� @’°@ÝC�©› e€°©ê�›  Ó@€©š j€ ©œ  ¢B€° œ  àA€©œ  ªA€�©œ  ¯B€°›  ì@€œ  ðA€©œ  ºA€� �@@ €@@@  ,test_length1� @’°@ D�©› ™€°Ê©š �Ð÷ @ú ²}£€ ›  ˆ@€©œ  ÖB€°©œ  ’B€�œ  |A€©œ  ãB€°›  �@€©œ  ¢B€�©œ  §B€�œ  ‘A€©œ  øB€°›  ²@€©œ  ·B€�©œ  ¼B€�©œ  ÁB€�œ  «A€©œ  A€�©œ  ÎB€�©œ  ÓB€�©œ  ØB€�œ  ÂA€�@@ €@@@  %mynil� @‘ á@�©› 2€�› C€�� °(Fj@€@@ €@@@  &mynil'� @‘ õ@�©›  F@€�› X€�� °(Fj@€@@ €@@@  *list123'''� @‘ @�©›  [@€�›  @€�� °,6j  ‘¤A ¤A�“@¤A ¤A�¤A�“@¤A ¤A�¤A�¤A�“@“@D@€@@ €@@@  )app_nil_r� @’°@ ÓE�¶�甑°  Ð!} d ‘@ε=Ã@¶�´©› ”€� Ω› i€°©G� È©š �Ð÷ ê@Š<í�¶€° Î Ú©œ  ¥A€� Ó ß�@@ �ÀÀ@°A @A° A…À@°"A 1D´æ H ~ } |@À@°)A 1Gµ£ K@ABC@@  )app_assoc� @’°@ F�¶�!A”‘°  Ò!û f Ë@ϱ\Å@¶�î©› ΀� ¶�¯©› Ô€� ¶�›©› Ú€� ©› ¯€°©�� Ï©š F€° Ó ©š J€° ×  "©š N€° Û©š R€° ß   *�@@ �-ÀÀ@°0A P@A°1AÐÀ@°3AKÀ@°5AF@ABC@@  *app_length� @’°@ PG�¶� d”‘°  Ó": g @Ð/lF@¶�â©› €� K¶�å©› €� E©› 쀰©š S€  L©š …€° P Q ]©š �Ð÷� #Nat $Init #Coq@@#add £�`€ ©š i€  b c©š m€  f s�@@ �3À@°5A ˜À@°7AÀ@°9A]@ABC@@  -rev_app_distr� @’°@ —H�¶� «”‘°  Õ"¸ i U@Ñ+‹H@¶�)©› X€� ’¶�,©› ^€� Œ©› 3€°©¸� ‘©š 5€  •©š ΀° ™ 𠦩š Ò€° �©š A€  ¡ ®©š E€  ¥ ¦�@@ �+ÀÀ@°.A Ø@A°/AXÀÀ@°2A÷@A°3A÷À@°5A¿À@°7AÙ@ABCD@@  .rev_involutive� @’°@ ÜI�¶� 𔑰  Ö"÷ j š@Ñ©šÉ@¶� ½©› �€� ש› r€°©÷� Ñ©š t€  Õ©š x€  Ù å å�@@ �ÀÀ@°A @A°A'À@°AdÀ@°!A@ABC@@  $prod‘,�< °�!Y@”‘°  Ø#u l Ê@Ò¥¹Ë@ ° )@”‘°  ×#6 k Ò@Ò'ªJ@@‘  � �@° $Íd�$pair�¶ :¶¶@ ¶@ © Ê  Î @@ �B�B¢@�¡� �Ð÷ 3@0<ùn`@�¡@   @A� AB@@A@BB °0@. ° Q@(@@  &.@@  )prod_rect� @‘ · [2·=;· ¶�!p©›  �Ð÷ @N<ùn`@€ ¥”‘°  Ú#ó n @Ó¡ØÍ@· ¶  ;¶ ù <© =�©œ  A€À   D P·©:ÍÐB:;°@� @ @@D·!©     [ h@�¶ ƒZ¶ec¶� 3¶�)©›  �Ð÷ y@v<ùn`@€  ] i”)¶� ,¶� A a¶�  c© d'¶�:©›  + i© j� x�� ° œ+j()=>%Qõÿÿÿ''+j$'  �°.\AP@€@@ �?@@@  (prod_ind� @‘ · ±ˆ·“‘· a¶VT 穚 �Ð÷ ]@d u€° ‡ ˆ ”@�¶ ¼“¶žœ¶9¶87 è¶/¶. ޶- �© ��©SÀ R U ”  ¶/©.  X –-�� ° @+j() 7&'  ’l@€@@ €@@@  (prod_rec� @‘ · Ú±·¼º· ж} ½)@�¶ ß¶¶Á¿¶\¶[Z õ¶R¶Q ±¶P ²© ³�©vÀ u x · öR©Q  { ¹P�� ° @+j() 7&'  ’=l@€@@ €@@@  #fst� @‘ · ý”‘°  Û$2 o ¦@ÔèN@·唑°  Ü$q p ­@Ô�÷Ï@·­«Í“·¯©­ ” � è�· ¾ Ý· › Þ ß@�¶� ”¶�÷”¶�»©›  �’@€  î ú í�� ° �+j()=>'Qõÿÿÿ''+j'  �°°ÞAP@€@@  *#À@°,AÀ@°'A @AB@@  #snd� @‘ · 7”‘°  Þ$ï r à@ÕšÑ@·”‘°  ß%. s ç@Ö&R@·çåÍÍ·é:  !�· ÷ · Ô  $@�¶� L”¶�0”¶�ô©› 9€  % 1 %�� ° �+j()=>'Qõÿÿÿ''+j'  �°çAP@€@@  ' À@°)A7À@°$AA@AB@@  'combine� @‘ ž  �B@°�� �¶ v”‘°  á%¬ u @×ET@¶^”‘°  â%ë v &@×’TÕ@¶�"lx÷¶�"lyú© L��· �·o· · Í %· =© U� b © I · E &·�"tx 1Í /· 3© _�©>  %  m © U�©C   1· 0 2·�"ty 7© O°©K �H 3©=À 5 ? ~©�IÀ 8 € �@�¶� µ”@¶�™”<¶�7©›  `€� ޶�:©›  f€� ”©›  j€�S�� ° „,jj(*()=,/>=>   3 ::'F'Qáÿÿÿ''F'QÍÿÿÿ'' +j7!7$' +j7!7$'+7Sj+7S' +7 S'+7 S'7!7$'  �° g ©AØ  �° k ­A  ‘‘xL  ‘‘ ŸX  ‘‘€˜  ‘‘ §¤  ‘�‘tÈ  ‘�‘rè  ‘‘ µ  ‘‘ ¹D  ‘‘šd  ‘‘ Áp@€@@  ‰‚ÀÀ@°ŒA @A°�AÚÀ@°ˆA À@°ŠAæ@ABC@@  %split� @‘ ž  �B@°�� �¶ ”‘°  ä&i x Ä@ØŽs×@¶”‘°  å&¨ y Ë@Ù ƒX@¶ î© ì�˩ˠ üž�· /·· öÍ Æ· ø© ö�(©Õ  â   ©ÇÀ « û î·Ý.·¡³ÍÄ·à¿©Þ  Î × �· ð η Í Ï©ÒÀ Ì Ó© ë° Ì ©š �Ð÷ ð@U<í¥€° Ô Û©¡° Ô À © õ°  +©š �Ð÷ ú@%<í¶æ€ @�¶� X”>¶�<”:¶� #©›  €8©› H€9�� ° Ø,„j(*()=?C>=.>3"7 7 7" :3"7 7 7" ::'QÎÿÿÿ''6'Q¹ÿÿÿ'' +j7 7 7%' +j7 7 7%'+7Sj+7S'+ 7!7 S'7 7 7%'  ‘‘ .Œ  ‘‘ 2œ  ’!¨  ‘‘ 9Ø  ‘‘ =è  ’6ô  �° 9A$  ‘¤A “@“@@  �° # eAX  ‘‘ S˜  ‘‘ W¨  ‘‘8´  ‘‘ _ð  ‘‘ c  ‘‘D   ‘�‘�0  ‘�‘�P  ‘‘R€  ‘‘ yŒ  ‘‘ }¨  ‘‘ �¸  ‘‘bÄ@€@@  ¨¡ÀÀÀ@°¬A Å@A°­AŸÀ@°¯AÍ@AB°°A”ÀÀ@°¬A Ì@A°­A®À@°¯AÍÀ@°±A•@ABCD@@  *test_split� @’°@ ÌJ�©›  T€°©ƒ © ¨9© ©� À©š �Ð÷ ‘@à=Þ+€° Ê Æ© ”°©�  Î Ê©�À Ð ÌXœ   ÍB€© �° ©ˆÀ × ÓU© ¯� ©ŒÀ© ¥° Ýe© §° ß]W© ©° Ý© «° ß© »!�@@ €@@@  &option‘,�< ° @”‘°  é'¤ } ¼@ÛÁ\@@‘  �@° Û ÃT  $Some$None ¶ # ä¶ $ @@ ð A@ A@¢@�¡� �Ð÷@!:Yb@ ¡@� ì¡@€AA  AA @@@@A@AA ° 6@#@@ �!@@  +option_rect� @‘ · @-· ï¶�!o©›  �Ð÷ î@>:Yb@€ Ø”‘°  ë("  ó@Üà^@· ì¶  ©!�©œ  A€ ¶· ô©(�©œ  B€ D·© ÍÐA>?°@  @@@D·%©# þ ·B î@�¶ jW¶�¶�+©›  �Ð÷_@h:Yb@€�O”+¶�¶� 'H©I(¶�©L$¶�=©›�©�_�� ° ¬+j()= '>$Qñÿÿÿ''+j$'  �°,]A`@€@@ �B@@@  *option_ind� @‘ · ˜…·G¶XV Í©š �Ð÷C@eìû€ Þ@�¶ ¡޶7¶65 ̶-¶,s©t�©S vƒ¶.©y�©Q�{¶0©/�@.�� ° <+j() 7%'  ’h@€@@ €@@@  *option_rec� @‘ · ¯·q¶‚€¤*@�¶ Ƴ¶\¶[Z Û¶R¶Q˜©™�©x ›¨¶S©ž�©v� ¶U©T�eS�� ° <+j() 7%'  ’Ah@€@@ €@@@  )nth_error� @‘ ž  �A@°�� �¶ °  ì(a @˜@Ü~ïß@¶ » ¹¶ ] Ó©³ Ý�· ú · À ¾· b ØÍ ‘· à ̠͞¤·� £η² ­ÍÐÚ@ @@ @@°@ @@A·@á©Å —©š �Ð÷â@'beq_nat)1{Z€ Þ p ©¾  â©†°¢𩚠�Ð÷� “ ñ@$pred ¯`<€@�¶� ”2¶� è©›  È€�¶� �›  Û€©›  �¾@€�ÿ�� ° ,\j(*()=(+>F7!=7 3&'9'Qéÿÿÿ''F'QÑÿÿÿ''+j7$'+j7$'+7Sj+ 7 S'+7S'7$'  ’-`  ’$„  �°>  @@ A@AÈ  �° ÜAø  ‘‘4  ‘‘ l  ‘�‘d�  ‘‘´  ‘‘ 7Ü  ‘‘ô@€@@ �pÀ@°rA_À@°tAP@AB@@  /test_nth_error1� @’°@\K�©›  䀰©G�›   Ï@€©š �Ð÷h@œ ®©¨€° ©œ   #B€°©œ   ßB€�©œ   äB€�©œ   éB€�©œ   îB€�œ   ØA€©œ   ?B€°›   ù@€©œ   þB€�©œ   B€�©œ   B€�©œ   B€�©œ   B€�œ   üA€©œ   cB€°›   @€©œ   "B€�©œ   'B€�©œ   ,B€�©œ   1B€�©œ   6B€�©œ   ;B€�œ   %A€©œ   ŒB€°›   F@€©œ   KB€�©œ   PB€�©œ   UB€�©œ   ZB€�©œ   _B€�©œ   dB€�©œ   iB€�œ   SA€©œ   ºA€�.œ   [A€©œ  òA€ ›   |@€©œ   �B€�©œ   †B€�©œ   ‹B€�©œ   �B€�œ   zA€�@@ €@@@  /test_nth_error2� @’°@3L�©›  »€°©�©›   ð@€�›   «@€©š Ü€° ©œ   ýB€°©©œ  B€°©œ   ¿B€�œ   ©A€©œ  A€�©œ  B€°©›  @€�›   Ô@€©œ  "B€°©œ   ÞB€�©œ   ãB€�œ   ÍA€©œ  4A€�©œ  9A€�©$!©œ   öB€�œ   àA€©œ  wA€ ©›  K@€�›  @€©œ  TB€°©œ  B€�©œ  B€�œ   ÿA€©œ  fA€��@@ €@@@  /test_nth_error3� @’°@½M�©› E€°©¨�›   ³@€©š a€°©œ  ‚B€° œ   ÀA€©œ  ŠA€�©œ  FB€�©œ  KB€�œ  5A€©œ  ÌB€�&�@@ €@@@  (hd_error� @‘ ·”‘°  î(ß B¯@Ý{á@·ÒÐÍ¢·Ô €é ©µø·à·Ãâ©¿ ¤ã@�¶�”¶�ß©› ¿€�ù©› ó€�ñ�� ° ¸+j()= >9'F'Qïÿÿÿ''+j7$'  �°ÀAh  ‘‘é¤@€@@ �(À@°*A.À@°,A@AB@@  .test_hd_error1� @’°@+N�©› ³€°©#�›  ž@€©š �Ð÷7@L 3¿Ò€  ©œ  òB€°©œ  ®B€�œ  ˜A€©œ  ÿB€°›  ¹@€©œ  ¾B€�©œ  ÃB€�œ  ­A€©œ  A€�©œ  IA€ ›  Ó@€©œ  ØB€�œ  ÂA€�@@ €@@@  .test_hd_error2� @’°@{O�©› €°©s�©›  8@€�›  ó@€©š U€  ©œ  EB€°©©œ  KB€°©œ  B€�œ  ñA€©œ  XA€�©œ  ]B€°©›  a@€�›  @€©œ  jB€°©œ  &B€�©œ  +B€�œ  A€©œ  |A€�©œ  �A€�©$!©œ  ·A€ ©›  ‹@€�›  F@€©œ  ”B€°©œ  PB€�œ  :A€©œ  ¡A€��@@ €@@@  *doit3times� @‘ · ”‘°  ð)] D´@Þw-ã@·­¶@íá·zâ©ã�©å�@�¶�”¶�¸¶@ùí¶�†ïî�� ° D+j() $'@€@@ �@@@  /test_doit3times� @’°@P�©› ¥€°›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©š �Ð÷1@A:¾¦€°š �Ð÷#@(minustwo-—I€©œ  ¨B€�©œ  ­B€�©œ  ²B€�©œ  ·B€�©œ  ¼B€�©œ  ÁB€�©œ  ÆB€�©œ  ËB€�©œ  ÐB€�œ  ºA€©œ  ØB€�©œ  ÝB€�©œ  âB€�œ  ÌA€�@@ €@@@  0test_doit3times'� @’°@…Q�©›  €°›  �Ð÷� &Basics@@zšä@€©š c€° š �Ð÷„@$negb›²¬€œ  ‹A€œ  ŽB€�@@ €@@@  &filter� @‘ ž  �B@°�� �¶Å”‘°  ñ)œ En@Þõ=d@¶�$test¶@©§¶• AŸ�·Ò ··™ EÍi·›¥�° ˜· @¥· >„Í×·@³i ©‚°j¬©P°loº@�¶�â”¶�¶@Á› Ä€¶�¯©› �€�½©› “€�À�� ° (,\j(*()=(+> = 3&'3" :'Qçÿÿÿ''F'QÑÿÿÿ''+j7$'+j7$'+7Sj+ + SS'+7 S'7$'6'  �°ù»AÈ  �°”ÖAø  ‘‘Ä4  ‘‘Èl  ‘�‘F�  ‘‘Ñè  ‘‘Õ  ‘‘ï@€@@ �RÀ@°TA@A@@  ,test_filter1� @’°@R�©› š€°©:�› ÷€©š �Ð÷@{ ל€°š �Ð÷@%evenbea>€©œ  ÝB€°›  —@€©œ  œB€�œ  †A€©œ  íB€°›  §@€©œ  ¬B€�©œ  ±B€�œ  ›A€©œ  B€°›  ¼@€©œ  ÁB€�©œ  ÆB€�©œ  ËB€�œ  µA€©œ  B€°›  Ö@€©œ  ÛB€�©œ  àB€�©œ  åB€�©œ  êB€�œ  ÔA€©œ  ;A€�©œ  @B€°›  ú@€©œ  ÿB€�©œ  B€�œ  îA€©œ  UB€°›  @€©œ  B€�©œ  B€�©œ  B€�©œ  #B€�œ   A€©œ  tA€��@@ €@@@  +length_is_1� @‘ ·Þ”‘°  ó* G‡@ßñ\f@·ª¨©Û ©š �Ð÷�@ ¹ ²}£€+P@�¶�î”¶�¶©› –€�Л Ó€�� ° P+j()6 7!7%'  ‘¤A�“@`  ’p  ’ü|@€@@ �)À@°+AÀ@°-A Ê@AB@@  ,test_filter2� @’°@S�©› Œ€°©,�©+�›  y@€©š õ€°©4� ©š �Ð÷@U~ €�©œ  ÓB€°©›  ×@€�©œ  ÝB€°©œ  ™B€�œ  ƒA€©œ  êB€°›  ¤@€©œ  ©B€�©œ  ®B€�œ  ˜A€©œ  ÿA€�©œ  B€°©›  @€�›  Ã@€©œ  B€°©œ  ÍB€�©œ  ÒB€�©œ  ×B€�œ  ÁA€©œ  (A€�©œ  -B€°©›  1@€�›  ì@€©œ  :B€°©œ  öB€�©œ  ûB€�©œ  B€�©œ  B€�œ  ïA€©œ  VA€�$©œ  [B€°©›  _@€�›  @€©œ  hB€°©œ  $B€�©œ  )B€�©œ  .B€�©œ  3B€�©œ  8B€�œ  "A€©œ  ‰B€°›  C@€©œ  HB€�©œ  MB€�©œ  RB€�©œ  WB€�©œ  \B€�©œ  aB€�œ  KA€©œ  ²B€°›  l@€©œ  qB€�©œ  vB€�©œ  {B€�©œ  €B€�©œ  …B€�©œ  ŠB€�©œ  �B€�œ  yA€©œ  àA€�.©œ  åB€°©›  é@€�›  ¤@€©œ  òA€�©œ  ÷B€°©›  û@€�©œ  B€°©œ  ½B€�©œ  ÂB€�©œ  ÇB€�©œ  ÌB€�©œ  ÑB€�©œ  ÖB€�©œ  ÛB€�©œ  àB€�œ  ÊA€©œ  1A€�G©œ  6A€�©?<©œ  B€�©œ  CB€�©œ  HB€�©œ  MB€�©œ  RB€�©œ  WB€�©œ  \B€�©œ  aB€�©œ  fB€�©œ  kB€�©œ  pB€�©œ  uB€�©œ  zB€�©œ  B€�©œ  „B€�©œ  ‰B€�©œ  ŽB€�©œ  “B€�©œ  ˜B€�©œ  �B€�©œ  ¢B€�©œ  §B€�©œ  ¬B€�©œ  ±B€�©œ  ¶B€�©œ  »B€�©œ  ÀB€�©œ  ÅB€�©œ  ÊB€�©œ  ÏB€�©œ  ÔB€�©œ  ÙB€�©œ  ÞB€�©œ  ãB€�©œ  èB€�©œ  íB€�©œ  òB€�©œ  ÷B€�©œ  üB€�©œ  B€�©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�©œ  B€�©œ  $B€�©œ  )B€�©œ  .B€�©œ  3B€�©œ  8B€�©œ  =B€�©œ  BB€�©œ  GB€�©œ  LB€�©œ  QB€�©œ  VB€�©œ  [B€�©œ  `B€�©œ  eB€�©œ  jB€�©œ  oB€�©œ  tB€�©œ  yB€�©œ  ~B€�©œ  ƒB€�©œ  ˆB€�©œ  �B€�©œ  ’B€�©œ  —B€�©œ  œB€�©œ  ¡B€�©œ  ¦B€�©œ  «B€�©œ  °B€�©œ  µB€�©œ  ºB€�©œ  ¿B€�©œ  ÄB€�©œ  ÉB€�©œ  ÎB€�©œ  ÓB€�©œ  ØB€�©œ  ÝB€�©œ  âB€�©œ  çB€�©œ  ìB€�©œ  ñB€�©œ  öB€�©œ  ûB€�©œ  B€�©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�©œ  B€�©œ  #B€�©œ  (B€�©œ  -B€�©œ  2B€�©œ  7B€�©œ  A€©œ  ¥B€°©›  ©@€�*©œ  ¯B€°/©œ  kB€�œ  UA€©œ  ¼B€°›  v@€©œ  {B€�©œ  €B€�œ  jA€©œ  ÑA€�©œ  ÖB€°©›  Ú@€�›  •@€©œ  ãB€°©œ  ŸB€�©œ  ¤B€�©œ  ©B€�œ  “A€©œ  úA€�©œ  ÿB€°©›  @€�›  ¾@€©œ   B€°©œ  ÈB€�©œ  ÍB€�©œ  ÒB€�©œ  ×B€�œ  ÁA€©œ  (A€�$©œ  -B€°©›  1@€�›  ì@€©œ  :B€°©œ  öB€�©œ  ûB€�©œ  B€�©œ  B€�©œ   B€�œ  ôA€©œ  €°›  @€©œ  B€�©œ  B€�©œ  $B€�©œ  )B€�©œ  .B€�©œ  3B€�œ  A€©œ  „B€°›  >@€©œ  CB€�©œ  HB€�©œ  MB€�©œ  RB€�©œ  WB€�©œ  \B€�©œ  aB€�œ  KA€©œ  ²A€�.©œ  ·B€°©›  »@€�›  v@€©œ  ÄA€�©œ  ÉB€°©›  Í@€�©œ  ÓB€°©œ  �B€�©œ  ”B€�©œ  ™B€�©œ  žB€�©œ  £B€�©œ  ¨B€�©œ  ­B€�©œ  ²B€�œ  œA€©œ  A€�G©œ  A€�©?<©œ  B€°©›  @€�›  Í@€©œ  B€°©œ  ×B€�©œ  ÜB€�©œ  áB€�œ  ËA€©œ  2A€�©œ  7B€°©›  ;@€�›  ö@€©œ  DB€°©œ  B€�©œ  B€�©œ   B€�©œ  B€�œ  ùA€©œ  `A€�$©œ  eB€°©›  i@€�›  $@€©œ  rB€°©œ  .B€�©œ  3B€�©œ  8B€�©œ  =B€�©œ  BB€�©œ  GB€�©œ  LB€�©œ  QB€�œ  ;A€©œ  ¢A€�8©œ  §A€�©B?�@@ €@@@  /filter_even_gt7� @‘ ·×-©аð·{ñ©š �Ð÷í@$andbšbÕ€ ©š �Ð÷ô@%evenbea>€°©š �Ð÷ú@'blt_nat*?ìb€ ©��©��©‘�©“�‡  @�¶�ø©› Ø€�©› Ü€�› í€�� ° „+j + 77&'77! 7 7%'  ‘‘!h  ’ p  ‘¤A�¤A�¤A�¤A�¤A�¤A�¤A�“@L  ’:T  ’Cd  ’Mp@€@@ €@@@  6test_filter_even_gt7_1� @’°@[Y�©› 〰©:8©š �Ð÷c@lJ€�©œ  B€°›  Ø@€©œ  ÝB€�œ  ÇA€©œ  .B€°›  è@€©œ  íB€�©œ  òB€�œ  ÜA€©œ  CB€°›  ý@€©œ  B€�©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�œ  A€©œ  lB€°›  &@€©œ  +B€�©œ  0B€�©œ  5B€�©œ  :B€�©œ  ?B€�©œ  DB€�©œ  IB€�©œ  NB€�©œ  SB€�œ  =A€©œ  ¤B€°›  ^@€©œ  cB€�©œ  hB€�©œ  mB€�©œ  rB€�©œ  wB€�©œ  |B€�©œ  �B€�©œ  †B€�©œ  ‹B€�©œ  �B€�œ  zA€©œ  áB€°›  ›@€©œ   B€�©œ  ¥B€�©œ  ªB€�œ  ”A€©œ  ûB€°›  µ@€©œ  ºB€�©œ  ¿B€�©œ  ÄB€�©œ  ÉB€�©œ  ÎB€�©œ  ÓB€�©œ  ØB€�©œ  ÝB€�©œ  âB€�©œ  çB€�©œ  ìB€�©œ  ñB€�œ  ÛA€©œ  BB€°›  ü@€©œ  B€�©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�©œ  B€�©œ  $B€�œ  A€©œ  uA€�3©œ  zB€°›  4@€©œ  9B€�©œ  >B€�©œ  CB€�©œ  HB€�©œ  MB€�©œ  RB€�©œ  WB€�©œ  \B€�©œ  aB€�©œ  fB€�œ  PA€©œ  ·B€°›  q@€©œ  vB€�©œ  {B€�©œ  €B€�©œ  …B€�©œ  ŠB€�©œ  �B€�©œ  ”B€�©œ  ™B€�©œ  žB€�©œ  £B€�©œ  ¨B€�©œ  ­B€�œ  —A€©œ  þB€°›  ¸@€©œ  ½B€�©œ  ÂB€�©œ  ÇB€�©œ  ÌB€�©œ  ÑB€�©œ  ÖB€�©œ  ÛB€�©œ  àB€�œ  ÊA€©œ  1A€�3�@@ €@@@  6test_filter_even_gt7_2� @’°@!ˆZ�©› €°©ge©š -€�©œ  IB€°›  @€©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�œ  A€©œ  mB€°›  '@€©œ  ,B€�©œ  1B€�œ  A€©œ  ‚B€°›  <@€©œ  AB€�©œ  FB€�©œ  KB€�©œ  PB€�©œ  UB€�©œ  ZB€�œ  DA€©œ  «B€°›  e@€©œ  jB€�©œ  oB€�©œ  tB€�©œ  yB€�©œ  ~B€�©œ  ƒB€�©œ  ˆB€�©œ  �B€�©œ  ’B€�©œ  —B€�©œ  œB€�©œ  ¡B€�©œ  ¦B€�©œ  «B€�©œ  °B€�©œ  µB€�©œ  ºB€�©œ  ¿B€�©œ  ÄB€�œ  ®A€©œ   B€°›  Ï@€©œ  ÔB€�©œ  ÙB€�©œ  ÞB€�©œ  ãB€�©œ  èB€�©œ  íB€�©œ  òB€�©œ  ÷B€�©œ  üB€�©œ   B€�©œ   B€�©œ   B€�©œ   B€�©œ   B€�©œ   B€�©œ   B€�©œ   $B€�©œ   )B€�©œ   .B€�©œ   3B€�©œ   8B€�©œ   =B€�©œ   BB€�©œ   GB€�©œ   LB€�©œ   QB€�©œ   VB€�©œ   [B€�©œ   `B€�©œ   eB€�©œ   jB€�©œ   oB€�©œ   tB€�©œ   yB€�©œ   ~B€�©œ   ƒB€�©œ   ˆB€�©œ   �B€�©œ   ’B€�©œ   —B€�©œ   œB€�©œ   ¡B€�©œ   ¦B€�©œ   «B€�©œ   °B€�©œ   µB€�©œ   ºB€�©œ   ¿B€�©œ   ÄB€�©œ   ÉB€�©œ   ÎB€�©œ   ÓB€�©œ   ØB€�©œ   ÝB€�©œ   âB€�©œ   çB€�©œ   ìB€�©œ   ñB€�©œ   öB€�©œ   ûB€�©œ  !B€�©œ  !B€�©œ  ! B€�©œ  !B€�©œ  !B€�©œ  !B€�©œ  !B€�©œ  !#B€�©œ  !(B€�©œ  !-B€�©œ  !2B€�©œ  !7B€�©œ  !A€©œ  "¥A€��©œ  "ªA€�Î�@@ €@@@  )partition� @‘ ·$”‘°  ø+U L$½@âg©ë@·OM·#á�©«À"í"í©Üf©ݰ$î·#Ð$署 �Ð÷$ú@$negb›²¬€�!‘%@�¶�$+”¶�b¶@% › " €¶�#ø©› "Ø€�%©› € ©› "à€�% ©› "ä€�%�� ° Œ+j() + 7" 7":' 7$'  ’x  ’ P  ’-x@€@@ �<ÀÀ@°?A$Q@A°@A+À@°BA5À@°DA“@ABC@@  /test_partition1� @’°@%Q[�©› "Ù€°©0 ©.�› 8€©.�©š �Ð÷%`@g 'q'€° š �Ð÷"R@$oddb›ËÕ€©œ  # B€°›  "Ú@€©œ  "ßB€�œ  "ÉA€©œ  #0B€°›  "ê@€©œ  "ïB€�©œ  "ôB€�œ  "ÞA€©œ  #EB€°›  "ÿ@€©œ  #B€�©œ  # B€�©œ  #B€�œ  "øA€©œ  #_B€°›  #@€©œ  #B€�©œ  ##B€�©œ  #(B€�©œ  #-B€�œ  #A€©œ  #~B€°›  #8@€©œ  #=B€�©œ  #BB€�©œ  #GB€�©œ  #LB€�©œ  #QB€�œ  #;A€©œ  #¢A€�$©œ  éA€À©›  #«@€�›  #f@€©›  #³@€�›  #n@€©œ  #¼B€°©œ  #xB€�œ  #bA€©œ  #ÉB€°›  #ƒ@€©œ  #ˆB€�©œ  #�B€�©œ  #’B€�œ  #|A€©œ  #ãB€°›  #�@€©œ  #¢B€�©œ  #§B€�©œ  #¬B€�©œ  #±B€�©œ  #¶B€�œ  # A€©œ  $A€�$©œ  $ B€°X©œ  #ÈB€�©œ  #ÍB€�œ  #·A€©œ  $B€°›  #Ø@€©œ  #ÝB€�©œ  #âB€�©œ  #çB€�©œ  #ìB€�œ  #ÖA€©œ  $=A€��@@ €@@@  /test_partition2� @’°@&”\�©› $€°©s ©q�›  $ @€©r�©š D€° ·�%g œ  #˜B€©œ  $bB€°©œ  $B€�©œ  $#B€�©œ  $(B€�©œ  $-B€�©œ  $2B€�œ  $A€©œ  $ƒB€°›  $=@€©œ  $BB€�©œ  $GB€�©œ  $LB€�©œ  $QB€�©œ  $VB€�©œ  $[B€�©œ  $`B€�©œ  $eB€�©œ  $jB€�œ  $TA€©œ  $»B€°›  $u@€œ  $_A€©œ  $ÆA€� ©œ   A€À©›  $Ï@€��©›  $Ô@€�›  $�@€©œ  $ÝA€�Ž©œ  $âB€° ©œ  $žB€�©œ  $£B€�©œ  $¨B€�©œ  $­B€�©œ  $²B€�œ  $œA€©œ  %B€°›  $½@€©œ  $ÂB€�©œ  $ÇB€�©œ  $ÌB€�©œ  $ÑB€�©œ  $ÖB€�©œ  $ÛB€�©œ  $àB€�©œ  $åB€�©œ  $êB€�œ  $ÔA€©œ  %;B€°›  $õ@€œ  $ßA€©œ  %FA€� �@@ €@@@  #map� @‘ ž  �C@°�� �¶&¸”‘°  ú+Ó N'a@ãcÈí@¶ ”‘°  û, O'h@ãáØn@¶'a¶@'•'•¶&�%—%—�·&Ê·¬ ·'g·&’%œÍ&b·&”&z&z'© %‘· 9'`· 7&i©&x°'`$©&ZÀ'G'b'e'°@�¶�&Ø”!¶�¼”¶�'y¶@'®'®¶�&¦©› %†€�'³©› %Š€�'·�� ° Ô,>j(*()=> 3  :'F'Qáÿÿÿ''+j7$'+7Sj+7S'+ +SS'+7 S'7$''  �°&‡&ÉA¸  ‘‘&·ô  ‘�‘B  ‘�‘@8  ‘‘&Ř  ‘‘&É´@€@@  OHÀ@°QA'À@°LA' @AB@@  )test_map1� @’°@(]�©› %Œ€°©5�›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©š �Ð÷(@…<í­…€À·�&ߩ𠝀 ©œ  %’B€�©œ  %—B€�©œ  %œB€�œ  %†A€("©œ  %íB€°›  %§@€©œ  %¬B€�©œ  %±B€�œ  %›A€©œ  &B€°›  %¼@€œ  %¦A€©œ  & B€°›  %Ç@€©œ  %ÌB€�©œ  %ÑB€�œ  %»A€©œ  &"A€�©œ  &'B€°›  %á@€©œ  %æB€�©œ  %ëB€�©œ  %ðB€�©œ  %õB€�©œ  %úB€�œ  %äA€©œ  &KB€°›  &@€©œ  & B€�©œ  &B€�©œ  &B€�œ  %þA€©œ  &eB€°›  &@€©œ  &$B€�©œ  &)B€�©œ  &.B€�©œ  &3B€�©œ  &8B€�œ  &"A€©œ  &‰A€�$�@@ €@@@  )test_map2� @’°@(à^�©› &h€°©�› ]€©š Ñ€À“𠉀©œ  &¦B€°›  &`@€©œ  &eB€�©œ  &jB€�œ  &TA€©œ  &»B€°›  &u@€©œ  &zB€�œ  &dA€©œ  &ËB€°›  &…@€©œ  &ŠB€�©œ  &�B€�œ  &yA€©œ  &àB€°›  &š@€©œ  &ŸB€�©œ  &¤B€�©œ  &©B€�©œ  &®B€�©œ  &³B€�œ  &�A€©œ  'A€�$©œ  ' B€°›  &F@€œ  &JB€©œ  'B€°›  &Q@€œ  &UA€©œ  'B€°›  &\@€œ  &`B€©œ  '*B€°›  &g@€œ  &kA€©œ  '5A€� �@@ €@@@  )test_map3� @’°@)Œ_�©› '€°©½�©›  'I@€�› €©š ‚€À… ·�&‡©œ  'WB€° ©š …€�)•©œ  '`B€°Ç©š K€�)ž©œ  'iA€�Щœ  'nB€°›  '(@€©œ  '-B€�©œ  '2B€�œ  'A€©œ  'ƒB€°›  '=@€©œ  'BB€�œ  ',A€©œ  '“B€°›  'M@€©œ  'RB€�©œ  'WB€�œ  'AA€©œ  '¨B€°›  'b@€©œ  'gB€�©œ  'lB€�©œ  'qB€�©œ  'vB€�©œ  '{B€�œ  'eA€©œ  'ÌA€�$©œ  'ÑB€°©›  'Õ@€�›  '@€©œ  'ÞB€°œ  'A€©œ  'æB€°›  '#@€œ  ''B€©œ  'ñA€� ©œ  'öB€°©›  'ú@€�›  '8@€©œ  (B€°œ  'AB€©œ  ( B€°›  'H@€œ  'LA€©œ  (A€� ©œ  (B€°©›  (@€�›  ']@€©œ  ((B€°œ  'fA€©œ  (0B€°›  'm@€œ  'qB€©œ  (;A€� ©œ  (@B€°©›  (D@€�›  '‚@€©œ  (MB€°œ  '‹B€©œ  (UB€°›  '’@€œ  '–A€©œ  (`A€� ©œ  (eA€�©%"�@@ €@@@  'map_app� @’°@*½`�¶�)Ñ”‘°  ý,� Q*{@äÝ÷p@¶�º”‘°  þ,Ï R*ƒ@å\ñ@¶�*|¶@*±*±¶�#Z©› (‰€�*¶¶�#]©› (�€�*~©› (d€°© �*„©š Ë€À*…*ˆ*Æ©š  ÿ€°*‰*Ë*שš !€°*�©š ×€À*‘*”*Ò*Ó©š Û€À*•*˜*Ö*ã�@@  6.ÀÀÀ@°:A* @A°;A#ŠÀ@°=AW@AB°6A#�À@°8ASÀ@°:A! À@° 3  7& 'F'QÞÿÿÿ''+j7$'+7Sj+7S'+ +SS'+7 S'7$'7$'  ’#´˜  �°*E*‡AÄ  ‘‘*u  ‘�‘D$  ‘�‘BD  ‘‘*ƒ¤  ‘‘*‡À  ‘‘*‹Ü@€@@  UNÀ@°WA*ÉÀ@°RA*ËÀ@°TA$L@ABC@@  .test_flat_map1� @’°@+Èb�©› )P€°ú©š �Ð÷+ˆ@~5{9ÿ€À)Á)Á·(L)©*Œ°)Ä+©*ް)Æ+Ä©*�°)È+Æ&@©*’°)Ê&R©*”°)Ì é*–°)Î Ã&F©*˜°)Ð&X©*š°)Ò&Z©*œ°)Ô&\©*ž°)Ö Í©* °)Ø Ï©*¢°)Ú Ñ©*¤°)Ü Ñ©*¦°)Þ Ó�@@ €@@@  *option_map� @‘ ·+ ”‘°  .ˆ Y+µ@èÎsx@· ô”‘°  .Ç Z+¼@éL‚ù@·+µT·�"xo&ͼ·¿¿+ù ·*Ï+°©Í +²(‹È@�¶�+%”¶�! ”¶�+ƶ@+û+û¶�©› €�,©› €�,�� ° À+j()=F'> 9'Qíÿÿÿ''+j7$'  �°ÞAp  ‘‘ý¬@€@@  6/À@°8A1À@°3A3@AB@@  $fold� @‘ ž  �C@°�� �¶+Z”‘°  /E \,@êH¡û@¶!B”‘°   /„ ], @êÆ±|@¶,¶@,7,8¶+/*9¶,,8+ú�·+m·!O ·, ·+5*?·,,>Í+·+8+ +ÿ,A ,N·$Ý,·$Û+©, ,F©ÌÐ*ÿ+ë,,T,G@�¶�+|”#¶�!`”¶�,¶@,R¶@,S,R¶�+K©› *+€�,X¶�,7,Z,�� ° ø,;j(*()=>     3 % ''Qàÿÿÿ''+j'+7Sj+7S'+ +SS'+7 S'+S''+S''  �°+*+lA¼  ‘�‘?   ‘�‘=,  ‘‘+dŒ@€@@  HAÀ@°JA+¢@A@@  -fold_example1� @’°@,�c�©› *%€°› €©š �Ð÷,¦@o<ø]þ€Ð𠀩œ  *cB€°›  *@€©œ  *"B€�œ  * A€©œ  *sB€°›  *-@€©œ  *2B€�©œ  *7B€�œ  *!A€©œ  *ˆB€°›  *B@€©œ  *GB€�©œ  *LB€�©œ  *QB€�œ  *;A€©œ  *¢B€°›  *\@€©œ  *aB€�©œ  *fB€�©œ  *kB€�©œ  *pB€�œ  *ZA€©œ  *ÁA€�©œ  *}B€�œ  *gA€©œ  *…B€�©œ  *ŠB€�©œ  *�B€�©œ  *”B€�©œ  *™B€�©œ  *žB€�©œ  *£B€�©œ  *¨B€�©œ  *­B€�©œ  *²B€�©œ  *·B€�©œ  *¼B€�©œ  *ÁB€�©œ  *ÆB€�©œ  *ËB€�©œ  *ÐB€�©œ  *ÕB€�©œ  *ÚB€�©œ  *ßB€�©œ  *äB€�©œ  *éB€�©œ  *îB€�©œ  *óB€�©œ  *øB€�œ  *âA€�@@ €@@@  -fold_example2� @’°@-›d�©› +#€°› €©š þ€Ð› €š �Ð÷*–@$andbšbÕ€©œ  +dB€°›  *¡@€œ  *¥A€©œ  +oB€°›  *¬@€œ  *°A€©œ  +zB€°›  *·@€œ  *»B€©œ  +…B€°›  *Â@€œ  *ÆA€©œ  +�A€� œ  *ÎA€œ  *ÑB€�@@ €@@@  -fold_example3� @’°@-íe�©› +u€°©&W�›  +`@€©š S€Ð©&f� ©&b� ©š $€�©œ  +ºB€°©›  +¾@€�©œ  +ÄB€°©œ  +€B€�œ  +jA€©œ  +ÑA€�+©œ  +ÖB€°©›  +Ú@€�›  +•@€©œ  +ãA€�©œ  +èB€°©›  +ì@€�©œ  +òB€°©œ  +®B€�©œ  +³B€�œ  +�A€©œ  ,B€°›  +¾@€©œ  +ÃB€�©œ  +ÈB€�©œ  +ÍB€�œ  +·A€©œ  ,A€�©œ  ,#B€°©›  ,'@€�›  +â@€©œ  ,0B€°©œ  +ìB€�©œ  +ñB€�©œ  +öB€�©œ  +ûB€�œ  +åA€©œ  ,LA€�$©œ  ,QA€�©.+©œ  ,WA€�±©œ  ,\B€°›  ,@€©œ  ,B€�œ  ,A€©œ  ,lB€°›  ,&@€©œ  ,+B€�©œ  ,0B€�œ  ,A€©œ  ,�B€°›  ,;@€©œ  ,@B€�©œ  ,EB€�©œ  ,JB€�œ  ,4A€©œ  ,›B€°›  ,U@€©œ  ,ZB€�©œ  ,_B€�©œ  ,dB€�©œ  ,iB€�œ  ,SA€©œ  ,ºA€��@@ €@@@  .fold_contains0� @‘ ·-é!?©š �Ð÷.Í@Ý<ø]þ€Ð-/·-Ù-·.×/©š �Ð÷/@#orb�>]€ © ) /)”//!A@�¶�-ü©› ,Ü€�-› ,€�� ° �+jG + 777#'()K 7!7%'  ‘‘/l  ‘‘-%t  ’'|  ’ Dp  ’%|@€@@ €@@@  (constfun� @‘ ·.]”‘°   0€ a/@ì¾ï€@·./>·�!k-C/5@�¶�.i” ¶�./G¶@› -€/=�� ° (+j()'@€@@ �@@@  %ftrue� @‘ ©š �Ð÷/'@,ùö€ /\œ  /]A€@�¶@›  ,f@€�� °B€�©œ  0CB€�©œ  0HB€�©œ  0MB€�©œ  0RB€�©œ  0WB€�©œ  0\B€�œ  0FA€�@@ €@@@  )Exercises’ð¢2ûA�  +fold_length� @‘ ·2”‘°  0¿ b2Â@í<ÿ@·1å1ã©üÐ2ð0þ·@2ñ·/Š1©-ˆ2³2ÿ-„@�¶�2'”¶�1ï©› 0Ï€�3 › 0à€�� ° |+j()F + 77#'()9'  ‘‘1x  ’D@€@@ �"À@°$A2;À@°&Aå@AB@@  1test_fold_length1� @’°@38k�©› 0À€° ©š �Ð÷E@AÊõ³€ ›  0¯@€©œ  0ýB€°©œ  0¹B€�©œ  0¾B€�©œ  0ÃB€�©œ  0ÈB€�œ  0²A€©œ  1B€°›  0Ó@€©œ  0ØB€�©œ  0ÝB€�©œ  0âB€�©œ  0çB€�©œ  0ìB€�©œ  0ñB€�©œ  0öB€�œ  0àA€©œ  1GB€°›  1@€œ  0ëA€©œ  1RA€� ©œ  1B€�©œ  1B€�©œ  1B€�œ  1A€�@@ €@@@  3fold_length_correct� @’°@3»l�¶�2Ï”‘°  1= d3y@î9@¶�2œ©› 1|€�3¶©› 1Q€°±©š ‘€ 3²3¾©š *¼€ 3¶3Â�@@ �À@°A2çÀ@°A+ªÀ@°AÔ@ABC@@  (fold_map� @‘ ·2ù”‘°  1| e3¢@î·-„@·(ᔑ°  1» f3©@ï5=@·3¢ A·2Í1שäÐ3™1Ù·2¹3š·'…2·©2²°3š0M3è3è1Ï@�¶�3”¶�(ô”¶�3±¶@3æ3æ¶�2Þ©› 1¾€�3ë©› 1€�3ï�� ° �+j()F+7 7# '()  :'  ‘‘2ë|  ’L@€@@  3,ÀÀ@°6A3-@A°7AÖÀ@°2A30À@°4AÓ@ABC@@  ,fold_map_ex1� @’°@4-m�©› 1µ€°&_©š �Ð÷¢�3î?@X|ù€À2(2(š �Ð÷3ô@Z=×¾ú€©2ö°2.#©2ø°20.®©2ú°22-f©2ü°24/©2þ°26-©3°28©.À�©.Â�©.Ä�9©3°2@;.¸�@@ €@@@  0fold_map_correct� @’°@4[n�¶�3o”‘°  1ú g4@ï³L†@¶�)X”‘°  29 h4!@ð1\@¶�4¶@4O4O¶�3G©› 2'€�4T©› 1ü€°©m�4Z©š �Ð÷ƒ@Ÿ|ù€À4"4`4a4m©š  i€À4&4d4e4q�@@  &ÀÀÀ@°*A3˜@A°+A ãÀ@°-A¤@AB°&A ßÀ@°(A À@°*A*˜À@°,A*“@ABCD@@  *prod_curry� @‘ ·3°”‘°  2x i4Y@ð¯kˆ@·)˜”‘°  2· j4`@ñ-{ @·�!Z”‘°  2ö k4i@ñ«ŠŠ@·4b¶@(»4–·3w4X·3T4Y©4˜�©)[À4?4Z4œ4¨@�¶�3Д!¶�)´”¶�”¶�4t¶@©› (Á€ 4¬4­4­¶�3Ž4p¶�3l4r4r�� ° @+j():$'@€@@ °6/&À@°8A)¿À@°3A)É@AB@@  ,prod_uncurry� @‘ ·3ö”‘°  35 l4Ÿ@ò)š @·)Þ”‘°  3t m4¦@ò§©Œ@·F”‘°  3³ n4­@ó%¹ @·4¦¶@4Ù¶@4Ú4Ú·)°)—©4Ý ©'É"2©'À"3@�¶�4”¶�)ø”¶�\”¶�4¸¶@4ì¶@4í4í¶�)é› )€ 4µ4ó4ó�� ° `+j() 7" 7"%'  ’'Úl  ’'çD@€@@ °92+ÀÀ@°A(ý@ABCD@@   T� @’°@53o�©› 2»€°© d� /©š  "€À 3 3·�3ÿ 5©š *Ï€ ©œ  2²B€�©œ  2·B€�©œ  2¼B€�œ  2¦A€5B©œ  3 B€°›  2Ç@€©œ  2ÌB€�©œ  2ÑB€�œ  2»A€©œ  3"B€°›  2Ü@€œ  2ÆA€©œ  3-B€°›  2ç@€©œ  2ìB€�©œ  2ñB€�œ  2ÛA€©œ  3BA€�©œ  3GB€°›  3@€©œ  3B€�©œ  3 B€�©œ  3B€�©œ  3B€�©œ  3B€�œ  3A€©œ  3kB€°›  3%@€©œ  3*B€�©œ  3/B€�©œ  34B€�œ  3A€©œ  3…B€°›  3?@€©œ  3DB€�©œ  3IB€�©œ  3NB€�©œ  3SB€�©œ  3XB€�œ  3BA€©œ  3©A€�$�@@ €@@@  -uncurry_curry� @’°@6p�¶�5”‘°  3ò o5¾@ó£ÈŽ@¶�*ý”‘°  41 p5Æ@ô!Ø@¶�f”‘°  4p q5Î@ôŸç�@¶�5Ƕ@5û¶@5ü5ü¶�4Þ5À¶�4¼5©› 3¨€°5Æ©š �Ð÷-@’ ½\î€à5®5É5Ì©š �Ð÷3@R'tPE€À5´5Ï5Ò666©6 66�@@ °/'ÀÀÀ@°3A˜@A°4ASÀ@°.A”@AB°/AOÀ@°)AŽÀ@°+ALÀ@°-A,H@ABCD@@  -curry_uncurry� @’°@6Kq�¶�5_”‘°   5- t6 @ö@¶�+H”‘°  !5l u6@ö˜%”@¶�±”‘°  "5« v6@÷5@¶�6¶@©› *_€ 6J6K6K¶�+ ©› *e€ 66P©› 3ø€°6T©š J€Ð666X©š T€À666\6]6i©6^�6k�@@ °0( ÀÀÀ@°4A+k@A°5AåÀ@°7A¡@AB°0A+wÀÀ@°3Aä@A°4AŸÀ@°.AÞÀ@°0AœÀ@°2A,˜@ABCDE@@  &Church’ð¢�A�  4� @‘ ¶5´”‘°  #5ê w6]@÷”D–@¶@$©6Š@�”‘° A÷•DÕ@�� ° ˆ+7Sj+ + SS'+S'''  ‘�‘P@€@@ �@@@  #one� @‘ ·5Ô”‘°  $6) x6}@øT@·6v$É·5Š6ª5È@�š �Ð÷6@4± #J€�� ° 4+j() $'@€@@ �À@°2B@A@@  #two� @‘ ·5ò”‘°  %6h y6›@ø�c˜@·6”$ç·5¨6È$ä@�š €�� ° <+j() $'@€@@ �À@°NB@A@@  $zero� @‘ ·6”‘°  &6§ z6·@ùs@·6°%·5Ä6ä6ð@�š :€�� ° (+j()'@€@@ �À@°jB@A@@  %three� @‘ š �Ð÷6Ñ@%(:¾¦€@�š Q€�‘ �@@ €À@°%(B@A@@  $succ� @‘ ·3¥š �Ð÷¢¢�6é:ž@5 #J€·6G”‘°  '6æ {6ð@ùŒ‚š@·6é%<·5ý7©6ß°776=@�¶�3¹š w€š y€�� ° D+j() &'@€@@ �À@°©B@A@@  &succ_1� @’°@7Vr�©› 4Þ€°.©š �Ð÷/@9¬6o€�š �Ð÷4@o¬Ü•€š �Ð÷8@­ %›€�@@ €À@°Ç@-q@A@@  &succ_2� @’°@7ts�©› 4ü€°L©�š �Ð÷N@¥ -]€�@@ €@@@  &succ_3� @’°@7ˆt�©› 5€°`©2�š �Ð÷b@�‘·W€�@@ €@@@  $plus� @‘ ·4p·40q·6±”‘°  (7% |7Z@ú ’@·7S%¦·6g7‡©7F°7ˆ7‰©7K,@�¶�4$š ‶�4Bš 怚 è€�� ° L+j()" &'@€@@ �À@°B@A@@  &plus_1� @’°@7Åu�©› 5M€°�©š �Ð÷ž@8«ÚÀ okk�@@ €@@@  &plus_2� @’°@7Ùv�©› 5a€°±© eQ© Sg�@@ €@@@  &plus_3� @’°@7ëw�©› 5s€°é& ©( yye©* ‘©, ii�@@ €@@@  $mult� @‘ ·4zÕ·4•Ö©š �Ð÷7í@%admit[•¯€�Ý@�¶�4„š B€¶�4¢š F€š H€�� ° <+j()67$'  ’î`  ’h@€@@ €À@°}@ ÂGÏ A %•@@A@@  &mult_1� @�@�©›  �Ð÷� %Logic6@"eqÐ @€° ©š �Ð÷ @A«–i€ ÙÙÙ�@@ €@@@  &mult_2� @�@�©°© êUê�@@ €@@@  &mult_3� @�@�©'°)©xa�@@ €@@@  #exp� @‘ _@�¶�4Úš ˜€¶�4øš œ€š ž€�� ° <+j()67$'  ’D`  ’ph@€@@ €@@@  %exp_1� @�@�©Q°S©š �Ð÷T@* J€’“�@@ €@@@  %exp_2� @�@�©a°c©°©Ç ©[ ©]£1�@@ €@@@  %exp_3� @�@�©r°t©! B>�@@ €@@@@@ ÐÐ@#5êÀ@@A@A$6)À@ä@AÐÐ@%6hÀ@É@A@A&6§À@®@AÐ@'6æÀ@w@AÐ@(7%À@@A@ABCDÀÀÀÀ@”@AJ@B’À@à@ACÄÀ@©À@kÀ@ý@ABCD3Â@@@ ÐÐÐÐ@0¿À@µ@AÐ@1=À@@A@AB1|À@Ø@AÐ@1»À@Ó@AÐ@1úÀ@e@A@ABC29À@^@AÐÐ@2xÀ@)@A@A2·À@#@AÐÐ@2öÀ@@A@A35À@è@A@BCD3tÀ@â@AÐÐÐ@3³À@ß@AÐ@3òÀ@Ð@A@AB41À@É@AÐÐ@4pÀ@Ä@AÐ@ 5-À@‹@A@AB!5lÀ@„@AÐ@"5«À@~@AÐ@#5ê9@ABCD$6)8ÐÐ@%6h7@A&6§6ÐÐ@'6æ6@A(7%4@BCEFÀÀÀÀÀÀ@É@A@B½À@¼@ACÀÀ@@AÀ@Ï@ABDÎÀÀ@ÎÀ@ÍÀ@h@ABCgfDEdÀÀÀÀÀ@g@Ae@Bc@CÀ@À@×@ABDÖÀÀÀÀØÖ@BÔÀÀ@ÔÀ@È@ABÇÆCDÄÀÀÀ@Å@AÃ@BÁÀÀ@�@A€BCE}ÀÀ}{ÀÀÀ@|@Az@BxÀÀ@é@A6@BCDVEFGH4@@@ ÐÐÐÐÐÐ@®À@8Å@A@A¯^À@8"@AÐÐ@±ÜÀ@7ä@A@A²À@7@AÐ@µØ4'@ABC¶4&ÐÐÐ@¸•4'@A¼‘À@4@AÐ@ÁÌÀ@3Ð@A@ABÅÈÀ@2í@AÐÐ@ÇFÀ@2³@A@AÉÄÀ@2~@AÐ@Ê À@1³@A@ABCDÌ �À@1P@AÐÐÐÐ@Î ÿÀ@0û@A@AÐ!}À@/U@AÐ@Ò!ûÀ@/@A@ABÓ":À@.Û@AÐÐ@Õ"¸À@.—@A@AÖ"÷À@.S@A@BC×#6À@.@AÐÐ@Ø#uÀ@.'@AÐ@Ú#óÀ@-ä@A@ABÛ$2À@-N@AÐÐ@Ü$qÀ@-J@A@AÞ$ïÀ@-@AÐ@ß%.À@-@A@ABCDEá%¬À@,Ü@AÐÐÐ@â%ëÀ@,Ù@A@Aä&iÀ@,<@AÐ@å&¨À@,7@A@ABé'¤À@+G@AÐÐ@ë("À@+@A@Aì(aÀ@*o@AÐÐ@î(ßÀ@([@A@Að)]À@'W@AÐ@ñ)œÀ@&Ÿ@A@ABCDFó*À@%‡@AÐÐÐÐÐ@ø+UÀ@W@AÐ@ú+ÓÀ@µ@A@ABû,À@¯@AÐÐ@ý,�À@Ÿ@A@Aþ,ÏÀ@˜@AÐ@ÿ-À@P@A@ABC-MÀ@I@AÐÐÐ@-ŒÀ@@A@A-ËÀ@ ÿ@AÐÐ@.ˆÀ@ q@A@A.ÇÀ@ k@AÐ@/EÀ@ &@A@ABC /„À@ @AÐ@ 0€À@ &@AÐ@0¿·Ð@1=¶@ABCDE1|µÐÐÐ@1»¶@A1ú´@B29³ÐÐ@2x²@A2·±Ð@2ö¯Ð@35¯@ABCDF3t®ÐÐÐÐ@3³®@A3ò¬@B41«ÐÐÐ@4p«@A 5-©@B!5l¨ÐÐ@"5«¨@A#5êß@BCD$6)ÞÐÐ@%6hÝ@A&6§ÜÐ@'6æÛÐ@(7%Ú@ABCEGHÀÀÀÀÀÀÀ@pÀ@'À@7$@ABC4XÀÀ@4@A32@BD1ÒÀÀÀ@1}@A1{@B1.À@/¢@ACE/¡ÀÀÀ@/¢@A/›À@/[@AB/ZÀÀÀ@/[@A/YÀ@/@AB/À@/À@.Ù@ABCDF.ØÀÀ.Ø.ÖÀÀ@.Ö@A.ÔÀ@.«@ABC.ªÀÀ@.ª@A.¨ÀÀÀ@-”@A-’@B-]À@-\À@,½@ABCDEG,¼ÀÀÀÀ@,¾À@,½À@+þ@ABC+ý+üD+úÀÀ+ú+øÀÀ@+ø@A+ö@BC*hÀÀÀ@*i@A(œ@B(šÀÀ@&µ@A%ÅÀ@%ÄÀ@}@ABCDEF|ÀÀÀÀÀ@@A}@BÌÀÀ@ÌÀ@Ì@ABËÊCDÈÀÀÀÀ@Ê@AÈ@BÆÀÀ@Š@A‰ˆBC†À…ƒÀÀ@ƒ@A�À@@ABCDEÀÀÀÀ@@A ¢ÀÀ@ ¢À@ E@AB¬À@«@ACDïEºìFGHILèJ4ã@4 'M�0”±ÐD,Áq9‹UU+ÈÖ'ä  )Datatypes $Init #Coq@�0·f:|aÔ¬)ØÎÁ€Ü‘«Â  )Induction@�0ÿWÛ jƒî. %R_µ  %Lists@�0–>Ç/«¼Ë¡�»%¥ÔÈ 7s�0O{øyÊ�jäbſŠ *Logic_Type $Init #Coq@�0$ÄISÜ'ÓÊG6Ȳæÿ  #Nat "g "f@�0ù±dbGôntO ZTk  )Notations $Init #Coq@�0XMtÔ±4– ­ ß±»9-  %Peano $Init #Coq@�0Øo¥œ gÓFFø€~³ä  'Prelude $Init #Coq@�0A‘Ðä+ïA¤Áìu·b;�  &Specif $Init #Coq@�0؇ñ)+)œ²Þ¬/›Þ*K  'Tactics $Init #Coq@�0Ÿ5ØŒI`VÓÛ ñˆ  "Wf $Init #Coq@�0¢��“²èýê–ÁdV–<§ AA€   :8 N$ý @ð@B@ Ð:=9@ :4 :4@@@@ €@@  #_18 À¢¸ ¡�9Âà@A@@@@  ’ @  @@@  “ A  “  B @  #_19 '` oÀ@’ @@@  #_20 '` oÀ@“  @A@@  #_21 '` oÀ@“  '@B @ @@ ��’:b ��’ 2@@  :G 2 Q�à @‘À@@ 9ÂA@@‘G@@@  #_22 À¢¸  �Ð÷:�@:V1bB  ‘@@  #_23 2Mì ‘ ÁDD@A  #_24 '` oÀ@‘ @ @ @ @@ @ @ @ ��’:!@  #_25 ? 3V /_rect_from_type� :)%  : 2 Q�à4@0@@@  #_26 À¢¸  �Ð÷:¼@: ã™q  ‘o@  #_27 2Mì ‘ ÁDD@A  #_28 '` oÀ@‘ @ @ @ @@ @ @ @ ��’:P@  #_29 ? 3V ._ind_from_type� :X%  : 2 Q�àc@_@@@  #_30 À¢¸  �Ð÷:ë@:ã+ž   ‘ž@  #_31 2Mì ‘ ÁDD@A  #_32 '` oÀ@‘ @ @ @ @@ @ @ @ ��’:@  #_33 ? 3V ._rec_from_type� :‡%  :, N$ý @ð@B@ Ð:1:S@ : :@@@@Ô@  #_34 À¢¸ ¡�9¬Ó  ’ @Ò  “ AÖ  “  BÚ@  #_35 '` oÀ@’ @ �*type_scope@ �@@  #_36 '` oÀ@“  !@A � @ �@@  #_37 '` oÀ@“  -@B � @ @@ �@ @ ��’ 9@@  :: 2 Q�àÚ@Ö@@@  #_38 À¢¸  �Ð÷;b@:D;éö²  ‘@  #_39 2Mì ‘ ÁEE@A  #_40 '` oÀ@‘ �A @ @ @ @@ �@ @ @ @ ��’:@  #_41 ? 3V Ù� :(  9ë 2 Q�à @@@@  #_42 À¢¸  �Ð÷;”@9õ/fóI  ‘G@  #_43 2Mì ‘ ÁEE@A  #_44 '` oÀ@‘ �s @ @ @ @@ �@ @ @ @ ��’:C@  #_45 ? 3V Ü� :J(  9î 2 Q�à>@:@@@  #_46 À¢¸  �Ð÷;Æ@9ø/f%ø{  ‘y@  #_47 2Mì ‘ ÁEE@A  #_48 '` oÀ@‘ �¥ @ @ @ @@ �@ @ @ @ ��’:u@  #_49 ? 3V ß� :|(  9÷ 2 Q�àp@‘E@@@  #_50 À¢¸  �9k­  ‘«@  #_51 2Mì ‘ ÁCC@A  #_52 '` oÀ@‘ �× @ �)nat_scope@ �@ @ ��’9Ù@  9§ 2 Q�à™@‘D@@@  #_53 À¢¸  �Ð÷<"@9²#MBfà@A@@@@  ‘Ö@  #_54 2Mì ‘ ��  #_55 '` oÀ@‘@@  94 2 Q�à¸@‘D@@@  #_56 À¢¸  �Ð÷@9% kP‘à@A@@@@  ‘Ñ@  #_95 2Mì ‘ ÁCC@A  #_96 '` oÀ@‘ �ý @ �&@ �@ @ ��’;�@  9 2 Q�à¾@‘E@@@  #_97 À¢¸  �Ð÷>G@9 #LÀ*  ‘ú@  #_98 2Mì ‘ ÁCC@A  #_99 '` oÀ@‘ �& @ �O@ �@ @ ��’;¶@  8å 2 Q�àç@‘@@@@  $_100 À¢¸  �Ð÷>p@8ð<6„US  ‘#@  $_101 2Mì ‘ @  $_102 '` oÀ@‘@@  8¿ 2 Q�à@‘@@@@  $_103 À¢¸  �Ð÷>Œ@8Ê/`÷Lo  ‘?@  $_104 2Mì ‘ @  $_105 '` oÀ@‘@@  $_106 À¢¸ ²“ Þ@8í;‡¡Á  ‘‘@  $_110 2Mì ‘ @  $_111 '` oÀ@‘@@  8Ï 2 Q�àq@‘E@@@  $_112 À¢¸  �Ð÷>ú@8Úû€=Ý  ‘­@  $_113 2Mì ‘ ÁCC@A  $_114 '` oÀ@‘ �Ù @ �@ �@ @ ��’<Ú@  $_115 À¢¸ ²‘%�C    @ �°>9@ AA @ @@@@  8Æ N$ý @ð@B@ Ð8Ë>m@ 8¹ 8¹@@@@î@  $_116 À¢¸ ¡�8]  ’ @ì  “ Að  “  Bô@  $_117 '` oÀ@’ @ �@ �@@  $_118 '` oÀ@“   @A �&@ �@@  $_119 '` oÀ@“  ,@B �2 @ @@ �@ @ ��’ 8@@  $_120 À¢¸ ²’ 8�@Z�A    @ �°>“@ AA@@@  $_121 À¢¸ ²“ Ak�A    @ �°>¤@ AA@@@  $_122 À¢¸ ²“ #B|�C    @ �°>µ@ AA @ @@@@  9 2 Q�à(@$@@@  $_123 À¢¸  �Ð÷?°@9!J;s“  ‘c@  $_124 2Mì ‘ ÁEE@A  $_125 '` oÀ@‘ �� @ @ @ @@ �@ @ @ @ ��’8ö@  $_126 ? 3V '� 8ý(  8Ï 2 Q�àZ@V@@@  $_127 À¢¸  �Ð÷?â@8Ù;x¤NÅ  ‘•@  $_128 2Mì ‘ ÁEE@A  $_129 '` oÀ@‘ �Á @ @ @ @@ �@ @ @ @ ��’9(@  $_130 ? 3V *� 9/(  8Ó 2 Q�àŒ@ˆ@@@  $_131 À¢¸  �Ð÷@@8Ý;x°S÷  ‘Ç@  $_132 2Mì ‘ ÁEE@A  $_133 '` oÀ@‘ �ó @ @ @ @@ �@ @ @ @ ��’9Z@  $_134 ? 3V -� 9a(  8Ü 2 Q�à¾@‘E@@@  $_135 À¢¸  �6])  ‘ù@  $_136 2Mì ‘ ÁBB@A  $_137 '` oÀ@‘ �% @ @@ �@ ��’> ��’>@  $_138 À¢¸ ²‘&N�C    @ �°?‡@ AA @ @@@@  8´ 2 Q�àú@‘E@@@  $_139 À¢¸  �8e  ‘5@  $_140 2Mì ‘ ÁBB@A  $_141 '` oÀ@‘ �a @@ �@ ��’>Q@  $_142 À¢¸ ²‘!…�B    @ �°?¾@ AA @@@@  8� 2 Q�à0@‘E@@@  $_143 À¢¸  �7¡›  ‘k@  $_144 2Mì ‘ ÁBB@A  $_145 '` oÀ@‘ �— @@ �@ ��’>‡@  $_146 À¢¸ ²‘!»�B    @ �°?ô@ AA @@@@  8y 2 Q�àf@‘D@@@  $_147 À¢¸  �Ð÷@ï@8„ 16ôà@A@@@@  ‘£@  $_148 2Mì ‘ ��  $_149 '` oÀ@‘@@  8. 2 Q�à…@‘D@@@  $_150 À¢¸  �Ð÷A@89 16õà@A@@@@  ‘Â@  $_151 2Mì ‘ ��  $_152 '` oÀ@‘@@  8 2 Q�à¤@‘D@@@  $_153 À¢¸  �Ð÷A-@8$viëà@A@@@@  ‘á@  $_154 2Mì ‘ ��  $_155 '` oÀ@‘@@  7Π2 Q�àÃ@‘@@@@  $_156 À¢¸  �Ð÷AL@7Ù=Ó²à@A@@@@  ‘@  $_157 2Mì ‘ @  $_158 '` oÀ@‘@@  7× 2 Q�àà@‘@@@@  $_159 À¢¸  �Ð÷Ai@7â 3  ‘@  $_160 2Mì ‘ @  $_161 '` oÀ@‘@@  $_162 ü @ Ð |  |@  |A@&_ :: _Ð|�A  ¡‘ �| @�A�@R ��":: ¡‘ �| A �@9@@ @ @@ ¤‘@  A@ • A@ “#::   BA@@@@  $_163 %cö?Ð@@   @t  @@@  @T  @@@@¢� ³°  A�@ÓA@@ ‘@ƒ ‘@a@@ &_ :: _  AÊ@&x :: y  $_164 ü @ Ð @@#[ ]Ð@@  ��![ ��!]@@@ ¤> “"[  “@@@@  $_165 %cö?Ð@@ @¢�I ³°L A�AA@@@@ #[ ]  Aö@#[ ]  $_166 ü @ Ð @  È�È@.[ _ ; .. ; _ ]Ð@@  ��![ ¢A@ ¡‘ �È@�#x_1 ��!]@   ¢AA  ��!; ¡£ @�@ã @@ @@ ¤† “" ±A�È “ • A@@ “@@@@  $_167 %cö?Ð@@   @û  @@A@Ô@þ@Ú¢�Œ ³°� A�AWA@@ ‘A ‘"..@¢�© ³`@@@@@ .[ _ ; .. ; _ ]  BS@.[ x ; .. ; y ]  $_168 ü @ Ð |  |@  |A@&_ ++ _Ð|Ù  ¡‘ �| @�A�A* ��"++ ¡‘ �| A �A@@ @ @@ ¤Ø  A@ “# ++ • A@  BA@@@@  $_169 %cö?Ð@@   AK  @@@  A+  @@@@¢�‘8ª ³° A�A«A@@ ‘A[ ‘A9@@ &_ ++ _  B¢@&x ++ y  9 2 Q�à$@‘@@@@  $_170 À¢¸  �Ð÷B­@9"c�ða  ‘`@  $_171 2Mì ‘ @  $_172 '` oÀ@‘@@  8ó 2 Q�à@@’@@@@  $_173 À¢¸  �Ð÷BÉ@8þ&-§à@A@@@@  ‘}@  $_174 2Mì ‘ ��  $_175 '` oÀ@‘ �ª @@ �@ ��’@š@  8â 2 Q�àh@’@@@@  $_176 À¢¸  �Ð÷Bñ@8í&>¸à@A@@@@  ‘¥@  $_177 2Mì ‘ ��  $_178 '` oÀ@‘ �Ò @ @ @@ �@ ��’@Ä ��’@È ��’@Ì@  8Р2 Q�àš@’A@@@  $_179 À¢¸  �Ð÷C#@8Û YÝà@A@@@@  ‘×@  $_180 2Mì ‘ ��  $_181 '` oÀ@‘ � @ @@ �@ ��’@õ ��’@ù@  8¶ 2 Q�àÇ@’@@@@  $_182 À¢¸  �Ð÷CP@8Á3à@A@@@@  ‘ @  $_183 2Mì ‘ ��  $_184 '` oÀ@‘ �1 @ @@ �@ ��’A" ��’A&@  8ž 2 Q�àô@’@@@@  $_185 À¢¸  �Ð÷C}@8©9O5à@A@@@@  ‘ 1@  $_186 2Mì ‘ ��  $_187 '` oÀ@‘ �^ @@ �@ ��’AN@  8— N$ý @ð@B@ Ð8œBÝ@ 8~@@@@ ]@  $_188 À¢¸ ¡�8/*  ’ @ [  “ A _@  $_189 '` oÀ@’ @ �… �‡@ �@ �@@  $_190 '` oÀ@“   @A �• �— @ @@ �@ �@ @ @@  8” 2 Q�à V@ R@@@  $_191 À¢¸  �Ð÷CÞ@8ž ua  ‘ ‘@  $_192 2Mì ‘ ÁEE@A  $_193 '` oÀ@‘ �½ �¿ @ @ @@ �@ �@ @ @ ��’8‰@  $_194 ? 3V  W� 8�*  8r 2 Q�à Š@ †@@@  $_195 À¢¸  �Ð÷D@8| †„•  ‘ Å@  $_196 2Mì ‘ ÁEE@A  $_197 '` oÀ@‘ �ñ �ó @ @ @@ �@ �@ @ @ ��’8½@  $_198 ? 3V  \� 8Ä*  8} 2 Q�à ¾@ º@@@  $_199 À¢¸  �Ð÷DF@8‡ ’‰É  ‘ ù@  $_200 2Mì ‘ ÁEE@A  $_201 '` oÀ@‘ � % � ' @ @ @@ �@ �@ @ @ ��’8ñ@  $_202 ? 3V  a� 8ø*  $_203 À¢¸ ²“ 8nAù�D    @ �°C’@ AA �°9w@ AA @ @@@@  $_204 ü @ Ð @  È�È  È�È@)( _ , _ )Ð@@  ��!( ¡‘ ’@�Ca ��!, ¡‘ �CE ��!)@@ @ @@ ¤ “  A�È “ • A@  B�È “@@@@  $_205 %cö?Ð@@   Cˆ  @@@  Ch  @@@@¢�Z ³°] A�CçA@@ ³°b B�9ÍA@@ ‘Cœ ‘Cz@@ )( _ , _ )  Dã@)( x , y )  $_206 ü @ Ð h  hA  h@@%_ * _Ðh�B%_ * _  ¡‘ �h @�B�!x ��!* ¡‘ �h A �!y@@ @ @@ ¤‘@  AA “" * • A@  B@@@@@  $_207 %cö?Ð@�*type_scope   D4  � ð@@  :  � õ@@@¢�’9# ‘DA ‘:$@@ %_ * _  E6@%X * Y  9T 2 Q�à ¸@‘@@@@  $_208 À¢¸  �Ð÷EA@9_<í¥Ä  ‘ ô@  $_209 2Mì ‘ ÁCC@A  $_210 '` oÀ@‘ �  � " @@ �@ �@ ��’9V@  $_211 À¢¸ ²‘&è�C    @ �°D�@ AA �°:f@ AA @@@@  9Y 2 Q�à ÷@‘@@@@  $_212 À¢¸  �Ð÷E€@9d<í¶æ  ‘ 3@  $_213 2Mì ‘ ÁCC@A  $_214 '` oÀ@‘ � _ � a @@ �@ �@ ��’9•@  $_215 À¢¸ ²‘&'�C    @ �°DÀ@ AA �°:¥@ AA @@@@  9a 2 Q�à 6@‘E@@@  $_216 À¢¸  �Ð÷E¿@9l#ÎôB  ‘ r@  $_217 2Mì ‘ ÁCC@A  $_218 '` oÀ@‘ � ž �   @ @@ �@ �@ ��’C“ ��’C—@  $_219 À¢¸ ²‘+k�D    @ �°E@ AA �°:é@ AA @ @@@@  9 2 Q�à {@‘E@@@  $_220 À¢¸  �Ð÷F@9 =Þ+‡  ‘ ·@  $_221 2Mì ‘ ÁCC@A  $_222 '` oÀ@‘ � ã � å @@ �@ �@ ��’C×@  $_223 À¢¸ ²‘&«�C    @ �°ED@ AA �°;)@ AA @@@@  8t 2 Q�à º@‘D@@@  $_224 À¢¸  �Ð÷FC@8%ÿS>à@A@@@@  ‘ ÷@  $_225 2Mì ‘ ��  $_226 '` oÀ@‘@@  8` N$ý @ð@B@ Ð8eEš@ 8S 8S@@@@ @  $_227 À¢¸ ¡�8"  ’ @   “ A   “  B !@  $_228 '` oÀ@’ @ � G@ �@@  $_229 '` oÀ@“   @A � S @@ �@ @@  $_230 '` oÀ@“  .@B � a@ �@@  8s 2 Q�à @ @@@  $_231 À¢¸  �Ð÷F¢@8}ìû_  ‘ U@  $_232 2Mì ‘ ÁEE@A  $_233 '` oÀ@‘ � � @ @ @ @@ �@ @ @ @ ��’8e@  $_234 ? 3V  � 8l(  8M 2 Q�à L@ H@@@  $_235 À¢¸  �Ð÷FÔ@8Wœ¦‘  ‘ ‡@  $_236 2Mì ‘ ÁEE@A  $_237 '` oÀ@‘ � ³ @ @ @ @@ �@ @ @ @ ��’8—@  $_238 ? 3V  � 8ž(  8U 2 Q�à ~@ z@@@  $_239 À¢¸  �Ð÷G@8_œ'«à ‘ ¹@  $_240 2Mì ‘ ÁEE@A  $_241 '` oÀ@‘ � å @ @ @ @@ �@ @ @ @ ��’8É@  $_242 ? 3V  � 8Ð(  $_243 À¢¸ ²“ 8Añ�B    @ �°FP@ AA @@@@  $_244 À¢¸ ²“ 8,B�A    @ �°Fb@ AA@@@  8… 2 Q�à Ó@‘E@@@  $_245 À¢¸  �7ô  ‘ @  $_246 2Mì ‘ ÁBB@A  $_247 '` oÀ@‘ � : @ � c@ �@ ��’E, ��’E>@  $_248 À¢¸ ²‘'>�C    @ �°F�@ AA @ @@@@  8: 2 Q�à @‘D@@@  $_249 À¢¸  �Ð÷G™@8Exà@A@@@@  ‘ M@  $_250 2Mì ‘ ��  $_251 '` oÀ@‘@@  7‚ 2 Q�à /@‘D@@@  $_252 À¢¸  �Ð÷G¸@7�yà@A@@@@  ‘ l@  $_253 2Mì ‘ ��  $_254 '` oÀ@‘@@  7 2 Q�à N@‘D@@@  $_255 À¢¸  �Ð÷G×@7"zà@A@@@@  ‘ ‹@  $_256 2Mì ‘ ��  $_257 '` oÀ@‘@@  7 2 Q�à m@‘@@@@  $_258 À¢¸  �6¿  ‘ ¨@  $_259 2Mì ‘ ÁBB@A  $_260 '` oÀ@‘ � Ô @@ �@ ��’EÄ@  $_261 À¢¸ ²‘!>�B    @ �°G1@ AA @@@@  6þ 2 Q�à £@‘D@@@  $_262 À¢¸  �Ð÷H,@7 *ÊXàà@A@@@@  ‘ à@  $_263 2Mì ‘ ��  $_264 '` oÀ@‘@@  6Í 2 Q�à Â@‘D@@@  $_265 À¢¸  �Ð÷HK@6Ø*ÊXáà@A@@@@  ‘ ÿ@  $_266 2Mì ‘ ��  $_267 '` oÀ@‘@@  6o 2 Q�à á@‘@@@@  $_268 À¢¸  �69  ‘@  $_269 2Mì ‘ ÁCBA@  $_270 '` oÀ@‘ � H @ @@ �@ @ @@  $_271 À¢¸ ²‘ =�C    @ �°G¤@ AA @ @@@@  6€ 2 Q�à@‘D@@@  $_272 À¢¸  �Ð÷H @6‹w[Ÿà@A@@@@  ‘T@  $_273 2Mì ‘ ��  $_274 '` oÀ@‘@@  67 2 Q�à6@‘D@@@  $_275 À¢¸  �Ð÷H¿@6B0ñÊà@A@@@@  ‘s@  $_276 2Mì ‘ ��  $_277 '` oÀ@‘@@  61 2 Q�àU@‘E@@@  $_278 À¢¸  �5Á  ‘�@  $_279 2Mì ‘ ÁCC@A  $_280 '` oÀ@‘ � ¼ @ @@ �@ @ ��’F®@  $_281 À¢¸ ²‘#@�C    @ �°H@ AA @ @@@@  6 2 Q�àŽ@‘D@@@  $_282 À¢¸  �Ð÷I@6 7ªåà@A@@@@  ‘Ë@  $_283 2Mì ‘ ��  $_284 '` oÀ@‘@@  5h 2 Q�à­@‘@@@@  $_285 À¢¸  �5  ‘è@  $_286 2Mì ‘ ÁBBAA  $_287 '` oÀ@‘ � @@ �@ ��’G@  $_288 À¢¸ ²‘!>�B    @ �°Hq@ AA @@@@  5e 2 Q�àã@‘D@@@  $_289 À¢¸  �Ð÷Il@5p7ªæà@A@@@@  ‘ @  $_290 2Mì ‘ ��  $_291 '` oÀ@‘@@  3[ 2 Q�à@‘@@@@  $_292 À¢¸  �3"  ‘=@  $_293 2Mì ‘ ÁAA@A  $_294 '` oÀ@‘ @@ ��’GU@  3G 2 Q�à#@‘D@@@  $_295 À¢¸  �Ð÷I¬@3RÞüCà@A@@@@  ‘`@  $_296 2Mì ‘ ��  $_297 '` oÀ@‘@@  2® 2 Q�àB@‘D@@@  $_298 À¢¸  �Ð÷IË@2¹ÞüDà@A@@@@  ‘@  $_299 2Mì ‘ ��  $_300 '` oÀ@‘@@  2t 2 Q�àa@‘D@@@  $_301 À¢¸  �Ð÷Iê@2ÞüEà@A@@@@  ‘ž@  $_302 2Mì ‘ ��  $_303 '` oÀ@‘@@  2y 2 Q�à€@‘D@@@  $_304 À¢¸  �Ð÷J @2„?†ô à@A@@@@  ‘½@  $_305 2Mì ‘ ��  $_306 '` oÀ@‘@@  -` 2 Q�àŸ@‘D@@@  $_307 À¢¸  �Ð÷J(@-k!vÔà@A@@@@  ‘Ü@  $_308 2Mì ‘ ��  $_309 '` oÀ@‘@@  +E 2 Q�à¾@‘@@@@  $_310 À¢¸  �*ä  ‘ù@  $_311 2Mì ‘ ÁAA@A  $_312 '` oÀ@‘ @@ ��’H@  +  2 Q�àß@‘D@@@  $_313 À¢¸  �Ð÷Jh@+;ÕÚà@A@@@@  ‘@  $_314 2Mì ‘ ��  $_315 '` oÀ@‘@@  (ü 2 Q�àþ@‘D@@@  $_316 À¢¸  �Ð÷J‡@);ÕÛà@A@@@@  ‘;@  $_317 2Mì ‘ ��  $_318 '` oÀ@‘@@  %¢ 2 Q�à@‘@@@@  $_319 À¢¸  �%F  ‘X@  $_320 2Mì ‘ @  $_321 '` oÀ@‘ �ƒ @ @@ �@ @ ��’Hu@  $_322 À¢¸ ²‘"?�C    @ �°Iâ@ AA @ @@@@  %Š 2 Q�àU@‘D@@@  $_323 À¢¸  �Ð÷JÞ@%•1ûäåà@A@@@@  ‘’@  $_324 2Mì ‘ ��  $_325 '` oÀ@‘@@  $f 2 Q�àt@‘D@@@  $_326 À¢¸  �Ð÷Jý@$q1ûäæà@A@@@@  ‘±@  $_327 2Mì ‘ ��  $_328 '` oÀ@‘@@  #| 2 Q�à“@‘E@@@  $_329 À¢¸  �#  ‘Î@  $_330 2Mì ‘ ÁDD@A  $_331 '` oÀ@‘ �ú �ü @ @@ �@ �@ @ ��’Hð@  $_332 À¢¸ ²‘'D�D    @ �°J]@ AA �°@B@ AA @ @@@@  #V 2 Q�àÔ@‘D@@@  $_333 À¢¸  �Ð÷K]@#a 0ªçà@A@@@@  ‘@  $_334 2Mì ‘ ��  $_335 '` oÀ@‘@@  "™ 2 Q�àó@‘D@@@  $_336 À¢¸  �Ð÷K|@"¤ 0ªèà@A@@@@  ‘0@  $_337 2Mì ‘ ��  $_338 '` oÀ@‘@@  "  2 Q�à@‘D@@@  $_339 À¢¸  �Ð÷K›@" 0ªéà@A@@@@  ‘O@  $_340 2Mì ‘ ��  $_341 '` oÀ@‘@@   ú 2 Q�à1@’@@@@  $_342 À¢¸  �Ð÷Kº@!=Î=ãà@A@@@@  ‘n@  $_343 2Mì ‘ ��  $_344 '` oÀ@‘ �› �� @ @ @@ �@ �@ @ ��’I’ ��’I–@   Û 2 Q�àd@’@@@@  $_345 À¢¸  �Ð÷Kí@ æ=ÎUà@A@@@@  ‘¡@  $_346 2Mì ‘ ��  $_347 '` oÀ@‘ �Π�Р@ @@ �@ �@ @ ��’IÄ@   ¿ 2 Q�à’@‘E@@@  $_348 À¢¸  �Ð÷L@ Ê5{9ÿ.  ‘Î@  $_349 2Mì ‘ ÁDD@A  $_350 '` oÀ@‘ �ú �ü @ @@ �@ �@ @ ��’Ið@  $_351 À¢¸ ²‘(T�D    @ �°K]@ AA �°AB@ AA @ @@@@   ’ 2 Q�àÔ@‘D@@@  $_352 À¢¸  �Ð÷L]@ �4j7à@A@@@@  ‘@  $_353 2Mì ‘ ��  $_354 '` oÀ@‘@@   € 2 Q�àó@‘@@@@  $_355 À¢¸  �Ð÷L|@ ‹œ _  ‘/@  $_356 2Mì ‘ ÁDD@A  $_357 '` oÀ@‘ �[ �] @ @@ �@ �@ @ ��’=�@  $_358 À¢¸ ²‘(E�D    @ �°K¾@ AA �°A£@ AA @ @@@@   | 2 Q�à5@‘E@@@  $_359 À¢¸  � `  ‘p@  $_360 2Mì ‘ ÁDD@A  $_361 '` oÀ@‘ �œ �ž @ @ @@ �@ �@ @ ��’J“ @@  $_362 À¢¸ ²‘)ˆ�E    @ �°L@ AA �°Aæ@ AA @ @ @@@@   b 2 Q�ày@‘D@@@  $_363 À¢¸  �Ð÷M@ m9Núà@A@@@@  ‘¶@  $_364 2Mì ‘ ��  $_365 '` oÀ@‘@@  ƒ 2 Q�à˜@‘D@@@  $_366 À¢¸  �Ð÷M!@Ž9Nûà@A@@@@  ‘Õ@  $_367 2Mì ‘ ��  $_368 '` oÀ@‘@@  P 2 Q�à·@‘D@@@  $_369 À¢¸  �Ð÷M@@[9Nüà@A@@@@  ‘ô@  $_370 2Mì ‘ ��  $_371 '` oÀ@‘@@  K 2 Q�àÖ@‘@@@@  $_372 À¢¸  �Ð÷M_@V§Ð°  ‘@  $_373 2Mì ‘ ÁAAAA  $_374 '` oÀ@‘ @@ ��’K*@  4 2 Q�àø@‘@@@@  $_375 À¢¸  �Ï@  ‘3@  $_376 2Mì ‘ ÁCB@@  $_377 '` oÀ@‘ �_ @ �ˆ@ �@ @ ��’K`@  $_378 À¢¸ ²‘$c�C    @ �°L¿@ AA @ @@@@  L 2 Q�à2@‘@@@@  $_379 À¢¸  �&z  ‘m@  $_380 2Mì ‘ @  $_381 '` oÀ@‘ �¾@ ��’K“@  K 2 Q�àS@‘D@@@  $_382 À¢¸  �Ð÷MÜ@V+”Xƒà@A@@@@  ‘�@  $_383 2Mì ‘ ��  $_384 '` oÀ@‘@@  P 2 Q�àr@‘D@@@  $_385 À¢¸  �Ð÷Mû@[+”X„à@A@@@@  ‘¯@  $_386 2Mì ‘ ��  $_387 '` oÀ@‘@@  . 2 Q�à‘@‘@@@@  $_388 À¢¸  �  ‘Ì@  $_389 2Mì ‘ A  $_390 '` oÀ@‘ �@ ��’&$@  , 2 Q�à²@‘D@@@  $_391 À¢¸  �Ð÷N;@7%øþ à@A@@@@  ‘ï@  $_392 2Mì ‘ ��  $_393 '` oÀ@‘@@  ú 2 Q�àÑ@‘D@@@  $_394 À¢¸  �Ð÷NZ@Ïÿôà@A@@@@  ‘@  $_395 2Mì ‘ ��  $_396 '` oÀ@‘@@  Ò 2 Q�àð@‘D@@@  $_397 À¢¸  �Ð÷Ny@ÝÅ$à@A@@@@  ‘-@  $_398 2Mì ‘ ��  $_399 '` oÀ@‘@@  – rHÈ @�  ” 2 Q�à@‘@@@@  $_401 À¢¸  �^#  ‘O@  $_402 2Mì ‘ ÁBBAA  $_403 '` oÀ@‘ �{ @@ �@ ��’Lk@  $_404 À¢¸ ²‘!C�B    @ �°MØ@ AA @@@@  ˜ 2 Q�àJ@‘D@@@  $_405 À¢¸  �Ð÷Ù@£1Yà@A@@@@  ‘‡@  $_406 2Mì ‘ ��  $_407 '` oÀ@‘@@  4 2 Q�ài@’@@@@  $_408 À¢¸  �Ð÷ø@?`ýâà@A@@@@  ‘¦@  $_409 2Mì ‘ ��  $_410 '` oÀ@‘ �Ó @@ �@ ��’LÃ@  1 2 Q�à‘@‘@@@@  $_411 À¢¸  ��'  ‘Ì@  $_412 2Mì ‘ ÁDDAA  $_413 '` oÀ@‘ �ø �ú @ @@ �@ �@ @ ��’Lî@  $_414 À¢¸ ²‘'M�D    @ �°N[@ AA �°D@@ AA @ @@@@  + 2 Q�àÒ@‘D@@@  $_415 À¢¸  �Ð÷a@6% D´à@A@@@@  ‘@  $_416 2Mì ‘ ��  $_417 '` oÀ@‘@@   2 Q�àñ@’@@@@  $_418 À¢¸  �Ð÷€@'íÏèà@A@@@@  ‘.@  $_419 2Mì ‘ ��  $_420 '` oÀ@‘ �[ �] @ @@ �@ �@ @ ��’MQ@   2 Q�à@‘@@@@  $_421 À¢¸  ��-  ‘Z@  $_422 2Mì ‘ ÁFDA@  $_423 '` oÀ@‘ �† �ˆ �Š @ @ @@ �@ �@ �@ @ @ @@  $_424 À¢¸ ²‘*V�F    @ �°Nì@ AA �°DÑ@ AA �°6@ AA @ @ @@@@    2 Q�àh@‘@@@@  $_425 À¢¸  �Äv  ‘£@  $_426 2Mì ‘ ÁEDB@  $_427 '` oÀ@‘ �Ï �Ñ �Ó @ @@ �@ �@ �@ @ ��’D @  $_428 À¢¸ ²‘+ �E    @ �°O6@ AA �°E@ AA �°€@ AA @ @@@@  'W 2 Q�à±@‘D@@@  $_429 À¢¸  �Ð÷@@'bã�&à@A@@@@  ‘î@  $_430 2Mì ‘ ��  $_431 '` oÀ@‘@@  V 2 Q�àÐ@’@@@@  $_432 À¢¸  �Ð÷_@a$R*åà@A@@@@  ‘ @  $_433 2Mì ‘ ��  $_434 '` oÀ@‘ �: �< �> @ @ @@ �@ �@ �@ @ @ @@  < 2 Q�à@’@@@@  $_435 À¢¸  �Ð÷�@Gy÷à@A@@@@  ‘>@  $_436 2Mì ‘ ��  $_437 '` oÀ@‘ �k �m �o @ @@ �@ �@ �@ @ ��’D§@   rHÈ @�  N› 2 Q�à8@‘@@@@  $_439 À¢¸  �õ6  ‘s@  $_440 2Mì ‘ �@  $_441 '` oÀ@‘@@   2 Q�àT@‘@@@@  $_442 À¢¸  �Ð÷G@$ %›S  ‘�@  $_443 2Mì ‘ ÁCBA@  $_444 '` oÀ@‘@@   2 Q�àq@‘@@@@  $_445 À¢¸  �Ð÷d@# -]p  ‘­@  $_446 2Mì ‘ ÁCBA@  $_447 '` oÀ@‘@@   2 Q�àŽ@‘@@@@  $_448 À¢¸  �Ð÷�@$¬Ü•�  ‘Ê@  $_449 2Mì ‘ ÁCC@@  $_450 '` oÀ@‘@@   2 Q�à«@‘@@@@  $_451 À¢¸  �Ð÷ž@%‘·Wª  ‘ç@  $_452 2Mì ‘ ÁCBA@  $_453 '` oÀ@‘@@  " 2 Q�àÈ@‘@@@@  $_454 À¢¸  �Ð÷»@-¬6oÇ  ‘@  $_455 2Mì ‘ ÁDAC@  $_456 '` oÀ@‘ @@ ��‘œ@   2 Q�àê@‘D@@@  $_457 À¢¸  �Ð÷Ý@%(Œ½à@A@@@@  ‘'@  $_458 2Mì ‘ ��  $_459 '` oÀ@‘@@   2 Q�à @‘D@@@  $_460 À¢¸  �Ð÷ü@&(Œ¾à@A@@@@  ‘F@  $_461 2Mì ‘ ��  $_462 '` oÀ@‘@@  & 2 Q�à(@‘D@@@  $_463 À¢¸  �Ð÷@1(Œ¿à@A@@@@  ‘e@  $_464 2Mì ‘ ��  $_465 '` oÀ@‘@@  1 2 Q�àG@‘@@@@  $_466 À¢¸  �Ð÷:@<«Úà ‘ƒ@  $_467 2Mì ‘ ÁEAC@  $_468 '` oÀ@‘ @ @@ ��‘ ��‘ @  / 2 Q�àn@‘D@@@  $_469 À¢¸  �Ð÷a@:( É1à@A@@@@  ‘«@  $_470 2Mì ‘ ��  $_471 '` oÀ@‘@@  : 2 Q�à�@‘D@@@  $_472 À¢¸  �Ð÷€@E( É2à@A@@@@  ‘Ê@  $_473 2Mì ‘ ��  $_474 '` oÀ@‘@@  G 2 Q�à¬@‘D@@@  $_475 À¢¸  �Ð÷Ÿ@R( É3à@A@@@@  ‘é@  $_476 2Mì ‘ ��  $_477 '` oÀ@‘@@  P 2 Q�àË@‘@@@@  $_478 À¢¸  �Ð÷¾@[«–i  ‘@  $_479 2Mì ‘ ���Ð÷?Õ@%admit[•¯  $_480 '` oÀ@‘ @ @@ ��‘¤ ��‘¨@  O 2 Q�àö@�B@@@  $_481 À¢¸  �Ð÷é@Z'ªfGJ  ‘2@  $_482 2Mì ‘ ��   $_483 '` oÀ@‘@@  S 2 Q�à@@@@  $_484 À¢¸  �Ð÷@]'ªfHg  ‘O@  $_485 2Mì ‘ ��   $_486 '` oÀ@‘@@  c 2 Q�à1@;@@@  $_487 À¢¸  �Ð÷#@m'ªfI„  ‘l@  $_488 2Mì ‘ ��   $_489 '` oÀ@‘@@  t 2 Q�àN@‘@@@@  $_490 À¢¸  �Ð÷A@ J¢  ‘Š@  $_491 2Mì ‘ ƒ  $_492 '` oÀ@‘ @ @@ ��‘" ��‘&@  | 2 Q�àt@~@@@  $_493 À¢¸  �Ð÷f@†uŒ�Ç  ‘¯@  $_494 2Mì ‘ ��   $_495 '` oÀ@‘@@  ‰ 2 Q�à‘@›@@@  $_496 À¢¸  �Ð÷ƒ@“uŒ‘ä  ‘Ì@  $_497 2Mì ‘ ��   $_498 '` oÀ@‘@@  • 2 Q�à®@¸@@@  $_499 À¢¸  �Ð÷ @ŸuŒ’  ‘é@  $_500 2Mì ‘ ��   $_501 '` oÀ@‘@@@@@@:¥jS`•iùPËȈ8 Ü"Ô„•¦¾@Aö›­Â AÈ^9´®J"ý„•¦¾@_9[ß÷¾—õÏ£5:«„y#&„•¦¾@N®A©ïûTl1ýŒ"ã½A°„•¦¾bèJ)à�‘©œ   �Ð÷� %Logic $Init #Coq@@"eqÐ @A€ ©›  �Ð÷� $Poly@@$list<øöß@€�›  �Ð÷� )Datatypes@#natò@€©œ  B€°©œ  B€�©�©�© �œ  A€©°©œ  *A€#�‘©? ©1�›  �Ð÷� &Basics@@$boolšä@€©(° œ   B€©�‘©T F©2°=(©4°?(!�‘©\ ©:°œ  A€�‘©e L9�‘·�!X”‘°  Ð!} d[@ε=Ã@·�!l©e��A©š �Ð÷g@(list_ind/fó€Ð�B·©q�©› ‚€°©w��C©š �Ð÷y@#app<í�¶€°©X ©’ ©[·�!h·�!t·�#IHt©°©���D©°.©l/µ©š �Ð÷¥@(eq_ind_r!¼2#€à©ž��E2·?©/°©¤��F©“°B©•°2©» ©™°6@©5°B©ˆKC©?°©:°  O�‘·�!A”‘°  Ò!û fº@ϱ\Å@·_]·�!mT·�!nQ©`Ð8·h;©X°/©S°/h©U"©V°2©X°4m[e©ä F©\°F©^°HEks·UI·S>·Q©j°;©e°;z©g8©h°>©j°@Tmµ©Pà©é��G©r°©t°�P^·Ž©~°©ó��H©â°f‘©ä°h©€°©‚° …X^© ©ì°‰©ˆ°•©аftŸC©“°©ް©ö°!“�©’°#©”°%p~—�‘·¹”‘°  Ó": g@Ð/lF@·�"l1··�"l2®©·Ð¨·«©¯°©š �Ð÷#@&length ²}£€ ™©±°›Æ¾©š �Ð÷� #Nat;@#add £�`€ © §Ò© ©Ì©K 2© © ÈÀ© ÊÜ·¾Ë·¼µ·º©Ó°=©$ ªx© ©( ®ç©* °×µ©ºàH©& ©1 ±è©3 ³Ç·”O©ç°Q©C÷©D�©2 ©= xê©? zÅ©u \©N�©E Å©ñ°ÇþÛC©ú°d©K Ë©÷°Í©_°Ïüã©H ©S Ó" �‘·"”‘°  Õ"¸ i{@Ñ+‹H@·i·g©Ð ·m©°ù©š �Ð÷ˆ@#rev<í´ä€e©°ÿ©X© [µ©ýà© U·5!©%°  3©ª %©"°%©š �Ð÷�@)app_nil_r&-§€ ,C©2°0© 0©/°2*D©1°4©$n·)6·' ·%©>°©*k©:°©-h©.kµ©"à©A°©4f©5i·]©M°Ù©H°Ù]©°°Û4©�Ý©M°Þ©@f©P°á©Ck ©6à+©U°+©½°-Z©ª/·r1©b°î©]°î©_°ðt©ë 9©c°9"©e°;#©š �Ð÷à@)app_assoc&>¸€ÀB+*©_‚C©v°G©b|©r°H1©ew€�‘·˜”‘°  Ö"÷ jñ@Ñ©šÉ@·–”©‘ÐŒ·™‹©‰°‡©u[˜}·z‘·xŠ·v©�°t©{ ttŸµ©pàk©�°k©‚ m©ù°o–^©† q©ˆ s¤·±v©¡°r¯m©àz©·¶{©¦°w©¡°w©” y© °{�Nºxvº©˜ ƒ©©°…©š �Ð÷$@-rev_app_distr3€C©¸°�©¤ �©¦ ‘„„Ê�‘µ©D ©›  �Ð÷6@$prod<ùn`@€ > ©œ   A€ÀC©/°:#©1°<'©3°  C©Ö°©š �Ð÷J@%split=Þ+€°G©>°© K#©ÀM%6©D°©ÀQ)<©3�  �‘©p ©›  �Ð÷b@&option:Yb@€_©œ  A€ cU�‘©€ ©�t©  v1�‘©ˆ ©I©œ  B€M�‘©‘ !© zc�‘©— ©  ‹C�‘8�‘©Ÿ ^S�‘©£ •©�°Œwp�‘©© ©›)©ˆ°ž©а•‚w©Œ°¢{©ް¤©�°›©��©��©‘�©“�•…©…<�‘©ÁE�‘©Ä «’�‘�‘©Ê ±©£�©¥�©§�©©�©«�©­�©¯�©±�©³�©µ�©·�©¹�©»�©½�©¿�©Á�©Ã�©Å�©Ç�©É�©Ë�©Í�©Ï�©Ñ�©Ó�©Õ�©×�©Ù�©Û�©Ý�©ß�©á�©ã�©å�©ç�©é�©ë�©í�©ï�©ñ�©ó�©õ�©÷�©ù�©û�©ý�©ÿ�©�©�©�©�© �© �© �©�©�©�©�©�©�©�©�©�©!�©#�©%�©'�©)�©+�©-�©/�©1�©3�©5�©7�©9�©;�©=�©?�©A�©C�©E�©G�©I�©K�©M�©O�©Q�©S�©U�©W�©Y�©[�©]�©_�©a�©c�©e�©g�©i�©k�©m�©o�©q�©s�©u�©w�©y�©{�©}�©�©��©ƒ�©…�©‡�©‰�©‹�©��©��©‘�©“�©•�©—�©™�©›�©��©Ÿ�©¡�©£�©¥�©§�©©�©«�©­�©¯�©±�©³�©µ�©·�©¹�©»�©½�©¿�©Á�©Ã�©Å�©Ç�©É�©Ë�©Í�©Ï�©Ñ�©Ó�©Õ�©×�©Ù�©Û�©Ý�©ß�©á�©ã�©å�©ç�©é�©ë�©í�©ï�©ñ�©ó�©õ�©÷�©ù�©û�©ý�©ÿ�©�©�©�©�© �© �© �©�©�©�©�©�©�©�©�©�©!�©#�©%�©'�©)�©+�©-�©/�©1�©3�©5�©7�©9�©;�©=�©?�©A�©C�©E�©G�©I�©K�©M�©O�©Q�©S�©U�©W�©Y�©[�©]�©_�©a�©c�©e�©g�©i�©k�©m�©o�©q�©s�©u�©w�©y�©{�©}�©�©��©ƒ�©…�©‡�©‰�©‹�©��©��©‘��‘�‘©À ²©ž°© © °«�‘©È º‘�‘©Ì ©ˆ ÀÀ©‚À©®°¹¢©°°»¨©²°½Ÿ3�‘©Ú ©ŽÀÎÎ¥©º°Å$©¼°Ç(©¾°É°«�‘©æ Ø©İÏ.�‘©ì ­©ʰ­¢©̰¯’©ΰ±¦–�‘©ö ©è�¹©Ö°»©ذ»ž²©Ú°¿©ܰÁ©Þ°Ã©Ë �‘·ž”‘°  ý,� Q÷@äÝ÷p@·�!Y”‘°  þ,Ï R@å\ñ@·�!f¶@œœ·ò•·ð}©¥Ðo·ör©�°t©š �Ð÷@#map<í­…€Àsy‡©Ÿ°u´¬©¡°}© Ày�¸© À{��²©1 “©©°“©À‡•®v©À‰—°·¤Š·¢‡· ©¹°Š©ÀEŠ�©¶°G˹©¸°Ž©"ÀK�–Ï©$ÀM’˜¿µ©¢àR©Á°R©+ÀJT™Щ-ÀLV›¯·ßY©ϰQ©0°Q©\¶à©3°T©ϰV©9À�IYcÕ©<À[e°©` i©>°i©¯Ý©CÀbl±©ݰdêÇòC©æ°r©IÀhr·©ã°j©K°lèòÏ©ç°x©QÀpz¿&ö�‘·”‘°  ÿ- Sg@åÚr@·p”‘°  -M Tn@æX%ó@·nl·©Ðç·ê©°ì©jÀÞìÇ©õ îY©�  ©ù  ©rÀô ñ·õ·ÿê·ý©°í©yÀçíû© é(© ñtµ©ûàð©°ð©„À­òø© ¯+©ˆÀ±öü©ˆ°³%Ø·<û©,°¸:©'°¸© º©“À²¼.©“°¾©ä©à©# ©œÀÅ A·N ©>°Ê©9°ÊN©£ÀÂÌ©£°Ä'©�Ƶ©Ë ©C°©«°©"JïC©O° ©J° , 0_©´ÀÝ"(©N°ß2.©š �Ð÷É@'map_app=Î=ã€Ðæ+195C©^°/©ÁÀê/5©L ìÍ©N 3©ÇÀð5;Ñt�‘µ©î à©̰×À©ΰÙ©аÛĩҰÝ<©Ô°ß>©Ö°á@©ذãÕÚC©{°𩚠�Ð÷ï@(flat_map5{9ÿ€Àìì·2í©ä°ï“©æ°ñ•©è°ó—Õ©ê°õÞ©ì°÷VÛ"�‘© ûz�‘y�‘©  ©ø°ì©ú°ð©ü°ôë�‘©$ ãÆ�‘©( n�‘©, v�‘©0 x�‘�‘Ñ�‘·Ï”‘°  1= d(@î9@·Í˵©ÉÐÄ·ÑéÁ°+©š �Ð÷5@$fold<ø]þ€ÐÄ2·@Å·y4ãØþ©O 6© Ô¿·¾Õ·�"l'з�$IHl'©×°A©Ð¼C·@½è+µ©¹àG©.A·ŽI©á°Kú©=�©4 ´á©j Q©C� ©(ÐÀU·@Á#ò=úC©î°X©-ÐÅZ¸A©A6ÿC©ó°]©š �Ð÷¢�h)Exercises@+fold_lengthÊõ³€  ©N�‘µ©† x©d°oÒ©f°qЩh°sÖ©j°uØWC© °‚©š �Ð÷@(fold_map|ù€À~~š �Ð÷‡@%plus3=×¾ú€©z°…w©|°‡r©~°‰ìm�‘·=”‘°  1ú g–@ï³L†@·Ÿ”‘°  29 h�@ð1\@·�›·C/µ©?зG©7°©vз�!x·�"ly© °©EPP"�©Ç B5·4(·v·t©I° ©ˆÐ"··©®°Ù©S^^¨µ©/à$·f%©V°â©·°â$f©¹°ä&*©ß -©½°-%©�Ðê1·'ë·%î©ðä©ïhsksC©g°8©¦Ðó: Ô wC©k°i©^ÀPis{©Ð�‘�‘·Ž”‘°  3ò oç@ó£ÈŽ@·𔑰  41 pî@ô!Ø@·�!Z”‘°  4p q÷@ôŸç�@·÷¶@‡¶@ˆˆ·Sp·�!ysµµ© w©‘™C©—°z©” ©š �Ð÷ @#fst<í¥€°ou©×Àqw¨°©š �Ð÷@#snd<í¶æ€ C©ª°�©š �Ð÷·@*prod_curry ½\î€à€†”©š �Ð÷¾@,prod_uncurry'tPE€À‡�›´¾Æ$�‘·Ö”‘°   5- t/@ö@·8”‘°  !5l u6@ö˜%”@·H”‘°  "5« v=@÷5@·=¶@© ÏÙÙ·�!p© »ÔµÍÐB�B�B°@� @ @@D·©! ¹Ç©æ°É©ã�©À¹¿©Q°»Áú©J©êýü�·¶Å·cÆ©v È©×�©,À�ÆýC©ù°õ©HÐÐÞ÷©QÀÒàù © �‘µ©† š �Ð÷¢¢�x&Church@m #J€š �Ð÷@#one %›€C©°©š �Ð÷@$succ¬6o€�š �Ð÷@$zero¬Ü•€�‘µ©¦  š �Ð÷ @#two -]€C©*°'©�! �‘µ©´ .š �Ð÷.@%three‘·W€C©8°5©&� �‘µ