history([finish, 0.481476510787]).
history([try, find, toil, 0.600878738535]).
history([finish, 0.420405774249]).
history([finish, 0.210342187416]).
history([try, find, slog, 0.257540847502]).
history([try, lose, 0.335718184256]).
history([finish, 0.283980230752]).
history([finish, 0.54969455839]).
history([try, find, toil, 0.52493687006]).
history([finish, 0.4473404424]).
history([try, find, slog, 0.366490216564]).
history([try, lose, 0.25265836203]).
history([try, find, toil, 0.76452671813]).
history([try, lose, 0.548028668815]).
history([finish, 0.33111244227]).
history([try, lose, 0.633451832824]).
history([try, lose, 0.572776556949]).
history([finish, 0.65493014287]).
history([finish, 0.511213759816]).
history([try, lose, 0.401232018239]).
history([try, find, slog, 0.767208080098]).
history([finish, 0.746601171247]).
history([try, lose, 0.321336615814]).
history([finish, 0.676691033836]).
history([try, find, slog, 0.358612604538]).
history([try, find, toil, 0.689352741155]).
history([finish, 0.480490897631]).
history([try, lose, 0.480226145822]).
history([try, lose, 0.398552311156]).
history([try, lose, 0.631687041357]).
history([finish, 0.330403763671]).
history([finish, 0.326113152505]).
history([try, lose, 0.787528606548]).
history([finish, 0.404935652263]).
history([finish, 0.455781265171]).
history([try, find, slog, 0.63345869834]).
history([try, lose, 0.440862241701]).
history([finish, 0.328556780859]).
history([finish, 0.552088141059]).
history([try, find, slog, 0.614923147997]).
history([finish, 0.513855633959]).
history([finish, 0.338729654301]).
history([finish, 0.486192773377]).
history([try, find, slog, 0.382107797456]).
history([try, find, slog, 0.429054824912]).
history([try, lose, 0.202532324674]).
history([finish, 0.649046618974]).
history([try, find, toil, 0.515723050562]).
history([finish, 0.405202274597]).
history([try, lose, 0.992564368414]).
history([try, lose, 0.441787703173]).
history([try, find, slog, 0.426781561363]).
history([try, lose, 0.522090035387]).
history([finish, 0.516376868771]).
history([finish, 0.229798497965]).
history([finish, 0.748193594998]).
history([finish, 0.141658199602]).
history([try, lose, 0.603776816078]).
history([try, lose, 0.352889326836]).
history([finish, 0.148016146652]).
history([try, find, toil, 0.442274682956]).
history([finish, 0.485831089178]).
history([try, lose, 0.307315640806]).
history([finish, 0.394541850202]).
history([finish, 0.281463849022]).
history([try, find, slog, 0.312305651563]).
history([try, lose, 0.714840388161]).
history([try, lose, 0.154076931199]).
history([try, lose, 0.143703167605]).
history([try, lose, 0.0463039381185]).
history([finish, 0.475683148208]).
history([try, lose, 0.656147856364]).
history([try, lose, 0.322517821425]).
history([try, lose, 0.711445466171]).
history([try, find, slog, 0.0158340452801]).
history([finish, 0.56645221839]).
history([try, lose, 0.587543194063]).
history([finish, 0.331378511777]).
history([try, lose, 0.418401659572]).
history([try, lose, 0.588316258581]).
history([finish, 0.740661364391]).
history([try, lose, 0.337503201609]).
history([finish, 0.331628348026]).
history([finish, 0.773703988907]).
history([try, lose, 0.236810889633]).
history([finish, 0.304840907273]).
history([finish, 0.349353457563]).
history([try, lose, 0.620818251405]).
history([finish, 1.0]).
history([finish, 0.46634209406]).
history([finish, 0.536296957358]).
history([try, find, slog, 0.706861590479]).
history([finish, 0.347431887195]).
history([try, find, slog, 0.350312420213]).
history([try, find, toil, 0.374382426278]).
history([try, find, slog, 0.461406094479]).
history([try, lose, 0.84678636703]).
history([try, lose, 0.353959751519]).
history([try, find, slog, 0.638216538529]).
history([finish, 0.521687949336]).