digraph "test-xtf-amd64-amd64-4 xen-boot" {
  rankdir=BT;
  ranksep=0;
  nodesep=0.3;
  edge [arrowsize=0.2];
  node [shape=box, fontname="Courier-Bold", fontsize=9, style="filled"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*f00ad745cfa7*,5e770502e81e\n175165:fail" [fillcolor="red", fontcolor="white"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*c243c0bb2a77*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*f00ad745cfa7*,5e770502e81e\n175165:fail";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*718eb7513ac7*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*34f8b971b2dd*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*718eb7513ac7*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*af50d9be4358*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*0829a2f3fcab*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*af50d9be4358*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*3d0290e528ff*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*dae2839c5490*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*3d0290e528ff*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*4755d10e9c57*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*8a6bce7c76f1*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*4755d10e9c57*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*54073350bad1*,5e770502e81e\n175163:pass" [fillcolor="#00c000", fontcolor="black"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*8d30b9e32c46*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*54073350bad1*,5e770502e81e\n175163:pass";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*bb46e3897077*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*3d0290e528ff*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*bb46e3897077*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*f86d0a1ff200*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*15dccc881d06*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*f86d0a1ff200*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*96993519424c*,5e770502e81e\n175154:fail 175161:fail" [fillcolor="red", fontcolor="white",  shape=oval];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*b08600e2d6b5*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*96993519424c*,5e770502e81e\n175154:fail 175161:fail";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*4384d96c1ced*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*c44c0dc35889*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*4384d96c1ced*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*eac84d9d5790*,5e770502e81e\n175164:pass 175170:pass 175174:pass" [fillcolor="#00c000", fontcolor="black"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*9bbfd7b14c4a*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*eac84d9d5790*,5e770502e81e\n175164:pass 175170:pass 175174:pass";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*8d30b9e32c46*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*d7669c101427*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*8d30b9e32c46*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*a44734df6c24*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*51c5b8b9afe9*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*a44734df6c24*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*15dccc881d06*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*4755d10e9c57*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*15dccc881d06*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*9bbfd7b14c4a*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*f86d0a1ff200*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*9bbfd7b14c4a*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*cfee463c112b*,5e770502e81e\n175167:fail" [fillcolor="red", fontcolor="white"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*e9c72d524fbd*,5e770502e81e\n175169:fail 175171:fail 175175:fail" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*cfee463c112b*,5e770502e81e\n175167:fail";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*d7669c101427*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*db92cb450dd7*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*d7669c101427*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*b926dbcccaa9*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*866ce2657e13*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*b926dbcccaa9*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*4c2f82d95e89*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*718eb7513ac7*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*4c2f82d95e89*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*dae2839c5490*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*2d2fda022339*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*dae2839c5490*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*34f8b971b2dd*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*a6da84524cea*,5e770502e81e\n175062:pass 175158:pass" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*34f8b971b2dd*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*c44c0dc35889*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*f00ad745cfa7*,5e770502e81e\n175165:fail" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*c44c0dc35889*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*d46b1f5c2940*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*cfee463c112b*,5e770502e81e\n175167:fail" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*d46b1f5c2940*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*1ed7da301020*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*54073350bad1*,5e770502e81e\n175163:pass" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*1ed7da301020*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*c243c0bb2a77*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*d46b1f5c2940*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*c243c0bb2a77*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*8a6bce7c76f1*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*d25aeb176e6c*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*8a6bce7c76f1*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*866ce2657e13*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*bb46e3897077*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*866ce2657e13*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*2d2fda022339*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*4c2f82d95e89*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*2d2fda022339*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*8301856bd956*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*4384d96c1ced*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*8301856bd956*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*a6da84524cea*,5e770502e81e\n175062:pass 175158:pass" [fillcolor="#00c000", fontcolor="black",  shape=hexagon];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*53ba5e1b48a5*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*a6da84524cea*,5e770502e81e\n175062:pass 175158:pass";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*0829a2f3fcab*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*11b4ff64841e*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*0829a2f3fcab*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*60737ee9c590*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*b926dbcccaa9*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*60737ee9c590*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*11b4ff64841e*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*a44734df6c24*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*11b4ff64841e*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*db92cb450dd7*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*af50d9be4358*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*db92cb450dd7*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*d25aeb176e6c*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*72cfe1c3ad1f*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*d25aeb176e6c*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*e9c72d524fbd*,5e770502e81e\n175169:fail 175171:fail 175175:fail" [fillcolor="red", fontcolor="white",  peripheries=2,  style="bold,filled"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*eac84d9d5790*,5e770502e81e\n175164:pass 175170:pass 175174:pass" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*e9c72d524fbd*,5e770502e81e\n175169:fail 175171:fail 175175:fail";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*51c5b8b9afe9*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*60737ee9c590*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*51c5b8b9afe9*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*b08600e2d6b5*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*8301856bd956*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*b08600e2d6b5*,5e770502e81e\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*72cfe1c3ad1f*,5e770502e81e\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*1ed7da301020*,5e770502e81e\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,b746458e1ce1,*72cfe1c3ad1f*,5e770502e81e\n";
}