claim	needhamschroederpk-Lowe,I	Secret_I1	Ni	Ok	[no attack within bounds]
claim	needhamschroederpk-Lowe,I	Secret_I2	Nr	Ok	[no attack within bounds]
claim	needhamschroederpk-Lowe,I	Nisynch_I3	-	Fail	[at least 3 attacks]
claim	needhamschroederpk-Lowe,R	Secret_R1	Nr	Ok	[no attack within bounds]
claim	needhamschroederpk-Lowe,R	Secret_R2	Ni	Ok	[no attack within bounds]
claim	needhamschroederpk-Lowe,R	Nisynch_R3	-	Fail	[at least 3 attacks]
