The big six formula is equal to the simple average of the premiums of six benefit plans: the two government-wide plans (the service benefit plan and the indemnity plan), and the two employee organization plans and the two comprehensive medical plans with the highest enrollment. The average is...