history([finish, 0.595482272553]).
history([finish, 0.534224206957]).
history([try, lose, 0.535253986062]).
history([finish, 0.447347541957]).
history([try, find, toil, 0.347161030616]).
history([finish, 0.439743061628]).
history([finish, 0.851076884019]).
history([finish, 0.291537729859]).
history([try, find, toil, 0.0]).
history([finish, 0.968429406849]).
history([finish, 0.482248489529]).
history([try, lose, 0.319039237346]).
history([finish, 0.16476892675]).
history([finish, 0.271900140357]).
history([try, find, slog, 0.801051636919]).
history([finish, 0.314372144568]).
history([try, lose, 0.476565570195]).
history([finish, 0.583987241865]).
history([finish, 0.397171545664]).
history([try, find, slog, 0.383487541113]).
history([try, find, slog, 0.663998453325]).
history([finish, 0.361166743715]).
history([try, find, toil, 0.259808111648]).
history([try, find, toil, 0.578778054933]).
history([finish, 0.752108239882]).
history([finish, 0.530228870303]).
history([finish, 0.610353271156]).
history([try, lose, 0.231343478093]).
history([finish, 0.431667924579]).
history([finish, 0.396127015127]).
history([finish, 0.618089649326]).
history([try, lose, 0.418537803794]).
history([finish, 0.487194848202]).
history([finish, 0.670436261896]).
history([finish, 0.105856207895]).
history([try, find, slog, 0.845718976687]).
history([finish, 0.389128176138]).
history([finish, 0.462875246184]).
history([finish, 0.337947675854]).
history([finish, 0.423296825718]).
history([finish, 0.79045260271]).
history([try, lose, 0.593382323539]).
history([try, find, toil, 0.624643843307]).
history([finish, 0.775104998811]).
history([finish, 0.166376485818]).
history([finish, 0.472093806749]).
history([finish, 0.596067633733]).
history([try, lose, 0.646306204738]).
history([finish, 0.541755233548]).
history([finish, 0.543735247996]).
history([try, find, toil, 0.250755594652]).
history([finish, 0.598164214645]).
history([try, find, slog, 0.361726377583]).
history([finish, 0.875825672154]).
history([finish, 0.412353443447]).
history([finish, 0.0621647412273]).
history([try, find, toil, 0.416225732143]).
history([finish, 0.775701730786]).
history([try, find, slog, 0.768739991536]).
history([try, lose, 0.573318437556]).
history([finish, 0.774921313109]).
history([try, lose, 0.275951847866]).
history([try, find, slog, 0.411880847578]).
history([try, lose, 0.357754933861]).
history([finish, 0.291349490277]).
history([try, find, toil, 0.540425689565]).
history([finish, 0.470324283331]).
history([try, lose, 0.290129355795]).
history([try, find, slog, 0.620306217298]).
history([try, lose, 0.731141544272]).
history([finish, 0.447197783413]).
history([try, lose, 0.991579294849]).
history([try, lose, 0.372032208084]).
history([finish, 0.287611625568]).
history([try, lose, 0.505604006667]).
history([finish, 0.276959342001]).
history([finish, 0.402130853432]).
history([finish, 0.204270027651]).
history([finish, 0.523041299721]).
history([try, find, toil, 0.421619161799]).
history([finish, 0.606585648391]).
history([finish, 0.310097663971]).
history([try, lose, 0.610894151707]).
history([try, lose, 0.672813408]).
history([try, find, slog, 0.635615541612]).
history([finish, 0.443675431341]).
history([try, find, slog, 0.742855771027]).
history([try, find, slog, 0.395190715592]).
history([try, find, slog, 0.591111536123]).
history([finish, 0.353162713476]).
history([finish, 0.159131496804]).
history([try, find, slog, 0.445926651242]).
history([finish, 0.488568373999]).
history([finish, 0.389217795175]).
history([finish, 0.226739816991]).
history([try, find, slog, 0.339756468495]).
history([try, lose, 0.453870901502]).
history([try, lose, 0.768627268539]).
history([finish, 0.46967862964]).
history([try, lose, 0.140218573811]).