digraph "test-amd64-i386-xl-qemuu-debianhvm-amd64-shadow guest-localmigrate/x10" {
  rankdir=BT;
  ranksep=0;
  nodesep=0.3;
  edge [arrowsize=0.2];
  node [shape=box, fontname="Courier-Bold", fontsize=9, style="filled"];
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*3d6970d3f504*" [];
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*a0db1f211f49*" -> "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*3d6970d3f504*";
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*12b9fca60467*\n122923:fail" [fillcolor="red", fontcolor="white",  shape=oval];
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*916ef0dce5d0*" -> "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*12b9fca60467*\n122923:fail";
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*916ef0dce5d0*" [];
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*055abe41980b*" -> "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*916ef0dce5d0*";
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*c4333f586f85*" [];
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*3d6970d3f504*" -> "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*c4333f586f85*";
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*a0db1f211f49*" [];
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*6a74f4e31dc2*" -> "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*a0db1f211f49*";
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*055abe41980b*" [];
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*c4333f586f85*" -> "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*055abe41980b*";
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*6a74f4e31dc2*" [ peripheries=2,  style="bold,filled",  shape=hexagon];
  "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*5278a9a67d5d*" -> "eff40cb1908b,c530a75c1e6a,57ca3f4a3092,9e879690ecc7,*6a74f4e31dc2*";
}