claim	isoiec-9798-2-5,A	Commit_A2	(B,Kab,Text5,Text7)	Ok	[no attack within bounds]
claim	isoiec-9798-2-5,A	Secret_A3	Kab	Ok	[no attack within bounds]
claim	isoiec-9798-2-5,A	Secret_A4	Text5	Ok	[no attack within bounds]
claim	isoiec-9798-2-5,A	Secret_A5	Text7	Ok	[no attack within bounds]
claim	isoiec-9798-2-5,A	Alive_A6	-	Ok	[no attack within bounds]
claim	isoiec-9798-2-5,A	Weakagree_A7	-	Ok	[no attack within bounds]
claim	isoiec-9798-2-5,B	Commit_B2	(A,Kab,Text5)	Ok	[no attack within bounds]
claim	isoiec-9798-2-5,B	Secret_B3	Kab	Ok	[no attack within bounds]
claim	isoiec-9798-2-5,B	Secret_B4	Text5	Ok	[no attack within bounds]
claim	isoiec-9798-2-5,B	Secret_B5	Text7	Ok	[no attack within bounds]
claim	isoiec-9798-2-5,B	Alive_B6	-	Ok	[no attack within bounds]
claim	isoiec-9798-2-5,B	Weakagree_B7	-	Ok	[no attack within bounds]
