 1. single
 
 [0] RootArtefact_test_single (49) ---- ts_ArtefactRelA_1 (88) : Modify ---> ts_Artefact1_1 (52)
	[1] ts_Artefact1_1 (52) ---- ts_ArtefactRelG_2 (94) : Revoke ---> ts_Artefact2_1 (70)
		[2] ts_Artefact2_1 (70) ---- ts_ArtefactRelA_3 (136) : Revoke ---> ts_Artefact3_1 (100)
			[3] ts_Artefact3_1 (100) ---- ts_ArtefactRelG_4 (142) : Revoke ---> ts_Artefact4_1 (118)
		[2] ts_Artefact2_1 (70) ---- ts_ArtefactRelB_3 (137) : Revoke ---> ts_Artefact3_2 (103)
			[3] ts_Artefact3_2 (103) ---- ts_ArtefactRelH_4 (143) : Modify ---> ts_Artefact4_2 (121)
		[2] ts_Artefact2_1 (70) ---- ts_ArtefactRelD_3 (139) : Revoke ---> ts_Artefact3_4 (109)
			[3] ts_Artefact3_4 (109) ---- ts_ArtefactRelJ_4 (145) : Revoke ---> ts_Artefact4_4 (127)
		[2] ts_Artefact2_1 (70) ---- ts_ArtefactRelE_3 (140) : Validate ---> ts_Artefact3_5 (112)
		[2] ts_Artefact2_1 (70) ---- ts_ArtefactRelF_3 (141) : Revoke ---> ts_Artefact3_6 (115)
			[3] ts_Artefact3_6 (115) ---- ts_ArtefactRelL_4 (147) : Revoke ---> ts_Artefact4_6 (133)
[0] RootArtefact_test_single (49) ---- ts_ArtefactRelB_1 (89) : Modify ---> ts_Artefact1_2 (55)
	[1] ts_Artefact1_2 (55) ---- ts_ArtefactRelH_2 (95) : Modify ---> ts_Artefact2_2 (73)
		[2] ts_Artefact2_2 (73) ---- ts_ArtefactRelA_3 (184) : Modify ---> ts_Artefact3_1 (148)
			[3] ts_Artefact3_1 (148) ---- ts_ArtefactRelG_4 (190) : Revoke ---> ts_Artefact4_1 (166)
		[2] ts_Artefact2_2 (73) ---- ts_ArtefactRelB_3 (185) : Modify ---> ts_Artefact3_2 (151)
			[3] ts_Artefact3_2 (151) ---- ts_ArtefactRelH_4 (191) : Modify ---> ts_Artefact4_2 (169)
		[2] ts_Artefact2_2 (73) ---- ts_ArtefactRelC_3 (186) : Modify ---> ts_Artefact3_3 (154)
			[3] ts_Artefact3_3 (154) ---- ts_ArtefactRelI_4 (192) : Modify ---> ts_Artefact4_3 (172)
		[2] ts_Artefact2_2 (73) ---- ts_ArtefactRelE_3 (188) : Modify ---> ts_Artefact3_5 (160)
			[3] ts_Artefact3_5 (160) ---- ts_ArtefactRelK_4 (194) : Modify ---> ts_Artefact4_5 (178)
		[2] ts_Artefact2_2 (73) ---- ts_ArtefactRelF_3 (189) : Validate ---> ts_Artefact3_6 (163)
[0] RootArtefact_test_single (49) ---- ts_ArtefactRelC_1 (90) : Modify ---> ts_Artefact1_3 (58)
	[1] ts_Artefact1_3 (58) ---- ts_ArtefactRelI_2 (96) : Modify ---> ts_Artefact2_3 (76)
		[2] ts_Artefact2_3 (76) ---- ts_ArtefactRelA_3 (232) : Modify ---> ts_Artefact3_1 (196)
			[3] ts_Artefact3_1 (196) ---- ts_ArtefactRelG_4 (238) : Revoke ---> ts_Artefact4_1 (214)
		[2] ts_Artefact2_3 (76) ---- ts_ArtefactRelB_3 (233) : Modify ---> ts_Artefact3_2 (199)
			[3] ts_Artefact3_2 (199) ---- ts_ArtefactRelH_4 (239) : Modify ---> ts_Artefact4_2 (217)
		[2] ts_Artefact2_3 (76) ---- ts_ArtefactRelC_3 (234) : Modify ---> ts_Artefact3_3 (202)
			[3] ts_Artefact3_3 (202) ---- ts_ArtefactRelI_4 (240) : Modify ---> ts_Artefact4_3 (220)
		[2] ts_Artefact2_3 (76) ---- ts_ArtefactRelE_3 (236) : Modify ---> ts_Artefact3_5 (208)
			[3] ts_Artefact3_5 (208) ---- ts_ArtefactRelK_4 (242) : Modify ---> ts_Artefact4_5 (226)
		[2] ts_Artefact2_3 (76) ---- ts_ArtefactRelF_3 (237) : Validate ---> ts_Artefact3_6 (211)
[0] RootArtefact_test_single (49) ---- ts_ArtefactRelE_1 (92) : Modify ---> ts_Artefact1_5 (64)
	[1] ts_Artefact1_5 (64) ---- ts_ArtefactRelK_2 (98) : Modify ---> ts_Artefact2_5 (82)
		[2] ts_Artefact2_5 (82) ---- ts_ArtefactRelA_3 (328) : Modify ---> ts_Artefact3_1 (292)
			[3] ts_Artefact3_1 (292) ---- ts_ArtefactRelG_4 (334) : Revoke ---> ts_Artefact4_1 (310)
		[2] ts_Artefact2_5 (82) ---- ts_ArtefactRelB_3 (329) : Modify ---> ts_Artefact3_2 (295)
			[3] ts_Artefact3_2 (295) ---- ts_ArtefactRelH_4 (335) : Modify ---> ts_Artefact4_2 (313)
		[2] ts_Artefact2_5 (82) ---- ts_ArtefactRelC_3 (330) : Modify ---> ts_Artefact3_3 (298)
			[3] ts_Artefact3_3 (298) ---- ts_ArtefactRelI_4 (336) : Modify ---> ts_Artefact4_3 (316)
		[2] ts_Artefact2_5 (82) ---- ts_ArtefactRelE_3 (332) : Modify ---> ts_Artefact3_5 (304)
			[3] ts_Artefact3_5 (304) ---- ts_ArtefactRelK_4 (338) : Modify ---> ts_Artefact4_5 (322)
		[2] ts_Artefact2_5 (82) ---- ts_ArtefactRelF_3 (333) : Validate ---> ts_Artefact3_6 (307)
[0] RootArtefact_test_single (49) ---- ts_ArtefactRelF_1 (93) : Validate ---> ts_Artefact1_6 (67)



[0] RootArtefact_test_single_2 (388) ---- ts_ArtefactRelA_1 (427) : Modify ---> ts_Artefact1_1 (391)
	[1] ts_Artefact1_1 (391) ---- ts_ArtefactRelG_2 (433) : Revoke ---> ts_Artefact2_1 (409)
		[2] ts_Artefact2_1 (409) ---- ts_ArtefactRelA_3 (475) : Revoke ---> ts_Artefact3_1 (439)
			[3] ts_Artefact3_1 (439) ---- ts_ArtefactRelG_4 (481) : Revoke ---> ts_Artefact4_1 (457)
		[2] ts_Artefact2_1 (409) ---- ts_ArtefactRelB_3 (476) : Revoke ---> ts_Artefact3_2 (442)
			[3] ts_Artefact3_2 (442) ---- ts_ArtefactRelH_4 (482) : Modify ---> ts_Artefact4_2 (460)
		[2] ts_Artefact2_1 (409) ---- ts_ArtefactRelD_3 (478) : Revoke ---> ts_Artefact3_4 (448)
			[3] ts_Artefact3_4 (448) ---- ts_ArtefactRelJ_4 (484) : Revoke ---> ts_Artefact4_4 (466)
		[2] ts_Artefact2_1 (409) ---- ts_ArtefactRelE_3 (479) : Validate ---> ts_Artefact3_5 (451)
		[2] ts_Artefact2_1 (409) ---- ts_ArtefactRelF_3 (480) : Revoke ---> ts_Artefact3_6 (454)
			[3] ts_Artefact3_6 (454) ---- ts_ArtefactRelL_4 (486) : Revoke ---> ts_Artefact4_6 (472)
[0] RootArtefact_test_single_2 (388) ---- ts_ArtefactRelB_1 (428) : Modify ---> ts_Artefact1_2 (394)
	[1] ts_Artefact1_2 (394) ---- ts_ArtefactRelH_2 (434) : Modify ---> ts_Artefact2_2 (412)
		[2] ts_Artefact2_2 (412) ---- ts_ArtefactRelA_3 (523) : Modify ---> ts_Artefact3_1 (487)
			[3] ts_Artefact3_1 (487) ---- ts_ArtefactRelG_4 (529) : Revoke ---> ts_Artefact4_1 (505)
		[2] ts_Artefact2_2 (412) ---- ts_ArtefactRelB_3 (524) : Modify ---> ts_Artefact3_2 (490)
			[3] ts_Artefact3_2 (490) ---- ts_ArtefactRelH_4 (530) : Modify ---> ts_Artefact4_2 (508)
		[2] ts_Artefact2_2 (412) ---- ts_ArtefactRelC_3 (525) : Modify ---> ts_Artefact3_3 (493)
			[3] ts_Artefact3_3 (493) ---- ts_ArtefactRelI_4 (531) : Modify ---> ts_Artefact4_3 (511)
		[2] ts_Artefact2_2 (412) ---- ts_ArtefactRelE_3 (527) : Modify ---> ts_Artefact3_5 (499)
			[3] ts_Artefact3_5 (499) ---- ts_ArtefactRelK_4 (533) : Modify ---> ts_Artefact4_5 (517)
		[2] ts_Artefact2_2 (412) ---- ts_ArtefactRelF_3 (528) : Validate ---> ts_Artefact3_6 (502)
[0] RootArtefact_test_single_2 (388) ---- ts_ArtefactRelC_1 (429) : Modify ---> ts_Artefact1_3 (397)
	[1] ts_Artefact1_3 (397) ---- ts_ArtefactRelI_2 (435) : Modify ---> ts_Artefact2_3 (415)
		[2] ts_Artefact2_3 (415) ---- ts_ArtefactRelA_3 (571) : Modify ---> ts_Artefact3_1 (535)
			[3] ts_Artefact3_1 (535) ---- ts_ArtefactRelG_4 (577) : Revoke ---> ts_Artefact4_1 (553)
		[2] ts_Artefact2_3 (415) ---- ts_ArtefactRelB_3 (572) : Modify ---> ts_Artefact3_2 (538)
			[3] ts_Artefact3_2 (538) ---- ts_ArtefactRelH_4 (578) : Modify ---> ts_Artefact4_2 (556)
		[2] ts_Artefact2_3 (415) ---- ts_ArtefactRelC_3 (573) : Modify ---> ts_Artefact3_3 (541)
			[3] ts_Artefact3_3 (541) ---- ts_ArtefactRelI_4 (579) : Modify ---> ts_Artefact4_3 (559)
		[2] ts_Artefact2_3 (415) ---- ts_ArtefactRelE_3 (575) : Modify ---> ts_Artefact3_5 (547)
			[3] ts_Artefact3_5 (547) ---- ts_ArtefactRelK_4 (581) : Modify ---> ts_Artefact4_5 (565)
		[2] ts_Artefact2_3 (415) ---- ts_ArtefactRelF_3 (576) : Validate ---> ts_Artefact3_6 (550)
[0] RootArtefact_test_single_2 (388) ---- ts_ArtefactRelE_1 (431) : Modify ---> ts_Artefact1_5 (403)
	[1] ts_Artefact1_5 (403) ---- ts_ArtefactRelK_2 (437) : Modify ---> ts_Artefact2_5 (421)
		[2] ts_Artefact2_5 (421) ---- ts_ArtefactRelA_3 (667) : Modify ---> ts_Artefact3_1 (631)
			[3] ts_Artefact3_1 (631) ---- ts_ArtefactRelG_4 (673) : Revoke ---> ts_Artefact4_1 (649)
		[2] ts_Artefact2_5 (421) ---- ts_ArtefactRelB_3 (668) : Modify ---> ts_Artefact3_2 (634)
			[3] ts_Artefact3_2 (634) ---- ts_ArtefactRelH_4 (674) : Modify ---> ts_Artefact4_2 (652)
		[2] ts_Artefact2_5 (421) ---- ts_ArtefactRelC_3 (669) : Modify ---> ts_Artefact3_3 (637)
			[3] ts_Artefact3_3 (637) ---- ts_ArtefactRelI_4 (675) : Modify ---> ts_Artefact4_3 (655)
		[2] ts_Artefact2_5 (421) ---- ts_ArtefactRelE_3 (671) : Modify ---> ts_Artefact3_5 (643)
			[3] ts_Artefact3_5 (643) ---- ts_ArtefactRelK_4 (677) : Modify ---> ts_Artefact4_5 (661)
		[2] ts_Artefact2_5 (421) ---- ts_ArtefactRelF_3 (672) : Validate ---> ts_Artefact3_6 (646)
[0] RootArtefact_test_single_2 (388) ---- ts_ArtefactRelF_1 (432) : Validate ---> ts_Artefact1_6 (406)


[0] RootArtefact_test_single_3 (727) ---- ts_ArtefactRelA_1 (766) : Modify ---> ts_Artefact1_1 (730)
	[1] ts_Artefact1_1 (730) ---- ts_ArtefactRelG_2 (772) : Revoke ---> ts_Artefact2_1 (748)
		[2] ts_Artefact2_1 (748) ---- ts_ArtefactRelA_3 (814) : Revoke ---> ts_Artefact3_1 (778)
			[3] ts_Artefact3_1 (778) ---- ts_ArtefactRelG_4 (820) : Revoke ---> ts_Artefact4_1 (796)
		[2] ts_Artefact2_1 (748) ---- ts_ArtefactRelB_3 (815) : Revoke ---> ts_Artefact3_2 (781)
			[3] ts_Artefact3_2 (781) ---- ts_ArtefactRelH_4 (821) : Modify ---> ts_Artefact4_2 (799)
		[2] ts_Artefact2_1 (748) ---- ts_ArtefactRelD_3 (817) : Revoke ---> ts_Artefact3_4 (787)
			[3] ts_Artefact3_4 (787) ---- ts_ArtefactRelJ_4 (823) : Revoke ---> ts_Artefact4_4 (805)
		[2] ts_Artefact2_1 (748) ---- ts_ArtefactRelE_3 (818) : Validate ---> ts_Artefact3_5 (790)
		[2] ts_Artefact2_1 (748) ---- ts_ArtefactRelF_3 (819) : Revoke ---> ts_Artefact3_6 (793)
			[3] ts_Artefact3_6 (793) ---- ts_ArtefactRelL_4 (825) : Revoke ---> ts_Artefact4_6 (811)
[0] RootArtefact_test_single_3 (727) ---- ts_ArtefactRelB_1 (767) : Modify ---> ts_Artefact1_2 (733)
	[1] ts_Artefact1_2 (733) ---- ts_ArtefactRelH_2 (773) : Modify ---> ts_Artefact2_2 (751)
		[2] ts_Artefact2_2 (751) ---- ts_ArtefactRelA_3 (862) : Modify ---> ts_Artefact3_1 (826)
			[3] ts_Artefact3_1 (826) ---- ts_ArtefactRelG_4 (868) : Revoke ---> ts_Artefact4_1 (844)
		[2] ts_Artefact2_2 (751) ---- ts_ArtefactRelB_3 (863) : Modify ---> ts_Artefact3_2 (829)
			[3] ts_Artefact3_2 (829) ---- ts_ArtefactRelH_4 (869) : Modify ---> ts_Artefact4_2 (847)
		[2] ts_Artefact2_2 (751) ---- ts_ArtefactRelC_3 (864) : Modify ---> ts_Artefact3_3 (832)
			[3] ts_Artefact3_3 (832) ---- ts_ArtefactRelI_4 (870) : Modify ---> ts_Artefact4_3 (850)
		[2] ts_Artefact2_2 (751) ---- ts_ArtefactRelE_3 (866) : Modify ---> ts_Artefact3_5 (838)
			[3] ts_Artefact3_5 (838) ---- ts_ArtefactRelK_4 (872) : Modify ---> ts_Artefact4_5 (856)
		[2] ts_Artefact2_2 (751) ---- ts_ArtefactRelF_3 (867) : Validate ---> ts_Artefact3_6 (841)
[0] RootArtefact_test_single_3 (727) ---- ts_ArtefactRelC_1 (768) : Modify ---> ts_Artefact1_3 (736)
	[1] ts_Artefact1_3 (736) ---- ts_ArtefactRelI_2 (774) : Modify ---> ts_Artefact2_3 (754)
		[2] ts_Artefact2_3 (754) ---- ts_ArtefactRelA_3 (910) : Modify ---> ts_Artefact3_1 (874)
			[3] ts_Artefact3_1 (874) ---- ts_ArtefactRelG_4 (916) : Revoke ---> ts_Artefact4_1 (892)
		[2] ts_Artefact2_3 (754) ---- ts_ArtefactRelB_3 (911) : Modify ---> ts_Artefact3_2 (877)
			[3] ts_Artefact3_2 (877) ---- ts_ArtefactRelH_4 (917) : Modify ---> ts_Artefact4_2 (895)
		[2] ts_Artefact2_3 (754) ---- ts_ArtefactRelC_3 (912) : Modify ---> ts_Artefact3_3 (880)
			[3] ts_Artefact3_3 (880) ---- ts_ArtefactRelI_4 (918) : Modify ---> ts_Artefact4_3 (898)
		[2] ts_Artefact2_3 (754) ---- ts_ArtefactRelE_3 (914) : Modify ---> ts_Artefact3_5 (886)
			[3] ts_Artefact3_5 (886) ---- ts_ArtefactRelK_4 (920) : Modify ---> ts_Artefact4_5 (904)
		[2] ts_Artefact2_3 (754) ---- ts_ArtefactRelF_3 (915) : Validate ---> ts_Artefact3_6 (889)
[0] RootArtefact_test_single_3 (727) ---- ts_ArtefactRelE_1 (770) : Modify ---> ts_Artefact1_5 (742)
	[1] ts_Artefact1_5 (742) ---- ts_ArtefactRelK_2 (776) : Modify ---> ts_Artefact2_5 (760)
		[2] ts_Artefact2_5 (760) ---- ts_ArtefactRelA_3 (1006) : Modify ---> ts_Artefact3_1 (970)
			[3] ts_Artefact3_1 (970) ---- ts_ArtefactRelG_4 (1012) : Revoke ---> ts_Artefact4_1 (988)
		[2] ts_Artefact2_5 (760) ---- ts_ArtefactRelB_3 (1007) : Modify ---> ts_Artefact3_2 (973)
			[3] ts_Artefact3_2 (973) ---- ts_ArtefactRelH_4 (1013) : Modify ---> ts_Artefact4_2 (991)
		[2] ts_Artefact2_5 (760) ---- ts_ArtefactRelC_3 (1008) : Modify ---> ts_Artefact3_3 (976)
			[3] ts_Artefact3_3 (976) ---- ts_ArtefactRelI_4 (1014) : Modify ---> ts_Artefact4_3 (994)
		[2] ts_Artefact2_5 (760) ---- ts_ArtefactRelE_3 (1010) : Modify ---> ts_Artefact3_5 (982)
			[3] ts_Artefact3_5 (982) ---- ts_ArtefactRelK_4 (1016) : Modify ---> ts_Artefact4_5 (1000)
		[2] ts_Artefact2_5 (760) ---- ts_ArtefactRelF_3 (1011) : Validate ---> ts_Artefact3_6 (985)
[0] RootArtefact_test_single_3 (727) ---- ts_ArtefactRelF_1 (771) : Validate ---> ts_Artefact1_6 (745)



2. single cycle


[0] 1_ArtefactA_cycle (1068) ---- 1_ArtefactRelA_cycle (1075) : Modify ---> 1_ArtefactB_cycle (1072)
	[1] 1_ArtefactB_cycle (1072) ---- 1_ArtefactRelB_cycle (1079) : Modify ---> 1_ArtefactC_cycle (1076)
		[2] 1_ArtefactC_cycle (1076) ---- 1_ArtefactRelC_cycle (1083) : Modify ---> 1_ArtefactD_cycle (1080)
			[3] 1_ArtefactD_cycle (1080) ---- 1_ArtefactRelD_cycle (1071) : Revoke ---> 1_ArtefactA_cycle (1068)
				[4] 1_ArtefactA_cycle (1068) ---- 1_ArtefactRelA_cycle (1075) : Revoke ---> 1_ArtefactB_cycle (1072)
					[5] 1_ArtefactB_cycle (1072) ---- 1_ArtefactRelB_cycle (1079) : Revoke ---> 1_ArtefactC_cycle (1076)
						[6] 1_ArtefactC_cycle (1076) ---- 1_ArtefactRelC_cycle (1083) : Revoke ---> 1_ArtefactD_cycle (1080)
							[7] 1_ArtefactD_cycle (1080) ---- 1_ArtefactRelD_cycle (1071) : Modify ---> 1_ArtefactA_cycle (1068)
							
[0] 2_ArtefactA_cycle (1086) ---- 2_ArtefactRelA_cycle (1093) : Modify ---> 2_ArtefactB_cycle (1090)
	[1] 2_ArtefactB_cycle (1090) ---- 2_ArtefactRelB_cycle (1097) : Modify ---> 2_ArtefactC_cycle (1094)
		[2] 2_ArtefactC_cycle (1094) ---- 2_ArtefactRelC_cycle (1101) : Modify ---> 2_ArtefactD_cycle (1098)
			[3] 2_ArtefactD_cycle (1098) ---- 2_ArtefactRelD_cycle (1089) : Revoke ---> 2_ArtefactA_cycle (1086)
				[4] 2_ArtefactA_cycle (1086) ---- 2_ArtefactRelA_cycle (1093) : Revoke ---> 2_ArtefactB_cycle (1090)
					[5] 2_ArtefactB_cycle (1090) ---- 2_ArtefactRelB_cycle (1097) : Revoke ---> 2_ArtefactC_cycle (1094)
						[6] 2_ArtefactC_cycle (1094) ---- 2_ArtefactRelC_cycle (1101) : Revoke ---> 2_ArtefactD_cycle (1098)
							[7] 2_ArtefactD_cycle (1098) ---- 2_ArtefactRelD_cycle (1089) : Modify ---> 2_ArtefactA_cycle (1086)
							
							

							
							