README (262B)
1 - run bruteforce.cpp to generate "solution", the trace of the winning 2 configurations 3 - run make_graph.cpp on "solution" to produce the compressed graph of the strategy 4 - run verify.cpp on the compressed graph (versioned as "stategy.txt") to verify correctness