Caml1999O022=T +2!?] ] CT 8!T@8% ] C(8%(7 8"V ] C(8%(7 8" D C 2!?]8 8"V ] CT 8!TT ] CT 8!T@8%)* " WAAAC6 ^V5 ^V5 ^V5 ^Vy5 ^VA5 ^V5 ^V5 ^V5 ^VTD VD VTC 2"88& TD V)D V D VTC C 2"  2"8 8' TTD VD VTC 2"8 8& TD VD VTzC 2"88& ThD V)D V D VTUC C 2"  2"8 8' T;T7D V)D V D VT$C C 2"  2"8 8' T T &c()*8AG! " W&&&C6 ^V5 ^V5 ^V5 ^Vs5 ^VG5 ^VTD V3D V*D V!D VTC CC  "V @( TTTTD VD VD VTC C @( TTD VD VD VTC C @( TrTnD VD VD VT[C C @( TMTID VD VD VT6C C @( T(T$D VD VD VTC C @( T &h&)* ] CT 8!T 8N +8)C$)* " WC6 ^V5 ^V5 ^V5 ^Vf5 ^V:5 ^V5 ^V5 ^V5 ^VTD VD VTC ?(TD VD VD VTC C @( TTD VD VTC88!! @(TuD VD VTgC ?(T\D VD VD VTIC C @( T;T7D VD VD VT$C C @( TT " VC ?(c(c(7 8"V ] C(8%(8!V*!?] ] CT 8!T@8%8!!?] ] CT 8!T@8%)*Yp" D C 8G! 6 ^VH5 ^V!5 ^UDVAD VT8C  "T,V(D VTC  "88"T U7?TcZ( yVc(" D C 8G! 6 ^VH5 ^V!5 ^UBV?D VT6C 2!88 & V&D VTC 2!88 "88 & U7([)*,Y !?Z( yVc(5%5%5%5%-8!!?] ] CT 8!T@8% ] C(8%(5%5%5%5%5%5%5%5%5%)* " WC6 ^V5 ^V5 ^V}5 ^VQ5 ^V15 ^VTD VD VD VTC C @( TTD VD VTxC ?(TmD VD VD VTZC C @ ( TLTHD VD VD VT5C C @( T'T#D VTc(D VTd(D C @ (e(8 'VD C 2! @]"@8%&)* , %)*?] 6"@8%)*?] 6"@8%!8 !@8%7E(?]8E!8C%668# 8+!V+T+ +(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%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%5%68#81!8%68#81!8%68#81!8%868#81!8%)* 8Q" D C 8" W)[C C ?TC C ?T C C ?T 8(!@()* 8Q" D C 8" Whhhhh!hhh;JYhhhhUUC 8G!?( C VT?VT8E D @( C C ?!@( C C ?!@( C C ?!@( c(8'! 8G! V$C 8G! 8G1D"V 5 8"T5T5 8(!8G! 8&5h @6@6@6 + + h]6@ +6h68"@h@8"68"88"88"h @8"88"66 +j +U +@++ +"?+?+ ?+?+?+? +? +? +? +? +? +?+?+?+~?+r?+f?+Z?+N?+B?+6?+*?+?+?+?+?+?+?+?+? +?!+?"+?#+?$+?%+?&+v?'+j?(+^?)+R?*+F?,+:?-+.? ,+ + + +h8 ! +i8C !<+r3+g?4+[?5+O?6+C?7+7?8++?9+?:+?;+? , + @+?A+?B+?C+~?KM+X MO+i + S++x U+/U,   >  !#%')+-/13579;=?ACEGIKMOQSUWY[]_acegik>.N9T)* hhhhW<^WCC 8& WDCDC TlWeeeeeDCDC TJWCCCCCDCDC T(W!!!!!CC 2& WCC y( c(2"V 2& ()*W&7HUC 8!6 8'D C 2 268$ D C 2 268$ D C 2 268$ C 268$C 6 8')*W1>O`q5 8&5 8&D E D C  !6 8$ C 268$E D 2 268$ E D 2 268$ E D 2 268$ 5 8&)*W/?D C 2" 2"@]&C 8-G!?]8&C 2"?]8 &C "8*!?]8 &)*W!<WpE D 2# 2#@]& 7 ] C(8%(7 ] C(8%(D E D C " "@] & C 2#?]8&C #8)!?]8&W &397C(D C 2! 2!&D C 2! 2!&D C 2! 2!&C 2%C 8G%VD C 2! E!" D!&7C(W>>$1>Dh @%C 2%E D 2! 2!&E D 2! 2!&E D 2! 2!&7C(ch WR_jC h@(D C 2! 2!&C D W$W 56@[D C T7C T+D C ? @2%C 2!G &C8h8 @@@(7 8"V G h@(2! &)* @()* @()* 8-G" W!dt  #?(D C +3$ D C 8-G " VC 2# ?@(8-G " VC ?  2#@(  #?(D C +t3$ C 2#?(C G ? 2#@(C ?()* 1# 1# & )*F EDC!V  ?@T V  ?@T V8G!@  GG# h@ >4   i@  >4  ')* 4# 4#       "@( )*F EDC8-G" W -AUh{c( d(  ?( D C h   1$D C l   1$D C l   1$D C i   1$D C k   1$D C j   1$Cj@X>  2 ?( D C  X4$ D C  4$ D C   XX4$ D C 8 " 8 " 4$  &)*WTT-ATDh @@(C 3&E D 2" 2" 8&E D 2" 2+8Gx&E D 3" 2" 8&c @( & &)*WUU.AUDh @@(C 1&E D 2" 2+8Gx&E D 2" 2" 8&E D 1" 2+8Gx&c @(VD C E h" 2! 88G' 5(V;D C W"2%C 2! C8F&E D D D 2! 2!& 7C(VEC W999999999999999D C 2! F&D VTE D D D 2! 2!G& D 2%C(W C E%E D 2! 2!G&)*V1D C Y "GZT6 yVcT 2" 8G!8G:'c(WC D(E D 2! 2!&)*W+C D8G!88G"68G" C68# 85&E D C 2 26 8$ )*VLC W$D C ?@8G!"  ?@2# A(D C  ?@2# ?@8G!" A(?()*2, " Y!ZT 8C! 8C!68#8G " D C 8G! ' )*chhV_C W,m;C`!!!D 2' D E C T5D VT%D C 8-G! C "@]8 ] CT 8!T@8% D D C TD E D CD D CC ?@2#C"8-G!C"8-G!>]8 ] CT 8!T@8%D C F E D C C?@ 2# C "8-G!C"88-G!>]8 ] CT 8!T@8%D 2' D VTD C C " C "h' D VTE D C C " C "'D E D C  ?@ 2#  " C "A]8 ] CT 8!T@8% E D C D D CC  ?@ 2#?@2# C"A]8 ] CT 8!T@8%58%D VT0C  "?]8 ] CT 8!T@8% 58%2# 8-G!C"A]8 ] CT 8!T@8%)*WC D8G! E3$E DC Y GG"ZT6 yV68"8!T " D C6D8"C@?6D8"C@? @ 2# @ 2#!8)!>]8$&)*V_DC Y GG"ZT6 yV68"8!T F" D C  GC?@  2  ! 8)!A]8%& #?]8&&)*E D C @ 8G F'58!c !c !Y`c! " D C C8C! ! ?iA@ ! 8G C +8G#CV! 8AG!  @   Z(G yV58!hh8'   + e8AG%!?(c @(Y8G G"ZT6 yV56@[ C D 8 ! "#@(D 8 !! #@()*VD C " EG#2" @(c()*D C " h @!" FC8G F"@()*DCCV58!!8G"h "CV 8"c8"!!  !8G C@    +8G# D C 8G G"8G G! " F E D C 8G!8",,h "8-C ] CT 8!T8+" !8G" #  +8G" 8G+! D CD8,! 8"8 ] CT 8!T8+"   >]8'" +4 +'8G" !?@8"  #8 ] CT 8!T8U!V$c8 ] CT 8!T8"T7B ?]8("8U!j 8" 8"8!""""&$68&G()* +8G" AGC" ! 8G!"CV468"G#"58! +8G "58!8G "58! A@()*c8)!?]8 ] CT 8!T@8! VG T78-G!88-G!>]8 ] CT 8!T@8%)*V C WC yV8)%D 2&68"8%)*,h &W#C7" ] CT 8!T?(7# ] CT 8!T?(c(+ 8GE"8! ] CT 8!T8+&C V#D VD C DC "V @2%T TD ?(c()*V=C W.D C D C 8C"V @! V C @( 2& D 2&58%)*D C,{ ,h &W4Y:8"?(:8"?(D C GC8E"V(?(C 2! WC ?]8"?(?(E D C 2! 2! W&&&&&&&WC C @]8"?( A( E D C 2! 2! W&&&&&&&WC C @]8"?( A( E D C 2! 2! W!!!!!!!WC C 8 "?( A( ()*, %V-D C 8G6#V2% !8G6#V7[2! @(c(D C Y !@?Z(8 yVc()*, +8GE&)*D D 8C! 8C!^(+ Y8G-"8G!Z( C6 yV58%)*F E DCD! " G#!G? @ DC?@ @@ G@>( )*+6 ! G# F E D C 8G! 8G! 8G! 8G!>(8-C ] CT 8!T@]8&)*G G^(58!8G &W 5(5(5(8 ] CT 8!T@8"c8"!G!58!G8G "FD +8G"68G"68"GV5T5 FC8G!68'G%DG! F E@+ C68$+ +` +; 8G &W C 68&C 68&)*8AG! 8)G! 8)G !6hi>       #8G"CV # @( )*chh> 8)G" W D TKE D 8-D"V:7 ] CT 8!T  8 !h   h A(         i A(E C  8G!68$)*58!68#+8G "%)* A()* A()* A()*! # 8G!@  >()*F E DC + YwV !T W -AUc?@"TPd?@"TCd?@"T6d?G ?@@"T"d?G ?@@"Te?@"TZ( 8!VW g(f(g(d(e(c(D C @()*D C +8G" h!>()* VaV[D C D CDC D C yV$ G"8 8"V2&2" @@(  G"V 2" @@(  2"@@( (()*,D DG" C C "@(D C G" @()*D C G" +8G"@()*D C " "@]8&)*Y #Z( 8"W7%7%7%56@[W $7%7%7%7%7%7%)*Y"Z( 8"W 56@[7%7 %7 %)* 68')*Y EG"Z(6 yV68"E +G "5[W%:PaC 8-G%D C 2! 2!@]8-E&D C 2! 2!@]8-F&D C 2! 2!@]8-G&C 2!?]8-G&C &)*, %)* ] CT 8!T@8%VD C D C 2! ? ?@@(F?(,E %W 5(5(5(5(5(5()*Y GG"Z(6 yV 68")*GC GG "Vc( GG')*Y 8G"Z( C6 yV58%)*YD8]!8GU#Z(6 yVD8C!h@D8"J()*C8C! yVcT56@[c @ C8" I(Y C8G!Z( C6 yV58%)*YC8]!8GU#Z(6 yVC8C!h@C8"I(68&C(gI(I(C(gI()*VPD Ch8! D C68#2#h8!8#68!8!h8 !8 "8 "8 "8 "8 & 58%,DhlP #h8!68!8 "8 " ChlV#h8!68!8 "8 " h8! 8 "8 "h8 &C (W C ?(C ?(F LF(gC!lC!hlC!hh>()* hh WC WC TTC WT C Tc( y()* W  TTc(d(8!c8"!782%)* y(5 D G G GGG G G G G> 8D!hh6 C +@8!h?8AD +8AE +w ,+-68G!+ + + + +l? + + l? + + + + + + +^ +& ++ + ,+ ,[+{ +3  +'+ +Q , +1++  , + +8G , , ,7+[8+- ;,%+ +o ?+ + + +x !'9DH, 1C6+; + ?G+M ,o,+% &1O+,+7 ?8C! , ,J)+ ,/8+0K,M+,HM+#,u/+ ,,S+J + +F^+ ,B:a,sMGJdi+   469;=GMShmprt+PJL "_ain+ +    "$&(*,.02468:<>@BDFHJLNPRTVXZ\^`bdfhjlnqsuwy{}>^f9T)*8G8"h&5h&ch&ci&5 ^V%5 ^V5 ^V 5 ^U5%5%5%5%68"8!hh8')*8 8Gg"+8" 8]!88AE" 8AG!8:!8AG!8AE&58G8"8F! 8F! ?8 D" 8G ! 8 G%5 8 !+ + "c+>6@@+/6@@h68 G Ec+6@@+h68G!88!??@h8 "@6@6@@@h68 G  A9566A9R?(49Romega_plugin.Const_omega&_none_A@AAA@Q*floatarray@,@@@A@@@w@@@@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@@@@@-I$list@,N@Aаa"[]@@@@а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$@@@Ac@X+End_of_fileC+@@@A  j@W)Sys_errorC2@.@@A$r@[.Sys_blocked_ioC:@@@A+y@V)Not_foundCA@@@A2"@U'FailureCH@D@@A':*@T0Invalid_argumentCP@L@@A/B2@Z.Stack_overflowCX@@@A6I9@S-Out_of_memoryC_@@@A=P@@R-Match_failureCf@eab@c@@AJ]M@C%bytes@ِ@*PervasivesA@%NamesA0module_refl_name@w@@@=plugins/romega/const_omega.mlKK&@@0module_refl_path@Š@@@@@L9=L9M@@&result@,@@а$Kvar@@@@@$O%O@@а$Kapp@@@ɠ@'EConstrA!t@@@@@@?P@P@@а$Kimp@@'EConstrA!t@@@'EConstrA!t@@ @@YQZQ@@а$Kufo@@@aRbR@@@A@@@dNuu@@@L4meaningful_submodule@b@@.,@@+*@tTuT@@0string_of_global@@@)GlobnamesA0global_reference@@.:O&string@@@.;@<9@VV*@@ C-destructurate@@@#EvdA(evar_map@@? C.@@'EConstrA!t@@. C.@@C] C.@. C.@. C.@`W[`Wh@@ ,DestConstApp@>@@@AnZZnZp@@ 0dest_const_apply@@/@@D: D@*@@D* D@%NamesA"Id@!t@@D DI$list@G@@D@@D D@D D@D D@D D@prvpr@@ )logic_dir@|@@D D@@D D@{{@@ +coq_modules@I$list@I$list@O&string@@@Ev@@Eu D@@D D@$}%} @@ *bin_module@#(@@E E@@E E@@E E@;C<C@@ (z_module@:?@@F F@@F E@@E E@RD  SD @@ -init_constant@@B@@G~ F@@F F@F F@gF59hF5F@@ (constant@@@@G G@@G G@G G@{J|J@@ *z_constant@@)@@G Gǰ@@G G@G G@N B FN B P@@ ,bin_constant@@=@@H# G@@H  G@H G@R  R  @@ .coq_refl_equal@=@@H9 H5@@H6 H4@X Q UX Q c@@ 'coq_and@@@HC H?@@H@ H>@Y  Y  @@ 'coq_not@#)@@HM HI@@HJ HH@Z  Z  @@ &coq_or@4:@@HW HS@@HT HR@[  [  @@ (coq_True@EK@@Ha H]@@H^ H\@\  \  @@ )coq_False@V\@@Hk Hg@@Hh Hf@ ] $ ( ] $ 1@@ %coq_I@gm@@Hu Hq@@Hr Hp@^ P T^ P Y@@ )coq_t_int@x~@@H H{@@H| Hz@,b  -b  @@ *coq_t_plus@@@H H@@H H@=c  >c  @@ *coq_t_mult@@@H H@@H H@Nd  Od  @@ )coq_t_opp@@@H H@@H H@_e  `e  @@ +coq_t_minus@@@H H@@H H@pf 5 9qf 5 D@@ )coq_t_var@͠@@H H@@H H@g a eg a n@@ /coq_proposition@ޠ@@H H@@H H@i  i  @@ (coq_p_eq@@@H H@@H H@j  j  @@ )coq_p_leq@@@H H@@H H@k  k  @@ )coq_p_geq@@@H H@@H H@l  l  @@ (coq_p_lt@"(@@H H@@H H@m > Bm > J@@ (coq_p_gt@39@@H H@@H H@n g kn g s@@ )coq_p_neq@DJ@@H H@@H H@o  o  @@ *coq_p_true@U[@@I H@@H H@ p   p  @@ +coq_p_false@fl@@I  I@@I I@q  q  @@ )coq_p_not@w}@@I I@@I I@+r,r$@@ (coq_p_or@@@I I@@I I@<s?C=s?K@@ )coq_p_and@@@I) I%@@I& I$@MteiNter@@ )coq_p_imp@@@I3 I/@@I0 I.@^u_u@@ *coq_p_prop@@@I= I9@@I: I8@ovpv@@ 2coq_s_bad_constant@̠@@IG IC@@ID IB@xx@@ ,coq_s_divide@ݠ@@IQ IM@@IN IL@yy+@@ 6coq_s_not_exact_divide@@@I[ IW@@IX IV@zJNzJd@@ )coq_s_sum@@@Ie Ia@@Ib I`@{{@@ .coq_s_merge_eq@@@Io Ik@@Il Ij@||@@ 0coq_s_split_ineq@!'@@Iy Iu@@Iv It@}}@@ -coq_direction@28@@I I@@I I~@PTPa@@ *coq_d_left@CI@@I I@@I I@@@ +coq_d_right@TZ@@I I@@I I@ @@ +coq_e_split@ek@@I I@@I I@@@ -coq_e_extract@v|@@I I@@I I@* + @@ +coq_e_solve@@@I I@@I I@;=A<=L@@ 2coq_interp_sequent@@@I I@@I I@LlpMl@@ ,coq_do_omega@@@I I@@I I@]^@@ %coq_S@@@I I@@I I@no@@ %coq_O@ˠ@@I I@@I I@   @@ &mk_nat@@A#int@@@J5 I䰖@@J I@I I@.6.<@@ +mkListConst@@@@JQ JG@@$UnivA%Level@!t@@R R@@R R@R JH@JI JF@@@}(coq_cons@@@@S0}S@&@@S'}S+@@S#}S@S}S@S}S@@@'coq_nil@@8@@SVS?@C@@SMSCH@@SISD@SES@@SAS>@BFBM@@'mk_list@@U@@SSe@`@@SSi@ l@@S@@SSmSn@SoSj@SkSf@SgSd@@@(mk_plist@@@@S@@SS°S@SS@1:>2:F@@'mk_list@@@@Sݰ@7@@S@@S@S@SS@GH@@*parse_term@,@@а%Tplus@@'EConstrA!t@@S䠰@'EConstrA!t@@S@@ef@@а%Tmult@@'EConstrA!t@@S꠰@'EConstrA!t@@S@@$@@а&Tminus@@'EConstrA!t@@S𠰳@'EConstrA!t@@S@@%'%H@@а$Topp@@'EConstrA!t@@S@@IKI^@@а%Tsucc@@'EConstrA!t@@S@@_a_u@@а$Tnum@@&BigintA&bigint@@TM@@vxv@@а&Tother@@@@@@A@@@@@@)parse_rel@,@@а#Req@@'EConstrA!t@@Tw@'EConstrA!t@@Tz@@@@а#Rne@@'EConstrA!t@@T}@'EConstrA!t@@T@@@@а#Rlt@@'EConstrA!t@@T@'EConstrA!t@@T@@()@@а#Rle@@'EConstrA!t@@T@'EConstrA!t@@T@@BC0@@а#Rgt@@'EConstrA!t@@T@'EConstrA!t@@T@@\13]1Q@@а#Rge@@'EConstrA!t@@T@'EConstrA!t@@T@@vRTwRr@@а%Rtrue@@@~sus|@@а&Rfalse@@@}}@@а$Rnot@@'EConstrA!t@@T@@@@а#Ror@@'EConstrA!t@@T@'EConstrA!t@@T@@@@а$Rand@@'EConstrA!t@@T@'EConstrA!t@@T@@@@а$Rimp@@'EConstrA!t@@T@'EConstrA!t@@T@@@@а$Riff@@'EConstrA!t@@T@'EConstrA!t@@T@@$@@а&Rother@@@%'%/@@@A@@@ @@@/parse_logic_rel@@y@@UU@t@@UUM@@UU@UU@UU @'15(1D@@%coq_Z@@@UU@@UU@89@@&coq_xH@@@UU@@UU@IJ@@&coq_xO@@@UU@@UU@Z[@@&coq_xI@@@UU@@UU@kl@@&coq_Z0@Ƞ@@UU@@UU@|!}'@@(coq_Zpos@٠@@UU@@UU@CGCO@@(coq_Zneg@꠰@@UU@@UU@mqmy@@&coq_N0@@@UU@@UU@@@(coq_Npos@ @@VV@@VV@@@+mk_positive@@@&BigintA&bigint@@VV ,@@VV@VV @@@$mk_N@@A#int@@@VVưC@@VV@VV@@@#Int@#typ@@$LazyA!t@'EConstrA!t@@W@@W@@@*is_int_typ@@@)ProofviewA$GoalA!t@@X@@'EConstrA!t@@X @@X@X@X@01@@$plus@@$LazyA!t@'EConstrA!t@@X@@X@IJ@@$mult@@$LazyA!t@'EConstrA!t@@X@@X@bc6@@#opp@@$LazyA!t@'EConstrA!t@@X@@X@{79|7S@@%minus@@$LazyA!t@'EConstrA!t@@X@@X@TVTr@@"mk@@@&BigintA&bigint@@Xݰ@'EConstrA!t@@X@X@tvt@@*parse_term@@@#EvdA(evar_map@@X@@'EConstrA!t@@X簳@@X@X@X@@@)parse_rel@@@)ProofviewA$GoalA!t@@X@@'EConstrA!t@@X򰳐@@X@X@X@@@*get_scalar@@@#EvdA(evar_map@@X@@'EConstrA!t@@X @&BigintA&bigint@@Y@@Y@Y@Y @ OQ O@@@@  @!Z@1@ $ %L) )#@@@@@@vF@@AN@@O@@ABJ@@M@@A=U@@BC-V@@J@@K@@ABz@@y@@ACDXT@@C@@AG@@I@@AH@@BCQ@@}@@Ahr@@Ys@@ABDE|q@@ x@@A>u@@B.v@@Rt@@!w@@ABCWI@@~@@AR@@BS@@*h@@AC^@@ae@@A`@@b@@"i@@ABCDEF_@@a@@Ac@@B^f@@Og@@j@@ABCd@@]@@AP@@Bk@@l@@o@@ABCm@@p@@An@@BtW@@2[@@ACDEUY@@JZ@@AmX@@+\@@ABdD@@EF@@AWE@@G@@ABC E@@TL@@AH@@ FC@@ABD|@@M@@AA@@B4{@@@@@L@@ABC A@@ B@@B@@AB JD@@FN@@AK@@BCDEFG@@N@(39Romega_plugin.Const_omega @AA 0#typ@1 5@@Y @@Y Y @  @@$plus@@ F@@YY@@YY @  @@$mult@Q W@@YY@@YY@  @@#opp@b h@@Y&Y"@@Y#Y!@    @@%minus@s y@@Y0Y,@@Y-Y+@ '15 (1:@@-recognize_pos@@ @@YOY6@ @@YY: 堰{@@YY@@YY;@Y<Y7@Y8Y5@ KX\ LXi@@+recognize_Z@@ @@[8Y尖@ @@YY鰖$@@ZJ@@ZIY@YY@YY@ l   m  @@$mk_Z@@@@[[T @@[l[U@[V[S@ !! !!@@"mk@@@@[ @@[@[[@ """ """@@*parse_term@@ @@\[°@ @@\[ưc@@\V[@[[@[[@ $"" $""@@ *is_int_typ@@@)ProofviewA$GoalA!t@@^L \@@'EConstrA&constr@@b \E$bool@@@b \@\ \@\ \@ 0$$ 0$$@@)parse_rel@@,@@g fd@ E@@g4fh@@gfi@fjfe@fffc@ 3%% 3%%@@*get_scalar@@ g@@hxgC@ `@@hwgDJ&option@K@@hkhd@@hcgE@gF@gGgB@ >&& >&&@@@@@@@@@ABCDEF@4Z@@A@X@@AB@@AR@@V@@ABCD@@AU@@@ABC@@AIP@@:Q@@AB@hY@@AW@@bO@@ABCT@@"S@@A@xN@@A@@ABCDEFGH@@Z@(1 9Romega_plugin.Const_omega S T@A @@@@9*)'@(@A"!BCD@BCDEF@@A@BC@@A@@ABC@@ACDEFG@@@@(09Romega_plugin.Const_omega sy{ ty@@A (type1lev@@$UnivA%Level@!t@@SS@ IO IW@@@@@@1(%@BC#@@@@A@@ABCDEFG@@@A(09Romega_plugin.Const_omega IZ Iu@AA @@@@G0/>7DEFG@@(+9Romega_plugin.Const_omega ~#% A@ B @@@@@@@AB@ @A @BC@@@ABD@@H@(+t9Romega_plugin.Const_omega ~#;@  @@ D EzB @@@@H@(+T9Romega_plugin.Const_omega ~#I!@  E E{@@ E| EB @@@@*H@(+89Romega_plugin.Const_omega ~#`3@! E E@@ E EB @@@@@ ;W/5  DB@ f6N f6R@@@@@@@\@JK@AI@@B>@,K@@A@?BC=@L@((9Romega_plugin.Const_omega gV[ gV@@A4@@@@K@((9Romega_plugin.Const_omega i i@ z@@ CC CCA #isp@B)inductive@@B DB@ h h@@ $args@? DB@ h h@@@@@@@^N@J@AIw@Bu@!K@@AwvBCt@L@((9Romega_plugin.Const_omega i i@@A)@@@@K@((p9Romega_plugin.Const_omega e e.@ @@ CC^ CCcAа "sp@z(ConstantP!t@@B^ DB_@ d d@@ $args@x DBV@ d d@@@@@@@Z@J@AIB@#K@@A@BC@L@((\9Romega_plugin.Const_omega e e5@@A+@@@@K@((09Romega_plugin.Const_omegak<kJ@@A #typ@ q@@C; DB@k+k.@@ $body@ @$k/%k3@@@@@@@`@I@A@J@@AB@@A@K@@ABC@K@('9Romega_plugin.Const_omega8j9j@@@ CC CDA/ "id@"Id@!t@@B@MjNj@@@@@@@B@I@@ABC@I@('9Romega_plugin.Const_omegaZj"@@A@@@@ I@('D9Romega_plugin.Const_omega`cac@@&ConstrA,kind_of_term @@?ܠ @@?ݠ &ESorts@!t@@?ޠ )EInstanceA!t@@?@@?ېBq@@@@@8@A65B32C0@E@('09Romega_plugin.Const_omegac|@@A{@@@@ E@('9Romega_plugin.Const_omegaasas@tj@. D.B@@@@@K@AI@BH@B@('9Romega_plugin.Const_omegaasu@@@@@@@ B@(&9Romega_plugin.Const_omegayy@ ѐAŰ %sigma@ @prpr@@ !t@ @prpr@@@&ConstrA !f@ @@D' D @rr@@ $args@ ꠰.@@D)@@D( D!@rr@@ #ref@@)GlobnamesA0global_reference@@D D/@ss@@@@@@@U|@C@@A'D@@B3E@@F@@AFB@@BA@@ABC@EA@@A@G@(&9Romega_plugin.Const_omegaXy@@AU@@@@F@(&9Romega_plugin.Const_omega v5P v5j@@A\ #csp@@@DY DZ@v5Fv5I@@@@@@@N@GK@F/@A-@H@@AB.@+*BC(@H@(&9Romega_plugin.Const_omega)wk*wk@@A| #isp@@@Dh Di@5wkv6wky@@@@@@@P@G @AJ@BI@H@@AHGBCE@H@(&X9Romega_plugin.Const_omegaFuGu4@@A "sp@f@@DJ DK@RuSu@@@@@@@L@G=@Ag@g@ABc@H@@Ad@BCc@H@(&@9Romega_plugin.Const_omegadxex@G#exn@@@ D DA@@@@@U@ABzyCw@F@(&<9Romega_plugin.Const_omegaxx@@A@@@@ F@(%9Romega_plugin.Const_omega~tt@@@D5@@D6@@D7@@D8@@D4B@@@@=BC@E@(%9Romega_plugin.Const_omegas@@A@@@@ E@(%9Romega_plugin.Const_omegarr@@D" D&B@@@@@@A@B@B@(%9Romega_plugin.Const_omegar@@@@@@@ B@(%9Romega_plugin.Const_omegaHbdI@@&ConstrA&constr@@ Gs F$A߰ !x@r@F5GF5H@@@@@@@ A@@A@@A@(%|9Romega_plugin.Const_omegaI@@)GlobnamesA0global_reference@@ GtC@@@@A@(%T9Romega_plugin.Const_omegaGKM-@@@ @@@@A@(%@9Romega_plugin.Const_omegaLM  A@3@@ G GA !x@@JJ@@@@@@@ A@@A@A@@A@A@(%09Romega_plugin.Const_omegaM  @0@@ GC@@@@A@(%9Romega_plugin.Const_omegaK%@@@@@@@A@($9Romega_plugin.Const_omegaP l nQ  @^@@ G GڐA: !x@@'N B Q(N B R@@@@@@@ A@@A@A@@A@A@($9Romega_plugin.Const_omega3Q  @[@@ GC@@@@A@($9Romega_plugin.Const_omega>O U W%@@@@@@@A@($9Romega_plugin.Const_omegaDT  EU  C@@@ H HAf !x@@RR  SR  @@@@@@@ A@@A@4A@@A@A@($9Romega_plugin.Const_omega^U  @@@ HC@@@@A@($9Romega_plugin.Const_omegaiS  %@@@@@@@A@(!9Romega_plugin.Const_omegaop@@A !c@ @xy@@ !r@@)GlobnamesA0global_reference@@JP JK@@@ $inst@@ @@R K!t@@K K@K Jh@ @@@@@@@1A@@AC@@.B@@AB@@C@(!9Romega_plugin.Const_omega@@A<@@@@@ @ @AB@@B@( 9Romega_plugin.Const_omega5;5y@@AF@@@@ B@( 9Romega_plugin.Const_omega/@@@ K~ KwAT@@@@B@( 9Romega_plugin.Const_omega\@@AZ@@@@BA( 9Romega_plugin.Const_omega@ACc@@@@@5@A@@A ( 9Romega_plugin.Const_omegao@@@l@@@@ A@( 9Romega_plugin.Const_omega5[.@@$UnivA(Instance\!t@@ K RA !u@f@5?5@@@@@@@@ A@@A@@A@( p9Romega_plugin.Const_omega5DL@@@@@@@ A@( X9Romega_plugin.Const_omega\@@@@@@@@l%param@A@@A@@A@( <9Romega_plugin.Const_omega@@%NamesA+constructor@@ R RѐAm!u@ |@&'@@@@@@@ A@@A@B@@A@@AB@B@( (9Romega_plugin.Const_omega45@!t@@ R RސA@@@@A@( 9Romega_plugin.Const_omegaD@@@$@@@@A@( 9Romega_plugin.Const_omegaJ K7@@@}S%~S/B~$univ@ @YZ @@#typ@ @_ `@@@@@@@ A@@B@@AB@ A@@A@C@(9Romega_plugin.Const_omegamnA@@@@@@@B@(9Romega_plugin.Const_omegatBiuB@@@SKSUBư$univ@ @BNBR@@#typ@ @BSBV@@@@@@@ A@@B@@AB@ A@@A@C@(9Romega_plugin.Const_omegaBZB@@@@@@@B@(l9Romega_plugin.Const_omega0208@@A$univ@ @@@#typ@ @@@!l@ @@@$loop@@@@SSv@@SuSsSr@StSq@@@@@@@@"A@@D@@AB+B@@3C@@AC@ A@@A B@@B@D@(L9Romega_plugin.Const_omegaA@@@?@@@@@@AB @C@(,9Romega_plugin.Const_omega@@AJ@@@@@@A@@A@ 6A@@A B@@BKD@@SC@@AC@C@@@AAB(9Romega_plugin.Const_omega@[@@SSBj$step@KSx@@@!l@ @@Sy@@@@@@@@B@@A3@C@@AB3+D@(9Romega_plugin.Const_omega&"'(@aSA#@@@@C@(9Romega_plugin.Const_omega01,@@A*@@@@C:(9Romega_plugin.Const_omega8@A@@@@@OAA(9Romega_plugin.Const_omega?y@@@̰!l@ @EyFy@@@@@@@ A@@A@ WA@@AB@@B@A@(9Romega_plugin.Const_omegaS`iT`o@@A%sigma@ H@[1E\1J@@!c@ E@a1Kb1L@@@@@@@@C@@A A@@B@@AB@A@@A@C@(9Romega_plugin.Const_omegar+s7@@A!"t1@2@@UY@}!~#@@"t2@2@@UZ@$&@@@@@@%"@"@AE@@D@@ABC$@E@(`9Romega_plugin.Const_omega@@AA@@@@@#@E&@D9@A76B4@E@(09Romega_plugin.Const_omegapp@@AQ@@@@@3@E@ADCBA@E@(9Romega_plugin.Const_omega @@A`"t1@@@UMUP@@@"t2@ US@@@@@@@@U@GX@F[@E8@Al@l@A#I@@H@@ABCn@I@(D9Romega_plugin.Const_omega8S8_@@A"t1@@@U_Ub@8H8J@@"t2@ Ue@8K8M@@@@@@@@G@F@Ee@A@@A#I@@H@@ABC@I@(9Romega_plugin.Const_omega  @@A!t@@@U4U7@@@@@@@@@F@E@A@@G@@ABC@G@(L9Romega_plugin.Const_omega*+@@Aٰ"t1@@@U?UB@78@@"t2@ UE@?@@@@@@@@@G@F@E@A@@A#I@@H@@ABC@I@(9Romega_plugin.Const_omegaW1UX1j@@@UB @@@@@B@B@(9Romega_plugin.Const_omegae1O@@@@@@@B@(9Romega_plugin.Const_omegak l &@@A@@@@@!n@A@@A@ A@@A B@@ C@@AB@AB(9Romega_plugin.Const_omega'?'R@@@VVA V@'+',@@@@@@ B@(H9Romega_plugin.Const_omegaTlT@@@VVA@@@@.A@(@9Romega_plugin.Const_omegaTx@ @@VVA!@@@@;A@(,9Romega_plugin.Const_omega'0T@@A(@@@@BA7(9Romega_plugin.Const_omega@A@@@@@IA>(9Romega_plugin.Const_omega    @@A %sigma@ @XjXo@@!t@ @XpXq@@$loop@@-@@YNY? @@YY@@YAY>@t~t@@@@@@@#exn@D@@AC@@B*B@@&A@@AC@6A@@A0B@@B@D@(9Romega_plugin.Const_omega    @ A;@@@@@@AB@G@(|9Romega_plugin.Const_omega  E@@AD@@@@ C@(`9Romega_plugin.Const_omegatvK@@@I@@@@@"@A @B@B@(P9Romega_plugin.Const_omega  i z  i @@@YYA]!t@J@t t@@!f@I@@YKYD@*+@@!l@G@@YM@@YLYE@9:@@@@@@@@G@F@E@B@@+D@@AB!C@@4A@@AC@A@@AB@@C@@AB@@@@AG@(L9Romega_plugin.Const_omega[  i tK@@AD@@@@!G@(89Romega_plugin.Const_omegaa  M ^b  M h@@AK@@@@(G@( 9Romega_plugin.Const_omegah i  @ @@YYBZ!t@@@YYj@{ | @@@@@@@ @HE:B8@I9@AC82I@(9Romega_plugin.Const_omega    @A@@@@I@(9Romega_plugin.Const_omega ,@@A$@@@@I@(9Romega_plugin.Const_omega   D   L@YA!t@.Yw@   '   (@@@@@@@4@HodBb@Ic@ACb\I@(9Romega_plugin.Const_omega   -@@A@@@@I@(9Romega_plugin.Const_omega  @)@@YYA@@@@@~|BzyCwqD@(9Romega_plugin.Const_omega @@A@@@@ D@(9Romega_plugin.Const_omega@@YFYJB@@@@@@AA@(9Romega_plugin.Const_omega@@@@@@@A@(9Romega_plugin.Const_omega!!!!@@A %sigma@ @    @@!t@ @    @@@@@@@@C@@AB@@A@@AB@IA@@ACB@@ C@@AB@C@(p9Romega_plugin.Const_omega !! !!@@A%!f@6@@YY@    @@!l@4x@@Y@@YY@&  '  @@@@@@@@L@K@J@G@@A+I@@"H@@AB>@=@AC<@L@(T9Romega_plugin.Const_omega@!!A!!@@A6@@@@L@(09Romega_plugin.Const_omegaG!O!cH!O!@ B@!t@@@Z7Z!@U!O!]V!O!^@@@@@@@@M2@A'&Bb@Nc@ACb@N@(9Romega_plugin.Const_omegaf!O!y@ \ @@[1[*@@[)[5B)@@@@N@(9Romega_plugin.Const_omega2@A-@@@@!N@(9Romega_plugin.Const_omega}!%!9~!%!N@ Bv!t@6Z@!%!3!%!4@@@@@@@ @Md@AYXB@N@AC@N@(9Romega_plugin.Const_omega@A@@@@N@(9Romega_plugin.Const_omega!!!!@ @@ZA@@@@@r@ApoBmC@I@(9Romega_plugin.Const_omega!! @@A@@@@ I@(9Romega_plugin.Const_omega   !@@YYB@@@@@@A@B@F@(9Romega_plugin.Const_omega  @@@@@@@ B@(9Romega_plugin.Const_omega "" ""@&@@[[A !n@ a@!!!!@@@@@@@ A@@A@tA@@ASC@@BeB@@#D@@AC@B@($9Romega_plugin.Const_omega "" ""@E@@[[A @@@@A@(9Romega_plugin.Const_omega ""@0@@[[A-@@@@&A@(9Romega_plugin.Const_omega "" ""@@A4@@@@-A@(9Romega_plugin.Const_omega "L"_ "L"r@g@@[y[AA@@@@:B@(p9Romega_plugin.Const_omega"L"w"L"@t@@[{[AO@@@@HA@(`9Romega_plugin.Const_omega&"L"P'"L"@@AV@@@@OA@(X9Romega_plugin.Const_omega-"$".."$"F@ t@@[t[pAd@@@@]A@(D9Romega_plugin.Const_omega;"$"+7@@Aj@@@@cA@(9Romega_plugin.Const_omegaA!"B!"#@@Aq@@@@jA@(9Romega_plugin.Const_omegaH!!I!" @ @@[b[[B@@@@xA@(9Romega_plugin.Const_omegaV!!R@@@@@@@~A@(9Romega_plugin.Const_omega\.$$].$$@@A %sigma@ @d$""e$""@@!t@ @j$""k$"#@@@@@@@ @C@@AB@@A@@AB@A@@A C@@ .B@@AB@C@(9Romega_plugin.Const_omega-$O$-$O$@@A#@@@@@ @E @D@AB@E@(9Romega_plugin.Const_omega-$O$~-$O$@@A4 !t@@@\\@-$O$y-$O$z@@@@@@.@F/@AB.@F@(x9Romega_plugin.Const_omega-$O$[-$O$n@ j@@\@@\BT@@@@@.@ADCBA@D@(h9Romega_plugin.Const_omega-$O$T-$O$@@A^@@@@ D@(49Romega_plugin.Const_omega&#&#C&#&#P@@Ag"t1@@@[[@&#&#8&#&#:@@"t2@ [@&#&#;&#&#=@@@@@@@ e@G h@F k@E]@As@s@A#I@@H@@ABCu@I@(9Romega_plugin.Const_omega(#}#(#}#@@A"t1@@@[[@(#}#(#}#@@"t2@ [@(#}#(#}#@@@@@@@ @G @F @E@A@@A#I@@H@@ABC@I@( 9Romega_plugin.Const_omega)##)##@@A!t@@@\\@')##()##@@@@@@@ @F @E@A@G@AB@G@(9Romega_plugin.Const_omega:+#$ ;+#$)@@@\m\qA!t@@@\\@M+##N+##@@@@@@@ @F @E@A@G@AB@G@(9Romega_plugin.Const_omega`+#$&@@@\r\vA%@@@@G@(9Romega_plugin.Const_omegam+#$n+#$*@@A,@@@@ G@( 9Romega_plugin.Const_omegat'#Q#nu'#Q#|@@A"t1@H@@[[@'#Q#c'#Q#e@@"t2@ [@'#Q#f'#Q#h@@@@@@@ @G @F @E@A&@&@A#I@@H@@ABC(@I@(9Romega_plugin.Const_omega*##*##@@AF!t@t@@\ \@*##*##@@@@@@@ <@F ?@E1@AG@GH@ABG@G@(,9Romega_plugin.Const_omega%## %## @@@[ΐBi@@@@@Y@AW@BV@B@(9Romega_plugin.Const_omega%##s@@@r@@@@ B@( 9Romega_plugin.Const_omega2@A  "gl@ "@0$$0$$@@ !t@ @0$$0$$@@@@@@@#arg@F@@AB@@A@@AB@A@@A@F@( 9Romega_plugin.Const_omega1$$1$%@ .&constr@@ b fSA(@@@@@@A@B@B@( `9Romega_plugin.Const_omega1$$@@@1@@@@ B@( @9Romega_plugin.Const_omegag@@5@@@@@ #eta@A@@A@*A@@A@A@( ,9Romega_plugin.Const_omega<&l&u<&l&@@AO"gl@ :@3%%3%%@@!t@ 7@$3%%%3%%@@%sigma@@#EvdA(evar_map@@fofl@44%%54%%#@@@@@@@ @D@@A$B@@BC@@!A@@AC@A@@A C@@&&>&&@@!t@@>&&>&&@@@@@@@m H@C@@AB@@A@@AB@5A@@A{B@@B@@@@AC@(09Romega_plugin.Const_omegaI((I()@@A#@@@@@n ]@D@ABD@(9Romega_plugin.Const_omegaA&' A&'@ҐB4"t1@@@gXg[@@&&@&&@@"t2@ g^@@&&@&&@@@@@@@q @Gp @Fo @E-@A@@@@A#I@@H@@ABCB>J@(9Romega_plugin.Const_omega A&' A&'4@hOh;hhggggސB>@@@@)I@(9Romega_plugin.Const_omega"A&&@@AD@@@@/I@(,9Romega_plugin.Const_omega(E'')E''@B"t1@@@gtgw@7D''8D''@@"t2@ gz@?D''@D''@@@@@@@w @Gv @Fu @Ez@A@@A#I@@H@@ABCJ@(9Romega_plugin.Const_omegaWE''XE'(@EB/@@@@I@(9Romega_plugin.Const_omega`E'' @@A5@@@@ I@(x9Romega_plugin.Const_omegafF((4gF((H@RB!t@;@@gg@tF((uF((@@@@@@@y@Fx@E@A@G@ABG@(l9Romega_plugin.Const_omegaF((!@@A@@@@G@(9Romega_plugin.Const_omegaH((H((@uB!t@b@@gg@H((H((@@@@@@@}*@F|-@E@A@G@ABG@(9Romega_plugin.Const_omegaH((!@@A@@@@G@(h9Romega_plugin.Const_omegaC'S'pC'S'@B "t1@@@gfgi@B'5'HB'5'J@@"t2@ gl@B'5'KB'5'M@@@@@@@tZ@Gs]@Fr`@E@A@@A#I@@H@@ABCJ@(T9Romega_plugin.Const_omegaC'S'C'S'@ՐB/@@@@I@(D9Romega_plugin.Const_omegaC'S'X @@A5@@@@ I@(9Romega_plugin.Const_omegaG(I(|G(I(@ܐBJ!t@@@gg@G(I(]G(I(^@@@@@@@{@Fz@E8@AK@GL@ABKGG@(9Romega_plugin.Const_omegaG(I(d!@@A@@@@G@(49Romega_plugin.Const_omega?&&?&&@i@@gNBs@@@@@c@Aa@B`\B@($9Romega_plugin.Const_omega(?&&}@@@|@@@@ B@(9Romega_plugin.Const_omega./@@@VVA!n@s@=>@@!q@y@@VVy@H=FI=G@@!r@@@VVz@S=HT=I@@@@@@@@B@@A#A@@ D@@AC@@BC@)A@@AC@@B@@AB@@@@AE@(9Romega_plugin.Const_omega>@A5@@@@E@(9Romega_plugin.Const_omegapq@BVA?@@@@ E@($9Romega_plugin.Const_omega @AC@@@@$E@(9Romega_plugin.Const_omega~}}@@@VVBQ@@@@2E@(9Romega_plugin.Const_omega@VvA[@@@@2A@U'FailureCH@D@@AF:I@T0Invalid_argumentCP@L@@ANBQ@Z.Stack_overflowCX@@@AUIX@S-Out_of_memoryC_@@@A\P_@R-Match_failureCf@eab@c@@Ai]l@C%bytes@ِ@*PervasivesA@"PpA@$UtilA@+Const_omegaA+OmegaSolver@e&bigint@,@@@A@&BigintA&bigint@@R@@6plugins/omega/omega.mlhh@@@@@Af"=?@@&bigint@@W@@@VE$bool@@@U@T@S@ii@@g"?@@]I@@e@cO@@d.@@c@b@a@bl)-cl)1@@j#>=?@@t`@@i@-@@h@g@f@umHLvmHQ@@k!+@@s@@n@y@@m}@@l@k@j@nqunqx@@l!-@@@@s@@@r@@q@p@o@oo@@m!*@@@@x@@@w@@v@u@t@pp@@n!/@@@@}@@@|@@{@z@y@qq@@o#mod@@@@@@@@@@@~@rr@@p$zero@@@@ss@@q#one@ @@@tt @@r#two@@@@u  u  @@s&negone@! @@@v  "v  (@@t#abs@@/@@@@+w 5 9,w 5 <@@u0string_of_bigint@@=)@@O&string@@@@@?x k o@x k @@v#neg@@Q=@@UA@@@@Qy  Ry  @@w!<@@A#int@@@@@@P@@@@@k}  l}  "@@x!>@@@@@ @@h@@@@@~ @ D~ @ G@@y"<=@@2@@@8@@@@@@@ e i e m@@z">=@@J@@@P@@@@@@@@  @  @@{"pp@@A#int@@@F$unit@@@@@B  B  @@|$push@@@"@@*PervasivesA#refI$list@@@@@$@@@@@D  D  @@}$pgcd@@@@@@@@F  F  @@~&pgcd_l@@&@@@@@@H G KH G Q@@)floor_div@@  @@@&@@*@@@@@&L  'L  @@%coeff@,@@а!c@@B@@7S [ i8S [ t@@а!v@@@@BS [ uCS [ {@@@@A@,Omega_pluginA%Omega@/MakeOmegaSolverAV%@@@@RS [ [SS [ |@@@QA&linear@,@@@A|7@@@@@@dU ~ ~eU ~ @@@cA(eqn_kind@,@@а$EQUA@@@rW  sW  @@а$INEQ@@@zW  {W  @@а$DISE@@@W  W  @@@A@=@@@[  [  @@а$kind@@>@@] S U] S d@@а$body@@РT@@@@_  _  @@а(constant@@@@a  a  @@@@A|@{A9@@@@Y  a  @@@A,state_action@,@@а)st_new_eq@@K@@ðd  d  @@а&st_def@@ @@İe  e  @@а'st_orig@@@@Űf:<f:N@@а'st_coef@@@@ưgOQgOd@@а&st_var@@@@ǰheghev@@@@A@A>@@@@c  hex@@@A&action@,@@а1DIVIDE_AND_APPROX@G@@ɠK@@ʠ@@ˠ@@@@/k0k@@а0NOT_EXACT_DIVIDE@_@@͠ @@@@?l@l@@а(FORGET_C@@@@@LmMm@@а,EXACT_DIVIDE@|@@Р&@@@@\n]n@@а#SUM@ @@Ҡ:@@Ԡ@@@ӠE@@נ@@@@@o!oS@@а%STATE@@@@@pTVpTm@@а#HYP@@@@@qnpqn~@@а&FORGET@F@@۠K@@@@rr@@а (FORGET_I@X@@ݠ]@@@@ss@@а -CONTRADICTION@@@ߠ@@@@tt@@а 1NEGATE_CONTRADICT@@@ᠰ@@⠰@@@@uu@@а (MERGE_EQ@@@䠰@@堰@@@@vv%@@а 0CONSTANT_NOT_NUL@@@砰@@@@w&( w&J@@а,CONSTANT_NUL@@@@@xKMxKb@@а,CONSTANT_NEG@@@꠰@@@@&yce'yc@@а*SPLIT_INEQ@V@@젰@@\,@@@@@@@򠰳n@@@@@@@UzVz@@а&WEAKEN@@@0@@@@f{g{@@@A$!@ AuY@@@@qjzz @@@oA*UNSOLVABLE@G#exn@@@@A&_none_A@A@B0NO_CONTRADICTION@ @@@A @B*display_eq@@@P@@ O&string@@@A@I$list@E@@@@@@@F$unit@@@@@@$@@,trace_length@@@@ @@ @@ @ @@@.operator_of_eq@@.@@ @@ @ @@@'kind_of@@?@@ @@ @ @&*&1@@.display_system@@@@@ g@@ A @a*@@ @@ D@@ @ @ @  @@3display_inequations@@@@@ @@ A @"@@ @@ 7#@@ @ @@ -@@ @ @ @78@@#sbi@@I5@@  @@ @ @H*.I*1@@.display_action@@@@@ (@@ 'A &@Y"@@ %@@ $@@ #@ "@ !@hFNiF\@@1default_print_var@@A#int@@@ +O&string@@@ *@ )@~    @@)add_event@@I@@ .@@ -@ ,@!!!!!*@@'history@@F$unit@@@ 2b@@ 1@@ 0@ /@!!,!!3@@-clear_history@@@@ 5@@ 4@ 3@!!5!!B@@)nf_linear@@!d@@ 8@@ 9)@@ 7@ 6@!!!!@@"nf@@@@ B"@@ ?@@ D@@ E@ C@ A@@ <0@@ >@@ @@ =@ ;@ :@"""&"""(@@-map_eq_linear@@@@@ N@@ MA L@@@ K@@ J=@@ I@@ H@ G@ F@#"["_$"["l@@,map_eq_afine@@@@@ TA S@]@@ R`@@ Q@ P@ O@<""="# @@)negate_eq@@m@@ Wp@@ V@ U@L#n#rM#n#{@@#sum@@w@@ [@@ Z@  @ Y@ X@_##`##@@)sum_afine@@@@@ d@@ cA b@@@ a@@@ `@@ _@ ^@ ]@ \@$$$$@@'FACTOR1@@@@A @B-chop_factor_1@@4@@ g@@ i @@ h@ f@ e@%x%%x%@@'CHOPVAR@/@@@A,@B(chop_var@@q@@ p@X@@ m@@ o @@ n@ l@ k@ j@&#&+&#&3@@)normalize@@@@ tˠ@@ s@@ r@ q@"&&"&&@@1eliminate_with_in@@@K@@ M@@ ~A }@@@ |@@@ {@@@ z!@@ y@ x@ w@ v@ u@A+E+IA+E+Z@@)omega_mod@@@@ @@@ @@ @ @ @K,-K,- @@-banerjee_step@@@@@ @@ A @@@ 0@@ A @@@ @@ A @ @k@@ @I$list@v@@ @@ @ @@ @@ @@ @@ @@  @@ @@ @ @ @ @ @ @sL-<-@tL-<-M@@6eliminate_one_equation@@@@@ @@ A @@@ @@ A @Z@@  @@ A @ @@@ `@@ e@@ @@ @ U@@ @@ ]@@ @@ @ @ @ @r33r33@@(banerjee@@@>@@ @@@ A @I@@ @@ A @@@ İ^@@ ÐA @ @#@@ @@ +@@ @@ @ @ @ @}5v5~ }5v5@@$kind@,@@а(INVERTED@@@8888@@а&NORMAL@@@8888@@@A@A-@@ @@)88 @@A'A6redundancy_elimination@@@@@ Ѱ@@ АA ϰ@?h@@ @@ ͰCr@@ @@ ɠKz@@ @@ @ @ @ @W88X88@@-SOLVED_SYSTEM@@@@A@B/select_variable@@h@@ @@ ԰@@ @ @rBxB|sBxB@@(classify@@>@@ @㠰@@ @@ ᰒ @@ ٠c@@ ݠ@ @@ ۠@@ #@ @@ @ @ @ @DDDD@@'product@@@@@ @@ A @@@ @&@@ @@ @ @@ @6@@ 렰@@ @ @@ 鰳 @@ @@ @ @ @ @ @EEEE@@/fourier_motzkin@@@`@@ b@@ A .r@@@ w@@ A @ @Q@@ @v>@@ @@ I$list@ @@ @ @ @ @ "I0I4 #I0IC@@(simplify@@@@@ @@ A @@@ =@@ A @ @@ @@ A @ @@@ @ @@ @@ ^@@ @@ @ @ @ @ d J_Jc e J_Jk@@&depend@@A#int@@@ @@ @>@@ @@ @~ @@ @ @ @ @ @ %N8N@ %N8NF@@(negation@@@@ "@@ !@@ $@@ #@ F$unit@@@ @ @ PU U PU U@@-FULL_SOLUTION@>@٠}@@ &@@ %⠰j@@ (@@ '@@AN@B/simplify_strong@@@>@@ 2@@ 1A 0@I@@ 5@@ 4A 3@@@ 8^@@ 7A 6@ /@ @@ .@@ -@@ ,@@ +@ *@ )@ dWW dWW@@@@>@@3&tactic0@@@@@?&tactic<@@@@I&tacticF@@@@@@;@}\~\@@<)direction@,@@а=$Left@ @@@@cc@@а>%Right@ @@@@cc@@@A@@@c@@@ ?(occ_step@,@@а@&O_left@@@gDTgDZ@@аA'O_right@@@gD[gDd@@аB&O_mono@@@gDegDm@@@A@@@gDD@@A C(occ_path@,@@@A )@@@@@@hnnhn@@@ ˰D*occurrence@,@@а%o_hyp@@!t@@_l+l8@@а&o_path@@(@@dl9lJ@@@@A@@@llK@@@  *atom_index@,@@@A @@7@@nMMnMb@@A  (oformula@,@@а $Oint@@&BigintA&bigint@@87@@ s s@@а %Oplus@@@8:#@@8=@@uu@@а %Omult@0@@8@5@@8C@@.v/v8@@а &Ominus@B@@8FG@@8I@@@w^`Aw^@@а $Oopp@T@@8L@@MxNx@@а %Oatom@l@@8O@@Zz[z@@@A@@@]q@@@\ +comparaison@,@@а "Eq@@@h}i}@@а #Leq@@@p}q}"@@а #Geq@@@x}#y}(@@а "Gt@@@})}-@@а "Lt@@@}.}2@@а #Neq@@@}3}8@@@A@@@}@@A )oequation@,@@а &e_comp@@A@@;װP  P  @@а &e_left@@@@;ܰQ  Q  @@а 'e_right@@@@;R  R  "@@а (e_origin@@@@;S @ DS @ Y@@а )e_negated@@@@;T  T  @@а )e_depends@@[@@;@@;V  V  @@а 'e_omega@@%afine@@;Y  Y  @@@@A@@@O  Z  @@@ ,oproposition@,@@а %Pequa@@'EConstrA!t@@;q@@;@@EnrEn@@а %Ptrue@@@FF@@а &Pfalse@@@GG@@а $Pnot@3@@;@@$H%H@@а #Por@*@@;E@@;J@@;@@;I<I @@а $Pand@A@@; \@@;Ša@@;@@RJ  SJ  @@@а $Pimp@X@@;ˠs@@;Πx@@;@@iK A CjK A n@@а %Pprop@@'EConstrA!t@@;@@zL o q{L o @@@A@@@}DZZ@@@| +environment@,@@а %terms@AZ@'EConstrA!t@@<[@@<_g _ ag _ @@а %props@An@'EConstrA!t@@@@A@@.}hl/}h|@@а $Tree@4@@A@@A$@@A@@EceFc@@@A@@@H|SS@@@G /context_content@,@@а %CCHyp@@@B@@X26Y2I@@а &CCEqua@^@@B@@eJLfJ[@@@A@@@h@@@g +occ_step_eq@@@@B3 B"@ @@B4 B&e@@BN B'@B( B#@B$ B!@@@ (oform_eq@@@@Bi BY@@@Bk BZE$bool@@@B B[@B\@B] BX@@@ &dir_eq@@3@@C C@ @@C CE$bool@@@C0 C@C C@C C@7;7A@@ (id_concl@!t@@CF CC@*.*6@@ /new_environment@@@@CQ CNi@@CU CO@CP CM@@@ 0new_connector_id@@@@C C9@@C C@C C@sws@@ %barre@@Y@@C C^@@C C@C C@@@ &indice@@m@@C Cɰ@@C C@C C@%ei&eo@@ 5print_env_reification@@L@@c4 C۰F$unit@@@c C@C C@<=@@k,new_omega_eq@@i@@d1kd.@@dEkd/@d0kd @PQ@@l,rst_omega_eq@@}@@dMkdJ@@dSkdK@dLkd!@ef@@p-new_omega_var@@@@dtpdq@@dpdr@dspda@yTXzTe@@q-rst_omega_var@@@@dpd)@@dpd@dpdb@TgTt@@r0set_omega_maxvar@@%@@dpd=@@dpd@dpdc@TvT@@w1display_omega_var@@A#int@@@dwdO&string@@@dwd@dwd@)-)>@@y0add_reified_atom@@@#EvdA(evar_map@@tye@J@@t0ye @@@t;yeA#int@@@sye@eye @e ye@e ye@@@V0get_reified_atom@@@@t\VtO@A#int@@@tWy@@t^VtV@tUVtP@tQVtN@_c_s@@X0set_reified_atom@@@#IntA!t@@tXtr@@@tXtv@E@@tXtz@@tXt{@t|Xtw@txXts@ttXtq@3_c4_s@@\(add_prop@@x@@t\t@c@@u\t@@@t\ts@@t\t@t\t@t\t@t\t@Y 4 8Z 4 @@@a(get_prop@@I$list@@u8au$@@u&au@z@@u%auau@uau@uau@z!!{!! @@d,add_equation@@@@du>@@@duB@@duC@uDdu?@u@du=@!!!!@@,get_equation@@@@6"@@@.&@@8'@(#@$!@"n"r"n"~@@&oprint@@@*PervasivesA+out_channel@@@=@@F$unit@@@y@@@#,#4#,#:@@&*print_comp@@@@&|@@)&@&@ $$ $$@@)&pprint@@8@@)@@@9)4@@)@@)2@ %"%* %"%0@@71oformula_of_omega@@3@@7Q@@7R@S7P@ 'g'k!'g'|@@>#app@@@$LazyA!t@'EConstrA!t@@>@@>@H%array@@@@@>@@>@>@>@T$( (U$( (@@A.coq_of_formula@@{@@Aڰ@@@Aް8@@A@A@A@q((c(gr((c(u@@O/reified_of_atom@@@@Oа@@@O԰@@O@O@O@7*L*P7*L*_@@T-reified_binop@@ @@T밖@\n@@@@r@@@T@T@>+4+8>+4+E@@W2reified_of_formula@@@@W8@-@@gW9@@|W:@;@<W7@D++D++@@c2reified_of_formula@@@@c𰖰@J@@ c@@c@c@c@K--#K--5@@g+reified_cmp@@ @@!g@@@3@@2@@1@0g@ g@ O-- O--@@j,reified_conn@@ @@j@Π@@@@@@@j@j@ W.;.? W.;.K@@m0reified_of_oprop@@b@@m@K@@m@6@@{m簖@@zm@@@m@ ?].. @]..@@|6reified_of_proposition@@@@|հ@o@@|ٰ@\@@|ݰ,@@|@|@|@|@ eh00 fh00@@-reified_of_eq@@@@9 @@@/@@8@T@@@ @ @ l1W1[ l1W1h@@"@@@@ !t@@H@@@G @@F@E@DC@ w3(3, w3(30@@/vars_of_formula@@ @@MK@@qJ@LI@ y3A3I y3A3X@@1vars_of_equations@@9@@}@@|z;@@y@{x@ 44 44@@,vars_of_prop@@@@O@@@@ 575? 575K@@(nformula@,@@а%coefs@@Ǡ@@7@&BigintA&bigint@@:@=@@? 7d7h 7d7@@а#cst@@@&BigintA&bigint@@E 77 77@@@@A@@@ 7T7T 77@@@%scale@@6"@@a@H@@ie@@uf@gb@c`@ :77 ;77@@'shuffle@@@@@@@#@@Y@@@ W88 X88@@)normalize@@@@7@@@@ k99 l99@@1omega_of_nformula@@@63@i@@J7@X@@y;x@@@<@=8@94@52@ ;; ;;@@+negate_oper@@@@@@@@ (?@@@A@B@C@D/@ CHCL CHCQ@@'binprop@@FE@CF@2@@*@@@@+ @@,y@@@@-@.G@$H@'I@@)ProofviewA$GoalA!t@@%J@@K@@@@@@  @@@K@@@LL@MN@O@P@Q@R@S@T@U@V@W0@ 0CC 1CC@@+mk_equation@@X@Y@xqhe@Z@'[@n@@\@]@^K_@`@a@b@c@d@e@f1@ _FNFR `FNF]@@6oproposition_of_constr@@g@h@0@i@j@Yknl@m@n@o@p@q2@  G~G  G~G@@:*display_gl@@@@:]@@@:a@;@@y;@ ;@@;@;@@:e@@:f@g:b@c:^@_:\@ "L0L4 "L0L>@@A'defined@,@@аB'Defined@@@ *M+M: *M+MA@@аC'Assumed@@@ *M+MB *M+MK@@@A@@@ *M+M+@@AհD)reify_hyp@@@@D@@@D@@@D@ &@@D DI@@D@@D@D@D@D@D@D@ ,MMMQ ,MMMZ@@(reify_gl@@9@@<@-@@@ @@֠Ҡ h@@ܠ:@@ݠ &@@@@@@A@B=@>;@ J8OO  K8OO@@0destruct_pos_hyp@@ X@@$@@@b@@谖I$list@@@@@@ qBPP rBPP@@0destruct_neg_hyp@@'@ `@@/@@@ SRR SRR@@2destructurate_hyps@@ˠ@@@@,@@@  BI$list@ @@OJ@@K>@@= @  @ dTT dTT@@ .display_depend@@@@X U@@f V@W T@ nUU nUU@@/display_systems@@>C@@6@@5-@@,F$unit@@@+@@ rV;V? rV;VN@@2hyps_used_in_trace@@:@@J?@@><t@@l;@=:@ZcZkZcZ}@@)state_cmp@@R@@@ @@A#int@@@@@@/\h\l0\h\u@@(StateSet@#elt@,@@@A;,state_action@@@@-clib/cSet.mliT&-T&;@@@@@A!t@,@@@A@@@ U<B U<X@@@ A%empty@@@f@'set.mliG  G  @@(is_empty@@@@eE$bool@@@d@c@J  J  0@@#mem@@@@@b@(@@a@@`@_@^@+M a e,M a ~@@#add@@@@]@>@@\A@@[@Z@Y@@P  AP  @@)singleton@@,@@XQ@@W@V@PV  QV  @@&remove@@<@@U@c@@Tf@@S@R@Q@eY G KfY G d@@%union@@s@@P@x@@O{@@N@M@L@z_lp{_l@@%inter@@@@K@@@J@@I@H@G@bb@@$diff@@@@F@@@E@@D@C@B@ee@@'compare@@@@A@@@@A#int@@@?@>@=@h h +@@%equal@@@@<@@@;@@:@9@8@ll@@&subset@@@@7@@@6@@5@4@3@p)-p)G@@$iter@@@@@2F$unit@@@1@0@@@/ @@.@-@,@tt@@#map@@@@@+@@*@)@@@(!@@'@&@%@ y!y@@$fold@@@@@$@!a#@#@"@;@@!@  @ @@@<=@@'for_all@@@*@@=@@@@U@@F@@@@@XLPYLw@@&exists@@@F@@Y@@@@q@@b@@@@@tu@@&filter@@@b@@u@@@ @@@ @@ @ @ @hlh@@)partition@@@}@@@@@@@@@@@@@@@@@@(cardinal@@@@@@@@@@(elements@@@@I$list@@@@@@@!%!@@@'min_elt@@@@@@@@"&";@@+min_elt_opt@@@@J&option@@@@@@@@@'max_elt@@@@@@@@@@+max_elt_opt@@@@'@@@@@@%%)&%I@@&choose@@3@@갳@@@@56@@ *choose_opt@@C@@簳L(@@@@@@JK@@ %split@@6@@@]@@Ⱂc@@ߠU@@࠰l@@@@@@kl@@ $find@@W@@۰@~@@ڰ_@@@@@8<8U@@ (find_opt@@l@@ְ@@@հx@@@@@@@    1@@ *find_first@@@@@а@@@ΰ@@@Ͱ@@@@@   ! @@.find_first_opt@@@@@ɰ@@@ǰ@@@ưנ@@@@@@@"""#@@)find_last@@@@@@@@@@@@@@@@$ $$ $7@@-find_last_opt@@@@@@@@@ @@@@@@@@@%%%%P@@'of_list@@K@@@@&@@@@%&?&C&&?&]@@@@\\\\@/stated_in_trace@@Ơ@@@@hQ@@@@\\\] @@.stated_in_tree@@ @@@@@@]]]^ @@'mk_refl@@ @@ఖ @@@@^^^^@@7digest_stated_equations@@ @@?@2@@  ~@@@@Ǡ  @@@@Ƞ@@栰 w@@@@@ɠ, @@@@@ @ @ @^^^^@@.get_eclatement@@ @@@@g @@@@Ϡ @@:)@@*@@@Ad(d0Bd(d>@@.select_smaller@@ 蠰 @@@ @@PQ@RO@addbdd@@&9filter_compatible_systems@@ @@'@@&@@/&&Ƞ@@5&'@(&!@@ &,^0@@4&0@1&@@&@&@&@eeee@@06equas_of_solution_tree@@ @@M0K @@^0J@L0I@gggg1@@5-maximize_prop@@ .@@5u@i@@5y5z@{5v@w5t@iiii@@T5display_solution_tree@@ +out_channel@@T.@A@@T* @@T-@,@+T@mmmm2@@[6solve_with_constraints@@ @@…[Ǡ E _@@ƒ[@@@[_@@^[M@C[Œ@@[N @@[O@P@Q[L@"nn#nn@@j)find_path@@c@@›j—@ s'@@c@@bj£@@`f@@a@_j¤@¥j˜@™j–@L.qqM.qq@@~1mk_direction_list@@۠ @@ÿö@@õ~n@'EConstrA!t@@ß~o@p~m@k=sUsYl=sUsj@@'hyp_idx@@ f@@`@@_Ű@ q@@=ɰ@'EConstrA!t@@^@@@HttHtt@@'sum_bad@@@@ěk@ p@@}o@ s {@@yt@up@ql@mj@SuuSuu@@+reify_trace@@@ɰ@ @@@@ʰ@ @@@@а @@@@@@ZvvZvv@@.decompose_tree@@@@ɥ+@@@(@@),@Z@@=. @@:-@/@0@1)@ ~W~_ ~W~m@@3decompose_tree_hyps@@ P@@ɏ@@Ɏ2@33@/4@I$list@ #elt@@Y@@X6.5@7@8@9@:*@34 @@,solve_system@@Z@@u@Q@@y@ 젰 @@ʎʈ@@ʇ}v@@2@@!@@ @~@z@{v@wt@pq@@*resolution@@ @@[*@ @@Ӻ.@@@ԛ2@ @@i9#MapJ!t@@ӆӃ @@Ӹӄ@Ӆ}@@~:@;6@ [u @@̛@@̋̚@@̊@][@@ԧ@@ԦA@B7@83@4/@0+@,)@@@@ @@ Ca Ch@@ CgA"@R@@@ %param@A@@A@7A@@A@D@(8Romega_plugin.Refl_omegaWX#@@@ Cu C|@@ C{A"@k@@B@(|8Romega_plugin.Refl_omegai%6j%F@,@@ C C@@ CA"@}@@+A@(h8Romega_plugin.Refl_omega{|HI@@@"@@@2A@(X8Romega_plugin.Refl_omega@@A"° #env@@ss@@@@@@ A@@A@@A@(@8Romega_plugin.Refl_omega@@@@@@ A@(08Romega_plugin.Refl_omega39@@A"ڰ !x@ @@C@./@@@@@@ Z@A@@B@@AB@@BB(8Romega_plugin.Refl_omega%@@A" !x@/@@C@@@@@@@@B@@AB@@B(8Romega_plugin.Refl_omega /@A@#@@@@$@A@@A (8Romega_plugin.Refl_omegaee@@A# !x@C@@C C@ee@@@@@@ @A@@B@@AB@@BA(8Romega_plugin.Refl_omegaer@A@#,@@@@@A@@A (8Romega_plugin.Refl_omega&@@"PpA!t@@ c dB#G #env@@  @@ $loop@@B$char@@@SI C@@@b C@c@'EConstrA!t@@V C@@C C㰖@"PpA!t@@S} C@C@C@C C@@A @@i)prop_info@@@b b@K@FL@O@@j)term_info@@@c  c@VW@@@_@@@VA@@AQB@@C@@D@@ABC@@D@(8Romega_plugin.Refl_omegafg@4@@ d d Bl@v@@E@(8Romega_plugin.Refl_omegat@A@@ d  dAy@@@$E@(8Romega_plugin.Refl_omega@@A@@@*DA(8Romega_plugin.Refl_omega@AB@@@42@1@AB@@C (|8Romega_plugin.Refl_omega @b@@ c  cB@@@D@(l8Romega_plugin.Refl_omega@o@@ c cA@@@E@(T8Romega_plugin.Refl_omega@|@@ c cA@@@+D@(@8Romega_plugin.Refl_omega3@@@ c  c)C@@@8C@((8Romega_plugin.Refl_omega@@A@@@>CA($8Romega_plugin.Refl_omega@R@@AB@@@@{@{@AB@@B (8Romega_plugin.Refl_omega @@@@ b bݐB@@@C@(8Romega_plugin.Refl_omega@u@@@ b bA@@@D@(8Romega_plugin.Refl_omega@y@@@ b bA@@@+C@(8Romega_plugin.Refl_omega@3@@@ b bC@@@8B@(8Romega_plugin.Refl_omega@B@@A @@@>B@(8Romega_plugin.Refl_omega"@@@@@@@@A@@A@(8Romega_plugin.Refl_omega) T@@A !c@@' (@@ !i@@-.@@@6@@@C@@A B@@h@A@@AB@@-@@@ACB(|8Romega_plugin.Refl_omega@A@@@ S~ SB- !t@' C@SU[TU\@@ !l@$ @@C@]U`^Ua@@ %sigma@@#EvdA(evar_map@@E D@meonet@@ #env@@'EnvironA#env@@E D@}ev~ey@@ !s@@@K K{@@@@@@@'*match*@F@@A_@%G@@AB`@BD@@Aa@I@@AAA@C@O@@C($8Romega_plugin.Refl_omegaNO@@@@W@@@o@A@@A@.A@@A@A@(8Romega_plugin.Refl_omega[\@@A@d@@@n@A@@A@;A@@A@A@(8Romega_plugin.Refl_omegah @@@@p@@ A@(8Romega_plugin.Refl_omegano@@@;v!n@@uv@@@~@@@ A@@A@XA@@A@A@(8Romega_plugin.Refl_omega@@@M@@@@u8@A@@A@eA@@A@A@(8Romega_plugin.Refl_omega@@AZ@@@@tE@A@@A@rA@@A@A@(8Romega_plugin.Refl_omega @@@f@@@ A@(8Romega_plugin.Refl_omega)C)Z@@@%x!i@@)?)@@@@@@@ A@@A@@A@(8Romega_plugin.Refl_omega:\:]@@A%z%sigma@@@@{!t@@@@|#env@@@@U!i@@@t#zt @@@@@@@A@@A#exn@D@@E@@AB*C@@&B@@AC@@E@(8Romega_plugin.Refl_omega:K:Z@e@@{t/B<@@@E@(`8Romega_plugin.Refl_omega:>C@@AB@@@ EA(\8Romega_plugin.Refl_omega!6@AAK@@@@)@)@AB$#C@@D(@8Romega_plugin.Refl_omega X@@AV@@@ D@(8Romega_plugin.Refl_omega@1C_@@@@=@A76B@@G@(8Romega_plugin.Refl_omega@@%CListA"eqYytys@@ytyt Ay@5@@I@(8Romega_plugin.Refl_omega3@@@@;@@ C@(8Romega_plugin.Refl_omega9z:z@@A&W#env@M@@_tA_w@@@I@@@ A@@Ak@B@@#tag@C@@AB@@C@(8Romega_plugin.Refl_omegaQzRz@[A@\@@@@A@@E@(X8Romega_plugin.Refl_omega\z|#@@@"@d@@A@(H8Romega_plugin.Refl_omegabc@ߠH@@YtB&Y!v@`@q_tr_u@@Z!t@X@w_vx_w@@[#env@U@}_x~_{@@@@@@ A@@AB@@C@@AB@@C@( 8Romega_plugin.Refl_omega)@@A"@@@ C@(8Romega_plugin.Refl_omega~~@f@@XtA-@@@C@(8Romega_plugin.Refl_omega~~@@@YtYtA;@@@&C@(8Romega_plugin.Refl_omegaG@@@@@@@+C@(8Romega_plugin.Refl_omega    @@A&]%sigma@|@ 4 A 4 F@@^#env@y@ 4 G 4 J@@_!t@v@ 4 K 4 L@@`!i@@@t]t@    @@@@@@B@@A@D@@E@@AB(C@@A@@AC@@E@(8Romega_plugin.Refl_omega    @L@@^tB:@@@E@(8Romega_plugin.Refl_omega  A@@A@@@@EA(|8Romega_plugin.Refl_omega    @AAI@@@@(@(@AB$#C@@D(`8Romega_plugin.Refl_omega  V@@AT@ @@ D@(<8Romega_plugin.Refl_omega  O U  O @C]@@@@<@A76B@@G@($8Romega_plugin.Refl_omega O a O z@\t\t@@\t\t֐Ar@+@@I@(8Romega_plugin.Refl_omega) O Qz@@@x@1@@C@(8Romega_plugin.Refl_omega/!!F0!!Y@@A'~b!v@@7!!8!!@@c#env@@=!!>!!@@@F@@@ A@@Ah@C@@@D@@AB@@BC@@D@(8Romega_plugin.Refl_omegaO!!P!!*@B"@Z@@@@ @AB@@F@(x8Romega_plugin.Refl_omega[!!,@@@+@c@@ B@(D8Romega_plugin.Refl_omegaa""2b""P@@A'e#env@@j!!k!!@@f!e@@p!!q!!@@g"id@#@@euF@{!!|!!@@@@@@A@@AB@@C@@AB@kA@@A@C@(88Romega_plugin.Refl_omega""*"",@@A*@@@C@(08Romega_plugin.Refl_omega""""$@@@ddB8@@@C@(8Romega_plugin.Refl_omega""?@@A>@@@$C@(8Romega_plugin.Refl_omega!!E@@@C@@@@)@)@AB&@B@(8Romega_plugin.Refl_omega"#"#@G#exn@@@A( #env@ @"n""n"@@"id@@"n""n"@@!e@'f@@C@""""@@@@@@C@@AB@@A@@AB@A@@A@C@(8Romega_plugin.Refl_omega""""@@@NQB/@@@C@(8Romega_plugin.Refl_omega>@@A4@@@C@(8Romega_plugin.Refl_omega""""@F-B>@@@@&@A$@B#@F@(|8Romega_plugin.Refl_omega""R@@@G@ @@ B@(`8Romega_plugin.Refl_omega$%$% @@A(X@@@@(@A@@A@@AF(P8Romega_plugin.Refl_omega$%$%@@A(e@@@ A (@8Romega_plugin.Refl_omega$%$%@@A(m@%@@A(08Romega_plugin.Refl_omega$ $$% $$@@A(u@-@@A( 8Romega_plugin.Refl_omega, $$- $$@@A(}@5@@%A!(8Romega_plugin.Refl_omega4 $$5 $$@@A(@=@@-A)(8Romega_plugin.Refl_omega< $$5@A@(@D@@4A0(8Romega_plugin.Refl_omegaC"''D"'( @@A(8"af@7@K'g'}L'g'@@9$loop@@F%:@@]8Z@@Y8WK@@l8V@X8U@f''g''@@@o@@@%A@@!B@@AB@@B@(8Romega_plugin.Refl_omegar''/@@@-@z@@@ @A@@A@(8Romega_plugin.Refl_omegaz ''{ ''@@A7@@@@=1@A@@A@(D8Romega_plugin.Refl_omega''N@A@@@@MAE((8Romega_plugin.Refl_omega$( ('$( (3@A)&?!f@@$( ($( (@@@!v@@$( ($( (@@@@@@B@@A A@@B@@C@(8Romega_plugin.Refl_omega$( ($( (6@@@@@@ B@(8Romega_plugin.Refl_omega3**3**@@A)IB#env@@((c(v((c(y@@C!t@@((c(z((c({@@D$loop@@{@@B䰖@@B@B@)(~()(~(@@@ @@@%B@@AC@@"A@@AB@B@@7A@@AB@C@(8Romega_plugin.Refl_omega&)(~(5@@@3@ .@@@@A@B @B@(h8Romega_plugin.Refl_omega/1))01))@@A?K#var@@@@9.)A)K:.)A)N@@@ B@@@N@A@@B@@AB@#B@@APC@@]A@@AB@H@@@ABF(,8Romega_plugin.Refl_omegaP+((Q+((@EB AcG!t@@@@]+((^+((@@@ f@@@$@B@@AB"B@($8Romega_plugin.Refl_omegah+((i+((@@A@ q@@ B!(8Romega_plugin.Refl_omegap2))q2)*@eBbAL"t1@D@@@~2))2))@@M"t2@H@@@2))2))@@@ @@@O@AC@@B@@ABNHD@(8Romega_plugin.Refl_omega2)*2)* @A#@ @@C@(8Romega_plugin.Refl_omega2))2)*@@A*@ @@CV(8Romega_plugin.Refl_omega,(),()@BIAH"t1@@@@,((,()@@I"t2@@@@,(),()@@@ @@@@AC@@B@@AB}D@(8Romega_plugin.Refl_omega,(),()&@YA#@ @@C@(8Romega_plugin.Refl_omega,(),())@@A*@ @@C(@8Romega_plugin.Refl_omega*((*((@ϐAE"t1@@@@*((*((@@F"t2@@@@*((*((@@@ @@@@AC@@B@@ABD@(48Romega_plugin.Refl_omega*((*((@A#@ @@C@(,8Romega_plugin.Refl_omega*((*((@@A*@ @@C(8Romega_plugin.Refl_omega-)*):-)*)@@@AJ!v@@@@-)*)3-)*)4@@@ !@@@@B@@ABBՠ(8Romega_plugin.Refl_omega$)(~(@A@2@ ,@@@@AAޠ(8Romega_plugin.Refl_omega-<++).<++2@~@@OPA*P#env@@;7*L*`<7*L*c@@Q!i@@A7*L*dB7*L*e@@@ J@@@B@@Al@C@@A@@AB@2A@@A@C@(8Romega_plugin.Refl_omegaR;**S;*+@@@OSB$@ `@@C@(8Romega_plugin.Refl_omega^:**_:**@@@OPB2@ n@@$C@(t8Romega_plugin.Refl_omega>@@A7@ s@@)C@(P8Romega_plugin.Refl_omegaq8*h*nr8*h*@OېBB@ ~@@@4@A0@B/@F@(,8Romega_plugin.Refl_omega8*h*jR@@@K@ @@ B@(8Romega_plugin.Refl_omega;**;*+ @@@TR!k@@;**;**@@S!v@@@PPU@;**;**@@@ @@@B@@AA@@B@@B@(8Romega_plugin.Refl_omega@+o+@+o+@@A*@ @@@V[@A@@A@A@@A@AD(8Romega_plugin.Refl_omegaA++A++@@A+ @ @@A (8Romega_plugin.Refl_omega?+Q+`?+Q+n@@A+@ @@A(8Romega_plugin.Refl_omegaB++B++@(A+@ @@ A@(8Romega_plugin.Refl_omega@A+@ @@$A(h8Romega_plugin.Refl_omega>+4+H @A@+&@ @@+A%(d8Romega_plugin.Refl_omegaM-]-M-]-@(@@cdA+9d#env@@K--6K--9@@e!f@@K--:K--;@@f'reraise@*@@d@M-]-dM-]-k@@@ @@@B@@AA@@C@@AB@LA@@AXB@@B@C@(`8Romega_plugin.Refl_omega M-]-o M-]-~@:@@c B1@ @@C@(L8Romega_plugin.Refl_omega =@@A6@ @@C@(<8Romega_plugin.Refl_omega L->-D L->-\@>B>@ %@@%#@B @F@($8Romega_plugin.Refl_omega %L->-@N@@@F@ -@@B@(8Romega_plugin.Refl_omega +U.!., ,U.!.9@@A+@ 4@@@i@A@@A@A@@A@AF(8Romega_plugin.Refl_omega :T. . ;T. . @@A+@ C@@A (8Romega_plugin.Refl_omega BS-- CS-. @@A+@ K@@A(8Romega_plugin.Refl_omega JR-- KR--@@A+@ S@@A(8Romega_plugin.Refl_omega RQ-- SQ--@@A+@ [@@'A!(8Romega_plugin.Refl_omega ZP-- [P--@@A+@ c@@/A)(d8Romega_plugin.Refl_omega bO--7@A@+@ j@@6A0(`8Romega_plugin.Refl_omega i[.. j[..@\A+@ s@@@l !@A@@A@QA@@A@A@(H8Romega_plugin.Refl_omega@A+@ }@@ AD(08Romega_plugin.Refl_omega }Z.. ~Z..@@A+@ @@A (8Romega_plugin.Refl_omega Y.q. Y.q.@@A+@ @@A(8Romega_plugin.Refl_omega X.W.d X.W.p@@A+@ @@#A(8Romega_plugin.Refl_omega W.;.N,@A@+@ @@*A (8Romega_plugin.Refl_omega j1%1N j1%1U@@@|}A,}%sigma@c@ h00 h00@@~#env@`@ h00 h00@@!f@]@ h00 h00@@'reraise@+Y@@}@ j1%1, j1%13@@@ @@@B@@AA@@D@@A'C@@BC@A@@AB@@B@D@(8Romega_plugin.Refl_omega j1%17 j1%1F@@@|B:@ @@D@(8Romega_plugin.Refl_omega F@@A?@ @@D@(8Romega_plugin.Refl_omega i11 i11$@CG@ @@'%@"@AB!@G@(8Romega_plugin.Refl_omega i11X@@@P@ @@ C@(X8Romega_plugin.Refl_omega m1u1 m1u1@@@.B,b#env@@! l1W1i! l1W1l@@!l@@!l1W1n!l1W1o@@!r@@!l1W1p!l1W1q@@@ @@@B@@D@@AB @A@@C@@AC@A@@A_B@@B@E@(H8Romega_plugin.Refl_omega!+m1u1!,m1u1@17B.@ 8@@D@(<8Romega_plugin.Refl_omega!6m1u1w!7m1u1@@A5@ ?@@ DA((8Romega_plugin.Refl_omega5AA@,@ F@@@'@A$@B @B ( 8Romega_plugin.Refl_omega!H77!I77@XW@@xV@@y@w@@vB,!n@<@!a77!b77@@%coefs@sr@@lq@@m@k@@j@!u77!v77@@#cst@k@@o@!~77!77@@@ @@@#D@@AC@@B+B@@ ;@A@@AC@+A@@A@E@(8Romega_plugin.Refl_omega!78!78 @@@B>@ @@D@(8Romega_plugin.Refl_omega!77!78@@AE@ @@DA(8Romega_plugin.Refl_omegaEAA@-@ @@@#@A!@B@B (8Romega_plugin.Refl_omega!77!77@_B]!v@o@!77!77@@!k@++@@@!77!77@@@ @@@B@@A @A@@!C@@AB@+A@@AB@@B@C@(8Romega_plugin.Refl_omega!77!77@@A-@ @@CA(l8Romega_plugin.Refl_omega!77!77@A@@ @@@@A@A (\8Romega_plugin.Refl_omega!99!99@@@\@@]@[@@ZB-k#nf1@@" 88" 88 @@#nf2@@"88!"88$@@%merge@@,ܠ@@࠰,=,)@@@E@@F@@@@"78'81"88'86@@@ @@@@*C@@A7B@@3A@@AB@,]A@@A@D@(D8Romega_plugin.Refl_omega"G99"H99@;@@yBI@ U@@C@($8Romega_plugin.Refl_omega"S99"T99@@AP@ \@@C@(8Romega_plugin.Refl_omega"Z8'8)@@@U@ b@@@!@A@B@B@(8Romega_plugin.Refl_omega"c8P8^"d8P8`@@Ab"l1@O@"k8'87"l8'89@@"l2@<@"q8'8:"r8'8<@@@ z@@@_ @D^ @C@@AB@@A@@AB@,A@@A@o@@@AD@(8Romega_plugin.Refl_omega"8a8o"8a8q@@A$@ @@D@(8Romega_plugin.Refl_omega"9[9r"9[9}@v:B4"v1@w@"8r8y"8r8{@@"k1@x@"8r8|"8r8~@@"r1@-i@@@"8r8"8r8@@"v2@@"8r8"8r8@@"k2@@"8r8"8r8@@"r2@-@@@"8r8"8r8@@@ @@@` A@Ja D@F_@A7K@@ G@@AB]@]@6I@@ABE@@HL@@A/H@@BCDcaL@(8Romega_plugin.Refl_omega"9[9gX@@AT@ @@L@(8Romega_plugin.Refl_omega"9(9O"9(9Z@ B^@ @@&L@(8Romega_plugin.Refl_omega"9(9D @@Ad@ @@,L@(|8Romega_plugin.Refl_omega"9(97"9(9>@D@@7/Br@ @@:L@(d8Romega_plugin.Refl_omega# 9(94|@@Ax@@@@L@(D8Romega_plugin.Refl_omega#99#99'@ѐB!k@-+-@@@# 88#!88@@@)@@@W@M@@ABSRCPDM@(08Romega_plugin.Refl_omega#-99@@A@5@@ M@(8Romega_plugin.Refl_omega#388#489@@A @<@@M@(8Romega_plugin.Refl_omega#:88#;88@@@B.@J@@!M@(8Romega_plugin.Refl_omega#H888@@A4@P@@'MA(8Romega_plugin.Refl_omega#P88#Q88@AB@Z@@L (8Romega_plugin.Refl_omega#Y88I@@A@a@@L@(8Romega_plugin.Refl_omega#_88@@A@g@@L@(d8Romega_plugin.Refl_omega#e8'8?@@@@m@@@@A@BB@(D8Romega_plugin.Refl_omega#n<< #o<<@*@@AA.ݰ#env@@#|;;#};;@@$kind@@#;;#;;@@"nf@@#;;#;;@@@@@@C@@AB@@A@@AB@#A@@A@F@(48Romega_plugin.Refl_omega#<:!v@@@ogZ@#<:C@@AC@K@(D8Romega_plugin.Refl_omega$??@@A@@@&K@(<8Romega_plugin.Refl_omega$??$??@@@АA@@@4K@(,8Romega_plugin.Refl_omega@A@@@8K@( 8Romega_plugin.Refl_omega$>>$>>@ϐB@@@@N B@O@@AD@BA@C>=97CD1@O@(8Romega_plugin.Refl_omega@A@@@ O@(8Romega_plugin.Refl_omega$?&?3$?&?g@B@@@O@(8Romega_plugin.Refl_omega @A@@@O@(8Romega_plugin.Refl_omega$?h?t$?h?@B@@@"O@(@8Romega_plugin.Refl_omega @A@@@&O@(88Romega_plugin.Refl_omega$>?$>?%@B@@@/O@( 8Romega_plugin.Refl_omega @A@@@3O@(8Romega_plugin.Refl_omega%>>%>>@ B@@@j>w%>j>@B@@@IO@(8Romega_plugin.Refl_omega @A@@@MO@(x8Romega_plugin.Refl_omega%>*>_%>*>c@@A@&@@@@ABCD@N@(p8Romega_plugin.Refl_omega%)>*>G%*>*>Y@HA@4@@N@(\8Romega_plugin.Refl_omega @A@8@@N@(H8Romega_plugin.Refl_omega%6>*>,@@A@>@@J@(8Romega_plugin.Refl_omega%<==!@@A@D@@@@ABCD@IA(8Romega_plugin.Refl_omega(AA@0@P@@@@A@@ABC@E (8Romega_plugin.Refl_omega%T==%U=> @"u@@A4!t@@%b==-%c==.@@$kind@@%h==/%i==3@@$equa@Z@@@%s=6=>%t=6=B@@@|@@@C@@AA@@B@@AB@CE@@QC@@ABLD@@.A@@AB@@:H@@ABCGF@@DG@@A9I@@5J@@ABD@F@(h8Romega_plugin.Refl_omega%=q=u%>>$@@A<@@@"CA(d8Romega_plugin.Refl_omega%=6=E%=6=m@ACE@@@@*)B'@B (T8Romega_plugin.Refl_omega%=6=` @}@@ՐAU@@@B@(H8Romega_plugin.Refl_omega%=6=:!@@@[@@@B@( 8Romega_plugin.Refl_omega%@ @%@ @)@@@1)!i@@%@ @%@ @@@!x@@%@ @%@ @@@!y@@%@ @%@ @@@@@@@C@@AB@@A@@AB@@C@(8Romega_plugin.Refl_omega%@*@=%@*@I@@@1M!i@@%@*@5%@*@6@@!x@@%@*@7%@*@8@@!y@@%@*@9%@*@:@@@@@@C@@AB@@A@@AB@@C@(8Romega_plugin.Refl_omega&@J@]&@J@i@@@1q!i@@& @J@U& @J@V@@!x@@&@J@W&@J@X@@!y@@&@J@Y&@J@Z@@@ @@@C@@AB@@A@@AB@@C@(8Romega_plugin.Refl_omega&%%LL&&'MM @<@@:B1;#env@@&3"L0L?&4"L0LB@@<'t_concl@@&9"L0LC&:"L0LJ@@='t_lhyps@@&?"L0LK&@"L0LR@@@H@@@C@@AB@@A@@AB@[B@@ &A@@AB@C@(8Romega_plugin.Refl_omega&Q$L{L}&R$L{L@@@:;C.@a@@C@(h8Romega_plugin.Refl_omega&_#LULW&`#LULy@@@:o;lA<@o@@'C@(P8Romega_plugin.Refl_omega&m(MM)@@@B@u@@-C@($8Romega_plugin.Refl_omega&s&LL&t&LL@O&string@@@<K=xAU>!i@@&&LL&&LL@@?!t@@&&LL&&LL@@@@@@C@@A@D@A@@B@@AB@A@@A@E@(8Romega_plugin.Refl_omega&&LL&&LL@@A@@@CA(8Romega_plugin.Refl_omega&&LL&&LM@A@{@@@@@A@A (8Romega_plugin.Refl_omega&6NN&6NO@@A2+E%sigma@@&,MMM[&,MMM`@@F#env@@&,MMMa&,MMMd@@G"gl@@&,MMMe&,MMMg@@H!i@@&,MMMh&,MMMi@@@'ContextA%NamedA+Declaration@I$ctxt@$@@E$;@@ED.E@@E@E@&.MM&.MM@@!t@%types@@E@'4NN'4NN@@!p@"@@ E@'5NN'5NN@@@@@@5 @F@@ABE@@]C@@ABXB@@UA@@H@@ABjD@@+G@@ACD@A@@AB@@B@HA(8Romega_plugin.Refl_omega'/5NN'05NN@AE@9@@ @@ABC@G(8Romega_plugin.Refl_omega'<5NN@@A@D@@ G@(l8Romega_plugin.Refl_omega'B3N|N'C3N|N@@A!d@&constr@@E@'S0MM'T0MM@@!t@[E@'[0MM'\0MM@@%dummy@@'EConstrA!t@@E@'k1N N'l1N N@@!p@#S@@E@'v2N4N='w2N4N>@@@@@fc@7H@@A#I@@f@ABCe@d@J@@ABc@2G@@ACDb@JA(h8Romega_plugin.Refl_omega'2N4NA'2N4Nx@AGK@@@w@v@AsBDp@I(<8Romega_plugin.Refl_omega'2N4Ne'2N4Nv@T@@EEFA`@@@M@(8Romega_plugin.Refl_omega'2N4N9h@@Af@@@I@(8Romega_plugin.Refl_omega'1N Nn@@Ak@@@@9@A@BC$D@H@(8Romega_plugin.Refl_omega'0MM'0MN@@@DDB~@@@H@(8Romega_plugin.Refl_omega@A@@@H@(@8Romega_plugin.Refl_omega'/MM'/MM@@'EConstrA1named_declaration@@5B&@@@@@A@B@@@ABC@E@($8Romega_plugin.Refl_omega'/MM5@@A2@@@ E@(8Romega_plugin.Refl_omega'.MM;@@@7@@@@@AC@D@(8Romega_plugin.Refl_omega'@PP'@PP@@A3p#env@@(8OO(8OO@@"gl@@(8OO(8OO@@%sigma@@#EvdA(evar_map@@GD@(9OO!(9OO&@@%concl@N%types@@NK@($:ODOJ(%:ODOO@@$hyps@I$list@@%NamesA"Id@!t@@X@@WT@(=;OmOs(>;OmOw@@*ctxt_concl@&-@@b]d@@c^"@@e_"@@ig@@f`@a\@(g<OO(h<OO@@'t_concl@$O@@tm@(r=OO(s=OO@@'t_lhyps@C%@@~@@$j@@@@@@(>PP(>PP"@@@@@@@I@@AD@@B[F@@B@@ACA@@zE@@AC@@:G@@1H@@ABCD@&A@@A&D@@"B@@ABLC@@E@@AC@I@(8Romega_plugin.Refl_omega(?POPi(?POP@"@@ÐC@@@@+@A*)B'&D@H@(8Romega_plugin.Refl_omega@A@@@H@(8Romega_plugin.Refl_omega(?POPQ@@A@@@HA(8Romega_plugin.Refl_omega(>PP%(>PPK@AB@@@=<:@9@ABC6@G(8Romega_plugin.Refl_omega(>PP.(>PPF@@hm@C@@@H@(8Romega_plugin.Refl_omega(>PP@@A@@@GA(8Romega_plugin.Refl_omega(=OO(=OP@AE@@@<a`^@BCY@F (L8Romega_plugin.Refl_omega)=OO@@A @ @@ F@(08Romega_plugin.Refl_omega) <OO@@A@@@@w@At@BsCj@EA((8Romega_plugin.Refl_omega);OmOz);OmO@AA@@@@|@ACw@D (8Romega_plugin.Refl_omega)!;OmOo.@@A)@)@@ DA( 8Romega_plugin.Refl_omega)):ODOR)*:ODOi@AA2@3@@@@AB@C (8Romega_plugin.Refl_omega)5:ODOFB@@A<@=@@ CA(8Romega_plugin.Refl_omega)=9OO))>9OO@@AAE@G@@@B@B (8Romega_plugin.Refl_omega)H9OOU@@@N@P@@ B@(8Romega_plugin.Refl_omega)NpVV#)OpVV9@@A4Ȱ!i@&@@[@)XpVV)YpVV@@@a@@@B@@A@A@@B@@BB(8Romega_plugin.Refl_omega)goUU)hoUV@@A4!i@&@@Y@)qoUU)roUU@@@z@@@B@@A@B@@B(d8Romega_plugin.Refl_omega)}nUU/@A@4@@@@"@A@@A (D8Romega_plugin.Refl_omega)YY)YY@@A5)syst_list@@)rV;VO)rV;VX@@-display_omega@@!@@@@ @@)sV[Va)sV[Vn@@0display_equation@@@@ư@@a@@)zWW$)zWW4@@.display_system@@$@@$@@ݰ@@@@)YPYV)YPYd@@@@@@3C@@AHB@@#D@@ARA@@BC@3A@@A$D@@B#AB@@!C@@AC@D@(48Romega_plugin.Refl_omega)YPYRd@@Ab@@@@@AB@C@(8Romega_plugin.Refl_omega)zWW m@@Aj@@@@@A@B@B@(8Romega_plugin.Refl_omega)sV[V]v@@@r@@@@#@A"@A@(8Romega_plugin.Refl_omega*xVV*xVW@@@~A$om_e@x@*sV[Vo*sV[Vs@@@@@@ A@@A@45A@@A#yB@@B@A@(8Romega_plugin.Refl_omega* tVvVz@@@@(@@ A@(|8Romega_plugin.Refl_omega*&vVV*'vVV@@@@/@@@@A@@A@4JA@@A#B@@B@A@(`8Romega_plugin.Refl_omega*5XX*6XY@@@ǐA+oformula_eq@@*CzWW5*DzWW@@@@L@@@ A@@A@B@@AC@@"_A@@AB@B@(48Romega_plugin.Refl_omega*SYYF*TYYJ@@A@\@@A@($8Romega_plugin.Refl_omega*ZYY;*[YY@@@A@c@@A@(8Romega_plugin.Refl_omega*aX X*bXX@@@KNB,@q@@%A@(8Romega_plugin.Refl_omega*oX.X4@@@1B9@~@@2A@(8Romega_plugin.Refl_omega*|XFXH*}XX@I$list@O&string@@@3@@2;BQ@@@JA@(8Romega_plugin.Refl_omega*~WW*~WX @@@4B]@@@VA@(|8Romega_plugin.Refl_omega*}WW*}WW@@@Ak@@@dA@(d8Romega_plugin.Refl_omega*|WW*|WW@@@Aw@@@pA@(P8Romega_plugin.Refl_omega*{WCW}*{WCW@'@@A@@@|A@(<8Romega_plugin.Refl_omega*{WCWG*{WCW{@"@@ΐB@@@A@( 8Romega_plugin.Refl_omega*{WCW]*{WCWm@&@@A@@@B@(8Romega_plugin.Refl_omega*YYK@@@@@@A@(8Romega_plugin.Refl_omega*XFX*XFX@@A@@@@@A@@A@@AC(8Romega_plugin.Refl_omega*XFXw*XFXz@@A@@@ A (|8Romega_plugin.Refl_omega*XFXf*XFXi@@A@@@A(d8Romega_plugin.Refl_omega+XFXR+XFX@A@@ @@A(@8Romega_plugin.Refl_omega+ YlYp+ YlY@B@@A$syst@V@+YPYe+YPYi@@@!@@@ A@@A@zA@@A@A@((8Romega_plugin.Refl_omega+$YY@@@@,@@ A@(8Romega_plugin.Refl_omega+*\h\|++\h\@@@6!x@@+2\h\v+3\h\w@@!y@@+8\h\x+9\h\y@@@A@@@B@@A A@@B@@B@(8Romega_plugin.Refl_omega+D^^+E^^@A6Ȱ!t@@+N^^+O^^@@@W@@@ A@@A@#4A@@A@B@(T8Romega_plugin.Refl_omega+Z^^+[^^@@@@c@@ A@(@8Romega_plugin.Refl_omega+abAbD+bbAbQ@A6#env@@+p^^+q^^@@ $tree@@+v^^+w^^@@ +do_equation@@h@@~@6N2@@lh@@i6Z#k@@pn@@o6f(@@u&#@@v@tr@@s6y@@zx@@y@";@@gb" 6@@mc"1@@qd"%@@we@f@@@+^^+^_@@$vars@62@@@@@+aa+aa@@$gens@6#@@@@@,aa,aa@@$eqns@6Ƞ(@@&@@@@@@,aa,aa@@#ids@6ޠ@@@@@,'aa,(aa@@@0@@@{@D@@AC@@BB@@1F@@BG@@ABE@@A@@VH@@ABCD@D@@#C@@ABF@@$9B@@A%=A@@E@@ABC@K@($8Romega_plugin.Refl_omega,LbAbS,MbAb`@`A@W@@'J@(8Romega_plugin.Refl_omega,UbAbb,VbAbo@]A@`@@0I@(8Romega_plugin.Refl_omega,^bAbq,_bAb}@SA@i@@9H@(8Romega_plugin.Refl_omega,gbAbC,hbAb~@@A@p@@@H@(8Romega_plugin.Refl_omega,naa,oab;@s^@C@@@@P@AO@H@ABE@C@(8Romega_plugin.Refl_omega,ab,ab-@@@ A%@@@D@(8Romega_plugin.Refl_omega,aa,@@A+@@@C@(\8Romega_plugin.Refl_omega,^^2@@@0@@@@m@Ae@Bb@B@(8Romega_plugin.Refl_omega,ahal,aa@@AC "st@1@,^_,^_@@ $vars@)@,^_,^_ @@ $gens@#@,^_ ,^_@@$eqns@@,^_,^_@@#ids@@,^_,^_@@%v_def@)@@% "@,_h_p,_h_u@@%coq_v@$@@2 .@,__,_`@@2term_to_generalize@$@@P M@,``,``@@-term_to_reify@)@@Y V'l@@Z W@X U@-a5a=-a5aJ@@@ @@@3H@@AKD@@BRE@@HC@@AC@A@@fB@@A3I@@*J@@ABLG@@fF@@ACD@$C@@AE@@nD@@A%B@@&A@@ABC@J@(8Romega_plugin.Refl_omega-'a5a9@@A@/@@&@@@ABCD@IA(8Romega_plugin.Refl_omega-4``-5``@AA@>@@5-@*@A&%BD#@H(8Romega_plugin.Refl_omega-A`M`Q-B`M`u@&@@>C@O@@H@(8Romega_plugin.Refl_omega @@A@T@@HA(8Romega_plugin.Refl_omega-T_`-U_`@AB@^@@@S@ARQBO"CC@G(x8Romega_plugin.Refl_omega-a__@@A@i@@ GA(t8Romega_plugin.Refl_omega-i_h_x-j_h_@AA@s@@b@^@Y@ABCX@F(h8Romega_plugin.Refl_omega-v_h_l@@A@~@@ FA(D8Romega_plugin.Refl_omegaAA@@@@@t@p@ABi@B (8Romega_plugin.Refl_omega-eLe-eLe@@A9  !l@D@-de-de@@!$comp@@@] XM"w@@v Y@Z U@@g bb# ~@@} c@d _@@l `@a V@W T@-ee -ee@@@@@@:B@@Ap@C@@DA@@r@D@@ABC@@D@(8Romega_plugin.Refl_omega-eLeR-eLel@AS@@@@@A@B@@F@(8Romega_plugin.Refl_omega-eLeZ@&@@Be@@@F@(8Romega_plugin.Refl_omega-eLeNl@@Ak@@@B@(8Romega_plugin.Refl_omega-eer@@@p@@@@/@A@@A@(8Romega_plugin.Refl_omega.ee).ee8@&@@ n uA"!x@m@.ee.ee@@#!y@^@.ee.ee@@@@@@%@B$@A@@AD@@C@@AB@@E@(p8Romega_plugin.Refl_omega.(ee9.)eeH@'@@ m |A'@8@@D@(\8Romega_plugin.Refl_omega.6ee@@A-@>@@DA(H8Romega_plugin.Refl_omega.>eeAA@@F@@@&@A@@B ( 8Romega_plugin.Refl_omega.Gff.Hgg@@A9ΰ'(required@@.Pee.Qee@@('systems@@.Vee.Wee@@)&select@@$'@@'°9('@@'@'@.pee.qee@@@y@@@+B@@A C@@(A@@AB@(}B@@(A@@AB@C@(8Romega_plugin.Refl_omega.ee;@@@9@@@@@A@B @B@(8Romega_plugin.Refl_omega.fg.fg@@AF-#sol@ @.ff.ff@@.&splits@@.ff.ff@@@@@@o@D@@A/T@A@@BC@@B@@AC@QA@@A@D@(8Romega_plugin.Refl_omega.ff.ff@A$@@@@@AB@G@(8Romega_plugin.Refl_omega.ff.@@A-@@@ CA(l8Romega_plugin.Refl_omega.ff.fg@A@z@@@@$@A@A (`8Romega_plugin.Refl_omega.ee.ee@@A@@@@,@A@@A@(B@@A)0A@@C@@AB@@@@AAB(L8Romega_plugin.Refl_omega.ff.ff@|'ΐA*!x@'@.ee.ee@@+!l@9 @@@.ef.ef@@@@@@B@@A-@C@@AB-'C@(@8Romega_plugin.Refl_omega/ff#@@A@ @@ C@(<8Romega_plugin.Refl_omega/ f;fz/ f;f~@Z@@' (A,@@@C@(08Romega_plugin.Refl_omega/f;ft @@A2@@@C@((8Romega_plugin.Refl_omega/f;fJ/f;fn@$d@@' 'C@@,@@-C@( 8Romega_plugin.Refl_omega/*f;f\/+f;fe@(AK@7@@8D@(8Romega_plugin.Refl_omega/5f;fGU@@AQ@=@@>C@(8Romega_plugin.Refl_omega/;ff2/<ff:@@AX@D@@EC@(8Romega_plugin.Refl_omega/Bff/Cff,@$@@''ԐCf@R@@SC@(8Romega_plugin.Refl_omega/Pff p@@Al@X@@YCx(8Romega_plugin.Refl_omega/Weew@A@@_@@A(8Romega_plugin.Refl_omega/^ mm /_ mm@@A:6%equas@@/gii/hii@@7!c@@/mii/nii@@8$loop@@+@@6~6@6}@/}ii/~ii@@@@@@A@@A"B@@C@@AB@'gA@@A@C@(|8Romega_plugin.Refl_omega/ii/@@@-@@@@@@AB @B@(d8Romega_plugin.Refl_omega/ lm/ lm@@A99!c@&@/ii/ii@@@@@@ A@@A@'A@@ADB@@B@:@@@AA@(H8Romega_plugin.Refl_omega/lzl/lzl@@AC!i@+]@@@/kk/kk@@D"t1@+a@@@/kk/kk@@E"t2@+e@@@/kk/kk@@R#t1'@^6l7@/lzl/lzl@@S#t2'@g67@/lzl/lzl@@@@@@l@Hk@Gj'*match*@Fi@E@@AP@@D@@AB8C@@)J@@A3B@@#I@@ABCXTJ@(,8Romega_plugin.Refl_omega/l%lK0l%lb@+@@66BYP"p1@+@@@0l%l50l%l7@@Q"p2@+@@@0l%l?0l%lA@@@#@@;~@B-@J@@AI@@B1@.@ACDJ@(8Romega_plugin.Refl_omega0*l%lE+@@A#@2@@J@(8Romega_plugin.Refl_omega00ll01ll@_A@;@@@I@AGBECE@(8Romega_plugin.Refl_omega0=ll0>ll@lA@H@@@SBQ CD@(8Romega_plugin.Refl_omega0Ill0Jlzl@@A@R@@ D@(X8Romega_plugin.Refl_omega0Pkk0Qkk@@A@!i@,@@@0^kJkU0_kJkV@@A"t1@,@@@0gkJkW0hkJkY@@B"t2@,@@@0pkJkZ0qkJk\@@N#t1'@6*7F@0ykk0zkk@@O#t2'@ 6k7G@0kk0kk@@@@@@g@Hf@Ge@Fd@E@@A@?D@@AB7C@@(J@@A2B@@"I@@ABCJ@(<8Romega_plugin.Refl_omega0kk0kk@,5@@6T6XBXL"p1@,>@@B@0kk0kk@@M"p2@,G@@D@0kk0kk@@@@@: @B-@J@@AI@@B1@.@ACD%!J@(8Romega_plugin.Refl_omega0kk+@@A#@@@J@(8Romega_plugin.Refl_omega0kakx0kak@^A@@@@I@A9GBEC84E@(8Romega_plugin.Refl_omega0kako0kakv@kA@@@@ESBQ CD@D@(8Romega_plugin.Refl_omega0kakh0kk@@A@@@ D@(T8Romega_plugin.Refl_omega0k$k:0k$kH@@Aa=!i@,@@@1jj1jj@@>"t1@,@@@1 jj1 jj@@?"t2@,@@@1jj1jj@@J#t1'@67@1k$k.1k$k1@@K#t2'@6)7@1$k$k31%k$k6@@@-@@@bZ@Ha]@G`E@F_H@E@@A@?D@@AB7C@@(J@@A2B@@"I@@ABCJ@(88Romega_plugin.Refl_omega1Cjk 1Djk#@,@@66BXH"p1@,@@@1Ujj1Vjj@@I"p2@,@@@1^jk1_jk@@@g@@:@B-@J@@AI@@B1@.@ACDJ@(8Romega_plugin.Refl_omega1njk+@@A#@v@@J@(8Romega_plugin.Refl_omega1tjj1ujj@^A@@@@I@AGBECE@(8Romega_plugin.Refl_omega1jj1jj@kA@@@@SBQ CD@(8Romega_plugin.Refl_omega1jj1k$kI@@A@@@ D@(X8Romega_plugin.Refl_omega1jj1jj@@Az@@@@*@#@AB!@B (~8Romega_plugin.Refl_omega2:s s,2:s s@@@Av!i@Z@33rIr[33rIr\@@@ @@@ B@@A|@A@@B@A@@AC@@B@@AB@s@@@ABC(~h8Romega_plugin.Refl_omega39rs 39rs@@Az!l@=ߠok@@@3'9rs3(9rs @@@0@@@R@C@@A&@D@@A(@BC& D(~88Romega_plugin.Refl_omega377rr387rr@@A>w#id'@0j@@@3C4rhrz3D4rhr}@@x"p'@0f@@@3L4rhr3M4rhr@@y!l@>@@@3V4rhr3W4rhr@@@_@@@Q@HS@E6@AZ@)G@@ABD@@#F@@_@ABC]WH@(~ 8Romega_plugin.Refl_omega3m6rr3n6rr@@A7{!r@0@@-l&@3y6rr3z6rr@@@@@#@@Av@I@@ABCvpI@(~8Romega_plugin.Refl_omega35rr35rr@򠰖0@@l@@AZ@@@@8@A5B32CG@(}8Romega_plugin.Refl_omega35rr38rr@@Ae@@@ G@(}8Romega_plugin.Refl_omega34rhr34rhr@(@@kkBs@@@G@(}8Romega_plugin.Refl_omega@Aw@@@G(}8Romega_plugin.Refl_omegaAA@a@@@B(}l8Romega_plugin.Refl_omega32r6rA32r6rE@@Ah@@@@T3@B@@Atv@A@@B@._A@@A@X@@@ABC(}\8Romega_plugin.Refl_omega30qq30qq@@A}o!l@L@30qq30qq@@@@@@@A C@@@ABC(}8Romega_plugin.Refl_omega31qr$31qr5@@Ap"x1@jk´@31qq31qq@@q"l1@> @@µ@31qq31qr@@r"x2@o@31qr41qr@@s"l2@>àx@@¸@4 1qr4 1qr@@@@@@U@CP@#F@@ABD@@S@A.G@@E@@ABCTRG@(} 8Romega_plugin.Refl_omega41qr41qr @)f@@kkʐBA@.@@G@(}8Romega_plugin.Refl_omega@AE@2@@ Gb(|8Romega_plugin.Refl_omega41/qqu@A@@9@@@q@AomAk(|8Romega_plugin.Refl_omega4:Ct#t-4;Ct#tG@@'EConstrA!t@@~âçA?Ѱ!l@ @4M=sUsk4N=sUsl@@%trans@@.@@vsƠ@'EConstrA!t@@È~@@}t@ur@4l>sosu4m>sosz@@@u@@@)A@@%B@@AB@@C@(|08Romega_plugin.Refl_omega4xCt#tH4yCt#ta@I$list@@'EConstrA!t@@~á@@~à~óBF@@@B@(|8Romega_plugin.Refl_omega4Ct#t%@@AL@@@%B@(|8Romega_plugin.Refl_omega4>sosq @@@Q@@@@+@A@@A@({8Romega_plugin.Refl_omega4Ass4Ass@@AZ@@@@W@A@@A@@AC({8Romega_plugin.Refl_omega4@ss4@ss@PÎAj@@@A@({x8Romega_plugin.Refl_omega4@ss @@Ap@@@A({h8Romega_plugin.Refl_omega4?ss4?ss@aÁA{@@@!A@(z8Romega_plugin.Refl_omega4?ss @@A@@@'A#(z8Romega_plugin.Refl_omega4>sos}/@A@@@@.A*(z8Romega_plugin.Refl_omega4MuTuY4MuTug@@A@d'env_hyp@!j@4Htt4Htt@@!i@!c@4Htt4Htt@@$loop@@!@@Qΰ@+3"@@@@а!z@@G@@@5Itt5Itt@@@ @@@2B@@A-A@@)C@@AB@@C@(z8Romega_plugin.Refl_omega5Itt>@@@<@ @@  @B@@B@(z8Romega_plugin.Refl_omega5Jtt5Jtt@O&string@@@BQ%count@>@5-Itt5.Itt@@@ 6@@@ B@@A@A@@B@WA@@A@S@@@AB@(z|8Romega_plugin.Refl_omega5>Jtt"@@A@ F@@BC(zd8Romega_plugin.Refl_omega5FLu0u@5GLu0uS@@A!!l@@ U@@@5SLu0u;5TLu0u<@@@ \@@@H@C@@A(@D@@A*@BC(&D(z88Romega_plugin.Refl_omega5cKtu#5dKtu/@@A>"i'@0 @@@5mKtu5nKtu@@@ v@@?@D@@AA@BC?=D@(z(8Romega_plugin.Refl_omega5yKtu5zKtu@@A@ @@ D<(y8Romega_plugin.Refl_omegaT:AA@@ @@RBB(y8Romega_plugin.Refl_omega5Uuv5Uuv@-W@@{ĄAA#inv@!@5Suu5Suu@@"i1@!@5Suu5Suu@@"i2@!@5Suu5Suu@@@'EConstrA@ @@@B@@AA@@C@@AB@?A@@A@D@(yH8Romega_plugin.Refl_omega5Vvv)5Vvv8@"đA-@ @@G@(y 8Romega_plugin.Refl_omega5Wv>vJ5Wv>vs@"!ĘA8@ @@E@(x8Romega_plugin.Refl_omega5Wv>vh5Wv>vr@@A?@ @@&E@(x8Romega_plugin.Refl_omega5Wv>v\5Wv>vb@@AF@ @@-E@(x8Romega_plugin.Refl_omega5Xvyv5Xvyv@":ġAQ@ @@8C@(x8Romega_plugin.Refl_omega5Xvyv5Xvyv@-@@ģĬA^@ @@ED@(x@8Romega_plugin.Refl_omega5Xvyv5Xvyv@-@@ĥĹAl@!@@SC@(x,8Romega_plugin.Refl_omega6Uuv6Xvyv@@@s@! @@ZC@(w8Romega_plugin.Refl_omega66@@AA#env@!@66@@%index@!@66@@'list_eq@!@6 6!@@&system@(񠰖2I@@ʏʆ@@ʅʁ@61 62 @@%trace@>a(8@@ʘ@@ʗʓ@6@EK6AEP@@$vars@,@@ʻʸ@6K6L@@&splits@$0@@@@@6Z 6[ @@@!c@@@RC@@AMB@@IA@@G@@ABCFD@@7E@@*F@@ABD@@A@@A4eB@@B(D@@/C@@AC$[F@@(E@@A! H@@!G@@ABD@G@(w8Romega_plugin.Refl_omega6hn6h@/W@@ސA@!@@-G@(w8Romega_plugin.Refl_omega6AG6Af@(@@͐B@!@@9G@(w8Romega_plugin.Refl_omega66?@4Q@@ÐA@!@@FG@(w8Romega_plugin.Refl_omega66@F$unit@@@bB@!@@UG@(wt8Romega_plugin.Refl_omega66@@@XA@!@@aG@(w\8Romega_plugin.Refl_omega66@? @@EB@!@@mG@(wD8Romega_plugin.Refl_omega6dj6d@)@@B@!@@{G@(w(8Romega_plugin.Refl_omega6Z^6@@A@!@@G@(w8Romega_plugin.Refl_omega6IK@@A@!@@GA(w8Romega_plugin.Refl_omega6 6 E@AB@!@@@@ABC@F(w8Romega_plugin.Refl_omega6 / @-8/T@@@@ѐA@" @@F@(v8Romega_plugin.Refl_omega7  @@A@"@@FA(v8Romega_plugin.Refl_omega77 @AA @"@@&@@ABC@E(v8Romega_plugin.Refl_omega7@@A@"&@@ EA(v8Romega_plugin.Refl_omega7&SW7'@AB@"0@@@@@ABC@D(v8Romega_plugin.Refl_omega73EG,@@A(@";@@ DA(v8Romega_plugin.Refl_omega7; 7< A@AB1@"E@@@@AB@C (v8Romega_plugin.Refl_omega7G  @@@@;@"O@@ C@(v`8Romega_plugin.Refl_omega7M .7N 8@@@C"eq@"@7T (7U *@@@"]@@@ A@@A@@A@(v@8Romega_plugin.Refl_omega7^7_@@@X!i@#9@@f@7h7i@@@"q@@@ A@@A@@A@(v08Romega_plugin.Refl_omega7r7sX{@55@@ԫ@@ԪԱBC,&unsafe@#'@77@@%sigma@#$@77@@#env@#!@77@@-reified_concl@#@77@@,reified_hyps@#@77@@,systems_list@#@77@@-all_solutions@0b#n@@̗%2'@@̙@@̘@̖̉@@̈̄@7)/7)<@@-solution_tree@2@@̧̣@7lr7l@@/useful_equa_ids@.X@@@7X^7Xm@@/useful_hypnames@2.#SetI!t@@Ά@88@@+useful_vars@.r@@V@8 8 @@/useful_hypnames@I$list@ #elt@@σ@@ς@8 8!@@+stated_vars@&E?0@@ϣ@@Ϣϙ@8/AG80AR@@0l_generalize_arg@&T0@@ϥ@@ϤϚ@8>AT8?Ad@@/to_reify_stated@&c54@@Ϩ2@@ϩ@ϧ@@Ϧϛ@8TAf8UAu@@/hyp_stated_vars@&y&K@@ϫ@@ϪϜ@8cAw8dA@@,all_vars_env@*$E@@ϿϷ@@϶ϲ@8uIO8vI[@@0reduced_term_env@%@@@88@@ 0l_reified_stated@+Q0W@@VL@@KG@88@@!-reified_concl@0c@@hc@8GM8GZ@@"/l_reified_terms@+m0x@@әӒ0~@@ӣӓ@Ӕu@@tp@88@@Q/l_reified_terms@1[0@@@@@8!'8!6@@R2l_reified_hypnames@1m0@@@@@8!88!J@@S1env_props_reified@@'EConstrA%types@@@8kq8k@@T,reified_goal@%@@ @88@@U'reified@0@@.*@9 9 @@V&mk_occ@@68@@JD%@@IE@FC@99@@X/initial_context@+砰'@@b[@@ZV@9'9(@@Z'context@Ġ' @@Ԃz@@yu@98  99 @@[0decompose_tactic@1 @@ԗԒ@9C [a9D [q@@@$L@@@@Y@O@K@@AH@@T@@A0a@@!b@@ABCC@@\@@A P@@J`@@ABD2R@@Z@@AV@@[X@@j_@@ABC" @B@@U@@|^@@ABWG@@]@@AF@@BCDED@@I@@aS@@ABA@@GQ@@AE@@BCJ@@~NM@@AL@@BDF@7?D@@A0K@@9|A@@A1wH@@7B@@ABC%T@@'O@@A&R@@&P@@AB2 G@@2F@@3E@@ABCD&Q@@'N@@A0GJ@@0oI@@7C@@ABC%~U@@&S@@A/L@@/M@@ABDE@c@(v$8Romega_plugin.Refl_omegaK9Yd@7e7c@@Զ@@ԵԼBJ@$@@d@(v8Romega_plugin.Refl_omega\9U@7v7t@@@@ǐB[@$@@e@(v 8Romega_plugin.Refl_omegam9@77@@@@ҐBl@$@@f@(v8Romega_plugin.Refl_omega~9@77@@@@HA}@%@@g@(u8Romega_plugin.Refl_omega:@I$list@@'EConstrA&constr@@K@@JPB@%@@g@(u8Romega_plugin.Refl_omega:<@77@@@@aB@%-@@f@(u8Romega_plugin.Refl_omega:+ ^@7Ǡ7@@@@?A@%>@@e@(u8Romega_plugin.Refl_omega:<.o@5FB@%H@@e@(uh8Romega_plugin.Refl_omega:FX]:GXz@@A@%O@@c@(u`8Romega_plugin.Refl_omega:M :N O@7꠰7@@Դ@@Գ_B@%a@@c@(uP8Romega_plugin.Refl_omega:_ .:` C@Y%types@@dgA@%p@@$d@(t8Romega_plugin.Refl_omega!@A@%t@@(c@(t8Romega_plugin.Refl_omega:r:s@88 @@ԩ@@ԨwA@%@@:b@(t8Romega_plugin.Refl_omega:@}}A @%@@Cb@(tX8Romega_plugin.Refl_omega@@A@%@@HbA(tL8Romega_plugin.Refl_omega: [t: [@AC@%@@RI@G@G@ABCDCD='@6@@̂PA@(M@@,G@(o,8Romega_plugin.Refl_omega@A@(Q@@0G@(o 8Romega_plugin.Refl_omega=O@@A@(W@@6GA(o 8Romega_plugin.Refl_omegaAA@H@(^@@<@@ABC@E (n8Romega_plugin.Refl_omega=a=b7@m΅Bװ!i@)C@@@=r=s@@$hyps@@=z={@@$vars@y@==@@!e@8@@@==@@@(@@@E@@A"D@@-B@@AB&J@A@@ C@@AC@4B@@AD@@6 A@@A3C@@BC@F@(n8Romega_plugin.Refl_omega=9A=9^@UBG@(@@E@(n8Romega_plugin.Refl_omega =9V@ AO@(@@'F@(n8Romega_plugin.Refl_omegaZ@@AT@(@@,EA(n8Romega_plugin.Refl_omega== @AB]@(@@@5@A3@B20C.@D(n8Romega_plugin.Refl_omega='@@Ah@(@@ DA(n|8Romega_plugin.Refl_omega==9_@A@E@(@@@F@AE@BA@B (nd8Romega_plugin.Refl_omega==@@A!i@@==@@@(@@@ B@@A&@A@@B@=A@@AMC@@7 B@@AB@(@@@ABB(nP8Romega_plugin.Refl_omega>:>I@ߐB$#var@&@> >@@!l@HѠ @@@>>@@!t@9@@@>">#@@@)+@@@9@AC@@;@AE@@&D@@ABC<6E@(n88Romega_plugin.Refl_omega>2>33@=t@@C4@)@@@E@(n8Romega_plugin.Refl_omega =@@A9@)E@@EA(n8Romega_plugin.Refl_omega>E>F@ABB@)O@@$#@\@ @ABC[UD(n 8Romega_plugin.Refl_omega>RR@@AM@)Z@@ DZ(m8Romega_plugin.Refl_omegapXAA@@)`@@nB`(m8Romega_plugin.Refl_omega>_ >` 8@Cܰ#"id@)#key@@w@>p>q@@O!p@)@>v>w@@@)@@@$@C@@AA@@D@@A#val@B@@BC@E@@A+C@@,B@@ABF@@5OA@@AD@@G@@ABC@E@(m8Romega_plugin.Refl_omega> :> T@A8@)@@#D@(m8Romega_plugin.Refl_omega> B @6o@@ӤӨAE@)@@0D@(m8Romega_plugin.Refl_omegaN@@AJ@)@@5D@(m8Romega_plugin.Refl_omega>lw>l@ ӷCUP!p@* Ӛӈ@>Ug>Uh@@@)@@LI@D@@AH@BCE@E@(mh8Romega_plugin.Refl_omega>l@B@)@@ E@(mT8Romega_plugin.Refl_omega>>@(̐A$@)@@D@(mD8Romega_plugin.Refl_omega/ @@A)@)@@D@(m8Romega_plugin.Refl_omega>>@AA@)@@@#exn@B@@Ar@Bk@B@(l8Romega_plugin.Refl_omega@A@)@@ B@(l8Romega_plugin.Refl_omega>>@*SB@*@@@@Az@E@(l8Romega_plugin.Refl_omega?@@@@* @@A@(l8Romega_plugin.Refl_omega? ? @@@W"id@@??@@@*@@@ A@@A@@A@(l|8Romega_plugin.Refl_omega? ? @9@@cfAY"id@@@,systems_list@2u2r<"@@@@@@@@*%jp@+%j|@@$hyps@+34@@ <"@@@@@@@F&@G&@@%sigma@?@@.+@@Q*7=@R*7B@@@+Z@@@&@G@@I@@ABF@@hJ@@A@6LH@@AM@@NK@@ABCD@M@(kH8Romega_plugin.Refl_omega@A@+q@@MA(kD8Romega_plugin.Refl_omega@q*7E@r*7\@AA@+{@@!@@@ABCD@L(k$8Romega_plugin.Refl_omega@*79@@A@+@@ L@(k$8Romega_plugin.Refl_omega@)@)5@9\@@) A@+@@L@(k8Romega_plugin.Refl_omega@A@+@@L@(k8Romega_plugin.Refl_omega@) @@A@+@@$LA(k8Romega_plugin.Refl_omega@'@'@AC@+@@OJI@D.BCD@K(j8Romega_plugin.Refl_omega@&@@A@+@@ KA(j8Romega_plugin.Refl_omega@%j@%j@AA@+@@d_^-@Y@ABC-@J(j8Romega_plugin.Refl_omega@%jl@@A@+@@ J@(j8Romega_plugin.Refl_omega@#@#%@:j@@⒐A @+@@{v@DBCC@I@(jt8Romega_plugin.Refl_omega@# @#$@>@@✐A@+@@I@(j\8Romega_plugin.Refl_omega2@@A!@+@@I@(jH8Romega_plugin.Refl_omega@!@!@@~ₐB.@+@@@@Aj@Bi@F@(j88Romega_plugin.Refl_omega@!J@@A7@,@@ FA(j48Romega_plugin.Refl_omegaA _kA _}@AA@,@@@|@A{@E (j8Romega_plugin.Refl_omegaAEGAEW@:@@mA@,@@A@(j 8Romega_plugin.Refl_omegaA24A2C@:@@dA@,)@@A@(i8Romega_plugin.Refl_omegaA'A(0@F$unit@@@MA@,8@@*A@(i8Romega_plugin.Refl_omega@@@@,=@@/A@(i8Romega_plugin.Refl_omegaA;'A<'@@A!s@@AG'AH'@@"id@@@@AR'AS'@@!d@ @AZ'A['@@!p@"@Ab'Ac'@@@,k@@@D@@A"E@@C@@AB*@A@@0B@@AC@@EA(i8Romega_plugin.Refl_omegaAw'Ax'@A@@,@@@ B@@B (i`8Romega_plugin.Refl_omegaA%BA%\@9Q@@}ɍCM%trace@-~T@A A@@#env@-W@AA@@$ctxt@-G@AA@@@,@@@B@@AC@@*]@A@@"D@@ABC@AA@@A9B@@.C@@AB.iD@@.E@@AC@-@@A-@@@BD@(iH8Romega_plugin.Refl_omegaA%/A%_@@A9@,@@DB(i 8Romega_plugin.Refl_omegaAA@-HAL!i@-q@A`eA`f@@!l@L @@r@A`hA`i@@(equation@=@@ɧɘ@AnxAn@@%index@.@@@A A@@$path@?!@@@BB@@$cont@. !@B?IB?M@@@-@@@(@H@@AK@@r@ABq@5G@@AHF@@-J@@ABCCE@@x@A&I@@w@ABDvlM@(i 8Romega_plugin.Refl_omegaB)B*@.)OA_@-6@@L@(h8Romega_plugin.Refl_omegaB4B5@@Af@-=@@&KA(h8Romega_plugin.Refl_omegaB=PQB>o@ADo@-G@@@0@A@B,C&%DJ(h8Romega_plugin.Refl_omegaBK?E@@A{@-S@@ J@(h8Romega_plugin.Refl_omegaBQBR;@cY@B@-b@@EC@BC@@BDG@(h|8Romega_plugin.Refl_omegaBe1@@A@-m@@ G@(h`8Romega_plugin.Refl_omegaBkBl@A@-v@@@'@G@@AZ@BCWDG@(hP8Romega_plugin.Refl_omegaB{@ ^@@ɺĐB@-@@G@(h48Romega_plugin.Refl_omega@A@-@@G@(h8Romega_plugin.Refl_omegaBB@ɜB@-@@@z@ABw7CJ@(g8Romega_plugin.Refl_omegaBntg@@A@-@@ F٠(g8Romega_plugin.Refl_omegamAA@N0@-@@Dߠ(g8Romega_plugin.Refl_omegaBB@.'ANG#env@.@B~W~nB~W~q@@$ctxt@.@B~W~rB~W~v@@!i@=@@>@B~~B~~@@$left@=@@?@B~~B~~@@%right@=@@@@B~~B~~@@#org@>@@YJ@B~~B~~@@%index@/@@ȼ@B,6B,;@@$path@@@@Ƚ@B,<C,@@@(left_hyp@0@@@C ZcC Zk@@)right_hyp@0@@@CC@@@.@@@ )@H@@AaB@@BhC@@^F@@:J@@ABCXE@@)K@@AKG@@B+@A@@:I@@AZD@@'L@@ABCD@CC@@A;D@@0E@@AB/F@@/G@@AC@/]@@@A/6B@@BO@(gt8Romega_plugin.Refl_omegaCE"CF8@.A@.R@@4N@(gd8Romega_plugin.Refl_omegaCP:=CQ:e@/PC@.[@@=M@(g88Romega_plugin.Refl_omegaCYgjCZg@C@.d@@FL@(g8Romega_plugin.Refl_omegaCbCcg@@A@.k@@ML@(f8Romega_plugin.Refl_omegaCiCj@@@@B@.w@@YNMIGE@BCDB8K@(f8Romega_plugin.Refl_omegaCy@@A@.@@ K@(f8Romega_plugin.Refl_omegaCZCZ@@@@ؐB@.@@od@a@A`CDXNJ@(f8Romega_plugin.Refl_omegaCZ_-@@A@.@@ J@(f8Romega_plugin.Refl_omegaC,DC,V@@ȾB@.@@@@A@@AB{@w@ABCtjG@(f|8Romega_plugin.Refl_omegaC,1I@@A@.@@ G@(f`8Romega_plugin.Refl_omegaC~~C~(@ϐA@.@@@ (@G@@A@BC@BDG@(fP8Romega_plugin.Refl_omegaC~~@@@kuB@.@@G@(f48Romega_plugin.Refl_omega@A@.@@G@(f8Romega_plugin.Refl_omegaC~~C~~@NB%@.@@:CJ@(e8Romega_plugin.Refl_omegaC~~~@@A-@.@@FB(e8Romega_plugin.Refl_omegaCC@/ƐA6!s@>@@B@CC@@@.@@V@@D@@ABCD@(e8Romega_plugin.Refl_omegaD@@A@/@@ D (el8Romega_plugin.Refl_omegaJAA@O@/@@g@@ABC)(eD8Romega_plugin.Refl_omegaDjy?yKDjy?yb@;@@wƀAO#env@0d@D"ZvvD#Zvv@@'env_hyp@0d@D(ZvvD)Zvv@@@'EConstrA"e1@<@@@D6hxyD7hxy@@!k@&@@ @DAhxyDBhxy@@!l@O0v @@ @DOhxyDPhxy@@@/X@@@*D@@A:C@@B5B@@$E@@AF@@-@A@@ABC@0A@@A0B@@B@0@@@AG@(d8Romega_plugin.Refl_omegaDjkydysDkkydy@0yƎBY@/x@@ H@(d8Romega_plugin.Refl_omegaDvkydyDwkydy@ ƝAd@/@@+G@(d8Romega_plugin.Refl_omegaDlyyDlyy@ǐCo@/@@6F@(d8Romega_plugin.Refl_omegaDjy?yDDlyy@@Av@/@@=FM(dd8Romega_plugin.Refl_omegaD~6~?D~6~U@@A|@/@@@D@AC@>@AB<8F (dH8Romega_plugin.Refl_omegaD`wZwfD`wZw@N(bP8Romega_plugin.Refl_omegaE~||,@@A@0@@ N(a8Romega_plugin.Refl_omegaEnyyEnyz@=~@@ưƹA"e3@K@@@EmyyEmyy@@"e1@=@@@EmyyEmyy@@"e2@K@@@EmyyEmyy@@!l@P2@@@EmyyEmyy@@@0@@@)@%J@@ABI@@2K@@A@BC@H@@A@BDL@(ax8Romega_plugin.Refl_omegaEozzEozz)@2ƲǐBD@1@@M@(a`8Romega_plugin.Refl_omegaEozz+Fozz=@ אBO@1 @@$L@(aL8Romega_plugin.Refl_omegaF pz?zNF pz?zu@CX@1@@-K@(a 8Romega_plugin.Refl_omegaFnyyFpz?zy@@A_@1@@4K(`8Romega_plugin.Refl_omegaFbwwFbww@=@@B "e1@>@@@F.awwF/aww@@"e2@>@@@F7awwF8aww@@&direct@Lg@@@F@awwFAaww@@@1I@@@(,@H@AI@@'K@@AJ@@BC@BDL@(`8Romega_plugin.Refl_omegaFTbwwFUbwx @9 B6@1a@@K@(`8Romega_plugin.Refl_omegaF_bww @@A<@1g@@KҠ(`p8Romega_plugin.Refl_omegaFfdx1xDFgdx1x[@>6@@$BV"e1@>_@@@Fxcxx!Fycxx#@@"e2@>h@@@Fcxx$Fcxx&@@@1@@@),@H@J@@ABI@@8@A7BC/+K@(`X8Romega_plugin.Refl_omegaFdx1x\Fdx1xs@-4B*@1@@J@(`D8Romega_plugin.Refl_omegaFdx1x6 @@A0@1@@J(_8Romega_plugin.Refl_omegaF|||F|||@@A!l@Qj27@@8@F|||F|||@@@1@@_@H@@A\@BCZVH+(_8Romega_plugin.Refl_omegaFx{{Fx{{@>@@ENA)st_new_eq@>@@/@Fv{Z{eFv{Z{n@@&st_def@>@@1@Fv{Z{pFv{Z{v@@'st_orig@>@@3@Fv{Z{xFv{Z{@@'st_coef@)T@@5@Fv{Z{Fv{Z{@@!l@Q3!*@@+@Fv{Z{Fv{Z{@@@2@@@--r@IG@A@B@H@@A@#J@@AB6L@@BM@@A1K@@BCDN@(_L8Romega_plugin.Refl_omegaGy{{Gy{{@3=G[AS@2!@@Q@(_(8Romega_plugin.Refl_omegaGy{{G y{|@ cB^@2,@@)P@(_8Romega_plugin.Refl_omegaG*z||)G+z||5@rAi@27@@4O@(^8Romega_plugin.Refl_omegaG5z||7G6z||P@"|Bt@2B@@?N@(^8Romega_plugin.Refl_omegaG@{|R|aGA{|R|@3hC~@2L@@IM@(^8Romega_plugin.Refl_omegaGJx{{GK{|R|@@A@2S@@PM(^\8Romega_plugin.Refl_omegaGRrzzGSrzz@?"@@AE"e3@N@@@GgqzzzGhqzzz@@"k1@)@@#@GrqzzzGsqzzz@@"e1@?d@@$@G}qzzzG~qzzz@@"k2@)@@!&@GqzzzGqzzz@@"e2@?z@@"'@GqzzzGqzzz@@!l@RW3@@@GqzzzGqzzz@@@2@@@+.@L,.@I@:M@@AB%J@@RO@@A[@BCZ@MN@@A8K@@B#H@@[@ACDYUP@(]8Romega_plugin.Refl_omegaGszzGszz@Ai@2@@"S@(]8Romega_plugin.Refl_omegaGszzGszz@Bt@2@@-R@(]8Romega_plugin.Refl_omegaGtzzGtz{@ A@2@@8Q@(]8Romega_plugin.Refl_omegaGtz{Gtz{@(B@2@@CP@(]p8Romega_plugin.Refl_omegaGu{{-Gu{{U@C@2@@LO@(]D8Romega_plugin.Refl_omegaGrzzGu{{Y@@A@2@@SOf(\8Romega_plugin.Refl_omegaGfxxGfxx@?@@DMA"e1@?@@@H extxH extx@@!k@*z@@@HextxHextx@@@3@@@*.@Ha@AJ@@@AB@I@@A@BCK@(\8Romega_plugin.Refl_omegaH'gxxH(gxx@?@@F[B.@37@@K@(\8Romega_plugin.Refl_omegaH5gxxH6gxx@jA9@3B@@%J@([8Romega_plugin.Refl_omegaH@fxxHAgxx@@A@@3I@@,J([P8Romega_plugin.Refl_omegaHH}}HI}~@@A0!l@S 4|O@@P@HU}}HV}}@@@3^@@i@H@@A@BCHΠ(Z8Romega_plugin.Refl_omega@AA@S@3i@@CԠ(Z8Romega_plugin.Refl_omegaHh,qaqyHi,qaq@S,5d[r@@[„[‹AT\-all_solutions@5@H}nnH~nn@@]$path@5m@HnnHnn@@^*build_tree@@Ce@@u\U@ST5\@@\V@>ڠB@@c\_@@^\XCi@@\W@Y@Z@[\T@HnnHnn@@f(weighted@6!5Sz5@@@@@\@H$p>pDH$p>pL@@g*winner_sol@5[@H%ppH%pp@@h+winner_deps@6x5\@@\@H%ppH%pp@@@3@@@Z/M@E@@AfB@@B[C@@dA@@A5D@@F@@%G@@ABCD@;,A@@A6C@@6B@@AB@5@@@AH@(Z8Romega_plugin.Refl_omegaH,qaqcH,qaq@@A@3@@G@(Z8Romega_plugin.Refl_omegaH*q)qTH*q)q[@,L@@\x]zAi'reraise@S@@]@I 'ppI'pp@@@4@@@5@A4@3@AE@@4@ABC/)E@(Z8Romega_plugin.Refl_omegaI*q)q/I*q)qL@;2@@\hB@4)@@E@(Z`8Romega_plugin.Refl_omegaI'(ppI()pq'@;_@@\]C-@47@@!E@(ZH8Romega_plugin.Refl_omegaI5)ppI6)pq @B@@]^SA;@4E@@/F@(Z08Romega_plugin.Refl_omegaIC)pq @B@@]:^]AH@4R@@pOIq$p>p{@AB@4z@@d@@ABC (Y8Romega_plugin.Refl_omegaI|$p>p@@@A@4@@ C@(Y8Romega_plugin.Refl_omegaInn@@@ @4@@@@A@BB@(Y8Romega_plugin.Refl_omegaInnInn@@A_#sol@@InnInn@@`#buf@@InnInn@@@4@@@ B@@Ae2R@A@@C@@AB@-B@@6A@@AB@%@@@ACC(Y8Romega_plugin.Refl_omegaI"ooI"op@6[yB*c!i@G$@@i@I ooI oo@@d)remainder@T%\f@@g@I ooI oo@@@4@@@[0B@D@@A4@F@@AB5@E@@A5@BC40G@(Y8Romega_plugin.Refl_omegaI"oo,@6[i[[[A1@4@@G@(Y\8Romega_plugin.Refl_omegaI#p pI#p p9@G\xC;@4@@$F@(Y88Romega_plugin.Refl_omegaI!ooI#p p:@@AB@4@@+FN(Y8Romega_plugin.Refl_omegaIoo%IooM@Y\tCwa!i@G~@@d@J noJ no@@b)remainder@TϠr\a@@b@JnoJno@@@5@@L}@F@@AB~@E@@A~@BC}yG@(X8Romega_plugin.Refl_omegaJ%oOoUJ&oOo@7 B'@50@@F@(X8Romega_plugin.Refl_omegaJ.oOoz @PA/@58@@F@(X8Romega_plugin.Refl_omegaJ6ooJ7oOo@@A6@5?@@ F(Xt8Romega_plugin.Refl_omegaHAA@@5E@@C(X08Romega_plugin.Refl_omegaJDn+n1JEnRn@@AUаU"ch@7qT@JPmm3JQmm5@@W!i@E@@ @JYnnJZnn @@X"t1@E#@@ @Jbnn!Jcnn#@@Y"t2@E'@@ @Jknn$Jlnn&@@@5t@@@(B@@"E@@ABZ3&@A@@D@@AC@@BC@@7@@@AEB(W8Romega_plugin.Refl_omegaJmfmmJmn@f@@TU'CDV!t@Eg@@@JmAmJJmAmK@@@5@@@)@A&@C@@AB@"C@(W8Romega_plugin.Refl_omegaJmmJmn@$-@@UmVB@5@@C@(W8Romega_plugin.Refl_omegaJmmJmn@ 2 /@@V@@VVB/@5@@%C@(W8Romega_plugin.Refl_omegaJmmJmn@6u6@@WWW@@WWAE@5@@;C@(W|8Romega_plugin.Refl_omegaJmOmUT@@AK@5@@AC\(W\8Romega_plugin.Refl_omegaAA@Vc@5@@Gl@B@fBd(WD8Romega_plugin.Refl_omegaJgRgWJgRgr@85AVo1"t1@E@@O@Jg=gHJg=gJ@@2"t2@E@@P@Jg=gKJg=gM@@@6@@@43@A@@AC@@B@@AB@AyA@@A@8c@@@AD@(W88Romega_plugin.Refl_omegaKgRgtKgRg@8^0_A*@6@@C@(W08Romega_plugin.Refl_omega3 @@A/@6@@CB(W8Romega_plugin.Refl_omegaKggK gg@@AV3!s@E@@R@K)ggK*gg@@@62@@@-@B@@AB*(B(V8Romega_plugin.Refl_omegaK5gg4@A@V@6=@@@8@A31A (V8Romega_plugin.Refl_omegaK>dNdXK?dNdZ@@AV°#env@9"@KEd(d?KFd(dB@@@6N@@@ B@@A3@A@@B@EA@@ACB@@B@99@@@ABB(V8Romega_plugin.Refl_omegaKZddK[dd@=9)@@+=A(!i@9=@Kmd[d_Knd[d`@@!r@V1 @@@Kwd[ddKxd[de@@!l@GG@@@@ @KdidrKdids@@@6@@@B@A&D@@E@@ABD@#C@@ACD@F@(V8Romega_plugin.Refl_omegaKddKdd@9eB6@6@@E@(V8Romega_plugin.Refl_omegaKdd @@A<@6@@E@(V|8Romega_plugin.Refl_omegaKdidKdid@@AB@6@@@b@Au0@E@@#@ABd Cb^E@(VP8Romega_plugin.Refl_omegaKdidzKdid@A@@BW@6@@@v@5@ABv2CtpH@(V88Romega_plugin.Refl_omegaKdidn0@@Aa@6@@ Dt(V8Romega_plugin.Refl_omega6AA@WN@6@@Bz(U8Romega_plugin.Refl_omegaK^^<K^^O@:,AWW"t1@F@@@K^^#K^^%@@"t2@F@@@K^^&K^^(@@@6@@@4@A@@AC@@B@@AB@=A@@A:wB@@B@:]@@@AD@(U8Romega_plugin.Refl_omegaK^^PK^^c@:WĐA,@7 @@C@(U8Romega_plugin.Refl_omegaL^^- @@A2@7@@CB(U8Romega_plugin.Refl_omegaL^d^rL^d^@@AW!s@F@@@L^d^mL^d^n@@@7#@@@0@B@@AB-)B(U8Romega_plugin.Refl_omegaL&]^@A@W@7.@@@;@A62A (U8Romega_plugin.Refl_omegaL/]]!L0]]/@@AW@78@@@4@A@@A@>A@@A@:@@@AAD(U8Romega_plugin.Refl_omegaL@]]LA]]@@AW!l@W:@@@LM]]LN]]@@@7V@@@2@B@@AC@@#@AB!C(Ud8Romega_plugin.Refl_omegaL\]V]jL]]V]~@:AW"t1@R9>l@@@@@Lt]0]FLu]0]H@@"t2@R6>{@@@@@L]0]ML]0]O@@@7@@@2@F2@D3@C?@A^@.G@@A E@@BC`^H@(UX8Romega_plugin.Refl_omegaL]V]L]V]@@@@L]]L]]@@!l@W{;2@@@L]]L]]@@@7@@@v@D@@ABC@@@ACD@(T8Romega_plugin.Refl_omegaL]]'@@A$@7@@ D(Tt8Romega_plugin.Refl_omegaL\]@A@XV@7@@A(T\8Romega_plugin.Refl_omegaLZZLZZ@@AX[@7@@@5@A@@A@CYA@@A@>@@@AAB(TP8Romega_plugin.Refl_omegaL[&[.L[&[E@>AXr#act@>A@LZZLZZ@@!l@W @@B@MZZMZZ@@$act1@R۠?@@Q@@PW@MZ[MZ[@@$act2@Rؠ?@@U@@TZ@M%Z[M&Z[ @@@8.@@@3@F3@D@@A:C@@+G@@ABE@@8B@@T@ABCRPH@(TD8Romega_plugin.Refl_omegaM<[&[IM=[&[`@?5AL@8G@@G@(T<8Romega_plugin.Refl_omegaU@@AQ@8L@@G@(S8Romega_plugin.Refl_omegaMJZZMKZZ@?EHAZ!e@E>@@K@MWZZMXZZ@@@8`@@@,@D@@AB)(CywD@(S8Romega_plugin.Refl_omegaMcZZ@@A@8k@@ D@(S8Romega_plugin.Refl_omegaMi[a[mMj[a[@@Au@8r@@@>@A98BC@(S8Romega_plugin.Refl_omegaMsZZ @@A~@8{@@ C(Sh8Romega_plugin.Refl_omegaMzZcZ@A@X@8@@A(SX8Romega_plugin.Refl_omegaMeTTMeTT@@AX@8@@@ 68@A@@A@@>A@@A@@@@@AAB(S,8Romega_plugin.Refl_omegaMiUCUHMiUCUj@@AY!i@@@MfTTMfTT@@!t@@@MfTTMfTT@@ !l@Xg@@@@MfTTMfTT@@ 'l_syst1@@NXwI@@+@@*@@)%@MgTTMgTT@@ 'l_syst2@@2@MhUU!MhUU(@@@8@@@4@@C@@A-B@@B#E@@F@@AP@9D@@ABCPNFA(S(8Romega_plugin.Refl_omegaMhUU+MhUU?@AAL@8@@@@A`BC^\E(S 8Romega_plugin.Refl_omegaMhUUY@@AW@8@@ EA(S8Romega_plugin.Refl_omegaMgTTMgTU@AB`@8@@+(@t$BCrpD (S8Romega_plugin.Refl_omegaMgTTm@@Aj@9@@ Du(R8Romega_plugin.Refl_omegaNdTTt@A@Y~@9@@A|(R8Romega_plugin.Refl_omegaN URSNURS @@AY$eqns@@!@NSRRNSRR@@@9@@@ B@@A6@A@@B@@@@@@@@@ABBF(R8Romega_plugin.Refl_omegaN(bTTN)bTT@@B "t1@I@@@N6_T'T2N7_T'T4@@"t2@I@@@N?_T'T5N@_T'T7@@@9H@@*(@D@@AC@@BC@*D@(R8Romega_plugin.Refl_omegaNL`T<TB$@@A @9T@@ D,(Rh8Romega_plugin.Refl_omegaNSZSSNTZSS@@AJ"t1@J@@@N`WS3S?NaWS3SA@@"t2@J@@@NiWS3SBNjWS3SD@@"s1@A @NpXSISSNqXSISU@@"s2@A@NwYStS~NxYStS@@@9@@ca@BE@@F@@A)D@@"C@@ABC@fFA(Rd8Romega_plugin.Refl_omegaNYStSNYStS@AB7@9@@vt@@ABC@tE(RX8Romega_plugin.Refl_omegaNYStSzD@@AB@9@@ EA(RT8Romega_plugin.Refl_omegaNXSISXNXSISp@ABK@9@@@&@A$@BC@D(RH8Romega_plugin.Refl_omegaNXSISOY@@AV@9@@ D(R8Romega_plugin.Refl_omegaN^TT N^TT&@ڐB"t1@J@@@N[SSN[SS@@"t2@J@@@N[SSN[SS@@@9@@@D@@AC@@BC@D@(Q8Romega_plugin.Refl_omegaN\SS'@@A @9@@ D(Q8Romega_plugin.Refl_omegaNVS SNVS S2@@Aհ!t@J@@@NVS SNVS S@@@9@@@C@@AB@CР(Q8Romega_plugin.Refl_omegaNTRRNTRR@@A!e@J@@~@OTRROTRR@@@: @@@C@@A@@AB@C(Qp8Romega_plugin.Refl_omegaAA@Z@:@@B(QP8Romega_plugin.Refl_omegaO]SSO]ST@@@\#le1@A@O]SSO]SS@@@:&@@@ A@@A@AA@@AaB@@B@A@(Q<8Romega_plugin.Refl_omegaO+aTRTfO,aTRT}@@@#le1@A@O2aTRT_O3aTRTb@@@:;@@@ A@@A@AA@@AB@@B@A@(Q$8Romega_plugin.Refl_omegaO@DPQOADPQ @@AZ$eqns@A@OGBPPOHBPP@@@:P@@@ B@@A8@A@@B@@AB@@B@@@ABBF(Q 8Romega_plugin.Refl_omegaOZQRRO[QRR@@A"t1@K@@@OgNR(R3OhNR(R5@@"t2@K@@@OpNR(R6OqNR(R8@@"s1@B`@OwOR=RGOxOR=RI@@"s2@Bf@O~PRhRrOPRhRt@@@:@@86@BE@@F@@A)D@@"C@@ABC@;FA(Q8Romega_plugin.Refl_omegaOPRhRwOPRhR@AB7@:@@KI@@ABC@IE(P8Romega_plugin.Refl_omegaOPRhRnD@@AB@:@@ EA(P8Romega_plugin.Refl_omegaOOR=RLOOR=Rd@ABK@:@@`^@&@A$@BC@^D(P8Romega_plugin.Refl_omegaOOR=RCY@@AV@:@@ Da(P8Romega_plugin.Refl_omegaOMRR OMRR'@qrLOB"t1@K@@@OJQQOJQQ@@"t2@K@@@OJQQOJQQ@@@:@@@D@@AC@@BC@D@(P8Romega_plugin.Refl_omegaOKQQ/@@A @:@@ D(Pp8Romega_plugin.Refl_omegaOIQQOIQQ@@A"t1@K@@@OFQ4Q?OFQ4QA@@"t2@K@@@PFQ4QBPFQ4QD@@"s1@B1@P GQIQSPGQIQU@@"s2@B7@PHQtQ~PHQtQ@@@;@@@BE@@F@@A)D@@"C@@ABC@FA(Pl8Romega_plugin.Refl_omegaP'HQtQP(HQtQ@AB7@;1@@@@ABC@E(P`8Romega_plugin.Refl_omegaP4HQtQzD@@AB@;<@@ EA(P\8Romega_plugin.Refl_omegaP<GQIQXP=GQIQp@ABK@;F@@@&@A$@BC@D(PP8Romega_plugin.Refl_omegaPIGQIQOY@@AV@;Q@@ D(P,8Romega_plugin.Refl_omegaPPEQQPQEQQ3@@A!t@L7@@@PZEQQP[EQQ@@@;c@@@C@@AB@C (P8Romega_plugin.Refl_omegaPfCPPPgCPP@@A'!e@Lj@@@PpCPPPqCPP@@@;y@@@C@@A*@*@AB@(C$(O8Romega_plugin.Refl_omega6"AA@[@;@@4B*(O8Romega_plugin.Refl_omegaPLQQPLQR@@@#le1@xM@PLQQPLQQ@@@;@@@ A@@A@CIA@@AB@@B@A@(O`8Romega_plugin.Refl_omegaPKKPKK@Dy7B\^%sigma@DG@P G~GP G~G@@_#env@Dc@P G~GP G~G@@`'negated@D@P G~GP G~G@@a'depends@D@P G~GP G~G@@b&origin@D@P G~GP G~G@@c$path@D@P G~GP G~G@@d$ctxt@ @@P G~GP G~G@@e"gl@Dh@P G~GP G~G@@f!c@Dk@P G~GP G~G@@7"t1@@'EConstrA!t@@7@PK KPK K@@8"t2@@'EConstrA!t@@8@QK KQK K@@@<@@@C7@J@@A+A@@B>C@@VH@@AeD@@BC7B@@cI@@AVG@@BPF@@uE@@A5L@@)K@@ABCD@Q B@@A[DA@@IE@@ABJpD@@FH@@ACEI@@F2G@@AKIC@@FF@@ABD@E@@AE@@BE @@E@@AD@@@BCM@(OH8Romega_plugin.Refl_omegaQDKKQEKK@BB@ @@@@A#L@@K@@ABCDL@(K8Romega_plugin.Refl_omegaS GHS GH*@@Aq$"t1@@'EConstrA!t@@ @S  GGS! GG@@%"t2@@'EConstrA!t@@ @S. GGS/ GH@@@>7@@'@@A#L@@K@@ABCDL@(K8Romega_plugin.Refl_omegaS=KKS>KK@@A@>F@@6+*&@$@ACD J@(K8Romega_plugin.Refl_omegaSHIjIzSIIjI@@A@>Q@@ J@(Kx8Romega_plugin.Refl_omegaSOIUIdSPIUIi@@A@>X@@J@(K48Romega_plugin.Refl_omegaSV GGSW GG@@+Const_omegaA)parse_rel@@#B@>i@@@V@AUTCP%DC1I@(K8Romega_plugin.Refl_omegaSk GG.@@A@>s@@ IA(J8Romega_plugin.Refl_omega5AA@^@>z@@d@b@Aa@Y@ABCUCE (J8Romega_plugin.Refl_omegaS~GQGSSGQGi@M@@B^T%sigma@GY@SFNF^SFNFc@@U#env@G[@SFNFdSFNFg@@V$ctxt@G^@SFNFhSFNFl@@W!c@GW@SFNFmSFNFn@@X)connector@GZ@SFNFoSFNFx@@Y"t1@GY@SFNFySFNF{@@Z"t2@G[@SFNF|SFNF~@@[#t1'@H/@SFFSFF@@\#t2'@H6@SFFSFF@@]%omega@J@@@SGGSGG@@@>@@@7D@@A2C@@B?E@@IF@@AJ@@RG@@AB5B@@,H@@A3A@@(I@@ABCD@SD@@A^C@@LtG@@ABM4F@@HJ@@ACHK@@HI@@AN E@@ISH@@ABD@Hi@@AHF@@BG@@@H@@AGB@@BCJ@(J8Romega_plugin.Refl_omegaTGkG|@@A@?@@7JA(J8Romega_plugin.Refl_omegaTGG TGGM@AE@?@@A=@;@9@AB87CD1I(J|8Romega_plugin.Refl_omegaTGG@@A@?&@@ IA(Jx8Romega_plugin.Refl_omegaT&FFT'FF@AC@?0@@WSLKI@BCDF4H(Jd8Romega_plugin.Refl_omegaT3FF,@@A@?;@@ HA(J`8Romega_plugin.Refl_omegaT;FFT<FF@AC@?E@@lh+a@^@ACD[IG(JH8Romega_plugin.Refl_omegaTHFFA@@@@?P@@ G@(J$8Romega_plugin.Refl_omegaTNF?FATOF?FL@@A_ѰB%sigma@H@TeCCTfCC@@C#env@H@TkCCTlCC@@D$neg2@H@TqCCTrCC@@E'depends@H@TwCCTxCC@@F&origin@H@T}CCT~CC@@G$path@H@TCCTCD@@H.add_to_depends@H@TDDTDD@@I$neg1@H@TDDTDD"@@J"gl@H@TDD#TDD%@@K!c@H@TDD&TDD'@@L"t1@Hz@TDD(TDD*@@M"t2@Hy@TDD+TDD-@@N!i@O@@>;@TD0D6TD0D7@@O(depends1@HB@TDRDXTDRD`@@P(depends2@HJ@TDDTDD@@Q#t1'@H@TEIEOTEIER@@R#t2'@H@TEETEE@@@?@@@SF@@ABC@@hL@@AB(O@@$P@@AyH@@BCPD@@"t1@J1_@UCHC^UCHC`@@?"t2@J4`@UCHCaUCHCc@@@#t1'@Ja@UCfClUCfCo@@A#t2'@Jh@UCCUCC@@@A@@@(C@@A0D@@8E@@AB&B@@F@@A#A@@G@@ABC@UH@@A`)G@@NK@@ABOUJ@@JN@@ACJO@@KM@@AP.I@@KtL@@ABD@J@@@AJgB@@BID@@J@@AIF@@BCGA(H$8Romega_plugin.Refl_omegaV+CCV,CC@ACj@A5@@5/.,@BC)F (H8Romega_plugin.Refl_omegaV7CCv@@At@A?@@ FA(H8Romega_plugin.Refl_omegaV?CfCrV@CfC@AC}@AI@@IC@@@AC=+E (G8Romega_plugin.Refl_omegaVKCfCh@@@@AS@@ E@(G8Romega_plugin.Refl_omegaVQBC VRBC@@Aaǰ%sigma@J@V[@k@V\@k@@@#env@J@Va@k@Vb@k@@@!t@J@Vg@k@Vh@k@@@4!n@@&BigintA&bigint@@5@VuBCVvBC@@@A~@@@@<@D@@A"B@@E@@AB+C@@!A@@AC@VmJ@@A`I@@OM@@ABOL@@KhP@@ACKCQ@@KO@@APK@@KN@@ABD@KB@@AJD@@BJjF@@K,@@@AJ?H@@BCE@(G8Romega_plugin.Refl_omegaVBBVBB@KِCV3!t@@'EConstrA!t@@2@VBBVBB@@@A@@A>@B;@E<@AC;)F@(G8Romega_plugin.Refl_omegaVBBVBB@@A@A@@ E@(G8Romega_plugin.Refl_omegaVBBVBB@K@C|2!t@@'EConstrA!t@@/@VBBVBB@@@A@@&`@Ea@AC`NE@(Gp8Romega_plugin.Refl_omegaVBB@@A@A@@ E@(G88Romega_plugin.Refl_omegaV@AV@AA@@A."t1@@'EConstrA!t@@'@V@A V@A @@/"t2@@'EConstrA!t@@(@W @A W @A@@@B@@V@@A"F@@E@@ABCF@(G8Romega_plugin.Refl_omegaWBJBeWBJB@S@@ȐCѰ0"t1@@'EConstrA!t@@+@W1ABAOW2ABAQ@@1"t2@@'EConstrA!t@@,@W?ABARW@ABAT@@@BH@@@>=@H?=@G@A@B@@A*F@@E@@ABCH@(F8Romega_plugin.Refl_omegaWUBJB_;@@A3@B]@@H@(F8Romega_plugin.Refl_omegaW[BB!W\BB@@KC>:!n@@&BigintA&bigint@@@WoBBWpBB@@@Bx@@0@I@@AB+CJ@(F8Romega_plugin.Refl_omegaW{BBW|BBI@@A@B@@ I@(F8Romega_plugin.Refl_omegaWAAWAA@J&option@%@@@@Bm@B@@@L@A@BICG@(F8Romega_plugin.Refl_omegaWAA@@Aw@B@@ G@(Fp8Romega_plugin.Refl_omegaWAAWAA@LC9!n@D@@@WAAWAA@@@B@@ 6@H@@AB5jC2 H@(F`8Romega_plugin.Refl_omegaWAAWAA@@A@B@@ H@(FH8Romega_plugin.Refl_omegaWAYAgWAYA|@?a@@y@@xB@B@@NCK9F@(F,8Romega_plugin.Refl_omegaWAYA`WBJB@@A@B@@ F@(E8Romega_plugin.Refl_omegaW@@W@@@@A,"t1@@'EConstrA!t@@#@W@@W@@@@-"t2@@'EConstrA!t@@$@W@@W@@@@@C@@B|@|@A"F@@E@@ABC~lF@(E8Romega_plugin.Refl_omegaXCC(XCCF@T@@C@C@@WC|D@(E8Romega_plugin.Refl_omegaXCC"@@A@C@@D@(E8Romega_plugin.Refl_omegaX@@X@@@*parse_term@@yB@C,@@@@ABC@(Eh8Romega_plugin.Refl_omegaX-@@'@@@@C5@@ C@(ED8Romega_plugin.Refl_omegaX3@@X4@@@@@[5!x@L@X;@@X<@@@@6!y@L@XA@@XB@@@@@CJ@@@B@@A A@@B@@B@(E 8Romega_plugin.Refl_omegaXM@A/XN@A:@@@a7!x@LY@XV@A(XW@A)@@8!y@LZ@X]@A*X^@A+@@@Cf@@@B@@A A@@B@@B@(E8Romega_plugin.Refl_omegaXi:;Xj:; @NAcհ!t@UL@@@Xy::Xz::@@!n@U@@@X::X::@@@C@@@C@@AA=@A@@B@@AB@bA@@ANvB@@NYC@@AB@N>@@@AC@(D8Romega_plugin.Refl_omegaX::2@@A.@C@@C@(D8Romega_plugin.Refl_omegaX::X::@@A5@C@@C@(D8Romega_plugin.Refl_omegaX::X::@M@@BC@C@@+C@(D8Romega_plugin.Refl_omegaX::M@@AI@C@@1CG(D|8Romega_plugin.Refl_omegaX;i;xX;i;@@Ad&!v@Uo@@@X;i;sX;i;t@@@C@@@B@D@@AB@:D(DP8Romega_plugin.Refl_omegaX:V:rX:V:@mǐAd@!t@U@@@X:V:^X:V:a@@@C@@@\@D@@ABZTD@(DH8Romega_plugin.Refl_omegaX:V:e@@A@C@@ D7(D8Romega_plugin.Refl_omegaX: :5X: :U@@Ad]"t1@U@@@X: :+Y: :-@@"t2@U@@@Y: :.Y : :0@@@D@@@@AE@@D@@AB|EY(C8Romega_plugin.Refl_omegaY;;Y;;)@NAd~@D @@@Z?@E@@A@X@D@@ABE@(C8Romega_plugin.Refl_omega@Ad@D,@@ En(C 8Romega_plugin.Refl_omegaY+9:Y,9:@NɐAd"t1@V"@@@Y899Y999@@"t2@V&@@@YA99YB99@@@DJ@@@@AE@@D@@ABF@(C8Romega_plugin.Refl_omegaYN9:YO9:@|ȐA%@D[@@E@(C 8Romega_plugin.Refl_omegaYY99 @@A+@Da@@E(B8Romega_plugin.Refl_omegaY`;C;QYa;C;h@@AdȰ!n@Ve@@@Yj;C;LYk;C;M@@@Ds@@@D@@A@BD(B8Romega_plugin.Refl_omegaYv99@A@d@D~@@@@AA (B8Romega_plugin.Refl_omegaY6O6oY6O6{@@Ad@D@@@B6@A@@A@OA@@AOB@@B@O@@@AAF(B8Romega_plugin.Refl_omegaY66(Y669@OAd"p1@U<@@@Y66Y66 @@"p2@U@@@@Y66!Y66#@@@D@@@C@@AB@@-@AB+'D@(B|8Romega_plugin.Refl_omegaY66=Y66N@OӐA#@D@@C@(Bt8Romega_plugin.Refl_omega,@@A(@D@@C3(BT8Romega_plugin.Refl_omegaY55Y55@OAe+"p1@U@@@Y55Y55@@"p2@U@@@Y55Y55@@@D@@@C@@AB@@_@AB]YD@(BH8Romega_plugin.Refl_omegaY56Y56@PA#@D@@C@(B@8Romega_plugin.Refl_omega,@@A(@D@@Ce(B 8Romega_plugin.Refl_omegaY55Y55@PAe]"p1@U@@@Z55Z55@@"p2@U@@@Z 55Z 55@@@E@@@C@@AB@@@ABD@(B8Romega_plugin.Refl_omegaZ55Z55@P7A#@E$@@C@(B 8Romega_plugin.Refl_omega,@@A(@E)@@C(A8Romega_plugin.Refl_omegaZ(55Z)55@@Ae!p@V@@@Z255Z355@@@E;@@@B@@A@BB(A8Romega_plugin.Refl_omegaZ>5W5iZ?5W5~@@Ae!e@VB@@@ZH5W5cZI5W5d@@@EQ@@@B@@A@BBà(A8Romega_plugin.Refl_omegaZT575N@A@e@E\@@Aʠ(Ax8Romega_plugin.Refl_omegaZ[44Z\44@@Ae@Ed@@@C@A@@A@PA@@APB@@B@P@@@AAB(Al8Romega_plugin.Refl_omegaZn44Zo44@PAeհ!e@P@Zz44Z{44@@!l@e> @@@Z44Z44@@@E@@@C@@AB@@-@AB+'D@(A\8Romega_plugin.Refl_omegaZ44Z555@PB#@E@@C@(AT8Romega_plugin.Refl_omega Z45@ A+@E@@D@(AD8Romega_plugin.Refl_omegaZ55 @A5@E@@"C@(A<8Romega_plugin.Refl_omega?@@A:@E@@'CF(A8Romega_plugin.Refl_omegaZ44"@A@f@E@@WAM(A8Romega_plugin.Refl_omegaZ4f4uZ4f4@@Af!i@Wk@@[@Z4f4pZ4f4q@@@E@@@B@@AC}@A@@B@Q@A@@A@Q*@@@ABF(@8Romega_plugin.Refl_omegaZ~4F4TZ~4F4e@@Af9!e@W@@Y@Z~4F4OZ~4F4P@@@E@@@B@@A@BB(@8Romega_plugin.Refl_omegaZ}44Z}44-@Q;AfR"e1@W@@V@Z}44Z}44@@"e2@W@@W@[}44[}44@@@F @@@C@@AB@@A@AB?=D@(@8Romega_plugin.Refl_omega[}441[}44E@Q^A#@F@@C@(@8Romega_plugin.Refl_omega,@@A(@F @@CI(@8Romega_plugin.Refl_omega[|33[ |33@QmAf"e1@X@@S@[,|33[-|33@@"e2@X@@T@[5|33[6|33@@@F>@@@C@@AB@@s@ABqoD@(@8Romega_plugin.Refl_omega[B|33[C|34@QA#@FM@@C@(@8Romega_plugin.Refl_omega,@@A(@FR@@C{(@h8Romega_plugin.Refl_omega[Q{33[R{33@QrlAf"e1@XK@@P@[a{33[b{33@@"e2@XO@@Q@[j{33[k{33@@@Fs@@@C@@AB@@@ABD@(@\8Romega_plugin.Refl_omega[w{33[x{33@$A#@F@@C@(@T8Romega_plugin.Refl_omega/@@A(@F@@C(@(8Romega_plugin.Refl_omega[z3d3r[z3d3~@@Af@F@@@@AA(@8Romega_plugin.Refl_omega[y3A3[@A@f@F@@ A(?8Romega_plugin.Refl_omega[f00[f00@Sg@@mnAfn%sigma@R@[]..[]..@@o#env@R@[]..[]..@@p!t@R@[]..[]..@@{!t@WH@@ @[f00[f00@@@F@@@B@@A!C@@DA@@AB@TA@@ASB@@RD@@ABRE@@S C@@AC@R@@@AD@(?8Romega_plugin.Refl_omega[f00B@A#int@@@noCD@F@@%D@(?8Romega_plugin.Refl_omega[f00[f00@@AK@F@@,D@(?8Romega_plugin.Refl_omega[b//[b//@Rmbm)CWt!t@W@@@[b//\b//@@@G@@B@@D?@AB>4D@(?x8Romega_plugin.Refl_omega\ b//\ b/0@@A@G@@ D@(?H8Romega_plugin.Refl_omega\_/+/C\_/+/\@S@@m+n5B}q#cmp@X@@@\%^./ \&^./ @@r"t1@X@@@\.^./\/^./@@s"t2@X@@@\7^./"\8^./$@@@G@@@@uB@D@@A#G@@@AB~@|@AF@@E@@ABC~tH@(?88Romega_plugin.Refl_omega\K_/+/^\L_/+/w@9n?B6@GX@@G@(?,8Romega_plugin.Refl_omega\V_/+/0\W_/+/z@@A=@G_@@G@(>8Romega_plugin.Refl_omega\]a//\^a//@@A@Gf@@@@ABC@(>08Romega_plugin.Refl_omega\g`/{/\h`/{/@@A@Gp@@ C@(> 8Romega_plugin.Refl_omega\ne0M0V\oe0M0s@|CӰu"t1@X@@n@\}c00 \~c00@@v"t2@X @@n@\c00\c00@@@G@@@@A e@Fr@E@@ f@Gs@D@@ABCH@(=8Romega_plugin.Refl_omega\e0M0u\e0M0@SfC0@G@@G@(=8Romega_plugin.Refl_omega\d090>\e0M0@@A7@G@@G@(=8Romega_plugin.Refl_omega\]..@@@@G@@PC@(=l8Romega_plugin.Refl_omega\I,,\I,-@T@@WXAhX#env@T@\D++\D++@@Y!t@T@\D++\D++@@b!i@Yz@@N@\I,,\I,,@@@G@@@B@@AC@@A@@AB@TA@@ATQC@@TpB@@AB@T8@@@AC@(=\8Romega_plugin.Refl_omega\I,-5@@@XYB5@G@@C@(=P8Romega_plugin.Refl_omega\I,,\I,-@@A<@H@@$C@(=8Romega_plugin.Refl_omega\G,z,\G,z,@TAWfBF`!t@Y@@J@] G,z,] G,z,@@@H@@@8@AC7@B60C@(=8Romega_plugin.Refl_omega]G,z,]G,z,@@A@H @@ C@(<8Romega_plugin.Refl_omega]H,,]H,,@T@@WXAja!v@Z*@@L@]/H,,]0H,,@@@H8@@$X@C@@ABYSC@(<8Romega_plugin.Refl_omega]:H,,];H,,@@A@HC@@ C@(<8Romega_plugin.Refl_omega]AF,*,B]BF,*,[@TBZ"t1@Z@@GXA@]PE++]QE+,@@["t2@Z@@HXB@][E+,]\E+,@@@Hd@@P@ g@E@D@@A h@F@C@@BCG@(<8Romega_plugin.Refl_omega]pF,*,]]qF,*,v@rB/@H{@@F@(<|8Romega_plugin.Refl_omega]yF,*,/]zF,*,y@@A6@H@@F@(<<8Romega_plugin.Refl_omega]D++@@@@H@@t@BB@(<8Romega_plugin.Refl_omega]''%]''=@@Ahݰ*"ch@U)3@]%"%1]%"%3@@5!c@Y%@@S@]'' ]''!@@@H@@@B@@A6FS@A@@B@UA@@AUB@@B@U@@@ABH(;8Romega_plugin.Refl_omega]&&]&'@@A(3"t1@YW@@P@]&&]&&@@4"t2@Y[@@Q@]&&]&&@@@H@@)'@D@@AC@@BC)%D#(;8Romega_plugin.Refl_omega]&&]&&@@AJ1"t1@Y@@L@]&&]&&@@2"t2@Y@@M@]&&]&&@@@H@@KI@D@@AC@@BCKGDE(;X8Romega_plugin.Refl_omega]&=&R]&=&@@Al/"t1@Y@@H@]&=&H]&=&J@@0"t2@Y@@I@^&=&K^&=&M@@@I@@mk@D@@AC@@BCmiDg(;8Romega_plugin.Refl_omega^& &^& &<@@A.!t@Y@@E@^& &^ & &@@@I(@@@C@@ABC}(:8Romega_plugin.Refl_omega^+%x%^,%x%@7@@)*A+$comp@Z@@=@^>%?%U^?%?%Y@@,"t1@Z@@?@^G%?%b^H%?%d@@-"t2@Z@@A@^P%?%n^Q%?%p@@@IY@@@D@C@@A@$F@@AB@E@@D@@ABCH@(:8Romega_plugin.Refl_omega^c%x%~^d%x%@@A1@Il@@F(:8Romega_plugin.Refl_omega^k%%^l%& @@A@It@@BŠ(:l8Romega_plugin.Refl_omega^s%%^t%%@@A@I|@@B͠(:@8Romega_plugin.Refl_omegaAA@i@I@@BӠ(:8Romega_plugin.Refl_omega^ $$^ $$@@Ai԰"ch@V@^#,#;^#,#=@@$!n@[:@@@^ $$^ $$@@@I@@@B@@AC@@%GN@A@@AB@@V@@@ACF(98Romega_plugin.Refl_omega^ $X$f^ $X$@@A%#"t1@[d@@@^ $X$a^ $X$c@@@I@@@@A@C@@AB@C(98Romega_plugin.Refl_omega^$$&^$$W@@A=!"t1@[@@@^$$^$$@@""t2@[@@@^$$^$$!@@@I@@!:@D@@AC@@BC@#C@4J@(88Romega_plugin.Refl_omega__@@A !f@\@@B@__@@ "f'@\@@B@__@@@J@@aJ]@I^@AB@VJ@(68Romega_plugin.Refl_omega` 7` H@@A !i@]@@Bj@`  )` *@@ "i'@]@@Bl@` 1` 3@@@K@@}@}@AJ@@I@@ABC@xJ@(58Romega_plugin.Refl_omega`$p@@@@K,@@@@A@B@B@(\6Romega_plugin.G_romega;plugins/romega/g_romega.ml4os@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@ܐ@*PervasivesA1__coq_plugin_name@t@@@JJ%@@@+Ltac_pluginA@%NamesA@*Refl_omegaA@&StdargA+eval_tactic@@O&string@@@)9@)ProofviewA&tacticF$unit@@@<`@@<_:@;8@IQ`dJQ`o@@ -romega_tactic@@E$bool@@@]  A8@I$list@@&StringA!t@@T S@@S A<@)ProofviewA&tacticF$unit@@@Xm@@Xl A=@A> A9@A: A7@WKOWK\@@@@LL@@*Refl_omegaA@LA@AB@@@A@@AkB@@JC@@AB@@C@(6Romega_plugin.G_romegaA@@ @@A@#LocA'located@&ExtendA.ty_user_symbolI$list@@%NamesA"Id@!t@@c_@@_^_@@_^I$list@c@@c^@@^@%NamesA"Id@!t@@^@^^@@^B*TacentriesI@h@@`I@(6Romega_plugin.G_romegaA@@Y@@A@&GenargA$ArgT@#tagG`I`K`@@`bA@@@{J@(6Romega_plugin.G_romega A@@t@@A4bA)@@@I@(D6Romega_plugin.G_romegaj==m@@@]D@@@C@(6Romega_plugin.G_romega$J%J%@F$unit@@@SA@@@@@A@@A@(`6Romega_plugin.G_romega5U.06U.I@@A.$name@@?Q`p@Q`t@@"dp@'DirPathD!t@@c=@NRw}ORw@@ h"kn@'KerNameL!t@@'T'"@]S^S@@ #tac@@+Ltac_pluginA'Tacexpr@0glob_tactic_expr@@*L)@oT pT @@@@@@5B@@A'C@@>A@@D@@ABC@@DA(\6Romega_plugin.G_romegaT T *@AAL@@@@@AB@@C (D6Romega_plugin.G_romegaT  U.I@@AW@ @@ CA(@6Romega_plugin.G_romegaSS@AB`@@@@(@A%@B@@B ( 6Romega_plugin.G_romegaSS@%LabelE!t@@'U)Av@*@@B@( 6Romega_plugin.G_romegaSU.I@@A}@1@@BA(6Romega_plugin.G_romegaRwRw@AA@;@@@K@A@@A (6Romega_plugin.G_romegaRwRw@I$list@,module_ident@@e@@d$KB@U@@A@(6Romega_plugin.G_romegaRwyU.I@@@@\@@!A@(6Romega_plugin.G_romegabb'@x&tacticu@@ Xq@@ Xp XvA &unsafe@@WK]WKc@@ !l@@WKdWKe@@ $tacs@7נ@@AX@@AW AE@@AD A@@XhnXhr@@@@@@!A@@AC@@*B@@AB@A@@A@D@(6Romega_plugin.G_romega)b*b&@&tactic@@ Xy@@ Xx X}AC@@@D@(6Romega_plugin.G_romega>b?b%@@)ProofviewA&tactic X X~@@ X XA[@@@6D@(l6Romega_plugin.G_romegaVc(,Wh;@&tactic@@ Xo@@ Xn XBp@@@KC@(L6Romega_plugin.G_romegakhlh:@@@ X@@ X ] A@@@]C@(<6Romega_plugin.G_romega}a~h;@@A@@@dCA(86Romega_plugin.G_romegaXhu_@AB@@@@m@k@ABj@B (6Romega_plugin.G_romega__@Ġ6 D1 AG@@ AF SB@@@B@(6Romega_plugin.G_romegaXhjh;@@@@"@@B@(6Romega_plugin.G_romega^3V^3@@"PpA!t@@ A D*AŰ !s@% AK@^3<^3=@@@"PpA@A@@@A@@A@A@@A@A@(6Romega_plugin.G_romega^3Z^3@O&string@@@ D+ D0B"@W@@A@(6Romega_plugin.G_romega^3A^3@@A(@^@@AE(6Romega_plugin.G_romega\\ @@A@g@@&A (t6Romega_plugin.G_romega] ] 2@@A@o@@.A(`6Romega_plugin.G_romegaZZ@@A@w@@6A(L6Romega_plugin.G_romega[[@@A @@@>A!(6Romega_plugin.G_romega Y~ ^3@A@@@@FA)(6Romega_plugin.G_romegall@@@ +I#ist@@)GeninterpA+interp_sign@@^q@#A@@@@A@@@@@A@@A@A@@A@A@(6Romega_plugin.G_romega/kRg0kR}@@@@@@^)@8A@@@@A@@@@@ A@@A@A@@A@A@(6Romega_plugin.G_romegaDr5TEr5@@@]d0@/@@c=@MA@@@@A@@@@@ A@@A@ A@@A@A@(6Romega_plugin.G_romegaYqZq2@@@c @@ccB~b!l@_@mA@@@@A@cX@W@@c@uA@@@@A@@@@@ A@@B@@AB@4A@@A@B@(d6Romega_plugin.G_romegaqq2@@@@@@B@@( 7/home/gares/work-area/jscoq/coq-external/coq-v8.8+32bit F/home/gares/work-area/jscoq/coq-external/coq-v8.8+32bit/plugins/romega@IW>m:C(-Romega_pluginP/caml_make_arrayx,caml_obj_tagH@0CamlinternalLazyA@'EConstrA̠ @&BigintA(@&BigintA8X@&BigintA@&BigintAĠ2@&BigintA@&BigintA;0:lA@ܠ@'EConstrA%Z.add\4caml_string_notequalh%Z.mulx %Z.opp&Z.pred%Z.sub̠!ؠ&Z.succ蠠)"Z01$Zneg 9,$Zpos<AH@&BigintA@&OptionAĠ@&BigintAl@&OptionAx@&BigintA@&OptionA@&BigintA|@&OptionA@&BigintA0@&OptionA<@&BigintA@&OptionA@)ProofviewAd$Z.ge$Z.gt̠ؠ$Z.le蠠$Z.lt  #Zne  ,"eq < H l @,ReductionopsA Ԡ@'TacmachA %Z.addT`%Z.mulp|%Z.opp&Z.pred%Z.subĠР&Z.succࠠ젠"Z0$Zneg$$Zpos4 @@&BigintA@&BigintA@&BigintA@&BigintA̠r젠q(@&BigintAL|Ƞ@'EConstrA@&BigintA 0@|@'EConstrA@%NamesA"Z0W $Zneg0_<$ZposLgX@&BigintA@&OptionA$@&BigintAX,ؠ"xH"xI "xO0<@&BigintA@&BigintA@&BigintA@&BigintA@&BigintA@&BigintA@&BigintA<%Z.sub@Р%Z.opp@䠠%Z.mul@%Z.add@ @&BigintA4)T(d'@'EConstrA̠3蠠2$$Npos@D"N0@X$Zneg@l$Zpos@"Z0@"xI@"xO@"xH@Р!Z@䠠%False8#D$TrueT+`#andp3|#iff;#notC"orĠKР@'EConstrA@'EConstrA#nil@@'EConstrA蠠$cons@@'EConstrA @)GlobnamesA 0@'EConstrA H@'EConstrA \ @$UnivA @'EConstrA @$Init@@)Datatypes@@@@ @ @&CoqlibA Ƞ@&GlobalA ܠ!O@!0!S@!D(do_omega@!X1interp_goal_concl@!l'E_SOLVE@!)E_EXTRACT@!'E_SPLIT@!'D_right@!&D_left@!Р)direction@!䠠,O_SPLIT_INEQ@!*O_MERGE_EQ@" %O_SUM@" 2O_NOT_EXACT_DIVIDE@"4(O_DIVIDE@"H.O_BAD_CONSTANT@"\%Tprop@"p$Timp@"$Tand@"#Tor@"$Tnot@")FalseTerm@"Ԡ(TrueTerm@"蠠'NeqTerm@"&GtTerm@#&LtTerm@#$'GeqTerm@#8'LeqTerm@#L&EqTerm@#`+proposition@#t$Tvar@#&Tminus@#$Topp@#%Tmult@#Ġ%Tplus@#ؠ$Tint@#젠!I@$%False@$$True@$("or@$<#not@$P#and@$d'eq_refl@$x%Omega@$@&CoqlibA$@)UniversesA$@'EConstrA$%Omega@$ؠ@&CoqlibA$ࠠ@)UniversesA$𠠑@'EConstrA%%Omega@%@&CoqlibA%$@)UniversesA%4@'EConstrA%D@&CoqlibA%\%Omega@%h@&CoqlibA%p@)UniversesA%@'EConstrA%@'EConstrA%@'EConstrA%ࠠ@'NametabA&ܠ@'EConstrA'@'EConstrA'8@%NamesA'@'NametabA) @%NamesA) @%NamesA)P@$UtilA)p!.@)@*PervasivesA) @) @)Р@'NametabA)䠠@%NamesA)*-ReflOmegaCore@*$&romega@*<#Coq@*L@!Z@@!N@@#Pos@@@@@*\0caml_fresh_oo_id*8Const_omega.DestConstApp@*@#Coq@@%Logic@@)Decidable@@@@@*@&ZOmega@@@*p*̠s*@@#Coq@@%Lists@@$List@@@@@@@++@&CoqlibA+ +,@&CoqlibA+<+H+h@&CoqlibA+x+@@#Coq@@'Numbers@@'BinNums@@@@@@@+@@#Coq@@&ZArith@@&BinInt@@@@@@@+@)UniversesA0ࠠ@$UnivA1 @9Romega_plugin.Const_omegaA5@&BigintA6$@&BigintA8ܠ@B@@@"%s@@8젠@&PrintfA8@LhOK# + @OLi@@@@@@)(%a + %a)@@9,@&PrintfA98@LhOK# * @OLi@@@@@@)(%a * %a)@@9p@&PrintfA9|@LhOK# - @OLi@@@@@@)(%a - %a)@@9@&PrintfA9@K"~ @O@@@$~ %a@@9蠠@&PrintfA9@LVD@@BB@@@@@%V%02d@@:@&PrintfA:$@K"TT@@@"TT@@:p@&PrintfA:|@K"FF@@@"FF@@:@&PrintfA:@OL`B@L`O@@@@@@(%a %s %a@@:젠@&PrintfA:@K$not(@OLi@@@@'not(%a)@@;$@&PrintfA;0@LhOK$ or @OLi@@@@@@*(%a or %a)@@;h@&PrintfA;t@LhOK% and @OLi@@@@@@+(%a and %a)@@;@&PrintfA;@LhOK$ => @OLi@@@@@@*(%a => %a)@@;𠠑@&PrintfA;@K$Prop@@@$Prop@@<@&PrintfA< /caml_make_array<<Ƞ<蠠<𠠓 =(=0=`=x=>>4,caml_obj_tag>D@0CamlinternalLazyA>> > >젠4?T7???Р@?蠠?𠠑@#IntA@,AA| B@ROmega can't solve this system@k@"PpAkȠ@'CErrorsAkࠠ@)ProofviewAlXCll蠠@n@a@mmm@'EConstrAmH@'EConstrAmcnؠ@K & ==================================== @@@ & ==================================== @@o0@&PrintfAo8po\-o0oo蠠p8plpp𠠑qqLq`qqq𠠑rxrrȠrࠠr𠠓 s s<s`6sssܠt tP#t`"t@'TacticsAtt䠠1t0u0@'TacticsAuT@'TacticsAulcuu@'TacticsAu@'TacticsAuĠu䠠@'TacticsAu@L`D@@@@@@# %d@@vH@&PrintfAvPvTv@K(SYSTEME @D@@@LJ@@@@+SYSTEME %d @@w0@&PrintfAw8+ Depend :@w`whw1 Split points :@wwPwȠ@K & ------------------------------------ @@@ & ------------------------------------ @@wࠠ@&PrintfAw蠠x4xLxTxdx@'EConstrAx̠@&BigintAyy @&BigintAy(y4yXy`ypy!yؠz@@K(get_hyp @D@@@@@@*get_hyp %d@@z@&PrintfAzuzz#{ "{H{|,{+{Ƞ||48|D7||}ؠ)find_path@~~0X/x0#8~ )($/,@'EConstrA  Р@*PervasivesA4$`x0caml_int_compare&)ԠU'FailureC.select_smaller@ @@@@@@FؠILO,~\pؠࠠ?@K +=SYSTEM=================================== @@@ +=SYSTEM=================================== @@,@&PrintfA4yL!L@!R@!M@ĠQ,TD@K- Depends on:@@@- Depends on:@@h@&PrintfApĠ @ܠ䠠@K) Path: @B@@@@+ Path: %s@@@&PrintfA#yes@("no@8L@K+ Origin: @B@K, (negated : @B@K#) @@@@@@@> Origin: %s (negated : %s) @@d@&PrintfAl@K# E@D@@@K# : @OL`B@K# 0 @@@@@@@@@0 E%d : %a %s 0 @@䠠@&PrintfA젠FL@K" L@D@@@@@@$ L%d@@@&PrintfA@K" R@D@@@@@@$ R%d@@@&PrintfA@)ProofviewAܠ@'TacmachA@'TacmachA@B@@,@'TacmachA,  @'EConstrA0@K" @B@K": @OLJ@@@@@@) %s: %a @@(@&PrintfA0@K0REIFED PROBLEM @@@0REIFED PROBLEM @@T@&PrintfA\@K) CONCL: @OLJ@@@@, CONCL: %a @@t@&PrintfA| @%LogicA0 @&BigintA@&BigintA%dWl]`c4@j@[I@LiTvy|Ԡ젠P@@BI@Ġܠ@D@@@K$ -> @D@@@LJ@@@@@)%d -> %d @@@&PrintfAj`@K&Atome @D@@@K- non trouvé @@@@@5Atome %d non trouvé @@|@&PrintfARLTX ^ d8 @H̠G@'EConstrA4!=@"<=@$">=@4!>@D!<@T"!=@d@K/Omega Equation @D@@@K. non trouvée @@@@@?Omega Equation %d non trouvée @@Р@&PrintfAؠ;T0Invalid_argumentC(get_prop@Рؠ@'EConstrAQ(LWlZ]ؠ@@預B@p<sl80get_reified_atom@9@'EConstrAR,Lx@K"OV@D@@@@@@$OV%d@@@&PrintfA@&PfeditAl@Lh@D@@BB@@Li@@@@@((%c%02d)@@@&PrintfA@"PpAԠ@'PrinterA𠠐$ := @0@P`"p% # =============================== @.1ࠠ=ENVIRONMENT OF PROPOSITIONS :@𠠑:=@CH6ENVIRONMENT OF TERMS :@XL`OpRUX[@(FeedbackAРXl|@&BigintA@,Omega_pluginAT@#IntAp@'HashtblA@)TacticalsA@)TacticalsAܠ(__goal__@{$ܠv@@8Romega_plugin.Refl_omegaAL@%NamesAl@$ListA@#nat@@(positive@@!N@@!Z@@@@@@!Nࠠ4caml_string_notequal젠!Z #nat$(positive4@-zify_positive@P(zify_nat@d'zify_op@x&zify_N@ "No ROmega knowledge base for type @@*PervasivesA@"PpA@'CErrorsAԠ@&StringA@$UtilA@$ListA,@@'TacticsAP@)TacticalsA\@)TacticalsAt@)ProofviewA@)TacticalsA@)TacticalsA@(PreOmega@@%omega@@#Coq@@@@@̠@%NamesAԠ@$ListA蠠@%NamesA0@+Ltac_pluginAHd-romega_plugin@@%MltopA@-unsafe_romega@@@ؠ@&romega@@@&romega@-,@&romega@@$with@@!*@@@@@d"$l@@%NamesA@&StdargA@&GenargA@#LocA蠠$with@&romega@'romega'@4rD@6Romega_plugin.G_romegaA|Q @A@0(4媖PoW4r۠,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]<=,?/r80ܗ,4(z٢$Pcoq0g[NrԢ;k'Pattern0}ߣB rr=%T&Option0$cLxs:+Opaqueproof0-;"eX;xJDɠ,Omega_plugin0W(ۈ,+Obligations0ֳT j v:rQ#Obj0IyIf.pk-Notation_term0^w8ckg j,Nativevalues0Kї֢.yΥ%*,Nativelambda0zX}]џFm+Nativeinstr0~vՆ*Nativecode0o11ƙXd'Nametab0Ru/݋W%Ƞ%Names0gCwM.t'Nameops0tVih0%Monad0 f( r o5)Mod_subst0-c;7)!Ҫm3L}0/p"py;)Misctypes0깢hH]4Ԡ#Map0P"pV2.砠,Ltac_pretype0.i)bP;,Sa +:0^{g)t{` +Logic_monad0P>]A(j PI6%Logic0s4JAQ Dp5v(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*(Evarutil0+8_72!֠*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)&Bigint0 B4#!1Ҡ+Autorewrite0)>q Er(~頠$Auto0<{Nf ?7i%Array0#Uxkܐ@- ٠ lCܠ0h'-Gݠs:-G:{ޠ6zn^ q f @@@A