graph G {
    compound="true"
    rankdir="TB"
    bgcolor="white"
    fontname="Tahoma"

    node [
        fixedsize="false"
        fontname="Tahoma"
        color="white"
        fillcolor="deepskyblue2"
        fontcolor="black"
        shape="box"
        style="filled"
        penwidth="1.0"
    ]
    edge [
        fontname="Arial"
        color="#00688b"
        fontcolor="black"
        fontsize="12"
        arrowsize="0.5"
        penwidth="1.0"
    ]




    "[include/z3_polynomial.h]" -- "[include/z3_fpa.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_polynomial.h]" -- "[include/z3_fixedpoint.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_fpa.h]" -- "[include/z3++.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_optimization.h]" -- "[include/z3_algebraic.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_spacer.h]" -- "[include/z3_rcf.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_api.h]" -- "[include/z3++.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_spacer.h]" -- "[include/z3++.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_spacer.h]" -- "[include/z3_api.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_version.h]" -- "[include/z3_optimization.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_fixedpoint.h]" -- "[include/z3++.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_version.h]" -- "[include/z3_rcf.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_rcf.h]" -- "[include/z3_algebraic.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_ast_containers.h]" -- "[include/z3_api.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_fixedpoint.h]" -- "[include/z3_ast_containers.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_polynomial.h]" -- "[include/z3_api.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_ast_containers.h]" -- "[include/z3++.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_version.h]" -- "[include/z3++.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_rcf.h]" -- "[include/z3_api.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_polynomial.h]" -- "[include/z3_ast_containers.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_version.h]" -- "[include/z3_algebraic.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_optimization.h]" -- "[include/z3_api.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_spacer.h]" -- "[include/z3_polynomial.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_polynomial.h]" -- "[include/z3_algebraic.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_rcf.h]" -- "[include/z3++.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_rcf.h]" -- "[include/z3_ast_containers.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_spacer.h]" -- "[include/z3_algebraic.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_fpa.h]" -- "[include/z3_algebraic.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_version.h]" -- "[include/z3_api.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_version.h]" -- "[include/z3_spacer.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_rcf.h]" -- "[include/z3_polynomial.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_spacer.h]" -- "[include/z3_ast_containers.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_polynomial.h]" -- "[include/z3_optimization.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_rcf.h]" -- "[include/z3_optimization.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_fpa.h]" -- "[include/z3_fixedpoint.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_optimization.h]" -- "[include/z3_fixedpoint.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_spacer.h]" -- "[include/z3_fpa.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_version.h]" -- "[include/z3_fixedpoint.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_optimization.h]" -- "[include/z3_ast_containers.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_version.h]" -- "[include/z3_polynomial.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_fixedpoint.h]" -- "[include/z3_api.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_polynomial.h]" -- "[include/z3++.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_fpa.h]" -- "[include/z3_ast_containers.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_fixedpoint.h]" -- "[include/z3_algebraic.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_algebraic.h]" -- "[include/z3++.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_spacer.h]" -- "[include/z3_fixedpoint.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_optimization.h]" -- "[include/z3++.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_rcf.h]" -- "[include/z3_fixedpoint.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_optimization.h]" -- "[include/z3_fpa.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_version.h]" -- "[include/z3_ast_containers.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[include/z3_api.h]" -- "[include/z3_algebraic.h]" [label=" 5 ", penwidth="5", color="#00688bA5"];

}