Implemented suggested changes in algorithms, game and proof processing parts of pebbling chapter