doc/disjunction.svg

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg version="1.2" width="130.99mm" height="84.99mm" viewBox="4500 12500 13099 8499" preserveAspectRatio="xMidYMid" fill-rule="evenodd" stroke-width="28.222" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg" xmlns:ooo="http://xml.openoffice.org/svg/export" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:presentation="http://sun.com/xmlns/staroffice/presentation" xmlns:smil="http://www.w3.org/2001/SMIL20/" xmlns:anim="urn:oasis:names:tc:opendocument:xmlns:animation:1.0" xml:space="preserve">
 <defs class="ClipPathGroup">
  <clipPath id="presentation_clip_path" clipPathUnits="userSpaceOnUse">
   <rect x="4500" y="12500" width="13099" height="8499"/>
  </clipPath>
  <clipPath id="presentation_clip_path_shrink" clipPathUnits="userSpaceOnUse">
   <rect x="4513" y="12508" width="13073" height="8483"/>
  </clipPath>
 </defs>
 <defs class="TextShapeIndex">
  <g ooo:slide="id1" ooo:id-list="id3"/>
 </defs>
 <defs class="EmbeddedBulletChars">
  <g id="bullet-char-template-57356" transform="scale(0.00048828125,-0.00048828125)">
   <path d="M 580,1141 L 1163,571 580,0 -4,571 580,1141 Z"/>
  </g>
  <g id="bullet-char-template-57354" transform="scale(0.00048828125,-0.00048828125)">
   <path d="M 8,1128 L 1137,1128 1137,0 8,0 8,1128 Z"/>
  </g>
  <g id="bullet-char-template-10146" transform="scale(0.00048828125,-0.00048828125)">
   <path d="M 174,0 L 602,739 174,1481 1456,739 174,0 Z M 1358,739 L 309,1346 659,739 1358,739 Z"/>
  </g>
  <g id="bullet-char-template-10132" transform="scale(0.00048828125,-0.00048828125)">
   <path d="M 2015,739 L 1276,0 717,0 1260,543 174,543 174,936 1260,936 717,1481 1274,1481 2015,739 Z"/>
  </g>
  <g id="bullet-char-template-10007" transform="scale(0.00048828125,-0.00048828125)">
   <path d="M 0,-2 C -7,14 -16,27 -25,37 L 356,567 C 262,823 215,952 215,954 215,979 228,992 255,992 264,992 276,990 289,987 310,991 331,999 354,1012 L 381,999 492,748 772,1049 836,1024 860,1049 C 881,1039 901,1025 922,1006 886,937 835,863 770,784 769,783 710,716 594,584 L 774,223 C 774,196 753,168 711,139 L 727,119 C 717,90 699,76 672,76 641,76 570,178 457,381 L 164,-76 C 142,-110 111,-127 72,-127 30,-127 9,-110 8,-76 1,-67 -2,-52 -2,-32 -2,-23 -1,-13 0,-2 Z"/>
  </g>
  <g id="bullet-char-template-10004" transform="scale(0.00048828125,-0.00048828125)">
   <path d="M 285,-33 C 182,-33 111,30 74,156 52,228 41,333 41,471 41,549 55,616 82,672 116,743 169,778 240,778 293,778 328,747 346,684 L 369,508 C 377,444 397,411 428,410 L 1163,1116 C 1174,1127 1196,1133 1229,1133 1271,1133 1292,1118 1292,1087 L 1292,965 C 1292,929 1282,901 1262,881 L 442,47 C 390,-6 338,-33 285,-33 Z"/>
  </g>
  <g id="bullet-char-template-9679" transform="scale(0.00048828125,-0.00048828125)">
   <path d="M 813,0 C 632,0 489,54 383,161 276,268 223,411 223,592 223,773 276,916 383,1023 489,1130 632,1184 813,1184 992,1184 1136,1130 1245,1023 1353,916 1407,772 1407,592 1407,412 1353,268 1245,161 1136,54 992,0 813,0 Z"/>
  </g>
  <g id="bullet-char-template-8226" transform="scale(0.00048828125,-0.00048828125)">
   <path d="M 346,457 C 273,457 209,483 155,535 101,586 74,649 74,723 74,796 101,859 155,911 209,963 273,989 346,989 419,989 480,963 531,910 582,859 608,796 608,723 608,648 583,586 532,535 482,483 420,457 346,457 Z"/>
  </g>
  <g id="bullet-char-template-8211" transform="scale(0.00048828125,-0.00048828125)">
   <path d="M -4,459 L 1135,459 1135,606 -4,606 -4,459 Z"/>
  </g>
  <g id="bullet-char-template-61548" transform="scale(0.00048828125,-0.00048828125)">
   <path d="M 173,740 C 173,903 231,1043 346,1159 462,1274 601,1332 765,1332 928,1332 1067,1274 1183,1159 1299,1043 1357,903 1357,740 1357,577 1299,437 1183,322 1067,206 928,148 765,148 601,148 462,206 346,322 231,437 173,577 173,740 Z"/>
  </g>
 </defs>
 <defs class="TextEmbeddedBitmaps"/>
 <g class="SlideGroup">
  <g>
   <g id="container-id1">
    <g id="id1" class="Slide" clip-path="url(#presentation_clip_path)">
     <g class="Page">
      <g class="Graphic">
       <g id="id3">
        <rect class="BoundingBox" stroke="none" fill="none" x="4500" y="12500" width="13100" height="8500"/>
        <defs>
         <clipPath id="clip_path_1" clipPathUnits="userSpaceOnUse">
          <path d="M 4500,12500 L 17599,12500 17599,20999 4500,20999 4500,12500 Z"/>
         </clipPath>
        </defs>
        <g clip-path="url(#clip_path_1)"/>
        <defs>
         <clipPath id="clip_path_2" clipPathUnits="userSpaceOnUse">
          <path d="M 4500,12500 L 17599,12500 17599,20999 4500,20999 4500,12500 Z"/>
         </clipPath>
        </defs>
        <g clip-path="url(#clip_path_2)">
         <path fill="rgb(255,255,255)" stroke="none" d="M 2505,11405 L 19693,11405 19693,22661 2505,22661 2505,11405 Z"/>
        </g>
        <g clip-path="url(#clip_path_1)">
         <path fill="rgb(0,0,0)" stroke="none" d="M 6974,14412 L 16084,14412 16342,14498 16513,14584 16599,14756 16685,15014 16685,18966 16599,19224 16513,19396 16342,19481 16084,19567 6974,19567 6716,19481 6544,19396 6458,19224 6372,18966 6372,15014 6458,14756 6544,14584 6716,14498 6974,14412 Z"/>
        </g>
        <defs>
         <clipPath id="clip_path_3" clipPathUnits="userSpaceOnUse">
          <path d="M 6544,13983 L 15654,13983 15912,14069 16084,14154 16170,14326 16256,14584 16256,18536 16170,18794 16084,18966 15912,19052 15654,19138 6544,19138 6287,19052 6115,18966 6029,18794 5943,18536 5943,14584 6029,14326 6115,14154 6287,14069 6544,13983 Z"/>
         </clipPath>
        </defs>
        <g clip-path="url(#clip_path_3)"/>
        <defs>
         <clipPath id="clip_path_4" clipPathUnits="userSpaceOnUse">
          <path d="M 6544,13983 L 15654,13983 15912,14069 16084,14154 16170,14326 16256,14584 16256,18536 16170,18794 16084,18966 15912,19052 15654,19138 6544,19138 6287,19052 6115,18966 6029,18794 5943,18536 5943,14584 6029,14326 6115,14154 6287,14069 6544,13983 Z"/>
         </clipPath>
        </defs>
        <g clip-path="url(#clip_path_4)">
         <path fill="rgb(189,212,236)" stroke="none" d="M 3711,17863 L 3732,17875 8492,9547 8471,9535 3711,17863 Z"/>
         <path fill="rgb(189,212,236)" stroke="none" d="M 3711,17863 L 3888,17964 8648,9636 8471,9535 3711,17863 Z"/>
         <path fill="rgb(190,212,236)" stroke="none" d="M 3868,17952 L 4044,18053 8804,9726 8627,9625 3868,17952 Z"/>
         <path fill="rgb(190,213,236)" stroke="none" d="M 4024,18041 L 4200,18142 8960,9815 8783,9714 4024,18041 Z"/>
         <path fill="rgb(191,213,237)" stroke="none" d="M 4180,18131 L 4357,18232 9116,9904 8940,9803 4180,18131 Z"/>
         <path fill="rgb(192,214,237)" stroke="none" d="M 4336,18220 L 4513,18321 9272,9993 9096,9892 4336,18220 Z"/>
         <path fill="rgb(193,214,237)" stroke="none" d="M 4492,18309 L 4669,18410 9429,10082 9252,9981 4492,18309 Z"/>
         <path fill="rgb(193,215,237)" stroke="none" d="M 4648,18398 L 4825,18499 9585,10172 9408,10071 4648,18398 Z"/>
         <path fill="rgb(194,215,237)" stroke="none" d="M 4805,18488 L 4981,18589 9741,10261 9564,10160 4805,18488 Z"/>
         <path fill="rgb(195,216,237)" stroke="none" d="M 4961,18577 L 5137,18678 9897,10350 9720,10249 4961,18577 Z"/>
         <path fill="rgb(196,216,237)" stroke="none" d="M 5117,18666 L 5294,18767 10053,10439 9877,10338 5117,18666 Z"/>
         <path fill="rgb(197,217,238)" stroke="none" d="M 5273,18755 L 5450,18856 10210,10529 10033,10428 5273,18755 Z"/>
         <path fill="rgb(197,217,238)" stroke="none" d="M 5429,18844 L 5606,18945 10366,10618 10189,10517 5429,18844 Z"/>
         <path fill="rgb(198,218,238)" stroke="none" d="M 5585,18934 L 5762,19035 10522,10707 10345,10606 5585,18934 Z"/>
         <path fill="rgb(199,218,238)" stroke="none" d="M 5742,19023 L 5918,19124 10678,10796 10501,10695 5742,19023 Z"/>
         <path fill="rgb(200,218,238)" stroke="none" d="M 5898,19112 L 5953,19144 10713,10816 10658,10784 5898,19112 Z"/>
         <path fill="rgb(200,219,238)" stroke="none" d="M 5933,19132 L 6075,19213 10834,10885 10692,10804 5933,19132 Z"/>
         <path fill="rgb(201,219,238)" stroke="none" d="M 6054,19201 L 6231,19302 10990,10975 10814,10874 6054,19201 Z"/>
         <path fill="rgb(201,219,239)" stroke="none" d="M 6210,19291 L 6387,19392 11147,11064 10970,10963 6210,19291 Z"/>
         <path fill="rgb(202,220,239)" stroke="none" d="M 6366,19380 L 6543,19481 11303,11153 11126,11052 6366,19380 Z"/>
         <path fill="rgb(203,220,239)" stroke="none" d="M 6523,19469 L 6699,19570 11459,11242 11282,11141 6523,19469 Z"/>
         <path fill="rgb(204,221,239)" stroke="none" d="M 6679,19558 L 6855,19659 11615,11332 11438,11231 6679,19558 Z"/>
         <path fill="rgb(204,221,239)" stroke="none" d="M 6835,19647 L 7012,19748 11771,11421 11595,11320 6835,19647 Z"/>
         <path fill="rgb(205,222,239)" stroke="none" d="M 6991,19737 L 7168,19838 11927,11510 11751,11409 6991,19737 Z"/>
         <path fill="rgb(206,222,239)" stroke="none" d="M 7147,19826 L 7324,19927 12084,11599 11907,11498 7147,19826 Z"/>
         <path fill="rgb(207,223,240)" stroke="none" d="M 7303,19915 L 7480,20016 12240,11688 12063,11588 7303,19915 Z"/>
         <path fill="rgb(207,223,240)" stroke="none" d="M 7460,20004 L 7636,20105 12396,11778 12219,11677 7460,20004 Z"/>
         <path fill="rgb(208,224,240)" stroke="none" d="M 7616,20094 L 7792,20195 12552,11867 12375,11766 7616,20094 Z"/>
         <path fill="rgb(209,224,240)" stroke="none" d="M 7772,20183 L 7949,20284 12708,11956 12532,11855 7772,20183 Z"/>
         <path fill="rgb(210,225,240)" stroke="none" d="M 7928,20272 L 8105,20373 12865,12045 12688,11944 7928,20272 Z"/>
         <path fill="rgb(211,225,240)" stroke="none" d="M 8084,20361 L 8261,20462 13021,12135 12844,12034 8084,20361 Z"/>
         <path fill="rgb(211,225,241)" stroke="none" d="M 8240,20451 L 8417,20551 13177,12224 13000,12123 8240,20451 Z"/>
         <path fill="rgb(212,226,241)" stroke="none" d="M 8397,20540 L 8573,20641 13333,12313 13156,12212 8397,20540 Z"/>
         <path fill="rgb(213,226,241)" stroke="none" d="M 8553,20629 L 8730,20730 13489,12402 13313,12301 8553,20629 Z"/>
         <path fill="rgb(214,227,241)" stroke="none" d="M 8709,20718 L 8886,20819 13645,12491 13469,12391 8709,20718 Z"/>
         <path fill="rgb(214,227,241)" stroke="none" d="M 8865,20807 L 9042,20908 13802,12581 13625,12480 8865,20807 Z"/>
         <path fill="rgb(215,228,241)" stroke="none" d="M 9021,20897 L 9198,20998 13958,12670 13781,12569 9021,20897 Z"/>
         <path fill="rgb(216,228,241)" stroke="none" d="M 9178,20986 L 9354,21087 14114,12759 13937,12658 9178,20986 Z"/>
         <path fill="rgb(217,229,242)" stroke="none" d="M 9334,21075 L 9510,21176 14270,12848 14093,12747 9334,21075 Z"/>
         <path fill="rgb(218,229,242)" stroke="none" d="M 9490,21164 L 9667,21265 14426,12938 14250,12837 9490,21164 Z"/>
         <path fill="rgb(218,230,242)" stroke="none" d="M 9646,21254 L 9823,21354 14583,13027 14406,12926 9646,21254 Z"/>
         <path fill="rgb(219,230,242)" stroke="none" d="M 9802,21343 L 9979,21444 14739,13116 14562,13015 9802,21343 Z"/>
         <path fill="rgb(220,231,242)" stroke="none" d="M 9958,21432 L 10135,21533 14895,13205 14718,13104 9958,21432 Z"/>
         <path fill="rgb(221,231,242)" stroke="none" d="M 10115,21521 L 10291,21622 15051,13295 14874,13194 10115,21521 Z"/>
         <path fill="rgb(221,232,243)" stroke="none" d="M 10271,21610 L 10448,21711 15207,13384 15031,13283 10271,21610 Z"/>
         <path fill="rgb(222,232,243)" stroke="none" d="M 10427,21700 L 10604,21801 15363,13473 15187,13372 10427,21700 Z"/>
         <path fill="rgb(223,232,243)" stroke="none" d="M 10583,21789 L 10760,21890 15520,13562 15343,13461 10583,21789 Z"/>
         <path fill="rgb(224,233,243)" stroke="none" d="M 10739,21878 L 10916,21979 15676,13651 15499,13550 10739,21878 Z"/>
         <path fill="rgb(225,233,243)" stroke="none" d="M 10896,21967 L 11072,22068 15832,13741 15655,13640 10896,21967 Z"/>
         <path fill="rgb(225,234,243)" stroke="none" d="M 11052,22057 L 11228,22157 15988,13830 15811,13729 11052,22057 Z"/>
         <path fill="rgb(226,234,244)" stroke="none" d="M 11208,22146 L 11385,22247 16144,13919 15968,13818 11208,22146 Z"/>
         <path fill="rgb(227,235,244)" stroke="none" d="M 11364,22235 L 11506,22316 16266,13988 16124,13907 11364,22235 Z"/>
         <path fill="rgb(228,235,244)" stroke="none" d="M 11486,22304 L 11541,22336 16300,14008 16245,13977 11486,22304 Z"/>
         <path fill="rgb(228,235,244)" stroke="none" d="M 11520,22324 L 11697,22425 16457,14098 16280,13997 11520,22324 Z"/>
         <path fill="rgb(228,236,244)" stroke="none" d="M 11676,22413 L 11853,22514 16613,14187 16436,14086 11676,22413 Z"/>
         <path fill="rgb(229,236,244)" stroke="none" d="M 11833,22503 L 12009,22604 16769,14276 16592,14175 11833,22503 Z"/>
         <path fill="rgb(230,237,244)" stroke="none" d="M 11989,22592 L 12165,22693 16925,14365 16748,14264 11989,22592 Z"/>
         <path fill="rgb(231,237,244)" stroke="none" d="M 12145,22681 L 12322,22782 17081,14454 16905,14353 12145,22681 Z"/>
         <path fill="rgb(232,238,245)" stroke="none" d="M 12301,22770 L 12478,22871 17238,14544 17061,14443 12301,22770 Z"/>
         <path fill="rgb(232,238,245)" stroke="none" d="M 12457,22860 L 12634,22961 17394,14633 17217,14532 12457,22860 Z"/>
         <path fill="rgb(233,239,245)" stroke="none" d="M 12613,22949 L 12790,23050 17550,14722 17373,14621 12613,22949 Z"/>
         <path fill="rgb(234,239,245)" stroke="none" d="M 12770,23038 L 12946,23139 17706,14811 17529,14710 12770,23038 Z"/>
         <path fill="rgb(235,239,245)" stroke="none" d="M 12926,23127 L 13103,23228 17862,14901 17686,14800 12926,23127 Z"/>
         <path fill="rgb(235,240,245)" stroke="none" d="M 13082,23216 L 13259,23317 18018,14990 17842,14889 13082,23216 Z"/>
         <path fill="rgb(236,240,246)" stroke="none" d="M 13238,23306 L 13415,23407 18175,15079 17998,14978 13238,23306 Z"/>
         <path fill="rgb(237,241,246)" stroke="none" d="M 13394,23395 L 13571,23496 18331,15168 18154,15067 13394,23395 Z"/>
         <path fill="rgb(238,241,246)" stroke="none" d="M 13551,23484 L 13727,23585 18487,15257 18310,15156 13551,23484 Z"/>
         <path fill="rgb(239,242,246)" stroke="none" d="M 13707,23573 L 13727,23585 18487,15257 18466,15246 13707,23573 Z"/>
        </g>
        <g clip-path="url(#clip_path_3)"/>
        <g clip-path="url(#clip_path_1)">
         <path fill="rgb(0,0,0)" stroke="none" d="M 8600,12846 L 8515,12846 8515,13125 C 8479,13070 8421,13041 8349,13041 8209,13041 8117,13154 8117,13326 8117,13509 8207,13621 8352,13621 8426,13621 8478,13593 8524,13526 L 8524,13597 8600,13597 8600,12846 Z M 8363,13122 C 8456,13122 8515,13205 8515,13333 8515,13458 8455,13541 8364,13541 8269,13541 8207,13457 8207,13331 8207,13206 8269,13122 8363,13122 L 8363,13122 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 8818,13057 L 8733,13057 8733,13597 8818,13597 8818,13057 Z M 8818,12846 L 8732,12846 8732,12954 8818,12954 8818,12846 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 9344,13207 C 9343,13101 9273,13041 9148,13041 9022,13041 8941,13107 8941,13207 8941,13291 8984,13331 9112,13362 L 9193,13382 C 9252,13396 9276,13418 9276,13457 9276,13508 9226,13542 9150,13542 9103,13542 9065,13528 9043,13506 9029,13490 9023,13475 9018,13437 L 8927,13437 C 8931,13561 9002,13621 9143,13621 9279,13621 9366,13554 9366,13450 9366,13369 9320,13325 9213,13299 L 9131,13280 C 9060,13263 9030,13240 9030,13203 9030,13153 9075,13121 9145,13121 9214,13121 9251,13151 9253,13207 L 9344,13207 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 9480,13057 L 9480,13676 C 9480,13730 9463,13747 9410,13747 9407,13747 9407,13747 9389,13746 L 9389,13819 C 9400,13821 9405,13822 9418,13822 9515,13822 9566,13783 9566,13710 L 9566,13057 9480,13057 Z M 9566,12846 L 9480,12846 9480,12954 9566,12954 9566,12846 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 10134,13597 L 10134,13057 10048,13057 10048,13363 C 10048,13474 9990,13546 9901,13546 9833,13546 9789,13504 9789,13439 L 9789,13057 9704,13057 9704,13474 C 9704,13563 9771,13621 9876,13621 9956,13621 10006,13593 10057,13522 L 10057,13597 10134,13597 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 10282,13057 L 10282,13597 10369,13597 10369,13299 C 10369,13189 10427,13117 10515,13117 10584,13117 10627,13158 10627,13223 L 10627,13597 10713,13597 10713,13189 C 10713,13099 10645,13041 10541,13041 10461,13041 10409,13072 10362,13148 L 10362,13057 10282,13057 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 11269,13238 C 11265,13186 11254,13152 11233,13122 11196,13071 11131,13041 11056,13041 10911,13041 10816,13157 10816,13336 10816,13511 10909,13621 11055,13621 11184,13621 11265,13544 11276,13412 L 11189,13412 C 11175,13499 11130,13542 11057,13542 10962,13542 10905,13464 10905,13336 10905,13201 10961,13121 11055,13121 11127,13121 11173,13163 11183,13238 L 11269,13238 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 11561,13057 L 11473,13057 11473,12909 11387,12909 11387,13057 11314,13057 11314,13127 11387,13127 11387,13535 C 11387,13590 11424,13621 11491,13621 11512,13621 11532,13619 11561,13614 L 11561,13542 C 11550,13545 11537,13546 11520,13546 11483,13546 11473,13535 11473,13497 L 11473,13127 11561,13127 11561,13057 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 11740,13057 L 11655,13057 11655,13597 11740,13597 11740,13057 Z M 11740,12846 L 11654,12846 11654,12954 11740,12954 11740,12846 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 12095,13041 C 11944,13041 11852,13150 11852,13331 11852,13513 11943,13621 12096,13621 12248,13621 12341,13513 12341,13335 12341,13149 12251,13041 12095,13041 L 12095,13041 Z M 12096,13121 C 12193,13121 12251,13200 12251,13334 12251,13461 12191,13542 12096,13542 12000,13542 11942,13462 11942,13331 11942,13201 12000,13121 12096,13121 L 12096,13121 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 12460,13057 L 12460,13597 12547,13597 12547,13299 C 12547,13189 12605,13117 12693,13117 12762,13117 12805,13158 12805,13223 L 12805,13597 12891,13597 12891,13189 C 12891,13099 12823,13041 12719,13041 12639,13041 12587,13072 12540,13148 L 12540,13057 12460,13057 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 13558,13727 L 12939,13727 12939,13779 13558,13779 13558,13727 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 13818,12867 C 13751,12867 13689,12896 13650,12947 13603,13011 13580,13109 13580,13244 13580,13490 13662,13621 13818,13621 13973,13621 14058,13490 14058,13250 14058,13108 14035,13013 13987,12947 13949,12895 13888,12867 13818,12867 L 13818,12867 Z M 13818,12947 C 13917,12947 13965,13046 13965,13241 13965,13449 13918,13546 13816,13546 13721,13546 13672,13445 13672,13245 13672,13045 13721,12947 13818,12947 L 13818,12947 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 7769,19642 L 7684,19642 7684,19921 C 7648,19867 7590,19838 7517,19838 7377,19838 7285,19950 7285,20122 7285,20305 7375,20417 7521,20417 7595,20417 7647,20389 7693,20322 L 7693,20394 7769,20394 7769,19642 Z M 7532,19919 C 7625,19919 7684,20001 7684,20130 7684,20255 7624,20337 7533,20337 7438,20337 7375,20253 7375,20128 7375,20002 7438,19919 7532,19919 L 7532,19919 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 7987,19853 L 7901,19853 7901,20394 7987,20394 7987,19853 Z M 7987,19642 L 7900,19642 7900,19750 7987,19750 7987,19642 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 8513,20004 C 8512,19898 8442,19838 8317,19838 8191,19838 8109,19903 8109,20003 8109,20088 8153,20128 8280,20159 L 8361,20178 C 8421,20193 8445,20214 8445,20253 8445,20304 8394,20338 8319,20338 8272,20338 8233,20324 8212,20302 8198,20287 8192,20271 8187,20233 L 8096,20233 C 8100,20357 8171,20417 8311,20417 8448,20417 8534,20351 8534,20246 8534,20166 8489,20121 8382,20096 L 8299,20076 C 8229,20059 8199,20037 8199,19999 8199,19949 8244,19917 8314,19917 8383,19917 8420,19947 8422,20004 L 8513,20004 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 8649,19853 L 8649,20472 C 8649,20526 8631,20543 8579,20543 8576,20543 8576,20543 8558,20542 L 8558,20615 C 8568,20617 8574,20618 8587,20618 8684,20618 8735,20579 8735,20506 L 8735,19853 8649,19853 Z M 8735,19642 L 8649,19642 8649,19750 8735,19750 8735,19642 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 9303,20394 L 9303,19853 9217,19853 9217,20160 C 9217,20270 9159,20342 9070,20342 9002,20342 8958,20301 8958,20236 L 8958,19853 8872,19853 8872,20270 C 8872,20360 8940,20417 9045,20417 9124,20417 9175,20389 9226,20319 L 9226,20394 9303,20394 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 9451,19853 L 9451,20394 9538,20394 9538,20096 C 9538,19985 9596,19913 9684,19913 9752,19913 9796,19954 9796,20019 L 9796,20394 9881,20394 9881,19985 C 9881,19896 9814,19838 9710,19838 9629,19838 9578,19869 9531,19944 L 9531,19853 9451,19853 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 10438,20035 C 10434,19982 10423,19948 10402,19919 10365,19868 10300,19838 10225,19838 10079,19838 9984,19953 9984,20133 9984,20307 10077,20417 10224,20417 10353,20417 10434,20340 10445,20208 L 10358,20208 C 10343,20295 10299,20338 10226,20338 10131,20338 10074,20260 10074,20133 10074,19997 10130,19917 10224,19917 10296,19917 10341,19960 10352,20035 L 10438,20035 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 10730,19853 L 10641,19853 10641,19705 10556,19705 10556,19853 10483,19853 10483,19923 10556,19923 10556,20332 C 10556,20386 10593,20417 10660,20417 10681,20417 10701,20415 10730,20410 L 10730,20338 C 10718,20341 10705,20342 10689,20342 10652,20342 10641,20332 10641,20293 L 10641,19923 10730,19923 10730,19853 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 10909,19853 L 10824,19853 10824,20394 10909,20394 10909,19853 Z M 10909,19642 L 10823,19642 10823,19750 10909,19750 10909,19642 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 11264,19838 C 11113,19838 11021,19946 11021,20128 11021,20309 11112,20417 11265,20417 11417,20417 11510,20309 11510,20132 11510,19945 11420,19838 11264,19838 L 11264,19838 Z M 11265,19917 C 11362,19917 11420,19996 11420,20131 11420,20258 11360,20338 11265,20338 11169,20338 11111,20258 11111,20128 11111,19997 11169,19917 11265,19917 L 11265,19917 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 11629,19853 L 11629,20394 11716,20394 11716,20096 C 11716,19985 11774,19913 11862,19913 11931,19913 11974,19954 11974,20019 L 11974,20394 12059,20394 12059,19985 C 12059,19896 11992,19838 11888,19838 11807,19838 11756,19869 11709,19944 L 11709,19853 11629,19853 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 12727,20523 L 12108,20523 12108,20575 12727,20575 12727,20523 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 12998,20394 L 13205,19853 13108,19853 12955,20291 12811,19853 12714,19853 12904,20394 12998,20394 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 13486,19873 L 13486,20394 13577,20394 13577,19663 13517,19663 C 13485,19775 13465,19791 13325,19808 L 13325,19873 13486,19873 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 14389,20523 L 13770,20523 13770,20575 14389,20575 14389,20523 Z"/>
         <path fill="rgb(63,110,158)" stroke="none" d="M 14650,19663 C 14582,19663 14520,19692 14482,19743 14435,19807 14411,19905 14411,20040 14411,20287 14493,20417 14650,20417 14805,20417 14889,20287 14889,20046 14889,19904 14867,19809 14818,19743 14780,19691 14719,19663 14650,19663 L 14650,19663 Z M 14650,19743 C 14748,19743 14796,19842 14796,20038 14796,20245 14749,20342 14648,20342 14552,20342 14503,20241 14503,20041 14503,19841 14552,19743 14650,19743 L 14650,19743 Z"/>
         <path fill="none" stroke="rgb(0,0,0)" stroke-width="430" stroke-linejoin="miter" d="M 5083,15701 L 5943,15701"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 6522,15821 L 6587,16009 6676,16009 6456,15383 6353,15383 6129,16009 6214,16009 6280,15821 6522,15821 Z M 6500,15754 L 6300,15754 6403,15469 6500,15754 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 7184,16118 L 6669,16118 6669,16161 7184,16161 7184,16118 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 7295,15559 L 7223,15559 7223,16009 7295,16009 7295,15559 Z M 7295,15383 L 7222,15383 7222,15473 7295,15473 7295,15383 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 7572,15383 L 7412,15383 7412,16192 7572,16192 7572,16130 7483,16130 7483,15445 7572,15445 7572,15383 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 7785,15730 L 7795,15730 7826,15730 C 7910,15730 7953,15767 7953,15840 7953,15916 7905,15962 7826,15962 7744,15962 7704,15921 7699,15833 L 7623,15833 C 7626,15882 7635,15913 7650,15941 7681,15999 7741,16029 7824,16029 7950,16029 8030,15954 8030,15839 8030,15762 8000,15719 7927,15694 7984,15672 8012,15629 8012,15568 8012,15463 7943,15400 7826,15400 7704,15400 7639,15468 7636,15597 L 7711,15597 C 7712,15560 7716,15540 7725,15521 7742,15487 7780,15467 7827,15467 7894,15467 7935,15506 7935,15570 7935,15613 7919,15639 7886,15653 7865,15662 7839,15665 7785,15666 L 7785,15730 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 8257,15920 L 8168,15920 8168,16009 8257,16009 8257,15920 Z M 8257,15559 L 8168,15559 8168,15649 8257,15649 8257,15559 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 8549,15400 C 8492,15400 8440,15425 8409,15468 8369,15521 8349,15602 8349,15715 8349,15920 8418,16029 8549,16029 8677,16029 8748,15920 8748,15720 8748,15601 8729,15522 8689,15468 8657,15424 8606,15400 8549,15400 L 8549,15400 Z M 8549,15468 C 8630,15468 8671,15550 8671,15713 8671,15886 8631,15966 8547,15966 8467,15966 8426,15882 8426,15715 8426,15549 8467,15468 8549,15468 L 8549,15468 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 8810,16192 L 8970,16192 8970,15383 8810,15383 8810,15445 8898,15445 8898,16130 8810,16130 8810,16192 Z"/>
         <path fill="none" stroke="rgb(0,0,0)" stroke-width="430" stroke-linejoin="miter" d="M 5083,17419 L 5943,17419"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 6182,17728 L 6465,17728 C 6524,17728 6569,17711 6602,17676 6633,17643 6650,17598 6650,17549 6650,17474 6616,17428 6536,17397 6592,17370 6622,17324 6622,17261 6622,17215 6605,17175 6573,17145 6540,17115 6497,17102 6437,17102 L 6182,17102 6182,17728 Z M 6262,17371 L 6262,17172 6417,17172 C 6462,17172 6487,17178 6508,17194 6531,17212 6542,17237 6542,17272 6542,17305 6531,17332 6508,17349 6487,17365 6462,17371 6417,17371 L 6262,17371 Z M 6262,17658 L 6262,17442 6458,17442 C 6496,17442 6522,17451 6541,17472 6560,17492 6570,17519 6570,17550 6570,17580 6560,17608 6541,17627 6522,17648 6496,17658 6458,17658 L 6262,17658 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 7184,17836 L 6669,17836 6669,17879 7184,17879 7184,17836 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 7295,17277 L 7223,17277 7223,17728 7295,17728 7295,17277 Z M 7295,17102 L 7222,17102 7222,17192 7295,17192 7295,17102 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 7572,17102 L 7412,17102 7412,17910 7572,17910 7572,17848 7483,17848 7483,17163 7572,17163 7572,17102 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 7785,17448 L 7795,17448 7826,17448 C 7910,17448 7953,17486 7953,17559 7953,17635 7905,17680 7826,17680 7744,17680 7704,17639 7699,17551 L 7623,17551 C 7626,17600 7635,17631 7650,17659 7681,17718 7741,17748 7824,17748 7950,17748 8030,17673 8030,17558 8030,17480 8000,17437 7927,17413 7984,17390 8012,17347 8012,17286 8012,17182 7943,17119 7826,17119 7704,17119 7639,17186 7636,17315 L 7711,17315 C 7712,17278 7716,17258 7725,17239 7742,17205 7780,17185 7827,17185 7894,17185 7935,17224 7935,17289 7935,17332 7919,17357 7886,17371 7865,17380 7839,17384 7785,17384 L 7785,17448 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 8257,17639 L 8168,17639 8168,17728 8257,17728 8257,17639 Z M 8257,17277 L 8168,17277 8168,17367 8257,17367 8257,17277 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 8549,17119 C 8492,17119 8440,17144 8409,17186 8369,17239 8349,17321 8349,17433 8349,17639 8418,17748 8549,17748 8677,17748 8748,17639 8748,17438 8748,17320 8729,17241 8689,17186 8657,17143 8606,17119 8549,17119 L 8549,17119 Z M 8549,17186 C 8630,17186 8671,17268 8671,17431 8671,17604 8631,17685 8547,17685 8467,17685 8426,17600 8426,17434 8426,17267 8467,17186 8549,17186 L 8549,17186 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 8810,17910 L 8970,17910 8970,17102 8810,17102 8810,17163 8898,17163 8898,17848 8810,17848 8810,17910 Z"/>
         <path fill="none" stroke="rgb(0,0,0)" stroke-width="430" stroke-linejoin="miter" d="M 17115,16560 L 16256,16560"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 13215,16623 L 13451,16242 13355,16242 13176,16548 12992,16242 12894,16242 13135,16623 13135,16869 13215,16869 13215,16623 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 13952,16977 L 13437,16977 13437,17020 13952,17020 13952,16977 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 14167,16406 C 14041,16406 13964,16496 13964,16647 13964,16798 14040,16889 14168,16889 14294,16889 14372,16798 14372,16650 14372,16495 14297,16406 14167,16406 L 14167,16406 Z M 14168,16472 C 14249,16472 14297,16538 14297,16650 14297,16755 14247,16822 14168,16822 14088,16822 14039,16756 14039,16647 14039,16539 14088,16472 14168,16472 L 14168,16472 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 14626,16242 L 14466,16242 14466,17051 14626,17051 14626,16989 14538,16989 14538,16304 14626,16304 14626,16242 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 14840,16589 L 14850,16589 14881,16589 C 14965,16589 15008,16627 15008,16700 15008,16776 14960,16821 14881,16821 14799,16821 14759,16780 14753,16692 L 14678,16692 C 14681,16741 14690,16772 14704,16800 14735,16858 14795,16889 14879,16889 15004,16889 15085,16813 15085,16699 15085,16621 15055,16578 14982,16553 15039,16531 15067,16488 15067,16427 15067,16322 14997,16259 14881,16259 14759,16259 14693,16327 14690,16456 L 14766,16456 C 14767,16419 14770,16399 14780,16380 14797,16346 14835,16326 14882,16326 14949,16326 14990,16365 14990,16429 14990,16472 14974,16498 14941,16512 14920,16521 14893,16524 14840,16525 L 14840,16589 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 15312,16780 L 15222,16780 15222,16869 15312,16869 15312,16780 Z M 15312,16418 L 15222,16418 15222,16508 15312,16508 15312,16418 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 15603,16259 C 15547,16259 15495,16285 15463,16327 15424,16380 15404,16461 15404,16574 15404,16780 15472,16889 15603,16889 15732,16889 15802,16780 15802,16579 15802,16460 15783,16381 15743,16327 15711,16284 15661,16259 15603,16259 L 15603,16259 Z M 15603,16327 C 15685,16327 15725,16409 15725,16572 15725,16745 15686,16826 15601,16826 15521,16826 15481,16741 15481,16575 15481,16408 15521,16327 15603,16327 L 15603,16327 Z"/>
         <path fill="rgb(0,0,0)" stroke="none" d="M 15865,17051 L 16024,17051 16024,16242 15865,16242 15865,16304 15953,16304 15953,16989 15865,16989 15865,17051 Z"/>
         <path fill="none" stroke="rgb(63,110,158)" stroke-width="86" stroke-linejoin="miter" d="M 6544,13983 L 15654,13983"/>
         <path fill="none" stroke="rgb(63,110,158)" stroke-width="86" stroke-linejoin="miter" d="M 16256,14584 C 16256,14574 16256,14565 16256,14555 16248,14231 15978,13975 15654,13983"/>
         <path fill="none" stroke="rgb(63,110,158)" stroke-width="86" stroke-linejoin="miter" d="M 16256,14584 L 16256,18536"/>
         <path fill="none" stroke="rgb(63,110,158)" stroke-width="86" stroke-linejoin="miter" d="M 15654,19138 C 15663,19138 15673,19138 15683,19138 16007,19130 16263,18861 16256,18536"/>
         <path fill="none" stroke="rgb(63,110,158)" stroke-width="86" stroke-linejoin="miter" d="M 15654,19138 L 6544,19138"/>
         <path fill="none" stroke="rgb(63,110,158)" stroke-width="86" stroke-linejoin="miter" d="M 5943,18536 C 5943,18546 5943,18555 5943,18565 5951,18889 6220,19146 6544,19138"/>
         <path fill="none" stroke="rgb(63,110,158)" stroke-width="86" stroke-linejoin="miter" d="M 5943,18536 L 5943,14584"/>
         <path fill="none" stroke="rgb(63,110,158)" stroke-width="86" stroke-linejoin="miter" d="M 6544,13983 C 6535,13982 6525,13982 6516,13983 6191,13990 5935,14260 5943,14584"/>
        </g>
       </g>
      </g>
     </g>
    </g>
   </g>
  </g>
 </g>
</svg>