digraph "test-xtf-amd64-amd64-1 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"];
  "*3b68e5cf57f0*,c530a75c1e6a,8051789e9824,aad23066e4b2,7f01558d9b3f,2dc1902e6756" [];
  "2e390c487815,c530a75c1e6a,8051789e9824,aad23066e4b2,7f01558d9b3f,*2dc1902e6756*" -> "*3b68e5cf57f0*,c530a75c1e6a,8051789e9824,aad23066e4b2,7f01558d9b3f,2dc1902e6756";
  "3b68e5cf57f0,c530a75c1e6a,8051789e9824,aad23066e4b2,*97b37e342b0a*,2dc1902e6756" [];
  "3b68e5cf57f0,c530a75c1e6a,8051789e9824,aad23066e4b2,*2d57b55a0def*,2dc1902e6756" -> "3b68e5cf57f0,c530a75c1e6a,8051789e9824,aad23066e4b2,*97b37e342b0a*,2dc1902e6756";
  "3b68e5cf57f0,c530a75c1e6a,8051789e9824,aad23066e4b2,*2d57b55a0def*,2dc1902e6756" [];
  "3b68e5cf57f0,c530a75c1e6a,8051789e9824,aad23066e4b2,*a3b22eb0c460*,2dc1902e6756" -> "3b68e5cf57f0,c530a75c1e6a,8051789e9824,aad23066e4b2,*2d57b55a0def*,2dc1902e6756";
  "3b68e5cf57f0,c530a75c1e6a,8051789e9824,aad23066e4b2,*a3b22eb0c460*,2dc1902e6756" [];
  "*3b68e5cf57f0*,c530a75c1e6a,8051789e9824,aad23066e4b2,7f01558d9b3f,2dc1902e6756" -> "3b68e5cf57f0,c530a75c1e6a,8051789e9824,aad23066e4b2,*a3b22eb0c460*,2dc1902e6756";
  "2e390c487815,c530a75c1e6a,8051789e9824,aad23066e4b2,7f01558d9b3f,*2dc1902e6756*" [];
  "2e390c487815,c530a75c1e6a,8051789e9824,aad23066e4b2,*7f01558d9b3f*,f9894eb67e7e\n132583:fail" -> "2e390c487815,c530a75c1e6a,8051789e9824,aad23066e4b2,7f01558d9b3f,*2dc1902e6756*";
  "2e390c487815,c530a75c1e6a,8051789e9824,aad23066e4b2,*7f01558d9b3f*,f9894eb67e7e\n132583:fail" [fillcolor="red", fontcolor="white",  peripheries=2,  style="bold,filled",  shape=hexagon];
  "2e390c487815,c530a75c1e6a,8051789e9824,aad23066e4b2,*e43f2ca94345*,f9894eb67e7e" -> "2e390c487815,c530a75c1e6a,8051789e9824,aad23066e4b2,*7f01558d9b3f*,f9894eb67e7e\n132583:fail";
  "3b68e5cf57f0,c530a75c1e6a,8051789e9824,aad23066e4b2,*19fc44f4a180*,2dc1902e6756\n132484:fail" [fillcolor="red", fontcolor="white",  shape=oval];
  "3b68e5cf57f0,c530a75c1e6a,8051789e9824,aad23066e4b2,*97b37e342b0a*,2dc1902e6756" -> "3b68e5cf57f0,c530a75c1e6a,8051789e9824,aad23066e4b2,*19fc44f4a180*,2dc1902e6756\n132484:fail";
}