"` ²„•¦¾ –° +Cauchy_prod %Reals #Coq@( )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@ %Tauto $Init #Coq@ 'Prelude $Init #Coq@°  )Notations $Init #Coq@0&v!D]â¼hÑwƒ•nv   %Logic $Init #Coq@0Ï\ƒÍ‰¬!ÆôIgÔ  )Datatypes $Init #Coq@0.iÜ ¼bãYN —Zû  *Logic_Type $Init #Coq@0Í «¬1¡ÊöÝë©jc6  &Specif $Init #Coq@0ƒ¢;Rî–WMi\N›©  'Decimal $Init #Coq@0C´æ¶³çö¬ˆN€*ua  #Nat $Init #Coq@0î‰Ãeʤµ®Ä£P£óSRè  %Peano $Init #Coq@0± jé¥ùêh¯ž¾aõ|Ø  "Wf $Init #Coq@0qÊæ†+‚W,JÆÀÓå+“  'Tactics $Init #Coq@0„/æé9mÊ+ ¨œúa  %Tauto $Init #Coq@0é‹ÎÌ‚¶×"&þæ/é”r k0JŸÀqƒTttú‚ÚÖ±  'BinNums 'Numbers #Coq@0dmk(Ö5¿³Juôõ€<  *EqdepFacts %Logic #Coq@0FI$áͼÕ‹¥½¡`  )Eqdep_dec %Logic #Coq@0u ëÏwWIϰ—ß¼  &Basics 'Program #Coq@0!bŒs߯…?Á÷ :žVU  $Init 'Classes #Coq@0ñ]Þ(áÅpù¾˜{yOh.  'Tactics 'Program #Coq@03<¸r°å“ü’v Á‚¥T  4Relation_Definitions )Relations #Coq@0]§4©Ð€êådõ{nœ^ÿ  /RelationClasses 'Classes #Coq@0Gâzº² ¥©éãrêAº6Õ  )Morphisms 'Classes #Coq@0IÏmÓ½%\$PD¸ƒŠ  0CRelationClasses 'Classes #Coq@0˜TL;0RªUfw1  *CMorphisms 'Classes #Coq@0ôqþ€ËÛŒ­óZ‚×BeÏ  .Morphisms_Prop 'Classes #Coq@0% Å:B'‚.>Ñu‚Ã%  +Equivalence 'Classes #Coq@0ÌÇîˆ7ÁƒŸÞ;ꮹº  -SetoidTactics 'Classes #Coq@0S„ÕÖ_㽯`ùnOUÚ$  &Setoid 'Setoids #Coq@0D9µAs…˜WüEî!>ñ  $Bool  #Coq@0úÚj­ è2c·Z`FËùW  *Equalities *Structures #Coq@0ÏŒe·³¿ì–Ÿý)ÅH‰.È  2Relation_Operators )Relations #Coq@0%ÍÄÜs鯰ø¨sáî  4Operators_Properties )Relations #Coq@0UÕ3y#hã&íî  )Relations  #Coq@0Œ<•bO 9xò\ýì  &Orders *Structures #Coq@0$Znªl0–\òÍ—À  )OrdersTac *Structures #Coq@0Ó5'4Ô–+÷èó9èçÃ%  +OrdersFacts *Structures #Coq@05MÜ¿èçζöΖLB  -GenericMinMax *Structures #Coq@0áÅÁ‡¯ÔmßaÌŠj$Š  *NumPrelude 'Numbers #Coq@0Á5WUVŦö]ÅxVXÝáÔ  (NZAxioms &NatInt 'Numbers #Coq@0¾ë]ÁÔì Ï‹—5r  &NZBase &NatInt 'Numbers #Coq@0—é^²&Œ²§8¿yÃU•L  %NZAdd &NatInt 'Numbers #Coq@00¢æñh—`àïîŸZK€4  %NZMul &NatInt 'Numbers #Coq@0œctΧR~¸6ˆ©µ[È  )Decidable %Logic #Coq@0áND‰ê±¸í’¬/•Oñß  'NZOrder &NatInt 'Numbers #Coq@0 qò;VeÎû7R Wº,  *NZAddOrder &NatInt 'Numbers #Coq@0õáeø¯~1>¢ àšørÖç  *NZMulOrder &NatInt 'Numbers #Coq@0}\^ !Ü"kŽ}¦@€R§  (NZParity &NatInt 'Numbers #Coq@0HÀ>ÜÃc‚ôa‡ñ'^^  %NZPow &NatInt 'Numbers #Coq@0¡)Âý6*9 B:v…—È»  &NZSqrt &NatInt 'Numbers #Coq@0` Áàù.óê%©¥¥‰m  %NZLog &NatInt 'Numbers #Coq@0ꔉ’¤ ° Ùá .uVú  %NZDiv &NatInt 'Numbers #Coq@0é$ |§J?ÛÐÁd¤ (w  %NZGcd &NatInt 'Numbers #Coq@0Kg“ÁíÈTË7ù|  &NZBits &NatInt 'Numbers #Coq@0èöM”¯l¾íIÙÙpKt  'NAxioms (Abstract 'Natural 'Numbers #Coq@0ZØ®bÞ÷1ZÏ3üuuÑ  ,NZProperties &NatInt 'Numbers #Coq@0Š1‘D%ªE`Ô|3xŸ  %NBase (Abstract 'Natural 'Numbers #Coq@0þ ¢Y?“¸V° »—vI  $NAdd (Abstract 'Natural 'Numbers #Coq@0ô5;ZÝW:㥜un$  &NOrder (Abstract 'Natural 'Numbers #Coq@0Æ]@7ެ´†U#o›Y  )NAddOrder (Abstract 'Natural 'Numbers #Coq@02'Ð8ózn7íHÐêfÉ  )NMulOrder (Abstract 'Natural 'Numbers #Coq@0Þ4ù> Aa»ýt/° j   $NSub (Abstract 'Natural 'Numbers #Coq@0îñô×Ú:Dô’fJá  'NMaxMin (Abstract 'Natural 'Numbers #Coq@0»]vÕ|Qg’ÌŸ­Ê  'NParity (Abstract 'Natural 'Numbers #Coq@0Ì—S”ºKz*!¡°&4h  $NPow (Abstract 'Natural 'Numbers #Coq@0Ò†m”‹½Ÿ¨uš¸€lf   %NSqrt (Abstract 'Natural 'Numbers #Coq@0û<Ÿôó…×g¶üÉe  $NLog (Abstract 'Natural 'Numbers #Coq@0KÁð´´ðµI‰“ž  'BinList +setoid_ring #Coq@0žAƒƒÚØu“š¹®Îì  ,Ring_polynom +setoid_ring #Coq@0ga³ßKíw9ÿè`ÖUW£  +ListTactics %Lists #Coq@0½â,J­»€Ýcšy{žô  +InitialRing +setoid_ring #Coq@0·ÛkÛ/T=cþNü­½ö‚  (Ring_tac +setoid_ring #Coq@0Âx°á2]%76£òˆ2f  )Ring_base +setoid_ring #Coq@0fƒbU‹Ð(2cNæe›  $Ring +setoid_ring #Coq@0ù¨î·¤ªÛîM¹øæ±sᬠ )ArithRing +setoid_ring #Coq@0ÏPÌŒCgt‘Ä?µ}  %Arith  #Coq@0I‰|кåX…*oŒð4Àƒ  #Max %Arith #Coq@04=Êù;Œ3$>´¥a«Uå  #Min %Arith #Coq@0Cé×e¬ˆ-Fѕ栠(PreOmega %omega #Coq@0²\¨ï|Ú†Bb½~wÝ4™  %Omega %omega #Coq@0tÈ.J'6\Ϩ¸ÆrK  (Zpow_def &ZArith #Coq@0f蓜DÀXËýù;ФV¡  *ZArithRing +setoid_ring #Coq@0­{ü³#¦'[{nm™!Ž/  ,Zcomplements &ZArith #Coq@0Åêì<¹n. ¸ç´?  &Zpower &ZArith #Coq@0+ÐlóTvŽ1 Åq…¯Æ  ,Field_theory +setoid_ring #Coq@0BÆ~uƒâYÙ®÷¤Œ•²Ù  )Field_tac +setoid_ring #Coq@0Öd vDZl^Û¹¥H„  %Field +setoid_ring #Coq@0¼J‘ª _ªýàÓÃÈ«þ  )RealField +setoid_ring #Coq@0Òß òÐõ>âʾî‚q¡   %RIneq %Reals #Coq@0ÎJUÚ»ù¹šëIu)–$w  &DiscrR %Reals #Coq@0úŸØà‚™z4žá1©pV.  %Rbase %Reals #Coq@0°J‚Ü¡­Ÿ\ c6®{  %R_Ifp %Reals #Coq@0c€4+—Z¬ô“âÅ  ,Fourier_util 'fourier #Coq@0ϳÆ>É 4`*¬r™0™  'Fourier 'fourier #Coq@0w·µÅóðV¯9ÅTû‚N  *Rbasic_fun %Reals #Coq@0ùhÜ’iclðE>¥¾  %R_sqr %Reals #Coq@0XàŒì%ƒM‡Ô¹Æ%®ñM÷  +SplitAbsolu %Reals #Coq@0M)ú&Í÷qYlݹ5  *SplitRmult %Reals #Coq@0sD\r™àß«¨tµÚ/  $Even %Arith #Coq@0æôYšO%²q}dˆß«%  $Div2 %Arith #Coq@0¤n *ÓÃhtÖ!ñ,†  )ArithProp %Reals #Coq@0BÛ+L?>*e˃¼€aý j  *Rfunctions %Reals #Coq@0±d›˜¹öd‹ª@  'Compare %Arith #Coq@0íîð‰OM v¾ë¨£5L:  'Rseries %Reals #Coq@08þÂ]½$uº¨“+œ?  'SeqProp %Reals #Coq@0LtÖ2|9D }ÁS€SÔ»  )Rcomplete %Reals #Coq@0{”ªÚ¸4Ÿ¥Ìqè›ô   'PartSum %Reals #Coq@0Äj&2¾üÈ"‘Ú(¿>àS½c$Áv™"éòÕÀÜf?tT„•¦¾Szg6\2 Ð +Cauchy_prod %Reals #Coq@ðA  +sum_N_predN @’°@@¶"An¶@›  Ð÷ )Datatypes $Init #Coq@@#natò@€š Ð÷ ,Rdefinitions %Reals #Coq@@!RÁÓ€¶!N› €¶@©š Ð÷ %Peano $Init #Coq@@"lt Uxc€ œ   Ð÷ )Datatypes $Init H@@#natò@A€A©›  Ð÷ %Logic $Init #Coq@@"eqÐ @€°š Ð÷ ,Rdefinitions %Reals #Coq@@!RÁÓ€©š Ð÷ *Rfunctions %Reals #Coq@@(sum_f_R0Yc€ CB©š Ð÷ ,Rdefinitions %Reals #Coq@@%Rplusµ+1€ ©š € ©š Ð÷ #Nat $Init #Coq@@$pred ¯`<€!©##@ @@@@°AAÀ@ÐÐ@ÉÎ>Ð@Ð÷ ,Field_theory +setoid_ring #Coq@@&FEevalÉÎ>@@A@A"sü Ð@Ð÷ ,Ring_polynom +setoid_ring #Coq@@&PEeval"sü @@A@B A@ A@  (sum_plus @’°@ÂA¶²¶@› ±€š ¦€¶"Bn¶@› ¹€š ®€¶¤› ¿€©› †€°{©š o€ ·!l› Ì€©š h€ ©DA©CAA©š u€ ©š ‰€ CA©š € BA@ @@@@c  -cauchy_finite @’°@ B¶ù¶@› ø€š 퀶G¶@› ÿ€š ô€¶ê› €¶@©š 造œ  ßA€A©› Õ€°š Ð÷ ­ ¬ «@@ÁÓ€©š Ð÷¶@%Rmult´æ×€ ©š Í€ Déš Ò€ ÈÇ©š Æ€ ©š Ú€ ·!k› 7€©š 〠·!p› @€©š &€ ©FA©E©š Ð÷Õ@#sub £ª€ ï  署 þ€ ·$› Z€©š € ·—› b€©š H€ ©"©œ  lB€©š Ð÷÷@#add £`€ -©,©š +€ U3©š €©š 3€  ;©š  €#@ @@@@@@ Ð@ Ó³2À@  Ó³2 [ )Datatypes $Init #Coq@@AÐ@ Ô³qÀ@  Ô³q \ @A@ABÀÀ@° à‹c A   ÿ@A .0T Q +Ring_theory +setoid_ring #Coq@@A° àŒ¢ BA .U>[ J @B @ÐÐÐÐÐÐÐÐ@"OçÐ@Ð÷¢ (PeanoNat %Arith #Coq@#Nat@&of_int"Oç‘Ð÷ #Nat $Init #Coq@@ Ú6ž@A@A\¼Ð@Ð÷¢ &BinInt &ZArith #Coq@!Z@'quotrem\¼‘Ð÷¢ )BinIntDef &ZArith #Coq@!Z@ / Å@AÐÐ@›\Ð@Ð÷@+pred_double›\‘Ð÷@/S@¿@A@A¾s2Ð@Ð÷3@&shiftl¾s2‘Ð÷*@vYé@A@BC¾s8Ð@Ð÷8@&shiftr¾s8‘Ð÷/@vYï@AÐ@Ñ“Ð@Ð÷>@&squareÑ“‘Ð÷5@‰yÌ@AÐ@ñÏÐ@Ð÷D@&to_intñÏ‘Ð÷;@©†@AÐ@ûêzÐ@Ð÷5@&doubleûêz‘Ð÷,@/³Ï!@A@ABCD/­Ð@Ð÷O@)log2_iter/­‘Ð÷F@çwd@AÐÐÐ@NH/Ð@Ð÷B@&moduloNH/‘Ð÷9@1,Ö@A@A‡\dÐ@Ð÷G@&of_int‡\d‘Ð÷>@1?A @AÐ@‡bzÐ@Ð÷M@&of_nat‡bz‘Ð÷D@1?G!@AÐ@#¯Ð@Ð÷S@&shiftl#¯‘Ð÷J@1ÛdV@AÐ@#µÐ@Ð÷Y@&shiftr#µ‘Ð÷P@1Ûd\@A@ABCD/xîÐ@Ð÷¢ &BinPos &PArith #Coq@#Pos@)pred_mask/xî‘Ð÷¢ )BinPosDef &PArith #Coq@#Pos@ )XÊë@AÐÐÐ@6Ÿ’Ð@Ð÷x@&square6Ÿ’‘Ð÷o@1î„9@A@AV+LÐ@Ð÷}@&to_intV+L‘Ð÷t@2ó@AÐ@V1bÐ@Ð÷ƒ@&to_natV1b‘Ð÷z@2 @AÐ@V5=Ð@Ð÷‰@&to_posV5=‘Ð÷€@2ä@A@ABCl»ƒÐ@Ð÷£@)sqrt_iterl»ƒ‘Ð÷š@!$¢:@AÐ@…@Ð@Ð÷6@(sub_mask…@‘Ð÷-@)®’@A@ADEF  cÐ@Ð÷®@'testbit  c‘Ð÷¥@!ć@AÐÐÐÐ@7 BÐ@Ð÷D@'of_uint7 B‘Ð÷;@*`]?@A@AÖóGÐ@Ð÷I@)mask_rectÖóG‘Ð÷@@+ED@AÐ@F˱Ð@Ð÷O@)add_carryF˱‘Ð÷F@+p®@A@AB^Ò¶Ð@Ð÷Ç@'to_uint^Ò¶‘Ð÷¾@#¹m@AÐÐ@gL7Ð@Ð÷¹@'sqrtremgL7‘Ð÷°@40Þ@A@Aq¬àÐ@Ð÷¾@'testbitq¬à‘Ð÷µ@5)‘‡@AÐÐ@ÝŽOÐ@Ð÷Å@+succ_doubleÝŽO‘Ð÷¼@6•rö@A@A ÙpÐ@Ð÷l@0double_pred_mask Ùp‘Ð÷c@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 í#‘Ð÷!@3n@AÐ@ ôTÐ@Ð÷0@#leb ôT‘Ð÷'@3”Ÿ@A@ACEG õ"Ð@Ð÷5@#lor õ"‘Ð÷,@3•m@AÐÐÐÐÐ@ õqÐ@Ð÷?@#ltb õq‘Ð÷6@3•¼@A@A õ‡Ð@Ð÷D@#max õ‡‘Ð÷;@3•Ò@AÐ@ öÐ@Ð÷J@#min ö‘Ð÷A@3–`@A@AB ö÷Ð@Ð÷O@#mul ö÷‘Ð÷F@3—B@AÐ@ ø~Ð@Ð÷U@#odd ø~‘Ð÷L@3˜É@A@AC ù=Ð@Ð÷Z@#one ù=‘Ð÷Q@3™ˆ@AÐÐÐ@ úËÐ@Ð÷b@#pow úË‘Ð÷Y@3›@A@A ÿcÐ@Ð÷g@#sub ÿc‘Ð÷^@3Ÿ®@AÐ@ ÿÐ@Ð÷m@#two ÿ‘Ð÷d@3¡J@A@AB hxÐ@Ð÷r@$div2 hx‘Ð÷i@>Ã@AÐ@ ”‘Ð@Ð÷x@$even ”‘‘Ð÷o@>4Ü@A@ACD ´ÐÐ@Ð÷}@$ggcd ´Ð‘Ð÷t@>U@AÐÐÐÐ@ üïÐ@Ð÷†@$iter üï‘Ð÷}@>:@A@A 3"Ð@Ð÷‹@$land 3"‘Ð÷‚@>Óm@AÐ@ F)Ð@Ð÷‘@$log2 F)‘Ð÷ˆ@>æt@A@AB S²Ð@Ð÷–@$lxor S²‘Ð÷@>óý@AÐ@ µœÐ@Ð÷œ@$pred µœ‘Ð÷“@?Uç@A@AC úÜÐ@Ð÷¡@$size úÜ‘Ð÷˜@?›'@AÐÐÐ@ !›Ð@Ð÷©@$sqrt !›‘Ð÷ @?¥æ@A@A ! Ð@Ð÷®@$succ ! ‘Ð÷¥@?ª\@AÐÐ@ !°7Ð@Ð÷µ@$zero !°7‘Ð÷¬@@P‚@AÐ@ ö*¨Ð@Ð÷»@%ldiff ö*¨‘Ð÷²@Êó@A@AB gã_Ð@Ð÷1@+pred_double gã_‘Ð÷(@2‘5\@A@CD ¼§mÐ@Ð÷6@÷ ¼§m‘Ð÷-@2åùj@AÐÐ@Sã«Ð@Ð÷=@&of_intSã«‘Ð÷4@4}5¨@A@ASéÁÐ@Ð÷B@&of_natSéÁ‘Ð÷9@4};¾@A@BEFGH\R´Ð@Ð÷G@(mask_ind\R´‘Ð÷>@4…¤±@AÐÐÐÐÐ@\^¹Ð@Ð÷Q@(mask_rec\^¹‘Ð÷H@4…°¶@A@A’!,Ð@Ð÷V@&pred_N’!,‘Ð÷M@4»s)@A@BðöÐ@Ð÷[@&shiftlðö‘Ð÷R@5Xó@AÐÐ@ðüÐ@Ð÷b@&shiftrðü‘Ð÷Y@5Xù@A@A&ÙÐ@Ð÷g@&square&Ù‘Ð÷^@5,xÖ@A@BC"²“Ð@Ð÷l@&to_int"²“‘Ð÷c@5L@AÐÐÐ@"¸©Ð@Ð÷t@&to_nat"¸©‘Ð÷k@5L ¦@A@AnTqÐ@Ð÷y@+testbit_natnTq‘Ð÷p@6—¦n@AÐÐ@©B¦Ð@Ð÷@(succ_pos©B¦‘Ð÷@Çâñ@AÐ@¶ËIÐ@Ð÷ä@'abs_nat¶ËI‘Ð÷Û@?n¯ð@A@AB.³•Ð@Ð÷@'of_uint.³•‘Ð÷@MSà@AÐ@3Ó~Ð@Ð÷‘@'sqrtrem3Ó~‘Ð÷ˆ@7]%{@A@ACD,íÐ@Ð÷ @'bitwise,í‘Ð÷@/äv¤@AÐÐ@>4'Ð@Ð÷@'testbit>4'‘Ð÷”@8g†$@A@A„{UÐ@Ð÷¢@,sqrtrem_step„{U‘Ð÷™@8­ÍR@AÐÐÐ@šu^Ð@Ð÷9@(div_euclšu^‘Ð÷0@ ¹©@A@AfzÐ@Ð÷¯@'to_uintfz‘Ð÷¦@9¹¸w@A@BÎlÐ@Ð÷'@'compareÎl‘Ð÷@3†RÐ@A@CDEFs¦8Ð@Ð÷,@+of_uint_accs¦8‘Ð÷#@5+Œï@AÐÐÐÐÐ@öÀ}Ð@Ð÷R@,pos_div_euclöÀ}‘Ð÷I@&`È@AÐÐ@3x–Ð@Ð÷(@'compare3x–‘Ð÷@ë]=@A@AÀÐ@Ð÷^@&doubleÀ‘Ð÷U@'Þº_@A@BCûqðÐ@Ð÷Ô@+of_succ_natûqð‘Ð÷Ë@$Ãí@AÐ@wÉÐ@Ð÷i@&modulowÉ‘Ð÷`@)1@A@ADK‹þÐ@Ð÷n@&of_intK‹þ‘Ð÷e@)j,I@AÐÐÐ@K’Ð@Ð÷v@&of_natK’‘Ð÷m@)j2_@A@Aç¯IÐ@Ð÷{@&shiftlç¯I‘Ð÷r@*O”@AÐ@ç¯OÐ@Ð÷@&shiftrç¯O‘Ð÷x@*Oš@A@ABúÏ,Ð@Ð÷†@&squareúÏ,‘Ð÷}@*ow@AÐ@ZæÐ@Ð÷Œ@&to_intZæ‘Ð÷ƒ@*8û1@A@ACE`üÐ@Ð÷‘@&to_nat`ü‘Ð÷ˆ@*9G@AÐÐÐ@eüÄÐ@Ð÷™@+testbit_nateüÄ‘Ð÷@+„@A@A+{ÑÐ@Ð÷ž@'sqrtrem+{Ñ‘Ð÷•@,J@AÐÐ@5ÜzÐ@Ð÷¥@'testbit5Üz‘Ð÷œ@-T|Å@A@A ˆÍÐ@Ð÷ª@'to_uint ˆÍ‘Ð÷¡@.¦¯@AÐÐ@ ¡½éÐ@Ð÷±@+succ_double ¡½é‘Ð÷¨@.À^4@A@A#ÿÿÝÐ@Ð÷'@'compare#ÿÿÝ‘Ð÷@ )QÚ@A@BCD%t2óÐ@Ð÷,@(size_nat%t2ó‘Ð÷#@ „ð@AÐÐ@%¥9üÐ@Ð÷3@+of_uint_acc%¥9ü‘Ð÷*@ ΋ù@A@A%¼„VÐ@Ð÷8@+double_mask%¼„V‘Ð÷/@ åÖS@AÐ@%ö‘%Ð@Ð÷>@'div2_up%ö‘%‘Ð÷5@ ã"@A@ABEF'ÅŸÐ@Ð÷C@'Ndouble'ÅŸ‘Ð÷:@ «œ@AÐÐÐ@(bç0Ð@Ð÷K@*shiftl_nat(bç0‘Ð÷B@Œ9-@A@A(nÕ–Ð@Ð÷P@*shiftr_nat(nÕ–‘Ð÷G@˜'“@AÐ@(‘ÍÐ@Ð÷V@0succ_double_mask(‘Í‘Ð÷M@»@AÐ@*W$Ð@Ð÷\@,compare_cont*W$‘Ð÷S@€ï!@AÐ@.¥0—Ð@Ð÷b@.sub_mask_carry.¥0—‘Ð÷Y@΂”@A@ABCD.ë„Ð@Ð÷Ú@!t.ë„‘Ð÷Ñ@ ¢ÿ;@AÐÐ@.먩Ð@Ð÷á@#add.먩‘Ð÷Ø@ £`@A@A.ë­UÐ@Ð÷æ@#div.ë­U‘Ð÷Ý@ £” @AÐÐ@.ë¯BÐ@Ð÷í@#eqb.ë¯B‘Ð÷ä@ £•ù@A@A.ë± Ð@Ð÷ò@#gcd.ë± ‘Ð÷é@ £—Ã@AÐ@.ë¸=Ð@Ð÷ø@#leb.ë¸=‘Ð÷ï@ £žô@A@ABCEGHI.ë¹ Ð@Ð÷ý@#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Ð@Ð÷1@#sub.ëÃL‘Ð÷(@ £ª@AÐ@.ëÄèÐ@Ð÷7@#two.ëÄè‘Ð÷.@ £«Ÿ@A@ABCD.ö,aÐ@Ð÷<@$div2.ö,a‘Ð÷3@ ®@AÐÐÐ@.öXzÐ@Ð÷D@$even.öXz‘Ð÷;@ ®?1@A@A.öÀØÐ@Ð÷I@$iter.öÀØ‘Ð÷@@ ®§@A@B.ö÷ Ð@Ð÷N@$land.ö÷ ‘Ð÷E@ ®ÝÂ@AÐ@.÷ Ð@Ð÷T@$log2.÷ ‘Ð÷K@ ®ðÉ@A@ACE.÷›Ð@Ð÷Y@$lxor.÷›‘Ð÷P@ ®þR@AÐÐ@.÷y…Ð@Ð÷`@$pred.÷y…‘Ð÷W@ ¯`<@A@A.÷É„Ð@Ð÷e@$sqrt.÷É„‘Ð÷\@ ¯°;@AÐÐ@.÷ÍúÐ@Ð÷l@$succ.÷Íú‘Ð÷c@ ¯´±@AÐ@.øt Ð@Ð÷r@$zero.øt ‘Ð÷i@ °Z×@A@AB/¿Ð@Ð÷w@.to_little_uint/¿‘Ð÷n@ ¿¥¾@A@CDF/Ìî‘Ð@Ð÷|@%ldiff/Ìî‘‘Ð÷s@ „ÕH@AÐÐÐÐÐÐ@0÷¨0Ð@Ð÷£@'compare0÷¨0‘Ð÷š@?H{@A@A1P%Ð@Ð÷w@!t1P%‘Ð÷n@  ¨@A@B1PµÐ@Ð÷|@#abs1Pµ‘Ð÷s@ ™¶@AÐÐ@1Pµ&Ð@Ð÷ƒ@#add1Pµ&‘Ð÷z@ ™Í@A@A1P¹ÒÐ@Ð÷ˆ@#div1P¹Ò‘Ð÷@ žy@A@BC1P»¿Ð@Ð÷@#eqb1P»¿‘Ð÷„@  f@AÐÐÐ@1P½‰Ð@Ð÷•@#gcd1P½‰‘Ð÷Œ@ ¢0@A@A1P½­Ð@Ð÷š@#geb1P½­‘Ð÷‘@ ¢T@A@B1P¾ÊÐ@Ð÷Ÿ@#gtb1P¾Ê‘Ð÷–@ £q@AÐÐ@1PĺÐ@Ð÷¦@#leb1Pĺ‘Ð÷@ ©a@A@A1PňÐ@Ð÷«@#lor1Pň‘Ð÷¢@ ª/@A@BCD1PÅ×Ð@Ð÷°@#ltb1PÅבÐ÷§@ ª~@AÐÐÐÐ@1PÅíÐ@Ð÷¹@#max1PÅí‘Ð÷°@ ª”@A@A1PÆ{Ð@Ð÷¾@#min1PÆ{‘Ð÷µ@ «"@A@B1PÇ]Ð@Ð÷Ã@#mul1PÇ]‘Ð÷º@ ¬@AÐÐ@1PÈäÐ@Ð÷Ê@#odd1PÈä‘Ð÷Á@ ­‹@A@A1PÉ£Ð@Ð÷Ï@#one1PÉ£‘Ð÷Æ@ ®J@A@BC1PÉÔÐ@Ð÷Ô@#opp1PÉÔ‘Ð÷Ë@ ®{@AÐÐÐ@1PË1Ð@Ð÷Ü@#pow1PË1‘Ð÷Ó@ ¯Ø@A@A1PÍ;Ð@Ð÷á@#rem1PÍ;‘Ð÷Ø@ ±â@A@B1PÎËÐ@Ð÷æ@#sgn1PÎË‘Ð÷Ý@ ³r@AÐÐ@1PÏÉÐ@Ð÷í@#sub1PÏÉ‘Ð÷ä@ ´p@A@A1PÑeÐ@Ð÷ò@#two1PÑe‘Ð÷é@ ¶ @A@BCDE1[8ÞÐ@Ð÷÷@$div21[8Þ‘Ð÷î@ …@AÐÐÐÐ@1[d÷Ð@Ð÷@$even1[d÷‘Ð÷÷@ Iž@A@A1[…6Ð@Ð÷@$ggcd1[…6‘Ð÷ü@ iÝ@A@B1[ÍUÐ@Ð÷ @$iter1[ÍU‘Ð÷@ ±ü@AÐÐ@1\ˆÐ@Ð÷@$land1\ˆ‘Ð÷@ è/@A@A1\Ð@Ð÷@$log21\‘Ð÷ @ û6@A@BC1\$Ð@Ð÷@$lxor1\$‘Ð÷@ ¿@AÐÐÐÐ@1\YÃÐ@Ð÷$@$of_N1\YÑÐ÷@ >j@A@A1\†Ð@Ð÷)@$pred1\†‘Ð÷ @ j©@A@B1\¥ÖÐ@Ð÷.@$quot1\¥Ö‘Ð÷%@ Š}@AÐÐ@1\ÖÐ@Ð÷5@$sqrt1\Ö‘Ð÷,@ º¨@A@A1\ÚwÐ@Ð÷:@$succ1\Úw‘Ð÷1@ ¿@A@BC1\ìkÐ@Ð÷?@$to_N1\ìk‘Ð÷6@ Ñ@AÐÐÐ@1]€Ð@Ð÷G@$zero1]€‘Ð÷>@ eD@A@A2ó:Ð@Ð÷L@%abs_N2ó:‘Ð÷C@ Ó×á@AÐ@21ûÐ@Ð÷R@%ldiff21û‘Ð÷I@ éßµ@AÐ@2=½*Ð@Ð÷X@%quot22=½*‘Ð÷O@ õ¡Ñ@A@ABC2kÛFÐ@Ð÷Ž@(size_nat2kÛF‘Ð÷…@Š{‘@AÐ@3¦ªºÐ@Ð÷x@(tail_add3¦ªº‘Ð÷o@^‘q@A@ADEFGH3¦¼ñÐ@Ð÷}@(tail_mul3¦¼ñ‘Ð÷t@^£¨@AÐÐÐÐÐ@5ZƒÐ@Ð÷£@*shiftl_nat5Zƒ‘Ð÷š@y/Î@AÐ@5f}éÐ@Ð÷©@*shiftr_nat5f}é‘Ð÷ @…4@A@AB5€aÐ@Ð÷@'iter_op5€a‘Ð÷@©³ @A@C6w~Ð@Ð÷—@'of_uint6w~‘Ð÷Ž@½^5@AÐÐ@8jƒûÐ@Ð÷‰@'of_uint8jƒû‘Ð÷€@'"h¢@AÐ@9ÖEÄÐ@Ð÷@(div_eucl9ÖEÄ‘Ð÷†@(Ž*k@A@AB:Æx°Ð@Ð÷6@,Nsucc_double:Æx°‘Ð÷-@ ïÊ­@A@CD<ŽK®Ð@Ð÷®@+tail_addmul<ŽK®‘Ð÷¥@F2e@AÐÐÐ@<±ñ¾Ð@Ð÷¡@'pos_sub<±ñ¾‘Ð÷˜@+iÖe@AÐ@<¹áfÐ@Ð÷§@'pow_pos<¹áf‘Ð÷ž@+qÆ @A@AB=¬HÐ@Ð÷N@!t=¬H‘Ð÷E@#EþE@A@C=‹Ð@Ð÷[@&divmod>‹‘Ð÷R@CÔ@AÐÐ@>–ÝýÐ@Ð÷b@&double>–Ýý‘Ð÷Y@NÄ´@AÐ@?2ãÐ@Ð÷S@,pos_div_eucl?2ã‘Ð÷J@-êuŠ@A@AB?é;²Ð@Ð÷m@&modulo?é;²‘Ð÷d@¡"i@A@CEFGIJ@°  %Arith  #Coq@0I‰|кåX…*oŒð4Àƒ  )ArithProp %Reals #Coq@0BÛ+L?>*e˃¼€aý j  )ArithRing +setoid_ring #Coq@0ÏPÌŒCgt‘Ä?µ}  *Arith_base %Arith #Coq@0ìÄ”}C¦¡‰Ôë¯åŠS  &Basics 'Program #Coq@0!bŒs߯…?Á÷ :žVU  'Between %Arith #Coq@06Ïv*ƒ0ýuôrë`ÈC0  &BinInt &ZArith #Coq@0ÑBpHÖÞžun›×À^  )BinIntDef &ZArith #Coq@0÷Ã¥dÖØR4ªTuy¯  'BinList +setoid_ring #Coq@0žAƒƒÚØu“š¹®Îì  &BinNat &NArith #Coq@0ªª„ÆÝK˜õ11üÚ¤s+Π )BinNatDef &NArith #Coq@03²@1äO–,™æ[€²{   'BinNums 'Numbers #Coq@0dmk(Ö5¿³Juôõ€<  &BinPos &PArith #Coq@0ï¿vÅyØ»‰¡¢0=» u  )BinPosDef &PArith #Coq@0˜÷€}HØ ø¦d.›%þ,b  $Bool  #Coq@0úÚj­ è2c·Z`FËùW  *CMorphisms 'Classes #Coq@0ôqþ€ËÛŒ­óZ‚×BeÏ  0CRelationClasses 'Classes #Coq@0˜TL;0RªUfw1  'Compare %Arith #Coq@0íîð‰OM v¾ë¨£5L:  +Compare_dec %Arith #Coq@0þjµXòÈçF ê8ª•¿û  F E D@0.iÜ ¼bãYN —Zû  )Decidable %Logic #Coq@0áND‰ê±¸í’¬/•Oñß  'Decimal $Init #Coq@0C´æ¶³çö¬ˆN€*ua  &DiscrR %Reals #Coq@0úŸØà‚™z4žá1©pV.  $Div2 %Arith #Coq@0¤n *ÓÃhtÖ!ñ,†  %EqNat %Arith #Coq@0¯AÚIgÈÕ‹XRŸÌV ö  *EqdepFacts %Logic #Coq@0FI$áͼÕ‹¥½¡`  )Eqdep_dec %Logic #Coq@0u ëÏwWIϰ—ß¼  *Equalities *Structures #Coq@0ÏŒe·³¿ì–Ÿý)ÅH‰.È  +Equivalence 'Classes #Coq@0ÌÇîˆ7ÁƒŸÞ;ꮹº  $Even %Arith #Coq@0æôYšO%²q}dˆß«%  )Factorial %Arith #Coq@0@èoËØÔÃehJŽdâ  %Field +setoid_ring #Coq@0¼J‘ª _ªýàÓÃÈ«þ  )Field_tac +setoid_ring #Coq@0Öd vDZl^Û¹¥H„ ¾0BÆ~uƒâYÙ®÷¤Œ•²Ù  'Fourier 'fourier #Coq@0w·µÅóðV¯9ÅTû‚N  ,Fourier_util 'fourier #Coq@0ϳÆ>É 4`*¬r™0™  -GenericMinMax *Structures #Coq@0áÅÁ‡¯ÔmßaÌŠj$Š  "Gt %Arith #Coq@0ä™›¤ïÚ#c:D •£Ø  $Init 'Classes #Coq@0ñ]Þ(áÅpù¾˜{yOh.  +InitialRing +setoid_ring #Coq@0·ÛkÛ/T=cþNü­½ö‚  "Le %Arith #Coq@0ƒdþ¢}í‹Om§qö+  $List %Lists #Coq@0 >Áð´´ðµI‰“ž  +ListTactics %Lists #Coq@0½â,J­»€Ýcšy{žô c0Ï\ƒÍ‰¬!ÆôIgÔ  *Logic_Type $Init #Coq@0Í «¬1¡ÊöÝë©jc6  "Lt %Arith #Coq@0áKõZ¸¼é-eJkŽPÜ  #Max %Arith #Coq@04=Êù;Œ3$>´¥a«Uå  #Min %Arith #Coq@0Cé×e¬ˆ-Fѕ栠%Minus %Arith #Coq@0£³LâFÁ¢±tRê‹Ü"  )Morphisms 'Classes #Coq@0IÏmÓ½%\$PD¸ƒŠ  .Morphisms_Prop 'Classes #Coq@0% Å:B'‚.>Ñu‚Ã%  $Mult %Arith #Coq@0Òí––›QÁÍyb¬»0  $NAdd (Abstract 'Natural 'Numbers #Coq@0ô5;ZÝW:㥜un$  )NAddOrder (Abstract 'Natural 'Numbers #Coq@02'Ð8ózn7íHÐêfÉ  'NAxioms (Abstract 'Natural 'Numbers #Coq@0ZØ®bÞ÷1ZÏ3üuuÑ  %NBase (Abstract 'Natural 'Numbers #Coq@0þ ¢Y?“¸V° »—vI  %NBits (Abstract 'Natural 'Numbers #Coq@0Žqteo_üh’¥¾É…›Â  $NDiv (Abstract 'Natural 'Numbers #Coq@0¯¨û‰bz$?´[p(Í5¾  $NGcd (Abstract 'Natural 'Numbers #Coq@08EñÏÿ-¦S ;j°_éÒ  $NLcm (Abstract 'Natural 'Numbers #Coq@0•¢Þ ~xZ¬9€L{ò:  $NLog (Abstract 'Natural 'Numbers #Coq@0K Aa»ýt/° j   &NOrder (Abstract 'Natural 'Numbers #Coq@0Æ]@7ެ´†U#o›Y  'NParity (Abstract 'Natural 'Numbers #Coq@0Ì—S”ºKz*!¡°&4h  $NPow (Abstract 'Natural 'Numbers #Coq@0Ò†m”‹½Ÿ¨uš¸€lf   +NProperties (Abstract 'Natural 'Numbers #Coq@0þuÐÀÈnt"Ãkì¶wpYC  %NSqrt (Abstract 'Natural 'Numbers #Coq@0û<Ÿôó…×g¶üÉe  $NSub (Abstract 'Natural 'Numbers #Coq@0îñô×Ú:Dô’fJá  %NZAdd &NatInt 'Numbers #Coq@00¢æñh—`àïîŸZK€4  *NZAddOrder &NatInt 'Numbers #Coq@0õáeø¯~1>¢ àšørÖç  (NZAxioms &NatInt 'Numbers #Coq@0¾ë]ÁÔì Ï‹—5r  &NZBase &NatInt 'Numbers #Coq@0—é^²&Œ²§8¿yÃU•L  &NZBits &NatInt 'Numbers #Coq@0èöM”¯l¾íIÙÙpKt  %NZDiv &NatInt 'Numbers #Coq@0é$ |§J?ÛÐÁd¤ (w  %NZGcd &NatInt 'Numbers #Coq@0Kg“ÁíÈTË7ù|  %NZLog &NatInt 'Numbers #Coq@0ꔉ’¤ ° Ùá .uVú  %NZMul &NatInt 'Numbers #Coq@0œctΧR~¸6ˆ©µ[È  *NZMulOrder &NatInt 'Numbers #Coq@0}\^ !Ü"kŽ}¦@€R§  'NZOrder &NatInt 'Numbers #Coq@0 qò;VeÎû7R Wº,  (NZParity &NatInt 'Numbers #Coq@0HÀ>ÜÃc‚ôa‡ñ'^^  %NZPow &NatInt 'Numbers #Coq@0¡)Âý6*9 B:v…—È»  ,NZProperties &NatInt 'Numbers #Coq@0Š1‘D%ªE`Ô|3xŸ  &NZSqrt &NatInt 'Numbers #Coq@0` Áàù.óê%©¥¥‰m  #Nat $Init #Coq@0î‰Ãeʤµ®Ä£P£óSRè  $Nnat &NArith #Coq@0î$øW;sÆ ðœ€#³%M  )Notations $Init #Coq@0&v!D]â¼hÑwƒ•nv   *NumPrelude 'Numbers #Coq@0Á5WUVŦö]ÅxVXÝáÔ  %Omega %omega #Coq@0tÈ.J'6\Ϩ¸ÆrK  +OmegaLemmas %omega #Coq@0ÞTJ铹#JÞeÚs  4Operators_Properties )Relations #Coq@0UÕ3y#hã&íî  &Orders *Structures #Coq@0$Znªl0–\òÍ—À  +OrdersFacts *Structures #Coq@05MÜ¿èçζöΖLB  )OrdersTac *Structures #Coq@0Ó5'4Ô–+÷èó9èçÃ%  'PartSum %Reals #Coq@0Äj&2¾üÈ"‘Ú(¿>àS  °0± jé¥ùêh¯ž¾aõ|Ø  (PeanoNat %Arith #Coq@0O~2ô˜Ž$•k[#lZ  )Peano_dec %Arith #Coq@0ÍÉëKÒÝ¢*Ðñ÷˜™k  $Plus %Arith #Coq@0…Ç4tmÙÐåó×G‘œú  $Pnat &PArith #Coq@0—,?«pr¾.‘ú›gõZ‰  (PreOmega %omega #Coq@0²\¨ï|Ú†Bb½~wÝ4™  'Prelude $Init #Coq@0JŸÀqƒTttú‚ÚÖ±  %Quote %quote #Coq@0JÊ@ŹáVÖz-³,3‹%  %RIneq %Reals #Coq@0ÎJUÚ»ù¹šëIu)–$w  %R_Ifp %Reals #Coq@0c€4+—Z¬ô“âÅ  %R_sqr %Reals #Coq@0XàŒì%ƒM‡Ô¹Æ%®ñM÷  'Raxioms %Reals #Coq@0S»]–jnj]ø[ºLº  %Rbase %Reals #Coq@0°J‚Ü¡­Ÿ\ c6®{  *Rbasic_fun %Reals #Coq@0ùhÜ’iclðE>¥¾  )Rcomplete %Reals #Coq@0{”ªÚ¸4Ÿ¥Ìqè›ô   ê0(2{ZÒée$šÑœ8  )RealField +setoid_ring #Coq@0Òß òÐõ>âʾî‚q¡   /RelationClasses 'Classes #Coq@0Gâzº² ¥©éãrêAº6Õ  4Relation_Definitions )Relations #Coq@0]§4©Ð€êådõ{nœ^ÿ  2Relation_Operators )Relations #Coq@0%ÍÄÜs鯰ø¨sáî  )Relations  #Coq@0Œ<•bO 9xò\ýì  *Rfunctions %Reals #Coq@0±d›˜¹öd‹ª@  $Ring +setoid_ring #Coq@0ù¨î·¤ªÛîM¹øæ±sᬠ )Ring_base +setoid_ring #Coq@0fƒbU‹Ð(2cNæe›  0ga³ßKíw9ÿè`ÖUW£  (Ring_tac +setoid_ring #Coq@0Âx°á2]%76£òˆ2f  +Ring_theory +setoid_ring #Coq@0ÔSÖ.JvõàfIÔå’  (Rpow_def %Reals #Coq@0¤²è±œ÷ÈõÞ–‹«…è  'Rseries %Reals #Coq@08þÂ]½$uº¨“+œ?  'SeqProp %Reals #Coq@0LtÖ2|9D }ÁS€SÔ»  &Setoid 'Setoids #Coq@0D9µAs…˜WüEî!>ñ  -SetoidTactics 'Classes #Coq@0S„ÕÖ_㽯`ùnOUÚ$  &Specif $Init #Coq@0ƒ¢;Rî–WMi\N›©  +SplitAbsolu %Reals #Coq@0M)ú&Í÷qYlݹ5  *SplitRmult %Reals #Coq@0sD\r™àß«¨tµÚ/  'Sumbool $Bool #Coq@0s†B¯š ,$1Ü1.]m  'Tactics $Init #Coq@0„/æé9mÊ+ ¨œúa  'Tactics 'Program #Coq@03<¸r°å“ü’v Á‚¥T  %Tauto $Init #Coq@0é‹ÎÌ‚¶×"&þæ/é”r  "Wf $Init #Coq@0qÊæ†+‚W,JÆÀÓå+“  $Wf_Z &ZArith #Coq@0Î`×&i   Р2 QÀ@@’A@  #_10 À¢¸  Ð÷ ß@ Û €Mà@A@@@@  ‘  @@@@  #_11 2Mì ‘  #_12 '` oÐ@‘C .function_scope )nat_scope @@ A ’ ð ‘ Ó@   N 2 QÀ@@’A@  #_13 À¢¸  Ð÷@ Y â¶à@A@@@@  ‘0@  #_14 2Mì ‘   #_15 '` oÐ@‘C . 0 /@ A A ’@   3 2 QÀ@@’@@  #_16 À¢¸  Ð÷;@ >6m§Ñà@A@@@@  ‘\@  #_17 2Mì ‘   #_18 '` oÐ@‘D Z \ [ @@ A A ’L ‘/@@@ûKž*¡¿ßž4³…ãžqt}„•¦¾@Ñøâšqà ¸‹QüÔt¦„•¦¾@KýPº: ý4˜-˜6JëtÏ„•¦¾@ÅÀ×e0Y±YäàE;\¨éh„•¦¾tqqOÑOZ°‘·"An¶@›  Ð÷ )Datatypes $Init #Coq@@#natò@€š Ð÷ ,Rdefinitions %Reals @!RÁÓ€·!N·!H©š Ð÷ %Peano@"lt Uxc€ œ  (A€AÈ"H0©š Ð÷ %Logic.@&eq_sym £Xø€À8B©œ  ;B€©š Ð÷ #Nat>@$pred ¯`<€©š Ð÷ "Lt %ArithH@&S_pred<ˆ=À°-*©›  Ð÷'@"eqÐ @€°\#$©š Ð÷.@&eq_ind £J€àc©*©'C·Qi©°^©š Ð÷ *Rfunctions_@(sum_f_R0Yc€ EL©š Ð÷j@%Rplusµ+1€ ©  ©AW© ©š Ð÷T@(eq_ind_r!¼2#€à|© ©  D)©-·!r†©?°ˆk© ©, $©[©b©_©+©œ  MA€ ˜©/ ©< ©k©? I©š Ð÷ 'PartSum @%tech5gâæ€)N‹‘·»¹·"Bn¼·¤¼©š Ð÷¼@'nat_ind¨J€À·¬Ä©p°¹©[ ·!lË©U L©AN¤©X ©e E¨©g mª©4 É©` ©m s³©o ¤µ·ÅÝ·%HrecN©^àÕ©l ©y ·ç©q ©Fkj³©u ©y©¶©©d·a婞°çÊ©~ ©‹ ©¿“©Ž †©yà𩇠©” ŒÉ·qõ©®°÷©Ž ©› ·@ ©“ ©G$¦©— ©&©©œ ê©’à ©  ©­ â*·Š©ǰ©§ ©© ©¶ 9¼ù©¡à©¯ (·—©Ô°©´ ©¶ ©¸ ©Å ½Ë!È(hyp_list©œ   Ð÷7@$listý]ó@A€©›  Ð÷?@$prodýÕt@€ ©›  Ð÷ ,Ring_polynom +setoid_ringG@%PExpr·ñk@€›  Ð÷ 'BinNums 'NumbersS@!Z7—Þ@€©› (€$È'fv_list©œ  /B€°\H©°^;©°`^© °b^©:d©©š Ð÷ %RIneqf@2RField_ring_lemma1!±Ã7€ðš Ð÷ (Ring_tac4@0ring_subst_niter•!€ZL©œ  ?E€°6©°8©œ  FD€ =œ   Ð÷>@(positive*À‘@C€©  F©œ   B€©°M© O©œ  A€ © U©©&°Y©(°[#©*°] œ   Ð÷ƒ@$TrueÙy’@A€µ© ›  Ð÷º@$boolüZ'@€œ  A€@©o° È#lmp©š Ð÷@.mk_monpol_list¥ý­€(|œ  }A€©œ  B€9š ¡Ð÷¢ &BinInt &ZArithÖƒ@#add1Pµ&Ð÷¢ )BinIntDef‰@ ™Í€š ¡Ð÷@#mul1PÇ]Ð÷ @ ¬€š ¡Ð÷@#sub1PÏÉÐ÷@ ´p€š ¡Ð÷@#opp1PÉÔÐ÷@ ®{€š Ð÷ %Zbool!@(Zeq_bool0…å߀š ¡Ð÷*@'quotrem\¼Ð÷$@/ Å€Ω¨©Ê ©Ì ¹›  Ð÷Å@#Monfª@€©›  Ð÷Ì@#Poljã@€Ç©š Ð÷Ò@#Peqj*€ÀÍ(©š Ð÷Ù@*norm_subst7:d€0ÔXUQA;5/'«ý£©0ÖZWSC=71)­ÿiEÿ©¾ ž<©©Á ¹?©‚/©Ä KB©…M‘·86·}7·7·©|з#;¶!©è°1©š Ð÷2@%Rmult´æ×€ ©Ú ]H©Ñ ©Þ ·!kN©ã ·!pS© ©HשL©š Ð÷@n £ª€ '55'©ô ·b©÷ ·œe©' ©©0©š Ð÷-@ £`€ G9©f©£©6©¤9·]©[ SS©š Ð÷L@)False_induÙ€ ©-°v©E © `© üb© ©  ·BŽ©# ·@‘©S ˆ©ª<jm©) ·K—©, ·Ñš©\ ©‘5©´©Fz©b©c|©š Ð÷¢ (PeanoNat\g@)lt_irrefl>jSý€‡·–®·Ñt·•©“ ‹ÃȇȈÍРÐ÷—@"le UxT@A @B @B° @@ @ @ @@D·!nÄ·@©› € ©( ¶@©w°Í•©”Z©›  Ð÷¢@"orÐ Ï@€ ©ƒ°Ùﲩ¼ ´ñ± ·±©‰°ßç©·µ©°ã©ªFÈ"H1©š Ð÷¹@'f_equal=°¹€àîî·!eñÍÐñ@ @A @A°@ @ @@D·7ùùÏ Ó·9ûÑ2.Ñ©§°ýÖˆ©·©«°ÚÈ"H2Ú©°°ßú©ªàá·G ©: ©·° ãæ𩜠 ?A€°©¾°í휩t ïÀì––·!m·îU·6©ǰ.P©·:©˰!)©è9Èø©=à&&·8'Í60þ ´/F©ð©×°- !©·©Û°1¼ÛÈ0©Þ°4JI©³à7J·w9¶u©k ©è°>L©" ·]©} { ©œ  vB€°©õ°KK%©/ '©š Ð÷«@+lt_le_trans ŵ€Ð.Œ ©š Ð÷²@.lt_succ_diag_r#œc €¹1O1Ûë¶@©°^ff© © °bÕ;©E =ש;©Æ h…©™ ©°lE©O G©·D©š Ð÷B@&or_ind"³€à©#°yR©\ T©'°p©? © M´© -¶©  © ·<ˆ© ·:‹©M ©C©X7e©$ ·F’©' ·Ì•©W ©M0©b©A sr©^©E v©bÕ·¾,©!à¥~·Ž¦©R°›©j ©? a©s-©B x©9 ©F ·h´©I ·f·©y ©M;©~d’©Q ·s¿©T ·ù©„ © ]©ˆ©n ÑŸ©‹©r Þ£©#µÈžœsÈp©n°Ç©Š3©q°Ê©©u°Ω¥:©x°Ñ©¨pn©mðe·©©œ  œG€]©a°”©c°–©=©f°™© °›cH© °YP©BAµ:@©ž°:È/-ï©ÜÀ¤ÿ©×0¦*'# ù}Ï©Ù0¨,)% ûÑ;C©§°ð©¿ ©” Ê8©– Ï:© ©š ·¼© ·º ©Í ©ÐީķåF©¤ ·Æ©§ ·L©× ©Ú°©ΩÁS©Ý©ÞE3ó·9¥Èµ©òÀ"8©é©æ©ݰ=ýC©Ó°)©ë ©Ïà-©ô©ñ·o1©ݰ&©õ ©Ê ù©þã©Πð©Å ©Ò ·ô@©Õ ·òC© ©NÇ©Žð©Ý ·ÿK©à ·…N© © 驘©ú © -©© ©")33©ÛàR©é ©ö W©<·ÕY©°[©* @1©ô /© $©5©29©ïàf©ý ©  @k©A·èl©%°n©= © © C+©DLY©àx© © Ö}© ·;Œ©N ©D©7 [hi·†©?°ˆ©W ©! ©. PE©Q©& t2©à“©* ©7 ˜©f C©p©O ·ž©W° ©7 ©9 ©F t]‰G©1਩? ©L ·nº©O ·ô½© û©‚h©‚2’©V ·ûÄ©† ©‰©©_ ¢^>©Ž©u §£·@Ä©}°Æ>©] ©_ &©a ©n ·‹Ü©ž %ˆ©  _©–©‰ ­­º©bàÙ©p ©ª ‰w©¬ ‰y·\à©™°âÅ©y ©{ ©ˆ «…©Š ·/ø©º ©A©é“ Ö©Ç©Ä§D©Å©¬ Ð™©…àü©“ ©Í ¬˜©Ï ®˜·©¼°©œ ê©Ö •'©”à ©¢ “©¯ ·Ñ©² ·W ©â ^©å©Ë òü©è©Ï Ôû·š©×° ©· ©¹ ©ó ´˜D©±à(©¿ ©Á ,OM©·à.©Å ¶©Ç %S©½à4©Ë ¼©Í ¥·µ9©ò°;©Ò ™©Ô ©á ·O©ä ·‰R© ©›©ý !.©6é©ã *G1©ÙàP©ç ½©é ½¬·ÑU©°Wµ©š Ð÷ò@1Rplus_eq_compat_l¤ö¹€Àä.ÈjµÈl©ìàp© f©·±s©°uM¬©š Ð÷@&INR_eq®pÄ€°©# rµ©üàs©š Ð÷t@&Rminus&H·€ ©š Ð÷ 'Raxioms{@#INR¿r©€f© "·†©?°ˆk©¾©à‹© · Ž©G°© ©hv µÈomDÈA©?°˜64©3ð+}o©œ  bF€°Y!©°[#©œ  iC€ `áµü@©`°üÈñﱩžÀfÁ©™0hìéåÕÏÉû?‘©›0jîëç×ÑËŽA“ýC©i°²©? :),1©š Ð÷O@)minus_INR"Ó³°€°¼ÿ©š Ð÷€@'lt_le_S0?Én€°¨Ã—©HU©°Çc©wàÕ¦·Ö© ®‚©š Ð÷5@)le_pred_l Bn`€´n©š Ð÷ %Minus–@-pred_of_minus9 ßÄ€½¸ ©“°é© ß¼"©·ë©™°ï©– ›(©oàó*·2ô© °öÏw©V øÜ©Ÿ ÆøÐzC©¦°üÕ0© àþ×·=ÿ©«°ô©‹ ©˜ ·º©› ·@ ©Ë ©O¥©È©¶ Æç©Ó½©œ ©Ö ©« ^ä©Û¿©Ü ©c©§ ©´ ãí ©« ©¸ ·Õ&©è ã×ô©² ©ì ©ï©Õ ÕÕ©º ©Ç ·é5©Ê ·o8©ú /©õ©ã ©õ©ï?©Ö ·{D© ©©©ß "©©ùþ%©ÍàD©Û © Ô¼© Ö¼·ÇK©°M©ä Y©æ J4©è =©ê 8©ì 2©ù #?ÈeµÈg©!°D©°mÿ©ào;·®p©°e©4 ©/!©½©9 ©4¬©Ú o©> bf~TC©*°s+© ‹[©&àw·ôx©1°z© © ·@Œ©! ·Æ©Q ©P+©ˆ©< Ym©YŠJ©" ©\ ©1 Xg(©( ©b .©7 êm2©. ©; ·X©©k © ,ru©6 ©p <©÷©Y __©> ©K ·m¹©N ·ó¼©~ -©³©g ©‰†š©†Šw›©iຩQ ©S È·©U © ³°S·?é|°Å¨©\ .©^ (©` "f©|àÍ©d ©f b©‚àÓ©j ©l Áº©n ´j·VÚ©“°Ü©s ©u ©w fUO}Å©“àä©{ ©} Ãy©™àê© }·ií©¦°ïÒ©† ©ˆ ©Š \TL©¦à÷©Ž Š·vú©³°ü©“ ™ ᩉ੗  ©™ ýD·©¾°©ž ¤ì©  ¦©–à ©¤ ù©¦ ôì·Ž©˰©« ±©­ œ©¯ ‡©ÃÀ­©Íà+·j,©ذ! ©¸ Š©º ©ô À{~È3È4Í‚·v8·@t¶@©æ°<ñ©m ©ê°@w©{ © k¶ ·C©ñ°G~©·G©õ°K‚È"H3$©ú°P‡©ôàR‰·‘S©„ ©°W-Ž©’ /©L°©°]””©˜ –©¿ a˜#7á·Kb·až·©°fw©·©°jr,ÈiA©°mг©ào¢·®p¶o©¬ ª‰©¤ ©!°w?®©² 7A·x©µ ³©8°©*°€_·©» @a©š Ð÷ "Le:@&le_n_S8àƒ€°Ã¢bFb¶@©9°[[©À ©=°“\Ê©ΠS^©l©÷ ™b©Ê ©G°iÔ©Ø ]k©·Ÿ©1à©O°¥ZÜ©à e\©S°œ©3 ©@ ·b®©C ·è±©s ©QM©$©^ ÿ©{&©||©E © ©T µv©|…©… ©º©[ ‚}©R ©_ ·|Í© ©>P…©Z ©” ©3©j ·ŒØ©m ·Û© *©L©† ©¨)¹©¥%*·™B©càç·Ðè©”°Ý©t © ·£ï©„ ·)ò©´ ©SŽ©Rƒ©º¡z©ƒ ©½ ©’ KÕ©n2© ©O5©˜ sÛ© ©œ ·¹ ©Ì ©©ZD䩘 ©Ò ©q©¨ ·Ê©« ·P©Û '©%VSµÈëéÀȽ©»°©nJ©¾°©“M©Á°©t†©İ©™ê©Ȱ!©{©˰$ÂÀ©¿ð· û©¯°â©T¬©²°å©W°ç©¶°éœ±–©[°ë©³ í©ž˜©½°ð©¸ ò©¬¥°©ðö©Űø©j­©Ȱû©m°ý ©̰ÿf©q°½¤µ@©°È’R©?Àb©:0 Іvpjd\à2)©<0 Œˆxrlf^â4žC© °S©ê ©÷ ·e©ú ·Ÿh©* ©t©¸SQP©ö ©0 © à©©gH©5 K©  k®© © ·+|©> ©Ëÿ©î©(*¹©  ©F \©{å© ·>Š© ·Ä©O %©Ü©RuSg·FíÈ"H4©àŠ©! ©. ·Óœ©^ œé©`Ü©4 ·V¢©7 ·Ü¥©g ©±©pB©÷©S h„©p©rû©s·#§©`°©Œ©K ·m¹©N ·ó¼©~ Ê©È©g ¶˜©„©…â©B๩P ©] ·Ë© ©©–©f ©¬©•©| ™°©l ·!iÜ©q ·ß©¡ ©ë©ª©z ½ø=©©© 1?:·[ß©˜°á©x ©… ·*ó©µ ©ÿ(L3©‹ ·­ù©Ž ·3ü©¾ © WA©Á?©Ã@Ù©§à Ç·D ©²°û©’ ©Ÿ ·D ©Ï ©Bf‘©¥ ·9 ©¨ ·M ©Ø ©$7[©Û© ×qÈ‹©š Ð÷r@&sum_eqc¦Ç€ÀŠ[‡·L &·”©b ÿfÈ"H5©š Ð÷ @(plus_n_O0ŸGØ€ë©Þ° 4ü©ÉZ©Ùà 7зv 8©ä° -©ü ©T\©K©è ±¶© © x©¦  ;©  ©V;©U©ô Cè©äw &©ü° E¹©ç Š¶©øà If·Æ J© ° L©ã ©ð ·• ^©  ©l“£© #©ø · f©û ·  i©+ ©/Ä©x©k© 1© 3³© 4©þ  L©  ·Ÿ y©  ·³ |©> ©B© A©( wשÀ•u©gÀu†·® ˆ·ö©Ä  aÈbÈc© à ©6 ©8 ‡ [Ê·Ò ”© @° – l©=  ©#° ©A ­© à ‘© © ·  –© O° ˜ {©© %à œ©) ©$¡©& g·  ¢© [° ¤©1  ‰© 1à ¨©5  ©0Ê· ( ¬© e° ®©; ©= ©8/©: \- ˜© @à ·© N ©?%©š Ð÷ »@#IZR/r€ü· > © {° Ä©Q  ©©S ©NÆ© Tà Ë© b -· J Ω ‡° Щ] "©_ " ·µÈ°®…È‚©€° Ù'©‚° Û'yw©vðn À ²©C°™©Ec©i°œ©A ž"C©J° h©o°¢^GEµ>@© ¢°>È31ó©àÀ¨©Û0ª.+' ý Ó©Ý0¬0-) ÿƒ Õ?C© «° ô© Z?©ƒ Z-N©š Ð÷“@%S_INR=ó‚s€ Äv©j©…t©M° !©š Ð÷m@(le_trans:þŽ€Ð (© Þ© Û© Ýp©š° æ ôÈõ© ×° ú©š Ð÷ Ù@<_S_n`›€°  Èÿ© á° ô© ×° -!© ô© Òà 0ž·o 1© j©äÐkò¢©ß] À© ü© ùx © ä° :#© Þà <·{ =©x  ‹©g€© ©   £©‚°9 ©5Ð .; ©7Ð0.=©q0©rŸ©Ä¾©Œ°¾†©š Ð÷ $Plus @-plus_le_reg_l:ÿi„€ÀÈ !© ×à [O·š \©— ©ó  ù— 6È7©ì° t©ø  -œ© ãà Z· × [© ° ] @©ã© êà a© ø ÃÛ· à d© ° f© ý ´® KµÈ D B È ’ © ðþ P B©öÎ˵Ä@© (°Äȹ·y©fÀ .‰©a0 0´±­—‘‹ƒ  Y ÃC© /° x­©þ$©š Ð÷ @(plus_INR º€)Öˆ© 9°   ,© 3à ‘ ™UÈh© dÀ ”_© L° oK© B° ˜c© <à š© a© ^ê· ‡ Ÿ©Ú Ô w©° ©“Ð © g   ?©Î ó }I }©<  q©š Ð÷Ë@/le_plus_minus_r™º€° x¤k© r©Ó© ^° ´©·Œ© b° ¸© z©a * U&© :à ¾©e  Ý·ÿ Á© m° à D© …©l Ðú© '  É© ‹ © ©t  B ¥ O© {° Ñ© “#© •Ç© xà Ö© ˜ · Ù© …° Ω p ·  Þ©  ©V© ª© ¬©|  ¿ t©U©“ ÷ Ä© °%© … · * ó©µ ©© ¾©Ž  Ñ. Ñ©ÝÀ· 5 þ©À ©© É© Ë©›  Þ {©Ì©± · C ©Π©%© ש§  ê1 >·"i0 ·î©S  ð,È"H6©¨°© æ©¶  ë ®©¸  íX© £à © ± ©¢ c· š © ×°  ©¦©Ä  Ê© ¯à &© ½ ˆ©®h· ¦ *© ã° ,© à t© ¹à 0© Ç ’©¸Ÿ· ° 4© í° 6© Í © Ï †©À& © Æà =© Ô …· ¼ @© ù° B © Ù  'µÈ   õÈ ò© ð° I•© ò° K é ç© æð Þ 0 "© Ö°  Ó®© Øk ­µ ¦@© ° ¦È › ™ [© HÀ  k© C0  – “   y s m e é ; © E0  ˜ • ‘  { u o g ë =  §C© ° \© ó 8¤© õ À#.©h ©çM©éMH©êP©ëU©oU© !° wXT© à y© @©    “·¼ ~© *° s© B ©X© L© N©   þ ©W© 5 S © R ©Å© ó  ˆ© W © © `"©»© D ª 8p u© aú v© 5 –ß xÍ©š Ð÷Ä@)minus_n_OßL]€å© = · _ «© @ · å ®© p F©š Ð÷ @*decomp_sum-¨Ÿ€° ©–° ’È'© r°~ • °© h° ¾€© … © cà Á‘©sÐú  ‹© ŠÂ š© N '-©š Ð÷?@*Rplus_commq‡€© x° Á &© rà é Z Üâ· B Æ© ° È© _  ­© a © › © p æ—©*© ¦~© ¢ ©ì© x 1Ÿ© o © | · ™ ê© ¬ ©ø m©÷© – © ¸F Ȭ© | © ¶ Ï© ‹ · ­ ù© Ž · 3 ü© ¾ ©Â —© © ¨ © ÊD Ú© ƤÈs© „à û© ’ © Ì å©{-· ~ © »°  ç*© à ©  © נ𩆩 À : ô© ° ·D © à +©m© É Exa· ” © Ѱ © ± © ë ©5 ŠOÑ © Ðà .M· m /© Û° $ © » © õ  ·© Ê ·^ 8© ú Ú©D© ã M’Ý©ÚÀ6P%©"ÀP%·i C·±©   å© ¦  ;©  ©V ]©U© ô ^ `6©­C© å ·  S©  I©¢© þ z /Ÿ©©° ¡ © å mS©—© ° S© à U© ì  ;· Ô X© ° Z© ñ © ó ©  · " n©  · ¨ q© 3 ©ŠÌl© 6© 8 ^©  · ± z© < 7a©  © @ ©  v©Œ“© F ©’©  ’}©   a©  © O  d© $ · F ’© ' · Ì •© W ©® 0©\© A © c s© _žƒ© Bà “© * © , © . CKÍÆ·  š© S° œ © 3 © 5 6© o ©» .%© Tà ¥© < © > TÂÀ· & ª© c° ¬© C © E T?9 “© aà ²f· / ³© l° µ© L © N  œHB© P © R =;© Hà ¿© V u÷· > © {° Ä § © Oà Æ© ] z© _ t © Uà Ì© c yé· K Ï© ˆ° Ñ© h i© j wf ¸© `à ש n ‹© p ¿ö ©„ÀÈXÈY©ÎÀ· £ ï© y © † ‹‚© µ •sý”· ö·d© 2  ÏÞ© wà î© … © ¿ ©Ã © ÿ© — · < © Ç ©© Щ Ò© ¢  å ¨© Ñ© ¸  Û· ƒ © À°  ì© « · P © Û ©;©3© Å © ç+ ø© ä© Ë Š ¿© ¤à © ² © ì ©ð© õ© Å   ú©>© Û 3 © Ë ·_ 9© û ©R© © Ô  • Ú©© ê © ™© © © ð H · » ?© ø° A© Ø ©  ©i C©¹© ê ·  X©  ©zZr© ©  « ø 5È6È .© ,© % © ›  Ð÷ @ S7—Ò@€©  È © ° p © ; r© ©š Ð÷ )ArithRing ,@0natr_ring_lemma1 ,Mã€ð  S E© ò  ï© û°©Ó ©š ¡Ð÷¢ &BinNat &NArith „ u@&of_natK’Ð÷¢ )BinNatDef {@)j2_€ ò äµ Ý@© A° ÝÈ Ò© Ð(3œ  4A€©œ  8B€ š ¡Ð÷@ Å äÀÐ÷@ Æ3… €š ¡Ð÷"@ À ö÷Ð÷@ Á3—B€ ·!xG „š ¡Ð÷*@#eqb ëYÐ÷$@3‹¤€š ¡Ð÷0@(div_euclšu^Ð÷*@ ¹©€ ‚© \© ~ © € Y ´© ®[© ¨À\© £0^+($$ I ›H© ¥0`-*&!& K H © s° É ‘™© mà Ë d·  Ì© x° Á© X © ’ ©ò•©êµ© j ·  Ø© š ©Où©û© „ ê µ© ¡© ˆ ì V© m © § © ©ÿ© ‘ Ì Å©  · ï© ± ©f© º© Š  K ‚©©   ©  Q© ¿© Á© ¨ ã v© §ài· D© ²° û:© ’ © Ì :©# !©©À¿º© ¤ ·8© Ô ©4© Ý© ­  n ©1© àþ r© àþÈ÷Èø©  à$© Ë  ]· e'© Ó°)H ÿ©´°Î© ©à ©­ ©¨“o·  $© ݰ& ©¬© Ü 6 n© µà,©¹ ©´§· ¬0© é°2©¿ ©º!©» ¥© Áà8©Å ©Àô‡· ¸<© õ°> š© Éà@© ×  ˆ· ¿C© ü°E©Ò ©Ô ,ÁµÈ % # úÈ ÷© õ°N© ÷°P î ì© ëð ã5's©¸° ©º° é ̵ ³µ ¬@©° ¬È ¡ Ÿ a© NÀ  q© I0  œ ™ • …  y s k ïA© K0  ž › — ‡  { u m ñC ­C©°bB©ï ©ñ &²Þ,©n×9©³°Ú©fÐÄÜ©hÐÞÆB©¢Þ©š Ð÷ Ø@.le_succ_diag_r´ªÁ€ä©ú_©°a ¼©6À ¾c ©à‰í· ÈŠ© Å © !  ÅdÈe© ° ™3©à† ·‡©@°‰l©  ©à©$ Û · ©I°’©) _ÚwµÈ p n EÈ BI 3,C©P°™3 <©HÒ©¢B©T°ª ²L©Nଠɷ ë­© è …´©-°$º©¡Ð&©u“½M©Ü”)‹© J P“©°RC© 2^©ù°UDš©Þš©i°¿b©·—©m°ÃâÄ©AàÅ©‡© n ÎT· Ê©v°ÌM©Ž©© w ©™— ê©4 Ö©˜©  åe°Z©†°Ü¾©€àÞÿ· ß©‹°Ô©v ·ä© ¦ ©d©¯©±©  Ä©c© — µÈ©´©‰ ·÷© ¹ ©w©© ’  S©t© ¨ 1 WÙ©åÀ.&·ñ·Ý© B ßÈï©j  © ³ <©º°© · ÕÚ©¶à© » ,¯· U©ð © Û ©Z©å©ç© · — ΩY© ΠHœ© ë ©©ô© Ä  N Û© ²È© ¾°©ü© Ì Ò-© ΠC/©¹à0©Ç © ¸ y·°4©í°6© ¼©Âà9©Р‡ Á·¸<©õ°>©Éà@©× z È·¿C©ü°E©Ü ©Þ  ·,©ÔàKå·ÈL©°N ©å 3 ¾µÈ,*È þ© ü°U  ¿ ñ© ðð è:, © à µµ ®@©° ®È £ ¡ c© PÀ s© K0 ž › — ‡  { u m ñC  ­C©°b©ù +ª©û  ìžÌ© ì<©î<7©ï?© ðD©tD©&°|GC© à~^· ½©+°t© C ©[©M©O©   X©q© 5 © R © Å©ó ˆ|fk© < ©^¯¡oœo© @ ÿt©ùH© 1 0s©2 ·× © b ©¹™ \©ó°^È|©$਩ O a á· é«©W°­© T ·…© :°© X °Ä ©1਩ 5 © 0··(¬©e°®‘:©9à°© = © 8x +·0´©m°¶© C ~ð›©Cຩ G ·9½©v°¿ ©JàÁ©X  ·@Ä©}°Æ© S «© U © W ¯ D©WàηKÏ©ˆ°Ñ© ^ “¶q©^àÕ·RÖ©°Ø© e št© g x¿µÈ¸¶ÈŠ©ˆ°á¿}©|ðtƸ© I°Ÿxÿ© K°¡“Dµ=@©¡°=È20 ò© ßÀ§© Ú0©-*&  ü€Ò © Ü0«/,(  þ‚Ô >C©ª°ó© € 4*© ‚ © „ 8YB qûOO©GH© F°Ñ©ùÐÓ y©ûÐÕÖ {ãΩ’N© ‡h© O°É I©ÃÀ KËÜ©’à»Èí¶Š©»à!· X© U òü©š°·j¦Àô© ³ èשw°ê© ›s© c°#7©¤°ð –á© Já©Õ°+zä©Ïà-€· l.È© 1„©ݰ3Ö†©×à5T©š Ð÷æ@-plus_lt_reg_l%\€À[¯©ºà>G· }?©" © Ö ¼ÈÈãØÈã©á°GÒ×Õ©ÔðÍÌ©ŰäÎÊ›µ”@©ø°”ȉ·•©6À꣎©10ì¹¶²­²¨¥Ÿ×) “©ÿ°UÈ© ê ΩúàXã· —Y©< 1©š Ð÷ ¸@+le_lt_trans2Ñ€Ðí©$gnÖ©š Ð÷@+lt_pred_n_n<ðz € u $)@© ÿ ß‹©Ã½© O ŒEME©ù ot©«©°g©  ˆ€©àk©  ·/{© ©  ©A <f·ñu©.°w© © ·=‰© ·ÃŒ©N ©®ç¦©Q‡Y©R ’©' ·Ì•©¬ È_l©à‹©" ©/ ·Q ‚©2 ·T !…© <À©d "©9 ·Þ§bŒ ©%àœ©> ·Ò¬-‘· ©Y°¢…©D ·f²©t a}© ©©š Ð÷ @(scal_sumWÐJ€°¢;©R ·÷ÀE¥©š Ð÷ +Cauchy_prod´@(sum_plus â¶€°.+¯; ©v°¿©V ©c ·…Ñàp©“ ö©h · Övuà©zàË©b @8·JΩ‡°Щg ©t ·–â©w Y©¦W¤©p ©ª © ¯ Zì©® ©²î©„ ü _©{ ©µ ©¹Tö©€ ©º  KЩxà渚 O©“ ·'¼æ·qõ©®°÷©Ž '© ©Ê à ©” ©– Š©Œà©š e©Ô ’·„©Á° ©¡ :©£ ñ/©¿à©§ ©© ¶·‘©ΰú©Èà©° ©² ¿}·š©×° #©Ñà"©¹ ©» †¦[·£'©à°)©À © ©Ä ]I©þ ©Ó ·gA¬ AU©åà6©Í ©Ï ­¥©ëà<©Ó žà·»?©ø°A©Ø ©Ú (f©Ü ©Þ ©à e`ÒÈ©ÖàM©ä ©æ LÚ·ÎR© °T7©ßàV©í ¸©ï ü  ©åà\:·Ù]©°_©ö {©ø ‘©ú 6†H©ðàg©þ É© ë © ÀÍ©ào© © nü·ðt©-°vYw©'àx© © üïç·ù}©6°© © ±T¤f©4à…© ‚)·ˆ©A°Š~©! ©# £ ©?à©' ©a £·•©N°—©. ©0 lɼ~©&à˜·ž©W°  ©7 …©-ऩ; ¡©= J1·%©©b°«Ž©B ~!© VÀª 5È *©;಩I ©V 'ª©X ·ýÆ©ˆ ©Œ©‘©“©c ¦™d©’©y  ȹ·DÈ©°Ê©a ú©› í©p 7¦³È K©ÀÀ·•á©k u©¥ ÷…IÌ· æ· T©" ¿§©gàÞ©u ©‚ ·'𩲠©ë ©µ©·©ž  EÁ©» ©©Ä©Æ©– Ë©Ç©¬  S·wû©´°ý©” ©¡ ·F©Ñ ©†7©Ô©Ö©½  !±©Ú ©:GÉñÈò© §°‚!©œà ©Ç +Y·a#©ϰ© žR© Ÿ©¥àÜ·™©Ö°© ¥©õ©÷©Ç ©Û  mÏ©´à+© © ³©©Ó  y·°4©í°6©Í ~©Ãà:©Ñ ©  ƒ·º>©÷°@ ©ËàB©Ù © Ê3¦·ÃG©°I©à ‘©ÖàM© Ú © Õg È·ÍQ© °S©ê ©ì ©îžž©ãàZ© ç :¼·Ù]©°_)©ö ©ø ©ú Á±««µÈA?È©°j6‘©ðýOAÿ©õ°(©÷°*©ù°,© ذ.• Óê Ó ÓѵÊ@©.°ÊÈ¿½©lÀ4©g06º·³£—‘‰ _ÉC©5°~>© © © ©  , þæÌÌ7© Ò° á]©…Ð_ò ãm©‡Ðôý åóH© ذ¤Ò©š Ð÷)@&INR_le®q=€°Ù«© à—=·˜©š Ð÷™@#Rle=Œ€  ‚©š Ð÷:@.Rplus_le_reg_l -Ê<€À© 3Û MÈ ‹µÈ„‚YÈVÒG©Fð>‚/©6°i   µ@©i°Èúøº©§ÀoÊ©¢0qõòîÞØÒÌÄHš9©¤0s÷ôðàÚÔÎÆJœ C©r°» ©R  5©nà¿ ·<À©( ¥©Y © Q2© R © MÙ“È ¬µÈ¥£zÈw©u°Î€j©iða³¥ 1©Y°Œ© 8ìô0µ)@©°)ÈÞ©ËÀ“î©Æ0•üöðèl¾ <©È0—þøòênÀ *C©–°ß© l ­ Y©x © p}© q ² 2 ©—àè© u # b·gë©S ÅЩžàï© u©¥  7 ©š Ð÷Ž@&le_INRÉ逰z ©÷Ð|©Ë© ¤©¯à «·L©I ©Ò©Ô@é© ; © 6 © T° "N© ÐP × $©žBÄK𩤠, ‡òÀ‰Ó©•Þã© á© —©çæ© çÛ¯-© D-©ϰ%‰(©Éà'·f(©Ô°©´ ©Á ·f/©ñ ©¯PD©ô©ö©Ý  C«©ú ©¯Aj©Æ © ©µÁ©a©ê  PÈ ©ÄàH·‡I©õ°Khn© Ö°U©ô  X©ÍàD© Ñ © Ì!·ÅI©°K© Ñ /©×àN© Û © ÖI É·ÎR© °T © á 9©áàXt·ÕY©°[© è – ¹©èà_ù·Ü`©°bE© ï © ñ ¡ ÞµÈB@È©°k6©°m¦  ©ðRD © Õ°+ç© ×°-© Ù°/ë÷ ÔÒµË@©/°ËÈÀ¾€©mÀ5 ©h07»¸´¤ž˜’Š`ÊC©6° ©  M© Ÿ û »é3© ϰ ›+© ‚Ð-©Vã Ÿ^© †Ðå ¡© ÀåF© ذ…Ò©°Ô‡©à’®û©óÀ± °È xµÈqoFÈCJ4íC©Q°š æ©Kàœg·© ‚©6 ©.d©/ ©*ß}È ‰µÈ‚€WÈT©R°«©T°­…KIßC©f°¯Çí©`౩> +·0´© |™©gษ>©n  Œ ©ɰV© »ÐX½@©qàϽ·Щ  ©”©–=«© ýÅ© ø©° œ© ÉÐ ™ žÂ§/±©e  H³€M©V’©° ê­©…àãÏ·"ä© ¼ ñ© ÖÐÔ5 ñ©š Ð÷ f@&le_S_n8ßÞ‹€°Û<È Æ©¨° ûË8©ž°ô ý©»`©™à÷ ·6ø©3 ©Á©¾©¥  ËÖÈ ש¹°ÍÜ©ÎÀÞÏx©ƒà ÉÈ Þŵ©¬à •·I ©î ã #©²Ðšÿ Ò‚©š Ð÷l@(lt_trans=Jñ%€Ð Ù©³ © ÷°óÈ ñ©Ó° àö©ɰ â©æ©Äà" 8 ò©ÔÐ[ â : ðí©ëRû©  êæý©¼ œó© €°ž 6© Р$ 8Æ© Ð&Í :©W4©ܰ2ü©ù©×à57·t6©q+© èÀ; üÄ©·à; þ·z<©w ©Ó V V©š Ð÷ ñ@)le_plus_rx&Ó€ Ò ©Ü ÔK©  °Ö © ;ÐØ= À© =Ð?= z©w}V&©G'©s=>©þ°T\©û  _B©úàXu·—Y©°N©å ©ò ·—`©" ©>|©á©   }=©)m©* ©èš©áÌ©÷ ©1 1©Ñ fI0I©:©<©  eO© Œ†©š Ð÷»@+sum_N_predN €M€°“©4Ð]»©š Ð÷á@)lt_0_succ5Û%è€è©ï°Ã—© àŽn·Í©ê ü© ©à‡:ð©à‰/·Š©ò  è©íÀè È rçÖ©@à‘ Ý·’©ú w©+ Ò2È zµÈsqHÈEÎ6©5ð-q©ï©&°YÍ-üµõ@©Y°õÈê誩—À_º©’0aåâÞÎȼ´8Š ©”0cçäàÐÊľ¶:Œ öC©b°«©8 Î%©D Ì.©`౩> Ë+É©dàµÆ·2¶©   ©iຩ@©p ÍÔ©˰@© ½ÐBÆh©sàÑ©“ÕÅ©vàÔr·Õ© ÇX©œ  %A€ÓÞÈ©þà©] ãJ©°ã© ’Àå©aàå ð·$æ©! ©} !!Àµ•C©&  ø©‚ &ñ© F°( üÚüÜPÇ×Ç•^ ©0°ü*© ¤À,þ½©sà÷ C œÈ Ωƒ°  —©xàï $ •©zàñ  Ž©^ ó ’ { y I û s©¤à È Ù©ÕÀ ©±° ©«à ¹ k© ‡°~©© ûЀ«¦ú 㠯㩢 ×© f°Ù ]|墳°©¨ 5 üT©¹à ©¬ ·Î©¤ :©Þ © 5Ë Ú Ý·©̰©¬ ©¹ ·Û'©¼ ·a*©ì © ¡ …R©ï©ñ E ‹©ò ©Ç   ˜©¾  ©Ë ·p9©û © [©©©Ö  Z©©ì  “ «©Åà<©Ó l©à ·N2 /©ÌàC©Ú s©Ü  ©é ·ŽW© © p©"©$©ô 7 Å Y©#©  Ó .·ÕY©°[F>©À‹‘È ØÈ ÙµÈ Û Ü Ø©àp Ö·¯q©°sª©2©àv©=©  Þ Þ·¹{©'°}´S©!àX·¾€©,°‚¹Ö# ©š Ð÷¤@2minus_diag_reverseZ±§€ í©/  ð  Ð÷¬@*minus_Sn_mùKÆ€° õ õ©º ÷ ÞhC©>°”Ë1©8à–Í£ Ql©B°˜q7©<àšs·Ù›©G°©_ …©4 ·Ù¢»ï©, ©9 ·[§©i o©> ·ã¬©n © #©w©y©I ŒTÛŒµ©[๷øº©f°¯©F ©€ © à©‰Ð¸È 2©}° ‰©s°É /©màË Ô· Ì©x°Á© –©e · Ó© Hr©^ ©k ·Ù©› qÒ©  © ýâÈ L© ÁÀ·–⩤ ýª>P· å· S©! ¾ß©š Ð÷a@*Rmult_comm8öåù€ © d†©œ°å©‡ `P©˜àé©‹ ·­ù©» (‘ò·k難°ñ©À –©• ·: qñ© Û©Ç © |5©¬àý©Ì Ò©¡ <©Œà©š © 2Ä·„©Á° ©Ù ¯ï©£ ©Ý ³©² È ©ذ-ûÜ©ΰ$/Ô©Èà& é·e'©Ó°©ë ©–©· ©Ä ·i2©ea© ±´©¾ ©ø   ©ú © ¸£È ÞÈÛ©Ù°2©Û°4©ݰ6 ÔÒ©ÑðÉ ©d°ô¼©ÃY©İ÷ašµ“@©÷°“Ȉ†H©5ÀýX©00ÿƒ€|lf`ZRÖ( ©20…‚~nhb\TØ* ”5*„©Ù°„ô©š Ð÷@'lt_pred0@Gr€°6h©Ð–j + ©ô · ˆbiY©¬°’[*Ž:p:©  ²?© Ä ÊC©°\9©ó © ·"n©0 VÛ Ë© :K/H©ü + ©š Ð÷í@+Rplus_assoc òú€°œ0'© ·µ~d <©¾°Ÿ3 >© ú @Xè©°è i©6Ð_½ k©ž°¿ mÈ ö ` ^©-à‹ù·ÊŒ5 Wb©8°©  %©R  ©' ¿ yú©8à‰¿·Š©C°Œ©# w©] ©2  bë©) ©c …®y©!à˜©/  ø©< © r·©V°Ÿ©6 Š©p ’†©: ©0à§©> ¾©x Ê·(¬©e°®©E ™“ Èbà²È"Z2©W „ (·È’gÈd©b°»a©d°½©f°¿© ì+©i°Â—`^©]ðU§™©M°€H©O°‚çå©Q°„é©S°†Né)µ"@©†°"ÈשÄÀŒç©¿0Ž ûõïéáe·©Á0 ý÷ñëãg¹#©¥ ÷@©š Ð÷^@2Rmult_plus_distr_l0ylÉ€°þ =Eý© <°ù\£hÄ©x ^ l©|°à ‡ nS© S©} nV© /Xx© 0d©ƒ° l_W”©…° é wÌ©‡° P p%º©‰°Îe]¥©‹° T –¥©‹ © ¼ó ©‘°¾õ ƒß© A¾Ù ” é©”° Ÿ ]ø©”  ¡©– þ Щ𰠥 Œ©Ò  ©š Ð÷ @2Rmult_plus_distr_rþ~Á€° j — ™© i°&ä Œñ B©§°  ô + k©©° ½ + ) S©«° Æ ¾ J©« ©­  Ì L E©±° Î N G ƒ© a Î O ©²  † S©¶° ˆ S L Ev¬þ©ª:©¹° ýS©»°.d@© k-X© l;S©¿°S¹©¿ ©Á U©ŰWt©ǰtpÁ©Ç <©É -v©Ͱ@/xß/©^°Ä¬ªB©Ѱ¥£’©Ñ ©Ó Ä«–©×°Æ­˜©Ù°È5©Ù ©Û ;Fi©ß°=HkJ©ln©q°÷ãá© ûç©H°ûùé©ñ ¥1©²§Ö©³½©õ ¯9©¶Û©ø .<©¹ð©û ?©¼©+@@ê2@ °ú†›;×£ÅðsºÛïÉ