Computing weight 1 forms -- a p-adic approach