modified:   scripts/collect.py
	modified:   scripts/fastpaxos.py
	modified:   sim/paxos.py