"`!̈́!W%RIneq%Reals#Coq@&BinNat&NArith#Coq@%Zeven&ZArith#Coq@'Zminmax&ZArith#Coq@$Zmin&ZArith#Coq@'BinNums'Numbers#Coq@)BinPosDef&PArith#Coq@&BinPos&PArith#Coq@$Pnat&PArith#Coq@&BinInt&ZArith#Coq@(Zcompare&ZArith#Coq@&Zorder&ZArith#Coq@$Zmax&ZArith#Coq@$Zabs&ZArith#Coq@$Znat&ZArith#Coq@(PeanoNat%Arith#Coq@"Gt%Arith#Coq@$Plus%Arith#Coq@%Minus%Arith#Coq@"Le%Arith#Coq@"Lt%Arith#Coq@$Mult%Arith#Coq@'Between%Arith#Coq@)Peano_dec%Arith#Coq@)Factorial%Arith#Coq@%EqNat%Arith#Coq@&Wf_nat%Arith#Coq@*Arith_base%Arith#Coq@+Compare_dec%Arith#Coq@)auxiliary&ZArith#Coq@*ZArith_dec&ZArith#Coq@%Zbool&ZArith#Coq@%Zmisc&ZArith#Coq@$Wf_Z&ZArith#Coq@&Zhints&ZArith#Coq@+ZArith_base&ZArith#Coq@,Rdefinitions%Reals#Coq@'Raxioms%Reals#Coq@*ZArithRing+setoid_ring#Coq@+Ring_theory+setoid_ring#Coq@)Ring_base+setoid_ring#Coq@+InitialRing+setoid_ring#Coq@+ListTactics%Lists#Coq@(Ring_tac+setoid_ring#Coq@$Ring+setoid_ring#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@,Field_theory+setoid_ring#Coq@)Field_tac+setoid_ring#Coq@%Field+setoid_ring#Coq@)RealField+setoid_ring#Coq@d)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r'Prelude$Init#Coq@0JqTttֱ'BinNums'Numbers#Coq@0dmk(5Ju<*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>$Bool#Coq@0j 2cZ`FW*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%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@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI'BinList+setoid_ring#Coq@0Au,Ring_polynom+setoid_ring#Coq@0gaKw9`UW+ListTactics%Lists#Coq@0,Jcy{+InitialRing+setoid_ring#Coq@0k/T=cN(Ring_tac+setoid_ring#Coq@0x2]%762f)Ring_base+setoid_ring#Coq@0fbU(2cNe$Ring+setoid_ring#Coq@0Msᬠ)ArithRing+setoid_ring#Coq@0ṔCgt?}%Arith#Coq@0I|кX*o4#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ(PreOmega%omega#Coq@0\|چBb~w4%Omega%omega#Coq@0t.J'6\ϨrK(Zpow_def&ZArith#Coq@0f蓜DX;V?0{#'[{nm!/,Zcomplements&ZArith#Coq@0ʾq |&!&gӜ5Р%RIneq%Reals#Coq@A(Rle_refl @@@!r,Rdefinitions%Reals#Coq@@!RӀ,Rdefinitions%Reals#Coq@@#Rle=AA@@@@@AA@@>@,Field_theory+setoid_ring#Coq@@&FEeval>@@A@A"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@BA@A@(Rge_refl @@UAED:AA@@@@@0*Rlt_irrefl @@iBYX%Logic$Init#Coq@@#notШ\@#Rlt=AA@@@@@U*Rgt_irrefl @@C~}%w@#Rgt=BA@@@@@*Rnot_ge_lt @@S@_BA["@@@@@*Rnot_lt_le @@T;Ӏ:׀@vBA؀C&@@@@@̠*Rnot_gt_le @@U\􀶐[@|BAGd@@@@@*Rnot_gt_ge @@&V}|@€BA^h@@@@@*Rnot_lt_ge @@GW6:@【ـBA@@@@@/*Rlt_not_le @@hXW[@AB \ǐ@@@@@P*Rgt_not_le @@Yxߚ|@BA+}@@@@@q*Rlt_not_ge @@Z@8J@=- @@@@@*Rgt_not_ge @@["!@>ABm *@@@@@*Rle_not_lt @@\CۀB߀@րAB.K@@@@@Ԡ*Rge_not_lt @@ ]dc@;BAOl@@@@@*Rle_not_gt @@.^!@BAЀp@@@@@*Rge_not_gt @@O_>B@}AB񀐩̀@@@@@7&Req_le @@p`ǚ_ƚc@ĩ^ɐ@@@@@R&Req_ge @@a⚠zᚠ~@ߩ@@@@@m*Req_le_sym @@b@@@@@@*Req_ge_sym @@c@׀@@@@@(Rgt_asym @@d3ˀ2π@OBA~Y;@@@@@Ġ+Rle_antisym @@eT쀶S@瀠BA@Y<DA@@@@@砠+Rge_antisym @@ fwv@NBA@U|_A#c@@@@@ )Rle_le_eq @@Bg15@#iffС)@#andЖw@:BA@ABr%BA@@@@@<)Rge_ge_eq @@uh̚d˚h30BAABBA@@@@@h-Rlt_eq_compat @@i"r3"r4@DC@@@̀IGE@@@@@-Rgt_eq_compat @@j+À*ǀ3ˀ2π@DC@V8@ ਗ਼_10@@@@@ʠ)Rle_trans @@kZ򀶐Yb@񀠐CB@FcVJ@@@1FdJ@A1DH@A@@)Rge_trans @@2l!%)@dCB@kuoy@@@@@)Rgt_trans @@XmGKO@πCB@րڀ@@@@@E,Rle_lt_trans @@~n՚mԚqݚu@lCB@ީŐ@@@@@k,Rlt_le_trans @@o@6CB@A@@@@@,Rge_gt_trans @@p! )@CB@H *L@@@@@,Rgt_ge_trans @@qG߀F〶O瀶@gCB@)3PrC7@@@@@ݠ'Rlt_dec @@rml &Specif$Init#Coq@@'sumbool7̂K@BAƀBA@@@@@'Rle_dec @@Gs6:14BA쀐>BA@@@@@4'Rgt_dec @@mtĚ\Ú`W〠BA퀠BA@@@@@Z'Rge_dec @@uꚠ隠}ĀBA8΀BA@@@@@*Rlt_le_dec @@vJBAAB@@@@@*Rgt_ge_dec @@w2ʀ1΀ŀQBAAB@@@@@Ġ*Rle_lt_dec @@xT쀶S瀠ꀠBAAB@@@@@栠*Rge_gt_dec @@yvu PBAAB@@@@@)Rlt_or_le @@Az04;ҀBA4AB@@@@@*)Rgt_or_ge @@c{RV]ـBAAB@@@@@L)Rle_or_lt @@|ܚtۚxrBAAB@@@@@n)Rge_or_gt @@}؀BA#AB@@@@@0Rle_lt_or_eq_dec @@~ @BAa (퀰,@@@@@-inser_trans_R @@E݀DံM倶L逶@%Logic$Init#Coq@@#andЖw@DCCB ]r+ z!a@@@@@ )Rplus_0_r @@ @@ 0 /Q ( ' &@@ 2Ӏ 1@%Rplus+1A ] \@@#IZR/r'BinNums'Numbers j@@!Z7@AA@@@@@ B(Rplus_ne @@ {A k j.?7A4-AAPHD=AAA@@@@@ v+Rplus_opp_l @@ B  og @$Ropp΀AAleA@@@@@ 0Rplus_opp_r_uniq @@ C , Ā + Ȁ@뀰BA ,@7@A  A> (@@@@@ Π)f_equal_R @ H@'f_equal= B@!B@@!f@ B!x!y @@ 1 @A EDC867 k pD7L@@@@@ 1Rplus_eq_compat_l @@ KD ; :  >  B@ e BA kQ U @@@@@ ;1Rplus_eq_compat_r @@ tE d c Ϛ g Κ k@  BA C; z? ~@@@@@ d.Rplus_eq_reg_l @@ F      @ f^CBdCA ǀ  @@@@@ .Rplus_eq_reg_r @@ G   #  " @ ‰BCAC   1@@@@@ .Rplus_0_r_uniq @@ H 㚠 ‶ N 怶@ BAB  S#@@@@@ ࠠ,Rplus_eq_0_l @@ I p  o @ ΀>B@ ؀H |@ B񩚠造( h倐U N*|퀐]@@@@@ +Rplus_eq_R0 @@ SJ  B  F@ =AB@ JA @ 1)h %A3 7é4-A >?8A@@@@@ o&Rinv_r @@ K  @ @  A^Ω ǀv @%Rmult׀  @$Rinv8 tn@B@(positive*@C@@@@@ *Rinv_l_sym @@ L ך ր@   A   @ Ӏ5B4LI Z Z@@@@@ 㠠*Rinv_r_sym @@ M  @  2 AҀB ;5ڀfBe} z @@@@@ )Rmult_0_r @@ MN = < ^ AA A@@@@@ 9)Rmult_0_l @@ rO b a 2&AA.'A@@@@@ ^(Rmult_ne @@ P  J [倠APBNM @@*@CA ɀxlBCAA@@@@@ )Rmult_1_r @@ Q ̚ ˀ 퀰&ABACA@@@@@ Ǡ1Rmult_eq_compat_l @@ R   [ 󀶐 Z @  BA ϩY F]  g@@@@@ 1Rmult_eq_compat_r @@ )S      @ C BA I o/ 3@@@@@ .Rmult_eq_reg_l @@ RT B A  E  I@ lCBCA@  $c  (k @@@@@ Q.Rmult_eq_reg_r @@ U z y 嚠 } 䚠 @ S݀BC〠AC@ ; $Xȩ ( @@@@@ .Rmult_integral @@ V    @ ؀BA} ˀ ꀰ  ! 1@@@@@ 1Rmult_eq_0_compat @@ W N 怶 M ꀶ@ 򀠩 B! A* #ҩ\ I fƀ6@@@@@ 3Rmult_eq_0_compat_r @@,X  @ B B‐R K q A@@@@@3Rmult_eq_0_compat_l @@WY F J@ mA } v%  A@@@@@I/Rmult_neq_0_reg @@Z ٚq ؚu@ KՀBAA L4 % ԩQJAC 0`YA@@@@@=Rmult_integral_contrapositive @@[ @ @#notШ'@/r)0 |/#$@%Rmult׀ 5@@@@@Ơ 'Rmult_integral_contrapositive_currified @@\VU@B)@'fƀ63⩚l YրA@@@@@2Rmult_plus_distr_r @@?].2 6XCBA CABA@@@@@;$Rsqr @d@hgi 0+k 7%'\@@@@@X&Rsqr_0 @@^ɩ@-=MW@@@@@n+Rsqr_0_uniq @@_@өא@@@@@.Ropp_eq_compat @@`@ր BA܀#@@@@@&Ropp_0 @@a.AA@@@@@̠0Ropp_eq_0_compat @@b@A' ϩ\cÀA@@@@@/Ropp_involutive @@,c=쩚y}AA@@@@@1Ropp_neq_0_compat @@Hd87@j䀐@΀~@@@@@./Ropp_plus_distr @@geVZ|+'BA-ƀBˀA@@@@@\1Ropp_mult_distr_l @@f욠뚠Y怐瀠BA퀠􀐐BA@@@@@9Ropp_mult_distr_l_reverse @@gԀ BABA@@@@@-Rmult_opp_opp @@h@؀?܀7>BCAEBA@@@@@ڠ1Ropp_mult_distr_r @@iji(שdeBAkBsA@@@@@9Ropp_mult_distr_r_reverse @@=j,0RBABA@@@@@.*Rminus_0_r @@gkWVxrR@&Rminus&HA!AA@@@@@R*Rminus_0_l @@l{z$"?8AA䀐A@@@@@u0Ropp_minus_distr @@mÀrMBASAB@@@@@1Ropp_minus_distr' @@n+À*ǀ逰%sAByBA@@@@@.Rminus_diag_eq @@oQ逶P퀶@ BA<YA@@@@@頠0Rminus_diag_uniq @@"pyx@8BA݀MFh@@@@@4Rminus_diag_uniq_sym @@Gq6:@]婚〠AB rk@@@@@3+Rplus_minus @@lrÚ[š_ 0 (B ABA@@@@@U0Rminus_eq_contra @@s嚠}䚠@*ݰ䩚0ש@&Rminus&Hʐ@@@@@z-Rminus_not_eq @@t  @O  婚W @@@@@3Rminus_not_eq_right @@u)(ŀ@n!>*+v)@@@@@3Rmult_minus_distr_l @@vHG䀶 P耩  CCBARCBXCA@@@@@&Rinv_1 @@&w3 ⩚e րbBa ߀kBj@@@@@1Rinv_neq_0_compat @@Jx:9@‐l怐@$Rinv8@@@@@0/Rinv_involutive @@iyYX@ A   7ϐ@@@@@X/Rinv_mult_distr @@z蚠皠@-B K @; X ȩ p󀐩멚@@@@@0Ropp_inv_permute @@{ƚŀ@n쀰 A    1+</ =D@@@@@͠.Rinv_r_simpl_r @@|]\@ B  0) ةbfScWtt@@@@@.Rinv_r_simpl_l @@6}%)@ҀPB  `Y @@@@@-.Rinv_r_simpl_m @@f~UY@B   8€ƀЩÀԐ@@@@@]/Rinv_mult_simpl @@횠욠@6C T ĩ l멚    @@@@@1Rplus_gt_compat_l @@ʚɀ5̀4р@QBAW   A@@@@@ʠ1Rplus_lt_compat_r @@򀶐^]@BA ʀI  ΀j @@@@@1Rplus_gt_compat_r @@,#@BA r2 6@@@@@1Rplus_le_compat_l @@UEDHL@CG@ +1[]@@@@@C1Rplus_ge_compat_l @@|lkךo֚s@BA C© G@@@@@l1Rplus_le_compat_r @@@PR@@@@@1Rplus_ge_compat_r @@#"@BA Ω /Ґ@@@@@/Rplus_lt_compat @@HG䀶P耶O쀶@DC@8U F ƀQE@@@@@렠/Rplus_le_compat @@${z@DC@k! 33 w@@@@@/Rplus_gt_compat @@VEIMQ@рDC@؀܀ &ee *@@@@@O/Rplus_ge_compat @@ߚwޚ{皠暠@DC@ŀ쩚ɀ X \ې@@@@@2Rplus_lt_le_compat @@@PDC@[ ɩ  @@@@@2Rplus_le_lt_compat @@CۀB߀K〶J瀶@ހDC@3P  K?@@@@@堠2Rplus_gt_ge_compat @@u t}|@DC@[e -- }q@@@@@2Rplus_ge_gt_compat @@P?CGK@DC@Ҁր __$@@@@@I1Rplus_lt_0_compat @@ٚqؚu@7 B@A 婚"IBAXא@@@@@}4Rplus_le_lt_0_compat @@  @k ېB@Nu V}vA @@@@@4Rplus_lt_le_0_compat @@Aـ@݀@xB@ހMA?@@@@@堠4Rplus_le_le_0_compat @@u t@ӀCB@݀M倐A3s@@@@@1sum_inequa_Rle_lt @@R!aB!xG!bL!cQ!yV!d[@RFE@g@l@cq>J˩CIL PHܐ@@@@@v.Rplus_lt_reg_l @@  @ApCBvCAQ@@@@@.Rplus_lt_reg_r @@ʚɀ5̀4р@lBCAC|&C@@@@@̠.Rplus_le_reg_l @@􀶐`_@󀠩WD`He@@@@@.Rplus_le_reg_r @@'@耠BCAC%s@@@@@.Rplus_gt_reg_l @@RBAEI@ɀML̀@@@@@8.Rplus_ge_reg_l @@qa`̚d˚h@2CB8CAڐ@@@@@c2Rplus_le_reg_pos_r @@@UŐB@g@@@@@2Rplus_lt_reg_pos_r @@ (@B@e0m#@@@@@2Rplus_ge_reg_neg_r @@M倶L逶U퀶@(B@2@]:PD@@@@@ꠠ2Rplus_gt_reg_neg_r @@#zy@U܀LB@-m}q@@@@@4Ropp_gt_lt_contravar @@P?C@À†  @@@@@44Ropp_lt_gt_contravar @@mĚ\Ú`@䀠 '@@@@@O1Ropp_lt_contravar @@ߚwޚ{@ABʩ䀐@@@@@t1Ropp_gt_contravar @@@ AB&署 @@@@@4Ropp_le_ge_contravar @@)(ŀ@'& @@@@@4Ropp_ge_le_contravar @@D܀C@BAۀ @@@@@Ϡ1Ropp_le_contravar @@_^@򀠐AB`Jdk@@@@@1Ropp_ge_contravar @@- @[ABao@@@@@6Ropp_0_lt_gt_contravar @@RBA@܀sAʀ A@@@@@@6Ropp_0_gt_lt_contravar @@yih@耠*A 3,A׀ސ@@@@@g6Ropp_lt_gt_0_contravar @@@AR©3^WA@@@@@6Ropp_gt_lt_0_contravar @@@QAy驚?%~A@@@@@6Ropp_0_le_ge_contravar @@ޚ݀@ԀA!ALS@@@@@ܠ6Ropp_0_ge_le_contravar @@@?ƀ6AπAsz@@@@@.Ropp_lt_cancel @@<+/@ʀAB؀@@@@@(.Ropp_gt_cancel @@aPT@ԀAB†Đ@@@@@M.Ropp_le_cancel @@ݚuܚy@p؀A݀B~@@@@@r.Ropp_ge_cancel @@@ـAB瀠@@@@@1Rmult_lt_compat_r @@+À*ǀ@bC@l3p1*5".@@@@@Ƞ1Rmult_gt_compat_r @@\􀶐[@xC+@Gdb[fS_@@@@@1Rmult_gt_compat_l @@2"!%)@C쀐\@x@@@@@@*1Rmult_le_compat_l @@cSRVZ@QC@[Ʃ_ĀqȀ@@@@@[1Rmult_le_compat_r @@@MC@@@@@@1Rmult_ge_compat_l @@ @C@ (&ө*#@@@@@1Rmult_ge_compat_r @@暠倶Q逶P퀶@(C @2<Y6WP[HT@@@@@/Rmult_le_compat @@'~}"@䀐TD@#^u@,:@1?5G@@@@@1/Rmult_ge_compat @@jY]ɚaȚe@C(@ѩ1@}ɶ@݀ဠڐ@@@@@t4Rmult_gt_0_lt_compat @@  @(Bk۶@2t@V @[ũ_ >ͩ$@@@@@4Rmult_le_0_lt_compat @@G߀F〶O瀶N뀶@†D@쀠'>@ O@Tc ga`@@@@@1Rmult_lt_0_compat @@3"&@耐XB@ˀbӀAH@@@@@.1Rmult_gt_0_compat @@gVZ@ڀBA@瀠ɩ)"A򀠩΀{81A@@@@@h5Rmult_le_compat_neg_l @@@C[˶@署@@@@@8Rmult_le_ge_compat_neg_l @@š-ŀ,ɀ@C@ʀ53,ਗ਼70$@@@@@ʠ8Rmult_lt_gt_compat_neg_l @@ 򀶐^]@C-@Ifd]haU@@@@@.Rmult_lt_reg_l @@ 4 $ # ' +@ƀ퀐]C@Ѐ>~B܀F@@@@@ ,.Rmult_lt_reg_r @@ e U T X \@C@ €oƀs w@@@@@ ].Rmult_gt_reg_l @@ ¶    @ (OC@ 2ਗ਼  >@@@@@ .Rmult_le_reg_l @@ ö   "  ! @ YC@ $ ( 2 ˀ @@@@@ .Rmult_le_reg_r @@ Ķ 蚠 瀶 S 뀶 R @ !C@ U BY c   J@@@@@ )Rlt_minus @@!)Ŷ ! !@ BA ˀ k 耐A@@@@@!)Rgt_minus @@!Qƶ !@ !D@ ĀBA ʀ   A@@@@@!@*Rlt_Rminus @@!yǶ '!h !!l@!BA! 4-A"  @@@@@!h)Rle_minus @@!ȶ ! !@!BA!C !`А@@@@@!)Rge_minus @@!ɶ!!!!@􀠐BAh!!%@@@@@!)Rminus_lt @@!ʶ!B!ڀ!A!ހ@!yBA!!1!N@@@@@!נ)Rminus_gt @@"˶!g!!f"@!BAˀ;!!V!s@@@@@!.Rminus_gt_0_lt @@"5̶ 㚠: ݚ>@!ÀꀐA؀AB!Ԁ!~!@@@@@"$)Rminus_le @@"]Ͷ!"L!"P@"GBA"U!!@@@@@"I)Rminus_ge @@"ζ!ٚ"q!ؚ"u@ BA= !!@@@@@"n*tech_Rplus @@"϶""!s"@"]͐B@"@g" "V!Ԁ{!wpA@@@@@")Rle_0_sqr @@"ж"К"π"ŀ"@=MWA@@@@@"Ġ)Rlt_0_sqr @@"Ѷ"횠"쀶@"" A#"++"c@@@@@"젠0Rplus_sqr_eq_0_l @@#%Ҷ"|#"{#@";꩚†JBOA耐X"Q!"sA@@@@@# .Rplus_sqr_eq_0 @@#YӶ"#H"#L@"o~BAA*"("+$A"/"֩6/A@@@@@#f'Rlt_0_1 @@#ԩ#$KDARBC@@@@@#'Rle_0_1 @@#թ#leAsB#C@@@@@#0Rinv_0_lt_compat @@#ֶ#њ#Ѐ@#kA#tA5#F@@@@@#Ϡ0Rinv_lt_0_compat @@$׶##@#A*#U#fƀA@@@@@#1Rinv_lt_contravar @@$/ض#$#$"@#䀐TBA@#̀#v##Ѐ#~B@@@@@$(3Rinv_1_lt_contravar @@$aٶ#$P#$T@$KBB@###ũ$#t@@@@@$Z/Rle_lt_0_plus_1 @@$ڶ$$@$yDA$&MFA\#XBC@@@@@$*Rlt_plus_1 @@$۶$$$OAA|f@@@@@$.tech_Rgt_minus @@$ܶ$9$р$8$Հ@$p$6$Y$P@@@@@$Ġ%S_INR @@$ݶ!n)Datatypes$Init#Coq@@#nat@$,Rdefinitions%Reals#Coq@@!RӀ'Raxioms%Reals#Coq@@#INRr-BAဠA‐nBm@@@@@%,S_O_plus_INR @@%M޶PO$^D8#Nat$Init#Coq@@#add `)Datatypes$%n@@#nat@B $@ @AA.eBnA@@@@@%a(plus_INR @@%߶!m$RBAaBA@@@@@%)minus_INR @@%ඐ̛ˀ/π@%Peano$Init#Coq@@"le UxT@AB$֩ʀ@#sub %%:ـ%%݀%F@@@@@%Ϡ(mult_INR @@&ᶐ  n%@#mul BAcB A@@@@@&'pow_INR @@&9ⶐ;@?%N4((PeanoNat%Arith#Coq@#Nat@#pow.뾴#Nat$Init#Coq@@  kBA(Rpow_def%Reals#Coq@@#pow#׀TBA@@@@@&H(lt_0_INR @@&㶐@@"lt Uxc%@AA&>7A%@@@@@&r<_INR @@&䶐@.BA&?%&@@@@@&(lt_1_INR @@&嶐ӛҀ@OrBQAA&gB>CՀ&>@@@@@&Ǡ0pos_INR_nat_of_P @@'涐!p'BinNums'Numbers#Coq@@(positive*@&A&BinPos&PArith#Coq@#Pos@&to_nat")BinPosDef&PArith#Coq@#Pos@&to_nat5L A@@@@@' 'pos_INR @@'E綐HG'*e4A@@@@@''&INR_lt @@'`趐cbƛf@&PBUA&&Ð@@@@@'L&le_INR @@'鶐뛠@BA'u{&ǩ&@@@@@'q)INR_not_0 @@'궐@'B&&驚'Raxioms&@#INRr ߩ'Q'N'Q@@@@@')not_0_INR @@'붐ӛҀ@'h&怰 AQA't&ة̀'5@@@@@' 'not_INR @@'춐a@''BA'''E'f@@@@@'&INR_eq @@((+*.@'>$BA'L'n'@@@@@(&INR_le @@(MPOS@(7=BBA''@@@@@(9)not_1_INR @@(r﶐ut@( ' ABA('s'ܩ<BC@@@@@(q#IZN @@(@!Z7@@&BinInt&ZArith#Coq@!Z@"le1P,`_(@@^7@AA(b@"ex @ր:'瀰2( &BinInt&ZArith#Coq@+@&of_natbz)BinIntDef&ZArith#Coq@!Z@&of_nat1?G!(?@@@@@(ɠ'INR_IPR @@)'BinNums'Numbers#Coq@@(positive*@(A) @#IPR.A@@@@@(+INR_IZR_INZ @@)032(A'A)+@#IZR/rfA@@@@@)0plus_IZR_NEG_POS @@)SSR!qW(ic#@#add1P&~@ ̀BBCA (?BBICA@@@@@)a(plus_IZR @@)􀩛(iFBA `wB|)@@@@@)(mult_IZR @@)ʛ-!(܀֩$@#mul1P]@ BA#BA@@@@@)'pow_IZR @@)!z'BinNums'Numbers#Coq@@!Z7@ )Datatypes$Init#Coq@@#nat@)%,Rdefinitions%Reals#Coq@@!RӀŀBAX@#pow1P1P@#pow ؀BbA@@@@@*(succ_IZR @@*OR)`Z}@$succ1\wu@$succ A!,A!@@@@@*C'opp_IZR @@*|Ҁ)G@#opp1P@ {A րXA@@@@@*k-Ropp_Ropp_IZR @@1@,@@@@@*|)minus_IZR @@* )ʀĩ@#sub1P@ pBA^BA@@@@@*)Z_R_minus @@*ꛠ=MA)BAĀ@BA@@@@@*ܠ(lt_0_IZR @@+k@*!ƀ!6倐At@"lt1P-kA*y@@@@@+<_IZR @@+;>@*ɀ BA+**@@@@@+')eq_IZR_R0 @@+`c@*rl,A"!**A@@@@@+J&eq_IZR @@+ـ雠݀@*SBXA***@@@@@+o)not_0_IZR @@+@+@* AA+L*ʀĩ+ "m!ݐ@@@@@+(le_0_IZR @@+֛)@+,*!+)@@@@@+&le_IZR @@+AQE@+ՀF+(+E@@@@@+Π)le_IZR_R1 @@, ]@+퀠ӀA" IBmCn+mc@B"Ƞ"Ǡ,0@@ Y*@C@@@@@,&IZR_ge @@,?B@@"ge1P,BA*v++@@@@@,.&IZR_le @@,gj͛@BA,W=+A+ʐ@@@@@,S&IZR_lt @@,‶怶@nBA, b+Ωf+@@@@@,x'IZR_neq @@,"z1"z2 @,O+̀BA,Y+׀ ѩ+,@@@@@,+one_IZR_lt1 @@,㛠6@#怠,n##CA,A#,),SHA@@@@@,ߠ,one_IZR_r_R1 @@---rv@$&,C񀐐B-B#쀠C#逐Ӷ@$G,π(9,-3,$ (I$!B!,tM(V,@@@@@-<-single_z_r_R1 @@-u -e-d|πߛӀ@-CJB@-nT,$E($A +@-#'٩e,Ѷ@-n($_$[ E,Ā@'@@@@@-2tech_single_z_r_R1 @@- --̛@-SBA@--)$-$ w@B E(---E(驛(-(=ɀ-Q-뀠р-Y$€(M$ %Logic$Init#Coq@@%Falsee@@@@@@-,Rmult_le_pos @@.1 -. -.$@.$怐$VB@.%$$`-.-$$A")F-@@@@@.,1Rinv_le_contravar @@.e %"l@-񀠩%$B@.W--©.["-")q@@@@@.W(Rle_Rinv @@. 9...@.%E$B@.(%O$-@.)-۩.")"(@@@@@.(Ropp_div @@.o%b"̀-ـ"Ӏ.@$Rdiv̀%BA%$BA@@@@@.&double @@..J.
.%#=%#3B"X@B"]CA%€AA@@@@@.頠*double_var @@/".y/.3A%ۀ]A%܀#hB5B"CsA%򀐩#~BKB"C@@@@@/,$R_rm @@/e+Ring_theory+setoid_ring#Coq@@*ring_morphM @D#w&%&  /i@&++1/m@#׀/q@&H/u@%΀s@. @.Ǜ@AtB#Ț9Ȁ܀@#opp1P%Zbool&ZArith#Coq@@(Zeq_bool0߀w@@@@@/,Zeq_bool_IZR @@/jǶ]ɶ@.Ӏ#ͩBA.ူ)Datatypes$Init#Coq@@$boolZ'@=//1 @$boolZ'@A@@@@@/2RField_ring_lemma1 @@/!n)Datatypes$Init/@@#nat@!l@$list]@,Rdefinitions%Reals#Coq@@!RӀ#lpe)@$prodt@///@%PExprk@ #pe1#pe2@@-interp_PElist36<8,Rdefinitions%Reals#Coq@@#IZR/r&n 욠,Rdefinitions%Reals#Coq@@%Rplus+1 @%Rmult׀@&H@$Ropp΀%Logic$Init#Coq@@"eq @/қ)Datatypes$Init#Coq@@#nat@&BinNat&NArith#Coq@!N@&to_nat`)BinNatDef&NArith#Coq@!N@&to_nat*9G(Rpow_def%Reals#Coq@@#pow#׀DC@%Logic@"eq @@$boolZ'@Ȑ#lmp@.mk_monpol_list(DA>;:864/&BinInt&ZArith#Coq@!Z@'quotrem\)BinIntDef @/ŀ2ߐȠʠ^@#Monf@@#Polj@l@#Peqj*s]@*norm_subst7:d0zw6omkid5GAV 0~{:sqomh9WKA@0"s 8goFd8 jre@@@@@02RField_ring_lemma2 @@1)/-"lH! ,*%;@<%>)Datatypes$Init#Coq@@#nat@:B|>')_Y@I24jdʩ(Q"pe5Ѷ#npepֶ@u۩h0H)c%v]8%x:hG@(Pphi_powcH%AϚ+InitialRing+setoid_ring@@)get_signZ#7z?@@@@@1X3RField_field_lemma1 @@1!n)Datatypes$Init1`@@#nat@!l@$list]@0߶#lpe @$prodt@,Ring_polynom1$@%PExprk@1 3#fe11@%FExprs@@#fe2 E@ @-interp_PElist36<1w"s!j1Q/]P7DC#lmpF v@$prodt@(,Ring_polynom+setoid_ring18@#Monf@ @#Polj@@%Logicx@"eq @s-_@.mk_monpol_list(~|wHEA$nfe1\@&linear@8@# =h@%Fnormw$F$nfe2J@5O$'G&@=@$boolZ'@@#Peqj*@*norm_subst7:d0?L&Go,Field_theorym@#num:uy-Y @%denum010X> 2A@@%PCondS<1#".(@#appʀ@%PExprk@0@)condition.,ҩ1ȩ%1ө@2d>@1:#6"MG@$Rdiv̀L@P8'MK@1G#C"Z +J@@@@@23RField_field_lemma2 @@2,* 2 4'%1@<2utrd#`"wW2>J=$B0%'F @#Monf@'@#Polj@T@ݰG<>]_(a^[XWUSQLԶ"fe/g#nfeؐl@ݐq$sphfdb]5@<2=<;$":vTu\é?@)condition.}?2Fs@2HGF$$"oj_gH1K@2display_pow_linear"O܀P2PON$,"w(sgoA@#701|Ms쩚[@#num:uG0:V|d@%denum0P@@@@@33RField_field_lemma3 @@3?2w|@z<2 $g"ߐ2uts϶@XکU(٩PONL@iQF$ AY@V@s[P$>c#den@&rsplit@@ @%splitў9,m }o ~@(2֩@(Pphi_powcH2TS>$:#Q:"R0<   ӐNMw@,rsplit_right=$H2dcN$J#a&#J2%  b0(%L\*,۩@+rsplit_left>3@H<2ts^$Z#qr6B5C:Ġ<Ơ>Y34@3 j$f#}0+B NA(O(7@3 m$i#3.E#QD+z@@@@@33RField_field_lemma4 @@3QOCA3;D93Z5\)'_*b@<3,% #30iGuhOZOQp*$r@eZ\{5/}(|yvusqoj;@ $ }{yt@$~@ P#np1Y@0^0/ilIc'#np2l@Cq0B|Qĩ2;:@3@3hg%p$ @3ji%r$ @<3ml%u$ kR఩שac-3H3zy%$`VS:H3}| %$cY@@@@@4F-RField_lemma5 @@4ߩݐ3"l1␩ϐ@$lock"le퐩ڐA@   }83ԩTHGE7%3$J*3Ԑ@$Fapp{F@&Fcons2w$! ЩA)=<3S%O$f+ 7*@@@@@49Rmult_ge_0_gt_0_lt_compat @@44444/'4/&4À@2B+*@4M/ҩ+*@4q/'@4v/,/ਗ਼4z);Y詚)?/9/8@@@@@4Ҡ*le_epsilon @@5 4b44a4@#eps5@4&?4e40 +Ҁ4Q4n54U4r@@@@@41completeness_weak @@54!E@5%A@ @%bound1A@ x574z4 5A;@&is_lub -jl0J4@@@@@500Rdiv_lt_0_compat @@5i,#,%@4󀠩,+B@4,$+4ȩ5,,,%A0z4@@@@@5`/Rdiv_plus_distr @@5G,S?,U<թ4өр,WCBA,^CA怠BA@@@@@50Rdiv_minus_distr @@5vnk4ۀ$eCBA$lCABA@@@@@5(Req_EM_T @@5 5N5怶5M5ꀩ.ဠ5BA55BA@@@@@5䠠*nonnegreal,<@@,mknonnegreal&nonneg5[+cond_nonneg5_@6='Q5w5[@@@AB@BB@65@$ *@@@@AAB@BA@@@@@@@6! @N&@: *@@ !@@@@@  5565425@_6\@K *@6P +k= R '>''+k6'5x2ABp@@@@@6CN @0/*21T'&@_i&5̐b5`^5@,+6j +k= R '>''+k7 L7 7%'CVABpl|'@-@@6o'posreal,<@)mkposreal#pos5䶐(cond_pos5@68=5@@ BB@6@̠@@@AABBA@@@@@@@6 @Λ';@2̠@@@@@@@  66#06.,6'@ߛ6@C̠@6Ӏ6"x0ABp@@@6ĠF @.-(0/L("'l@W=D.'U6MZ6<XV6P@*)6 |bFXABp(=@@@6*nonposreal,<@  ,mknonposreal&nonpos6d+cond_nonpos 6|(V6`@@ BB@77@3@@@AABBA@@@@@@@7 @'@.3@@@@@@@  66,6*(6@^7[@?3@7O6x/ABp@@@7@B @--(//Q'@Si'(6ɐV6TR6@*)7g +k= R '>''+kG7 7 7%'ARABpl(|@*@@7l'negreal,<@)mknegreal#neg6ᶐ(cond_neg}6@@BB@7@zcD@@~~@AAB}BA@@@@@@@7 @|(3@-zcD@@@@@@@ 77+7 )'7@ڛ7@>zcD@7ˀ{7x/ABp@z@@7A @-(/D(d@R=D(M)7EU74SQ7H@*)7 |WFWABp)5|@@@7砠+nonzeroreal,<@-mknonzeroreal'nonzero7\,cond_nonzero)F7V@@BB@8-@%+X@@@AABBA@@@@@@@8  @(@,%+X@@@@@@@ 77*7()l7@T8Q@=%+X@8E7x/ABp@@@86@ @#-(%/)77(@S()7V7T)7@,+8 +k= R '>''+kG7 7 77"7$'ࠒ7FWABp7Ԑ)|)@)@@8k@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@cA}A.0TQ+Ring_theory+setoid_ring#Coq@@ABA.U>[J @2@AB@@"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@As2@3@&shiftls2*@vY@A@BCs8@8@&shiftrs8/@vY@A@ѓ@>@&squareѓ5@y@A@@D@&to_intϑ;@@A@z@5@&doublez,@/!@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_natbzD@1?G!@A@#@S@&shiftl#J@1dV@A@#@Y@&shiftr#P@1d\@A@ABCD/x@&BinPos&PArith#Coq@#Pos@)pred_mask/x)BinPosDef&PArith#Coq@#Pos@ )X@A@6@x@&square6o@19@A@AV+L@}@&to_intV+Lt@2@A@V1b@@&to_natV1bz@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@AG@I@)mask_rectG@@+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@6r@A@A p@l@0double_pred_mask pc@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 ",@3m@A@ q@?@#ltb q6@3@A@A @D@#max ;@3@A@ @J@#min A@3`@A@AB @O@#mul F@3B@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@3J@A@AB hx@r@$div2 hxi@>@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_(@25\@A@CD m@6@÷ m-@2j@A@S@=@&of_intS㫑4@4}5@A@AS@B@&of_natS9@4};@A@BEFGH\R@G@(mask_ind\R>@4@A@\^@Q@(mask_rec\^H@4@A@A!,@V@&pred_N!,M@4s)@A@B@[@&shiftlR@5X@A@@b@&shiftrY@5X@A@A&@g@&square&ّ^@5,x@A@BC"@l@&to_int"c@5L@A@"@t@&to_nat"k@5L @A@AnTq@y@+testbit_natnTqp@6n@A@B@@(succ_posB@@A@I@@'abs_natI@?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@8R@A@u^@9@(div_euclu^0@ @A@Afz@@'to_uintfz@9w@A@Bl@'@'comparel@3R@A@CDEFs8@,@+of_uint_accs8#@5+@A@}@R@,pos_div_eucl}I@&`@A@3x@(@'compare3x@]=@A@A@^@&doubleU@'޺_@A@BCq@@+of_succ_natq@$@A@w@i@&modulowɑ`@)1@A@ADK@n@&of_intKe@)j,I@A@K@v@&of_natKm@)j2_@A@AI@{@&shiftlIr@*O@A@O@@&shiftrOx@*O@A@AB,@@&square,}@*ow@A@Z@@&to_intZ@*81@A@ACE`@@&to_nat`@*9G@A@e@@+testbit_nateđ@+@A@A+{@@'sqrtrem+{ё@,J@A@5z@@'testbit5z@-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@(b0@K@*shiftl_nat(b0B@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.0Y@΂@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.,a3@ @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.yW@ `<@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@00@@'compare00@?H{@A@A1P%@w@!t1P%n@  @A@B1P@|@#abs1Ps@ @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@1P1@@#pow1P1@ @A@A1P;@@#rem1P;@ @A@B1P@@#sgn1Pˑ@ r@A@1P@@#sub1Pɑ@ p@A@A1Pe@@#two1Pe@  @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\w1@ @A@BC1\k@?@$to_N1\k6@ @A@1]@G@$zero1]>@ eD@A@A2:@L@%abs_N2:C@ @A@21@R@%ldiff21I@ ߵ@A@2=*@X@%quot22=*O@ @A@ABC2kF@@(size_nat2kF@{@A@3@x@(tail_add3o@^q@A@ADEFGH3@}@(tail_mul3t@^@A@5Z@@*shiftl_nat5Z@y/@A@5f}@@*shiftr_nat5f}@4@A@AB5a@@'iter_op5a@ @A@C6w~@@'of_uint6w~@^5@A@8j@@'of_uint8j@'"h@A@9E@@(div_eucl9Eđ@(*k@A@AB:x@6@,Nsucc_double:x-@ ʭ@A@CD@[@&divmod>R@C@A@>@b@&double>Y@NĴ@A@?2@S@,pos_div_eucl?2J@-u@A@AB?;@m@&modulo?;d@"i@A@CEFGIJ@d%Arith#Coq@0I|кX*o4)ArithRing+setoid_ring#Coq@0ṔCgt?}*Arith_base%Arith#Coq@0Ĕ}CS&Basics'Program#Coq@0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C00BpHޞun^)BinIntDef&ZArith#Coq@0ådR4Tuy'BinList+setoid_ring#Coq@0Au&BinNat&NArith#Coq@0K11ڤs+Π)BinNatDef&NArith#Coq@03@1O,[{ 'BinNums'Numbers#Coq@0dmk(5Ju<&BinPos&PArith#Coq@0vyػ0= u)BinPosDef&PArith#Coq@0}H d.%,b$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1+Compare_dec%Arith#Coq@0jXF 8,+*@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua%EqNat%Arith#Coq@0AIgՋXRV *EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼*Equalities*Structures#Coq@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ)Factorial%Arith#Coq@0@oehJd%Field+setoid_ring#Coq@0J _ȫ)Field_tac+setoid_ring#Coq@0d vDZl^۹H>0B~uYٮ٠-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh. ː0k/T=cN"Le%Arith#Coq@0d}Omq+$List%Lists#Coq@0>I+ListTactics%Lists#Coq@0,Jcy{>0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ%Minus%Arith#Coq@0LFtR")Morphisms'Classes#Coq@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$Mult%Arith#Coq@0햖Qyb0$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠$Nnat&NArith#Coq@0$W;s #%M)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ%Omega%omega#Coq@0t.J'6\ϨrK+OmegaLemmas%omega#Coq@0TJ#Jes4Operators_Properties)Relations#Coq@0U3y#h&&Orders*Structures#Coq@0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%0 jha|ؠD0O~2$k[#lZ)Peano_dec%Arith#Coq@0Kݢ*k$Plus%Arith#Coq@04tmG$Pnat&PArith#Coq@0,?pr.gZ(PreOmega%omega#Coq@0\|چBb~w4'Prelude$Init#Coq@0JqTttֱ%Quote%quote#Coq@0J@ŹVz-,3%'Raxioms%Reals#Coq@0S]jnj][LA0(2{Ze$ќ8)RealField+setoid_ring@0 >ʾq /RelationClasses'Classes#Coq@0Gz rA6ՠ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0-SetoidTactics'Classes#Coq@0S_`nOU$; 0;RWMi\N'Sumbool$Bool#Coq@0sB ,$11.]m'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03D2 Q@@A@#_14D@D @A@@@@@@@@#_152M접#_16'`o@A'R_scope@D"@#_17X@'rordersD A@D%(META12696@@@@DHDFD;CC DW@4Coq.Reals.RIneq#<>#1p@D2 Q@@A@#_18De@D>C@A@@@@O@#_192M접 #_20'`o@AM@Dn@#_21X@'rordersDlA@Dq(META12713@@LDNDMDLCC4D@4Coq.Reals.RIneq#<>#2q@DH2 Q@@A@#_22D@DSnQ@A@@@@@#_232M접 #_24'`o@A@D@#_25X@$realDi@@Dd(META12737@@DDDD|DADAD@4Coq.Reals.RIneq#<>#3r@Du2 Q@@A@#_26E@D|f@A@@@@@#_272M접 #_28'`o@A@E @D~2 Q@@A@#_29E&@D@A@@@@@#_302M접 #_31'`o@C@@E2E5D@Dt2 Q@@A@#_32ES@D3@A@@@@=@#_332M접 #_34'`o@C;=@@E_EbD@D|2 Q@@A@#_35E@D,#d@A@@@@j@#_362M접 #_37'`o@Chj@@EED@#_38X@$realEBA@D@E(META1275(META1276E@@yD˚DʶDɚDȶ@DǠD E#E"DE&E%DDDEE-qE@4Coq.Reals.RIneq#<>#4s@D2 Q@@A@#_39E@D3{@A@@@@@#_402M접 #_41'`o@Bՠ@EE@#_42X@$realE @@@E/@F(META1281(META1282EĐEC@F)T@@EEEEEEE EEEEE'EEFX@4Coq.Reals.RIneq#<>#5t@E 2 Q@@A@#_43Ff@E%w@A@@@@P@#_442M접 #_45'`o@BNP@FqFt@E 2 Q@@A@#_46F@E5&@A@@@@y@#_472M접 #_48'`o@Cwy@@FFFF@E2 Q@@A@#_49F@E A@A@@@@@#_502M접 #_51'`o@C@@FȠFˠFe@#_52X@$realFA@(META1285(META1286<@@ETESEREQ@EPFSFREMF9FVG@4Coq.Reals.RIneq#<>#6u@EK2 Q@@A@#_53G@EV 7@A@@@@@#_542M접 #_55'`o@C@@G"G%F@EX2 Q@@A@#_56GC@Ec @ H@A@@@@-@#_572M접 #_58'`o@C+-@@GOGRGH@#_59X@$realEA@E(META1292(META1291=@@4EEEE@EFFکEFF"G@4Coq.Reals.RIneq#<>#7v@#_60X@'rordersEA@(META1298(META1297-@@_1EʚEɶEȚEǶ@EƠGGEàG FMG@4Coq.Reals.RIneq#<>#8w@E2 Q@@A@#_61G@E 6/R@A@@@@@#_622M접 #_63'`o@C@@GՠGؠF@#_64X@$realGA@(META1304(META1303<@@FFFF@FG`G_FGcGFH@4Coq.Reals.RIneq#<>#9x@#_65X@'rordersHA@H (META1310(META1309.@@堓2F3F2F1F0@F/GGF,GGrHA@5Coq.Reals.RIneq#<>#10 k@F*2 Q@@A@#_66HO@F5 A<@A@@@@9@#_672M접 #_68'`o@C79@@H[H^G@#_69X@'rordersGA@(META1316(META1315<@@?FpFoFnFm@FlGG婚FiGG-H@5Coq.Reals.RIneq#<>#11 k@Fg2 Q@@A@#_70H@Fr 7F@A@@@@@#_712M접 #_72'`o@C@@HHH7@#_73X@'rordersH]A@Hb(META1322(META1321=@@FFFF@FHAH@FHDH'H@5Coq.Reals.RIneq#<>#12 k@F2 Q@@A@#_74I@F.J@A@@@@@#_752M접 #_76'`o@C점@@IIH@#_77X@$realHA@H(META1328(META1327=@@FFFF@F萩FHHFHHIT@5Coq.Reals.RIneq#<>#13 k@F2 Q@@A@#_78Ib@F.@A@@@@L@#_792M접 #_80'`o@CJL@@InIqI@F2 Q@@A@#_81I@F.@A@@@@y@#_822M접 #_83'`o@Cwy@@IIIF@F2 Q@@A@#_84I@G.@A@@@@@#_852M접 #_86'`o@C@@IȠIˠIs@G2 Q@@A@#_87I@G.1 @A@@@@@#_882M접 #_89'`o@CѠӠ@@III@G2 Q@@A@#_90J@G.?@A@@@@@#_912M접 #_92'`o@C@@J"J%I@G2 Q@@A@#_93JC@G).?l@A@@@@-@#_942M접 #_95'`o@C+-@@JOJRI@G*2 Q@@A@#_96Jp@G5.0@A@@@@Z@#_972M접 #_98'`o@CXZ@@J|JJ'@G62 Q@@A@#_99J@GA@A@@@@@$_1002M접 $_101'`o@C@@JJJF@$_102X@$realJ_A@JdJ(META1333(META1334B@@GGGG@G~J9J:G{GzJ#J@J@5Coq.Reals.RIneq#<>#14 k@Gx2 Q@@A@$_103K@G3S@A@@@@@$_1042M접 $_105'`o@C蠐@@K KJ@G2 Q@@A@$_106K-@G@A@@@@@$_1072M접 $_108'`o@C@@K9K<J@$_109X@$realJA@JG(META1339(META1340B@@#GКG϶GΚGͶ@G̠JJɩGːGʠJJK@5Coq.Reals.RIneq#<>#15 k@GƠ2 Q@@A@$_110K@G3@A@@@@z@$_1112M접 $_112'`o@Cxz@@KKK@GҠ2 Q@@A@$_113K@G8@A@@@@@$_1142M접 $_115'`o@C@@KɠK̠K@Gޠ2 Q@@A@$_116K@G3-@A@@@@@$_1172M접 $_118'`o@CҠԠ@@KKJ3@G2 Q@@A@$_119L@G8s@A@@@@@$_1202M접 $_121'`o@C@@L#L&L@G2 Q@@A@$_122LD@H3@A@@@@.@$_1232M접 $_124'`o@C,.@@LPLSJ@H2 Q@@A@$_125Lq@H  3v@A@@@@[@$_1262M접 $_127'`o@CY[@@L}LK@$_128X@$realLA@L(META1345(META1346=@@bHIHHHGHF@HEKL L HEKL QL@5Coq.Reals.RIneq#<>#16 k@HC2 Q@@A@$_129L@HN 3vU@A@@@@@$_1302M접 $_131'`o@C@@L٠LܠK@$_132X@$realK!A@K&(META1351(META1352=@@HHHH@HLQLfLeHLLLiM@5Coq.Reals.RIneq#<>#17 k@H2 Q@@A@$_133M)@H b@A@@@@ @$_1342M접 $_135'`o@C  @@M5M8LZ@$_136X@$realM9A@M>(META1357(META1358=@@ H˚HʶHɚHȶ@HǰLLL©HǠLL Mw@5Coq.Reals.RIneq#<>#18 k@HŠ2 Q@@A@$_137M@H@A@@@@ o@$_1382M접 $_139'`o@C m o@@MML@$_140X@$realKA@Kޠ(META1363(META1364=@@ vI I I I @IM MMIMM!eM@5Coq.Reals.RIneq#<>#19 k@I2 Q@@A@$_141M@IML@A@@@@ @$_1422M접 $_143'`o@C ɠ ˠ@@MM𠐑Mo@I2 Q@@A@$_144N@I>`K@A@@@@ @$_1452M접 $_146'`o@D  @@@NNNN@$_147X@$realMN@B@N8(META1369(META1370D@@ I`I_I^I]@I\MM@IYMMIXImIXMNg@5Coq.Reals.RIneq#<>#20 k@IV2 Q@@A@$_148Nu@IaP @A@@@@ _@$_1492M접 $_150'`o@D ] _@@@NNLL@Ie2 Q@@A@$_151N@Ip" fH@A@@@@ @$_1522M접 $_153'`o@B  @NN@I[2 Q@@A@$_154N@Ift@A@@@@ @$_1552M접 $_156'`o@B  @NڠN@IX2 Q@@A@$_157N@Ic{*@A@@@@ @$_1582M접 $_159'`o@G ࠐ ⠐ 䠐 @@@@O O OON5NN;@Id2 Q@@A@$_160O7@IoS@A@@@@ !@$_1612M접 $_162'`o@G  ! # %@@@@OIOLOOORNtNԠNz@It2 Q@@A@$_163Ov@I"@A@@@@ `@$_1642M접 $_165'`o@E ^ ` b@@@OOOOO@I{2 Q@@A@$_166O@I7@A@@@@ @$_1672M접 $_168'`o@E   @@@OOOMM@I2 Q@@A@$_169O@IȠ@A@@@@ @$_1702M접 $_171'`o@E ʠ ̠ Π@@@O񠐑OOOvOy@I2 Q@@A@$_172P@I*G@A@@@@ @$_1732M접 $_174'`o@E   @@@P'P*P-P#O@I2 Q@@A@$_175PN@I9@A@@@@ 8@$_1762M접 $_177'`o@E 6 8 :@@@P]P`PcOP\@I2 Q@@A@$_178P@I@A@@@@ n@$_1792M접 $_180'`o@E l n p@@@PPPNӠP@Iˠ2 Q@@A@$_181P@I.@A@@@@ @$_1822M접 $_183'`o@E   @@@PɠP̠PϠPNO @I۠2 Q@@A@$_184P@I4@A@@@@ @$_1852M접 $_186'`o@B ؠ @PP@IӠ2 Q@@A@$_187Q@I3@A@@@@ @$_1882M접 $_189'`o@B  @Q$Q'@I֠2 Q@@A@$_190QB@I3Y4@A@@@@ ,@$_1912M접 $_192'`o@B * ,@QMQP@I٠2 Q@@A@$_193Qk@I3;5@A@@@@ U@$_1942M접 $_195'`o@B S U@QvQy@Iܠ2 Q@@A@$_196Q@IP@A@@@@ ~@$_1972M접 $_198'`o@B | ~@QQ@I2 Q@@A@$_199Q@I@A@@@@ @$_2002M접 $_201'`o@B  @QȠQ@I2 Q@@A@$_202Q@I8?q@A@@@@ @$_2032M접 $_204'`o@B Π @Q񠐑Q@I2 Q@@A@$_205R@I2}@A@@@@ @$_2062M접 $_207'`o@B  @RR@I2 Q@@A@$_208R8@J #@A@@@@"@$_2092M접 $_210'`o@B "@RCRF@I2 Q@@A@$_211Ra@J @A@@@@K@$_2122M접 $_213'`o@BIK@RlRo@J2 Q@@A@$_214R@J"R@A@@@@t@$_2152M접 $_216'`o@Brt@RR@J 2 Q@@A@$_217R@J@A@@@@@$_2182M접 $_219'`o@B@RR@J2 Q@@A@$_220R@J+YJ@A@@@@@$_2212M접 $_222'`o@CĠƠ@@R蠐R렐R@J2 Q@@A@$_223S @J'vA@A@@@@@$_2242M접 $_225'`o@E@@SSSS"J8@J2 Q@@A@$_226S@@J H@A@@@@*@$_2272M접 $_228'`o@A(@SI@$_229X@$realRs@@@J(J#(META1377J#J@A E@@9JPJOJNJMJFRਗ਼JAJ9R)S@5Coq.Reals.RIneq#<>#21 k@J+2 Q@@A@$_230S@J6T@A@@@@@$_2312M접 $_232'`o@A@S@$_233X@$realNz@@@R@JJ(META1379JJ@A R@JJJJ@A')g@@JJJJJשJSjJJSnJJ⩚JJJSySyT,@5Coq.Reals.RIneq#<>#22 k@J2 Q@@A@$_234T:@J73@A@@@@$@$_2352M접 $_236'`o@A"@TC@$_237X@$realSm@@@K"KJ(META1381K$K@AJ@@8JJߩJްKLJޠJݐSS⩚JאJ+T@5Coq.Reals.RIneq#<>#23 k@JӠ2 Q@@A@$_238T@J~F@A@@@@@$_2392M접 $_240'`o@C@@TTS@JΠ2 Q@@@@$_241T@J!-@$_2422M접 EE@A$_243'`o@E*type_scope.function_scope @@@AT蠐T렐J@$_244X@$realJ@A@(META1383(META1384(META1385(META1386Q@@٠K"K K@KT|KKKK@KK#TTKOwP,TmP.TU>@5Coq.Reals.RIneq#<>#24 k@K2 Q@@A@$_245UL@K @A@@@@6@$_2462M접 $_247'`o@D468@@UZU]U`T@K 2 Q@@A@$_248U~@K@A@@@@h@$_2492M접 $_250'`o@Dfhj@@UUUT@K2 Q@@A@$_251U@K7X@A@@@@@$_2522M접 $_253'`o@D@@UUUĠT@$_254X@$realT@B@Uۛ(META1394(META1395E@@KcKbKaK`K_K^@K]L©K]U9UVKZU<UXKWKqU@U]V@5Coq.Reals.RIneq#<>#25 k@KV2 Q@@A@$_255V@Ka7X@A@@@@@$_2562M접 $_257'`o@D @@V+V.V1US@K]2 Q@@A@$_258VO@KhHc@A@@@@9@$_2592M접 $_260'`o@C79@@V[V^U@Kd2 Q@@A@$_261V|@Ko@A@@@@f@$_2622M접 $_263'`o@Edf@@@@VVVVU@K_2 Q@@A@$_264V@Kj7(@A@@@@@$_2652M접 $_266'`o@E@@@@VV VVU@K?2 Q@@A@$_267V@KJ ;:@A@@@@@$_2682M접 $_269'`o@BΠ@@V𠐑V@$_270X@$realV@A@MҤK_(META1401K`MԐM@BKb@CU@@KK@KKKVKMgKNKVKVKKK W_@5Coq.Reals.RIneq#<>#26 k@K2 Q@@A@$_271Wm@K9`g~@A@@@@W@$_2722M접 $_273'`o@BU@@WwW@$_274X@$realV@A@KNLNG@BK@CKK(META1405U@@vKK@K䐩K㰚KWK␜MKⰚKᩚKސKݐLKܠKېW4W4!xW@5Coq.Reals.RIneq#<>#27 k@K٠2 Q@@A@$_275W@K9lU@A@@@@@$_2762M접 $_277'`o@Bܠ@@WW@$_278X@$realW+@A@L+NӐN@BLa@CL~(META1409LU@@L8L7@L6L5L?WL4NuL4LhL4L3LL2WL1W!Xm@5Coq.Reals.RIneq#<>#28 k@L/2 Q@@A@$_279X{@L:+@A@@@@e@$_2802M접 $_281'`o@Ac@X@$_282X@$realW@@@OcL𠛐(META1413O^OX@AOhOb@AM@@|LLLOLX#LLLL~"pX@5Coq.Reals.RIneq#<>#29 k@L{2 Q@@A@$_283X@L+@A@@@@@$_2842M접 $_285'`o@A@X@$_286X@$realX@@@OԤMaO̐O@A(META1415OِO@AM@@LҚLѩLаPLРLϐLXLːL"YO@5Coq.Reals.RIneq#<>#30 k@LǠ2 Q@@A@$_287Y]@LF@A@@@@G@$_2882M접 $_289'`o@AE@Yf@$_290X@$realT2@@@X@PKMؠ(META1417PFPA@BL@CX@PoMPgPb@BM@C57u@@MFMEMDMCPMCY0MAM@M>Y7M4PM4M3M2M0YEYE#Y@5Coq.Reals.RIneq#<>#31 k@M+2 Q@@A@$_291Z@M6+1@A@@@@@$_2922M접 $_293'`o@A@Z@$_294X@$realY9@@@PN{(META1419P鐤P@BM@CL@@MMMQMYM}M|MzY#Zg@5Coq.Reals.RIneq#<>#32 k@Mv2 Q@@A@$_295Zu@M$@A@@@@_@$_2962M접 $_297'`o@D]_a@@ZZZY@M2 Q@@A@$_298Z@M$@A@@@@@$_2992M접 $_300'`o@D@@ZZZY@M2 Q@@A@$_301Z@MA@A@@@@@$_3022M접 $_303'`o@EàŠ@@@Z蠐Z렐ZZZ@M2 Q@@A@$_304[@MA#@A@@@@@$_3052M접 $_306'`o@E@@@[[![$ZFZ@M2 Q@@A@$_307[E@Mq@A@@@@/@$_3082M접 $_309'`o@C-/@@[Q[TZv@M|2 Q@@A@$_310[r@Mo@A@@@@\@$_3112M접 $_312'`o@CZ\@@[~[Z@$_313X@$realZ@A@RcO𠛐(META1421(META1422RaQ@AO@@uM՚MԶMӚMҶ@MѠMаM[ MϐQ者MϰM['MΐQMΰRMΠ[[3M͐R%{[@5Coq.Reals.RIneq#<>#33 k@M̠2 Q@@A@$_314[@M @A@@@@@$_3152M접 $_316'`o@Cߠ@@\\[(@MΠ2 Q@@A@$_317\$@M @A@@@@@$_3182M접 $_319'`o@C @@\0\3[U@MР2 Q@@A@$_320\Q@M@A@@@@;@$_3212M접 $_322'`o@C9;@@\]\`\@M2 Q@@A@$_323\~@M\0@A@@@@h@$_3242M접 $_325'`o@Cfh@@\\WQ@$_326X@$real\@A@[@[𤐑MР(META1427(META1428M됐R@AT@@NNNN@NN\*\\4N SN\5\*\>NSN\@\5N\0\MN&S&]@5Coq.Reals.RIneq#<>#34 k@N2 Q@@A@$_327]@N @A@@@@@$_3282M접 $_329'`o@D@@@]]!\ɠ\@N2 Q@@A@$_330]B@N~@A@@@@,@$_3312M접 $_332'`o@C*,.@]O]R]U@M2 Q@@@@$_333:-X@$_3342M접 Q$_335'`o@AW@]x@$_336@AA@@A@@@$_ ²@A  @@]"²@@@A@@@@$_337%c?@'R_scope]@@@:Р]@@@@&]@$r ²N;2 Q@@A@$_338]@NF OgA@A@@@@@$_3392M접 $_340'`o@@@@ND2 Q@@A@$_341]@NO&@A@@@@@$_3422M접 $_343'`o@BҠ@@]]@NS2 Q@@A@$_344^@N^u@A@@@@@$_3452M접 $_346'`o@C@@^^!]C@$_347X@$real]N@A@UT(META1433T(META1434J@@NNNN@NN]]NU+N]N](^t@5Coq.Reals.RIneq#<>#35 k@N2 Q@@A@$_348^@N GU`@A@@@@l@$_3492M접 $_350'`o@@@@$_351X@$real]@@@UeTU]UW@AUgUa@AE@@{N(^^@5Coq.Reals.RIneq#<>#36 k@N֠2 Q@@A@$_352^@N8!@A@@@@@$_3532M접 $_354'`o@B @@^䠐^@$_355X@$real^@A@UƤUV(META1439UU@AG@@ՠO'O&@O%O+^zO$UJO$UO$^O#O"(_<@5Coq.Reals.RIneq#<>#37 k@O2 Q@@A@$_356_J@O*"2@A@@@@4@$_3572M접 $_358'`o@A2@_S@$_359X@$real^}@@@V2UUǐ(META1443@@@>OiOhOgVROgOf^^)-_@5Coq.Reals.RIneq#<>#38 k@Ob2 Q@@A@$_360_@Om9@A@@@@@$_3612M접 $_362'`o@B@@__[@$_363X@$real_fA@_@_O(META1445QV@AL@@OO@O_H_=_QQ+V!O_S_HO_`Q9V/)`@5Coq.Reals.RIneq#<>#39 k@O2 Q@@A@$_364`$@O:@A@@@@@$_3652M접 $_366'`o@B @`/`2@$_367X@$real_\@@@WVW(META1449(META1450WVVY@@1P!P PPPWGPP__ݩPP_䩚P_*+`@5Coq.Reals.RIneq#<>#40 k@P2 Q@@A@$_368`@P< !f@A@@@@@$_3692M접 $_370'`o@B@``@P2 Q@@A@$_371`@P/Mv@A@@@@@$_3722M접 $_373'`o@B@`۠`@$_374X@$real`@@@WUJWR(META1453(META1454W]U_T@@ؠPpPoPnPmPlWPlPk``PhPg``*a=@5Coq.Reals.RIneq#<>#41 k@Pc2 Q@@A@$_375aK@Pn;-@A@@@@5@$_3762M접 $_377'`o@B35@aVaY@$_378X@$real`@@@X8UŠW͐(META1457WՐ(META1458Uڠ T@@SPPPPPXiPPaPaPaa+Ja@5Coq.Reals.RIneq#<>#42 k@P2 Q@@A@$_379a@P< !l@A@@@@@$_3802M접 $_381'`o@B@aѠa@P2 Q@@A@$_382a@P)@A@@@@@$_3832M접 $_384'`o@Bנ@aa@P2 Q@@A@$_385b@P- @A@@@@@$_3862M접 $_387'`o@A@b!@$_388X@$realaK@@@VKPڠ(META1461XX@A E@@QQPPPaPPa,bo@5Coq.Reals.RIneq#<>#43 k@P2 Q@@A@$_389b}@P- @A@@@@g@$_3902M접 $_391'`o@Ae@b@$_392X@$reala@@@VQ?Y]YW@A(META1463YJ@@{QGQFQEQhQEQDQCb&Q@b),nb@5Coq.Reals.RIneq#<>#44 k@Q=2 Q@@A@$_393b@QH@A@@@@@$_3942M접 $_395'`o@BҠ@bb@$_396X@$realb"@@@YפYgQ(META1465(META1466Q O@@QQQQQZQQbbQbb,cO@5Coq.Reals.RIneq#<>#45 k@Q2 Q@@A@$_397c]@Q%~@A@@@@G@$_3982M접 $_399'`o@BEG@chck@Q2 Q@@A@$_400c@Q-@A@@@@p@$_4012M접 $_402'`o@Cnp@@ccb@$_403X@$realb@A@W¤RQ(META1469(META1470ZuZo@AO@@QQQQ@QⰚQc1c0QచR}Qcc8QߐQ-c@5Coq.Reals.RIneq#<>#46 k@Q۠2 Q@@A@$_404c@Q)6@A@@@@@$_4052M접 $_406'`o@C䠐@@dd c-@$_407X@$realc8A@c=@d#(META1475(META1476A@@񠓰R&R%R$R#@R"RᩚR"ccRZkRR7cc-dV@5Coq.Reals.RIneq#<>#47 k@R2 Q@@A@$_408dd@R) @A@@@@ N@$_4092M접 $_410'`o@C L N@@dpdsc@$_411X@$realcA@c@d(META1481(META1482A@@ YRiRhRgRf@ReSIReddRbZөRbRzcd .Pd@5Coq.Reals.RIneq#<>#48 k@Ra2 Q@@A@$_412d@Rl7[@A@@@@ @$_4132M접 $_414'`o@B  @dנd@$_415X@$reald@@@[[(META1487S(META1488 J@@ ʠRRRRR[ਗ਼RdtRdvdwdv.e)@5Coq.Reals.RIneq#<>#49 k@R2 Q@@A@$_416e7@Rw@A@@@@!!@$_4172M접 $_418'`o@C!!!@@eCeFd@$_419X@$realdA@d@dRՠ(META1491(META1492V[@AT@@!?SSSS@Sdచddd驚Sd簚dܩSddV͐[/<e@5Coq.Reals.RIneq#<>#50 k@S2 Q@@A@$_420e@S. @A@@@@!@$_4212M접 $_422'`o@C!!@@eĠeǠeo@$_423X@$realezA@e2@e*(META1497(META1498E@@!SUSTSSSR@SQeReGSqe_e^W8\.SWe`eUeMej/f@5Coq.Reals.RIneq#<>#51 k@SY2 Q@@A@$_424f*@Sd8K2@A@@@@"@$_4252M접 $_426'`o@C""@@f6f9e@$_427X@$realeA@e@e(META1503(META1504E@@"#SSSS@SeİeSeeѩW\SeҰeee0 f@5Coq.Reals.RIneq#<>#52 k@S2 Q@@A@$_428f@S Io@A@@@@"@$_4292M접 $_430'`o@C"""@fff@S2 Q@@A@$_431f@S ;9@A@@@@"@$_4322M접 $_433'`o@@@@$_434X@$reale@@@][3]]@B[3@C]]@B[D@CS@@"ѠT0g"@5Coq.Reals.RIneq#<>#53 k@S2 Q@@A@$_435g0@S1j@A@@@@#@$_4362M접 $_437'`o@B#@@g:f@$_438X@$realfA@f@fT(META1509X]@AL@@#0T=T<@T;fϰffةX]TBfڰfϩTCf穚X]1/g@5Coq.Reals.RIneq#<>#54 k@TC2 Q@@A@$_439g@TNCa@A@@@@#@$_4402M접 $_441'`o@B#@@gg]@$_442X@$realf@A@^\\"(META1513D@@#TT@TTTgKT^T^éTTgZgZ1h @5Coq.Reals.RIneq#<>#55 k@T2 Q@@A@$_443h@T@A@@@@$@$_4442M접 $_445'`o@D$$@@@h'h*gҠg@Tv2 Q@@A@$_446hK@T>)@A@@@@$5@$_4472M접 $_448'`o@B$3@@hUg@Tn2 Q@@A@$_449hs@Ty= @A@@@@$]@$_4502M접 $_451'`o@C$[$]@@hhh*@Tk2 Q@@A@$_452h@Tv= @A@@@@$@$_4532M접 $_454'`o@C$$@@hhhW@Th2 Q@@A@$_455h@Ts= @A@@@@$@$_4562M접 $_457'`o@C$$@@h٠hܠh@$_458X@$realh @A@_]K]P(META1518(META1517]T @@$ԠTTTT@T񐩛TThT_NTﰚ_TThhpThsh2iB@5Coq.Reals.RIneq#<>#56 k֠hX@A@` ]](META1520](META1521@@%#UtUsUrUq@UpUoU}hΩUn_Un`EUnUmhUlhhh3#i@5Coq.Reals.RIneq#<>#57 kנh@A@`\]頤](META1523(META1524]򐛐  @@%rUcUbUaU`@U_U^UliU]_쩛U]`U]U\ii+U[ii.3ri@5Coq.Reals.RIneq#<>#58 k@UY2 Q@@A@$_459i@Ud@A@@@@%@$_4602M접 $_461'`o@D%֠%ؠ%ڠ@@iiji@UG2 Q@@A@$_462j @UR8$@A@@@@& @$_4632M접 $_464'`o@D&& & @@j.j1j4i@$_465X@$realiA@a (META1535(META1536a (META1537P@@&$UUUUUU@Uii̩UUeviUeyi4j@5Coq.Reals.RIneq#<>#59 k@U2 Q@@A@$_466j@U8@A@@@@&@$_4672M접 $_468'`o@D&~&&@@jjjjD@$_469X@$realjOA@a(META1544(META1543a(META1545 P@@&UUUUUU@UjCjBU堩Uj,e쩚UjLe4j@5Coq.Reals.RIneq#<>#60 k@U2 Q@@A@$_470k @U8*@A@@@@&@$_4712M접 $_472'`o@D&&&@@kkk j@U2 Q@@A@$_473k>@U?@A@@@@'(@$_4742M접 $_475'`o@D'&'('*@@kLkOkRkH@U2 Q@@A@$_476kp@V?xPg@A@@@@'Z@$_4772M접 $_478'`o@D'X'Z'\@@k~kki@$_479X@$realiA@b](META1551(META1552bh (META1553P@@'tVOVNVMVLVKVJ@VIkkVFVEfkVDfk&5jk@5Coq.Reals.RIneq#<>#61 k@VB2 Q@@A@$_480k@VM?@A@@@@'@$_4812M접 $_482'`o@D'Π'Р'Ҡ@@kkkk@$_483X@$realkA@V(META1559(META1560VĠ (META1561@@'ꠐVVVVVV@VkkV堩Vg<k|Vg?k5lN@5Coq.Reals.RIneq#<>#62 k堠l8A@V(META1564(META1563W(META1565 @@('VٚVضVךVֶV՚VԶ@VӠkkϩVҠW!kgyW$kg|6l@5Coq.Reals.RIneq#<>#63 k@VҠ2 Q@@A@$_484l@V?xPm@A@@@@(@$_4852M접 $_486'`o@D(((@@lllj@V۠2 Q@@A@$_487l@V":@A@@@@(@$_4882M접 $_489'`o@F((((@@@lܠlߠl⠐l堐ll@$_490X@$reallA@lc (META1575(META1577c͠(META1576(META1578[@@(ڠW@W?W>W=W<W;W:W9@W8h(lh@W5lllW4W3W2h2W1glu6mD@5Coq.Reals.RIneq#<>#64 k@W/2 Q@@A@$_491mR@W:z9@A@@@@)<@$_4922M접 $_493'`o@F):)<)>)@@@@mcmfmimlmbme@$_494X@$realmpA@mudI(META1587(META1589dT(META1588(META1590[@@)aWWWWWWWW@Whl@WlmWWWhWhl7]m@5Coq.Reals.RIneq#<>#65 k@W2 Q@@A@$_495m@W*3#@A@@@@)@$_4962M접 $_497'`o@F))à)Š)Ǡ@@@mꠐmm𠐑m󠐑mrmu@W2 Q@@A@$_498n@W=1@A@@@@)@$_4992M접 $_500'`o@F))**@@@n%n(n+n.lhlk@W2 Q@@A@$_501nO@W@A@@@@*9@$_5022M접 $_503'`o@F*7*9*;*=@@@n`ncnfninnb@W2 Q@@A@$_504n@W!@A@@@@*t@$_5052M접 $_506'`o@F*r*t*v*x@@@nnnnnnA@$_507X@$realnLA@nQe(META1599(META1601e(META1600(META1602@@*X6X5X4X3X2X1X0X/@X.in'@X+n+nHX*X)XiX(i@n48o@5Coq.Reals.RIneq#<>#66 k頠nA@neƠ(META1605(META1607eѠ(META1606(META1608@@*ޠXIXHXGXFXEXDXCXB@XAj,nl@X>npnX=X<Y6j6X;iny8oH@5Coq.Reals.RIneq#<>#67 k@X92 Q@@A@$_508oV@XD:^@A@@@@+@@$_5092M접 $_510'`o@F+>+@+B+D@@@ogojomopnm@XB2 Q@@A@$_511o@XM@A@@@@+{@$_5122M접 $_513'`o@F+y+{+}+@@@oooom堐o-@XK2 Q@@A@$_514o@XV-P@A@@@@+@$_5152M접 $_516'`o@D++@@@o٠oܠovoy@XH2 Q@@A@$_517o@XS&_@A@@@@+@$_5182M접 $_519'`o@D+堐+@@@p p po@XE2 Q@@A@$_520p.@XP@A@@@@,@$_5212M접 $_522'`o@D,,@@@p;p>oؠp7@XB2 Q@@A@$_523p_@XM 9@A@@@@,I@$_5242M접 $_525'`o@D,G,I@@@plpopeph@X?2 Q@@A@$_526p@XJ@A@@@@,z@$_5272M접 $_528'`o@J,x,z,|,~,,@@@@@ppppppppSpVp@X/2 Q@@A@$_529p@X:5=@A@@@@,@$_5302M접 $_531'`o@D,Š,Ǡ,ɠ@@p렐pp񠐑p@X62 Q@@A@$_532q@XA5=@A@@@@,@$_5332M접 $_534'`o@D,,,@@qq q#p@X=2 Q@@A@$_535qA@XH -<@A@@@@-+@$_5362M접 $_537'`o@D-)-+--@@qOqRqUqK@XM2 Q@@A@$_538qs@XX -B@A@@@@-]@$_5392M접 $_540'`o@D-[-]-_@@qqqq}@XT2 Q@@A@$_541q@X_*ؼl@A@@@@-@$_5422M접 $_543'`o@D---@@qqqq8@Xg2 Q@@A@$_544q@Xr@A@@@@-@$_5452M접 $_546'`o@D---à@@q堐q蠐q렐p%@Xn2 Q@@A@$_547r @Xy!'@A@@@@-@$_5482M접 $_549'`o@E---@@@rrrrr@Xw2 Q@@A@$_550r?@X~@A@@@@.)@$_5512M접 $_552'`o@E.'.).+@@@rNrQrTrJq@X2 Q@@A@$_553ru@X><@A@@@@._@$_5542M접 $_555'`o@E.]._.a@@@rrrpĠp@X2 Q@@A@$_556r@XC@A@@@@.@$_5572M접 $_558'`o@E...@@@rrrprB@X2 Q@@A@$_559r@X!Y@A@@@@.@$_5602M접 $_561'`o@C.ɠ.ˠ@@rr𠐑ro@$_562X@$corerA@b(META1623bʐ(META1624F@@.۠XXXX߶@XޠrrXݠbrkbr<s=@5Coq.Reals.RIneq#<>#68 k@Xߠ2 Q@@A@$_563sK@XY@A@@@@/5@$_5642M접 $_565'`o@C/3/5@@sWsZr@$_566X@$realrA@c,(META1629c4(META1630F@@/EY/Y.Y-Y,@Y+rr멚Y*cPrթcSr=9s@5Coq.Reals.RIneq#<>#69 k@Y.2 Q@@A@$_567s@Y9>@A@@@@/@$_5682M접 $_569'`o@C//@@ssĠs^@$_570X@$realsiA@j2(META1635j:(META1636F@@/Y~Y}Y|Y{@YzsUsVYwYvs?Yus_=t@5Coq.Reals.RIneq#<>#70 k@Ys2 Q@@A@$_571t@Y~< @A@@@@0 @$_5722M접 $_573'`o@C00 @@t+t.s@Y{2 Q@@A@$_574tL@Y(IJk@A@@@@06@$_5752M접 $_576'`o@C0406@@tXt[tQ@$_577X@$realrA@d-(META1641d5(META1642F@@0FY˚YʶYɚYȶ@YǠss쩚YƠdQs֩dTs>:t@5Coq.Reals.RIneq#<>#71 k@Yʠ2 Q@@A@$_578t@Y>@A@@@@0@$_5792M접 $_580'`o@C00@@t tŠr@$_581X@$realtA@d(META1647d(META1648F@@0ZZZZ@ZtWtVZdt@dt`>u@5Coq.Reals.RIneq#<>#72 k@Z2 Q@@A@$_582u @Z$>=a@A@@@@1 @$_5832M접 $_584'`o@C11 @@u,u/u%@$_585X@$realu0A@k(META1653k(META1654F@@1ZiZhZgZf@ZettZbZatZ`t?u|@5Coq.Reals.RIneq#<>#73 k@Z^2 Q@@A@$_586u@Zi;@A@@@@1t@$_5872M접 $_588'`o@C1r1t@@uus@Zf2 Q@@A@$_589u@Zq2 @A@@@@1@$_5902M접 $_591'`o@B1@@uu[@$_592X@$realuKA@ll@Al9(META1659C@@1ZZ@ZZl"uVZZZZua?v@5Coq.Reals.RIneq#<>#74 k@Z2 Q@@A@$_593v!@Z @A@@@@2 @$_5942M접 $_595'`o@B2 @@v+u@$_596X@$realuA@ll@Al(META1663C@@2ZZ@ZZluZ򠩚ZZZu@v}@5Coq.Reals.RIneq#<>#75 k@Z2 Q@@A@$_597v@Z"ڴ@A@@@@2u@$_5982M접 $_599'`o@B2s@@vv@$_600X@$realv:A@m(META1667mnmh@AC@@2[9[8@[7v&[5l[5[4v1[3[2@yv@5Coq.Reals.RIneq#<>#76 k@[/2 Q@@A@$_601v@[:ߞ@A@@@@2@$_6022M접 $_603'`o@B2ݠ@@vv@$_604X@$realvA@mm(META1671mؐm@AC@@2점[|[{@[zv[xm`[x[wv[v[u@wQ@5Coq.Reals.RIneq#<>#77 k@[r2 Q@@A@$_605w_@[},0@A@@@@3I@$_6062M접 $_607'`o@B3G@@wiw_@$_608X@$realuA@n:n4@Amᐛ(META1675C@@3V[[@[[mv[[[[w AMw@5Coq.Reals.RIneq#<>#78 k@[2 Q@@A@$_609w@[-l@A@@@@3@$_6102M접 $_611'`o@B3@@wӠv @$_612X@$realwA@nn@AnK(META1679C@@3\\@\[n4wh[[[[wsAx%@5Coq.Reals.RIneq#<>#79 k@[2 Q@@A@$_613x3@\#m@A@@@@4@$_6142M접 $_615'`o@C44@@x?xBw@$_616X@$realwA@w젛(META1683(META1684=@@4$\?\>\=\<@\;\:wͩ\8wѩ\6wwBx@5Coq.Reals.RIneq#<>#80 k @\42 Q@@A@$_617x@\?e@A@@@@4~@$_6182M접 $_619'`o@C4|4~@@xxx"@\<2 Q@@A@$_620x@\Gcld@A@@@@4@$_6212M접 $_622'`o@C44@@x͠xРx@$_623X@$realxA@x֠(META1689(META1690=@@4\\\\@\\~x[\|x_\zxExbBy@5Coq.Reals.RIneq#<>#81 k @\x2 Q@@A@$_624y"@\>d@A@@@@5 @$_6252M접 $_626'`o@C5 5 @@y.y1wk@\2 Q@@A@$_627yO@\ ?r@A@@@@59@$_6282M접 $_629'`o@E57595;@@@y^yaydxy@$_630X@wy B@mѠ(META1696(META1695mܠ(META1697 S@@5V\ݚ\ܶ\ۚ\ڶ\ٚ\ض@\נ\֐ox@\ՠxy\Ԡ\Ӡts\ҠxsCTy@5Coq.Reals.RIneq#<>#82 k @\Р2 Q@@A@$_631y@\ @A@@@@5@$_6322M접 $_633'`o@E555@@@yߠy⠐y堐ydyg@\ՠ2 Q@@A@$_634z@\ @A@@@@5@$_6352M접 $_636'`o@E555@@@zzzyy@\ڠ2 Q@@A@$_637z<@\@A@@@@6&@$_6382M접 $_639'`o@E6$6&6(@@@zKzNzQzGzJ@$_640X@$realzUB@n(META1705(META1706nʠ (META1707T@@6D]8]7]6]5]4]3@]2]1pyԶ@]0yy]/].tu]-tyDBz@5Coq.Reals.RIneq#<>#83 k @]+2 Q@@A@$_641z@]6@A@@@@6@$_6422M접 $_643'`o@E666@@@z͠zРzӠzɠz@$_644X@$realzB@oA(META1716(META1715oL(META1717 T@@6Ơ]]]]]]@]]q>zV@]zZzw]]v ul]~zcuoD{2@5Coq.Reals.RIneq#<>#84 k @]|2 Q@@A@$_645{@@]-@A@@@@7*@$_6462M접 $_647'`o@E7(7*7,@@@{O{R{Uyy@]2 Q@@A@$_648{v@]3@A@@@@7`@$_6492M접 $_650'`o@E7^7`7b@@@{{{yŠy@]2 Q@@A@$_651{@]5i@A@@@@7@$_6522M접 $_653'`o@H7777@@@@@{{ {Š{Ƞ{{{Ġ{@$_654X@$real{D@p<(META1725(META1727pG(META1726(META1728b@@7 ]]]]]]]]@]꠩]鐜r<w@]蠩]琜rD{\@]f vl@]vpw$]堩]cf*]vzvyE|<@5Coq.Reals.RIneq#<>#85 k@]2 Q@@A@$_655|J@]02@A@@@@84@$_6562M접 $_657'`o@H82848688@@@@@|]|`|c|fzzzz@]2 Q@@A@$_658|@]8F @A@@@@8w@$_6592M접 $_660'`o@H8u8w8y8{@@@@@|||||(|+|I|L@]2 Q@@A@$_661|@]2o=/@A@@@@8@$_6622M접 $_663'`o@H8888@@@@@|㠐|栐|預|점|⠐|堐||@]2 Q@@A@$_664}@]=@A@@@@8@$_6652M접 $_666'`o@D88@@@} }#||@]ޠ2 Q@@A@$_667}D@]=819-@$_6682M접  $_669'`o@D9+9-@@@}P}S|Ҡ|@]Ԡ2 Q@@A@$_670}t@]1t@A@@@@9^@$_6712M접 $_672'`o@E9\9^9`@@@}}}}}@$_673X@$real}B@q(META1741(META1743r (META1742T@@9|^2^1^0^/^.^-@^,}^*s@^*}}-^)^(x"}^'x%xGz}@5Coq.Reals.RIneq#<>#86 k@^%2 Q@@A@$_674}@^0J@A@@@@9@$_6752M접 $_676'`o@E9ޠ9ࠐ9@@@~~~ ~~@$_677X@$real|SB@ry(META1751(META1752r (META1753T@@9^^^^^^~@^}}^{tv@^{}}^z^yxyX^xx}G~j@5Coq.Reals.RIneq#<>#87 k@^v2 Q@@A@$_678~x@^@A@@@@:b@$_6792M접 $_680'`o@E:`:b:d@@@~~~~'~*@^{2 Q@@A@$_681~@^>e@A@@@@:@$_6822M접 $_683'`o@E:::@@@~~~à~]~`@^2 Q@@A@$_684~@^>k@A@@@@:@$_6852M접 $_686'`o@E:̠:Π:Р@@@~󠐑~~~~@^2 Q@@A@$_687@^49@A@@@@;@$_6882M접 $_689'`o@E;;;@@@),/~ɠ~@^2 Q@@A@$_690P@^@A@@@@;:@$_6912M접 $_692'`o@E;8;:;<@@@_be~^@^2 Q@@A@$_693@^@A@@@@;p@$_6942M접 $_695'`o@E;n;p;r@@@5@^2 Q@@A@$_696@^ u@A@@@@;@$_6972M접 $_698'`o@C;;@@Ƞˠe@$_699X@$realpA@n(META1761(META1762vv@AK@@;^^^^@^ba^⠩^Kh^^I@5Coq.Reals.RIneq#<>#88 k@^ܠ2 Q@@A@$_700,@^@A@@@@<@$_7012M접 $_702'`o@C<<@@8;@^2 Q@@A@$_703Y@^@A@@@@#97 k#@al2 Q@@A@$_774M@aw>5@A@@@@B7@$_7752M접 $_776'`o@CB5B7@@Y\@a~2 Q@@A@$_777z@a=s@A@@@@Bd@$_7782M접 $_779'`o@A)nat_scope@a@aS2 Q@@A@$_780@a^D@A@@@@B@$_7812M접 $_782'`o@A%@a@a*2 Q@@A@$_783@a5 @A@@@@B@$_7842M접 $_785'`o@BIK@a᠐a@$_786X@$real@@@a礐aސa(META1803(META1804}a󐛐aY@@BРaaaaabaa}|aaaP8@5Coq.Reals.RIneq#<>#98 k$@a~2 Q@@A@$_787F@a"ӳ@A@@@@C0@$_7882M접 $_789'`o@C̠Π@@bebha@$_790X@$real@A@bnbea(META1807(META1808v!bzb]@@CWaaaa@aaӰbaӐaҠaΠa͐a̐QU@5Coq.Reals.RIneq#<>#99 k%@aʠ2 Q@@A@$_791@a>@A@@@@C@$_7922M접 $_793'`o@BWY@bb@$_794X@$real @@@bb쐤a(META1813(META1814|[ccY@@Cޠb-b,b+b*b)c+b)b(b"b!bQF@6Coq.Reals.RIneq#<>#10079 @b2 Q@@A@$_795T@b'@A@@@@D>@$_7962M접 $_797'`o@Bڠ@crcu@a2 Q@@A@$_798}@b @A@@@@Dg@$_7992M접 $_800'`o@B@@cb@$_801X@$real,A@XR@Ac(META1817C@@DtbJbI@bHbDb@b?b>b<$Rh@6Coq.Reals.RIneq#<>#10179 @b:2 Q@@A@$_802@bE%@A@@@@D@$_8032M접 $_804'`o@Cjl@@ddb@$_805X@$realA@c(META1821d(META1822F@@Dޠbbbb@bbbnbR@@6Coq.Reals.RIneq#<>#10279 @b2 Q@@A@$_806N@b @A@@@@E8@$_8072M접 $_808'`o@BԠ@@dkb@$_809X@$realA@)$@B|@Cdu(META1827J@@ELbӛbҶ@bѠbАbbˠbʐbɐbǩbŐSF@6Coq.Reals.RIneq#<>#10379 @bà2 Q@@A@$_810@b9@A@@@@E@$_8112M접 $_812'`o@A.positive_scope@b@$_813X@$realn@@@Adߐbא(META1831E@@EccccccbhS@6Coq.Reals.RIneq#<>#10479 @b2 Q@@A@$_814)@b@A@@@@F@$_8152M접 $_816'`o@A@eE@$_817X@$real0@@q@AeE(META1833?@@Fc.c-c,c+c+T y@6Coq.Reals.RIneq#<>#10579 @c(2 Q@@A@$_818@c3qL@A@@@@Fq@$_8192M접 $_820'`o@C @@ee0@$_821X@$reald0A@(META1835(META1836<@@Fwcncmclck@cjci!cg#ce 'Tk@6Coq.Reals.RIneq#<>#10679 @cc2 Q@@A@$_822@cn@A@@@@F@$_8232M접 $_824'`o@Cmo@@ff e9@$_825X@$realA@f(META1841f (META1842F@@F᠐cccc@cccqcTC@6Coq.Reals.RIneq#<>#10779 @c2 Q@@A@$_826Q@c4@A@@@@G;@$_8272M접 $_828'`o@Bנ@@fn@$_829X@$realA@@f@(META1847f@AD@@GIcc@c谚ݩc|ΐĩc󐩛cfCUE@6Coq.Reals.RIneq#<>#10879 @c2 Q@@A@$_830@c#rT@A@@@@G@$_8312M접 $_832'`o@BG@@fޠs@$_833X@$real~A@@f餐f(META1851@AL@@GdHdG@dFdEdOidDdBdAgdAud@DU+@6Coq.Reals.RIneq#<>#10979 @d?2 Q@@A@$_8349@dJ @A@@@@H#@$_8352M접 $_836'`o@C@@gXg[@$_837X@$realA@~@gfg](META1855ge(META1856O@@H<dddd@ddd橚ddgdԩdV8@6Coq.Reals.RIneq#<>#11079 @d2 Q@@A@$_838@dp@A@@@@H@$_8392M접 $_840'`o@C:<@@gӠg֠@$_841X@$real@A@g@(META1861(META1862A@@Hd؛d׶d֛dն@d԰gdԐTdҐVdаd>[V @6Coq.Reals.RIneq#<>#11179 @dϠ2 Q@@A@$_842@dq=@A@@@@I@$_8432M접 $_844'`o@C@@h:h= @$_845X@$realgx@A@(META1867(META1868=@@I eeee@eeee Wn@6Coq.Reals.RIneq#<>#11279 @e 2 Q@@A@$_846|@e#oe@A@@@@If@$_8472M접 $_848'`o@B@@h.@$_849X@$real9A@@hh(META1873hc@B@CS@@Ieheg@efeeeo+edebe`e_hݩe_:e^e]e[W@6Coq.Reals.RIneq#<>#11379 @eX2 Q@@A@$_850@ec=D{@A@@@@I@$_8512M접 $_852'`o@B'Z_scope@@esen@e)2 Q@@A@$_853*@e4(@A@@@@J@$_8542M접 $_855'`o@Ah@eB@e2 Q@@A@$_856N@e*#]K@A@@@@J8@$_8572M접 $_858'`o@A@ij@e 2 Q@@A@$_859r@e+)^@A@@@@J\@$_8602M접 $_861'`o@B@gg@e2 Q@@A@$_862@e  @A@@@@J@$_8632M접 $_864'`o@B@f f@d2 Q@@A@$_865@e >@A@@@@J@$_8662M접 $_867'`o@Bà@f6f9@d2 Q@@A@$_868@e@A@@@@J@$_8692M접 $_870'`o@B점u@ee@dȠ2 Q@@A@$_871@d^@A@@@@K@$_8722M접 $_873'`o@A@f@d2 Q@@A@$_874:@d@A@@@@K$@$_8752M접 $_876'`o@A9@f@d2 Q@@@@$_877^@d$KG@$_8782M접 #$_879'`o@AZ@f@dˠ2 Q@@A@$_880@d"Ӵ@A@@@@Ki@$_8812M접 $_882'`o@B~@f񠐒f@d 2 Q@@A@$_883@d#,@A@@@@K@$_8842M접 $_885'`o@B@gg@d2 Q@@A@$_886@d @A@@@@K@$_8872M접 $_888'`o@BР@@gBu@d2 Q@@A@$_889@d%@A@@@@K@$_8902M접 $_891'`o@C@@glgo@dǠ2 Q@@A@$_892&@d9輝@A@@@@L@$_8932M접 $_894'`o@B%@@gR@d̠2 Q@@A@$_895N@d -@A@@@@L8@$_8962M접 $_897'`o@CMO@@ggĠ@dԠ2 Q@@A@$_898{@d#s8@A@@@@Le@$_8992M접 $_900'`o@Bz@@g점-@dѠ2 Q@@A@$_901@d! @A@@@@L@$_9022M접 $_903'`o@B@@h@d2 Q@@A@$_904@d@A@@@@L@$_9052M접 $_906'`o@Cʠ̠@@h>hA@d2 Q@@A@$_907@d(,@A@@@@L@$_9082M접 $_909'`o@B@@hi@d2 Q@@A@$_910 @dM@A@@@@M @$_9112M접 $_912'`o@C!@@hhd@d2 Q@@A@$_913M@dN @A@@@@M7@$_9142M접 $_915'`o@CLN@@hhàh@d2 Q@@A@$_916z@dN@A@@@@Md@$_9172M접 $_918'`o@Cy{@@hh𠐑fw@d2 Q@@A@$_919@e%@A@@@@M@$_9202M접 $_921'`o@C@@ii^@$_922X@$real@@h@h@@MJ@A@@@8./theories/Reals/RIneq.v @@@b\@/Zle_bool_imp_lenE@ @@@bA@# A!AA@@ B A@@@0#@@@@(@6Coq.Reals.RIneq#<>#11479 @$_923X@$real]@@ibi g@@Ma@A@@J@^,,TZ@@@j@h,,\b@@@g@r,,ds@@@c@,,u|kAaA@@ rBmA@@@,,u|@@@@@6Coq.Reals.RIneq#<>#11579 @$_924X@$real@@id¤ii@@NY@A@@;@ͭͅͅͳ@@@@ͅͅ͵ͼAA@@ BA@@@ͅͅ͵ͼ@@@@@6Coq.Reals.RIneq#<>#11679 @$_925X@$realP@@ii@@N@A@@N@ @@@@AA@@  BA@@@*@@@@"@6Coq.Reals.RIneq#<>#11779 @$_926X@$real@@H@]jbj g@@Na@A@@@`-4@@@c@,Zeq_bool_neq-Ker@n6B@@@_@{DKgA]A@@ nBiA@@@DK@@@@@6Coq.Reals.RIneq#<>#11879 @f2 Q@@A@$_927@f;x@A@@@@O|@$_9282M접 $_929'`o@B@@k@f2 Q@@A@$_933@f%@A@@@@O@$_9342M접 $_935'`o@EO@@@ɠk3k6堐@f|2 Q@@A@$_936@fN85@A@@@@PM@$_9432M접 $_944'`o@DPKPM@@@psil@f02 Q@@A@$_945@f;5@A@@@@P~@$_9462M접 $_947'`o@DP|P~@@@l>@f62 Q@@A@$_948@fA Au@A@@@@P@$_9492M접 $_950'`o@EPP@@@@Ӡ֠ps@f52 Q@@A@$_951@f@֖E@A@@@@P@$_9522M접 $_953'`o@BP⠐P@Р@f12 Q@@A@$_954#@f< {@A@@@@Q @$_9552M접 $_956'`o@AQ @,@f&2 Q@@A@$_957G@f1?@A@@@@Q1@$_9582M접 $_959'`o@AQ/@P@f2 Q@@A@$_960k@f=M;n@A@@@@QU@$_9612M접 $_962'`o@@@@eʠ2 Q@@A@$_963@e!G@A@@@@Qt@$_9642M접 $_965'`o@C@@kk@e2 Q@@A@$_966@e!7-Q@$_9672M접  $_968'`o@G<*list_scope@@@@@eޠeѠeԠeeee0@d͠2 Q@@>@$_969@d!8jQ@$_9702M접  $_971'`o@Iy=?@B@@@@@fffeݠfelee7eu@&RField/>0f%%Logic$Init#Coq@@"eq @|f@%Eqsthlf@&Eq_ext Wf耩+Ring_theory+setoid_ring#Coq@@(Rth_ARth'\,f x\+Ring_theorydr@%Eqsthle @&Eq_ext W#d@#F_RP,'@c̀))RealFieldd@&Rfield5qT[T[)RealField+setoid_ring#Coq@@'IZR_tac~@x؀x؀@(Rpow_tacw@@e+2 Q@@@$_972@e5(Mk0R@$_9732M접  $_974'`o@N?@@@ @@@@@@@@eQeDeGe$e'eeSddנddݠddd@dX2 Q@@]@$_975@db(MlR@$_9762M접  $_977'`o@J\^@a@@@@@@eeeeiee=ee)eFd@d2 Q@@@$_978\@d)(MmҠSE@$_9792M접  $_980'`o@P᠐@@@@@@@@@@@@@ee蠐e렐eȠeˠeeee{eeed%eg:e6@cݠ2 Q@@@$_981@c(Mn3S@$_9822M접  $_983'`o@TB@@@ @@@@@@@@@@@@@@fZfMfPf-f0f#f\eeࠐee栐fdf e8fe>fge@c2 Q@@x@$_984.@c5vT@$_9852M접  $_986'`o@CuwC\@ffA@ 2Wj,hD͓ʠ@@R =c2 Q@@A@$_987v@cO@A@@@@T`@$_9882M접 $_989'`o@HT^T`TbTd@@@@@̠25@c2 Q@@A@$_990@c&@A@@@@T@$_9912M접 $_992'`o@CTTC@ƠɠA@c2 Q@@A@$_993@c&@A@@@@T@$_9942M접 $_995'`o@CD@@@AcȠp:@c2 Q@@A@$_996@c@A@@@@T@$_9972M접 $_998'`o@DTT@@@預점@c2 Q@@A@$_999B@c3<%I@A@@@@U,@%_10002M접 %_1001'`o@CU*U,U.@k@c2 Q@@A@%_1002p@c N8@A@@@@UZ@%_10032M접 %_1004'`o@CUXUZU\@@c2 Q@@A@%_1005@c:@A@@@@U@%_10062M접 %_1007'`o@BUU@@cN$@@B@cd@c@@@cW@%_1008cp@A@@@@@UAU@%_1009'`o@@@@@%_1010'`o@@ABU@@"c@cϠ2 Q@@H@%_1011@ci.U@%_10122M접 AA@A%_1013'`o@A@@c@%_1014@@@c@c2 Q@@H@%_1015"@d?SnWV @%_10162M접 AA@A%_1017'`o@A@@c@%_1018L4xccAd Ad A@M&@cN$@@B@c@c@@@@%_1019cw@A@@@@@V@AVD@%_1020'`o@@@@@%_1021'`o@@ABVC@@c@cР2 Q@@H@%_1022@c=D..Vl@%_10232M접 AA@A%_1024'`o@A@@c@%_1025@@@c‘@c2 Q@@H@%_1026@d 1yWV@%_10272M접 AA@A%_1028'`o@A@@c@%_1029L4xccAd!Ad!A@M&@cN$@@B@c@c@@@@%_1030c@A@@@@@VʠAV@%_1031'`o@@@@@%_1032'`o@@ABV͠@@6d@cڠ2 Q@@H@%_1033 @ci.V@%_10342M접 AA@A%_1035'`o@A@@c@%_1036@@@cБ@d2 Q@@H@%_10376@d ?S WW@%_10382M접 AA@A%_1039'`o@A@@c@%_1040L4xccAd+Ad+A@M&@càN$@@B@c@c@@@@%_1041c@A@@@@@WTAWX@%_1042'`o@@@@@%_1043'`o@@ABWW@@d@c2 Q@@H@%_1044@c=D.W@%_10452M접 AA@A%_1046'`o@A@@c@%_1047@@@cޑ@d 2 Q@@H@%_1048@d 1WW@%_10492M접 AA@A%_1050'`o@A@@d@%_1051L4xddAd8Ad8A@M&@cҠN$@@B@c*@c@@@)@%_1052c@A@@@@@WޠAW@%_1053'`o@@@@@%_1054'`o@@ABW@@JB@c2 Q@@H@%_1055!@d.X @%_10562M접 AA@A%_1057'`o@A@@c@%_1058@@@c/@d2 Q@@H@%_1059J@d'$kWX3@%_10602M접 AA@A%_1061'`o@A@@d@%_1062L4xddAdGAdGA@M&@+prod_neq_R09D{(@@?gB)minus_Rgt9D{(@@u )minus_Rge9D{(@@-plus_le_is_le9D{(@@*-plus_lt_is_lt9D{(@@*^%(INR_lt_19D{(@@,(lt_INR_09D{(@@3*not_nm_INR9D{(@@,:'INR_pos9D{(@@A)not_INR_O9D{(@@-H)not_O_INR9D{(@@O)not_O_IZR9D{(@@ UX(le_O_IZR9D{(@@ 6a(lt_O_IZR9D{(@@ j@#_13HƠې@JUڻIu)$w5@ldXR ~*ۤIL5Մ@ޣn#( 9k5@=#;>Α'F0}$)!r,Rdefinitions%Reals#Coq@@!RӀ%Logic$Init@"or @B@#Rlt=A@"eq @*   A/%RIneq1@(Rle_refl >a@?=@&or_ind"AD(@%Falsee@"H1 &BNpFRW  @*Rgt_not_eq3ڀ CJo̷mͩ&Specif@%sumor$|@ @'sumbool7̂K@_@J@;@)sumor_ind>+PGѰG&JY=@>L!a -@+sumbool_ind=SJ -MkF@a"a0   Gթ@&eq_sym X& Cw!blA"  #t7u')+CC@k@=>@NP@-total_order_T=ҖX暠@6Rlt_dichotomy_converse,#dRSk|? ph fskvȠdʠf\DjNI}dm I SSNikXX6 }~A4&׷ ηWU~fZXpk-'t橚@)False_induُ{9aLLJmHUFC@#Rle=ZZX{3aTC@#Rge=-hhŷfƷdBAAAA@@@@@D@2zjg}SroC uҰuxC+ @K>̠ǰ CC ې{ʩik)>je\fշ @jȐ"H2# ev H uʩp©s{|Ɛ @."%@'@ *I& 0 )C@C@\@,Rtotal_order%w񐑷XYu-@*Rnot_le_lt.J:@&Rle_ge @ HPC& C wx;.4]C#$"E)&)'J='Ȑ!o>47*7ʷ@5gt10:ӷ@4&~;2*GgZana77@(Rge_refl>CJRM@&Rlt_le AFe·c÷y@@*Rnot_lt_le.1 3rϷpз gi yַw׷P@*Rnot_gt_ge.?lE@@:7ӠKFC"H3ICICOC@@@ɶ@C@ @ζ  @ Đ@*Rlt_not_le` ԩ@&Rge_le 6/RC&'@ũݐn@*Rlt_not_ge457Ӷ@Me'<)"F8TА0-6 ):+-CLCKC@@a@\9T:DBes@*Rle_not_lt8Ҁ@`.QO VT@*Rge_not_lt3-̐a_ݩCe¶cö@kȷiɷCo̶mͶ@uҷsӷʰppC~۶|ܶ@ /װ} C@,񩵷$@Q;;TGOiz߷LCIaC@ @^@!Pr,X@+Rle_antisym>`KՐ"#@#andЖw@A@ jDʶ@PϷ (@'and_ind14ۀշS+!C!` ߵ@&Req_le 3vC@*Req_le_sym bC퐑VW4@-uo@{1L#+OQJIL"CK/J[@@&Req_ge 3vUCG@*Req_ge_symCi!x"x'!y"y'N's"Ewrz)q|@&eq_ind J~V\ _8|KI"r3"r4rK+$ٵ@-Rlt_eq_compat{*BNPDs,C7F!A1FdJ@@NI!zh@@^m`ot~۶|ܶ3ݶ@@Šhw,;9@@[@,CJ4RѰ|Q;Yڰְ߰CJް C%ķRj T + C0]3CC@\@G@@#${%@x@yyH@(eq_trans!y퀚@)Rlt_transC~678}~аé @)Rle_trans"%ِFGH 署@&Rlt_gt A<ة$2 ~wZ[\D[n\:VCCjrNZG>jCp C@@mno@C8xyz"bӵXt aClxx \zgCgC@@.,@5@53Wٷ0;L.h@,Rlt_le_trans952&~5ECgJ@\>/x@,Rle_lt_trans*GӀEB6eUSwP}@)sumor_rec>+Uȩ*Щ@+sumbool_rec=_ d64@"#9aϰW@?|A|-6B]rhIcKC ٷMp@MN˩4@3J4W{ͩ[˩] ChC&͠{Ni0s,Gvڐ,7g%m/#P ,c^}[UURCojga].C&! MJGCv_  =+3-CC ?YZ*@'Rlt_dec4rcdȐ!s7@'Rle_dec3>$@BAAAA@@@@@D ҩ4`!n  NCpC53Wũ@<Z;Dà }Z?CNADDFCAC8WUQ@*Rlt_le_decPΩM[ީݰarϷpЩ}yx)+/3İwkzmy.-C÷2C˷v@*Rle_lt_dec8?q #%)ᠷ"- 0萑 !ms %@)Rlt_or_le #ڀ6h]@gfCe!d1%24GmyO<K,Rt?@@)Rle_or_lt"RYM@LK+%JDITUieS`kYcW*UQ]L=xND?zcTMCO̐sgt!pw!qz=N$Ӡ9u@'and_rec1@]_aa(fz]3pixt|iİ t @  seEe#Ȑ(hyp_list)Datatypes@$list]@A @$prodt@,Ring_polynom+setoid_ring@%PExprk@'BinNums'Numbers@!Z7@+$Ȑ'fv_list2B7 )RealField%@2RField_ring_lemma1 Bր𚠐(Ring_tac.@0ring_subst_niter!9E0>D56@(positive*@CJCABA@$Truey@Am@$boolZ'@A@  Ȑ#lmph@.mk_monpol_list(c"eB3&BinInt&ZArithAh@#add1P&)BinIntDefn@ ̀@#mul1P] @ @#sub1P@ p@#opp1P@ {%Zbool!@(Zeq_bool0߀*@'quotrem\$@/ŀ&@#Monf@@#Polj@@#Peqj*(@*norm_subst7:d0xVQA;5/'p0zXSC=71)rgsv@%Rplus+1@#IZR/r f@F3V.0zjd^XP ) ϩw멜H@\IlD0ztnfF0|vphUշPַ٩?v9u'%rw $ݠBϵ@ʰlg0i0ɩӰ]_@$Ropp΀Al ik   } u we    t   ~fd853 0.-%֩J__@ PƩ0R/  0T1 i)@+Rplus_assoc ,  8 6 7 8 *@'f_equal= ? ?  E C D E  G G!v J +  + Q O P Q  0 T 6/ YV wtr ]Amld > W\^]IB@ DB75 ک0T2- r LAE olՠl ' '  sd v t R v Uܠޠn    |w   ^ x d v   f r ` } k` ! Db     9  7  Z v 4 | 3 m@.Rplus_eq_reg_l7X 7 : Z 5  Է     ˩ < ,      4 r@*Rplus_commq*      @)Rplus_0_rH€|  ǩ- ( 4 ˩1 c,  ζ@      f2    9 k n7  n C@      <   4C @ H ϠJ  ɰ L @ ̰ lO ΰ Q Ѡ   ?`  X    R ^e ߩXahc    Y] IS @1Rplus_lt_compat_l ]߀ o  Ʒ & \$ ]      ~  y y Щ  { g   $ "  $   e   (   / +  , K L y  1   5 d @,Rplus_eq_0_l         ԩ  @  F D  %Ȑ(list_hypgȐ+field_lemma\@3RField_field_lemma11 Yu 3,Field_theory@%FExprs@G DXI C3R=@ N> Q$nfe1 @&linear@@ [ )@%Fnormw$mKF60*$2 e$nfe2@ h $uSN>82,% m@ mk1 0|ZUE?93+ G©D@#num:u 4K@%denum0 ^0ojZTNH@ ԩ @Y@%PCondS< } @%Rmult׀ @&Rminus&HƩ 멚+InitialRing@(gen_phiZA ,2ћ@#nat@&BinNat&NArith !N@&to_nat`)BinNatDef @*9G(Rpow_def @#pow#׀ 5@#appʀ*@)condition.$ &  ܰ @&FEeval>@ fQlOJ  @$Rdiv̀ @$Rinv89ND>-( %@ t_z]X =RHB1Ȑ#resaȐ&res_eq  @ (K   Ȑ$res0ASCc&weȐ'res_eq0  @Ȑ$res1c Ȑ'res_eq1 @ '  3     @Q@-RField_lemma5!v][VW$lock"lep%A(lock_def 7  :8 ]ayL 8 bf~y dv E;C< jn>  I@ !@$Fapp{F@&Fcons2w$a?:*$ p3P   D=;97 e2$(lW@@@ l$yWRB<60  q@@ r @ )~{wb&k^fw(bk@`   e^\ZX >Sv8@975@!%7@0@@  B{?w+A{:x  ̩  t)@ S@c;0wqke]    ܩ  9@ cPsK0{um    ک  ީ' *   +.  0.  Sε@ ɰ~kf0  a><    a ܵ@ װy&t0(  oԐ          & @)f_equal_R! Y    𐑷        4 b m     f i $ "  $m   @1Rmult_eq_compat_l$    u @*Rmult_comm8| a  : 8  9  :   =  ک q D ש=   gRd O ֩f Q Cc 0{}r<'@@ :$G%   ?@ @$M+&  E@ض@< jn l nM M qq@ swlg u wNx@ z~sn)ec b`]YWwTQ OM@%%K\|YXKT@&& p  |    @ iIH"C?=7 l@ o8  $E8  " OOM } 7C<   X @8z `` < < 7 b        E C n׷        N      ©   ̩   % @+Rmult_assoc& W f Y e۩  ʩ  m Vm@nlj@ mc$   ö^p@ İsi$ ɶ@\@=< M8S61,+!   ΰ @ S>Y<71'!  @ WB]@; 5+%ש%͵@ɩ*ǵ@        ũİ  ]8 mXsVQL6KA;* b8 r]x[VQ;PF@/* z Cg< wb}`[V@UKE4  @         i j 㩚 @.Rmult_eq_reg_lA     ,u  0 .  0 j  2 5 3  5~    W  2   ;  <   ?  x@  " F   y @'Req_dec3{"Hz + 5%Hnotz M8    _ b ` > b A é E f ǩ 8@)Rmult_0_r+ȀfU $ M  q  r  ԠS @ ؠ5 W {b Z ?9  ޷ #  ^ 8⩚ S@)Rmult_0_l+€   h L   -  k  ( & o 6  4  W e@1Rmult_eq_0_compatò 2 R sZ } D  B  e ; [   L  J  m `p i dֵ Mo j  J McCq Sީ p& P S iC e · c ÷ ^  BBB@@@@D@ "@Y #      7 @ ; - @.Rmult_integralq  j  C    @"  ư I     @ A @=Rmult_integral_contrapositive\0     ؐ     T JH     q02%4Aѩ :}<  >1 @ D0F# 0H% &C& @$Rsqr=MW.20 3| [[[ \[  C<:@= c A B `:EI  $eb[YXP*u991*@,*{0}<Z4 )ZX7 [^\:^c .@&Ropp_0 GU`CigyxpJ!eQJ@LJ?=0\:5% zT I{y<5Y} 5ݩ5 X eV@/Ropp_involutive"2 ̩\@0Ropp_eq_0_compat8!rC@PJ=;~Uܠ@@us7$G0pk[UOIA !0rm]WQKC SQékߩ"#@N;^60rlf`X 80tnhbZ jǷhک@`Mpxշv" E9$@o\ W0 y Y0 {.538Xӵ@ΰp5k0 ːGE  J@ް-Eِ TR&#!©BF @>0@ 쐑ge964-,$թo]@Nĩ0P- +,xvJG,>=5mZ&*']P-@ɩc٩0e$B 0g&D BCa^\GhWJKiNO-Qpmudc[5 JPPD<5@75*(0G%  e? 4?cdg͠ lj@Ix.Jnͩ pusQuTE@0Rplus_opp_r_uniq~F[2 45!C@_ *(Kg 멷PlF&!%3qt{xO}v@xvki-=s5~p@0Rminus_diag_uniq)6 LJd}@D1T,0}xhb\VN _]?Yh!y$ CiƶgǶ@I} qηoϷQmk>&@.Rminus_diag_eq- C޶߶@a_T<~ΰ6S@>C@z TJHm,/P@507 09 向]1ʩ)A@@$I @@@v<'qoj+eOdZTC99))@+usn/$Sh^XG=+@-wup1&!Uj`ZI?  ZIi @  ,N8BFjuo^T&-C<KOs~xg]*@ᐑQO /SH @)R1_neq_R0iw@&Rinv_l($@d[ i`dKװENr(QCus@/)%{y<531/] dO@@b$oMH82,& g@.@@ݩj@@2}{#zxuqolnm$ig@e'aA^CAd=\ZX0EөWMVYKZ~@@A?=@@6$|wga[U1C@F<$}mga[@/@<  & ݩذ Lթũ@&, ް[g @*0\ ]@!!  Ud@"" dps©48D/J-(# "w98I4O2-( ' u͐  & ŵ ԰Wذ[  CM<]HcFA< &;1+@ L  '婜H 4@@$ =@$ C @@n@!kid% I^TN=!@#mkf' K`VP?    P  R TC &@  [p J jr@  :; >FIG%I(!M  @&Rinv_r ;:@)Rmult_1_l9\]  6`B <f( al$- =@)Rmult_1_r+1*vw:ɩ Pzà?2 T~           g>  z p i@k i ^ \    0 0  { Y T D > 8 2 * s  0  } [ V F @ : 4 , u  j,)s!c`X v頩7>\;=?bF    ǩ Ű7 ǰG ɰJ ˰n  Ʃ  n# %   א٩+ -  /   @    Z G  j B0     ~ x r l d  D0      z t n f  @.Rinv_r_simpl_r= j-ڷ~۷|ܷW aΩtwxطР˩ R \~q֠nѩFA rNB"@1Rplus_lt_compat_r8׀ʩi'dl 鰩ln   "# &C)'()@c|0./0Jǰ "@1Rplus_le_compat_l?@>?@9۩+%I!2b,PdV8F VW5Y  1]<  c #<8*t@/Rplus_le_compatz92A>4cSQvO = 3 </][ Yf G = :gķeŷƷǷc   !Q@2Rplus_lt_le_compatڀYhexշvַ-׷+ط [t  2b@2Rplus_le_lt_compat!jyv8fa   K X Uנ o T 6 Cܠ 琑{v  V} #p a  @4Rplus_le_lt_0_compat&_  2 3  v ͵+m*)(Co'%!"#$%!d( u&    &    .  3%02ө    I7۩9&LJKL3  R CUS94 ߩW ۷ZX> 9 Q U K ;   Y 0B [ ` ca@H ʠE /0ЩFj{Hl Ҡ @U  m<ЩRv  Tx@@X|  @e  uld zg  tt.t  i  P:}xS <  Hw3ZVp@(Rplus_neT  /w@+Rplus_opp_l73TRu  @.Rplus_lt_reg_l5=ӀORrM  R ĩ  H   ʷn˷l̷. }*lũ(pǩʰ, ;Cڶ~۶|ܶ@/061@.Rplus_le_reg_l -<} HA0 EE/ v B  <  HC@|˩M'  E 4i ϩ  " r #  eCw *+\, Kȩ34e5z Tҩ|! @)Rge_trans7 ֵC%FD$@1Rplus_ge_compat_l?xPg('C&+OPQ<$@,Rge_gt_trans^_"s  g    ~ |g w v nH a f c  O H@J H = ;      0  Z 8 3 #     xR  GQu+ ۠  |y|z`[   w       b9 {   R # j c@e c X V    *  0  u S N > 8 2 , $ m  bl#   *s   uC:8@ B@c>q@4Ropp_gt_lt_contravar!YCKI@G$QOré4WUx0ɩ@4Ropp_lt_gt_contravarY@db·]@&A  Ω  tiŰ  @.Ropp_eq_compatuC}ڶ{۶@ C}@F Ǡ#Kɷ 'C@ EZȩTm@4Ropp_ge_le_contravar>ŀx 萑  @4Ropp_le_ge_contravar(IJk˩}  "  } #! l  *( -0.   53 7:8  ܐ@>% B%EC  搑JH  B/L/OM,@+ .TR :W:ZX7)@1Ropp_le_contravar>=a B= @de"H'N lmS ҩpqW x nT԰ |V- 񐑷z{>35O@.Ropp_lt_cancel#m쐑L"s m ,ڰ'*q% O  2 HM  O==]??D B&?& SQtJIkK@.Ropp_le_cancelcldrRA e·c÷ ۷_lV ȩ _] ϩ @1Rmult_lt_compat_l`   G ܷݷ~޷Y { @1Rmult_lt_compat_r ?rq}ɐ = ϩ" L N4@_߰ bU I ??@j\ Un VPĠ 谩   EC [   f CW֠' *(* s t. 1/ 1 z4 757  9   #C2%A?@AHD +GE@o~J *MK@u @1Rmult_le_compat_lڀ  ) ( # )\Z[\   =E Gjh i j- Q B>@1Rmult_le_compat_rwxy!t|#H'0#H'1W#H'2cKЩ  T~<d l ؠhs % ꠩ V{M%ub '6V s tkHFkLD uE(*I,@/Rmult_le_compat5i CQGVxᐑiƷgǷȷɷD fF fʩHĩf\k{طyٷ0ڷ.۷_w(ک7Xԩsyn?H|Ȑ: mΰ ; R^ >ݠ =ZZڐ@1Rmult_lt_0_compat=倐ʩZ =\U|oy]f _ d  p i') ', r.,~3 yٰ $ɩ@6Ropp_0_ge_le_contravar-l/Ӱ1 1ȩ@9Ropp_mult_distr_l_reverse/Mv 9ܩ.<)OMNOH  /#@5Rmult_le_compat_neg_l1t ^\]^!E WVdTgeߠ<QiBljK LpWsq렩x SiVP^iK@6Ropp_0_gt_lt_contravar t8;9CAtaJ #o r k÷@.>ᠷ#Eq0q2*1 u}4%} O:  s] b-I@L`^ ַZ  @.Rmult_lt_reg_l>eP\_Z ̩ _ ѩ     ַz׷xط tQ ޷_߷Z |4Y@F͠  3ǰ  5ʠ75v-o;ة] = G}հ Eڰo P󩚠@3Rminus_not_eq_right8K2耰g@0Rminus_eq_contrawŀnưp谩 [ L f  _ d  qx# l n 1) s.+͠*%ȩ ~* n ;©=  4B  ;'JMK  .    :+WI6I6\Z[\t/@.Rmult_le_reg_l΀h <kil OomM  8 J 7qr5+Y0rw J`Y@[YNL 0kID4.("c Xb>ǩql%EĩЩ( r97ZP5%018?Zx@)Rgt_minusTRu@%{`-@)Rlt_minus uC^  Co̷mͷ@x@&Rgt_ge 7؀H92tаX)" ʠ cE31  ѵ@̰ni0 dɩӰ] 8dak@)Rplus_0_l 6ʀGr   rRU qC󐑷۩5ө<թ!"pnB?6=(-*-@1Rplus_gt_compat_r8*%<89 @)Rminus_gt$YpQBC`_QHMIJթMPND@/C>0TUr=<Z[97_5`31@1Rplus_ge_compat_r?xPmWFFljk.o^ܰ`slwSwݠة{~|b]%6_oȐ H٠ cA렵"r0QSa@-Rmult_opp_opp;-NNv  d :   ; OOC{3. :u  ,ѷĩLY_(_(CCͷ@1  4 @*Rdichotomy5&y *O)D,N30 ~sŰ@HT4LԠϩ9!SyT/C@$#.C v dݩGP``C@8/ ɩ o j@+Rsqr_0_uniq&׀?@)Rle_0_sqr!Z" G@0Rplus_sqr_eq_0_l:Mʀ,Y  [~ȐC9 <5 @)Rlt_0_sqr :#G C)#4.R!@'Rlt_0_14C\Z_  ̠ǩ UKC#  % + թj.Vz :ĩ|Է} ]  !֠Ϡz g9BҰ"kkCA/TS5 A0 E7 P5V7x+* ( =& E$ G2c{@8Rmult_le_ge_compat_neg_lJ9j;GJCi \Z} ~Xe Z Uv @ ~ ]@/Rmult_neq_0_reg逰dgа2˰46:©U(+(֩@.Rinv_r_simpl_l= ,Ȱ WշՠЩ:D?꩚@.Rinv_r_simpl_m= ݰ laMU向  ] ɷЩvoZƩ#Lt0S fjem j^kn)r., .w 1z%6468;9;"=  ǩ6*  #C!>**+O/C1UI;>Y0\Z@;5`G]I >L>JF [h]ʩc_$aF^]PDސwu8o© 'zFZ~0ɩԠcЩ >gCڠQ˷yt-OGOxCzDBe?13A ~@6Ropp_lt_gt_0_contravar"ڴZGCN ;NC\Z@ SCa_@ĩ:X ?@@A@A@@@@DGϩ@#INRr BF@ I'FA1"n0"ŠW$=p)2s,װ6w0ܠH2e2LhN(㠩mS'SJԷ> sY@]CC#Nat@ `48CUVj@'nat_indJ^ -^BV15[[6]C;l)[_eu%Hrecn{4t)w;|@4X|UΩ`ƠfdBfEhΠnlJnԠ^E٠Twݠr}{Y}㠩$ *h?`rk@mk`^"2 0}[VF@:4,u  0]XHB<6.w l6Nɐ۩k@%S_INR=sҐQQ 9\#ܷݷZ%Peano@b UxT@Ƶ"Le%Arith@+le_elim_rel" Un<=ũ@r ީY9Kש@*Rminus_0_r- %Minus,@)minus_n_OL]VvtBͰ",8װ,6)pD3  M굩RVz`b`41(' DF9@L©0N + 0P-YcX C -^hթu٩,C6gqߩ}:q2ru Du2@ ].OC/S[\^\:^B굩f̠$nlJnMr~vtRvܠW |~_6}zOi}ib@dbWU)0tRM=71+#l 0vTO?93-%n c'n}))c@(plus_INR Cw̐WU6ѐXZYٷ!ک$ݩݐ(PeanoNat@.뾴@ kbՠP٠ڷ9#IHnTũN<˩rtgbө\֩ة!} ܩ%e u@(mult_INR>Cư> wϐm&H@"lt UxcN@&le_ind1Q؀|57ZQh  @/Rle_lt_0_plus_17$耠Zs|y󐑷J K۩% PC!$"@*Rlt_plus_1]"m0`ȩ{25ͷ86i Щl@<_INR%\қ9@(lt_0_INR &BinPos&PArithR#Pos@~")BinPosDef@5L ͵$Pnat'Pos2Nat@&is_pos> Cy?T*BCˠİ5"Gt@'gt_le_S3r @'gt_Sn_O3p&CɷʩtзͶζ@l7ҷbɩ [Rǩy@'pos_INRf㷐#IHm.w4}ɠu vj@)lt_0_succ5%:E̩"Lt@<_n_S`ʩ`F=ީĠ Aɠ(S ˩R8Sʩՠ@.Rplus_lt_reg_r5=ـB)ev/04Sڠ:]T\٩ `ةY{x򐑵Jک͐@{gR;֐V?W CX@ې ^f`@㐩eN琩65퐩oXXB`"ybZz (vhNOQO RGSCΠWM;>@  ǩDh@+le_gt_cases(HC @ӠȩS  ,W{@+le_lt_or_eq3Z]i:( \m,Lѷr'H)j{Y(ηϷ"HR} |)Peano_dec@*dec_eq_nat5뵀Q)Decidable@)decidable rNn@GqIGSM@'not_INR 鯀S5UǐL&1qxv(j0@*lt_le_incl*@&INR_ltqLǷ8y#k$F HA}Ր@&INR_eqpĀܐz3<5-$Wf_Z@1Z_of_nat_complete 9\zӷ˩:@,positive_ind?Uзө e}bRө $@%IPR_2ū㷐#IHpcZ젩^Mj  9_ ?@"R1Ȁ# I| O M + O3 0 S#$ \ Z 8 \@# `D  e c A eI͠3֠3 Q  tڠ y w U y* >>Ơa U ʠFF%'ѩe@ h>W\\=G.@&inj_xI= MC t |ːy)Wt 1p֩  lja 8 V    ] N    Jx   |Y1 n0isZ@&inj_xO=yC  ĩ ]C  Ω `"p0@AA@AA@@@@@@@Dl  © @#IPR.U Ȱv }!m& Ѱ [o  _, F   ۰    !J!! !kq!! !  ! qW[v-A$w$Ð C !J8ֵ S0T !#G !%$!(!&!!(!!*!-!+! !-! !!/ 4 ߐJvC!!5fT!!;C!!=mZTt|v!!!Ei@&of_natbz@1?G!!-!%!Q q!Y  @+of_succ_natq@$з!g!e!C!g!F !H!l!B!n +SuccNat2Pos@'id_succ3u!H@'INR_IPR("C!\!ߐG'C!a!䐩@DE!Р@*comparison;f@@@@@@@@@@@@D ĩL@'compare#F@ )Qڀ!?zV@Q=WO@R#F q!Kة!! | rР@+CompareSpec!Q]@CAAAAAA@@@@@@@@D/0@!!g!@=L |p!!!٩8LC!ĩ9 <!6IDG!+@,compare_spec*YJ!!!Ѱ!!Ե!!!װ!!@"R0ǀf!!EQO# " !!5J@!;C0=! !!C!"vd!کG!"Mΐz"$""""$ƩC%")","*"",1_S"1"5޷"8"6""8 k5ߩ!rx Էu" "DI  Lީ!"K"P"N","P nki"Tk"Vhfe]"7"(Uu>7@"97,*%0I'" g"A 6%"4@)minus_INR"ӳ68"()@E@] B@E*@A@&inj_lt=S"@@@!">BC"jmm)@'inj_sub%!IJ!ԩvwC"t"p|"^ "ѐR!K""""""?""""ސ_"[""""}"FB3""v"L"Th"""""} ݩ۰"ݰ"]ة""@"_LoG0}wqi" qjl"tlR" 9P _KJI:e;C""?@0@'pos_sub<@+ie"@,pos_sub_spec="C"ΰ"Q!d^Y[1))@@AA@AA@@@@@@D:23"# l"vqa" =G?"#xܠ"~m""#"   g" #+! 3"#9?&H > kBum###G #*#,"/#PX`=#]@=Y$J'#O$pEѩ 'C-$R$vՐ)Ka p67$24@5=N-@6#F!$$$i$$l֠$p$$$p$ŐF"2$z $F$$$|$ K$$3ש^Vq!ک$$ͩ^$;$W$$$$$̩ʰ$^ũ$$m@$K8[>^@'inj_mul%'!547DOECTU$$̩+LC]^$$թ4 W H$_$$$$+S O$ŷ$$$Ű$W4 W$$$$Ͱ$:$(Qp)$԰$A$$P$$$۰$KINDBApor;:C$%dQRCĶũ$%mX  D<Ω$%vʠ$$ѩd! $٩$%"k(Cߩ%%(۠5 " %2%5%3%%5ש~J3 %9%<%:%%<S: %@%C%A%%CZ=%$$z{%&%JD$%N%Q%O%-%QolcpC %3%WR]_C%9%]jk W %g%j%h%F%j%Ij %nM%q%o%M%qݩq %u%x%v%T%xr% ط%[% Ƞy:%%׷%%%b%%e%i%@ng@%ig\Z .dCJK%p%ȩݠC"P#Q%v%M  ɷ  ݷש%%à$%l@1P1e@ ؀%Hk%%%C%%ՠ ֩%tk9%Q꩚&Zpower@*Zpower_nat: %bq %%ϩ0ʩ%"%e  Q %% 8鵵%o%):A+@(nat_rectb@g %ͷ%%%Ͱ%"%Щ n'%Ұ%?')%٩C+[ŷ{4"r%ᵩ%٠&N_QC%& Rc(e )Vgn-(' /GU!%&ay"z94S#k%׷&$&"&&$m#qpF%t& yEmnAjj~#~ROM&8O&:Q&<ZUt%TRQI&#%n>p@6%޵%@&'%ܩv0x7U&/ 0z9W&1 &%9&&@(mult_IZR>C&:&^F}H JÐ}-I &Gǐ&C&K&o˩А: C&S&w֐&   <@'pow_pos}ɐ C&&ȩ' !&& C&&wC&&թ4" %&ݩYC&&$#C&°&E f"Y&@&&&ϰ&R&#^Rd&IH&@'opp_IZR%mC&߰'b&J"z14"z27"|'c''&'#%'w! m$j&@-Ropp_Ropp_IZRǀ%C''%t$C'')#&"\T+"^V@'@ <1P-&'&' ©% &C@''('BC @3V ''5%";$E'5"'Y'\'Z%a$>cV'.@6Ropp_0_le_ge_contravar,0C%C !@b`'0'T^'   e@#G@G`$$J&!@L'Mf*%@Q&թC@(lt_0_sub?&'$@@@\u9%'E!  'q'&')'c@(lt_0_IZR  #''V'r@)Z_R_minus#,%Ր""ն@''''h''w'''C@' G u'''&+''%#2'r''ʩ'D'ѩ  l$>=C'I'C@ ] '''5&A'  'G$;#H'''' 3RQC'.'C@   ''Ȱ':'}'M&''@ѩ'Ѱ '|'''԰' W'D'ذ $'P䩚R@+dec_not_notHɀ@,eq_decidableO'%'+OmegaLemmas%omega(@7fast_Zopp_eq_mult_neg_1=Ҁ'# D@' Gࠩ b 's@8fast_Zplus_assoc_reverse ''ڠ' # T@(  W( ' @1fast_Zred_factor0#'(# _@( b('2 ' ''&Omega1(! m ';  " 2 2<'?# v@ @#Zne>o=  ?')'A# @  (? 'I8 I'S@1fast_Zred_factor6)+# @ . &H 6(P X'·&Omega0% 7 )'a ?> ak@,fast_OMEGA15M$&X F F B# jY$ @6(f n'ةx@1fast_Zred_factor5(&e O Ah '{jj { {j '} W  I p)auxiliaryNy(~驚@'OMEGA17 PЩ h:(((_ h@(Zne_left0߀''(hC@( ݩ v b' ( @*Zegal_left;6t  (v(@)eq_IZR_R09輝( "('q%($ (((o(( 6((@@D@(,(,((@&eq_IZR -Ā(z (ÀC($!((L(˰( N=''@(R(٠ T(Ӱ( V婚 @1P, ((ܠ( ((j @h3x @i]=|C @ / ($(C(ɐC("(!A!$J!B# @'le_refl/( z(`(()% })C"!N@'y 1#!U!!V(ɩ(G'i@()m))8&A()(.((ө) @<_IZR%̀&)(!n(ܷ=!oP-((ܩl&&C"!s"?!t@'=W'"!z)"@&le_IZR̀"N!"!)!@"ge1P,()3@*Rnot_lt_ge.0X)7(_)$!@{![!5R(ƩF($!@!b!<)\T(Ω!0)W%!@!l!F@)f(طG!q!K!=)!S!O!w(%!@!}!W!YZ)x(꩚@/fast_Zplus_comm11!awc%"!ʶ@(t),%&!ζ@!!jK!l)(<!!qt!s(@,fast_OMEGA13K(!|v!@,fast_OMEGA14L(!!#))|)1(6)))7C@))<>)(C@@)*@&OMEGA2.$Dj!'))9@(Zlt_left,ڀ<?@(Zge_lefts)v))C)""#p")))@*Rnot_gt_le.?ˀW)){9)N(2)%"0@!!))]ݰ)%"7@!!Ӡ))e%"?@!"!۠))mܩ&"!ࠩ!Ҡ)!ک)%"N@0"!꠩!* )})"%"Y@;"!)ũ@" !)/!"2)("("4}h"ĩ"  )*&e));)@(Zle_left*xa'C*R#I"~#"*)\ "@,le_decidableHƀ))**"'@"gt1P,)])%"@y"Y"3*S)ũR* LMթNOqI* %"@"e"?*_"ADX)ӷB"l"Ff"H`_z*fd^)_Y)"S4jW")}ll"C@*N*y "u)C@)"e_a*\*@(Zgt_leftE&Zorder"n@*Znot_le_gt>/'i*S***** ** (*")*L)0*"( )36n-)·&Q"@۠"""(-*)&Omega2")Ʒ&`#@*# "&@"*5(&g#@*ư#"*"*=&o#@*ΰ#""("*"*G*հ#!R"$(""ө")""^x(" ""d ("""f("ʠ"""l&Omega38z@M*gIC P*hC F*iC A*j) @&OMEGA6.$HЩ"ᠩ"Ӡ()"2)"*+mfE***MI*@&IZR_leN *w)*#\(#]**됩+#b*+*)**C* &u#m+'+."" +2@'"+7 A+9C +3#*#>+6*)@+@U#@+le_antisymmUF;*#I+%$#$X#@':@:+"@v=+('@9#2@)lt_succ_rM+@@@-K+*+4$#$s#+`+ #iE+ "+;+H%#${#·@']@ +n@+H@"+,#W@)le_succ_l#ڀ+8@@ +~%#ȶ$#+y+*f{+,+; %Coq_Reals_RIneq_one_IZR_r_R1_subproof&#Զ'-#ն+p+##+#+H+h++&#ܷ'5#ݷ+x'++P* '@'++U*@@'++P!*##1+T!++)*"+'+**)#?*!%@'+Š*ǩ*3ɩ#I+°$**+Ő( (*;ũ#Q++@+one_IZR_lt1;x#)'`+!;#X1++'Π++ީ+ !'+ +!P+$S$Q$%$"!$$$++$5$##@+#####$;##0$=########$+ #0$?########$+#+,!])թ#)!gө',!c(ɩ#(!m,&,$, ,!j#(ҩ#䵩a(#3#59+$ٰ;+C,!z?,+$$$W$T!O$K$J$B,+1$g$7!$#$@,$$$#ө#$m##0$o$.$ $#####$L,& #0$q$0$$ #####$N,(!$,',K!2*!',O!0(,T,R,8.,3y-6'#\/+ߩa)+C,@& !,;#j*",=$m$H,%,A$$)$M()*",G*Ԑ'$'$,.oj+, ,%©e, '$@,V$$;q$c+ͩZ,$/,V$gUQ,($@,b$$G,g$o+ٷH,g$$Ll$N$v$v,$($@D!$|+f,($@J $+9($ƶ@P$+0S$*$+$k$k]]|#+$ia$[c)2 ,5$$+',7-mm,,h (HC@,$ީ$w$, $,q,,&9$%$, ,\, *,@,one_IZR_r_R1%++,R(,++!,d,g(,,,,ַ($,",, (*!,,@"ex @% &% (,,ǰ%,,~(,Ӡ,v =+A ?&BBB@@@@D@%$&%%(Р,,߰%+,,(֠,+ U+Y W0,Z,萷&%3,F@(ᠩ,Ő,%<,,(砩,+ +j 7,k,*) ,ߩ(-*y+s{8]@(- *X+{Z,|- )"H5+,Ɛ-@-single_z_r_R1(-?-#^,#_(-CN-F-D+-%!"(-H,$,--)U!$$D(-O(-P,i-++@,,c+!-6+?,*!-+@1Rinv_lt_contravark!,,f,,,(7$,,,-E-E+M,t,-i,(-j+!$"a+٩-=,-N(-r(-s-6$_tmp-G@1Rinv_le_contravar5)_)-(-%%%%%--%-5%%C-f-"-k$"-+-5-%%%%%%%%-u-L#%%% z%%D%%x@-z%x%m%k%/%%%?%0%%%h%c%S%M%G%A%9%- %0%%%j%e%U%O%I%C%;%- %y-K-)-" "- --,̵)-" e" ,-- --@)not_0_IZR#s8 --% %-`-B@@@@@D)H%@-% -@"-#--n-p-!)B& !e& ۷)&"--0@%À@-4%%--4',O@+-5FC-##/ ʩ#1-6!! -8C-ʰ--D%TDD-@&double {K+Ring_theory&/@*ring_morphM @A`.%d#O%j#M#H% #C&-%%%%%%%%cQo-@)minus_IZR"Ӵ)&3)&4-ϩ-%%-%$&:.%p--ȩ%@+Zeq_bool_eq䤀+)&C)&D-3-)&G)&H Z@)@.&%,%@y@z.&%-&%@.Zeq_is_eq_bool**-ϐ@@@.&a---)&b)&c.--ө`* &t@,ring_correct<l.G%#%##%K#L@%Eqsthl&^R@&Eq_ext W.T%#%XY@(Rth_ARth'\,.[%#%##%_#$@#F_RP,.b%#%##%f#[#V#&p@&Rfield5q&&N&,&'&&& &%Ś.6@$R_rm=M;n###&z@.R_power_theory uA&#@,Ztriv_div_th 1.x#1%֐&@3ring_rw_pow_correct=4.t.%#%##%#:4-&&h&F&A&1&+&%&%###&#@)get_signZ#7#@,get_signZ_thW$7@-Field_correct(yx.%#%##%###MG%\..#$@@$F2AF5X4.%#&##%###VP;&&&b&]&M&G&A&;%6###1&3,$I@4Field_rw_pow_correct3a.&#& ##%###_Y&&&k&f&V&P&J&D&?###:% &<5$R@=Field_simplify_eq_pow_correct/ $Z@ Field_simplify_eq_pow_in_correct.$b@4Pcond_simpl_complete)x.&$ &$$$%###xr)&&&&&o&i&c&]&X###S&UN.@,Zeq_bool_IZR!G.j.Ƿ.h.ȷ*.ɷ*.ʷ.!.f.-,-ɩ)&Géb-,-+-&3.g,*X.ط*S.ٷ.#eps.ݶ@$-0.s%,V'-'-@.E((.Ġ.1(.Ʒ.2,.@.Rplus_le_reg_r -B.v.v..$':'$.@$(Mk&".ש$'"$b$E'($$'*$F'/"$$'1^&&&@$$$@.$$$':&&&&&&&.$$@.$$$'@&&&&&&&.@$@$k</&{$f&$d$_& $Z'D&z$O$I$8"$../$@/ &$j&$h$c&$$$'H&~$S$M$<"($ @/"&$l&$j$e&&$$'J&$U$O$>"$ $ &$ $$$#'O'$'Q$'S'#$'B'b#$##@!!#$ 'Z!*$$$#$@  . .(..../#/@#5v"####/#/$8/B&$&$$&F$'j&$u$o$^"ϵ.#$8/G&$&$$&K$'o&$z$t$c"',C$</J&$&$$&N$'r&$}$w$f"$//)@#/(/L$0&.$A%*/T$8&.ߩ$L/]/[-&à.F.F/>.'''~'{'y/d.K'v't/4@'p!7ԩ/G/k$O._&Ӡ.a.a*/q$U.Z/v/t-Ơ/U$Z&ޠ.a$à$-@ɩ.a.f&.s$ʠ$-ЩY'mf/"/f 'sl-sǷ+  @/n /q@/q /K./t-}-,+$K/~..'/.). C/)""/v@0Rinv_0_lt_compatD'@'Rlt_0_2+U/Y/!E@/$d/{/y@%bound1.+/Z/·+C/-*.@'sig_ind5π/ʷ(/˩/@&is_lub -jl޷)m/@#sig#* @//ܷ(/ݩ/f+_/߷(kA/(///Ʃ/@,completeness$-p./.// / //O&././`//@2Rmult_plus_distr_r~/// 0.0l0/0 'p%U/%W!00/0/'y%^/ĩ'%b/(g(e(9(6(40/(60!'B(1((0/٩( (M!n%(O'd(Q"'D(&(S!t'h(Ui(( @0 ( ''''(['ѩ'0(]('''''''(:0'0(_('''''''(<0( %ͩ>/!C00=%7 ~0%%;&/0E/0F)//w/vBAAAA@@@@@D)./u/00).))/d/z//060/*m/////0_/00`0#-/0$-.͠/0B/W0D0C//s*//0G0+/*}/x/*0/z/0o000p03/ /÷05//.ߠ/ǩ0#//0V0-C/6ww&xR