digraph "test-xtf-amd64-amd64-4 xtf/test-hvm64-invlpg~shadow" {
  rankdir=BT;
  ranksep=0;
  nodesep=0.3;
  edge [arrowsize=0.2];
  node [shape=box, fontname="Courier-Bold", fontsize=9, style="filled"];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*4f2909096636*,7e7c4526bc13\n109010:fail" [fillcolor="red", fontcolor="white",  shape=oval];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*2b0bb908f750*,7e7c4526bc13" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*4f2909096636*,7e7c4526bc13\n109010:fail";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*eb9a3bfd8759*,7e7c4526bc13\n109055:fail" [fillcolor="red", fontcolor="white",  peripheries=2,  style="bold,filled",  shape=hexagon];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*dcef1655273d*,7e7c4526bc13" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*eb9a3bfd8759*,7e7c4526bc13\n109055:fail";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*c4c37506fa1e*,7e7c4526bc13" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*7622465448d7*,7e7c4526bc13" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*c4c37506fa1e*,7e7c4526bc13";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*2b0bb908f750*,7e7c4526bc13" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*c4c37506fa1e*,7e7c4526bc13" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*2b0bb908f750*,7e7c4526bc13";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*7622465448d7*,7e7c4526bc13" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*68fa6911900c*,7e7c4526bc13" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*7622465448d7*,7e7c4526bc13";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*68fa6911900c*,7e7c4526bc13" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*eb9a3bfd8759*,7e7c4526bc13\n109055:fail" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*68fa6911900c*,7e7c4526bc13";
}