Caml1999O022T))*( r 2&C V2D VT)E D C "VXU "VVc  A@@[(56@[!+ Y 8"cZ( C yVD (8!C8! !?i  }U\C! I zUcC(! V0D V)D V D VTC CC " 8"8& T56@[!! ! " ""!& +8&)*c? +8"C(C8%E D C8!A(&&)*E D +8" C +8"A()*EUE D D8# C C8#A(D Ch?iCo }U\" zUc"dC }U\" zUcCI C A(8!h? +8&C V C "V &"V & &56@[c?h?h? +8"c C@ C@ C@()*C @ I()*D Cp D Cp|()*D Cp D Cp{()*C Dp D Cp@%C D@%)*D Dp C Cp@%)*D Dp D Cp D Cpo@%)*D Dp D Cp D Cpn@%D Cm@%D Dm Cm@T C(D C" mT Dq Cq@(C8!58!D8%+ ,56 + + + +e +O+A+, + + +  +  +} ++ + +  + + +h]6@  +    "$&(*,.0>9T8! W5(C 2%C C %8! W[C 2%D C !6 ^Vm5 ^V[5 ^VC5 ^V+5 ^V5 ^U[d ^2!h^2!8&c ^2!8%d ^2!h^2!8&d ^2!h^2!8&c ^2!8 %d ^2!h^2!8 &[C C !6 ^V 5 ^U 7(7([Ys8! W= [C 2!TID C  !6 ^V5 ^V5 ^V5 ^V25 ^V5 ^Ud ^2!h^2!"Tc ^2!88!"TY?c^ ! Yd ^ ! 8"h!"ZT yVi ^h!#TZT yVd^ !h^h!#TTjd ^2!h^2!"TYc ^ ! 8 !h!"TDd ^ ! Yc^ ! 8 "h!"ZT yV8 !h^h!#TT [T)C C !6 ^V5 ^U c!T c!T [TZ( yU  yU7 h!'!8U! 8U!8AE&D C CVZGV+c !"@ !@ C@ !8U!8AG" ITc !"@ !@ C@ !8U!8AG" ITYGV+c !"@ !@ C@ !8U!8AG" IT*c !"@ !@ C@ !8U!8AG" I CUG I(D CCUGIE !!A]!C!A]!IF !!A]!C!A]!I(D C8 ^V C @@I(YC!8"IZ( yVc(D C 8 !@(8AE! 8)F!68! 8;" 8~C!68G! Y8! W'[C !6 ^Vp5 ^VK5 ^V&5 ^Uyc(! 8!!8U!8AE"8AE"T^c(! 8!!8U!8AE"8AE"T@c(! 8!!8U!8AE"8AE"T"c(! 8!!8U!8AE"8AE"T'[TZ(' yVw8AF!%! +8"h? +8"ChyV 58!hh8#C!h8!? 58!hh8#T$VD VTC E D Ch?  C8." +]8"C VD C D C G? E  !!A]&!? F !!A]&!? & +8"C CCV !T !A]&!  !GV$c!!"@$!@ !8U!8AG"T"c!!"@$!@ !8U!8AG"?GI   $!+ g8"V  !""T  !#"h C@hh+*!8AG:!8FC"@h8!h8!8AG "@!!?]!@8 !8!8 "8AG"@ @8! C C !A]&!8!8 "8AG"V!T!8U!8AE" !@]&!8!84!8AE"@8!8!8AG"IcC@h8!88AE"@ !8!8AG"I T56@[T56@[C( .'&%$#"!      +(H8AG%8 ! 8!8 ! 8!@8 %W D C @(E C @( +8& C8!! D6 ^VV5 ^VA5 ^V75 ^V-5 ^V5 ^UA!8U!8AE&!8U!8AE&((!8U!8AE&!8U!8AE&56@[)*D C m@" !8U!8AE&)*D C  !8U% m@" !8U!8AE&)*D C  !8U!T  !8U!? !8U!?i }U\C!8U!8AE"I zUcd }U\C!8U!8AE" I zUcc C@ C@!8U!8AG& )*D C !8U!? !8U!?i }U\C!8U!8AE"I zUcd }U\C!8U!8AE" I zUcc C@ C@!8U!8AG& ! D C !?]!@8 ! !@]!@8 %8! %!?i  }U!\C!@]!@8 ! I zUcC?]!@8 %C(D C@(Diy(5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%56&5%5%5%5%5%5%5%5%5%5%5%5%c8&!81%c82!81%c8/!81%c8(%)* 68#81% ] CT 8!T8% ] C(8%()* G"_(7C^ GC +G "Gh GD8!@ 8 !8"@()*G "XVCIC G'(GC+G &g?l2C! +8" +8" 8%D C 8~C! 8~C! 8! W[D C 8! W%%%%%%%%%%%%%%%C COc^i^ !6 ^V[5 ^V=5 ^V5 ^U]ci !!"6>@(ch !!"6>@(ci!!"6>@(ch!!"6>@([TC C D C8 @?8"XV[c^i^j ^ 8! W[C C !6 ^U0ch!!"6>@h!!" 6>@([[)*C @@I(c? +G "C(8G! C W**E D C8G ^V5 8G!^V 8G%5()*8" #c()*c! C +G "D 8" &)*8! #c()* #c()*c! C +G "C +G "D8! D "&)* #c()* #c()*c! C +G "C +G "D D "&7h!&)* D8" C@()* " 8" CG #()*Y CG"Z(6 yV7(7l2C!@(5 G\ GI@8! + + + + + +T  +  + +z ,c]6@ ,c]6@   , +3h]6@   ++ + + + +? +? +? +?6! +? +v? +k? +`?+U?+J?+??+4?+(? +? +? +?+?6! +? +? +? +?+?+?+?+?+? +? +u? +i? +]? +Q?+E?+9?+-?+!?+?+ ?+?+?+?+?+?+? + + #%6+E #'7+5+!#9+ 7+ 7+8, <+ + +h]6@   !#%')+-=?BEGIMPTVX[]_acel,'    "$&(*,.02468:<>@BDFHJLNPRTVXZ\^`bdfhjlnprtvxz|~>RR9Tc8Q%5 8 !c +6@@h68 G ?9566A9@j(6Fourier_plugin.Fourier&_none_A@AAA@Q*floatarray@,@@@A@@@?@@@@P5extension_constructor@A#int@,@@@A@@@E@AB$char@O&string@ D%float@ E$bool@,@@а^%false@@@T@а_$true@@@Y@@A@@@Y@AF$unit@,@@а`"()@@@b@@A@@@b@A#G#exn@,@@AA@@@e@@&H%array@,@M@A@A@@@l@@-I$list@,N@Aаa"[]@@@w@аb"::@ @@O@@@@A@Y@@@@EJ&option@,P@Aаc$None@@@@аd$Some@ @@@@A@Y@@@@WN&lazy_t@,1Q@A@A@Y@@@@]K)nativeint@`L%int32@bM%int64@d]:Undefined_recursive_moduleCD@g@@Jq@@@@V@@A=ocaml.warn_on_literal_patternO@\.Assert_failureC@@X@@Aà\@Y0Division_by_zeroC$@@@Aʠc@X+End_of_fileC+@@@AѠj@W)Sys_errorC2@.@@A٠$r@[.Sys_blocked_ioC:@@@Aࠠ+y@V)Not_foundCA@@@A砠2@U'FailureCH@D@@A:@T0Invalid_argumentCP@L@@AB@Z.Stack_overflowCX@@@AI@S-Out_of_memoryC_@@@AP@R-Match_failureCf@eab@c@@A]@C%bytes@ِ@*PervasivesA(rational@,@@а#num@@@@:plugins/fourier/fourier.ml\\@@а#den@@@@ ] ]@@@@A@@@\]@@@.print_rational@@*@@!F$unit@@@@@'_(_ @@$pgcd@@A#int@@@?'@ ( )@*@+&@=e`h>e`l@@"r0@*@@KI@HhIh@@"r1@5@@SQ@SiTi@@%rnorm@@D@@ZI@@[@\Y@gkhk@@#rop@@X@@԰]@@@@{q|q@@%rplus@@l@@2񰖰@u@@5z@@@@@ss@@&rminus@@@@>@@@B@@HC@D?@@=@uBFuBL@@%rmult@@@@@@@@@@@@ww@@$rinv@@@@@@@@yy@@$rdiv@@@@װ@@@۰@@@@@{{@@ $rinf@@@@6  @@@3 E$bool@@@ @  @  @#}-1$}-5@@ &rinfeq@@@@i ?@@@f C @@J D@E @@A >@A~X\B~Xb@@$ineq@,@@а$coef@@ _@@q@@uUE  VE  @@а$hist@@o@@{@@eF  fF  @@а&strict@@J@@pG  qG  @@@@A@@@sE  tG  @@@]#pop@@@@@*PervasivesA#ref9@@@@w@@@@@I  I  @@+partitionne@@I$list@o@@ E =@@ <t@@  @@ @@M o sM o ~@@(add_hist@@&@@ z@@ y 頰w@@  @  @@  ˰A?@@ x @@  @  @b V Zb V b@@&ie_add@@O@@  @X@@  ]@@  @  @  @oo@@(ie_emult@@@@ * 𰖰@u@@ 8 z@@  @  @  @-t.t@@%ie_tl@@@@ \ ?@@ D @@ A >@AyBy@@'hd_coef@@@@ k a@@ m b@ c `@U|V|@@*deduce_add@@@@  @@  r@Ƞ@@  @@  vĠ@@ @@  w@ x s@ t q@@@'deduce1@@栰@@ = @@  񰖰I$list@@@ < +@@ * @  @VZVa@@&deduce@@㠰kj@@ r@@ qS@@ s@ p@@ o Lܠ@@ @@  M@ N K@LPLV@@ -Contradiction@S@@@ @@ @@ @@ @ @@ @@A@@ *unsolvable@@-@@ @@ Ԡ@@ @ @@   ɰX<@@q;@@r:9@@t@@s@p b@@a  @   @'(@@@@@@@cX@@AnP@@BW@@V@@AU@@T@@ABCEQ@@+R@@AS@@O@@ABDB@@N@@A6A@@ C@@ABD@@eK@@AIL@@+M@@ABC}J@@H@@AI@@E@@ABF@@G@@lY@@ABCDE@@Y@( 6Fourier_plugin.Fourieraa*2ba*B@D@@At!x@U@n_ o_@@@@@@@ A@@A@@A@( t6Fourier_plugin.Fourierx`y`(@[@@ A@@@@A@( \6Fourier_plugin.Fourier bD[@@@@@@@A@( 06Fourier_plugin.Fourieroo@@A!x@7@kk@@!x@=^@kk@@!d@p@@@m?Wm?X@@!d@{@@@nmwnmx@@@@@@@DC@@A&B.A@@B@A@@AB@@B@D@( (6Fourier_plugin.Fouriernmnm@@A;@@@@@@A@B@C@( 6Fourier_plugin.Fouriernmnm@@AE@@@@ C@( 6Fourier_plugin.FouriernmsM@@AK@@@@CA( 6Fourier_plugin.Fourierm?Ym?i@ABT@@@@@*@A'@B ( 6Fourier_plugin.Fourierm?Ro@@A^@@@@ B@( 6Fourier_plugin.Fourierl<l>@@Ae@@@@B@( 6Fourier_plugin.Fourierl,@@Ak@@@@B@( 6Fourier_plugin.Fourierkk@@Aq@@@@@F@AE@A@( 6Fourier_plugin.Fourierkk@@Az@@@@ A@( 6Fourier_plugin.Fourierk$@@@@@@@A@( h6Fourier_plugin.Fourierqq@@@&!x@@qq@@@@@@@ A@@A@A@@A@A@( 6Fourier_plugin.Fourier's (s>@@@;!x@@/s0s@@!y@@5s6s@@@@@@@B@@A A@@B@A@@A@B@( 6Fourier_plugin.FourierCuBSDuB@@@X!x@@KuBMLuBN@@!y@@QuBORuBP@@@@@@@B@@A A@@B@A@@A@B@( l6Fourier_plugin.Fourier_w`w@@@u!x@@gwhw@@!y@@mwnw@@@@@@@B@@A A@@B@"A@@A@B@( <6Fourier_plugin.Fourier{y|y@@@!x@@yy@@@@@@@ A@@A@5A@@A@A@( 6Fourier_plugin.Fourier{{)@@@!x@@{{@@!y@@{{@@@@@@@B@@A A@@B@QA@@A@B@( 6Fourier_plugin.Fourier}-<}-U@@@ð !x@@}-6}-7@@ !y@@}-8}-9@@@@@@@B@@A A@@B@@B@( 6Fourier_plugin.Fourier~Xi~X@@@ް !x@@~Xc~Xd@@!y@@~Xe~Xf@@@@@@@B@@A A@@B@@B@( P6Fourier_plugin.FourierI  I  @@@!x@i@I  I  @@!l@g@I  I  @@@@@@@ A@@B@@AB@@B@( 6Fourier_plugin.FourierQ  W  @F$unit@@@ ;B!s@d@ M o  M o @@$lpos@`l@@@@@N  N  @@$lneg@t@@@@@2O  3O  @@$lnul@@@@@@FP  GP  @@@@@@@-C@@D@@ABDB@@LA@@AC@C@@AA@@SB@@AB@D@(6Fourier_plugin.Fourierd\X  5@@A[@@@@D@(6Fourier_plugin.FourierbP  @@A`@@@@@@AB@C@(6Fourier_plugin.FourierkO  @@Ah@@@@@!@A@B@B@(6Fourier_plugin.FouriertN  @@@p@@@@@'@A&@A@(6Fourier_plugin.Fourier|R  }R  +@G#exn@@@ [ ]A"ie@@Q  Q  @@@@@@@u'*match*@B@@AA@@B@zE@@AgF@@D@@AB)C@@bA@@AB@@BC@B@(6Fourier_plugin.FourierR  *@@A @@@@B@(x6Fourier_plugin.FourierV  V  @@A)!c@f@@ S O@S , ES , F@@!r@g@@ P@S , HS , I@@@@@@@7@AC@@6@AB5@C@(d6Fourier_plugin.FourierU  U  @@A#@@@@ C@(\6Fourier_plugin.FourierU  U  @@@  |B2@@@@C@(L6Fourier_plugin.FourierU  9@@A8@@@@!C@(46Fourier_plugin.FourierT [ ~T [ @@A?@@@@(C@(,6Fourier_plugin.FourierS , QS , Z@@@ l dBM@@@@6C@( 6Fourier_plugin.FourierS , NT@@AS@@@@pO@堰@@ @@ C%@@@@C@(6Fourier_plugin.FourierMoNqQy@@@,@@@@B@(6Fourier_plugin.FourierTtUt@  @@ @@ B}!a@K@etft@@"ie@H@ktlt@@@@@@@B@@A A@@B@A@@A@D@(6Fourier_plugin.Fourieryuzu?@! @@ @@ B%@@@@C@(d6Fourier_plugin.FouriertvAZ@@@,@@@@B@(D6Fourier_plugin.Fourieru-u6@@@4!x@~@@ ) @u(u)@@@@@@@A@@A@CB@@A@@AB@A@(06Fourier_plugin.Fouriertt@@@N!x@@@  @tt@@@@@@@A@@A@]B@@ A@@AB@A@( 6Fourier_plugin.Fourieryy@|{@@ F@@ EA"ie@@yy@@@@@@@ A@@A@@C@(6Fourier_plugin.Fourieryy@@@@@@@ A@(6Fourier_plugin.Fourier||$@@@ "ie@@||@@@@@@@ A@@A@@A@(6Fourier_plugin.Fourier@@@ B $lneg@@@@$lpos@@  @@#res@` @@  ~@@ } z@@@@@@@@%B@@A A@@C@@AB@F@@8C@@ABD@@E@@AB@@A@@ABC@C@(6Fourier_plugin.FourierB8@@A<@@@@C@(t6Fourier_plugin.Fourier>@@@A@@@@@B@B@(6Fourier_plugin.FourierFG@@@L"i1@@MN@@@@@@@ A@@A@F@@cC@@ABGD@@-E@@AWG@@B@@AUH@@A@@ABCD@A@(6Fourier_plugin.FouriergV^h}@A&"i2@@rs@@!a@_@@  @}$~%@@!b@5@@  @<D<E@@@@@@@B@@AC@@$A@@AB@SF@@ANH@@C@@ABD@@nE@@A)B@@G@@9A@@ABCD@D@(6Fourier_plugin.FourierVe}@@@  BD@@@@%D@(6Fourier_plugin.FourierVmV|@ @@  ǐBR@@@@3E@(6Fourier_plugin.Fourier}}@@@  ѐB`@@@@AD@(6Fourier_plugin.FourierVZ}@@Ag@@@@HCA(6Fourier_plugin.Fourier<H<R@AAp@@@@@R@AO@BN@B (6Fourier_plugin.Fourier<@@@Az@@@@ BA(6Fourier_plugin.Fourier(8@AA@@@@@b@Aa@A (6Fourier_plugin.Fourier, @@@  A@@@@A@(6Fourier_plugin.Fourier  5@@@@@@@A@(6Fourier_plugin.Fourier  @vA /!s@@ Vb Vc@@@@@@@l@B@@A A@@B@C@@AB@@A@@AB@B@(t6Fourier_plugin.Fourier@A@@@@B@(H6Fourier_plugin.Fourier * +@@@ - 3B+$lneg@@@  @ C D@@$lnul@  @ J K@@$lpos@ @ Q R@@$lnew@@@ @@  @ ` a@@@@@@@o@En@Dm@CW@A8H@@ I@@AB/G@@*F@@\@ABC[@J@(06Fourier_plugin.FourierQ {@@AG@@@@IA(,6Fourier_plugin.Fourier  @ABP@@@@$@@ABCo@H( 6Fourier_plugin.Fourier @@A[@@@@ H@(6Fourier_plugin.Fourier fp f@㠰@@ @@ A@@@@@@A@A@(6Fourier_plugin.Fourier fj@@@@@@@A@(6Fourier_plugin.Fourier  @@A հ#lie@ @ LW LZ@@!n@@@ S P@ ]d ]e@@ #lie@D砰#@@ n@@ m i@@ h e@  @@@@@@@C,A@@(B@@AB@!A@@AbB@@B@C@(T6Fourier_plugin.Fourier  @C@@ @@  AG "_i@ r@@ @  @@@@@@@D@@A)&B$@E@(D6Fourier_plugin.Fourier  @@A@@@@ E@( 6Fourier_plugin.Fourier`@@A_@@@@6C@(6Fourier_plugin.Fourier  @IAg@@@@@=@y--z--@@#add@@W!a@@F@@@E@ L@@D@C@B@A@---.@@&remove@@u!a@@K@@@Jg@@I@H@G@....(@@$find@@!a@@O@9@@N @M@L@.).-.).I@@(find_opt@@!a@@T@P@@SJ&option@@@R@Q@P@.J.N.J.u@@(find_all@@Š!a@@Y@n@@XI$list@@@W@V@U@!..!..@@'replace@@㠰!a@@_@@@^@ @@]@\@[@Z@""..#"..@@#mem@@!a@@d@@@cE$bool@@@b@a@`@?#..@#./@@$iter@@@@@l@!a谳 @@k@j@i@. @@h@@g@f@e@b$// c$//:@@2filter_map_inplace@@@@@t@!a񰳐@@s@r@q@R@@p;@@o@n@m@%/;/?%/;/@@$fold@@@@@|@!a@!b@{@z@y@w@@x@  @w@v@u@(//(//@@&length@@!a@@@@~@}@)//)//@@%stats@@!a@@@'HashtblA*statistics@@@@*//*/0@@@@;plugins/fourier/fourierR.ml``@$flin@,@@а$fhom@@!t(rational@@@@װb)bE@@а%fcste@@(rational@@ݰ$cFS%cFa@@@@A@@@'b(cFb@@@ F)flin_zero@@@@&F#8@@*F$@%F"@=efj>efs@@c)flin_coef@@@@c°@D=@@cưG@@c@c@c@\g]g@@f(flin_add@@/@@f밖@@@ fﰖ@@'FourierA(rational@@ff@f@f@f@ii@@k-flin_add_cste@@W@@Ok.@@@Jk2e@@7k3@4k/@0k-@nTXnTe@@n(flin_one@@z@@ZnWy@@`nX@YnV@ss@@q)flin_plus@@@@qr@@@qv@@qw@xqs@tqq@uu@@y*flin_minus@@@@y@@@y@@uy@y@y@||@@*flin_emult@@@@@@@@@@@@ B B@@$ineq@,@@а#Rlt@@@J  J  @@а#Rle@@@ J  !J  @@а#Rgt@@@(J  )J  @@а#Rge@@@0J  1J  @@@A@@@3J  @@A4string_of_R_constant@@@%NamesA(ConstantP!t@@GO&string@@@4@@PL  QL  @@ 2string_of_R_constr@@@&ConstrA&constr@@6 6Ⱆ@@8 6@6 6@iT  jT  @@ *NoRational@@@@ApZ  qZ  @@ 2rational_of_constr@@ @@8 8밖@@: 8@8 8@\  \  @@ !(NoLinear@@@@Az!!z!3@@ ".flin_of_constr@@;@@;Z ";Nc@@<  ";O@;P ";M@|5=|5K@@ --flin_to_alist@@Y@@ .@@@@ -=ذl n@@@ -@@@@@@ -=@= -=@@@ %hineq@,@@а %hname@@&constr@@@@@а %htype@@@@@@@а %hleft@@&constr@@A0<0I@@а &hright@@&constr@@AJVJd@@а %hflin@@@@A eqe|@@а 'hstrict@@@@A }}@@@@A@@@}@@@ &NoIneq@@@@A@@ /ineq1_of_constr@@@'EConstrA!t@@D A7 @@Hj A8@A9 A4y@@Ia I^@@I] A5@A6 A3@BC@@ -fourier_lineq@@I$list@@@N N@@N KⰖI$list@@@NE$bool@@@N@@N@@N@N@@N K@K K@y = Az = N@@ #get@@@$LazyA!t@N@@N@N N@#%#)#%#,@@ $cget@@N@@N@N N@#:#>#:#B@@ $eget@@&@&ConstrA!t@@N N@@N Nհ@@N N@N N@#I#M#I#Q@@ (constant@@I$list@O&string@@@PR@@PQ N밖@ @@PP Nﰖ@&ConstrA&constr@@PE N@N N@N N@#w#{#w#@@@&CoqlibA +coq_sym_eqT@@)GlobnamesA0global_reference@@Pe Pa@@Pb P`@#####$@@ )coq_False@/@@Q8 Q,@@Q- Q+@$$$$($$$$1@@ 'coq_not@(@@@QV QJ@@QK QI@%%$l$p&%$l$w@@ &coq_eq@9Q@@Qt Qh@@Qi Qg@6&$$7&$$@@ -constant_real@@e@@Qb@@Q@Q Q@F)%% G)%%@@ 'coq_Rlt@Zr@@Q Q@@Q Q@W+%=%AX+%=%H@@ 'coq_Rgt@k@@Q Q@@Q Q@h,%f%ji,%f%q@@ 'coq_Rle@|@@Q Q@@Q Q@y-%%z-%%@@ 'coq_Rge@@@Q Q@@Q Q@.%%.%%@@ %coq_R@@@Q Q@@Q Q@/%%/%%@@ *coq_Rminus@@@Q Q@@Q Q@0&& 0&&@@ )coq_Rmult@@@Q Q@@Q Q@1&5&91&5&B@@ )coq_Rplus@Ѡ@@Q Q@@Q Q@2&b&f2&b&o@@ (coq_Ropp@⠰@@R Q@@Q Q@3&&3&&@@ (coq_Rinv@󠰖 @@R  R @@R  R@4&&4&&@@ &coq_R0@@@R R@@R R@5&&5&&@@ &coq_R1@-@@R% R!@@R" R @6' '6' '@@ *coq_Rinv_1@&>@@R2 R-@@R. R,@#9'@'D$9'@'N@@ 0constant_fourier@@R@@RKO@@RJ@RI RF@3<''4<''@@ .coq_Rlt_zero_1@G_@@Rb R^@@R_ R]@D>''E>''@@ 6coq_Rlt_zero_pos_plus1@Xp@@Rn Rj@@Rk Ri@U?(( V?(( @@ 6coq_Rle_zero_pos_plus1@i@@Rz Rv@@Rw Ru@f@(P(Tg@(P(j@@ 4coq_Rlt_mult_inv_pos@z@@R R@@R R@wA((xA((@@ 1coq_Rle_zero_zero@@@R R@@R R@B((B((@@ .coq_Rle_zero_1@@@R R@@R R@C) )$C) )2@@ 4coq_Rle_mult_inv_pos@@@R R@@R R@D)Z)^D)Z)r@@ ,coq_Rnot_lt0@@@R R@@R R@E))E))@@ .coq_Rle_not_lt@Ϡ@@R R@@R R@F))F))@@ 5coq_Rfourier_gt_to_lt@࠰@@R R@@R R@G**G**)@@ 5coq_Rfourier_ge_to_le@񠰖 @@R R@@R R@H*X*\H*X*q@@ 7coq_Rfourier_eqLR_to_le@@@R R@@R R@I**I**@@ 7coq_Rfourier_eqRL_to_le@+@@R R@@R R@J**J*+@@ 6coq_Rfourier_not_ge_lt@$<@@R R@@R R@!L+9+="L+9+S@@ 6coq_Rfourier_not_gt_le@5M@@S  S@@S S@2M++3M++@@ 6coq_Rfourier_not_le_gt@F^@@S S@@S S@CN++DN++@@ 6coq_Rfourier_not_lt_ge@Wo@@S" S@@S S@TO,,UO,,1@@ /coq_Rfourier_lt@h@@S. S*@@S+ S)@eP,a,efP,a,t@@ /coq_Rfourier_le@y@@S: S6@@S7 S5@vQ,,wQ,,@@ 2coq_Rfourier_lt_lt@@@SF SB@@SC SA@R,,R,,@@ 2coq_Rfourier_lt_le@@@SR SN@@SO SM@S--S--1@@ 2coq_Rfourier_le_lt@@@S^ SZ@@S[ SY@T-]-aT-]-s@@ 2coq_Rfourier_le_le@@@Sj Sf@@Sg Se@U--U--@@ .coq_Rnot_lt_lt@Π@@Sv Sr@@Ss Sq@V--V--@@ .coq_Rnot_le_le@ߠ@@S S~@@S S}@W..W..-@@ 7coq_Rlt_not_le_frac_opp@𠰖@@S S@@S S@X.U.YX.U.p@@ &is_int@@@@S SE$bool@@@S S@S S@^/_/c^/_/i@@ 4rational_to_fraction@@@@S SA#int@@@S S @@S S@S S@S S@'b//(b//@@ +int_to_real@@A#int@@@S SZ@@S S@S S@>g00?g00@@ 0rational_to_real@@@@T Tt@@T Tu@Tv Ts@Rr1/13Sr1/1C@@ 0tac_zero_inf_pos@@@T T˰@8@@X TҠ@@\K T@T Tϰ@)ProofviewA&tacticF$unit@@@\@@\ T@T T@T T@z11z11@@ 2tac_zero_infeq_pos@@@\ \Ұ@4@@]F \٠:@@] \@\ \ְ3.@@]@@] \@\ \@\ \@3333@@ 2tac_zero_inf_false@@2^r ^@@@^{ ^e@@^q ^ @^! ^@)ProofviewA&tacticF$unit@@@^8@@^7 ^@^ ^@^ ^@6 6 6 6@@ 4tac_zero_infeq_false@@e^ ^@3@@^ ^@@^ ^@^ ^&tactic@@^@@^ ^@^ ^@^ ^@6767@@ %exact@@@'EConstrA&constr@@^ܰ@)ProofviewA&tacticN@@^@@^@^ ^@077177@@ 'tac_use@@@@^ ^ް@@_@@_ ^@^ ^@H77I77@@ ,list_of_sign@@@'ContextA%NamedA+Declaration@"pt@d! `d$ `@@` `@@` _#@%NamesA"Id@!t@@d& d#@d% `@@` _@_ _@;;;;+@@p&mkAppL@@H%array@@@@dFpd<@@d=pd4F@@dBpd5@d6pd3@;;;;@@s(GoalDone@ %@@@A<<<<<<N@@K@@ABI@@L@@AJ@@BCDEFGH@@R@(O7Fourier_plugin.FourierR{<''|<''@TA @@@@@@ABC@@@AB@@A@BCDE~@~@ABs@h@ACg@a@A_@B^]CDFY@VUBSRDJHF@D@AC@A@ABC9@4@1@ABDEG@@i@(M7Fourier_plugin.FourierR)%%)%%;@iA @@@(@@A@y@AwvBCDtEbF@@[@(J7Fourier_plugin.FourierRefef@ @@G,G3@@G2A @@@@b%param@A@@A@ A@@A@B@(J7Fourier_plugin.FourierRefyef@@@ @@@A@(J7Fourier_plugin.FourierRgg@@A d!f@@gg@@e!x@@gg@@@@@@q#exn@C@@AB@@A@@AB@ A@@A@C@(Jh7Fourier_plugin.FourierRgg@c͐B$@1@@@@A@B@F@(JD7Fourier_plugin.FourierR g.@@@-@:@@ B@(J,7Fourier_plugin.FourierR k! kI@ @@fC g!f@@ i i@@h!x@@ i i@@i!c@@ #i $i@@j"cx@ @@g@ .j /j @@@g@@@A@@D@@AB%C@@!B@@AC@ ,A@@AB@@B@D@(J7Fourier_plugin.FourierR Bk=:@ 5@@ghB;@@@D@(I7Fourier_plugin.FourierRG OlKP@@AA@@@ DA(I7Fourier_plugin.FourierR Wj  Xj@ABJ@@@@*@A'&B$@C (I7Fourier_plugin.FourierR cj@@@T@@@ C@(I7Fourier_plugin.FourierR ip~ jp~@ N@@lEB l!f@@ vnTf wnTg@@m!c@@ |nTh }nTi@@@@@@ A@@B@@AB@@B@(I7Fourier_plugin.FourierR olp p~@@@@@@ B@(I7Fourier_plugin.FourierR s s@ \@@nbogA @@@@p@A@@A@ B@@ xA@@AB@B@(Ix7Fourier_plugin.FourierR s s@@@ @@@A@(Ih7Fourier_plugin.FourierR y y@ y@@qrB Ȱr"f1@@ u u@@s"f2@@ u u@@t"f3@ @@}rz@ v v@@@@@@B@@AA@@C@@AB@ A@@A ~C@@B WD@@ B@@AC@D@(IH7Fourier_plugin.FourierR xJN xJ@ e@@qB5@!@@C@(I7Fourier_plugin.FourierR w wH@ q@@qBA@-@@'C@(H7Fourier_plugin.FourierR  y@@AG@3@@-CA(H7Fourier_plugin.FourierR v v@AAP@=@@75@B2@B (H7Fourier_plugin.FourierR v@@@Y@F@@ B@(H7Fourier_plugin.FourierR w* w9@ @@Chu!x@ @@rr@ &w 'w@@v!c@ @@rr@ 1w 2w @@@j@@@A@@B@@AB@wB@@ A@@AB@B@(H7Fourier_plugin.FourierR Aw$ Bw?@@@(@z@@B@(H7Fourier_plugin.FourierR HxJp IxJ@ @@ŐCw!x@ @@rr@ ZxJc [xJd@@x!c@ @@rr@ exJe fxJf@@@@@@A@@B@@AB@B@@ A@@AB@B@(H7Fourier_plugin.FourierR uxJj vxJ@@@(@@@B@(Hp7Fourier_plugin.FourierR |@ }@@ I@@ywz}B z"f1@ @ | |@@{"f2@ @ | |@@|"f3@ a@@ z@ } }@@@@@@B@@AA@@C@@AB@ A@@A NC@@B 'D@@ B@@AC@D@(HX7Fourier_plugin.FourierR @ @@ ?@@yvzA7@@@C@(H@7Fourier_plugin.FourierR EI E@ C@@yABC@@@)C@(H7Fourier_plugin.FourierR ~ ~C@ O@@yBO@ @@5C@(G7Fourier_plugin.FourierR  @@@AU@@@;CA(G7Fourier_plugin.FourierR } }@AA^@@@EC@B@@B (G7Fourier_plugin.FourierR }@@@g@$@@ B@(G7Fourier_plugin.FourierR ~% ~4@ @@"Cv}!x@ @@z$z@ ~ ~@@~!c@ @@z#z@ ~ ~@@@H@@@A@@B@@AB@B@@ A@@AB@B@(G7Fourier_plugin.FourierR ~ ~:@@@(@X@@B@(G7Fourier_plugin.FourierR &Ek 'E@ @@QC!x@ @@zSzG@ 8E^ 9E_@@!c@ @@z]zC@ CE` DEa@@@|@@@A@@B@@AB@B@@ A@@AB@B@(G7Fourier_plugin.FourierR SEy-@ @@|R}\A.@@@B@(Gt7Fourier_plugin.FourierR `Ee aE@@@5@@@B@(GT7Fourier_plugin.FourierR gE R g hE R x@ @@B!a@ ~@ wB xB@@!f@ {@ }B ~B@@"f2@ L@@@ C C@@@@@@B@@AA@@C@@AB@ A@@A 9C@@B D@@ qB@@AC@C@(G87Fourier_plugin.FourierR D   D  P@ @@B5@@@C@(G 7Fourier_plugin.FourierR  E R y@@A;@@@!CA(G7Fourier_plugin.FourierR C C@AAD@@@+)@B&@B (F7Fourier_plugin.FourierR C@@@M@@@ B@(F7Fourier_plugin.FourierR D  ) D  B@ @@C\!x@ @@@ D   D  @@!c@ c@@@ D   D  @@@@@@A@@B@@AB@xB@@AmC@@ A@@AB@B@(F7Fourier_plugin.FourierR D  7/@ }@@ƐB0@1@@B@(F7Fourier_plugin.FourierR D  # D  H@@@7@8@@B@(F7Fourier_plugin.FourierR R   R  @@A"kn@ @ L   L  @@@F@@@m'*match*@Cl@B@@AA@@B@@C@(Fx7Fourier_plugin.FourierR Q   Q  @@A #dir@ 'DirPathD!t@@4y@ .N / D /N / G@@ 'sec_dir@!t@@44W@ ;N / I <N / P@@ "id@ %LabelE!t@@44X@ JN / R KN / T@@@@@@=@/F@@ABD@@;@&E@@ABC@@F@(Fp7Fourier_plugin.FourierR ZP v w [P v @b@@44AC@@@F@(Fh7Fourier_plugin.FourierR hP v @ !@@4ǐAO@@@#G@(F<7Fourier_plugin.FourierR tO Z [ uO Z r@|@@44A]@@@1F@(F(7Fourier_plugin.FourierR'@@Ab@@@6F@(E7Fourier_plugin.FourierR M   M  )@ P'ModPathI!t@@D`@@EW@@F@CA@@@@@A@@A@(E7Fourier_plugin.FourierR M  @@@@@@A@(E7Fourier_plugin.FourierR # T@ ,@@ -@BͰ .!f@ @  @@ /#res@@*PervasivesA#ref   -@@@@ .=@@= .=@    @@@ @@@#A@@B@@AB@A@@A@B@(E7Fourier_plugin.FourierR4 V^@@A.@@@ B@(E7Fourier_plugin.FourierR   @@@3@@@@@A@A@(EX7Fourier_plugin.FourierR ? Q@@@? !x@ 4@ 8 9@@ !c@ K@ : ;@@@3@@@ A@@B@@AB@KA@@A@B@(EH7Fourier_plugin.FourierR  @G#exn@@@ K KA6 !h@ @  @@ !t@ @ #  $ @@ !h@@&ConstrA!t@@D A>@ 3 4@@ !t@@@Hi Hf@ >6< ?6=@@ !f@ @@H H@ I} J}@@ $args@H%array@@@H@ V} W}@@@@@@FJ@ILM@F@@AG@@%H@@ABADOC@@ @A@@8EPB@@ABC@ `D@@ A@@AB C@@ CB@@AC@I@(ED7Fourier_plugin.FourierR {s@@Ai@@@$I@(E@7Fourier_plugin.FourierR o o@y@@ K KA| "kn@ W&MutIndV!t@@H H@ =O =Q@@ !i@A#int@@@H H@ =R =S@@ "t0@ V@@J J@  @@ "t1@ a@@K  K@  @@ "t2@ l@@K K@  @@ !c@@%NamesA(ConstantP!t@@K5 K6@ )@ )A@@@@@@m@To@Rn@QJ@KI@J@A@*S@@A@BC@[L@@lM@@ABD@@ARN@@IO@@@P@@ABCE@T@(E<7Fourier_plugin.FourierRo@@A~@>@@(T@(E7Fourier_plugin.FourierR  ]@ @@ KjB@J@@4V@(D7Fourier_plugin.FourierR @ @@ Kp KuA@X@@BW@(D7Fourier_plugin.FourierR&J@ @@ Ko K|A@e@@OV@(D7Fourier_plugin.FourierR34W@ 9@@ KB@q@@[V@(D7Fourier_plugin.FourierR?@@ @@ K KA@@@iW@(D7Fourier_plugin.FourierRMD@@@ K KA@@@vV@(D7Fourier_plugin.FourierRZ{[Yn@@A@@@}T@(Dd7Fourier_plugin.FourierRaHQbHi@ @@KLA@@@@@A zC wDsE@S@(D\7Fourier_plugin.FourierRrHJso@@A@@@ S@(DD7Fourier_plugin.FourierRyz@q@@ K KA@@@@@A%$B"CD@Q@(D@7Fourier_plugin.FourierR@@A@@@ Q@(C7Fourier_plugin.FourierR#@ 9,kind_of_term >@@K  B%types@@K!@%SortsA!t@@K"@$UnivA(Instance\!t@@K#@@KA.@@@@@A\[BYCUDO@P@(C7Fourier_plugin.FourierR @@A:@@@ P@(C7Fourier_plugin.FourierR@@A?@@@he@@ABCDa@O@(C7Fourier_plugin.FourierR@@AI@ @@sp@n@@ABCDl@N@(C7Fourier_plugin.FourierR@@AS@@@'~{yCDu@M@(C7Fourier_plugin.FourierR[[@@@ J JAc@'@@M@(C7Fourier_plugin.FourierR[ @@Ai@-@@M@(C7Fourier_plugin.FourierR[n[@ @@ J# J(Bx@<@@%M@(Ch7Fourier_plugin.FourierR [gH@@A~@B@@+M@(C(7Fourier_plugin.FourierR5;@@@ J JA !c@N@@H H@$%@@ "t1@ @@I5 I+@/0@@ "t2@ @@IB I8@: ; @@@s@@@h.@NG1@J@A@/K@@A@BC@@A@(L@@M@@ABCD@N@(C$7Fourier_plugin.FourierRT/D@@A=@@@N@(B7Fourier_plugin.FourierRZ[@ `@@ IBI@@@%P@(B7Fourier_plugin.FourierRfg@3@@ I JAW@@@3Q@(B7Fourier_plugin.FourierRt@@@@ I J Ad@@@@P@(B7Fourier_plugin.FourierR,=@@Ak@@@GN@(B7Fourier_plugin.FourierR%@ @@ IBw@@@SP@(B7Fourier_plugin.FourierR@a@@ I IA@@@aQ@(B7Fourier_plugin.FourierR@n@@ I IA@@@nP@(Bl7Fourier_plugin.FourierRM^';@@A@@@uN@(B87Fourier_plugin.FourierR@ @@ IʐB@@@P@(B07Fourier_plugin.FourierR@@@ I IՐA@@@Q@(B$7Fourier_plugin.FourierR@@@ I IܐA@@@P@(B7Fourier_plugin.FourierR<M+@@A@@@N@(A7Fourier_plugin.FourierR6@ @@ IpB@"@@P@(A7Fourier_plugin.FourierR@@@ Iv I{A@0@@Q@(A7Fourier_plugin.FourierR#@@@ Iu IA@=@@P@(A7Fourier_plugin.FourierR ^o 8L@@A@D@@N@(AD7Fourier_plugin.FourierR-@-X@@@IHA@P@@@@ACD@M@(A<7Fourier_plugin.FourierR"-9#<@@A @[@@ M@(A,7Fourier_plugin.FourierR) @@A@a@@@@ABD@L@(A7Fourier_plugin.FourierR3@@A@k@@D@K@(A7Fourier_plugin.FourierR;<@@A#@t@@ K@(@7Fourier_plugin.FourierRBC@@@H@@H@@H@@H@@HAF@@@@@ABC@H@(@7Fourier_plugin.FourierRbc@@AQ@@@ H@(@|7Fourier_plugin.FourierRij@a@@ K KA\@@@@@A@B  C@F@(@x7Fourier_plugin.FourierRz@@Af@@@ F@(@(7Fourier_plugin.FourierR^h^w@+@@Hq@@Hr@@Hs@@Ht@@HpA@@@@6@A20B,@E@(@7Fourier_plugin.FourierR^b6@@A@@@ EA(@7Fourier_plugin.FourierR6@6Z@AA@@@D@@@AB?@D (@7Fourier_plugin.FourierR68J@@A@@@ DA(?7Fourier_plugin.FourierR2@AA@@@@[@AYBS@C (?7Fourier_plugin.FourierR^@@A@@@ CA(?7Fourier_plugin.FourierRfAA@@ @@@j@Ad@A (?7Fourier_plugin.FourierR""""@@A &lineq1@@ = O = U@@ $nvar@+^@@K K@@K K@ X _ X c@@ $hvar@PA#int@@@ N: K@@K K@ p w p {@@ #sys@ I$list@@@Nz Nn@@Nm Ng@@N Nh@Ni N@@N M@,!!-!!@@@ e@@@>C@@AVA@@RB@@/D@@ABC@)A@@A@DA(?7Fourier_plugin.FourierR@!!A""@ABh@ z@@@@AB@C (?7Fourier_plugin.FourierRL  M!!@F$unit@@@ M{B{@ @@C@(?h7Fourier_plugin.FourierR@@A@ @@CA(?d7Fourier_plugin.FourierRb p |c p @AA@ @@@5"B0@B (?X7Fourier_plugin.FourierRm p s@@A@ @@ B@(?@7Fourier_plugin.FourierRs X [@@@@ @@@D@A?@A@(?7Fourier_plugin.FourierR{   | !f!@@@ !f@0 M M}@    @@@ @@@A@@A@~A@@AC@@B@@AB@A@(>7Fourier_plugin.FourierR !6!: !6!W@@A !x@M@@ M M@      @@@ @@@ @A@@B@@AB@A@@AC@@B@@AB@B@(>7Fourier_plugin.FourierR  ! !X!d@@A@ @@B@(>7Fourier_plugin.FourierR     !@@@ M MB-@ @@!B@(>7Fourier_plugin.FourierR   @@@3@ @@'B@(>7Fourier_plugin.FourierR"U"e"U"@B !h@@!!!!@@ !v@ Nn@@N# N @@N  N@!!!!@@@ %@@@A@@B@@AB@A@@AC@@B@@AB@C@(>p7Fourier_plugin.FourierR."U"v@@@ Np NuA4@ ?@@D@(>T7Fourier_plugin.FourierR "U"x"U"@ NA?@ J@@%D@(>$7Fourier_plugin.FourierR!!"5"S@@@ N)BK@ V@@1B@(=7Fourier_plugin.FourierR $"U"@@AQ@ \@@7B@(=7Fourier_plugin.FourierR*!!@@@V@ b@@@=@A:@A@(=7Fourier_plugin.FourierR2!"3!"/@8 NDBe !x@@@ NE N/@B!"C!"@@ !c@@@ N@ N+@M!"N!"@@@ @@@A@@B@@AB@GA@@AdB@@C@@AB@C@(=7Fourier_plugin.FourierR_!"`!"3@@@*@ @@B@(=7Fourier_plugin.FourierRf#I#hg#I#v@A !c@@n#I#Ro#I#S@@@ @@@ A@@A@@A@(<7Fourier_plugin.FourierRx#I#V@@@@ @@ A@(<7Fourier_plugin.FourierR~####@@)GlobnamesA0global_reference@@ PFC $path@@#w##w#@@ !s@@#w##w#@@@ @@@B@@A A@@B@@B@( TA=@ <@@E@(67Fourier_plugin.FourierR u11 u11@ AF@ E@@'D@(67Fourier_plugin.FourierRu11u11@  TAQ@ P@@2E@(67Fourier_plugin.FourierRu11u11@ ӐAZ@ Y@@;D@(67Fourier_plugin.FourierR't1o1r(u11@@Aa@ `@@BD@(67Fourier_plugin.FourierR.s1H1U/s1H1k@bX@T{ T~An@ o@@@J@AI@A@(67Fourier_plugin.FourierR?s1H1K@@@v@ w@@A@(6l7Fourier_plugin.FourierRE3Y3tF3Y3@ &tactic @@ \@@ \ \A "gl@@_z11`z11@@ !n@ @ez11fz11@@ !d@ @kz11lz11@@ #get@@򠰳@@T@@TܰT@@T@T T@{22 {22 @@ $tacn@Ƞ  @@T@@T T@@T T@|22|22"@@ $tacd@ݠ ̠ @@Xh@@Xg Xc@@Xb X_@}2G2N}2G2R@@@ @@@IC@@EE@@ABXB@@UD@@A  @A@@%G@@A;F@@BCD@WD@@AB@@|C@@%A@@ABC@H@(6\7Fourier_plugin.FourierR3Y3{3Y3@ &constr@@ \ \A~@ @@(H@(6(7Fourier_plugin.FourierR3Y3\3Y3@@A@ @@/G@(57Fourier_plugin.FourierR3333Q@ @@ \]@@ \\ \aB "_i@`@@ \Q@2233W@@@ -@@@H@@AMLBJID@@I@(57Fourier_plugin.FourierR33&33J@&tactic@@ \f@@ \e \kA$@ G@@J@(57Fourier_plugin.FourierR33-33I@M@@ \m \sA2@ U@@(J@(57Fourier_plugin.FourierR#33 D@@A8@ [@@.I@(57Fourier_plugin.FourierR5P@@A@ `@@~G@(5P7Fourier_plugin.FourierR.22/22@_Z@@ X@@ X \B "_i@@@ X@C~2w2zD22@@@ |@@@H@@ABD@I@(5<7Fourier_plugin.FourierRO22P22@OM@@ \@@ \ \ A!@ @@J@(5,7Fourier_plugin.FourierRa22b22@@@ \" \(A/@ @@%J@(57Fourier_plugin.FourierRo22A@@A5@ @@+I@(47Fourier_plugin.FourierR2@@A @ @@G@(47Fourier_plugin.FourierRz}2G2W{}2G2s@ݐA(@ @@@@ABC@F@(47Fourier_plugin.FourierR}2G2^}2G2r@@@ Xi XoA:@ @@F@(47Fourier_plugin.FourierR}2G2J@@A@@ @@F@(47Fourier_plugin.FourierR|22'|22C@AH@ @@@BC@E@(47Fourier_plugin.FourierR|22.|22B@@@ T XQAY@ @@E@(47Fourier_plugin.FourierR|22@@A_@ @@E@(47Fourier_plugin.FourierR{22@@Ad@ @@@@AC@DA(47Fourier_plugin.FourierRgAA@@ @@@@A@B@B (4l7Fourier_plugin.FourierR5555@@@ ]@@ ] ]A8 "gl@V@3333@@ !n@O@3333@@ !d@O@3333@@ #get@@yQ@@\@@\㰳@@\@\ \@3333@@ $tacn@ O>9@@\@@\ \@@\ \@3434@@ $tacd@ dSN@@])@@]( ]$@@]# ] @04~414~4@@@i@@@IC@@EE@@ABXB@@UD@@A  y@A@@%G@@A;F@@BCD@G@@AF@@D@@ABE@@B@@A C@@A@@ABC@H@(4\7Fourier_plugin.FourierRU55V55@@@ ] ]A@@@,H@(4(7Fourier_plugin.FourierRc55d55@@A@@@3G@(37Fourier_plugin.FourierRj5:5Gk5:5@@@ ]@@ ] ]B "_i@@@ ]@5 5#5:5@@@@@@H@@AQPBNMDD@I@(37Fourier_plugin.FourierR5:5^5:5@@@ ]@@ ] ]A!@@@J@(37Fourier_plugin.FourierR5:5e5:5@@@ ] ]A/@@@%J@(37Fourier_plugin.FourierR5:5AA@@A5@@@+I@(37Fourier_plugin.FourierR2M@@A@@@G@(3P7Fourier_plugin.FourierR4445@砰@@ ]X@@ ]W ]\B "_i@7@@ ]L@4445@@@@@@H@@ABD@I@(3<7Fourier_plugin.FourierR4445@נ@@ ]a@@ ]` ]fA!@@@J@(3,7Fourier_plugin.FourierR4445@!@@ ]h ]nA/@)@@%J@(37Fourier_plugin.FourierR44A@@A5@/@@+I@(27Fourier_plugin.FourierR2@@A!@4@@G@(27Fourier_plugin.FourierR4~44~4@ސA)@=@@@@ABC@F@(27Fourier_plugin.FourierR4~44~4@G@@ ]* ]0A;@O@@F@(27Fourier_plugin.FourierR4~4@@AA@U@@F@(27Fourier_plugin.FourierR#4G4]$4G4y@ ]AK@`@@@BC@E@(27Fourier_plugin.FourierR14G4d24G4x@i@@ \ ]A\@q@@E@(27Fourier_plugin.FourierR@A`@u@@E@(27Fourier_plugin.FourierRC44'D44F@4Ai@~@@E@(27Fourier_plugin.FourierRL44.M44E@ \At@@@)E@(2x7Fourier_plugin.FourierR@Ax@@@-E@(2l7Fourier_plugin.FourierR[33@@A~@@@3E@(2h7Fourier_plugin.FourierRa33@@A@@@@0@A-:C#@DA(2T7Fourier_plugin.FourierRAA@@@@@7@A3@B-@B (207Fourier_plugin.FourierRu6s6v6s6@us@@ ^T@@ ^S ^YAݰ "gl@@6 6 6 6"@@ !n@@6 6$6 6%@@ !d@@6 6&6 6'@@ #get@@@@^*@@^)@@^(@^' ^&@6+656+68@@@@@@C@@E@@AB.B@@+D@@A @A@@BC@C@@AB@@!A@@A9D@@BC@F@(2 7Fourier_plugin.FourierR6s66s6@@@ ^9 ^_AL@@@"F@(27Fourier_plugin.FourierR6666@@@ ^R@@ ^Q ^mB^@@@4E@(17Fourier_plugin.FourierR6s6x66@@Ae@@@;E@(17Fourier_plugin.FourierR6C6V6C6h@' ^?Ap@)@@FE@(17Fourier_plugin.FourierR6C6O6C6i@@Aw@0@@ME@(17Fourier_plugin.FourierR6C6C@@A}@6@@SE@(17Fourier_plugin.FourierR6+61@@A@<@@@Y@AVUCP@DA(17Fourier_plugin.FourierR)AA@f@F@@@`@A\@BZ@B (17Fourier_plugin.FourierR777S777x@@@ ^@@ ^ ^A "gl@?@-67.67@@ !n@9@367467@@ !d@9@967:67@@ #get@@@@^@@^"@@^@^ ^@M7#7)N7#7,@@@@@@C@@E@@AB.B@@+D@@A @A@@BC@B@@AA@@C@@AB@F@(1x7Fourier_plugin.FourierRf777Zg777w@@@ ^ ^AJ@@@ F@(1l7Fourier_plugin.FourierRt7y7u7y7@@@ ^@@ ^ ^B\@@@2E@(1P7Fourier_plugin.FourierR777<7y7@@Ac@@@9E@(1L7Fourier_plugin.FourierR7#7%@@Ah@@@@?@A<;C6@DA(187Fourier_plugin.FourierRkAA@@@@@F@AB@B@@B (1(7Fourier_plugin.FourierR9999@dA !h@q@7777@@ #get@@2 @@^@@^尳@@^@^ ^@7777@@ #tac@@@^@@^ ^@7777@@@@@@ @D@@A+B@@B2A@@C@@AC@D@@AE@@C@@ABB@@GA@@AF@@BC@D@(17Fourier_plugin.FourierRJ@AF@!@@D@(07Fourier_plugin.FourierR8888@@@ _G@@ _F _LAX@3@@,E@(07Fourier_plugin.FourierR8888@9@@ _) _RAf@A@@:E@(07Fourier_plugin.FourierR8888@@Am@H@@AD@(07Fourier_plugin.FourierR8H8k8H8@@@ _"@@ _! _'A@Z@@SE@(07Fourier_plugin.FourierR(8H8r)8H8@' _/A@e@@^E@(07Fourier_plugin.FourierR38H8T48H8@@A@l@@eD@(07Fourier_plugin.FourierR:888D;888G@@A@s@@lD@(07Fourier_plugin.FourierRA8'84B8'87@@A@z@@sD@(0p7Fourier_plugin.FourierRH89I89*@HF@@ _h@@ _g _mA@@@E@(0`7Fourier_plugin.FourierRZ89 [89)@Y _sA@@@E@(0L7Fourier_plugin.FourierRe88f89/@@A@@@D@(047Fourier_plugin.FourierRl909Um909z@lj@@ _@@ _ _A@@@E@(0$7Fourier_plugin.FourierR~909\909y@} _A@@@E@(07Fourier_plugin.FourierR909>909@@A@@@D@(/d7Fourier_plugin.FourierR88@@A@@@@@AB@CA(/`7Fourier_plugin.FourierR7778@AA@@@ @B@B (/T7Fourier_plugin.FourierR77 @@@ ^ ^A @@@B@(/@7Fourier_plugin.FourierR77@@A@@@B@(/87Fourier_plugin.FourierR77@@@@@@@@A@A@(/7Fourier_plugin.FourierR;X;Z;;@@@  !s@w@;;,;;-@@@'ContextA%NamedA+Declaration@@ @@@A@@A@@A@(.7Fourier_plugin.FourierR;;;;@@Am$name@f"Id@!t@@c@;;;;@@n#typ@ c@;;;;@@@)@@@C@@Ao3@A@@B@@AB@@CB(.7Fourier_plugin.FourierR;X;;X;@@AB $name@@@`@ ;X;y ;X;}@@ #typ@@;X;;X;@@@K@@@C@@A"@ B@@AB@@C (.7Fourier_plugin.FourierR ;X;c!;;@A@_@Y@@@.@A@@A*(.7Fourier_plugin.FourierR*< <+< <@pdOAq!a@@5;;6;;@@r!l@I$list@@@d;qd8@D;;E;;@@@}@@@A@@B@@AB@@C@(.|7Fourier_plugin.FourierRP< <Q< <6@ @@pdEpdVA,@@@B@(.l7Fourier_plugin.FourierR`< <+@(pdDqdW@@qdXqd\A>@@@'B@(.\7Fourier_plugin.FourierRr< < s< <7@@AE@@@.BA(.X7Fourier_plugin.FourierR{;;|;<@AAN@@@@8@A@@A (.D7Fourier_plugin.FourierR;;@@@W@@@ A@(,7Fourier_plugin.FourierR<<zV^Vc@@@@@@@@A@@A@g@@AB@@ F@@ABI@@Q@@A;X@@\@@ABC [@@SW@@A!Z@@B3Y@@S@@AT@@BCD|U@@pV@@AP@@BR@@OL@@sK@@ABCM@@N@@A^@@]@@ABDEO@@J@@AH@@,G@@ABD@@SE@@C@@ABCe@@Kf@@A_@@`@@A@@ABCd@@+b@@Aa@@c@@ABDEF@5@@@AA@(,7Fourier_plugin.FourierRxV+V1xV+V5@@ARu"gl@@)ProofviewA$GoalA!t@@tytd@<<<<@@v%concl@@'EConstrA&constr@@dvd@<<<<@@%sigma@@#EvdA(evar_map@@fve@#<<$<<@@$goal@@'EConstrA&constr@@u!vq@3=V=^4=V=b@@$goal@@@u-vu*@>==?==@@$fhyp@"Id@!t@@u7vu4@M==N==@@<$hyps@䠰7@@yvy=%types@@y!vy@yvx@@xvx@kAAlAA@@@%lineq@ @@@uuy1@@y0vy.@@y-vy*@BGBOBGBT@@x#res@.@@|L+@@|M(!@@|O@@|N@|K@@|Jv|G@CTC\CTC_@@y#tac@頰&tactic@@|gw|e@@|dv|`@@|_v|\@CzCCzC@@@@@@B@@AK@G@@F@@ABA@@ED@@A~H@@bI@@ABLJ@@C@@2K@@ABCD@3g@@B@@ABMF@@I@@AQ@@|X@@ABC9\@@L[@@W@@ABD`Z@@vY@@AS@@T@@ABU@@V@@AP@@BCR@@L@@K@@AB`M@@QN@@ACDE3^@@J]@@AHO@@BJ@@H@@mG@@ABC_h@@D@@AE@@C@@Ae@@BCDf@@_@@A`@@A@@Ad@@BCmb@@a@@A>c@@BDEF@K@(,7Fourier_plugin.FourierR(uUU)uUU@F$unit@@@uAH@h@@vK@(,7Fourier_plugin.FourierR@AL@l@@zK@(,7Fourier_plugin.FourierR:uUU;uUU@AXz$cres@@@|w|@J DJDTK DJDX@@{$sres@@@|w|@U DJDYV DJD]@@|"lc@@@|@@|w|@d DJD^e DJD`@@}%lutil@wD@@vwE@vFv|@@|w|@@|w|@EE'EE,@@@@@@x@R{@M~@L@@A@TP@@ABC@CN@@A@6Q@@ABC@@ASO@@@ABDE@R@(,7Fourier_plugin.FourierRj@Af@@@R@(,h7Fourier_plugin.FourierRrU>UGtUU@~@@v@@vvB"h1@Mu5u v}#@FXFcFXFe@@"c1@Wv!v~v}$@FXFfFXFh@@%lutil@|lv}w}!@@}"@FXFkFXFp@@!s@+@@}7w}3@@}2w}/@FtF{FtF|@@"t1@<@@}Cw}=@@}<w}9@FFFF@@"t2@M@@}iw}c@@}bw}_@FFFF@@$ineq@@@~Ow~J@ ,IFIT!,IFIX@@"tc@@@~w~@+/II,/II@@#get@@@@~@@~@@~@~w~@?1II@1II@@$tac1@ՠ@@~@@~w~@@~w~@T2J JU2J J@@$tac2@@@@@w@cRPPdRPP@@@@@@X@T@U@@ABC@@G\@@AB@@V@@ABCD@eZ@@A@B@S@AC@W@@A@B@X@@AY@@@ABI]@@7^@@Al[@@BCDEF@^@(,P7Fourier_plugin.FourierRrU>U_rU>Ut@ M K@@w@@wwA@@@:_@(,@7Fourier_plugin.FourierRrU>UdrU>Us@%types@@xxA@@@J_@(,(7Fourier_plugin.FourierRsUuU|sUuU@C&tactic@@@w@@wwB@@@__@(,7Fourier_plugin.FourierRsUuU@@@x@@xxǐA @ @@p_@(+7Fourier_plugin.FourierRrU>UB2@@A&@@@v^@(+7Fourier_plugin.FourierRVPPqUU<@9@@w+@@w*w/B8@$@@^@(+7Fourier_plugin.FourierRVPPVPQ@  @@x5@@x4x:AJ@6@@_@(+7Fourier_plugin.FourierRVPPVPQ@`@@y<yBAX@D@@_@(+7Fourier_plugin.FourierRWQQ&pUU@^\@@x3@@x2xPBj@V@@_@(+x7Fourier_plugin.FourierR$WQQ<%YQQ@ $ "@@yU@@yTyZA|@h@@`@(+h7Fourier_plugin.FourierR6XQJQT7YQQ@ p@@zPz\zbA@x@@`@(+X7Fourier_plugin.FourierRFXQJQgGYQQ@@@zEA@@@`@(+<7Fourier_plugin.FourierRRXQJQrSXQJQ~@}oA@@@a@(+$7Fourier_plugin.FourierR]ZQQK@@@yS@@yRyB@@@_@(+7Fourier_plugin.FourierRnZQQo[QR@ n l@@z@@zzA@@@`@(+7Fourier_plugin.FourierR[QQ[QR@JzA@@@!`@(*7Fourier_plugin.FourierR @A@@@%`@(*7Fourier_plugin.FourierRZQQZQQ@YzA@@@0`@(*7Fourier_plugin.FourierR @A@@@4`@(*7Fourier_plugin.FourierR\RR pUU@砰@@z@@zzB@@@F_@(*7Fourier_plugin.FourierR\RR"_RR@ k i@@{@@{{tB@@@X`@(*7Fourier_plugin.FourierR]R4R?^RvR@z|A@@@ca@(*7Fourier_plugin.FourierR]R4RR^RvR@A@@@la@(*t7Fourier_plugin.FourierR]R4R\]R4Rk@A'@@@wc@(*H7Fourier_plugin.FourierR_RR_RR@zA2@@@`@(* 7Fourier_plugin.FourierRaRRoU U@86@@{@@{{BD@0@@`@(*7Fourier_plugin.FourierRbRReSYSn@  @@|@@||ÐBV@B@@a@()7Fourier_plugin.FourierRcS SdS<SX@zːAa@M@@b@()7Fourier_plugin.FourierRcS S%dS<SW@ՐAj@V@@b@()7Fourier_plugin.FourierR$cS S-%cS S:@ېAu@a@@c@()7Fourier_plugin.FourierR/dS<SH0dS<SS@A@l@@b@()7Fourier_plugin.FourierR:eSYSa;eSYSm@zA@w@@a@()7Fourier_plugin.FourierREhSSFjT9Tr@@@|@@||B@@@a@()h7Fourier_plugin.FourierRWiST"XiST8@&tactic@@} @@} }A@@@b@()T7Fourier_plugin.FourierRljT9T\'@&tactic@@} @@} }A@@@a@()87Fourier_plugin.FourierRkTtTymTU @;|$B@@@!a@()$7Fourier_plugin.FourierR kTtT@㠰W}(@@})}.A@@@0b@() 7Fourier_plugin.FourierRkTtT@@)GlobnamesA0global_reference@@~06A@@@Bb@((7Fourier_plugin.FourierRVPP@@A@@@H^@((7Fourier_plugin.FourierRTPlPTPlP@\wB@@@SD=9776@3@ABCDEF@]@((7Fourier_plugin.FourierRTPlP@@@we@@w@wwA@ @@]@((7Fourier_plugin.FourierR&@A!@@@]@((7Fourier_plugin.FourierRSPP:SPPk@B*@@@(]@((7Fourier_plugin.FourierRSPPP @$@@w@@w@wwA>@+@@<]@((l7Fourier_plugin.FourierR@AB@/@@@]@((\7Fourier_plugin.FourierR<L)L4QOP@@@v=BN@;@@L]@('7Fourier_plugin.FourierR `@@AS@@@@Q]@('7Fourier_plugin.FourierR ;LLf@@AY@F@@W]@('7Fourier_plugin.FourierR 7K,KJ :KL @w~Bc@Q@@QO@N@@ABCDEFN@\@('7Fourier_plugin.FourierR &7K,Kb '7K,K@ ᠰ @@x~@@x~x~A|@j@@]@('7Fourier_plugin.FourierR 87K,Ki 97K,K~@ p@@y~y~A@x@@']@('7Fourier_plugin.FourierR F8KK G8KK@@@x~@@x~x A@@@9]@('t7Fourier_plugin.FourierR X9KK Y:KL@xB@@@D]@('`7Fourier_plugin.FourierR c:KK @@@y@@y@yyA@@@X]@('H7Fourier_plugin.FourierRc@A@@@\\@('@7Fourier_plugin.FourierR {3J1JO |6JK+@3B@@@e\@('(7Fourier_plugin.FourierR 3J1Jg 3J1J@ ? =@@x~@@x~x~A@@@w]@('7Fourier_plugin.FourierR 3J1Jn 3J1J@^y~A@@@]@('7Fourier_plugin.FourierR 4JJ 4JJ@@@x~@@x~x~ƐA@@@]@(&7Fourier_plugin.FourierR 5JJ 6JK)@x~ѐB@@@]@(&7Fourier_plugin.FourierR 6JK @[@@y~Ԡ_@@y~@y~y~ېA@@@]@(&7Fourier_plugin.FourierRW@A@@@\@(&7Fourier_plugin.FourierR 2J J.@@A @@@\@(&7Fourier_plugin.FourierR 1II4@@A%@@@x"P" BCoDF@[A(&7Fourier_plugin.FourierR /II /II@AA3@#@@#x!qSmk@ @ABCDE@Z(&7Fourier_plugin.FourierR /IIP@@A@@0@@ ZA(&7Fourier_plugin.FourierR!,IFIY!.II@AAI@:@@%A<q;BC:DE5@Y(&p7Fourier_plugin.FourierR!,IFI!,IFI@x~kAZ@K@@[@(&\7Fourier_plugin.FourierR @A^@O@@[@(&T7Fourier_plugin.FourierR!,IFIo!,IFIz@x~`Ai@Z@@ [@(&@7Fourier_plugin.FourierR @Am@^@@$[@(& 7Fourier_plugin.FourierR!,GXG[!-+I0ID@@@v}By@j@@0Y@(%7Fourier_plugin.FourierR @@A~@o@@5Y@(%7Fourier_plugin.FourierR!=FG!>GCGT@2y}gA@z@@e@x@@Aw@BCDEv@X@(%7Fourier_plugin.FourierR!NFG !OFG@y}qA@@@Z@(%7Fourier_plugin.FourierR!YGG.!ZGGA@LA@@@Y@(%7Fourier_plugin.FourierR!bFF@@A@@@ X@(%t7Fourier_plugin.FourierR!hFF!iFF@ny}AA@@@kCDE@W@(%X7Fourier_plugin.FourierR!wFF!xFF@y}KA@@@Y@(%D7Fourier_plugin.FourierR!FF!FF@A@@@X@(%07Fourier_plugin.FourierR!FF@@A@@@W@(%7Fourier_plugin.FourierR!FtFw@@A@@@DE@V@($7Fourier_plugin.FourierR!E7E:!EE@N@@v|ȐBd@@@@@ABCE@Q@($7Fourier_plugin.FourierR!EE@bu~u~u~?u}v|w|Ϡv|w|@w|w|@@w|w}B@@@(Q@($7Fourier_plugin.FourierR4!uUU@@A@@@.Q@($7Fourier_plugin.FourierR!EE#@@A@ @@4C @BC ?DE@P@($H7Fourier_plugin.FourierR! D1D:!vUU@@A@@@&K@($@7Fourier_plugin.FourierR!CC!CC@v|C@#@@1K@($(7Fourier_plugin.FourierR!CC!CC@@"PpA!t@@v|w|A@"PpA@:@@HK@($7Fourier_plugin.FourierR"@A@>@@LK@($7Fourier_plugin.FourierR" CC%@@A$@D@@RK@(#7Fourier_plugin.FourierR"CzC"CzC@iA,@M@@[TRNNL@K@ABCDH@J@(#7Fourier_plugin.FourierR" CzC~9@@A7@X@@ JA(#7Fourier_plugin.FourierR"(CTC`")CTCv@AA@@b@@pigc@c@A`@BCD]@I(#7Fourier_plugin.FourierR"6CTCXO@@AL@n@@ I@(#7Fourier_plugin.FourierR"<CC'"=CCR@% @@u|EvyܐC[@}@@I@(#7Fourier_plugin.FourierR"KCC<"LCCQ@Z@@vyw|?Aj@"PpA@@@-I@(#7Fourier_plugin.FourierR!@Aq@@@1I@(#7Fourier_plugin.FourierR"aB`Bd"bBB@@@uy7B}@@@=I@(#`7Fourier_plugin.FourierR @@A@@@BI@(#T7Fourier_plugin.FourierR"rBGBK@@A@@@@@ABC@HA(#P7Fourier_plugin.FourierR"~AA"BBC@AB@@@@@A@BC@G(#07Fourier_plugin.FourierR"BB @ B@%NamesA"Id@!t@@vyvxDvx@vxvx@@vxvyA@@@'G@(#$7Fourier_plugin.FourierR"BB*"BBB@-named_context@@wyA@@@5G@(# 7Fourier_plugin.FourierR"AA@@A@@@;G@("7Fourier_plugin.FourierR"AdAt"AdA|@@@uxvxA߰9!f@!v@@wvw@">>">>@@:$args@@@w@">>">>@@;#get@@ f >@@w@@wٰ @@w@wvw@">>">>@@@,@@@5@N6@K@@A?@6L@@A>@#M@@ABC?D0@N@("7Fourier_plugin.FourierR#AdAnG@@A@@@@@N@("7Fourier_plugin.FourierR#@@#AOAc@eF$unit@@@td@@tdBS@S@@'N@("7Fourier_plugin.FourierR#!@@#"A1AN@!@@ux@@uxuxBe@e@@9O@("7Fourier_plugin.FourierR#3@A #4@A0@31@@vx@@vxvxAw@w@@KP@("7Fourier_plugin.FourierR#E@A#F@A/@}@@wxwxA@@@YP@("t7Fourier_plugin.FourierR#SA1A:#TA1AM@@@vx@@vxvxɐA@@@kO@("\7Fourier_plugin.FourierR#eAOAV#fAOAb@txlA@@@uN@("L7Fourier_plugin.FourierRa@A@@@yN@("D7Fourier_plugin.FourierR#s@/@5#t@@@eB@@@N@("07Fourier_plugin.FourierR#|@L@S#}@@@|z@@uxo@@uxnuxuB@@@O@("7Fourier_plugin.FourierR#@L@j#@L@@@@vxz@@vxyvxA@@@P@(" 7Fourier_plugin.FourierR#@L@q#@L@@[wxA@@@P@(!7Fourier_plugin.FourierR#@@#@@@@@vxx@@vxwvxA@@@O@(!7Fourier_plugin.FourierR#@@#@@@Ztx5A@@@N@(!7Fourier_plugin.FourierRU@A@@@N@(!7Fourier_plugin.FourierR#??#@@@B@@@N@(!7Fourier_plugin.FourierR#??#?@@ՠ@@ux8@@ux7ux>B@@@O@(!7Fourier_plugin.FourierR#??#??@砰@@vxC@@vxBvxHA+@+@@P@(!7Fourier_plugin.FourierR#??#??@wxNA6@6@@ P@(!7Fourier_plugin.FourierR$??$?@ @MK@@vxA@@vx@vx[AH@H@@O@(!l7Fourier_plugin.FourierR$@@$@@@[twAS@S@@'N@(!\7Fourier_plugin.FourierRU@AW@W@@+N@(!T7Fourier_plugin.FourierR$%>>$&?q?@B`@`@@4N@(!@7Fourier_plugin.FourierR$.??$/?W?p@.,@@uw@@uwuxBr@r@@FO@(!,7Fourier_plugin.FourierR$@??2$A??V@@>@@vx@@vxvx A@@@XP@(!7Fourier_plugin.FourierR$R??9$S??U@ wxA@@@cP@(! 7Fourier_plugin.FourierR$]?W?\$^?W?o@@@vx@@vxvx$A@@@uO@( 7Fourier_plugin.FourierR$o?q?t$p?q?@A@@@~N@( 7Fourier_plugin.FourierRS@A@@@N@( t7Fourier_plugin.FourierR$|>>$}>>@#6@@wސA@@@@@ACD@M@( l7Fourier_plugin.FourierR$>>$AdA}@@A@@@ M@( h7Fourier_plugin.FourierR$>>@@A@@@@BCD@L@( T7Fourier_plugin.FourierR$A~A$A~A@@@uxvxA @@@"@@AB&C@K@( L7Fourier_plugin.FourierR$A~A@@A @@@ K@(7Fourier_plugin.FourierR$>h>t$>h>@##_@@w!@@w@@w@@w@@wA @@@@ &B KC@J@(7Fourier_plugin.FourierR$>_>c @@A @ @@ FA(7Fourier_plugin.FourierR$==$==@AA @@@@ "@A ^C @E (7Fourier_plugin.FourierR$== @@A @@@ EA(7Fourier_plugin.FourierR$==$==@AA @)@@ 0@ ,@A &@BC #@D(7Fourier_plugin.FourierR$== @@A @4@@ DA(7Fourier_plugin.FourierR%=V=e%=V=@AB @>@@) E@ :@AB 7@C (7Fourier_plugin.FourierR%==%==T@F$unit@@@uqA *@Q@@C@(|7Fourier_plugin.FourierR 7@@A /@V@@CA(t7Fourier_plugin.FourierR%&<<%'<=@AA 8@`@@K g@B X@B (`7Fourier_plugin.FourierR%1<< J@@A A@i@@ BA(\7Fourier_plugin.FourierR%9<<%:<<@AA J@s@@@ z@A k@A (D7Fourier_plugin.FourierR%D<< ]@@@ S@|@@ A@(47Fourier_plugin.FourierR%JAA%KAA@ A c=!h@@%TAA%UAA@@>!t@@%ZAA%[AA@@@@@@C@@A?@A@@B@@AB@@D@( 7Fourier_plugin.FourierR%iAA%jAB@@A@@@CA( 7Fourier_plugin.FourierR%rAA%sAB@A@ @@@@@A@@A (7Fourier_plugin.FourierR%|BB%}BB@@A A!h@#`@@vyW )@@vyqvyX@vyVvy9@%B`Bs%B`Bt@@@@@@2@B@@AA@@B@#A@@A#B@@ 3C@@AB@B@(7Fourier_plugin.FourierR%B`B%B`B@# 2@@wyHwyLB0@@@@@A@E@(7Fourier_plugin.FourierR%B`B@ BxyM@@xyOxyTAA@@@F@(7Fourier_plugin.FourierR%B`BxH@@@G@@@A@(t7Fourier_plugin.FourierR%ElE}%EE@@A ~!h@@%EDEV%EDEW@@!c@@%EDEX%EDEY@@@@@@ B@@AC@@@A@@AB@ A@@A@C@(l7Fourier_plugin.FourierR%E^Ef%E^Ek@(@@x|x|A&@)@@C@(`7Fourier_plugin.FourierR%E^Ec-@@A,@/@@CA(D7Fourier_plugin.FourierR%EDEP&EE@A@ @8@@@#@A!@A (07Fourier_plugin.FourierR& &H`Hl& *II.@$@@x}A X!h@ Pw}@&GXGk&GXGl@@!c@ Lw}@&GXGm&GXGn@@@W@@@ B@@AC@@c@A@@AB@"B@@A"oC@@#A@@AE@@BCD@@ RF@@A BG@@ 3H@@ABD@C@(7Fourier_plugin.FourierR&=&H`Hv&>&H`H@6z~A3@z@@#E@(7Fourier_plugin.FourierR&H(HH&I*II*@?A<@@@,C@(7Fourier_plugin.FourierR&Q(HH&R(HH@J{~/AG@@@7E@(7Fourier_plugin.FourierR&\)HH&])HI @SAP@@@@D@(7Fourier_plugin.FourierR&e&H`Hh\@@AV@@@FC@(7Fourier_plugin.FourierR&k!GG&l%H@H^@bA_@@@OC@(7Fourier_plugin.FourierR&t!GG&u!GG@m{}ϐAj@@@ZE@(|7Fourier_plugin.FourierR&#GG&%H@HZ@vAs@@@cC@(`7Fourier_plugin.FourierR&#GG&#GH@|}A~@@@nE@(T7Fourier_plugin.FourierR&$HH,&$HH>@A@@@wD@(<7Fourier_plugin.FourierR&!GG@@A@@@}C@(7Fourier_plugin.FourierR& GsG{@@A@@@CA(7Fourier_plugin.FourierR&GXGe&*II/@A@ @@@@@A@A (7Fourier_plugin.FourierR&POO&POO@@A !h@ C@&<L)LD&<L)LE@@!c@ F@&<L)LF&<L)LG@@@@@@ B@@AC@@@A@@AB@!&D@@A!8C@@!KB@@!^A@@ABC J@@ H@@ E@@AB I@@ K@@AG@@ F@@ABCD@C@(7Fourier_plugin.FourierR&LOO&OOO@ v q@@y|@@y{yB>@+@@0C@(7Fourier_plugin.FourierR&LOO0&LOOP@@@z@@zzAP@=@@BD@(7Fourier_plugin.FourierR' LOO7' LOOO@C@@{t{A^@K@@PD@(h7Fourier_plugin.FourierR'MOQOb'MOQOk@ e c@@z@@zzAp@]@@bD@(P7Fourier_plugin.FourierR'+NOmOx',OOO@zB{@h@@mD@(<7Fourier_plugin.FourierR'6OOO @ @@{ @@{@{{A@|@@D@((7Fourier_plugin.FourierR'JLOOc@@A@@@C@(7Fourier_plugin.FourierR'PHN2NJ'QKNN@ ߠ @@y!@@y y%B@@@C@(7Fourier_plugin.FourierR'bHN2Nb'cHN2N@@@z+@@z*z0A@@@D@(7Fourier_plugin.FourierR'tHN2Ni'uHN2N@i{6A@@@D@(7Fourier_plugin.FourierR'INN'INN@ ˠ @@z)@@z(zRA@@@D@(7Fourier_plugin.FourierR'JNN'KNN@z]B@@@D@(7Fourier_plugin.FourierR'KNN @!9@@{`!=@@{a@{_{gA@@@D@(7Fourier_plugin.FourierR'HN2ND`@@A@@@C@(l7Fourier_plugin.FourierR'GNN$'OOO@@A@@@C@(X7Fourier_plugin.FourierR'CMIMa'FMN@!L!G@@y@@yyƐB@ @@C@(@7Fourier_plugin.FourierR'CMIMy'CMIM@@@z@@zzѐA&@ @@D@(07Fourier_plugin.FourierR'CMIM'CMIM@{אA1@ @@#D@(7Fourier_plugin.FourierR'DMM'DMM@ 8 6@@z@@zzAC@ 0@@5D@(7Fourier_plugin.FourierR'EMM'FMN@zBN@ ;@@@D@(7Fourier_plugin.FourierR( FMM @!@@{!@@{@{{Ab@ O@@TD@(7Fourier_plugin.FourierR(CMIM[`@@Ah@ U@@ZC@(7Fourier_plugin.FourierR(#?L{L($BMMH@!!@@yc@@ybygBz@ g@@lC@(7Fourier_plugin.FourierR(5?L{L(6?L{L@𠰳@@zm@@zlzrA@ y@@~D@(7Fourier_plugin.FourierR(G?L{L(H?L{L@<{zA@ @@D@(\7Fourier_plugin.FourierR(R@LL(S@LL@  @@zk@@zjzA@ @@D@(D7Fourier_plugin.FourierR(dALL(eBMMF@zB@ @@D@(07Fourier_plugin.FourierR(oBMM. @" @@{"@@{@{{A@ @@D@(7Fourier_plugin.FourierR(?L{L`@@A@ @@C@(7Fourier_plugin.FourierR(>LaLm(FMN@@A@ @@C@(7Fourier_plugin.FourierR(=LKLX@@A@ @@CA(7Fourier_plugin.FourierR(<L)L>(POO@A@ @ @@@@A@A (7Fourier_plugin.FourierR(lTT(lTT@@@~I@@~H~NA %symeq@ x@(kTtT(kTtT@@@ @@@ A@@A@$A@@A B@@B@B@(7Fourier_plugin.FourierR(mTT(mTU @! ! @@~G@@~F~WA @!@@A@(7Fourier_plugin.FourierR(mTT(mTU@ z]A+@!@@$A@(7Fourier_plugin.FourierR(lTT _@@@1@!@@*A@(7Fourier_plugin.FourierR((@'Q "= #=ɐA, #!c@']@(|5L(|5M@@@!+@@@ A@@M @B@@AB@'yL@@A'J@@(B@@A(~C@@(G@@ABC(3F@@(hD@@A(UE@@(A@@AB'K@@'H@@'I@@ABCD@'@@@AD@(t7Fourier_plugin.FourierR))@@A.@!R@@'B@(7Fourier_plugin.FourierR) y)!y@@@ "= #=A< '!c@\@@; #;@)2)3@@@!k@@@U%@IY(@GV+@F@@AHK@BG/I@( 7Fourier_plugin.FourierR)Fy&@@A@!~@@I@(7Fourier_plugin.FourierR)LUl)MUx@'A(@!@@I@(7Fourier_plugin.FourierR @A,@!@@ I@(7Fourier_plugin.FourierR)Y9I)Z9T@'A5@!@@)I@(7Fourier_plugin.FourierR @A9@!@@-I@(7Fourier_plugin.FourierR)f )g 3@( @@=AE@!@@@6@A1@Bv^H@(7Fourier_plugin.FourierR)u )vy@@AO@!@@ H@(t7Fourier_plugin.FourierR)|)}@t@@ "=w #=yA %!c@(0@@; #;p@))@@ &$args@F@@;t@))@@@!@@@S@Id@AG@@H@ABI@(l7Fourier_plugin.FourierR).@@A'@!@@I@(D7Fourier_plugin.FourierR))@(C1 +!b@)A@@= #=@))@@@!@@%!@J@@A"@R @K@@ABCK@(<7Fourier_plugin.FourierR))@(9 "=N #=VA!@" @@M@(07Fourier_plugin.FourierR))@(@@ "=f #=`A.@"@@"L@( 7Fourier_plugin.FourierR)7@)r@@ "=O #=mA;@"&@@/K@( 7Fourier_plugin.FourierRD@A?@"*@@3K@(7Fourier_plugin.FourierR)W`)W@(b "=-BK ,!a@)@@= #=@* 4*  5@@@"A@@@o@O@@ABnMm@BCO@(7Fourier_plugin.FourierR*Wn*W{@)@@ "=/ #=4A @"U@@P@(7Fourier_plugin.FourierR*#W|+@)@@ "=. #= "< ";AU@#@@>J@(7Fourier_plugin.FourierR**@)M $<A_@#@@HJ@(7Fourier_plugin.FourierR*@Ag@#"@@PI@(7Fourier_plugin.FourierR**@)_ $<%Aq@#,@@ZI@(7Fourier_plugin.FourierR1@Au@#0@@^I@(7Fourier_plugin.FourierR*"2*Rs@)fC~@#9@@gc@b@P"@J@@ABCJ@(7Fourier_plugin.FourierR+ ";+"H@)y "< #@S@@A@BCS@(7Fourier_plugin.FourierR++@+d@@ "<] #@@@D@ACAA@(7Fourier_plugin.FourierR/U  '@@@f@'F@@A@(W8Fourier_plugin.G_fourier=plugins/fourier/g_fourier.ml4PR!@F$unit@@@ېD@Q*floatarray@,@@@A@@@&_none_A@A@@@@P5extension_constructor@A#int@,@@@A@@@ @AB$char@O&string@D%float@E$bool@,@@а^%false@@@@а_$true@@@@@A@@@@AF$unit@,@@а`"()@@@&@@A@@@&@A#G#exn@,@@AA@@@)@@&H%array@,@M@A@A@@@0@@-I$list@,N@Aаa"[]@@@;@аb"::@ @@O@@G@@A@Y@@H@@EJ&option@,P@Aаc$None@@@S@аd$Some@ @@Y@@A@Y@@Z@@WN&lazy_t@,1Q@A@A@Y@@`@@]K)nativeint@cL%int32@eM%int64@g]:Undefined_recursive_moduleCD@g@@Jq@@@@V@@Ay=ocaml.warn_on_literal_pattern}O@\.Assert_failureC@@X@@A\@Y0Division_by_zeroC$@@@Ac@X+End_of_fileC+@@@Aj@W)Sys_errorC2@.@@A$r@[.Sys_blocked_ioC:@@@A+y@V)Not_foundCA@@@A2@U'FailureCH@D@@A:@T0Invalid_argumentCP@L@@AB@Z.Stack_overflowCX@@@A I@S-Out_of_memoryC_@@@AɠP@R-Match_failureCf@eab@c@@A֠]@C%bytes@ܐ@*PervasivesA@+Ltac_pluginA@(FourierRA1__coq_plugin_name@z@@@NN@@@@(i(f@@(FourierRA@(jA@AB@@@A@@A@@A@(W8Fourier_plugin.G_fourier.N/N@F$unit@@@[A-@@@A@(Wd8Fourier_plugin.G_fourier=Q>Q@@@65*TacentriesI#ist@@)GeninterpA+interp_sign@@M@OA@@ @@A@@4@@@A@@A@@A@@( 7/home/gares/work-area/jscoq/coq-external/coq-v8.8+32bit G/home/gares/work-area/jscoq/coq-external/coq-v8.8+32bit/plugins/fourier@+ !h(.Fourier_pluginPX<@:plugins/fourier/fourier.ml@I@(\.Assert_failureC0@$ListA@$ListA蠠@$ListA@$ListA<@*PervasivesAL@,@I@x+@$ListAX@$ListA@$ListA蠠@$ListA@$ListA@$ListA@$ListA@$ListA4@$ListA@$ListA𠠐*empty ineq@U'FailureC@$ListAW h!/@ x` c @@A@ ̠@AA@ Ԡ0caml_fresh_oo_idd5Fourier.Contradiction@l@6Fourier_plugin.FourierAx@&ConstrA/not_of_constant@젠@&ConstrA8$RdivԠ4caml_string_notequalࠠ$Rinv𠠓 &Rminus %Rmult(4$RoppD!P%Rplus`)l.caml_array_getM ȠSؠ \8Pe`"|k(+tР"R0b"R1$j0@T@&ConstrA|$Rdiv,}8$RinvHT&Rminusdp%Rmult$Ropp%RplusĠ|ܠ 0<pࠠ$<x,"R0"R1ȠԠx@'TacticsA@)TacticalsAР @)TacticalsA4@)TacticalsAD𠠑@)TacticalsA%@)TacticalsA/caml_make_arrayl젠  KX-caml_notequalh@*PervasivesAĠ@'EConstrA(@)ProofviewAL@'TacmachAd@#Coq@@'fourier@@'Fourier@@@@@x@&CoqlibA@'TermopsA@'EConstrA3new_hyp_for_fourier@@%NamesAȠ@&ConstrA𠠐#Rge x #Rgt  #Rle  #Rlt ̠ ؠ!! @)TacticalsA!0@)TacticalsA!D!x!@)TacticalsA!@)TacticalsA!!𠠑"@)TacticalsA" @)TacticalsA"4"h"@)TacticalsA"@)TacticalsA"@)ProofviewA#@$ListA#D@$ListA#|/No inequalities@#@"PpA#@'CErrorsA#Ġ@)ProofviewA#젠.fourier failed@$@"PpA$@'CErrorsA$4@$ListA$@$ListA$ؠ%d%@$ListA&&|6'@)TacticalsA',>'@)TacticalsA'@$ListA(P@)TacticalsA)@)ProofviewA)(@)ProofviewA)H@)ProofviewA)\@)TacticalsA)l7)@&ConstrA)ܠ@'EConstrA)젠@(EqualityA)@)TacticalsA* @'EConstrA*<S*@'EConstrA*@(EqualityA*@)TacticalsA*+@)TacticalsA+m+H@'EConstrA+\+l@)TacticalsA+|@'EConstrA++@)TacticalsA+@-ContradictionA+, @)TacticalsA,,D@)TacticalsA,T@;plugins/fourier/fourierR.ml@uK@,\.Assert_failureC,@@u^@,,Ġ@)ProofviewA.,@%ArrayA.L@$ListA.`@%ArrayA.p@$ListA..@$ListA/(@'EConstrA/H#Rge/l/x#Rgt//#Rle/!/#Rlt/)/̠%eqTLR/ܠ1/蠠%eqTRL/90E0(@)TacticalsA08M0d@)TacticalsA0tU0@)TacticalsA0Ġ]0젠@)TacticalsA0@@F@11u1|@)TacticalsA1}1ࠠ2$@)TacticalsA24222ؠ30@)TacticalsA3@3̠@)TacticalsA3ܠ4`@)TacticalsA4p44ܠ50@)TacticalsA5@5̠@)TacticalsA5ܠ6`@)TacticalsA6p6Ġc6ࠠ7i7$7<7̠r7蠠8Tx8p3Rlt_not_le_frac_opp@8̠*Rnot_le_le@8ࠠ*Rnot_lt_lt@8.Rfourier_le_le@9.Rfourier_le_lt@9.Rfourier_lt_le@90.Rfourier_lt_lt@9D+Rfourier_le@9X+Rfourier_lt@9l2Rfourier_not_lt_ge@92Rfourier_not_le_gt@92Rfourier_not_gt_le@92Rfourier_not_ge_lt@93Rfourier_eqRL_to_le@9Р3Rfourier_eqLR_to_le@9䠠1Rfourier_ge_to_le@91Rfourier_gt_to_lt@: *Rle_not_lt@: (Rnot_lt0@:40Rle_mult_inv_pos@:H*Rle_zero_1@:\-Rle_zero_zero@:p0Rlt_mult_inv_pos@:2Rle_zero_pos_plus1@:2Rlt_zero_pos_plus1@:*Rlt_zero_1@:&Rinv_1@:Ԡ@%Reals@@%RIneq@@@@:ܠ"R1@:𠠐"R0@;$Rinv@;$Ropp@;,%Rplus@;@%Rmult@;T&Rminus@;h!R@;|#Rge@;#Rle@;#Rgt@;#Rlt@;̠@&CoqlibA;䠠@)UniversesA; < @)UniversesA<<4@)UniversesAH@%ArrayA>d>t@$ListA?@$ListA?N?Ġ@'EConstrA?젠@'EConstrA@@&ConstrA@@&ConstrA@A$"A4#RgeAHVAT#RgtAd^Ap#RleAfA#RltAnA#Rlt@A蠠#Rle@BD#Rgt@B#Rge@B@&CoqlibAC`@)GlobnamesACgCjCĠmCؠ@&ConstrAC䠠!RDhDt%eqTRL@D%eqTLR@E>EРAF *caml_equalF86Coq.Reals.Rdefinitions@FHNFT1caml_string_equalFlUF1constant_not_of_R@FFȠGHG|HLI|IJV)Not_foundCJx J J@&ConstrAJܠ@'HashtblAK 0caml_fresh_oo_idL3FourierR.NoRational@L L81FourierR.NoLinear@L@LȠ/FourierR.NoIneq@LР@%Reals@@,Rdefinitions@@@@M@'fourier@@,Fourier_util@@@@ODS ?St1FourierR.GoalDone@S|@7Fourier_plugin.FourierRAWXWl.fourier_plugin@W@%MltopAW@(fourierz@@@W'fourier@WԠ@+Ltac_pluginAWࠠ@8Fourier_plugin.G_fourierAXX0X X(@GAX8@I0] uoNݦ,Xml_datatype0_d oS:D@4(Vmvalues0IMGy?[!+Vernacstate0.O@E;`!:,Vernacinterp0/s ku֞pI*Vernacexpr0 ã0=J Cs-Vernacentries0|r }11Vernac_classifier0mJ0Ǎ4Mnpdz$Util0,zt@CYS)Universes0}=YF\)Univdecls0&gocRA[{$Univ0 - ݈N{)Unionfind0W%.;!ԗ#kh+Unification0X=i !=ࠠ&Uint310 @㏔YNPņ%Uchar0YlIs{Gt~Ѡ&UState0N#VȽ7p&UGraph0lMK+Typeclasses01q+Type_errors0"r+û#Tok01Um!9N'Termops0PTPubuG]$Term09s 3F`&&Ơ(Tactypes0p})Predicate0Vr!: Гb'Pre_env0À5LECQ 'Pputils0PtPV~׸wS(Ppconstr0tNF̝"?2"Pp0vzA"'#bnI $Ploc0@`(h'Plexing0áoD Fz:Hu&Pfedit0g]<=,?/r*Pervasives0ܗ,4(z٢$Pcoq0g[NrԢ;k'Pattern0}ߣB rr=%T&Option0$cLxs:+Opaqueproof0-;"eX;xJDɠ+Obligations0ֳT j v:rQ#Obj0IyIf.pk-Notation_term0^w8ckg j,Nativevalues0Kї֢.yΥ%*,Nativelambda0zX}]џFm+Nativeinstr0~vՆ*Nativecode0o11ƙXd'Nametab0Ru/݋W%Ƞ%Names0gCwM.t%Monad0 f( r o5)Mod_subst0-c;7)!Ҫm3L}%Mltop0/p"py;)Misctypes0깢hH]4Ԡ#Map0P"pV2.砠,Ltac_pretype0.i)bP;,Sa +0^{g)t{` +Logic_monad0P>]A(j PI6(Locusops0]( ݛf%Locus0( 1*Isa(Locality03dKj8)%#Loc0Fwԯ-ړݠ$List0zkr e8D(Libnames0IY8[&Kp/&Lexing0 qe 3&(&Lemmas0GDY`헕,s$Lazy0K(vڠ%Int320(՗Ymyi#Int0HJɀ`MT=0n P-̠)Glob_term0wCϟpCpt*Genredexpr0t\0䘍cQgYF(Genprint0Ms#g8{'y)Geninterp0 (b)Genintern07resͭF̛&Genarg0dK3y+JA㠠(G_vernac0Tѣ3Rn7M(G_proofs02PifHU@Hj&Future0: 6@VGn'Ftactic0n0.x'T#'Fstream0M3AZ, `a䊒ڕR&Format0S$FQ'GQSӵ%Flags0hBAxX(Feedback0o]$ӡOA &Extend0mmp@1Cf'Exninfo0m H p3|#Evd0V/`g**Evardefine0L%/擔֠*Evar_kinds0X la_㠠$Evar0!5#򟹠&Esubst0%i 7&z)w](Equality0nu着.1t(Eqdecide0r&O 59'Environ0XIu>) $K$'Entries0%B^F$Elim0pVIB+Z=^gM'Egramml0Ař.{q8N%Eauto0,kyGTd-Π'EConstr0ʨ/@(ɢjح#Dyn0UXzOD*&Digest08Qr%lSe7򵠠'Declare0tbNZOO$7,Declarations0!GI&젠*Decl_kinds0VXTuV@$DAst0Oyhznl&Coqlib0s՗0!O'Cooking0\QWB d(f+Conv_oracle0aTQr{(Π-Contradiction0W ٪cSK'Context0|.ާ m|ʎ' .Constrexpr_ops0/NV9?}.*Constrexpr0 a(f.ݠ/Constr_matching0fcݪU hl&Constr0X*ӕ8n锁GD%Clenv0Zv ~x'CString0Xb ɲS&CStack03zs$CSig09e++k1C$CSet00ef +CPrimitives09B6$ݯ$CMap0Iz\#%CList0d;:=>2;Bs&CLexer0%PܹnM%MSV'CErrors0ѳj V `5g]*CEphemeron0cTdt=}#(CClosure0u !:m$CAst0"% KfFb*TJ&CArray0D%([U[&Buffer069=wFqFF)+Autorewrite0)>q Er(~頠$Auto0<{Nf ?7i%Array0#Uxkܐ@`٠#4Ԡs &$ q7Q@@@XLQ