history([try, find, slog, 0.324040548659]).
history([try, find, toil, 0.525990057906]).
history([try, find, slog, 0.311082062777]).
history([finish, 0.51078745432]).
history([try, find, toil, 0.522042481836]).
history([try, find, toil, 0.531632073995]).
history([try, find, toil, 0.509034415748]).
history([try, find, slog, 0.321376364744]).
history([try, find, slog, 0.329066428934]).
history([try, find, toil, 0.52387989787]).
history([finish, 0.502528320513]).
history([finish, 0.506884090704]).
history([try, find, slog, 0.335530185988]).
history([finish, 0.51417592344]).
history([finish, 0.496810042983]).
history([finish, 0.501986554556]).
history([try, find, slog, 0.333314571307]).
history([try, find, slog, 0.322303304447]).
history([try, find, toil, 0.512385079006]).
history([finish, 0.506651757271]).
history([finish, 0.526769846554]).
history([finish, 0.512857689211]).
history([finish, 0.503429583587]).
history([finish, 0.511434434261]).
history([try, find, slog, 0.332600773283]).
history([finish, 0.510876090088]).
history([try, find, toil, 0.530952468598]).
history([try, find, slog, 0.352852367135]).
history([finish, 0.510933055795]).
history([try, find, slog, 0.322361839871]).
history([try, find, toil, 0.532969847941]).
history([finish, 0.508597981664]).
history([finish, 0.498815313338]).
history([finish, 0.511004851729]).
history([finish, 0.498286936263]).
history([try, find, toil, 0.538928346049]).
history([try, find, slog, 0.318814967096]).
history([try, find, slog, 0.323100780528]).
history([finish, 0.516203017775]).
history([finish, 0.51216194274]).
history([finish, 0.524842091427]).
history([finish, 0.498416443641]).
history([finish, 0.502580008685]).
history([finish, 0.510807167272]).
history([finish, 0.489912087844]).
history([try, find, slog, 0.3161315846]).
history([finish, 0.504557464122]).
history([finish, 0.513970504803]).
history([try, find, toil, 0.525975738463]).
history([try, find, toil, 0.508280377218]).