digraph "test-arm64-arm64-xl-xsm xen-boot" {
  rankdir=BT;
  ranksep=0;
  nodesep=0.3;
  edge [arrowsize=0.2];
  node [shape=box, fontname="Courier-Bold", fontsize=9, style="filled"];
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*c4184bf305dc*\n171515:fail" [fillcolor="red", fontcolor="white"];
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*2b1ee386122a*\n" -> "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*c4184bf305dc*\n171515:fail";
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*a4d4c541f58b*\n" [];
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*c4184bf305dc*\n171515:fail" -> "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*a4d4c541f58b*\n";
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*61ff2733221e*\n171506:fail 171511:fail 171513:fail 171529:fail" [fillcolor="red", fontcolor="white",  shape=oval];
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*54d8f27d0477*\n" -> "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*61ff2733221e*\n171506:fail 171511:fail 171513:fail 171529:fail";
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*8d410ac2c178*\n171518:fail 171522:fail 171534:fail" [fillcolor="red", fontcolor="white",  peripheries=2,  style="bold,filled"];
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*4df2e99d7314*\n171486:pass 171510:pass 171521:pass 171524:pass" -> "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*8d410ac2c178*\n171518:fail 171522:fail 171534:fail";
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*2b1ee386122a*\n" [];
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*8d410ac2c178*\n171518:fail 171522:fail 171534:fail" -> "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*2b1ee386122a*\n";
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*4df2e99d7314*\n171486:pass 171510:pass 171521:pass 171524:pass" [fillcolor="#00c000", fontcolor="black",  shape=hexagon];
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*a0bb0960e5ed*\n" -> "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*4df2e99d7314*\n171486:pass 171510:pass 171521:pass 171524:pass";
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*54d8f27d0477*\n" [];
  "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*a4d4c541f58b*\n" -> "f0f0e602f7c9,c530a75c1e6a,b746458e1ce1,*54d8f27d0477*\n";
}