Racetrack betting game based on Lab1 in HFCSharp