the 100th woman just crossed the finish line so here are the top 100 runners in both races and their split times for those interested:
https://docs.google.com/spreadsheets/d/1Z41gDcWa9myfbMtwdd31lSyZQ9nYWPB1ddDnUUKDK7Q/edit?usp=sharing
click the tabs at the bottom to switch between men and women. note that these are the top 100 at this moment, someone else could sneak onto this list in a later corral who hasn't finished yet -- though i'll update the sheet later