3.3.1 Texas Employees Group Benefits Program update