svg/plot/w1-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 CCpCCNpqrCsCCNtCrtCpt <two hyphens>plot -s -x 400 -o data/w1-plot_data_x400.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">w1: Amount of minimal condensed detachment proofs w.r.t symbolic conclusion lengths</text>
<text x="1310" y="206.45" class="B C">proof length 133</text>
<circle cx="1287" cy="200.5" r="4" fill="#e1e1e1"/>
<text x="1310" y="234.45" class="B C">proof length 135</text>
<circle cx="1287" cy="228.5" r="4" fill="#bcbcbc"/>
<text x="1310" y="262.45" class="B C">proof length 137</text>
<circle cx="1287" cy="256.5" r="4" fill="#898989"/>
<text x="1310" y="290.45" class="B C">proof length 139</text>
<circle cx="1287" cy="284.5" r="4" 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-155h957v1H296zm0-155h957v1H296zm0-156h957v1H296zm0-155h957v1H296z"/>
<path fill="#ebebeb" d="M296 735h957v1H296zm0-155h957v1H296zm0-155h957v1H296zm0-155h957v1H296z"/>
<g fill="#333">
<path d="M296 192h1v622h-1z"/>
<path d="M296 813h957v1H296z"/>
</g>
<g fill="none" class="I D">
<path stroke="#e1e1e1" d="M572.951 813.5v-621"/>
<path stroke="#bcbcbc" d="M578.281 813.5v-621"/>
<path stroke="#898989" d="M583.874 813.5v-621"/>
<path stroke="#000" d="M589.538 813.5v-621"/>
<g class="J">
<path stroke="#e1e1e1" d="M537.89 813.5v-621"/>
<path stroke="#bcbcbc" d="M542.67 813.5v-621"/>
<path stroke="#898989" d="M547.45 813.5v-621"/>
<path stroke="#000" d="M549.84 813.5v-621"/>
</g>
</g>
<g fill="#e1e1e1">
<circle cx="298.89" cy="813.5" r="4"/>
<circle cx="301.28" cy="813.5" r="4"/>
<circle cx="303.67" cy="813.5" r="4"/>
<circle cx="306.06" cy="813.5" r="4"/>
<circle cx="308.45" cy="813.5" r="4"/>
<circle cx="310.84" cy="813.5" r="4"/>
<circle cx="313.23" cy="813.5" r="4"/>
<circle cx="315.62" cy="813.5" r="4"/>
<circle cx="318.01" cy="813.5" r="4"/>
<circle cx="320.4" cy="813.492" r="4"/>
<circle cx="322.79" cy="813.5" r="4"/>
<circle cx="325.18" cy="813.484" r="4"/>
<circle cx="327.57" cy="813.492" r="4"/>
<circle cx="329.96" cy="813.484" r="4"/>
<circle cx="332.35" cy="813.492" r="4"/>
<circle cx="334.74" cy="813.438" r="4"/>
<circle cx="337.13" cy="813.407" r="4"/>
<circle cx="339.52" cy="813.391" r="4"/>
<circle cx="341.91" cy="813.345" r="4"/>
<circle cx="344.3" cy="813.29" r="4"/>
<circle cx="346.69" cy="813.197" r="4"/>
<circle cx="349.08" cy="813.003" r="4"/>
<circle cx="351.47" cy="812.6" r="4"/>
<circle cx="353.86" cy="812.848" r="4"/>
<circle cx="356.25" cy="812.25" r="4"/>
<circle cx="358.64" cy="812.545" r="4"/>
<circle cx="361.03" cy="812.126" r="4"/>
<circle cx="363.42" cy="811.707" r="4"/>
<circle cx="365.81" cy="810.9" r="4"/>
<circle cx="368.2" cy="809.821" r="4"/>
<circle cx="370.59" cy="809.797" r="4"/>
<circle cx="372.98" cy="808.291" r="4"/>
<circle cx="375.37" cy="808.097" r="4"/>
<circle cx="377.76" cy="805.908" r="4"/>
<circle cx="380.15" cy="805.225" r="4"/>
<circle cx="382.54" cy="803.58" r="4"/>
<circle cx="384.93" cy="800.762" r="4"/>
<circle cx="387.32" cy="799.077" r="4"/>
<circle cx="389.71" cy="796.818" r="4"/>
<circle cx="392.1" cy="794.986" r="4"/>
<circle cx="394.49" cy="791.439" r="4"/>
<circle cx="396.88" cy="789.196" r="4"/>
<circle cx="399.27" cy="785.679" r="4"/>
<circle cx="401.66" cy="781.456" r="4"/>
<circle cx="404.05" cy="775.534" r="4"/>
<circle cx="406.44" cy="773.671" r="4"/>
<circle cx="408.83" cy="770.209" r="4"/>
<circle cx="411.22" cy="766.7" r="4"/>
<circle cx="413.61" cy="758.72" r="4"/>
<circle cx="416" cy="751.711" r="4"/>
<circle cx="418.39" cy="748.078" r="4"/>
<circle cx="420.78" cy="740.214" r="4"/>
<circle cx="423.17" cy="737.575" r="4"/>
<circle cx="425.56" cy="733.22" r="4"/>
<circle cx="427.95" cy="725.341" r="4"/>
<circle cx="430.34" cy="716.709" r="4"/>
<circle cx="432.73" cy="707.402" r="4"/>
<circle cx="435.12" cy="702.225" r="4"/>
<circle cx="437.51" cy="693.515" r="4"/>
<circle cx="439.9" cy="690.503" r="4"/>
<circle cx="442.29" cy="685.59" r="4"/>
<circle cx="444.68" cy="674.054" r="4"/>
<circle cx="447.07" cy="668.496" r="4"/>
<circle cx="449.46" cy="661.06" r="4"/>
<circle cx="451.85" cy="652.909" r="4"/>
<circle cx="454.24" cy="648.671" r="4"/>
<circle cx="456.63" cy="645.908" r="4"/>
<circle cx="459.02" cy="635.141" r="4"/>
<circle cx="461.41" cy="626.866" r="4"/>
<circle cx="463.8" cy="635.242" r="4"/>
<circle cx="466.19" cy="615.479" r="4"/>
<circle cx="468.58" cy="613.476" r="4"/>
<circle cx="470.97" cy="604.976" r="4"/>
<circle cx="473.36" cy="609.921" r="4"/>
<circle cx="475.75" cy="603.812" r="4"/>
<circle cx="478.14" cy="589.412" r="4"/>
<circle cx="480.53" cy="595.731" r="4"/>
<circle cx="482.92" cy="587.58" r="4"/>
<circle cx="485.31" cy="593.503" r="4"/>
<circle cx="487.7" cy="583.264" r="4"/>
<circle cx="490.09" cy="588.03" r="4"/>
<circle cx="492.48" cy="593.55" r="4"/>
<circle cx="494.87" cy="568.756" r="4"/>
<circle cx="497.26" cy="587.588" r="4"/>
<circle cx="499.65" cy="576.542" r="4"/>
<circle cx="502.04" cy="596.158" r="4"/>
<circle cx="504.43" cy="585.515" r="4"/>
<circle cx="506.82" cy="588.38" r="4"/>
<circle cx="509.21" cy="574.943" r="4"/>
<circle cx="511.6" cy="568.12" r="4"/>
<circle cx="513.99" cy="599.294" r="4"/>
<circle cx="516.38" cy="593.456" r="4"/>
<circle cx="518.77" cy="608.104" r="4"/>
<circle cx="521.16" cy="597.439" r="4"/>
<circle cx="523.55" cy="597.361" r="4"/>
<circle cx="525.94" cy="597.206" r="4"/>
<circle cx="528.33" cy="595.7" r="4"/>
<circle cx="530.72" cy="614.376" r="4"/>
<circle cx="533.11" cy="606.66" r="4"/>
<circle cx="535.5" cy="623.979" r="4"/>
<circle cx="537.89" cy="604.308" r="4"/>
<circle cx="540.28" cy="611.838" r="4"/>
<circle cx="542.67" cy="627.363" r="4"/>
<circle cx="545.06" cy="626.983" r="4"/>
<circle cx="547.45" cy="635.568" r="4"/>
<circle cx="549.84" cy="632.649" r="4"/>
<circle cx="552.23" cy="644.627" r="4"/>
<circle cx="554.62" cy="634.66" r="4"/>
<circle cx="557.01" cy="645.201" r="4"/>
<circle cx="559.4" cy="642.818" r="4"/>
<circle cx="561.79" cy="646.459" r="4"/>
<circle cx="564.18" cy="657.924" r="4"/>
<circle cx="566.57" cy="649.525" r="4"/>
<circle cx="568.96" cy="663.327" r="4"/>
<circle cx="571.35" cy="663.125" r="4"/>
<circle cx="573.74" cy="667.029" r="4"/>
<circle cx="576.13" cy="671.314" r="4"/>
<circle cx="578.52" cy="672.944" r="4"/>
<circle cx="580.91" cy="676.88" r="4"/>
<circle cx="583.3" cy="672.68" r="4"/>
<circle cx="585.69" cy="688.136" r="4"/>
<circle cx="588.08" cy="677.447" r="4"/>
<circle cx="590.47" cy="686.645" r="4"/>
<circle cx="592.86" cy="689.975" r="4"/>
<circle cx="595.25" cy="689.533" r="4"/>
<circle cx="597.64" cy="694.128" r="4"/>
<circle cx="600.03" cy="694.625" r="4"/>
<circle cx="602.42" cy="706.44" r="4"/>
<circle cx="604.81" cy="696.55" r="4"/>
<circle cx="607.2" cy="703.599" r="4"/>
<circle cx="609.59" cy="705.446" r="4"/>
<circle cx="611.98" cy="708.481" r="4"/>
<circle cx="614.37" cy="714.14" r="4"/>
<circle cx="616.76" cy="712.797" r="4"/>
<circle cx="619.15" cy="723.641" r="4"/>
<circle cx="621.54" cy="709.506" r="4"/>
<circle cx="623.93" cy="721.421" r="4"/>
<circle cx="626.32" cy="721.639" r="4"/>
<circle cx="628.71" cy="721.584" r="4"/>
<circle cx="631.1" cy="726.568" r="4"/>
<circle cx="633.49" cy="727.111" r="4"/>
<circle cx="635.88" cy="731.404" r="4"/>
<circle cx="638.27" cy="726.754" r="4"/>
<circle cx="640.66" cy="733.352" r="4"/>
<circle cx="643.05" cy="731.932" r="4"/>
<circle cx="645.44" cy="734.563" r="4"/>
<circle cx="647.83" cy="740.921" r="4"/>
<circle cx="650.22" cy="735.526" r="4"/>
<circle cx="652.61" cy="745.283" r="4"/>
<circle cx="655" cy="739.454" r="4"/>
<circle cx="657.39" cy="744.903" r="4"/>
<circle cx="659.78" cy="744.033" r="4"/>
<circle cx="662.17" cy="744.825" r="4"/>
<circle cx="664.56" cy="748.939" r="4"/>
<circle cx="666.95" cy="749.296" r="4"/>
<circle cx="669.34" cy="752.3" r="4"/>
<circle cx="671.73" cy="752.269" r="4"/>
<circle cx="674.12" cy="752.471" r="4"/>
<circle cx="676.51" cy="754.295" r="4"/>
<circle cx="678.9" cy="752.153" r="4"/>
<circle cx="681.29" cy="757.16" r="4"/>
<circle cx="683.68" cy="755.087" r="4"/>
<circle cx="686.07" cy="760.071" r="4"/>
<circle cx="688.46" cy="757.199" r="4"/>
<circle cx="690.85" cy="763.315" r="4"/>
<circle cx="693.24" cy="762.539" r="4"/>
<circle cx="695.63" cy="763.952" r="4"/>
<circle cx="698.02" cy="764.93" r="4"/>
<circle cx="700.41" cy="767.546" r="4"/>
<circle cx="702.8" cy="766.537" r="4"/>
<circle cx="705.19" cy="766.615" r="4"/>
<circle cx="707.58" cy="767.709" r="4"/>
<circle cx="709.97" cy="769.836" r="4"/>
<circle cx="712.36" cy="769.797" r="4"/>
<circle cx="714.75" cy="772.824" r="4"/>
<circle cx="717.14" cy="774.059" r="4"/>
<circle cx="719.53" cy="774.92" r="4"/>
<circle cx="721.92" cy="772.762" r="4"/>
<circle cx="724.31" cy="774.788" r="4"/>
<circle cx="726.7" cy="772.661" r="4"/>
<circle cx="729.09" cy="776.97" r="4"/>
<circle cx="731.48" cy="777.886" r="4"/>
<circle cx="733.87" cy="778.437" r="4"/>
<circle cx="736.26" cy="777.389" r="4"/>
<circle cx="738.65" cy="780.517" r="4"/>
<circle cx="741.04" cy="780.354" r="4"/>
<circle cx="743.43" cy="780.292" r="4"/>
<circle cx="745.82" cy="781.845" r="4"/>
<circle cx="748.21" cy="783.234" r="4"/>
<circle cx="750.6" cy="783.001" r="4"/>
<circle cx="752.99" cy="784.561" r="4"/>
<circle cx="755.38" cy="783.801" r="4"/>
<circle cx="757.77" cy="784.81" r="4"/>
<circle cx="760.16" cy="785.081" r="4"/>
<circle cx="762.55" cy="786.432" r="4"/>
<circle cx="764.94" cy="784.748" r="4"/>
<circle cx="767.33" cy="788.163" r="4"/>
<circle cx="769.72" cy="787.232" r="4"/>
<circle cx="772.11" cy="787.798" r="4"/>
<circle cx="774.5" cy="786.991" r="4"/>
<circle cx="776.89" cy="788.916" r="4"/>
<circle cx="779.28" cy="790.096" r="4"/>
<circle cx="781.67" cy="792.262" r="4"/>
<circle cx="784.06" cy="789.778" r="4"/>
<circle cx="786.45" cy="791.105" r="4"/>
<circle cx="788.84" cy="790.445" r="4"/>
<circle cx="791.23" cy="792.231" r="4"/>
<circle cx="793.62" cy="790.981" r="4"/>
<circle cx="796.01" cy="794.039" r="4"/>
<circle cx="798.4" cy="793.558" r="4"/>
<circle cx="800.79" cy="794.396" r="4"/>
<circle cx="803.18" cy="791.501" r="4"/>
<circle cx="805.57" cy="794.839" r="4"/>
<circle cx="807.96" cy="793.496" r="4"/>
<circle cx="810.35" cy="794.785" r="4"/>
<circle cx="812.74" cy="794.474" r="4"/>
<circle cx="815.13" cy="797.191" r="4"/>
<circle cx="817.52" cy="795.569" r="4"/>
<circle cx="819.91" cy="795.701" r="4"/>
<circle cx="822.3" cy="795.786" r="4"/>
<circle cx="824.69" cy="796.539" r="4"/>
<circle cx="827.08" cy="796.787" r="4"/>
<circle cx="829.47" cy="798.355" r="4"/>
<circle cx="831.86" cy="796.927" r="4"/>
<circle cx="834.25" cy="797.463" r="4"/>
<circle cx="836.64" cy="797.579" r="4"/>
<circle cx="839.03" cy="799.496" r="4"/>
<circle cx="841.42" cy="797.75" r="4"/>
<circle cx="843.81" cy="800.397" r="4"/>
<circle cx="846.2" cy="799.947" r="4"/>
<circle cx="848.59" cy="800.141" r="4"/>
<circle cx="850.98" cy="798.697" r="4"/>
<circle cx="853.37" cy="800.575" r="4"/>
<circle cx="855.76" cy="799.985" r="4"/>
<circle cx="858.15" cy="801.375" r="4"/>
<circle cx="860.54" cy="801.134" r="4"/>
<circle cx="862.93" cy="801.918" r="4"/>
<circle cx="865.32" cy="801.771" r="4"/>
<circle cx="867.71" cy="801.763" r="4"/>
<circle cx="870.1" cy="800.901" r="4"/>
<circle cx="872.49" cy="802.834" r="4"/>
<circle cx="874.88" cy="802.407" r="4"/>
<circle cx="877.27" cy="803.323" r="4"/>
<circle cx="879.66" cy="802.493" r="4"/>
<circle cx="882.05" cy="804.317" r="4"/>
<circle cx="884.44" cy="802.679" r="4"/>
<circle cx="886.83" cy="802.834" r="4"/>
<circle cx="889.22" cy="803.059" r="4"/>
<circle cx="891.61" cy="803.999" r="4"/>
<circle cx="894" cy="804.332" r="4"/>
<circle cx="896.39" cy="805.047" r="4"/>
<circle cx="898.78" cy="804.418" r="4"/>
<circle cx="901.17" cy="805.21" r="4"/>
<circle cx="903.56" cy="804.309" r="4"/>
<circle cx="905.95" cy="805.411" r="4"/>
<circle cx="908.34" cy="804.589" r="4"/>
<circle cx="910.73" cy="806.164" r="4"/>
<circle cx="913.12" cy="804.783" r="4"/>
<circle cx="915.51" cy="805.978" r="4"/>
<circle cx="917.9" cy="805.155" r="4"/>
<circle cx="920.29" cy="805.986" r="4"/>
<circle cx="922.68" cy="805.621" r="4"/>
<circle cx="925.07" cy="806.382" r="4"/>
<circle cx="927.46" cy="805.668" r="4"/>
<circle cx="929.85" cy="806.475" r="4"/>
<circle cx="932.24" cy="806.265" r="4"/>
<circle cx="934.63" cy="807.143" r="4"/>
<circle cx="937.02" cy="806.312" r="4"/>
<circle cx="939.41" cy="807.088" r="4"/>
<circle cx="941.8" cy="806.195" r="4"/>
<circle cx="944.19" cy="807.624" r="4"/>
<circle cx="946.58" cy="806.661" r="4"/>
<circle cx="948.97" cy="807.399" r="4"/>
<circle cx="951.36" cy="807.306" r="4"/>
<circle cx="953.75" cy="807.205" r="4"/>
<circle cx="956.14" cy="807.647" r="4"/>
<circle cx="958.53" cy="808.066" r="4"/>
<circle cx="960.92" cy="808.105" r="4"/>
<circle cx="963.31" cy="808.051" r="4"/>
<circle cx="965.7" cy="807.686" r="4"/>
<circle cx="968.09" cy="808.586" r="4"/>
<circle cx="970.48" cy="807.958" r="4"/>
<circle cx="972.87" cy="808.827" r="4"/>
<circle cx="975.26" cy="807.927" r="4"/>
<circle cx="977.65" cy="808.99" r="4"/>
<circle cx="980.04" cy="808.066" r="4"/>
<circle cx="982.43" cy="808.648" r="4"/>
<circle cx="984.82" cy="808.4" r="4"/>
<circle cx="987.21" cy="809.013" r="4"/>
<circle cx="989.6" cy="808.765" r="4"/>
<circle cx="991.99" cy="808.524" r="4"/>
<circle cx="994.38" cy="809.06" r="4"/>
<circle cx="996.77" cy="809.114" r="4"/>
<circle cx="999.16" cy="808.881" r="4"/>
<circle cx="1001.55" cy="809.06" r="4"/>
<circle cx="1003.94" cy="808.92" r="4"/>
<circle cx="1006.33" cy="809.44" r="4"/>
<circle cx="1008.72" cy="808.749" r="4"/>
<circle cx="1011.11" cy="810.046" r="4"/>
<circle cx="1013.5" cy="809.091" r="4"/>
<circle cx="1015.89" cy="809.456" r="4"/>
<circle cx="1018.28" cy="809.432" r="4"/>
<circle cx="1020.67" cy="809.3" r="4"/>
<circle cx="1023.06" cy="809.487" r="4"/>
<circle cx="1025.45" cy="809.541" r="4"/>
<circle cx="1027.84" cy="809.642" r="4"/>
<circle cx="1030.23" cy="809.79" r="4"/>
<circle cx="1032.62" cy="809.495" r="4"/>
<circle cx="1035.01" cy="809.844" r="4"/>
<circle cx="1037.4" cy="809.246" r="4"/>
<circle cx="1039.79" cy="809.758" r="4"/>
<circle cx="1042.18" cy="809.758" r="4"/>
<circle cx="1044.57" cy="810.574" r="4"/>
<circle cx="1046.96" cy="809.929" r="4"/>
<circle cx="1049.35" cy="809.937" r="4"/>
<circle cx="1051.74" cy="809.999" r="4"/>
<circle cx="1054.13" cy="810.286" r="4"/>
<circle cx="1056.52" cy="810.31" r="4"/>
<circle cx="1058.91" cy="810.457" r="4"/>
<circle cx="1061.3" cy="810.457" r="4"/>
<circle cx="1063.69" cy="810.48" r="4"/>
<circle cx="1066.08" cy="810.123" r="4"/>
<circle cx="1068.47" cy="810.317" r="4"/>
<circle cx="1070.86" cy="810.364" r="4"/>
<circle cx="1073.25" cy="811.14" r="4"/>
<circle cx="1075.64" cy="810.411" r="4"/>
<circle cx="1078.03" cy="810.682" r="4"/>
<circle cx="1080.42" cy="810.574" r="4"/>
<circle cx="1082.81" cy="810.783" r="4"/>
<circle cx="1085.2" cy="810.574" r="4"/>
<circle cx="1087.59" cy="810.721" r="4"/>
<circle cx="1089.98" cy="810.892" r="4"/>
<circle cx="1092.37" cy="810.931" r="4"/>
<circle cx="1094.76" cy="810.985" r="4"/>
<circle cx="1097.15" cy="811.032" r="4"/>
<circle cx="1099.54" cy="810.488" r="4"/>
<circle cx="1101.93" cy="811.094" r="4"/>
<circle cx="1104.32" cy="810.558" r="4"/>
<circle cx="1106.71" cy="811.295" r="4"/>
<circle cx="1109.1" cy="810.698" r="4"/>
<circle cx="1111.49" cy="811.42" r="4"/>
<circle cx="1113.88" cy="810.76" r="4"/>
<circle cx="1116.27" cy="811.101" r="4"/>
<circle cx="1118.66" cy="810.566" r="4"/>
<circle cx="1121.05" cy="810.915" r="4"/>
<circle cx="1123.44" cy="811.21" r="4"/>
<circle cx="1125.83" cy="811.187" r="4"/>
<circle cx="1128.22" cy="810.977" r="4"/>
<circle cx="1130.61" cy="811.761" r="4"/>
<circle cx="1133" cy="811.032" r="4"/>
<circle cx="1135.39" cy="811.575" r="4"/>
<circle cx="1137.78" cy="811.264" r="4"/>
<circle cx="1140.17" cy="811.653" r="4"/>
<circle cx="1142.56" cy="811.466" r="4"/>
<circle cx="1144.95" cy="811.645" r="4"/>
<circle cx="1147.34" cy="811.606" r="4"/>
<circle cx="1149.73" cy="811.451" r="4"/>
<circle cx="1152.12" cy="811.528" r="4"/>
<circle cx="1154.51" cy="811.707" r="4"/>
<circle cx="1156.9" cy="811.544" r="4"/>
<circle cx="1159.29" cy="811.839" r="4"/>
<circle cx="1161.68" cy="811.66" r="4"/>
<circle cx="1164.07" cy="811.334" r="4"/>
<circle cx="1166.46" cy="811.435" r="4"/>
<circle cx="1168.85" cy="811.684" r="4"/>
<circle cx="1171.24" cy="811.66" r="4"/>
<circle cx="1173.63" cy="811.924" r="4"/>
<circle cx="1176.02" cy="811.598" r="4"/>
<circle cx="1178.41" cy="811.73" r="4"/>
<circle cx="1180.8" cy="811.862" r="4"/>
<circle cx="1183.19" cy="811.722" r="4"/>
<circle cx="1185.58" cy="811.691" r="4"/>
<circle cx="1187.97" cy="811.924" r="4"/>
<circle cx="1190.36" cy="811.777" r="4"/>
<circle cx="1192.75" cy="811.924" r="4"/>
<circle cx="1195.14" cy="811.878" r="4"/>
<circle cx="1197.53" cy="812.103" r="4"/>
<circle cx="1199.92" cy="811.746" r="4"/>
<circle cx="1202.31" cy="811.947" r="4"/>
<circle cx="1204.7" cy="812.017" r="4"/>
<circle cx="1207.09" cy="812.118" r="4"/>
<circle cx="1209.48" cy="811.971" r="4"/>
<circle cx="1211.87" cy="812.157" r="4"/>
<circle cx="1214.26" cy="812.064" r="4"/>
<circle cx="1216.65" cy="812.142" r="4"/>
<circle cx="1219.04" cy="812.242" r="4"/>
<circle cx="1221.43" cy="812.118" r="4"/>
<circle cx="1223.82" cy="812.39" r="4"/>
<circle cx="1226.21" cy="812.111" r="4"/>
<circle cx="1228.6" cy="812.149" r="4"/>
<circle cx="1230.99" cy="812.398" r="4"/>
<circle cx="1233.38" cy="812.002" r="4"/>
<circle cx="1235.77" cy="812.359" r="4"/>
<circle cx="1238.16" cy="812.25" r="4"/>
<circle cx="1240.55" cy="812.328" r="4"/>
<circle cx="1242.94" cy="812.514" r="4"/>
<circle cx="1245.33" cy="812.561" r="4"/>
<circle cx="1247.72" cy="812.405" r="4"/>
<circle cx="1250.11" cy="812.111" r="4"/>
<circle cx="1252.5" cy="812.374" r="4"/>
</g>
<g fill="#bcbcbc">
<circle cx="298.89" cy="813.5" r="4"/>
<circle cx="301.28" cy="813.5" r="4"/>
<circle cx="303.67" cy="813.5" r="4"/>
<circle cx="306.06" cy="813.5" r="4"/>
<circle cx="308.45" cy="813.5" r="4"/>
<circle cx="310.84" cy="813.5" r="4"/>
<circle cx="313.23" cy="813.5" r="4"/>
<circle cx="315.62" cy="813.5" r="4"/>
<circle cx="318.01" cy="813.5" r="4"/>
<circle cx="320.4" cy="813.5" r="4"/>
<circle cx="322.79" cy="813.484" r="4"/>
<circle cx="325.18" cy="813.492" r="4"/>
<circle cx="327.57" cy="813.492" r="4"/>
<circle cx="329.96" cy="813.492" r="4"/>
<circle cx="332.35" cy="813.415" r="4"/>
<circle cx="334.74" cy="813.438" r="4"/>
<circle cx="337.13" cy="813.461" r="4"/>
<circle cx="339.52" cy="813.267" r="4"/>
<circle cx="341.91" cy="813.384" r="4"/>
<circle cx="344.3" cy="813.353" r="4"/>
<circle cx="346.69" cy="813.321" r="4"/>
<circle cx="349.08" cy="813.026" r="4"/>
<circle cx="351.47" cy="812.98" r="4"/>
<circle cx="353.86" cy="812.732" r="4"/>
<circle cx="356.25" cy="812.281" r="4"/>
<circle cx="358.64" cy="812.421" r="4"/>
<circle cx="361.03" cy="811.389" r="4"/>
<circle cx="363.42" cy="811.435" r="4"/>
<circle cx="365.81" cy="810.605" r="4"/>
<circle cx="368.2" cy="810.007" r="4"/>
<circle cx="370.59" cy="809.2" r="4"/>
<circle cx="372.98" cy="808.02" r="4"/>
<circle cx="375.37" cy="807.507" r="4"/>
<circle cx="377.76" cy="805.66" r="4"/>
<circle cx="380.15" cy="804.332" r="4"/>
<circle cx="382.54" cy="801.748" r="4"/>
<circle cx="384.93" cy="800.723" r="4"/>
<circle cx="387.32" cy="797.494" r="4"/>
<circle cx="389.71" cy="794.723" r="4"/>
<circle cx="392.1" cy="793.954" r="4"/>
<circle cx="394.49" cy="790.888" r="4"/>
<circle cx="396.88" cy="784.95" r="4"/>
<circle cx="399.27" cy="780.533" r="4"/>
<circle cx="401.66" cy="777.272" r="4"/>
<circle cx="404.05" cy="772.079" r="4"/>
<circle cx="406.44" cy="768.043" r="4"/>
<circle cx="408.83" cy="765.931" r="4"/>
<circle cx="411.22" cy="758.068" r="4"/>
<circle cx="413.61" cy="750.663" r="4"/>
<circle cx="416" cy="742.877" r="4"/>
<circle cx="418.39" cy="737.319" r="4"/>
<circle cx="420.78" cy="731.947" r="4"/>
<circle cx="423.17" cy="724.084" r="4"/>
<circle cx="425.56" cy="719.807" r="4"/>
<circle cx="427.95" cy="706.867" r="4"/>
<circle cx="430.34" cy="701.371" r="4"/>
<circle cx="432.73" cy="692.972" r="4"/>
<circle cx="435.12" cy="683.183" r="4"/>
<circle cx="437.51" cy="677.586" r="4"/>
<circle cx="439.9" cy="664.926" r="4"/>
<circle cx="442.29" cy="661.58" r="4"/>
<circle cx="444.68" cy="649.991" r="4"/>
<circle cx="447.07" cy="645.644" r="4"/>
<circle cx="449.46" cy="630.484" r="4"/>
<circle cx="451.85" cy="620.679" r="4"/>
<circle cx="454.24" cy="612.56" r="4"/>
<circle cx="456.63" cy="606.87" r="4"/>
<circle cx="459.02" cy="608.842" r="4"/>
<circle cx="461.41" cy="584.429" r="4"/>
<circle cx="463.8" cy="580.943" r="4"/>
<circle cx="466.19" cy="573.305" r="4"/>
<circle cx="468.58" cy="569.99" r="4"/>
<circle cx="470.97" cy="559.053" r="4"/>
<circle cx="473.36" cy="560.567" r="4"/>
<circle cx="475.75" cy="567.794" r="4"/>
<circle cx="478.14" cy="537.403" r="4"/>
<circle cx="480.53" cy="549.474" r="4"/>
<circle cx="482.92" cy="533.274" r="4"/>
<circle cx="485.31" cy="540.136" r="4"/>
<circle cx="487.7" cy="529.936" r="4"/>
<circle cx="490.09" cy="532.552" r="4"/>
<circle cx="492.48" cy="523.361" r="4"/>
<circle cx="494.87" cy="513.759" r="4"/>
<circle cx="497.26" cy="536.247" r="4"/>
<circle cx="499.65" cy="526.148" r="4"/>
<circle cx="502.04" cy="529.672" r="4"/>
<circle cx="504.43" cy="522.375" r="4"/>
<circle cx="506.82" cy="519.123" r="4"/>
<circle cx="509.21" cy="524.261" r="4"/>
<circle cx="511.6" cy="516.049" r="4"/>
<circle cx="513.99" cy="542.542" r="4"/>
<circle cx="516.38" cy="530.572" r="4"/>
<circle cx="518.77" cy="542.1" r="4"/>
<circle cx="521.16" cy="519.977" r="4"/>
<circle cx="523.55" cy="532.645" r="4"/>
<circle cx="525.94" cy="546.912" r="4"/>
<circle cx="528.33" cy="548.814" r="4"/>
<circle cx="530.72" cy="559.868" r="4"/>
<circle cx="533.11" cy="556.398" r="4"/>
<circle cx="535.5" cy="559.511" r="4"/>
<circle cx="537.89" cy="553.053" r="4"/>
<circle cx="540.28" cy="566.505" r="4"/>
<circle cx="542.67" cy="567.638" r="4"/>
<circle cx="545.06" cy="568.314" r="4"/>
<circle cx="547.45" cy="586.781" r="4"/>
<circle cx="549.84" cy="568.539" r="4"/>
<circle cx="552.23" cy="588.923" r="4"/>
<circle cx="554.62" cy="586.548" r="4"/>
<circle cx="557.01" cy="597.912" r="4"/>
<circle cx="559.4" cy="599.441" r="4"/>
<circle cx="561.79" cy="599.34" r="4"/>
<circle cx="564.18" cy="607.111" r="4"/>
<circle cx="566.57" cy="606.272" r="4"/>
<circle cx="568.96" cy="629.901" r="4"/>
<circle cx="571.35" cy="613.235" r="4"/>
<circle cx="573.74" cy="620.936" r="4"/>
<circle cx="576.13" cy="629.04" r="4"/>
<circle cx="578.52" cy="620.889" r="4"/>
<circle cx="580.91" cy="638.425" r="4"/>
<circle cx="583.3" cy="636.445" r="4"/>
<circle cx="585.69" cy="654.516" r="4"/>
<circle cx="588.08" cy="641.196" r="4"/>
<circle cx="590.47" cy="649.339" r="4"/>
<circle cx="592.86" cy="646.086" r="4"/>
<circle cx="595.25" cy="650.55" r="4"/>
<circle cx="597.64" cy="658.103" r="4"/>
<circle cx="600.03" cy="658.46" r="4"/>
<circle cx="602.42" cy="671.772" r="4"/>
<circle cx="604.81" cy="662.892" r="4"/>
<circle cx="607.2" cy="673.061" r="4"/>
<circle cx="609.59" cy="675.343" r="4"/>
<circle cx="611.98" cy="676.29" r="4"/>
<circle cx="614.37" cy="681.017" r="4"/>
<circle cx="616.76" cy="678.813" r="4"/>
<circle cx="619.15" cy="686.606" r="4"/>
<circle cx="621.54" cy="683.354" r="4"/>
<circle cx="623.93" cy="693.732" r="4"/>
<circle cx="626.32" cy="690.356" r="4"/>
<circle cx="628.71" cy="694.656" r="4"/>
<circle cx="631.1" cy="697.42" r="4"/>
<circle cx="633.49" cy="695.091" r="4"/>
<circle cx="635.88" cy="702.325" r="4"/>
<circle cx="638.27" cy="703.451" r="4"/>
<circle cx="640.66" cy="703.311" r="4"/>
<circle cx="643.05" cy="709.42" r="4"/>
<circle cx="645.44" cy="710.81" r="4"/>
<circle cx="647.83" cy="714.637" r="4"/>
<circle cx="650.22" cy="714.932" r="4"/>
<circle cx="652.61" cy="722.058" r="4"/>
<circle cx="655" cy="718.045" r="4"/>
<circle cx="657.39" cy="720.979" r="4"/>
<circle cx="659.78" cy="720.754" r="4"/>
<circle cx="662.17" cy="722.85" r="4"/>
<circle cx="664.56" cy="725.9" r="4"/>
<circle cx="666.95" cy="725.613" r="4"/>
<circle cx="669.34" cy="730.41" r="4"/>
<circle cx="671.73" cy="729.937" r="4"/>
<circle cx="674.12" cy="733.236" r="4"/>
<circle cx="676.51" cy="734.982" r="4"/>
<circle cx="678.9" cy="735.301" r="4"/>
<circle cx="681.29" cy="740.587" r="4"/>
<circle cx="683.68" cy="740.168" r="4"/>
<circle cx="686.07" cy="743.824" r="4"/>
<circle cx="688.46" cy="740.928" r="4"/>
<circle cx="690.85" cy="745.415" r="4"/>
<circle cx="693.24" cy="743.886" r="4"/>
<circle cx="695.63" cy="746.968" r="4"/>
<circle cx="698.02" cy="747.69" r="4"/>
<circle cx="700.41" cy="753.845" r="4"/>
<circle cx="702.8" cy="753.154" r="4"/>
<circle cx="705.19" cy="753.814" r="4"/>
<circle cx="707.58" cy="754.8" r="4"/>
<circle cx="709.97" cy="753.783" r="4"/>
<circle cx="712.36" cy="755.242" r="4"/>
<circle cx="714.75" cy="759.799" r="4"/>
<circle cx="717.14" cy="756.842" r="4"/>
<circle cx="719.53" cy="759.737" r="4"/>
<circle cx="721.92" cy="759.62" r="4"/>
<circle cx="724.31" cy="763.936" r="4"/>
<circle cx="726.7" cy="761.22" r="4"/>
<circle cx="729.09" cy="767.329" r="4"/>
<circle cx="731.48" cy="764.977" r="4"/>
<circle cx="733.87" cy="767.003" r="4"/>
<circle cx="736.26" cy="767.903" r="4"/>
<circle cx="738.65" cy="769.122" r="4"/>
<circle cx="741.04" cy="768.012" r="4"/>
<circle cx="743.43" cy="772.079" r="4"/>
<circle cx="745.82" cy="771.132" r="4"/>
<circle cx="748.21" cy="772.693" r="4"/>
<circle cx="750.6" cy="771.326" r="4"/>
<circle cx="752.99" cy="774.781" r="4"/>
<circle cx="755.38" cy="771.156" r="4"/>
<circle cx="757.77" cy="775.153" r="4"/>
<circle cx="760.16" cy="774.975" r="4"/>
<circle cx="762.55" cy="778.266" r="4"/>
<circle cx="764.94" cy="779.275" r="4"/>
<circle cx="767.33" cy="779.648" r="4"/>
<circle cx="769.72" cy="776.667" r="4"/>
<circle cx="772.11" cy="779.764" r="4"/>
<circle cx="774.5" cy="779.57" r="4"/>
<circle cx="776.89" cy="779.485" r="4"/>
<circle cx="779.28" cy="780.991" r="4"/>
<circle cx="781.67" cy="784.375" r="4"/>
<circle cx="784.06" cy="781.107" r="4"/>
<circle cx="786.45" cy="783.94" r="4"/>
<circle cx="788.84" cy="782.784" r="4"/>
<circle cx="791.23" cy="783.482" r="4"/>
<circle cx="793.62" cy="782.939" r="4"/>
<circle cx="796.01" cy="786.502" r="4"/>
<circle cx="798.4" cy="783.878" r="4"/>
<circle cx="800.79" cy="786.673" r="4"/>
<circle cx="803.18" cy="786.587" r="4"/>
<circle cx="805.57" cy="787.775" r="4"/>
<circle cx="807.96" cy="786.455" r="4"/>
<circle cx="810.35" cy="788.404" r="4"/>
<circle cx="812.74" cy="787.961" r="4"/>
<circle cx="815.13" cy="788.854" r="4"/>
<circle cx="817.52" cy="788.466" r="4"/>
<circle cx="819.91" cy="789.335" r="4"/>
<circle cx="822.3" cy="790.073" r="4"/>
<circle cx="824.69" cy="791.354" r="4"/>
<circle cx="827.08" cy="790.764" r="4"/>
<circle cx="829.47" cy="793.209" r="4"/>
<circle cx="831.86" cy="792.751" r="4"/>
<circle cx="834.25" cy="792.51" r="4"/>
<circle cx="836.64" cy="791.548" r="4"/>
<circle cx="839.03" cy="793.659" r="4"/>
<circle cx="841.42" cy="793.294" r="4"/>
<circle cx="843.81" cy="795.351" r="4"/>
<circle cx="846.2" cy="793.581" r="4"/>
<circle cx="848.59" cy="796.632" r="4"/>
<circle cx="850.98" cy="794.901" r="4"/>
<circle cx="853.37" cy="795.879" r="4"/>
<circle cx="855.76" cy="795.157" r="4"/>
<circle cx="858.15" cy="796.811" r="4"/>
<circle cx="860.54" cy="796.787" r="4"/>
<circle cx="862.93" cy="797.005" r="4"/>
<circle cx="865.32" cy="797.967" r="4"/>
<circle cx="867.71" cy="798.751" r="4"/>
<circle cx="870.1" cy="797.098" r="4"/>
<circle cx="872.49" cy="799.419" r="4"/>
<circle cx="874.88" cy="797.199" r="4"/>
<circle cx="877.27" cy="799.791" r="4"/>
<circle cx="879.66" cy="798.728" r="4"/>
<circle cx="882.05" cy="800.731" r="4"/>
<circle cx="884.44" cy="798.736" r="4"/>
<circle cx="886.83" cy="800.723" r="4"/>
<circle cx="889.22" cy="800.102" r="4"/>
<circle cx="891.61" cy="800.055" r="4"/>
<circle cx="894" cy="801.088" r="4"/>
<circle cx="896.39" cy="800.801" r="4"/>
<circle cx="898.78" cy="800.568" r="4"/>
<circle cx="901.17" cy="802.757" r="4"/>
<circle cx="903.56" cy="801.01" r="4"/>
<circle cx="905.95" cy="802.353" r="4"/>
<circle cx="908.34" cy="801.127" r="4"/>
<circle cx="910.73" cy="803.323" r="4"/>
<circle cx="913.12" cy="801.476" r="4"/>
<circle cx="915.51" cy="802.842" r="4"/>
<circle cx="917.9" cy="803.075" r="4"/>
<circle cx="920.29" cy="803.215" r="4"/>
<circle cx="922.68" cy="802.501" r="4"/>
<circle cx="925.07" cy="803.541" r="4"/>
<circle cx="927.46" cy="802.997" r="4"/>
<circle cx="929.85" cy="804.348" r="4"/>
<circle cx="932.24" cy="803.246" r="4"/>
<circle cx="934.63" cy="804.356" r="4"/>
<circle cx="937.02" cy="803.572" r="4"/>
<circle cx="939.41" cy="804.612" r="4"/>
<circle cx="941.8" cy="803.836" r="4"/>
<circle cx="944.19" cy="806.001" r="4"/>
<circle cx="946.58" cy="804.255" r="4"/>
<circle cx="948.97" cy="805.085" r="4"/>
<circle cx="951.36" cy="804.93" r="4"/>
<circle cx="953.75" cy="805.505" r="4"/>
<circle cx="956.14" cy="805.411" r="4"/>
<circle cx="958.53" cy="805.745" r="4"/>
<circle cx="960.92" cy="805.978" r="4"/>
<circle cx="963.31" cy="805.668" r="4"/>
<circle cx="965.7" cy="805.714" r="4"/>
<circle cx="968.09" cy="806.622" r="4"/>
<circle cx="970.48" cy="805.38" r="4"/>
<circle cx="972.87" cy="806.723" r="4"/>
<circle cx="975.26" cy="805.838" r="4"/>
<circle cx="977.65" cy="806.77" r="4"/>
<circle cx="980.04" cy="806.584" r="4"/>
<circle cx="982.43" cy="807.143" r="4"/>
<circle cx="984.82" cy="806.405" r="4"/>
<circle cx="987.21" cy="807.197" r="4"/>
<circle cx="989.6" cy="806.545" r="4"/>
<circle cx="991.99" cy="806.723" r="4"/>
<circle cx="994.38" cy="806.972" r="4"/>
<circle cx="996.77" cy="807.531" r="4"/>
<circle cx="999.16" cy="806.832" r="4"/>
<circle cx="1001.55" cy="807.686" r="4"/>
<circle cx="1003.94" cy="806.778" r="4"/>
<circle cx="1006.33" cy="807.872" r="4"/>
<circle cx="1008.72" cy="807.337" r="4"/>
<circle cx="1011.11" cy="807.849" r="4"/>
<circle cx="1013.5" cy="807.476" r="4"/>
<circle cx="1015.89" cy="808.097" r="4"/>
<circle cx="1018.28" cy="807.538" r="4"/>
<circle cx="1020.67" cy="807.981" r="4"/>
<circle cx="1023.06" cy="807.81" r="4"/>
<circle cx="1025.45" cy="808.377" r="4"/>
<circle cx="1027.84" cy="807.996" r="4"/>
<circle cx="1030.23" cy="808.788" r="4"/>
<circle cx="1032.62" cy="807.616" r="4"/>
<circle cx="1035.01" cy="808.516" r="4"/>
<circle cx="1037.4" cy="808.097" r="4"/>
<circle cx="1039.79" cy="808.804" r="4"/>
<circle cx="1042.18" cy="808.159" r="4"/>
<circle cx="1044.57" cy="809.238" r="4"/>
<circle cx="1046.96" cy="808.711" r="4"/>
<circle cx="1049.35" cy="808.338" r="4"/>
<circle cx="1051.74" cy="808.478" r="4"/>
<circle cx="1054.13" cy="808.936" r="4"/>
<circle cx="1056.52" cy="808.951" r="4"/>
<circle cx="1058.91" cy="809.176" r="4"/>
<circle cx="1061.3" cy="809.106" r="4"/>
<circle cx="1063.69" cy="809.254" r="4"/>
<circle cx="1066.08" cy="809.021" r="4"/>
<circle cx="1068.47" cy="809.075" r="4"/>
<circle cx="1070.86" cy="808.858" r="4"/>
<circle cx="1073.25" cy="809.751" r="4"/>
<circle cx="1075.64" cy="809.13" r="4"/>
<circle cx="1078.03" cy="809.324" r="4"/>
<circle cx="1080.42" cy="809.339" r="4"/>
<circle cx="1082.81" cy="809.588" r="4"/>
<circle cx="1085.2" cy="809.293" r="4"/>
<circle cx="1087.59" cy="809.293" r="4"/>
<circle cx="1089.98" cy="809.673" r="4"/>
<circle cx="1092.37" cy="809.595" r="4"/>
<circle cx="1094.76" cy="809.471" r="4"/>
<circle cx="1097.15" cy="809.984" r="4"/>
<circle cx="1099.54" cy="809.65" r="4"/>
<circle cx="1101.93" cy="809.859" r="4"/>
<circle cx="1104.32" cy="809.487" r="4"/>
<circle cx="1106.71" cy="810.022" r="4"/>
<circle cx="1109.1" cy="809.898" r="4"/>
<circle cx="1111.49" cy="810.185" r="4"/>
<circle cx="1113.88" cy="810.015" r="4"/>
<circle cx="1116.27" cy="810.255" r="4"/>
<circle cx="1118.66" cy="810.31" r="4"/>
<circle cx="1121.05" cy="810.216" r="4"/>
<circle cx="1123.44" cy="810.248" r="4"/>
<circle cx="1125.83" cy="810.154" r="4"/>
<circle cx="1128.22" cy="810.053" r="4"/>
<circle cx="1130.61" cy="810.597" r="4"/>
<circle cx="1133" cy="810.022" r="4"/>
<circle cx="1135.39" cy="810.449" r="4"/>
<circle cx="1137.78" cy="810.372" r="4"/>
<circle cx="1140.17" cy="810.62" r="4"/>
<circle cx="1142.56" cy="810.473" r="4"/>
<circle cx="1144.95" cy="810.674" r="4"/>
<circle cx="1147.34" cy="810.721" r="4"/>
<circle cx="1149.73" cy="810.651" r="4"/>
<circle cx="1152.12" cy="810.721" r="4"/>
<circle cx="1154.51" cy="810.884" r="4"/>
<circle cx="1156.9" cy="811.063" r="4"/>
<circle cx="1159.29" cy="811.032" r="4"/>
<circle cx="1161.68" cy="810.869" r="4"/>
<circle cx="1164.07" cy="810.876" r="4"/>
<circle cx="1166.46" cy="811.047" r="4"/>
<circle cx="1168.85" cy="810.814" r="4"/>
<circle cx="1171.24" cy="810.806" r="4"/>
<circle cx="1173.63" cy="810.969" r="4"/>
<circle cx="1176.02" cy="811.094" r="4"/>
<circle cx="1178.41" cy="811.117" r="4"/>
<circle cx="1180.8" cy="810.837" r="4"/>
<circle cx="1183.19" cy="811.156" r="4"/>
<circle cx="1185.58" cy="811.163" r="4"/>
<circle cx="1187.97" cy="811.412" r="4"/>
<circle cx="1190.36" cy="811.241" r="4"/>
<circle cx="1192.75" cy="811.342" r="4"/>
<circle cx="1195.14" cy="811.443" r="4"/>
<circle cx="1197.53" cy="811.412" r="4"/>
<circle cx="1199.92" cy="811.125" r="4"/>
<circle cx="1202.31" cy="811.59" r="4"/>
<circle cx="1204.7" cy="811.404" r="4"/>
<circle cx="1207.09" cy="811.777" r="4"/>
<circle cx="1209.48" cy="811.544" r="4"/>
<circle cx="1211.87" cy="811.49" r="4"/>
<circle cx="1214.26" cy="811.505" r="4"/>
<circle cx="1216.65" cy="811.544" r="4"/>
<circle cx="1219.04" cy="811.567" r="4"/>
<circle cx="1221.43" cy="811.249" r="4"/>
<circle cx="1223.82" cy="811.761" r="4"/>
<circle cx="1226.21" cy="811.924" r="4"/>
<circle cx="1228.6" cy="811.521" r="4"/>
<circle cx="1230.99" cy="811.761" r="4"/>
<circle cx="1233.38" cy="811.42" r="4"/>
<circle cx="1235.77" cy="811.878" r="4"/>
<circle cx="1238.16" cy="811.746" r="4"/>
<circle cx="1240.55" cy="811.885" r="4"/>
<circle cx="1242.94" cy="811.839" r="4"/>
<circle cx="1245.33" cy="812.064" r="4"/>
<circle cx="1247.72" cy="811.769" r="4"/>
<circle cx="1250.11" cy="811.746" r="4"/>
<circle cx="1252.5" cy="811.994" r="4"/>
</g>
<g fill="#898989">
<circle cx="298.89" cy="813.5" r="4"/>
<circle cx="301.28" cy="813.5" r="4"/>
<circle cx="303.67" cy="813.5" r="4"/>
<circle cx="306.06" cy="813.5" r="4"/>
<circle cx="308.45" cy="813.5" r="4"/>
<circle cx="310.84" cy="813.5" r="4"/>
<circle cx="313.23" cy="813.5" r="4"/>
<circle cx="315.62" cy="813.492" r="4"/>
<circle cx="318.01" cy="813.5" r="4"/>
<circle cx="320.4" cy="813.5" r="4"/>
<circle cx="322.79" cy="813.5" r="4"/>
<circle cx="325.18" cy="813.484" r="4"/>
<circle cx="327.57" cy="813.5" r="4"/>
<circle cx="329.96" cy="813.477" r="4"/>
<circle cx="332.35" cy="813.461" r="4"/>
<circle cx="334.74" cy="813.461" r="4"/>
<circle cx="337.13" cy="813.384" r="4"/>
<circle cx="339.52" cy="813.298" r="4"/>
<circle cx="341.91" cy="813.415" r="4"/>
<circle cx="344.3" cy="813.112" r="4"/>
<circle cx="346.69" cy="813.228" r="4"/>
<circle cx="349.08" cy="812.918" r="4"/>
<circle cx="351.47" cy="812.879" r="4"/>
<circle cx="353.86" cy="812.778" r="4"/>
<circle cx="356.25" cy="812.211" r="4"/>
<circle cx="358.64" cy="812.157" r="4"/>
<circle cx="361.03" cy="811.598" r="4"/>
<circle cx="363.42" cy="811.241" r="4"/>
<circle cx="365.81" cy="809.805" r="4"/>
<circle cx="368.2" cy="809.743" r="4"/>
<circle cx="370.59" cy="808.757" r="4"/>
<circle cx="372.98" cy="807.243" r="4"/>
<circle cx="375.37" cy="806.863" r="4"/>
<circle cx="377.76" cy="805.427" r="4"/>
<circle cx="380.15" cy="802.927" r="4"/>
<circle cx="382.54" cy="800.638" r="4"/>
<circle cx="384.93" cy="798.806" r="4"/>
<circle cx="387.32" cy="796.624" r="4"/>
<circle cx="389.71" cy="793.597" r="4"/>
<circle cx="392.1" cy="791.26" r="4"/>
<circle cx="394.49" cy="786.704" r="4"/>
<circle cx="396.88" cy="782.916" r="4"/>
<circle cx="399.27" cy="778.087" r="4"/>
<circle cx="401.66" cy="773.352" r="4"/>
<circle cx="404.05" cy="770.612" r="4"/>
<circle cx="406.44" cy="762.5" r="4"/>
<circle cx="408.83" cy="757.897" r="4"/>
<circle cx="411.22" cy="748.8" r="4"/>
<circle cx="413.61" cy="743.785" r="4"/>
<circle cx="416" cy="737.125" r="4"/>
<circle cx="418.39" cy="725.745" r="4"/>
<circle cx="420.78" cy="721.708" r="4"/>
<circle cx="423.17" cy="705.516" r="4"/>
<circle cx="425.56" cy="706.781" r="4"/>
<circle cx="427.95" cy="692.716" r="4"/>
<circle cx="430.34" cy="681.25" r="4"/>
<circle cx="432.73" cy="673.542" r="4"/>
<circle cx="435.12" cy="655.968" r="4"/>
<circle cx="437.51" cy="650.534" r="4"/>
<circle cx="439.9" cy="637.229" r="4"/>
<circle cx="442.29" cy="641.157" r="4"/>
<circle cx="444.68" cy="616.488" r="4"/>
<circle cx="447.07" cy="605.411" r="4"/>
<circle cx="449.46" cy="596.08" r="4"/>
<circle cx="451.85" cy="580.951" r="4"/>
<circle cx="454.24" cy="572.055" r="4"/>
<circle cx="456.63" cy="565.084" r="4"/>
<circle cx="459.02" cy="569.967" r="4"/>
<circle cx="461.41" cy="545.601" r="4"/>
<circle cx="463.8" cy="538.242" r="4"/>
<circle cx="466.19" cy="518.137" r="4"/>
<circle cx="468.58" cy="512.664" r="4"/>
<circle cx="470.97" cy="509.078" r="4"/>
<circle cx="473.36" cy="499.305" r="4"/>
<circle cx="475.75" cy="496.293" r="4"/>
<circle cx="478.14" cy="480.085" r="4"/>
<circle cx="480.53" cy="490.029" r="4"/>
<circle cx="482.92" cy="473.681" r="4"/>
<circle cx="485.31" cy="469.497" r="4"/>
<circle cx="487.7" cy="464.7" r="4"/>
<circle cx="490.09" cy="458.831" r="4"/>
<circle cx="492.48" cy="459.445" r="4"/>
<circle cx="494.87" cy="449.672" r="4"/>
<circle cx="497.26" cy="461.967" r="4"/>
<circle cx="499.65" cy="453.32" r="4"/>
<circle cx="502.04" cy="452.365" r="4"/>
<circle cx="504.43" cy="436.863" r="4"/>
<circle cx="506.82" cy="448.111" r="4"/>
<circle cx="509.21" cy="463.636" r="4"/>
<circle cx="511.6" cy="459.941" r="4"/>
<circle cx="513.99" cy="466.214" r="4"/>
<circle cx="516.38" cy="457.356" r="4"/>
<circle cx="518.77" cy="455.532" r="4"/>
<circle cx="521.16" cy="449.881" r="4"/>
<circle cx="523.55" cy="472.09" r="4"/>
<circle cx="525.94" cy="470.452" r="4"/>
<circle cx="528.33" cy="472.361" r="4"/>
<circle cx="530.72" cy="491.55" r="4"/>
<circle cx="533.11" cy="466.47" r="4"/>
<circle cx="535.5" cy="484.316" r="4"/>
<circle cx="537.89" cy="488.764" r="4"/>
<circle cx="540.28" cy="511.321" r="4"/>
<circle cx="542.67" cy="503.792" r="4"/>
<circle cx="545.06" cy="499.934" r="4"/>
<circle cx="547.45" cy="508.216" r="4"/>
<circle cx="549.84" cy="508.216" r="4"/>
<circle cx="552.23" cy="533.685" r="4"/>
<circle cx="554.62" cy="518.921" r="4"/>
<circle cx="557.01" cy="534.912" r="4"/>
<circle cx="559.4" cy="543.575" r="4"/>
<circle cx="561.79" cy="530.503" r="4"/>
<circle cx="564.18" cy="549.358" r="4"/>
<circle cx="566.57" cy="550.126" r="4"/>
<circle cx="568.96" cy="569.16" r="4"/>
<circle cx="571.35" cy="557.671" r="4"/>
<circle cx="573.74" cy="570.604" r="4"/>
<circle cx="576.13" cy="564.068" r="4"/>
<circle cx="578.52" cy="574.896" r="4"/>
<circle cx="580.91" cy="584.856" r="4"/>
<circle cx="583.3" cy="579.771" r="4"/>
<circle cx="585.69" cy="602.003" r="4"/>
<circle cx="588.08" cy="586.416" r="4"/>
<circle cx="590.47" cy="598.665" r="4"/>
<circle cx="592.86" cy="601.584" r="4"/>
<circle cx="595.25" cy="607.895" r="4"/>
<circle cx="597.64" cy="613.29" r="4"/>
<circle cx="600.03" cy="612.467" r="4"/>
<circle cx="602.42" cy="624.142" r="4"/>
<circle cx="604.81" cy="620.02" r="4"/>
<circle cx="607.2" cy="631.407" r="4"/>
<circle cx="609.59" cy="625.321" r="4"/>
<circle cx="611.98" cy="633.674" r="4"/>
<circle cx="614.37" cy="636.282" r="4"/>
<circle cx="616.76" cy="633.752" r="4"/>
<circle cx="619.15" cy="648.485" r="4"/>
<circle cx="621.54" cy="647.289" r="4"/>
<circle cx="623.93" cy="651.07" r="4"/>
<circle cx="626.32" cy="654.144" r="4"/>
<circle cx="628.71" cy="658.522" r="4"/>
<circle cx="631.1" cy="656.03" r="4"/>
<circle cx="633.49" cy="665.05" r="4"/>
<circle cx="635.88" cy="670.724" r="4"/>
<circle cx="638.27" cy="669.886" r="4"/>
<circle cx="640.66" cy="673.247" r="4"/>
<circle cx="643.05" cy="676.872" r="4"/>
<circle cx="645.44" cy="677.307" r="4"/>
<circle cx="647.83" cy="683.051" r="4"/>
<circle cx="650.22" cy="680.35" r="4"/>
<circle cx="652.61" cy="691.163" r="4"/>
<circle cx="655" cy="687.538" r="4"/>
<circle cx="657.39" cy="696.511" r="4"/>
<circle cx="659.78" cy="693.701" r="4"/>
<circle cx="662.17" cy="697.179" r="4"/>
<circle cx="664.56" cy="699.748" r="4"/>
<circle cx="666.95" cy="704.716" r="4"/>
<circle cx="669.34" cy="703.622" r="4"/>
<circle cx="671.73" cy="703.987" r="4"/>
<circle cx="674.12" cy="708.388" r="4"/>
<circle cx="676.51" cy="708.326" r="4"/>
<circle cx="678.9" cy="709.521" r="4"/>
<circle cx="681.29" cy="717.276" r="4"/>
<circle cx="683.68" cy="714.241" r="4"/>
<circle cx="686.07" cy="725.264" r="4"/>
<circle cx="688.46" cy="720.8" r="4"/>
<circle cx="690.85" cy="726.467" r="4"/>
<circle cx="693.24" cy="721.646" r="4"/>
<circle cx="695.63" cy="729.89" r="4"/>
<circle cx="698.02" cy="726.389" r="4"/>
<circle cx="700.41" cy="728.26" r="4"/>
<circle cx="702.8" cy="731.117" r="4"/>
<circle cx="705.19" cy="733.422" r="4"/>
<circle cx="707.58" cy="733.585" r="4"/>
<circle cx="709.97" cy="737.521" r="4"/>
<circle cx="712.36" cy="737.839" r="4"/>
<circle cx="714.75" cy="741.309" r="4"/>
<circle cx="717.14" cy="739.57" r="4"/>
<circle cx="719.53" cy="745.244" r="4"/>
<circle cx="721.92" cy="740.245" r="4"/>
<circle cx="724.31" cy="746.463" r="4"/>
<circle cx="726.7" cy="745.438" r="4"/>
<circle cx="729.09" cy="750.523" r="4"/>
<circle cx="731.48" cy="747.992" r="4"/>
<circle cx="733.87" cy="752.704" r="4"/>
<circle cx="736.26" cy="753.216" r="4"/>
<circle cx="738.65" cy="753.473" r="4"/>
<circle cx="741.04" cy="754.443" r="4"/>
<circle cx="743.43" cy="756.058" r="4"/>
<circle cx="745.82" cy="755.095" r="4"/>
<circle cx="748.21" cy="760.839" r="4"/>
<circle cx="750.6" cy="758.153" r="4"/>
<circle cx="752.99" cy="760.319" r="4"/>
<circle cx="755.38" cy="758.604" r="4"/>
<circle cx="757.77" cy="762.035" r="4"/>
<circle cx="760.16" cy="759.76" r="4"/>
<circle cx="762.55" cy="764.092" r="4"/>
<circle cx="764.94" cy="764.363" r="4"/>
<circle cx="767.33" cy="766.094" r="4"/>
<circle cx="769.72" cy="766.646" r="4"/>
<circle cx="772.11" cy="768.85" r="4"/>
<circle cx="774.5" cy="766.824" r="4"/>
<circle cx="776.89" cy="768.959" r="4"/>
<circle cx="779.28" cy="769.673" r="4"/>
<circle cx="781.67" cy="770.542" r="4"/>
<circle cx="784.06" cy="770.278" r="4"/>
<circle cx="786.45" cy="773.539" r="4"/>
<circle cx="788.84" cy="771.016" r="4"/>
<circle cx="791.23" cy="773.275" r="4"/>
<circle cx="793.62" cy="772.964" r="4"/>
<circle cx="796.01" cy="775.308" r="4"/>
<circle cx="798.4" cy="774.493" r="4"/>
<circle cx="800.79" cy="777.389" r="4"/>
<circle cx="803.18" cy="775.386" r="4"/>
<circle cx="805.57" cy="777.629" r="4"/>
<circle cx="807.96" cy="778.235" r="4"/>
<circle cx="810.35" cy="780.727" r="4"/>
<circle cx="812.74" cy="778.856" r="4"/>
<circle cx="815.13" cy="783.576" r="4"/>
<circle cx="817.52" cy="779.159" r="4"/>
<circle cx="819.91" cy="781.48" r="4"/>
<circle cx="822.3" cy="780.61" r="4"/>
<circle cx="824.69" cy="782.722" r="4"/>
<circle cx="827.08" cy="782.528" r="4"/>
<circle cx="829.47" cy="784.305" r="4"/>
<circle cx="831.86" cy="785.019" r="4"/>
<circle cx="834.25" cy="785.92" r="4"/>
<circle cx="836.64" cy="785.865" r="4"/>
<circle cx="839.03" cy="787.705" r="4"/>
<circle cx="841.42" cy="785.493" r="4"/>
<circle cx="843.81" cy="789.382" r="4"/>
<circle cx="846.2" cy="786.005" r="4"/>
<circle cx="848.59" cy="789.467" r="4"/>
<circle cx="850.98" cy="788.908" r="4"/>
<circle cx="853.37" cy="789.591" r="4"/>
<circle cx="855.76" cy="789.134" r="4"/>
<circle cx="858.15" cy="789.747" r="4"/>
<circle cx="860.54" cy="791.012" r="4"/>
<circle cx="862.93" cy="791.051" r="4"/>
<circle cx="865.32" cy="791.392" r="4"/>
<circle cx="867.71" cy="793.046" r="4"/>
<circle cx="870.1" cy="791.175" r="4"/>
<circle cx="872.49" cy="793.527" r="4"/>
<circle cx="874.88" cy="790.244" r="4"/>
<circle cx="877.27" cy="795.538" r="4"/>
<circle cx="879.66" cy="792.471" r="4"/>
<circle cx="882.05" cy="794.102" r="4"/>
<circle cx="884.44" cy="795.017" r="4"/>
<circle cx="886.83" cy="795.452" r="4"/>
<circle cx="889.22" cy="795.305" r="4"/>
<circle cx="891.61" cy="795.336" r="4"/>
<circle cx="894" cy="796.228" r="4"/>
<circle cx="896.39" cy="796.291" r="4"/>
<circle cx="898.78" cy="794.963" r="4"/>
<circle cx="901.17" cy="799.349" r="4"/>
<circle cx="903.56" cy="795.654" r="4"/>
<circle cx="905.95" cy="797.913" r="4"/>
<circle cx="908.34" cy="796.655" r="4"/>
<circle cx="910.73" cy="798.705" r="4"/>
<circle cx="913.12" cy="797.036" r="4"/>
<circle cx="915.51" cy="799.085" r="4"/>
<circle cx="917.9" cy="798.146" r="4"/>
<circle cx="920.29" cy="798.72" r="4"/>
<circle cx="922.68" cy="798.79" r="4"/>
<circle cx="925.07" cy="799.753" r="4"/>
<circle cx="927.46" cy="799.473" r="4"/>
<circle cx="929.85" cy="800.995" r="4"/>
<circle cx="932.24" cy="799.753" r="4"/>
<circle cx="934.63" cy="800.793" r="4"/>
<circle cx="937.02" cy="799.954" r="4"/>
<circle cx="939.41" cy="801.274" r="4"/>
<circle cx="941.8" cy="800.211" r="4"/>
<circle cx="944.19" cy="802.066" r="4"/>
<circle cx="946.58" cy="800.676" r="4"/>
<circle cx="948.97" cy="802.609" r="4"/>
<circle cx="951.36" cy="801.748" r="4"/>
<circle cx="953.75" cy="802.167" r="4"/>
<circle cx="956.14" cy="801.685" r="4"/>
<circle cx="958.53" cy="802.57" r="4"/>
<circle cx="960.92" cy="802.136" r="4"/>
<circle cx="963.31" cy="802.314" r="4"/>
<circle cx="965.7" cy="803.277" r="4"/>
<circle cx="968.09" cy="803.261" r="4"/>
<circle cx="970.48" cy="802.12" r="4"/>
<circle cx="972.87" cy="803.898" r="4"/>
<circle cx="975.26" cy="802.881" r="4"/>
<circle cx="977.65" cy="803.913" r="4"/>
<circle cx="980.04" cy="803.417" r="4"/>
<circle cx="982.43" cy="804.263" r="4"/>
<circle cx="984.82" cy="803.184" r="4"/>
<circle cx="987.21" cy="804.395" r="4"/>
<circle cx="989.6" cy="804.286" r="4"/>
<circle cx="991.99" cy="804.651" r="4"/>
<circle cx="994.38" cy="804.721" r="4"/>
<circle cx="996.77" cy="805.217" r="4"/>
<circle cx="999.16" cy="803.875" r="4"/>
<circle cx="1001.55" cy="805.365" r="4"/>
<circle cx="1003.94" cy="804.759" r="4"/>
<circle cx="1006.33" cy="805.318" r="4"/>
<circle cx="1008.72" cy="805.171" r="4"/>
<circle cx="1011.11" cy="805.737" r="4"/>
<circle cx="1013.5" cy="805.155" r="4"/>
<circle cx="1015.89" cy="805.706" r="4"/>
<circle cx="1018.28" cy="805.039" r="4"/>
<circle cx="1020.67" cy="805.155" r="4"/>
<circle cx="1023.06" cy="805.652" r="4"/>
<circle cx="1025.45" cy="805.947" r="4"/>
<circle cx="1027.84" cy="805.8" r="4"/>
<circle cx="1030.23" cy="806.754" r="4"/>
<circle cx="1032.62" cy="805.846" r="4"/>
<circle cx="1035.01" cy="806.188" r="4"/>
<circle cx="1037.4" cy="805.854" r="4"/>
<circle cx="1039.79" cy="806.77" r="4"/>
<circle cx="1042.18" cy="806.739" r="4"/>
<circle cx="1044.57" cy="806.785" r="4"/>
<circle cx="1046.96" cy="806.754" r="4"/>
<circle cx="1049.35" cy="807.026" r="4"/>
<circle cx="1051.74" cy="806.607" r="4"/>
<circle cx="1054.13" cy="806.778" r="4"/>
<circle cx="1056.52" cy="807.29" r="4"/>
<circle cx="1058.91" cy="807.321" r="4"/>
<circle cx="1061.3" cy="807.174" r="4"/>
<circle cx="1063.69" cy="807.267" r="4"/>
<circle cx="1066.08" cy="806.933" r="4"/>
<circle cx="1068.47" cy="807.274" r="4"/>
<circle cx="1070.86" cy="806.622" r="4"/>
<circle cx="1073.25" cy="808.105" r="4"/>
<circle cx="1075.64" cy="807.267" r="4"/>
<circle cx="1078.03" cy="807.748" r="4"/>
<circle cx="1080.42" cy="808.19" r="4"/>
<circle cx="1082.81" cy="808.221" r="4"/>
<circle cx="1085.2" cy="807.717" r="4"/>
<circle cx="1087.59" cy="808.206" r="4"/>
<circle cx="1089.98" cy="807.864" r="4"/>
<circle cx="1092.37" cy="808.548" r="4"/>
<circle cx="1094.76" cy="808.121" r="4"/>
<circle cx="1097.15" cy="808.385" r="4"/>
<circle cx="1099.54" cy="808.043" r="4"/>
<circle cx="1101.93" cy="808.998" r="4"/>
<circle cx="1104.32" cy="808.245" r="4"/>
<circle cx="1106.71" cy="808.346" r="4"/>
<circle cx="1109.1" cy="808.594" r="4"/>
<circle cx="1111.49" cy="808.687" r="4"/>
<circle cx="1113.88" cy="808.579" r="4"/>
<circle cx="1116.27" cy="808.959" r="4"/>
<circle cx="1118.66" cy="808.936" r="4"/>
<circle cx="1121.05" cy="808.679" r="4"/>
<circle cx="1123.44" cy="809.006" r="4"/>
<circle cx="1125.83" cy="808.998" r="4"/>
<circle cx="1128.22" cy="808.967" r="4"/>
<circle cx="1130.61" cy="809.363" r="4"/>
<circle cx="1133" cy="809.207" r="4"/>
<circle cx="1135.39" cy="809.324" r="4"/>
<circle cx="1137.78" cy="809.339" r="4"/>
<circle cx="1140.17" cy="809.277" r="4"/>
<circle cx="1142.56" cy="809.541" r="4"/>
<circle cx="1144.95" cy="809.65" r="4"/>
<circle cx="1147.34" cy="809.145" r="4"/>
<circle cx="1149.73" cy="809.766" r="4"/>
<circle cx="1152.12" cy="809.51" r="4"/>
<circle cx="1154.51" cy="809.51" r="4"/>
<circle cx="1156.9" cy="809.627" r="4"/>
<circle cx="1159.29" cy="810.232" r="4"/>
<circle cx="1161.68" cy="809.774" r="4"/>
<circle cx="1164.07" cy="809.432" r="4"/>
<circle cx="1166.46" cy="809.805" r="4"/>
<circle cx="1168.85" cy="810.434" r="4"/>
<circle cx="1171.24" cy="809.883" r="4"/>
<circle cx="1173.63" cy="810.465" r="4"/>
<circle cx="1176.02" cy="810.232" r="4"/>
<circle cx="1178.41" cy="810.348" r="4"/>
<circle cx="1180.8" cy="809.937" r="4"/>
<circle cx="1183.19" cy="810.449" r="4"/>
<circle cx="1185.58" cy="810.007" r="4"/>
<circle cx="1187.97" cy="810.667" r="4"/>
<circle cx="1190.36" cy="810.341" r="4"/>
<circle cx="1192.75" cy="810.651" r="4"/>
<circle cx="1195.14" cy="810.271" r="4"/>
<circle cx="1197.53" cy="810.651" r="4"/>
<circle cx="1199.92" cy="810.209" r="4"/>
<circle cx="1202.31" cy="810.814" r="4"/>
<circle cx="1204.7" cy="810.504" r="4"/>
<circle cx="1207.09" cy="810.822" r="4"/>
<circle cx="1209.48" cy="810.861" r="4"/>
<circle cx="1211.87" cy="810.674" r="4"/>
<circle cx="1214.26" cy="810.729" r="4"/>
<circle cx="1216.65" cy="810.713" r="4"/>
<circle cx="1219.04" cy="810.806" r="4"/>
<circle cx="1221.43" cy="810.822" r="4"/>
<circle cx="1223.82" cy="810.783" r="4"/>
<circle cx="1226.21" cy="811.101" r="4"/>
<circle cx="1228.6" cy="810.853" r="4"/>
<circle cx="1230.99" cy="811.125" r="4"/>
<circle cx="1233.38" cy="810.799" r="4"/>
<circle cx="1235.77" cy="810.954" r="4"/>
<circle cx="1238.16" cy="810.861" r="4"/>
<circle cx="1240.55" cy="811.094" r="4"/>
<circle cx="1242.94" cy="810.931" r="4"/>
<circle cx="1245.33" cy="811.435" r="4"/>
<circle cx="1247.72" cy="811.365" r="4"/>
<circle cx="1250.11" cy="811.233" r="4"/>
<circle cx="1252.5" cy="811.156" r="4"/>
</g>
<g fill="#000">
<circle cx="298.89" cy="813.5" r="4"/>
<circle cx="301.28" cy="813.5" r="4"/>
<circle cx="303.67" cy="813.5" r="4"/>
<circle cx="306.06" cy="813.5" r="4"/>
<circle cx="308.45" cy="813.5" r="4"/>
<circle cx="310.84" cy="813.5" r="4"/>
<circle cx="313.23" cy="813.5" r="4"/>
<circle cx="315.62" cy="813.5" r="4"/>
<circle cx="318.01" cy="813.5" r="4"/>
<circle cx="320.4" cy="813.484" r="4"/>
<circle cx="322.79" cy="813.484" r="4"/>
<circle cx="325.18" cy="813.5" r="4"/>
<circle cx="327.57" cy="813.461" r="4"/>
<circle cx="329.96" cy="813.492" r="4"/>
<circle cx="332.35" cy="813.438" r="4"/>
<circle cx="334.74" cy="813.453" r="4"/>
<circle cx="337.13" cy="813.407" r="4"/>
<circle cx="339.52" cy="813.337" r="4"/>
<circle cx="341.91" cy="813.306" r="4"/>
<circle cx="344.3" cy="813.259" r="4"/>
<circle cx="346.69" cy="813.127" r="4"/>
<circle cx="349.08" cy="812.693" r="4"/>
<circle cx="351.47" cy="812.669" r="4"/>
<circle cx="353.86" cy="812.475" r="4"/>
<circle cx="356.25" cy="812.242" r="4"/>
<circle cx="358.64" cy="812.01" r="4"/>
<circle cx="361.03" cy="811.233" r="4"/>
<circle cx="363.42" cy="810.542" r="4"/>
<circle cx="365.81" cy="810.294" r="4"/>
<circle cx="368.2" cy="809.502" r="4"/>
<circle cx="370.59" cy="807.903" r="4"/>
<circle cx="372.98" cy="807.158" r="4"/>
<circle cx="375.37" cy="805.225" r="4"/>
<circle cx="377.76" cy="803.525" r="4"/>
<circle cx="380.15" cy="802.089" r="4"/>
<circle cx="382.54" cy="799.807" r="4"/>
<circle cx="384.93" cy="797.005" r="4"/>
<circle cx="387.32" cy="795.553" r="4"/>
<circle cx="389.71" cy="791.4" r="4"/>
<circle cx="392.1" cy="786.642" r="4"/>
<circle cx="394.49" cy="782.722" r="4"/>
<circle cx="396.88" cy="779.694" r="4"/>
<circle cx="399.27" cy="775.308" r="4"/>
<circle cx="401.66" cy="766.84" r="4"/>
<circle cx="404.05" cy="763.502" r="4"/>
<circle cx="406.44" cy="752.37" r="4"/>
<circle cx="408.83" cy="751.54" r="4"/>
<circle cx="411.22" cy="740.99" r="4"/>
<circle cx="413.61" cy="731.683" r="4"/>
<circle cx="416" cy="725.559" r="4"/>
<circle cx="418.39" cy="709.661" r="4"/>
<circle cx="420.78" cy="704.088" r="4"/>
<circle cx="423.17" cy="691.823" r="4"/>
<circle cx="425.56" cy="688.679" r="4"/>
<circle cx="427.95" cy="674.334" r="4"/>
<circle cx="430.34" cy="658.436" r="4"/>
<circle cx="432.73" cy="648.275" r="4"/>
<circle cx="435.12" cy="629.847" r="4"/>
<circle cx="437.51" cy="621.937" r="4"/>
<circle cx="439.9" cy="608.531" r="4"/>
<circle cx="442.29" cy="604.526" r="4"/>
<circle cx="444.68" cy="588.892" r="4"/>
<circle cx="447.07" cy="567.483" r="4"/>
<circle cx="449.46" cy="546.121" r="4"/>
<circle cx="451.85" cy="536.588" r="4"/>
<circle cx="454.24" cy="531.62" r="4"/>
<circle cx="456.63" cy="512.478" r="4"/>
<circle cx="459.02" cy="507.161" r="4"/>
<circle cx="461.41" cy="485.954" r="4"/>
<circle cx="463.8" cy="483.446" r="4"/>
<circle cx="466.19" cy="461.494" r="4"/>
<circle cx="468.58" cy="450.068" r="4"/>
<circle cx="470.97" cy="443.788" r="4"/>
<circle cx="473.36" cy="436.6" r="4"/>
<circle cx="475.75" cy="429.163" r="4"/>
<circle cx="478.14" cy="410.991" r="4"/>
<circle cx="480.53" cy="403.865" r="4"/>
<circle cx="482.92" cy="392.19" r="4"/>
<circle cx="485.31" cy="387.028" r="4"/>
<circle cx="487.7" cy="378.699" r="4"/>
<circle cx="490.09" cy="382.93" r="4"/>
<circle cx="492.48" cy="394.457" r="4"/>
<circle cx="494.87" cy="376.968" r="4"/>
<circle cx="497.26" cy="376.254" r="4"/>
<circle cx="499.65" cy="353.867" r="4"/>
<circle cx="502.04" cy="352.811" r="4"/>
<circle cx="504.43" cy="342.037" r="4"/>
<circle cx="506.82" cy="372.047" r="4"/>
<circle cx="509.21" cy="362.654" r="4"/>
<circle cx="511.6" cy="370.238" r="4"/>
<circle cx="513.99" cy="376.526" r="4"/>
<circle cx="516.38" cy="350.001" r="4"/>
<circle cx="518.77" cy="353.735" r="4"/>
<circle cx="521.16" cy="365.231" r="4"/>
<circle cx="523.55" cy="393.137" r="4"/>
<circle cx="525.94" cy="385.08" r="4"/>
<circle cx="528.33" cy="379.871" r="4"/>
<circle cx="530.72" cy="385.755" r="4"/>
<circle cx="533.11" cy="375.423" r="4"/>
<circle cx="535.5" cy="401.575" r="4"/>
<circle cx="537.89" cy="383.194" r="4"/>
<circle cx="540.28" cy="417.946" r="4"/>
<circle cx="542.67" cy="419.67" r="4"/>
<circle cx="545.06" cy="409.881" r="4"/>
<circle cx="547.45" cy="424.242" r="4"/>
<circle cx="549.84" cy="422.41" r="4"/>
<circle cx="552.23" cy="453.607" r="4"/>
<circle cx="554.62" cy="440.357" r="4"/>
<circle cx="557.01" cy="460.306" r="4"/>
<circle cx="559.4" cy="446.38" r="4"/>
<circle cx="561.79" cy="461.758" r="4"/>
<circle cx="564.18" cy="474.946" r="4"/>
<circle cx="566.57" cy="469.419" r="4"/>
<circle cx="568.96" cy="495.261" r="4"/>
<circle cx="571.35" cy="479.922" r="4"/>
<circle cx="573.74" cy="497.101" r="4"/>
<circle cx="576.13" cy="497.038" r="4"/>
<circle cx="578.52" cy="507.029" r="4"/>
<circle cx="580.91" cy="514.574" r="4"/>
<circle cx="583.3" cy="514.186" r="4"/>
<circle cx="585.69" cy="534.974" r="4"/>
<circle cx="588.08" cy="517.679" r="4"/>
<circle cx="590.47" cy="544.576" r="4"/>
<circle cx="592.86" cy="534.244" r="4"/>
<circle cx="595.25" cy="543.318" r="4"/>
<circle cx="597.64" cy="551.865" r="4"/>
<circle cx="600.03" cy="545.383" r="4"/>
<circle cx="602.42" cy="570.953" r="4"/>
<circle cx="604.81" cy="568.857" r="4"/>
<circle cx="607.2" cy="575.3" r="4"/>
<circle cx="609.59" cy="577.334" r="4"/>
<circle cx="611.98" cy="578.296" r="4"/>
<circle cx="614.37" cy="580.563" r="4"/>
<circle cx="616.76" cy="585.523" r="4"/>
<circle cx="619.15" cy="608.128" r="4"/>
<circle cx="621.54" cy="594.869" r="4"/>
<circle cx="623.93" cy="609.385" r="4"/>
<circle cx="626.32" cy="601.7" r="4"/>
<circle cx="628.71" cy="608.772" r="4"/>
<circle cx="631.1" cy="612.622" r="4"/>
<circle cx="633.49" cy="614.508" r="4"/>
<circle cx="635.88" cy="627.937" r="4"/>
<circle cx="638.27" cy="629.544" r="4"/>
<circle cx="640.66" cy="640.753" r="4"/>
<circle cx="643.05" cy="640.73" r="4"/>
<circle cx="645.44" cy="636.849" r="4"/>
<circle cx="647.83" cy="644.875" r="4"/>
<circle cx="650.22" cy="642.244" r="4"/>
<circle cx="652.61" cy="651.97" r="4"/>
<circle cx="655" cy="645.217" r="4"/>
<circle cx="657.39" cy="660.276" r="4"/>
<circle cx="659.78" cy="654.571" r="4"/>
<circle cx="662.17" cy="661.052" r="4"/>
<circle cx="664.56" cy="660.773" r="4"/>
<circle cx="666.95" cy="663.699" r="4"/>
<circle cx="669.34" cy="672.463" r="4"/>
<circle cx="671.73" cy="673.247" r="4"/>
<circle cx="674.12" cy="677.998" r="4"/>
<circle cx="676.51" cy="679.442" r="4"/>
<circle cx="678.9" cy="682.376" r="4"/>
<circle cx="681.29" cy="684.759" r="4"/>
<circle cx="683.68" cy="683.02" r="4"/>
<circle cx="686.07" cy="694.02" r="4"/>
<circle cx="688.46" cy="688.283" r="4"/>
<circle cx="690.85" cy="694.369" r="4"/>
<circle cx="693.24" cy="694.804" r="4"/>
<circle cx="695.63" cy="700.315" r="4"/>
<circle cx="698.02" cy="698.964" r="4"/>
<circle cx="700.41" cy="705.438" r="4"/>
<circle cx="702.8" cy="706.967" r="4"/>
<circle cx="705.19" cy="706.719" r="4"/>
<circle cx="707.58" cy="707.883" r="4"/>
<circle cx="709.97" cy="709.684" r="4"/>
<circle cx="712.36" cy="711.64" r="4"/>
<circle cx="714.75" cy="717.656" r="4"/>
<circle cx="717.14" cy="716.834" r="4"/>
<circle cx="719.53" cy="722.609" r="4"/>
<circle cx="721.92" cy="719.193" r="4"/>
<circle cx="724.31" cy="726.118" r="4"/>
<circle cx="726.7" cy="720.567" r="4"/>
<circle cx="729.09" cy="727.08" r="4"/>
<circle cx="731.48" cy="727.414" r="4"/>
<circle cx="733.87" cy="731.807" r="4"/>
<circle cx="736.26" cy="730.371" r="4"/>
<circle cx="738.65" cy="731.171" r="4"/>
<circle cx="741.04" cy="731.683" r="4"/>
<circle cx="743.43" cy="735.029" r="4"/>
<circle cx="745.82" cy="733.981" r="4"/>
<circle cx="748.21" cy="738.002" r="4"/>
<circle cx="750.6" cy="738.964" r="4"/>
<circle cx="752.99" cy="744.561" r="4"/>
<circle cx="755.38" cy="739.725" r="4"/>
<circle cx="757.77" cy="743.878" r="4"/>
<circle cx="760.16" cy="744.988" r="4"/>
<circle cx="762.55" cy="746.207" r="4"/>
<circle cx="764.94" cy="746.106" r="4"/>
<circle cx="767.33" cy="750.996" r="4"/>
<circle cx="769.72" cy="748.994" r="4"/>
<circle cx="772.11" cy="751.478" r="4"/>
<circle cx="774.5" cy="751.377" r="4"/>
<circle cx="776.89" cy="753.302" r="4"/>
<circle cx="779.28" cy="751.563" r="4"/>
<circle cx="781.67" cy="757.556" r="4"/>
<circle cx="784.06" cy="754.101" r="4"/>
<circle cx="786.45" cy="756.911" r="4"/>
<circle cx="788.84" cy="756.888" r="4"/>
<circle cx="791.23" cy="760.373" r="4"/>
<circle cx="793.62" cy="759.923" r="4"/>
<circle cx="796.01" cy="760.498" r="4"/>
<circle cx="798.4" cy="763.595" r="4"/>
<circle cx="800.79" cy="764.425" r="4"/>
<circle cx="803.18" cy="762.283" r="4"/>
<circle cx="805.57" cy="765.458" r="4"/>
<circle cx="807.96" cy="763.898" r="4"/>
<circle cx="810.35" cy="768.959" r="4"/>
<circle cx="812.74" cy="764.86" r="4"/>
<circle cx="815.13" cy="770.713" r="4"/>
<circle cx="817.52" cy="768.524" r="4"/>
<circle cx="819.91" cy="771.272" r="4"/>
<circle cx="822.3" cy="770.566" r="4"/>
<circle cx="824.69" cy="771.614" r="4"/>
<circle cx="827.08" cy="771.218" r="4"/>
<circle cx="829.47" cy="772.856" r="4"/>
<circle cx="831.86" cy="772.762" r="4"/>
<circle cx="834.25" cy="776.566" r="4"/>
<circle cx="836.64" cy="773.927" r="4"/>
<circle cx="839.03" cy="777.529" r="4"/>
<circle cx="841.42" cy="773.818" r="4"/>
<circle cx="843.81" cy="780.106" r="4"/>
<circle cx="846.2" cy="776.69" r="4"/>
<circle cx="848.59" cy="778.677" r="4"/>
<circle cx="850.98" cy="779.593" r="4"/>
<circle cx="853.37" cy="779.244" r="4"/>
<circle cx="855.76" cy="780.346" r="4"/>
<circle cx="858.15" cy="780.23" r="4"/>
<circle cx="860.54" cy="781.713" r="4"/>
<circle cx="862.93" cy="782.171" r="4"/>
<circle cx="865.32" cy="782.124" r="4"/>
<circle cx="867.71" cy="785.508" r="4"/>
<circle cx="870.1" cy="780.657" r="4"/>
<circle cx="872.49" cy="786.393" r="4"/>
<circle cx="874.88" cy="784.228" r="4"/>
<circle cx="877.27" cy="786.168" r="4"/>
<circle cx="879.66" cy="784.895" r="4"/>
<circle cx="882.05" cy="787.752" r="4"/>
<circle cx="884.44" cy="787.612" r="4"/>
<circle cx="886.83" cy="786.572" r="4"/>
<circle cx="889.22" cy="787.131" r="4"/>
<circle cx="891.61" cy="788.202" r="4"/>
<circle cx="894" cy="788.559" r="4"/>
<circle cx="896.39" cy="789.871" r="4"/>
<circle cx="898.78" cy="788.443" r="4"/>
<circle cx="901.17" cy="790.911" r="4"/>
<circle cx="903.56" cy="789.11" r="4"/>
<circle cx="905.95" cy="791.804" r="4"/>
<circle cx="908.34" cy="790.981" r="4"/>
<circle cx="910.73" cy="792.627" r="4"/>
<circle cx="913.12" cy="791.579" r="4"/>
<circle cx="915.51" cy="793.193" r="4"/>
<circle cx="917.9" cy="791.757" r="4"/>
<circle cx="920.29" cy="793.271" r="4"/>
<circle cx="922.68" cy="793.768" r="4"/>
<circle cx="925.07" cy="793.698" r="4"/>
<circle cx="927.46" cy="793.131" r="4"/>
<circle cx="929.85" cy="794.932" r="4"/>
<circle cx="932.24" cy="794.598" r="4"/>
<circle cx="934.63" cy="795.499" r="4"/>
<circle cx="937.02" cy="794.994" r="4"/>
<circle cx="939.41" cy="796.306" r="4"/>
<circle cx="941.8" cy="794.73" r="4"/>
<circle cx="944.19" cy="796.966" r="4"/>
<circle cx="946.58" cy="795.421" r="4"/>
<circle cx="948.97" cy="797.727" r="4"/>
<circle cx="951.36" cy="796.803" r="4"/>
<circle cx="953.75" cy="796.865" r="4"/>
<circle cx="956.14" cy="797.23" r="4"/>
<circle cx="958.53" cy="798.433" r="4"/>
<circle cx="960.92" cy="797.742" r="4"/>
<circle cx="963.31" cy="798.254" r="4"/>
<circle cx="965.7" cy="798.332" r="4"/>
<circle cx="968.09" cy="798.837" r="4"/>
<circle cx="970.48" cy="798.06" r="4"/>
<circle cx="972.87" cy="800.133" r="4"/>
<circle cx="975.26" cy="799.217" r="4"/>
<circle cx="977.65" cy="800.405" r="4"/>
<circle cx="980.04" cy="799.24" r="4"/>
<circle cx="982.43" cy="800.731" r="4"/>
<circle cx="984.82" cy="800.296" r="4"/>
<circle cx="987.21" cy="800.669" r="4"/>
<circle cx="989.6" cy="799.947" r="4"/>
<circle cx="991.99" cy="801.142" r="4"/>
<circle cx="994.38" cy="800.808" r="4"/>
<circle cx="996.77" cy="801.453" r="4"/>
<circle cx="999.16" cy="800.35" r="4"/>
<circle cx="1001.55" cy="801.98" r="4"/>
<circle cx="1003.94" cy="800.187" r="4"/>
<circle cx="1006.33" cy="802.547" r="4"/>
<circle cx="1008.72" cy="801.693" r="4"/>
<circle cx="1011.11" cy="802.539" r="4"/>
<circle cx="1013.5" cy="801.515" r="4"/>
<circle cx="1015.89" cy="803.137" r="4"/>
<circle cx="1018.28" cy="801.973" r="4"/>
<circle cx="1020.67" cy="802.167" r="4"/>
<circle cx="1023.06" cy="803.153" r="4"/>
<circle cx="1025.45" cy="804.03" r="4"/>
<circle cx="1027.84" cy="803.013" r="4"/>
<circle cx="1030.23" cy="803.486" r="4"/>
<circle cx="1032.62" cy="802.811" r="4"/>
<circle cx="1035.01" cy="803.471" r="4"/>
<circle cx="1037.4" cy="803.028" r="4"/>
<circle cx="1039.79" cy="803.75" r="4"/>
<circle cx="1042.18" cy="803.548" r="4"/>
<circle cx="1044.57" cy="804.596" r="4"/>
<circle cx="1046.96" cy="803.805" r="4"/>
<circle cx="1049.35" cy="803.797" r="4"/>
<circle cx="1051.74" cy="804.014" r="4"/>
<circle cx="1054.13" cy="804.426" r="4"/>
<circle cx="1056.52" cy="804.55" r="4"/>
<circle cx="1058.91" cy="805.171" r="4"/>
<circle cx="1061.3" cy="804.395" r="4"/>
<circle cx="1063.69" cy="805.497" r="4"/>
<circle cx="1066.08" cy="804.899" r="4"/>
<circle cx="1068.47" cy="805.078" r="4"/>
<circle cx="1070.86" cy="804.534" r="4"/>
<circle cx="1073.25" cy="805.706" r="4"/>
<circle cx="1075.64" cy="805.489" r="4"/>
<circle cx="1078.03" cy="805.45" r="4"/>
<circle cx="1080.42" cy="805.21" r="4"/>
<circle cx="1082.81" cy="806.289" r="4"/>
<circle cx="1085.2" cy="805.598" r="4"/>
<circle cx="1087.59" cy="805.52" r="4"/>
<circle cx="1089.98" cy="805.194" r="4"/>
<circle cx="1092.37" cy="806.203" r="4"/>
<circle cx="1094.76" cy="806.102" r="4"/>
<circle cx="1097.15" cy="806.188" r="4"/>
<circle cx="1099.54" cy="806.366" r="4"/>
<circle cx="1101.93" cy="807.344" r="4"/>
<circle cx="1104.32" cy="806.188" r="4"/>
<circle cx="1106.71" cy="806.545" r="4"/>
<circle cx="1109.1" cy="806.708" r="4"/>
<circle cx="1111.49" cy="807.073" r="4"/>
<circle cx="1113.88" cy="806.646" r="4"/>
<circle cx="1116.27" cy="807.5" r="4"/>
<circle cx="1118.66" cy="806.7" r="4"/>
<circle cx="1121.05" cy="807.212" r="4"/>
<circle cx="1123.44" cy="807.026" r="4"/>
<circle cx="1125.83" cy="807.546" r="4"/>
<circle cx="1128.22" cy="806.91" r="4"/>
<circle cx="1130.61" cy="807.748" r="4"/>
<circle cx="1133" cy="807.391" r="4"/>
<circle cx="1135.39" cy="807.337" r="4"/>
<circle cx="1137.78" cy="807.857" r="4"/>
<circle cx="1140.17" cy="808.159" r="4"/>
<circle cx="1142.56" cy="808.121" r="4"/>
<circle cx="1144.95" cy="808.548" r="4"/>
<circle cx="1147.34" cy="807.375" r="4"/>
<circle cx="1149.73" cy="808.229" r="4"/>
<circle cx="1152.12" cy="808.61" r="4"/>
<circle cx="1154.51" cy="808.602" r="4"/>
<circle cx="1156.9" cy="807.942" r="4"/>
<circle cx="1159.29" cy="809.285" r="4"/>
<circle cx="1161.68" cy="808.773" r="4"/>
<circle cx="1164.07" cy="808.268" r="4"/>
<circle cx="1166.46" cy="808.462" r="4"/>
<circle cx="1168.85" cy="809.037" r="4"/>
<circle cx="1171.24" cy="808.516" r="4"/>
<circle cx="1173.63" cy="808.99" r="4"/>
<circle cx="1176.02" cy="808.866" r="4"/>
<circle cx="1178.41" cy="809.401" r="4"/>
<circle cx="1180.8" cy="809.06" r="4"/>
<circle cx="1183.19" cy="808.687" r="4"/>
<circle cx="1185.58" cy="808.78" r="4"/>
<circle cx="1187.97" cy="809.526" r="4"/>
<circle cx="1190.36" cy="809.285" r="4"/>
<circle cx="1192.75" cy="809.137" r="4"/>
<circle cx="1195.14" cy="809.223" r="4"/>
<circle cx="1197.53" cy="809.883" r="4"/>
<circle cx="1199.92" cy="808.905" r="4"/>
<circle cx="1202.31" cy="809.712" r="4"/>
<circle cx="1204.7" cy="809.293" r="4"/>
<circle cx="1207.09" cy="809.145" r="4"/>
<circle cx="1209.48" cy="809.588" r="4"/>
<circle cx="1211.87" cy="809.712" r="4"/>
<circle cx="1214.26" cy="809.766" r="4"/>
<circle cx="1216.65" cy="810.193" r="4"/>
<circle cx="1219.04" cy="809.937" r="4"/>
<circle cx="1221.43" cy="809.89" r="4"/>
<circle cx="1223.82" cy="809.937" r="4"/>
<circle cx="1226.21" cy="810.216" r="4"/>
<circle cx="1228.6" cy="810.007" r="4"/>
<circle cx="1230.99" cy="810.271" r="4"/>
<circle cx="1233.38" cy="809.673" r="4"/>
<circle cx="1235.77" cy="810.224" r="4"/>
<circle cx="1238.16" cy="810.123" r="4"/>
<circle cx="1240.55" cy="810.473" r="4"/>
<circle cx="1242.94" cy="810.387" r="4"/>
<circle cx="1245.33" cy="810.535" r="4"/>
<circle cx="1247.72" cy="810.302" r="4"/>
<circle cx="1250.11" cy="809.921" r="4"/>
<circle cx="1252.5" cy="810.286" r="4"/>
</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">100</text>
<text x="774.5" y="839.45" class="B C G">200</text>
<text x="1013.5" y="839.45" class="B C G">300</text>
<text x="1252.5" y="839.45" class="B C G">400</text>
<text x="279" y="819.45" class="B C H">0</text>
<text x="279" y="664.2" class="B C H">20,000</text>
<text x="279" y="508.95" class="B C H">40,000</text>
<text x="279" y="353.7" class="B C H">60,000</text>
<text x="279" y="198.45" class="B C H">80,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>