diff --git a/plotting/ceno.data b/plotting/ceno.data index bd70b96a..b10dd0e2 100644 --- a/plotting/ceno.data +++ b/plotting/ceno.data @@ -286,6 +286,7 @@ 9459 ceno 21.25 9505 ceno 21.56 9525 ceno 21.82 +9631 ceno 22.12 9679 ceno 22.72 9691 ceno 22.4 9694 ceno 21.71 @@ -311,6 +312,7 @@ 10278 ceno 23.42 10328 ceno 24.26 10371 ceno 23.48 +10423 ceno 24.08 10439 ceno 23.21 10447 ceno 23.07 10460 ceno 23.9 @@ -360,3 +362,4 @@ 11805 ceno 24.88 11901 ceno 24.94 11935 ceno 24.93 +19563 ceno 31.05 diff --git a/plotting/plot b/plotting/plot index 80652489..9a8b9082 100755 --- a/plotting/plot +++ b/plotting/plot @@ -1,10 +1,10 @@ #!/bin/bash set -euxo pipefail -plotting/get_data | grep sp1 > plotting/sp1.data -plotting/get_data | grep ceno > plotting/ceno.data +nice plotting/get_data | nice grep sp1 > plotting/sp1.data +nice plotting/get_data | nice grep ceno > plotting/ceno.data ( cd plotting - gnuplot plot.gnuplot + nice gnuplot plot.gnuplot ) diff --git a/plotting/plot.gnuplot b/plotting/plot.gnuplot index 565540a8..17195606 100644 --- a/plotting/plot.gnuplot +++ b/plotting/plot.gnuplot @@ -1,7 +1,7 @@ # plot_sp1_ceno.gnu # 1) Choose SVG output -set terminal svg size 800,600 font "Helvetica,10" +set terminal svg size 1600,1200 font "Helvetica,10" set output 'sp1_ceno_scatter.svg' # 2) Basic plot settings diff --git a/plotting/sp1.data b/plotting/sp1.data index c7446a43..4a026abe 100644 --- a/plotting/sp1.data +++ b/plotting/sp1.data @@ -286,6 +286,7 @@ 9459 sp1 31.81 9505 sp1 33.82 9525 sp1 32.44 +9631 sp1 33.77 9679 sp1 32.79 9691 sp1 33.09 9694 sp1 32.11 @@ -296,7 +297,7 @@ 9781 sp1 34.4 9806 sp1 33.97 9837 sp1 33.84 -9846 sp1 +9846 sp1 33.42 9896 sp1 32.66 9930 sp1 33.53 9953 sp1 32.9 @@ -311,6 +312,7 @@ 10278 sp1 35.95 10328 sp1 35.54 10371 sp1 35.03 +10423 sp1 35.42 10439 sp1 36.47 10447 sp1 35.16 10460 sp1 35.26 @@ -360,3 +362,4 @@ 11805 sp1 37.05 11901 sp1 36.44 11935 sp1 37.57 +19563 sp1 diff --git a/plotting/sp1_ceno_scatter.svg b/plotting/sp1_ceno_scatter.svg index 5519b4e5..5e247a7d 100644 --- a/plotting/sp1_ceno_scatter.svg +++ b/plotting/sp1_ceno_scatter.svg @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="utf-8" standalone="no"?> <svg - width="800" height="600" - viewBox="0 0 800 600" + width="1600" height="1200" + viewBox="0 0 1600 1200" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" > @@ -11,7 +11,7 @@ <g id="gnuplot_canvas"> -<rect x="0" y="0" width="800" height="600" fill="none"/> +<rect x="0" y="0" width="1600" height="1200" fill="none"/> <defs> <circle id='gpDot' r='0.5' stroke-width='0.5' stroke='currentColor'/> @@ -46,11 +46,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,552.00 L778.99,552.00 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,1152.00 L1578.99,1152.00 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M53.50,552.00 L61.00,552.00 M778.99,552.00 L771.49,552.00 '/> <g transform="translate(46.50,555.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> + <path stroke='black' d='M53.50,1152.00 L61.00,1152.00 M1578.99,1152.00 L1571.49,1152.00 '/> <g transform="translate(46.50,1155.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> <text><tspan font-family="Helvetica" > 5</tspan></text> </g> </g> @@ -59,11 +59,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,479.57 L778.99,479.57 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,993.86 L1578.99,993.86 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M53.50,479.57 L61.00,479.57 M778.99,479.57 L771.49,479.57 '/> <g transform="translate(46.50,482.82)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> + <path stroke='black' d='M53.50,993.86 L61.00,993.86 M1578.99,993.86 L1571.49,993.86 '/> <g transform="translate(46.50,997.11)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> <text><tspan font-family="Helvetica" > 10</tspan></text> </g> </g> @@ -72,11 +72,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,407.15 L778.99,407.15 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,835.72 L1578.99,835.72 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M53.50,407.15 L61.00,407.15 M778.99,407.15 L771.49,407.15 '/> <g transform="translate(46.50,410.40)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> + <path stroke='black' d='M53.50,835.72 L61.00,835.72 M1578.99,835.72 L1571.49,835.72 '/> <g transform="translate(46.50,838.97)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> <text><tspan font-family="Helvetica" > 15</tspan></text> </g> </g> @@ -85,11 +85,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,334.72 L778.99,334.72 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,677.58 L1578.99,677.58 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M53.50,334.72 L61.00,334.72 M778.99,334.72 L771.49,334.72 '/> <g transform="translate(46.50,337.97)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> + <path stroke='black' d='M53.50,677.58 L61.00,677.58 M1578.99,677.58 L1571.49,677.58 '/> <g transform="translate(46.50,680.83)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> <text><tspan font-family="Helvetica" > 20</tspan></text> </g> </g> @@ -98,11 +98,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,262.29 L778.99,262.29 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,519.43 L1578.99,519.43 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M53.50,262.29 L61.00,262.29 M778.99,262.29 L771.49,262.29 '/> <g transform="translate(46.50,265.54)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> + <path stroke='black' d='M53.50,519.43 L61.00,519.43 M1578.99,519.43 L1571.49,519.43 '/> <g transform="translate(46.50,522.68)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> <text><tspan font-family="Helvetica" > 25</tspan></text> </g> </g> @@ -111,11 +111,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,189.86 L778.99,189.86 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,361.29 L1578.99,361.29 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M53.50,189.86 L61.00,189.86 M778.99,189.86 L771.49,189.86 '/> <g transform="translate(46.50,193.11)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> + <path stroke='black' d='M53.50,361.29 L61.00,361.29 M1578.99,361.29 L1571.49,361.29 '/> <g transform="translate(46.50,364.54)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> <text><tspan font-family="Helvetica" > 30</tspan></text> </g> </g> @@ -124,11 +124,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,117.44 L778.99,117.44 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,203.15 L1578.99,203.15 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M53.50,117.44 L61.00,117.44 M778.99,117.44 L771.49,117.44 '/> <g transform="translate(46.50,120.69)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> + <path stroke='black' d='M53.50,203.15 L61.00,203.15 M1578.99,203.15 L1571.49,203.15 '/> <g transform="translate(46.50,206.40)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> <text><tspan font-family="Helvetica" > 35</tspan></text> </g> </g> @@ -137,11 +137,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,45.01 L778.99,45.01 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,45.01 L1578.99,45.01 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M53.50,45.01 L61.00,45.01 M778.99,45.01 L771.49,45.01 '/> <g transform="translate(46.50,48.26)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> + <path stroke='black' d='M53.50,45.01 L61.00,45.01 M1578.99,45.01 L1571.49,45.01 '/> <g transform="translate(46.50,48.26)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="end"> <text><tspan font-family="Helvetica" > 40</tspan></text> </g> </g> @@ -150,11 +150,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,552.00 L53.50,45.01 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M53.50,1152.00 L53.50,45.01 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M53.50,552.00 L53.50,544.50 M53.50,45.01 L53.50,52.51 '/> <g transform="translate(53.50,570.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <path stroke='black' d='M53.50,1152.00 L53.50,1144.50 M53.50,45.01 L53.50,52.51 '/> <g transform="translate(53.50,1170.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> <text><tspan font-family="Helvetica" > 0</tspan></text> </g> </g> @@ -163,11 +163,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M174.42,552.00 L174.42,45.01 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M206.05,1152.00 L206.05,45.01 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M174.42,552.00 L174.42,544.50 M174.42,45.01 L174.42,52.51 '/> <g transform="translate(174.42,570.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <path stroke='black' d='M206.05,1152.00 L206.05,1144.50 M206.05,45.01 L206.05,52.51 '/> <g transform="translate(206.05,1170.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> <text><tspan font-family="Helvetica" > 2000</tspan></text> </g> </g> @@ -176,11 +176,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M295.33,552.00 L295.33,45.01 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M358.60,1152.00 L358.60,45.01 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M295.33,552.00 L295.33,544.50 M295.33,45.01 L295.33,52.51 '/> <g transform="translate(295.33,570.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <path stroke='black' d='M358.60,1152.00 L358.60,1144.50 M358.60,45.01 L358.60,52.51 '/> <g transform="translate(358.60,1170.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> <text><tspan font-family="Helvetica" > 4000</tspan></text> </g> </g> @@ -189,11 +189,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M416.25,552.00 L416.25,45.01 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M511.15,1152.00 L511.15,45.01 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M416.25,552.00 L416.25,544.50 M416.25,45.01 L416.25,52.51 '/> <g transform="translate(416.25,570.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <path stroke='black' d='M511.15,1152.00 L511.15,1144.50 M511.15,45.01 L511.15,52.51 '/> <g transform="translate(511.15,1170.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> <text><tspan font-family="Helvetica" > 6000</tspan></text> </g> </g> @@ -202,11 +202,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M537.16,552.00 L537.16,45.01 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M663.70,1152.00 L663.70,45.01 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M537.16,552.00 L537.16,544.50 M537.16,45.01 L537.16,52.51 '/> <g transform="translate(537.16,570.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <path stroke='black' d='M663.70,1152.00 L663.70,1144.50 M663.70,45.01 L663.70,52.51 '/> <g transform="translate(663.70,1170.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> <text><tspan font-family="Helvetica" > 8000</tspan></text> </g> </g> @@ -215,11 +215,11 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M658.08,552.00 L658.08,45.01 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M816.25,1152.00 L816.25,45.01 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M658.08,552.00 L658.08,544.50 M658.08,45.01 L658.08,52.51 '/> <g transform="translate(658.08,570.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <path stroke='black' d='M816.25,1152.00 L816.25,1144.50 M816.25,45.01 L816.25,52.51 '/> <g transform="translate(816.25,1170.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> <text><tspan font-family="Helvetica" > 10000</tspan></text> </g> </g> @@ -228,25 +228,77 @@ <g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M778.99,552.00 L778.99,45.01 '/></g> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M968.79,1152.00 L968.79,45.01 '/></g> <g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M778.99,552.00 L778.99,544.50 M778.99,45.01 L778.99,52.51 '/> <g transform="translate(778.99,570.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <path stroke='black' d='M968.79,1152.00 L968.79,1144.50 M968.79,45.01 L968.79,52.51 '/> <g transform="translate(968.79,1170.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> <text><tspan font-family="Helvetica" > 12000</tspan></text> </g> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> +<g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> +</g> +<g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M1121.34,1152.00 L1121.34,45.01 '/></g> +<g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> +</g> +<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> + <path stroke='black' d='M1121.34,1152.00 L1121.34,1144.50 M1121.34,45.01 L1121.34,52.51 '/> <g transform="translate(1121.34,1170.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <text><tspan font-family="Helvetica" > 14000</tspan></text> + </g> +</g> +<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> +</g> +<g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> +</g> +<g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M1273.89,1152.00 L1273.89,45.01 '/></g> +<g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> +</g> +<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> + <path stroke='black' d='M1273.89,1152.00 L1273.89,1144.50 M1273.89,45.01 L1273.89,52.51 '/> <g transform="translate(1273.89,1170.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <text><tspan font-family="Helvetica" > 16000</tspan></text> + </g> +</g> +<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> +</g> +<g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> +</g> +<g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M1426.44,1152.00 L1426.44,45.01 '/></g> +<g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> +</g> +<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> + <path stroke='black' d='M1426.44,1152.00 L1426.44,1144.50 M1426.44,45.01 L1426.44,52.51 '/> <g transform="translate(1426.44,1170.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <text><tspan font-family="Helvetica" > 18000</tspan></text> + </g> +</g> +<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> +</g> +<g fill="none" color="black" stroke="black" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> +</g> +<g fill="none" color="gray" stroke="currentColor" stroke-width="0.50" stroke-linecap="butt" stroke-linejoin="miter"> + <path stroke='gray' stroke-dasharray='2,4' class="gridline" d='M1578.99,1152.00 L1578.99,45.01 '/></g> +<g fill="none" color="gray" stroke="gray" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> +</g> +<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> + <path stroke='black' d='M1578.99,1152.00 L1578.99,1144.50 M1578.99,45.01 L1578.99,52.51 '/> <g transform="translate(1578.99,1170.25)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <text><tspan font-family="Helvetica" > 20000</tspan></text> + </g> +</g> +<g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> +</g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M53.50,45.01 L53.50,552.00 L778.99,552.00 L778.99,45.01 L53.50,45.01 Z '/></g> + <path stroke='black' d='M53.50,45.01 L53.50,1152.00 L1578.99,1152.00 L1578.99,45.01 L53.50,45.01 Z '/></g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <g transform="translate(16.00,298.51) rotate(270)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <g transform="translate(16.00,598.51) rotate(270)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> <text><tspan font-family="Helvetica" >time (s)</tspan></text> </g> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <g transform="translate(416.24,592.75)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <g transform="translate(816.24,1192.75)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> <text><tspan font-family="Helvetica" >n</tspan></text> </g> </g> @@ -261,367 +313,370 @@ </g> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <use xlink:href='#gpPt0' transform='translate(56.34,479.28) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(60.57,479.14) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(61.12,483.92) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(63.78,479.57) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(65.41,469.72) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(67.83,466.10) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(68.07,467.55) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(69.46,473.34) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(70.31,473.20) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(70.43,471.61) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(70.79,468.42) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(74.12,471.90) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(75.02,464.07) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(76.11,473.49) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(78.05,471.75) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(81.43,456.11) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(87.36,459.29) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(89.47,452.49) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(91.41,459.87) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(97.57,452.34) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(97.69,455.82) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(98.96,445.97) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(100.17,441.19) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(100.60,447.85) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(104.28,453.35) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(105.01,452.49) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(105.43,447.99) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(107.13,451.04) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(107.91,455.24) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(109.67,450.31) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(111.54,431.48) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(119.22,429.60) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(123.51,423.22) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(127.20,420.76) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(131.61,427.28) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(134.69,424.09) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(136.99,415.55) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(137.42,409.03) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(142.37,410.04) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(144.25,406.42) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(146.60,409.61) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(147.39,415.55) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(148.66,412.94) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(149.63,412.07) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(149.81,410.19) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(149.93,413.23) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(150.35,410.19) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(151.02,408.45) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(151.50,411.06) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(152.89,410.19) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(164.62,412.51) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(166.86,345.44) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(168.31,338.05) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(170.00,332.11) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(170.55,333.70) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(174.17,340.80) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(175.75,343.99) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(175.99,336.89) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(177.62,345.15) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(177.92,336.02) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(178.16,342.40) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(179.19,333.85) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(180.82,341.24) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(183.85,337.91) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(185.78,338.05) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(189.23,329.65) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(191.16,325.30) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(192.73,322.41) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(195.58,320.52) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(201.50,334.86) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(203.37,325.59) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(206.76,319.80) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(209.54,331.10) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(210.81,326.03) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(214.68,313.42) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(215.89,326.61) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(220.06,317.77) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(222.24,321.54) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(222.78,316.47) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(226.23,310.24) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(226.29,323.56) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(226.77,318.35) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(226.83,319.51) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(230.46,314.58) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(231.25,325.01) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(234.45,315.02) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(234.69,321.68) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(237.23,325.74) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(237.53,311.69) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(238.26,328.92) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(240.62,320.67) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(242.97,325.59) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(243.70,324.00) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(243.82,323.28) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(245.15,318.06) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(248.48,320.38) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(249.93,322.55) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(253.80,320.23) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(255.85,309.37) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(256.64,317.63) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(258.63,320.81) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(260.63,324.00) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(260.93,325.59) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(262.99,322.55) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(263.71,324.29) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(263.95,317.92) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(267.64,324.29) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(268.00,315.89) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(272.84,125.84) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(273.02,159.30) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(276.77,159.30) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(278.89,166.98) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(279.55,155.97) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(287.59,156.55) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(288.44,155.39) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(288.98,157.56) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(289.89,162.20) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(290.49,161.76) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(290.86,168.43) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(291.82,165.38) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(292.43,151.04) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(294.73,158.72) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(300.17,162.63) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(302.71,153.07) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(305.43,162.05) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(305.49,157.13) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(307.00,158.87) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(308.57,156.98) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(309.96,153.22) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(310.32,152.35) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(311.29,151.48) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(312.92,136.27) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(316.91,147.28) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(317.03,160.89) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(320.12,152.93) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(321.99,156.11) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(322.84,162.78) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(324.95,166.25) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(327.37,160.75) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(327.49,153.65) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(328.10,151.91) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(329.67,153.51) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(331.36,155.24) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(331.42,149.02) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(332.27,156.55) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(332.75,153.94) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(333.60,159.73) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(339.58,150.03) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(343.82,150.03) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(344.30,161.04) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(345.57,124.97) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(346.11,150.75) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(346.30,151.33) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(351.62,136.70) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(356.03,149.59) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(356.94,158.87) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(357.36,149.02) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(363.77,119.47) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(364.01,121.35) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(366.07,126.13) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(366.13,128.88) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(367.82,135.40) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(368.54,129.46) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(369.75,125.11) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(371.51,113.24) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(372.23,127.00) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(376.58,128.16) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(377.67,136.70) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(382.03,118.89) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(382.33,141.34) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(389.34,122.36) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(390.07,130.33) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(390.37,114.97) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(391.94,124.54) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(392.00,137.14) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(393.09,129.75) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(399.92,136.85) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(401.07,135.40) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(402.76,135.25) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(406.15,122.80) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(406.93,132.36) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(409.29,137.72) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(412.98,121.06) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(413.52,129.75) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(413.89,115.84) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(417.03,117.87) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(419.57,115.41) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(421.14,135.54) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(424.59,127.87) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(426.89,135.54) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(429.12,124.25) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(431.00,136.99) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(431.24,122.80) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(432.93,138.01) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(433.72,138.15) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(434.44,131.78) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(438.37,138.15) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(438.55,129.46) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(439.34,121.78) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(442.48,138.44) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(443.09,133.66) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(444.24,135.11) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(444.48,139.89) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(445.81,121.35) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(445.99,130.33) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(446.84,137.14) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(447.50,138.73) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(449.38,131.05) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(449.50,123.09) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(449.74,133.95) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(451.73,129.17) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(459.05,110.92) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(460.74,142.79) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(461.04,125.40) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(461.35,139.60) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(469.51,169.58) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(469.63,166.83) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(470.96,179.15) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(471.08,182.62) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(473.62,174.22) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(473.68,192.04) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(480.39,167.56) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(481.72,184.65) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(485.23,177.70) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(485.77,169.87) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(486.92,179.58) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(487.10,182.77) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(494.48,170.89) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(495.14,177.26) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(497.20,169.58) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(497.80,178.71) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(498.29,162.78) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(506.02,183.78) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(506.63,177.99) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(508.68,177.84) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(513.82,166.40) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(514.79,164.37) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(515.94,164.23) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(516.85,163.07) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(517.39,158.00) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(521.68,161.47) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(521.99,170.31) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(522.59,160.89) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(524.10,169.58) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(525.85,161.76) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(530.69,162.49) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(540.42,167.12) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(540.97,160.17) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(544.35,152.78) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(545.38,166.83) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(546.41,164.37) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(546.83,160.75) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(547.50,170.16) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(548.47,165.09) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(555.60,162.78) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(557.29,167.12) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(558.56,165.09) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(561.46,166.69) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(562.31,157.56) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(564.06,165.24) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(567.51,136.41) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(567.69,140.18) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(569.32,138.30) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(572.89,140.76) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(575.25,145.39) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(575.97,146.99) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(579.36,143.51) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(582.08,146.84) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(583.35,153.07) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(584.38,148.87) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(587.46,146.70) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(592.72,135.83) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(596.35,142.50) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(596.47,155.10) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(597.13,138.88) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(598.77,139.74) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(600.64,153.51) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(601.79,158.29) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(602.27,138.01) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(615.03,160.89) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(616.84,136.27) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(617.87,143.66) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(619.32,148.87) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(622.10,141.77) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(623.92,137.86) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(625.37,163.65) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(628.15,134.53) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(629.36,154.52) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(638.67,149.45) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(639.39,145.10) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(639.58,159.30) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(639.76,130.62) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(640.06,149.45) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(642.42,148.73) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(644.35,158.14) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(644.83,126.13) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(646.35,132.36) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(648.22,134.24) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(651.79,151.33) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(653.84,138.73) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(655.23,147.86) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(658.50,151.04) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(661.28,108.02) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(661.46,92.23) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(663.94,111.64) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(667.75,106.72) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(672.22,102.08) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(673.25,109.62) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(674.10,107.44) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(674.88,103.68) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(677.91,109.62) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(680.50,117.00) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(684.62,96.14) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(685.10,115.12) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(685.89,113.67) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(687.34,110.77) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(687.88,105.70) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(688.61,104.83) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(688.79,116.86) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(691.02,108.02) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(691.57,101.07) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(692.23,100.78) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(693.20,97.45) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(694.17,120.04) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(694.47,109.33) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(696.34,105.12) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(698.04,101.94) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(698.94,108.89) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(700.03,109.18) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(700.15,94.12) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(705.78,105.99) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(706.44,103.39) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(712.49,98.32) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(714.12,107.59) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(715.33,97.45) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(719.38,97.30) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(720.16,102.81) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(722.82,93.97) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(722.95,103.53) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(730.38,104.11) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(732.01,92.67) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(732.14,107.59) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(734.13,87.60) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(736.73,87.02) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(737.09,77.46) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(739.81,84.70) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(744.29,88.18) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(748.76,88.03) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(749.00,82.53) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(749.49,92.09) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(751.54,94.70) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(751.60,92.96) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(757.41,86.00) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(757.65,88.03) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(760.01,97.59) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(765.08,93.10) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(765.27,80.79) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(767.02,78.33) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(767.20,87.74) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(773.00,96.58) scale(3.75)' color='rgb(148, 0, 211)'/> - <use xlink:href='#gpPt0' transform='translate(775.06,80.21) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(57.08,993.23) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(62.42,992.91) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(63.11,1003.35) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(66.47,993.86) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(68.53,972.35) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(71.58,964.44) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(71.88,967.61) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(73.64,980.26) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(74.70,979.94) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(74.86,976.46) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(75.31,969.50) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(79.51,977.10) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(80.65,960.02) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(82.03,980.57) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(84.47,976.78) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(88.74,942.62) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(96.21,949.58) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(98.88,934.71) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(101.32,950.84) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(109.10,934.40) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(109.26,941.99) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(110.86,920.48) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(112.38,910.04) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(112.92,924.59) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(117.57,936.61) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(118.49,934.71) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(119.02,924.91) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(121.16,931.55) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(122.15,940.72) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(124.36,929.97) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(126.72,888.85) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(136.41,884.74) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(141.83,870.82) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(146.48,865.45) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(152.05,879.68) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(155.94,872.72) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(158.84,854.06) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(159.37,839.83) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(165.62,842.04) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(167.99,834.14) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(170.96,841.09) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(171.95,854.06) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(173.56,848.37) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(174.78,846.47) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(175.01,842.36) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(175.16,849.00) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(175.69,842.36) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(176.53,838.56) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(177.14,844.26) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(178.90,842.36) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(193.69,847.42) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(196.51,700.98) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(198.35,684.85) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(200.48,671.88) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(201.17,675.36) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(205.74,690.86) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(207.73,697.82) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(208.03,682.32) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(210.09,700.35) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(210.47,680.42) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(210.78,694.34) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(212.07,675.68) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(214.13,691.81) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(217.95,684.53) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(220.39,684.85) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(224.74,666.51) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(227.18,657.02) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(229.16,650.69) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(232.75,646.58) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(240.22,677.89) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(242.58,657.65) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(246.86,645.00) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(250.36,669.67) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(251.97,658.60) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(256.85,631.08) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(258.37,659.86) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(263.64,640.57) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(266.38,648.79) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(267.07,637.72) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(271.42,624.12) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(271.49,653.22) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(272.10,641.84) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(272.18,644.37) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(276.76,633.61) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(277.75,656.38) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(281.79,634.56) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(282.09,649.11) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(285.30,657.97) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(285.68,627.29) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(286.59,664.92) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(289.57,646.90) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(292.54,657.65) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(293.46,654.17) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(293.61,652.59) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(295.29,641.20) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(299.49,646.26) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(301.32,651.01) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(306.20,645.95) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(308.79,622.23) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(309.78,640.25) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(312.30,647.21) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(314.82,654.17) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(315.20,657.65) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(317.79,651.01) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(318.71,654.80) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(319.01,640.89) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(323.66,654.80) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(324.12,636.46) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(330.22,221.50) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(330.45,294.56) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(335.18,294.56) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(337.85,311.32) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(338.69,287.28) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(348.83,288.55) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(349.90,286.02) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(350.59,290.76) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(351.73,300.88) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(352.50,299.93) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(352.95,314.48) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(354.17,307.84) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(354.94,276.53) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(357.84,293.29) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(364.70,301.83) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(367.90,280.96) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(371.34,300.57) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(371.41,289.81) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(373.32,293.61) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(375.30,289.50) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(377.06,281.27) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(377.51,279.38) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(378.73,277.48) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(380.79,244.27) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(385.83,268.31) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(385.98,298.04) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(389.87,280.64) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(392.24,287.60) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(393.30,302.15) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(395.97,309.74) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(399.02,297.72) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(399.18,282.22) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(399.94,278.43) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(401.92,281.91) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(404.06,285.70) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(404.13,272.10) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(405.20,288.55) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(405.81,282.85) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(406.88,295.51) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(414.43,274.32) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(419.77,274.32) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(420.38,298.35) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(421.98,219.60) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(422.67,275.90) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(422.90,277.16) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(429.61,245.22) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(435.18,273.37) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(436.32,293.61) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(436.86,272.10) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(444.94,207.58) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(445.25,211.69) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(447.84,222.13) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(447.92,228.14) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(450.05,242.37) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(450.97,229.40) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(452.49,219.91) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(454.70,193.98) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(455.62,224.03) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(461.11,226.56) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(462.48,245.22) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(467.98,206.31) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(468.36,255.34) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(477.20,213.91) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(478.12,231.30) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(478.50,197.77) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(480.48,218.65) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(480.56,246.17) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(481.93,230.04) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(490.55,245.53) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(492.00,242.37) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(494.14,242.05) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(498.41,214.85) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(499.40,235.73) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(502.38,247.43) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(507.03,211.06) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(507.71,230.04) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(508.17,199.67) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(512.14,204.10) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(515.34,198.72) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(517.33,242.69) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(521.67,225.92) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(524.57,242.69) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(527.39,218.02) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(529.76,245.85) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(530.06,214.85) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(532.20,248.06) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(533.19,248.38) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(534.11,234.46) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(539.06,248.38) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(539.29,229.40) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(540.28,212.64) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(544.25,249.01) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(545.01,238.58) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(546.46,241.74) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(546.77,252.18) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(548.45,211.69) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(548.67,231.30) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(549.74,246.17) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(550.58,249.65) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(552.95,232.88) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(553.10,215.49) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(553.40,239.21) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(555.92,228.77) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(565.15,188.92) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(567.29,258.50) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(567.67,220.55) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(568.05,251.54) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(578.34,317.01) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(578.50,311.00) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(580.18,337.89) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(580.33,345.48) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(583.53,327.13) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(583.61,366.04) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(592.07,312.59) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(593.75,349.91) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(598.18,334.73) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(598.86,317.65) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(600.31,338.84) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(600.54,345.79) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(609.85,319.86) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(610.69,333.78) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(613.28,317.01) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(614.04,336.94) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(614.65,302.15) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(624.41,348.01) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(625.18,335.36) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(627.77,335.04) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(634.25,310.06) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(635.47,305.63) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(636.92,305.31) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(638.07,302.78) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(638.75,291.71) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(644.17,299.30) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(644.55,318.59) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(645.31,298.04) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(647.22,317.01) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(649.43,299.93) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(655.53,301.52) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(667.81,311.64) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(668.50,296.45) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(672.77,280.32) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(674.07,311.00) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(675.37,305.63) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(675.90,297.72) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(676.74,318.28) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(677.96,307.21) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(686.96,302.15) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(689.10,311.64) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(690.70,307.21) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(694.36,310.69) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(695.43,290.76) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(697.64,307.52) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(701.99,244.58) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(702.21,252.81) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(704.27,248.70) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(708.77,254.07) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(711.75,264.19) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(712.66,267.67) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(716.94,260.08) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(720.37,267.36) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(721.97,280.96) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(723.27,271.78) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(727.16,267.04) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(733.79,243.32) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(738.37,257.87) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(738.52,285.38) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(739.36,249.96) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(741.42,251.86) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(743.78,281.91) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(745.23,292.34) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(745.84,248.06) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(761.94,298.04) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(764.23,244.27) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(765.52,260.40) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(767.35,271.78) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(770.86,256.29) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(773.15,247.75) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(774.98,304.05) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(778.49,240.47) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(780.01,284.12) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(788.10,242.05) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(791.76,273.05) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(792.68,263.56) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(792.91,294.56) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(793.13,231.93) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(793.52,273.05) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(796.49,271.47) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(798.93,292.03) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(799.54,222.13) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(801.45,235.73) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(803.81,239.84) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(804.50,253.12) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(808.31,277.16) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(810.91,249.65) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(812.66,269.57) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(816.78,276.53) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(820.29,182.59) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(820.52,148.12) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(823.64,190.50) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(828.45,179.75) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(834.09,169.63) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(835.39,186.07) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(836.46,181.33) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(837.45,173.10) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(841.26,186.07) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(844.54,202.20) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(848.51,189.87) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(849.73,156.66) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(850.34,198.09) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(851.33,194.93) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(853.16,188.60) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(853.85,177.53) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(854.76,175.63) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(854.99,201.89) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(857.81,182.59) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(858.50,167.41) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(859.34,166.78) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(860.56,159.50) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(861.78,208.84) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(862.16,185.44) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(864.53,176.27) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(866.66,169.31) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(867.81,184.49) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(869.18,185.12) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(869.33,152.23) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(876.43,178.17) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(877.26,172.47) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(884.89,161.40) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(886.95,181.64) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(888.48,159.50) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(893.59,159.19) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(894.58,171.21) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(897.93,151.91) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(898.09,172.79) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(907.47,174.05) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(909.53,149.07) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(909.68,181.64) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(912.20,138.00) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(915.48,136.73) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(915.94,115.86) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(919.37,131.67) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(925.01,139.26) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(930.66,138.95) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(930.96,126.93) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(931.57,147.80) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(934.17,153.50) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(934.24,149.70) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(941.56,134.52) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(941.87,138.95) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(944.84,159.82) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(951.25,150.02) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(951.48,123.13) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(953.69,117.76) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(953.92,138.31) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(961.24,157.61) scale(3.75)' color='rgb(148, 0, 211)'/> + <use xlink:href='#gpPt0' transform='translate(963.84,121.87) scale(3.75)' color='rgb(148, 0, 211)'/> <use xlink:href='#gpPt0' transform='translate(113.25,60.01) scale(3.75)' color='rgb(148, 0, 211)'/> </g> </g> @@ -632,368 +687,371 @@ </g> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <use xlink:href='#gpPt1' transform='translate(56.34,454.80) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(60.57,445.24) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(61.12,446.84) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(63.78,450.17) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(65.41,441.91) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(67.83,447.13) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(68.07,438.43) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(69.46,445.68) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(70.31,447.99) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(70.43,440.17) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(70.79,442.92) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(74.12,438.00) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(75.02,439.45) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(76.11,445.24) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(78.05,421.63) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(81.43,440.75) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(87.36,441.33) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(89.47,430.90) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(91.41,433.22) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(97.57,430.61) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(97.69,421.63) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(98.96,425.98) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(100.17,422.21) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(100.60,425.25) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(104.28,430.47) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(105.01,434.52) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(105.43,424.82) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(107.13,435.25) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(107.91,427.28) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(109.67,426.12) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(111.54,423.95) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(119.22,418.44) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(123.51,418.73) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(127.20,421.20) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(131.61,417.14) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(134.69,423.22) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(136.99,418.59) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(137.42,411.06) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(142.37,411.35) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(144.25,409.90) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(146.60,416.42) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(147.39,406.13) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(148.66,418.01) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(149.63,409.46) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(149.81,410.33) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(149.93,420.47) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(150.35,420.33) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(151.02,407.44) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(151.50,417.86) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(152.89,409.32) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(164.62,410.48) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(166.86,409.46) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(168.31,295.90) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(170.00,403.67) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(170.55,406.86) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(174.17,414.97) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(175.75,415.11) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(175.99,412.80) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(177.62,411.20) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(177.92,355.29) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(178.16,405.12) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(179.19,413.95) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(180.82,402.80) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(183.85,410.19) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(185.78,412.36) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(189.23,404.39) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(191.16,412.65) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(192.73,406.86) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(195.58,405.26) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(201.50,407.00) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(203.37,397.01) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(206.76,395.27) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(209.54,400.48) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(210.81,404.25) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(214.68,398.60) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(215.89,404.83) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(220.06,394.25) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(222.24,393.96) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(222.78,381.07) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(226.23,397.30) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(226.29,392.37) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(226.77,388.75) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(226.83,394.11) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(230.46,392.23) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(231.25,378.75) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(234.45,390.49) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(234.69,388.31) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(237.23,384.69) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(237.53,383.53) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(238.26,383.97) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(240.62,396.28) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(242.97,387.45) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(243.70,384.40) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(243.82,387.74) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(245.15,389.04) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(248.48,392.95) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(249.93,387.30) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(253.80,392.23) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(255.85,388.75) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(256.64,383.39) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(258.63,382.09) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(260.63,388.60) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(260.93,394.40) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(262.99,393.53) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(263.71,390.05) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(263.95,384.55) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(267.64,383.10) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(268.00,379.33) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(272.84,382.38) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(273.02,383.39) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(276.77,379.77) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(278.89,381.22) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(279.55,382.52) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(287.59,376.58) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(288.44,379.04) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(288.98,370.06) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(289.89,379.62) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(290.49,378.75) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(290.86,377.60) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(291.82,378.46) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(292.43,384.11) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(294.73,384.40) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(300.17,375.42) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(302.71,378.03) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(305.43,381.36) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(305.49,385.42) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(307.00,384.84) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(308.57,380.06) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(309.96,378.61) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(310.32,380.06) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(311.29,382.52) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(312.92,385.13) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(316.91,376.73) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(317.03,378.61) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(320.12,374.84) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(321.99,372.09) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(322.84,378.03) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(324.95,376.87) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(327.37,375.71) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(327.49,377.16) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(328.10,364.27) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(329.67,376.44) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(331.36,362.24) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(331.42,355.87) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(332.27,356.30) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(332.75,377.60) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(333.60,376.87) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(339.58,379.62) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(343.82,378.46) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(344.30,373.97) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(345.57,358.62) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(346.11,377.89) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(346.30,369.48) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(351.62,374.12) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(356.03,360.07) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(356.94,367.02) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(357.36,357.90) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(363.77,354.27) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(364.01,368.47) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(366.07,363.25) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(366.13,356.30) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(367.82,357.90) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(368.54,361.23) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(369.75,360.50) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(371.51,355.72) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(372.23,351.81) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(376.58,347.47) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(377.67,355.87) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(382.03,345.15) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(382.33,356.30) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(389.34,341.67) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(390.07,355.43) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(390.37,354.27) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(391.94,353.98) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(392.00,356.59) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(393.09,354.42) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(399.92,347.76) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(401.07,341.96) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(402.76,353.84) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(406.15,353.55) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(406.93,345.44) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(409.29,353.26) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(412.98,348.91) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(413.52,352.39) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(413.89,345.29) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(417.03,330.95) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(419.57,342.11) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(421.14,334.57) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(424.59,344.71) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(426.89,353.26) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(429.12,333.85) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(431.00,347.18) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(431.24,341.24) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(432.93,347.32) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(433.72,349.35) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(434.44,354.85) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(438.37,339.50) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(438.55,350.07) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(439.34,342.69) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(442.48,351.23) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(443.09,338.05) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(444.24,342.98) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(444.48,338.63) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(445.81,338.48) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(445.99,344.42) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(446.84,344.13) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(447.50,342.98) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(449.38,348.62) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(449.50,349.93) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(449.74,341.96) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(451.73,348.19) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(459.05,344.86) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(460.74,339.64) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(461.04,343.55) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(461.35,327.33) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(469.51,341.67) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(469.63,335.44) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(470.96,330.66) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(471.08,342.54) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(473.62,332.26) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(473.68,343.12) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(480.39,340.51) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(481.72,340.08) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(485.23,342.54) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(485.77,333.56) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(486.92,341.09) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(487.10,337.47) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(494.48,338.77) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(495.14,339.79) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(497.20,333.13) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(497.80,325.59) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(498.29,322.70) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(506.02,339.50) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(506.63,336.75) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(508.68,342.54) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(513.82,339.79) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(514.79,326.75) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(515.94,334.86) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(516.85,337.91) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(517.39,328.06) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(521.68,334.72) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(521.99,325.01) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(522.59,338.77) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(524.10,338.20) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(525.85,341.38) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(530.69,338.05) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(540.42,334.43) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(540.97,338.92) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(544.35,330.52) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(545.38,329.50) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(546.41,328.06) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(546.83,329.79) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(547.50,327.19) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(548.47,328.34) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(555.60,328.34) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(557.29,325.88) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(558.56,332.11) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(561.46,329.65) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(562.31,333.85) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(564.06,339.06) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(567.51,320.81) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(567.69,329.36) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(569.32,319.94) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(572.89,310.96) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(575.25,313.71) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(575.97,317.63) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(579.36,320.96) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(582.08,322.26) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(583.35,316.32) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(584.38,306.76) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(587.46,320.38) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(592.72,311.40) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(596.35,310.67) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(596.47,324.72) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(597.13,318.35) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(598.77,316.03) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(600.64,320.96) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(601.79,312.70) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(602.27,315.31) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(615.03,312.41) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(616.84,311.11) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(617.87,320.67) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(619.32,321.97) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(622.10,323.56) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(623.92,317.48) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(625.37,316.61) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(628.15,312.12) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(629.36,308.36) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(638.67,295.32) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(639.39,299.95) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(639.58,309.95) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(639.76,299.37) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(640.06,303.00) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(642.42,299.95) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(644.35,311.98) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(644.83,304.30) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(646.35,308.79) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(648.22,295.90) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(648.76,296.04) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(651.79,296.48) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(653.84,294.16) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(655.23,291.41) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(658.50,296.19) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(661.28,297.64) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(661.46,283.44) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(663.94,303.72) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(667.75,304.30) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(672.22,291.41) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(673.25,290.39) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(674.10,283.59) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(674.88,285.18) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(677.91,273.01) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(680.50,284.31) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(684.62,288.22) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(685.10,290.25) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(685.89,278.23) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(687.34,281.70) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(687.88,265.19) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(688.61,287.50) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(688.79,292.28) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(691.02,283.73) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(691.57,285.47) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(692.23,279.09) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(693.20,279.67) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(694.17,292.86) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(694.47,293.00) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(696.34,284.89) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(698.04,281.12) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(698.94,279.53) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(700.03,278.08) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(700.15,282.43) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(705.78,274.17) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(706.44,277.65) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(712.49,267.22) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(714.12,272.87) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(715.33,278.08) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(719.38,270.84) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(720.16,274.31) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(722.82,279.38) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(722.95,281.27) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(730.38,275.04) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(732.01,266.06) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(732.14,278.95) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(734.13,272.72) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(736.73,273.01) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(737.09,267.80) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(739.81,270.98) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(744.29,277.79) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(748.76,273.01) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(749.00,277.94) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(749.49,264.90) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(751.54,274.60) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(751.60,278.52) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(757.41,266.64) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(757.65,270.40) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(760.01,251.43) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(765.08,260.84) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(765.27,262.44) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(767.02,276.05) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(767.20,264.03) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(773.00,263.16) scale(3.75)' color='rgb( 0, 158, 115)'/> - <use xlink:href='#gpPt1' transform='translate(775.06,263.31) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(57.08,939.77) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(62.42,918.90) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(63.11,922.38) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(66.47,929.65) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(68.53,911.63) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(71.58,923.01) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(71.88,904.03) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(73.64,919.85) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(74.70,924.91) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(74.86,907.83) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(75.31,913.84) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(79.51,903.09) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(80.65,906.25) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(82.03,918.90) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(84.47,867.35) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(88.74,909.09) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(96.21,910.36) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(98.88,887.59) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(101.32,892.65) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(109.10,886.95) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(109.26,867.35) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(110.86,876.83) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(112.38,868.61) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(112.92,875.25) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(117.57,886.64) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(118.49,895.49) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(119.02,874.30) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(121.16,897.08) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(122.15,879.68) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(124.36,877.15) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(126.72,872.41) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(136.41,860.39) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(141.83,861.02) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(146.48,866.40) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(152.05,857.54) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(155.94,870.82) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(158.84,860.70) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(159.37,844.26) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(165.62,844.89) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(167.99,841.73) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(170.96,855.96) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(171.95,833.50) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(173.56,859.44) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(174.78,840.78) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(175.01,842.68) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(175.16,864.82) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(175.69,864.50) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(176.53,836.35) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(177.14,859.12) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(178.90,840.46) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(193.69,842.99) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(196.51,840.78) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(198.35,592.81) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(200.48,828.13) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(201.17,835.08) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(205.74,852.80) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(207.73,853.11) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(208.03,848.05) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(210.09,844.57) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(210.47,722.49) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(210.78,831.29) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(212.07,850.58) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(214.13,826.23) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(217.95,842.36) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(220.39,847.10) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(224.74,829.71) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(227.18,847.74) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(229.16,835.08) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(232.75,831.61) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(240.22,835.40) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(242.58,813.58) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(246.86,809.78) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(250.36,821.17) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(251.97,829.39) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(256.85,817.06) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(258.37,830.66) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(263.64,807.57) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(266.38,806.94) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(267.07,778.79) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(271.42,814.21) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(271.49,803.46) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(272.10,795.55) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(272.18,807.25) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(276.76,803.14) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(277.75,773.73) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(281.79,799.34) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(282.09,794.60) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(285.30,786.69) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(285.68,784.16) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(286.59,785.11) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(289.57,812.00) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(292.54,792.70) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(293.46,786.06) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(293.61,793.34) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(295.29,796.18) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(299.49,804.72) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(301.32,792.39) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(306.20,803.14) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(308.79,795.55) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(309.78,783.85) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(312.30,781.00) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(314.82,795.23) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(315.20,807.88) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(317.79,805.99) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(318.71,798.40) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(319.01,786.38) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(323.66,783.21) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(324.12,774.99) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(330.22,781.63) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(330.45,783.85) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(335.18,775.94) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(337.85,779.10) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(338.69,781.95) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(348.83,768.98) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(349.90,774.36) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(350.59,754.75) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(351.73,775.62) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(352.50,773.73) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(352.95,771.20) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(354.17,773.09) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(354.94,785.43) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(357.84,786.06) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(364.70,766.45) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(367.90,772.14) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(371.34,779.42) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(371.41,788.27) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(373.32,787.01) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(375.30,776.57) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(377.06,773.41) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(377.51,776.57) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(378.73,781.95) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(380.79,787.64) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(385.83,769.30) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(385.98,773.41) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(389.87,765.19) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(392.24,759.18) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(393.30,772.14) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(395.97,769.61) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(399.02,767.08) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(399.18,770.25) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(399.94,742.10) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(401.92,768.67) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(404.06,737.67) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(404.13,723.75) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(405.20,724.70) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(405.81,771.20) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(406.88,769.61) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(414.43,775.62) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(419.77,773.09) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(420.38,763.29) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(421.98,729.76) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(422.67,771.83) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(422.90,753.48) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(429.61,763.60) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(435.18,732.93) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(436.32,748.11) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(436.86,728.18) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(444.94,720.27) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(445.25,751.27) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(447.84,739.88) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(447.92,724.70) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(450.05,728.18) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(450.97,735.46) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(452.49,733.87) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(454.70,723.44) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(455.62,714.90) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(461.11,705.41) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(462.48,723.75) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(467.98,700.35) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(468.36,724.70) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(477.20,692.76) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(478.12,722.80) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(478.50,720.27) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(480.48,719.64) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(480.56,725.33) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(481.93,720.59) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(490.55,706.04) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(492.00,693.39) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(494.14,719.33) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(498.41,718.69) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(499.40,700.98) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(502.38,718.06) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(507.03,708.57) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(507.71,716.16) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(508.17,700.66) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(512.14,669.35) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(515.34,693.71) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(517.33,677.26) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(521.67,699.40) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(524.57,718.06) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(527.39,675.68) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(529.76,704.78) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(530.06,691.81) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(532.20,705.09) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(533.19,709.52) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(534.11,721.54) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(539.06,688.01) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(539.29,711.10) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(540.28,694.97) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(544.25,713.63) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(545.01,684.85) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(546.46,695.60) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(546.77,686.12) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(548.45,685.80) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(548.67,698.77) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(549.74,698.13) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(550.58,695.60) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(552.95,707.94) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(553.10,710.79) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(553.40,693.39) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(555.92,706.99) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(565.15,699.72) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(567.29,688.33) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(567.67,696.87) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(568.05,661.45) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(578.34,692.76) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(578.50,679.16) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(580.18,668.72) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(580.33,694.65) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(583.53,672.20) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(583.61,695.92) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(592.07,690.23) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(593.75,689.28) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(598.18,694.65) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(598.86,675.05) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(600.31,691.49) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(600.54,683.59) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(609.85,686.43) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(610.69,688.65) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(613.28,674.10) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(614.04,657.65) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(614.65,651.32) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(624.41,688.01) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(625.18,682.00) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(627.77,694.65) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(634.25,688.65) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(635.47,660.18) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(636.92,677.89) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(638.07,684.53) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(638.75,663.03) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(644.17,677.58) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(644.55,656.38) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(645.31,686.43) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(647.22,685.17) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(649.43,692.12) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(655.53,684.85) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(667.81,676.94) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(668.50,686.75) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(672.77,668.40) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(674.07,666.19) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(675.37,663.03) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(675.90,666.82) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(676.74,661.13) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(677.96,663.66) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(686.96,663.66) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(689.10,658.28) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(690.70,671.88) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(694.36,666.51) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(695.43,675.68) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(697.64,687.06) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(701.99,647.21) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(702.21,665.87) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(704.27,645.31) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(708.77,625.71) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(711.75,631.71) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(712.66,640.25) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(716.94,647.53) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(720.37,650.38) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(721.97,637.41) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(723.27,616.53) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(727.16,646.26) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(733.79,626.65) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(738.37,625.07) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(738.52,655.75) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(739.36,641.84) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(741.42,636.78) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(743.78,647.53) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(745.23,629.50) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(745.84,635.19) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(761.94,628.87) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(764.23,626.02) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(765.52,646.90) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(767.35,649.74) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(770.86,653.22) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(773.15,639.94) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(774.98,638.04) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(778.49,628.24) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(780.01,620.01) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(788.10,610.52) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(791.76,591.55) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(792.68,601.67) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(792.91,623.49) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(793.13,600.40) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(793.52,608.31) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(796.49,601.67) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(798.93,627.92) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(799.54,611.16) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(801.45,620.96) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(803.81,592.81) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(804.50,593.13) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(808.31,594.08) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(810.91,589.02) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(812.66,583.01) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(816.78,593.44) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(820.29,596.61) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(820.52,565.61) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(823.64,609.89) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(828.45,611.16) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(834.09,583.01) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(835.39,580.79) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(836.46,565.93) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(837.45,569.41) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(841.26,542.84) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(844.54,567.51) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(848.51,548.53) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(849.73,576.05) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(850.34,580.48) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(851.33,554.23) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(853.16,561.82) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(853.85,525.76) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(854.76,574.47) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(854.99,584.90) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(857.81,566.24) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(858.50,570.04) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(859.34,556.12) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(860.56,557.39) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(861.78,586.17) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(862.16,586.49) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(864.53,568.77) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(866.66,560.55) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(867.81,557.07) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(869.18,553.91) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(869.33,563.40) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(876.43,545.37) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(877.26,552.96) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(884.89,530.19) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(886.95,542.52) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(888.48,553.91) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(893.59,538.09) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(894.58,545.69) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(897.93,556.76) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(898.09,560.87) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(907.47,547.27) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(909.53,527.66) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(909.68,555.81) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(912.20,542.21) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(915.48,542.84) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(915.94,531.45) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(919.37,538.41) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(925.01,553.28) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(930.66,542.84) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(930.96,553.59) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(931.57,525.13) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(934.17,546.32) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(934.24,554.86) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(941.56,528.92) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(941.87,537.15) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(944.84,495.71) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(951.25,516.27) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(951.48,519.75) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(953.69,549.48) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(953.92,523.23) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(961.24,521.33) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(963.84,521.65) scale(3.75)' color='rgb( 0, 158, 115)'/> + <use xlink:href='#gpPt1' transform='translate(1545.66,328.08) scale(3.75)' color='rgb( 0, 158, 115)'/> <use xlink:href='#gpPt1' transform='translate(113.25,75.01) scale(3.75)' color='rgb( 0, 158, 115)'/> </g> </g> @@ -1004,9 +1062,9 @@ <g fill="none" color="black" stroke="black" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> </g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <path stroke='black' d='M53.50,45.01 L53.50,552.00 L778.99,552.00 L778.99,45.01 L53.50,45.01 Z '/></g> + <path stroke='black' d='M53.50,45.01 L53.50,1152.00 L1578.99,1152.00 L1578.99,45.01 L53.50,45.01 Z '/></g> <g fill="none" color="black" stroke="currentColor" stroke-width="1.00" stroke-linecap="butt" stroke-linejoin="miter"> - <g transform="translate(416.24,25.76)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> + <g transform="translate(816.24,25.76)" stroke="none" fill="black" font-family="Helvetica" font-size="10.00" text-anchor="middle"> <text><tspan font-family="Helvetica" >Scatterplot of sp1 vs ceno</tspan></text> </g> </g> diff --git a/run_sorting b/run_sorting index 49811a69..f69605be 100755 --- a/run_sorting +++ b/run_sorting @@ -1,8 +1,8 @@ #!/bin/bash set -euxo pipefail -export MAX=12000 -# export MAX="$((1 << 14))" +# export MAX=12000 +export MAX="$((1 << 15))" for N in $(shuf --input-range=1-${MAX}); do for system in $(shuf --echo ceno sp1); do diff --git a/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/log b/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/log index 598fa181..18324c6d 100644 --- a/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/log +++ b/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/log @@ -40,3 +40,43 @@ stdout: WARNING: Using insecure random number generator. [2m2025-01-14T14:26:07.486569Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18 [2m2025-01-14T14:26:07.486570Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18 [2m2025-01-14T14:26:07.633550Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m147ms [3mtime.idle[0m[2m=[0m1.85µs [2m[3mindex[0m[2m=[0m0[0m +[2m2025-01-14T14:26:37.683343Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=3276526, total_syscall_cycles=20, touched_memory_addresses=41524 +[2m2025-01-14T14:26:37.683364Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): +[2m2025-01-14T14:26:37.683374Z[0m [32m INFO[0m [1mprove_core[0m: 1015204 add +[2m2025-01-14T14:26:37.683377Z[0m [32m INFO[0m [1mprove_core[0m: 569408 lw +[2m2025-01-14T14:26:37.683379Z[0m [32m INFO[0m [1mprove_core[0m: 533285 sw +[2m2025-01-14T14:26:37.683381Z[0m [32m INFO[0m [1mprove_core[0m: 274603 sll +[2m2025-01-14T14:26:37.683382Z[0m [32m INFO[0m [1mprove_core[0m: 169102 bltu +[2m2025-01-14T14:26:37.683384Z[0m [32m INFO[0m [1mprove_core[0m: 136705 xor +[2m2025-01-14T14:26:37.683386Z[0m [32m INFO[0m [1mprove_core[0m: 130319 srl +[2m2025-01-14T14:26:37.683387Z[0m [32m INFO[0m [1mprove_core[0m: 127844 or +[2m2025-01-14T14:26:37.683389Z[0m [32m INFO[0m [1mprove_core[0m: 125899 sltu +[2m2025-01-14T14:26:37.683391Z[0m [32m INFO[0m [1mprove_core[0m: 59777 bne +[2m2025-01-14T14:26:37.683393Z[0m [32m INFO[0m [1mprove_core[0m: 42414 beq +[2m2025-01-14T14:26:37.683394Z[0m [32m INFO[0m [1mprove_core[0m: 39826 bgeu +[2m2025-01-14T14:26:37.683396Z[0m [32m INFO[0m [1mprove_core[0m: 22952 jal +[2m2025-01-14T14:26:37.683398Z[0m [32m INFO[0m [1mprove_core[0m: 10905 sub +[2m2025-01-14T14:26:37.683400Z[0m [32m INFO[0m [1mprove_core[0m: 6608 jalr +[2m2025-01-14T14:26:37.683401Z[0m [32m INFO[0m [1mprove_core[0m: 5829 and +[2m2025-01-14T14:26:37.683403Z[0m [32m INFO[0m [1mprove_core[0m: 3307 auipc +[2m2025-01-14T14:26:37.683404Z[0m [32m INFO[0m [1mprove_core[0m: 1413 mul +[2m2025-01-14T14:26:37.683406Z[0m [32m INFO[0m [1mprove_core[0m: 450 sb +[2m2025-01-14T14:26:37.683407Z[0m [32m INFO[0m [1mprove_core[0m: 281 lbu +[2m2025-01-14T14:26:37.683408Z[0m [32m INFO[0m [1mprove_core[0m: 202 mulhu +[2m2025-01-14T14:26:37.683410Z[0m [32m INFO[0m [1mprove_core[0m: 165 blt +[2m2025-01-14T14:26:37.683411Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall +[2m2025-01-14T14:26:37.683412Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb +[2m2025-01-14T14:26:37.683414Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu +[2m2025-01-14T14:26:37.683415Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge +[2m2025-01-14T14:26:37.683419Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): +[2m2025-01-14T14:26:37.683423Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit +[2m2025-01-14T14:26:37.683425Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs +[2m2025-01-14T14:26:37.683427Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt +[2m2025-01-14T14:26:37.683428Z[0m [32m INFO[0m [1mprove_core[0m: 1 write +[2m2025-01-14T14:26:37.683430Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len +[2m2025-01-14T14:26:37.683431Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read +[2m2025-01-14T14:26:37.683438Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=3276526, e2e=30.947302241s, khz=105.87 +[2m2025-01-14T14:26:37.692932Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m30.2s [3mtime.idle[0m[2m=[0m802ms +Successfully generated proof! +[2m2025-01-14T14:26:38.221272Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m515ms [3mtime.idle[0m[2m=[0m1.74µs +Successfully verified proof! diff --git a/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/output_time b/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/output_time index e69de29b..a3ea8435 100644 --- a/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/output_time +++ b/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=10423 --prove" + User time (seconds): 1298.73 + System time (seconds): 50.86 + Percent of CPU this job got: 3809% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:35.42 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 18804588 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 12360927 + Voluntary context switches: 404765 + Involuntary context switches: 82114 + Swaps: 0 + File system inputs: 0 + File system outputs: 880 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/hints b/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/hints new file mode 100644 index 00000000..eb61d73c Binary files /dev/null and b/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/hints differ diff --git a/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/output_time b/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/output_time new file mode 100644 index 00000000..4baced88 --- /dev/null +++ b/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 732.11 + System time (seconds): 51.06 + Percent of CPU this job got: 3251% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:24.08 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 7478428 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 4431192 + Voluntary context switches: 1010246 + Involuntary context switches: 160558 + Swaps: 0 + File system inputs: 0 + File system outputs: 32 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/log b/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/log new file mode 100644 index 00000000..2f8d46bb --- /dev/null +++ b/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/log @@ -0,0 +1,42 @@ +[2m2025-01-14T14:29:44.928750Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' +[2m2025-01-14T14:29:45.384428Z[0m [32m INFO[0m vk verification: true +n: 11193 +[2m2025-01-14T14:29:47.697606Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +[2m2025-01-14T14:29:47.813005Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +[2m2025-01-14T14:29:48.350710Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records +[2m2025-01-14T14:29:48.535928Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54 +[2m2025-01-14T14:29:48.535952Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 +[2m2025-01-14T14:29:48.535954Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 +[2m2025-01-14T14:29:48.535956Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 +[2m2025-01-14T14:29:48.535959Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 +[2m2025-01-14T14:29:48.535960Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 +[2m2025-01-14T14:29:48.535961Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 +[2m2025-01-14T14:29:48.535963Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 +[2m2025-01-14T14:29:48.535964Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 +[2m2025-01-14T14:29:48.535965Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 +[2m2025-01-14T14:29:48.535966Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 +[2m2025-01-14T14:29:48.535968Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18 +[2m2025-01-14T14:29:48.535969Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17 -> 18 +[2m2025-01-14T14:29:48.535970Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18 +[2m2025-01-14T14:29:48.535971Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 +[2m2025-01-14T14:29:48.535972Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 +[2m2025-01-14T14:29:48.535973Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 +[2m2025-01-14T14:29:48.536270Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=61 +[2m2025-01-14T14:29:48.536274Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 +[2m2025-01-14T14:29:48.536276Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 +[2m2025-01-14T14:29:48.536277Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 +[2m2025-01-14T14:29:48.536278Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 +[2m2025-01-14T14:29:48.536279Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17 +[2m2025-01-14T14:29:48.536281Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17 +[2m2025-01-14T14:29:48.536282Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 +[2m2025-01-14T14:29:48.536283Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18 +[2m2025-01-14T14:29:48.536284Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19 +[2m2025-01-14T14:29:48.536285Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 +[2m2025-01-14T14:29:48.536287Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 +[2m2025-01-14T14:29:48.536288Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 +[2m2025-01-14T14:29:48.536289Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 17 +[2m2025-01-14T14:29:48.536290Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18 +[2m2025-01-14T14:29:48.536291Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18 +[2m2025-01-14T14:29:48.710256Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m174ms [3mtime.idle[0m[2m=[0m2.03µs [2m[3mindex[0m[2m=[0m0[0m diff --git a/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/output_time b/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/output_time new file mode 100644 index 00000000..e69de29b diff --git a/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/hints b/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/hints new file mode 100644 index 00000000..c58833dc Binary files /dev/null and b/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/hints differ diff --git a/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/output_time b/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/output_time new file mode 100644 index 00000000..a2129c0b --- /dev/null +++ b/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 1052.71 + System time (seconds): 65.97 + Percent of CPU this job got: 3602% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:31.05 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 12229020 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 7464515 + Voluntary context switches: 1122359 + Involuntary context switches: 176523 + Swaps: 0 + File system inputs: 0 + File system outputs: 32 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/log b/sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/log new file mode 100644 index 00000000..52faad52 --- /dev/null +++ b/sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/log @@ -0,0 +1,110 @@ +[2m2025-01-14T14:28:59.549962Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' +[2m2025-01-14T14:29:00.003374Z[0m [32m INFO[0m vk verification: true +n: 19563 +[2m2025-01-14T14:29:02.352356Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +[2m2025-01-14T14:29:02.554843Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +[2m2025-01-14T14:29:03.533922Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records +[2m2025-01-14T14:29:03.861159Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=210 +[2m2025-01-14T14:29:03.861187Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 +[2m2025-01-14T14:29:03.861190Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 +[2m2025-01-14T14:29:03.861191Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 +[2m2025-01-14T14:29:03.861193Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 2 -> 17 +[2m2025-01-14T14:29:03.861195Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 +[2m2025-01-14T14:29:03.861197Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 +[2m2025-01-14T14:29:03.861198Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 17 -> 18 +[2m2025-01-14T14:29:03.861200Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 +[2m2025-01-14T14:29:03.861201Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 +[2m2025-01-14T14:29:03.861202Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 9 -> 18 +[2m2025-01-14T14:29:03.861203Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 16 -> 18 +[2m2025-01-14T14:29:03.861204Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 12 -> 18 +[2m2025-01-14T14:29:03.861205Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 +[2m2025-01-14T14:29:03.861206Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 +[2m2025-01-14T14:29:03.861208Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 +[2m2025-01-14T14:29:03.861481Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=197 +[2m2025-01-14T14:29:03.861485Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 +[2m2025-01-14T14:29:03.861487Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 +[2m2025-01-14T14:29:03.861488Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 +[2m2025-01-14T14:29:03.861489Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 17 -> 17 +[2m2025-01-14T14:29:03.861490Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 17 +[2m2025-01-14T14:29:03.861492Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 16 -> 17 +[2m2025-01-14T14:29:03.861493Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 +[2m2025-01-14T14:29:03.861494Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 +[2m2025-01-14T14:29:03.861495Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 14 -> 18 +[2m2025-01-14T14:29:03.861496Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 +[2m2025-01-14T14:29:03.861497Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 +[2m2025-01-14T14:29:03.861499Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 +[2m2025-01-14T14:29:03.861500Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 +[2m2025-01-14T14:29:03.861501Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 17 -> 17 +[2m2025-01-14T14:29:03.861672Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=3, Cluster=179 +[2m2025-01-14T14:29:03.861676Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 +[2m2025-01-14T14:29:03.861678Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 +[2m2025-01-14T14:29:03.861679Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 +[2m2025-01-14T14:29:03.861680Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 +[2m2025-01-14T14:29:03.861681Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17 +[2m2025-01-14T14:29:03.861682Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 +[2m2025-01-14T14:29:03.861684Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20 +[2m2025-01-14T14:29:03.861685Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 +[2m2025-01-14T14:29:03.861686Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 +[2m2025-01-14T14:29:03.861687Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 +[2m2025-01-14T14:29:03.861688Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 19 -> 19 +[2m2025-01-14T14:29:03.861689Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 +[2m2025-01-14T14:29:03.861691Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 +[2m2025-01-14T14:29:03.865124Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=4, Cluster=123 +[2m2025-01-14T14:29:03.865132Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 17 -> 17 +[2m2025-01-14T14:29:03.865133Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 16 -> 16 +[2m2025-01-14T14:29:03.865135Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 12 -> 15 +[2m2025-01-14T14:29:03.865136Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 6 -> 13 +[2m2025-01-14T14:29:03.865137Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 10 -> 13 +[2m2025-01-14T14:29:03.865138Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 13 -> 13 +[2m2025-01-14T14:29:03.865140Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 15 -> 15 +[2m2025-01-14T14:29:03.865141Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 9 -> 14 +[2m2025-01-14T14:29:03.865142Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 15 -> 15 +[2m2025-01-14T14:29:03.865143Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 8 -> 14 +[2m2025-01-14T14:29:03.865144Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 14 -> 14 +[2m2025-01-14T14:29:03.865145Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 11 -> 14 +[2m2025-01-14T14:29:03.865146Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 12 -> 13 +[2m2025-01-14T14:29:03.865148Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 10 +[2m2025-01-14T14:29:03.865149Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 10 +[2m2025-01-14T14:29:04.101562Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m236ms [3mtime.idle[0m[2m=[0m1.84µs [2m[3mindex[0m[2m=[0m0[0m +[2m2025-01-14T14:29:41.727003Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=6361663, total_syscall_cycles=20, touched_memory_addresses=59821 +[2m2025-01-14T14:29:41.727027Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): +[2m2025-01-14T14:29:41.727037Z[0m [32m INFO[0m [1mprove_core[0m: 1989012 add +[2m2025-01-14T14:29:41.727040Z[0m [32m INFO[0m [1mprove_core[0m: 1103663 lw +[2m2025-01-14T14:29:41.727044Z[0m [32m INFO[0m [1mprove_core[0m: 1035594 sw +[2m2025-01-14T14:29:41.727046Z[0m [32m INFO[0m [1mprove_core[0m: 532264 sll +[2m2025-01-14T14:29:41.727048Z[0m [32m INFO[0m [1mprove_core[0m: 339001 bltu +[2m2025-01-14T14:29:41.727049Z[0m [32m INFO[0m [1mprove_core[0m: 255373 xor +[2m2025-01-14T14:29:41.727051Z[0m [32m INFO[0m [1mprove_core[0m: 254750 sltu +[2m2025-01-14T14:29:41.727053Z[0m [32m INFO[0m [1mprove_core[0m: 242486 srl +[2m2025-01-14T14:29:41.727054Z[0m [32m INFO[0m [1mprove_core[0m: 238386 or +[2m2025-01-14T14:29:41.727056Z[0m [32m INFO[0m [1mprove_core[0m: 115240 bne +[2m2025-01-14T14:29:41.727058Z[0m [32m INFO[0m [1mprove_core[0m: 79198 beq +[2m2025-01-14T14:29:41.727059Z[0m [32m INFO[0m [1mprove_core[0m: 79128 bgeu +[2m2025-01-14T14:29:41.727061Z[0m [32m INFO[0m [1mprove_core[0m: 43797 jal +[2m2025-01-14T14:29:41.727063Z[0m [32m INFO[0m [1mprove_core[0m: 20401 sub +[2m2025-01-14T14:29:41.727064Z[0m [32m INFO[0m [1mprove_core[0m: 12649 jalr +[2m2025-01-14T14:29:41.727066Z[0m [32m INFO[0m [1mprove_core[0m: 10455 and +[2m2025-01-14T14:29:41.727068Z[0m [32m INFO[0m [1mprove_core[0m: 6328 auipc +[2m2025-01-14T14:29:41.727069Z[0m [32m INFO[0m [1mprove_core[0m: 2437 mul +[2m2025-01-14T14:29:41.727071Z[0m [32m INFO[0m [1mprove_core[0m: 524 sb +[2m2025-01-14T14:29:41.727072Z[0m [32m INFO[0m [1mprove_core[0m: 362 lbu +[2m2025-01-14T14:29:41.727074Z[0m [32m INFO[0m [1mprove_core[0m: 307 blt +[2m2025-01-14T14:29:41.727076Z[0m [32m INFO[0m [1mprove_core[0m: 280 mulhu +[2m2025-01-14T14:29:41.727078Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall +[2m2025-01-14T14:29:41.727079Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb +[2m2025-01-14T14:29:41.727081Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu +[2m2025-01-14T14:29:41.727083Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge +[2m2025-01-14T14:29:41.727086Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): +[2m2025-01-14T14:29:41.727090Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit +[2m2025-01-14T14:29:41.727093Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs +[2m2025-01-14T14:29:41.727094Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt +[2m2025-01-14T14:29:41.727096Z[0m [32m INFO[0m [1mprove_core[0m: 1 write +[2m2025-01-14T14:29:41.727098Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len +[2m2025-01-14T14:29:41.727100Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read +[2m2025-01-14T14:29:41.727107Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=6361663, e2e=39.375390316s, khz=161.56 +[2m2025-01-14T14:29:41.729982Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m37.8s [3mtime.idle[0m[2m=[0m1.55s +Successfully generated proof! +[2m2025-01-14T14:29:42.622972Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m883ms [3mtime.idle[0m[2m=[0m2.12µs +Successfully verified proof! diff --git a/sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/output_time b/sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/output_time new file mode 100644 index 00000000..a39369f8 --- /dev/null +++ b/sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=19563 --prove" + User time (seconds): 2054.15 + System time (seconds): 86.49 + Percent of CPU this job got: 4820% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:44.41 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 30098456 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 55 + Minor (reclaiming a frame) page faults: 19182598 + Voluntary context switches: 592813 + Involuntary context switches: 125206 + Swaps: 0 + File system inputs: 0 + File system outputs: 944 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/log b/sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/log new file mode 100644 index 00000000..c9dcb7c6 --- /dev/null +++ b/sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/log @@ -0,0 +1,82 @@ +[2m2025-01-14T14:27:05.137383Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' +[2m2025-01-14T14:27:05.589598Z[0m [32m INFO[0m vk verification: true +n: 9631 +[2m2025-01-14T14:27:07.907961Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +[2m2025-01-14T14:27:08.002489Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +[2m2025-01-14T14:27:08.445524Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records +[2m2025-01-14T14:27:08.616899Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54 +[2m2025-01-14T14:27:08.616922Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 +[2m2025-01-14T14:27:08.616925Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 +[2m2025-01-14T14:27:08.616927Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 +[2m2025-01-14T14:27:08.616928Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18 +[2m2025-01-14T14:27:08.616930Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 17 +[2m2025-01-14T14:27:08.616932Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 17 -> 17 +[2m2025-01-14T14:27:08.616934Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 +[2m2025-01-14T14:27:08.616935Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 +[2m2025-01-14T14:27:08.616937Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 +[2m2025-01-14T14:27:08.616938Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 +[2m2025-01-14T14:27:08.616939Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18 +[2m2025-01-14T14:27:08.616940Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 +[2m2025-01-14T14:27:08.616941Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18 +[2m2025-01-14T14:27:08.616943Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 +[2m2025-01-14T14:27:08.616944Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 +[2m2025-01-14T14:27:08.616945Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 +[2m2025-01-14T14:27:08.617915Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=165 +[2m2025-01-14T14:27:08.617922Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 20 -> 20 +[2m2025-01-14T14:27:08.617924Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 20 +[2m2025-01-14T14:27:08.617925Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 16 +[2m2025-01-14T14:27:08.617927Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 9 -> 16 +[2m2025-01-14T14:27:08.617928Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 11 -> 16 +[2m2025-01-14T14:27:08.617929Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 16 -> 16 +[2m2025-01-14T14:27:08.617930Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 +[2m2025-01-14T14:27:08.617932Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 17 +[2m2025-01-14T14:27:08.617933Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19 +[2m2025-01-14T14:27:08.617934Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 17 +[2m2025-01-14T14:27:08.617935Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 +[2m2025-01-14T14:27:08.617936Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 17 +[2m2025-01-14T14:27:08.617937Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 16 +[2m2025-01-14T14:27:08.617938Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 10 +[2m2025-01-14T14:27:08.617940Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 10 +[2m2025-01-14T14:27:08.745189Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m127ms [3mtime.idle[0m[2m=[0m1.96µs [2m[3mindex[0m[2m=[0m0[0m +[2m2025-01-14T14:27:37.203393Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=3027874, total_syscall_cycles=20, touched_memory_addresses=39974 +[2m2025-01-14T14:27:37.203421Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts): +[2m2025-01-14T14:27:37.203428Z[0m [32m INFO[0m [1mprove_core[0m: 938401 add +[2m2025-01-14T14:27:37.203431Z[0m [32m INFO[0m [1mprove_core[0m: 526040 lw +[2m2025-01-14T14:27:37.203433Z[0m [32m INFO[0m [1mprove_core[0m: 491936 sw +[2m2025-01-14T14:27:37.203435Z[0m [32m INFO[0m [1mprove_core[0m: 253619 sll +[2m2025-01-14T14:27:37.203437Z[0m [32m INFO[0m [1mprove_core[0m: 154957 bltu +[2m2025-01-14T14:27:37.203438Z[0m [32m INFO[0m [1mprove_core[0m: 126858 xor +[2m2025-01-14T14:27:37.203440Z[0m [32m INFO[0m [1mprove_core[0m: 120919 srl +[2m2025-01-14T14:27:37.203442Z[0m [32m INFO[0m [1mprove_core[0m: 118562 or +[2m2025-01-14T14:27:37.203443Z[0m [32m INFO[0m [1mprove_core[0m: 115957 sltu +[2m2025-01-14T14:27:37.203445Z[0m [32m INFO[0m [1mprove_core[0m: 56320 bne +[2m2025-01-14T14:27:37.203447Z[0m [32m INFO[0m [1mprove_core[0m: 38541 beq +[2m2025-01-14T14:27:37.203448Z[0m [32m INFO[0m [1mprove_core[0m: 36704 bgeu +[2m2025-01-14T14:27:37.203450Z[0m [32m INFO[0m [1mprove_core[0m: 21474 jal +[2m2025-01-14T14:27:37.203452Z[0m [32m INFO[0m [1mprove_core[0m: 10197 sub +[2m2025-01-14T14:27:37.203454Z[0m [32m INFO[0m [1mprove_core[0m: 6320 jalr +[2m2025-01-14T14:27:37.203455Z[0m [32m INFO[0m [1mprove_core[0m: 5470 and +[2m2025-01-14T14:27:37.203457Z[0m [32m INFO[0m [1mprove_core[0m: 3163 auipc +[2m2025-01-14T14:27:37.203458Z[0m [32m INFO[0m [1mprove_core[0m: 1346 mul +[2m2025-01-14T14:27:37.203459Z[0m [32m INFO[0m [1mprove_core[0m: 445 sb +[2m2025-01-14T14:27:37.203461Z[0m [32m INFO[0m [1mprove_core[0m: 272 lbu +[2m2025-01-14T14:27:37.203462Z[0m [32m INFO[0m [1mprove_core[0m: 192 mulhu +[2m2025-01-14T14:27:37.203463Z[0m [32m INFO[0m [1mprove_core[0m: 153 blt +[2m2025-01-14T14:27:37.203464Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall +[2m2025-01-14T14:27:37.203466Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb +[2m2025-01-14T14:27:37.203467Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu +[2m2025-01-14T14:27:37.203468Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge +[2m2025-01-14T14:27:37.203470Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts): +[2m2025-01-14T14:27:37.203475Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit +[2m2025-01-14T14:27:37.203477Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs +[2m2025-01-14T14:27:37.203478Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt +[2m2025-01-14T14:27:37.203479Z[0m [32m INFO[0m [1mprove_core[0m: 1 write +[2m2025-01-14T14:27:37.203481Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len +[2m2025-01-14T14:27:37.203482Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read +[2m2025-01-14T14:27:37.203490Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=3027874, e2e=29.29617094s, khz=103.35 +[2m2025-01-14T14:27:37.205867Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m28.6s [3mtime.idle[0m[2m=[0m748ms +Successfully generated proof! +[2m2025-01-14T14:27:37.730422Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m512ms [3mtime.idle[0m[2m=[0m2.30µs +Successfully verified proof! diff --git a/sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/output_time b/sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/output_time new file mode 100644 index 00000000..3f49b63a --- /dev/null +++ b/sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=9631 --prove" + User time (seconds): 1053.62 + System time (seconds): 51.48 + Percent of CPU this job got: 3272% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:33.77 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 16817880 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 1 + Minor (reclaiming a frame) page faults: 11275889 + Voluntary context switches: 387871 + Involuntary context switches: 66037 + Swaps: 0 + File system inputs: 0 + File system outputs: 912 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/hints b/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/hints new file mode 100644 index 00000000..84c8fac7 Binary files /dev/null and b/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/hints differ diff --git a/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/output_time b/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/output_time new file mode 100644 index 00000000..26c2138f --- /dev/null +++ b/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 670.25 + System time (seconds): 46.92 + Percent of CPU this job got: 3241% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:22.12 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 6906392 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 3680187 + Voluntary context switches: 969593 + Involuntary context switches: 151514 + Swaps: 0 + File system inputs: 0 + File system outputs: 32 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0