game2_d2d3.proof.gz

The ASCII text file game2_d2d3.proof contains a proof that Los Alamos chess game 2 after P-K3 (aka d2d3) is a forced win for black in 21 moves. The proof contains 267,410,116 positions with black to move, one per line, giving for each position the move to make, and for non-mating moves, the maximum number of moves remaining to mate. The file is sorted alphabetically (LC_ALL=C) allowing rapid lookup within the 12Gb proof.