[(4,(Died "Game over" 300 19,("",Just (2.0e-2,0.75)))),(5,(Died "Game over" 300 19,("",Just (0.51,0.668)))),(7,(Died "Bad reply: " 160 0,("",Just (2.93,3.18)))),(8,(Died "Game over" 300 2,("",Just (0.14,0.286)))),(9,(Died "Bid too much" 240 0,("Aborted",Just (0.22,0.38)))),(10,(Died "Bid too much" 0 0,("",Just (8.0e-2,0.211)))),(11,(Died "Bid too much" 150 0,("",Just (7.61,7.915)))),(12,(Died "Bid too much" 140 0,("",Just (0.18,0.27)))),(14,(Died "Bid 0" 220 67,("",Just (0.68,0.817)))),(16,(Died "Game over" 300 19,("",Just (3.0e-2,0.751)))),(19,(Died "Bid too much" 220 0,("",Just (0.22000000000000003,0.416)))),(21,(Died "Bad reply: " 180 0,("",Just (2.6999999999999997,2.966)))),(22,(Died "Bid too much" 0 0,("",Just (9.0e-2,0.185)))),(30,(Died "Bid too much" 220 0,("Terminated",Nothing))),(34,(Died "Game over" 300 19,("",Just (6.8,7.022)))),(35,(Died "Bid too much" 260 1,("",Just (4.4,4.887)))),(37,(Died "Bid 0" 220 67,("",Just (1.71,1.906)))),(39,(Died "Game over" 300 7,("",Just (0.69,0.851)))),(42,(Died "Bid too much" 40 1,("",Just (1.1,13.293)))),(43,(Died "Bid too much" 280 0,("Terminated",Just (9.0e-2,0.382)))),(53,(Died "Game over" 300 19,("Broken pipe",Just (0.16,0.281)))),(54,(Died "Bid too much" 260 0,("",Just (0.97,17.072)))),(56,(Died "Game over" 300 19,("",Just (0.56,0.718)))),(57,(Died "Game over" 300 2,("",Just (4.0e-2,0.198)))),(60,(Died "Bid too much" 220 0,("",Just (0.13,0.242)))),(61,(Died "Bid too much" 160 0,("",Just (0.22,0.375)))),(63,(Died "Bad reply: " 190 0,("",Just (3.0e-2,15.997)))),(65,(Died "Game over" 300 19,("",Just (0.15000000000000002,0.285)))),(66,(Died "Bid too much" 110 0,("Missing log",Nothing))),(67,(Died "Game over" 300 11,("Segmentation fault",Just (0.25,0.375)))),(68,(Died "Game over" 300 19,("",Just (0.76,1.107)))),(73,(Died "Bid too much" 260 0,("",Just (1.04,17.072)))),(74,(Died "Bid too much" 260 0,("",Just (0.35,0.443)))),(76,(Died "Bid too much" 260 0,("",Just (0.11,16.152)))),(78,(Died "Game over" 300 15,("",Just (8.0e-2,0.213)))),(81,(Died "Bad reply: Player" 80 0,("",Just (0.44,16.465)))),(84,(Died "Game over" 300 7,("",Just (1.06,1.208)))),(86,(Died "Bid too much" 220 0,("",Just (0.17,0.321)))),(87,(Died "Bid too much" 40 0,("",Just (0.67,0.785)))),(88,(Died "Game over" 300 19,("",Just (0.2,0.351)))),(90,(Died "Bid too much" 0 0,("",Just (0.53,0.711)))),(94,(Died "Bid too much" 260 0,("",Just (2.49,2.641)))),(95,(Died "Game over" 300 19,("",Just (0.2,0.302)))),(97,(Died "Game over" 300 2,("Broken pipe",Just (4.0e-2,0.158)))),(98,(Died "Bid too much" 180 0,("",Just (0.4,16.452)))),(99,(Died "Game over" 300 19,("",Just (1.72,1.892)))),(100,(Died "Bid too much" 260 0,("",Just (0.74,1.01)))),(101,(Died "Bid too much" 160 0,("",Just (3.0e-2,12.431)))),(105,(Died "Bad reply: " 0 368,("Segmentation fault",Just (115.15,115.21600000000001)))),(107,(Died "Bid too much" 260 0,("",Just (9.0e-2,0.237)))),(110,(Died "Bad reply: " 260 0,("",Just (3.4299999999999997,27.195)))),(111,(Died "Bid too much" 280 0,("Segmentation fault",Just (7.0e-2,0.197)))),(113,(Died "Bid 0" 220 0,("",Just (2.01,2.173)))),(115,(Died "Bid too much" 220 0,("",Just (0.51,0.753)))),(116,(Died "Bid too much" 260 0,("",Just (0.2,0.32)))),(117,(Died "Game over" 300 19,("",Just (5.0e-2,0.15)))),(118,(Died "Bid too much" 220 0,("",Just (1.1300000000000001,1.313)))),(119,(Died "Bid too much" 0 0,("",Just (0.14,0.303)))),(121,(Died "Game over" 300 19,("",Just (0.52,0.624)))),(122,(Died "Game over" 300 19,("",Just (4.22,4.358)))),(130,(Died "Bid too much" 220 0,("",Just (0.1,0.225)))),(135,(Died "Game over" 300 19,("",Just (0.55,0.758)))),(138,(Died "Bad reply: " 180 0,("",Just (0.47,0.594)))),(139,(Died "Bid too much" 240 0,("",Just (0.52,0.632)))),(141,(Died "Bid too much" 120 1,("",Just (3.0e-2,0.129)))),(142,(Died "Game over" 300 19,("Terminated",Just (4.22,10.087)))),(145,(Died "Bid too much" 80 0,("",Just (0.32,0.591)))),(148,(Died "Game over" 300 19,("",Just (3.92,19.166)))),(149,(Died "Bid too much" 220 0,("",Just (0.48,0.605)))),(150,(Died "Bid too much" 220 0,("",Just (10.440000000000001,10.567)))),(153,(Died "Bad reply: " 0 400,("",Just (0.37,0.391)))),(156,(Died "Bad reply: " 0 0,("",Just (0.2,0.311)))),(157,(Died "Bid too much" 240 0,("",Just (0.75,0.969)))),(159,(Died "Game over" 300 17,("",Just (2.0e-2,15.382)))),(160,(Died "Bid too much" 0 0,("Terminated",Just (0.16999999999999998,0.34)))),(161,(Died "Bid too much" 260 0,("",Just (280.94000000000005,281.128)))),(162,(Died "Bid too much" 260 0,("",Just (4.55,4.837)))),(163,(Died "Bid too much" 220 0,("",Just (0.37,0.541)))),(165,(Died "Bid too much" 220 0,("",Just (0.6000000000000001,0.801)))),(167,(Died "Bid too much" 250 0,("",Just (0.8500000000000001,1.051)))),(168,(Died "Bid too much" 220 0,("",Just (0.9,1.307)))),(169,(Died "Game over" 300 2,("",Just (2.05,2.246)))),(170,(Died "Bid too much" 200 0,("",Just (0.89,1.333)))),(172,(Died "Game over" 300 19,("Broken pipe",Just (0.11,15.342)))),(173,(Died "Game over" 300 11,("",Just (0.47,23.873)))),(175,(Died "Game over" 300 17,("",Just (1.25,1.733)))),(176,(Died "Bid too much" 260 0,("",Just (5.140000000000001,5.358)))),(177,(Died "Bid 0" 220 0,("",Just (1.96,2.163)))),(178,(Died "Bid too much" 0 0,("",Just (2.0e-2,5.0e-2)))),(179,(Died "Bid too much" 200 0,("",Just (0.92,1.054)))),(180,(Died "Bid too much" 0 0,("Broken pipe",Just (1.29,1.506)))),(182,(Died "Game over" 300 2,("",Just (0.38,0.51)))),(185,(Died "Bid too much" 260 0,("",Just (4.92,5.068)))),(188,(Died "Game over" 300 6,("",Just (0.19,1.31)))),(189,(Died "Bid too much" 0 0,("",Nothing))),(191,(Died "Bid too much" 260 0,("Broken pipe",Just (0.39999999999999997,0.53)))),(192,(Died "Bad reply: " 220 0,("",Just (3.0e-2,16.037)))),(193,(Died "Game over" 300 19,("",Just (7.0e-2,0.208)))),(194,(Died "Bid too much" 220 0,("",Just (0.73,1.053)))),(195,(Died "Bid too much" 160 0,("",Just (0.89,1.044)))),(196,(Died "Bid too much" 80 0,("",Just (7.63,23.672)))),(197,(Died "Game over" 300 19,("",Just (0.53,0.873)))),(199,(Died "Game over" 300 17,("Missing log",Nothing))),(201,(Died "Bid too much" 200 0,("",Just (8.85,9.035)))),(202,(Died "Bid too much" 290 0,("",Just (2.55,2.724)))),(204,(Died "Bad reply: " 0 400,("",Just (0.1,0.161)))),(205,(Died "Bid too much" 220 0,("",Just (3.25,3.37)))),(206,(Died "Bid too much" 80 0,("",Just (2.0e-2,16.011)))),(207,(Died "Bad reply: " 280 3,("",Just (0.12,0.301)))),(208,(Died "Game over" 300 18,("",Just (0.78,1.046)))),(209,(Died "Game over" 300 5,("Broken pipe",Just (0.13,0.267)))),(210,(Died "Bid too much" 120 0,("",Just (0.47,1.075)))),(216,(Died "Bid too much" 220 0,("",Just (10.780000000000001,19.432)))),(217,(Died "Bad reply: " 0 400,("",Just (3.0e-2,4.0e-2)))),(218,(Died "Bid too much" 220 0,("",Just (0.11,0.214)))),(220,(Died "Game over" 300 19,("",Just (0.67,0.817)))),(221,(Died "Bid too much" 220 0,("",Just (0.35,16.403)))),(222,(Died "Game over" 300 13,("",Just (10.78,10.973)))),(223,(Died "Bid too much" 260 0,("Broken pipe",Just (7.0e-2,0.197)))),(225,(Died "Bid too much" 250 0,("",Just (0.49,16.554)))),(226,(Died "Bid too much" 280 0,("",Just (2.8,2.9)))),(227,(Died "Bid too much" 200 0,("",Just (1.29,1.438)))),(228,(Died "Bid too much" 260 0,("Segmentation fault",Just (0.1,0.79)))),(231,(Died "Bid too much" 220 0,("",Just (0.78,1.06)))),(235,(Died "Game over" 300 16,("",Just (0.19,1.032)))),(237,(Died "Bad reply: " 0 400,("",Just (411.03,441.481)))),(241,(Died "Bid too much" 0 0,("",Just (260.56,412.582)))),(246,(Died "Game over" 300 19,("",Just (0.23,0.424)))),(248,(Died "Bid 0" 230 0,("Terminated",Just (2.0e-2,0.945)))),(249,(Died "Game over" 300 19,("",Just (0.15000000000000002,0.291)))),(250,(Died "Bid too much" 0 0,("Terminated",Just (0.38,80.55)))),(251,(Died "Bid too much" 210 0,("Terminated",Just (6.069999999999999,6.421)))),(254,(Died "Bid too much" 0 0,("",Just (8.0e-2,0.155)))),(255,(Died "Game over" 300 1,("",Just (9.0e-2,15.733)))),(258,(Died "Game over" 300 11,("",Just (2.67,3.522)))),(259,(Died "Bid too much" 200 0,("",Just (9.0e-2,0.223)))),(260,(Died "Bid too much" 180 0,("",Just (3.0e-2,16.071)))),(261,(Died "Stepped on lethal" 20 3,("",Just (7.0e-2,0.218)))),(265,(Died "Bad reply: " 0 400,("",Just (0.24,0.251)))),(266,(Died "Game over" 300 2,("",Just (5.0e-2,0.187)))),(267,(Died "Bid too much" 220 0,("",Just (0.12000000000000001,0.248)))),(269,(Died "Bid too much" 280 0,("Terminated",Nothing))),(270,(Died "Bid too much" 90 0,("",Just (412.37,412.556)))),(271,(Died "Bad reply: " 0 389,(". . . . . . . . /home/hallgren/bin/suplayer: line 6: 30069 Killed",Just (411.0,411.07)))),(272,(Died "Game over" 300 19,("Broken pipe",Just (19.17,19.181)))),(273,(Died "Bid too much" 100 2,("",Just (6.0e-2,0.127)))),(276,(Died "Bid too much" 0 12,("",Just (2.0e-2,2.199)))),(277,(Died "Game over" 300 17,("",Just (2.87,18.192)))),(278,(Died "Game over" 300 19,("",Just (2.5,2.663)))),(285,(Died "Bid too much" 0 0,("",Just (404.84,420.922)))),(288,(Died "Bad reply: " 0 400,("",Just (8.0e-2,0.389)))),(289,(Died "Bid too much" 220 0,("",Just (6.92,6.993)))),(290,(Died "Game over" 300 19,("",Just (0.7,1.128)))),(291,(Died "Bid too much" 80 0,("",Just (84.05,84.274)))),(292,(Died "Bid 0" 0 0,("",Just (0.54,0.631)))),(293,(Died "Bid too much" 0 3,("",Just (8.0e-2,0.164)))),(294,(Died "Bid too much" 280 0,("",Just (9.0e-2,0.167)))),(295,(Died "Bad reply: " 0 383,("",Just (411.03,411.19100000000003))))]