read ArithFormulas: SeferAE(40,8000): quit: