!4�„•¦¾�×|° #Imp@$ )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;�  $Bool  #Coq@�0À*nKIvİ.ìÄ   &Basics 'Program #Coq@�0À…ëZ‰ü3}Éš_Kµ  $Init 'Classes #Coq@�0êË»ÒûGF+û<՚ЗH  'Tactics 'Program #Coq@�0• š·4x‹Žì>�´ÅÆ  4Relation_Definitions )Relations #Coq@�0±ÆP,äBý? L–6�  /RelationClasses 'Classes #Coq@�0ü6¹«µzå òNcšM¿  )Morphisms 'Classes #Coq@�0%…¦‚ܨúKP¢ì®ñ½  0CRelationClasses 'Classes #Coq@�0-¹³‚ð· vN]mN•;  *CMorphisms 'Classes #Coq@�0KŽ8�µì2�3CPýP  .Morphisms_Prop 'Classes #Coq@�0PÜZÿ_±¬ðD|%ߟvƒ  +Equivalence 'Classes #Coq@�0%´ ñ¤ð‹+< qÙz¹î�  -SetoidTactics 'Classes #Coq@�0—÷£‡¢o«M®ÝUÝÆÉV  &Setoid 'Setoids #Coq@�0I‡\ ¦@ì­$0÷¢¸a  *Equalities *Structures #Coq@�0›è ¡¸Ö hG�õŠk›ñ  2Relation_Operators )Relations #Coq@�0•àƒä4ö*oVƒ´}m  4Operators_Properties )Relations #Coq@�0lv >!ÔUaÖÄj?2  )Relations  #Coq@�0¾Q&¼W¦v  DBz-tÊ  &Orders *Structures #Coq@�0$µµ–L¤«šÇþ\¯ ýäP  *NumPrelude 'Numbers #Coq@�0HÿHÀHHžê¹z8ab^  )OrdersTac *Structures #Coq@�0&?çUpÅ@EteZ¼ÎÙý  +OrdersFacts *Structures #Coq@�0HÙ ‹·…é�ÍAÎLAɽ  -GenericMinMax *Structures #Coq@�0±v×ä*‰ +Ñ´¶?«ÒÙ  (NZAxioms &NatInt 'Numbers #Coq@�0,Çp˜ÍõÀè¹­Æ8—±°  &NZBase &NatInt 'Numbers #Coq@�0,îÈLá4©&ýC×ña  %NZAdd &NatInt 'Numbers #Coq@�0>}cåqï•=î�J*•ë'  %NZMul &NatInt 'Numbers #Coq@�0χøÑ/ó7dã‘Â#  )Decidable %Logic #Coq@�00ùÝÈ› ¡"�O©_  'NZOrder &NatInt 'Numbers #Coq@�0¢ü¯%Â#/{öˬy•?  *NZAddOrder &NatInt 'Numbers #Coq@�0ëßl‹U%äê1*çgFz  *NZMulOrder &NatInt 'Numbers #Coq@�0UåfÎ Ÿˆt_ÙŒPÐ.  (NZParity &NatInt 'Numbers #Coq@�0^ÄMc×E¢aú継ߴm  %NZPow &NatInt 'Numbers #Coq@�0›U—ËZV¡€<£d¬®ŽÇ  &NZSqrt &NatInt 'Numbers #Coq@�0 Ÿü¥;I�ì£ x†&‡â§  %NZLog &NatInt 'Numbers #Coq@�0 bæy{tËêËQ;ße  %NZDiv &NatInt 'Numbers #Coq@�0žËè€J¥†•Ò×�Àµ  %NZGcd &NatInt 'Numbers #Coq@�0$ ‹°eJUûH¾“qkk¡  &NZBits &NatInt 'Numbers #Coq@�0•ý'xRÏ_§û õV~µ  'NAxioms (Abstract 'Natural 'Numbers #Coq@�0u#(~dþb¥üUчu»  ,NZProperties &NatInt 'Numbers #Coq@�0#“eÀØ_ 9àñ´W“  %NBase (Abstract 'Natural 'Numbers #Coq@�0)k½ó’e� qŒÝl}áé6  $NAdd (Abstract 'Natural 'Numbers #Coq@�0¾O¡ÚÃÁ ˆŽC>?.@  &NOrder (Abstract 'Natural 'Numbers #Coq@�0 ä›†#ºÑ Æbu  )NAddOrder (Abstract 'Natural 'Numbers #Coq@�0’`¢XO1nËÜ€æÞm  )NMulOrder (Abstract 'Natural 'Numbers #Coq@�0~yM–åÍÂ:² ÅâÊ  $NSub (Abstract 'Natural 'Numbers #Coq@�0\4³¸óäkËw‘¢L‘�  'NMaxMin (Abstract 'Natural 'Numbers #Coq@�0'«{Ï"l•jüÕ¦Ì잆  'NParity (Abstract 'Natural 'Numbers #Coq@�07€:øåÐÉ{ûÔF+£'º  $NPow (Abstract 'Natural 'Numbers #Coq@�0¬~š†A¯ÎßPº9ÔP  %NSqrt (Abstract 'Natural 'Numbers #Coq@�0­ÐæóI r[&Ÿ¼Z  $NLog (Abstract 'Natural 'Numbers #Coq@�0 S—n¡†I¯`«]úy¢¸¬  $NDiv (Abstract 'Natural 'Numbers #Coq@�0Œe.qIz ­yQvI“�F  $NGcd (Abstract 'Natural 'Numbers #Coq@�0ÎЗ\Âç«9œsîØ¼õY  $NLcm (Abstract 'Natural 'Numbers #Coq@�0q¹1Q±ó· Ì“}ûCy  %NBits (Abstract 'Natural 'Numbers #Coq@�0%xŸ}ÄäþhKä'¸÷$  +NProperties (Abstract 'Natural 'Numbers #Coq@�0 J»-?tëÅ”_å½þÍ  (PeanoNat %Arith #Coq@�0JÈ#ß Ý³0j}4Žä’ì  "Le %Arith #Coq@�0viàô:5�"dxIV·«  "Lt %Arith #Coq@�0eÚÎSèƒ>±Ó˜|pFøÀ´  $Plus %Arith #Coq@�0·£áBŸ"3$Éî>¬jÐÇ  "Gt %Arith #Coq@�0i£îŽ,ų²Óýdó  %Minus %Arith #Coq@�0¦ géГFUü?bvò  $Mult %Arith #Coq@�0cú´Èd\o9‚B„ÿ¸  'Between %Arith #Coq@�0d·Õ¾0—]ÖZê  *EqdepFacts %Logic #Coq@�0.¼°!ë~‹Ž¢Åñº Fø  )Eqdep_dec %Logic #Coq@�0:àoLf`Òé°„»}Ê  )Peano_dec %Arith #Coq@�0±°&φ¹^¸€<j8!¬  +Compare_dec %Arith #Coq@�0ˆD½Ë{ßЕÑÍñ  )Factorial %Arith #Coq@�0fy¢Ný;”P _ª{…Û—  %EqNat %Arith #Coq@�0Ú)C-®Ôb˸â®4?l  &Wf_nat %Arith #Coq@�0m Ó²A]�Ö¤J%Ø›üð  *Arith_base %Arith #Coq@�0ÝôŒŽÎGí-Í_/I¡±  'BinNums 'Numbers #Coq@�0“¼§Â©&ˆo›ƒ&%Y†   )BinPosDef &PArith #Coq@�0�²pÕpozĨ¬µ8[™{  &BinPos &PArith #Coq@�0y-]—ó"óÍ“¾Aõ_¡�  )BinNatDef &NArith #Coq@�0=ÉéWn”Ã¥5–y{»æ  &BinNat &NArith #Coq@�0í¼ÈÝs]$XõÏca`]x  $Pnat &PArith #Coq@�0~Ö¿eZ€¸`2b×{KÒ  $Nnat &NArith #Coq@�0;,Ö–!-½ã€Þ•x°Aq  +Ring_theory +setoid_ring #Coq@�0k¼ CD·ÖÎâÊÖ¢‘’—  %Quote %quote #Coq@�0TÿUÜE¬Ã³‘T(ž‰ÁWŒ  $List %Lists #Coq@�0p”'Û:xœvûÛ Mò  'BinList +setoid_ring #Coq@�0øx ¹ä±tÍàë‘Ìô(œg  'ZAxioms (Abstract 'Integer 'Numbers #Coq@�0J¨'�|F‘eÕâýËèeJG  %ZBase (Abstract 'Integer 'Numbers #Coq@�0|U"mQ¼Q-0J‘G÷  $ZAdd (Abstract 'Integer 'Numbers #Coq@�0 ƒ$쳿NlV‡�tfé˜Ö  $ZMul (Abstract 'Integer 'Numbers #Coq@�0Çì?ªF®ú%><}4&{4a  #ZLt (Abstract 'Integer 'Numbers #Coq@�0Ï^^ÖÕž*]Ä·dCõ  )ZAddOrder (Abstract 'Integer 'Numbers #Coq@�0Áq’<âÛ®JÍ�:8 É  )ZMulOrder (Abstract 'Integer 'Numbers #Coq@�0ìï>²pâÞ�à€õ1�ñ*  'ZMaxMin (Abstract 'Integer 'Numbers #Coq@�0·O“*>⽈Ô~(Ú]  'ZSgnAbs (Abstract 'Integer 'Numbers #Coq@�0†�Þ„\zÌ*­Þ·‘åp  'ZParity (Abstract 'Integer 'Numbers #Coq@�0C¶ŸÉr�ï¶u }ì’rô5  $ZPow (Abstract 'Integer 'Numbers #Coq@�0 †úá 5•¾”gWß5µ  )ZDivTrunc (Abstract 'Integer 'Numbers #Coq@�0‚Þ$,ð¦`Ä"“Æd²ñ&L  )ZDivFloor (Abstract 'Integer 'Numbers #Coq@�0)ŒAý(GQAXYââ�÷ºN  $ZGcd (Abstract 'Integer 'Numbers #Coq@�0±(ࢦ‹å|Î@°êà $ZLcm (Abstract 'Integer 'Numbers #Coq@�0r…›�xµ۟Ÿïј"Å  %ZBits (Abstract 'Integer 'Numbers #Coq@�0m~Ü�xªQç–¾Uu+¸ì  +ZProperties (Abstract 'Integer 'Numbers #Coq@�0söíÛˆ.B]}RÉm  )BinIntDef &ZArith #Coq@�0ŽiŸEеèY  +InitialRing +setoid_ring #Coq@�0;�è/æÑèª7ˆc6öv¯  (Ring_tac +setoid_ring #Coq@�0]’ï¢ ªN€Ìýõè@7  )Ring_base +setoid_ring #Coq@�0ÑjT£ª0v‹,:�̼Ԡ $Ring +setoid_ring #Coq@�0îÌCL£xÕBŸV_c—EP  )ArithRing +setoid_ring #Coq@�01rÚlå#¦ãuH�rKmÆ  %Arith  #Coq@�0Ç2Ȯ΄/ì¦E¸bØ€  'Zminmax &ZArith #Coq@�0œzu˜N]Zº|þ†kO  $Zmin &ZArith #Coq@�0ïLYÏ*²1!šü†êÈw  $Zmax &ZArith #Coq@�0e‰/²¹ÈT»CA|5³€»  $Znat &ZArith #Coq@�0‰p=tž&û­ïf#çÙn  $Zabs &ZArith #Coq@�0U‡>×[XQé·�^�g:  )auxiliary &ZArith #Coq@�0œÀLš6¨�Uæ4aEР %Zmisc &ZArith #Coq@�0áxwö÷ê}È}{÷’.  $Wf_Z &ZArith #Coq@�0ÝzAvf™s¥ â>¢Åœ  &Zhints &ZArith #Coq@�0é6J>0\ 7B�6�Â(  +ZArith_base &ZArith #Coq@�0ÈéÓ†à%­$–â8 Ž‡(‰  +OmegaLemmas %omega #Coq@�0Âä“q|ùÐ%Gø®œCãôž  #Max %Arith #Coq@�0,hPyèý¼m´ïsÒ­  #Min %Arith #Coq@�0ù©ëmº,[3�ØÂ8@’ž  (PreOmega %omega #Coq@�0Éa¿<}¼Ð§�k¹'‘$“  %Omega %omega #Coq@�0d"· c’tSƒ¦•0 :j  8FunctionalExtensionality %Logic #Coq@�0Å L­šˆ»ÈzS’jʬ¿j  $Maps@�0íHÖ«Êd¹ä𨠖µq_Æ  %SfLib@�0kÔr²³ÍçmUêˆÈçg9¿Ñ¥,½²SßK†Æ¦+_Ÿo$„•¦¾S_K¡ÿ8ñɠР#Imp@ð�A�  $AExp’ð¢A�  $aexp‘,�<@� ”�@À$ANum%APlus&AMinus%AMultÀ¶@›  �Ð÷� )Datatypes $Init #Coq@@#natò@€�B¶@�A¶@�C@@ @ A B@ÀABBBÀABBB¢@�¡� �Ð÷2@.=®º@À¡@�¡@€¡@  @@¡@ ¡@ @DÀ AA BB CB DB@@A@@@@@ €@@  )aexp_rect� @‘ ·�!P¶�!a›  �Ð÷¢� a@[@T=®º@€”‘°  ï•o B@äáW¥@·�!f¶�!nP©D�©œ  A€�H· ¶¶@©J¶" ¶@©�E ©�F�©œ  (B€ �D[·¶0.¶@©¶31¶@©©�G�©œ  8C€·,¶><¶@¶@>¶@© &©�H�©œ  ED€ž  �@@°��!F�¶SQ�·USÍÐS@{|°@À @@ @ @@ @ @@ @ @@D·a_©F�À·Pž#·ec·fd©1À•©<�—•9·ki·lj©G·nl·om©L @�¶�u¶�t›  �Ð÷È@Ä=®º@€”p¶�k¶�j¹©­i¶�p¶�ƒ›  @€¶@©²�µ¶�‹¶@©j�º©ji¶�€¶�“›  @€¶@©l�Ŷ�›¶@©x�Ê©ji¶��¶�£›  /@€¶@©…�Õ¶�«¶@©x�Ú©ml¶�±› =€©��á�� ° ð+j(),^'*(=>6&>3 3 #'>3 3 #'>3 3 #'>$'Q¾ÿÿÿ''+j$'+7Sj$'  �°iÐAl  ‘‘¿Ì@€@@ �·@@@  (aexp_ind� @‘ ·жÎÌ”�A©š �Ð÷Î@Þ95Æ €¹@�¶e¶dc” ^�� ° ,+j7$'  ’X@€@@ €@@@  (aexp_rec� @‘ ·í¶ëé.@�¶{¶zy”1t�� ° ,+j7$'  ’$X@€@@ €@@@  $bexp‘,�<@� DCà%BTrue&BFalse#BEq#BLe$BNot$BAndà44¶@¶@ 4¶@798@@4à@@BBABà@@BBAB¢@�¡� �Ð÷c@=É…@à¡@€¡@€¡@ 33¡@ 55¡@� @@¡@ BDà @@ A@ AB BB CA DB@@A@@@@@ €@@  )bexp_rect� @‘ ·4¶�!b›  �Ð÷2@?=É…@€”‘°  ï—o™ D6@åÝv§@·/©l�œ  A€·5©t�œ  B€·;¶MK¶NL©+�©œ  C€ ‚€·E¶WU¶XV©3�©œ  (D€ ·N¶.,¶@-©,�©œ  1E€þ·W¶75¶@)¶97¶@©�IR©�J�©œ  ?F€Iž  �@@°�,�¶KI�·MKÍÐK@tu°@à@@ @ @@ @ @@ @@ @ @@D·YW©p·àJW·ŽŒ·��©M<·‘�·’�©]?·b`©q Áv·ec·fd)@�¶��¶�j›  �Ð÷ð@¨=É…@€”i¶�“©Ñe¶�–©Öb¶�™¶�¬«¶�®­©Œa¶� ¶�³²¶�µ´©‘^¶�§¶�ˆ›  @€¶@©š�쩌`¶�²¶�“›  )@€¶@©•�÷¶�›¶@©c�ü©cb¶�¡› 7€©”��� ° ô+j(),]'*(=:7=.$>3 3 #'>3 %'> %'> %'''Q¿ÿÿÿ''+j$'+7Sj$'  �°aÀAp  ‘‘¯Ð@€@@ �ª@@@  (bexp_ind� @‘ ·ò¶¾¼"©š �Ð÷î@Ê-‚a*€Ù@�¶]¶\[ U�� ° ,+j7$'  ’ X@€@@ €@@@  (bexp_rec� @‘ · ¶ØÖM@�¶r¶qpj�� ° ,+j7$'  ’"X@€@@ €@@@  %aeval� @‘ ž  �@@°�� �¶&$`�·(&ÍÓ·*(dUÀ·fW·�"a1-·�"a20©š �Ð÷� #Natl@#add £�`€ Ô ·;·<©š �Ð÷ @#sub £ª€ ·C·D©š �Ð÷@#mul £¡—€@�¶�N›  �Ú@€›  �Ð÷� )Datatypes $Init #Coq@@#natò@€�� ° |,Pj*(=4/!>3 3 7%'>3 3 7%'>3 3 7%'>'QÈÿÿÿ''+j6'+7Sj6'  ’l  ’*¤  ’9Ü  �°ƒA  ‘‘®D  ‘‘v`  ‘‘¶p@€@@ €@@@  +test_aeval1� @’°@Þ@�©›  �Ð÷� %Logic $Init #Coq@@"eqÐ @€°C©š �Ð÷é@ƒÿ—€�©œ  OB€ ©œ  TA€�©œ   �Ð÷� â á à@@ßò@B€�©œ   B€�œ   @A€©œ  nA€�©œ  B€�©œ  B€�œ  A€©œ  'B€�©œ  ,B€�©œ  1B€�©œ  6B€�œ  *A€�@@ €@@@  %beval� @‘ ž  �@@°�� �¶Ä›  �Ð÷0@$boolüZ'@€�·ÌÊÍ·ÎÌ +àœ   A€œ  B€·Û·Ù©š ¡Ð÷¢� (PeanoNat %ArithDÛ@#eqb.ë¯BÐ÷ß@ £•ù€ ©š �Ð÷@ÿ—€³©·ñ·ï©š ¡Ð÷@#leb.ë¸=Ð÷ï@ £žô€·�"b1õ©š �Ð÷c@$negbýŒï€�· ý·�"b2©š �Ð÷n@$andbü=€ÿ@�¶� ›  � @€›  �Ð÷î@$boolüZ'@€�� ° Ä,bj*(=C@F0 >3 3 7%'>3 7$'>7 7 7%'>7 7 7%'G'F'Q¶ÿÿÿ''+j6'+7Sj6'  ’t  ’&   ’;Ä  ’>Ô  ’9à  ’D  ’G  ’X   �°èGAX  ‘‘tŒ  ‘‘:¨  ‘‘|¸@€@@ €@@@  .optimize_0plus� @‘ ž  �@@°�� �¶…ƒƒ�·‡…Í2·‰‡‡´À·wÅs·�"e1Œ·�"e2�Í<·‘‘ÀÀ·�ÏÍÐÏ@ @A @A°@ @ @@D·‰×›È ©{6·ŒÚ©x ©}�w©�Ï·§¥·�"a0¨ ·©·ª©tr·"¬· ­©ju@�¶�²› d€› f€�� ° ô,®j*(=~w>3 3 :'>3 3 :'>=L)>3 3 :'>3 3 :'>3 3 :'>=>3 3 :'3$'Q!çÿÿÿ''Q"°ÿÿÿ''>9'Q~ÿÿÿ''+j6'+j6'+j6'+7Sj6'  �°*  @@ AAAÔ  �°qØAø  �°uÜA8  ‘‘Ël  ‘‘Ï”  ‘‘Ó¼  ‘‘ר  ‘‘Ûè@€@@ €@@@  3test_optimize_0plus� @’°@?A�©› a€°7©š �Ð÷?@z>wz€�©œ  ¥B€ ©œ  ªA€�©œ  VB€�©œ  [B€�œ  OA€©œ  ¼B€ ©œ  ÁA€�œ  \A€©œ  ÉB€ ©œ  ÎA€�œ  iA€©œ  ÖA€�©œ  ‚B€�œ  vA€©œ  ãB€ ©œ  èA€�©œ  ”B€�©œ  ™B€�œ  �A€©œ  úA€�©œ  ¦B€�œ  šA€�@@ €@@@  4optimize_0plus_sound� @’°@µB�¶�_­©› Ù€°©š ΀�©š |€�—©š Ö€�›�@@ €@@@  &silly1� @’°@ÑC�¶�"ae.©› ö€°.©š ë€�°©š ï€�´�@@ €@@@  &silly2� @’°@êD�¶�—½¶@ÁÃ�@@ €@@@  #foo� @’°@÷E�¶��›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©› (€°›  �Ð÷� )Datatypes $Init #Coq@@$boolüZ'@€©š ¡Ð÷¢� (PeanoNat %Arith #Coq@#Nat@#leb.ë¸=Ð÷� #Nat $Init #Coq@@#leb £žô€ œ  "A€œ  œA€�@@ €@@@  $foo'� @’°@@F�¶�ÖI©› d€°<©š /€ œ  ©5 ©D HJ©< C™¶åo¶ãp¶­¶®¶@¶@ ©A ©@ ©; ¶ïy¶íz¶·¶¸¶@¶@©K ©=©=BB @@+ÀAFFFÀAFFF¢@�¡� �Ð÷J@F$�Œ@À¡@�ª¡@ବ¬¬ @@¡@௯¯¯¡@à±±±±@DÀ AA BF CF DF@@A@@@@@ €@@  *aevalR_ind� @‘ ·©S·–L·—¶§¶¨¶Jå¶Hæ¶@©›  �Ð÷¢¢�­ u@n$�Œ@€ж@©‚ •â¶@© ¶@©P ˜‘©P ©˜ Œ©�V·³¶9ö7Ķf ¶d ¶@¶@©ˆ¶@¶@©_©�K ©™©”f·öIÓ¶GÔ¶v ¶t ¶@,¶@©n#¶@"¶@©!©�L ©œ!©œvž  �B@°�š�¶ëé¶Ø &¶í©@𩬠  �·òð·ß -·ôÍÐF@pq° @ @@À @@ @ @ @ @ @ @@ @ @ @ @ @ @@ @ @ @ @ @ @@D·  ·û I·@#©2" <À·ÿ M§·ˆ ·† ·µ P·³ Q· k· l©�M öøï E I©®°øñ K I©°°ü I K·• ·“ ·Â ]·À ^· %x· &y©H ·œ &·š '·É d·Ç e· ,· -€©_@�¶� 3¶@ 0¶@ m[¶� #¶ " p© d   c¶� (¶¯ 9¶­ :¶Ü w¶Ú x¶@©›  �Ð÷@ý$�Œ@€ ¶@© �¶@©   & s¶@©ß�©Þ޶� =¶Ä N¶Â O¶ñ Œ¶ï �¶@©›  @€ ,¶@©   7 „¶@©  : ‡¶@©ñ  ; 4©“’¶� R¶Ù c¶× d¶ ¡¶ ¢¶@©›  *@€ A¶@©  L ™¶@©  O œ¶@©¦  P I©˜—¶� x w¶� f µ¶� |©›  >@€  ¯ ­© @  ­ ±�� ° Ð+j(),}'(*()=VN6> 3"3"#' > 3"3"#' > 3"3"#' >$'Q¦ÿÿÿ''+j() %'+7Sj +7S'+ 7!S'%'  �°˜õAØ  ‘‘ �H  ‘‘ Íl  ‘‘é @€@@ €@@@@@ @@ @@@  V‘,�<Z °@@ Þ °@@ ¤@� UÙÀSRQPÀOL:0BB&ÀAFFFÀAFFF¢@�¡� �Ð÷ @kY“Ó@À¡@� Ï¡@à Ñ Ñ Ñ Ñ @@¡@à Ô Ô Ô Ô¡@à Ö Ö Ö Ö@DÀ AA BF CF DF@@A@@@@@ €@@  %� @‘ · Íw· ºp· »¶A ˶? ̶n ¶l ¶@©›  �Ð÷ Ð@�Y“Ó@€ «¶@!¶@©"· ʶP Ú¶N Û¶} ¶{ ¶@¶@¶@ · Ò¶X â¶V ã¶… ¶ƒ !¶@¶@¶@ž  �B@°� ¡�¶ ò ð¶ ß -¶ ô©#¡�· ÷ õ· ä 2· ùÍÐ'@PQ° @ @@À @@ @ @ @ @ @ @@ @ @ @ @ @ @@ @ @ @ @ @ @@D·  ·  N·@! @À·‹ ·‰ ·¸ S·¶ T· J· K·‘ ·� ·¾ Y·¼ Z· !P· "Qü·— !·• "·Ä _·Â `· 'V· (Wû@�¶� -¶@ *¶@ g U¶� ¶  j© ^   ]¶� "¶© 3¶§ 4¶Ö q¶Ô r¶@©›  �Ð÷ �@÷Y“Ó@€ ¶@©    k¶@©   ! n¶@©Ú  " ©Ú Šˆ¶� :¶Á K¶¿ L¶î ‰¶ì ж@©›  @€ )¶@©   4 �¶@©  7 „¶@©î  8 1©� �޶� P¶× a¶Õ b¶ Ÿ¶  ¶@©›  .@€ ?¶@©   J —¶@©  M š¶@©¤  N G©– •”¶� w v¶� e ´¶� {©›  C@€  ® ¬© ?  ¬ °�� ° Ð+j(),}'(*()=VN6> 3"3"#' > 3"3"#' > 3"3"#' >$'Q¦ÿÿÿ''+j() %'+7Sj +7S'+ 7!S'%'  �°’ÏAØ  ‘‘ ŒH  ‘‘ Ìl  ‘‘Ä @€@@ €@@@  0aeval_iff_aevalR� @’°@ øM�¶� ¢ ¡¶� � ß©š �Ð÷@#iffС)€ ©›  �s@€  ß Ý©› +€°c©š  €� ç å�@@ €@@@  1aeval_iff_aevalR'� @’°@ N�¶� Å Ķ� ³ ©š #€ ©›  €  ý û©› I€°�©š >€�  �@@ €@@@@@ Ð@ï•oÀ@ Ï@AÐ@ï—o™À@ ¢@A@AB@D@  /aevalR_division’ð¢ :A�   2‘,�< 6@�  1 0Ð / . - ,$ADivÐ ,    @@ ÐABBBBÐABBBB¢@�¡� �Ð÷@ D4+@С@� ¡@  @@¡@ ¡@ ¡@ @EРAA BB CB DB EB@@A@@@@@ €@@   � @‘ · ¶ ›  �Ð÷¢� ;@ f4+@€”‘°  ï¬tÄ Y @ð4¼<@· ¶  ^© R�©œ  A€ · ¶ ,¶@ ¶ .¶@ © �©œ  B€ · %¶ 7"¶@ ¶ 9$¶@ © �©œ  )C€ · 0¶ B-¶@ ¶ D/¶@ © �©œ  4D€ · ;¶ M8¶@ ¶ O:¶@ ï© ä�©œ  ?E€ *ž  �@@°� �¶ ^I �· `KÍÐK@pq°@Р@@ @ @@ @ @@ @ @@ @ @@D· nY  ™Ð· \ ª · q\· r]© 0 · t_· u` · va· wb · xc· yd @�¶� ~¶� }›  �Ð÷Ÿ@ Í4+@€”g¶� t¶� s © ¶d¶� y¶� Œ›  @€¶@© »� ¾¶� ”¶@© s� é si¶� ‰¶� œ›  @€¶@© u� ζ� ¤¶@© �� Ó© sn¶� ™¶� ¬›  /@€¶@© Ž� Þ¶� ´¶@© �� ã© vs¶� ©¶� ¼›  ?@€¶@© œ� î¶� Ķ@© „� ó© \x¶� Ê› M€© ˜� ú�� ° <+j(),p'*(=PH8(>3 3 #'>3 3 #'>3 3 #'>3 3 #'>$'Q¬ÿÿÿ''+j$'+7Sj$'  �°wÒA¸  ‘‘Å@€@@ �¾@@@   � @‘ · è¶ æÑ ©š �Ð÷Ñ@ ô+ý'z€ Ï@�¶r¶qp j�� ° ,+j7$'  ’ X@€@@ €@@@   � @‘ · ¶ ÿê B@�¶†¶…„ ~�� ° ,+j7$'  ’!X@€@@ €@@@  Å‘,�<É °@@ M °@@@� ¶@Ä IÐÃÂÁÀ&E_ADivж  V© J ø I¶ ò ¶ ð ¶À [¶¾ \¶@¼¶@»© ï ©õº¹¶ û¶ ù¶É d¶Ç e¶@Ŷ@Ä© ø ©ó÷¶ ¶ ¶Ò m¶Ð n¶@ζ@Í©  ©ñ̶¶ %¶ &¶Û v¶Ù w¶�"n3 z¶@© ж@Œ¶@©š �Ð÷� %Peano ~@"gt Ux€  !Ô¶@©š° ‹©   / & -© å ©  ê  3BBÓ=ÐAFFFIÐAFFFI¢@�¡� �Ð÷|@ õD@С@� |¡@à ~ ~ ~ ~ @@¡@à � � � �¡@à ƒ ƒ ƒ ƒ¡@$ … … … … … … …@EРAA BF CF DF EI@@A@@@@@ €@@  Õ� @‘ · }c· j`· k¶ Ph¶ Ni¶ ¹¶ º¶@©›  �Ð÷m@? õD@€ [¶@Ѷ@©Ò¶@Ï©  ©\ÍÌ· ~¶ c{¶ a|¶1 ̶/ Ͷ@¶@˶@ ¶@ʩɠ©]ÙÈ· ж o‡¶ mˆ¶= ض; Ù¶@¶@Ƕ@¶@ƩŠ©^åÄ· –¶ {“¶ y”¶I ä¶G å¶n æ¶@$¶@Ѷ@©.ó¶@©˜  } �¶@©p  �<¶@©° ó© s  … • x©�P ©l ñ Q Šž  �B@°� w�¶ ȳ¶ µ ¶ Ê©I w© _Ý�· ι· » · ÐÍÐN@z{° @ @@Р@@ @ @ @ @ @ @@ @ @ @ @ @ @@ @ @ @ @ @ @@ @ @ @ @ @ @ @ @ @@D· óÞ· à .·@+©Ü !з ä 2 m· Ìä· Êå·š 5·˜ 6· ý|· þ}©�Nå· Ôì· Òí·¢ =·  >· „· …í· Úò· Øó·¨ C·¦ D· Š· ‹æ· àø· Þù·® I·¬ J·Ó K· ‰· Š·�!gÒ·�!eÊ©, ® Ø å õ ÷ î©° ° ç ð F©° Ü ù H L J@�¶� $¶@¶@ ^ L¶� ¶  a© U  T¶� ¶ ÿ¶ ý¶Í h¶Ë i¶@©›  �Ð÷R@î õD@€ ¶@©    b¶@©    e¶@© Ñ   © Ñ´¶� 0¶ .¶ /¶ä ¶â €¶@©›  @€ ¶@©   * w¶@©  - z¶@© ä  . '©†½¶� E¶ +C¶ )D¶ù ”¶÷ •¶@©›  ,@€ 4¶@© õ  ? Œ¶@©  B �¶@©™  C <©‹ƶ� Z¶ @X¶ >Y¶ ©¶  ª¶3 «¶@©›  B@€¾¶@©©  S L¶@©  V O¶@©d  I [¶@©<̶@©ÍË©ÈǶ� …q¶� s ¶� ‰©›  Z@€  ¼ º© #  º ¾�� ° t+j(),¥'(*()=~v^F-> 3"  3"      # ' > 3"3"#' > 3"3"#' > 3"3"#' >$'Q~ÿÿÿ''+j() %'+7Sj +7S'+ 7!S'%'  �°É.A|  ‘‘‡ì  ‘‘ Ú  ‘‘"D@€@@ €@@@@@ Ð@ï¬tÄÀ@Š@A@A@@  /aevalR_extended’ð¢A�   ý‘,�<@�  ü ûÐ$AAny û ú ù øÐ ç ÷ è è è@@ äÐ@ABBBÐ@ABBB¢@�¡� �Ð÷@Oh¯@С@€¡@� â¡@  @@¡@ ¡@ ADР@@ AA BB CB DB@@A@@@@@ €@@   â� @‘ · á¶ ß›  �Ð÷¢� Ý:@0Oh¯@€”‘°  ï®uB [ ã@ñ0Û>@· Ü©�œ  A€· â¶ à.©�©œ  B€ Þ· ê¶ ü¶@ ̶ þ¶@ Ë© Ê�©œ  $C€ Ù· õ¶(¶@ å¶ *¶@ É© È�©œ  /D€ ä·¶3¶@ ß¶5¶@ ´© ©�©œ  :E€ ïž  �@@°� Ò�¶#D â�·%FÍÐF@jk°@Ð@ @@ @ @@ @ @@ @ @@D·1R Å\Ð ü Ï·3T·4U η5V·6W Ê·7X·8Y É@�¶�=¶�<›  �Ð÷“@ŒOh¯@€”\¶�3©qX¶�6¶�5„©tV¶�;¶�N›  @€¶@©'�€¶�V¶@©3�…©%[¶�K¶�^›  "@€¶@©@��¶�f¶@©3�•©(`¶�[¶�n›  2@€¶@©N� ¶�v¶@©6�¥© e¶�|› @€©J�¬�� ° +j(),c'*(=@C8(>3 3 #'>3 3 #'>3 3 #'>$''Q¹ÿÿÿ''+j$'+7Sj$'  �°dºA„  ‘‘­ä@€@@ �¦@@@   Ë� @‘ ·š¶˜¹ Ê©š �Ð÷¹@¦Gþ€�@�¶e¶dc È]�� ° ,+j7$'  ’ X@€@@ €@@@   Ç� @‘ ·³¶±Òô@�¶y¶xw Æq�� ° ,+j7$'  ’!X@€@@ €@@@  w‘,�<{ °@@ÿ °@@è@� ¶@ëv ûÐ%E_Anyvutsжº©ü áû¶½ ©ÿ Ýþ¶ §õ¶ ¥ö¶u¶s¶@q¶@p©¤ ©Úon¶ °þ¶ ®ÿ¶~¶|¶@z¶@y©­ ©Øxl¶ ¹¶ ·¶‡"¶…#¶@ƒ¶@‚©¶ ©Ö�kBBj"ÐAAFFFÐAAFFF¢@�¡� �Ð÷H@¯+kMÈ@С@�¡@�¡@à @@¡@à¡@à@EРAA BA CF DF EF@@A@@@@@ €@@  l� @‘ ·H·E·¶N©>C·¶ ê8¶ è9¶¸S¶¶T¶@©›  �Ð÷=@Ù+kMÈ@€õ¶@X¶@©l¶@X©W ©&gf·¶ ýK¶ ûL¶Ëf¶Ég¶@¶@U¶@ ¶@T©S ©'sb·$¶ W¶ X¶×r¶Õs¶@¶@© Í„¶@¶@©`‚©& ©*�`ž  �B@°�ù�¶Jk¶7…¶L©1 ù‚�·Op·<Š·QÍÐ5@de° @ @@Р@@ @@ @ @ @ @ @ @@ @ @ @ @ @ @@ @ @ @ @ @ @@D·l�·Y§·@"y™Ðx]· C‘· A’·¬·­·tY·uZ\· I—· G˜·²·³·z_·{`U· O�· Mž·¸·¹·€e·�fT@�¶�†¶@¦¶@À®¶�v¶ué· œ¶¶�{¶zÈ©¸ š»¶�€¶ f´¶ dµ¶4϶2ж@©›  �Ð÷î@U+kMÈ@€q¶@©\ |ɶ@©  ̶@©6 €y©Ø�¶�—¶ }˶ {̶Kæ¶Iç¶@©›  @€†¶@©G ‘Þ¶@© ”á¶@©ë •Ž©Ýж�¬¶ ’à¶ �á¶`û¶^ü¶@©›  ,@€›¶@©Z ¦ó¶@© ©ö¶@©ð ª£©·‘¶�Òô¶�À¶�Ö©›  @@€  ©p  �� ° ü+j(),‡'(*()=`XP8> 3"3"#' > 3"3"#' > 3"3"#' >$'>$'Qœÿÿÿ''+j() %'+7Sj +7S'+ 7!S'%'  �°•äA  ‘‘ t  ‘‘'˜  ‘‘ÕÌ@€@@ €@@@@@ Ð@ï®uBÀ@ @A@A@\@  %state� @‘ ©š �Ð÷� $Maps@@)total_map39-€ k@�”‘°  HA@†F°  "ˆ2 H $Maps@@„N@�� °867 j  ‘‘TD  ’L@€@@ €@@@  +empty_state� @‘ ©š �Ð÷)@'t_empty&5]®€ h ´@�š �Ð÷ˆ@:$È™š€�� °¶�¶@©Ô�C©¬i¶�› B€©è�J�� ° +j(),h'*(=H@8(>3 3 #'>3 3 #'>3 3 #'>$'>$'Q´ÿÿÿ''+j$'+7Sj$'  �°hÁA˜  ‘‘´ø@€@@ �®@@@  i� @‘ ·8¶6Àh©š �Ð÷À@DÚ 0€@�¶g¶fef_�� ° ,+j7$'  ’ X@€@@ €@@@  e� @‘ ·Q¶OÙ’@�¶{¶zyds�� ° ,+j7$'  ’!X@€@@ €@@@  !X� @‘ ©œ  A€ í@�›  �Ð÷� $Maps@@"id @€�� °,6j  ‘¤A�“@D@€@@ €@@@  !Y� @‘ ©! @�› €�� °,6j  ‘¤A�¤A�“@D@€@@ €@@@  !Z� @‘ ©: (@�› 7€�� °,6j  ‘¤A�¤A�¤A�“@D@€@@ €@@@  ¸‘,�<¼@� ûúà·¶µ´³²àåå¶@E¶@Få±è@@äà@@BBABà@@BBAB¢@�¡� �Ð÷@Ë#â¬@à¡@€¡@€¡@ ãã¡@ åå¡@� @@¡@ BDà @@ A@ AB BB CA DB@@A@@@@@ €@@  °� @‘ ·ã¶¯›  �Ð÷k@ì#â¬@€”‘°  ï²v> _ã@ó)B@·Ü©�œ  A€·â©!�œ  B€·è¶ú„¶û…©Ø�©œ  C€­·ñ¶�¶Ž©ß�©œ  'D€¶·ú¶Ú+¶@Ù©Ø�©œ  0E€ª·¶ã4¶@Õ¶å6¶@¬©ª�©œ  ;F€òž  �@@°�Õ�¶ôEÅ�·öGÍÐG@mn°@à@@ @ @@ @ @@ @@ @ @@D·S©_àòÿ·6À·7Á¨·8·9ç·Y¦· Z· [Í@�¶�A¶�›  �Ð÷›@L#â¬@€”`¶�7©u\¶�:©zY¶�=¶�PÛ¶�RÝ©0X¶�D¶�Wâ¶�Yä©5V¶�K¶�,›  @€¶@©>��©0X¶�V¶�7›  )@€¶@©9�›¶�?¶@©� ©]¶�E› 7€©8�§�� ° ô+j(),]'*(=:7=.$>3 3 #'>3 %'> %'> %'''Q¿ÿÿÿ''+j$'+7Sj$'  �°\´Ap  ‘‘¦Ð@€@@ �¡@@@  ¤� @‘ ·•¶a²Å©š �Ð÷@m&¦Q€|@�¶\¶[ZÃT�� ° ,+j7$'  ’ X@€@@ €@@@  £� @‘ ·®¶zËï@�¶p¶onÁh�� ° ,+j7$'  ’!X@€@@ €@@@  ¢� @‘ ž  �A@°�¡�¶�"stš �Ð÷Q@Ó$È™š€¶ÍW�· ·ÐZÍ·Ò\ ýШ·�!xж·ªa·¨b©¦  s©· ¯·°g·®h© ·³j·±k©› @�¶�š ¶€¶�è›  �@€› š€�� ° ä,bj(*()=C>6&> 3! 3!7%'> 3! 3!7%'> 3! 3!7%'> $'>'Q¹ÿÿÿ''+j6'+7Sj+7S'6'  ’®„  ’¹Ä  ’È  �°AšAX  ‘‘=Œ  ’>¨  ‘‘”Ä  ‘‘HØ@€@@ €@@@  +� @‘ ž  �A@°�*�¶YW¶î?*�·\Z·ñBÍû·óD/Pà%"·ú±·ø²© ©š �Ð÷´@$£X¾€©U·»·¼© · S© �©  ac·X·Y©b@�¶�wš €¶�›  �@€› €�� °  ,lj(*()=JGM5#> 3! 3!7%'> 3!7$'> 7! 7!7%'> 7! 7!7%'G'F'Q¯ÿÿÿ''+j6'+7Sj+7S'6'  ’ˆ  ’'¸  ’)à  ’,ô  ’:  ’2(  ’5<  ’YH  �°@˜A€  ‘‘u´  ’¦Р ‘‘‘ì  ‘‘€@€@@ €@@@  %aexp1� @’°@ØO�©› ú€°˜©š �Ð÷ß@r$£X¾€ ©š �Ð÷$@(t_update¼€ÀÌš �Ð÷ë@t&^ýX€š �Ð÷ï@=#×5‰€©œ  ôB€�©œ  ùB€�©œ  þB€�©œ  B€�©œ  B€�œ  üA€©œ  ÏC€ ©œ  ÔA€�©œ  B€�©œ  B€�©œ  $B€�œ  A€©œ  ëE€ ©œ  ðB€�š F€©œ  ÷A€�©œ  =B€�©œ  BB€�œ  6A€©œ  JB€�©œ  OB€�©œ  TB€�©œ  YB€�©œ  ^B€�©œ  cB€�©œ  hB€�©œ  mB€�©œ  rB€�©œ  wB€�©œ  |B€�©œ  �B€�©œ  †B€�œ  zA€�@@ €@@@  %bexp1� @’°@•P�©› ·€°ü©š �Ð÷œ@_$¥UÏ€ ©š ½€À†š º€š ¸€©œ  ªB€�©œ  ¯B€�©œ  ´B€�©œ  ¹B€�©œ  ¾B€�œ  ²A€©œ  ,F€ œ  0A€©œ  4E€�©œ  9D€ ©œ  —B€�š 퀩œ  žA€�©œ  äB€�©œ  éB€�©œ  îB€�©œ  óB€�œ  çA€œ  aA€�@@ €@@@  #com‘,�<@� òñÐ%CSkip$CAss$CSeq#CIf&CWhileÐá¶@küã¶@×¶@æ¶@ã�¶@Úå@@ãÐ@BBCBÐ@BBCB¢@�¡� �Ð÷@#×Év@С@€¡@ áá¡@  @@¡@°æ¡@ èADР@@ AB BB CC DB@@A@@@@@ €@@  (com_rect� @‘ ·á¶�!c›  �Ð÷k@>#×Év@€”‘°  ï¶w: cã@õ!WF@·Ü©�œ  A€·â¶h¨¶õ©É�©œ  B€§·ë¶¶@Ͷ ¶@Ì©Ë�©œ  #C€Ú·ö¶Ö'¶*(¶@Ö¶,*¶@«© �©œ  /D€°ïæ@·¶ã4¶75¶@Ö©Õ�©œ  :E€ .ž  �@@°�Ô�¶FDä�·HFÍÐF@mn°@Ð@ @ @@ @ @@ @ @ @@ @ @@D·VTÉ`з«ë·YW·ZXÓ·Y·\Z·][©Ðgk i· ^·a_©°om@�¶�G¶�g›  �Ð÷¡@¤#×Év@€”f¶�=©{b¶�@¶�Ƕ�Uà©*a¶�G¶�{›  @€¶@©3�Œ¶�ƒ¶@©?�‘©1f¶�W¶�8ж��›  &@€¶@©L�ž¶�•¶@©4�£© l¶�i¶�Jœ¶�Ÿ›  8@€¶@©N�°©Cn¶�¨› A€©U�·�� ° +j(),a'*(=>A5%>3 &'>3 3 # '>3 3 #'> %''Q»ÿÿÿ''+j$'+7Sj$'  �°mÆA|  ‘‘¶Ü@€@@ �±@@@  'com_ind� @‘ ·¦¶ÅÃÖ©š �Ð÷.@Ñ–Y/€�@�¶g¶feÔ_�� ° ,+j7$'  ’ X@€@@ €@@@  'com_rec� @‘ ·À¶ßÝ@�¶|¶{zÓt�� ° ,+j7$'  ’"X@€@@ €@@@  +fact_in_coq� @‘ ©Ï ©Ü š �Ð÷^@B#×5‹€©I�š �Ð÷d@‚#×5‰€©Ý ©ê š �Ð÷l@i#×5Š€©aq©Ï ©Û�©ï ©^�©jx©ï ©ü ©D ©g� © &©U @�›  �·@€�� ° ì679:7:7979:7::779:9:77::797::j  ‘¤A�¤A�“@D  ’;L  ’>d  ’At  ’6D  ’9\  ‘¤A�“@t  ’P|  ‘¤A�¤A�“@¤  ’M¬  ’XÄ  ’aÔ@€@@ €@@@  %plus2� @‘ ©I g©§ k©¾Ð@�› H€�� ° 4679:7:j  ‘¤A�¤A�¤A�“@D  ’}L  ’€d@€@@ €@@@  *XtimesYinZ� @‘ ©n ’©¶ �r@�› l€�� ° <6979:7:j  ’�D  ’šT  ’£l@€@@ €@@@  4subtract_slowly_body� @‘ ©€ ‹©� «©à ¯¡@�› ‹€�� ° l679:7:779:7::j  ‘¤A�¤A�“@D  ’¾L  ’Ád  ‘¤A�¤A�“@t  ’Ò|  ’ÕT@€@@ €@@@  /subtract_slowly� @‘ ©› ©§�©» áÊš �Ð÷C@Ap)ý€@�› Á€�� ° <6779:9:j  ’ D  ‘¤A�“@L  ’õT@€@@ €@@@  8subtract_3_from_5_slowly� @‘ ©Ø ©å ©Xl©Ý ©ê ©]uš �Ð÷m@98Í~:€@�› ë€�� ° L677::77::j  ’ D  ‘¤A�¤A�¤A�¤A�¤A�¤A�“@L  ’/T  ‘¤A�¤A�¤A�¤A�“@l  ’8t@€@@ €@@@  $loop� @‘ © 00@�› "€�� °,6j  ‘¤D “@“@D@€@@ €@@@  2ceval_fun_no_while� @‘ ž  �A@°�� �¶yw¶a_x�·|z·dbÍ·fd}pÐs·sû·Ò©š �Ð÷J@(t_update¼€À‰"| ·�"c1q·�"c2tÈ�#st'ñ�©3 …‡·)z· {· |ÍÐg@ @@ @@°@ @@A·@nœ©š �Ð÷î@�$¥UÏ€± ©E H™©G J™·=Ž·‘�C@�¶�¬š D€¶�—› y€š J€�� ° @,yj(*()=MP;. >'>7!= 3%'3%'Q3ëÿÿÿ''> 3! 3%'> 7! 77#''Q¬ÿÿÿ''+j6'+j6'+7Sj+7S'6'  ’€  �°)  @@ A@Aà  ’`@  ‘‘ÉT  ’I\  �°pÉAŒ  ’ÑÀ  ’Ôè  ’×  ‘‘   ’Þ4@€@@ €@@@  %ceval‘,�< °@@ê °@@ì °@@Õ@� ¶@ض@ò¶@óíìð&E_Skip%E_Ass%E_Seq(E_IfTrue)E_IfFalse*E_WhileEnd+E_WhileLoopð¶ÿý©ó°Øòò¶¶œS¶¶¶÷¶@©°©¤`ü©ª°©Ú ¦¯©‹À±þ¶†õ¶„ö¶¶ƒ¶�$st''¶@©¸°» ¶@©«©Ÿ°©á *À ¶¶�¶µ¶˜¶–¶@©5°öˆë¶@©¸°ÉË©­°©ã°ÏƽͶ.,¶Ÿ-¶Ä¶§¶¥¶@©D°—÷¶@©ǰ+ØÚ¶Í¶:8¶" ¶@©M°©  3/©ã°©ïÝ22¶DB¶µC¶2D¶Û,¶/-¶@©Z°©­§¶@¶@©Ò°©ý¨ñó©«°© È×ôCC–WðAEGGGDHðAEGGGDH¢@�¡� �Ð÷x@x$§Rà@ð¡@�?¡@ÐAAAAA¡@ðCCCCC @@¡@ðFFFFFF¡@ðHHHHHH¡@ÀJJJJ¡@ LLLLLL  @Gð AA BE CG DG EG FD GH@@A@@@@@ €@@  )ceval_ind� @‘ ·GŒ·4�·5¶�¶Ò¶5ƒ¶vþ¶@©|·<¶þm¶ün¶Šˆ¶û‰¶xж@©›  �Ð÷Þ@®$§Rà@€{¶@©î°6/…¶@© ¶@©‘°+=4©ƒ°©a .@·T¶ ž¶Ÿ¶6‡¶ˆ¶‰¶@�¶@©¶@© °C:J©’°©d°NPG1>·d¶°®¶!¯¶F—¶)˜¶'™¶@‚¶@©)€¶@© °©JZ©g·q¶Q¢¶¾¼¶¦¤¶@„©€·w¶ÃÁ¶4¶±öZ«¶®¬¶@¶@¶@© ’¶@©?°{^n¶@© Ú°©~+Ub©�Q°©‚ â-Yž  �C@°�S�¶Åö�!sß¶à¶Ê©V°ÔØÖ©Ͱ€ÖÚ�·Ðη è· é·Ó ÍÐ^@™š° @ @ @@ð @@ @ @ @ @ @@ @ @ @ @ @ @ @@ @ @ @ @ @ @ @@ @ @ @ @ @ @ @@ @ @ @ @@ @ @ @ @ @ @ @ @@D··=·>·@;©L9ð·!©ÎÌ·#!·½t·×%· · Ö!© 2ÐË· ·ž·,*·�+·,·¢·£©^$ÂÒÔË!%©ÀÄÖÍ'%©ÀÖÏ%'·75·¨6·Í·°·® · ë·$—© H ÏßáØ.20©'ÀÚÑá2·B@·³A·Ø)·»*·¹+· ö·/’©�O Ûëíä:><©3À<Ýí>·â3·OM·75· ©IÀìBFD·TR·ÅS·BT·ë<·?=· ·A¤·B©Î © $(áîþ÷MQ© ÀùãðSQ© ÀòS@�¶�-¶@K¶@e¶@fV¶�¶ki©_°D^^¶�#¶pn¶ Á¶$r¶eí¶@n©°ki¶�,¶ï^¶í_¶{y¶ìz¶i{¶@©›  �Ð÷Ÿ@Ÿ$§Rà@€l¶@©ßñ¶@© °)"x¶@©‚ñ©sð¶�B¶��¶޶%v¶w¶x¶@p¶@©›  @€q¶@©’ò©ƒñ¶�R¶Ÿ�¶ž¶5†¶‡¶ˆ¶@q¶@©›  '@€r¶@©’ò©X°0=¶�c¶D•¶±¯¶™—¶@w© °s¤¤¶�k¶¸¶¶)·¶¦¸¶O ¶£¡¶@t¶@©›  @@€‹¶@© ‹°´Ue¶@©ú¶@© Óù©�Q÷¶�³²¶�ïͶ�ñ϶�¹©›  U@€ó©¿°rÈÌ�� ° Ì+j(),ë'(*()=û®dI<>   :3    3       # ' > # '>   3#' >   3#' >  3     3# ' >#' >$'Q9ÿÿÿ''+j() &'+7Sj +7S' +7S'+ 7"S'&'  �°õuA˜  ‘‘É   ’å0  ’è\  ‘‘`˜@€@@ €@@@  .ceval_example1� @’°@Q�©›  �{@€°©œ  ÉC€ ©œ  ÎB€ š 9€©œ  êA€�©œ  0B€�©œ  5B€�œ  )A€©œ  çD€°©œ  ¨D€ ©œ  B€�š \€©œ   A€�©œ  SB€�œ  GA€©œ  B€ š �Ð÷_@Œ#×5Š€©œ  #A€�©œ  iB€�©œ  nB€�©œ  sB€�œ  gA€©œ  %B€ š �Ð÷@“#×5‹€©œ  CA€�©œ  ‰B€�©œ  ŽB€�©œ  “B€�©œ  ˜B€�œ  ŒA€š ´€©š ½€À†©š Á€ÀŠš ¾€š ¼€©œ  ®B€�©œ  ³B€�œ  §A€š ;€©œ  ½B€�©œ  ÂB€�©œ  ÇB€�©œ  ÌB€�œ  ÀA€�@@ €@@@  .ceval_example2� @�@�©0°©ƒ ©� ®™©‡ ª©” ¸Iš �Ð÷ @ o&^ýX€©IÀÍ©KÀÏ©MÀÑ ¼´Â!�@@ €@@@  (pup_to_n� @‘ ©�Á@�› ¥€�� °867 j  ‘‘ËD  ’'L@€@@ €@@@  .pup_to_2_ceval� @�@�©f°š �Ð÷ D@$ {Wk€©wÀû4æK©yÀý©{Àÿ©}À©À©�À èQèUðSèWðQ�@@ €@@@  3ceval_deterministic� @’°@,R�¶�÷ö¶�¶�#st1¶�#st2¶@©› !€°· ¶@©› &€°Å¼©› b€°%À�@@ €À@° âA 1D´æ H e d c@@A@@  *plus2_spec� @’°@US�¶�9¶�- ›<¶�ï>¶�¯>¶@©› €€°E©5�2:¶@©› O€°š �Ð÷k@Û$Áçý€éC©› �€°T©D�A©š  € 󩜠 zB€�­�@@ €@@@  0loop_never_stops� @�@�¶ig¶Úh©š �Ð÷z@#notШï€�©ä°š �Ð÷ Â@%#ã( €jh�@@ €@@@  )no_whiles� @‘ ž  �@@°�� �¶pnY�·rpÍ*·tr]~ÐS· É ·V àU·v·w$·' x·�"ct{·�"cf~©+ Ã>·0 �·„‚_@�¶�†› h€› '€�� ° h,Kj*(=,/' >G'>3 3 7%'>3 3 7%'>F'F'QÍÿÿÿ''+j6'+7Sj6'  ’;„  ’>¼  �°QªAü  ‘‘…0  ‘‘žL  ‘‘�\@€@@ €@@@  *no_whilesR‘,�< °@@®@� ¶@±ÄÀ€AAº€€€¢@�¡� �Ð÷î@-ß¿k@€@@€@@A@@@@@ €@@  /no_whilesR_rect� @‘ ·¥¶@”‘°  ïâ‚ O @ Ìr@·ËÉ·—©›  �Ð÷ 6@)-ß¿k@€•ÍÐ@€€° @@€D·×Õ·@ â€@�¶�¼¶@Ú”¶�Þݶ�«©›  �Ð÷@>-ß¿k@€�ò©ñ�ö�� ° �+j()=Qûÿÿÿ''+j()$'  �° €Ax@€@@ �-@@@  .no_whilesR_ind� @‘ ·ßK©š �Ð÷ f@E+< N€Å@�¶*¶@ (�� ° ,+j7$'  ’ X@€@@ €@@@  .no_whilesR_rec� @‘ ·ø¶@9@�¶?¶@ =�� ° ,+j7$'  ’"X@€@@ €@@@  -no_whiles_eqv� @�@�¶+)©š �Ð÷T@#iffС)€ ©\°©š �Ð÷ �@׆Щ€üm�@@ €@@@  &sinstr‘,�<@� feÐ%SPush%SLoad%SPlus&SMinus%SMultÐe ßUUU@@RÐAA@@@ÐAA@@@¢@�¡� �Ð÷ˆ@5­%¶@С@�O¡@�Q¡@€¡@€¡@€CBРAA BA @@ A@ B@@@A@@@@@ €@@  +sinstr_rect� @‘ ·M¶¦›  �Ð÷ Õ@45­%¶@€”‘°  ïå‚Ë RM@ F/õ@·F¶D’©†�©œ  A€B·N¶ Ô ©Š�©œ  B€J·V©‘�œ  C€·\©A�œ  %D€·b©P�œ  +E€·Ô.ÍÐ.@PQ°@Р@@ @@@@@D·Û5«Ð[]Tª®@�¶�†¶�à›  �Ð÷à@o5­%¶@€”;¶�|¶�{Ê©¾8¶��¶�  I©¿5¶�†©Â1¶�‰©o.¶�Œ©{+¶�û›©m�Ï�� ° ä+j()= '''>$>$Qãÿÿÿ''+j$'  �°3rA˜@€@@ �[@@@  *sinstr_ind� @‘ ·º¶m꩚ �Ð÷ B@y6¿}@�¶<¶;:è4�� ° ,+j7$'  ’ X@€@@ €@@@  *sinstr_rec� @‘ ·Ô¶-‡@�¶Q¶POçI�� ° ,+j7$'  ’"X@€@@ €@@@  )s_execute� @‘ ž  �A@°�� �¶ ( &¶�%stack©› s€X¶�$prog©�®�· 5 3·  ·©v�@�¶� ;š  Ó€¶�©›  �Ð÷´@$listý]ó@€�H¶�©›  €©›  €�Q�� ° ô,j(*()67 7$'+7Sj+ 77 S'+ 77 S'67$'  ‘‘Xx  ‘‘£@  ’�L  ’ `p  ‘‘fŒ  ‘‘±”  ‘‘鸠 ‘‘¹À  ‘‘vØ  ‘‘Áà@€@@ €@@@  *s_execute1� @�@�©•°[©š �Ð÷ Ö@q�Ü‚€°Åº©Õ° ©úæ©ذ ©ýå©Û°©ä©Þ°î©Åf©á°šê©ã°œòÊ�@@ €@@@  *s_execute2� @�@�©¶°|©!°©'À«ä–ý©ô°­ÿ©ö°¯Ý©ø°,©©û°/©¡©þ°2©°4"©°»©�© �©"�©$�©&�(�@@ €@@@  )s_compile� @‘ ž  �@@°�� �¶† '¦�·ˆ )©�ª@�¶�Œ›  »€©›  €�_�� ° �,j*(67 7$'+7Sj67$'  ‘‘fl  ‘‘6t  ’0@  ‘‘ Fd  ‘‘ut  ‘‘E|@€@@ €@@@  *s_compile1� @�@�©°Ù©š �Ð÷ Z@F£Kˆ€�© 0 ÿ© ' –ã©]°‘b©_°“©„j©b°–©ê©e°™o‰�@@ €@@@  1s_compile_correct� @�@�¶ ( &¶Ø y©:°©¥° [©#Ø©w°0© Ì£_�@@ €@@@  (BreakImp’ð¢TA�   Z‘,�< ^@� KJà Y&CBreak Y X W Và66 U7 T Q@@3à@@BBCBà@@BBCB¢@�¡� �Ð÷@ l“ö@à¡@€¡@€¡@ 22¡@  @@¡@°7¡@ 9BDà @@ A@ AB BB CC DB@@A@@@@@ €@@   R� @‘ ·2¶ Q›  �Ð÷¢�.<@ �“ö@€”‘°  ïçƒI T4@ BN÷@·-©j�œ  A€·3©r�œ  B€·9¶ ¿ ÿ¶L Ö©)�©œ   C€þ·B¶ u$¶@2¶ w&¶@©�©œ  +D€1·M¶- ~¶ �0¶@ ¶ ƒ2¶@÷©õ�©œ  7E€ W·Y¶9 ж �<¶@ ©�©œ  AF€„ž  �@@°�*�¶ œK�· žMÍÐM@st°@à@@ @ @@ @ @@ @ @ @@ @ @@D· ¬[¶àIV V· ®]· ¯^(·] ®· ±`· ²a U·` ±· ´c S@�¶�˜¶� ¸›  �Ð÷Ÿ@ õ“ö@€”f¶�Ž©Ìb¶�‘©Ñ_¶�”¶�\¶�©4©‡^¶�›¶� Ï›  @€¶@©��à¶� ×¶@©ƒ�å©xc¶�«¶�Œ Þ¶� á›  )@€¶@©��ò¶� é¶@©^�÷©^i¶�½¶�ž ð¶� ó›  ;@€¶@©•�©ml¶� ü› D€©œ� �� ° +j(),f'*(=C@F7&>3 &'>3 3 # '>3 3 #'> %'''Q¶ÿÿÿ''+j$'+7Sj$'  �°kÉA”  ‘‘»ô@€@@ �´@@@   T� @‘ ·ù¶ Ç)©š �Ð÷Ç@ $+Q—¯€à@�¶i¶hg'a�� ° ,+j7$'  ’ X@€@@ €@@@   S� @‘ ·¶ 1àS@�¶}¶|{%u�� ° ,+j7$'  ’!X@€@@ €@@@  &status‘,�<@� hg )SContinue&SBreak TT@@Q @@ @@¢@�¡� �Ð÷4@|é@ ¡@€¡@€B@  @@ A@@@A@@@@@ €@@  +status_rect� @‘ ·D¶�›  �Ð÷@)|é@€”‘°  ïéƒÇ VD@>mù@·=©z�œ  A€·C©‚�œ  B€·µÍÐ@23°@ @@D·º<Šp@�¶�d¶�¾›  �Ð÷k@K|é@€”"¶�Z©˜¶�]©�¶�Ì›©G� �� ° ¤+j()= ''Qóÿÿÿ''+j$'  �°#IAX@€@@ �5@@@  *status_ind� @‘ ·‹¶äG»©š �Ð÷Y@S\�j€r@�¶/¶.-¹'�� ° ,+j7$'  ’ X@€@@ €@@@  *status_rec� @‘ ·¥¶þaæ@�¶D¶CB¸<�� ° ,+j7$'  ’"X@€@@ €@@@  ‘,�<  °@@ ï °@@w °@@ ó °@@�@� ¶@�¶@ ù¶@€ó��¶ ÿ ý©óÀ‡òwòDDC�A�A¢@�¡� �Ð÷Ò@% b‘`@�¡@�ì@A� AA@@A@@@@@ €@@  š� @‘ ·à·Í· ¯·; ·<Ÿ·= · ©›  �Ð÷´@> b‘`@€ÑÍÐ@#$° @ @ @ @@� @@D· ÷O ,·P³·Q .·@©ÀÕÌ " & $�Ô@�¶�ÿ¶@ζ@ 7¶@¾¶@ 9)¶�ñ¶ > <© 2ÀÆ 1¶ 1¶� (ض�d B¶�fʶ�h F¶� 0©›  �Ð÷@k b‘`@€Àê @ D B©âÀõì B F�� ° ¸+j()=>$Qõÿÿÿ''+j() # '  �°8OAP@€@@ €@@@  ,break_ignore� @�@�¶ Lû¶ f d¶× e¶‰ì¶@©LÀ©Ø í  \ ^ `©~° m  ^�@@ €@@@  .while_continue� @�@�¶ ^¶ a¶ { y¶ì z¶ž¶@©aÀ©×õ p r t©’° vù�@@ €@@@  4while_stops_on_break� @�@�¶!r¶ u$¶ � �¶  ޶@©¢°c©õˆY¶@©xÀ 0 † Š©zÀ©ðó 3 ‰�@@ €@@@  0while_break_true� @�@�¶8‰¶ Œ;¶ ¦ ¤¶  ¥¶@©‹À© ž! œ¶@©½°~©   £ Ru©›  �Ð÷Á@"exÐ @€  ¶·¥ ·©œÀ [ ¬+ T�@@ €À@°vA 1@³ê D”@A@@  º� @�@�¶ ¯^¶ É Ƕ�¶ ɶ�µ ˶�"s1T¶�"s2W¶@©·À v x É o¶@©ºÀ i y Ì r©›  �Ð÷ê@#andЖw@€ ©ò° á ƒ …©ô°i ~ Ô�@@ €@@@@@ ÐÐ@ïçƒIÀ@v@A@AïéƒÇÀ@g@A@B/@@@ ÐÐÐ@ï•oÚ@Aï—o™ØÐ@ï¬tÄ@ABï®uBÁÐÐÐ@ï°uÀÀ@;@A@Aï²v>À@Ò@AÐ@ï¶w:À@ Ô@A@ABïâ‚À@@AÐ@ïå‚ËÀ@m@AÐ@ïçƒIÐ@ïéƒÇ@ABCDEÀÀ@A@A°·AÕÀ@°¹A 1Gµ£ K×@AB @ÐÐÐÐÐÐÐ@\¼Ð@Ð÷¢� &BinInt &ZArith #Coq@!Z@'quotrem\¼‘Ð÷¢� )BinIntDef &ZArith #Coq@!Z@ / Å@AÐ@›\Ð@Ð÷@+pred_double›\‘Ð÷@/S@¿@A@AB¾s2Ð@Ð÷¢� (PeanoNat %Arith #Coq@#Nat@&shiftl¾s2‘Ð÷� #Nat $Init #Coq@@ vYé@A@C¾s8Ð@Ð÷@&shiftr¾s8‘Ð÷ @vYï@AÐÐÐ@Ñ“Ð@Ð÷@&squareÑ“‘Ð÷@‰yÌ@AÐ@ûêzÐ@Ð÷@@&doubleûêz‘Ð÷7@/³Ï!@A@AB/�­Ð@Ð÷(@)log2_iter/�­‘Ð÷@çwd@AÐÐ@NH/Ð@Ð÷L@&moduloNH/‘Ð÷C@1,Ö@A@A‡bzÐ@Ð÷Q@&of_nat‡bz‘Ð÷H@1?G!@AÐ@#¯Ð@Ð÷W@&shiftl#¯‘Ð÷N@1ÛdV@AÐ@#µÐ@Ð÷]@&shiftr#µ‘Ð÷T@1Ûd\@A@ABCD/xîÐ@Ð÷¢� &BinPos &PArith #Coq@#Pos@)pred_mask/xî‘Ð÷¢� )BinPosDef &PArith #Coq@#Pos@ )XÊë@AÐÐ@6Ÿ’Ð@Ð÷{@&square6Ÿ’‘Ð÷r@1î„9@AÐ@V1bÐ@Ð÷�@&to_natV1b‘Ð÷x@2 @AÐ@V5=Ð@Ð÷‡@&to_posV5=‘Ð÷~@2ä@A@ABCl»ƒÐ@Ð÷o@)sqrt_iterl»ƒ‘Ð÷f@!$¢:@AÐ@…@Ð@Ð÷0@(sub_mask…@‘Ð÷'@)®’@A@ADEF  cÐ@Ð÷z@'testbit  c‘Ð÷q@!ć@AÐÐÐ@ÖóGÐ@Ð÷=@)mask_rectÖóG‘Ð÷4@+ED@A@AF˱Ð@Ð÷B@)add_carryF˱‘Ð÷9@+p®@AÐÐ@gL7Ð@Ð÷«@'sqrtremgL7‘Ð÷¢@40Þ@A@Aq¬àÐ@Ð÷°@'testbitq¬à‘Ð÷§@5)‘‡@AÐÐ@ÝŽOÐ@Ð÷·@+succ_doubleÝŽO‘Ð÷®@6•rö@A@A ÙpÐ@Ð÷Z@0double_pred_mask Ùp‘Ð÷Q@0-+m@A@BCD T›Ð@Ð÷¢� &BinNat &NArith #Coq@!N@!t T›‘Ð÷¢� )BinNatDef &NArith #Coq@!N@ 2ôæ@AÐÐÐ@ äÀÐ@Ð÷@#add äÀ‘Ð÷@3… @A@A élÐ@Ð÷@#div él‘Ð÷@3‰·@AÐ@ ëYÐ@Ð÷%@#eqb ëY‘Ð÷@3‹¤@A@AB í#Ð@Ð÷*@#gcd í#‘Ð÷!@3�n@AÐÐ@ ôTÐ@Ð÷1@#leb ôT‘Ð÷(@3”Ÿ@A@A õ"Ð@Ð÷6@#lor õ"‘Ð÷-@3•m@AÐ@ õqÐ@Ð÷<@#ltb õq‘Ð÷3@3•¼@A@ABCEG õ‡Ð@Ð÷A@#max õ‡‘Ð÷8@3•Ò@AÐÐÐÐÐ@ öÐ@Ð÷K@#min ö‘Ð÷B@3–`@A@A ö÷Ð@Ð÷P@#mul ö÷‘Ð÷G@3—B@AÐ@ ø~Ð@Ð÷V@#odd ø~‘Ð÷M@3˜É@A@AB ù=Ð@Ð÷[@#one ù=‘Ð÷R@3™ˆ@AÐÐ@ úËÐ@Ð÷b@#pow úË‘Ð÷Y@3›@A@A ÿcÐ@Ð÷g@#sub ÿc‘Ð÷^@3Ÿ®@AÐ@ ÿÐ@Ð÷m@#two ÿ‘Ð÷d@3¡J@A@ABC hxÐ@Ð÷r@$div2 hx‘Ð÷i@>Ã@AÐÐ@ ”‘Ð@Ð÷y@$even ”‘‘Ð÷p@>4Ü@A@A ´ÐÐ@Ð÷~@$ggcd ´Ð‘Ð÷u@>U@AÐ@ üïÐ@Ð÷„@$iter üï‘Ð÷{@>�:@A@ABD 3"Ð@Ð÷‰@$land 3"‘Ð÷€@>Óm@AÐÐÐÐ@ F)Ð@Ð÷’@$log2 F)‘Ð÷‰@>æt@A@A S²Ð@Ð÷—@$lxor S²‘Ð÷Ž@>óý@AÐ@ µœÐ@Ð÷�@$pred µœ‘Ð÷”@?Uç@A@AB úÜÐ@Ð÷¢@$size úÜ‘Ð÷™@?›'@AÐÐ@ !›Ð@Ð÷©@$sqrt !›‘Ð÷ @?¥æ@A@A ! Ð@Ð÷®@$succ ! ‘Ð÷¥@?ª\@AÐ@ !°7Ð@Ð÷´@$zero !°7‘Ð÷«@@P‚@AÐ@ ö*¨Ð@Ð÷º@%ldiff ö*¨‘Ð÷±@Êó@A@ABCD gã_Ð@Ð÷@+pred_double gã_‘Ð÷@2‘5\@AÐÐÐ@ ¼§mÐ@Ð÷&@÷ ¼§m‘Ð÷@2åùj@A@ASéÁÐ@Ð÷+@&of_natSéÁ‘Ð÷"@4};¾@AÐ@\R´Ð@Ð÷1@(mask_ind\R´‘Ð÷(@4…¤±@A@AB\^¹Ð@Ð÷6@(mask_rec\^¹‘Ð÷-@4…°¶@AÐÐ@’!,Ð@Ð÷=@&pred_N’!,‘Ð÷4@4»s)@A@AðöÐ@Ð÷B@&shiftlðö‘Ð÷9@5Xó@AÐ@ðüÐ@Ð÷H@&shiftrðü‘Ð÷?@5Xù@A@ABCEFH&ÙÐ@Ð÷M@&square&Ù‘Ð÷D@5,xÖ@AÐÐÐÐ@"¸©Ð@Ð÷V@&to_nat"¸©‘Ð÷M@5L ¦@A@AnTqÐ@Ð÷[@+testbit_natnTq‘Ð÷R@6—¦n@AÐÐ@©B¦Ð@Ð÷@(succ_pos©B¦‘Ð÷ú@Çâñ@AÐ@¶ËIÐ@Ð÷Ê@'abs_nat¶ËI‘Ð÷Á@?n¯ð@A@AB3Ó~Ð@Ð÷m@'sqrtrem3Ó~‘Ð÷d@7]%{@A@CD,�íÐ@Ð÷·@'bitwise,�í‘Ð÷®@/äv¤@AÐ@>4'Ð@Ð÷x@'testbit>4'‘Ð÷o@8g†$@AÐ@„{UÐ@Ð÷~@,sqrtrem_step„{U‘Ð÷u@8­ÍR@AÐ@šu^Ð@Ð÷%@(div_euclšu^‘Ð÷@ ¹©@A@ABCEÎlÐ@Ð÷Î@'compareÎl‘Ð÷Å@3†RÐ@AÐÐÐÐ@öÀ}Ð@Ð÷3@,pos_div_euclöÀ}‘Ð÷*@&`È@AÐÐ@3x–Ð@Ð÷û@'compare3x–‘Ð÷ò@ë]=@A@AÀÐ@Ð÷?@&doubleÀ‘Ð÷6@'Þº_@A@BCûqðÐ@Ð÷£@+of_succ_natûqð‘Ð÷š@$Ãí@AÐÐ@wÉÐ@Ð÷K@&modulowÉ‘Ð÷B@)1@A@AK’Ð@Ð÷P@&of_natK’‘Ð÷G@)j2_@AÐ@ç¯IÐ@Ð÷V@&shiftlç¯I‘Ð÷M@*O”@A@ABDç¯OÐ@Ð÷[@&shiftrç¯O‘Ð÷R@*Oš@AÐÐÐ@úÏ,Ð@Ð÷c@&squareúÏ,‘Ð÷Z@*ow@A@A`üÐ@Ð÷h@&to_nat`ü‘Ð÷_@*9G@AÐ@eüÄÐ@Ð÷n@+testbit_nateüÄ‘Ð÷e@+„�@A@AB+{ÑÐ@Ð÷s@'sqrtrem+{Ñ‘Ð÷j@,J@AÐÐ@5ÜzÐ@Ð÷z@'testbit5Üz‘Ð÷q@-T|Å@AÐ@ ¡½éÐ@Ð÷€@+succ_double ¡½é‘Ð÷w@.À^4@A@AB#ÿÿÝÐ@Ð÷ä@'compare#ÿÿÝ‘Ð÷Û@ )QÚ@A@CDE%t2óÐ@Ð÷é@(size_nat%t2ó‘Ð÷à@ �„ð@AÐÐÐÐ@%¼„VÐ@Ð÷ò@+double_mask%¼„V‘Ð÷é@ åÖS@A@A%ö‘%Ð@Ð÷÷@'div2_up%ö‘%‘Ð÷î@ ã"@AÐ@'�ÅŸÐ@Ð÷ý@'Ndouble'�ÅŸ‘Ð÷ô@ «œ@A@AB(bç0Ð@Ð÷@*shiftl_nat(bç0‘Ð÷ù@Œ9-@AÐÐ@(nÕ–Ð@Ð÷ @*shiftr_nat(nÕ–‘Ð÷@˜'“@A@A(‘ÍÐ@Ð÷@0succ_double_mask(‘Í‘Ð÷@»@AÐ@*W�$Ð@Ð÷@,compare_cont*W�$‘Ð÷ @€ï!@AÐ@.¥0—Ð@Ð÷@.sub_mask_carry.¥0—‘Ð÷@΂”@A@ABCD.ë„Ð@Ð÷d@!t.ë„‘Ð÷[@ ¢ÿ;@AÐÐ@.먩Ð@Ð÷k@#add.먩‘Ð÷b@ £�`@A@A.ë­UÐ@Ð÷p@#div.ë­U‘Ð÷g@ £” @AÐÐ@.ë¯BÐ@Ð÷w@#eqb.ë¯B‘Ð÷n@ £•ù@A@A.ë± Ð@Ð÷|@#gcd.ë± ‘Ð÷s@ £—Ã@AÐ@.ë¸=Ð@Ð÷‚@#leb.ë¸=‘Ð÷y@ £žô@A@ABCEFGI.ë¹ Ð@Ð÷‡@#lor.ë¹ ‘Ð÷~@ £ŸÂ@AÐÐÐÐÐÐÐ@.ë¹ZÐ@Ð÷“@#ltb.ë¹Z‘Ð÷Š@ £ @A@A.ë¹pÐ@Ð÷˜@#max.ë¹p‘Ð÷�@ £ '@A@B.ë¹þÐ@Ð÷�@#min.ë¹þ‘Ð÷”@ £ µ@AÐ@.ëºàÐ@Ð÷£@#mul.ëºà‘Ð÷š@ £¡—@A@AC.ë¼gÐ@Ð÷¨@#odd.ë¼g‘Ð÷Ÿ@ ££@AÐÐ@.ë½&Ð@Ð÷¯@#one.ë½&‘Ð÷¦@ ££Ý@A@A.ë¾´Ð@Ð÷´@#pow.ë¾´‘Ð÷«@ £¥k@AÐ@.ëÃLÐ@Ð÷º@#sub.ëÃL‘Ð÷±@ £ª@AÐ@.ëÄèÐ@Ð÷À@#two.ëÄè‘Ð÷·@ £«Ÿ@A@ABCD.ö,aÐ@Ð÷Å@$div2.ö,a‘Ð÷¼@ ®@AÐÐÐ@.öXzÐ@Ð÷Í@$even.öXz‘Ð÷Ä@ ®?1@A@A.öÀØÐ@Ð÷Ò@$iter.öÀØ‘Ð÷É@ ®§�@A@B.ö÷ Ð@Ð÷×@$land.ö÷ ‘Ð÷Î@ ®ÝÂ@AÐ@.÷ Ð@Ð÷Ý@$log2.÷ ‘Ð÷Ô@ ®ðÉ@A@ACE.÷›Ð@Ð÷â@$lxor.÷›‘Ð÷Ù@ ®þR@AÐÐÐ@.÷y…Ð@Ð÷ê@$pred.÷y…‘Ð÷á@ ¯`<@A@A.÷É„Ð@Ð÷ï@$sqrt.÷É„‘Ð÷æ@ ¯°;@AÐ@.÷ÍúÐ@Ð÷õ@$succ.÷Íú‘Ð÷ì@ ¯´±@AÐ@.øt Ð@Ð÷û@$zero.øt ‘Ð÷ò@ °Z×@A@ABC/Ìî‘Ð@Ð÷@%ldiff/Ìî‘‘Ð÷÷@ „ÕH@AÐÐ@0÷¨0Ð@Ð÷c@'compare0÷¨0‘Ð÷Z@?H{@A@A1P%Ð@Ð÷)@!t1P%‘Ð÷ @  ¨@AÐ@1PµÐ@Ð÷/@#abs1Pµ‘Ð÷&@ ™¶@A@ABDF1Pµ&Ð@Ð÷4@#add1Pµ&‘Ð÷+@ ™Í@AÐÐÐÐÐÐÐ@1P¹ÒÐ@Ð÷@@#div1P¹Ò‘Ð÷7@ žy@A@A1P»¿Ð@Ð÷E@#eqb1P»¿‘Ð÷<@  f@AÐ@1P½‰Ð@Ð÷K@#gcd1P½‰‘Ð÷B@ ¢0@A@AB1P½­Ð@Ð÷P@#geb1P½­‘Ð÷G@ ¢T@AÐÐ@1P¾ÊÐ@Ð÷W@#gtb1P¾Ê‘Ð÷N@ £q@A@A1PĺÐ@Ð÷\@#leb1Pĺ‘Ð÷S@ ©a@AÐ@1PňÐ@Ð÷b@#lor1Pň‘Ð÷Y@ ª/@A@ABC1PÅ×Ð@Ð÷g@#ltb1PÅבÐ÷^@ ª~@AÐÐÐ@1PÅíÐ@Ð÷o@#max1PÅí‘Ð÷f@ ª”@A@A1PÆ{Ð@Ð÷t@#min1PÆ{‘Ð÷k@ «"@AÐ@1PÇ]Ð@Ð÷z@#mul1PÇ]‘Ð÷q@ ¬@A@AB1PÈäÐ@Ð÷@#odd1PÈä‘Ð÷v@ ­‹@AÐÐ@1PÉ£Ð@Ð÷†@#one1PÉ£‘Ð÷}@ ®J@A@A1PÉÔÐ@Ð÷‹@#opp1PÉÔ‘Ð÷‚@ ®{@AÐ@1PË1Ð@Ð÷‘@#pow1PË1‘Ð÷ˆ@ ¯Ø@A@ABCD1PÍ;Ð@Ð÷–@#rem1PÍ;‘Ð÷�@ ±â@AÐÐÐ@1PÎËÐ@Ð÷ž@#sgn1PÎË‘Ð÷•@ ³r@A@A1PÏÉÐ@Ð÷£@#sub1PÏÉ‘Ð÷š@ ´p@AÐ@1PÑeÐ@Ð÷©@#two1PÑe‘Ð÷ @ ¶ @A@AB1[8ÞÐ@Ð÷®@$div21[8Þ‘Ð÷¥@ …@AÐÐ@1[d÷Ð@Ð÷µ@$even1[d÷‘Ð÷¬@ Iž@A@A1[…6Ð@Ð÷º@$ggcd1[…6‘Ð÷±@ iÝ@AÐ@1[ÍUÐ@Ð÷À@$iter1[ÍU‘Ð÷·@ ±ü@A@ABCE1\ˆÐ@Ð÷Å@$land1\ˆ‘Ð÷¼@ è/@AÐÐÐÐ@1\�Ð@Ð÷Î@$log21\�‘Ð÷Å@ û6@A@A1\$Ð@Ð÷Ó@$lxor1\$‘Ð÷Ê@ ¿@AÐ@1\YÃÐ@Ð÷Ù@$of_N1\YÑÐ÷Ð@ >j@A@AB1\†Ð@Ð÷Þ@$pred1\†‘Ð÷Õ@ j©@AÐÐÐ@1\¥ÖÐ@Ð÷æ@$quot1\¥Ö‘Ð÷Ý@ Š}@A@A1\ÖÐ@Ð÷ë@$sqrt1\Ö‘Ð÷â@ º¨@AÐ@1\ÚwÐ@Ð÷ñ@$succ1\Úw‘Ð÷è@ ¿@A@AB1\ìkÐ@Ð÷ö@$to_N1\ìk‘Ð÷í@ Ñ@AÐÐ@1]€�Ð@Ð÷ý@$zero1]€�‘Ð÷ô@ eD@A@A2ó:Ð@Ð÷@%abs_N2ó:‘Ð÷ù@ Ó×á@AÐ@21ûÐ@Ð÷@%ldiff21û‘Ð÷ÿ@ éßµ@AÐ@2=½*Ð@Ð÷@%quot22=½*‘Ð÷@ õ¡Ñ@A@ABCDE2kÛFÐ@Ð÷R@(size_nat2kÛF‘Ð÷I@Š{‘@AÐÐÐ@5Z�ƒÐ@Ð÷Z@*shiftl_nat5Z�ƒ‘Ð÷Q@y/Î@AÐ@5f}éÐ@Ð÷`@*shiftr_nat5f}é‘Ð÷W@…4@A@AB5€aÐ@Ð÷Ä@'iter_op5€a‘Ð÷»@©³ @AÐ@9ÖEÄÐ@Ð÷,@(div_eucl9ÖEÄ‘Ð÷#@(Ž*k@A@AC:Æx°Ð@Ð÷Ï@,Nsucc_double:Æx°‘Ð÷Æ@ ïÊ­@AÐÐÐ@<±ñ¾Ð@Ð÷9@'pos_sub<±ñ¾‘Ð÷0@+iÖe@AÐ@<¹áfÐ@Ð÷?@'pow_pos<¹áf‘Ð÷6@+qÆ @A@AB=¬HÐ@Ð÷â@!t=¬H‘Ð÷Ù@#EþE@A@C=‹Ð@Ð÷»@&divmod>‹‘Ð÷²@CÔ@AÐÐ@>–ÝýÐ@Ð÷Â@&double>–Ýý‘Ð÷¹@NÄ´@AÐ@?2�ãÐ@Ð÷å@,pos_div_eucl?2�ã‘Ð÷Ü@-êuŠ@A@AB?é;²Ð@Ð÷Í@&modulo?é;²‘Ð÷Ä@¡"i@A@CDEFHIJ@<  %Arith  #Coq@�0Ç2Ȯ΄/ì¦E¸bØ€  )ArithRing +setoid_ring #Coq@�01rÚlå#¦ãuH�rKmÆ  *Arith_base %Arith #Coq@�0ÝôŒŽÎGí-Í_/I¡±  &Basics 'Program #Coq@�0À…ëZ‰ü3}Éš_Kµ  'Between %Arith #Coq@�0d·Õ¾0—]ÖZê  &BinInt &ZArith #Coq@�0Ñðñ¾ÂµÓ÷ÍÔri ü  )BinIntDef &ZArith #Coq@�0ŽiŸEеè±Ó˜|pFøÀ´  î@�0íHÖ«Êd¹ä𨠖µq_Æ  #Max %Arith #Coq@�0,hPyèý¼m´ïsÒ­  #Min %Arith #Coq@�0ù©ëmº,[3�ØÂ8@’ž  %Minus %Arith #Coq@�0¦ géГFUü?bvò  )Morphisms 'Classes #Coq@�0%…¦‚ܨúKP¢ì®ñ½  .Morphisms_Prop 'Classes #Coq@�0PÜZÿ_±¬ðD|%ߟvƒ  $Mult %Arith #Coq@�0cú´Èd\o9‚B„ÿ¸  $NAdd (Abstract 'Natural 'Numbers #Coq@�0¾O¡ÚÃÁ ˆŽC>?.@  )NAddOrder (Abstract 'Natural 'Numbers #Coq@�0’`¢XO1nËÜ€æÞm  'NAxioms (Abstract 'Natural 'Numbers #Coq@�0u#(~dþb¥üUчu»  %NBase (Abstract 'Natural 'Numbers #Coq@�0)k½ó’e� qŒÝl}áé6  %NBits (Abstract 'Natural 'Numbers #Coq@�0%xŸ}ÄäþhKä'¸÷$  $NDiv (Abstract 'Natural 'Numbers #Coq@�0Œe.qIz ­yQvI“�F  $NGcd (Abstract 'Natural 'Numbers #Coq@�0ÎЗ\Âç«9œsîØ¼õY  $NLcm (Abstract 'Natural 'Numbers #Coq@�0q¹1Q±ó· Ì“}ûCy  $NLog (Abstract 'Natural 'Numbers #Coq@�0 S—n¡†I¯`«]úy¢¸¬  'NMaxMin (Abstract 'Natural 'Numbers #Coq@�0'«{Ï"l•jüÕ¦Ì잆  )NMulOrder (Abstract 'Natural 'Numbers #Coq@�0~yM–åÍÂ:² ÅâÊ  &NOrder (Abstract 'Natural 'Numbers #Coq@�0 ä›†#ºÑ Æbu  'NParity (Abstract 'Natural 'Numbers #Coq@�07€:øåÐÉ{ûÔF+£'º  $NPow (Abstract 'Natural 'Numbers #Coq@�0¬~š†A¯ÎßPº9ÔP  +NProperties (Abstract 'Natural 'Numbers #Coq@�0 J»-?tëÅ”_å½þÍ  %NSqrt (Abstract 'Natural 'Numbers #Coq@�0­ÐæóI r[&Ÿ¼Z  $NSub (Abstract 'Natural 'Numbers #Coq@�0\4³¸óäkËw‘¢L‘�  %NZAdd &NatInt 'Numbers #Coq@�0>}cåqï•=î�J*•ë'  *NZAddOrder &NatInt 'Numbers #Coq@�0ëßl‹U%äê1*çgFz  (NZAxioms &NatInt 'Numbers #Coq@�0,Çp˜ÍõÀè¹­Æ8—±°  &NZBase &NatInt 'Numbers #Coq@�0,îÈLá4©&ýC×ña  &NZBits &NatInt 'Numbers #Coq@�0•ý'xRÏ_§û õV~µ  %NZDiv &NatInt 'Numbers #Coq@�0žËè€J¥†•Ò×�Àµ  %NZGcd &NatInt 'Numbers #Coq@�0$ ‹°eJUûH¾“qkk¡  %NZLog &NatInt 'Numbers #Coq@�0 bæy{tËêËQ;ße  %NZMul &NatInt 'Numbers #Coq@�0χøÑ/ó7dã‘Â#  *NZMulOrder &NatInt 'Numbers #Coq@�0UåfÎ Ÿˆt_ÙŒPÐ.  'NZOrder &NatInt 'Numbers #Coq@�0¢ü¯%Â#/{öˬy•?  (NZParity &NatInt 'Numbers #Coq@�0^ÄMc×E¢aú継ߴm  %NZPow &NatInt 'Numbers #Coq@�0›U—ËZV¡€<£d¬®ŽÇ  ,NZProperties &NatInt 'Numbers #Coq@�0#“eÀØ_ 9àñ´W“  &NZSqrt &NatInt 'Numbers #Coq@�0 Ÿü¥;I�ì£ x†&‡â§  #Nat  Ü  Û@�0ù±dbGôntO ZTk  $Nnat &NArith #Coq@�0;,Ö–!-½ã€Þ•x°Aq  )Notations $Init #Coq@�0XMtÔ±4– ­ ß±»9-  *NumPrelude 'Numbers #Coq@�0HÿHÀHHžê¹z8ab^  %Omega %omega #Coq@�0d"· c’tSƒ¦•0 :j  +OmegaLemmas %omega #Coq@�0Âä“q|ùÐ%Gø®œCãôž  4Operators_Properties )Relations #Coq@�0lv >!ÔUaÖÄj?2  &Orders *Structures #Coq@�0$µµ–L¤«šÇþ\¯ ýäP  +OrdersFacts *Structures #Coq@�0HÙ ‹·…é�ÍAÎLAɽ  )OrdersTac *Structures #Coq@�0&?çUpÅ@EteZ¼ÎÙý !�0Øo¥œ gÓFFø€~³ä  (PeanoNat %Arith #Coq@�0JÈ#ß Ý³0j}4Žä’ì  )Peano_dec %Arith #Coq@�0±°&φ¹^¸€<j8!¬  $Plus %Arith #Coq@�0·£áBŸ"3$Éî>¬jÐÇ  $Pnat &PArith #Coq@�0~Ö¿eZ€¸`2b×{KÒ  (PreOmega %omega #Coq@�0Éa¿<}¼Ð§�k¹'‘$“  'Prelude $Init #Coq@�0A‘Ðä+ïA¤Áìu·b;�  %Quote %quote #Coq@�0TÿUÜE¬Ã³‘T(ž‰ÁWŒ  /RelationClasses 'Classes #Coq@�0ü6¹«µzå òNcšM¿  4Relation_Definitions )Relations #Coq@�0±ÆP,äBý? L–6�  2Relation_Operators )Relations #Coq@�0•àƒä4ö*oVƒ´}m  )Relations  #Coq@�0¾Q&¼W¦v  DBz-tÊ  $Ring +setoid_ring #Coq@�0îÌCL£xÕBŸV_c—EP  )Ring_base +setoid_ring #Coq@�0ÑjT£ª0v‹,:�̼Ԡ ,Ring_polynom +setoid_ring #Coq@�0ïr¼Pæ(µpú¸?2U‘z  (Ring_tac +setoid_ring #Coq@�0]’ï¢ ªN€Ìýõè@7  +Ring_theory +setoid_ring #Coq@�0k¼ CD·ÖÎâÊÖ¢‘’—  &Setoid 'Setoids #Coq@�0I‡\ ¦@ì­$0÷¢¸a  -SetoidTactics 'Classes #Coq@�0—÷£‡¢o«M®ÝUÝÆÉV  %SfLib@�0kÔr²³ÍçmUêˆÈçg9¿  &Specif $Init #Coq@�0؇ñ)+)œ²Þ¬/›Þ*K  'Sumbool $Bool #Coq@�0ú»¦R‹Ü�pÞk–ÎØî   'Tactics $Init #Coq@�0Ÿ5ØŒI`VÓÛ ñˆ  'Tactics 'Program #Coq@�0• š·4x‹Žì>�´ÅÆ  "Wf $Init #Coq@�0¢��“²èýê–ÁdV–<§  $Wf_Z &ZArith #Coq@�0ÝzAvf™s¥ â>¢Åœ  &Wf_nat %Arith #Coq@�0m Ó²A]�Ö¤J%Ø›üð  $ZAdd (Abstract 'Integer 'Numbers #Coq@�0 ƒ$쳿NlV‡�tfé˜Ö  )ZAddOrder (Abstract 'Integer 'Numbers #Coq@�0Áq’<âÛ®JÍ�:8 É  +ZArith_base &ZArith #Coq@�0ÈéÓ†à%­$–â8 Ž‡(‰  *ZArith_dec &ZArith #Coq@�0QÝbzÔí»“´’„]\®  'ZAxioms (Abstract 'Integer 'Numbers #Coq@�0J¨'�|F‘eÕâýËèeJG  %ZBase (Abstract 'Integer 'Numbers #Coq@�0|U"mQ¼Q-0J‘G÷  %ZBits (Abstract 'Integer 'Numbers #Coq@�0m~Ü�xªQç–¾Uu+¸ì  )ZDivFloor (Abstract 'Integer 'Numbers #Coq@�0)ŒAý(GQAXYââ�÷ºN  )ZDivTrunc (Abstract 'Integer 'Numbers #Coq@�0‚Þ$,ð¦`Ä"“Æd²ñ&L  $ZGcd (Abstract 'Integer 'Numbers #Coq@�0±(ࢦ‹å|Î@°êà $ZLcm (Abstract 'Integer 'Numbers #Coq@�0r…›�xµ۟Ÿïј"Å  #ZLt (Abstract 'Integer 'Numbers #Coq@�0Ï^^ÖÕž*]Ä·dCõ  'ZMaxMin (Abstract 'Integer 'Numbers #Coq@�0·O“*>⽈Ô~(Ú]  $ZMul (Abstract 'Integer 'Numbers #Coq@�0Çì?ªF®ú%><}4&{4a  )ZMulOrder (Abstract 'Integer 'Numbers #Coq@�0ìï>²pâÞ�à€õ1�ñ*  'ZParity (Abstract 'Integer 'Numbers #Coq@�0C¶ŸÉr�ï¶u }ì’rô5  $ZPow (Abstract 'Integer 'Numbers #Coq@�0 †úá 5•¾”gWß5µ  +ZProperties (Abstract 'Integer 'Numbers #Coq@�0söíÛˆ.B]}RÉm  'ZSgnAbs (Abstract 'Integer 'Numbers #Coq@�0†�Þ„\zÌ*­Þ·‘åp  $Zabs &ZArith #Coq@�0U‡>×[XQé·�^�g:  %Zbool &ZArith #Coq@�04úd»C¾lQ UhZQ>Y  (Zcompare &ZArith #Coq@�0˜#ìEèºq;© /9è<  %Zeven &ZArith #Coq@�0X0ƒ|Û%Óù<ÌxK:êv8  &Zhints &ZArith #Coq@�0é6J>0\ 7B�6�Â(  $Zmax &ZArith #Coq@�0e‰/²¹ÈT»CA|5³€»  $Zmin &ZArith #Coq@�0ïLYÏ*²1!šü†êÈw  'Zminmax &ZArith #Coq@�0œzu˜N]Zº|þ†kO  %Zmisc &ZArith #Coq@�0áxwö÷ê}È}{÷’.  $Znat &ZArith #Coq@�0‰p=tž&û­ïf#çÙn  &Zorder &ZArith #Coq@�0ƒ1:b谠ݪ¿|Ù9Ó4  )auxiliary &ZArith #Coq@�0œÀLš6¨�Uæ4aEРAA€   +ª rHÈ @�  +¨ N$ý @ð@B@ Ð+­*‹@ +¤ +¤ +¤ +¤@@@@ €@@  #_33 À¢¸ ¡�*öà@A@@@@  ’ @  @@@  “ A  “  B   “ C  “ D@  #_34 '` oÀ@’ @@@  #_35 '` oÀ@“  '@A �)nat_scope@ ��’+Ô@  #_36 '` oÀ@“  6@B @ @@ ��’ =@ ��’@  #_37 '` oÀ@“  I@C @ @@ ��’ P@ ��’@  #_38 '` oÀ@“  \@D @ @@ ��’ c@ ��’@  +à 2 Q�à @‘À@@ +v@@‘G@@@  #_39 À¢¸  �Ð÷,4@+ï95Æ w  ‘u@  #_40 2Mì ‘ ÁFF@A  #_41 '` oÀ@‘ @ @ @ @ @ @@ @ @ @ @ @ ��’+Ž@  #_42 ? 3V /_rect_from_type� +–)  +H 2 Q�à8@4@@@  #_43 À¢¸  �Ð÷,g@+R®ª  ‘¨@  #_44 2Mì ‘ ÁFF@A  #_45 '` oÀ@‘ @ @ @ @ @ @@ @ @ @ @ @ ��’+Á@  #_46 ? 3V ._ind_from_type� +É)  +^ 2 Q�àk@g@@@  #_47 À¢¸  �Ð÷,š@+h#³Ý  ‘Û@  #_48 2Mì ‘ ÁFF@A  #_49 '` oÀ@‘ @ @ @ @ @ @@ @ @ @ @ @ ��’+ô@  #_50 ? 3V ._rec_from_type� +ü)  +{ N$ý @ð@B@ Ð+€+¢@ +y +y +y +y +y +y@@@@@  #_51 À¢¸ ¡�*æ  ’ @  “ A  “  B  “  C#  “ D'  “ E+  “ F/@  #_52 '` oÀ@’ $@@@  #_53 '` oÀ@“  ,@A@@  #_54 '` oÀ@“  4@B@@  #_55 '` oÀ@“  <@C @ @@ ��’,Ä ��’,È@  #_56 '` oÀ@“  N@D @ @@ ��’,Ö ��’,Ú@  #_57 '` oÀ@“  `@E @@ ��’ f@@  #_58 '` oÀ@“  n@F @ @@ ��’ u@ ��’@  +Ö 2 Q�à*@&@@@  #_59 À¢¸  �Ð÷-Y@+à-‚a*œ  ‘š@  #_60 2Mì ‘ ÁHH@A  #_61 '` oÀ@‘ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ ��’+�@  #_62 ? 3V )� +–,  +N 2 Q�à`@\@@@  #_63 À¢¸  �Ð÷-�@+X_~)Ò  ‘Ð@  #_64 2Mì ‘ ÁHH@A  #_65 '` oÀ@‘ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ ��’+Å@  #_66 ? 3V ,� +Ì,  +j 2 Q�à–@’@@@  #_67 À¢¸  �Ð÷-Å@+t_Š.  ‘@  #_68 2Mì ‘ ÁHH@A  #_69 '` oÀ@‘ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ ��’+û@  #_70 ? 3V /� ,,  +‹ 2 Q�àÌ@‘E@@@  #_71 À¢¸  �+>  ‘<@  #_72 2Mì ‘ ÁAA@A  #_73 '` oÀ@‘ @@ ��’+q@  +C 2 Q�àí@‘D@@@  #_74 À¢¸  �Ð÷.@+N ÑBà@A@@@@  ‘_@  #_75 2Mì ‘ ��  #_76 '` oÀ@‘@@  *û 2 Q�à @‘E@@@  #_77 À¢¸  �Ð÷.<@+¨  ‘}@  #_78 2Mì ‘ ÁAA@A  #_79 '` oÀ@‘ @@ ��’*Ä@  *Ž 2 Q�à.@‘E@@@  #_80 À¢¸  �*@  ‘ž@  #_81 2Mì ‘ ÁAA@A  #_82 '` oÀ@‘ @@ ��’+Ó@  *D 2 Q�àO@‘D@@@  #_83 À¢¸  �Ð÷.@*Oªà@A@@@@  ‘Á@  #_84 2Mì ‘ ��  #_85 '` oÀ@‘@@  )í 2 Q�àn@’@@@@  #_86 À¢¸  �Ð÷.ž@)ø?  à@A@@@@  ‘à@  #_87 2Mì ‘ ��  #_88 '` oÀ@‘ @@ ��’,@  )õ 2 Q�à’@’@@@@  #_89 À¢¸  �Ð÷.Â@*¡8à@A@@@@  ‘@  #_90 2Mì ‘ ��  #_91 '` oÀ@‘ @@ ��’,:@  * 2 Q�à¶@’@@@@  #_92 À¢¸  �Ð÷.æ@* ¡9à@A@@@@  ‘(@  #_93 2Mì ‘ ��  #_94 '` oÀ@‘ �*type_scope @@ �@ @@  * 2 Q�àÜ@’A@@@  #_95 À¢¸  �Ð÷/ @*$3ˆŒà@A@@@@  ‘N@  #_96 2Mì ‘ ��  #_97 '` oÀ@‘ �;@ ��’*2@  )õ 2 Q�à@’A@@@  #_98 À¢¸  �Ð÷/1@*>A×à@A@@@@  ‘s@  #_99 2Mì ‘ ��  $_100 '` oÀ@‘ �`@ ��’*W@  * 2 Q�à&@’A@@@  $_101 À¢¸  �Ð÷/V@*  hà@A@@@@  ‘˜@  $_102 2Mì ‘ ��  $_103 '` oÀ@‘ �…@ ��’*|@  *  2 Q�àK@’@@@@  $_104 À¢¸  �Ð÷/{@*Ì=1à@A@@@@  ‘½@  $_105 2Mì ‘ ��  $_106 '` oÀ@‘ @@ ��’,ó@  * 2 Q�ào@’@@@@  $_107 À¢¸  �Ð÷/Ÿ@*“ªà@A@@@@  ‘á@  $_108 2Mì ‘ ��  $_109 '` oÀ@‘ @@ ��’-@  * 2 Q�à“@’@@@@  $_110 À¢¸  �Ð÷/Ã@*&;2Þà@A@@@@  ‘@  $_111 2Mì ‘ ��  $_112 '` oÀ@‘@@  )è 2 Q�à²@’@@@@  $_113 À¢¸  �Ð÷/â@)óÏåíà@A@@@@  ‘$@  $_114 2Mì ‘ ��  $_115 '` oÀ@‘@@  (1 2 Q�àÑ@‘E@@@  $_116 À¢¸  �Ð÷0@(<&CLi  ‘B@  $_117 2Mì ‘ ÁAA@A  $_118 '` oÀ@‘ @@ ��’,‰@  ( 2 Q�àó@�B@@@  $_119 À¢¸  �Ð÷0#@(&"‡·�A  ‘d@  $_120 2Mì ‘ ��   $_121 '` oÀ@‘ @@ ��’.µ@  $_122 (ÐÐ÷0?@-Imp.AExp#<>#1×›@ @ �-simpl_and_try Áð ÿ@ÿ@EÞEç“&tactic¨&tactic&tactic� @  @ @ � @@¡ ð ÿ@ÿ@@@¡ÐAAAA@@ �@@™ ðÿ@ÿ@EúEû•‘ ðÿ@ÿ@EúEû7  (I 2 Q�àB@‘D@@@  $_126 À¢¸  �Ð÷0r@(T<­Nà@A@@@@  ‘´@  $_127 2Mì ‘ ��  $_128 '` oÀ@‘ �¡ �£ �¥ �§ @@ ��’(h ��’(] ��’(a ��’(t ��’(T@  ( rHÈ @�  ( N$ý @ð@B@ Ð(/‡@ (  (  (  ( @@@@ü@  $_130 À¢¸ ¡�'&F  ’ @ú  “ Aþ  “  B  “  C  “ D @  $_131 '` oÀ@’ @ @ �ñ@ ��’0ˆ ��’0È@  $_132 '` oÀ@“  /@A �@ ��’0Ö@  $_133 '` oÀ@“  =@B @ @ � � @ @@ ��’0® ��’0² ��’0ò ��’0ö ��’ Z@ ��’@  $_134 '` oÀ@“  f@C @ @ �< �> @ @@ ��’0× ��’0Û ��’1 ��’1 ��’ ƒ@ ��’@  $_135 '` oÀ@“  �@D @ @ �e �g @ @@ ��’1 ��’1 ��’1D ��’1H ��’ ¬@ ��’@  ({ 2 Q�àD@@@@@  $_136 À¢¸  �Ð÷(á@(… @   ‘´@  $_137 2Mì ‘ ÁHH@A  $_138 '` oÀ@‘ @ @ @ @ @ @ �¦ @@ @ @ @ @ @ ��’1C ��’1ƒ ��’'Ï@  $_139 ? 3V ._ind_from_prop� '×4  $_140 ü @ Ð r  rA  r@@&_ \\ _Ðr�B  ¡‘ �r @�B�$W ��"\\ ¡‘ �r A �1e@@ @ @@ ¤‘@  AA “# \\ • A@  B@@@@@  $_141 %cö?Ð@�*type_scope   ${  @@@  1‚  �@@@¢�’ �([@ ‘$‰ ‘1Ž@@ &_ \\ _  1ÿ )g 1ú@(e '\\' n@  $_143 ü @ Ð r  rA  r@@&_ \\ _ÐrS  ¡‘ �r @�B�$© ��"\\ ¡‘ �r A �1·@@ @ @@ ¤R  AA “# \\ • A@  B@@@@@  )” N$ý @ð@B@ Ð)™1 @ )Œ )Œ )Œ )Œ@@@@~@  $_147 À¢¸ ¡�'®à@A@@@@  ’ @}  “ A�  “  B…  “  C‰  “ D�@  $_148 '` oÀ@’ @ @ �t@ ��’2  ��’2K@  $_149 '` oÀ@“  0@A �†@ ��’2Y@  $_150 '` oÀ@“  >@B @ @ �– �˜ @ @@ ��’21 ��’25 ��’2u ��’2y ��’ [@ ��’@  $_151 '` oÀ@“  g@C @ @ �¿ �Á @ @@ ��’2Z ��’2^ ��’2ž ��’2¢ ��’ „@ ��’@  $_152 '` oÀ@“  �@D @ @ �è �ê @ @@ ��’2ƒ ��’2‡ ��’2Ç ��’2Ë ��’ ­@ ��’@  )þ 2 Q�àÇ@Ã@@@  $_153 À¢¸  �Ð÷2ö@*uW¼  ‘7@  $_154 2Mì ‘ ÁHH@A  $_155 '` oÀ@‘ @ @ @ @ @ @ �) @@ @ @ @ @ @ ��’2Æ ��’3 ��’(S@  $_156 ? 3V ƒ� (Z3  $_157 ü @ Ð/&_ \\ _*@@  $_158 %cö?Ð@�*type_scope   %Ó  @@@  2Ú  �[@@@¢�’(F ‘%ß ‘2ä@@ &_ \\ _  3U 3O@(e '\\' n  (f 2 Q�à*@’@@@@  $_159 À¢¸  �Ð÷3Z@(qê&à@A@@@@  ‘œ@  $_160 2Mì ‘ ��  $_161 '` oÀ@‘ @ �Š@ ��’3! ��’3a@  (m 2 Q�àT@’@@@@  $_162 À¢¸  �Ð÷3„@(x+ËòÜà@A@@@@  ‘Æ@  $_163 2Mì ‘ ��  $_164 '` oÀ@‘ @ �´@ ��’3K ��’3‹@@  (t rHÈ @�  3¤ N$ý @ð@B@ Ð3©2‡@ 3  3  3  3  (u@@@@ý@  $_167 À¢¸ ¡�'éà@A@@@@  ’ @ü  “ A  “  B  “  C  “ D   “ E@  $_168 '` oÀ@’ !@@@  $_169 '` oÀ@“  )@A �þ@ ��’3Ñ@  $_170 '` oÀ@“  7@B @ @@ ��’ >@ ��’@  $_171 '` oÀ@“  J@C @ @@ ��’ Q@ ��’@  $_172 '` oÀ@“  ]@D @ @@ ��’ d@ ��’@  $_173 '` oÀ@“  p@E @ @@ ��’ w@ ��’@  3ð 2 Q�à@ @@@  $_174 À¢¸  �Ð÷) @3ú+ý'z†  ‘€@  $_175 2Mì ‘ ÁGG@A  $_176 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ @ @ @ @ ��’(’@  $_177 ? 3V  � (™*  3T 2 Q�àD@@@@@  $_178 À¢¸  �Ð÷)A@3^ßyº  ‘´@  $_179 2Mì ‘ ÁGG@A  $_180 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ @ @ @ @ ��’(Æ@  $_181 ? 3V � (Í*  3k 2 Q�àx@t@@@  $_182 À¢¸  �Ð÷)u@3uß…$î  ‘è@  $_183 2Mì ‘ ÁGG@A  $_184 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ @ @ @ @ ��’(ú@  $_185 ? 3V � )*  $_186 ü @ Ð r  rA  r@@&_ \\ _Ðr*  ¡‘ �r @�B�'€ ��"\\ ¡‘ �r A �4Ž@@ @ @@ ¤)  AA “# \\ • A@  B@@@@@  ,k N$ý @ð@B@ Ð,p3à@ ,c ,c ,c ,c (¤@@@@ V@  $_190 À¢¸ ¡�'�Y  ’ @ T  “ A X  “  B \  “  C `  “ D d  “ E h@  $_191 '` oÀ@’  @ @ � O@ ��’)Ó ��’5&@  $_192 '` oÀ@“  3@A � a@ ��’54@  $_193 '` oÀ@“  A@B @ @ � q � s @ @@ ��’)ù ��’)ý ��’5P ��’5T ��’ ^@ ��’@  $_194 '` oÀ@“  j@C @ @ � š � œ @ @@ ��’*" ��’*& ��’5y ��’5} ��’ ‡@ ��’@  $_195 '` oÀ@“  “@D @ @ � à� Å @ @@ ��’*K ��’*O ��’5¢ ��’5¦ ��’ °@ ��’@  $_196 '` oÀ@“  ¼@E @ @ � ì � î � ð @ @ @ @@ ��’*x ��’*| ��’5Ï ��’5Ó ��’5× ��’ á@ ��’ ��‘)e ��’-ø@  - 2 Q�à Û@ ×@@@  $_197 À¢¸  �Ð÷*Ø@-  @@ @ @ @ @ @ @ ��’*É ��’6 ��’([@  $_200 ? 3V ™� (b5  $_201 ü @ Ðn&_ \\ _iR@@  $_202 %cö?Ð@�*type_scope   6  @@@  5ð  � q@@@¢�’ �(Ø@ ‘6 ‘5ü@@ &_ \\ _  6m +5@(a '\\' n@  (m rHÈ @�  $_205 ü @ Ð r  rA  r@@&_ \\ _ÐrÅ  ¡‘ �r @�B�) ��"\\ ¡‘ �r A �6)@@ @ @@ ¤Ä  AA “# \\ • A@  B@@@@@  6˜ N$ý @ð@B@ Ð6�5{@ (š 6• 6• 6• 6•@@@@ ñ@  $_206 À¢¸ ¡�(à@A@@@@  ’ @ ð  “ A ô  “  B ø  “  C ü  “ D   “ E @  $_207 '` oÀ@’ !@@@  $_208 '` oÀ@“  )@A@@  $_209 '` oÀ@“  1@B � ú@ ��’6Í@  $_210 '` oÀ@“  ?@C @ @@ ��’ F@ ��’@  $_211 '` oÀ@“  R@D @ @@ ��’ Y@ ��’@  $_212 '` oÀ@“  e@E @ @@ ��’ l@ ��’@  6Ù 2 Q�à ù@ õ@@@  $_213 À¢¸  �Ð÷)+@6ãGþ{  ‘ i@  $_214 2Mì ‘ ÁGG@A  $_215 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ @ @ @ @ ��’(¼@  $_216 ? 3V  ö� (Ã*  6= 2 Q�à -@ )@@@  $_217 À¢¸  �Ð÷)_@6G:)Ñ£¯  ‘ �@  $_218 2Mì ‘ ÁGG@A  $_219 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ @ @ @ @ ��’(ð@  $_220 ? 3V  ÷� (÷*  6T 2 Q�à a@ ]@@@  $_221 À¢¸  �Ð÷)“@6^:)ݨã  ‘ Ñ@  $_222 2Mì ‘ ÁGG@A  $_223 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ @ @ @ @ ��’)$@  $_224 ? 3V  ø� )+*  /$ N$ý @ð@B@ Ð/)6™@ (§ / / / /@@@@ @  $_228 À¢¸ ¡�'á  ’ @   “ A   “  B   “  C   “ D   “ E !@  $_229 '` oÀ@’  @ @ � @ ��’) ��’7ß@  $_230 '` oÀ@“  3@A � @ ��’7í@  $_231 '` oÀ@“  A@B � (@ ��’7û@  $_232 '` oÀ@“  O@C @ @ � 8 � : @ @@ ��’)ö ��’)ú ��’8 ��’8 ��’ l@ ��’@  $_233 '` oÀ@“  x@D @ @ � a � c @ @@ ��’* ��’*# ��’8@ ��’8D ��’ •@ ��’@  $_234 '` oÀ@“  ¡@E @ @ � Š � Œ @ @@ ��’*H ��’*L ��’8i ��’8m ��’ ¾@ ��’@  /  2 Q�à i@ e@@@  $_235 À¢¸  �Ð÷*›@/ª1†½Lë  ‘ Ù@  $_236 2Mì ‘ ÁII@A  $_237 '` oÀ@‘ @ @ @ @ @ @ @ � Ì @@ @ @ @ @ @ @ ��’*� ��’8ª ��’(œ@  $_238 ? 3V '� (£5  $_239 ü @ Ða&_ \\ _\E@@  $_240 %cö?Ð@�*type_scope   8Ž  @@@  8~  � ÿ@@@¢�’ �(ÿ@ ‘8œ ‘8Š@@ &_ \\ _  8û *ø@(a '\\' n@  (® 2 Q�à Ð@‘@@@@  $_242 À¢¸  �(à@A@@@@  ‘ A@  $_243 2Mì ‘ �@  $_244 '` oÀ@‘@@  (¢ 2 Q�à í@‘@@@@  $_245 À¢¸  �%9  ‘ ]@  $_246 2Mì ‘ @  $_247 '` oÀ@‘@@  9) N$ý @ð@B@ Ð9.8 @ 9% (� 9& 9& 9&@@@@ ‚@  $_248 À¢¸ ¡�(?  ’ @ €  “ A „  “  B ˆ  “  C Œ  “ D �  “ E ”@  $_249 '` oÀ@’  @@@  $_250 '` oÀ@“  (@A � ‚@ ��’9U@  $_251 '` oÀ@“  6@B @@ ��’(Ü@  $_252 '` oÀ@“  C@C @ @@ ��’ J@ ��’@  $_253 '` oÀ@“  V@D @ @@ ��’ ]@ ��’@  $_254 '` oÀ@“  i@E @ @@ ��’ p@ ��’@  9n 2 Q�à Ž@ Š@@@  $_255 À¢¸  �Ð÷9Ä@9xÚ 0¾  ‘ þ@  $_256 2Mì ‘ ÁGG@A  $_257 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ @ @ @ @ ��’(µ@  $_258 ? 3V  ‹� (¼*  8Ò 2 Q�à Â@ ¾@@@  $_259 À¢¸  �Ð÷9ø@8ܼ\Õò  ‘2@  $_260 2Mì ‘ ÁGG@A  $_261 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ @ @ @ @ ��’(é@  $_262 ? 3V  Œ� (ð*  8é 2 Q�à ö@ ò@@@  $_263 À¢¸  �Ð÷:,@8ó¼hÚ&  ‘f@  $_264 2Mì ‘ ÁGG@A  $_265 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ @ @ @ @ ��’)@  $_266 ? 3V  �� )$*  (¤ 2 Q�à*@‘@@@@  $_267 À¢¸  �&rZ  ‘š@  $_268 2Mì ‘ @  $_269 '` oÀ@‘@@  (ž 2 Q�àE@‘@@@@  $_270 À¢¸  � u  ‘µ@  $_271 2Mì ‘ @  $_272 '` oÀ@‘@@  (  2 Q�à`@‘@@@@  $_273 À¢¸  � �  ‘Ð@  $_274 2Mì ‘ @  $_275 '` oÀ@‘@@  9X N$ý @ð@B@ Ð9]9@ 9V 9V 9V 9V 9V 9V@@@@ö@  $_276 À¢¸ ¡�(³  ’ @ô  “ Aø  “  Bü  “  C  “ D  “ E  “ F @  $_277 '` oÀ@’ $@@@  $_278 '` oÀ@“  ,@A@@  $_279 '` oÀ@“  4@B@@  $_280 '` oÀ@“  <@C @ @@ ��’*- ��’*1@  $_281 '` oÀ@“  N@D @ @@ ��’*? ��’*C@  $_282 '` oÀ@“  `@E @@ ��’ f@@  $_283 '` oÀ@“  n@F @ @@ ��’ u@ ��’@  9³ 2 Q�à@@@@  $_284 À¢¸  �Ð÷;=@9½&¦Q7  ‘w@  $_285 2Mì ‘ ÁHH@A  $_286 '` oÀ@‘ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ ��’(È@  $_287 ? 3V � (Ï,  9+ 2 Q�à=@9@@@  $_288 À¢¸  �Ð÷;s@957ÃPm  ‘­@  $_289 2Mì ‘ ÁHH@A  $_290 '` oÀ@‘ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ ��’(þ@  $_291 ? 3V  � ),  9G 2 Q�às@o@@@  $_292 À¢¸  �Ð÷;©@9Q7ÏU£  ‘ã@  $_293 2Mì ‘ ÁHH@A  $_294 '` oÀ@‘ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ ��’)4@  $_295 ? 3V  � );,  9h 2 Q�à©@‘E@@@  $_296 À¢¸  �(Ù  ‘@  $_297 2Mì ‘ ÁBB@A  $_298 '` oÀ@‘ @ @@ ��‘+o ��’(¹@  8¾ 2 Q�àÏ@‘E@@@  $_299 À¢¸  �'jÿ  ‘?@  $_300 2Mì ‘ ÁBB@A  $_301 '` oÀ@‘ @ @@ ��‘+• ��’(†@  (Q 2 Q�àõ@‘D@@@  $_302 À¢¸  �Ð÷<,@(\$£\rà@A@@@@  ‘g@  $_303 2Mì ‘ ��  $_304 '` oÀ@‘@@  '³ 2 Q�à@‘D@@@  $_305 À¢¸  �Ð÷<@(c1 ;; c2  $_333 ü @ Ð P  È�È  È�È@0WHILE _ DO _ ENDÐP@  ��%WHILE ¡‘ �È@�<Í ��"DO ¡‘ �)( ��#END@@ @ @@ ¤ ’ “&WHILE   A�È • A@ “#DO   B�È • A@ “@@@@  $_334 %cö?Ð@@   <ù  @@@  )P  @@@@¢�“ (6E ‘= ‘)Z@@ 0WHILE _ DO _ END  >–@6'WHILE' b 'DO' c 'END'  $_335 ü @ Ð P  È�È  È�È  È�È@6IFB _ THEN _ ELSE _ FIÐP@  ��#IFB ¡‘ ]@�'  ��$THEN ¡‘ �' ��$ELSE ¡‘�"c3 ��"FI@@ @ @ @@ ¤ ø “$IFB   A�È • A@ “%THEN   B�È • A@ “%ELSE   C�È • A@ “#@@@@  $_336 %cö?Ð@@   'J  @@@  'K  @@@  7  @@@@¢�“ (©D ‘'Z ‘'Y ‘C@@ 6IFB _ THEN _ ELSE _ FI  ? @ !'IFB' c1 'THEN' c2 'ELSE' c3 'FI'  (ê 2 Q�àß@‘@@@@  $_337 À¢¸  �Ð÷?@(õ"Ìô§Ë  ‘P@  $_338 2Mì ‘ @  $_339 '` oÀ@‘@@  (— 2 Q�àû@‘@@@@  $_340 À¢¸  �#Çæ  ‘k@  $_341 2Mì ‘ @  $_342 '` oÀ@‘@@  (� 2 Q�à@‘@@@@  $_343 À¢¸  �Ð÷?M@(˜©l_  ‘‡@  $_344 2Mì ‘ @  $_345 '` oÀ@‘@@  (Œ 2 Q�à2@‘@@@@  $_346 À¢¸  �Ð÷?i@(—p)ý  ‘£@  $_347 2Mì ‘ @  $_348 '` oÀ@‘@@  (v 2 Q�àN@‘@@@@  $_349 À¢¸  �Ð÷?…@(�8Í~::  ‘¿@  $_350 2Mì ‘ @  $_351 '` oÀ@‘@@  (l 2 Q�àj@‘@@@@  $_352 À¢¸  �Ð÷?¡@(w ÕÂV  ‘Û@  $_353 2Mì ‘ @  $_354 '` oÀ@‘@@  (E 2 Q�à†@‘@@@@  $_355 À¢¸  �Ð÷?½@(P#ã( r  ‘÷@  $_356 2Mì ‘ @  $_357 '` oÀ@‘@@  (H 2 Q�à¢@‘E@@@  $_358 À¢¸  �Ð÷?Ù@(S#¹=¼Ž  ‘@  $_359 2Mì ‘ ÁBB@A  $_360 '` oÀ@‘ @ @@ ��‘/i ��’)ž@  $_361 ü @ Ð h  h@  g�g  h@@*_ / _ \\ _Ðh@  ¡‘ �h @R�(f ��!/ ¡‘ �g@�,ú ��"\\ ¡‘ �h Ag�(u@@ @ @ @@ ¤S  A@ “" / • A@  B�g “# \\ • A@  C@@@@@  (; N$ý @ð@B@ Ð(@?@ (0 (0 (0 (0 (0 (0 (0@@@@‹@  $_364 À¢¸ ¡�&°  ’ @‰  “ A�  “  B‘  “  C•  “ D™  “ E�  “ F¡  “ G¥@  $_365 '` oÀ@’ (@ @ @ @@ ��’+D ��‘-a ��‘-e@  $_366 '` oÀ@“  ?@A @@ ��‘-r@  $_367 '` oÀ@“  L@B @ @ �± @ @@ ��‘-„ ��’/Ú ��’@Ž ��’0  ��’8¦@  $_368 '` oÀ@“  n@C @ @ @ @ @ @ @@ ��’+Ž ��’+’ ��‘-¯ ��‘-³ ��‘-· ��’ Ž@ ��’@  $_369 '` oÀ@“  š@D @ @ @ @ @ @ @@ ��‘-Ó ��‘-× ��’. ��’+Æ ��’+Ê ��’8ù ��’ ¾@@  $_370 '` oÀ@“  Æ@E @ @ @ @ @ @ @@ ��‘-ÿ ��‘. ��’.î ��’+ò ��’+ö ��’9% ��’ ê@@  $_371 '` oÀ@“  ò@F @ @ @ @@ ��’/ ��‘., ��’, ��’9F@  $_372 '` oÀ@“  @G @ @ @ @ @ @ @ @@ ��‘.H ��‘.L ��‘.P ��’/; ��’,? ��’9n ��’ 3@ ��’@  (ó 2 Q�àZ@V@@@  $_373 À¢¸  �Ð÷A�@(ý<¸®ÄE  ‘Ê@  $_374 2Mì ‘ ÁLL@A  $_375 '` oÀ@‘ @ @ @ @ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ @ ��’,€ ��‘.� ��‘.¡ ��’'Ó@  $_376 ? 3V  � 'Ú=  $_377 ü @ ÐØ*_ / _ \\ _Я@@  $_378 %cö?Ð@@   *5  @@@  .à @@@  *7  @@@@¢�’'Ñ ‘*D ‘.Р‘*B@@ *_ / _ \\ _  Aõ@2c1 '/' st '\\' st'  'ç 2 Q�àÉ@‘D@@@  $_379 À¢¸  �Ð÷B@'ò't¦¸à@A@@@@  ‘;@  $_380 2Mì ‘ ��  $_381 '` oÀ@‘@@  'A 2 Q�àè@õ@@@  $_382 À¢¸  �Ð÷B@'K't¦¹  ‘X@  $_383 2Mì ‘ ��   $_384 '` oÀ@‘@@  'A 2 Q�à@‘@@@@  $_385 À¢¸  �Ð÷B<@'L {Wk<  ‘v@  $_386 2Mì ‘ ���Ð÷�>@%admit1¼¬(  $_387 '` oÀ@‘@@  'J 2 Q�à'@4@@@  $_388 À¢¸  �Ð÷B]@'T;íûË]  ‘—@  $_389 2Mì ‘ ��   $_390 '` oÀ@‘@@  'L 2 Q�àD@’@@@@  $_391 À¢¸  �Ð÷B{@'W-;à@A@@@@  ‘¶@  $_392 2Mì ‘ ��  $_393 '` oÀ@‘ @ @ @ @ @ @@ ��’-_ ��‘/| ��‘/€ ��‘/„ ��’(� ��’(”@  '` 2 Q�à�@’@@@@  $_394 À¢¸  �Ð÷B¸@'k8øçà@A@@@@  ‘ó@  $_395 2Mì ‘ ��  $_396 '` oÀ@‘ @ �á @ @ @@ @ ��’B¸ ��‘/º ��’?þ ��’(Ê@  'e 2 Q�à·@Ä@@@  $_397 À¢¸  �Ð÷Bí@'o3Ø 5  ‘'@  $_398 2Mì ‘ ��   $_399 '` oÀ@‘ @ @@ ��‘/å ��‘/é@  't 2 Q�àÞ@‘E@@@  $_400 À¢¸  �Ð÷C@'†Ð©]  ‘O@  $_401 2Mì ‘ ÁAA@A  $_402 '` oÀ@‘ @@ ��’,Õ@  'O N$ý @ð@B@ Ð'TB@@@@@u@  $_403 À¢¸ ¡�'€  ’ @s@  $_404 '` oÀ@’  @ @@ ��’.@  'Y 2 Q�à@@@@  $_405 À¢¸  �Ð÷CT@'c+< Nœ  ‘Ž@  $_406 2Mì ‘ ÁCC@A  $_407 '` oÀ@‘ @ @ @@ @ ��’.4 ��’'X@  $_408 ? 3V /_rect_from_prop� '`&  'O 2 Q�àN@J@@@  $_409 À¢¸  �Ð÷C„@'Y HBÿÌ  ‘¾@  $_410 2Mì ‘ ÁCC@A  $_411 '` oÀ@‘ @ @ @@ @ ��’.d ��’'ˆ@  $_412 ? 3V ü� '�%  'e 2 Q�à}@y@@@  $_413 À¢¸  �Ð÷C³@'o HOû  ‘í@  $_414 2Mì ‘ ÁCC@A  $_415 '` oÀ@‘ @ @ @@ @ ��’.“ ��’'·@  $_416 ? 3V ._rec_from_prop� '¿&  '€ 2 Q�à­@º@@@  $_417 À¢¸  �Ð÷Cã@'Š6¨¨Ä+  ‘@  $_418 2Mì ‘ ��   $_419 '` oÀ@‘ @@ ��’.Á@  'Š N$ý @ð@B@ Ð'�BÓ@ 'ˆ 'ˆ 'ˆ 'ˆ 'ˆ@@@@I@  $_420 À¢¸ ¡�'-T  ’ @G  “ AK  “  BO  “  CS  “ DW  “ E[@  $_421 '` oÀ@’  @@@  $_422 '` oÀ@“  (@A �I@ ��’D@  $_423 '` oÀ@“  6@B @@ ��’3£@  $_424 '` oÀ@“  C@C@@  $_425 '` oÀ@“  K@D@@  $_426 '` oÀ@“  S@E@@  'Ç 2 Q�à4@0@@@  $_427 À¢¸  �Ð÷Dj@'Ñ6¿}ï²  ‘¤@  $_428 2Mì ‘ ÁGG@A  $_429 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ @ @ @ @ ��’'®@  $_430 ? 3V 1� 'µ*  'Ž 2 Q�àh@d@@@  $_431 À¢¸  �Ð÷Dž@'˜2O,úæ  ‘Ø@  $_432 2Mì ‘ ÁGG@A  $_433 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ @ @ @ @ ��’'â@  $_434 ? 3V 2� 'é*  '¨ 2 Q�àœ@˜@@@  $_435 À¢¸  �Ð÷DÒ@'²2O8ÿ  ‘ @  $_436 2Mì ‘ ÁGG@A  $_437 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ @ @ @ @ ��’(@  $_438 ? 3V 3� (*  'Ç 2 Q�àÐ@‘E@@@  $_439 À¢¸  �Ð÷E@'Ò�Ü‚O  ‘A@  $_440 2Mì ‘ ÁBB@A  $_441 '` oÀ@‘ @ �*list_scope �@ ��‘4› ��’'Ç ��’'Ë@  '‘ 2 Q�àÿ@ @@@  $_442 À¢¸  �Ð÷E5@'›� e}  ‘o@  $_443 2Mì ‘ ��   $_444 '` oÀ@‘@@  '� 2 Q�à@)@@@  $_445 À¢¸  �Ð÷ER@'—� fš  ‘Œ@  $_446 2Mì ‘ ��   $_447 '` oÀ@‘@@  '� 2 Q�à9@‘E@@@  $_448 À¢¸  �Ð÷Ep@'Œ£Kˆ¸  ‘ª@  $_449 2Mì ‘ ÁAA@A  $_450 '` oÀ@‘ @@ ��’2E@  'i 2 Q�à[@h@@@  $_451 À¢¸  �Ð÷E‘@'süÝ×Ù  ‘Ë@  $_452 2Mì ‘ ��   $_453 '` oÀ@‘@@  'g 2 Q�àx@…@@@  $_454 À¢¸  �Ð÷E®@'q3íJ—ö  ‘è@  $_455 2Mì ‘ ��   $_456 '` oÀ@‘ @ @@ ��‘2¦ ��’4ü@  '{ rHÈ @�  0Ó N$ý @ð@B@ Ð0ØD¨@ 0Ñ 'y 0Ò 0Ò 0Ò 0Ò@@@@@  $_458 À¢¸ ¡�&ñ*  ’ @  “ A!  “  B%  “  C)  “ D-  “ E1  “ F5@  $_459 '` oÀ@’ $@@@  $_460 '` oÀ@“  ,@A@@  $_461 '` oÀ@“  4@B@@  $_462 '` oÀ@“  <@C @ @@ ��’5€ ��’5Z@  $_463 '` oÀ@“  N@D @ @@ ��’ U@ ��’@  $_464 '` oÀ@“  a@E @ @ @@ ��’4 ��’ m@ ��’@  $_465 '` oÀ@“  y@F @ @@ ��’4( ��’ „@@  1: 2 Q�à;@7@@@  $_466 À¢¸  �Ð÷(@1D+Q—¯¹  ‘«@  $_467 2Mì ‘ ÁHH@A  $_468 '` oÀ@‘ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ ��’'¥@  $_469 ? 3V :� '¬,  0« 2 Q�àq@m@@@  $_470 À¢¸  �Ð÷(T@0µ/t :ï  ‘á@  $_471 2Mì ‘ ÁHH@A  $_472 '` oÀ@‘ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ ��’'Û@  $_473 ? 3V =� 'â,  0Ç 2 Q�à§@£@@@  $_474 À¢¸  �Ð÷(Š@0Ñ/t?%  ‘@  $_475 2Mì ‘ ÁHH@A  $_476 '` oÀ@‘ @ @ @ @ @ @ @ @@ @ @ @ @ @ @ @ ��’(@  $_477 ? 3V @� (,  $_478 ü @ Ð „$SKIP ƒ }@@  $_479 %cö?Ð@@ @�“  �()@A@ $SKIP  G! (Ï@&'SKIP'  $_480 ü @ Ð @@%BREAKÐ@@  ��%BREAK@@@ ¤^ “@@@@  $_481 %cö?Ð@@ @�“ $B@ %BREAK  GC (ñ@''BREAK'  $_482 ü @ Ð |  |@  |@@'_ ::= _Ð|@  ¡‘ �| @ ž�4. ��#::= ¡‘ �| A ©�G @@ @ @@ ¤”  A@ • A@ “$::=   B@@@@@  $_483 %cö?Ð@@   4O  @@@  G'  @@@@¢�“ kC ‘4[ ‘G1@@ '_ ::= _  GŽ )<@)x '::=' a  $_484 ü @ Ð P  P@  PA@&_ ;; _ÐP ž  ¡‘ �P @�A�/þ ��";; ¡‘ �P A �0@@ @ @@ ¤à  A@ “ • A@  BA@@@@  $_485 %cö?Ð@@   0  @@@  0  @@@@¢�“ ¶D ‘0* ‘0)@@ &_ ;; _  GÙ )‡@(c1 ;; c2  $_486 ü @ Ð P  È�È  È�È@0WHILE _ DO _ ENDÐP@  ��%WHILE ¡‘  ž@�Fj ��"DO ¡‘ �2Å ��#END@@ @ @@ ¤/ “&WHILE   A�È • A@ “#DO   B�È • A@ “@@@@  $_487 %cö?Ð@@   F–  @@@  2í  @@@@¢�“ F ‘F¢ ‘2÷@@ 0WHILE _ DO _ END  H3 )á@6'WHILE' b 'DO' c 'END'  $_488 ü @ Ð P  È�È  È�È  È�È@6IFB _ THEN _ ELSE _ FIÐP@  ��#IFB ¡‘  û@�0© ��$THEN ¡‘ �0® ��$ELSE ¡‘� ž ��"FI@@ @ @ @@ ¤• “$IFB   A�È • A@ “%THEN   B�È • A@ “%ELSE   C�È • A@ “#@@@@  $_489 %cö?Ð@@   0ç  @@@  0è  @@@   Ô  @@@@¢�“ ƒE ‘0÷ ‘0ö ‘ à@@ 6IFB _ THEN _ ELSE _ FI  H¨ *V@ !'IFB' c1 'THEN' c2 'ELSE' c3 'FI'  )6 N$ý @ð@B@ Ð);G�@ )4 )4@@@@ô@  $_490 À¢¸ ¡�(úÿ  ’ @ò  “ Aö  “  Bú@  $_491 '` oÀ@’ @@@  $_492 '` oÀ@“  @A@@  $_493 '` oÀ@“  $@B@@  )L 2 Q�à°@¬@@@  $_494 À¢¸  �Ð÷*“@)V\�j.  ‘ @  $_495 2Mì ‘ ÁDD@A  $_496 '` oÀ@‘ @ @ @ @@ @ @ @ ��’)F@  $_497 ? 3V §� )M$  )3 2 Q�àÞ@Ú@@@  $_498 À¢¸  �Ð÷*Á@)=$ªƒó\  ‘N@  $_499 2Mì ‘ ÁDD@A  $_500 '` oÀ@‘ @ @ @ @@ @ @ @ ��’)t@  $_501 ? 3V ¢� ){$  )G 2 Q�à @@@@  $_502 À¢¸  �Ð÷*ï@)Q$ª�øŠ  ‘|@  $_503 2Mì ‘ ÁDD@A  $_504 '` oÀ@‘ @ @ @ @@ @ @ @ ��’)¢@  $_505 ? 3V �� )©$  $_506 ü @ Ð h  h@  g�g  g�g  h@@._ / _ \\ _ / _Ðh@  ¡‘ �h @ Æ�1Ú ��!/ ¡‘ �g@�6n ��"\\ ¡‘  @�0˜ ��!/ ¡‘ �h A ä�1ò@@ @ @ @ @@ ¤Ñ  A@ “" / • A@  B�g “# \\ • A@  C�g “" / • A@  D@@@@@  1 N$ý @ð@B@ Ð1ÇHš@ 1·@@@@ @  $_509 À¢¸ ¡�)e  ’ @   “ A@  $_510 '` oÀ@’ @ @ @ @ @@ ��’+_ ��‘6Ë ��’*U ��‘6Ó@  $_511 '` oÀ@“  ,@A @@ ��‘6à@  1n 2 Q�àÕ@Ñ@@@  $_512 À¢¸  �Ð÷+¸@1x!síDS  ‘E@  $_513 2Mì ‘ ÁGG@A  $_514 '` oÀ@‘ @ @ @ @ @ @ @@ @ @ ��’+¡ ��‘7  ��’*— ��‘7 ��’)Ð@  $_515 ? 3V ”� )×6  $_516 ü @ ÐÛ._ / _ \\ _ / _Ð¥@@  $_517 %cö?Ð@@   2©  @@@  77  @@@  1\  @@@  2¯  @@@@¢�’ �)ø@ ‘2¾ ‘7J ‘1m ‘2¾@@ ._ / _ \\ _ / _  Jq ,@8c1 '/' st '\\' s '/' st'  )ø 2 Q�àF@S@@@  $_518 À¢¸  �Ð÷,)@*7’äÇÄ  ‘¶@  $_519 2Mì ‘ ��   $_520 '` oÀ@‘ @ @ @ @ @@ ��’, ��‘7{ ��‘7 ��’+  ��’*k@  * 2 Q�à|@‰@@@  $_521 À¢¸  �Ð÷,_@*$.æú  ‘ì@  $_522 2Mì ‘ ��   $_523 '` oÀ@‘ @ @ @ @ @ @@ ��’8• ��’,J ��‘7¶ ��‘7º ��’+D ��’*¦@  *A 2 Q�à·@Ä@@@  $_524 À¢¸  �Ð÷,š@*K�¨5  ‘'@  $_525 2Mì ‘ ��   $_526 '` oÀ@‘ @ @ @ @ @ @@ ��’8Р��’,… ��‘7ñ ��‘7õ ��’C  ��’*á@  *e 2 Q�àò@ÿ@@@  $_527 À¢¸  �Ð÷,Õ@*o›Äµp  ‘b@  $_528 2Mì ‘ ��   $_529 '` oÀ@‘ @ @ @ @ @ @@ ��’9  ��’,À ��‘8, ��‘80 ��’+ ��’CJ@  05 2 Q�à-@:@@@  $_530 À¢¸  �Ð÷-@0?6èX»«  ‘�@  $_531 2Mì ‘ ��   $_532 '` oÀ@‘ @ @ @ @ @ @ @ @@ ��’,ù ��‘8e ��‘8i ��‘8m ��’+÷ ��’+û ��’+] ��’+a@@@@rño¯ówÌ£˜Ë<º`‘oM„•¦¾@?*·Ïmñ§]ºêœ~Ĥov„•¦¾@Z,�f+Π‡Q¨8Ðã�£úoŸ„•¦¾@_,8›¨}��#»& ì/®b•¦¾~¿3UuTôP�‘©œ   �Ð÷� %Logic $Init #Coq@@"eqÐ @A€ ›  �Ð÷� )Datatypes@#natò@€©œ   B€�©�©�© �œ  A€�‘©) ›  �Ð÷¢� #Imp@$AExp@$aexp=®º@€©œ   B€ ©œ  A€ ©�‘·�!a©š �Ð÷@(aexp_ind®€à· "©› L€°A©š �Ð÷&@%aevalÿ—€�©š �Ð÷-@.optimize_0plus>wz€��A©·�!nT©d V©�©- ·�"a1A·�$IHa1"·�"a2G·�$IHa2(©ÍÐK@ÀABBBÀABBB°@À @@ @ @@ @ @@ @ @@D·AY¶8©8°w©6�©1�©U �B�D©>À·0‚·&©F°…©D�©?12©ÍЉ@ @A @A°@ @ @@D·?‘¶5©U°”©S�©N�©r ©o��F©\! ·C©c°¢©a�©\�©{”©fµ+C©l°«©j�©e�©‰  �E©q·b´·X©x°·©v�©q�©��©´p©}µ©š �Ð÷Î@(eq_ind_r!¼2#€àÇ©†�-·xÊ©�°Ì©Ã�©š �Ð÷� #NatÜ@#add £�`€ �CŠ©Ð�©  ©œ��G©ð â©Ù�© i©¥�© !8C©¬°ë©ª�©¥�©É ©Æ�©êYX©³§·�$a1_1Ý·�$a1_2à·Ÿ©¿°þ©½�©¸�©Ü ‡µ©Ãµ©Fà©: ©É�4©Ër·¼©Ѱ©B Ã,©D ©F ©Õ�šQ©Xà©Ù�k·Ë©à°©Q  Ò©1 #©U  ©ä�©ß ª©ç�ÍÄ·�"e1VÀ·Þ0ͧ·à2ã ©ë)·ã5© ©ï!··�"a0!íC©ÿ°>©ý�©ø�© © nÉ•©·R-·P.·í© °L© �©�©œ  7C€Q©µ©–àX©š �Ð÷Š@#sub £ª€U· _©"°aQ©“ © O�©¤àfL·g©*°i©›  ©{ m©Ÿ UJñ© ©0�@©2�©-Û'C©9°x©7�©2�©V ©.:Ω>·‹f·‰g·&©F°…©D�©?�©œ  pD€Š©Lµ©Ïà‘©š �Ð÷Ã@#mul £¡—€Ž·F˜©[°šŠ©Ì © ˆÖ©ÝàŸ…·N ©c°¢©Ô U ©´ ¦©Ø Žƒ*©9ZC©l°«©j�©e�©‰ ©(m©q¨·Z™·Xx·V›·Tzµ©øàº¤·i»©~°½©e pN©g §·©à÷·rÄ©‡°Æ©n ®y ©Ø Ê©r ¶ÀY}©‹�—öC©‘°Щ��©Š�©„ XY©•·~½·|œ·z¿·xžµ©àÞÈ·�ß©¢°á©P$©Q#©#àåÙ·”æ©©°è©W"©ù ë©Z!y� C©¯°î©­�©¨�©i©²¥�‘·�"aeÞ©  û«�‘·�!P”�A·�"HP¶¶�‘·¶Í·¸ ©Ͱ›  �Ð÷ @$boolüZ'@€©š ¡Ð÷¢� (PeanoNat %Arith!H@#leb.ë¸=Ð÷L@ £žô€  Ñœ  A€Ô µ©5 C©ê°©  ·Ú,µC©ð°#© t�‘,�‘·ä6Í­.è ·ç9�‘· !©àí·å$·ã·á&·ß©ÍÝÑÆÀ·ôF·êĩͿ¹Ì ·î«µ©ŒàN4·ýO©°QŠ©a S9.ÕCª ^ ÓH |�‘�‘µ©œ   �Ð÷h@"orÐ Ï@B€°©$°cQ©Z�©\�©^�©`�©b�©d�f©› € ©6°ue© ©:°yk©  ©>°}t© ©B°�© ©F°…"© ©J°‰ &© ©N°�&*© ©R°‘,.©" ©V°•22›  �Ð÷£@%Falseeÿë@€©C°*(©E°(&©G°&$©I°$"©K°" ©M° ©O°©Q°©œ  SA€°©À ²OC©š �Ð÷� $List %ListsÀ@"In$ê–€°¾[©œ   �Ð÷À@$listý]ó@B€°Çµ© °É¹© °Ë½© °ÍÄ©°Ïb©°Ñf©°Ój©°Õn©°×r©°Ùv©œ  A€�Þ�‘©ˆ°�©0°ä�©Œ°s©4°è…©�°s©8°ì‰!©”°s©<°ð�#©˜°s©@°ô‘%©œ°s©D°ø•'© °s©H°ü™)©¤°s©L°�+©¨°s©P°¡-©Y°s©T/W�‘·�!m ·» ·�!o·�!p·�!H©›  �Ð÷%@#andЖw@€ ©›  �Ð÷� %Peano-@"le UxT@€ ©[ ­S©]ç©ï°.©` ³"©b ã$©š �Ð÷� )Decidable B?@+dec_not_notHÃÉ€°© Ž©š �Ð÷� +Compare_dec,@&dec_le*c<¤€ ·�"H0©š �Ð÷Y@#notШï€�©· ©š �Ð÷5@"gt Ux€ ¿ƒ©š �Ð÷i@'and_ind1Þ4ۀЩD ©– ‡Ê©˜ Ì·©+°j©œ »^©ž ð`Ù·�&H_left·�'H_right©7°v©¨ Üj©·1©š �Ð÷¢� &BinInt &ZArith‰!Z@-1P,¦€ ©š ¡Ð÷ @&of_nat‡bzÐ÷¢� )BinIntDef @1?G!€��I© Í©·™¶@›  �Ð÷� 'BinNums 'Numbers¦@7—Þ@€¢·�©U�©š ¡Ð÷+@Ô1Pµ&Ð÷@Õ ™Í€ ©%��K©(��J©òà© ©/��L <j©2�©í ©š �Ð÷¢� $ZnatC%Nat2Z@'inj_addûcò€ °·�!x4¶@©š �Ð÷S@«1P,ö€ „©L�© &DB©·ÛB·Æ©Œ�©7 /W©àH;c‘©Y�© 63©' ·O¶@© E›U·|© ©H h©h��H©·ö]·á©§�©R J©rí©:àd©W R�¯©w�©2 Tô©E°·;m¶@©ɰp¹©��©< yþw©·w·û©Á�©l Œ©Sà}˜Æ©Ž�©I h ©\ ·R„¶@©à°‡©z r©œ  ‹B€�©œ   �Ð÷�@(positive*�À‘@A€�œ  C€ã�·Á©ö°�©� °©’ J©š �Ð÷G@&ex_ind ±5{€Ð¨·�!y«©- ©°¯›ø©z œ  ²A€©§ ©š ¡Ð÷Ô@½1PÇ]Ð÷Æ@¾ ¬€ ©4( Á·�%Zvar0Á·�'Omega10©Щ!°Èªã©“ ©½ © éÑ·�&Omega0 ·©� #©Ç ©  ˜'©7ÐÚ·2Û©] ©8°ß©ð��N+3å·�%Zvar1å·�&Omega9 ©%ЩE°ì©ý��O 'ò·�&Omega1· !©RÐõ·Mö©x ©S°ú© ��TFN·�%Zvar2·�&Omega8 ©@Щ`°©��U%B ·�&Omega3· <©mзh©“ ©n°©&��Yai·�%Zvar3·�&Omega7 ©[Щ{°"©3��Z@](·�&Omega4· W©·Å,·°©vª©à/+Jx©@��^L°·4¶@© †©* ©, „©œ  =C€©©š ¡Ð÷]@#opp1PÉÔÐ÷P@ ®{€�%J©·ãJ·Ω”��M©%àOnj˜©`��[2 ·"T¶@©  ¦©J ©L B ©¦_©š �Ð÷� +OmegaLemmas %omega@7fast_Zopp_eq_mult_neg_1=·÷Ò€°H·7i¶@©5 »©_ ·q©š �Ð÷@8fast_Zplus_assoc_reverse 'ôñ€Ð�:©¿ W<·Fx¶@©D ÊÄ~©š �Ð÷@/fast_Zplus_comm1Ï1€ÀG ·Qƒ¶@©O Õ©y oÑ‹©š �Ð÷,@1fast_Zred_factor0Àµ#€°©·^�¶@©\ â©† Þ©ˆ ©á M^^œ·�&Omega6©g í©‘ ©ê ¼å©• /i©·@§·+©ñ�©€àª”Åó{¯°·z¬¶@©x þ©¢ ©¤ ü©Ä��\©w�©« ‹©Ë��]À©·YÀ·D© ��R©›àÅ�Sá �Q ·—ɶ@©• ©¿ ©Á ·Ó©·lÓ·W©¤©¬àÖ�ñ©ç��_À ·©Û¶@©§ -©Ñ ©Ó É ©£�©× /,é©B ··é¶@©µ ;©ß ©¯�©ã î;õ©š �Ð÷–@4fast_Zopp_plus_distrpŒe€Ààþ·Èú¶@©Æ L©ð H©£°è·Ð¶@©ΠT©ø '©ú R©Êò ©®°·Û ¶@©Ù _© 2© ©^ Û_©š �Ð÷º@2fast_Zplus_permuteñ¿€Ð© $Y©iÆ©j 'ç«©§À·ó%¶@©ñ w+©š �Ð÷Ì@0fast_Zplus_assoc Da~€Ð4i ©š �Ð÷Ó@1fast_Zred_factor3Àµ&€À;û·7¶@© ‰©- (©/ ‡|A©¶°z·A¶@©  “©7 2©9 ©’ 1™“M©š �Ð÷î@1fast_Zred_factor6Àµ)€°©› �–©š �Ð÷÷@1fast_Zred_factor5Àµ(€À_©M  «8·�&Omega5©* °©T D ©·ÿf·ê©°�£©@àjn…³;¨°·:l¶@©Ȱo©b ©d ¼ê©4�©h ÄîÆz©·z·þ©ÄŽ©Sà}�P™ÇÄ� ·N€¶@©ܰƒ©v ©x Âþ©H�ØŒ©—Àª·ZŒ¶@©è°�©‚  Úà”©5°²·b”¶@©ð°—©Š ©Œ ä©\�ì ©‡Ð©’ ß©ë Âh©h·s¥¶@©°¨ñ÷«©:Ðè!·y«¶@©°®©¡ ©ú Äwûµ©*°ò·ƒµ¶@©°¸©«  ©­   ¿·�&Omega2©°Á©´ "©¶ ©  ©Yà© „©¾ ’© © !©Ä © $š^©š �Ð÷y@,fast_OMEGA15ƒM€ î¡¡¡ ¡·«ݶ@©© /©Ó ©, ‹'-ç©‘Àø©Ù ­©2 ¯©š �Ð÷Ž@,fast_OMEGA12ƒJ€ð,4¶@¶·�'Omega11©¿ E©é /©ë ©D 7ÁÁ©š �Ð÷ @,fast_OMEGA13ƒK€ðª©ö ©O  ÌÌ©ú ©S NZt”©š �Ð÷¯@,fast_OMEGA14ƒL€à×a{›µµ·™©b�©r°›  �Ð÷±@*comparison;¿f@€œ  C€©š �Ð÷È@)False_induÙ�€ ,©s�©Ó C¶@©{�©‹°©š ¡Ð÷P@'compare3x–Ð÷C@ë]=€ ‰ÿ=C¶@©?©š �Ð÷à@&OMEGA2.$ÌD€À©6 cB©8 ©‘ ðB’ ©š �Ð÷í@&OMEGA6.$ÌH€Ð©C ‰‡ƒ›©š �Ð÷� )auxiliaryo@*Zegal_left;6tÁ€°ç©O Õ™©š �Ð÷ @(Zle_left*xÚ퀰©X ­´©Z ¶¤©š �Ð÷@(Zgt_leftªEý€°½[«¹©š �Ð÷@'intro_Zz,’€��XÁ©© /é c©š �Ð÷�U@&inj_eq8F¿€°©M ,E©š �Ð÷ @&inj_le8F¿–€°O©V “5N�©š �Ð÷@&inj_gt8F¿F€°›’VV�©š �Ð÷ð@¬_le+ò¹g€°š^ç�‘··è:©œ  %A€À¶@©›  �Ð÷&@&aevalRY“Ó@€D© °I?̶@© °L@ý© ·:©š �Ð÷3@*aevalR_induW€ ·#;·W ·Xµ©i [ C©°]·2C·�"e2F·�"n1d·�"n2g·T©(”·�)IHaevalR1©/°nT–·&©/ À™·�)IHaevalR2©7°v¯øµ©·àyÝ·(z©=°|©® /©=�©¿à�з0‚©E°„©¶ §7"©– ˆ"«9 °C©K°Š©I�©f �¯(·ct·1u·/‘·-’·+·*(·L&·$"µ©×à™ý·Hš©]°œ©D ©E9©Þà ï·O¡©d°£©K©´ ¦©N@ÊX)ÏC©j°©©h�©[·�’·O“·M¯·K°·�I·HF·jD·B@µ©õà··f¸©{°º©)>©*W©üྠ·m¿©‚°Á©0=©Ò Ä©3^èvGíC©ˆ°Ç©†�©@=òM{©•ð·š²¶|Î…·}ϵ·�"n0Ó·À©—°ÖY‡©àØ[·‡Ù©™ ƒ©œ  œA€D�C¶Žà¶@©¤°ã©¢�K–©¥ ©¼Ýk·�η�·‹з‰µ·œî·Û©²°ñ©#2£©š �Ð÷@&eq_ind £J€àù©+ 4å·ªü©¼ ©Ø !O±©œ  ÁB€ài‡>ï©U @©  B©2 õ©  ÷�¾C¶¼¶@©Ò°©Ð�©í¤Å©Ô ©ð |š›·¿þ·½M·»·¹Oµ·Ì· ©â°!bÒ©/à#©Ë*·Ó%©å ©×)Ù©œ  éC€(¯ÝC¶Û-¶@©ñ°0©ï�©âÃä©ó ©å¹·Ý·Ûk·Ù·×mµ·ê<·)©°?]ð©MàA©°H·ñC© ©¼G÷©œ  D€FÍûC¶ùK¶@©°N© �©Çá© ©Ê=××�‘·$<·X©À·G©  ·2C·D·þ`·üa·Nú·ù÷·õ·óñµ©tðh‹·i¶!©* {©/°n©  ©/Á©0੤ ƒ÷·,©5 ˜š©…ðy·z¶g©;©?°~©° ©?Ô©³ ·p©D ó©– ˆ© ××9 C·]n·+o·)‹·'Œ·y%·$"·F ·µ©Ÿð“¶·/”¶L+©X°—©?)©@&·Q%©¨ðœ+·;�¶Š#©a° ©H"©I ·�©³ ¥Æ'ôôV(Cþ·z‹·HŒ·F¨·D©·–B·A?·c=·;9µ©¼ð°Ó·L±¶iH©u°´©#F©$C·nB©Åð¹H·Xº¶§@©~°½©,?©-=·¬<©РÂãDsECýêEsø�‘©Ô Æ©½�©¿�©Á�i�‘©�‘©œ   �Ð÷�¶@%ceval$§Rà@C€ð©œ   �Ð÷ @#com#×Év@B€ š �Ð÷@!X#×5‰€©œ   �Ð÷@Ê#áóá@A€ੜ  D€°©œ   �Ð÷$@$bexp#â¬@D€ ©œ  B€�©ò©) š �Ð÷2@!Y#×5Š€©"þ©1 š �Ð÷:@Œ#×5‹€©)¤š �Ð÷?@+empty_state&^ýX€©š �Ð÷� $Maps@@(t_update¼€À !> © À #  ©œ  SB€Ð@ E© 8  * ©œ  ZE€ð;,$© ? %œ  &B€©Ð% -) F�‘·�!c› _€·�"stš �Ð÷m@%state$È™š€·�#st1·�#st2 ·�"E1©› }€°ÔzÕ·�"E2©°¦ÙÚ©š �Ð÷…@)ceval_ind<¸®Ä€8·&$·" ·!¶"¶©°ç� © (°'�ê·*(· )·©°œ  ‘A€ò ©·]¶@© 5°9¶@© 8°7ùù¶@© ;°:ÞÉ© ,°© Œ C© Ž @ © � Bª�Íб@ðAEGGGDHðAEGGGDH° @ @ @@ð @@ @ @ @ @ @@ @ @ @ @ @ @ @@ @ @ @ @ @ @ @@ @ @ @ @ @ @ @@ @ @ @ @@ @ @ @ @ @ @ @ @@D·{y·�!sw·x·@©k°ã > l¶@© °ƒ @R¶@© ‚°� Cж@© …°„1 uð·�#st0ˆ·µW·�© �°Œ O ·�"H1© ’°‘ù ©·¿a·‹© —°– %å©·Ä© ›°š >G© àœ+·(�¶© ¡°  ‘/© £°¢*4·!©·Ñ© ¨°§96© 'à©;·5ª© ­°¬ �4©ú ®[·±¯¶�©¢°† £:¶&© ¶°µ x© ¸°·~~·¥©ª°ŽgL·.© ¾°½LE© =ð¿·:À¶®©³°— ´Š© ưÅ·³©¸°œ$$©  Ê‘\ » �R ŒY �R » ¼ + » ¼P·EË· ²› "€· ½ ·F›  �Ð÷ù@"id @€·© Ú° ©š �Ð÷G@ Ø$£X¾€ô ¡·Ö© â°æ©G ¦¶·VK·�"H2© é°è©À * K ¬ y—©·ã© ï°ó©T   QÄ©·�©x ¶h© ø°÷†S¶© û°ú©#À <ŽK©X¶)© ° ?©&„�© °-¼ ó�©Qà ©k  «V·�!eÍÐn@Ð@BBCBÐ@BBCB°@Ð@ @ @@ @ @@ @ @ @@ @ @@D·!Z ÐÆ·@L·@Q›  �Ð÷ k@$TrueÙy’@€·@)·@*з@› p€·@œ   A€ À • ð  ï·�"c15·�"c28·®4·�#st'7·�$st'':·g©-° Ì ¥ ·5·²© B°F©œ  §C€ ·b© I°H ìÚ·�"H3© N°M Üß©·© R°V©¼&©·€ÿ©Ú ¶s© Z°Yè¶© ]°\ ¶‰©O°&çñ¶W© c°bEH S�©±àj©$÷_lÍ]O Yз@š·@Ÿ·@q·@rPHEDA ^Ð Ö 1 _ ý 0·éo·;p·�!bM·Fy·Dz·¢© y°¬©š �Ð÷æ@%beval$¥UÏ€Nž·v©q° é % ·õ© …°‰©Õ°  H îZ·£© а‰Ø·A©·ÿ© �°“©ß°ß ñ 4d©·¾=© ¶±© ˜°—Q¶O¶Å© œ°Ï©# d%½¶•©�°(Zg@ ‘�©ï਩ô°Rô ·ž«ÍœŽ ˜ÐS?…·@ƒ>�€} š<·$ª·v«·;†·²·}³·Û© ²°å9À·©©¤° w X C·(3·Ò/·n0©·,-©·çf©A ¶Ú)¶v*¶ì© ðö'Ѷº©µ°WŒe ¶%X·U ·AÇ·ÏÍ·õ© ̰ÿ©S  � 5Ü·Å© ѰÕ©œ  6E€ ?¨·HV·òB©·Ï© Û°ß© ¯©· ˆ©c ¶S© ã°â1j¶ÿ© æ°å’m¶© é° ©p y|ù© í°ì¦³ Ý�©;àô© @ •·ê÷ÍèÚ äП‹ÑÏ·@ωÌÉ æÉ·pö·Â÷·Àø·ˆÓ·ÿ·'© þ° 1©… ·öM·s©ò°©2 § ’· © ° ©6  — ÊÜ·À&·�"H4,©·*© °©@Äå©·?¾©™ ¶Í© °tC¶© °£F¶H© ° R©¦ Ú¨ @¶©°«Nݶ—©°©V ï„Sâ© +°*ÉÖ �©yà2©]I= à — ò  Ó ¾ ñ·20· e·  r·©c·`]·,5·#©(°©ž  ¢ É Þ +©·3¶@© @°D©¥   å¶@© E°D““¶@© H°G©pÀ ‰Ø ª˜ Ø© ;°© › R_© � Ož�Í ·YW·ÞS·ßT·@ܶ@© Y°] ©¾ ©é¶@© ^°] å¶@ß© a°`©‰À ¢)ôê Sð·Þd·\© h°l;y·Û© k°j -·‡Ü©·d© p°tC©·ä ©÷ ¶ç© w°v Ò¶“© z°y Ú&© |°{©¤À ½7Ù  n�©Ìà…T·y†Íwi sÐf`^[Z©é 2 v ·†· �»·÷ È·�"x0»·ƒµ·© �°”® ·¬·H«©·© –°š§©û ^©·�© œ°ÏêU©·”©  °Ï f©·˜© ¤°Óò]©·Á© ¨°×TÒ© 'àÙ‹·�!iܶ@© °°ã [¶Ì© ³°²l�V¶k© ·°¶©ßÀ øã ž¶°© ¼° û©â Ÿèw© À°¿©èÀ R�Wn·ß© ưùM¨©·~© Gàýh· ×þ¶ç© ΰÍø ¶…© ѰЩùÀ ´qŒµ¶Ê© Ö° ©ü ½ ?© Ú°Ù©À _ z·O,©·•© ^àà·lá¶™© å°ä© À & ×4’¶Þ© ê° )©  ®|Í© î°í©À /F €=·§© ó°ò©À 4%“®ש·ì© ù°ø©!À :‹H%¦©Hàü©%À >‚=à·Šÿ¶÷© ° B©) [ˆê© °©/À Hû™Œ Ë·ÿ© ° K©2 ‘žï©[ð©8À QhB÷· ¶©°©{ ¨n  © °©BÀ [Ÿr©DÀ ] ¡É· ©°©† S¦y©pð d©K }·– g¶©°©� °©UÀ n² © 1°0©YÀ r©‰%©[À t«‹ ÷·"©'°"*©`À y,Ê©‡à {©b )0· , ~© A°@©iÀ ‚¹™ 3©kÀ „»›©k ½2© – H©qÀ Š6ΡÛ-  ;˜ ²éé ; <, ; < ; <Ù ; < < ©š �Ð÷ ™@'f_equal=°¹€àW‚·KXÍI·\Z… FÐ¥·­‡· eŒ ·`^·a_é·ê5·ca·dbï·í8©Ä  Á ©Æ )� % S�©àj™·^kÍ\·omœ YÐ ·Àš· xŸ \·ûF·tr·usö·þIj©Õ Í+ bE·Dw·Bx·ît·@u·>v· n<·ë=·•© |°€:©á  Ù·5© �°€ $:·w6©·Ÿ© †°Š4%©· ~ 2©  ¶A© �°Œ o¶ƒ3¶ …1¶2© ’°‘©ºÀ ÓÒ?2y „�©âà›10m©ü Rz ‰+·™·eš·*u·n¡·l¢· •(· ·¼© £°§'·Z© ¦°¥ô_·œ©·Ä© «°¯J©· £ W©2 ¶f© ²°± 9”¶¨¶ ª¶'% ¥�©à¼Ž! ¨J·2¸·„¹·I”·�À·‹Á· ´·1 ·Û·w··:©·ß©· ¼ p©K ¶¶¿4¶ Á ¶>< ¼^·[¦·GÍ·ÕÓ· Æ·C© Ó°×z·ïx·‹@©·I© Ù°Ýþ]©· Ñ …©` ¶ù© à°ß . ¶—ý¶ Øû© ä°ã© À %ÈǬ Ö�©4àíù÷¿S Ù¼·c鷵귳ë·{Æ·ôò· åó·b=· 𷨩 ô°øí^·ê© ÷°ö £!·�"H5©·²© þ°íg©· ö ª©… ¶ø© °`°¶ì¶ ýê¶zæ¶$äK ù�©WàÞâ©q 8ó þß·à·Þ··Ü·Ú·�$E1_1Ú·�&IHE1_1¶¶© ° } « © ° ­ á·�$E1_2©° Ç å ‹·�&IHE1_2¶'¶©° y Î © -°, Ð ï·$-·© °ß  !©· ^¶@© 6°:Ðж@© 9°8 Ç Ƕ@© <°; Ê Ê© -°© � D©þ Ä© � B Ñ�Í·LJ·ÑF·ÒG·@϶@© L°P ©    ¶@© Q°P  ¶@Ò© T°S   Dð·ÏU· ‚© Y°],· P© \°[  í·ÏÍ©· Š© a°e4©· Y ©è ¶ \ç¶Ùï© i°h " ÷ Y�©·àp?ëB©* ˜ ' ^ó·èn· U£· ^ °· ç¡· ž›· j© v°z” ·éø·“‘©· p© |°€�©: `c©· « *© ¶õø¶Ÿ‹¶ °‡© ‡°† 2 @ w�©ÕàŽ„‚`©H  7n |_·�"c0“·�"c3–· ’·�$st'0•·�%st''0˜· Å^· ‘_·© ž°¢\©\ …�·¼© £°¢ F„·ZX©·© ¨°¬V©f  H U©· ש ®°² < L©· Û© ²°¶ 9ð©· ß© ¶°º æ©· ®© º°¾ € J© 9àÀ ?·ÃÁ¶@© À°Ä y C¶Ü© ð | F¶z© ưÅ Œ q¶ ò©¸° Šªó¶ À©»°®­ö© ΰÍÀ · Å©·ì© Pà× )·Úضð© ×°Ö -¶Ž© Ú°Ù “ x¶ ©̰¬Â¾¶ Ô©ϰ ¡ÅÁ© â°áÍ·þ"©·W© dàæÙ·rç¶Ÿ© ë°ê8¶ ©ݰ�` ±Ô¶ æ©á°Ôש ô°ó j „·«©·i© vàø7·„ù¶ &©ì°�aÍà¶ õ©ð° ¬ é°Ò †·v©õ° |ë·ü©ø°ë9©·}© ° Ü ¸© Œ( ­·Ú¶ý©°�d�b¶ö©° Ú¶¶¶© °�g�e¶û¶ ¶©° ²©&°% è©(°'÷·©°�c/ Ê· ©°|A·¶'0¶©#°�f"%©7°6 Ç ù·¶/8¶&©+° Ì,©>°=+©·5©B°A ¸© Á C · D¶&©7°�h Ÿ9¶%¶AJ¶8©=°�j :?©Q°P©S°R º?·4©E°9 Ù %·2¶NW¶E©J°�i NL©^°]J ©­ _cMP!"�©R  ÙuS Ù U N ¹�© W  ( GVW GVW�VW VWW ©àmm·anÍ_·rpp\Ð È·Ã�·{¢ (·vt·wu3·K·yw·zxž·N·|z /6©4 ¶Å:h�©-à·s€ÍqmÐ ·Ô®·Œ³ Û·‡…·ˆ†r·\·Šˆ·‹‰ K·_·�‹ â!©E Ö 'y·‰·÷Š·e·‘·þ’· º· †·©“°—õ·¯©–°• ä w·M©· ©›°Ÿ ó©· È G©" ¶»©¢°¡ ) @¶Y ¶ Ï ¶ ›©§°¦å Œ—�©õ஀#š<·$ª·«·;†·!²·³· Û· §þ·$!·Î·j,©·(©· ã b©= ¶Ö¶r&¶ èü¶ ´ú®P·M˜·9¿·ÇÅ· íø· ¹©ŰÉôy·8w·â2©· ¿©˰Ïð-©· ø w©R ¶B©Ò°Ñ  ·¶îï¶ ÿí©Ö°Õ ¸ œÆ�©$àÝéç¯]ɬ·SÙ·GÚ·EÛ·k¶·äâ· ã· Ö-·Sà·ý©ä°èÝh·›©ç°æ “ Ì·Ý©·©ì°ðÛe©·  ˜©s ¶§©ó°ò N@¶éÚ¶ ض ìÔ¶iÒ©ù°ø ‰ ¤é�©GàÎ Ò†ìÍ·þü·Èý·�Ø·Ñ·Ï· -‹·öƒ·�$IHE1¶ý¶ô©ù°˜ Xú© °  Zη ·ú©ÿ°©`°rµ  ¾©· ¶@©°ˆˆ¶@©° « «¶@å©° ¤«©°©n %}©p " ´â�Íà·,*·±&·²'·@¯¶@©,°0í©|° µ ¿ ¼¶@©1°0ò ê¶@²©4°3 ^ à$ð·¯5· -©9°= •·¬©<°;þ ÷X­©· 5©A°E©·µ í©È ¶¸©H°Gë r¶dÑ©K°J , Ù;�©™àR!Í$©ž° « × á@Õ·ÊP·7…·@’· Ƀ· K}·È©X°\v ·t·s©·Ω^°bo©®° Š  &©· X ©ç ¶€©g°f õ ¶o¶ _k©k°j¸ $[�©¹àrhfD©¾° Q š )`C·äu·âv·ìr·às·<t· l:·é;·“©z°~8©ʰ 5 B ×·3©°~" d·u4©·�©„°ˆ2©Ô° k g °©· ~ 2©  ¶A©�°Œ Ú¶ƒ3¶ …1¶2©’°‘ " w‚�©àà™/.k©å° y | x‡)·—·˜·�"b0u·¡·¢· •(· ·¼©£°§)·ZÔ·š©·©©°­%©· ¡©­°±  Ž©· ¥©±°µ ] “©· ©©µ°Ž F S©· ­©¹°’ @©·-©½°– û©<à˜ï·N™¶@©ðÇ ‰ó¶@¶{©ǰÆ © ²¶½©ʰÉ ¬¶ Á©Ͱ©T  m] î¶B©Á° ´ p©Ô°Óæ d·G©×°Û 2©·�©Xàß k·âà¶@©ß°ã ˜ o¶–©â°á � X¶Ø©å°ä �#¶ ܩ谩o 7 ` ¶]©ܰ{+:©ï°îò r·¦/©·ç©qàø w·ûù¶¬©ø°÷ – Ƕî©û°ú ™ +¶ ò©þ°1©… > ϶s©ò° Ò 3A©°ñ [·!&©·ý©‡à ·• ¶©° [ ž¶ ©°D©˜ Õ%2¶†©°(} F©°í · ©·#©šà  ·¨¶ ©!°T©¨ ø&B¶–©°)è©(°' ·1©+°^©² ?L·�"H6©!°D ˆ©   &$r$%�$% ^$% í$% ú$%% ©éà;·/<Í-·@>*Ð ·‘k·Ip º·Ì·EC·FD§·Ï½©‘° Ô Ñ ï©“° ã ð '¬5 ©úàLL·@MÍ>ß:Ð Ù·¡{·Y€ Ôà·Ü'ß·Ý(᩟° ß ý Ÿ©¡° þ 5 8C�©àZZ·N[ÍLíHÐ §·¯‰·gŽ é·ê5Üþ¸ÇLî·Ö\·Ê]·Å8·Ód·Ñe· X²·Õ°·÷•·[Þ©·ƒÁ©· `¿©· b½©· d»©· f¹©·ä·©ñàM ¤·N¶@µ¶@¶¶.³¶n±¶ p©|°¯¯жï©n° dÌ ­·ò«©·8Á©àˆ ·‹‰¶@©¶=§¶}¥¶ ©‹°¾£™¶þ©}° pÌÛ¡·EΩ·†´©à— ·š˜¶KŸ¶‹�¶ �©™°Ì›§¶ ©‹°] ÌÚ™·¸½©·”©©à ³·,¡¶˜—¶ š©¦°Ù•´¶©˜° x Ù“·Ÿ±©·´ ©+à­ 1·9®¶ ¦©²°å‘À¶%©¤°Ç¢w�·¾©¸°ë�Æ·‹©ª° Š� ©·Å©¿°òÞÍ©· ·¶@©İ÷ÒÒ©ưŨ <©·�Ø�ÍÐB�@�@° @@�@D· Ï·@©Ô°óĶ@©×° ™å©Ù°Ø¼ëÉ�· Ñ©· Ó ©·Q‰© d  Ñ�© /à·ÜÍÐ@ @@ @@°@ @@D·z+Ü Ï—ÃûÝÞ�© ;à#©w ßÞ·�&©õ°(å· Ä3åæBåæ åæ ®åæ »åææÁ°¢‡·\Ï·pö·þü· ï/·l©ü°+зη´i©·r©°'ˆ©· ú®© ‰ ¶"© ° W ë¶À&¶$© °  « Óý�© [à æ²ã·Š·~·Ú·zí·· ·‰d·3·Ï©°½·©° Ê ·'>©·ש#°'Ž©·Ï© ª ¶©*°) …h¶3¶"¶Ÿ ¶I ©0°/ † Û �© ~à7A â#·53·ÿ4·Ä·;·<·d‰·-‡·7¶2;¶)©.° �/5·6?·-3©/�Íÿ4ðõÕ·¿E·³F·®!·¼M·ºN·AÔ·¾Ì·h¬·~·DÇ©·lª©·I¨©·K¦©·M¤©·O¢©·Í ©Úà6 �ž·Ð‰©·Ÿ©ßàf ò‡·¢©·Zˆ©äàk ês·ƒˆ©·_t©éàk~b·bt©·wc©îàp ôT·zI·EC©·}©w°ª…–©·o¶@©|°¯››¸©m�˜�Ͷ· ´·@©„°·’t¶@©‡°ºI¦°w�·©·�©®�© ÚàÂ�·‡ÃÍ«¦� <th±‚ƒ�© ààÈ¥·$É©˜°Ëˆ·Z¦ gÖˆ‰åˆ‰ ˆ‰ Qˆ‰ ^ˆ‰‰dSE*·˜·™·t· · ¡·”î·ì·»ÿ·WÑ·—©·¿ý©·œû©·žù©· ÷©·¢õ©· ó©-à‰ à<·#Ü©·iò©2๠E1·lõ©·­Û©7ྠ='·ÖÛ©·²Ç©<à¾Ñ·µÇ©·Ê¶©Aàà G·Í·˜ ”¶·¶· ð¶· ¶· Œ¶··’�sXѶ·U ·ÉÇ·ÏÍ·õ·ÁÊ·¸©½°©ý ž�¿©·Ƕ@©Ô°Ø© ý¶@©ذ×{{¶@£©Û°Ú)i©̰©, ã©. à„ �Íž·êè·oä·på·@m¶@©ê°î«© z:¶@©ï°î°}¶@p©ò°ñyžâð·mó·ë©÷°ûÊ·j©ú°ù¼Z·k©·ó©ÿ° Ò©·s«© † ¶v½¶ �©°  b•÷�© Uà ݉à©9 �¸ü‘·† ·óA·üN·…?·9·„©° 2 ·0ηÌ/©·Š©° +©I~©·Ç© ¢ ¶;ȶ×(¶$©$° #  Ý�© rà +!ý©V  â „ü·û .·ù /·¥ +·÷ ,·õ -·%ó·¢ô·L©3° 7ñ©b  �Æ·ìÁ·,ë©·T©;° ?é©j  g©·5é© Ä ¶ø©D° CÒ %¶:ê¶<è¶¹é©I° H ç .9�© —à Pæå"©{  />à·È N· O··*·# V·! W·JÝ·ÇÕ·q©X° \Ó%·©[° Z© ¶·QÔ©·y©`° dÑ%©·X © ç ¶©g° fî H¶]Ò¶_϶ÜË#Z�© ¸à qÉÇC!]ÿ·ç m·9 n·ÖI·B u·@ v·i÷æÁ·�·,·lï©·”©·q%©  ¶4¶té¶v¿¶ó½:q·è[·ü ‚·÷ ˆ·{»·ø©ˆ° Œ·ž·¤œ·@õ©·þ©ް ’³[©·†©’° –5©·Š©–°oBO©·Ž©š°s( Ä©··©ž°w/ ©ày …·/z¶@©¤° ¨5 …¶À©§° ¦ ‰¶^©ª° ©p ‹¶¡©­°à©4 hp ½©±° °þ “·Í©´° ¸B Þ©·l©5à ¼ �· ¿ ½¶Õö¶q©½° ¼v ¢¶´©À°ó©G  ì Щİ Ão· 7 ©·}©Fà Èg· T ɶ�©Ͱ ̽ ¯¶Ä©а©W ”  à©Ô° Ó r·‹Ž©·Ì(©Và Ø„· d Ù¶Ñ©ݰ©d Ïo í©á° à£.·שä°©k ‘  ô© 3$ ç Í· ê è¶©ì°©s Þq ü¶ Û© à°©  Iƒµ1¶ª©ö° õ] &©ø° ÷ˆˆ·$©û°.©‚  â� · ê© ï°©/ … 2 äO·¹ ©‚   5·  ¶2© °<©� û ö ¶ ø© ý°©= †Ò“©° hh·>©°H©œ  G  %· © °©I r¬¬©k  ¡¼…à N¬kÉ…\×¥¥ ©Óà %ú·  &Í êвٷ·³þ· , * ·µ ·©V Õ‰ë�©Þà 0 0· $ 1Í "ÃÐ�·… _·= dÝ· 8 6· 9 7ß·Â Û·Ã ´E% · ¯ 5·  6·ÿ 7·Ÿ ·­ >·1?· ®‰· X<·ô©@° D9&·6©C° Bï ·Lc©·ü©H° L7ü©·@©L° Pš v©·D©P° )Þ2©·H©T° -åÿ©· È©X° 1ßö©×à 3§·é 4¶@©^° b¹ü¶T©a° `FŸ¶j©d° cE¶[©g°š©î *ˆ¶ Ü© [°M ¶ ˆ© ^°©ž V©s° re· æ©v° zý!©· “©÷à ~Ç· � ¶q©~° }` ®¶‡©�° €fζx©„°·©  $Ü¥¶ ù© x°JÖ'¶ ¥© {°©» yÛ,©�° �{·†2©· ®©à ”%·  •¶Ÿ©™° ˜{×¶�©œ°Ï© # `�½¶ © �°÷î¶ ½© “°–âñ©¦° ¥ü·¯(©· Ä©(à ª Û· 6 «¶£©¯°â© 6 £œж $© £°¦Ÿò¶ Щ ¦°©æ ˆ¤ é ©»° ºŠ­· ש¾°ñ© E ²ß· w© ²°µ·–© µ°¸I©· ãS©·À¶@Q©Ͱ Ì߸Q�ͷη@O¶@M©Ô° ÓÀ£Ä�·Ìa©·Îc©· L„© _  ÌPÍ�© *à© f W°LH ïÓŒÑÒŒÑÒ§ÑÒ<ÑÒÒ ©–à è ½· Ü éÍ Ú­ÖÐxiÂeÁ© Q©  ÌˬÚ�©Ÿà ñ ñ· å òÍ ã„ßМ·F ·þ %ƒ–†¾Ä© ! ÙäÅ· ö ô· À õ· ¾ ö· † Ñ· ÿ ý·%þ·ç H·åÁ·Ý© î°ø_¢·Û¶ ÷ ¶ î© ó°© 3ß±õ©° ³É· þ · õ© ú°úœû©·¶@©° ââ¶@©° nn¶@ Þ©° q¤©°©g  3©i  w Û�Í Ù· % #· ª · « ·@ ¨¶@©%° )æ© T ‚®¶@©*° )ë ¶@ «©-° ,Ùð· ¨ .·&©2° 6 K· ¥©5° 4÷û· Q ¦©·.©:° > ©· ®æ© Á ¶ ±¶ [È©B° A'Ð2�© �à I Ä  5 Ê· ¿ E·, z·5‡·¾ x·@ r· ½©M° Q k &· iÑ·  h©· éS° W d© ‚—©·L© Û ¶ tζ  a¶Q ]©]° \›M�© «à d Z X 6© �ÂQ 4· 3 f· 1 g· Ý c·Ñ d·Ï e·] +· Ú ,· „©k° o )© šÿ· #©o° n· e $©· �©t° x "© £ø©·m!© ü ¶ 0©|° {  ¬¶ r "¶t ¶ ñ !©�° €fq�© Ïà ˆ   Z© ³úu · ÿ …·ó †·î a· Z �· X Ž·� · þ · ¨©�° “ $· F©’° ‘à=· ˆ ©· °©—° › #©·�C© ¶ R©ž° �% ζ ” ¶– ¶  "‘�© ïà ¨  þ z ” 6·  ¤· ¥·  €· y ¬· w ­·  ú·  ø· Ç· c· £ &©· Ë©·¨\©7 ¶ k¶ « ¶­ ö¶ * ô9¨ J· ’· 3 ¹·. ¿·² ò· /©¿° à  Û˜· w ,©· 5©Ű É êZ©·½©ɰ Íló©·Á©Ͱ ¦y²©·Å�©· ì©Pà ¬q· b ­¶@©×° Ûhu¶ ó©Ú° Ù5]¶ ‘3¶Ò1©Þ° Ý4À· ú©á° åoŒ©· ™©bà é 2· ì ê¶ ©é° è¯?¶  /¶á©í° © t r ý©ñ° ð㜷 d©· ª ©sà õè· � ö¶ ®-¶ï©û°.© ‚ ¿S ©ÿ° þê�· ¶©° ôç©· ù©° ñè©…à ³· “ ¶© °?© “ þ ©° † ]· ©°F© š Àk #© b, ü·  ¶D©°N:¶© ° à0¶¶  ¶ © °òä©%° $úç¶ © °© W <ù뺶 á©-° ,»°©/° .…·[©2°e© ¹ &S·!© &°)·!¶ / 8¶ &© +°²Ú,à· )© .°© n ·ßq· ø6©Á( CÇ· ¾ D¶q©H°{© Ï :6i¶7© <°9/¶7¶ E N¶ <© A°?B©T° S ¶ A© F°© † ;FÏ©[° Z>*·‡©^°‘© å ãc·M© R°f¹P·M¶ [ d¶ R© W°=SX©j° iM,· W© \°© œ \DZZ©· f´©·i¶@²©v° u.ˆ°�Í®·w¬·@¨¶@¦©}° |/im�·u©·wÄ©· õ-©  u¤v�© Ó໩  l˜©K ÈzKñLY º5ñz{Cz{z{z{{ © ?à ‘ flf-O}�© Bà ” ”d  =€ c·  �·þ ‘·ü ’·ú m· ™·Œ š·  ä· ³ —· O©›° Ÿ ”H· ‘©ž° �J<·§ ¾©· W©£° § ’©·›©§° «õR©·Ÿ©«° „9 ø©·£©¯° ˆ@ í©· #©³° Œ:ã©2à ŽE· D �¶@©¹° ½I¶ ¯©¼° »¡2¶Å[¶´Y¶ 1U¶ ÛS©° ÁÅR· 5©Ű ÉLõ©· â©Fà ÍL· Ð ζ À©Ͱ ̯œ¶ÖO¶Å©Ѱ© X qIò¶ FM¶ ð© ư©  ëg &w©Û° ÚÇ^· Ñ"©· ù©]à ßò· k à¶êK¶Ù©å°© l ©¶¶ Z© Ù°¹Q 7¶ © ܰ©  ò - <·øq©· [©qà ó$·  ô¶ì©ø°+©  Ï ¶ m© ì°ê ;¶ © ï°© / î2i©° ñö· ©°:© Ž õØ(· À© û°Ûá Y·ß© þ°" M’©·�#EQ1©° E©b  ù·„ ¶ Ï© °ðþ ¶î© °Çà”Å· Õ© ° í·ô© °·ð©ô œ¶�è�©ž YëÔÔï„ © Þà 0 HE© [¥ï�© âà 4 4C © _ˆ! Ô¿òó˜!�‘· 5¶ª dt·#u·  6·�"HX©<°{©¤ {ÿ·�%Heval© 1°š �Ð÷ ®@%plus2$Áçý€ ©·t¶@©L° P  ¶@w¶@©P° OÞÞ©R°‘©ö ‘©Ä µ„©F°©¦  ]z �Í · b `· ç \· è ]·@ å¶@©b° f# ¶@v¶@©f° e'©h°§©÷ §©Ú üš[ð· æ l·™©p° t C.·gy· ä©t° sÛ©·¡©·n"©ý ¶q 4¶ î©~° }Þ ©€°¿© ¿©ò  ²s�©Ñà Š Y  \Dv ·  †·m »·÷È·ÿ ¹·¶ ³·‚©ް ’ ¬L·  H· «©’° ‘ © ©·Š©–° š §T©·éš° Í詜   ñC€  á ö©·Ì©£° Ò ÿ©·Щ§° Öõ©· ©«° ÚW©*à Ü ·  ݶ@©±° ä ¶ $©´° ³m_¶ Щ·° ¶ ™¶ã þ©º°ù©Y ù©,  ì· 0©À° óG&©· Ý©Aà ÷*·Ñ ø¶ 8©Ȱ Çòf¶ ä©˰ Ê© óÀ ®)†x¶ù ú©а© ©B  ·Ê"©· ñ©Uà × %· c ض õ©ܰ Û©ÀÎ:|¶ ©á° ©  ¥IÄ©å°$© $$©W · ©ë° ê©À, :I¦˜©· ¥©ñ° ð©À2 1O‘©@à ô©À6'SØ· ‚ ÷¶$©û°:© ! �câ©ÿ°>©Â>©q ’1· ¹©°D© + 7mè©Tð©1ÀJ›gð· Ö ¶Ï© þ°Í’ÿ©°P©9ÐRio¾o©„ ˜D·Ø©°Ö¨©eðY© @ Ÿ‚·‹\¶à©°Þv©HÀax~©$°c©LÐe‚è‚©— ~W·ë©°é®©SÀl°‰©zàn©†n·p©3°r©[Ðt'‘© [ )�“©¨ )hµ©š �Ð÷b@+t_update_eq318Ó€À€—�©² rC©E°„©mІ�£© m Ÿ¯¥Ìy+ 9 ‡°ç –9:*9:9:×9:: © þàP { ù í <�© àS ‚ é I ? "· !T· U· ËQ· ¿R· S·€ ·L · É©Y°] · u å· ©]°\ëä©· Ñ©a°e ©·Ž ©è ¶ �$¶  r¶“ ¶_ ©k°ª©Nª©Ý �^�©¼àu   G/a · ëq· ßr·  M· Fy· Dz·¢ ·n ø· ë©{° ö9· —#· 3 œ©· ñ©�°… ò?©·®-© ¶ ¡!¶ = m¶³ î¶ ê y�©×à� è æ bJ| ·Œ· ú�·  h· a”· _•·½ â·‰ à·· °<· L µ©· ©·ÅD© ¶ ¸8¶ T „¶Ê Þ¶– Ü7� 2· / z·¡·©§·Ï Ú·›©§°« Öe·»· Ä©«°ª9W©·£©¯°³ Ôm©·Ü[©6 ¶&©¶°µ|¶ Ò©¹°¸e¶å Ó©¼°û©vû©. éî¯�© àÆ Ò Ð ˜€² •·<· 0÷ ŒÄ· T Ÿ·ÍË·ó Ì·¿ ·< É· æ©ͰÑ Æ‹· „�· Äv©· ì©Ó°× ‘©·©Z ¶ Ž©Ú°Ù5¿¶ Ðv¶ ¿¶Ó »¶P ¹&Î�©,àå ³ ï ·ŸÑ ²=õ3·)¾h«åm\+/Eæ