Gators and Sooners in the final game of Regional baseball in Gainesville