bet7k+mines-2.pdf