history([try, find, toil, 0.546850775617]).
history([try, find, toil, 0.505883601592]).
history([try, find, toil, 0.512029627695]).
history([try, find, slog, 0.339722809168]).
history([finish, 0.497858920006]).
history([try, find, toil, 0.509493422358]).
history([try, find, slog, 0.331712232233]).
history([try, find, slog, 0.326313194041]).
history([try, find, slog, 0.329726413231]).
history([finish, 0.50835752734]).
history([try, find, slog, 0.325427657389]).
history([finish, 0.533496030571]).
history([try, find, toil, 0.515577368515]).
history([try, find, slog, 0.34022072614]).
history([try, find, toil, 0.513352505455]).
history([try, find, slog, 0.339572148457]).
history([try, find, slog, 0.325018488664]).
history([try, find, slog, 0.344767383643]).
history([finish, 0.487817835712]).
history([try, find, toil, 0.510529923585]).
history([finish, 0.52942774893]).
history([try, find, slog, 0.334784516519]).
history([try, find, slog, 0.319084407125]).
history([finish, 0.497356800715]).
history([finish, 0.517492167322]).
history([try, lose, 0.00642065642539]).
history([finish, 0.498709561407]).
history([try, find, slog, 0.326815439255]).
history([try, find, toil, 0.521376446888]).
history([finish, 0.51726974876]).
history([finish, 0.516649761908]).
history([finish, 0.524739224412]).
history([try, find, slog, 0.342819324925]).
history([finish, 0.500024212831]).
history([try, find, slog, 0.310975425786]).
history([try, find, slog, 0.344821740859]).
history([try, find, slog, 0.335854242676]).
history([try, find, slog, 0.323294564952]).
history([finish, 0.50145991163]).
history([finish, 0.528418787783]).
history([try, find, slog, 0.327557415647]).
history([try, find, toil, 0.525424644904]).
history([finish, 0.53296386961]).
history([try, find, toil, 0.53395190293]).
history([try, find, slog, 0.332270967787]).
history([try, find, slog, 0.335025449318]).
history([finish, 0.501639731427]).
history([try, find, toil, 0.51211960291]).
history([finish, 0.499541511896]).
history([try, find, toil, 0.523235720921]).
history([finish, 0.515978225868]).
history([finish, 0.510731534267]).
history([finish, 0.507743179171]).
history([try, find, toil, 0.523183145778]).
history([try, find, slog, 0.333926226372]).
history([finish, 0.517673781368]).
history([finish, 0.513158222988]).
history([finish, 0.498377455667]).
history([try, find, slog, 0.335299667741]).
history([finish, 0.503124993899]).
history([try, find, slog, 0.317971461904]).
history([try, find, slog, 0.322153796237]).
history([finish, 0.508586573869]).
history([finish, 0.513931258392]).
history([finish, 0.496207887508]).
history([finish, 0.50090046071]).
history([try, find, slog, 0.3187413521]).
history([finish, 0.518117416099]).
history([finish, 0.513175976805]).
history([finish, 0.523023663299]).
history([try, find, toil, 0.507691506142]).
history([finish, 0.512355654607]).
history([try, find, toil, 0.499193000588]).
history([finish, 0.514428996961]).
history([try, find, toil, 0.531901858702]).
history([finish, 0.513105391229]).
history([try, find, slog, 0.344424409691]).
history([finish, 0.521199079792]).
history([finish, 0.506823678293]).
history([try, find, toil, 0.525976286873]).
history([finish, 0.516033153189]).
history([try, find, toil, 0.517222924015]).
history([finish, 0.516430389637]).
history([try, find, slog, 0.330643119876]).
history([finish, 0.505729067713]).
history([finish, 0.503767019774]).
history([try, lose, 0.0105531340502]).
history([try, find, slog, 0.329246674298]).
history([try, find, toil, 0.513701498176]).
history([try, find, slog, 0.342684471127]).
history([finish, 0.51771726764]).
history([try, find, slog, 0.327698265153]).
history([try, find, toil, 0.513406442391]).
history([try, find, toil, 0.53332303519]).
history([try, find, slog, 0.339775980255]).
history([try, find, slog, 0.323681703953]).
history([try, lose, 0.0104173187759]).
history([finish, 0.503422810623]).
history([finish, 0.519247836709]).
history([finish, 0.50999665396]).
history([try, find, toil, 0.523894047508]).
history([finish, 0.522806625562]).
history([try, find, slog, 0.319100683153]).
history([finish, 0.513436324727]).
history([try, find, slog, 0.331038974319]).
history([try, find, slog, 0.324981471043]).
history([finish, 0.501011579183]).
history([finish, 0.511359779057]).
history([try, find, toil, 0.525147199332]).
history([finish, 0.505639403562]).
history([try, find, slog, 0.344067745033]).
history([try, find, toil, 0.526141787379]).
history([try, find, slog, 0.321149396048]).
history([finish, 0.499721184521]).
history([try, find, toil, 0.515625319501]).
history([finish, 0.525814765378]).
history([try, find, toil, 0.521580801404]).
history([finish, 0.515255772602]).
history([finish, 0.516885452188]).
history([finish, 0.495881765832]).
history([try, find, toil, 0.520500637307]).
history([finish, 0.514032857603]).
history([finish, 0.500261638177]).
history([try, find, toil, 0.524630112099]).
history([finish, 0.508325572784]).
history([finish, 0.505583094159]).
history([finish, 0.520298342997]).
history([finish, 0.514436247076]).
history([finish, 0.532994573221]).
history([finish, 0.510605548812]).
history([try, find, slog, 0.34294796209]).
history([try, find, toil, 0.512019555702]).
history([finish, 0.52427367848]).
history([try, find, slog, 0.324929634016]).
history([try, find, slog, 0.327395335042]).
history([finish, 0.523133718948]).
history([finish, 0.509273165129]).
history([finish, 0.513779362434]).
history([finish, 0.520587429804]).
history([finish, 0.494101581566]).
history([finish, 0.508597145369]).
history([finish, 0.522778718815]).
history([try, find, slog, 0.326216343579]).
history([try, find, toil, 0.512338215905]).
history([try, find, slog, 0.310654571366]).
history([try, find, toil, 0.523148420562]).
history([finish, 0.500140319502]).
history([finish, 0.490039820726]).
history([finish, 0.522784291014]).
history([finish, 0.509411761278]).
history([try, find, toil, 0.52012941316]).
history([try, find, toil, 0.52442304155]).
history([try, find, slog, 0.324460282086]).
history([finish, 0.513365970716]).
history([try, find, slog, 0.313669963085]).
history([finish, 0.503446756831]).
history([finish, 0.518762019298]).
history([finish, 0.514368147066]).
history([try, find, toil, 0.523147528627]).
history([finish, 0.502072331431]).
history([finish, 0.509773456261]).
history([finish, 0.500755255933]).
history([try, find, toil, 0.514241661013]).
history([try, find, slog, 0.326195369662]).
history([try, find, slog, 0.335267090198]).
history([try, find, toil, 0.518650983897]).
history([finish, 0.525178159971]).
history([finish, 0.51711012457]).
history([try, find, toil, 0.510044848217]).
history([finish, 0.511264814126]).
history([try, find, slog, 0.308988172428]).
history([finish, 0.510695803308]).
history([finish, 0.521699461502]).
history([finish, 0.536309498003]).
history([try, find, slog, 0.322496239686]).
history([try, find, slog, 0.321058723449]).
history([try, find, toil, 0.520707892894]).
history([try, find, slog, 0.316202710653]).
history([try, find, slog, 0.3157733935]).
history([try, find, toil, 0.525644464886]).
history([try, find, toil, 0.533991284719]).
history([try, find, slog, 0.328065598409]).
history([finish, 0.505463859542]).
history([finish, 0.516655342382]).
history([finish, 0.507050487344]).
history([finish, 0.500609565608]).
history([finish, 0.523178150032]).
history([try, find, toil, 0.532298123424]).
history([finish, 0.515219428633]).
history([finish, 0.53212227426]).
history([finish, 0.508333804802]).
history([try, find, slog, 0.326277500814]).
history([try, find, toil, 0.535650765324]).
history([finish, 0.522935501217]).
history([try, find, slog, 0.339637192178]).
history([finish, 0.507692036993]).
history([finish, 0.505526692309]).
history([try, find, slog, 0.352572457404]).
history([finish, 0.515498201338]).
history([finish, 0.505260461185]).
history([finish, 0.49983729009]).
history([finish, 0.50718546564]).
history([finish, 0.508993735539]).
history([try, find, slog, 0.320527589632]).
history([try, find, toil, 0.537889423652]).
history([finish, 0.499698683273]).
history([try, find, slog, 0.32501556569]).
history([try, find, slog, 0.338887651372]).
history([try, find, slog, 0.328928176863]).
history([finish, 0.499908587366]).
history([try, find, toil, 0.520483065488]).
history([finish, 0.514166586362]).
history([finish, 0.50716642286]).
history([try, find, toil, 0.51582138697]).
history([finish, 0.51143566937]).
history([finish, 0.511215863756]).
history([finish, 0.498335022003]).
history([finish, 0.498545776742]).
history([try, find, toil, 0.524089894748]).
history([try, find, toil, 0.530636028768]).
history([finish, 0.517398541648]).
history([try, find, slog, 0.333023824736]).
history([try, find, slog, 0.326514932818]).
history([try, find, toil, 0.539325631112]).
history([finish, 0.508941853036]).
history([finish, 0.52188279754]).
history([try, find, toil, 0.518761351221]).
history([finish, 0.515356157819]).
history([try, find, slog, 0.327814302926]).
history([try, find, toil, 0.528367550449]).
history([finish, 0.503155419169]).
history([finish, 0.508691328251]).
history([finish, 0.517865982079]).
history([finish, 0.511518408585]).
history([finish, 0.497605836306]).
history([try, find, toil, 0.535483645484]).
history([try, find, toil, 0.527223187489]).
history([try, find, toil, 0.528711438878]).
history([finish, 0.492778123308]).
history([try, find, slog, 0.325996581451]).
history([try, find, slog, 0.322430892073]).
history([try, find, slog, 0.346619459327]).
history([try, find, slog, 0.322762196354]).
history([try, find, slog, 0.333595903278]).
history([finish, 0.503718952731]).
history([finish, 0.506376651742]).
history([try, find, toil, 0.511716787783]).
history([try, find, toil, 0.520611031533]).
history([finish, 0.509241143832]).
history([finish, 0.500744101533]).
history([finish, 0.500325563439]).
history([try, find, slog, 0.313527205645]).
history([finish, 0.499033386561]).
history([try, find, toil, 0.527670421359]).
history([try, find, toil, 0.521558314468]).
history([try, find, toil, 0.525093203283]).
history([finish, 0.502655052986]).
history([finish, 0.513391797353]).
history([finish, 0.499162959971]).
history([finish, 0.505132532912]).
history([try, find, slog, 0.32667385224]).
history([finish, 0.505230553583]).
history([finish, 0.50390972061]).
history([try, find, slog, 0.323973611963]).
history([finish, 0.510304887623]).
history([try, find, toil, 0.516489986091]).
history([finish, 0.515381005697]).
history([finish, 0.489107452107]).
history([try, find, toil, 0.532564479505]).
history([finish, 0.522973938621]).
history([finish, 0.510350286699]).
history([try, find, toil, 0.538897148681]).
history([finish, 0.505087428895]).
history([finish, 0.524389256474]).
history([finish, 0.510420722118]).
history([finish, 0.502641642311]).
history([try, find, toil, 0.510043012867]).
history([try, find, slog, 0.33299903417]).
history([try, lose, 0.00977889544603]).
history([finish, 0.504058946903]).
history([try, find, toil, 0.521054952327]).
history([try, find, slog, 0.322118373603]).
history([try, find, toil, 0.52343608224]).
history([try, find, toil, 0.509937285281]).
history([try, find, toil, 0.532096432618]).
history([try, find, toil, 0.525082022451]).
history([finish, 0.513397232566]).
history([finish, 0.525546797901]).
history([finish, 0.500487561039]).
history([try, find, toil, 0.506234892354]).
history([try, find, slog, 0.321961238542]).
history([try, find, slog, 0.334817495018]).
history([finish, 0.513388581972]).
history([finish, 0.512466913182]).
history([finish, 0.519268285179]).
history([try, find, slog, 0.317796884968]).
history([try, find, slog, 0.319043741771]).
history([try, find, slog, 0.333117519852]).
history([finish, 0.517702229459]).
history([finish, 0.517020103383]).
history([finish, 0.506735666421]).
history([finish, 0.536984199919]).
history([finish, 0.518249692527]).
history([finish, 0.520269509054]).
history([finish, 0.512675248048]).
history([finish, 0.510386038743]).
history([try, find, toil, 0.535076483655]).
history([try, find, toil, 0.524175602054]).
history([finish, 0.502576740585]).
history([finish, 0.511747902383]).
history([finish, 0.532120330738]).
history([finish, 0.507983676416]).
history([finish, 0.513422106903]).
history([try, find, toil, 0.519780419773]).
history([try, find, toil, 0.515498876901]).
history([try, find, toil, 0.511144351509]).
history([finish, 0.495215761006]).
history([try, find, slog, 0.332145930604]).
history([finish, 0.520667198365]).
history([finish, 0.513581367435]).
history([finish, 0.519071576516]).
history([try, find, toil, 0.519126240864]).
history([finish, 0.509055373873]).
history([try, find, toil, 0.518233761282]).
history([finish, 0.496448003559]).
history([finish, 0.502654611429]).
history([try, find, slog, 0.33844127903]).
history([try, find, toil, 0.519725614542]).
history([try, find, slog, 0.319656587465]).
history([try, find, toil, 0.537564593076]).
history([try, find, toil, 0.531682526924]).
history([try, find, toil, 0.517200297092]).
history([try, find, slog, 0.328285056308]).
history([finish, 0.52463110526]).
history([finish, 0.511431116689]).
history([try, find, toil, 0.525404548065]).
history([finish, 0.521567053977]).
history([try, find, toil, 0.533705033927]).
history([try, find, toil, 0.529735546955]).
history([try, find, slog, 0.341302817559]).
history([try, find, slog, 0.326262251035]).
history([try, find, slog, 0.326705190659]).
history([try, find, toil, 0.504871738411]).
history([finish, 0.50564800869]).
history([finish, 0.519941976522]).
history([finish, 0.49198557134]).
history([try, find, slog, 0.350263617123]).
history([try, find, slog, 0.345824564683]).
history([finish, 0.508324143698]).
history([finish, 0.513270610019]).
history([finish, 0.512897379189]).
history([finish, 0.504996845646]).
history([finish, 0.501104571897]).
history([try, find, slog, 0.332583742116]).
history([try, find, slog, 0.319757723245]).
history([try, find, slog, 0.343368461989]).
history([try, find, slog, 0.343587814157]).
history([try, find, toil, 0.531024895532]).
history([finish, 0.506523511812]).
history([try, find, toil, 0.506417314903]).
history([try, find, slog, 0.318645122409]).
history([finish, 0.525115316115]).
history([try, find, slog, 0.344237478182]).
history([finish, 0.496947926652]).
history([finish, 0.509234322066]).
history([try, find, slog, 0.326917613425]).
history([try, find, slog, 0.321308558837]).
history([try, find, slog, 0.330692539886]).
history([try, find, slog, 0.326931586961]).
history([finish, 0.517044477761]).
history([try, find, slog, 0.335244587705]).
history([try, find, toil, 0.531918506426]).
history([try, find, toil, 0.517839603601]).
history([finish, 0.497195462617]).
history([finish, 0.514634913405]).
history([try, find, toil, 0.520883631056]).
history([finish, 0.50276152957]).
history([try, find, toil, 0.520955593889]).
history([finish, 0.486901866272]).
history([try, find, toil, 0.523121704628]).
history([try, lose, 0.011924727731]).
history([finish, 0.498622136084]).
history([finish, 0.496692126839]).
history([try, find, slog, 0.319589974493]).
history([try, find, toil, 0.520777555351]).
history([try, find, toil, 0.51067449918]).
history([finish, 0.504800742714]).
history([finish, 0.525274476826]).
history([finish, 0.49851878507]).
history([try, find, toil, 0.523834254456]).
history([finish, 0.512459154032]).
history([finish, 0.484553786212]).
history([try, find, toil, 0.514002705385]).
history([try, find, slog, 0.320075558513]).
history([try, find, toil, 0.520677113489]).
history([try, find, slog, 0.335495064289]).
history([finish, 0.5201371379]).
history([finish, 0.501454861168]).
history([finish, 0.510168237968]).
history([finish, 0.49878727691]).
history([try, find, slog, 0.317770414335]).
history([try, find, toil, 0.507814258454]).
history([try, find, toil, 0.511171434541]).
history([try, find, slog, 0.327490884501]).
history([finish, 0.503151567701]).
history([try, find, slog, 0.335516564179]).
history([finish, 0.49803759902]).
history([finish, 0.508593114677]).
history([try, find, toil, 0.529839827024]).
history([finish, 0.514020748469]).
history([finish, 0.519925577858]).
history([finish, 0.502642252453]).
history([try, find, toil, 0.513861747368]).
history([try, find, toil, 0.525284871712]).
history([try, find, slog, 0.32759547654]).
history([try, find, slog, 0.344521273307]).
history([finish, 0.52214256313]).
history([try, find, slog, 0.34930523067]).
history([finish, 0.490326267337]).
history([try, find, toil, 0.510720163918]).
history([finish, 0.511913414347]).
history([try, find, toil, 0.527777191403]).
history([finish, 0.515996051239]).
history([try, find, toil, 0.498721893496]).
history([try, find, slog, 0.317635888811]).
history([finish, 0.516466027895]).
history([finish, 0.525468646559]).
history([finish, 0.521620827844]).
history([try, find, toil, 0.532350256422]).
history([try, find, toil, 0.508320029529]).
history([finish, 0.515035459543]).
history([finish, 0.52699059996]).
history([finish, 0.499212179437]).
history([try, find, slog, 0.326226368773]).
history([try, find, slog, 0.350560152932]).
history([finish, 0.52306102597]).
history([try, find, slog, 0.329830504827]).
history([try, find, toil, 0.542254737159]).
history([finish, 0.516098262455]).
history([try, find, slog, 0.333243142184]).
history([finish, 0.505993090453]).
history([try, find, slog, 0.304965856808]).
history([finish, 0.519484197521]).
history([finish, 0.500506265408]).
history([try, find, slog, 0.324567864565]).
history([finish, 0.523841840555]).
history([try, find, slog, 0.322600352434]).
history([finish, 0.513521043159]).
history([finish, 0.508855216075]).
history([finish, 0.503563100213]).
history([finish, 0.520519661245]).
history([finish, 0.496105720295]).
history([try, find, toil, 0.518572189824]).
history([try, find, slog, 0.328056793971]).
history([finish, 0.521591937819]).
history([try, find, toil, 0.521112775601]).
history([try, find, slog, 0.323460022847]).
history([try, find, slog, 0.331393505208]).
history([finish, 0.505800460611]).
history([try, find, toil, 0.517315048467]).
history([finish, 0.499158302442]).
history([finish, 0.491709074523]).
history([try, find, slog, 0.328336218898]).
history([try, find, slog, 0.324087971572]).
history([finish, 0.494319932999]).
history([finish, 0.509627271729]).
history([try, find, slog, 0.322405451949]).
history([try, find, toil, 0.526440403572]).
history([try, find, toil, 0.522856622713]).
history([finish, 0.512116329976]).
history([try, find, toil, 0.542919776022]).
history([finish, 0.501592344542]).
history([try, find, slog, 0.333536588767]).
history([try, find, slog, 0.325774524777]).
history([try, find, slog, 0.307569913719]).
history([finish, 0.513847909587]).
history([try, find, toil, 0.517447666164]).
history([finish, 0.519798011445]).
history([finish, 0.517669150776]).
history([try, find, toil, 0.513088070727]).
history([try, find, toil, 0.512994165582]).
history([finish, 0.511701440437]).
history([finish, 0.506717624421]).
history([try, find, toil, 0.51882133656]).
history([try, find, toil, 0.521544167584]).
history([try, find, slog, 0.317275062014]).
history([finish, 0.511291059182]).
history([finish, 0.505864092848]).
history([finish, 0.504741175608]).
history([finish, 0.517057122144]).
history([try, find, slog, 0.320148662278]).
history([finish, 0.514972556244]).
history([try, find, slog, 0.320257015667]).
history([finish, 0.518679642712]).
history([finish, 0.521325220796]).
history([finish, 0.512151978336]).
history([finish, 0.496970635764]).
history([try, find, slog, 0.341720532769]).
history([try, find, slog, 0.346534673109]).
history([try, find, toil, 0.505540110473]).