digraph "test-xtf-amd64-amd64-1 xtf/test-pv64-selftest" {
  rankdir=BT;
  ranksep=0;
  nodesep=0.3;
  edge [arrowsize=0.2];
  node [shape=box, fontname="Courier-Bold", fontsize=9, style="filled"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*2c8fabb2232d*,17d372b763cb\n153960:pass" [fillcolor="#00c000", fontcolor="black"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*7dcf89d9ec96*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*2c8fabb2232d*,17d372b763cb\n153960:pass";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*ac7a21cf5c12*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*fc4b1cbd8d8d*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*ac7a21cf5c12*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*4d7bcd128f11*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*7dcd33d562ee*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*4d7bcd128f11*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*b11910082d90*,17d372b763cb\n153906:fail 153931:fail 153957:fail 153958:fail" [fillcolor="red", fontcolor="white",  shape=oval];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*71039ed743a3*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*b11910082d90*,17d372b763cb\n153906:fail 153931:fail 153957:fail 153958:fail";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*f4c1a541fa35*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*968bb86d0491*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*f4c1a541fa35*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*a609b6577f78*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*4d7bcd128f11*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*a609b6577f78*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*1be24cd17741*,17d372b763cb\n153969:fail" [fillcolor="red", fontcolor="white"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*ad0fd291c5e7*,17d372b763cb\n153972:fail 153979:fail 153986:fail" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*1be24cd17741*,17d372b763cb\n153969:fail";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*82c3d15c903a*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*ac7a21cf5c12*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*82c3d15c903a*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*e52716154da0*,17d372b763cb\n153965:pass" [fillcolor="#00c000", fontcolor="black"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*f4c1a541fa35*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*e52716154da0*,17d372b763cb\n153965:pass";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*8cf225013582*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*afe018e041ec*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*8cf225013582*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*968bb86d0491*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*1814a626fb58*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*968bb86d0491*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*7dcf89d9ec96*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*696c273f3d9a*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*7dcf89d9ec96*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*a5eaac9245f4*,17d372b763cb\n153967:pass 153976:pass 153982:pass" [fillcolor="#00c000", fontcolor="black"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*f5b44269fc73*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*a5eaac9245f4*,17d372b763cb\n153967:pass 153976:pass 153982:pass";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*c9e88d200d1b*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*4175fd3ccd17*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*c9e88d200d1b*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*afe018e041ec*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*e46474278a0e*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*afe018e041ec*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*ad0fd291c5e7*,17d372b763cb\n153972:fail 153979:fail 153986:fail" [fillcolor="red", fontcolor="white",  peripheries=2,  style="bold,filled"];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*a5eaac9245f4*,17d372b763cb\n153967:pass 153976:pass 153982:pass" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*ad0fd291c5e7*,17d372b763cb\n153972:fail 153979:fail 153986:fail";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*e46474278a0e*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*d400dc5729e4*,17d372b763cb\n153004:pass 153955:pass" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*e46474278a0e*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*2454fa428d0b*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*e52716154da0*,17d372b763cb\n153965:pass" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*2454fa428d0b*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*d400dc5729e4*,17d372b763cb\n153004:pass 153955:pass" [fillcolor="#00c000", fontcolor="black",  shape=hexagon];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*8d990807ec2c*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*d400dc5729e4*,17d372b763cb\n153004:pass 153955:pass";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*7dcd33d562ee*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*9d207b88ff20*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*7dcd33d562ee*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*71039ed743a3*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*1be24cd17741*,17d372b763cb\n153969:fail" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*71039ed743a3*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*f5b44269fc73*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*2454fa428d0b*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*f5b44269fc73*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*696c273f3d9a*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*a609b6577f78*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*696c273f3d9a*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*fc4b1cbd8d8d*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*2c8fabb2232d*,17d372b763cb\n153960:pass" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*fc4b1cbd8d8d*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*1814a626fb58*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*82c3d15c903a*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*1814a626fb58*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*9d207b88ff20*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*0dd40d68b10a*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*9d207b88ff20*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*0dd40d68b10a*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*c9e88d200d1b*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*0dd40d68b10a*,17d372b763cb\n";
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*4175fd3ccd17*,17d372b763cb\n" [];
  "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*8cf225013582*,17d372b763cb\n" -> "c3038e718a19,c530a75c1e6a,3d273dd05e51,ea6d3cd1ed79,*4175fd3ccd17*,17d372b763cb\n";
}