claim	isoiec-9798-3-3,A	Commit_A2	(B,TNB,Text3)	Fail	[at least 6 attacks]
claim	isoiec-9798-3-3,A	Alive_A3	-	Ok	[no attack within bounds]
claim	isoiec-9798-3-3,A	Weakagree_A4	-	Ok	[no attack within bounds]
claim	isoiec-9798-3-3,B	Commit_B2	(A,TNA,Text1)	Fail	[at least 3 attacks]
claim	isoiec-9798-3-3,B	Alive_B3	-	Ok	[no attack within bounds]
claim	isoiec-9798-3-3,B	Weakagree_B4	-	Ok	[no attack within bounds]
