!4`„•¦¾D�ÂŒ° &Basics@$ )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@(  )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ÓÛ ñˆ Y�0A‘Ðä+ïA¤Áìu·b;�Ç"Ì�Ì‚ÜÙ4‚õÌEmo| „•¦¾y„„`L[U Ð &Basics@ð�A�  %admit� @�@�¶�!T”‘°  ÂGÏ A @@«ñ@�A�@@ �@@@  #day‘,�<@� ”�@ð&monday'tuesday)wednesday(thursday&friday(saturday&sundayð@@ @ A B@ð@@@@@@@ð@@@@@@@¢@�¡� �Ð÷7@�-®@ð¡@€¡@€¡@€¡@€¡@€¡@€¡@€G@ð @@ A@ B@ C@ D@ E@ F@@@A@@@@@ €@@  (day_rect� @‘ ·�!P¶�!d›  �Ð÷�I@B�-®@€”‘°  ÂHM CO@Êó@·�!f©R�œ  A€·©�B�œ  B€·©�C�œ   C€·©�D�œ  'D€·©�E�œ  .E€·$©�F�œ  5F€·+©�G�œ  >@@& @@ @@¢@�¡� �Ð÷Z@šä@ ¡@€¡@€B@  @@ A@@@A@@@@@ €@@  )bool_rect� @‘ ·¶�!b›  �Ð÷@+šä@€”‘°   I  Fe@ ‘ùv@·©f�œ  A€·©�œ  B€·ÍÐ@45°@ @@D·© ïw  @�¶�=¶�%›  �Ð÷•@Ošä@€”$¶�5©† ¶�8©1¶�3›©'�Ž�� ° ¤+j()= ''Qóÿÿÿ''+j$'  �°%MAX@€@@ �7@@@  (bool_ind� @‘ ·d¶KIÝ©š �Ð÷`@W-Õ%€@�¶/¶.-Û'�� ° ,+j7$'  ’ X@€@@ €@@@  (bool_rec� @‘ ·~¶ec¯@�¶D¶CBÚ<�� ° ,+j7$'  ’"X@€@@ €@@@  $negb� @‘ ·ywÍ_·{yyÒ fl@�¶�~›  �Y@€› €�� ° Œ+j= F'G'Qóÿÿÿ''+j6'  �°s›AL  ‘‘Ž€@€@@ €@@@  $andb� @‘ ·�"b1›·�"b2žÍ†·  ¡ ú�@�¶� › '€¶� › +€› -€�� ° ˜+j()= G''Qóÿÿÿ''+j6'  �°œÄAX  ‘‘·Œ@€@@ €@@@  #orb� @‘ ·)·'ÃÍ«%Å ·@�¶�.› K€¶�/› O€› Q€�� ° ˜+j()= 'F'Qóÿÿÿ''+j6'  �°ÀèAX  ‘‘ÛŒ@€@@ €@@@  )test_orb1� @’°@TA�©› &€°꩚ �Ð÷@3�>]€ âÜâ�@@ €@@@  )test_orb2� @’°@hB�©› :€°þ© ììì�@@ €@@@  )test_orb3� @’°@xC�©› J€°©$–�@@ €@@@  )test_orb4� @’°@‡D�©› Y€°©3 �@@ €@@@  )test_orb5� @’°@—E�©› i€°-©C 1!!�@@ €@@@  %nandb� @‘ · 9·ž:Í"œ< ©š �Ð÷S@Л²¬€3@�¶�ª› Ç€¶�«› Ë€› Í€�� ° ¨+j()= F'7$'Qïÿÿÿ''+j6'  ’H  �°?gAh  ‘‘Zœ@€@@ €@@@  +test_nandb1� @’°@ÓF�©› ¥€°i©š �Ð÷€@;u #€`�@@ €@@@  +test_nandb2� @’°@æG�©› ¸€°|©~o�@@ €@@@  +test_nandb3� @’°@õH�©› Ç€°‹©"~�@@ €@@@  +test_nandb4� @’°@I�©› Ö€°š©1}‡�@@ €@@@  %andb3� @‘ · ¥· ¦·�"b3©Í‘ ¤ ©š �Ð÷Â@šbÕ€ ² �@�¶�› 7€¶�› ;€¶�› ?€› A€�� ° ¬+j()=G' 7%'Qîÿÿÿ''+j6'  ’L  �°³ÛAl  ‘‘Π@€@@ €@@@  +test_andb31� @’°@GJ�©› €°Ý©š �Ð÷ô@C\”&€°ÕÕÕÕ�@@ €@@@  +test_andb32� @’°@[K�©› -€°ñ©°ßååß�@@ €@@@  +test_andb33� @’°@kL�©› =€°©$°õïõï�@@ €@@@  +test_andb34� @’°@{M�©› M€°©4°ÿÿ�@@ €@@@  +Playground1’ð¢‡A�  #nat‘,�<@� qp !O!S ‚¶@ƒ+@@k @A @A¢@�¡� �Ð÷@­@ ¡@€¡@� @@AA  @@ AA@@A@@@@@ €@@  (nat_rect� @‘ ·`¶�!n›  �Ð÷¢�¨7@0­@€”‘°  ÂJàM®@ eý@·_©¯�œ  A€·e¶¶@©X/©R�©œ  B€�fž  �@@°��!F�¶*(©cA�·-+ÍÐ+@IJ°@ @ @@D·31©^JÒ m·64©o Ö @�¶�›¶�<›  �Ð÷m@i­@€”9¶�“©ä5¶�–¶�I›   @€¶@©Ž�7¶�R› €©Ž�õ�� ° 4+j() ,1'*(=>3 %''Qëÿÿÿ''+j$'+7Sj$'  �°2mA°  ‘‘`@€@@ �Y@@@  'nat_ind� @‘ ·϶omH©š �Ð÷m@{ ùÍ€Š@�¶<¶;:F4�� ° ,+j7$'  ’ X@€@@ €@@@  'nat_rec� @‘ ·é¶‰‡@�¶Q¶POEI�� ° ,+j7$'  ’"X@€@@ €@@@  $pred� @‘ ·�›Íp·Ÿ��= Ž·�"n'¡A@�¶�¥›  �i@€› €�� ° ”+j= >'F'Qñÿÿÿ''+j6'  �°‡ÂAT  ‘‘µˆ@€@@ €@@@@@ Ð@ÂJÃÀ@°@A@A@ @@@  (minustwo� @‘ ·Æ›  �Ð÷� )Datatypes $Init #Coq@@ùò@€ÍÐ @ @A @A°@ @ @@D·Úx œ  A€·ßÍ ~ ·A€@�¶�ä›  �Ð÷� )Datatypes $Init #Coq@@#natò@€›  €�� °  +j=>= >'F'Qñÿÿÿ''F'QÝÿÿÿ''+j6'+j6'  �°*  @@ AAAt  �°1A¤  ‘‘@Ø  ‘‘D@€@@ €@@@  %evenb� @‘ ž  �@@°�� �¶Wb�·YÍM·![f¿ Y·#]ÍQ V·…`ü@�¶�(› D€› ó€�� ° \,Hj*(=">= >3$'G'Qîÿÿÿ''F'QÚÿÿÿ''+j6'+j6'+7Sj6'  �°c9A˜  �°g=AÈ  ‘‘�ü  ‘‘…$  ‘‘~@  ‘‘�P@€@@ €@@@  $oddb� @‘ ·S�©\�©š �Ð÷±@Kea>€p@�¶�\› x€› '€�� ° 8+j7 7$'  ’X  ’rd@€@@ €@@@  *test_oddb1� @’°@(N�©› ú€°¾©š �Ð÷Õ@1›ËÕ€�©œ  »B€�©»�@@ €@@@  *test_oddb2� @’°@AO�©› €°ש�©�©�©Ê�@@ €@@@  +Playground2’ð¢RA�  $plus� @‘ ž  �@@°�� �¶²ì¶�!mïï�··ñ·òÍæàÿ X·õ©<�©ö ]@�¶�Á› Ý€¶�› ရ ã€�� ° ,/j(*()= > 3!9''Qìÿÿÿ''+j6'+7Sj+7S'6'  �°ÖAŒ  ‘‘À  ‘‘Ü  ‘‘ø  ‘‘ @€@@ €@@@  $mult� @‘ ž  �@@°�� B�·ô.·B/Í#< ·W2©š �Ð÷¢�žb@[ŒdÌ€ FC@�¶�› €¶�S› "€› $€�� ° $,2j(*()=> 3! 7%'F'Qéÿÿÿ''+j6'+7Sj+7S'6'  ’l  �°DA˜  ‘‘SÌ  ‘‘Wè  ‘‘[  ‘‘_@€@@ €@@@  *test_mult1� @’°@ãP�©› µ€°n©š �Ð÷<@SŒ r€ ¤¤©»�©½�©¿�©Á�©Ã°�@@ €@@@  %minus� @‘ ž  �@@°�� £�·U�·£�Í„~� }·¸“͇·¨••¡ ›·�"m'™©‘õ@�¶�b› ~€¶�³› ‚€› „€�� ° Œ,Lj(*()= #>= > 3%''Qíÿÿÿ''F'QÙÿÿÿ''+j6'+j6'+7Sj+7S'6'  �°¡wA¨  �°¥{AØ  ‘‘´   ‘‘¸4  ‘‘¼P  ‘‘Àl  ‘‘Ä€@€@@ €@@@@@ @@Ñ@  #exp� @‘ ž  �A@°�� �¶�$baseÚ¶�%powerÝÝ�·ß·àÍÔ·ââF *·�!p橚 �Ð÷� #Natæ@#mul £¡—€ õ©ï ÷V@�¶�› Ö€¶�› Ú€› Ü€�� ° (,3j(*()=> 3! 7%'6'Qèÿÿÿ''+j6'+7Sj+7S'6'  ’l  ‘¤A�“@„  �°ØAœ  ‘‘Р ‘‘ì  ‘‘  ‘‘@€@@ €@@@  )factorial� @‘ ž  �@@°�� �¶ö00�·ø2Í& — {·Z5©O Cå@�¶�ÿ› €› €�� ° ø,/j*(=>3 7%'6'Qéÿÿÿ''+j6'+7Sj6'  ’]\  ‘¤A�“@t  �°CAŒ  ‘‘RÀ  ‘‘VÜ  ‘‘Zì@€@@ €@@@  /test_factorial1� @’°@ÞQ�©› °€°i©š �Ð÷‹@L4dzۀŸô�@@ €@@@  /test_factorial2� @’°@ñR�©› À°|©©— ©Æ� ©È�©Ê��@@ €@@@  'beq_nat� @‘ ž  �@@°�� �¶]—¶«˜£�·`š·®›Í�B¨ Í‘·²Ÿª �· ¡˜·Ç¢Í–¯ ›@�¶�l› ˆ€¶�½› Œ€› ;€�� ° ,jj(*()= 7>= > 3%'G'Q(íÿÿÿ''= >G'F'Qñÿÿÿ''QÅÿÿÿ''+j6'+j6'+j6'+7Sj+7S'6'  �°«�A¨  �°¯…A  �°³‰A(  ‘‘Í\  ‘‘Ñ„  ‘‘Õ¬  ‘‘ÎÈ  ‘‘Òä  ‘‘áø@€@@ €@@@  #leb� @‘ ž  �@@°�� R�·¯é·ýêÍÞ‘÷ éK@�¶�´› Ѐ¶�› Ô€› ƒ€�� ° Œ,Lj(*()= #>= > 3%'G'Qíÿÿÿ''F'QÙÿÿÿ''+j6'+j6'+7Sj+7S'6'  �°óÉA¨  �°÷ÍAØ  ‘‘   ‘‘4  ‘‘P  ‘‘l  ‘‘!€@€@@ €@@@  )test_leb1� @’°@šS�©› l€°0©š �Ð÷G@O�9+€ YY(�@@ €@@@  )test_leb2� @’°@®T�©› €€°D© im8�@@ €@@@  )test_leb3� @’°@¾U�©› �€°T©$ }yB�@@ €@@@  'blt_nat� @‘ ·U·iV©¶ ©3´©(�©š �Ð÷}@×)1{Z€»@�¶�(› D€¶�y› H€› ÷€�� ° h+j() 7!7 7!7%'  ’h  ’Bt  ’QH  ’ÙT@€@@ €@@@  -test_blt_nat1� @’°@þV�©› Ѐ°”©š �Ð÷«@?*?ìb€d…�@@ €@@@  -test_blt_nat2� @’°@W�©› 〰§©cš�@@ €@@@  -test_blt_nat3� @’°@ X�©› ò€°¶©"b£�@@ €@@@  (plus_O_n� @’°@/Y�¶�}› ™€©› €°›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©š �Ð÷� å $Init #Coq@@#add £�`€ œ   �Ð÷� Ù Ø ×@@Ïò@A€FF�@@ €@@@  )plus_O_n'� @’°@eZ�¶�³› Ï€©› ;€°6©š )€ œ   A€__�@@ €@@@  (plus_1_l� @’°@~[�¶�Ì› 耩› T€°O©š B€ ©œ   :@B€�œ  ?A€~©œ  ýB€�ƒ�@@ €@@@  (mult_0_l� @’°@¢\�¶�ð›  €©› x€°›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©š �Ð÷s@U £¡—€ œ  lA€«œ  oA€�@@ €@@@  /plus_id_example� @’°@Í]�¶�› 7€¶�l› ;€¶@©› ¨€° mÅ©› ¬€°§©š š€ nn©š ž€ yy�@@ €@@@  0plus_id_exercise� @’°@ð^�¶�>› Z€¶��› ^€¶�!o› c€¶@©› Ѐ°Ž•¶@©› Õ€°“š©› Ù€°Ô©š Ç€ �”©š Ë€ ˜Ÿ�@@ €@@@  +mult_0_plus� @’°@ _�¶�k› ‡€¶�¼› ‹€©› ÷€°©š r€ ©š 造œ  àA€Ç ©š }€ Ë #�@@ €@@@  (mult_S_1� @’°@ B`�¶��› ¬€¶�á› °€¶@©› €° :©œ  ¹B€�ç©› &€°®©š ¡€ 署 € ©œ  ÖB€�œ  A€ô©š ±€ ÿÿ�@@ €@@@  ,plus_1_neq_0� @’°@ va�¶�Ä› à€©› L€°X©š �Ð÷ �@�)1{Z€ ©š @€  s©œ  þB€�ÿœ   3!9''Qìÿÿÿ''+j6'+7Sj+7S'6'  �°1AŒ  ‘‘@À  ‘‘DÜ  ‘‘Hø  ‘‘L @€@@ €@@@  9identity_fn_applied_twice� @’°@ Ðj�¶� m¶@› 耛 ꀶ@¶�!x› ð€©›  ¯€° © u� Î ζ� x› ú€©›  ¹€°© x�© z� Ú Ú�@@ €@@@  9negation_fn_applied_twice� @’°@ ùk�¶� –¶@›  €›  €¶@¶�)›  €©›  ×€° © �� ö©š f€� ú¶� ¤›  &€©›  倰© ¤�© ¦�  �@@ €@@@  +andb_eq_orb� @’°@ %l�¶� º›  <€¶�n›  @€¶@©›  €° ©š p€  É !©š �Ð÷ 9@ �>]€  Ï '©›  €° Ì Ó�@@ €@@@  #bin‘,�<@�  ) (°"BZ"BD#BD1° ;¹¹@@ #°@AA°@AA¢@�¡� �Ð÷ W@�+i@°¡@€¡@� @@¡@�AB° @@ AA BA@@A@@@@@ €@@  (bin_rect� @‘ · ¶ ›  �Ð÷ @/�+i@€”‘°  Â,Qh h e@P˜@· © f�œ  A€· ¶ ¶@·© �©œ  B€¶· %¶ ¶@®© �©œ  !C€¿ž  �@@°�¾�¶ -+ �· /-ÍÐ-@LM°@°@ @@ @@D· 64©   ް "· 97© $¼· ;9¾@�¶� W¶� ?›  �Ð÷ ¯@m�+i@€”>¶� O©  :¶� R¶� L›   @€¶@© J� ª© E=¶� ]¶� W›  @€¶@© N� µ© I?¶� `› !€© N� ¼�� ° h+j() ,='*(=>3 %'>3 %''Qßÿÿÿ''+j$'+7Sj$'  �°>zAä  ‘‘nD@€@@ �i@@@  'bin_ind� @‘ · –¶ }{ ©š �Ð÷ ’@‡#Yðî€ Q@�¶G¶FE ?�� ° ,+j7$'  ’ X@€@@ €@@@  'bin_rec� @‘ · °¶ —• á@�¶\¶[Z T�� ° ,+j7$'  ’"X@€@@ €@@@  $incr� @‘ ž  �@@°�� �¶�F²²�·´Í‡·¶¶ °©˜«·�!v»©œ �·½©§�b@�¶�V›  �„@€› €�� °  ,4j*(= >3 9'>9'6'Qäÿÿÿ''+j6'+7Sj6'  ‘¤B�“@ˆ  �°©åA   ‘‘ÙÔ  ‘‘Ýð  ‘‘á@€@@ €@@@  &double� @‘ ·;ᩚ �Ð÷û@ £�`€  K K@�¶�‰› Ë€› Í€�� ° 0+j 7%'  ’\@€@@ €@@@  *bin_to_nat� @‘ ž  �@@°�� �¶a�·cÍç·e  o°÷·_©š �Ð÷ /@7;^ë€_·e©Z�@�¶�·› a€› û€�� ° $,:j*(=>3 7 9'>3 7$'F'QÞÿÿÿ''+j6'+7Sj6'  ’\  ’Œ  �°DA¸  ‘‘-ì  ‘‘<  ‘‘5@€@@ €@@@  .test_bin_incr1� @’°@ ¹m�©›  ‹€°O©š �Ð÷ f@±›9*€�©6�©8�¢©C�©E�©G�@@ €@@@  .test_bin_incr2� @’°@ Ön�©›  ¨€°a©š �Ð÷ ƒ@m D¡£€�©#�©U©±�© �@@ €@@@  .test_bin_incr3� @’°@ ðo�©›  €°{©�©9-©Å�©0�@@ €@@@  .test_bin_incr4� @’°@ p�©›  Ö€°š©KŽä�@@ €@@@  .test_bin_incr5� @’°@ q�©›  倰©©Z�R©ŒR�@@ €@@@@@ ÐÐ@ÂGÏÀ@ @A@AÂHMÀ@ À@AÐÐ@ I À@ ­@A@AÂJõÐ@Â,QhÀ@¯@A@ABC@¶@(  )Datatypes $Init #Coq@�0·f:|aÔ¬)ØÎÁ€Ü‘«Â  ü�0O{øyÊ�jäbſŠ *Logic_Type $Init #Coq@�0$ÄISÜ'ÓÊG6Ȳæÿ  #Nat � Œ@�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€    w 2 Q�à @‘À@@  Ÿ €@@@�B@@@  #_16 À¢¸  �Ð÷ ‹@ ‡[•¯à@A@@@@  ‘  @@@@  #_17 2Mì ‘��  #_18 '` oÀ@‘ �*type_scope@ �@@  #_19 À¢¸ ²‘" �A    @ �° ¨@ AA@@@   � N$ý @ð@B@ Ð ¢ Ù@  ™  ™  ™  ™  ™  ™  ™@@@@A@  #_20 À¢¸ ¡� ">  ’ @>  “ AB  “  BF  “  CJ  “ DN  “ ER  “ FV  “ GZ@  #_21 '` oÀ@’ (@@@  #_22 '` oÀ@“  0@A@@  #_23 '` oÀ@“  8@B@@  #_24 '` oÀ@“  @@C@@  #_25 '` oÀ@“  H@D@@  #_26 '` oÀ@“  P@E@@  #_27 '` oÀ@“  X@F@@  #_28 '` oÀ@“  `@G@@   à 2 Q�à¯@‘G@@@  #_29 À¢¸  �Ð÷5@ ë9pýª  ‘©@  #_30 2Mì ‘ ÁII@A  #_31 '` oÀ@‘ @ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ @ ��’ µ@  #_32 ? 3V /_rect_from_type�  ½/   “ 2 Q�àé@:@@@  #_33 À¢¸  �Ð÷n@ �.Eö¢ã  ‘â@  #_34 2Mì ‘ ÁII@A  #_35 '` oÀ@‘ @ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ @ ��’ î@  #_36 ? 3V ._ind_from_type�  ö/   ¯ 2 Q�à"@s@@@  #_37 À¢¸  �Ð÷§@ ¹.F§  ‘@  #_38 2Mì ‘ ÁII@A  #_39 '` oÀ@‘ @ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ @ ��’'@  #_40 ? 3V ._rec_from_type� //   Ò 2 Q�à[@‘@@@@  #_41 À¢¸  �Ð÷á@ Ý KFrV  ‘U@  #_42 2Mì ‘ ÁAA@A  #_43 '` oÀ@‘ @@ ��’ ä@   Ò 2 Q�à}@‘D@@@  #_44 À¢¸  �Ð÷@ Ý«&“à@A@@@@  ‘x@  #_45 2Mì ‘ ��  #_46 '` oÀ@‘@@   Ñ N$ý @ð@B@ Ð Ö:@  Ï  Ï@@@@�@  #_47 À¢¸ ¡� ‘"  ’ @š  “ Až  “  B¢@  #_48 '` oÀ@’ @@@  #_49 '` oÀ@“  @A@@  #_50 '` oÀ@“  $@B@@   ç 2 Q�àÏ@ @@@  #_51 À¢¸  �Ð÷T@ ñ-Õ%Q  ‘È@  #_52 2Mì ‘ ÁDD@A  #_53 '` oÀ@‘ @ @ @ @@ @ @ @ ��’ Ý@  #_54 ? 3V �  ä$   Ê 2 Q�àý@N@@@  #_55 À¢¸  �Ð÷‚@ Ô4jÊ8  ‘ö@  #_56 2Mì ‘ ÁDD@A  #_57 '` oÀ@‘ @ @ @ @@ @ @ @ ��’ @  #_58 ? 3V  � $   Þ 2 Q�à+@|@@@  #_59 À¢¸  �Ð÷°@ è4jÖ=­  ‘$@  #_60 2Mì ‘ ÁDD@A  #_61 '` oÀ@‘ @ @ @ @@ @ @ @ ��’9@  #_62 ? 3V ÿ� @$   ÷ 2 Q�àY@‘@@@@  #_63 À¢¸  �7Û  ‘R@  #_64 2Mì ‘ ÁAA@A  #_65 '` oÀ@‘ @@ ��’@   ö 2 Q�àz@‘@@@@  #_66 À¢¸  �;ü  ‘s@  #_67 2Mì ‘ ÁBA@A  #_68 '` oÀ@‘ @ @@ ��’* ��’.@   ó 2 Q�à @‘@@@@  #_69 À¢¸  �í"  ‘™@  #_70 2Mì ‘ ÁBA@A  #_71 '` oÀ@‘ @ @@ ��’P ��’T@   õ 2 Q�àÆ@‘D@@@  #_72 À¢¸  �Ð÷L@Ó„=à@A@@@@  ‘Á@  #_73 2Mì ‘ ��  #_74 '` oÀ@‘@@   2 Q�àå@‘D@@@  #_75 À¢¸  �Ð÷k@ Ó„>à@A@@@@  ‘à@  #_76 2Mì ‘ ��  #_77 '` oÀ@‘@@   2 Q�à@‘D@@@  #_78 À¢¸  �Ð÷Š@Ó„?à@A@@@@  ‘ÿ@  #_79 2Mì ‘ ��  #_80 '` oÀ@‘@@   2 Q�à#@‘D@@@  #_81 À¢¸  �Ð÷©@*Ó„@à@A@@@@  ‘@  #_82 2Mì ‘ ��  #_83 '` oÀ@‘@@  #_84 ü @ Ð h  hA  h@@&_ && _Ðh�B&_ && _  ¡‘ �h @�B�!x ��"&& ¡‘ �h A �!y@@ @ @@ ¤‘@  AA “# && • A@  B@@@@@  #_85 %cö?Ð@@      @@@  !y  @@@@¢�‘? ‘, ‘ @@ &_ && _   @&x && y  #_86 ü @ Ð r  rA  r@@&_ || _ÐrP&_ || _  ¡‘ �r @�B�O ��"|| ¡‘ �r A �N@@ @ @@ ¤M  AA • A@ “#||   B@@@@@  #_87 %cö?Ð@@   l  @@@  L  @@@@¢�‘ ‘w ‘U@@ &_ || _  X@&x || y  É 2 Q�àÝ@‘D@@@  #_88 À¢¸  �Ð÷c@ÔÓ„Aà@A@@@@  ‘Ø@  #_89 2Mì ‘ ��  #_90 '` oÀ@‘@@  Ø 2 Q�àü@‘@@@@  #_91 À¢¸  �Ð÷‚@ãu #  ‘ö@  #_92 2Mì ‘ ÁBA@A  #_93 '` oÀ@‘ @ @@ ��’­ ��’±@  Ó 2 Q�à#@‘D@@@  #_94 À¢¸  �Ð÷©@ÞOWà@A@@@@  ‘@  #_95 2Mì ‘ ��  #_96 '` oÀ@‘@@  ß 2 Q�àB@‘D@@@  #_97 À¢¸  �Ð÷È@êOXà@A@@@@  ‘=@  #_98 2Mì ‘ ��  #_99 '` oÀ@‘@@  ï 2 Q�àa@‘D@@@  $_100 À¢¸  �Ð÷ç@úOYà@A@@@@  ‘\@  $_101 2Mì ‘ ��  $_102 '` oÀ@‘@@  ÿ 2 Q�à€@‘D@@@  $_103 À¢¸  �Ð÷@ OZà@A@@@@  ‘{@  $_104 2Mì ‘ ��  $_105 '` oÀ@‘@@   2 Q�àŸ@‘@@@@  $_106 À¢¸  �Ð÷%@\”&  ‘™@  $_107 2Mì ‘ ÁCA@A  $_108 '` oÀ@‘ @ @ @@ ��’Q ��’U ��’Y@   2 Q�àË@‘D@@@  $_109 À¢¸  �Ð÷Q@=ë�à@A@@@@  ‘Æ@  $_110 2Mì ‘ ��  $_111 '` oÀ@‘@@   2 Q�àê@‘D@@@  $_112 À¢¸  �Ð÷p@=ë‘à@A@@@@  ‘å@  $_113 2Mì ‘ ��  $_114 '` oÀ@‘@@  ! 2 Q�à @‘D@@@  $_115 À¢¸  �Ð÷�@,=ë’à@A@@@@  ‘@  $_116 2Mì ‘ ��  $_117 '` oÀ@‘@@  0 2 Q�à(@‘D@@@  $_118 À¢¸  �Ð÷®@;=ë“à@A@@@@  ‘#@  $_119 2Mì ‘ ��  $_120 '` oÀ@‘@@  ? rHÈ @�  = N$ý @ð@B@ ÐBê@ ; ;@@@@M@  $_122 À¢¸ ¡�ã'  ’ @J  “ AN  “  BR@  $_123 '` oÀ@’ @@@  $_124 '` oÀ@“  @A@@  $_125 '` oÀ@“  $@B @@ ��’ *@@  V 2 Q�à…@Ö@@@  $_126 À¢¸  �Ð÷„@` ùÍ\  ‘~@  $_127 2Mì ‘ ÁDD@A  $_128 '` oÀ@‘ @ @ @ @@ @ @ @ ��’5@  $_129 ? 3V Ë� <$   2 Q�à³@@@@  $_130 À¢¸  �Ð÷²@6XŠ  ‘¬@  $_131 2Mì ‘ ÁDD@A  $_132 '` oÀ@‘ @ @ @ @@ @ @ @ ��’c@  $_133 ? 3V À� j$  ) 2 Q�àá@2@@@  $_134 À¢¸  �Ð÷à@36$]¸  ‘Ú@  $_135 2Mì ‘ ÁDD@A  $_136 '` oÀ@‘ @ @ @ @@ @ @ @ ��’‘@  $_137 ? 3V µ� ˜$  B 2 Q�à@‘@@@@  $_138 À¢¸  �Ð÷@M‹kÄç  ‘ @  $_139 2Mì ‘ ÁAA@A  $_140 '` oÀ@‘ @@ ��’Q@@  ; 2 Q�à1@‘@@@@  $_142 À¢¸  �Ð÷·@F-—Ià@A@@@@  ‘,@  $_143 2Mì ‘ ÁAA@A  $_144 '` oÀ@‘ �)nat_scope@ ��’7@   2 Q�àV@‘E@@@  $_145 À¢¸  �Ð÷Ü@ea>%  ‘P@  $_146 2Mì ‘ ÁAA@A  $_147 '` oÀ@‘ �$@ ��’Z@  ö 2 Q�ày@‘@@@@  $_148 À¢¸  �Ð÷ÿ@›ËÕH  ‘s@  $_149 2Mì ‘ ÁAA@A  $_150 '` oÀ@‘ �G@ ��’}@  ÷ 2 Q�àœ@‘D@@@  $_151 À¢¸  �Ð÷"@/˜ž7à@A@@@@  ‘—@  $_152 2Mì ‘ ��  $_153 '` oÀ@‘@@  ý 2 Q�à»@‘D@@@  $_154 À¢¸  �Ð÷A@/˜ž8à@A@@@@  ‘¶@  $_155 2Mì ‘ ��  $_156 '` oÀ@‘@@   rHÈ @�   2 Q�àß@‘E@@@  $_158 À¢¸  �Ð÷@ŒdÌ$  ‘Ù@  $_159 2Mì ‘ ÁAA@A  $_160 '` oÀ@‘ �­ �¯@ ��’å ��’é@  ì 2 Q�à@‘E@@@  $_161 À¢¸  �Ð÷=@÷Œ rM  ‘@  $_162 2Mì ‘ ÁAA@A  $_163 '` oÀ@‘ �Ö �Ø@ ��’ ��’@  Ñ 2 Q�à1@‘D@@@  $_164 À¢¸  �Ð÷f@Ü-†é¾à@A@@@@  ‘,@  $_165 2Mì ‘ ��  $_166 '` oÀ@‘@@  Ó 2 Q�àP@‘E@@@  $_167 À¢¸  �Ð÷…@ÞdlN  ‘J@  $_168 2Mì ‘ ÁAA@A  $_169 '` oÀ@‘ � � @ ��’V ��’Z@@  ³ 2 Q�ày@‘E@@@  $_171 À¢¸  �Ð÷ÿ@¾�0Ãà@A@@@@  ‘t@  $_172 2Mì ‘ ÁBB@A  $_173 '` oÀ@‘ �H �J@ ��’€ ��’„@  … 2 Q�à£@‘E@@@  $_174 À¢¸  �Ð÷)@�4dzÛ*  ‘�@  $_175 2Mì ‘ ÁAA@A  $_176 '` oÀ@‘ �q@ ��’§@  k 2 Q�àÆ@‘D@@@  $_177 À¢¸  �Ð÷L@v rñ�à@A@@@@  ‘Á@  $_178 2Mì ‘ ��  $_179 '` oÀ@‘@@  w 2 Q�àå@‘D@@@  $_180 À¢¸  �Ð÷k@‚ rñ�à@A@@@@  ‘à@  $_181 2Mì ‘ ��  $_182 '` oÀ@‘@@  $_183 ü @ Ð r  rA  r@@%_ + _Ðr�B  ¡‘ �r @�B� ½ ��!+ ¡‘ �r A �¤@@ @ @@ ¤‘@  AA “" + • A@  B@@@@@  $_184 %cö?Ð@�)nat_scope    á  �ò@@    �÷@@@¢�‘  ‘ î ‘Ì@@ %_ + _  Ï@%x + y  $_185 ü @ Ð r  rA  r@@%_ - _ÐrP  ¡‘ �r @�B�  ��!- ¡‘ �r A �ó@@ @ @@ ¤O  AA “" - • A@  B@@@@@  $_186 %cö?Ð@�)nat_scope    /  �@@@    �E@@@¢�‘�Ð÷ Í@#sub £ª ‘ ? ‘@@ %_ - _   @%x - y  $_187 ü @ Ð h  hA  h@@%_ * _Ðh¡  ¡‘ �h @�B� ] ��!* ¡‘ �h A �D@@ @ @@ ¤   AA “" * • A@  B@@@@@  $_188 %cö?Ð@�)nat_scope    €  �‘@@  a  �–@@@¢�‘ « ‘ � ‘k@@ %_ * _  n@%x * y  n 2 Q�àó@‘E@@@  $_189 À¢¸  � ø   ‘ì@  $_190 2Mì ‘ ÁAA@A  $_191 '` oÀ@‘ �À �Â@ ��’ø ��’ü@  D 2 Q�à @‘E@@@  $_192 À¢¸  �Ð÷¡@O�9+6  ‘ @  $_193 2Mì ‘ ÁAA@A  $_194 '` oÀ@‘ �é �ë@ ��’! ��’%@  - 2 Q�à D@‘D@@@  $_195 À¢¸  �Ð÷Ê@8Ó!‡à@A@@@@  ‘ ?@  $_196 2Mì ‘ ��  $_197 '` oÀ@‘@@  8 2 Q�à c@‘D@@@  $_198 À¢¸  �Ð÷é@CÓ!ˆà@A@@@@  ‘ ^@  $_199 2Mì ‘ ��  $_200 '` oÀ@‘@@  G 2 Q�à ‚@‘D@@@  $_201 À¢¸  �Ð÷@RÓ!‰à@A@@@@  ‘ }@  $_202 2Mì ‘ ��  $_203 '` oÀ@‘@@  V 2 Q�à ¡@‘@@@@  $_204 À¢¸  �Ð÷'@a*?ìb  ‘ ›@  $_205 2Mì ‘ ÁBAAA  $_206 '` oÀ@‘ �o �q@ ��’§ ��’«@  O 2 Q�à Ê@‘D@@@  $_207 À¢¸  �Ð÷P@Zj»¬à@A@@@@  ‘ Å@  $_208 2Mì ‘ ��  $_209 '` oÀ@‘@@  [ 2 Q�à é@‘D@@@  $_210 À¢¸  �Ð÷o@fj»­à@A@@@@  ‘ ä@  $_211 2Mì ‘ ��  $_212 '` oÀ@‘@@  k 2 Q�à @‘D@@@  $_213 À¢¸  �Ð÷Ž@vj»®à@A@@@@  ‘ @  $_214 2Mì ‘ ��  $_215 '` oÀ@‘@@  { 2 Q�à '@’@@@@  $_216 À¢¸  �Ð÷­@†ÙESà@A@@@@  ‘ "@  $_217 2Mì ‘ ��  $_218 '` oÀ@‘ �÷@ ��’-@  j 2 Q�à L@’@@@@  $_219 À¢¸  �Ð÷Ò@u<ctà@A@@@@  ‘ G@  $_220 2Mì ‘ ��  $_221 '` oÀ@‘ �@ ��’R@  v 2 Q�à q@’@@@@  $_222 À¢¸  �Ð÷÷@�Ùà@A@@@@  ‘ l@  $_223 2Mì ‘ ��  $_224 '` oÀ@‘ �A@ ��’w@  w 2 Q�à –@’@@@@  $_225 À¢¸  �Ð÷@‚í� à@A@@@@  ‘ ‘@  $_226 2Mì ‘ ��  $_227 '` oÀ@‘ �f@ ��’œ@  q 2 Q�à »@’@@@@  $_228 À¢¸  �Ð÷A@|£Ñà@A@@@@  ‘ ¶@  $_229 2Mì ‘ ��  $_230 '` oÀ@‘ �‹ �� @@ ��’Ä ��’È ��’5@  ~ 2 Q�à ë@’@@@@  $_231 À¢¸  �Ð÷q@‰&Ãíà@A@@@@  ‘ æ@  $_232 2Mì ‘ ��  $_233 '` oÀ@‘ �» �½ �¿ @ @@ ��’÷ ��’û ��’ÿ ��’l ��’p@  Œ 2 Q�à &@’@@@@  $_234 À¢¸  �Ð÷¬@—5–Æà@A@@@@  ‘ !@  $_235 2Mì ‘ ��  $_236 '` oÀ@‘ �ö �ø@ ��’. ��’2@  ’ 2 Q�à Q@’@@@@  $_237 À¢¸  �Ð÷×@�íÎÀà@A@@@@  ‘ L@  $_238 2Mì ‘ ��  $_239 '` oÀ@‘ �! �# @@ ��’Z ��’^ ��’Ë@  Ž 2 Q�à �@’@@@@  $_240 À¢¸  �Ð÷@™_"à@A@@@@  ‘ |@  $_241 2Mì ‘ ��  $_242 '` oÀ@‘ �Q@ ��’‡@  Œ 2 Q�à ¦@’@@@@  $_243 À¢¸  �Ð÷,@—(gvNà@A@@@@  ‘ ¡@  $_244 2Mì ‘ ��  $_245 '` oÀ@‘ @@ ��’X@  ” 2 Q�à Ê@’@@@@  $_246 À¢¸  �Ð÷P@Ÿ6 ;,à@A@@@@  ‘ Å@  $_247 2Mì ‘ ��  $_248 '` oÀ@‘ @ @@ ��’} ��’�@    2 Q�à ó@’@@@@  $_249 À¢¸  �Ð÷y@« –¢�à@A@@@@  ‘ î@  $_250 2Mì ‘ ��  $_251 '` oÀ@‘ @ @@ ��’¦ ��’ª@  ¯ 2 Q�à @’@@@@  $_252 À¢¸  �Ð÷¢@º-ƒXà@A@@@@  ‘ @  $_253 2Mì ‘ ��  $_254 '` oÀ@‘ @ @ @@ ��’Р��’Ô ��’Ø@  ¹ 2 Q�à J@’@@@@  $_255 À¢¸  �Ð÷Ð@Ä:MÑà@A@@@@  ‘ E@  $_256 2Mì ‘ ��  $_257 '` oÀ@‘ �@ ��’P@  ¹ 2 Q�à o@’@@@@  $_258 À¢¸  �Ð÷õ@Ä9Nèà@A@@@@  ‘ j@  $_259 2Mì ‘ ��  $_260 '` oÀ@‘ @ @@ ��’" ��’&@  È 2 Q�à ˜@’@@@@  $_261 À¢¸  �Ð÷@Ó3 (Äà@A@@@@  ‘ “@  $_262 2Mì ‘ ��  $_263 '` oÀ@‘ @ @ @@ ��’L ��’P ��’@  Ñ 2 Q�à Æ@’@@@@  $_264 À¢¸  �Ð÷L@ÜìŸJà@A@@@@  ‘ Á@  $_265 2Mì ‘ ��  $_266 '` oÀ@‘ �–@ ��’Ì@  $_267 ü @ Ð r  rA  r@@%_ + _Ðrç  ¡‘ �r @�B�£ ��!+ ¡‘ �r A � Š@@ @ @@ ¤æ  AA “" + • A@  B@@@@@  $_268 %cö?Ð@�)nat_scope   Æ  å@@   ¦  ä@@@¢�ã ‘Р‘ ®@@ %_ + _  ±@%x + y  $_269 ü @ Ð h  hA  h@@%_ * _Ðh2  ¡‘ �h @�B�î ��!* ¡‘ �h A � Õ@@ @ @@ ¤1  AA “" * • A@  B@@@@@  $_270 %cö?Ð@�)nat_scope     ‘@@   ñ  �@@@¢�� ‘ ‘ ù@@ %_ * _  ü@%x * y  g 2 Q�à �@‘E@@@  $_271 À¢¸  �Ð÷@rzK¿»  ‘ {@  $_272 2Mì ‘ ÁAA@A  $_273 '` oÀ@‘ �O �Q@ ��’‡ ��’‹@  ] 2 Q�à ª@’@@@@  $_274 À¢¸  �Ð÷0@h9="à@A@@@@  ‘ ¥@  $_275 2Mì ‘ ��  $_276 '` oÀ@‘ @ @ @@ @ @ ��’`@  \ 2 Q�à Ò@’@@@@  $_277 À¢¸  �Ð÷X@g —/à@A@@@@  ‘ Í@  $_278 2Mì ‘ ��  $_279 '` oÀ@‘ @ @ @@ @ @ ��’ˆ@  X 2 Q�à ú@’@@@@  $_280 À¢¸  �Ð÷€@c0‹Và@A@@@@  ‘ õ@  $_281 2Mì ‘ ��  $_282 '` oÀ@‘ @ @ @@ ��’® ��’² ��’r@  a N$ý @ð@B@ ÐfÆ@ _ _ _@@@@*@  $_283 À¢¸ ¡�2  ’ @'  “ A+  “  B/  “  C3@  $_284 '` oÀ@’ @@@  $_285 '` oÀ@“   @A@@  $_286 '` oÀ@“  (@B @@ ��’ .@@  $_287 '` oÀ@“  6@C @@ ��’ <@@  Š 2 Q�àt@ Å@@@  $_288 À¢¸  �Ð÷ù@”#Yðîy  ‘m@  $_289 2Mì ‘ ÁEE@A  $_290 '` oÀ@‘ @ @ @ @ @@ @ @ @ @ ��’j@  $_291 ? 3V  ¼� q&  ? 2 Q�à¤@ õ@@@  $_292 À¢¸  �Ð÷)@I)Ÿ ©  ‘�@  $_293 2Mì ‘ ÁEE@A  $_294 '` oÀ@‘ @ @ @ @ @@ @ @ @ @ ��’š@  $_295 ? 3V  ³� ¡&  U 2 Q�àÔ@%@@@  $_296 À¢¸  �Ð÷Y@_)«Ù  ‘Í@  $_297 2Mì ‘ ÁEE@A  $_298 '` oÀ@‘ @ @ @ @ @@ @ @ @ @ ��’Ê@  $_299 ? 3V  ª� Ñ&  p 2 Q�à@‘E@@@  $_300 À¢¸  �Ð÷Š@{›9*   ‘þ@  $_301 2Mì ‘ ÁAA@A  $_302 '` oÀ@‘ @@ ��’o@  O 2 Q�à&@‘@@@@  $_303 À¢¸  �Ð÷¬@Z;^ë,  ‘ @  $_304 2Mì ‘ ÁAAAA  $_305 '` oÀ@‘ �ô@ ��’*@  T 2 Q�àI@‘E@@@  $_306 À¢¸  �Ð÷Ï@_ D¡£O  ‘C@  $_307 2Mì ‘ ÁAA@A  $_308 '` oÀ@‘ @@ ��’´@  5 2 Q�àk@‘D@@@  $_309 À¢¸  �Ð÷ñ@@.!"¦à@A@@@@  ‘f@  $_310 2Mì ‘ ��  $_311 '` oÀ@‘@@  7 2 Q�àŠ@‘D@@@  $_312 À¢¸  �Ð÷@B.!"§à@A@@@@  ‘…@  $_313 2Mì ‘ ��  $_314 '` oÀ@‘@@  < 2 Q�à©@‘D@@@  $_315 À¢¸  �Ð÷/@G.!"¨à@A@@@@  ‘¤@  $_316 2Mì ‘ ��  $_317 '` oÀ@‘@@  G 2 Q�àÈ@‘D@@@  $_318 À¢¸  �Ð÷N@R.!"©à@A@@@@  ‘Ã@  $_319 2Mì ‘ ��  $_320 '` oÀ@‘@@  W 2 Q�àç@‘D@@@  $_321 À¢¸  �Ð÷m@b.!"ªà@A@@@@  ‘â@  $_322 2Mì ‘ ��  $_323 '` oÀ@‘@@@@”±ÐD,Áq9‹UU+ÈÖ'ä|5„•¦¾@¾?ô�¯BIH˜)$!™|^„•¦¾@y™“K @ÙªïKmè*l/|‡„•¦¾@om�\” ú}”úŠË!%�„•¦¾i› þÈ�‘µ©œ   �Ð÷� %Logic $Init #Coq@@"eqÐ @A€ ›  �Ð÷� &Basics@@#day�-®@€œ   B€C©› €°©š �Ð÷@,next_weekday KFr€�©�œ  F€�‘µ©/ ›  �Ð÷!@$boolšä@€œ  A€C©° ©š �Ð÷,@#orb�>]€  œ  B€�‘µ©I C©/°©    �‘µ#C©6°#© �‘µ*C©=°*© &&&�‘µ1C©D°1©& --�‘µ8C©K°8©š �Ð÷Y@%nandbu #€-8�‘µCC©V°C© '>�‘µIC©\°I©&D�‘µ5C©b°O©%>�‘µUC©h°U©š �Ð÷v@%andb3\”&€°VVVV�‘µGC©t°a© °Q]]Q�‘µNC©{°h©°dXdX�‘µUC©‚°o©°kk__�‘µvC©‰°v©š �Ð÷—@$oddb›ËÕ€�©œ   �Ð÷� )Datatypes®@#natò@B€�œ   A€†�‘µwC©¤°‘©�©�©�©†�‘µ©Ì › €©"�©$�©&�©(�©*C©½° ©š �Ð÷¢�Ì+Playground2@$multŒ r€ �‘µ©è C©ΰ©š �Ð÷Ü@)factorial4dzۀ-�‘µ©õ )©I�©K�©M�©O�©Q�©S�©U�©W�©Y�©[�©]�©_�©a�©c�©e�©g�©i�©k�©m�©o�©q�©s�©u�©w�©y�©{�©}�©�©��©ƒ�©…�©‡�©‰�©‹�©��©��©‘�©“�©•�©—�©™�©›�©��©Ÿ�©¡�©£�©¥�©§�©©�©«�©­�©¯�©±�©³�©µ�©·�©¹�©»�©½�©¿�©Á�©Ã�©Å�©Ç�©É�©Ë�©Í�©Ï�©Ñ�©Ó�©Õ�©×�©Ù�©Û�©Ý�©ß�©á�©ã�©å�©ç�©é�©ë�©í�©ï�©ñ�©ó�©õ�©÷�©ù�©û�©ý�©ÿ�©�©�©�©�© �© �© �©�©�©�©�©�©�©�©�©�©!�©#�©%�C©¹° ©ë©š �Ð÷� #NatÖ@#mul £¡—€ �‘µ¶C©ɰ¶©š �Ð÷×@#leb�9+€ &&·�‘µÂC©Õ°©  -1¾�‘µ¯C©ܰÉ© 84¹�‘µ¶C©ã°Щš �Ð÷ñ@'blt_nat*?ìb€Ä�‘µÛC©î°Û© Ö�‘µÇC©ô°á©Ð�‘·�!nJµ© M�AC©°P©š �Ð÷F@#add £�`€ k  �‘·Z�‘·]©+ _©��‘·d©2 fz�‘·!i·�!ml·�!H©!°q�B%©š �Ð÷>@(eq_ind_r!¼2#€ày·2z©,°|©, 11©. �C©O ƒ©3 8�‘·@ˆ·‰·�!oŒ·�#Hnm©A°‘ ·�#Hmo©"à–�D·P˜©J°š©J O�E©M  ©-à¡!·8¢©T°¤(©T Y©t ¨*[ 7�‘·c«·B¬©:à®=·g¯©a°±©§ fB©© 5D©ƒ ·©­ Hl©i ÏJ©š �Ð÷y@(plus_O_nÙES€�Q�‘·}Å·\Æ·�$HmSn©{°Ë~©ë ©ZàΩî�P·‰Ñ©ƒ°Ó©É Uˆ©ËW©š �Ð÷¢@&eq_ind £J€àÝl ©« ß©Õ\“©� b©š �Ð÷ @(plus_1_lÙ€�‘·£ëÍÐ @ @A @A°@ @ @@D·«ó©¥°’©š �Ð÷³@'beq_nat)1{Z€ ©¬ ±‰± „·�"n'‡�‘·�!b¤ÍФ@ @@ @@°@ @@D· «©À°­©š �Ð÷Î@$negb›²¬€�©¸ËË ¸ž�‘·¹·�!c¼Í·¾©Ó°À©š �Ð÷á@$andbšbÕ€w©r¹ Í$·(ʩ̩߰  Èä© æÊæ © Ó©©© Ö©³Í3·7Ù©î°Û© Ëó© õÍõ © â©"Ò© å©%É�‘0�‘·Ië·2ì·�!dïÍK·Oñ©°ó©3 ©5  Úé©7 9ÜÜ ÍV·Zü©°þ©> 4ò©@ ©B þöö Ía·e©° ©I 8!©K A# ©? ©P ? ©C ©T 4Ír·v©-°©Z :2©\ R 4 ©P !©a P©T %©e E̓·‡)©>°+©k R©m ©o #G# ÍŽ·’4©I°6©v bN©x _4P ©l =©} i9©p A©� ^=ÍŸ·£E©Z°G©‡ d_©‰ p9a ©} N©Ž z>©� R©’ oB�‘·�"n0¼ÍÑËp C·w¿D�‘·½_Í»·¿a¶¨b©w°dž¤z ·¬fž·­g��‘·Èj·±k·b©�°n¨h©ÍË·Ïq¶h©‡°t©´ CŒp©‹°xjrj ·p©�°|©¼ axx€·u©”°�©Á fq}©à…©Å Tu·æˆ©�°Šx ©Íç·ë�¶„©£°�³Š©¥°’€©Ò †‚a ·Œ©«°˜¶’¸·�©®°›¶•¸ž•±ž�‘·¹Í·»©µ°¢©  ’º �‘·�!f¶@ªª·�"Hf¶�!x°©Ű²©¥¶É·´©¥à¶©šº·¸©ͰºÐ¬©«à¼Ò©í ¾Ô ©¢� ©³�‘··¶Æ©Û°È·'É©ºàË© ©½àη-Ï©ä°ÑÃ-�‘·2Ô·ÕÍ1·5×¶@©í°Ú©ÏŒ©ð°ÝÏÀÏ µ·�"Hc©÷°äúÞ©Õàæà·-ç©ü°éãÿëÛÿC¶@©ÿ°ì ©á ©°ïéáµ·i©~àóá·:ôlÜæ C¶@© °÷©ì© °úèì�‘µ©. ›  �Ð÷ @#bin�+i@€©œ  B€�©�©�©œ  C€�œ  A€C©+°©š �Ð÷9@$incr›9*€�©�©�‘µ©V Š©ª�©¬�©š �Ð÷L@&double;^ë€�©�©·�© ¯C©L°œ©š �Ð÷Z@*bin_to_nat D¡£€�©(�©48©Æ�© �‘µ©z ®©ÎC©a°±©�©8F©Ô�©I�‘µ©ˆ ZKC©n°\©CJN�‘µ©� b©SYC©w°e©L�aþ\âÂžŽ‚ Xdbט