!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_µ h0–>Ç/«¼Ë¡»%¥ÔÈÏÉJ8´™ie—ÂÖ"«„•¦¾¥SL¥øP Ð $Poly@ðA  (boollist‘,<@ ”@ (bool_nil)bool_cons A¶@›  Ð÷ &Basics@@$boolšä@€¶@BC@@ @ A B@ @B @B¢@¡ Ð÷+@'*Éš%@ ¡@€¡@ ¡@€ @@AA  @@ AB@@A@@@@@ €@@  -boollist_rect @‘ ·!P¶!b›  Ð÷ K@@E*Éš%@€”‘°  ® B@=÷.¡@·!f©Bœ  A€·¶F¶¶@©DM©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é·>©^¶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¢£¶:©9g7 ° <+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©0c/ ° <+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¶ :¶¶@ ¶@ © Ê  Î @@ BB¢@¡ Ð÷ 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©TeS ° <+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ü€°©m4Z©š Ð÷ƒ@Ÿ|ù€À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 'M0”±ÐD,Áq9‹UU+ÈÖ'ä  )Datatypes $Init #Coq@0·f:|aÔ¬)ØÎÁ€Ü‘«Â  )Induction@0ÿWÛ jƒî. %R_µ  %Lists@0–>Ç/«¼Ë¡»%¥ÔÈ 7s0O{ø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@ZA    @ °>“@ AA@@@  $_121 À¢¸ ²“ AkA    @ °>¤@ 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 À¢¸ ²‘&NC    @ °?‡@ 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 AAA@@@@ #[ ]  Aö@#[ ]  $_166 ü @ Ð @  ÈÈ@.[ _ ; .. ; _ ]Ð@@  ![ ¢A@ ¡‘ È@#x_1 !]@   ¢AA  !; ¡£ @@ã @@ @@ ¤† “" ±AÈ “ • A@@ “@@@@  $_167 %cö?Ð@@   @û  @@A@Ô@þ@Ú¢Œ ³° AAWA@@ ‘A ‘"..@¢© ³`@@@@@ .[ _ ; .. ; _ ]  BS@.[ x ; .. ; y ]  $_168 ü @ Ð |  |@  |A@&_ ++ _Ð|Ù  ¡‘ | @AA* "++ ¡‘ | A A@@ @ @@ ¤Ø  A@ “# ++ • A@  BA@@@@  $_169 %cö?Ð@@   AK  @@@  A+  @@@@¢‘8ª ³° AA«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 ³°] ACçA@@ ³°b B9ÍA@@ ‘Cœ ‘Cz@@ )( _ , _ )  Dã@)( x , y )  $_206 ü @ Ð h  hA  h@@%_ * _ÐhB%_ * _  ¡‘ 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 À¢¸ ²‘+kD    @ °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,BA    @ °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¸@7yà@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 À¢¸ ²‘'DD    @ °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 À¢¸ ²‘(TD    @ °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 À¢¸ ²‘(ED    @ °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 À¢¸ ²‘$cC    @ °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 À¢¸ ²‘!CB    @ °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 À¢¸ ²‘'MD    @ °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 À¢¸ ²‘*VF    @ °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©eA©š Ð÷g@(list_ind/fó€ÐB·©q©› ‚€°©wC©š Ð÷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© »ÔµÍÐBBB°@ @ @@D·©! ¹Ç©æ°É©ã©À¹¿©Q°»Áú©J©êýü·¶Å·cÆ©v È©ש,ÀÆýC©ù°õ©HÐÐÞ÷©QÀÒàù © ‘µ©† š Ð÷¢¢x&Church@m #J€š Ð÷@#one %›€C©°©š Ð÷@$succ¬6o€š Ð÷@$zero¬Ü•€‘µ©¦  š Ð÷ @#two -]€C©*°'©! ‘µ©´ .š Ð÷.@%three‘·W€C©8°5©& ‘µ