digraph "test-xtf-amd64-amd64-4 xtf/test-hvm64-xsa-278" {
  rankdir=BT;
  ranksep=0;
  nodesep=0.3;
  edge [arrowsize=0.2];
  node [shape=box, fontname="Courier-Bold", fontsize=9, style="filled"];
  "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*70739427f55d*,f9894eb67e7e\n131065:fail" [fillcolor="red", fontcolor="white",  shape=oval];
  "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*e59441b09790*,f9894eb67e7e" -> "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*70739427f55d*,f9894eb67e7e\n131065:fail";
  "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*5aa62f06681a*,f9894eb67e7e" [];
  "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*6b4600b1425e*,f9894eb67e7e" -> "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*5aa62f06681a*,f9894eb67e7e";
  "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*6b4600b1425e*,f9894eb67e7e" [];
  "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*82855aba5bf9*,f9894eb67e7e\n131143:fail" -> "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*6b4600b1425e*,f9894eb67e7e";
  "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*e59441b09790*,f9894eb67e7e" [];
  "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*5aa62f06681a*,f9894eb67e7e" -> "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*e59441b09790*,f9894eb67e7e";
  "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*82855aba5bf9*,f9894eb67e7e\n131143:fail" [fillcolor="red", fontcolor="white",  peripheries=2,  style="bold,filled",  shape=hexagon];
  "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*c393b64dcee6*,f9894eb67e7e" -> "2e390c487815,c530a75c1e6a,d0d8ad39ecb5,de5b678ca4dc,*82855aba5bf9*,f9894eb67e7e\n131143:fail";
}