Methods for proximity effect correction in electron lithography