digraph "test-xtf-amd64-amd64-1 xtf/test-hvm32pae-invlpg~shadow" {
  rankdir=BT;
  ranksep=0;
  nodesep=0.3;
  edge [arrowsize=0.2];
  node [shape=box, fontname="Courier-Bold", fontsize=9, style="filled"];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*400063dcdf7d*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*f6d08885c3bd*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*400063dcdf7d*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*bf22c39e4bf1*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*898b7c4977a3*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*bf22c39e4bf1*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*97462479d241*,2b62f68c3731\n107235:fail" [fillcolor="red", fontcolor="white",  shape=oval];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*f0f3d439b132*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*97462479d241*,2b62f68c3731\n107235:fail";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*f6d08885c3bd*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*bb92bb77bc98*,2b62f68c3731\n107266:fail" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*f6d08885c3bd*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*a57a99ae0f90*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*400063dcdf7d*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*a57a99ae0f90*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*159a61072dcf*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*39726290e99f*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*159a61072dcf*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*bb92bb77bc98*,2b62f68c3731\n107266:fail" [fillcolor="red", fontcolor="white",  peripheries=2,  style="bold,filled",  shape=hexagon];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*ef63a62b3a7f*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*bb92bb77bc98*,2b62f68c3731\n107266:fail";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*5c609c87802a*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*4d69c19cf632*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*5c609c87802a*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*307357318a60*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*bf22c39e4bf1*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*307357318a60*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*4eff891f1ba7*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*05ccb713b2c8*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*4eff891f1ba7*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*a991af79012c*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*06222e5b486a*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*a991af79012c*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*05ccb713b2c8*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*1eebd16fd518*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*05ccb713b2c8*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*d9c4094f973f*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*66cb2ebf92a6*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*d9c4094f973f*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*1eebd16fd518*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*f4d16c9b7042*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*1eebd16fd518*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*3d1affc787bd*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*4eff891f1ba7*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*3d1affc787bd*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*f0f3d439b132*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*d9c4094f973f*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*f0f3d439b132*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*898b7c4977a3*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*159a61072dcf*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*898b7c4977a3*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*66cb2ebf92a6*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*3d1affc787bd*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*66cb2ebf92a6*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*f4d16c9b7042*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*9050a970c856*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*f4d16c9b7042*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*39726290e99f*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*ebb5a34e856a*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*39726290e99f*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*4d69c19cf632*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*ab889fb94811*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*4d69c19cf632*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*9050a970c856*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*5c609c87802a*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*9050a970c856*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*06222e5b486a*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*a57a99ae0f90*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*06222e5b486a*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*ebb5a34e856a*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*a991af79012c*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*ebb5a34e856a*,2b62f68c3731";
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*ab889fb94811*,2b62f68c3731" [];
  "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*307357318a60*,2b62f68c3731" -> "b65f2f457c49,c530a75c1e6a,57ca3f4a3092,44f3d4e6448e,*ab889fb94811*,2b62f68c3731";
}