hmm.P:		Specification of an example HMM (from Riguzzi and Swift, 
		TPLP 11(4-5):433-449, 2011) for use with prism and xpita implementations.

hmm.ptlp:	Specification of example HMM (from hmm.P) for use with
		ptlp implementation.
