[The BGJ record of this game had several inconsistencies. Most
have been resolved in consultation with the original BGJ Editor. If
anyone should spot any errors or have access to an alternative source of
the game record, please let us know. Thank you.]