Supplemental Material for Is Physical Activity Before the End of the Workday a Drain or a Gain? Daily Implications on Work Focus in Regular Exercisers