amanda ran 4 laps around the school track. Clifford ran half as many laps as brian ran. Together the 3 friends ran 13 laps. How many laps did bryan run