digraph "test-xtf-amd64-amd64-3 xen-boot" {
  rankdir=BT;
  ranksep=0;
  nodesep=0.3;
  edge [arrowsize=0.2];
  node [shape=box, fontname="Courier-Bold", fontsize=9, style="filled"];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*3f5bd561d106*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*03bf349d6f81*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*3f5bd561d106*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,ce22cc35df52,*8d99d59dd4c3*" [];
  "*1dff08485b9e*,c530a75c1e6a,73e8fa3fec5b,026593643497,ce22cc35df52,bc35269fccd1" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,ce22cc35df52,*8d99d59dd4c3*";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*870d737058a4*,cf77aa0ee894\n123530:pass" [fillcolor="#00c000", fontcolor="black"];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*fb665b3c2a69*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*870d737058a4*,cf77aa0ee894\n123530:pass";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*5d271d51cc9e*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*5d8c6fd2c644*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*5d271d51cc9e*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*f666dab27132*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*366e041818fe*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*f666dab27132*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*bd63f041923a*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*340c686ace66*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*bd63f041923a*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*6678f0875579*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*bd63f041923a*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*6678f0875579*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,ce22cc35df52,*cf77aa0ee894*" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,ce22cc35df52,*c56f94a46771*" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,ce22cc35df52,*cf77aa0ee894*";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*0b5b62a6942c*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*ff11aaff4add*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*0b5b62a6942c*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*226c23115440*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*6de86cfa6848*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*226c23115440*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*0d44ee0bc044*,cf77aa0ee894\n123404:fail 123510:fail 123520:fail" [fillcolor="red", fontcolor="white",  shape=oval];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*f9b8c1119ead*,cf77aa0ee894\n123347:fail" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*0d44ee0bc044*,cf77aa0ee894\n123404:fail 123510:fail 123520:fail";
  "6ba89b52ba69,c530a75c1e6a,73e8fa3fec5b,026593643497,*ce22cc35df52*,bc35269fccd1\n123509:pass 123517:pass" [fillcolor="#00c000", fontcolor="black",  shape=hexagon];
  "6ba89b52ba69,c530a75c1e6a,73e8fa3fec5b,026593643497,*4f713cf37dc1*,bc35269fccd1" -> "6ba89b52ba69,c530a75c1e6a,73e8fa3fec5b,026593643497,*ce22cc35df52*,bc35269fccd1\n123509:pass 123517:pass";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*8c699a07682a*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*0b5b62a6942c*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*8c699a07682a*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*9299683d5911*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*8c699a07682a*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*9299683d5911*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*03bf349d6f81*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*375c01ec3f8e*,cf77aa0ee894\n123534:fail" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*03bf349d6f81*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*466ab4269ce5*,cf77aa0ee894\n123547:pass 123553:pass 123562:pass" [fillcolor="#00c000", fontcolor="black"];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*870d737058a4*,cf77aa0ee894\n123530:pass" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*466ab4269ce5*,cf77aa0ee894\n123547:pass 123553:pass 123562:pass";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*acdf07d3f02b*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*53c6a0246991*,cf77aa0ee894\n123538:fail 123550:fail 123559:fail 123566:fail" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*acdf07d3f02b*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*340c686ace66*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*55c1e8486baa*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*340c686ace66*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*5d8c6fd2c644*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*226c23115440*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*5d8c6fd2c644*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*366e041818fe*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*5d271d51cc9e*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*366e041818fe*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*ea94f1e1eb35*,cf77aa0ee894\n123526:pass" [fillcolor="#00c000", fontcolor="black"];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*9299683d5911*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*ea94f1e1eb35*,cf77aa0ee894\n123526:pass";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*ff11aaff4add*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*f666dab27132*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*ff11aaff4add*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*ed4f56df895a*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*3f5bd561d106*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*ed4f56df895a*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*f9b8c1119ead*,cf77aa0ee894\n123347:fail" [fillcolor="red", fontcolor="white"];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*ed4f56df895a*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*f9b8c1119ead*,cf77aa0ee894\n123347:fail";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*88f810af57c1*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*ea94f1e1eb35*,cf77aa0ee894\n123526:pass" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*88f810af57c1*,cf77aa0ee894";
  "*1dff08485b9e*,c530a75c1e6a,73e8fa3fec5b,026593643497,ce22cc35df52,bc35269fccd1" [];
  "6ba89b52ba69,c530a75c1e6a,73e8fa3fec5b,026593643497,*ce22cc35df52*,bc35269fccd1\n123509:pass 123517:pass" -> "*1dff08485b9e*,c530a75c1e6a,73e8fa3fec5b,026593643497,ce22cc35df52,bc35269fccd1";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,ce22cc35df52,*c56f94a46771*" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,ce22cc35df52,*8d99d59dd4c3*" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,ce22cc35df52,*c56f94a46771*";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*fb665b3c2a69*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*6678f0875579*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*fb665b3c2a69*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*55c1e8486baa*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*88f810af57c1*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*55c1e8486baa*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*53c6a0246991*,cf77aa0ee894\n123538:fail 123550:fail 123559:fail 123566:fail" [fillcolor="red", fontcolor="white",  peripheries=2,  style="bold,filled"];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*466ab4269ce5*,cf77aa0ee894\n123547:pass 123553:pass 123562:pass" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*53c6a0246991*,cf77aa0ee894\n123538:fail 123550:fail 123559:fail 123566:fail";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*6de86cfa6848*,cf77aa0ee894" [];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,ce22cc35df52,*cf77aa0ee894*" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*6de86cfa6848*,cf77aa0ee894";
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*375c01ec3f8e*,cf77aa0ee894\n123534:fail" [fillcolor="red", fontcolor="white"];
  "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*acdf07d3f02b*,cf77aa0ee894" -> "1dff08485b9e,c530a75c1e6a,73e8fa3fec5b,026593643497,*375c01ec3f8e*,cf77aa0ee894\n123534:fail";
}