[(43,(Died "Bid too much" 30 18,("Terminated",Just (2.0e-2,234.84199999999998)))),(99,(Died "Bad reply: " 0 184,("Killed",Just (221.0,229.053)))),(130,(Died "Stepped on lethal" 0 192,("",Just (2.0e-2,228.851)))),(135,(Died "Stepped on lethal" 0 188,("",Just (0.12000000000000001,230.1)))),(139,(Died "Bid too much" 10 14,("",Just (0.13,231.714)))),(156,(Died "Game over" 0 60,("",Just (6.0000000000000005e-2,233.088)))),(157,(Died "Game over" 20 60,("",Just (0.17,234.022)))),(172,(Died "Stepped on lethal" 0 190,("",Just (4.0e-2,235.827)))),(197,(Died "Game over" 20 60,("",Just (0.54,232.541))))]