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]).