history([finish, 0.522849450747]).
history([try, find, toil, 0.501796729734]).
history([finish, 0.512843763104]).
history([try, find, toil, 0.534035758364]).
history([finish, 0.499550833514]).
history([try, find, toil, 0.512629691909]).
history([try, find, toil, 0.513534058084]).
history([try, find, toil, 0.520095848084]).
history([try, find, slog, 0.333237609998]).
history([try, find, toil, 0.533783714005]).
history([finish, 0.492575614879]).
history([finish, 0.493164840378]).
history([try, find, slog, 0.340697072755]).
history([finish, 0.504673139157]).
history([try, find, slog, 0.310596475928]).
history([finish, 0.508857950033]).
history([finish, 0.522063348115]).
history([try, find, slog, 0.333527191495]).
history([finish, 0.504778245028]).
history([try, find, slog, 0.320556835532]).
history([finish, 0.50981230165]).
history([finish, 0.502232799348]).
history([try, find, slog, 0.325323863322]).
history([finish, 0.529067386195]).
history([try, find, toil, 0.527123005539]).
history([try, find, slog, 0.320507254552]).
history([try, find, slog, 0.325564845232]).
history([try, find, toil, 0.506312793165]).
history([try, find, slog, 0.333980863705]).
history([try, find, slog, 0.324798601326]).
history([try, find, slog, 0.33881474513]).
history([try, find, toil, 0.514603570632]).
history([finish, 0.520654396994]).
history([finish, 0.523633437751]).
history([finish, 0.503434009284]).
history([finish, 0.488838509891]).
history([finish, 0.519187647022]).
history([try, find, slog, 0.324625949602]).
history([finish, 0.523940596118]).
history([try, find, slog, 0.339069820161]).
history([try, find, slog, 0.341816597777]).
history([finish, 0.518838583304]).
history([finish, 0.521602987098]).
history([try, find, slog, 0.340929789917]).
history([try, find, toil, 0.51109278374]).
history([finish, 0.514756258954]).
history([try, find, slog, 0.320933140823]).
history([try, find, toil, 0.520810511787]).
history([finish, 0.508185281438]).
history([finish, 0.507549551517]).