modified:   convert.py
	modified:   gdl.py
	new file:   player.py
	modified:   prover.c
	modified:   prover.py
	new file:   server.py
	modified:   statemachine.py
	modified:   test.py
	modified:   prover.c
	modified:   statemachine.py