% file output start time , [date(2005/2/16), time(0:54:41)]

%----------  start from here ------------%

would_have_yielded_higher_payoff_0(given_state(2), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(2), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(2), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(2), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(3), player(ann), at(vertex(1), []), [ (payoff(3), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(3), player(ann), at(vertex(1), []), [ (payoff(3), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(3), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(3), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(3), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(3)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(3), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(3), terminal(3)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(4), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(3)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(4), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(3), terminal(3)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(5), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(5), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(5), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(5), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(5), player(bob), at(vertex(2), [right]), [ (payoff(5), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(2)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(5), player(bob), at(vertex(2), [right]), [ (payoff(6), terminal(4)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(4), terminal(2)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(6), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(6), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(6), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(6), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(6), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(6), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(6), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(6), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(6), player(bob), at(vertex(2), [right]), [ (payoff(5), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(2)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(6), player(bob), at(vertex(2), [right]), [ (payoff(6), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(4), terminal(2)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(7), player(ann), at(vertex(1), []), [ (payoff(3), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(7), player(ann), at(vertex(1), []), [ (payoff(3), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(7), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(7), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(7), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(7), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(7), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(7), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(8), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(8), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(8), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(8), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(8), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(8), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(9), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(9), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(9), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(9), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(9), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(9), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(10), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(10), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(10), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(10), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(10), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(10), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(10), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(10), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(10), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(10), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(11), player(ann), at(vertex(1), []), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(11), player(ann), at(vertex(1), []), [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(11), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(11), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(11), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(11), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(11), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(11), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(11), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(3)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(11), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(3), terminal(3)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(11), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(11), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(12), player(ann), at(vertex(1), []), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(12), player(ann), at(vertex(1), []), [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(12), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(12), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(12), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(12), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(12), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(3)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(12), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(3), terminal(3)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(12), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(12), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(13), player(bob), at(vertex(2), [right]), [ (payoff(5), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(2)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(13), player(bob), at(vertex(2), [right]), [ (payoff(6), terminal(4)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(4), terminal(2)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(13), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(13), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(14), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(14), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(14), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(14), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(14), player(bob), at(vertex(2), [right]), [ (payoff(5), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(2)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(14), player(bob), at(vertex(2), [right]), [ (payoff(6), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(4), terminal(2)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(14), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(14), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(15), player(ann), at(vertex(1), []), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(15), player(ann), at(vertex(1), []), [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(15), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(15), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(15), player(bob), at(vertex(2), [right]), [ (payoff(6), terminal(4)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(15), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(15), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(16), player(bob), at(vertex(2), [right]), [ (payoff(6), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(16), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(16), player(bob), at(vertex(4), [right, right, right]), [ (payoff(6), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])]).
would_have_yielded_higher_payoff_0(given_state(17), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(17), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(17), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(17), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(17), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(17), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(18), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(18), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(18), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(18), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(18), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(18), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(18), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(18), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(18), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(18), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(19), player(ann), at(vertex(1), []), [ (payoff(3), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(19), player(ann), at(vertex(1), []), [ (payoff(3), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(19), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(19), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(19), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(19), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(19), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(19), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(19), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(3)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(19), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(3), terminal(3)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(19), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(19), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(20), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(20), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(20), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(20), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(20), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(3)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(20), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(3), terminal(3)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(20), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(20), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(21), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(21), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(21), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(21), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(21), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(21), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(21), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(21), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(21), player(bob), at(vertex(2), [right]), [ (payoff(8), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(2)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(21), player(bob), at(vertex(2), [right]), [ (payoff(6), terminal(4)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])], [ (payoff(4), terminal(2)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(21), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(21), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(21), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(1), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(2), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(5), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(6), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(bob), at(vertex(2), [right]), [ (payoff(8), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(2)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(bob), at(vertex(2), [right]), [ (payoff(6), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])], [ (payoff(4), terminal(2)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(22), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(22), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(ann), at(vertex(1), []), [ (payoff(3), terminal(4)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(ann), at(vertex(1), []), [ (payoff(3), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(bob), at(vertex(2), [right]), [ (payoff(8), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(23), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(3), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(19), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(ann), at(vertex(3), [right, right]), [ (payoff(4), terminal(3)), (strategy(20), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(3), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(4), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(7), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(8), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(bob), at(vertex(2), [right]), [ (payoff(8), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(24), player(bob), at(vertex(4), [right, right, right]), [ (payoff(8), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(6), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(25), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(25), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(25), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(25), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(25), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(25), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(25), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(25), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(26), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(26), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(26), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(26), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(26), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(26), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(26), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(26), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(26), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(26), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(26), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(26), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(ann), at(vertex(1), []), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(ann), at(vertex(1), []), [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(17), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(3)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(27), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(3), terminal(3)), (strategy(27), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(28), player(ann), at(vertex(1), []), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(28), player(ann), at(vertex(1), []), [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(28), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(28), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(4), terminal(3)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(28), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(28), player(ann), at(vertex(3), [right, right]), [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(3)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(28), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(28), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(28), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(28), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(28), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(18), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, down), (5, ann, right)])], [ (payoff(3), terminal(3)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(28), player(bob), at(vertex(2), [right]), [ (payoff(4), terminal(2)), (strategy(26), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(3), terminal(3)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(29), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(29), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(29), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(29), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(29), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(29), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(29), player(bob), at(vertex(2), [right]), [ (payoff(8), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(2)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(29), player(bob), at(vertex(2), [right]), [ (payoff(6), terminal(4)), (strategy(23), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])], [ (payoff(4), terminal(2)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(30), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(30), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(1), terminal(2)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(30), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(25), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(30), player(ann), at(vertex(1), []), [ (payoff(2), terminal(1)), (strategy(29), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(1), terminal(2)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(30), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(30), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(30), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(9), [ (1, ann, down), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(30), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(10), [ (1, ann, right), (2, bob, down), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(30), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(13), [ (1, ann, down), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(30), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(14), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(30), player(bob), at(vertex(2), [right]), [ (payoff(8), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(4), terminal(2)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(30), player(bob), at(vertex(2), [right]), [ (payoff(6), terminal(4)), (strategy(24), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, down), (5, ann, right)])], [ (payoff(4), terminal(2)), (strategy(30), [ (1, ann, right), (2, bob, down), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(31), player(ann), at(vertex(1), []), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(31), player(ann), at(vertex(1), []), [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(31), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(2), terminal(1)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(31), player(ann), at(vertex(1), []), [ (payoff(4), terminal(3)), (strategy(28), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, right)])], [ (payoff(2), terminal(1)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(31), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(31), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(31), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(31), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(31), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(31), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(31), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(32), player(ann), at(vertex(1), []), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(32), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(32), player(ann), at(vertex(3), [right, right]), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(32), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(11), [ (1, ann, down), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(32), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(12), [ (1, ann, right), (2, bob, right), (3, ann, down), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(32), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(15), [ (1, ann, down), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
would_have_yielded_higher_payoff_0(given_state(32), player(ann), at(vertex(5), [right, right, right, right]), [ (payoff(6), terminal(5)), (strategy(16), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, down)])], [ (payoff(5), terminal(6)), (strategy(32), [ (1, ann, right), (2, bob, right), (3, ann, right), (4, bob, right), (5, ann, right)])]).
%----------  end of data ------------%
% file output end time , [date(2005/2/16), time(0:55:39)]