digraph "test-amd64-amd64-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"];
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*09afb9e78e1e*" [];
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*480b5ebcc988*" -> "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*09afb9e78e1e*";
  "*7fdf3e8616c5*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" [];
  "*a36b79689096*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*7fdf3e8616c5*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "*a840c93ca758*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*7fdf3e8616c5*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*4712c0a231f0*" [];
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*6b9562dac174*" -> "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*4712c0a231f0*";
  "*89c29def6b01*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" [];
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*06f542f8f2e4*" -> "*89c29def6b01*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "*6ac9f42cda94*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" [];
  "*34a8e640d1ea*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*6ac9f42cda94*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "806e30873f0e,c530a75c1e6a,c8ea04574953,43139135a893,*06f542f8f2e4*" -> "*6ac9f42cda94*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*d6239f64713d*" [];
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*b7eb9d8bd61e*" -> "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*d6239f64713d*";
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*480b5ebcc988*" [];
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*4712c0a231f0*" -> "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*480b5ebcc988*";
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*6b9562dac174*" [];
  "*0512e0134582*,c530a75c1e6a,c8ea04574953,43139135a893,fc5805daef09\n123806:pass" -> "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*6b9562dac174*";
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*2de2b10b2252*" [];
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*09afb9e78e1e*" -> "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*2de2b10b2252*";
  "*918fe1b31579*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4\n123655:fail 123808:pass" [ fillcolor="yellow",  fontcolor="black",  peripheries=2,  style="bold,filled",  shape=oval];
  "*e0255aec66a1*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*918fe1b31579*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4\n123655:fail 123808:pass";
  "*cd075ce4679c*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*918fe1b31579*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4\n123655:fail 123808:pass";
  "*ada7339efeb9*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" [];
  "*4277e6b9fd44*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*ada7339efeb9*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "*012cfaced00b*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*ada7339efeb9*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "*34a8e640d1ea*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" [];
  "*7fdf3e8616c5*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*34a8e640d1ea*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "9d569b1cf7a2,c530a75c1e6a,c8ea04574953,43139135a893,*06f542f8f2e4*" -> "*34a8e640d1ea*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "*a36b79689096*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" [];
  "*0938a8f52d10*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*a36b79689096*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "*a0ccb6b54bdd*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*a36b79689096*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*06f542f8f2e4*" [];
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*d6239f64713d*" -> "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*06f542f8f2e4*";
  "*e0255aec66a1*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" [];
  "*ada7339efeb9*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*e0255aec66a1*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "c9ddf73476ff,c530a75c1e6a,c8ea04574953,43139135a893,*06f542f8f2e4*" -> "*e0255aec66a1*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*849cc9ac56ef*" [];
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*2de2b10b2252*" -> "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*849cc9ac56ef*";
  "*0938a8f52d10*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" [];
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*06f542f8f2e4*" -> "*0938a8f52d10*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "*145e1a71e090*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*0938a8f52d10*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "*0512e0134582*,c530a75c1e6a,c8ea04574953,43139135a893,fc5805daef09\n123806:pass" [fillcolor="#00c000", fontcolor="black",  shape=hexagon];
  "*dd52cb879063*,c530a75c1e6a,c8ea04574953,43139135a893,fc5805daef09" -> "*0512e0134582*,c530a75c1e6a,c8ea04574953,43139135a893,fc5805daef09\n123806:pass";
  "*829bc787c1a0*,c530a75c1e6a,c8ea04574953,43139135a893,fc5805daef09" -> "*0512e0134582*,c530a75c1e6a,c8ea04574953,43139135a893,fc5805daef09\n123806:pass";
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*b7eb9d8bd61e*" [];
  "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*849cc9ac56ef*" -> "0512e0134582,c530a75c1e6a,c8ea04574953,43139135a893,*b7eb9d8bd61e*";
  "*7172a69c1046*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" [];
  "*6ac9f42cda94*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*7172a69c1046*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "*89c29def6b01*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*7172a69c1046*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "*4277e6b9fd44*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" [];
  "*7172a69c1046*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4" -> "*4277e6b9fd44*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
  "c7e814628df6,c530a75c1e6a,c8ea04574953,43139135a893,*06f542f8f2e4*" -> "*4277e6b9fd44*,c530a75c1e6a,c8ea04574953,43139135a893,06f542f8f2e4";
}