Skip to content

Instantly share code, notes, and snippets.

@simonrozsival

simonrozsival/exercise-compression.md

Last active April 23, 2017 13:13
Show Gist options
  • Save simonrozsival/745aa83d884d29431b3d6b1344417b24 to your computer and use it in GitHub Desktop.
Save simonrozsival/745aa83d884d29431b3d6b1344417b24 to your computer and use it in GitHub Desktop.
Download ZIP
Compression algorithm ReCodEx exercise - configuration specification proposal
Raw
exercise-compression.md

Compression exercise

The exercise is to compress a text file supplied through standard input using the method given as the first argument ("zip", "7z", "tar").

The evaluation pipeline evaluates whether the archive created by the user's algorithm can be extracted and the yielded data is the same as the original data. The generated input is compressed for reference and the file sizes are compared.

Pipeline:

The definition of the pipeline can be expressed by an YAML code:

tests:
    common:
        pipeline: "compress"
    cases:
        test1:
            length: 1000
            method: "zip"
        test2:
            length: 1000
            method: "7z"
        test3:
            length: 1000000
            method: "zip"
        test4:
            length: 1000000
            method: "tar"
        test5:
            length: 1000000000
            method: "zip"
        test6:
            length: 1000000000
            method: "7z"
        test7:
            length: 1000000000
            method: "tar"

pipelines:
    compress:
        output:
            score: "j"
        generator:
            type: "recodex/random-text-generator"
            options:
                # seed: 12345
                length: "${length}"
            input:
            output:
                text: "g"

        compile:
            type: "recodex/compilation"
            input:
                source_files:
                    - "...${source_files}"
            output:
                executable: "e"

        exec:
            type: "recodex/execution"
            input:
                executable: "${e}"
                args:
                    - "${method}"
                files:
                    "text.in": ${e}
            output:
                files:
                    "archive.out": "z"

        compress:
            type: "recodex/compression"
            input:
                archive: "${g}"
                method: "${method}"
            output: "c"

        extract:
            type: "recodex/extraction"
            input:
                archive: "${z}"
                method: "${method}"
            output: "u"

        judge_correctness:
            type: "recodex/diff"
            options:
                encoding: "utf-8"
                mode: "strict"
            input:
                expected: "${g}"
                actual: "${u}"
            output:
                score: "jc"

        judge_ratio:
            type: "recodex/ratio"
            options:
                mode: "smaller-is-better"
            input:
                expected: "@file_size(${c})"
                actual: "@file_size(${z})"
            output:
                score: "jr"

        judge:
            type: "recodex/min"
            input:
                - "${jc}"
                - "${jr}"
            output:
                score: "j"

Pipeline flow is defined by this DOT graph:

pipeline graph

strict digraph {

    rankdir=LR;

    node [ shape=ellipse, color=green ] source_files;
    node [ shape=note, color=grey ] generator method;
    node [ shape=box, color=blue ] compress extract compile exec judge judge_correctness judge_ratio;
    node [ shape=doublecircle, color=green ] score;

    source_files -> compile [ label="s" ];
    
    generator -> exec [ label="g" ];
    compile -> exec [ label="e" ];
    method -> exec [ label="method" ];
    
    generator -> compress [ label="g" ];
    method -> compress [ label="method" ];

    exec -> extract [ label="z" ];
    method -> extract [ lable="method" ]

    extract -> judge_correctness [ label="u" ];
    generator -> judge_correctness [ label="g" ];

    exec -> judge_ratio [ label="z" ];
    compress -> judge_ratio [ label="c" ];

    judge_correctness -> judge [ label="jc" ];
    judge_ratio -> judge [ label="jr" ];

    judge -> score [ label="j" ]

}

The variable names should be "obfuscated" for the sake of expansion and optimalization. The obfuscation can be done for example in a "functional" way: each output variable is in fact a function of the input variables. So for example an output variable "A", wich depends on input variables "R" and "X", would be obfuscated as "A(R, X)" -- the parameters are sorted lexically and separated by commas and whitespaces. The variables, which change over iterations are marked with indexer-like square brackets syntax with an iterator variable.

the same graph with obfiscated variables

strict digraph {

    rankdir=LR;

    node [ shape=ellipse, color=green ] source_files;
    node [ shape=note, color=grey ] generator method;
    node [ shape=box, color=blue ] compress extract compile exec judge judge_correctness judge_ratio;
    node [ shape=doublecircle, color=green ] score;

    source_files -> compile [ label="s" ];
    
    generator -> exec [ label="g[i]" ];
    compile -> exec [ label="c(s)" ];
    method -> exec [ label="m[j]" ];
    
    generator -> compress [ label="g[i]" ];
    method -> compress [ label="m[j]" ];

    exec -> extract [ label="e(c(s), g[i], m[j])" ];
    method -> extract [ lable="m[j]" ]

    extract -> judge_correctness [ label="u(e(c(s), g[i], m[j]), m[j])" ];
    generator -> judge_correctness [ label="g[i]" ];

    exec -> judge_ratio [ label="e(c(s), g[i], m[j])" ];
    compress -> judge_ratio [ label="z(g[i], m[j])" ];

    judge_correctness -> judge [ label="jc(u(e(...), g[i], m[j])" ];
    judge_ratio -> judge [ label="jr(e(...), z(g[i], m[j]))" ];

    judge -> score [ label="j(jr(...), jc(...))" ]

}

Pipeline expansion

When the variables are obfuscated, then the test cases can be instantiated and the nodes, which have the same set of input variables and output variables and have the same type and options can be merged into one (e.g., the compilation is done only once) and create a graph, which can be then turned into a JobConfig for a given programming language or runtime environment:

expanded pipeline

Job config

@todo

Display the source blob
Display the rendered blob
Raw
expanded.svg
<?xml version="1.0" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg width="1938pt" height="1779pt" viewBox="0.00 0.00 1938.00 1779.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph1" class="graph" transform="scale(1 1) rotate(0) translate(4 1775)">
<title>_anonymous_0</title>
<polygon fill="white" stroke="white" points="-4,5 -4,-1775 1935,-1775 1935,5 -4,5"></polygon>
<!-- source_files -->
<g id="node1" class="node"><title>source_files</title>
<ellipse fill="none" stroke="green" cx="58" cy="-900" rx="57.881" ry="18"></ellipse>
<text text-anchor="middle" x="58" y="-895.8" font-family="Times,serif" font-size="14.00">source_files</text>
</g>
<!-- compile -->
<g id="node26" class="node"><title>compile</title>
<polygon fill="none" stroke="blue" points="231.601,-918 170.399,-918 170.399,-882 231.601,-882 231.601,-918"></polygon>
<text text-anchor="middle" x="201" y="-895.8" font-family="Times,serif" font-size="14.00">compile</text>
</g>
<!-- source_files&#45;&gt;compile -->
<g id="edge2" class="edge"><title>source_files-&gt;compile</title>
<path fill="none" stroke="black" d="M115.944,-900C130.805,-900 146.501,-900 160.255,-900"></path>
<polygon fill="black" stroke="black" points="160.348,-903.5 170.348,-900 160.348,-896.5 160.348,-903.5"></polygon>
<text text-anchor="middle" x="137" y="-904.2" font-family="Times,serif" font-size="14.00">s</text>
</g>
<!-- generator[0] -->
<g id="node2" class="node"><title>generator[0]</title>
<polygon fill="none" stroke="grey" points="237.677,-1771 158.323,-1771 158.323,-1735 243.677,-1735 243.677,-1765 237.677,-1771"></polygon>
<polyline fill="none" stroke="grey" points="237.677,-1771 237.677,-1765 "></polyline>
<polyline fill="none" stroke="grey" points="243.677,-1765 237.677,-1765 "></polyline>
<text text-anchor="middle" x="201" y="-1748.8" font-family="Times,serif" font-size="14.00">generator[0]</text>
</g>
<!-- compress[0][0] -->
<g id="node12" class="node"><title>compress[0][0]</title>
<polygon fill="none" stroke="blue" points="409.513,-1664 308.487,-1664 308.487,-1628 409.513,-1628 409.513,-1664"></polygon>
<text text-anchor="middle" x="359" y="-1641.8" font-family="Times,serif" font-size="14.00">compress[0][0]</text>
</g>
<!-- generator[0]&#45;&gt;compress[0][0] -->
<g id="edge10" class="edge"><title>generator[0]-&gt;compress[0][0]</title>
<path fill="none" stroke="black" d="M243.652,-1748.3C259.108,-1745.13 276.216,-1739.85 290,-1731 312.553,-1716.53 330.984,-1692.01 342.941,-1673.01"></path>
<polygon fill="black" stroke="black" points="346.092,-1674.57 348.28,-1664.2 340.105,-1670.94 346.092,-1674.57"></polygon>
<text text-anchor="middle" x="276" y="-1747.2" font-family="Times,serif" font-size="14.00">g[0]</text>
</g>
<!-- exec[0][0] -->
<g id="node27" class="node"><title>exec[0][0]</title>
<polygon fill="none" stroke="blue" points="396.287,-1610 321.713,-1610 321.713,-1574 396.287,-1574 396.287,-1610"></polygon>
<text text-anchor="middle" x="359" y="-1587.8" font-family="Times,serif" font-size="14.00">exec[0][0]</text>
</g>
<!-- generator[0]&#45;&gt;exec[0][0] -->
<g id="edge6" class="edge"><title>generator[0]-&gt;exec[0][0]</title>
<path fill="none" stroke="black" d="M213.086,-1734.58C230.52,-1706.79 266.651,-1653.71 308,-1619 309.558,-1617.69 311.19,-1616.42 312.874,-1615.18"></path>
<polygon fill="black" stroke="black" points="315.246,-1617.81 321.618,-1609.34 311.358,-1611.99 315.246,-1617.81"></polygon>
<text text-anchor="middle" x="276" y="-1669.2" font-family="Times,serif" font-size="14.00">g[0]</text>
</g>
<!-- judge_correctness[0][0] -->
<g id="node41" class="node"><title>judge_correctness[0][0]</title>
<polygon fill="none" stroke="blue" points="1022.71,-1705 873.293,-1705 873.293,-1669 1022.71,-1669 1022.71,-1705"></polygon>
<text text-anchor="middle" x="948" y="-1682.8" font-family="Times,serif" font-size="14.00">judge_correctness[0][0]</text>
</g>
<!-- generator[0]&#45;&gt;judge_correctness[0][0] -->
<g id="edge20" class="edge"><title>generator[0]-&gt;judge_correctness[0][0]</title>
<path fill="none" stroke="black" d="M243.851,-1760.88C249.92,-1761.76 256.106,-1762.51 262,-1763 274.402,-1764.03 277.572,-1763.64 290,-1763 530.965,-1750.54 590.951,-1739.79 830,-1707 840.707,-1705.53 851.938,-1703.82 863.028,-1702.04"></path>
<polygon fill="black" stroke="black" points="863.851,-1705.45 873.154,-1700.38 862.72,-1698.54 863.851,-1705.45"></polygon>
<text text-anchor="middle" x="479" y="-1758.2" font-family="Times,serif" font-size="14.00">g[0]</text>
</g>
<!-- generator[1] -->
<g id="node3" class="node"><title>generator[1]</title>
<polygon fill="none" stroke="grey" points="237.677,-998 158.323,-998 158.323,-962 243.677,-962 243.677,-992 237.677,-998"></polygon>
<polyline fill="none" stroke="grey" points="237.677,-998 237.677,-992 "></polyline>
<polyline fill="none" stroke="grey" points="243.677,-992 237.677,-992 "></polyline>
<text text-anchor="middle" x="201" y="-975.8" font-family="Times,serif" font-size="14.00">generator[1]</text>
</g>
<!-- compress[1][1] -->
<g id="node13" class="node"><title>compress[1][1]</title>
<polygon fill="none" stroke="blue" points="409.513,-998 308.487,-998 308.487,-962 409.513,-962 409.513,-998"></polygon>
<text text-anchor="middle" x="359" y="-975.8" font-family="Times,serif" font-size="14.00">compress[1][1]</text>
</g>
<!-- generator[1]&#45;&gt;compress[1][1] -->
<g id="edge38" class="edge"><title>generator[1]-&gt;compress[1][1]</title>
<path fill="none" stroke="black" d="M243.805,-980C260.481,-980 279.992,-980 298.121,-980"></path>
<polygon fill="black" stroke="black" points="298.312,-983.5 308.312,-980 298.312,-976.5 298.312,-983.5"></polygon>
<text text-anchor="middle" x="276" y="-984.2" font-family="Times,serif" font-size="14.00">g[1]</text>
</g>
<!-- exec[1][1] -->
<g id="node28" class="node"><title>exec[1][1]</title>
<polygon fill="none" stroke="blue" points="396.287,-918 321.713,-918 321.713,-882 396.287,-882 396.287,-918"></polygon>
<text text-anchor="middle" x="359" y="-895.8" font-family="Times,serif" font-size="14.00">exec[1][1]</text>
</g>
<!-- generator[1]&#45;&gt;exec[1][1] -->
<g id="edge34" class="edge"><title>generator[1]-&gt;exec[1][1]</title>
<path fill="none" stroke="black" d="M237.399,-961.847C260.037,-950.237 289.582,-935.086 313.762,-922.686"></path>
<polygon fill="black" stroke="black" points="315.44,-925.759 322.741,-918.081 312.246,-919.53 315.44,-925.759"></polygon>
<text text-anchor="middle" x="276" y="-952.2" font-family="Times,serif" font-size="14.00">g[1]</text>
</g>
<!-- judge_correctness[1][1] -->
<g id="node42" class="node"><title>judge_correctness[1][1]</title>
<polygon fill="none" stroke="blue" points="1022.71,-1056 873.293,-1056 873.293,-1020 1022.71,-1020 1022.71,-1056"></polygon>
<text text-anchor="middle" x="948" y="-1033.8" font-family="Times,serif" font-size="14.00">judge_correctness[1][1]</text>
</g>
<!-- generator[1]&#45;&gt;judge_correctness[1][1] -->
<g id="edge48" class="edge"><title>generator[1]-&gt;judge_correctness[1][1]</title>
<path fill="none" stroke="black" d="M207.072,-998.099C214.689,-1021.41 231.543,-1060.94 262,-1078 362.676,-1134.41 703.317,-1082.52 863.037,-1053.95"></path>
<polygon fill="black" stroke="black" points="864.071,-1057.32 873.292,-1052.11 862.83,-1050.43 864.071,-1057.32"></polygon>
<text text-anchor="middle" x="479" y="-1108.2" font-family="Times,serif" font-size="14.00">g[1]</text>
</g>
<!-- generator[2] -->
<g id="node4" class="node"><title>generator[2]</title>
<polygon fill="none" stroke="grey" points="237.677,-1400 158.323,-1400 158.323,-1364 243.677,-1364 243.677,-1394 237.677,-1400"></polygon>
<polyline fill="none" stroke="grey" points="237.677,-1400 237.677,-1394 "></polyline>
<polyline fill="none" stroke="grey" points="243.677,-1394 237.677,-1394 "></polyline>
<text text-anchor="middle" x="201" y="-1377.8" font-family="Times,serif" font-size="14.00">generator[2]</text>
</g>
<!-- compress[2][0] -->
<g id="node14" class="node"><title>compress[2][0]</title>
<polygon fill="none" stroke="blue" points="409.513,-1505 308.487,-1505 308.487,-1469 409.513,-1469 409.513,-1505"></polygon>
<text text-anchor="middle" x="359" y="-1482.8" font-family="Times,serif" font-size="14.00">compress[2][0]</text>
</g>
<!-- generator[2]&#45;&gt;compress[2][0] -->
<g id="edge66" class="edge"><title>generator[2]-&gt;compress[2][0]</title>
<path fill="none" stroke="black" d="M221.499,-1400.24C232.876,-1410.45 247.753,-1423.08 262,-1433 278.019,-1444.16 296.53,-1455.01 312.997,-1464.01"></path>
<polygon fill="black" stroke="black" points="311.443,-1467.15 321.906,-1468.82 314.766,-1460.99 311.443,-1467.15"></polygon>
<text text-anchor="middle" x="276" y="-1453.2" font-family="Times,serif" font-size="14.00">g[2]</text>
</g>
<!-- exec[2][0] -->
<g id="node29" class="node"><title>exec[2][0]</title>
<polygon fill="none" stroke="blue" points="396.287,-1354 321.713,-1354 321.713,-1318 396.287,-1318 396.287,-1354"></polygon>
<text text-anchor="middle" x="359" y="-1331.8" font-family="Times,serif" font-size="14.00">exec[2][0]</text>
</g>
<!-- generator[2]&#45;&gt;exec[2][0] -->
<g id="edge62" class="edge"><title>generator[2]-&gt;exec[2][0]</title>
<path fill="none" stroke="black" d="M211.303,-1363.85C221.24,-1346.67 238.756,-1321.97 262,-1311.2 279.659,-1303.02 300.445,-1306.9 318.152,-1313.79"></path>
<polygon fill="black" stroke="black" points="317.063,-1317.13 327.632,-1317.86 319.829,-1310.7 317.063,-1317.13"></polygon>
<text text-anchor="middle" x="276" y="-1315.2" font-family="Times,serif" font-size="14.00">g[2]</text>
</g>
<!-- judge_correctness[2][0] -->
<g id="node43" class="node"><title>judge_correctness[2][0]</title>
<polygon fill="none" stroke="blue" points="1022.71,-1407 873.293,-1407 873.293,-1371 1022.71,-1371 1022.71,-1407"></polygon>
<text text-anchor="middle" x="948" y="-1384.8" font-family="Times,serif" font-size="14.00">judge_correctness[2][0]</text>
</g>
<!-- generator[2]&#45;&gt;judge_correctness[2][0] -->
<g id="edge76" class="edge"><title>generator[2]-&gt;judge_correctness[2][0]</title>
<path fill="none" stroke="black" d="M243.651,-1382.39C362.241,-1383.51 703.401,-1386.71 862.91,-1388.21"></path>
<polygon fill="black" stroke="black" points="863.118,-1391.71 873.15,-1388.31 863.184,-1384.71 863.118,-1391.71"></polygon>
<text text-anchor="middle" x="479" y="-1389.2" font-family="Times,serif" font-size="14.00">g[2]</text>
</g>
<!-- generator[3] -->
<g id="node5" class="node"><title>generator[3]</title>
<polygon fill="none" stroke="grey" points="237.677,-428 158.323,-428 158.323,-392 243.677,-392 243.677,-422 237.677,-428"></polygon>
<polyline fill="none" stroke="grey" points="237.677,-428 237.677,-422 "></polyline>
<polyline fill="none" stroke="grey" points="243.677,-422 237.677,-422 "></polyline>
<text text-anchor="middle" x="201" y="-405.8" font-family="Times,serif" font-size="14.00">generator[3]</text>
</g>
<!-- compress[3][1] -->
<g id="node15" class="node"><title>compress[3][1]</title>
<polygon fill="none" stroke="blue" points="409.513,-588 308.487,-588 308.487,-552 409.513,-552 409.513,-588"></polygon>
<text text-anchor="middle" x="359" y="-565.8" font-family="Times,serif" font-size="14.00">compress[3][1]</text>
</g>
<!-- generator[3]&#45;&gt;compress[3][1] -->
<g id="edge94" class="edge"><title>generator[3]-&gt;compress[3][1]</title>
<path fill="none" stroke="black" d="M243.959,-401.236C259.629,-400.234 276.804,-402.076 290,-411.2 307.989,-423.639 299.573,-436.817 308,-457 320.24,-486.316 335.05,-519.527 345.361,-542.318"></path>
<polygon fill="black" stroke="black" points="342.301,-544.044 349.62,-551.705 348.676,-541.152 342.301,-544.044"></polygon>
<text text-anchor="middle" x="276" y="-416.2" font-family="Times,serif" font-size="14.00">g[3]</text>
</g>
<!-- exec[3][1] -->
<g id="node30" class="node"><title>exec[3][1]</title>
<polygon fill="none" stroke="blue" points="396.287,-685 321.713,-685 321.713,-649 396.287,-649 396.287,-685"></polygon>
<text text-anchor="middle" x="359" y="-662.8" font-family="Times,serif" font-size="14.00">exec[3][1]</text>
</g>
<!-- generator[3]&#45;&gt;exec[3][1] -->
<g id="edge90" class="edge"><title>generator[3]-&gt;exec[3][1]</title>
<path fill="none" stroke="black" d="M212.054,-428.227C223.382,-448.311 242.741,-481.306 262,-508 273.294,-523.654 280.639,-524.319 290,-541.2 302.638,-563.989 296.288,-573.722 308,-597 315.744,-612.392 326.664,-628.129 336.324,-640.772"></path>
<polygon fill="black" stroke="black" points="333.836,-643.272 342.756,-648.99 339.348,-638.958 333.836,-643.272"></polygon>
<text text-anchor="middle" x="276" y="-546.2" font-family="Times,serif" font-size="14.00">g[3]</text>
</g>
<!-- judge_correctness[3][1] -->
<g id="node44" class="node"><title>judge_correctness[3][1]</title>
<polygon fill="none" stroke="blue" points="1022.71,-545 873.293,-545 873.293,-509 1022.71,-509 1022.71,-545"></polygon>
<text text-anchor="middle" x="948" y="-522.8" font-family="Times,serif" font-size="14.00">judge_correctness[3][1]</text>
</g>
<!-- generator[3]&#45;&gt;judge_correctness[3][1] -->
<g id="edge104" class="edge"><title>generator[3]-&gt;judge_correctness[3][1]</title>
<path fill="none" stroke="black" d="M218.783,-391.943C227.211,-382.162 237.074,-369.537 244,-357 255.623,-335.96 243.973,-321.9 262,-306 328.372,-247.46 577.962,-258.805 660,-292 776.208,-339.022 881.633,-450.413 925.481,-501.091"></path>
<polygon fill="black" stroke="black" points="923.062,-503.647 932.223,-508.969 928.38,-499.095 923.062,-503.647"></polygon>
<text text-anchor="middle" x="479" y="-272.2" font-family="Times,serif" font-size="14.00">g[3]</text>
</g>
<!-- generator[4] -->
<g id="node6" class="node"><title>generator[4]</title>
<polygon fill="none" stroke="grey" points="237.677,-1168 158.323,-1168 158.323,-1132 243.677,-1132 243.677,-1162 237.677,-1168"></polygon>
<polyline fill="none" stroke="grey" points="237.677,-1168 237.677,-1162 "></polyline>
<polyline fill="none" stroke="grey" points="243.677,-1162 237.677,-1162 "></polyline>
<text text-anchor="middle" x="201" y="-1145.8" font-family="Times,serif" font-size="14.00">generator[4]</text>
</g>
<!-- compress[4][0] -->
<g id="node16" class="node"><title>compress[4][0]</title>
<polygon fill="none" stroke="blue" points="409.513,-1240 308.487,-1240 308.487,-1204 409.513,-1204 409.513,-1240"></polygon>
<text text-anchor="middle" x="359" y="-1217.8" font-family="Times,serif" font-size="14.00">compress[4][0]</text>
</g>
<!-- generator[4]&#45;&gt;compress[4][0] -->
<g id="edge122" class="edge"><title>generator[4]-&gt;compress[4][0]</title>
<path fill="none" stroke="black" d="M241.365,-1168.17C262.137,-1177.76 287.798,-1189.6 309.758,-1199.73"></path>
<polygon fill="black" stroke="black" points="308.371,-1202.95 318.918,-1203.96 311.305,-1196.59 308.371,-1202.95"></polygon>
<text text-anchor="middle" x="276" y="-1195.2" font-family="Times,serif" font-size="14.00">g[4]</text>
</g>
<!-- exec[4][0] -->
<g id="node31" class="node"><title>exec[4][0]</title>
<polygon fill="none" stroke="blue" points="396.287,-1186 321.713,-1186 321.713,-1150 396.287,-1150 396.287,-1186"></polygon>
<text text-anchor="middle" x="359" y="-1163.8" font-family="Times,serif" font-size="14.00">exec[4][0]</text>
</g>
<!-- generator[4]&#45;&gt;exec[4][0] -->
<g id="edge118" class="edge"><title>generator[4]-&gt;exec[4][0]</title>
<path fill="none" stroke="black" d="M243.769,-1148.62C258.438,-1148.65 274.997,-1149.27 290,-1151.2 296.969,-1152.1 304.256,-1153.44 311.363,-1154.99"></path>
<polygon fill="black" stroke="black" points="311.055,-1158.52 321.588,-1157.38 312.645,-1151.7 311.055,-1158.52"></polygon>
<text text-anchor="middle" x="276" y="-1156.2" font-family="Times,serif" font-size="14.00">g[4]</text>
</g>
<!-- judge_correctness[4][0] -->
<g id="node45" class="node"><title>judge_correctness[4][0]</title>
<polygon fill="none" stroke="blue" points="1022.71,-1163 873.293,-1163 873.293,-1127 1022.71,-1127 1022.71,-1163"></polygon>
<text text-anchor="middle" x="948" y="-1140.8" font-family="Times,serif" font-size="14.00">judge_correctness[4][0]</text>
</g>
<!-- generator[4]&#45;&gt;judge_correctness[4][0] -->
<g id="edge132" class="edge"><title>generator[4]-&gt;judge_correctness[4][0]</title>
<path fill="none" stroke="black" d="M243.734,-1145.64C263.234,-1143.81 286.78,-1141.9 308,-1141 353.293,-1139.08 364.667,-1140.83 410,-1141 570.152,-1141.6 757.165,-1143.19 862.881,-1144.18"></path>
<polygon fill="black" stroke="black" points="863.135,-1147.68 873.168,-1144.28 863.201,-1140.68 863.135,-1147.68"></polygon>
<text text-anchor="middle" x="479" y="-1146.2" font-family="Times,serif" font-size="14.00">g[4]</text>
</g>
<!-- generator[5] -->
<g id="node7" class="node"><title>generator[5]</title>
<polygon fill="none" stroke="grey" points="237.677,-348 158.323,-348 158.323,-312 243.677,-312 243.677,-342 237.677,-348"></polygon>
<polyline fill="none" stroke="grey" points="237.677,-348 237.677,-342 "></polyline>
<polyline fill="none" stroke="grey" points="243.677,-342 237.677,-342 "></polyline>
<text text-anchor="middle" x="201" y="-325.8" font-family="Times,serif" font-size="14.00">generator[5]</text>
</g>
<!-- compress[5][1] -->
<g id="node17" class="node"><title>compress[5][1]</title>
<polygon fill="none" stroke="blue" points="409.513,-394 308.487,-394 308.487,-358 409.513,-358 409.513,-394"></polygon>
<text text-anchor="middle" x="359" y="-371.8" font-family="Times,serif" font-size="14.00">compress[5][1]</text>
</g>
<!-- generator[5]&#45;&gt;compress[5][1] -->
<g id="edge150" class="edge"><title>generator[5]-&gt;compress[5][1]</title>
<path fill="none" stroke="black" d="M243.937,-325.795C258.772,-325.548 275.395,-326.713 290,-331.2 303.892,-335.468 317.592,-343.532 329.014,-351.656"></path>
<polygon fill="black" stroke="black" points="327.162,-354.641 337.27,-357.817 331.349,-349.031 327.162,-354.641"></polygon>
<text text-anchor="middle" x="276" y="-336.2" font-family="Times,serif" font-size="14.00">g[5]</text>
</g>
<!-- exec[5][1] -->
<g id="node32" class="node"><title>exec[5][1]</title>
<polygon fill="none" stroke="blue" points="396.287,-448 321.713,-448 321.713,-412 396.287,-412 396.287,-448"></polygon>
<text text-anchor="middle" x="359" y="-425.8" font-family="Times,serif" font-size="14.00">exec[5][1]</text>
</g>
<!-- generator[5]&#45;&gt;exec[5][1] -->
<g id="edge146" class="edge"><title>generator[5]-&gt;exec[5][1]</title>
<path fill="none" stroke="black" d="M243.716,-343.348C259.535,-349.902 276.877,-359.053 290,-371.2 301.918,-382.232 296.402,-391.631 308,-403 309.631,-404.599 311.377,-406.13 313.202,-407.592"></path>
<polygon fill="black" stroke="black" points="311.43,-410.626 321.612,-413.555 315.479,-404.916 311.43,-410.626"></polygon>
<text text-anchor="middle" x="276" y="-376.2" font-family="Times,serif" font-size="14.00">g[5]</text>
</g>
<!-- judge_correctness[5][1] -->
<g id="node46" class="node"><title>judge_correctness[5][1]</title>
<polygon fill="none" stroke="blue" points="1022.71,-284 873.293,-284 873.293,-248 1022.71,-248 1022.71,-284"></polygon>
<text text-anchor="middle" x="948" y="-261.8" font-family="Times,serif" font-size="14.00">judge_correctness[5][1]</text>
</g>
<!-- generator[5]&#45;&gt;judge_correctness[5][1] -->
<g id="edge160" class="edge"><title>generator[5]-&gt;judge_correctness[5][1]</title>
<path fill="none" stroke="black" d="M211.778,-311.935C221.959,-295.022 239.553,-270.533 262,-258 327.076,-221.665 353.657,-239.502 428,-234.2 581.371,-223.261 760.405,-240.956 863.059,-254.024"></path>
<polygon fill="black" stroke="black" points="862.69,-257.506 873.056,-255.313 863.585,-250.563 862.69,-257.506"></polygon>
<text text-anchor="middle" x="479" y="-239.2" font-family="Times,serif" font-size="14.00">g[5]</text>
</g>
<!-- generator[6] -->
<g id="node8" class="node"><title>generator[6]</title>
<polygon fill="none" stroke="grey" points="237.677,-108 158.323,-108 158.323,-72 243.677,-72 243.677,-102 237.677,-108"></polygon>
<polyline fill="none" stroke="grey" points="237.677,-108 237.677,-102 "></polyline>
<polyline fill="none" stroke="grey" points="243.677,-102 237.677,-102 "></polyline>
<text text-anchor="middle" x="201" y="-85.8" font-family="Times,serif" font-size="14.00">generator[6]</text>
</g>
<!-- compress[6][2] -->
<g id="node18" class="node"><title>compress[6][2]</title>
<polygon fill="none" stroke="blue" points="409.513,-36 308.487,-36 308.487,0 409.513,0 409.513,-36"></polygon>
<text text-anchor="middle" x="359" y="-13.8" font-family="Times,serif" font-size="14.00">compress[6][2]</text>
</g>
<!-- generator[6]&#45;&gt;compress[6][2] -->
<g id="edge178" class="edge"><title>generator[6]-&gt;compress[6][2]</title>
<path fill="none" stroke="black" d="M211.332,-71.9099C221.291,-54.7831 238.824,-30.1149 262,-19.2 273.074,-13.9847 285.694,-11.6629 298.063,-11.0035"></path>
<polygon fill="black" stroke="black" points="298.42,-14.4977 308.354,-10.8137 298.291,-7.49884 298.42,-14.4977"></polygon>
<text text-anchor="middle" x="276" y="-24.2" font-family="Times,serif" font-size="14.00">g[6]</text>
</g>
<!-- exec[6][2] -->
<g id="node33" class="node"><title>exec[6][2]</title>
<polygon fill="none" stroke="blue" points="396.287,-160 321.713,-160 321.713,-124 396.287,-124 396.287,-160"></polygon>
<text text-anchor="middle" x="359" y="-137.8" font-family="Times,serif" font-size="14.00">exec[6][2]</text>
</g>
<!-- generator[6]&#45;&gt;exec[6][2] -->
<g id="edge174" class="edge"><title>generator[6]-&gt;exec[6][2]</title>
<path fill="none" stroke="black" d="M243.805,-103.935C264.859,-110.953 290.432,-119.477 312.037,-126.679"></path>
<polygon fill="black" stroke="black" points="311.06,-130.043 321.654,-129.885 313.274,-123.402 311.06,-130.043"></polygon>
<text text-anchor="middle" x="276" y="-124.2" font-family="Times,serif" font-size="14.00">g[6]</text>
</g>
<!-- judge_correctness[6][2] -->
<g id="node47" class="node"><title>judge_correctness[6][2]</title>
<polygon fill="none" stroke="blue" points="1022.71,-112 873.293,-112 873.293,-76 1022.71,-76 1022.71,-112"></polygon>
<text text-anchor="middle" x="948" y="-89.8" font-family="Times,serif" font-size="14.00">judge_correctness[6][2]</text>
</g>
<!-- generator[6]&#45;&gt;judge_correctness[6][2] -->
<g id="edge188" class="edge"><title>generator[6]-&gt;judge_correctness[6][2]</title>
<path fill="none" stroke="black" d="M243.651,-90.2236C362.241,-90.8604 703.401,-92.6921 862.91,-93.5485"></path>
<polygon fill="black" stroke="black" points="863.131,-97.0497 873.15,-93.6035 863.169,-90.0498 863.131,-97.0497"></polygon>
<text text-anchor="middle" x="479" y="-96.2" font-family="Times,serif" font-size="14.00">g[6]</text>
</g>
<!-- method[0] -->
<g id="node9" class="node"><title>method[0]</title>
<polygon fill="none" stroke="grey" points="232.318,-1538 163.682,-1538 163.682,-1502 238.318,-1502 238.318,-1532 232.318,-1538"></polygon>
<polyline fill="none" stroke="grey" points="232.318,-1538 232.318,-1532 "></polyline>
<polyline fill="none" stroke="grey" points="238.318,-1532 232.318,-1532 "></polyline>
<text text-anchor="middle" x="201" y="-1515.8" font-family="Times,serif" font-size="14.00">method[0]</text>
</g>
<!-- method[0]&#45;&gt;compress[0][0] -->
<g id="edge12" class="edge"><title>method[0]-&gt;compress[0][0]</title>
<path fill="none" stroke="black" d="M212.775,-1538.04C223.567,-1554.93 241.486,-1580.06 262,-1597 274.308,-1607.17 289.074,-1616 303.293,-1623.26"></path>
<polygon fill="black" stroke="black" points="302.008,-1626.53 312.527,-1627.8 305.098,-1620.24 302.008,-1626.53"></polygon>
<text text-anchor="middle" x="276" y="-1619.2" font-family="Times,serif" font-size="14.00">m[0]</text>
</g>
<!-- method[0]&#45;&gt;compress[2][0] -->
<g id="edge68" class="edge"><title>method[0]-&gt;compress[2][0]</title>
<path fill="none" stroke="black" d="M238.182,-1512.35C256.127,-1508.55 278.265,-1503.87 298.609,-1499.56"></path>
<polygon fill="black" stroke="black" points="299.367,-1502.98 308.426,-1497.49 297.918,-1496.13 299.367,-1502.98"></polygon>
<text text-anchor="middle" x="276" y="-1510.2" font-family="Times,serif" font-size="14.00">m[0]</text>
</g>
<!-- method[0]&#45;&gt;compress[4][0] -->
<g id="edge124" class="edge"><title>method[0]-&gt;compress[4][0]</title>
<path fill="none" stroke="black" d="M210.235,-1501.93C219.771,-1480.29 235.282,-1442.71 244,-1409 257.92,-1355.17 232.161,-1332.12 262,-1285.2 272.572,-1268.58 289.265,-1255.38 305.788,-1245.43"></path>
<polygon fill="black" stroke="black" points="307.95,-1248.23 314.909,-1240.24 304.487,-1242.15 307.95,-1248.23"></polygon>
<text text-anchor="middle" x="276" y="-1289.2" font-family="Times,serif" font-size="14.00">m[0]</text>
</g>
<!-- extract[0][0] -->
<g id="node19" class="node"><title>extract[0][0]</title>
<polygon fill="none" stroke="blue" points="647.228,-1705 560.772,-1705 560.772,-1669 647.228,-1669 647.228,-1705"></polygon>
<text text-anchor="middle" x="604" y="-1682.8" font-family="Times,serif" font-size="14.00">extract[0][0]</text>
</g>
<!-- method[0]&#45;&gt;extract[0][0] -->
<g id="edge16" class="edge"><title>method[0]-&gt;extract[0][0]</title>
<path fill="none" stroke="black" d="M207.176,-1538.05C218.488,-1573.4 249.227,-1650.28 308,-1673 388.243,-1704.03 490.03,-1700.39 550.647,-1694.21"></path>
<polygon fill="black" stroke="black" points="551.176,-1697.67 560.741,-1693.12 550.423,-1690.71 551.176,-1697.67"></polygon>
</g>
<!-- extract[2][0] -->
<g id="node21" class="node"><title>extract[2][0]</title>
<polygon fill="none" stroke="blue" points="647.228,-1532 560.772,-1532 560.772,-1496 647.228,-1496 647.228,-1532"></polygon>
<text text-anchor="middle" x="604" y="-1509.8" font-family="Times,serif" font-size="14.00">extract[2][0]</text>
</g>
<!-- method[0]&#45;&gt;extract[2][0] -->
<g id="edge72" class="edge"><title>method[0]-&gt;extract[2][0]</title>
<path fill="none" stroke="black" d="M238.545,-1524.73C299.274,-1531.81 424.716,-1543.1 530,-1531 536.688,-1530.23 543.654,-1529.08 550.513,-1527.73"></path>
<polygon fill="black" stroke="black" points="551.379,-1531.12 560.44,-1525.63 549.933,-1524.28 551.379,-1531.12"></polygon>
</g>
<!-- extract[4][0] -->
<g id="node23" class="node"><title>extract[4][0]</title>
<polygon fill="none" stroke="blue" points="647.228,-1270 560.772,-1270 560.772,-1234 647.228,-1234 647.228,-1270"></polygon>
<text text-anchor="middle" x="604" y="-1247.8" font-family="Times,serif" font-size="14.00">extract[4][0]</text>
</g>
<!-- method[0]&#45;&gt;extract[4][0] -->
<g id="edge128" class="edge"><title>method[0]-&gt;extract[4][0]</title>
<path fill="none" stroke="black" d="M233.036,-1501.89C261.452,-1485.4 300.235,-1463.15 308,-1460 402.502,-1421.67 460.248,-1476.39 530,-1402 558.796,-1371.29 528.583,-1346.36 548,-1309 554.156,-1297.16 563.549,-1286.1 572.84,-1276.94"></path>
<polygon fill="black" stroke="black" points="575.316,-1279.42 580.206,-1270.02 570.522,-1274.31 575.316,-1279.42"></polygon>
</g>
<!-- method[0]&#45;&gt;exec[0][0] -->
<g id="edge8" class="edge"><title>method[0]-&gt;exec[0][0]</title>
<path fill="none" stroke="black" d="M221.501,-1538.09C232.643,-1547.59 247.293,-1558.73 262,-1566 277.509,-1573.67 295.585,-1579.32 311.842,-1583.35"></path>
<polygon fill="black" stroke="black" points="311.156,-1586.79 321.691,-1585.66 312.753,-1579.97 311.156,-1586.79"></polygon>
<text text-anchor="middle" x="276" y="-1581.2" font-family="Times,serif" font-size="14.00">m[0]</text>
</g>
<!-- method[0]&#45;&gt;exec[2][0] -->
<g id="edge64" class="edge"><title>method[0]-&gt;exec[2][0]</title>
<path fill="none" stroke="black" d="M208.695,-1501.83C222.284,-1465.29 252.609,-1385.6 262,-1376.2 275.682,-1362.5 294.73,-1353.23 312.255,-1347.07"></path>
<polygon fill="black" stroke="black" points="313.366,-1350.39 321.79,-1343.97 311.198,-1343.74 313.366,-1350.39"></polygon>
<text text-anchor="middle" x="276" y="-1380.2" font-family="Times,serif" font-size="14.00">m[0]</text>
</g>
<!-- method[0]&#45;&gt;exec[4][0] -->
<g id="edge120" class="edge"><title>method[0]-&gt;exec[4][0]</title>
<path fill="none" stroke="black" d="M210.472,-1501.99C220.237,-1480.4 235.968,-1442.88 244,-1409 261.811,-1333.87 226.886,-1304.97 262,-1236.2 268.24,-1223.98 296.774,-1202.89 308,-1195 309.803,-1193.73 311.673,-1192.48 313.583,-1191.25"></path>
<polygon fill="black" stroke="black" points="315.43,-1194.22 322.141,-1186.03 311.782,-1188.25 315.43,-1194.22"></polygon>
<text text-anchor="middle" x="276" y="-1241.2" font-family="Times,serif" font-size="14.00">m[0]</text>
</g>
<!-- method[1] -->
<g id="node10" class="node"><title>method[1]</title>
<polygon fill="none" stroke="grey" points="232.318,-708 163.682,-708 163.682,-672 238.318,-672 238.318,-702 232.318,-708"></polygon>
<polyline fill="none" stroke="grey" points="232.318,-708 232.318,-702 "></polyline>
<polyline fill="none" stroke="grey" points="238.318,-702 232.318,-702 "></polyline>
<text text-anchor="middle" x="201" y="-685.8" font-family="Times,serif" font-size="14.00">method[1]</text>
</g>
<!-- method[1]&#45;&gt;compress[1][1] -->
<g id="edge40" class="edge"><title>method[1]-&gt;compress[1][1]</title>
<path fill="none" stroke="black" d="M208.955,-708.043C218.403,-730.884 237.023,-770.558 262,-798 272.157,-809.159 281.907,-804.465 290,-817.2 316.523,-858.937 286.073,-882.675 308,-927 313.024,-937.157 320.654,-946.695 328.452,-954.804"></path>
<polygon fill="black" stroke="black" points="326.006,-957.307 335.589,-961.825 330.915,-952.317 326.006,-957.307"></polygon>
<text text-anchor="middle" x="276" y="-822.2" font-family="Times,serif" font-size="14.00">m[1]</text>
</g>
<!-- method[1]&#45;&gt;compress[3][1] -->
<g id="edge96" class="edge"><title>method[1]-&gt;compress[3][1]</title>
<path fill="none" stroke="black" d="M205.103,-671.989C210.88,-644.672 226.125,-593.582 262,-571.2 272.712,-564.517 285.49,-561.684 298.174,-561.007"></path>
<polygon fill="black" stroke="black" points="298.324,-564.506 308.284,-560.895 298.246,-557.506 298.324,-564.506"></polygon>
<text text-anchor="middle" x="276" y="-576.2" font-family="Times,serif" font-size="14.00">m[1]</text>
</g>
<!-- method[1]&#45;&gt;compress[5][1] -->
<g id="edge152" class="edge"><title>method[1]-&gt;compress[5][1]</title>
<path fill="none" stroke="black" d="M202.497,-671.757C204.463,-629.234 214.172,-521.651 262,-449.2 270.599,-436.173 279.096,-439.169 290,-428 299.564,-418.203 297.715,-412.038 308,-403 309.135,-402.003 310.313,-401.028 311.524,-400.077"></path>
<polygon fill="black" stroke="black" points="313.766,-402.779 319.917,-394.152 309.729,-397.061 313.766,-402.779"></polygon>
<text text-anchor="middle" x="276" y="-454.2" font-family="Times,serif" font-size="14.00">m[1]</text>
</g>
<!-- extract[1][1] -->
<g id="node20" class="node"><title>extract[1][1]</title>
<polygon fill="none" stroke="blue" points="647.228,-918 560.772,-918 560.772,-882 647.228,-882 647.228,-918"></polygon>
<text text-anchor="middle" x="604" y="-895.8" font-family="Times,serif" font-size="14.00">extract[1][1]</text>
</g>
<!-- method[1]&#45;&gt;extract[1][1] -->
<g id="edge44" class="edge"><title>method[1]-&gt;extract[1][1]</title>
<path fill="none" stroke="black" d="M236.536,-708.086C309.524,-746.309 479.318,-835.229 559.54,-877.24"></path>
<polygon fill="black" stroke="black" points="557.922,-880.344 568.405,-881.883 561.17,-874.143 557.922,-880.344"></polygon>
</g>
<!-- extract[3][1] -->
<g id="node22" class="node"><title>extract[3][1]</title>
<polygon fill="none" stroke="blue" points="647.228,-685 560.772,-685 560.772,-649 647.228,-649 647.228,-685"></polygon>
<text text-anchor="middle" x="604" y="-662.8" font-family="Times,serif" font-size="14.00">extract[3][1]</text>
</g>
<!-- method[1]&#45;&gt;extract[3][1] -->
<g id="edge100" class="edge"><title>method[1]-&gt;extract[3][1]</title>
<path fill="none" stroke="black" d="M238.343,-697.754C246.114,-699.105 254.301,-700.3 262,-701 274.393,-702.127 277.561,-701.363 290,-701 396.803,-697.888 424.565,-704.322 530,-687 536.708,-685.898 543.687,-684.424 550.552,-682.775"></path>
<polygon fill="black" stroke="black" points="551.652,-686.106 560.484,-680.254 549.931,-679.321 551.652,-686.106"></polygon>
</g>
<!-- extract[5][1] -->
<g id="node24" class="node"><title>extract[5][1]</title>
<polygon fill="none" stroke="blue" points="647.228,-337 560.772,-337 560.772,-301 647.228,-301 647.228,-337"></polygon>
<text text-anchor="middle" x="604" y="-314.8" font-family="Times,serif" font-size="14.00">extract[5][1]</text>
</g>
<!-- method[1]&#45;&gt;extract[5][1] -->
<g id="edge156" class="edge"><title>method[1]-&gt;extract[5][1]</title>
<path fill="none" stroke="black" d="M205.054,-671.908C212.049,-630.402 229.728,-525.124 244,-437 248.1,-411.683 242.6,-339.775 262,-323 303.798,-286.858 465.937,-301.295 550.702,-311.767"></path>
<polygon fill="black" stroke="black" points="550.283,-315.242 560.643,-313.021 551.159,-308.297 550.283,-315.242"></polygon>
</g>
<!-- method[1]&#45;&gt;exec[1][1] -->
<g id="edge36" class="edge"><title>method[1]-&gt;exec[1][1]</title>
<path fill="none" stroke="black" d="M216.572,-708.013C228.301,-722.133 245.496,-742 262,-758 273.604,-769.249 279.596,-768.833 290,-781.2 313.77,-809.456 333.735,-847.175 345.758,-872.462"></path>
<polygon fill="black" stroke="black" points="342.723,-874.235 350.117,-881.823 349.069,-871.28 342.723,-874.235"></polygon>
<text text-anchor="middle" x="276" y="-786.2" font-family="Times,serif" font-size="14.00">m[1]</text>
</g>
<!-- method[1]&#45;&gt;exec[3][1] -->
<g id="edge92" class="edge"><title>method[1]-&gt;exec[3][1]</title>
<path fill="none" stroke="black" d="M238.182,-684.666C260.057,-681.44 288.162,-677.297 311.654,-673.833"></path>
<polygon fill="black" stroke="black" points="312.362,-677.267 321.745,-672.345 311.341,-670.341 312.362,-677.267"></polygon>
<text text-anchor="middle" x="276" y="-685.2" font-family="Times,serif" font-size="14.00">m[1]</text>
</g>
<!-- method[1]&#45;&gt;exec[5][1] -->
<g id="edge148" class="edge"><title>method[1]-&gt;exec[5][1]</title>
<path fill="none" stroke="black" d="M203.02,-671.751C206.013,-633.621 217.62,-544.318 262,-487.2 265.985,-482.072 292.062,-466.661 316.033,-453.126"></path>
<polygon fill="black" stroke="black" points="318.059,-456.002 325.066,-448.056 314.633,-449.898 318.059,-456.002"></polygon>
<text text-anchor="middle" x="276" y="-492.2" font-family="Times,serif" font-size="14.00">m[1]</text>
</g>
<!-- method[2] -->
<g id="node11" class="node"><title>method[2]</title>
<polygon fill="none" stroke="grey" points="232.318,-181 163.682,-181 163.682,-145 238.318,-145 238.318,-175 232.318,-181"></polygon>
<polyline fill="none" stroke="grey" points="232.318,-181 232.318,-175 "></polyline>
<polyline fill="none" stroke="grey" points="238.318,-175 232.318,-175 "></polyline>
<text text-anchor="middle" x="201" y="-158.8" font-family="Times,serif" font-size="14.00">method[2]</text>
</g>
<!-- method[2]&#45;&gt;compress[6][2] -->
<g id="edge180" class="edge"><title>method[2]-&gt;compress[6][2]</title>
<path fill="none" stroke="black" d="M219.737,-144.689C227.451,-136.446 236.435,-126.459 244,-117 252.732,-106.081 252.325,-101.293 262,-91.2 279.734,-72.6997 302.428,-55.1728 321.298,-41.91"></path>
<polygon fill="black" stroke="black" points="323.429,-44.6917 329.668,-36.1281 319.451,-38.9324 323.429,-44.6917"></polygon>
<text text-anchor="middle" x="276" y="-96.2" font-family="Times,serif" font-size="14.00">m[2]</text>
</g>
<!-- extract[6][2] -->
<g id="node25" class="node"><title>extract[6][2]</title>
<polygon fill="none" stroke="blue" points="647.228,-160 560.772,-160 560.772,-124 647.228,-124 647.228,-160"></polygon>
<text text-anchor="middle" x="604" y="-137.8" font-family="Times,serif" font-size="14.00">extract[6][2]</text>
</g>
<!-- method[2]&#45;&gt;extract[6][2] -->
<g id="edge184" class="edge"><title>method[2]-&gt;extract[6][2]</title>
<path fill="none" stroke="black" d="M238.316,-171.458C246.088,-172.932 254.283,-174.236 262,-175 274.384,-176.226 277.559,-175.311 290,-175 396.79,-172.332 424.59,-179.318 530,-162 536.708,-160.898 543.687,-159.424 550.552,-157.775"></path>
<polygon fill="black" stroke="black" points="551.652,-161.106 560.484,-155.254 549.931,-154.321 551.652,-161.106"></polygon>
</g>
<!-- method[2]&#45;&gt;exec[6][2] -->
<g id="edge176" class="edge"><title>method[2]-&gt;exec[6][2]</title>
<path fill="none" stroke="black" d="M238.182,-158.129C260.057,-155.185 288.162,-151.401 311.654,-148.239"></path>
<polygon fill="black" stroke="black" points="312.301,-151.683 321.745,-146.881 311.367,-144.746 312.301,-151.683"></polygon>
<text text-anchor="middle" x="276" y="-159.2" font-family="Times,serif" font-size="14.00">m[2]</text>
</g>
<!-- judge_ratio[0][0] -->
<g id="node48" class="node"><title>judge_ratio[0][0]</title>
<polygon fill="none" stroke="blue" points="660.405,-1638 547.595,-1638 547.595,-1602 660.405,-1602 660.405,-1638"></polygon>
<text text-anchor="middle" x="604" y="-1615.8" font-family="Times,serif" font-size="14.00">judge_ratio[0][0]</text>
</g>
<!-- compress[0][0]&#45;&gt;judge_ratio[0][0] -->
<g id="edge24" class="edge"><title>compress[0][0]-&gt;judge_ratio[0][0]</title>
<path fill="none" stroke="black" d="M402.549,-1627.97C410.851,-1625.18 419.59,-1622.72 428,-1621.2 463.905,-1614.73 504.629,-1614.07 537.752,-1615.18"></path>
<polygon fill="black" stroke="black" points="537.642,-1618.68 547.774,-1615.58 537.922,-1611.69 537.642,-1618.68"></polygon>
<text text-anchor="middle" x="479" y="-1625.2" font-family="Times,serif" font-size="14.00">z(g[0], m[0])</text>
</g>
<!-- judge_ratio[1][1] -->
<g id="node49" class="node"><title>judge_ratio[1][1]</title>
<polygon fill="none" stroke="blue" points="660.405,-998 547.595,-998 547.595,-962 660.405,-962 660.405,-998"></polygon>
<text text-anchor="middle" x="604" y="-975.8" font-family="Times,serif" font-size="14.00">judge_ratio[1][1]</text>
</g>
<!-- compress[1][1]&#45;&gt;judge_ratio[1][1] -->
<g id="edge52" class="edge"><title>compress[1][1]-&gt;judge_ratio[1][1]</title>
<path fill="none" stroke="black" d="M409.761,-980C446.676,-980 497.357,-980 537.554,-980"></path>
<polygon fill="black" stroke="black" points="537.797,-983.5 547.797,-980 537.797,-976.5 537.797,-983.5"></polygon>
<text text-anchor="middle" x="479" y="-984.2" font-family="Times,serif" font-size="14.00">z(g[1], m[1])</text>
</g>
<!-- judge_ratio[2][0] -->
<g id="node50" class="node"><title>judge_ratio[2][0]</title>
<polygon fill="none" stroke="blue" points="660.405,-1354 547.595,-1354 547.595,-1318 660.405,-1318 660.405,-1354"></polygon>
<text text-anchor="middle" x="604" y="-1331.8" font-family="Times,serif" font-size="14.00">judge_ratio[2][0]</text>
</g>
<!-- compress[2][0]&#45;&gt;judge_ratio[2][0] -->
<g id="edge80" class="edge"><title>compress[2][0]-&gt;judge_ratio[2][0]</title>
<path fill="none" stroke="black" d="M409.901,-1477.71C458.24,-1468.57 524.985,-1455.48 530,-1452 561.214,-1430.37 581.883,-1390.62 593.022,-1363.75"></path>
<polygon fill="black" stroke="black" points="596.396,-1364.74 596.826,-1354.15 589.888,-1362.16 596.396,-1364.74"></polygon>
<text text-anchor="middle" x="479" y="-1477.2" font-family="Times,serif" font-size="14.00">z(g[2], m[0])</text>
</g>
<!-- judge_ratio[3][1] -->
<g id="node51" class="node"><title>judge_ratio[3][1]</title>
<polygon fill="none" stroke="blue" points="660.405,-599 547.595,-599 547.595,-563 660.405,-563 660.405,-599"></polygon>
<text text-anchor="middle" x="604" y="-576.8" font-family="Times,serif" font-size="14.00">judge_ratio[3][1]</text>
</g>
<!-- compress[3][1]&#45;&gt;judge_ratio[3][1] -->
<g id="edge108" class="edge"><title>compress[3][1]-&gt;judge_ratio[3][1]</title>
<path fill="none" stroke="black" d="M409.761,-572.253C446.676,-573.924 497.357,-576.218 537.554,-578.037"></path>
<polygon fill="black" stroke="black" points="537.649,-581.545 547.797,-578.501 537.965,-574.552 537.649,-581.545"></polygon>
<text text-anchor="middle" x="479" y="-582.2" font-family="Times,serif" font-size="14.00">z(g[3], m[1])</text>
</g>
<!-- judge_ratio[4][0] -->
<g id="node52" class="node"><title>judge_ratio[4][0]</title>
<polygon fill="none" stroke="blue" points="660.405,-1216 547.595,-1216 547.595,-1180 660.405,-1180 660.405,-1216"></polygon>
<text text-anchor="middle" x="604" y="-1193.8" font-family="Times,serif" font-size="14.00">judge_ratio[4][0]</text>
</g>
<!-- compress[4][0]&#45;&gt;judge_ratio[4][0] -->
<g id="edge136" class="edge"><title>compress[4][0]-&gt;judge_ratio[4][0]</title>
<path fill="none" stroke="black" d="M409.719,-1214.47C415.868,-1213.65 422.074,-1212.87 428,-1212.2 464.079,-1208.14 504.468,-1204.78 537.347,-1202.36"></path>
<polygon fill="black" stroke="black" points="538.023,-1205.82 547.743,-1201.6 537.516,-1198.83 538.023,-1205.82"></polygon>
<text text-anchor="middle" x="479" y="-1217.2" font-family="Times,serif" font-size="14.00">z(g[4], m[0])</text>
</g>
<!-- judge_ratio[5][1] -->
<g id="node53" class="node"><title>judge_ratio[5][1]</title>
<polygon fill="none" stroke="blue" points="660.405,-401 547.595,-401 547.595,-365 660.405,-365 660.405,-401"></polygon>
<text text-anchor="middle" x="604" y="-378.8" font-family="Times,serif" font-size="14.00">judge_ratio[5][1]</text>
</g>
<!-- compress[5][1]&#45;&gt;judge_ratio[5][1] -->
<g id="edge164" class="edge"><title>compress[5][1]-&gt;judge_ratio[5][1]</title>
<path fill="none" stroke="black" d="M409.761,-377.433C446.676,-378.497 497.357,-379.957 537.554,-381.115"></path>
<polygon fill="black" stroke="black" points="537.7,-384.62 547.797,-381.41 537.902,-377.623 537.7,-384.62"></polygon>
<text text-anchor="middle" x="479" y="-385.2" font-family="Times,serif" font-size="14.00">z(g[5], m[1])</text>
</g>
<!-- judge_ratio[6][2] -->
<g id="node54" class="node"><title>judge_ratio[6][2]</title>
<polygon fill="none" stroke="blue" points="660.405,-59 547.595,-59 547.595,-23 660.405,-23 660.405,-59"></polygon>
<text text-anchor="middle" x="604" y="-36.8" font-family="Times,serif" font-size="14.00">judge_ratio[6][2]</text>
</g>
<!-- compress[6][2]&#45;&gt;judge_ratio[6][2] -->
<g id="edge192" class="edge"><title>compress[6][2]-&gt;judge_ratio[6][2]</title>
<path fill="none" stroke="black" d="M409.565,-9.9943C443.726,-5.93956 490.001,-3.3503 530,-11.2 539.075,-12.981 548.445,-15.8976 557.322,-19.2263"></path>
<polygon fill="black" stroke="black" points="556.137,-22.5219 566.723,-22.9658 558.725,-16.0175 556.137,-22.5219"></polygon>
<text text-anchor="middle" x="479" y="-16.2" font-family="Times,serif" font-size="14.00">z(g[6], m[2])</text>
</g>
<!-- extract[0][0]&#45;&gt;judge_correctness[0][0] -->
<g id="edge18" class="edge"><title>extract[0][0]-&gt;judge_correctness[0][0]</title>
<path fill="none" stroke="black" d="M647.279,-1687C700.826,-1687 794.342,-1687 862.711,-1687"></path>
<polygon fill="black" stroke="black" points="863.032,-1690.5 873.032,-1687 863.032,-1683.5 863.032,-1690.5"></polygon>
<text text-anchor="middle" x="754" y="-1691.2" font-family="Times,serif" font-size="14.00">u(e(c(s), g[0], m[0]), m[0])</text>
</g>
<!-- extract[1][1]&#45;&gt;judge_correctness[1][1] -->
<g id="edge46" class="edge"><title>extract[1][1]-&gt;judge_correctness[1][1]</title>
<path fill="none" stroke="black" d="M647.279,-917.06C709.324,-942.096 825.032,-988.785 893.102,-1016.25"></path>
<polygon fill="black" stroke="black" points="891.797,-1019.5 902.38,-1020 894.416,-1013.01 891.797,-1019.5"></polygon>
<text text-anchor="middle" x="754" y="-994.2" font-family="Times,serif" font-size="14.00">u(e(c(s), g[1], m[1]), m[1])</text>
</g>
<!-- extract[2][0]&#45;&gt;judge_correctness[2][0] -->
<g id="edge74" class="edge"><title>extract[2][0]-&gt;judge_correctness[2][0]</title>
<path fill="none" stroke="black" d="M647.279,-1498.55C707.749,-1476.45 819.193,-1435.71 887.829,-1410.63"></path>
<polygon fill="black" stroke="black" points="889.443,-1413.76 897.633,-1407.04 887.04,-1407.19 889.443,-1413.76"></polygon>
<text text-anchor="middle" x="754" y="-1491.2" font-family="Times,serif" font-size="14.00">u(e(c(s), g[2], m[0]), m[0])</text>
</g>
<!-- extract[3][1]&#45;&gt;judge_correctness[3][1] -->
<g id="edge102" class="edge"><title>extract[3][1]-&gt;judge_correctness[3][1]</title>
<path fill="none" stroke="black" d="M642.365,-648.912C689.636,-626.375 773.837,-587.376 848,-559 857.652,-555.307 867.935,-551.666 878.085,-548.239"></path>
<polygon fill="black" stroke="black" points="879.366,-551.501 887.75,-545.024 877.156,-544.859 879.366,-551.501"></polygon>
<text text-anchor="middle" x="754" y="-636.2" font-family="Times,serif" font-size="14.00">u(e(c(s), g[3], m[1]), m[1])</text>
</g>
<!-- extract[4][0]&#45;&gt;judge_correctness[4][0] -->
<g id="edge130" class="edge"><title>extract[4][0]-&gt;judge_correctness[4][0]</title>
<path fill="none" stroke="black" d="M647.279,-1238.77C705.364,-1220.6 810.482,-1187.71 879.514,-1166.11"></path>
<polygon fill="black" stroke="black" points="880.929,-1169.34 889.428,-1163.01 878.839,-1162.66 880.929,-1169.34"></polygon>
<text text-anchor="middle" x="754" y="-1233.2" font-family="Times,serif" font-size="14.00">u(e(c(s), g[4], m[0]), m[0])</text>
</g>
<!-- extract[5][1]&#45;&gt;judge_correctness[5][1] -->
<g id="edge158" class="edge"><title>extract[5][1]-&gt;judge_correctness[5][1]</title>
<path fill="none" stroke="black" d="M647.279,-312.448C700.935,-304.133 794.726,-289.598 863.132,-278.997"></path>
<polygon fill="black" stroke="black" points="863.686,-282.453 873.032,-277.463 862.614,-275.536 863.686,-282.453"></polygon>
<text text-anchor="middle" x="754" y="-312.2" font-family="Times,serif" font-size="14.00">u(e(c(s), g[5], m[1]), m[1])</text>
</g>
<!-- extract[6][2]&#45;&gt;judge_correctness[6][2] -->
<g id="edge186" class="edge"><title>extract[6][2]-&gt;judge_correctness[6][2]</title>
<path fill="none" stroke="black" d="M647.279,-136.066C700.826,-128.551 794.342,-115.426 862.711,-105.83"></path>
<polygon fill="black" stroke="black" points="863.616,-109.237 873.032,-104.381 862.643,-102.305 863.616,-109.237"></polygon>
<text text-anchor="middle" x="754" y="-136.2" font-family="Times,serif" font-size="14.00">u(e(c(s), g[6], m[2]), m[2])</text>
</g>
<!-- compile&#45;&gt;exec[0][0] -->
<g id="edge4" class="edge"><title>compile-&gt;exec[0][0]</title>
<path fill="none" stroke="black" d="M221.252,-918.277C229.878,-927.738 239.178,-940.013 244,-953 261.031,-998.87 238.314,-1350.19 262,-1393 269.304,-1406.2 281.827,-1399.52 290,-1412.2 314.886,-1450.82 291.277,-1471.21 308,-1514 315.175,-1532.36 326.941,-1551.02 337.256,-1565.48"></path>
<polygon fill="black" stroke="black" points="334.7,-1567.91 343.438,-1573.91 340.343,-1563.77 334.7,-1567.91"></polygon>
<text text-anchor="middle" x="276" y="-1416.2" font-family="Times,serif" font-size="14.00">c(s)</text>
</g>
<!-- compile&#45;&gt;exec[1][1] -->
<g id="edge32" class="edge"><title>compile-&gt;exec[1][1]</title>
<path fill="none" stroke="black" d="M231.71,-900C254.242,-900 285.638,-900 311.488,-900"></path>
<polygon fill="black" stroke="black" points="311.82,-903.5 321.82,-900 311.82,-896.5 311.82,-903.5"></polygon>
<text text-anchor="middle" x="276" y="-904.2" font-family="Times,serif" font-size="14.00">c(s)</text>
</g>
<!-- compile&#45;&gt;exec[2][0] -->
<g id="edge60" class="edge"><title>compile-&gt;exec[2][0]</title>
<path fill="none" stroke="black" d="M219.892,-918.186C228.404,-927.808 238.007,-940.25 244,-953 260.427,-987.947 252.324,-1000.62 262,-1038 272.625,-1079.05 280.602,-1087.85 290,-1129.2 301.934,-1181.7 290.279,-1198.16 308,-1249 315.499,-1270.51 328.385,-1292.75 339.197,-1309.36"></path>
<polygon fill="black" stroke="black" points="336.479,-1311.59 344.943,-1317.97 342.301,-1307.71 336.479,-1311.59"></polygon>
<text text-anchor="middle" x="276" y="-1134.2" font-family="Times,serif" font-size="14.00">c(s)</text>
</g>
<!-- compile&#45;&gt;exec[3][1] -->
<g id="edge88" class="edge"><title>compile-&gt;exec[3][1]</title>
<path fill="none" stroke="black" d="M231.923,-884.818C250.759,-873.969 274.377,-857.811 290,-838 324.392,-794.39 343.432,-731.155 352.111,-695.058"></path>
<polygon fill="black" stroke="black" points="355.546,-695.738 354.383,-685.207 348.725,-694.165 355.546,-695.738"></polygon>
<text text-anchor="middle" x="276" y="-869.2" font-family="Times,serif" font-size="14.00">c(s)</text>
</g>
<!-- compile&#45;&gt;exec[4][0] -->
<g id="edge116" class="edge"><title>compile-&gt;exec[4][0]</title>
<path fill="none" stroke="black" d="M218.571,-918.176C226.942,-927.99 236.817,-940.608 244,-953 254.802,-971.636 249.315,-980.591 262,-998 271.517,-1011.06 280.138,-1008.4 290,-1021.2 318.488,-1058.19 338.648,-1109.03 349.286,-1140.14"></path>
<polygon fill="black" stroke="black" points="346.05,-1141.5 352.527,-1149.89 352.693,-1139.29 346.05,-1141.5"></polygon>
<text text-anchor="middle" x="276" y="-1026.2" font-family="Times,serif" font-size="14.00">c(s)</text>
</g>
<!-- compile&#45;&gt;exec[5][1] -->
<g id="edge144" class="edge"><title>compile-&gt;exec[5][1]</title>
<path fill="none" stroke="black" d="M206.216,-881.841C218.945,-827.175 256.45,-667.279 262,-657.2 270.673,-641.45 281.593,-643.894 290,-628 308.056,-593.866 296.123,-579.744 308,-543 317.757,-512.814 332.925,-479.797 343.998,-457.292"></path>
<polygon fill="black" stroke="black" points="347.136,-458.84 348.464,-448.329 340.871,-455.718 347.136,-458.84"></polygon>
<text text-anchor="middle" x="276" y="-662.2" font-family="Times,serif" font-size="14.00">c(s)</text>
</g>
<!-- compile&#45;&gt;exec[6][2] -->
<g id="edge172" class="edge"><title>compile-&gt;exec[6][2]</title>
<path fill="none" stroke="black" d="M206.554,-881.899C214.707,-849.14 232.057,-777.772 244,-717 253.536,-668.477 235.477,-648.937 262,-607.2 270.093,-594.465 282.47,-601.076 290,-588 316.578,-541.844 299.72,-401.614 308,-349 318.235,-283.96 338.427,-209.237 349.769,-169.778"></path>
<polygon fill="black" stroke="black" points="353.159,-170.655 352.584,-160.076 346.436,-168.705 353.159,-170.655"></polygon>
<text text-anchor="middle" x="276" y="-612.2" font-family="Times,serif" font-size="14.00">c(s)</text>
</g>
<!-- exec[0][0]&#45;&gt;extract[0][0] -->
<g id="edge14" class="edge"><title>exec[0][0]-&gt;extract[0][0]</title>
<path fill="none" stroke="black" d="M396.366,-1609.85C401.102,-1612.69 405.771,-1615.76 410,-1619 419.234,-1626.07 417.894,-1632.24 428,-1638 468.391,-1661.02 485.341,-1648.28 530,-1661.2 536.68,-1663.13 543.641,-1665.34 550.498,-1667.63"></path>
<polygon fill="black" stroke="black" points="549.828,-1671.1 560.423,-1671.02 552.091,-1664.47 549.828,-1671.1"></polygon>
<text text-anchor="middle" x="479" y="-1665.2" font-family="Times,serif" font-size="14.00">e(c(s), g[0], m[0])</text>
</g>
<!-- exec[0][0]&#45;&gt;judge_ratio[0][0] -->
<g id="edge22" class="edge"><title>exec[0][0]-&gt;judge_ratio[0][0]</title>
<path fill="none" stroke="black" d="M396.152,-1588.69C430.797,-1586.35 484.406,-1584.93 530,-1593.2 537.123,-1594.49 544.466,-1596.42 551.623,-1598.66"></path>
<polygon fill="black" stroke="black" points="550.635,-1602.02 561.229,-1601.87 552.858,-1595.38 550.635,-1602.02"></polygon>
<text text-anchor="middle" x="479" y="-1597.2" font-family="Times,serif" font-size="14.00">e(c(s), g[0], m[0])</text>
</g>
<!-- exec[1][1]&#45;&gt;extract[1][1] -->
<g id="edge42" class="edge"><title>exec[1][1]-&gt;extract[1][1]</title>
<path fill="none" stroke="black" d="M396.38,-900C437.246,-900 503.93,-900 550.453,-900"></path>
<polygon fill="black" stroke="black" points="550.642,-903.5 560.642,-900 550.642,-896.5 550.642,-903.5"></polygon>
<text text-anchor="middle" x="479" y="-904.2" font-family="Times,serif" font-size="14.00">e(c(s), g[1], m[1])</text>
</g>
<!-- exec[1][1]&#45;&gt;judge_ratio[1][1] -->
<g id="edge50" class="edge"><title>exec[1][1]-&gt;judge_ratio[1][1]</title>
<path fill="none" stroke="black" d="M396.38,-911.977C433.754,-924.281 492.725,-943.695 538.116,-958.639"></path>
<polygon fill="black" stroke="black" points="537.282,-962.049 547.875,-961.852 539.471,-955.4 537.282,-962.049"></polygon>
<text text-anchor="middle" x="479" y="-959.2" font-family="Times,serif" font-size="14.00">e(c(s), g[1], m[1])</text>
</g>
<!-- exec[2][0]&#45;&gt;extract[2][0] -->
<g id="edge70" class="edge"><title>exec[2][0]-&gt;extract[2][0]</title>
<path fill="none" stroke="black" d="M367.366,-1354.19C383.718,-1394.38 422.071,-1487.56 428,-1492 446.822,-1506.08 506.017,-1511.19 550.386,-1513.02"></path>
<polygon fill="black" stroke="black" points="550.336,-1516.52 560.458,-1513.39 550.594,-1509.52 550.336,-1516.52"></polygon>
<text text-anchor="middle" x="479" y="-1515.2" font-family="Times,serif" font-size="14.00">e(c(s), g[2], m[0])</text>
</g>
<!-- exec[2][0]&#45;&gt;judge_ratio[2][0] -->
<g id="edge78" class="edge"><title>exec[2][0]-&gt;judge_ratio[2][0]</title>
<path fill="none" stroke="black" d="M396.38,-1336C433.553,-1336 492.09,-1336 537.381,-1336"></path>
<polygon fill="black" stroke="black" points="537.415,-1339.5 547.415,-1336 537.415,-1332.5 537.415,-1339.5"></polygon>
<text text-anchor="middle" x="479" y="-1340.2" font-family="Times,serif" font-size="14.00">e(c(s), g[2], m[0])</text>
</g>
<!-- exec[3][1]&#45;&gt;extract[3][1] -->
<g id="edge98" class="edge"><title>exec[3][1]-&gt;extract[3][1]</title>
<path fill="none" stroke="black" d="M396.38,-667C437.246,-667 503.93,-667 550.453,-667"></path>
<polygon fill="black" stroke="black" points="550.642,-670.5 560.642,-667 550.642,-663.5 550.642,-670.5"></polygon>
<text text-anchor="middle" x="479" y="-671.2" font-family="Times,serif" font-size="14.00">e(c(s), g[3], m[1])</text>
</g>
<!-- exec[3][1]&#45;&gt;judge_ratio[3][1] -->
<g id="edge106" class="edge"><title>exec[3][1]-&gt;judge_ratio[3][1]</title>
<path fill="none" stroke="black" d="M396.38,-654.125C434.945,-640.476 496.504,-618.69 542.413,-602.442"></path>
<polygon fill="black" stroke="black" points="543.698,-605.7 551.957,-599.064 541.363,-599.101 543.698,-605.7"></polygon>
<text text-anchor="middle" x="479" y="-646.2" font-family="Times,serif" font-size="14.00">e(c(s), g[3], m[1])</text>
</g>
<!-- exec[4][0]&#45;&gt;extract[4][0] -->
<g id="edge126" class="edge"><title>exec[4][0]-&gt;extract[4][0]</title>
<path fill="none" stroke="black" d="M396.232,-1184.18C401.201,-1187.33 405.971,-1190.94 410,-1195 422.04,-1207.14 413.959,-1219.24 428,-1229 463.538,-1253.69 513.122,-1258.14 550.441,-1257.17"></path>
<polygon fill="black" stroke="black" points="550.767,-1260.66 560.62,-1256.76 550.488,-1253.66 550.767,-1260.66"></polygon>
<text text-anchor="middle" x="479" y="-1261.2" font-family="Times,serif" font-size="14.00">e(c(s), g[4], m[0])</text>
</g>
<!-- exec[4][0]&#45;&gt;judge_ratio[4][0] -->
<g id="edge134" class="edge"><title>exec[4][0]-&gt;judge_ratio[4][0]</title>
<path fill="none" stroke="black" d="M396.283,-1170.08C430.795,-1172.32 484.11,-1176.52 530,-1183.2 532.519,-1183.57 535.083,-1183.96 537.669,-1184.39"></path>
<polygon fill="black" stroke="black" points="537.26,-1187.87 547.71,-1186.12 538.451,-1180.97 537.26,-1187.87"></polygon>
<text text-anchor="middle" x="479" y="-1188.2" font-family="Times,serif" font-size="14.00">e(c(s), g[4], m[0])</text>
</g>
<!-- exec[5][1]&#45;&gt;extract[5][1] -->
<g id="edge154" class="edge"><title>exec[5][1]-&gt;extract[5][1]</title>
<path fill="none" stroke="black" d="M396.37,-414.355C401.378,-411.116 406.123,-407.342 410,-403 424.291,-386.994 411.651,-372.098 428,-358.2 446.266,-342.672 505.887,-331.64 550.496,-325.315"></path>
<polygon fill="black" stroke="black" points="551.191,-328.752 560.621,-323.922 550.237,-321.817 551.191,-328.752"></polygon>
<text text-anchor="middle" x="479" y="-363.2" font-family="Times,serif" font-size="14.00">e(c(s), g[5], m[1])</text>
</g>
<!-- exec[5][1]&#45;&gt;judge_ratio[5][1] -->
<g id="edge162" class="edge"><title>exec[5][1]-&gt;judge_ratio[5][1]</title>
<path fill="none" stroke="black" d="M396.291,-424.593C430.809,-419.265 484.128,-410.555 530,-401 532.606,-400.457 535.259,-399.887 537.937,-399.296"></path>
<polygon fill="black" stroke="black" points="538.714,-402.709 547.694,-397.086 537.167,-395.882 538.714,-402.709"></polygon>
<text text-anchor="middle" x="479" y="-424.2" font-family="Times,serif" font-size="14.00">e(c(s), g[5], m[1])</text>
</g>
<!-- exec[6][2]&#45;&gt;extract[6][2] -->
<g id="edge182" class="edge"><title>exec[6][2]-&gt;extract[6][2]</title>
<path fill="none" stroke="black" d="M396.38,-142C437.246,-142 503.93,-142 550.453,-142"></path>
<polygon fill="black" stroke="black" points="550.642,-145.5 560.642,-142 550.642,-138.5 550.642,-145.5"></polygon>
<text text-anchor="middle" x="479" y="-146.2" font-family="Times,serif" font-size="14.00">e(c(s), g[6], m[2])</text>
</g>
<!-- exec[6][2]&#45;&gt;judge_ratio[6][2] -->
<g id="edge190" class="edge"><title>exec[6][2]-&gt;judge_ratio[6][2]</title>
<path fill="none" stroke="black" d="M367.7,-123.889C377.96,-102.3 398.335,-67.1418 428,-51.2 461.183,-33.3678 503.19,-30.3954 537.731,-32.0817"></path>
<polygon fill="black" stroke="black" points="537.526,-35.5757 547.725,-32.7075 537.964,-28.5894 537.526,-35.5757"></polygon>
<text text-anchor="middle" x="479" y="-56.2" font-family="Times,serif" font-size="14.00">e(c(s), g[6], m[2])</text>
</g>
<!-- judge[0][0] -->
<g id="node34" class="node"><title>judge[0][0]</title>
<polygon fill="none" stroke="blue" points="1361.75,-1671 1282.25,-1671 1282.25,-1635 1361.75,-1635 1361.75,-1671"></polygon>
<text text-anchor="middle" x="1322" y="-1648.8" font-family="Times,serif" font-size="14.00">judge[0][0]</text>
</g>
<!-- score[0][0] -->
<g id="node55" class="node"><title>score[0][0]</title>
<ellipse fill="none" stroke="green" cx="1872" cy="-1653" rx="53.8551" ry="53.8551"></ellipse>
<ellipse fill="none" stroke="green" cx="1872" cy="-1653" rx="57.85" ry="57.85"></ellipse>
<text text-anchor="middle" x="1872" y="-1648.8" font-family="Times,serif" font-size="14.00">score[0][0]</text>
</g>
<!-- judge[0][0]&#45;&gt;score[0][0] -->
<g id="edge30" class="edge"><title>judge[0][0]-&gt;score[0][0]</title>
<path fill="none" stroke="black" d="M1361.97,-1653C1454.42,-1653 1687.91,-1653 1803.73,-1653"></path>
<polygon fill="black" stroke="black" points="1803.88,-1656.5 1813.88,-1653 1803.88,-1649.5 1803.88,-1656.5"></polygon>
<text text-anchor="middle" x="1588" y="-1657.2" font-family="Times,serif" font-size="14.00">j(jc(u(e(c(s), g[0], m[0]), g[0], m[0]), jr(e(c(s), g[0], m[0]), z(g[0], m[0])))</text>
</g>
<!-- judge[1][1] -->
<g id="node35" class="node"><title>judge[1][1]</title>
<polygon fill="none" stroke="blue" points="1361.75,-1074 1282.25,-1074 1282.25,-1038 1361.75,-1038 1361.75,-1074"></polygon>
<text text-anchor="middle" x="1322" y="-1051.8" font-family="Times,serif" font-size="14.00">judge[1][1]</text>
</g>
<!-- score[1][1] -->
<g id="node56" class="node"><title>score[1][1]</title>
<ellipse fill="none" stroke="green" cx="1872" cy="-1056" rx="53.8551" ry="53.8551"></ellipse>
<ellipse fill="none" stroke="green" cx="1872" cy="-1056" rx="57.85" ry="57.85"></ellipse>
<text text-anchor="middle" x="1872" y="-1051.8" font-family="Times,serif" font-size="14.00">score[1][1]</text>
</g>
<!-- judge[1][1]&#45;&gt;score[1][1] -->
<g id="edge58" class="edge"><title>judge[1][1]-&gt;score[1][1]</title>
<path fill="none" stroke="black" d="M1361.97,-1056C1454.42,-1056 1687.91,-1056 1803.73,-1056"></path>
<polygon fill="black" stroke="black" points="1803.88,-1059.5 1813.88,-1056 1803.88,-1052.5 1803.88,-1059.5"></polygon>
<text text-anchor="middle" x="1588" y="-1060.2" font-family="Times,serif" font-size="14.00">j(jc(u(e(c(s), g[1], m[1]), g[1], m[1]), jr(e(c(s), g[1], m[1]), z(g[1], m[1])))</text>
</g>
<!-- judge[2][0] -->
<g id="node36" class="node"><title>judge[2][0]</title>
<polygon fill="none" stroke="blue" points="1361.75,-1375 1282.25,-1375 1282.25,-1339 1361.75,-1339 1361.75,-1375"></polygon>
<text text-anchor="middle" x="1322" y="-1352.8" font-family="Times,serif" font-size="14.00">judge[2][0]</text>
</g>
<!-- score[2][0] -->
<g id="node57" class="node"><title>score[2][0]</title>
<ellipse fill="none" stroke="green" cx="1872" cy="-1357" rx="53.8551" ry="53.8551"></ellipse>
<ellipse fill="none" stroke="green" cx="1872" cy="-1357" rx="57.85" ry="57.85"></ellipse>
<text text-anchor="middle" x="1872" y="-1352.8" font-family="Times,serif" font-size="14.00">score[2][0]</text>
</g>
<!-- judge[2][0]&#45;&gt;score[2][0] -->
<g id="edge86" class="edge"><title>judge[2][0]-&gt;score[2][0]</title>
<path fill="none" stroke="black" d="M1361.97,-1357C1454.42,-1357 1687.91,-1357 1803.73,-1357"></path>
<polygon fill="black" stroke="black" points="1803.88,-1360.5 1813.88,-1357 1803.88,-1353.5 1803.88,-1360.5"></polygon>
<text text-anchor="middle" x="1588" y="-1361.2" font-family="Times,serif" font-size="14.00">j(jc(u(e(c(s), g[2], m[0]), g[2], m[0]), jr(e(c(s), g[2], m[0]), z(g[2], m[0])))</text>
</g>
<!-- judge[3][1] -->
<g id="node37" class="node"><title>judge[3][1]</title>
<polygon fill="none" stroke="blue" points="1361.75,-545 1282.25,-545 1282.25,-509 1361.75,-509 1361.75,-545"></polygon>
<text text-anchor="middle" x="1322" y="-522.8" font-family="Times,serif" font-size="14.00">judge[3][1]</text>
</g>
<!-- score[3][1] -->
<g id="node58" class="node"><title>score[3][1]</title>
<ellipse fill="none" stroke="green" cx="1872" cy="-527" rx="53.8551" ry="53.8551"></ellipse>
<ellipse fill="none" stroke="green" cx="1872" cy="-527" rx="57.85" ry="57.85"></ellipse>
<text text-anchor="middle" x="1872" y="-522.8" font-family="Times,serif" font-size="14.00">score[3][1]</text>
</g>
<!-- judge[3][1]&#45;&gt;score[3][1] -->
<g id="edge114" class="edge"><title>judge[3][1]-&gt;score[3][1]</title>
<path fill="none" stroke="black" d="M1361.97,-527C1454.42,-527 1687.91,-527 1803.73,-527"></path>
<polygon fill="black" stroke="black" points="1803.88,-530.5 1813.88,-527 1803.88,-523.5 1803.88,-530.5"></polygon>
<text text-anchor="middle" x="1588" y="-531.2" font-family="Times,serif" font-size="14.00">j(jc(u(e(c(s), g[3], m[1]), g[3], m[1]), jr(e(c(s), g[3], m[1]), z(g[3], m[1])))</text>
</g>
<!-- judge[4][0] -->
<g id="node38" class="node"><title>judge[4][0]</title>
<polygon fill="none" stroke="blue" points="1361.75,-1215 1282.25,-1215 1282.25,-1179 1361.75,-1179 1361.75,-1215"></polygon>
<text text-anchor="middle" x="1322" y="-1192.8" font-family="Times,serif" font-size="14.00">judge[4][0]</text>
</g>
<!-- score[4][0] -->
<g id="node59" class="node"><title>score[4][0]</title>
<ellipse fill="none" stroke="green" cx="1872" cy="-1197" rx="53.8551" ry="53.8551"></ellipse>
<ellipse fill="none" stroke="green" cx="1872" cy="-1197" rx="57.85" ry="57.85"></ellipse>
<text text-anchor="middle" x="1872" y="-1192.8" font-family="Times,serif" font-size="14.00">score[4][0]</text>
</g>
<!-- judge[4][0]&#45;&gt;score[4][0] -->
<g id="edge142" class="edge"><title>judge[4][0]-&gt;score[4][0]</title>
<path fill="none" stroke="black" d="M1361.97,-1197C1454.42,-1197 1687.91,-1197 1803.73,-1197"></path>
<polygon fill="black" stroke="black" points="1803.88,-1200.5 1813.88,-1197 1803.88,-1193.5 1803.88,-1200.5"></polygon>
<text text-anchor="middle" x="1588" y="-1201.2" font-family="Times,serif" font-size="14.00">j(jc(u(e(c(s), g[4], m[0]), g[4], m[0]), jr(e(c(s), g[4], m[0]), z(g[4], m[0])))</text>
</g>
<!-- judge[5][1] -->
<g id="node39" class="node"><title>judge[5][1]</title>
<polygon fill="none" stroke="blue" points="1361.75,-390 1282.25,-390 1282.25,-354 1361.75,-354 1361.75,-390"></polygon>
<text text-anchor="middle" x="1322" y="-367.8" font-family="Times,serif" font-size="14.00">judge[5][1]</text>
</g>
<!-- score[5][1] -->
<g id="node60" class="node"><title>score[5][1]</title>
<ellipse fill="none" stroke="green" cx="1872" cy="-372" rx="53.8551" ry="53.8551"></ellipse>
<ellipse fill="none" stroke="green" cx="1872" cy="-372" rx="57.85" ry="57.85"></ellipse>
<text text-anchor="middle" x="1872" y="-367.8" font-family="Times,serif" font-size="14.00">score[5][1]</text>
</g>
<!-- judge[5][1]&#45;&gt;score[5][1] -->
<g id="edge170" class="edge"><title>judge[5][1]-&gt;score[5][1]</title>
<path fill="none" stroke="black" d="M1361.97,-372C1454.42,-372 1687.91,-372 1803.73,-372"></path>
<polygon fill="black" stroke="black" points="1803.88,-375.5 1813.88,-372 1803.88,-368.5 1803.88,-375.5"></polygon>
<text text-anchor="middle" x="1588" y="-376.2" font-family="Times,serif" font-size="14.00">j(jc(u(e(c(s), g[5], m[1]), g[5], m[1]), jr(e(c(s), g[5], m[1]), z(g[5], m[1])))</text>
</g>
<!-- judge[6][2] -->
<g id="node40" class="node"><title>judge[6][2]</title>
<polygon fill="none" stroke="blue" points="1361.75,-81 1282.25,-81 1282.25,-45 1361.75,-45 1361.75,-81"></polygon>
<text text-anchor="middle" x="1322" y="-58.8" font-family="Times,serif" font-size="14.00">judge[6][2]</text>
</g>
<!-- score[6][2] -->
<g id="node61" class="node"><title>score[6][2]</title>
<ellipse fill="none" stroke="green" cx="1872" cy="-63" rx="53.8551" ry="53.8551"></ellipse>
<ellipse fill="none" stroke="green" cx="1872" cy="-63" rx="57.85" ry="57.85"></ellipse>
<text text-anchor="middle" x="1872" y="-58.8" font-family="Times,serif" font-size="14.00">score[6][2]</text>
</g>
<!-- judge[6][2]&#45;&gt;score[6][2] -->
<g id="edge198" class="edge"><title>judge[6][2]-&gt;score[6][2]</title>
<path fill="none" stroke="black" d="M1361.97,-63C1454.42,-63 1687.91,-63 1803.73,-63"></path>
<polygon fill="black" stroke="black" points="1803.88,-66.5001 1813.88,-63 1803.88,-59.5001 1803.88,-66.5001"></polygon>
<text text-anchor="middle" x="1588" y="-67.2" font-family="Times,serif" font-size="14.00">j(jc(u(e(c(s), g[6], m[2]), g[6], m[2]), jr(e(c(s), g[6], m[2]), z(g[6], m[2])))</text>
</g>
<!-- judge_correctness[0][0]&#45;&gt;judge[0][0] -->
<g id="edge26" class="edge"><title>judge_correctness[0][0]-&gt;judge[0][0]</title>
<path fill="none" stroke="black" d="M1022.94,-1680.24C1096.8,-1673.49 1208.25,-1663.3 1271.87,-1657.49"></path>
<polygon fill="black" stroke="black" points="1272.39,-1660.96 1282.03,-1656.56 1271.76,-1653.99 1272.39,-1660.96"></polygon>
<text text-anchor="middle" x="1165" y="-1680.2" font-family="Times,serif" font-size="14.00">jc(u(e(c(s), g[0], m[0]), g[0], m[0])</text>
</g>
<!-- judge_correctness[1][1]&#45;&gt;judge[1][1] -->
<g id="edge54" class="edge"><title>judge_correctness[1][1]-&gt;judge[1][1]</title>
<path fill="none" stroke="black" d="M1022.94,-1041.58C1096.8,-1045.15 1208.25,-1050.54 1271.87,-1053.62"></path>
<polygon fill="black" stroke="black" points="1271.88,-1057.13 1282.03,-1054.11 1272.22,-1050.14 1271.88,-1057.13"></polygon>
<text text-anchor="middle" x="1165" y="-1057.2" font-family="Times,serif" font-size="14.00">jc(u(e(c(s), g[1], m[1]), g[1], m[1])</text>
</g>
<!-- judge_correctness[2][0]&#45;&gt;judge[2][0] -->
<g id="edge82" class="edge"><title>judge_correctness[2][0]-&gt;judge[2][0]</title>
<path fill="none" stroke="black" d="M1022.94,-1382.64C1096.8,-1376.29 1208.25,-1366.7 1271.87,-1361.23"></path>
<polygon fill="black" stroke="black" points="1272.37,-1364.7 1282.03,-1360.35 1271.77,-1357.72 1272.37,-1364.7"></polygon>
<text text-anchor="middle" x="1165" y="-1382.2" font-family="Times,serif" font-size="14.00">jc(u(e(c(s), g[2], m[0]), g[2], m[0])</text>
</g>
<!-- judge_correctness[3][1]&#45;&gt;judge[3][1] -->
<g id="edge110" class="edge"><title>judge_correctness[3][1]-&gt;judge[3][1]</title>
<path fill="none" stroke="black" d="M1022.94,-527C1096.8,-527 1208.25,-527 1271.87,-527"></path>
<polygon fill="black" stroke="black" points="1272.03,-530.5 1282.03,-527 1272.03,-523.5 1272.03,-530.5"></polygon>
<text text-anchor="middle" x="1165" y="-531.2" font-family="Times,serif" font-size="14.00">jc(u(e(c(s), g[3], m[1]), g[3], m[1])</text>
</g>
<!-- judge_correctness[4][0]&#45;&gt;judge[4][0] -->
<g id="edge138" class="edge"><title>judge_correctness[4][0]-&gt;judge[4][0]</title>
<path fill="none" stroke="black" d="M1022.96,-1142.34C1087.69,-1141.91 1183.68,-1145.91 1264,-1168.2 1269.82,-1169.81 1275.74,-1172.04 1281.46,-1174.56"></path>
<polygon fill="black" stroke="black" points="1280.3,-1177.88 1290.83,-1178.99 1283.29,-1171.55 1280.3,-1177.88"></polygon>
<text text-anchor="middle" x="1165" y="-1173.2" font-family="Times,serif" font-size="14.00">jc(u(e(c(s), g[4], m[0]), g[4], m[0])</text>
</g>
<!-- judge_correctness[5][1]&#45;&gt;judge[5][1] -->
<g id="edge166" class="edge"><title>judge_correctness[5][1]-&gt;judge[5][1]</title>
<path fill="none" stroke="black" d="M1022.87,-277.992C1087.77,-289.843 1184.03,-310.655 1264,-341.2 1269.93,-343.465 1276.02,-346.229 1281.9,-349.16"></path>
<polygon fill="black" stroke="black" points="1280.44,-352.348 1290.93,-353.859 1283.68,-346.138 1280.44,-352.348"></polygon>
<text text-anchor="middle" x="1165" y="-346.2" font-family="Times,serif" font-size="14.00">jc(u(e(c(s), g[5], m[1]), g[5], m[1])</text>
</g>
<!-- judge_correctness[6][2]&#45;&gt;judge[6][2] -->
<g id="edge194" class="edge"><title>judge_correctness[6][2]-&gt;judge[6][2]</title>
<path fill="none" stroke="black" d="M1022.94,-87.8383C1096.8,-81.6831 1208.25,-72.3955 1271.87,-67.0942"></path>
<polygon fill="black" stroke="black" points="1272.36,-70.5656 1282.03,-66.2471 1271.78,-63.5897 1272.36,-70.5656"></polygon>
<text text-anchor="middle" x="1165" y="-88.2" font-family="Times,serif" font-size="14.00">jc(u(e(c(s), g[6], m[2]), g[6], m[2])</text>
</g>
<!-- judge_ratio[0][0]&#45;&gt;judge[0][0] -->
<g id="edge28" class="edge"><title>judge_ratio[0][0]-&gt;judge[0][0]</title>
<path fill="none" stroke="black" d="M660.291,-1622.55C795.726,-1628.79 1142.4,-1644.77 1271.54,-1650.72"></path>
<polygon fill="black" stroke="black" points="1271.75,-1654.23 1281.91,-1651.2 1272.08,-1647.24 1271.75,-1654.23"></polygon>
<text text-anchor="middle" x="948" y="-1644.2" font-family="Times,serif" font-size="14.00">jr(e(c(s), g[0], m[0]), z(g[0], m[0]))</text>
</g>
<!-- judge_ratio[1][1]&#45;&gt;judge[1][1] -->
<g id="edge56" class="edge"><title>judge_ratio[1][1]-&gt;judge[1][1]</title>
<path fill="none" stroke="black" d="M643.93,-998.043C691.057,-1018.83 773.398,-1051.83 848,-1065 1030.11,-1097.16 1081.02,-1099.71 1264,-1073 1266.69,-1072.61 1269.42,-1072.12 1272.17,-1071.55"></path>
<polygon fill="black" stroke="black" points="1273.15,-1074.92 1282.09,-1069.23 1271.55,-1068.1 1273.15,-1074.92"></polygon>
<text text-anchor="middle" x="948" y="-1095.2" font-family="Times,serif" font-size="14.00">jr(e(c(s), g[1], m[1]), z(g[1], m[1]))</text>
</g>
<!-- judge_ratio[2][0]&#45;&gt;judge[2][0] -->
<g id="edge84" class="edge"><title>judge_ratio[2][0]-&gt;judge[2][0]</title>
<path fill="none" stroke="black" d="M660.261,-1336.75C744.1,-1337.98 908.45,-1340.74 1048,-1345.2 1126.4,-1347.71 1217.41,-1351.9 1272.04,-1354.55"></path>
<polygon fill="black" stroke="black" points="1271.97,-1358.05 1282.13,-1355.05 1272.31,-1351.06 1271.97,-1358.05"></polygon>
<text text-anchor="middle" x="948" y="-1349.2" font-family="Times,serif" font-size="14.00">jr(e(c(s), g[2], m[0]), z(g[2], m[0]))</text>
</g>
<!-- judge_ratio[3][1]&#45;&gt;judge[3][1] -->
<g id="edge112" class="edge"><title>judge_ratio[3][1]-&gt;judge[3][1]</title>
<path fill="none" stroke="black" d="M660.326,-583.424C774.437,-587.273 1043.69,-590.399 1264,-547 1266.8,-546.449 1269.64,-545.789 1272.5,-545.05"></path>
<polygon fill="black" stroke="black" points="1273.52,-548.399 1282.16,-542.276 1271.58,-541.671 1273.52,-548.399"></polygon>
<text text-anchor="middle" x="948" y="-589.2" font-family="Times,serif" font-size="14.00">jr(e(c(s), g[3], m[1]), z(g[3], m[1]))</text>
</g>
<!-- judge_ratio[4][0]&#45;&gt;judge[4][0] -->
<g id="edge140" class="edge"><title>judge_ratio[4][0]-&gt;judge[4][0]</title>
<path fill="none" stroke="black" d="M660.291,-1197.92C795.726,-1197.73 1142.4,-1197.25 1271.54,-1197.07"></path>
<polygon fill="black" stroke="black" points="1271.91,-1200.57 1281.91,-1197.05 1271.9,-1193.57 1271.91,-1200.57"></polygon>
<text text-anchor="middle" x="948" y="-1202.2" font-family="Times,serif" font-size="14.00">jr(e(c(s), g[4], m[0]), z(g[4], m[0]))</text>
</g>
<!-- judge_ratio[5][1]&#45;&gt;judge[5][1] -->
<g id="edge168" class="edge"><title>judge_ratio[5][1]-&gt;judge[5][1]</title>
<path fill="none" stroke="black" d="M660.291,-382.151C795.726,-380.07 1142.4,-374.744 1271.54,-372.76"></path>
<polygon fill="black" stroke="black" points="1271.96,-376.254 1281.91,-372.601 1271.85,-369.255 1271.96,-376.254"></polygon>
<text text-anchor="middle" x="948" y="-384.2" font-family="Times,serif" font-size="14.00">jr(e(c(s), g[5], m[1]), z(g[5], m[1]))</text>
</g>
<!-- judge_ratio[6][2]&#45;&gt;judge[6][2] -->
<g id="edge196" class="edge"><title>judge_ratio[6][2]-&gt;judge[6][2]</title>
<path fill="none" stroke="black" d="M660.263,-41.6849C744.105,-42.8287 908.459,-45.4805 1048,-50.2 1126.41,-52.8518 1217.41,-57.4177 1272.04,-60.319"></path>
<polygon fill="black" stroke="black" points="1271.96,-63.8197 1282.13,-60.8582 1272.33,-56.8297 1271.96,-63.8197"></polygon>
<text text-anchor="middle" x="948" y="-55.2" font-family="Times,serif" font-size="14.00">jr(e(c(s), g[6], m[2]), z(g[6], m[2]))</text>
</g>
</g>
</svg>
Raw
extended.dot
strict digraph {
rankdir=LR;
node [ shape=ellipse, color=green ] source_files;
node [ shape=note, color=grey ] "generator[0]" "generator[1]" "generator[2]" "generator[3]" "generator[4]" "generator[5]" "generator[6]" "method[0]" "method[1]" "method[2]";
node [ shape=box, color=blue ] "compress[0][0]" "compress[1][1]" "compress[2][0]" "compress[3][1]" "compress[4][0]" "compress[5][1]" "compress[6][2]" "extract[0][0]" "extract[1][1]" "extract[2][0]" "extract[3][1]" "extract[4][0]" "extract[5][1]" "extract[6][2]" compile "exec[0][0]" "exec[1][1]" "exec[2][0]" "exec[3][1]" "exec[4][0]" "exec[5][1]" "exec[6][2]" "judge[0][0]" "judge[1][1]" "judge[2][0]" "judge[3][1]" "judge[4][0]" "judge[5][1]" "judge[6][2]" "judge_correctness[0][0]" "judge_correctness[1][1]" "judge_correctness[2][0]" "judge_correctness[3][1]" "judge_correctness[4][0]" "judge_correctness[5][1]" "judge_correctness[6][2]" "judge_ratio[0][0]" "judge_ratio[1][1]" "judge_ratio[2][0]" "judge_ratio[3][1]" "judge_ratio[4][0]" "judge_ratio[5][1]" "judge_ratio[6][2]";
node [ shape=doublecircle, color=green ] "score[0][0]" "score[1][1]" "score[2][0]" "score[3][1]" "score[4][0]" "score[5][1]" "score[6][2]";
source_files -> compile [ label="s" ];
compile -> "exec[0][0]" [ label="c(s)" ];
"generator[0]" -> "exec[0][0]" [ label="g[0]" ];
"method[0]" -> "exec[0][0]" [ label="m[0]" ];
"generator[0]" -> "compress[0][0]" [ label="g[0]" ];
"method[0]" -> "compress[0][0]" [ label="m[0]" ];
"exec[0][0]" -> "extract[0][0]" [ label="e(c(s), g[0], m[0])" ];
"method[0]" -> "extract[0][0]" [ lable="m[0]" ]
"extract[0][0]" -> "judge_correctness[0][0]" [ label="u(e(c(s), g[0], m[0]), m[0])" ];
"generator[0]" -> "judge_correctness[0][0]" [ label="g[0]" ];
"exec[0][0]" -> "judge_ratio[0][0]" [ label="e(c(s), g[0], m[0])" ];
"compress[0][0]" -> "judge_ratio[0][0]" [ label="z(g[0], m[0])" ];
"judge_correctness[0][0]" -> "judge[0][0]" [ label="jc(u(e(c(s), g[0], m[0]), g[0], m[0])" ];
"judge_ratio[0][0]" -> "judge[0][0]" [ label="jr(e(c(s), g[0], m[0]), z(g[0], m[0]))" ];
"judge[0][0]" -> "score[0][0]" [ label="j(jc(u(e(c(s), g[0], m[0]), g[0], m[0]), jr(e(c(s), g[0], m[0]), z(g[0], m[0])))" ]
compile -> "exec[1][1]" [ label="c(s)" ];
"generator[1]" -> "exec[1][1]" [ label="g[1]" ];
"method[1]" -> "exec[1][1]" [ label="m[1]" ];
"generator[1]" -> "compress[1][1]" [ label="g[1]" ];
"method[1]" -> "compress[1][1]" [ label="m[1]" ];
"exec[1][1]" -> "extract[1][1]" [ label="e(c(s), g[1], m[1])" ];
"method[1]" -> "extract[1][1]" [ lable="m[1]" ]
"extract[1][1]" -> "judge_correctness[1][1]" [ label="u(e(c(s), g[1], m[1]), m[1])" ];
"generator[1]" -> "judge_correctness[1][1]" [ label="g[1]" ];
"exec[1][1]" -> "judge_ratio[1][1]" [ label="e(c(s), g[1], m[1])" ];
"compress[1][1]" -> "judge_ratio[1][1]" [ label="z(g[1], m[1])" ];
"judge_correctness[1][1]" -> "judge[1][1]" [ label="jc(u(e(c(s), g[1], m[1]), g[1], m[1])" ];
"judge_ratio[1][1]" -> "judge[1][1]" [ label="jr(e(c(s), g[1], m[1]), z(g[1], m[1]))" ];
"judge[1][1]" -> "score[1][1]" [ label="j(jc(u(e(c(s), g[1], m[1]), g[1], m[1]), jr(e(c(s), g[1], m[1]), z(g[1], m[1])))" ]
compile -> "exec[2][0]" [ label="c(s)" ];
"generator[2]" -> "exec[2][0]" [ label="g[2]" ];
"method[0]" -> "exec[2][0]" [ label="m[0]" ];
"generator[2]" -> "compress[2][0]" [ label="g[2]" ];
"method[0]" -> "compress[2][0]" [ label="m[0]" ];
"exec[2][0]" -> "extract[2][0]" [ label="e(c(s), g[2], m[0])" ];
"method[0]" -> "extract[2][0]" [ lable="m[0]" ]
"extract[2][0]" -> "judge_correctness[2][0]" [ label="u(e(c(s), g[2], m[0]), m[0])" ];
"generator[2]" -> "judge_correctness[2][0]" [ label="g[2]" ];
"exec[2][0]" -> "judge_ratio[2][0]" [ label="e(c(s), g[2], m[0])" ];
"compress[2][0]" -> "judge_ratio[2][0]" [ label="z(g[2], m[0])" ];
"judge_correctness[2][0]" -> "judge[2][0]" [ label="jc(u(e(c(s), g[2], m[0]), g[2], m[0])" ];
"judge_ratio[2][0]" -> "judge[2][0]" [ label="jr(e(c(s), g[2], m[0]), z(g[2], m[0]))" ];
"judge[2][0]" -> "score[2][0]" [ label="j(jc(u(e(c(s), g[2], m[0]), g[2], m[0]), jr(e(c(s), g[2], m[0]), z(g[2], m[0])))" ]
compile -> "exec[3][1]" [ label="c(s)" ];
"generator[3]" -> "exec[3][1]" [ label="g[3]" ];
"method[1]" -> "exec[3][1]" [ label="m[1]" ];
"generator[3]" -> "compress[3][1]" [ label="g[3]" ];
"method[1]" -> "compress[3][1]" [ label="m[1]" ];
"exec[3][1]" -> "extract[3][1]" [ label="e(c(s), g[3], m[1])" ];
"method[1]" -> "extract[3][1]" [ lable="m[1]" ]
"extract[3][1]" -> "judge_correctness[3][1]" [ label="u(e(c(s), g[3], m[1]), m[1])" ];
"generator[3]" -> "judge_correctness[3][1]" [ label="g[3]" ];
"exec[3][1]" -> "judge_ratio[3][1]" [ label="e(c(s), g[3], m[1])" ];
"compress[3][1]" -> "judge_ratio[3][1]" [ label="z(g[3], m[1])" ];
"judge_correctness[3][1]" -> "judge[3][1]" [ label="jc(u(e(c(s), g[3], m[1]), g[3], m[1])" ];
"judge_ratio[3][1]" -> "judge[3][1]" [ label="jr(e(c(s), g[3], m[1]), z(g[3], m[1]))" ];
"judge[3][1]" -> "score[3][1]" [ label="j(jc(u(e(c(s), g[3], m[1]), g[3], m[1]), jr(e(c(s), g[3], m[1]), z(g[3], m[1])))" ]
compile -> "exec[4][0]" [ label="c(s)" ];
"generator[4]" -> "exec[4][0]" [ label="g[4]" ];
"method[0]" -> "exec[4][0]" [ label="m[0]" ];
"generator[4]" -> "compress[4][0]" [ label="g[4]" ];
"method[0]" -> "compress[4][0]" [ label="m[0]" ];
"exec[4][0]" -> "extract[4][0]" [ label="e(c(s), g[4], m[0])" ];
"method[0]" -> "extract[4][0]" [ lable="m[0]" ]
"extract[4][0]" -> "judge_correctness[4][0]" [ label="u(e(c(s), g[4], m[0]), m[0])" ];
"generator[4]" -> "judge_correctness[4][0]" [ label="g[4]" ];
"exec[4][0]" -> "judge_ratio[4][0]" [ label="e(c(s), g[4], m[0])" ];
"compress[4][0]" -> "judge_ratio[4][0]" [ label="z(g[4], m[0])" ];
"judge_correctness[4][0]" -> "judge[4][0]" [ label="jc(u(e(c(s), g[4], m[0]), g[4], m[0])" ];
"judge_ratio[4][0]" -> "judge[4][0]" [ label="jr(e(c(s), g[4], m[0]), z(g[4], m[0]))" ];
"judge[4][0]" -> "score[4][0]" [ label="j(jc(u(e(c(s), g[4], m[0]), g[4], m[0]), jr(e(c(s), g[4], m[0]), z(g[4], m[0])))" ]
compile -> "exec[5][1]" [ label="c(s)" ];
"generator[5]" -> "exec[5][1]" [ label="g[5]" ];
"method[1]" -> "exec[5][1]" [ label="m[1]" ];
"generator[5]" -> "compress[5][1]" [ label="g[5]" ];
"method[1]" -> "compress[5][1]" [ label="m[1]" ];
"exec[5][1]" -> "extract[5][1]" [ label="e(c(s), g[5], m[1])" ];
"method[1]" -> "extract[5][1]" [ lable="m[1]" ]
"extract[5][1]" -> "judge_correctness[5][1]" [ label="u(e(c(s), g[5], m[1]), m[1])" ];
"generator[5]" -> "judge_correctness[5][1]" [ label="g[5]" ];
"exec[5][1]" -> "judge_ratio[5][1]" [ label="e(c(s), g[5], m[1])" ];
"compress[5][1]" -> "judge_ratio[5][1]" [ label="z(g[5], m[1])" ];
"judge_correctness[5][1]" -> "judge[5][1]" [ label="jc(u(e(c(s), g[5], m[1]), g[5], m[1])" ];
"judge_ratio[5][1]" -> "judge[5][1]" [ label="jr(e(c(s), g[5], m[1]), z(g[5], m[1]))" ];
"judge[5][1]" -> "score[5][1]" [ label="j(jc(u(e(c(s), g[5], m[1]), g[5], m[1]), jr(e(c(s), g[5], m[1]), z(g[5], m[1])))" ]
compile -> "exec[6][2]" [ label="c(s)" ];
"generator[6]" -> "exec[6][2]" [ label="g[6]" ];
"method[2]" -> "exec[6][2]" [ label="m[2]" ];
"generator[6]" -> "compress[6][2]" [ label="g[6]" ];
"method[2]" -> "compress[6][2]" [ label="m[2]" ];
"exec[6][2]" -> "extract[6][2]" [ label="e(c(s), g[6], m[2])" ];
"method[2]" -> "extract[6][2]" [ lable="m[2]" ]
"extract[6][2]" -> "judge_correctness[6][2]" [ label="u(e(c(s), g[6], m[2]), m[2])" ];
"generator[6]" -> "judge_correctness[6][2]" [ label="g[6]" ];
"exec[6][2]" -> "judge_ratio[6][2]" [ label="e(c(s), g[6], m[2])" ];
"compress[6][2]" -> "judge_ratio[6][2]" [ label="z(g[6], m[2])" ];
"judge_correctness[6][2]" -> "judge[6][2]" [ label="jc(u(e(c(s), g[6], m[2]), g[6], m[2])" ];
"judge_ratio[6][2]" -> "judge[6][2]" [ label="jr(e(c(s), g[6], m[2]), z(g[6], m[2]))" ];
"judge[6][2]" -> "score[6][2]" [ label="j(jc(u(e(c(s), g[6], m[2]), g[6], m[2]), jr(e(c(s), g[6], m[2]), z(g[6], m[2])))" ]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment