Set Printing Width 999999.
Redirect "redirect_test" Check nat_ind.