Texas Industries Inc $0 HollyFrontier Corp $1,334,603 Texas Industries Inc $0 HollyFrontier Corp $1,334,603