history([finish, 0.0275590443586]).
history([finish, 0.135933149128]).
history([try, find, toil, 0.674810694428]).
history([try, find, slog, 0.197869411661]).
history([try, find, slog, 0.275107532437]).
history([try, find, slog, 0.0793928105512]).
history([finish, 0.217753508274]).
history([finish, 0.105133369284]).
history([try, find, toil, 0.767080388718]).
history([finish, 0.140719080776]).
history([finish, 0.135146030586]).
history([finish, 0.179556481883]).
history([try, lose, 0.0184129655674]).
history([try, find, slog, 0.268528474445]).
history([try, lose, 0.116040855956]).
history([try, find, slog, 0.141388880202]).
history([finish, 0.401674887878]).
history([finish, 0.233270898059]).
history([finish, 0.0934002971747]).
history([try, find, toil, 0.737383322141]).
history([try, find, toil, 0.884528095199]).
history([try, find, slog, 0.391057707849]).
history([try, find, slog, 0.217752237316]).
history([finish, 0.29789236305]).
history([try, find, toil, 0.828903576749]).
history([finish, 0.0313978611048]).
history([try, find, slog, 0.117121799508]).
history([finish, 0.0]).
history([finish, 0.130669655264]).
history([finish, 0.0688295856985]).
history([finish, 0.148136786015]).
history([try, find, toil, 0.772518464862]).
history([finish, 0.0806560383448]).
history([try, find, toil, 0.738403601426]).
history([try, find, slog, 0.280382051161]).
history([try, lose, 0.0245273488191]).
history([try, find, toil, 0.844988466548]).
history([finish, 0.285128850555]).
history([try, find, toil, 0.71405099447]).
history([finish, 0.207951320631]).
history([finish, 0.164373641958]).
history([finish, 0.385893192644]).
history([finish, 0.22285196516]).
history([finish, 0.261762713766]).
history([try, find, toil, 0.546873924743]).
history([finish, 0.197451254141]).
history([try, lose, 0.0]).
history([finish, 0.167238954141]).
history([finish, 0.284481633599]).
history([finish, 0.113533845004]).