digraph "test-arm64-arm64-xl-credit1 guest-start" {
  rankdir=BT;
  ranksep=0;
  nodesep=0.3;
  edge [arrowsize=0.2];
  node [shape=box, fontname="Courier-Bold", fontsize=9, style="filled"];
  "a6c5dd1dbaff,c530a75c1e6a,7ea428895af2,*9a3c25b65624*" [];
  "a6c5dd1dbaff,c530a75c1e6a,7ea428895af2,*1965c171a4a7*" -> "a6c5dd1dbaff,c530a75c1e6a,7ea428895af2,*9a3c25b65624*";
  "a6c5dd1dbaff,c530a75c1e6a,7ea428895af2,*1965c171a4a7*" [];
  "a6c5dd1dbaff,c530a75c1e6a,7ea428895af2,*415f904254b7*\n156867:pass 156906:pass" -> "a6c5dd1dbaff,c530a75c1e6a,7ea428895af2,*1965c171a4a7*";
  "a6c5dd1dbaff,c530a75c1e6a,7ea428895af2,*0ff2c7e5b4ff*\n156893:fail 156908:pass" [ fillcolor="yellow",  fontcolor="black",  peripheries=2,  style="bold,filled",  shape=oval];
  "a6c5dd1dbaff,c530a75c1e6a,7ea428895af2,*9a3c25b65624*" -> "a6c5dd1dbaff,c530a75c1e6a,7ea428895af2,*0ff2c7e5b4ff*\n156893:fail 156908:pass";
  "a6c5dd1dbaff,c530a75c1e6a,7ea428895af2,*415f904254b7*\n156867:pass 156906:pass" [fillcolor="#00c000", fontcolor="black",  shape=hexagon];
  "a6c5dd1dbaff,c530a75c1e6a,7ea428895af2,*7872b493f9db*" -> "a6c5dd1dbaff,c530a75c1e6a,7ea428895af2,*415f904254b7*\n156867:pass 156906:pass";
}