_LIT_thf thf LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_satzd199_def COMMA , lower_word definition COMMA , lower_word l_e_st_eq_landau_n_rt_rp_satzd199 COLON_EQUALS := LPAREN ( CARET ^ LBRKT [ upper_word Xa COLON : lower_word l_e_st_eq_landau_n_rt_rp_dif RBRKT ] COLON : CARET ^ LBRKT [ upper_word Xb COLON : lower_word l_e_st_eq_landau_n_rt_rp_dif RBRKT ] COLON : CARET ^ LBRKT [ upper_word Xc COLON : lower_word l_e_st_eq_landau_n_rt_rp_dif RBRKT ] COLON : LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_tr3eq AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_td AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_td AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ upper_word Xc RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_df AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_df AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_td AT_SIGN @ upper_word Xa AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_td AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_tdeq2a AT_SIGN @ upper_word Xc AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_eqsmsd AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_4d199_t3 AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_4d199_t3 AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2a AT_SIGN @ upper_word Xa RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_tdeq1b AT_SIGN @ upper_word Xa AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_pl AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_ts AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_2b AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb RPAREN ) AT_SIGN @ LPAREN ( lower_word l_e_st_eq_landau_n_rt_rp_1c AT_SIGN @ upper_word Xa AT_SIGN @ upper_word Xb AT_SIGN @ upper_word Xc RPAREN ) RPAREN ) RPAREN ) RPAREN ) RPAREN ) RPAREN ) null RPAREN ) PERIOD .