claim	ns3,I	Secret_I2	ni	Ok	[proof of correctness]
claim	ns3,I	Secret_I3	nr	Ok	[proof of correctness]
claim	ns3,I	Alive_I4	-	Ok	[proof of correctness]
claim	ns3,I	Weakagree_I5	-	Ok	[proof of correctness]
claim	ns3,I	Commit_I6	(R,ni,nr)	Ok	[proof of correctness]
claim	ns3,I	Niagree_I7	-	Ok	[proof of correctness]
claim	ns3,I	Nisynch_I8	-	Ok	[proof of correctness]
claim	ns3,R	Secret_R2	ni	Fail	[at least 1 attack]
claim	ns3,R	Secret_R3	nr	Fail	[at least 1 attack]
claim	ns3,R	Alive_R4	-	Ok	[proof of correctness]
claim	ns3,R	Weakagree_R5	-	Fail	[at least 1 attack]
claim	ns3,R	Commit_R6	(I,ni,nr)	Fail	[at least 1 attack]
claim	ns3,R	Niagree_R7	-	Fail	[at least 1 attack]
claim	ns3,R	Nisynch_R8	-	Fail	[at least 1 attack]
