<`„•ŠŸ\†\B"›Ð $func@ÀА¢°B$func@  #day‘(4@ ”@ð&monday'tuesday)wednesday(thursday&friday(saturday&sundayðA@ @ A B@ð@@@@@@@¢@¡@ð¡@€¡@€¡@€¡@€¡@€¡@€¡@€G@ð @@ A@ B@ C@ D@ E@ F@@AA@@@@@@  (day_rectà@·!P¶!d› °’°BA@@>@”‘  L@A·!f©5œ  @A·©Bœ  @B·©Cœ  @C·©Dœ  %@D·©Eœ  ,@E·$©Fœ  3@F·+©Gœ  :@G·?=ÍÀ °’@{@@e°@Cð@@@@@@@·GE©JooðH!(/6¶Q¶O›M”‘I¶F©yœD¶J©BœA¶N©?œ>¶R©<œ;¶V©9œ8¶Z©6œ5¶^©3œ2¶o›m©I˜ @° ð+T()= ' ' ' ' ' ' ' Qßÿÿÿ ' + T$'  °<A¬@€@@  'day_indà@·ˆ¶‡› °’°BÇ@@Ä@”A©š°@œž¶¶‰©œœ  @A¶©ˆœ  @B¶ ©‡œ  @C¶©†œ  $@D¶©…œ  *@E¶©„œ  0@F¶%©ƒœ  6@G¶:9©Q萐 @° ,+T7$'  ’:X@€@@  'day_recà@·׶֛ °’°B@@@”@©š°@됐¶¶Ø© œ  @A¶©אœ  @B¶ ©֐œ  @C¶©Րœ  $@D¶©Ԑœ  *@E¶©Ӑœ  0@F¶%©Ґœ  6@G¶:9© 7 @° ,+T7$'  ’:X@€@@  ,next_weekdayà@·!d› °’°Bd@@a@ÍÀ ë@@N°@Cð@@@@@@@·   U𜠠 @Bœ  @Cœ  @Dœ  @Eœ  @A¶ @° Ø+T= E'E'E'I'H'G'F'QÞÿÿÿ'+T6'  ° _A   ‘‘)Ì@€@@  1test_next_weekdayà@©œ  ° %Logic $Init #Coq@@"eq@A › °’°B€@@¡@œ  @B©› @° ©š° @Y©œ  @F@@A  $bool‘(4@ ¶µ $true%false ¯¯@® @@¢@¡@ ¡@€¡@€B@  @@ A@@AA@@@@@@  )bool_rectà@·!P¶!b› °’°Bâ@@)@”‘  í@C·!f©֐œ  @A·©¡œ  @B·ÍÀ °}@A@@6°@C @@·" ©™êê ©°¶*¶(›&”‘"¶©óœ¶#©Œœ¶4›2©³ý @° œ+T()= ''Qóÿÿÿ'+T$'  °$OAX@€@@  (bool_indà@·L¶K› °’°B,@@s@”A©š°@`¶¶M©"œ  @A¶©퐜  @B¶©å/ @° ,+T7$'  ’X@€@@  (bool_recà@·}¶|› °’°B]@@€@”@©š°@‘N¶¶~©Sœ  @A¶©œ  @B¶©` @° ,+T7$'  ’X@€@@  $negbà@·!b› °’°B@@Ô@ÍÀ —@@Ì°@C @@·   ~ œ   @Bœ  @A¶ @° „+T= E'F'Qóÿÿÿ'+T6'  °ÙAL  ‘‘ x@€@@  $andbà@·"b1› °’°B¹@@@·"b2ÍÀ/@ú°@C @@·!bs ¯œ  @B¶¶ @° +T()= F''Qóÿÿÿ'+T6'  °AX  ‘‘"„@€@@  #orbà@·"b1› °’°Bç@@.@·"b2ÍÀ]@(°@C @@·!b¡ œ  @Aà¶¶ @° +T()= 'E'Qóÿÿÿ'+T6'  °5AX  ‘‘"„@€@@  )test_orb1à@©œ  ° | { z@@y@A › °’°B@@c@œ  @A©› @° ©š° @N  œ  @B@@A  )test_orb2à@©œ  ° € £ ¢@@¡@A › °’°BD@@‹@œ  @B©› @° ©š° @v    @@A  )test_orb3à@©œ  ° É È Ç@@Æ@A › °’°Bi@@°@œ  @A©› @° ©š° @› œ  @B@@A  )test_orb4à@©œ  ° ñ ð ï@@î@A › °’°B‘@@Ø@œ  @A©› @° ©š° @à   @@A  $norbà@·"b1› °’°B¯@@ö@·"b2ÍÀ%@ð°@C @@·!bi ©š°@>©œ  @A¶¶ @°  +T()= E'7$'Qïÿÿÿ'+T6'  ’H  °Ah  ‘‘)”@€@@  *test_norb1à@©œ  ° K J I@@H@A › °’°Bë@@2@œ  @A©› @° ©š° @U  œ  @B@@A  *test_norb2à@©œ  ° s r q@@p@A › °’°B@@Z@œ  @A©› @° ©š° @} œ  @B@@A  *test_norb3à@©œ  ° › š ™@@˜@A › °’°B;@@‚@œ  @A©› @° ©š° @¥ œ  @B@@A  *test_norb4à@©œ  ° à Á@@À@A › °’°Bc@@ª@œ  @B©› @° ©š° @Í œ  @A@@A  %andb3à@·"b1› °’°B„@@Ë@·"b2·"b3 ÍÀý@È°@C @@·!b: ÍÀ@а@C @@F ‚œ  @B¶¶¶ @° ø+T()=F'= F''Q óÿÿÿ'Qãÿÿÿ'+T6'+T6'  °ÛA|  ° ßA˜  ‘‘/Ä  ‘‘3ì@€@@  +test_andb31à@©œ  ° * ) (@@'@A › °’°BÊ@@@œ  @A©› @° ©š° @_°    @@A  +test_andb32à@©œ  ° O N M@@L@A › °’°Bï@@6@œ  @B©› @° ©š° @„° œ  @A@@A  +test_andb33à@©œ  ° w v u@@t@A › °’°B@@^@œ  @B©› @° ©š° @¬°œ  @A@@A  +test_andb34à@©œ  ° Ÿ ž @@œ@A › °’°B?@@†@œ  @B©› @° ©š° @Ô°œ  @A@@A  #Nat’А¢°C#Nat`  #nat‘(4@ XW !O!S Q¶@R@Q @A¢@¡@ ¡@€¡@@AA  @@ AA@AA@@@@@@  (nat_rectà@·!P¶!n› °’°C/ Ž@@-@”‘  “@J·!f©|œ  @A·¶¶@©B…©=©œ  @BQž  @@°!F¶+)©N˜·/-ÍÀ °’]@Y@@M°@C @@·75©L€€ \·;9©^ š%¶B¶@›>”‘9¶6©°œ4¶:¶I›G¶@©už©p©œ3‚¶S›Q©wÁ @° ,+T() ,/'*(=>3 %''Qëÿÿÿ'+T$'+7ST$'  °/nA°  ‘‘`@€@@  'nat_indà@·o¶n› °’°Cœ û@@š@”A©š°@„搶¶p©된  @A¶¶¶@©±ô©¬©œ  @BÀ¶#"©Žþ @° ,+T7$'  ’"X@€@@  'nat_recà@·§¶Š› °’°CÔ 3@@Ò@”@©š°@Œ¶¶š©#œ  @A¶¶¶@©é,©䐩œ  @Bø¶#"©ì6 @° ,+T7$'  ’"X@€@@@@¢ý  û‘ú  ãâ  wv  BA@@@  $predà@·!m› ° )Datatypes $Init #Coq@@#nat@ÍÀ °      @@ @@ @A°@C @@·!no œ  @A·"m' v¶$"" @° Œ+T= >'E'Qñÿÿÿ'+T6'  °  @@ AAAT  ‘‘1€@€@@  (minustwoà@·!m› ° = < ;@@:@ÍÀ9@3°@C @@·!n¡ œ  @A·ÍÀ E@@@°@C @@ «  ·"m'¯¶  @° ü+T=>= >'E'Qñÿÿÿ'E'Qßÿÿÿ'+T6'+T6'  °9At  °#=Aœ  ‘‘.È  ‘‘2ð@€@@  %evenbà@ž  @@° ¶!n› ° ƒ ‚ @@€@› °’°Bú@@A@·ÍÀ†@€°@C @@· 제  @A·ÍÀ @@‹°@C @@ ö œ  @B·"n'$©µÿ* @° L,DT*(= >= >3$'F'Qîÿÿÿ'E'QÜÿÿÿ'+T6'+T6'+7ST6'  °ˆA˜  °%ŒAÀ  ‘‘0ì  ‘‘4  ‘‘?0  ‘‘<@@€@@  $oddbà@·!n› ° Ò Ñ Ð@@Ï@©š°’°BI@@ʐ©š°@p9¶› ° @š@ @° 8+T7 7$'  ’X  ’d@€@@  *test_oddb1à@©œ  ° Õ ü û@@Ò@A › °’°Bu@@Œ@œ  @A©› @° ©š° @L©œ  °   @@@Bœ   @A@@A  *test_oddb2à@©œ  °  . -@@@A › °’°B§@@î@œ  @B©› @° ©š° @~©œ  ° J I H@@G@B© © ©œ  @A@@A  $plusà@ž  @@° ¶!m› ° p o n@@m@¶!n  · · ÍÀr@l°@C @@·  Ù·"m'©œ  @B©™ ãš! @° ,-T(*()= > 3!9''Qìÿÿÿ'+T6'+7ST+7S'6'  °lAŒ  ‘‘*ž  ‘‘.Ô  ‘‘2𠠑‘6@€@@  %timesà@ž  @@° ¶!m› ° º ¹ ž@@·@¶!n  · · ÍÀŒ@¶°@C @@· 砜  @A·"m'©š°’°BC@@y ©ç 1öö% @° ,0T(*()=> 3!7%'E'Qéÿÿÿ'+T6'+7ST+7S'6'  ’l  ° œA˜  ‘‘1Ä  ‘‘5à  ‘‘9ü  ‘‘=@€@@  %minusà@ž  A@° ¶!m› °      @@@¶!n  · · ÍÀ @°@C @@· s 9·"n'©/ ©š°’°B“@@1=" @° ,/T(*()=> 7 3%''Qêÿÿÿ'+T6'+7ST+7S'6'  ’ `  ° A”  ‘‘.À  ‘‘2Ü  ‘‘6ø  ‘‘: @€@@  #expà@ž  A@° ¶$base› ° Y X W@@V@¶%power  · · ÍÀ[@U°@C @@·!nੜ  @Bœ  @A·!p ©š°’°Bé@@Õ “© •א, @°  ,1T(*()=> 3! 7%'6'Qèÿÿÿ'+T6'+7ST+7S'6'  ’l  ‘£A’@„  °-iAœ  ‘‘>È  ‘‘Bä  ‘‘F  ‘‘J@€@@  +test_times1à@©œ  ° † ­ ¬@@ƒ@A › ° ¶ µ Ž@@³@©œ   @B©©© © © ©©©œ  @A©› )@°$©š°’°B J@@6 #@@A  )factorialà@ž  @@° ¶!n› ° õ ô ó@@ò@·  ÍÀó@í°@C @@· Y ©œ  @Bœ  @A·"n'©š°’°B @@k  0© * m& @° ð,-T*(=>3 7%'6'Qéÿÿÿ'+T6'+7ST6'  ’\  ‘£A’@t  °+ÿAŒ  ‘‘8ž  ‘‘<Ô  ‘‘@ä@€@@  /test_factorial1à@©œ  °  ? >@@@A › ° H G F@@E@©œ   @B©©© © © œ  @A©› #@°©š°’°B Ö@@‡@@A  /test_factorial2à@©œ  ° P w v@@M@A › ° €  ~@@}@©œ   @B©©© © © ©©©©©©©©©©!©#©%©'©)©+©-©/©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©{©}©©©ƒ©…©‡©‰©‹©©©‘©“©•©—©™©›©©Ÿ©¡©£©¥©§©©©«©­©¯©±©³©µ©·©¹©»©œ©¿©Á©ЩŐ©ǐ©ɐ©ː©͐©ϐ©ѐ©Ӑ©Ր©א©ِ©ې©ݐ©ߐ©ᐩ㐩吩琩鐩됩퐩ñœ  û@A©› @°©š°’°B ò@@£©š°@â &*@@A  'beq_natà@ž  @@° ¶!m› ° ¡   Ÿ@@ž@¶!n › °’°B @@ b@·· ÍÀš@¢°@C @@·  Ó ÍÀ®@š°@C @@  œ  @A·"n'#œ  @B·"m')ÍÀ¿@¹°@C @@ é  ·/© ×  í (5 @° ì,dT(*()=3>= > 3%'F'Q"íÿÿÿ'= >F'E'Qñÿÿÿ'QÉÿÿÿ'+T6'+T6'+T6'+7ST+7S'6'  °±Aš  °&µAü  °0¹A  ‘‘<D  ‘‘@l  ‘‘D”  ‘‘R°  ‘‘VÌ  ‘‘Pà@€@@  'ble_natà@ž  @@° ¶!m› °    @@ @¶!n › °’°B ‰@@ Ð@·· ÍÀ@°@C @@·  A œ  @A·"m'ÍÀ"@°@C @@  L œ  @B·"n')© ?  U / @° |,HT(*()=!>= > 3%'F'Qíÿÿÿ'E'QÛÿÿÿ'+T6'+T6'+7ST+7S'6'  °Aš  °&AР ‘‘2ü  ‘‘6$  ‘‘D@  ‘‘H\  ‘‘Bp@€@@  -test_ble_nat1à@©œ  °  > $Init #Coq@@ =@A › °’°B à@@ '@œ  @A©› @° ©š° @‚ ©œ  ° )Datatypes  @@#nat@B© œ   @A@@A  -test_ble_nat2à@©œ  °  v 8 7@@ s@A › °’°B @@ ]@œ  @A©› @° ©š° @ž ©œ  ° 6 S R@@5@B© œ   @A©©@@A  -test_ble_nat3à@©œ  °  ® p o@@ «@A › °’°B N@@ •@œ  @B©› @° ©š° @𠩜  ° n ‹ Š@@m@B© © ©œ  @A@@A  'blt_natà@·!m› °    @@ @·!n ©š°’°B ‰@@  ©œ  @B ? z¶›¶› @° D+T() 97%'  ’p@€@@  -test_blt_nat1à@©œ  °   Õ Ô@@ @A › °’°B ³@@ ú@œ  @B©› @° ©š° @M ©œ  ° Ó ð ï@@Ò@B© œ   @A@@A  -test_blt_nat2à@©œ  °  G   @@ D@A › °’°B ç@@ .@œ  @A©› @° ©š° @ ©œ  °  $ #@@@B© œ   @A©©@@A  -test_blt_nat3à@©œ  °   A @@@ |@A › °’°B @@ f@œ  @B©› @° ©š° @¹ ©œ  ° ? \ [@@>@B© © ©œ  @A@@A  'NatList’А¢°D'NatList P  'prodnat‘(4@  H G$pair¶@›߶@›á @ CB¢@¡@¡@ ¡@€@A AB@AA@@@@@@  ,prodnat_rectà@·!P¶!p› °’°D/  ~@@-@”‘   ƒ@Z·!f¶!n› °   @@@¶ © 5©œ  @A  B }·#!ÍÀ °’Q@M@@?°@C@·+)© > ˆ ˆ N¶3¶1›/”‘*¶'¶%›#¶'›%© S©œ  ^ ™¶?›=© Z  @° ”+T()=>%Qõÿÿÿ'+T$'  °'YAP@€@@  +prodnat_indà@·W¶V› °’°D„  Ó@@‚@”A©š°@l Ÿ¶¶X¶W› ° n m l@@k@¶ © ‹©œ  @A  ˜ Ó¶#"© “ ֐ @° ,+T7$'  ’"X@€@@  +prodnat_recà@·¶Ž› °’°DŒ  @@º@”@©š°@€ ö¶¶¶› ° Š ¥ €@@£@¶ © Щœ  @A  Ð ¶#"© ː @° ,+T7$'  ’"X@€@@  #fstà@·!p› °’°Dó B@@ñ@ÍÀ ©@@æ°@C@· › ° × Ö Õ@@Ô@4·!x ·!y¶ @° |+T=>'Qõÿÿÿ'+T6'  °ùAD  ‘‘p@€@@  #sndà@·!p› °’°D' v@@%@ÍÀ4@°@C@·  › °     @@@g·!x ·!yn¶ @° |+T=>'Qõÿÿÿ'+T6'  °,AD  ‘‘p@€@@  $fst'à@·!p› °’°DZ ©@@X@ÍÀg@L°@C@·  › ° = < ;@@:@š·!x ·!yf¶ @° |+T=>'Qõÿÿÿ'+T6'  °_AD  ‘‘p@€@@  $snd'à@·!p› °’°D Ü@@‹@ÍÀš@°@C@·  › ° p o n@@m@͐·!x ·!yԐ¶ @° |+T=>'Qõÿÿÿ'+T6'  °’AD  ‘‘p@€@@  )swap_pairà@·!p› °’°DÀ @@Ÿ@ÍÀÍ@²°@C@·   ù·!x› ° § Š ¥@@€@·!y ©œ  @A  ѐ¶"   @° ˆ+T= > :'Qòÿÿÿ'+T6'  °"ÊAP  ‘‘,|@€@@  'natlist‘(4@ /. #nil$cons (¶@›Ƕ@ðé@* @B¢@¡@ ¡@€¡@ è@AA  @@ AB@AA@@@@@@  ,natlist_rectà@·!P¶!n› °’°D g@@/@”‘  l@`·!f©Uœ  @A·¶› °      @@ @¶¶@©f©©œ  $@B +2ž  @@°!F¶31·53ÍÀ °û@`@@R°@C @@·<:©*‚‚ :·@)·A?©6°L‡#¶H¶F›D”‘?¶<©œ:¶@¶O›8¶Q›O¶@©O™©J©œ3 \c¶[›Y©X¢ @° 0+T() ,0'*(=>3 &''Qêÿÿÿ'+T$'+7ST$'  °1vAŽ  ‘‘h @€@@  +natlist_indà@·w¶v› °’°D Ü@@€@”A©š°@Œǐ¶¶x©̐œ  @A¶¶› °  |  {  z@@ y@¶ ¶@©“Ý©Ž©œ  &@B ¢©¶+*  @° ,+T7$'  ’(X@€@@  +natlist_recà@·µ¶Ž› °’°DË @@â@”@©š°@ʐ¶¶¶© œ  @A¶¶› °  º  ¹  ž@@ ·@¶ ¶@©ѐ©̐©œ  &@B àç¶+*  @° ,+T7$'  ’(X@€@@  $l123à@©œ  °’°D V@@@B ©œ  ° e ‚ @@d@Bœ   @A© ©© ©œ  @A›  @ @°,6T  ‘£A £A’@£A £A£A’@£A £A£A£A’@’@D@€@@  %l123'à@©œ  °’°DQ  @@h@B ©œ  ° ¯ Ì Ë@@®@Bœ   @A© ©© ©œ  @A›  @ @°,6T  ‘£A £A’@£A £A£A’@£A £A£A£A’@’@D@€@@  &l123''à@©œ  °’°D› ê@@²@B ©œ  ° ù  @@ø@Bœ   @A© ©© ©œ  @A›  @ @°,6T  ‘£A £A’@£A £A£A’@£A £A£A£A’@’@D@€@@  'l123'''à@©œ  °’°Då 4@@ü@B ©œ  ° C ` _@@B@Bœ   @A© ©© ©œ  @A›  @ @°,6T  ‘£A £A’@£A £A£A’@£A £A£A£A’@’@D@€@@  $headà@·!l› °’°D0 @@G@ÍÀ ë@@<°@C @@·!n› °      @@ @s œ   @A·!h·!tB¶#! @° Œ+T= >'E'Qñÿÿÿ'+T6'  °#SAT  ‘‘€@€@@  $tailà@·!l› °’°Di ž@@€@ÍÀ9@t°@C @@·!n  € œ  @A·!h› °  U  T  S@@ R@·!tµ¶"   @° Œ+T= >'E'Qñÿÿÿ'+T6'  °"‹AT  ‘‘,€@€@@  &repeatà@ž  A@° ¶!n› °    €  @@ ~@¶%count › °’°D³ @@Ê@·· ÍÀ ‰@ ƒ°@C @@·  @A·&count'©œ  @B ¹©³ »ý* @° ,.T(*()=> 3! :'E'Qëÿÿÿ'+T6'+7ST+7S'6'  ° †A  ‘‘)Œ  ‘‘7Ø  ‘‘;ô  ‘‘5@€@@  &lengthà@ž  @@° ¶!l› °’°Dü K@@@› °  Ú  Ù  Ø@@ ×@·ÍÀÕ@°@C @@·!n@ œ  @A·!h·!t ©œ  @B©Q+ @° à,)T*(= >3 9'E'Qíÿÿÿ'+T6'+7ST6'  °!&A|  ‘‘.š  ‘‘8Ä  ‘‘6Ô@€@@  #appà@ž  @@° ¶"l1› °’°DL ›@@c@¶"l2  ·  · ÍÀ"@]°@C @@·!nR Ž·!h› °  ;  :  9@@ 8@·!t!©œ  #@B e©Q ¢`, @° ,.T(*()=> 3! :''Qëÿÿÿ'+T6'+7ST+7S'6'  °%wA  ‘‘5Œ  ‘‘9Ø  ‘‘=ô  ‘‘A@€@@  )test_app1à@©œ  ° H    @@E@A › °’°D  ï@@·@©œ  @B ©œ  °   @@@Bœ   @A© ©© ©© ©© ©œ  )@A©› 5@°0©š°0@˜ ©. +©0 ©2 4@@A  )test_app2à@©œ  ° – X W@@“@A › °’°Dî =@@@©œ  @B ©œ  ° P m l@@O@B© © ©œ  @A© ©œ  #@A©› /@°*©š°*@à  ((@@A  )test_app3à@©œ  ° Ø š ™@@Õ@A › °’°D0 @@G@©œ  @B ©œ  ° ’ ¯ ®@@‘@Bœ   @A© ©© ©œ  !@A©› -@°(©š°(@  & &@@A  (nonzerosà@ž  @@° ¶!l› °’°Dq À@@ˆ@· ÍÀC@~°@C @@·!n® œ  @A·!h› °  _  ^  ]@@ \@·!t ÍÀ ^@ X°@C @@·%‰ ©}Ç·"h'©œ  -@B ©€–6 @° `,IT*(="%>= >3 :'3$'Qéÿÿÿ'E'Q×ÿÿÿ'+T6'+T6'+7ST6'  ° ZA¬  °7ªAÔ  ‘‘C  ‘‘G(  ‘‘KD  ‘‘OT@€@@  -test_nonzerosà@©œ  ° { = <@@x@A › °’°DÓ "@@ê@©œ  @B ©œ  ° 5 R Q@@4@Bœ   @A© ©© ©œ  !@A©› -@°(©š°(@ž©& ©( %©* ©, ©. ©0 #©2 %4@@A  *oddmembersà@ž  @@° ¶!l› °’°D" q@@9@· ÍÀô@/°@C @@·!n_ œ  @A·!h› °   @@ @·!t ÍÀ 6@ð@C @@·!b› °’°B—@@Ø@,©š°@ `E ©œ  3@B K©>ˆ< @° d,JT*(=#&>7 = 3$'3 :'Qëÿÿÿ'E'QÖÿÿÿ'+T6'+T6'+7ST6'  ’P  °$ÞA°  °@dAØ  ‘‘L  ‘‘P,  ‘‘TH  ‘‘XX@€@@  /test_oddmembersà@©œ  ° 5 ÷ ö@@2@A › °’°D Ü@@€@©œ  @B ©œ  ° ï    @@î@Bœ   @A© ©©œ  @A©› +@°&©š°&@¥©$ ©& #©( ©* ©, ©. !©0 #2@@A  /countoddmembersà@ž  @@° ¶!l› °’°DÚ )@@ñ@› ° ž · ¶@@µ@·ÍÀ³@î°@C @@·!n œ  @A·!h·!t ÍÀ î@{°@C @@·!b› °’°BO@@@&©š°@ý ©œ  -@B©ö@< @° `,IT*(="%>7 = 3$'3 9'Qìÿÿÿ'E'Q×ÿÿÿ'+T6'+T6'+7ST6'  ’P  °$–A¬  °9AÔ  ‘‘F  ‘‘J(  ‘‘TD  ‘‘RT@€@@  5test_countoddmembers1à@©œ  ° í  @@ê@A › °   @@@©œ   @B©©© œ  @A©› @°©š°’°D_ ®@@œ©œ  ° @|@B © © ©  ©  (© ©*,œ  @A/@@A  5test_countoddmembers2à@©œ  ° 7 ^ ]@@4@A › ° g f e@@d@œ  @A©› @°©š°’°Dž í@@ې©œ  ° @»@B © ©œ   @B©© © ©  œ  @A'@@A  5test_countoddmembers3à@©œ  ° y   Ÿ@@v@A › ° © š §@@Š@œ  @A©› @°©š°’°Dà /@@œ  °@ü@A@@A  )alternateà@ž  @@° ¶"l1› °’°D  O@@@¶"l2  ·  · ÍÀÖ@°@C @@·!n B·"h1› ° ï î í@@ì@·"t1!ÍÀë@&°@C @@  ·"h2·"t2,©œ  .@B © &© !c9 @° ,MT(*()=#&>=>3! : :''Qèÿÿÿ''QÖÿÿÿ'+T6'+T6'+7ST+7S'6'  °8AŒ  °6  =@@ @Bœ   @A© ©©©© © © ©œ  )@A©› 5@°0©š°0@ ©. +0@@A  /test_alternate3à@©œ  ° ±  s  r@@®@A › °’°D  X@@ @©œ  @B ©œ  °  k  ˆ  ‡@@ j@Bœ   @A© ©©©© © œ  %@A©› 1@°,©š°,@I ©* '©, .@@A  $snocà@ž  @@° ¶!l› °’°D R ¡@@i@¶!v› ° 3 2 1@@0@··  ÍÀ/@j°@C @@·!n_ ©œ  @B  œ  !@A·!h·!t)© p©\ ­k1 @°  ,1T(*()=> 3! :'E :'Qèÿÿÿ'+T6'+7ST+7S'6'  °#‚Aœ  ‘‘:È  ‘‘>ä  ‘‘9  ‘‘F@€@@  'reverseà@ž  @@° ¶!l› °’°D ¬ û@@Ã@· ÍÀ~@¹°@C @@·!n頜  @A·!h› ° š ™ ˜@@—@·!t ©š° @Ž ©¶Ő* @° ì,,T*(=> 3 7%'E'Qêÿÿÿ'+T6'+7ST6'  ’ \  °*ØAˆ  ‘‘6Ž  ‘‘:Р ‘‘>à@€@@  -test_reverse1à@©œ  ° ¥  g  f@@¢@A › °’°D ý L@@ @©œ  @B ©œ  °  _  |  {@@ ^@B© © œ   @A©  ©  œ  !@A©› -@°(©š°(@©& ©( ©* ',@@A  -test_reverse2à@©œ  ° ë ê é@@è@A › °’°D C ’@@ Z@œ  @A©› @°©š°@¹  @@A  #bagà@› °’°D _ ®@@ v@Ÿ @°,6T  ‘‘D@€@@  %countà@ž  A@° ¶!v› ° Z Y X@@W@¶!sš°’°D ‹ Ú@@8·· ÍÀ6@ ™°@C @@·!n› °@ ¯@Ì œ  @A·!h#·!t ÍÀ Ö@)°@C @@·!b› °’°Bý@@>@2©š°@ ÿ « ©œ  9@B© ¥îB @° ˜,OT(*()=%(> 7!=  3%' 3!9'Qêÿÿÿ'E'QÔÿÿÿ'+T6'+T6'+7ST+7S'6'  ’`  °$DAÄ  °< ÊAì  ‘‘R  ‘‘V@  ‘‘Z\  ’Sx  ‘‘aŒ@€@@  +test_count1à@©œ  ° ž Å Ä@@›@A › ° ΠÍ Ì@@Ë@©œ   @B©©œ  @A©› @°©š°’°D  ]@@£ ©œ  ° @ +@B © © "©  ©  ©&(© #œ  @A-@@A  +test_count2à@©œ  ° æ    @@ã@A › °   @@@œ  @A©› @°©š°’°D M œ@@â ©œ  @B©©© © © ©œ  °@ y@B ©  © ©  ©  © œ  @A1@@A  %unionà@š°’°D  Î@@J=‘@@  +test_union1à@©œ  ° C j i@@@@A › ° s r q@@p@©œ   @B©©œ  @A©› @°©š°’°D ³ @@H ©š°@C ©œ  ° @ Ô@B © © &œ   @A©  $© ©-/© * 1@@A  #addà@·!v› ° ž · ¶@@µ@·!sš°’°D é 8@@–©œ  °@ @B è#¶¶ @° 4+T() :'@€@@  )test_add1à@©œ  ° · Þ Ý@@Ž@A › ° ç æ å@@ä@©œ   @B©©œ  @A©› @°©š°’°D ' v@@Œ ©š°@Z ©œ  ° @ H@B © ©$&©  !œ   @A+@@A  )test_add2à@©œ  ° ý $ #@@ú@A › ° - , +@@*@œ  @A©› @°©š°’°D d ³@@ù ©œ  @B©©© © ©š°@€ ©œ  °@ ’@B  © © œ   @A-@@A  &memberà@·!v› ° n m l@@k@·!sš°’°D Ÿ è@@L©š°’°Bí@@n©š°@ö ©š°@A Šᜠ @A¶$"¶› °@F@ @° X+T()E 7!7!7$'  ’l  ’x  ’#D@€@@  ,test_member1à@©œ  ° „ F E@@@A › °’°B$@@k@œ  @A©› @° ©š°’°D é 2@@b ©œ  ° G d c@@F@Bœ   @A©œ  °@ @B © ©©©© œ  @A/@@A  ,test_member2à@©œ  ° Ì Ž @@É@A › °’°Bl@@³@œ  @B©› @° ©š°’°D1 z@@ª ©œ  °  ¬ «@@Ž@B© œ   @A©œ  °@ ]@B  © ©©©  œ   @A/@@A  *remove_oneà@ž  A@° ¶!v› ° E D C@@B@¶!sš°’°Dv Å@@#·· ÍÀ!@ „°@C @@·!n› °@ š@· œ  @A·!h#·!t ÍÀÁ@°@C @@·!b› °’°Bè@@)@(©š°@ê –ˆ Ò©œ   @B œ©ˆ ِB @° Œ,LT(*()="%> 7!=  3! :''Qíÿÿÿ'E'Q×ÿÿÿ'+T6'+T6'+7ST+7S'6'  ’`  °$/Až  °< µAà  ’G   ’J4  ‘‘XP  ’Ql  ’T€@€@@  0test_remove_one1à@©œ  ° † ­ ¬@@ƒ@A › ° ¶ µ Ž@@³@œ  @A©› @°©š°’°Dí <@@‚ ©œ  @B©©© © ©š°@š ©œ  °@ @B © © ©  ©  œ   @A1@@A  0test_remove_one2à@©œ  ° Ò ù ø@@Ï@A › °   @@ÿ@œ  @A©› @°©š°’°D9 ˆ@@Π©œ  @B©©© © ©š°@ô ©œ  °@ g@B © © ©  œ   @A/@@A  0test_remove_one3à@©œ  °  C B@@@A › ° L K J@@I@©œ   @B©œ  @A©› @°©š°’°DŠ Ù@@ ©©©š° @< © ©œ  °@ ±@B &© #© ©  ©  )© œ  @A3@@A  0test_remove_one4à@©œ  ° j ‘ @@g@A › ° š ™ ˜@@—@©œ   @Bœ   @A©› @°©š°’°DÖ %@@k ©©©©©š°@Œ  ©œ  °@ ÿ@B  © (© ©  ©  © 0© œ  @A5@@A  *remove_allà@ž  A@° ¶!v› ° ë ê é@@è@¶!sš°’°D k@@ɐ·· ÍÀÇ@*°@C @@·!n› °@@@] œ  @A·!h#·!t ÍÀg@º°@C @@·!b› °’°BŽ@@Ï@(©š°@ <. ©) 1z©œ  "@B DB @° œ,PT(*()=&)> 7!=  3! :' 3%'Qéÿÿÿ'E'QÓÿÿÿ'+T6'+T6'+7ST+7S'6'  ’`  °$ÕAÈ  °<[A𠠒G  ’JD  ‘‘X`  ’Q|  ’T@€@@  0test_remove_all1à@©œ  ° , S R@@)@A › ° \ [ Z@@Y@œ  @A©› @°©š°’°D“ â@@( ©œ  @B©©© © ©š°@š ©œ  °@Á@B © © ©  ©  œ   @A1@@A  0test_remove_all2à@©œ  ° x Ÿ ž@@u@A › ° š § Š@@¥@œ  @A©› @°©š°’°Dß .@@t ©œ  @B©©© © ©š°@ô ©œ  °@ @B © © ©  œ   @A/@@A  0test_remove_all3à@©œ  °  é è@@¿@A › ° ò ñ ð@@ï@©œ   @B©œ  @A©› @°©š°’°D0 @@Å ©©©š° @< © ©œ  °@W@B &© #© ©  ©  )© œ  @A3@@A  0test_remove_all4à@©œ  °  7 6@@ @A › ° @ ? >@@=@œ  @A©› @°©š°’°Dw Æ@@  ©œ  @B©©© © ©š°@Œ ©œ  °@¥@B © © ©  ©  © © œ  @A5@@A  &subsetà@ž  @@° ¶"s1š°’°Dž @@e¶"s2› °’°B @@P@·· ÍÀk@ΰ@C @@·!n› °@ä@Æ œ  @A·"h1› ° ² ± °@@¯@·"t1©š°#@ ©š°0@^ ßØ©Ë ©š°6@• åސ= @° <,8T(*()=> 7! 3! 7!7%'E'Qáÿÿÿ'+T6'+7ST+7S'6'  ’ `  ’€  ’Œ  °;þAž  ‘‘Gä  ’R  ’U  ‘‘Q0@€@@  ,test_subset1à@©œ  ° Í  Ž@@Ê@A › °’°Bm@@Ž@œ  @A©› @° ©š°’°D2 {@@ ©œ  ° @O@B ©œ  ° – ³ ²@@•@Bœ   @A© ©œ  @A© © © ©©©$  5@@A  ,test_subset2à@©œ  °  Ý Ü@@@A › °’°B»@@@œ  @B©› @° ©š°’°D€ É@@Þ ©œ  ° @@B ©œ  ° ä  @@ã@Bœ   @A© ©© œ  @A©  © ©  ©©©& "7@@A  )natoption‘(4@ óò $Some$None ¶@›‹³î@í A@¢@¡@ ¡@ª¡@€AA  AA @@@AA@@@@@@  .natoption_rectà@·!P¶!n› °’°DÚ  )@@-@”‘   .@w·!f¶› ° Á À ¿@@Ÿ@©䐩œ  @A %·©쐜  !@B·&$ÍÀ °®@O@@B°@C @@·-+©ä 5 5 ôû¶5¶3›1”‘,¶)¶8›'© ©œ! D¶1© œ¶C›A©  L @° €+T()= '>$Qñÿÿÿ'+T$'  °(^A`@€@@  -natoption_indà@·[¶Z› °’°D3  ‚@@†@”A©š°@p m¶¶\¶› °   @@@© ?©œ  @A €¶© Gœ  #@B¶'&© ? ‰ @° ,+T7$'  ’&X@€@@  -natoption_recà@·—¶–› °’°Do  Ÿ@@Â@”@©š°@¬ ©¶¶˜¶› ° X W V@@U@© {©œ  @A Œ¶© ƒœ  #@B¶'&© { Ր @° ,+T7$'  ’&X@€@@  )index_badà@ž  A@° ¶!n› ° Š ‰ ˆ@@‡@¶!l› °’°DŒ ! @@Ó@··  ÍÀ@Ê°@C @@· ø ©œ  @B©©© © © ©©©©©©©©©©!©#©%©'©)©+©-©/©1©3©5©7©9©;©=©?©A©C©E©G©I©K©M©O©Q©S©Uœ  q@A·!av·"l'oÍÀY@¬°@C @@·!b› °’°B!€@@Á@…©š°@‚ !  !/©! ©š° @"!'!p” @° ”,NT(*()=#'>E 7!=  7 3%''Qìÿÿÿ'6'QÕÿÿÿ'+T6'+T6'+7ST+7S'6'  ’`  ’ˆ  °&ÉAŒ  ‘£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A£A’@Р °è§Aè  ‘‘ÿ  ‘‘<  ‘‘X  ‘‘t  ‘‘ˆ@€@@  %indexà@ž  A@° ¶!n› ° ­ ¬ «@@ª@¶!l› °’°Dß ".@@ö@› °@5@·· ÍÀµ@ð°@C @@· " œ   @B·!a"·"l'ÍÀ(@ {°@C @@·!b› °’°B"O@@ @!©š°@Q ! 6@A ©œ  +@A"©!ò ©š°@ù!þ"GH @° ˜,OT(*()=%(>E 7!=  7 3%'9'Qêÿÿÿ'E'QÔÿÿÿ'+T6'+T6'+7ST+7S'6'  ’`  ’ˆ  °.  AÄ  °A&Aì  ‘‘K  ‘‘O@  ‘‘c\  ‘‘]x  ‘‘[Œ@€@@  +test_index1à@©œ  °  û œ Œ@@ ø@A › °’°DS "¢@@Š@©œ  @A©œ  ° µ Ò Ñ@@Ž@B© © ©œ  @A©› (@°#©š°#@µ  ©œ  °)@@B "© ©$&©  ©(© ©,œ  @A6@@A  +test_index2à@©œ  ° !K    @@!H@A › °’°D£ "ò@@ö@©œ  @A©œ  °  " !@@@B© © ©©©©œ  @A©› .@°)©š°)@  ©œ  °/@æ@B © © "©  .œ   @A6@@A  +test_index3à@©œ  ° !› ] \@@!˜@A › °’°Dó #B@@F@œ  @B©› @°©š°@@ ©œ  ° \ y x@@[@B© © ©©©©©©©œ  @A©œ  °3@:@B © © ©  œ   @A:@@A  &index'à@ž  A@° ¶!n› °    @@@¶!l› °’°DR #¡@@i@› °@š@·· ÍÀ(@c°@C @@· #‘ œ   @B·!a"·"l'ÍÀ›@!î°@A @@·@› °’°B#À@@"@©š°@ #`œ  4@A ©œ  )@A#w©š°2@ਗ਼°@l#q#ºH @° œ,PT(*()=&)>E 7!= 7 7%'9'Qéÿÿÿ'E'QÓÿÿÿ'+T6'+T6'+7ST+7S'6'  ’`  ’ˆ  ’”  °1"AÈ  °DœA𠠑‘N  ‘‘RD  ‘‘f`  ‘‘`|  ‘‘^@€@@  +beq_natlistà@ž  @@° ¶"l1› °’°DÊ $@@á@¶"l2 › °’°B$@@"b@·· ÍÀ¥@à°@C @@·!n#Õ ÍÀ­@è°@C @A $ œ  @A· › ° Å Ä Ã@@Â@·"n0-œ  %@B·"h1·"t16ÍÀÊ@°@C A@&#ñ ·"h2·"t2B©š°9@!§ ©š°=@[ #ù$©#å $$DP @°  ,lT(*()=&;>=>3! 7!7%'F'Q"åÿÿÿ'= >F'E'Qñÿÿÿ'QÁÿÿÿ'+T6'+T6'+T6'+7ST+7S'6'  ’   ’œ  °%AÈ  °F#A  °R'A8  ‘‘^d  ‘‘bŒ  ‘‘fŽ  ‘‘sР ‘‘wì  ‘‘r@€@@  1test_beq_natlist1à@©œ  ° # "ÿ "þ@@"ý@A › °’°B$ @@"ç@œ  @A©› @° ©š°’°De $®@@² œ  °@@A@@A  1test_beq_natlist2à@©œ  ° #, î í@@#)@A › °’°B$Ì@@#@œ  @A©› @° ©š°’°D‘ $Ú@@Þ ©œ  ° @®@B ©œ  ° õ  @@ô@Bœ   @A© ©© ©œ  @A-@@A  1test_beq_natlist3à@©œ  ° #r 4 3@@#o@A › °’°B%@@#Y@œ  @B©› @° ©š°’°D× % @@$ ©œ  ° @ô@B ©œ  ° ; X W@@:@Bœ   @A© ©© ©œ  @A© ©   ©" ©  5@@A  *doit3timesà@·!f¶@› ° ê é è@@ç@·!n ©%©%©%%P¶¶@››¶› @° D+T() $'@€@@  0test_doit3times1à@©œ  ° #è  @@#å@A › °   @@@©œ   @B©©œ  @A©› @°©š°’°DX %¡@@V š°’°B%Š@@©©© ©"©$©&((@@A  &filterà@ž  A@° ¶!p¶@› ° ] \ [@@Z@› °’°B%Ú@@$@¶!l› °’°D” %ã@@«@··  ÍÀg@¢°@C @@·!n%Ò œ  @A·!h&·!tÍÀ#d@$/°@A @@·@'©%™%š ©œ  $@B %®©%š %¢%ë= @° ž,NT(*()=$'> =  3%' 3! :'Qéÿÿÿ'E'QÕÿÿÿ'+T6'+T6'+ +7SST+7S'6'6'  °$>AÀ  °-ÄAè  ‘‘:  ‘‘><  ‘‘Qh  ‘‘Fˆ  ‘‘Jœ  ‘‘V¬@€@@  ,test_filter1à@©œ  ° $ _ ^@@$š@A › °’°Dõ &D@@ @©œ  @B ©œ  ° W t s@@V@B© © ©œ  @A© ©©œ  %@A©› 1@°,©š°,@± š°’°B&r@@©. +©0 ©2 ©4 ©18@@A  0countoddmembers'à@·!l› °’°D@ &@@W@©š°@^©š° @Ú š°’°B&›@@a&€¶› °  ,  +  *@@ )@ @° @+T77!7$'  ’X  ’`  ’!l@€@@  6test_countoddmembers'1à@©œ  ° %#  J  I@@% @A › °  S  R  Q@@ P@©œ   @B©©© œ  @A©› @°©š°’°D• &ä@@d©œ  ° @²@B © © ©  ©  (© ©*,œ  @A/@@A  6test_countoddmembers'2à@©œ  ° %m  ”  “@@%j@A › °    œ  ›@@ š@œ  @A©› @°©š°’°DÔ '#@@£©œ  ° @ñ@B © ©œ   @B©© © ©  œ  @A'@@A  6test_countoddmembers'3à@©œ  ° %¯  Ö  Õ@@%¬@A › °  ß  Þ  Ý@@ Ü@œ  @A©› @°©š°’°D 'e@@吜  °@2@A@@A  -doublematchesà@ž  A@° ¶!p¶@› ° ! ! ! @@! @› °’°B'Œ@@%Í@¶!l› °’°DF '•@@]@··  ÍÀ@T°@C @@·!n'„ œ  @A·!h&·!tÍÀ%@%á°@A @@·@'©'K'Z ©œ  $@B '`© 'b©'N 'V'Ÿ? @° Ì,ST(*()=),> =  3! :' 3! : :'Qäÿÿÿ'E'QÐÿÿÿ'+T6'+T6'+ +7SST+7S'6'6'  °%òAÔ  °/xAü  ‘‘<(  ‘‘@P  ‘‘S|  ‘‘Hœ  ‘‘L°  ‘‘XÀ@€@@  2test_doublematchesà@©œ  ° &Q  @@&N@A › °’°D© 'ø@@À@©œ  @B ©œ  °   ( '@@ @B© © ©œ  @A© © ©© ©©" ©$ ©!œ  /@A©› ;@°6©š°6@œ š°’°B(0@@!M©8 5©:  <@@A  #mapà@ž  A@° ¶!f¶@› ° !Ù !Ø !×@@!Ö@¶!l› °’°D  (Z@@"@··  ÍÀÞ@°@C @@·!n(I œ  @A·!h!·!t©œ  @B ©((©(  ((\2 @° @,0T(*()=> 3!  :'E'Qéÿÿÿ'+T6'+ +7SST+7S'6'6'  °#1A˜  ‘‘0Ä  ‘‘>𠠑‘8  ‘‘<$  ‘‘J4@€@@  )test_map1à@©œ  ° ' È Ç@@'@A › °’°D^ (­@@u@©œ  @B œ  ° ¿ Ü Û@@Ÿ@A©   © ©œ   @B© © © © œ  %@A©› 1@°,©š°,@ž š°’°B(Û@@"6©. ©0 ©2 ©4 ©%©8 ©)<@@A  )test_map2à@©œ  ° '\ "ƒ "‚@@'Y@A › °’°DŽ )@@Ë@©œ  @B ©œ  ° "™ "˜ "—@@"–@B© œ   @A© ©© ©© ©œ  '@A©› 3@°.©š°.@ö &©, ©. +©0 ©2 4@@A  *map_filterà@·!p¶@› ° "Ô "Ó "Ò@@"Ñ@› °’°B)Q@@'’@·!f¶@·!l› °’°D )^@@&@©š°@) ) ©š° @© ) )K¶&$¶¶ @° L+T() 7! 7%'  ’h  ’x@€@@  /test_map_filterà@©œ  ° 'æ š §@@'ã@A › °’°D> )@@U@©œ  @B œ  ° Ÿ Œ »@@ž@A©  ©œ   @B©œ  @A©› )@°$©š°$@s°š°’°B)³@@"К°@#©( ©* ©, ©!©0 ©#4@@A  *countzerosà@·!l› °’°D… )Ô@@œ@©š°@£©š° @ ©š°’°B)á@@àœ  ° #r #q #p@@#o@A)ϐ¶ ›  @ @° H+TJ7 7!7$'  ’\  ’h  ’&t@€@@  0test_countzeros1à@©œ  ° (m #” #“@@(j@A › ° # #œ #›@@#š@©œ   @B©œ  @A©› @°©š°’°DÛ **@@e©œ  ° @ø@B © © © "©  © ©&© ©*œ  @A/@@A  %plus3à@©š°’°B*M@@"ƒ©œ  ° #å #ä #ã@@#â@B© © œ   @A¶@› @ @°867 T  ‘£A£A£A’@D  ’+L@€@@  *test_plus3à@©œ  ° (ì $ $@@(é@A › ° $ $ $@@$@©œ   @B©©© © © ©œ  @A©› %@° ©š°’°Dd *³@@k @@A  +test_plus3'à@©œ  ° )' é è@@)$@A › °’°D *Î@@–@©œ  @B ©œ  ° á þ ý@@à@B© © ©œ  @A© ©© ©©  ©œ  +@A©› 7@°2©š°2@Å ©š°’°B+@@#3'©6 %©8 )©: -©< 9>@@A  0test_doit3times4à@©œ  ° ) $Š $¥@@)|@A › ° $¯ $® $­@@$¬@©œ   @B©©© © © ©©©œ  @A©› )@°$©š°’°Dû +D@@ù ·!n.©š°’°B+M@@"è ©š°@#= +=  1@@A  $bagfà@¶@› ° $ò $ñ $ð@@$ï@+[ @° ,+7ST6'  ‘‘P  ‘‘`@€@@  &countfà@·!v› ° % % %@@%@·!sš°’°DC +’@@6©+x+>¶¶   @° 4+T() $'@€@@  )emptybagfà@·!n› ° ³ РÏ@@²@œ  @Aš°’°Dh +·@@[ @°<+TE'@€@@  /test_emptybagf1à@©œ  ° *- %T %S@@**@A › ° %] %\ %[@@%Z@œ  @A©› @°©š°’°D” +ã@@i ©œ  @B©©š°@Q@@A  'bagf566à@·!n› °    %  $@@ @ÍÀ è@*;°@A @@·@› °’°B, @@*N@©š°@! +ö©œ  @B©©© © œ  #@A ÍÀ!@*Z°@A @@© , ©  š°’°Dâ ,1@@Ր @° +T6 7!= 6 7!= E'6'Qòÿÿÿ'6'QÜÿÿÿ'+T6'+T6'  ‘£A£A£A£A£A’@T  ’8`  ‘£A£A£A£A£A£A’@@  ’KL  ‘£A£A’@x  °C*”A  ‘£A’@€  °l*žAŒ  ‘‘wè  ‘‘{@€@@  .test_bagf566_1à@©œ  ° *é & &@@*æ@A › ° & & &@@&@©œ   @Bœ   @A©› @°©š°’°DU ,€@@* ©©©©š°@Œ@@A  .test_bagf566_2à@©œ  ° +" &I &H@@+@A › ° &R &Q &P@@&O@©œ   @B©œ  @A©› @°©š°’°D ,ß@@e ©©©©š°@÷ @@A  .test_bagf566_3à@©œ  ° +] &„ &ƒ@@+Z@A › ° & &Œ &‹@@&Š@œ  @A©› @°©š°’°DÄ -@@™ ©œ  @B©©© © © © š°@4"@@A  $addfà@·!m› ° &à& &Á@@&À@·!bš°’°Dô -=@@緐!nÍÀ"+@+~°@C @@·@› °’°B-J@@+‘@©š°@"R ,÷-9 ©œ  #@B©--A¶,›*¶$š"¶›.›/ @° Œ+T() 7!=  $' 9'Qìÿÿÿ'+T6'  ’h  °)+žA„  ‘‘?°@€@@  *test_addf1à@©œ  ° +å '  ' @@+â@A › ° ' ' '@@'@©œ   @Bœ   @A©› @°©š°’°D Q - @@& ©©©š° @} š°@ @@A  (bag2bagfà@ž  @@° ¶!bš°’°D v -Å@@#š°@k·  ÍÀ"@…°@C @@·!n› °@›@-ž š°@8·!h› ° 'h 'g 'f@@'e@·!t©š°$@» -‘©-„-ΐ- @° ð,-T*(=>3 7%'6'Qéÿÿÿ'+T6'+7ST6'  ’ \  ’ t  °/©AŒ  ’6ž  ’>Ô  ’<ä@€@@  .test_bag2bagf1à@©œ  ° ,s 'š '™@@,p@A › ° '£ '¢ '¡@@' @©œ   @B©©œ  @A©› @°©š°’°D ã .2@@ž ©š°@‡©œ  ° @@B © © &©  !©  ©*,© 'œ  @A1@@A  .test_bag2bagf2à@©œ  ° ,¿ 'æ 'å@@,Œ@A › ° 'ï 'î 'í@@'ì@œ  @A©› @°©š°’°D!& .u@@û ©œ  @B©©© © ©š°@א©œ  °@T@B  © © ©  ©  © œ  @A3@@A  &unionfà@·"b1š°’°D!] .¬@@P·"b2·!n› ° (A (@ (?@@(>@©š°’°B.Ÿ@@&î ©š°@H .š.f© .ª.o¶"š ¶š"¶›&됐 @° \+T() 7! 7!7%'  ’h  ’|  ’H@€@@  ,test_unionf1à@©œ  ° -K (r (q@@-H@A › ° ({ (z (y@@(x@©œ   @B©©œ  @A©› @°©š°’°D!» / @@ ©š°@p ©š° @c©œ  °@à@B © #© *œ   @A©© *© ©35© 0 7@@A  +remove_onefà@·!v› ° (Æ (Å (Ä@@(Ã@·!sš°’°D!÷ /F@@귐!nÍÀ$.@-°@C @@·!b› °’°B/U@@-–@©š°@$W />.ü ©š° @(õ©/ /E¶-+¶$"" @° Ä+T() 7!=  $' 7$'Qêÿÿÿ'+T6'  ’h  ’l  °(- AŒ  ‘‘>ž@€@@  1test_remove_onef1à@©œ  ° -ç ) ) @@-ä@A › ° ) ) )@@)@œ  @A©› @°©š°’°D"N /@@# ©œ  @B©©© © ©š°@€ ©š°@©œ  °@ €@B © © ©  ©  œ   @A5@@A  1test_remove_onef2à@©œ  ° .7 )^ )]@@.4@A › ° )g )f )e@@)d@œ  @A©› @°©š°’°D"ž /í@@s ©œ  @B©©© © ©š°@Р©š°@S©œ  °@ Ð@B © © ©  œ   @A3@@A  1test_remove_onef3à@©œ  ° .… )¬ )«@@.‚@A › ° )µ )Ž )³@@)²@©œ   @B©œ  @A©› @°©š°’°D"ó 0B@@È ©©©š° @ © ©š°@¡©œ  °@!@B *© '© ©  ©  -© œ  @A7@@A  1test_remove_onef4à@©œ  ° .× )þ )ý@@.Ô@A › ° * * *@@*@©œ   @Bœ   @A©› @°©š°’°D#C 0’@@ ©©©©©š°@p  ©š°@󐩜  °@!p@B © ,© ©  ©  © 4©  œ  @A9@@A@@¢#n  #l‘#k  #T#S  #"ÿ  "ː"Ê  "–"•  "e"d  "5"4  ""  !Ր!Ô  ! ‘!Ÿ  !†!…  !!   א Ö   œ ›   U T      ǐÆ  €  JI    ŐÄ  xw  &%  ېÚ  œ›  _^  ÿþ  Ž³  KJ    ™˜  RQ    èç  €  .-  çæ  ¢¡  KJ  üû  ¹ž  –•  €    ʐÉ  €  sr  *)    Á  }|  A@  üû  ·¶  HG  ÿþ  ž·  ml     ±°  hg  !   ֐Õ  ‰ˆ    ԐÓ  ‡‘†  on    ސÝ  ¥€  …„     Œ»  on     Ÿ ž       ê é   § Š   \ [   7 6   ÷ ö   ˆ ‡   9 8       Á À   ‚    W V   æ å   “ ’   7 6  äã  ™˜  `_    ߐÞ  ˜—  fe  .-  ِØ    ut  TS  76    €  KJ    ِØ  ‘  [Z     À¿  ut  :9  ëê  €£  WV      œŒ@@@  /doit3times_boolà@·!f¶@› °’°B21@@0x@·!n©1吩1琩1é2%¶¶  @° D+T() $'@€@@  *doit3timesà@·!X”@·!f¶@2>2·!n2©2©2 ©2 2G¶¶ ¶ 22  @° D+T() $'@€@@  0test_doit3times1à@©œ  ° 0Ü , ,@@0Ù@A › ° ,  ,  , @@, @©œ   @B©©œ  @A©› @°©š°’°B2”@@P°š°@+ø©©©©©!©#%%@@A  0test_doit3times2à@©œ  ° 1 ,C ,B@@1@A › ° ,L ,K ,J@@,I@©œ   @B©©© © © ©©©©©œ  !@A©› -@°(©š°’°B2ä@@ °.©š°@++@@A  0test_doit3times3à@©œ  ° 1b 1a 1`@@1_@A › °’°B3@@1I@œ  @B©› @° ©š° @É°š°@0‘œ  @A@@A  $list‘(4 °!X@3@ ¶333 #nil$cons ¶ 3©2ِ3¶ 3!¶@3¶@©2א2ß©2Ґ2Ú@3  @B¢@¡@ ¡@€¡@ %ِ@AA  @@ AB@AA@AA °"@36@@@  )list_rectà@·+”@·!P¶!l©› °’°B3X@@A@3D”‘  3d@H·!f©3M©œ  @A3· ¶!x3¶©3¶@©33]©3©œ  #@B°3 3"3)ž  @@°!F¶3·5©33"ÍÀ °3@t@AZ°@C @@·>©<3$©3%3}3} 35·!y3*·G©E3&©35°3K3†+¶T3“¶Q¶O©›M3”‘I¶F©3‘©œD3Z¶L¶B3U¶]©›[3R¶@©3T3ž©3O©œA°3L3a3h¶i©›g3^©3_3© @° <+T() ,0'*(=>3 &''Qêÿÿÿ'+T$'+7 ST$'  °?ŒAž  ‘‘w@€@@  (list_indà@·¶”@·‹¶Š©› °’°B3á@@Ê@3͔A©š°@¥ 3˜3Ӑ¶¶¶©3ِ©œ  @A3€¶ ¶Œ3 ¶©3œ¶@©3ž3è©3™©œ  %@B°3˜3­3Ž¶+   @° <+T() 7%'  ’'h@€@@  (list_recà@·ø”@·ͶÌ©› °’°B4#@@ @4 ©š°@å 3Ø4¶¶¶Í©4©œ  @A3ä¶ ¶Ì3ඩ3ܶ@©3ސ4(©3ِ©œ  #@B°3Ø3í3ô¶)   @° <+T() 7%'  ’'h@€@@  &lengthà@ž  A@° ¶!X”@¶!l©› °’°B4k@@T@4W› ° . . -ÿ@@-þ@··ÍÀ ï@AH°@C @@·©4.4i œ  @A·!h45·!t©#43©œ   @B©4+ 434|5 @° ,-T(*()= > 3!9'E'Qìÿÿÿ'+T6'+7ST+ 7 S'6'  °$`AŒ  ‘‘2ž  ‘BÔ  ‘‘@ô  ‘‘> @€@@  #appà@ž  A@° ¶!X”@¶"l1©› °’°B4É@@²@4µ¶"l2© 4© 4z··· ÍÀ_AŠ°@C @@·!l ©4€4Ž 4Ê·!h4‹·!t ©œ  #@B°4…4š©4°4‡4×4•2 @° l,3T(*()=> 3" :''Qêÿÿÿ'+T7$'+7ST+ 7 S'+7 S'7$'  ° »A”  ‘‘5È  ‘?ì  ‘‘=  ‘‘A<  ‘‘EX@€@@  &repeatà@ž  B@° ¶!X”@¶!n5 ¶%count› ° .º .¹ .ž@@.·@©› °’°B52@@@4ܐ··5!·ÍÀ.Á@.»°@C @@·©4à5) ©œ  @A4í·&count'"©œ  @B°4î4õ©4è°4ð4÷595 @° X,3T(*()=> 3" :'E'Qêÿÿÿ'+T7$'+7ST+ S'+7S'7$'  ° .ÂA”  ‘‘.È  ‘Bì  ‘‘>,  ‘‘:D@€@@  ,test_repeat1à@©œ  ° 3ß )¡ ) @@3Ü@A ©› °’°B5€@@i@› °@3Ë@©œ   @B°œ   @A©° ©œ  @A©› #@°©š°@°©œ  ° )° )Í )Ì@@)¯@B© œ   @A'@@A  $snocà@ž  A@° ¶!X”@¶!l©› °’°B5Ë@@Ž@5·¶!v5© 5z···5…ÍÀ_AŠ°@C @@· ©5~5Œ ©œ  @B°5‹5Í©œ  @A5·!h5“·!t©°5Š5Ÿ©5„°5Œ5Ü5š5 @° l,6T(*()=> 3" :'E :'Qçÿÿÿ'+T7$'+7ST+ 7 S'+S'7$'  °%ÀA   ‘‘8Ô  ‘Bø  ‘‘@  ‘‘DX@€@@  'reverseà@ž  A@° ¶!X”@¶!l©› °’°B6)@@@6©5ܐ·· ÍÀ¹A°@C @@· ©5ß6! ©œ  @A5췐!h5﷐!t©š°@–°5è©5â 5ê635ø. @° H,5T(*()=> 3!7&'E'Qèÿÿÿ'+T7$'+7ST+ 7 S'7$'  ’ p  °%Aœ  ‘‘4Р ‘>ô  ‘‘<  ‘‘@4@€@@  -test_reverse1à@©œ  ° 4Ü 0 0@@4Ù@A ©› °’°B6}@@f@› ° 0 0 0@@0@©œ  @B° ©œ  @B©œ  @A©°©œ   @A©› .@°)©š°(@– &©°(©!°*#@@A  -test_reverse2à@©œ  ° 5! 5  5@@5@A ©› °’°B6Â@@«@› °@5 @©œ   @A©› @°©š°@Æ @@A  'length'à@ž  A@° ¶!X”@¶!l©› °’°B6ô@@Ý@6à› ° 0Š 0‰ 0ˆ@@0‡@··ÍÀ‰Aа@C @@·©6¶6ñ œ  @A·!h6œ·!t©"6»©œ  @B©6³ 6»74 @° ,-T(*()= > 3!9'E'Qìÿÿÿ'+T6'+7ST+ 7 S'6'  °#èAŒ  ‘‘1ž  ‘AÔ  ‘‘?ô  ‘‘= @€@@  $l123à@©œ  °’°B7B@@+@B°› ° 0Ø 0× 0Ö@@0Õ@©œ   @Bœ   @A©°©  ©°©©œ  @A©› $@›! @°,6T  ‘£A £A’@£A £A£A’@£A £A£A£A’@’@D@€@@  %l123'à@©œ  °’°B7’@@{@B°› ° +¥ + +Á@@+€@©œ   @Bœ   @A©°©  ©°©©œ  @A©› $@›! @°,6T  ‘£A £A’@£A £A£A’@£A £A£A£A’@’@D@€@@  &l123''à@©œ  °’°B7â@@Ë@B°› ° +õ , ,@@+ô@©œ   @Bœ   @A©°©  ©°©©œ  @A©› $@›! @°,6T  ‘£A £A’@£A £A£A’@£A £A£A£A’@’@D@€@@  &filterà@ž  B@° ¶!X”@¶$test¶@8'› °’°B8A@@6ˆ@¶!l©› ° @1@7ù©7ô···  ÍÀÙA °@C @@· ©7ø8A ©œ  @A8·!h8·!tÍÀ5Õ@6 °@A @@·@+©#7ý©8 8 ©œ  )@B°8 8!©8°888^A @° ,XT(*()=&)> = 3&'3" :'Qçÿÿÿ'E'QÓÿÿÿ'+T7$'+T7$'+7ST+ + SS'+7 S'7$'6'  °6±AÈ  °1FA𠠑‘?$  ‘‘C\  ‘V€  ‘‘KØ  ‘‘Oô  ‘‘\ @€@@  ,test_filter1à@©œ  ° 7 27 26@@7 @A ©› °’°B8±@@š@› ° 2G 2F 2E@@2D@©œ  @B° ©œ  @B©œ  @A©°© ©©œ  $@A!©› 2@°-©š°,@¶°*š°/@2©%°.©'°0$©)°2+@@A  ,test_filter2à@©œ  ° 7] - -@@7Z@A ©› °’°B8þ@@ç@©› ° - -0 -/@@-@©œ  @B°©°©œ  @B©©œ  @A©œ  $@A©°#©°#© ©°)© °)©©©©!©5©› F@°A©š°@@°>·!lA©š°G@.H ©š°K@ø G932©@°K©B°K6©D°M:3©F°QC©H°S0©J°U©L°U&©N°W*©P°Y.?©R°]A6T@@A  #mapà@ž  C@° ¶!X”@¶!Y¶!f¶@9*9*¶!l©› °’°B9ƒ@@l@9-···· ÍÀAZ°@C @@·©929{ ©œ  @A9?·!h9;·!t©99©œ  "@B°9>©9F9U©93À9;9B9I9’: @° Ì,<T(*()=> 3  :'E'Qáÿÿÿ'+T7$'+7ST+7S'+ +SS'+7 S'7$''  °'vAž  ‘‘6ì  ‘G  ‘K0  ‘‘B  ‘‘F¬@€@@  %mynilà@©œ  °’°B9Ô@@œ@A› ° 3j 3i 3h@@3g@©› @›  @°(ET@€@@  )test_map1à@©œ  ° 8^ 3… 3„@@8[@A ©› °’°B9ÿ@@è@› ° 3• 3” 3“@@3’@©œ  @B° ©œ  @B©©© © œ  @A©° ©° ©œ  (@A%©› 6@°1©š°0@ÍÀ..©š°4@2g©+°4©-°6©/°8#1@@A  )test_map2à@©œ  ° 8± 3Ø 3×@@8®@A ©› °’°B:R@@;@› °@8@©œ   @B°œ   @B©° œ  @A© ° ©°©œ  @A©› *@°%©š°$@À› ° 4  4  4@@4@)š°.@3J©(° ©œ   @B©œ  @A©4°©6°©8°©©©©/#B@@A  )test_map3à@©œ  ° 9 48 47@@9@A ©› °’°B:²@@›@©› °@8ÿ@©œ   @B° ©° œ   @B© °©œ  @A©° ©°©°© ©› /@°*©š°)@yÀ› ° 4o 4n 4m@@4l@.·!n ©š°7@Û°3):Ó©0°©œ  @B©œ  @A©<°©>°©©6"D@@A  'flatmapà@ž  C@° ¶!X”@¶!Y¶!f¶@:Ê©› °’°B; @@ @:Ѷ!l© :ϐ···· ÍÀµAü°@C @@·©:Ô; ©œ  @A:᷐!h:Ý·!t©$:Û©š°%@–°:ß©:ç:ö©:ÔÀ:Ü:ã:ê;3; @° è,?T(*()=> 3  7& 'E'QÞÿÿÿ'+T7$'+7ST+7S'+ +SS'+7 S'7$'7$'  ’˜  °)AÄ  ‘‘=ø  ‘K  ‘O<  ‘‘Iœ  ‘‘Mž  ‘‘QÔ@€@@  -test_flatmap1à@©œ  ° 9ä /Š /¥@@9á@A ©› °’°B;…@@n@› ° /˜ /µ /Ž@@/—@©œ  @B° ©œ  @Bœ  @A© ° ©° ©°©©©©©°$ ©°& ©°( ©!°*©#°,©œ  4@A1©› B@°=©š°<@¿À::·!n=©6°?;°©8°A;²©:°C;Ž©<°E9©>°G-@@@A  $prod‘(4 °!Y@;Р°!X@;Ô@ ¶;׶ ;Ø;Ø;א$pair¶ ;ܶ;ݶ@;˜¶@;™©;… ;;”@;ՐB¢@¡@¡@ .’.’@A AB@AA@BB °@;í °@;ï@@@  )prod_rectà@·&”@·.·!P¶!p©› °’°B<@@B@ ;Ä;ÿ”‘  <@R·!f¶!x;ȶ!y;Ë©;̐©œ  @AÀ;Ä;Ë;Ù<·© ;Î;ÕÍÀ °;³@_@BE°@C@·(©& ;Ð;ש;ؐ<"<";萶8<0¶5<1¶4¶2©›0 ;ð<+”‘,¶)¶';í¶%;î©;œ#À;å;ì;ú<5¶@©›> ;ð;÷©;ø<; @° ”+T()=>%Qõÿÿÿ'+T$'  °,fAP@€@@  (prod_indà@·†”@·Ž·`¶_©› °’°B'Qõÿÿÿ'+T'  °AP@€@@  #sndà@·!X”@·!Y·!p©› °’°B= @@O@ <Ñ= ÍÀ6B8°@C@·©  <Ñ<Ø<Ñ=·!x<Õ·!y<Ø=¶!¶ ¶<㐐 @° ˆ+T()=>'Qõÿÿÿ'+T'  °IAP@€@@  #zipà@ž  B@° ¶!X”@¶!Y¶"lx©› °’°B=]@@ F@=¶"ly © ©› ° @–@ = =····ÍÀ÷A >°@C @@·!l©=©© ===* ©œ  %@A·!x=%·"tx©/=#ÍÀ A Y°@C @@·©6©, ==%=: ©©1 =*=1·!y=4·"ty©E=2©œ  H@B°©@ = =2©œ  C@AÀ=%=7=L=Z©=À='=9=U=—a @° t,fT(*()=*->=>   3 ::'E'Qáÿÿÿ'E'QÏÿÿÿ' +T7!7$' +T7!7$'+7ST+7S' +7 S'+7 S'7!7$'  °- {AØ  °L A  ‘‘Y<  ‘‘iH  ‘‘aˆ  ‘‘q”  ‘~ž  ‘‚Ø  ‘‘}  ‘‘4  ‘‘yT  ‘‘‰`@€@@  %unzipà@ž  B@° ¶!X”@¶!Y¶!l©› °’°B>@@ ì@©› °@7@ =¹=ô© ©=¶©=¿···ÍÀ A ä°@C @@·©© =Å=Ì© ©!=Â>  ©œ  @AÀ©œ  *@A=Ô©=Ý·!p·!t©6©1 =Ù=àÍÀLBN°@C@·©8 =Ù=à©: ©C=Ö©E=ß=ô·!x=㷐!y=æÍÀ`Bb°@C@·"©L ©U=á©P ©Y=Ó©=Ô°=ç=î>·"lx ·"ly©@À©f=º©œ  i@B°=¿> >©°=ç>>W{ @° ð,ŠT(*()=15>=">3"=>: ::' Qìÿÿÿ'Q'Úÿÿÿ'6'Q2Çÿÿÿ'+T7 7 7%' +T7 7 7%' +T7 7 7%'+7ST+7S'+ 7!7 S'7 7 7%'  °*ƒAØ  °B‡Aô  ‘£A ’@’@  °q JA   ‘‘ŠX  ‘‘Žh  ‘‘‹t  ‘‘–°  ‘‘šÀ  ‘‘—Ì  ‘‘¢  ‘‘Š  ‘‘£$  ‘·H  ‘»h  ‘‘¯˜  ‘‘º€  ‘‘ŸÀ  ‘‘ÂР ‘‘¿Ü@€@@  *test_unzipà@©› ° =; 2ý 2ü@@=8@°©› °’°B>Ü@@ @ ©› °@ Ê@› ° 2ô 3 3@@2ó@© › °@=5@©š°@ °©œ  @B°©! ©œ  $@AÀ©œ  @Bœ  "@Aœ  @B©°©À+"© ©œ  3@A©À9-©$°6©&°8 © :©*°3œ  4@A©/°8©:”A @° p67777"77 77 7!7"T  ‘£A £A £A’@£A £A£A’@’@£A ’@£A ’A’@D  ‘£A £A £A’@’A£A £A £A£A’@’A’@L  ‘‘tT  ‘‘\  ’wd  ‘‘p  ‘‘x  ‘‘D  ‘‘˜L  ‘‘£X  ‘‘°d@€@@  &option‘(4 °!X@?€@ ¶?ƒ?ƒ?‚ $Some$None ¶ ?ˆ¶@?~©?=?E¶?Œ©?G?ƒ@?‚ A@¢@¡@ ¡@2?¡@€AA  AA @@@AA@AA °@?œ@@@  +option_rectà@·'”@·!P¶!o©› °’°B?Ÿ@@=@?ª”‘  ?Ê@Z·!f¶!x?z©?{©œ  @A ?z?Œ· ©?ƒ©œ  @B?‚·$©"?~ÍÀ °?c@_@AH°@C @@·-©+?€©??Ò?Ò ?‘?˜¶;?à¶8¶6©›4?ڔ‘0¶-¶+?£©?€©œ) ?¡?ã¶4©?ª©œ'?§¶I©›G?€©?¥? @° €+T()= '>$Qñÿÿÿ'+T$'  °0lA`@€@@  *option_indà@·Ž”@·g¶f©› °’°B@#@@¢@@”A©š°@ ?Ú@¶¶¶i¶h?á©?␩œ  @A ?á@#¶ ©?ꐩœ  @B?é¶%©$?å©?æ@0 @° <+T() 7%'  ’%h@€@@  *option_recà@·Đ@·§¶Š©› °’°B@c@@â@@O ©š°@¿ @@S¶¶¶§¶Š@©@ ©œ  @A @@a¶ ©@(©œ  @B@'¶#©"@#©@$@n @° <+T() 7%'  ’%h@€@@  %indexà@ž  B@° ¶!X”@¶!n› ° :8 :7 :6@@:5@¶!l©› °’°B@³@@ œ@@d©› °@7@@b···ÍÀ GA Ž°@C @@·©@m©@h@± ©œ  @B@u·!a@x·"l'©%@vÍÀ5¿@?°@A @@·@› °+@?#@©(@r©š°0@5æ @„œ  @@A ©œ  3@A @†@›©@€°@ˆ©š°?@:Ž@“@ܐW @° ø,XT(*()=&)>E7!=7 3&'9'Qéÿÿÿ'E'QÓÿÿÿ'+T7$'+T7$'+7ST+7S'+7 S'7$'  ’`  ’ˆ  °,?5AÈ  °G ÊA𠠑‘S$  ‘‘W\  ‘r€  ‘‘q   ‘‘jÈ  ‘‘gä@€@@  +test_index1à@©œ  ° ?” 5V 5U@@?‘@A ©› °’°BA5@@Ž@› ° 5H 5e 5d@@5G@©œ  @A  ©œ  @B©©© œ  @A©› +@°&©š°%@Ë°# ©œ  °+@G@B°)©°+©!© °/©#©°3©'©œ  @A:3@@A  +test_index2à@©œ  ° ?é 5« 5ª@@?æ@A ©› °’°BAŠ@@ @©› °@x@› ° 5¢ 5¿ 5Ÿ@@5¡@©œ  @A ©œ  @B°©œ  @B©œ  @A©œ  !@A ©› 6@°1©š°0@+°.©°0©°-©!°4#©6*@@A  +test_index3à@©œ  ° @: 5ü 5û@@@7@A ©› °’°BAÛ@@Z@› °@@&@©œ   @B©› @°©š°@_°©œ  ° 6 6 6@@6@B© œ   @A©œ  °(@ê@B°&œ  '@A©œ   @A.+@@A  $headà@·!X”@·!l©› °’°BB"@@ @BÍÀ ­Aô°@C @@·© AÚ©› °@­@AØB ©œ  @BA巐!aA跐"l'©A橜  @A AäAò¶/-¶+)©A÷ @° °+T()= >9'E'Qïÿÿÿ'+T7$'  °,Ah  ‘‘(œ@€@@  *test_head1à@©œ  ° @Ë ;ò ;ñ@@@È@A ©› °’°BBl@@ë@› ° < < <@@;ÿ@©œ  @B ©› @°©š°@s ©œ  °@p@A@@A  *test_head2à@©œ  ° A 6à6Â@@@þ@A ©› °’°BB¢@@!@› ° 6µ 6Ò 6Ñ@@6Ž@©œ  @A  ©œ  @Bœ  @A©› %@° ©š°@± ©œ  °%@®@B°#©°%©©œ   @A,%@@A  *test_head3à@©œ  ° AH 7  7 @@AE@A ©› °’°BBé@@h@©› °@×@› ° 7 7 7@@7@©œ  @A ©œ  @B°©œ  @Bœ  @A©œ  @A©› 4@°/©š°.@ ,©°.©°0©°-©©6*@@A  0inserteverywhereà@ž  B@° ¶!X”@¶!vC%¶!l©› °’°BCC@@,@Bô©© Bñ··C6·ÍÀÖA°@C @@· ©©B÷C@ ©œ  @B°©°CC ©œ  !@AC ©·!hC·!t©°©/C ©°C CC©š°2@ À© CC&©C °CCCcG @° $,aT(*()=(1>3" +(!7 7 7::'EJ ::'QËÿÿÿ'():'+T7 7$'+7ST+ S'+7 S'7 7$'  ‘‘C”  ‘‘Gš  ’Ž  °@RA  ‘‘Rt  ‘‘V€  ‘c€  ‘‘^è  ‘‘b  ‘‘f@€@@  6test_inserteverywhere1à@©œ  ° B 7Þ 7Ý@@B@A ©› °’°BCœ@@Š@©› ° 7Ò 7ï 7î@@7Ñ@©œ  @B°©°©œ  @B©©œ  @A©°©°©°  ©œ  *@A%©°)© °)©"°+©$°/©&°/©(°1©*°3%©,°7©.°7 ©0°9"©2°;$©4°=/©A©› R@°M©š°L@ã°H:.A@@A  3inserteverywhereallà@·!X”@·!vD·!l©› °’°BD#@@ @©CÖ©š°@ )À© CÕ©š°@  CÙCàD¶¶D¶©  @° p+T() 7! 7 7 7#'  ’l  ‘‘#|  ‘‘'L  ’!X@€@@  9test_inserteverywhereall1à@©œ  ° BÀ 8‚ 8@@Bœ@A ©› °’°BDa@@J@©› ° 8v 8“ 8’@@8u@©œ  @B°©°©œ  @B©©œ  @A©°©°©°  ©œ  *@A%©°)© °)©"°+©$°/©&°/©(°1©*°3%©,°7©.°7 ©0°9"©2°;$©4°=/©6°A3©8°C©:°E©<°G©%I©› Z@°U©š°T@§°PB©I°T8©K°V:M@@A  $permà@ž  A@° ¶!X”@¶!l©› °’°BDØ@@Á@DÄ©© D··ÍÀjA±°@C @@· ©©D’DÔ ©œ  @B°©œ  @AD€©·!hD©·!t©š°)@ó°D¢D°©Dœ D€Dí9 @° d,9T(*()=> 3! 7&'6'Qçÿÿÿ'+T7 7$'+7ST+ 7 S'7 7$'  ’ p  ‘£A ’@’@ˆ  °5ÛA   ‘‘FÔ  ‘‘Jà  ‘T  ‘‘R(  ‘‘VD  ‘‘ZP@€@@  *test_perm1à@©œ  ° C¥ >Ì >Ë@@C¢@A ©› °’°BEF@@/@©› ° >Þ >Ý >Ü@@>Û@©œ  @B°©°©œ  @Bœ  @A©°©  ©°©©œ  (@A#©°'©°'© °)©"°-©$°-©&°/©(°1#©*°5©,°5'©.°7©0°9!©2°=©4°=!©6°?1©8°C©:°C'©<°E-©'I©› Z@°U©š°T@Ü Pš°W@fK@@A  %curryà@·!X”@·!Y·!Z·!f¶@©› °’°BEº@@ é@ EdEkEk·!xE`·!yEc©Ek©œ  @AÀE\EcExE³¶$"¶ #¶$¶¶@Ep¶@EqEq @° @+T():$'@€@@  'uncurryà@·!X”@·!Y·!Z·!f¶@E”¶@E•E•·!p©› °’°BEõ@@ $@ E˜EŸÍÀ B °@C@·©  E˜EŸEŸE萷!xEœ·!yEŸ©E§ E¶Eñ¶+)¶'*¶%+¶#!¶@Eµ @° ˜+T()= > % 'Qñÿÿÿ'+T'  ° "A`@€@@  5all_interleavings_auxà@ž  @@° ¶!c› ° ?œ ?Œ ?»@@?º@¶!X”@¶"l1©› °’°BF=@@&@F)¶"l2© Eó© ©Eð·#!···  ÍÀ?Ö@?а@C @@·!n+©©EùEù ©œ  "@A·"c'8ÍÀêA1°@C @@·!l©0©2FF ©œ  6@B°F!©·"h1F·"t1ÍÀAJ°@C @@·©GF©I©KFF& ©° F"©/ ·"h2F ·"t2 ©š°W@å°©\F©š°]@ 8À©- FF=©FÀF8FFFF1©À  ©3 FFQ©F ÀF>FF0FŽ @° `,åT(*()=„‡>=ou>=Z`>#  3 +f! 7  7 7 $  3 +L! 7  7 77 7& ' E:'Q5œÿÿÿ'E:'Q9‡ÿÿÿ'E'Q@uÿÿÿ'():'():'+T7 7$'+T7 7$'+T7 7$'+7ST+7S'+ 7 S'+7 S'7 7$'  ‘‘tø  ‘‘x   ’  ‘‘  ‘‘ƒ€  ’(°  ‘‘ŠÈ  ’5Ô  °PA   °m“A@  °…@°I©@°I-©B°K+©D°M?©+Q©› b@°]©š°\@®°X >Q@@A@@¢G·  Gµ‘GŽ  G‹GŠ  GG  FºF¹  FnFm  F<F;  F‘F  EüEû  E³E²  E…E„  EWEV  E.E-  EE  DؐD×  D³D²  D‘D  DlDk  DJDI  DD  CóCò  CΐCÍ  C©Cš  C„Cƒ  CHCG  C&C%  CC  BܐBÛ  B·’°Až@@  A«Aª  AqAp  A6A5  @â@á  @¹@ž  @Š@‰  @U@T  @@   ?À?¿  ?u?t  ??  >ߐ>Þ  >Ž>  >Y>X  =<=;  <ѐ<Р   < <   ;Ր;Ô  ;«;ª  ;z;y  ;E;D  ;’° @@  43    õô  ž·  ut  N‘M  &%  ž  _^  "!  ǐÆ  kj    ΐÍ  sr    ڐÙ  ±°  WV      œŒ  po  ýü  ³²  >=  ڐÙ  »º  kj      ­ ¬   A @   â‘ á   » º   ^ ]   $ #   ì ë   ¹ ž   ‡ †   ä ã       M‘ L   ) (  ŐÄ  ˆ‡  ML  Ÿœ  lk    ؐ×  “’  `_    ΐÍ  NM  ìë  °¯  BA  ѐР ed  10  óò     ΐÍ@@@   *Logic_Type $Init #Coq@0œÒ4ŽWÖ@u"8/©Ü   'Prelude $Init #Coq@0ž/5¹!1íh7?c–W   'Tactics $Init #Coq@0Ž‘Oހ€ d—PZ¹€Íh   "Wf $Init #Coq@0Mœ“|ρÂDsµÕ†…˜û·   %Peano $Init #Coq@0îó®š2Æ£J a¯€þ†   &Specif $Init #Coq@0|ԚߛÄÌÈw•4räO@  BÎ0b|»)ú/r¯ÉtjË*   Gµ GŽ G³@0wHR} eb(OinZœ   )Notations $Init #Coq@0\ EÛÕÌ öÊGΊŸ@@°I[  IY )INDUCTIVE @À@A@ ÀI_”A IX IX IX IX IX IX IX@@@  "_6 /ARGUMENTS-SCOPE°@’ H÷@@  "_7 °@“  Hÿ@A@  "_8 °@“  I@B@  "_9 °@“  I@C@  #_10  °@“  I@D@  #_11 (°@“  I@E@  #_12 0°@“  I'@F@  #_13 8°@“  I/@G@  I} (CONSTANT°‘P@‘@  #_14 H°@‘°I=@IŠ @ @ @ @ @ @ @ @ @@  I  °@  #_15 \°@‘°IQ@I @ @ @ @ @ @ @ @ @@  HÒ ,°+@)  #_16 p°@‘°Ie@HÛ @ @ @ @ @ @ @ @ @@  H— @°?@‘@  #_17 …°@‘°Iz@H¡ @@  Ho M°L@’A  #_18 ’°@‘°I‡@Hy@  HM ª @À@A@ ÀHR© HK HK@@@  #_19 ¢°@’ H@@  #_20 ©°@“  H#@A@  #_21 ±°@“  H+@B@  HU y°x@v  #_22 œ°@‘°I²@H^ @ @ @ @@  H ˆ°‡@…  #_23 Ì°@‘°IÁ@H! @ @ @ @@  Gö —°–@”  #_24 Û°@‘°IÐ@Gÿ @ @ @ @@  GÔ Š°¥@f  #_25 ê°@‘°Iß@GÝ @@  GŽ ²°±@r  #_26 ö°@‘°Ië@Gœ @ @@  G“ ¿°Ÿ@  #_27 °@‘°Iø@Gœ @ @@  Gr Ì°Ë@’A  #_28 °@‘°J@G|@  GV Ø°×@’A  #_29 °@‘°J@G`@  G= ä°ã@’A  #_30 )°@‘°J@GG@  G! ð°ï@’A  #_31 5°@‘°J*@G+@  G ü°û@Œ  #_32 @°@‘°J5@G @ @@  Fà  °@’A  #_33 N°@‘°JC@Fê@  FÄ °@’A  #_34 Z°@‘°JO@FÎ@  Fš !° @’A  #_35 f°@‘°J[@F²@  FŒ -°,@’A  #_36 r°@‘°Jg@F–@  Fp 9°8@ù  #_37 }°@‘°Jr@Fy @ @ @@  F? G°F@’A  #_38 Œ°@‘°J@FI@  F& S°R@’A  #_39 ˜°@‘°J@F0@  F  _°^@’A  #_40 €°@‘°J™@F@  Eî k°j@’A  #_41 °°@‘°J¥@Eø@  EÒ &MODULE°@À@@EÑ  EÏ Π@À@A@ ÀEÔÍ EÍ EÍ@@@  #_43 Æ°@’ E†@@  #_44 Í°@“  EŽ@A@  #_45 Õ°@“  E–@B @@  EÕ ž°@›  #_46 â°@‘°E¡@EÞ @ @ @ @@  Eu ­°¬@ª  #_47 ñ°@‘°E°@E~ @ @ @ @@  EL Œ°»@¹  #_48 °@‘°E¿@EU @ @ @ @@@@  E Ë°Ê@‹  #_50 °@‘°K@E )nat_scope@  Dç Ù°Ø@™  #_51 °@‘°K@Dð @  D¶ æ°å@‘E  #_52 +°@‘°K @DÀ @  Dm ô°ó@Ž  #_53 8°@‘°K-@Dv )@  DN °@’A  #_54 F°@‘°K;@DX@  D(  ° @’A  #_55 R°@‘°KG@D2@  Cü °@‘E  #_56 ^°@‘°KS@D O Q@  C )°(@‘E  #_57 n°@‘°Kc@CÌ _ a@  C 9°8@‘E  #_58 ~°@‘°Ks@C‹ o q@  CC I°H@‘E  #_59 Ž°@‘°Kƒ@CM  @  Bõ Y°X@’A  #_60 ž°@‘°K“@Bÿ@  Bàe°d@‘E  #_61 ª°@‘°KŸ@BÍ ›@  B} s°r@’A  #_62 ž°@‘°K­@B‡@  BQ °~@’A  #_63 Ä°@‘°K¹@B[@  A= ‹°Š@‘E  #_64 а@‘°KÅ@AG Á Ã@  @ß ›°š@‘E  #_65 à°@‘°KÕ@@預Ñ Ó@  @ «°ª@’A  #_66 ð°@‘°Kå@@™@  @c ·°¶@’A  #_67 ü°@‘°Kñ@@m@  @7 ðÂ@’A  #_68 °@‘°Ký@@A@  @  Ï°Î@  #_69 °@‘°L@@  @  ?í Þ°Ý@’A  #_70 #°@‘°L@?÷@  ?Å ê°é@’A  #_71 /°@‘°L$@?Ï@  ?™ ö°õ@’A  #_72 ;°@‘°L0@?£@  #_73 0SYNTAX-EXTENSION @ À r  rA  r@@%_ + _ÀrB ¡ r @B !x   !+ ¡ r A !y@ £‘@  AA ’" + ” A@  B@@@@  #_74 (NOTATIONÐ@@   % @   @@¢‘# ‘!x ‘!y@@ %_ + _ M%x + y  #_75 O @ À r  rA  r@@%_ - _ÀrN ¡ r @B !x  M!- ¡ r A !y@ £L  AA ’" - ” A@  B@@@@  #_76 KÐ@@   " E@   F@@¢‘M ‘!x ‘!y@@ %_ - _ ML%x - y  #_77 ™ @ À h  hA  h@@%_ * _Àh˜ ¡ h @B !x  —!* ¡ h A !y@ £–  AA ’" * ” A@  B@@@@  #_78 •Ð@@   " Ÿ@    @@¢‘§ ‘!x ‘!y@@ %_ * _ M–%x * y  @P n°@À@@@N  @L ; @À@A@ À@Q: @J@@@  #_80 2°@’ @@@  #_81 9°@“  @@A + -@  @L °@  #_82 I°@‘°@$@@U @ @ @@  @ °@  #_83 W°@‘°@2@@  @ @ @@  ?Ù !° @  #_84 e°@‘°@@@?â @ @ @@  ?¯ /°.@ï  #_85 s°@‘°@N@?ž @@  ?‡ ;°:@û  #_86 °@‘°@Z@? @@  #_87 E @ À @  ȐÈ  ȐÈ@)( _ , _ )À@@  ;!( ¡ È@ !x  G!, ¡  !y  Q!)@ £G ’  AÈ ’ ” A@  BÈ ’@@@  #_88 KÐ@@   ( ‰@  ! Š@@¢“ ?ÿA ‘!x ‘!y@@ )( _ , _ ) NM)( x , y )  ?µ œ°›@\  #_89 à°@‘°@»@?Ÿ @@  ?Ž š°§@h  #_90 ì°@‘°@Ç@?— @@  ?g Ž°³@t  #_91 ø°@‘°@Ó@?p @@  ?;  @À@A@ À?@ ?9 ?9@@@  #_92  °@’ >ê@@  #_93 °@“  >ò@A@  #_94 °@“  >ú@B   @@  ?A ã°â@à  #_95 '°@‘°A@?J @ @ @ @@  >Ù ò°ñ@ï  #_96 6°@‘°A@>â @ @ @ @@  >ª °@þ  #_97 E°@‘°A @>³ @ @ @ @@  >{ °@Р #_98 T°@‘°A/@>„@  #_99  @ À |  |@  |A@&_ :: _À|A ¡ | @A !x  ":: ¡ | A !l@ £  A@ ” A@ ’#::   BA@@@  $_100 Ð@@   " u@   @@@¢“ =B ‘!x ‘!l@@ &_ :: _ O&x :: l  $_101 e @ À @  ȐÈ@.[ _ , .. , _ ]À@@  X![ ¡¢ @  _!,@ !x  f!]@ £\ ’ ±AÈ ’ ” A@@ ’@@@  $_102 ]Ð@@    Œ@@Ó!x!y¢G ‘ ‘"..@“ =ÚA@@ .[ _ , .. , _ ] O_.[ x , .. , y ]  >Ï ®°­@n  $_103 ò°@‘°AÍ@>Ø@  > ¹°ž@y  $_104 ý°@‘°AØ@>™@  >Q Ä°Ã@„  $_105 °@‘°Aã@>Z@  > Ï°Î@  $_106 °@‘°Aî@> @@  =å Û°Ú@›  $_107 °@‘°Aú@=î @@  =¹ ç°æ@‘E  $_108 ,°@‘°B@=à @  =v ÷°ö@‘E  $_109 <°@‘°B@=€ @@  =3 °@‘E  $_110 I°@‘°B$@== @ @@  $_111  @ À |  |@  |A@&_ ++ _À|÷ ¡ | @A !x  "++ ¡ | A !y@ £   A@ ’# ++ ” A@  BA@@@  $_112  Ð@@   " @@   @@@¢‘C ‘!x ‘!y@@ &_ ++ _ P &x ++ y  =6 \°[@’A  $_113 ¡°@‘°B|@=@@  <ô h°g@’A  $_114 ­°@‘°Bˆ@<þ@  <Ÿ t°s@’A  $_115 ¹°@‘°B”@<È@  <Š €°@‘E  $_116 Å°@‘°B @<” @@  <4 °Œ@’A  $_117 Ò°@‘°B­@<>@  ;ò ™°˜@‘E  $_118 Þ°@‘°B¹@;ü @@  ;“ Š°¥@’A  $_119 ë°@‘°BÆ@;@  ;S ²°±@‘E  $_120 ÷°@‘°BÒ@;] @@  :ô ¿°Ÿ@’A  $_121 °@‘°Bß@:þ@  :¶ Ë°Ê@’A  $_122 °@‘°Bë@:À@  :€ ×°Ö@’A  $_123 °@‘°B÷@:Š@  :^ ã°â@‘E  $_124 (°@‘°C@:h @ @@  : ñ°ð@’A  $_125 6°@‘°C@: @  9ž ý°ü@’A  $_126 B°@‘°C@9Â@  9z  °@’A  $_127 N°@‘°C)@9„@  9> °@‘E  $_128 Z°@‘°C5@9H @ L@  8ó $°#@‘E  $_129 i°@‘°CD@8ý @@  8® 1°0@’A  $_130 v°@‘°CQ@8ž@  8t =°<@’A  $_131 ‚°@‘°C]@8~@  8Z I°H@   $_132 °@‘°Ch@8c@  8M T°S@‘E  $_133 ™°@‘°Ct@8W Š @@  7ç c°b@’A  $_134 š°@‘°Cƒ@7ñ@  7« o°n@’A  $_135 Ž°@‘°C@7µ@  7k {°z@;  $_136 ¿°@‘°Cš@7t @ @@  7g ˆ°‡@’A  $_137 Í°@‘°Cš@7q@  7' ”°“@T  $_138 Ø°@‘°C³@70 É @@  7  ¢°¡@’A  $_139 ç°@‘°CÂ@7@  6Ó ®°­@’A  $_140 ó°@‘°CÎ@6Ý@  6— º°¹@z  $_141 þ°@‘°CÙ@6  ï @@  6f È°Ç@’A  $_142  °@‘°Cè@6p@  6* Ô°Ó@’A  $_143 °@‘°Cô@64@  5î à°ß@‘E  $_144 %°@‘°D@5ø  @@  5‹ ï°î@’A  $_145 4°@‘°D@5•@  5K û°ú@’A  $_146 @°@‘°D@5U@  5  °@’A  $_147 L°@‘°D'@5@  4Ë °@’A  $_148 X°@‘°D3@4Õ@  4‡ °@‘E  $_149 d°@‘°D?@4‘ U @@  4$ .°-@’A  $_150 s°@‘°DN@4.@  3ä :°9@’A  $_151 °@‘°DZ@3î@  3Š F°E@’A  $_152 ‹°@‘°Df@3°@  3d R°Q@’A  $_153 —°@‘°Dr@3n@  3  ^°]@‘E  $_154 £°@‘°D~@3* @ @@  2Á l°k@’A  $_155 ±°@‘°DŒ@2Ë@  2 x°w@’A  $_156 œ°@‘°D˜@2‰@  2; Õ @À@A@ À2@Ô 29 29@@@  $_157 Í°@’ 1û@@  $_158 Ô°@“  2@A Æ@  $_159 Þ°@“  2 @B@  2B Š°¥@£  $_160 ê°@‘°DÅ@2K @ @ @ @@  1ö µ°Ž@²  $_161 ù°@‘°DÔ@1ÿ @ @ @ @@  1É Ä°Ã@Á  $_162  °@‘°Dã@1Ò @ @ @ @@  1œ Ó°Ò@‘E  $_163  °@‘°Dó@1Š   @@  0ˆ â°á@‘E  $_164  '°@‘°E@0’  @@  0 ñ°ð@’A  $_165  6°@‘°E@0"@  /Ô ý°ü@’A  $_166  B°@‘°E@/Þ@  /  ° @’A  $_167  N°@‘°E)@/š@  /H  ° @‘E  $_168  Z°@‘°E5@/R K @@  .Õ  $° #@‘E  $_169  i°@‘°ED@.ß @ @@  .T  2° 1@’A  $_170  w°@‘°ER@.^@  .4  >° =@’A  $_171  ƒ°@‘°E^@.>@  -ú  J° I@’A  $_172  °@‘°Ej@.@  -ž  V° U@   $_173  š°@‘°Eu@-Á @ Œ@  -ž  d° c@’A  $_174  ©°@‘°E„@-š@  -g  p° o@‘E  $_175  µ°@‘°E@-q @ @@  -  ~° }@’A  $_176  ð@‘°Ež@- @  ,œ  Š° ‰@ J  $_177  ΰ@‘°E©@,Æ @@  ,•  –° •@’A  $_178  Û°@‘°E¶@,Ÿ@  ,W  ¢° ¡@’A  $_179  ç°@‘°EÂ@,a@  ,!  ®° ­@’A  $_180  ó°@‘°EÎ@,+@  +ÿ  º° ¹@‘E  $_181  ÿ°@‘°EÚ@,  @ @@  +™  È° Ç@’A  $_182  °@‘°Eè@+£@  +O  Ô° Ó@‘E  $_183  °@‘°Eô@+Y @ @@  *þ  â° á@’A  $_184  '°@‘°F@+@  *Ž  î° í@’A  $_185  3°@‘°F@*Ÿ@  *r  ú° ù@ º  $_186  >°@‘°F@*{ @ @ @@  *D  ° @’A  $_187  M°@‘°F(@*N@  *  ° @ Ô  $_188  X°@‘°F3@*  @@  )Õ  ° @’A  $_189  e°@‘°F@@)ß@  )—  ,° +@ ì  $_190  p°@‘°FK@)  a@  )o  9° 8@’A  $_191  ~°@‘°FY@)y@  )@  E° D@’A  $_192  Š°@‘°Fe@)J@  (ô  Q° P@’A  $_193  –°@‘°Fq@(þ@  (Ž  ]° \@   $_194  ¡°@‘°F|@(œ@  (¡  h° g@ (  $_195  ¬°@‘°F‡@(ª  @@  (‹  v° u@ 6  $_196  º°@‘°F•@(”@  (v  ° €@’A  $_197  Æ°@‘°F¡@(€@  (M  ° Œ@ M  $_198  Ñ°@‘°F¬@(V@  'Ñ  ˜° —@’A  $_199  Ý°@‘°Fž@'Û@  '€  €° £@’A  $_200  é°@‘°FÄ@'®@  'u  °° ¯@’A  $_201  õ°@‘°FÐ@'@  'D  Œ° »@ |  $_202  °@‘°FÛ@'M ñ @ ô@  '   Ì° Ë@’A  $_203  °@‘°Fì@'@  &Ü  Ø° ×@‘E  $_204  °@‘°Fø@&æ @@  &”  å° ä@’A  $_205  *°@‘°G@&ž@  &T  ñ° ð@’A  $_206  6°@‘°G@&^@  &  ý° ü@ œ  $_207  A°@‘°G@& @ @  4@  %ã  ° @’A  $_208  Q°@‘°G,@%í@  %  ° @ Ø  $_209  \°@‘°G7@%Š  M @@  %a  &° %@’A  $_210  k°@‘°GF@%k@  %  2° 1@’A  $_211  w°@‘°GR@%'@  $Û  >° =@’A  $_212  ƒ°@‘°G^@$å@  $•  J° I@’A  $_213  °@‘°Gj@$Ÿ@@@  "á  V° U@   $_215  š°@‘°T@"ê @ @@  "Ì  c° b@ #  $_216  §°@‘°Tœ@"Õ *type_scope @ @@  "¹  s° r@’A  $_217  ž°@‘°T­@"Ã@  "…  ° ~@’A  $_218  Ä°@‘°T¹@"@  "K  ‹° Š@’A  $_219  а@‘°TÅ@"U@  "-  è @À@A@ À"2 ç "& "&@@@  $_220  à°@’ !È@ 9@  $_221  é°@“  !Ò@A C@  $_222  ó°@“  !Ü@B M @ @@  "*  ¿° Ÿ@ Œ  $_223  °@‘°Tø@"3 \ @ @ @ @@  !°  а Ï@ Í  $_224  °@‘°U @!¹ m @ @ @ @@  !  á° à@ Þ  $_225  %°@‘°U@!ˆ ~ @ @ @ @@  !P  ò° ñ@‘E  $_226  7°@‘°U,@!Z  @@  !  ° @‘E  $_227  F°@‘°U;@!  Ÿ @ @@   ²  ° @‘E  $_228  V°@‘°UK@ Œ ¯ @  J@   e  "° !@’A  $_229  g°@‘°U\@ o@   ,  .° -@‘E  $_230  s°@‘°Uh@ 6 Ì @ @@  Þ  >° =@‘E  $_231  ƒ°@‘°Ux@蠐Ü @@  “  M° L@’A  $_232  ’°@‘°U‡@@  Z  Y° X@’A  $_233  ž°@‘°U“@d@  :  e° d@‘E  $_234  ª°@‘°UŸ@D  @@  ì  t° s@ 4  $_235  ž°@‘°U­@õ@  §  ° ~@ ?  $_236  ð@‘°Už@°@  $_237 )IMPLICITS @  “ !ÇA  ##@@@  $_238  @  “ !ÔB  #0B @ @@@  $_239  @  ‘³  !ÿB @@@  $_240 , @  ‘²  !¯B @ @@@  $_241 ; @  ‘„   ^B @@@  $_242 I @  ‘¿  !mB @ @@@  $_243 X @  ‘±   ِB @ @@@  $_244 g @  ,   ‰B @@@  $_245  ü @ À |  |@  |A@&_ :: _À|ã ¡ | @A !x   ú":: ¡ | A !y@ £ ù  A@ ” A@ ’#::   BA@@@  $_246  øÐ@@   " @@   @@@¢ž › ¡ A#Π‘!x ‘!y@@ &_ :: _ Vý&x :: y  $_247  J @ À @@#[ ]À@@   :![   >!]@ £ 4 ’  ’@@@  $_248  -Ð@@ @¢Ú › Ý A#ý@@ #[ ] W&#[ ]  $_249  s @ À @  ȐÈ@.[ _ , .. , _ ]À@@   f![ ¡¢  +@   m!,@ !x   t!]@ £ j ’ ±AÈ ’ ” A@@ ’@@@  $_250  kÐ@@    @@@Ó!x!y¢ ›  A$A ‘  ‘@¢) ›O@@@ .[ _ , .. , _ ] Wr.[ x , .. , y ]  $_251  ¿ @ À |  |@  |A@&_ ++ _À|Š ¡ | @A !x   œ"++ ¡ | A !y@ £ Œ  A@ ’# ++ ” A@  BA@@@  $_252  »Ð@@   " @@   @@@¢C › F A"ó ‘!x ‘!y@@ &_ ++ _ WÀ&x ++ y  ç °@ Ï  $_253 S°@‘°WH@ð@  ¢ °@‘E  $_254 _°@‘°WT@¬ ž @ @@  $_255   @  ‘   «B @ @@@  K 9°8@’A  $_256 ~°@‘°Ws@U@    E°D@’A  $_257 Š°@‘°W@@  ž Q°P@‘E  $_258 –°@‘°W‹@š ñ @ @@  $_259 Ù @  ‘  ©C  © @ @@@  \ v°u@6  $_260 º°@‘°W¯@e@  E °€@’A  $_261 Æ°@‘°W»@O@  þ °Œ@’A  $_262 Ò°@‘°WÇ@@  ª ™°˜@’A  $_263 Þ°@‘°WÓ@Ž@  R ¥°€@‘E  $_264 ê°@‘°Wß@\ C E @ @@  $_265 - @  ‘  ]C  ] @ @@@   Ê°É@’A  $_266 °@‘°X@@  ² ' @À@A@ À·& Š@@@  $_267 °@’ a@ w y@  $_268 )°@“  m@A ƒ … @ @@  © ÷°ö@ô  $_269 ;°@‘°X0@² ” – @ @ @@  [  °@  $_270 M°@‘°XB@d Š š @ @ @@  0 °@  $_271 _°@‘°XT@9 ž º @ @ @@  $_272 £ @  “ ôA  C  D @ @@@  $_273  @ @ À @  ȐÈ  ȐÈ@)( _ , _ )À@@   6!( ¡  û@ !x   A!, ¡  !y   K!)@ £ A ’  AÈ ’ ” A@  BÈ ’@@@  $_274  EÐ@@   ( @@  ! @@@¢V › Y A] › ^ Bf ‘!x ‘!y@@ )( _ , _ ) YO)( x , y )  $_275  œ @ À h  hA  h@@%_ * _ÀhB%_ * _ ¡ h @B !x   !* ¡ h A !y@ £‘@  AA ’" * ” A@  B@@@@  $_276  œÐ@*type_scope   !X ù@  !Y û@@¢’€ ‘!X ‘!Y@@ %_ * _ Y¡%X * Y  Ê ð°ï@°  $_277 4°@‘°Y)@Ó   @@  $_278 v @  ‘  ېC  ې @@@  ¶ °@Ò  $_279 V°@‘°YK@¿ ¯ ± @@  $_280 ˜ @  ‘  ǐC  ǐ @@@  £ 4°3@‘E  $_281 y°@‘°Yn@­ Ò Ô @ @@  $_282 Œ @  ‘  ®C  ®D @ @@@  # Z°Y@‘E  $_283 Ÿ°@‘°Y”@- ø ú @@  $_284 á @  ‘  -C  - @@@  c }°|@=  $_285 Á°@‘°Y¶@l@  Ž Ù @À@A@ À¹Ø ­ ­@@@  $_286 Ñ°@’ d@ *@  $_287 Ú°@“  n@A 4 @@  $_288 å°@“  y@B ?@  Ž ¯°®@¬  $_289 ó°@‘°Yè@œ L @ @ @ @@  ^ À°¿@œ  $_290 °@‘°Yù@g ] @ @ @ @@  / Ñ°Ð@Π $_291 °@‘°Z @8 n @ @ @ @@  $_292 X @  “  ž@A  B @@@  $_293 h @  “ B   @@@   ÿ°þ@‘E  $_294 D°@‘°Z9@)  7 @@  $_295 † @  ‘  )C @ @@@  ­ °@’A  $_296 d°@‘°ZY@·@  d +°*@’A  $_297 p°@‘°Ze@n@   7°6@’A  $_298 |°@‘°Zq@)@  â C°B@  $_299 ‡°@‘°Z|@렐à @@  $_300 Ç @  ‘   ñB @@@  ¶ _°^@’A  $_301 €°@‘°Z™@À@  Œ k°j@’A  $_302 °°@‘°Z¥@–@  Q w°v@’A  $_303 Œ°@‘°Z±@[@    ƒ°‚@‘E  $_304 È°@‘°Zœ@ ! @ @@  $_305   @  ‘   B @ @@@  š ¢°¡@’A  $_306 ç°@‘°ZÜ@²@  O ®°­@n  $_307 ò°@‘°Zç@X K @ @@  $_308 3 @  ‘   _B @ @@@  . Ì°Ë@’A  $_309 °@‘°[@8@  É Ø°×@‘E  $_310 °@‘°[@Ó v @@  $_311 ] @  ‘   ѐB @@@  r õ°ô@’A  $_312 :°@‘°[/@|@   °@Á  $_313 E°@‘°[:@ ž   ¢ @ @ @@  ì °@Õ  $_314 Y°@‘°[N@õ ² Ž ¶ @ @@  Ÿ (°'@‘E  $_315 m°@‘°[b@È ^ È @ @@  $_316 ° @  ‘ @  ÀC @ @@@  ó J°I@   $_317 Ž°@‘°[ƒ@ü ç @ @@  $_318 Ï @  ‘   B @ @@@  Ó h°g@’A  $_319 ­°@‘°[¢@Ý@@@  ÏÉ  ×Ô  UªÜ  çá  òì  ý÷       @ à Už ô þ    í '@„•ŠŸ0(m–ÑGv­²¡]/1¥