claim	nsl3,I	Secret_i1	ni	Fail	[at least 2 attacks]
claim	nsl3,I	Secret_i2	nr	Fail	[at least 1 attack]
claim	nsl3,I	Niagree_i3	-	Fail	[at least 1 attack]
claim	nsl3,I	Nisynch_i4	-	Fail	[at least 1 attack]
claim	nsl3,R	Secret_r1	ni	Fail	[at least 2 attacks]
claim	nsl3,R	Secret_r2	nr	Ok	[proof of correctness]
claim	nsl3,R	Niagree_r3	-	Fail	[at least 1 attack]
claim	nsl3,R	Nisynch_r4	-	Fail	[at least 1 attack]
claim	nsl3-broken,I	Secret_i1	ni	Fail	[at least 1 attack]
claim	nsl3-broken,I	Secret_i2	nr	Fail	[at least 1 attack]
claim	nsl3-broken,I	Niagree_i3	-	Fail	[at least 1 attack]
claim	nsl3-broken,I	Nisynch_i4	-	Fail	[at least 1 attack]
claim	nsl3-broken,R	Secret_r1	ni	Fail	[at least 1 attack]
claim	nsl3-broken,R	Secret_r2	nr	Ok	[proof of correctness]
claim	nsl3-broken,R	Niagree_r3	-	Fail	[at least 1 attack]
claim	nsl3-broken,R	Nisynch_r4	-	Fail	[at least 1 attack]
