SEC文件显示，卖方股东计划出售高达4200万股普通股。