Thanks for the information! That game is definitely bigger than I thought. (I knew it was solved, but I'd wrongly imagined it was solved by complete game tree s

Thanks for the information! That game is definitely bigger than I thought. (I knew it was solved, but I'd wrongly imagined it was solved by complete game tree search.)