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"
    ]




    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/TransformationProfile.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassVisitor.kt]" [label=" 6 ", penwidth="6", color="#00688bB7"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderInjections.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" [label=" 6 ", penwidth="6", color="#00688bB7"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" -- "[src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt]" [label=" 6 ", penwidth="6", color="#00688bB7"];
    "[src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt]" -- "[bootstrap/src/sun/nio/ch/lincheck/EventTracker.java]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassVisitor.kt]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" -- "[bootstrap/src/sun/nio/ch/lincheck/EventTracker.java]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderInjections.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassVisitor.kt]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassFileTransformer.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderInjections.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorder.kt]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[trace/src/main/org/jetbrains/lincheck/trace/TRTracePointPrinters.kt]" -- "[trace/src/main/org/jetbrains/lincheck/trace/TraceRecorderTracePoints.kt]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassFileTransformer.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassVisitor.kt]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorder.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassFileTransformer.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckJavaAgent.kt]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderInjections.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderAgent.kt]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[trace/src/main/org/jetbrains/lincheck/trace/TraceRecorderTracePoints.kt]" -- "[trace/src/main/org/jetbrains/lincheck/trace/Deserialization.kt]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/LoopTransformer.kt]" -- "[src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" -- "[bootstrap/src/sun/nio/ch/lincheck/Injections.java]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderInjections.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassFileTransformer.kt]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt]" -- "[bootstrap/src/sun/nio/ch/lincheck/Injections.java]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[bootstrap/src/sun/nio/ch/lincheck/Injections.java]" -- "[bootstrap/src/sun/nio/ch/lincheck/EventTracker.java]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/LoopTransformer.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassVisitor.kt]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/TransformationProfile.kt]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderInjections.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckJavaAgent.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderMethodTransformer.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/LoopTransformer.kt]" -- "[bootstrap/src/sun/nio/ch/lincheck/Injections.java]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[trace/src/main/org/jetbrains/lincheck/trace/TRTracePointPrinters.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassVisitor.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderAgent.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorder.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/TraceAgentTransformer.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/analysis/ControlFlowGraphAnalyzer.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/analysis/controlflow/BasicBlockControlFlowGraph.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[bootstrap/src/sun/nio/ch/lincheck/EventTracker.java]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassVisitor.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/MethodCallTransformer.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassVisitor.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/analysis/controlflow/LoopInformation.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/analysis/controlflow/BasicBlockControlFlowGraph.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderInjections.kt]" -- "[src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[buildSrc/src/main/kotlin/TraceAgentIntegrationTestsTasks.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[trace/src/main/org/jetbrains/lincheck/trace/TRTracePointPrinters.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/LocalVariablesAccessTransformer.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/analysis/ControlFlowGraphAnalyzer.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassFileTransformer.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/MethodCallTransformer.kt]" -- "[bootstrap/src/sun/nio/ch/lincheck/Injections.java]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/SharedMemoryAccessTransformer.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/LoopTransformer.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/analysis/controlflow/LoopInformation.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassFileTransformer.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/LoopTransformer.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/MethodCallTransformer.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/LoopTransformer.kt]" -- "[bootstrap/src/sun/nio/ch/lincheck/EventTracker.java]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/SharedMemoryAccessTransformer.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/LocalVariablesAccessTransformer.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderAgent.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassVisitor.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderMethodTransformer.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceRecorderInjections.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[common/src/main/org/jetbrains/lincheck/util/AnalysisSections.kt]" -- "[trace-recorder/src/main/org/jetbrains/lincheck/trace/recorder/TraceCollectingEventTracker.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[trace/src/main/org/jetbrains/lincheck/trace/Printing.kt]" -- "[trace/src/main/org/jetbrains/lincheck/trace/Deserialization.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/analysis/controlflow/BasicBlockControlFlowGraph.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/LincheckClassFileTransformer.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/SharedMemoryAccessTransformer.kt]" -- "[jvm-agent/src/main/org/jetbrains/lincheck/jvm/agent/transformers/MethodCallTransformer.kt]" [label=" 3 ", penwidth="3", color="#00688b82"];

}