modified:   model/protocol.py
	modified:   scripts/fastpaxos.py
	modified:   scripts/show.py
	modified:   scripts/showall.sh
	modified:   scripts/validate.py