digraph "ABI diff" {
  "0" [shape=rectangle, label="'symbols'"]
  "1" [color=red, label="removed(_Z3f01iii)"]
  "0" -> "1" [label=""]
  "2" [color=red, label="removed(_Z3f02iii)"]
  "0" -> "2" [label=""]
  "3" [color=red, label="removed(_Z3f03iii)"]
  "0" -> "3" [label=""]
  "4" [color=red, label="removed(_Z3f09iii)"]
  "0" -> "4" [label=""]
  "5" [color=red, label="removed(_Z3f10iii)"]
  "0" -> "5" [label=""]
  "6" [color=red, label="removed(_Z3f11iii)"]
  "0" -> "6" [label=""]
  "7" [color=red, label="removed(_Z3f12iii)"]
  "0" -> "7" [label=""]
  "8" [color=red, label="removed(_ZN1S3f01Eiii)"]
  "0" -> "8" [label=""]
  "9" [color=red, label="removed(_ZN1S3f02Eiii)"]
  "0" -> "9" [label=""]
  "10" [color=red, label="removed(_ZN1S3f03Eiii)"]
  "0" -> "10" [label=""]
  "11" [color=red, label="removed(_ZN1S3f09Eiii)"]
  "0" -> "11" [label=""]
  "12" [color=red, label="removed(_ZN1S3f10Eiii)"]
  "0" -> "12" [label=""]
  "13" [color=red, label="removed(_ZN1S3f11Eiii)"]
  "0" -> "13" [label=""]
  "14" [color=red, label="removed(_ZN1S3f12Eiii)"]
  "0" -> "14" [label=""]
  "15" [color=red, label="added(_Z3f01ii)"]
  "0" -> "15" [label=""]
  "16" [color=red, label="added(_Z3f02ii)"]
  "0" -> "16" [label=""]
  "17" [color=red, label="added(_Z3f03ii)"]
  "0" -> "17" [label=""]
  "18" [color=red, label="added(_Z3f09iiii)"]
  "0" -> "18" [label=""]
  "19" [color=red, label="added(_Z3f10iiii)"]
  "0" -> "19" [label=""]
  "20" [color=red, label="added(_Z3f11iiii)"]
  "0" -> "20" [label=""]
  "21" [color=red, label="added(_Z3f12iiii)"]
  "0" -> "21" [label=""]
  "22" [color=red, label="added(_ZN1S3f01Eii)"]
  "0" -> "22" [label=""]
  "23" [color=red, label="added(_ZN1S3f02Eii)"]
  "0" -> "23" [label=""]
  "24" [color=red, label="added(_ZN1S3f03Eii)"]
  "0" -> "24" [label=""]
  "25" [color=red, label="added(_ZN1S3f09Eiiii)"]
  "0" -> "25" [label=""]
  "26" [color=red, label="added(_ZN1S3f10Eiiii)"]
  "0" -> "26" [label=""]
  "27" [color=red, label="added(_ZN1S3f11Eiiii)"]
  "0" -> "27" [label=""]
  "28" [color=red, label="added(_ZN1S3f12Eiiii)"]
  "0" -> "28" [label=""]
}