svg/plot/m-bgraph_grayscale.svg

<svg xmlns="http://www.w3.org/2000/svg" width="1298" height="760" viewBox="150 127 1298 760">
<!-- Plot data obtained via command "pmGenerator -c -n -s CCCCCpqCNrNsrtCCtpCsp <two hyphens>plot -s -x 200 -o data/m-plot_data_x200.txt -d" ; repository at https://github.com/xamidi/pmGenerator -->
<style>
<![CDATA[text{filter:drop-shadow(0px -2px 6px #fff)}.B{font-family:Arial}.C{font-size:17px}.D{stroke-opacity:1}.G{text-anchor:middle}.H{text-anchor:end}.I{stroke-width:2}.J{stroke-dasharray:4 3}.K{font-style:italic}]]>
</style>
<defs>
<linearGradient id="A">
<stop offset="0%" stop-color="#e1e1e1"/><!-- relative luminance: 0.7529422168 (instead of #c0c0c0) -->
<stop offset="5%" stop-color="#e1e1e1"/>
<stop offset="28%" stop-color="#bcbcbc"/><!-- relative luminance: 0.502886458 (instead of #808080) -->
<stop offset="38%" stop-color="#bcbcbc"/>
<stop offset="61%" stop-color="#898989"/><!-- relative luminance: 0.2501582847 (instead of #404040) -->
<stop offset="71%" stop-color="#898989"/>
<stop offset="95%" stop-color="#000"/>
</linearGradient>
</defs>
<text x="296" y="161.45" font-weight="bold" class="B C">m: Amount of minimal condensed detachment proofs w.r.t symbolic conclusion lengths</text>
<text x="1310" y="206.45" class="B C">proof length 63</text>
<circle cx="1287" cy="200.5" r="4.5" fill="#e1e1e1"/>
<text x="1310" y="234.45" class="B C">proof length 65</text>
<circle cx="1287" cy="228.5" r="4.5" fill="#bcbcbc"/>
<text x="1310" y="262.45" class="B C">proof length 67</text>
<circle cx="1287" cy="256.5" r="4.5" fill="#898989"/>
<text x="1310" y="290.45" class="B C">proof length 69</text>
<circle cx="1287" cy="284.5" r="4.5" fill="#000"/>
<text x="1310" y="318.45" class="B C">averages</text>
<path fill="none" stroke="url(#A)" d="M1270,312.5L1304,312.5001" class="D I"/>
<text x="1310" y="346.45" class="B C">medians</text>
<path fill="none" stroke="url(#A)" d="M1270,340.5L1304,340.5001" class="D I J"/>
<path fill="#ccc" d="M296 192h1v622h-1zm239 0h1v622h-1zm239 0h1v622h-1zm239 0h1v622h-1zm239 0h1v622h-1z"/>
<path fill="#ebebeb" d="M416 192h1v622h-1zm239 0h1v622h-1zm239 0h1v622h-1zm239 0h1v622h-1z"/>
<path fill="#ccc" d="M296 813h957v1H296zm0-207h957v1H296zm0-207h957v1H296zm0-207h957v1H296z"/>
<path fill="#ebebeb" d="M296 710h957v1H296zm0-207h957v1H296zm0-207h957v1H296z"/>
<g fill="#333">
<path d="M296 192h1v622h-1z"/>
<path d="M296 813h957v1H296z"/>
</g>
<g fill="none" class="I D">
<path stroke="#e1e1e1" d="M608.013 813.5v-621"/>
<path stroke="#bcbcbc" d="M617.716 813.5v-621"/>
<path stroke="#898989" d="M627.563 813.5v-621"/>
<path stroke="#000" d="M637.41 813.5v-621"/>
<g class="J">
<path stroke="#e1e1e1" d="M583.3 813.5v-621"/>
<path stroke="#bcbcbc" d="M592.86 813.5v-621"/>
<path stroke="#898989" d="M602.42 813.5v-621"/>
<path stroke="#000" d="M607.2 813.5v-621"/>
</g>
</g>
<g fill="#e1e1e1">
<circle cx="301.28" cy="813.5" r="4.5"/>
<circle cx="306.06" cy="813.5" r="4.5"/>
<circle cx="310.84" cy="813.5" r="4.5"/>
<circle cx="315.62" cy="813.5" r="4.5"/>
<circle cx="320.4" cy="813.5" r="4.5"/>
<circle cx="325.18" cy="813.498" r="4.5"/>
<circle cx="329.96" cy="813.498" r="4.5"/>
<circle cx="334.74" cy="813.498" r="4.5"/>
<circle cx="339.52" cy="813.496" r="4.5"/>
<circle cx="344.3" cy="813.498" r="4.5"/>
<circle cx="349.08" cy="813.49" r="4.5"/>
<circle cx="353.86" cy="813.475" r="4.5"/>
<circle cx="358.64" cy="813.44" r="4.5"/>
<circle cx="363.42" cy="813.471" r="4.5"/>
<circle cx="368.2" cy="813.407" r="4.5"/>
<circle cx="372.98" cy="813.403" r="4.5"/>
<circle cx="377.76" cy="813.322" r="4.5"/>
<circle cx="382.54" cy="813.256" r="4.5"/>
<circle cx="387.32" cy="813.115" r="4.5"/>
<circle cx="392.1" cy="813.063" r="4.5"/>
<circle cx="396.88" cy="812.796" r="4.5"/>
<circle cx="401.66" cy="812.546" r="4.5"/>
<circle cx="406.44" cy="812.272" r="4.5"/>
<circle cx="411.22" cy="811.933" r="4.5"/>
<circle cx="416" cy="811.264" r="4.5"/>
<circle cx="420.78" cy="810.683" r="4.5"/>
<circle cx="425.56" cy="810.292" r="4.5"/>
<circle cx="430.34" cy="809.172" r="4.5"/>
<circle cx="435.12" cy="807.559" r="4.5"/>
<circle cx="439.9" cy="806.462" r="4.5"/>
<circle cx="444.68" cy="804.926" r="4.5"/>
<circle cx="449.46" cy="801.39" r="4.5"/>
<circle cx="454.24" cy="800.088" r="4.5"/>
<circle cx="459.02" cy="797.435" r="4.5"/>
<circle cx="463.8" cy="792.628" r="4.5"/>
<circle cx="468.58" cy="788.333" r="4.5"/>
<circle cx="473.36" cy="785.594" r="4.5"/>
<circle cx="478.14" cy="778.531" r="4.5"/>
<circle cx="482.92" cy="771.756" r="4.5"/>
<circle cx="487.7" cy="767.378" r="4.5"/>
<circle cx="492.48" cy="761.721" r="4.5"/>
<circle cx="497.26" cy="750.408" r="4.5"/>
<circle cx="502.04" cy="744.762" r="4.5"/>
<circle cx="506.82" cy="741.164" r="4.5"/>
<circle cx="511.6" cy="728.721" r="4.5"/>
<circle cx="516.38" cy="722.532" r="4.5"/>
<circle cx="521.16" cy="721.257" r="4.5"/>
<circle cx="525.94" cy="711.511" r="4.5"/>
<circle cx="530.72" cy="700.383" r="4.5"/>
<circle cx="535.5" cy="702.846" r="4.5"/>
<circle cx="540.28" cy="699.801" r="4.5"/>
<circle cx="545.06" cy="689.197" r="4.5"/>
<circle cx="549.84" cy="688.83" r="4.5"/>
<circle cx="554.62" cy="696.675" r="4.5"/>
<circle cx="559.4" cy="686.096" r="4.5"/>
<circle cx="564.18" cy="686.77" r="4.5"/>
<circle cx="568.96" cy="695.255" r="4.5"/>
<circle cx="573.74" cy="694.63" r="4.5"/>
<circle cx="578.52" cy="683.732" r="4.5"/>
<circle cx="583.3" cy="697.733" r="4.5"/>
<circle cx="588.08" cy="705.562" r="4.5"/>
<circle cx="592.86" cy="698.47" r="4.5"/>
<circle cx="597.64" cy="705.808" r="4.5"/>
<circle cx="602.42" cy="719.572" r="4.5"/>
<circle cx="607.2" cy="712.614" r="4.5"/>
<circle cx="611.98" cy="711.207" r="4.5"/>
<circle cx="616.76" cy="728.963" r="4.5"/>
<circle cx="621.54" cy="734.832" r="4.5"/>
<circle cx="626.32" cy="729.444" r="4.5"/>
<circle cx="631.1" cy="735.169" r="4.5"/>
<circle cx="635.88" cy="750.166" r="4.5"/>
<circle cx="640.66" cy="744.906" r="4.5"/>
<circle cx="645.44" cy="746.79" r="4.5"/>
<circle cx="650.22" cy="758.028" r="4.5"/>
<circle cx="655" cy="764.188" r="4.5"/>
<circle cx="659.78" cy="758.357" r="4.5"/>
<circle cx="664.56" cy="766.942" r="4.5"/>
<circle cx="669.34" cy="772.597" r="4.5"/>
<circle cx="674.12" cy="774.685" r="4.5"/>
<circle cx="678.9" cy="772.456" r="4.5"/>
<circle cx="683.68" cy="781.053" r="4.5"/>
<circle cx="688.46" cy="780.622" r="4.5"/>
<circle cx="693.24" cy="784.512" r="4.5"/>
<circle cx="698.02" cy="782.8" r="4.5"/>
<circle cx="702.8" cy="788.811" r="4.5"/>
<circle cx="707.58" cy="784.926" r="4.5"/>
<circle cx="712.36" cy="790.937" r="4.5"/>
<circle cx="717.14" cy="788.915" r="4.5"/>
<circle cx="721.92" cy="793.173" r="4.5"/>
<circle cx="726.7" cy="789.709" r="4.5"/>
<circle cx="731.48" cy="795.752" r="4.5"/>
<circle cx="736.26" cy="792.022" r="4.5"/>
<circle cx="741.04" cy="796.975" r="4.5"/>
<circle cx="745.82" cy="793.355" r="4.5"/>
<circle cx="750.6" cy="798.495" r="4.5"/>
<circle cx="755.38" cy="795.162" r="4.5"/>
<circle cx="760.16" cy="799.078" r="4.5"/>
<circle cx="764.94" cy="795.317" r="4.5"/>
<circle cx="769.72" cy="800.536" r="4.5"/>
<circle cx="774.5" cy="796.739" r="4.5"/>
<circle cx="779.28" cy="801.082" r="4.5"/>
<circle cx="784.06" cy="797.3" r="4.5"/>
<circle cx="788.84" cy="802.084" r="4.5"/>
<circle cx="793.62" cy="798.435" r="4.5"/>
<circle cx="798.4" cy="802.926" r="4.5"/>
<circle cx="803.18" cy="799.316" r="4.5"/>
<circle cx="807.96" cy="803.897" r="4.5"/>
<circle cx="812.74" cy="801.049" r="4.5"/>
<circle cx="817.52" cy="804.456" r="4.5"/>
<circle cx="822.3" cy="801.109" r="4.5"/>
<circle cx="827.08" cy="805.179" r="4.5"/>
<circle cx="831.86" cy="801.668" r="4.5"/>
<circle cx="836.64" cy="806.015" r="4.5"/>
<circle cx="841.42" cy="803.276" r="4.5"/>
<circle cx="846.2" cy="806.866" r="4.5"/>
<circle cx="850.98" cy="803.657" r="4.5"/>
<circle cx="855.76" cy="807.46" r="4.5"/>
<circle cx="860.54" cy="804.396" r="4.5"/>
<circle cx="865.32" cy="807.954" r="4.5"/>
<circle cx="870.1" cy="805.4" r="4.5"/>
<circle cx="874.88" cy="808.226" r="4.5"/>
<circle cx="879.66" cy="806.464" r="4.5"/>
<circle cx="884.44" cy="809.288" r="4.5"/>
<circle cx="889.22" cy="806.433" r="4.5"/>
<circle cx="894" cy="809.333" r="4.5"/>
<circle cx="898.78" cy="807.224" r="4.5"/>
<circle cx="903.56" cy="809.938" r="4.5"/>
<circle cx="908.34" cy="808.112" r="4.5"/>
<circle cx="913.12" cy="810.267" r="4.5"/>
<circle cx="917.9" cy="808.484" r="4.5"/>
<circle cx="922.68" cy="810.72" r="4.5"/>
<circle cx="927.46" cy="808.799" r="4.5"/>
<circle cx="932.24" cy="810.782" r="4.5"/>
<circle cx="937.02" cy="809.221" r="4.5"/>
<circle cx="941.8" cy="811.25" r="4.5"/>
<circle cx="946.58" cy="809.946" r="4.5"/>
<circle cx="951.36" cy="811.519" r="4.5"/>
<circle cx="956.14" cy="810.219" r="4.5"/>
<circle cx="960.92" cy="811.596" r="4.5"/>
<circle cx="965.7" cy="810.385" r="4.5"/>
<circle cx="970.48" cy="811.736" r="4.5"/>
<circle cx="975.26" cy="810.718" r="4.5"/>
<circle cx="980.04" cy="811.997" r="4.5"/>
<circle cx="984.82" cy="811.227" r="4.5"/>
<circle cx="989.6" cy="812.078" r="4.5"/>
<circle cx="994.38" cy="811.233" r="4.5"/>
<circle cx="999.16" cy="812.359" r="4.5"/>
<circle cx="1003.94" cy="811.442" r="4.5"/>
<circle cx="1008.72" cy="812.324" r="4.5"/>
<circle cx="1013.5" cy="811.74" r="4.5"/>
<circle cx="1018.28" cy="812.382" r="4.5"/>
<circle cx="1023.06" cy="811.811" r="4.5"/>
<circle cx="1027.84" cy="812.631" r="4.5"/>
<circle cx="1032.62" cy="811.927" r="4.5"/>
<circle cx="1037.4" cy="812.705" r="4.5"/>
<circle cx="1042.18" cy="812.119" r="4.5"/>
<circle cx="1046.96" cy="812.74" r="4.5"/>
<circle cx="1051.74" cy="812.157" r="4.5"/>
<circle cx="1056.52" cy="812.809" r="4.5"/>
<circle cx="1061.3" cy="812.144" r="4.5"/>
<circle cx="1066.08" cy="812.765" r="4.5"/>
<circle cx="1070.86" cy="812.399" r="4.5"/>
<circle cx="1075.64" cy="812.804" r="4.5"/>
<circle cx="1080.42" cy="812.333" r="4.5"/>
<circle cx="1085.2" cy="812.943" r="4.5"/>
<circle cx="1089.98" cy="812.482" r="4.5"/>
<circle cx="1094.76" cy="812.964" r="4.5"/>
<circle cx="1099.54" cy="812.583" r="4.5"/>
<circle cx="1104.32" cy="812.954" r="4.5"/>
<circle cx="1109.1" cy="812.691" r="4.5"/>
<circle cx="1113.88" cy="813.034" r="4.5"/>
<circle cx="1118.66" cy="812.614" r="4.5"/>
<circle cx="1123.44" cy="813.003" r="4.5"/>
<circle cx="1128.22" cy="812.728" r="4.5"/>
<circle cx="1133" cy="813.028" r="4.5"/>
<circle cx="1137.78" cy="812.612" r="4.5"/>
<circle cx="1142.56" cy="813.084" r="4.5"/>
<circle cx="1147.34" cy="812.753" r="4.5"/>
<circle cx="1152.12" cy="813.111" r="4.5"/>
<circle cx="1156.9" cy="812.848" r="4.5"/>
<circle cx="1161.68" cy="813.144" r="4.5"/>
<circle cx="1166.46" cy="812.889" r="4.5"/>
<circle cx="1171.24" cy="813.218" r="4.5"/>
<circle cx="1176.02" cy="812.856" r="4.5"/>
<circle cx="1180.8" cy="813.208" r="4.5"/>
<circle cx="1185.58" cy="812.978" r="4.5"/>
<circle cx="1190.36" cy="813.196" r="4.5"/>
<circle cx="1195.14" cy="812.945" r="4.5"/>
<circle cx="1199.92" cy="813.218" r="4.5"/>
<circle cx="1204.7" cy="813.036" r="4.5"/>
<circle cx="1209.48" cy="813.214" r="4.5"/>
<circle cx="1214.26" cy="812.972" r="4.5"/>
<circle cx="1219.04" cy="813.32" r="4.5"/>
<circle cx="1223.82" cy="813.051" r="4.5"/>
<circle cx="1228.6" cy="813.31" r="4.5"/>
<circle cx="1233.38" cy="813.055" r="4.5"/>
<circle cx="1238.16" cy="813.31" r="4.5"/>
<circle cx="1242.94" cy="813.173" r="4.5"/>
<circle cx="1247.72" cy="813.301" r="4.5"/>
<circle cx="1252.5" cy="813.092" r="4.5"/>
</g>
<g fill="#bcbcbc">
<circle cx="301.28" cy="813.5" r="4.5"/>
<circle cx="306.06" cy="813.5" r="4.5"/>
<circle cx="310.84" cy="813.5" r="4.5"/>
<circle cx="315.62" cy="813.5" r="4.5"/>
<circle cx="320.4" cy="813.5" r="4.5"/>
<circle cx="325.18" cy="813.5" r="4.5"/>
<circle cx="329.96" cy="813.5" r="4.5"/>
<circle cx="334.74" cy="813.498" r="4.5"/>
<circle cx="339.52" cy="813.494" r="4.5"/>
<circle cx="344.3" cy="813.498" r="4.5"/>
<circle cx="349.08" cy="813.477" r="4.5"/>
<circle cx="353.86" cy="813.488" r="4.5"/>
<circle cx="358.64" cy="813.448" r="4.5"/>
<circle cx="363.42" cy="813.473" r="4.5"/>
<circle cx="368.2" cy="813.409" r="4.5"/>
<circle cx="372.98" cy="813.394" r="4.5"/>
<circle cx="377.76" cy="813.299" r="4.5"/>
<circle cx="382.54" cy="813.233" r="4.5"/>
<circle cx="387.32" cy="813.111" r="4.5"/>
<circle cx="392.1" cy="812.951" r="4.5"/>
<circle cx="396.88" cy="812.695" r="4.5"/>
<circle cx="401.66" cy="812.426" r="4.5"/>
<circle cx="406.44" cy="812.09" r="4.5"/>
<circle cx="411.22" cy="811.645" r="4.5"/>
<circle cx="416" cy="811.101" r="4.5"/>
<circle cx="420.78" cy="810.142" r="4.5"/>
<circle cx="425.56" cy="809.439" r="4.5"/>
<circle cx="430.34" cy="808.17" r="4.5"/>
<circle cx="435.12" cy="806.346" r="4.5"/>
<circle cx="439.9" cy="804.613" r="4.5"/>
<circle cx="444.68" cy="803.314" r="4.5"/>
<circle cx="449.46" cy="799.341" r="4.5"/>
<circle cx="454.24" cy="796.025" r="4.5"/>
<circle cx="459.02" cy="793.191" r="4.5"/>
<circle cx="463.8" cy="788.184" r="4.5"/>
<circle cx="468.58" cy="780.084" r="4.5"/>
<circle cx="473.36" cy="777.174" r="4.5"/>
<circle cx="478.14" cy="770.254" r="4.5"/>
<circle cx="482.92" cy="759.003" r="4.5"/>
<circle cx="487.7" cy="750.386" r="4.5"/>
<circle cx="492.48" cy="744.002" r="4.5"/>
<circle cx="497.26" cy="729.934" r="4.5"/>
<circle cx="502.04" cy="716.351" r="4.5"/>
<circle cx="506.82" cy="712.792" r="4.5"/>
<circle cx="511.6" cy="699.033" r="4.5"/>
<circle cx="516.38" cy="681.548" r="4.5"/>
<circle cx="521.16" cy="674.651" r="4.5"/>
<circle cx="525.94" cy="668.229" r="4.5"/>
<circle cx="530.72" cy="647.616" r="4.5"/>
<circle cx="535.5" cy="642.547" r="4.5"/>
<circle cx="540.28" cy="640.934" r="4.5"/>
<circle cx="545.06" cy="626.734" r="4.5"/>
<circle cx="549.84" cy="612.936" r="4.5"/>
<circle cx="554.62" cy="625.064" r="4.5"/>
<circle cx="559.4" cy="618.703" r="4.5"/>
<circle cx="564.18" cy="607.332" r="4.5"/>
<circle cx="568.96" cy="614.31" r="4.5"/>
<circle cx="573.74" cy="620.584" r="4.5"/>
<circle cx="578.52" cy="607.334" r="4.5"/>
<circle cx="583.3" cy="612.894" r="4.5"/>
<circle cx="588.08" cy="632.064" r="4.5"/>
<circle cx="592.86" cy="629.258" r="4.5"/>
<circle cx="597.64" cy="622.385" r="4.5"/>
<circle cx="602.42" cy="641.856" r="4.5"/>
<circle cx="607.2" cy="649.715" r="4.5"/>
<circle cx="611.98" cy="638.308" r="4.5"/>
<circle cx="616.76" cy="655.234" r="4.5"/>
<circle cx="621.54" cy="676.466" r="4.5"/>
<circle cx="626.32" cy="669.699" r="4.5"/>
<circle cx="631.1" cy="668.6" r="4.5"/>
<circle cx="635.88" cy="694.268" r="4.5"/>
<circle cx="640.66" cy="700" r="4.5"/>
<circle cx="645.44" cy="693.759" r="4.5"/>
<circle cx="650.22" cy="706.429" r="4.5"/>
<circle cx="655" cy="724.076" r="4.5"/>
<circle cx="659.78" cy="718.588" r="4.5"/>
<circle cx="664.56" cy="724.165" r="4.5"/>
<circle cx="669.34" cy="737.897" r="4.5"/>
<circle cx="674.12" cy="743.474" r="4.5"/>
<circle cx="678.9" cy="738.177" r="4.5"/>
<circle cx="683.68" cy="750.185" r="4.5"/>
<circle cx="688.46" cy="754.731" r="4.5"/>
<circle cx="693.24" cy="759.272" r="4.5"/>
<circle cx="698.02" cy="757.598" r="4.5"/>
<circle cx="702.8" cy="767.83" r="4.5"/>
<circle cx="707.58" cy="763.961" r="4.5"/>
<circle cx="712.36" cy="771.934" r="4.5"/>
<circle cx="717.14" cy="769.848" r="4.5"/>
<circle cx="721.92" cy="778.318" r="4.5"/>
<circle cx="726.7" cy="771.657" r="4.5"/>
<circle cx="731.48" cy="780.322" r="4.5"/>
<circle cx="736.26" cy="775.977" r="4.5"/>
<circle cx="741.04" cy="783.916" r="4.5"/>
<circle cx="745.82" cy="777.927" r="4.5"/>
<circle cx="750.6" cy="785.716" r="4.5"/>
<circle cx="755.38" cy="780.78" r="4.5"/>
<circle cx="760.16" cy="787.646" r="4.5"/>
<circle cx="764.94" cy="781.79" r="4.5"/>
<circle cx="769.72" cy="790.235" r="4.5"/>
<circle cx="774.5" cy="783.195" r="4.5"/>
<circle cx="779.28" cy="791.049" r="4.5"/>
<circle cx="784.06" cy="784.81" r="4.5"/>
<circle cx="788.84" cy="792.846" r="4.5"/>
<circle cx="793.62" cy="787.081" r="4.5"/>
<circle cx="798.4" cy="794.673" r="4.5"/>
<circle cx="803.18" cy="788.292" r="4.5"/>
<circle cx="807.96" cy="795.394" r="4.5"/>
<circle cx="812.74" cy="790.515" r="4.5"/>
<circle cx="817.52" cy="796.547" r="4.5"/>
<circle cx="822.3" cy="791.283" r="4.5"/>
<circle cx="827.08" cy="798.174" r="4.5"/>
<circle cx="831.86" cy="791.8" r="4.5"/>
<circle cx="836.64" cy="799.627" r="4.5"/>
<circle cx="841.42" cy="794.09" r="4.5"/>
<circle cx="846.2" cy="800.718" r="4.5"/>
<circle cx="850.98" cy="795.94" r="4.5"/>
<circle cx="855.76" cy="801.798" r="4.5"/>
<circle cx="860.54" cy="797.468" r="4.5"/>
<circle cx="865.32" cy="803.38" r="4.5"/>
<circle cx="870.1" cy="797.863" r="4.5"/>
<circle cx="874.88" cy="803.403" r="4.5"/>
<circle cx="879.66" cy="799.859" r="4.5"/>
<circle cx="884.44" cy="805.408" r="4.5"/>
<circle cx="889.22" cy="800.569" r="4.5"/>
<circle cx="894" cy="805.52" r="4.5"/>
<circle cx="898.78" cy="801.465" r="4.5"/>
<circle cx="903.56" cy="806.296" r="4.5"/>
<circle cx="908.34" cy="803.289" r="4.5"/>
<circle cx="913.12" cy="806.895" r="4.5"/>
<circle cx="917.9" cy="803.806" r="4.5"/>
<circle cx="922.68" cy="807.94" r="4.5"/>
<circle cx="927.46" cy="804.545" r="4.5"/>
<circle cx="932.24" cy="808.18" r="4.5"/>
<circle cx="937.02" cy="805.145" r="4.5"/>
<circle cx="941.8" cy="808.948" r="4.5"/>
<circle cx="946.58" cy="806.514" r="4.5"/>
<circle cx="951.36" cy="809.267" r="4.5"/>
<circle cx="956.14" cy="806.998" r="4.5"/>
<circle cx="960.92" cy="809.863" r="4.5"/>
<circle cx="965.7" cy="807.422" r="4.5"/>
<circle cx="970.48" cy="810.167" r="4.5"/>
<circle cx="975.26" cy="807.901" r="4.5"/>
<circle cx="980.04" cy="810.372" r="4.5"/>
<circle cx="984.82" cy="808.907" r="4.5"/>
<circle cx="989.6" cy="810.65" r="4.5"/>
<circle cx="994.38" cy="808.82" r="4.5"/>
<circle cx="999.16" cy="811.053" r="4.5"/>
<circle cx="1003.94" cy="809.588" r="4.5"/>
<circle cx="1008.72" cy="811.213" r="4.5"/>
<circle cx="1013.5" cy="810.053" r="4.5"/>
<circle cx="1018.28" cy="811.418" r="4.5"/>
<circle cx="1023.06" cy="810.029" r="4.5"/>
<circle cx="1027.84" cy="811.724" r="4.5"/>
<circle cx="1032.62" cy="810.333" r="4.5"/>
<circle cx="1037.4" cy="811.757" r="4.5"/>
<circle cx="1042.18" cy="810.813" r="4.5"/>
<circle cx="1046.96" cy="811.881" r="4.5"/>
<circle cx="1051.74" cy="811.082" r="4.5"/>
<circle cx="1056.52" cy="812.084" r="4.5"/>
<circle cx="1061.3" cy="810.935" r="4.5"/>
<circle cx="1066.08" cy="812.105" r="4.5"/>
<circle cx="1070.86" cy="811.262" r="4.5"/>
<circle cx="1075.64" cy="812.19" r="4.5"/>
<circle cx="1080.42" cy="811.287" r="4.5"/>
<circle cx="1085.2" cy="812.419" r="4.5"/>
<circle cx="1089.98" cy="811.542" r="4.5"/>
<circle cx="1094.76" cy="812.428" r="4.5"/>
<circle cx="1099.54" cy="811.796" r="4.5"/>
<circle cx="1104.32" cy="812.411" r="4.5"/>
<circle cx="1109.1" cy="811.875" r="4.5"/>
<circle cx="1113.88" cy="812.622" r="4.5"/>
<circle cx="1118.66" cy="811.803" r="4.5"/>
<circle cx="1123.44" cy="812.589" r="4.5"/>
<circle cx="1128.22" cy="811.952" r="4.5"/>
<circle cx="1133" cy="812.562" r="4.5"/>
<circle cx="1137.78" cy="811.861" r="4.5"/>
<circle cx="1142.56" cy="812.653" r="4.5"/>
<circle cx="1147.34" cy="812.227" r="4.5"/>
<circle cx="1152.12" cy="812.684" r="4.5"/>
<circle cx="1156.9" cy="812.177" r="4.5"/>
<circle cx="1161.68" cy="812.788" r="4.5"/>
<circle cx="1166.46" cy="812.279" r="4.5"/>
<circle cx="1171.24" cy="812.84" r="4.5"/>
<circle cx="1176.02" cy="812.246" r="4.5"/>
<circle cx="1180.8" cy="812.881" r="4.5"/>
<circle cx="1185.58" cy="812.477" r="4.5"/>
<circle cx="1190.36" cy="812.865" r="4.5"/>
<circle cx="1195.14" cy="812.376" r="4.5"/>
<circle cx="1199.92" cy="812.914" r="4.5"/>
<circle cx="1204.7" cy="812.529" r="4.5"/>
<circle cx="1209.48" cy="812.997" r="4.5"/>
<circle cx="1214.26" cy="812.535" r="4.5"/>
<circle cx="1219.04" cy="812.966" r="4.5"/>
<circle cx="1223.82" cy="812.581" r="4.5"/>
<circle cx="1228.6" cy="813.045" r="4.5"/>
<circle cx="1233.38" cy="812.732" r="4.5"/>
<circle cx="1238.16" cy="813.08" r="4.5"/>
<circle cx="1242.94" cy="812.736" r="4.5"/>
<circle cx="1247.72" cy="813.096" r="4.5"/>
<circle cx="1252.5" cy="812.761" r="4.5"/>
</g>
<g fill="#898989">
<circle cx="301.28" cy="813.5" r="4.5"/>
<circle cx="306.06" cy="813.5" r="4.5"/>
<circle cx="310.84" cy="813.5" r="4.5"/>
<circle cx="315.62" cy="813.5" r="4.5"/>
<circle cx="320.4" cy="813.5" r="4.5"/>
<circle cx="325.18" cy="813.5" r="4.5"/>
<circle cx="329.96" cy="813.5" r="4.5"/>
<circle cx="334.74" cy="813.5" r="4.5"/>
<circle cx="339.52" cy="813.49" r="4.5"/>
<circle cx="344.3" cy="813.498" r="4.5"/>
<circle cx="349.08" cy="813.481" r="4.5"/>
<circle cx="353.86" cy="813.49" r="4.5"/>
<circle cx="358.64" cy="813.452" r="4.5"/>
<circle cx="363.42" cy="813.438" r="4.5"/>
<circle cx="368.2" cy="813.37" r="4.5"/>
<circle cx="372.98" cy="813.376" r="4.5"/>
<circle cx="377.76" cy="813.274" r="4.5"/>
<circle cx="382.54" cy="813.245" r="4.5"/>
<circle cx="387.32" cy="812.968" r="4.5"/>
<circle cx="392.1" cy="812.881" r="4.5"/>
<circle cx="396.88" cy="812.72" r="4.5"/>
<circle cx="401.66" cy="812.248" r="4.5"/>
<circle cx="406.44" cy="811.861" r="4.5"/>
<circle cx="411.22" cy="811.3" r="4.5"/>
<circle cx="416" cy="810.73" r="4.5"/>
<circle cx="420.78" cy="809.569" r="4.5"/>
<circle cx="425.56" cy="808.64" r="4.5"/>
<circle cx="430.34" cy="807.166" r="4.5"/>
<circle cx="435.12" cy="805.247" r="4.5"/>
<circle cx="439.9" cy="802.537" r="4.5"/>
<circle cx="444.68" cy="800.772" r="4.5"/>
<circle cx="449.46" cy="796.785" r="4.5"/>
<circle cx="454.24" cy="791.97" r="4.5"/>
<circle cx="459.02" cy="787.288" r="4.5"/>
<circle cx="463.8" cy="782.839" r="4.5"/>
<circle cx="468.58" cy="772.704" r="4.5"/>
<circle cx="473.36" cy="765.228" r="4.5"/>
<circle cx="478.14" cy="758.535" r="4.5"/>
<circle cx="482.92" cy="743.859" r="4.5"/>
<circle cx="487.7" cy="728.725" r="4.5"/>
<circle cx="492.48" cy="719.878" r="4.5"/>
<circle cx="497.26" cy="705.908" r="4.5"/>
<circle cx="502.04" cy="682.204" r="4.5"/>
<circle cx="506.82" cy="669.376" r="4.5"/>
<circle cx="511.6" cy="656.602" r="4.5"/>
<circle cx="516.38" cy="628.635" r="4.5"/>
<circle cx="521.16" cy="608.001" r="4.5"/>
<circle cx="525.94" cy="605.637" r="4.5"/>
<circle cx="530.72" cy="578.044" r="4.5"/>
<circle cx="535.5" cy="555.251" r="4.5"/>
<circle cx="540.28" cy="550.749" r="4.5"/>
<circle cx="545.06" cy="540.666" r="4.5"/>
<circle cx="549.84" cy="509.369" r="4.5"/>
<circle cx="554.62" cy="509.028" r="4.5"/>
<circle cx="559.4" cy="515.439" r="4.5"/>
<circle cx="564.18" cy="489.516" r="4.5"/>
<circle cx="568.96" cy="480.538" r="4.5"/>
<circle cx="573.74" cy="500.396" r="4.5"/>
<circle cx="578.52" cy="492.609" r="4.5"/>
<circle cx="583.3" cy="475.862" r="4.5"/>
<circle cx="588.08" cy="502.667" r="4.5"/>
<circle cx="592.86" cy="511.046" r="4.5"/>
<circle cx="597.64" cy="493.428" r="4.5"/>
<circle cx="602.42" cy="505.59" r="4.5"/>
<circle cx="607.2" cy="539.19" r="4.5"/>
<circle cx="611.98" cy="527.979" r="4.5"/>
<circle cx="616.76" cy="531.806" r="4.5"/>
<circle cx="621.54" cy="564.564" r="4.5"/>
<circle cx="626.32" cy="573.67" r="4.5"/>
<circle cx="631.1" cy="559.507" r="4.5"/>
<circle cx="635.88" cy="586.431" r="4.5"/>
<circle cx="640.66" cy="616.629" r="4.5"/>
<circle cx="645.44" cy="609.502" r="4.5"/>
<circle cx="650.22" cy="611.478" r="4.5"/>
<circle cx="655" cy="646.563" r="4.5"/>
<circle cx="659.78" cy="652.595" r="4.5"/>
<circle cx="664.56" cy="646.902" r="4.5"/>
<circle cx="669.34" cy="667.426" r="4.5"/>
<circle cx="674.12" cy="687.037" r="4.5"/>
<circle cx="678.9" cy="682.726" r="4.5"/>
<circle cx="683.68" cy="692.515" r="4.5"/>
<circle cx="688.46" cy="706.698" r="4.5"/>
<circle cx="693.24" cy="715.512" r="4.5"/>
<circle cx="698.02" cy="710.149" r="4.5"/>
<circle cx="702.8" cy="726.483" r="4.5"/>
<circle cx="707.58" cy="726.583" r="4.5"/>
<circle cx="712.36" cy="736.699" r="4.5"/>
<circle cx="717.14" cy="733.149" r="4.5"/>
<circle cx="721.92" cy="748.829" r="4.5"/>
<circle cx="726.7" cy="740.373" r="4.5"/>
<circle cx="731.48" cy="753.01" r="4.5"/>
<circle cx="736.26" cy="748.651" r="4.5"/>
<circle cx="741.04" cy="761.098" r="4.5"/>
<circle cx="745.82" cy="750.224" r="4.5"/>
<circle cx="750.6" cy="763.174" r="4.5"/>
<circle cx="755.38" cy="755.521" r="4.5"/>
<circle cx="760.16" cy="767.517" r="4.5"/>
<circle cx="764.94" cy="758.295" r="4.5"/>
<circle cx="769.72" cy="771.117" r="4.5"/>
<circle cx="774.5" cy="759.935" r="4.5"/>
<circle cx="779.28" cy="773.47" r="4.5"/>
<circle cx="784.06" cy="764.155" r="4.5"/>
<circle cx="788.84" cy="776.153" r="4.5"/>
<circle cx="793.62" cy="767.799" r="4.5"/>
<circle cx="798.4" cy="779.85" r="4.5"/>
<circle cx="803.18" cy="767.861" r="4.5"/>
<circle cx="807.96" cy="780.372" r="4.5"/>
<circle cx="812.74" cy="770.941" r="4.5"/>
<circle cx="817.52" cy="783.191" r="4.5"/>
<circle cx="822.3" cy="774.1" r="4.5"/>
<circle cx="827.08" cy="785.284" r="4.5"/>
<circle cx="831.86" cy="775.395" r="4.5"/>
<circle cx="836.64" cy="787.3" r="4.5"/>
<circle cx="841.42" cy="778.453" r="4.5"/>
<circle cx="846.2" cy="789.053" r="4.5"/>
<circle cx="850.98" cy="781.237" r="4.5"/>
<circle cx="855.76" cy="791.85" r="4.5"/>
<circle cx="860.54" cy="783.932" r="4.5"/>
<circle cx="865.32" cy="794.141" r="4.5"/>
<circle cx="870.1" cy="784.657" r="4.5"/>
<circle cx="874.88" cy="794.549" r="4.5"/>
<circle cx="879.66" cy="787.387" r="4.5"/>
<circle cx="884.44" cy="797.236" r="4.5"/>
<circle cx="889.22" cy="789.885" r="4.5"/>
<circle cx="894" cy="798.377" r="4.5"/>
<circle cx="898.78" cy="791.989" r="4.5"/>
<circle cx="903.56" cy="799.952" r="4.5"/>
<circle cx="908.34" cy="793.187" r="4.5"/>
<circle cx="913.12" cy="800.529" r="4.5"/>
<circle cx="917.9" cy="795.031" r="4.5"/>
<circle cx="922.68" cy="802.322" r="4.5"/>
<circle cx="927.46" cy="796.737" r="4.5"/>
<circle cx="932.24" cy="803.212" r="4.5"/>
<circle cx="937.02" cy="797.137" r="4.5"/>
<circle cx="941.8" cy="804.353" r="4.5"/>
<circle cx="946.58" cy="799.766" r="4.5"/>
<circle cx="951.36" cy="804.994" r="4.5"/>
<circle cx="956.14" cy="800.859" r="4.5"/>
<circle cx="960.92" cy="806.131" r="4.5"/>
<circle cx="965.7" cy="801.482" r="4.5"/>
<circle cx="970.48" cy="807.06" r="4.5"/>
<circle cx="975.26" cy="802.349" r="4.5"/>
<circle cx="980.04" cy="807.298" r="4.5"/>
<circle cx="984.82" cy="804.191" r="4.5"/>
<circle cx="989.6" cy="807.795" r="4.5"/>
<circle cx="994.38" cy="804.74" r="4.5"/>
<circle cx="999.16" cy="809.018" r="4.5"/>
<circle cx="1003.94" cy="805.499" r="4.5"/>
<circle cx="1008.72" cy="808.963" r="4.5"/>
<circle cx="1013.5" cy="806.416" r="4.5"/>
<circle cx="1018.28" cy="809.184" r="4.5"/>
<circle cx="1023.06" cy="807.079" r="4.5"/>
<circle cx="1027.84" cy="809.938" r="4.5"/>
<circle cx="1032.62" cy="807.273" r="4.5"/>
<circle cx="1037.4" cy="810.136" r="4.5"/>
<circle cx="1042.18" cy="808.097" r="4.5"/>
<circle cx="1046.96" cy="810.314" r="4.5"/>
<circle cx="1051.74" cy="808.604" r="4.5"/>
<circle cx="1056.52" cy="810.751" r="4.5"/>
<circle cx="1061.3" cy="808.685" r="4.5"/>
<circle cx="1066.08" cy="810.734" r="4.5"/>
<circle cx="1070.86" cy="809.207" r="4.5"/>
<circle cx="1075.64" cy="811.047" r="4.5"/>
<circle cx="1080.42" cy="809.381" r="4.5"/>
<circle cx="1085.2" cy="811.248" r="4.5"/>
<circle cx="1089.98" cy="809.646" r="4.5"/>
<circle cx="1094.76" cy="811.318" r="4.5"/>
<circle cx="1099.54" cy="810.037" r="4.5"/>
<circle cx="1104.32" cy="811.285" r="4.5"/>
<circle cx="1109.1" cy="810.207" r="4.5"/>
<circle cx="1113.88" cy="811.641" r="4.5"/>
<circle cx="1118.66" cy="810.118" r="4.5"/>
<circle cx="1123.44" cy="811.72" r="4.5"/>
<circle cx="1128.22" cy="810.428" r="4.5"/>
<circle cx="1133" cy="811.778" r="4.5"/>
<circle cx="1137.78" cy="810.467" r="4.5"/>
<circle cx="1142.56" cy="811.954" r="4.5"/>
<circle cx="1147.34" cy="810.999" r="4.5"/>
<circle cx="1152.12" cy="811.979" r="4.5"/>
<circle cx="1156.9" cy="811.082" r="4.5"/>
<circle cx="1161.68" cy="812.043" r="4.5"/>
<circle cx="1166.46" cy="811.235" r="4.5"/>
<circle cx="1171.24" cy="812.231" r="4.5"/>
<circle cx="1176.02" cy="811.091" r="4.5"/>
<circle cx="1180.8" cy="812.239" r="4.5"/>
<circle cx="1185.58" cy="811.32" r="4.5"/>
<circle cx="1190.36" cy="812.328" r="4.5"/>
<circle cx="1195.14" cy="811.42" r="4.5"/>
<circle cx="1199.92" cy="812.405" r="4.5"/>
<circle cx="1204.7" cy="811.608" r="4.5"/>
<circle cx="1209.48" cy="812.405" r="4.5"/>
<circle cx="1214.26" cy="811.587" r="4.5"/>
<circle cx="1219.04" cy="812.455" r="4.5"/>
<circle cx="1223.82" cy="811.832" r="4.5"/>
<circle cx="1228.6" cy="812.649" r="4.5"/>
<circle cx="1233.38" cy="811.803" r="4.5"/>
<circle cx="1238.16" cy="812.658" r="4.5"/>
<circle cx="1242.94" cy="812.022" r="4.5"/>
<circle cx="1247.72" cy="812.626" r="4.5"/>
<circle cx="1252.5" cy="811.995" r="4.5"/>
</g>
<g fill="#000">
<circle cx="301.28" cy="813.5" r="4.5"/>
<circle cx="306.06" cy="813.5" r="4.5"/>
<circle cx="310.84" cy="813.5" r="4.5"/>
<circle cx="315.62" cy="813.5" r="4.5"/>
<circle cx="320.4" cy="813.5" r="4.5"/>
<circle cx="325.18" cy="813.5" r="4.5"/>
<circle cx="329.96" cy="813.498" r="4.5"/>
<circle cx="334.74" cy="813.498" r="4.5"/>
<circle cx="339.52" cy="813.496" r="4.5"/>
<circle cx="344.3" cy="813.494" r="4.5"/>
<circle cx="349.08" cy="813.488" r="4.5"/>
<circle cx="353.86" cy="813.49" r="4.5"/>
<circle cx="358.64" cy="813.428" r="4.5"/>
<circle cx="363.42" cy="813.436" r="4.5"/>
<circle cx="368.2" cy="813.384" r="4.5"/>
<circle cx="372.98" cy="813.376" r="4.5"/>
<circle cx="377.76" cy="813.187" r="4.5"/>
<circle cx="382.54" cy="813.146" r="4.5"/>
<circle cx="387.32" cy="813.03" r="4.5"/>
<circle cx="392.1" cy="812.813" r="4.5"/>
<circle cx="396.88" cy="812.589" r="4.5"/>
<circle cx="401.66" cy="812.097" r="4.5"/>
<circle cx="406.44" cy="811.664" r="4.5"/>
<circle cx="411.22" cy="810.877" r="4.5"/>
<circle cx="416" cy="810.42" r="4.5"/>
<circle cx="420.78" cy="808.925" r="4.5"/>
<circle cx="425.56" cy="807.507" r="4.5"/>
<circle cx="430.34" cy="805.777" r="4.5"/>
<circle cx="435.12" cy="804.011" r="4.5"/>
<circle cx="439.9" cy="800.051" r="4.5"/>
<circle cx="444.68" cy="797.561" r="4.5"/>
<circle cx="449.46" cy="793.938" r="4.5"/>
<circle cx="454.24" cy="787.575" r="4.5"/>
<circle cx="459.02" cy="780.262" r="4.5"/>
<circle cx="463.8" cy="775.159" r="4.5"/>
<circle cx="468.58" cy="764.224" r="4.5"/>
<circle cx="473.36" cy="750.427" r="4.5"/>
<circle cx="478.14" cy="741.431" r="4.5"/>
<circle cx="482.92" cy="727.164" r="4.5"/>
<circle cx="487.7" cy="704.664" r="4.5"/>
<circle cx="492.48" cy="688.141" r="4.5"/>
<circle cx="497.26" cy="672.701" r="4.5"/>
<circle cx="502.04" cy="640.371" r="4.5"/>
<circle cx="506.82" cy="614.325" r="4.5"/>
<circle cx="511.6" cy="595.194" r="4.5"/>
<circle cx="516.38" cy="565.574" r="4.5"/>
<circle cx="521.16" cy="523.069" r="4.5"/>
<circle cx="525.94" cy="506.606" r="4.5"/>
<circle cx="530.72" cy="482.637" r="4.5"/>
<circle cx="535.5" cy="437.174" r="4.5"/>
<circle cx="540.28" cy="415.338" r="4.5"/>
<circle cx="545.06" cy="409.446" r="4.5"/>
<circle cx="549.84" cy="364.542" r="4.5"/>
<circle cx="554.62" cy="336.201" r="4.5"/>
<circle cx="559.4" cy="343.353" r="4.5"/>
<circle cx="564.18" cy="322.001" r="4.5"/>
<circle cx="568.96" cy="285.857" r="4.5"/>
<circle cx="573.74" cy="296.714" r="4.5"/>
<circle cx="578.52" cy="311.66" r="4.5"/>
<circle cx="583.3" cy="274.538" r="4.5"/>
<circle cx="588.08" cy="286.207" r="4.5"/>
<circle cx="592.86" cy="311.419" r="4.5"/>
<circle cx="597.64" cy="301.268" r="4.5"/>
<circle cx="602.42" cy="277.608" r="4.5"/>
<circle cx="607.2" cy="335.02" r="4.5"/>
<circle cx="611.98" cy="349.567" r="4.5"/>
<circle cx="616.76" cy="330.952" r="4.5"/>
<circle cx="621.54" cy="362.029" r="4.5"/>
<circle cx="626.32" cy="409.498" r="4.5"/>
<circle cx="631.1" cy="382.091" r="4.5"/>
<circle cx="635.88" cy="398.732" r="4.5"/>
<circle cx="640.66" cy="456.361" r="4.5"/>
<circle cx="645.44" cy="469.379" r="4.5"/>
<circle cx="650.22" cy="454.067" r="4.5"/>
<circle cx="655" cy="495.567" r="4.5"/>
<circle cx="659.78" cy="532.943" r="4.5"/>
<circle cx="664.56" cy="523.762" r="4.5"/>
<circle cx="669.34" cy="533.63" r="4.5"/>
<circle cx="674.12" cy="582.103" r="4.5"/>
<circle cx="678.9" cy="585.906" r="4.5"/>
<circle cx="683.68" cy="587.179" r="4.5"/>
<circle cx="688.46" cy="609.665" r="4.5"/>
<circle cx="693.24" cy="639.119" r="4.5"/>
<circle cx="698.02" cy="630.373" r="4.5"/>
<circle cx="702.8" cy="648.393" r="4.5"/>
<circle cx="707.58" cy="658.828" r="4.5"/>
<circle cx="712.36" cy="677.046" r="4.5"/>
<circle cx="717.14" cy="668.882" r="4.5"/>
<circle cx="721.92" cy="691.844" r="4.5"/>
<circle cx="726.7" cy="686.098" r="4.5"/>
<circle cx="731.48" cy="701.662" r="4.5"/>
<circle cx="736.26" cy="695.649" r="4.5"/>
<circle cx="741.04" cy="718.448" r="4.5"/>
<circle cx="745.82" cy="701.296" r="4.5"/>
<circle cx="750.6" cy="722.573" r="4.5"/>
<circle cx="755.38" cy="712.881" r="4.5"/>
<circle cx="760.16" cy="731.994" r="4.5"/>
<circle cx="764.94" cy="717.4" r="4.5"/>
<circle cx="769.72" cy="737.21" r="4.5"/>
<circle cx="774.5" cy="722.105" r="4.5"/>
<circle cx="779.28" cy="742.522" r="4.5"/>
<circle cx="784.06" cy="727.591" r="4.5"/>
<circle cx="788.84" cy="746.949" r="4.5"/>
<circle cx="793.62" cy="732.066" r="4.5"/>
<circle cx="798.4" cy="751.675" r="4.5"/>
<circle cx="803.18" cy="735.666" r="4.5"/>
<circle cx="807.96" cy="753.689" r="4.5"/>
<circle cx="812.74" cy="738.142" r="4.5"/>
<circle cx="817.52" cy="759.034" r="4.5"/>
<circle cx="822.3" cy="743.004" r="4.5"/>
<circle cx="827.08" cy="762.352" r="4.5"/>
<circle cx="831.86" cy="747.179" r="4.5"/>
<circle cx="836.64" cy="766.596" r="4.5"/>
<circle cx="841.42" cy="750.562" r="4.5"/>
<circle cx="846.2" cy="768.569" r="4.5"/>
<circle cx="850.98" cy="754.691" r="4.5"/>
<circle cx="855.76" cy="773.255" r="4.5"/>
<circle cx="860.54" cy="760.444" r="4.5"/>
<circle cx="865.32" cy="776.186" r="4.5"/>
<circle cx="870.1" cy="761.684" r="4.5"/>
<circle cx="874.88" cy="778.101" r="4.5"/>
<circle cx="879.66" cy="765.221" r="4.5"/>
<circle cx="884.44" cy="782.535" r="4.5"/>
<circle cx="889.22" cy="769.875" r="4.5"/>
<circle cx="894" cy="784.967" r="4.5"/>
<circle cx="898.78" cy="772.882" r="4.5"/>
<circle cx="903.56" cy="787.602" r="4.5"/>
<circle cx="908.34" cy="774.727" r="4.5"/>
<circle cx="913.12" cy="789.084" r="4.5"/>
<circle cx="917.9" cy="778.449" r="4.5"/>
<circle cx="922.68" cy="791.699" r="4.5"/>
<circle cx="927.46" cy="783.054" r="4.5"/>
<circle cx="932.24" cy="794.075" r="4.5"/>
<circle cx="937.02" cy="783.373" r="4.5"/>
<circle cx="941.8" cy="795.505" r="4.5"/>
<circle cx="946.58" cy="786.201" r="4.5"/>
<circle cx="951.36" cy="797.006" r="4.5"/>
<circle cx="956.14" cy="789.445" r="4.5"/>
<circle cx="960.92" cy="798.559" r="4.5"/>
<circle cx="965.7" cy="791.194" r="4.5"/>
<circle cx="970.48" cy="800.701" r="4.5"/>
<circle cx="975.26" cy="792.123" r="4.5"/>
<circle cx="980.04" cy="801.341" r="4.5"/>
<circle cx="984.82" cy="794.884" r="4.5"/>
<circle cx="989.6" cy="802.465" r="4.5"/>
<circle cx="994.38" cy="796.952" r="4.5"/>
<circle cx="999.16" cy="804.133" r="4.5"/>
<circle cx="1003.94" cy="797.644" r="4.5"/>
<circle cx="1008.72" cy="804.715" r="4.5"/>
<circle cx="1013.5" cy="799.066" r="4.5"/>
<circle cx="1018.28" cy="804.818" r="4.5"/>
<circle cx="1023.06" cy="800.741" r="4.5"/>
<circle cx="1027.84" cy="806.263" r="4.5"/>
<circle cx="1032.62" cy="801.645" r="4.5"/>
<circle cx="1037.4" cy="806.826" r="4.5"/>
<circle cx="1042.18" cy="802.616" r="4.5"/>
<circle cx="1046.96" cy="807.145" r="4.5"/>
<circle cx="1051.74" cy="803.659" r="4.5"/>
<circle cx="1056.52" cy="807.894" r="4.5"/>
<circle cx="1061.3" cy="804.125" r="4.5"/>
<circle cx="1066.08" cy="808.184" r="4.5"/>
<circle cx="1070.86" cy="805.259" r="4.5"/>
<circle cx="1075.64" cy="808.635" r="4.5"/>
<circle cx="1080.42" cy="805.766" r="4.5"/>
<circle cx="1085.2" cy="809.091" r="4.5"/>
<circle cx="1089.98" cy="806.327" r="4.5"/>
<circle cx="1094.76" cy="809.343" r="4.5"/>
<circle cx="1099.54" cy="806.532" r="4.5"/>
<circle cx="1104.32" cy="809.314" r="4.5"/>
<circle cx="1109.1" cy="806.909" r="4.5"/>
<circle cx="1113.88" cy="809.867" r="4.5"/>
<circle cx="1118.66" cy="807.319" r="4.5"/>
<circle cx="1123.44" cy="809.927" r="4.5"/>
<circle cx="1128.22" cy="807.745" r="4.5"/>
<circle cx="1133" cy="810.159" r="4.5"/>
<circle cx="1137.78" cy="807.878" r="4.5"/>
<circle cx="1142.56" cy="810.399" r="4.5"/>
<circle cx="1147.34" cy="808.395" r="4.5"/>
<circle cx="1152.12" cy="810.546" r="4.5"/>
<circle cx="1156.9" cy="808.625" r="4.5"/>
<circle cx="1161.68" cy="810.521" r="4.5"/>
<circle cx="1166.46" cy="808.944" r="4.5"/>
<circle cx="1171.24" cy="810.993" r="4.5"/>
<circle cx="1176.02" cy="808.689" r="4.5"/>
<circle cx="1180.8" cy="810.995" r="4.5"/>
<circle cx="1185.58" cy="809.306" r="4.5"/>
<circle cx="1190.36" cy="811.184" r="4.5"/>
<circle cx="1195.14" cy="809.67" r="4.5"/>
<circle cx="1199.92" cy="811.355" r="4.5"/>
<circle cx="1204.7" cy="809.849" r="4.5"/>
<circle cx="1209.48" cy="811.44" r="4.5"/>
<circle cx="1214.26" cy="809.832" r="4.5"/>
<circle cx="1219.04" cy="811.484" r="4.5"/>
<circle cx="1223.82" cy="810.215" r="4.5"/>
<circle cx="1228.6" cy="811.782" r="4.5"/>
<circle cx="1233.38" cy="810.138" r="4.5"/>
<circle cx="1238.16" cy="811.732" r="4.5"/>
<circle cx="1242.94" cy="810.679" r="4.5"/>
<circle cx="1247.72" cy="811.902" r="4.5"/>
<circle cx="1252.5" cy="810.619" r="4.5"/>
</g>
<text x="296.5" y="839.45" class="B C G">0</text>
<text x="535.5" y="839.45" class="B C G">50</text>
<text x="774.5" y="839.45" class="B C G">100</text>
<text x="1013.5" y="839.45" class="B C G">150</text>
<text x="1252.5" y="839.45" class="B C G">200</text>
<text x="279" y="819.45" class="B C H">0</text>
<text x="279" y="612.45" class="B C H">100,000</text>
<text x="279" y="405.45" class="B C H">200,000</text>
<text x="279" y="198.45" class="B C H">300,000</text>
<text x="774.5" y="880.279" class="B C G K">symbolic length of conclusion</text>
<text x="-503" y="181.45" transform="rotate(270)" class="B C G K">amount of minimal proofs for conclusions of specific length</text>
</svg>