history([home, 0.359127733143]). history([follow, 0.0765112549023]). history([home, 0.309302954526]). history([home, 0.433491215106]). history([wait, no, home, 0.246264377877]). history([home, 0.236493566824]). history([wait, yes, home, 0.146671442276]). history([wait, yes, home, 0.284514528045]). history([follow, 0.0921905507766]). history([wait, yes, follow, 0.928389079135]). history([home, 0.491133188545]). history([follow, 0.17050660241]). history([wait, yes, home, 0.16575234365]). history([home, 0.279539149683]). history([follow, 0.238449004984]). history([follow, 0.206565072411]). history([home, 0.303375746938]). history([home, 0.19597669259]). history([wait, no, home, 0.257119867366]). history([wait, yes, follow, 0.576376429143]). history([wait, no, home, 0.285146745108]). history([wait, no, follow, 0.123882045279]). history([follow, 0.231708190074]). history([home, 0.446412692661]). history([wait, yes, home, 0.269737004068]). history([home, 0.317977901308]). history([follow, 0.159226475906]). history([wait, yes, follow, 0.578881968542]). history([follow, 0.257824383933]). history([follow, 0.00261619186713]). history([follow, 0.162466902388]). history([home, 0.263665886157]). history([wait, yes, home, 0.205660268934]). history([home, 0.236926779366]). history([follow, 0.164773237685]). history([wait, no, home, 0.243998315344]). history([home, 0.190793054463]). history([wait, yes, follow, 0.858252355559]). history([wait, yes, follow, 0.785936296881]). history([wait, yes, home, 0.338267047361]). history([home, 0.334748564848]). history([wait, yes, home, 0.211152422502]). history([follow, 0.134027390406]). history([wait, yes, follow, 0.639724545564]). history([home, 0.209596657871]). history([follow, 0.248699311564]). history([follow, 0.0961465234284]). history([wait, yes, follow, 0.745051904545]). history([home, 0.18777359612]). history([home, 0.176055863722]). history([wait, yes, follow, 0.788671838614]). history([follow, 0.358671897988]). history([wait, yes, home, 0.267003993702]). history([follow, 0.164372808249]). history([home, 0.492048607994]). history([follow, 0.236711137522]). history([home, 0.3307337348]). history([home, 0.390405107929]). history([home, 0.301704998317]). history([home, 0.141672947999]). history([wait, yes, follow, 0.627141190446]). history([follow, 0.0816181577876]). history([home, 0.432798993506]). history([wait, yes, follow, 0.583605938376]). history([follow, 0.168182099688]). history([wait, no, home, 0.336592334447]). history([wait, yes, home, 0.237115316031]). history([home, 0.352958982024]). history([wait, yes, follow, 0.578100072045]). history([home, 0.433713645306]). history([wait, yes, home, 0.145652956601]). history([wait, yes, follow, 0.682905231696]). history([wait, yes, home, 0.384588797611]). history([wait, yes, home, 0.386916428713]). history([wait, yes, follow, 0.651870105509]). history([home, 0.380720271495]). history([home, 0.116297786303]). history([home, 0.407705890471]). history([follow, 0.226759216756]). history([wait, yes, home, 0.114486151288]). history([home, 0.0969240732364]). history([home, 0.393073528526]). history([follow, 0.298077143243]). history([home, 0.239337180982]). history([follow, 0.16800414979]). history([home, 0.269837880579]). history([follow, 0.148231378454]). history([wait, yes, follow, 0.906379110731]). history([home, 0.0638145470382]). history([follow, 0.337608029216]). history([follow, 0.210169398037]). history([home, 0.405047336586]). history([home, 0.199900075289]). history([home, 0.287360652466]). history([wait, yes, follow, 0.811839758475]). history([wait, yes, follow, 0.575158795098]). history([wait, yes, home, 0.120945151799]). history([home, 0.323658948062]). history([follow, 0.201805184422]). history([home, 0.173351155196]).