claim	nsl3,I	Secret_i1	ni	Ok	[proof of correctness]
claim	nsl3,I	Secret_i2	nr	Ok	[proof of correctness]
claim	nsl3,I	Niagree_i3	-	Ok	[proof of correctness]
claim	nsl3,I	Nisynch_i4	-	Ok	[proof of correctness]
claim	nsl3,R	Secret_r1	ni	Ok	[proof of correctness]
claim	nsl3,R	Secret_r2	nr	Ok	[proof of correctness]
claim	nsl3,R	Niagree_r3	-	Ok	[proof of correctness]
claim	nsl3,R	Nisynch_r4	-	Ok	[proof of correctness]
