Racetrack OTB game based on Lab1 in HFCSharp