new file:   gdl.py
	new file:   prover.py