diagram/profunctor-law1.svg

<?xml version="1.0" standalone="yes"?>

<svg version="1.1" viewBox="0.0 0.0 960.0 540.0" fill="none" stroke="none" stroke-linecap="square" stroke-miterlimit="10" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><clipPath id="g2563b22d09_0_0.0"><path d="m0 0l960.0 0l0 540.0l-960.0 0l0 -540.0z" clip-rule="nonzero"></path></clipPath><g clip-path="url(#g2563b22d09_0_0.0)"><path fill="#ffffff" d="m0 0l960.0 0l0 540.0l-960.0 0z" fill-rule="evenodd"></path><path fill="#cfe2f3" d="m392.70865 67.25977l167.3071 0l0 73.00788l-167.3071 0z" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m392.70865 67.25977l167.3071 0l0 73.00788l-167.3071 0z" fill-rule="evenodd"></path><path fill="#000000" d="m472.71844 98.40496l2.34375 0l0 2.75l-0.125 1.53125q0.234375 -0.234375 0.515625 -0.4375q0.28125 -0.21875 0.609375 -0.390625q0.328125 -0.171875 0.71875 -0.265625q0.390625 -0.09375 0.84375 -0.09375q1.34375 0 1.953125 0.859375q0.625 0.859375 0.625 2.375l0 4.890625l-2.359375 0l0 -4.59375q0 -0.796875 -0.25 -1.15625q-0.25 -0.375 -0.90625 -0.375q-0.484375 0 -0.84375 0.203125q-0.359375 0.203125 -0.78125 0.625l0 5.296875l-2.34375 0l0 -11.21875z" fill-rule="nonzero"></path><path fill="#000000" fill-opacity="0.0" d="m293.62204 103.44875l99.08661 0.31495667" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m293.62204 103.448746l93.08667 0.2958908" fill-rule="evenodd"></path><path fill="#595959" stroke="#595959" stroke-width="1.0" stroke-linecap="butt" d="m386.70343 105.39636l4.543335 -1.6372986l-4.532837 -1.666153z" fill-rule="evenodd"></path><path fill="#000000" fill-opacity="0.0" d="m560.01575 103.76371l106.36218 0" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m560.01575 103.76371l100.36218 0" fill-rule="evenodd"></path><path fill="#595959" stroke="#595959" stroke-width="1.0" stroke-linecap="butt" d="m660.3779 105.41544l4.538147 -1.6517334l-4.538147 -1.6517334z" fill-rule="evenodd"></path><path fill="#ffffff" d="m443.0313 199.48889l66.661804 0l0 15.919525l-66.661804 0zm0 23.879288l66.661804 0l0 15.91951l-66.661804 0z" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m443.0313 199.48889l66.661804 0l0 15.919525l-66.661804 0zm0 23.879288l66.661804 0l0 15.91951l-66.661804 0z" fill-rule="evenodd"></path><path fill="#eeeeee" d="m189.22835 306.87842l580.7874 0l0 169.73227l-580.7874 0z" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m189.22835 306.87842l580.7874 0l0 169.73227l-580.7874 0z" fill-rule="evenodd"></path><path fill="#000000" d="m200.0096 460.0957q0.1875 -0.9375 0.640625 -1.703125q0.46875 -0.765625 1.078125 -1.28125q0.609375 -0.53125 1.296875 -0.8125q0.703125 -0.296875 1.390625 -0.296875q0.71875 0 1.203125 0.28125q0.484375 0.265625 0.9375 0.734375l0.25 -1.453125l0.640625 -2.984375l1.3125 0l-2.421875 11.390625l-1.078125 0l0.09375 -1.03125l-0.046875 0q-0.578125 0.5 -1.328125 0.859375q-0.734375 0.359375 -1.453125 0.359375q-0.78125 0 -1.328125 -0.265625q-0.546875 -0.28125 -0.890625 -0.796875q-0.34375 -0.515625 -0.4375 -1.265625q-0.078125 -0.75 0.140625 -1.734375zm1.359375 -0.015625q-0.296875 1.40625 0.125 2.203125q0.4375 0.78125 1.53125 0.78125q1.15625 0 2.4375 -1.171875l0.828125 -3.875q-0.421875 -0.5 -0.890625 -0.703125q-0.453125 -0.203125 -0.96875 -0.203125q-0.515625 0 -1.0 0.21875q-0.46875 0.203125 -0.890625 0.609375q-0.40625 0.390625 -0.71875 0.9375q-0.3125 0.53125 -0.453125 1.203125zm9.553146 -3.890625l4.9375 0l-1.65625 7.78125l-1.3125 0l1.421875 -6.703125l-3.625 0l0.234375 -1.078125zm4.46875 -1.59375q-0.453125 0 -0.703125 -0.265625q-0.234375 -0.28125 -0.140625 -0.75q0.109375 -0.453125 0.453125 -0.734375q0.359375 -0.28125 0.8125 -0.28125q0.453125 0 0.703125 0.28125q0.25 0.28125 0.140625 0.734375q-0.09375 0.46875 -0.453125 0.75q-0.359375 0.265625 -0.8125 0.265625zm4.6468964 1.59375l1.03125 0l-0.109375 1.03125l0.046875 0q0.40625 -0.546875 0.859375 -0.875q0.46875 -0.34375 1.140625 -0.34375q1.1875 0 1.1875 1.34375q0.484375 -0.609375 0.96875 -0.96875q0.5 -0.375 1.15625 -0.375q0.8125 0 1.125 0.625q0.3125 0.609375 0.0625 1.78125l-1.1875 5.5625l-1.265625 0l1.15625 -5.453125q0.296875 -1.375 -0.546875 -1.375q-0.40625 0 -0.78125 0.296875q-0.359375 0.296875 -0.796875 0.90625l-1.203125 5.625l-1.046875 0l1.15625 -5.453125q0.296875 -1.375 -0.59375 -1.375q-0.40625 0 -0.765625 0.296875q-0.34375 0.296875 -0.78125 0.90625l-1.203125 5.625l-1.265625 0l1.65625 -7.78125zm8.709396 5.765625q0.140625 -0.65625 0.5625 -1.140625q0.421875 -0.484375 1.171875 -0.84375q0.75 -0.359375 1.859375 -0.578125q1.125 -0.21875 2.65625 -0.34375q0.0625 -0.40625 0.03125 -0.75q-0.03125 -0.359375 -0.21875 -0.625q-0.1875 -0.265625 -0.546875 -0.421875q-0.34375 -0.15625 -0.90625 -0.15625q-0.765625 0 -1.546875 0.296875q-0.765625 0.296875 -1.375 0.625l-0.328125 -0.890625q0.34375 -0.203125 0.765625 -0.390625q0.4375 -0.203125 0.90625 -0.359375q0.484375 -0.171875 1.0 -0.265625q0.515625 -0.109375 1.03125 -0.109375q1.59375 0 2.1875 0.875q0.59375 0.875 0.28125 2.328125l-1.015625 4.765625l-1.0625 0l0.109375 -1.0625l-0.046875 0q-0.765625 0.515625 -1.640625 0.890625q-0.875 0.359375 -1.703125 0.359375q-0.546875 0 -1.0 -0.15625q-0.4375 -0.140625 -0.734375 -0.421875q-0.296875 -0.28125 -0.421875 -0.6875q-0.125 -0.40625 -0.015625 -0.9375zm1.3125 -0.09375q-0.078125 0.328125 0.015625 0.5625q0.09375 0.234375 0.296875 0.390625q0.203125 0.140625 0.5 0.21875q0.296875 0.078125 0.625 0.078125q0.671875 0 1.375 -0.296875q0.71875 -0.296875 1.5 -0.859375l0.4375 -2.046875q-1.25 0.09375 -2.140625 0.28125q-0.875 0.171875 -1.4375 0.421875q-0.546875 0.234375 -0.828125 0.546875q-0.265625 0.3125 -0.34375 0.703125zm9.225021 2.765625l-0.5625 2.625l-1.3125 0l2.359375 -11.0625l1.09375 0l-0.109375 1.0l0.046875 0q0.65625 -0.515625 1.4375 -0.84375q0.78125 -0.34375 1.5 -0.34375q0.78125 0 1.328125 0.28125q0.546875 0.28125 0.84375 0.796875q0.296875 0.515625 0.34375 1.25q0.0625 0.734375 -0.140625 1.640625q-0.203125 0.984375 -0.65625 1.765625q-0.453125 0.78125 -1.0625 1.328125q-0.59375 0.53125 -1.296875 0.8125q-0.703125 0.28125 -1.40625 0.28125q-0.546875 0 -1.125 -0.265625q-0.5625 -0.265625 -1.0 -0.734375l-0.28125 1.46875zm0.53125 -2.484375q0.453125 0.5 0.96875 0.71875q0.515625 0.203125 0.90625 0.203125q1.0625 0 1.90625 -0.8125q0.859375 -0.828125 1.15625 -2.28125q0.140625 -0.640625 0.125 -1.171875q0 -0.53125 -0.1875 -0.90625q-0.1875 -0.375 -0.578125 -0.578125q-0.375 -0.203125 -0.9375 -0.203125q-0.515625 0 -1.15625 0.28125q-0.640625 0.28125 -1.375 0.875l-0.828125 3.875z" fill-rule="nonzero"></path><path fill="#000000" d="m257.26596 456.18945l4.9375 0l0 7.78125l-1.3125 0l0 -6.703125l-3.625 0l0 -1.078125zm4.125 -1.59375q-0.453125 0 -0.75 -0.265625q-0.296875 -0.28125 -0.296875 -0.75q0 -0.453125 0.296875 -0.734375q0.296875 -0.28125 0.75 -0.28125q0.453125 0 0.75 0.28125q0.3125 0.28125 0.3125 0.734375q0 0.46875 -0.3125 0.75q-0.296875 0.265625 -0.75 0.265625zm4.9906616 5.5q0 -0.9375 0.296875 -1.703125q0.296875 -0.765625 0.78125 -1.28125q0.5 -0.53125 1.140625 -0.8125q0.640625 -0.296875 1.328125 -0.296875q0.71875 0 1.25 0.28125q0.546875 0.265625 1.09375 0.734375l-0.046875 -1.453125l0 -2.984375l1.3125 0l0 11.390625l-1.078125 0l-0.125 -1.03125l-0.046875 0q-0.46875 0.5 -1.140625 0.859375q-0.65625 0.359375 -1.375 0.359375q-0.78125 0 -1.390625 -0.265625q-0.609375 -0.28125 -1.0625 -0.796875q-0.453125 -0.515625 -0.703125 -1.265625q-0.234375 -0.75 -0.234375 -1.734375zm1.359375 -0.015625q0 1.40625 0.59375 2.203125q0.609375 0.78125 1.703125 0.78125q1.15625 0 2.1875 -1.171875l0 -3.875q-0.53125 -0.5 -1.03125 -0.703125q-0.5 -0.203125 -1.015625 -0.203125q-0.515625 0 -0.953125 0.21875q-0.4375 0.203125 -0.765625 0.609375q-0.328125 0.390625 -0.53125 0.9375q-0.1875 0.53125 -0.1875 1.203125zm18.325043 -3.890625l4.9375 0l0 7.78125l-1.3125 0l0 -6.703125l-3.625 0l0 -1.078125zm4.125 -1.59375q-0.453125 0 -0.75 -0.265625q-0.296875 -0.28125 -0.296875 -0.75q0 -0.453125 0.296875 -0.734375q0.296875 -0.28125 0.75 -0.28125q0.453125 0 0.75 0.28125q0.3125 0.28125 0.3125 0.734375q0 0.46875 -0.3125 0.75q-0.296875 0.265625 -0.75 0.265625zm4.990631 5.5q0 -0.9375 0.296875 -1.703125q0.296875 -0.765625 0.78125 -1.28125q0.5 -0.53125 1.140625 -0.8125q0.640625 -0.296875 1.328125 -0.296875q0.71875 0 1.25 0.28125q0.546875 0.265625 1.09375 0.734375l-0.046875 -1.453125l0 -2.984375l1.3125 0l0 11.390625l-1.078125 0l-0.125 -1.03125l-0.046875 0q-0.46875 0.5 -1.140625 0.859375q-0.65625 0.359375 -1.375 0.359375q-0.78125 0 -1.390625 -0.265625q-0.609375 -0.28125 -1.0625 -0.796875q-0.453125 -0.515625 -0.703125 -1.265625q-0.234375 -0.75 -0.234375 -1.734375zm1.359375 -0.015625q0 1.40625 0.59375 2.203125q0.609375 0.78125 1.703125 0.78125q1.15625 0 2.1875 -1.171875l0 -3.875q-0.53125 -0.5 -1.03125 -0.703125q-0.5 -0.203125 -1.015625 -0.203125q-0.515625 0 -0.953125 0.21875q-0.4375 0.203125 -0.765625 0.609375q-0.328125 0.390625 -0.53125 0.9375q-0.1875 0.53125 -0.1875 1.203125z" fill-rule="nonzero"></path><path fill="#cfe2f3" d="m393.72308 355.37448l167.30713 0l0 73.00787l-167.30713 0z" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m393.72308 355.37448l167.30713 0l0 73.00787l-167.30713 0z" fill-rule="evenodd"></path><path fill="#000000" d="m473.73288 386.51965l2.34375 0l0 2.75l-0.125 1.53125q0.234375 -0.234375 0.515625 -0.4375q0.28125 -0.21875 0.609375 -0.390625q0.328125 -0.171875 0.71875 -0.265625q0.390625 -0.09375 0.84375 -0.09375q1.34375 0 1.953125 0.859375q0.625 0.859375 0.625 2.375l0 4.890625l-2.359375 0l0 -4.59375q0 -0.796875 -0.25 -1.15625q-0.25 -0.375 -0.90625 -0.375q-0.484375 0 -0.84375 0.203125q-0.359375 0.203125 -0.78125 0.625l0 5.296875l-2.34375 0l0 -11.21875z" fill-rule="nonzero"></path><path fill="#000000" fill-opacity="0.0" d="m316.05035 392.11264l77.66928 -0.2204895" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m316.05035 392.1126l71.66934 -0.2034607" fill-rule="evenodd"></path><path fill="#595959" stroke="#595959" stroke-width="1.0" stroke-linecap="butt" d="m387.72437 393.5609l4.533386 -1.6646118l-4.542755 -1.638855z" fill-rule="evenodd"></path><path fill="#000000" fill-opacity="0.0" d="m561.0302 391.87842l84.09448 0.18896484" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m561.0302 391.87842l78.09448 0.17547607" fill-rule="evenodd"></path><path fill="#595959" stroke="#595959" stroke-width="1.0" stroke-linecap="butt" d="m639.121 393.70563l4.541809 -1.6415405l-4.534363 -1.6619263z" fill-rule="evenodd"></path><path fill="#ffffff" d="m258.31808 392.11264l0 0c0 -16.168457 12.923798 -29.275604 28.86612 -29.275604l0 0c7.655792 0 14.998016 3.084381 20.411469 8.5746155c5.413452 5.490265 8.454681 12.936615 8.454681 20.700989l0 0c0 16.168457 -12.923798 29.275574 -28.86615 29.275574l0 0c-15.942322 0 -28.86612 -13.107117 -28.86612 -29.275574z" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m258.31808 392.11264l0 0c0 -16.168457 12.923798 -29.275604 28.86612 -29.275604l0 0c7.655792 0 14.998016 3.084381 20.411469 8.5746155c5.413452 5.490265 8.454681 12.936615 8.454681 20.700989l0 0c0 16.168457 -12.923798 29.275574 -28.86615 29.275574l0 0c-15.942322 0 -28.86612 -13.107117 -28.86612 -29.275574z" fill-rule="evenodd"></path><path fill="#000000" d="m278.84982 390.03513l5.53125 0l0 7.9375l-2.34375 0l0 -6.09375l-3.1875 0l0 -1.84375zm4.25 -1.171875q-0.6875 0 -1.125 -0.375q-0.4375 -0.390625 -0.4375 -1.046875q0 -0.65625 0.4375 -1.0625q0.4375 -0.40625 1.125 -0.40625q0.6875 0 1.125 0.40625q0.453125 0.40625 0.453125 1.0625q0 0.65625 -0.453125 1.046875q-0.4375 0.375 -1.125 0.375zm4.834381 5.140625q0 -0.96875 0.28125 -1.734375q0.296875 -0.78125 0.765625 -1.3125q0.46875 -0.53125 1.078125 -0.8125q0.609375 -0.296875 1.265625 -0.296875q0.6875 0 1.15625 0.234375q0.46875 0.234375 0.875 0.609375l-0.078125 -1.234375l0 -2.703125l2.359375 0l0 11.21875l-1.921875 0l-0.171875 -0.8125l-0.0625 0q-0.4375 0.421875 -1.015625 0.71875q-0.578125 0.28125 -1.1875 0.28125q-0.75 0 -1.375 -0.28125q-0.609375 -0.296875 -1.046875 -0.828125q-0.4375 -0.53125 -0.6875 -1.296875q-0.234375 -0.765625 -0.234375 -1.75zm2.421875 -0.03125q0 1.1875 0.390625 1.734375q0.40625 0.53125 1.140625 0.53125q0.40625 0 0.734375 -0.15625q0.34375 -0.171875 0.65625 -0.578125l0 -3.21875q-0.3125 -0.28125 -0.640625 -0.390625q-0.328125 -0.125 -0.6875 -0.125q-0.65625 0 -1.125 0.546875q-0.46875 0.53125 -0.46875 1.65625z" fill-rule="nonzero"></path><path fill="#000000" fill-opacity="0.0" d="m189.22835 391.74454l69.10237 0.3779602" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m189.22835 391.74454l63.102448 0.3451538" fill-rule="evenodd"></path><path fill="#595959" stroke="#595959" stroke-width="1.0" stroke-linecap="butt" d="m252.32176 393.7414l4.5470734 -1.6268921l-4.529007 -1.6765137z" fill-rule="evenodd"></path><path fill="#000000" fill-opacity="0.0" d="m702.85876 392.06726l67.1496 -0.3149414" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m702.85876 392.06726l61.14966 -0.28683472" fill-rule="evenodd"></path><path fill="#595959" stroke="#595959" stroke-width="1.0" stroke-linecap="butt" d="m764.0162 393.43216l4.5303345 -1.6730042l-4.5458374 -1.6304321z" fill-rule="evenodd"></path><path fill="#000000" fill-opacity="0.0" d="m105.51181 391.74454l83.71654 0" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m105.51181 391.74454l77.71654 0" fill-rule="evenodd"></path><path fill="#595959" stroke="#595959" stroke-width="1.0" stroke-linecap="butt" d="m183.22835 393.39627l4.538101 -1.6517334l-4.538101 -1.6517334z" fill-rule="evenodd"></path><path fill="#000000" fill-opacity="0.0" d="m770.01575 391.74454l84.47241 0" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m770.01575 391.74454l78.47241 0" fill-rule="evenodd"></path><path fill="#595959" stroke="#595959" stroke-width="1.0" stroke-linecap="butt" d="m848.48816 393.39627l4.538147 -1.6517334l-4.538147 -1.6517334z" fill-rule="evenodd"></path><path fill="#ffffff" d="m645.12646 392.06726l0 0c0 -16.168457 12.923828 -29.275574 28.86615 -29.275574l0 0c7.6557617 0 14.997986 3.084381 20.411438 8.5746155c5.413452 5.4902344 8.454712 12.936615 8.454712 20.700958l0 0c0 16.168488 -12.923828 29.275604 -28.86615 29.275604l0 0c-15.942322 0 -28.86615 -13.107117 -28.86615 -29.275604z" fill-rule="evenodd"></path><path stroke="#595959" stroke-width="1.0" stroke-linejoin="round" stroke-linecap="butt" d="m645.12646 392.06726l0 0c0 -16.168457 12.923828 -29.275574 28.86615 -29.275574l0 0c7.6557617 0 14.997986 3.084381 20.411438 8.5746155c5.413452 5.4902344 8.454712 12.936615 8.454712 20.700958l0 0c0 16.168488 -12.923828 29.275604 -28.86615 29.275604l0 0c-15.942322 0 -28.86615 -13.107117 -28.86615 -29.275604z" fill-rule="evenodd"></path><path fill="#000000" d="m665.6582 389.98978l5.53125 0l0 7.9375l-2.34375 0l0 -6.09375l-3.1875 0l0 -1.84375zm4.25 -1.171875q-0.6875 0 -1.125 -0.375q-0.4375 -0.390625 -0.4375 -1.046875q0 -0.65625 0.4375 -1.0625q0.4375 -0.40625 1.125 -0.40625q0.6875 0 1.125 0.40625q0.453125 0.40625 0.453125 1.0625q0 0.65625 -0.453125 1.046875q-0.4375 0.375 -1.125 0.375zm4.8344116 5.140625q0 -0.96875 0.28125 -1.734375q0.296875 -0.78125 0.765625 -1.3125q0.46875 -0.53125 1.078125 -0.8125q0.609375 -0.296875 1.265625 -0.296875q0.6875 0 1.15625 0.234375q0.46875 0.234375 0.875 0.609375l-0.078125 -1.234375l0 -2.703125l2.359375 0l0 11.21875l-1.921875 0l-0.171875 -0.8125l-0.0625 0q-0.4375 0.421875 -1.015625 0.71875q-0.578125 0.28125 -1.1875 0.28125q-0.75 0 -1.375 -0.28125q-0.609375 -0.296875 -1.046875 -0.828125q-0.4375 -0.53125 -0.6875 -1.296875q-0.234375 -0.765625 -0.234375 -1.75zm2.421875 -0.03125q0 1.1875 0.390625 1.734375q0.40625 0.53125 1.140625 0.53125q0.40625 0 0.734375 -0.15625q0.34375 -0.171875 0.65625 -0.578125l0 -3.21875q-0.3125 -0.28125 -0.640625 -0.390625q-0.328125 -0.125 -0.6875 -0.125q-0.65625 0 -1.125 0.546875q-0.46875 0.53125 -0.46875 1.65625z" fill-rule="nonzero"></path><path fill="#000000" fill-opacity="0.0" d="m326.26215 66.434166l29.51181 0l0 31.496063l-29.51181 0z" fill-rule="evenodd"></path><path fill="#000000" d="m342.94965 92.135414q-0.9375 0.796875 -1.796875 1.125q-0.859375 0.3125 -1.84375 0.3125q-1.609375 0 -2.484375 -0.78125q-0.875 -0.796875 -0.875 -2.03125q0 -0.734375 0.328125 -1.328125q0.328125 -0.59375 0.859375 -0.953125q0.53125 -0.359375 1.203125 -0.546875q0.5 -0.140625 1.484375 -0.25q2.03125 -0.25 2.984375 -0.578125q0 -0.34375 0 -0.4375q0 -1.015625 -0.46875 -1.4375q-0.640625 -0.5625 -1.90625 -0.5625q-1.171875 0 -1.734375 0.40625q-0.5625 0.40625 -0.828125 1.46875l-1.640625 -0.234375q0.234375 -1.046875 0.734375 -1.6875q0.515625 -0.640625 1.46875 -0.984375q0.96875 -0.359375 2.25 -0.359375q1.265625 0 2.046875 0.296875q0.78125 0.296875 1.15625 0.75q0.375 0.453125 0.515625 1.140625q0.09375 0.421875 0.09375 1.53125l0 2.234375q0 2.328125 0.09375 2.953125q0.109375 0.609375 0.4375 1.171875l-1.75 0q-0.265625 -0.515625 -0.328125 -1.21875zm-0.140625 -3.71875q-0.90625 0.359375 -2.734375 0.625q-1.03125 0.140625 -1.453125 0.328125q-0.421875 0.1875 -0.65625 0.546875q-0.234375 0.359375 -0.234375 0.796875q0 0.671875 0.5 1.125q0.515625 0.4375 1.484375 0.4375q0.96875 0 1.71875 -0.421875q0.75 -0.4375 1.109375 -1.15625q0.265625 -0.578125 0.265625 -1.671875l0 -0.609375z" fill-rule="nonzero"></path><path fill="#000000" fill-opacity="0.0" d="m595.00226 67.82951l29.51184 0l0 31.496063l-29.51184 0z" fill-rule="evenodd"></path><path fill="#000000" d="m606.79913 94.74951l-1.546875 0l0 -13.59375l1.65625 0l0 4.84375q1.0625 -1.328125 2.703125 -1.328125q0.90625 0 1.71875 0.375q0.8125 0.359375 1.328125 1.03125q0.53125 0.65625 0.828125 1.59375q0.296875 0.9375 0.296875 2.0q0 2.53125 -1.25 3.921875q-1.25 1.375 -3.0 1.375q-1.75 0 -2.734375 -1.453125l0 1.234375zm-0.015625 -5.0q0 1.765625 0.46875 2.5625q0.796875 1.28125 2.140625 1.28125q1.09375 0 1.890625 -0.9375q0.796875 -0.953125 0.796875 -2.84375q0 -1.921875 -0.765625 -2.84375q-0.765625 -0.921875 -1.84375 -0.921875q-1.09375 0 -1.890625 0.953125q-0.796875 0.953125 -0.796875 2.75z" fill-rule="nonzero"></path><path fill="#000000" fill-opacity="0.0" d="m132.61383 349.6415l29.51181 0l0 31.496063l-29.51181 0z" fill-rule="evenodd"></path><path fill="#000000" d="m149.30133 375.34277q-0.9375 0.796875 -1.796875 1.125q-0.859375 0.3125 -1.84375 0.3125q-1.609375 0 -2.484375 -0.78125q-0.875 -0.796875 -0.875 -2.03125q0 -0.734375 0.328125 -1.328125q0.328125 -0.59375 0.859375 -0.953125q0.53125 -0.359375 1.203125 -0.546875q0.5 -0.140625 1.484375 -0.25q2.03125 -0.25 2.984375 -0.578125q0 -0.34375 0 -0.4375q0 -1.015625 -0.46875 -1.4375q-0.640625 -0.5625 -1.90625 -0.5625q-1.171875 0 -1.734375 0.40625q-0.5625 0.40625 -0.828125 1.46875l-1.640625 -0.234375q0.234375 -1.046875 0.734375 -1.6875q0.515625 -0.640625 1.46875 -0.984375q0.96875 -0.359375 2.25 -0.359375q1.265625 0 2.046875 0.296875q0.78125 0.296875 1.15625 0.75q0.375 0.453125 0.515625 1.140625q0.09375 0.421875 0.09375 1.53125l0 2.234375q0 2.328125 0.09375 2.953125q0.109375 0.609375 0.4375 1.171875l-1.75 0q-0.265625 -0.515625 -0.328125 -1.21875zm-0.140625 -3.71875q-0.90625 0.359375 -2.734375 0.625q-1.03125 0.140625 -1.453125 0.328125q-0.421875 0.1875 -0.65625 0.546875q-0.234375 0.359375 -0.234375 0.796875q0 0.671875 0.5 1.125q0.515625 0.4375 1.484375 0.4375q0.96875 0 1.71875 -0.421875q0.75 -0.4375 1.109375 -1.15625q0.265625 -0.578125 0.265625 -1.671875l0 -0.609375z" fill-rule="nonzero"></path><path fill="#000000" fill-opacity="0.0" d="m797.1178 349.64053l29.51178 0l0 31.496063l-29.51178 0z" fill-rule="evenodd"></path><path fill="#000000" d="m808.9147 376.56055l-1.546875 0l0 -13.59375l1.65625 0l0 4.84375q1.0625 -1.328125 2.703125 -1.328125q0.90625 0 1.71875 0.375q0.8125 0.359375 1.328125 1.03125q0.53125 0.65625 0.828125 1.59375q0.296875 0.9375 0.296875 2.0q0 2.53125 -1.25 3.921875q-1.25 1.375 -3.0 1.375q-1.75 0 -2.734375 -1.453125l0 1.234375zm-0.015625 -5.0q0 1.765625 0.46875 2.5625q0.796875 1.28125 2.140625 1.28125q1.09375 0 1.890625 -0.9375q0.796875 -0.953125 0.796875 -2.84375q0 -1.921875 -0.765625 -2.84375q-0.765625 -0.921875 -1.84375 -0.921875q-1.09375 0 -1.890625 0.953125q-0.796875 0.953125 -0.796875 2.75z" fill-rule="nonzero"></path><path fill="#000000" fill-opacity="0.0" d="m204.61383 351.03687l29.51181 0l0 31.496063l-29.51181 0z" fill-rule="evenodd"></path><path fill="#000000" d="m221.30133 376.73813q-0.9375 0.796875 -1.796875 1.125q-0.859375 0.3125 -1.84375 0.3125q-1.609375 0 -2.484375 -0.78125q-0.875 -0.796875 -0.875 -2.03125q0 -0.734375 0.328125 -1.328125q0.328125 -0.59375 0.859375 -0.953125q0.53125 -0.359375 1.203125 -0.546875q0.5 -0.140625 1.484375 -0.25q2.03125 -0.25 2.984375 -0.578125q0 -0.34375 0 -0.4375q0 -1.015625 -0.46875 -1.4375q-0.640625 -0.5625 -1.90625 -0.5625q-1.171875 0 -1.734375 0.40625q-0.5625 0.40625 -0.828125 1.46875l-1.640625 -0.234375q0.234375 -1.046875 0.734375 -1.6875q0.515625 -0.640625 1.46875 -0.984375q0.96875 -0.359375 2.25 -0.359375q1.265625 0 2.046875 0.296875q0.78125 0.296875 1.15625 0.75q0.375 0.453125 0.515625 1.140625q0.09375 0.421875 0.09375 1.53125l0 2.234375q0 2.328125 0.09375 2.953125q0.109375 0.609375 0.4375 1.171875l-1.75 0q-0.265625 -0.515625 -0.328125 -1.21875zm-0.140625 -3.71875q-0.90625 0.359375 -2.734375 0.625q-1.03125 0.140625 -1.453125 0.328125q-0.421875 0.1875 -0.65625 0.546875q-0.234375 0.359375 -0.234375 0.796875q0 0.671875 0.5 1.125q0.515625 0.4375 1.484375 0.4375q0.96875 0 1.71875 -0.421875q0.75 -0.4375 1.109375 -1.15625q0.265625 -0.578125 0.265625 -1.671875l0 -0.609375z" fill-rule="nonzero"></path><path fill="#000000" fill-opacity="0.0" d="m332.61383 351.73453l29.51181 0l0 31.496063l-29.51181 0z" fill-rule="evenodd"></path><path fill="#000000" d="m349.30133 377.4358q-0.9375 0.796875 -1.796875 1.125q-0.859375 0.3125 -1.84375 0.3125q-1.609375 0 -2.484375 -0.78125q-0.875 -0.796875 -0.875 -2.03125q0 -0.734375 0.328125 -1.328125q0.328125 -0.59375 0.859375 -0.953125q0.53125 -0.359375 1.203125 -0.546875q0.5 -0.140625 1.484375 -0.25q2.03125 -0.25 2.984375 -0.578125q0 -0.34375 0 -0.4375q0 -1.015625 -0.46875 -1.4375q-0.640625 -0.5625 -1.90625 -0.5625q-1.171875 0 -1.734375 0.40625q-0.5625 0.40625 -0.828125 1.46875l-1.640625 -0.234375q0.234375 -1.046875 0.734375 -1.6875q0.515625 -0.640625 1.46875 -0.984375q0.96875 -0.359375 2.25 -0.359375q1.265625 0 2.046875 0.296875q0.78125 0.296875 1.15625 0.75q0.375 0.453125 0.515625 1.140625q0.09375 0.421875 0.09375 1.53125l0 2.234375q0 2.328125 0.09375 2.953125q0.109375 0.609375 0.4375 1.171875l-1.75 0q-0.265625 -0.515625 -0.328125 -1.21875zm-0.140625 -3.71875q-0.90625 0.359375 -2.734375 0.625q-1.03125 0.140625 -1.453125 0.328125q-0.421875 0.1875 -0.65625 0.546875q-0.234375 0.359375 -0.234375 0.796875q0 0.671875 0.5 1.125q0.515625 0.4375 1.484375 0.4375q0.96875 0 1.71875 -0.421875q0.75 -0.4375 1.109375 -1.15625q0.265625 -0.578125 0.265625 -1.671875l0 -0.609375z" fill-rule="nonzero"></path><path fill="#000000" fill-opacity="0.0" d="m717.1178 349.64053l29.51178 0l0 31.496063l-29.51178 0z" fill-rule="evenodd"></path><path fill="#000000" d="m728.9147 376.56055l-1.546875 0l0 -13.59375l1.65625 0l0 4.84375q1.0625 -1.328125 2.703125 -1.328125q0.90625 0 1.71875 0.375q0.8125 0.359375 1.328125 1.03125q0.53125 0.65625 0.828125 1.59375q0.296875 0.9375 0.296875 2.0q0 2.53125 -1.25 3.921875q-1.25 1.375 -3.0 1.375q-1.75 0 -2.734375 -1.453125l0 1.234375zm-0.015625 -5.0q0 1.765625 0.46875 2.5625q0.796875 1.28125 2.140625 1.28125q1.09375 0 1.890625 -0.9375q0.796875 -0.953125 0.796875 -2.84375q0 -1.921875 -0.765625 -2.84375q-0.765625 -0.921875 -1.84375 -0.921875q-1.09375 0 -1.890625 0.953125q-0.796875 0.953125 -0.796875 2.75z" fill-rule="nonzero"></path><path fill="#000000" fill-opacity="0.0" d="m589.1178 349.64053l29.51178 0l0 31.496063l-29.51178 0z" fill-rule="evenodd"></path><path fill="#000000" d="m600.9147 376.56055l-1.546875 0l0 -13.59375l1.65625 0l0 4.84375q1.0625 -1.328125 2.703125 -1.328125q0.90625 0 1.71875 0.375q0.8125 0.359375 1.328125 1.03125q0.53125 0.65625 0.828125 1.59375q0.296875 0.9375 0.296875 2.0q0 2.53125 -1.25 3.921875q-1.25 1.375 -3.0 1.375q-1.75 0 -2.734375 -1.453125l0 1.234375zm-0.015625 -5.0q0 1.765625 0.46875 2.5625q0.796875 1.28125 2.140625 1.28125q1.09375 0 1.890625 -0.9375q0.796875 -0.953125 0.796875 -2.84375q0 -1.921875 -0.765625 -2.84375q-0.765625 -0.921875 -1.84375 -0.921875q-1.09375 0 -1.890625 0.953125q-0.796875 0.953125 -0.796875 2.75z" fill-rule="nonzero"></path></g></svg>