digraph "test-xtf-amd64-amd64-3 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"];
  "e6608e1f2fbd,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*df1debf494ac*,2dc1902e6756\n132588:fail" [fillcolor="red", fontcolor="white",  shape=oval];
  "e6608e1f2fbd,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*14b7dc115b8a*,2dc1902e6756" -> "e6608e1f2fbd,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*df1debf494ac*,2dc1902e6756\n132588:fail";
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*02fd1ee8ce00*,2dc1902e6756" [];
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*dd1c98afc670*,2dc1902e6756" -> "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*02fd1ee8ce00*,2dc1902e6756";
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*015b00ff3581*,2dc1902e6756" [];
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*02fd1ee8ce00*,2dc1902e6756" -> "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*015b00ff3581*,2dc1902e6756";
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*96cbd0893f78*,f9894eb67e7e\n132685:fail" [fillcolor="red", fontcolor="white",  peripheries=2,  style="bold,filled",  shape=hexagon];
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*49caabf2584a*,f9894eb67e7e" -> "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*96cbd0893f78*,f9894eb67e7e\n132685:fail";
  "*e6608e1f2fbd*,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,015b00ff3581,2dc1902e6756" [];
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*015b00ff3581*,2dc1902e6756" -> "*e6608e1f2fbd*,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,015b00ff3581,2dc1902e6756";
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*ad8875c8a7b5*,2dc1902e6756" [];
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,96cbd0893f78,*2dc1902e6756*" -> "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*ad8875c8a7b5*,2dc1902e6756";
  "e6608e1f2fbd,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*14b7dc115b8a*,2dc1902e6756" [];
  "*e6608e1f2fbd*,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,015b00ff3581,2dc1902e6756" -> "e6608e1f2fbd,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*14b7dc115b8a*,2dc1902e6756";
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*dd1c98afc670*,2dc1902e6756" [];
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*28f380fbdec3*,2dc1902e6756" -> "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*dd1c98afc670*,2dc1902e6756";
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*28f380fbdec3*,2dc1902e6756" [];
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*0be54438731f*,2dc1902e6756" -> "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*28f380fbdec3*,2dc1902e6756";
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*0be54438731f*,2dc1902e6756" [];
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*ad8875c8a7b5*,2dc1902e6756" -> "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*0be54438731f*,2dc1902e6756";
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,96cbd0893f78,*2dc1902e6756*" [];
  "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,*96cbd0893f78*,f9894eb67e7e\n132685:fail" -> "2e390c487815,c530a75c1e6a,c8ea04574953,20c76f9a5fbf,96cbd0893f78,*2dc1902e6756*";
}