Shortest_proof_game loading ...