With 9 maps proposed, Michigan redistricting heads into final public comment phase