view poster/pic/model_checking.svg @ 3:1b34d9710a84

add poster
author ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
date Mon, 15 Feb 2021 10:51:57 +0900
parents
children
line wrap: on
line source

<?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="210mm" height="297mm" viewBox="0 0 21000 29700" 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="0" y="0" width="21000" height="29700"/>
  </clipPath>
  <clipPath id="presentation_clip_path_shrink" clipPathUnits="userSpaceOnUse">
   <rect x="21" y="29" width="20958" height="29641"/>
  </clipPath>
 </defs>
 <defs>
  <font id="EmbeddedFont_1" horiz-adv-x="2048">
   <font-face font-family="Liberation Sans embedded" units-per-em="2048" font-weight="normal" font-style="normal" ascent="1870" descent="439"/>
   <missing-glyph horiz-adv-x="2048" d="M 0,0 L 2047,0 2047,2047 0,2047 0,0 Z"/>
   <glyph unicode="●" horiz-adv-x="901" d="M 618,1018 C 691,1018 764,999 837,960 909,921 964,866 1002,793 1040,720 1059,649 1059,578 1059,456 1016,352 930,266 844,180 740,137 618,137 497,137 393,180 307,267 221,353 178,457 178,578 178,650 197,722 234,793 271,864 325,919 397,959 468,998 542,1018 618,1018 Z"/>
   <glyph unicode="z" horiz-adv-x="856" d="M 83,0 L 83,137 688,943 117,943 117,1082 901,1082 901,945 295,139 922,139 922,0 Z"/>
   <glyph unicode="y" horiz-adv-x="1040" d="M 191,-425 C 142,-425 100,-421 67,-414 L 67,-279 C 92,-283 120,-285 151,-285 263,-285 352,-203 417,-38 L 434,5 5,1082 197,1082 425,484 C 428,475 432,464 437,451 442,438 457,394 482,320 507,246 521,205 523,196 L 593,393 830,1082 1020,1082 604,0 C 559,-115 518,-201 479,-258 440,-314 398,-356 351,-384 304,-411 250,-425 191,-425 Z"/>
   <glyph unicode="u" horiz-adv-x="902" d="M 314,1082 L 314,396 C 314,325 321,269 335,230 349,191 371,162 402,145 433,128 478,119 537,119 624,119 692,149 742,208 792,267 817,350 817,455 L 817,1082 997,1082 997,231 C 997,105 999,28 1003,0 L 833,0 C 832,3 832,12 831,27 830,42 830,59 829,78 828,97 826,132 825,185 L 822,185 C 781,110 733,58 679,27 624,-5 557,-20 476,-20 357,-20 271,10 216,69 161,128 133,225 133,361 L 133,1082 Z"/>
   <glyph unicode="t" horiz-adv-x="532" d="M 554,8 C 495,-8 434,-16 372,-16 228,-16 156,66 156,229 L 156,951 31,951 31,1082 163,1082 216,1324 336,1324 336,1082 536,1082 536,951 336,951 336,268 C 336,216 345,180 362,159 379,138 408,127 450,127 474,127 509,132 554,141 Z"/>
   <glyph unicode="s" horiz-adv-x="925" d="M 950,299 C 950,197 912,118 835,63 758,8 650,-20 511,-20 376,-20 273,2 200,47 127,91 79,160 57,254 L 216,285 C 231,227 263,185 311,158 359,131 426,117 511,117 602,117 669,131 712,159 754,187 775,229 775,285 775,328 760,362 731,389 702,416 654,438 589,455 L 460,489 C 357,516 283,542 240,568 196,593 162,624 137,661 112,698 100,743 100,796 100,895 135,970 206,1022 276,1073 378,1099 513,1099 632,1099 727,1078 798,1036 868,994 912,927 931,834 L 769,814 C 759,862 732,899 689,925 645,950 586,963 513,963 432,963 372,951 333,926 294,901 275,864 275,814 275,783 283,758 299,738 315,718 339,701 370,687 401,673 467,654 568,629 663,605 732,583 774,563 816,542 849,520 874,495 898,470 917,442 930,410 943,377 950,340 950,299 Z"/>
   <glyph unicode="r" horiz-adv-x="556" d="M 142,0 L 142,830 C 142,906 140,990 136,1082 L 306,1082 C 311,959 314,886 314,861 L 318,861 C 347,954 380,1017 417,1051 454,1085 507,1102 575,1102 599,1102 623,1099 648,1092 L 648,927 C 624,934 592,937 552,937 477,937 420,905 381,841 342,776 322,684 322,564 L 322,0 Z"/>
   <glyph unicode="p" horiz-adv-x="948" d="M 1053,546 C 1053,169 920,-20 655,-20 488,-20 376,43 319,168 L 314,168 C 317,163 318,106 318,-2 L 318,-425 138,-425 138,861 C 138,972 136,1046 132,1082 L 306,1082 C 307,1079 308,1070 309,1054 310,1037 312,1012 314,978 315,944 316,921 316,908 L 320,908 C 352,975 394,1024 447,1055 500,1086 569,1101 655,1101 788,1101 888,1056 954,967 1020,878 1053,737 1053,546 Z M 864,542 C 864,693 844,800 803,865 762,930 698,962 609,962 538,962 482,947 442,917 401,887 371,840 350,777 329,713 318,630 318,528 318,386 341,281 386,214 431,147 505,113 607,113 696,113 762,146 803,212 844,277 864,387 864,542 Z"/>
   <glyph unicode="o" horiz-adv-x="994" d="M 1053,542 C 1053,353 1011,212 928,119 845,26 724,-20 565,-20 407,-20 288,28 207,125 126,221 86,360 86,542 86,915 248,1102 571,1102 736,1102 858,1057 936,966 1014,875 1053,733 1053,542 Z M 864,542 C 864,691 842,800 798,868 753,935 679,969 574,969 469,969 393,935 346,866 299,797 275,689 275,542 275,399 298,292 345,221 391,149 464,113 563,113 671,113 748,148 795,217 841,286 864,395 864,542 Z"/>
   <glyph unicode="n" horiz-adv-x="902" d="M 825,0 L 825,686 C 825,757 818,813 804,852 790,891 768,920 737,937 706,954 661,963 602,963 515,963 447,933 397,874 347,815 322,732 322,627 L 322,0 142,0 142,851 C 142,977 140,1054 136,1082 L 306,1082 C 307,1079 307,1070 308,1055 309,1040 310,1024 311,1005 312,986 313,950 314,897 L 317,897 C 358,972 406,1025 461,1056 515,1087 582,1102 663,1102 782,1102 869,1073 924,1014 979,955 1006,857 1006,721 L 1006,0 Z"/>
   <glyph unicode="m" horiz-adv-x="1479" d="M 768,0 L 768,686 C 768,791 754,863 725,903 696,943 645,963 570,963 493,963 433,934 388,875 343,816 321,734 321,627 L 321,0 142,0 142,851 C 142,977 140,1054 136,1082 L 306,1082 C 307,1079 307,1070 308,1055 309,1040 310,1024 311,1005 312,986 313,950 314,897 L 317,897 C 356,974 400,1027 450,1057 500,1087 561,1102 633,1102 715,1102 780,1086 828,1053 875,1020 908,968 927,897 L 930,897 C 967,970 1013,1022 1066,1054 1119,1086 1183,1102 1258,1102 1367,1102 1447,1072 1497,1013 1546,954 1571,856 1571,721 L 1571,0 1393,0 1393,686 C 1393,791 1379,863 1350,903 1321,943 1270,963 1195,963 1116,963 1055,934 1012,876 968,817 946,734 946,627 L 946,0 Z"/>
   <glyph unicode="l" horiz-adv-x="209" d="M 138,0 L 138,1484 318,1484 318,0 Z"/>
   <glyph unicode="k" horiz-adv-x="925" d="M 816,0 L 450,494 318,385 318,0 138,0 138,1484 318,1484 318,557 793,1082 1004,1082 565,617 1027,0 Z"/>
   <glyph unicode="i" horiz-adv-x="209" d="M 137,1312 L 137,1484 317,1484 317,1312 Z M 137,0 L 137,1082 317,1082 317,0 Z"/>
   <glyph unicode="h" horiz-adv-x="878" d="M 317,897 C 356,968 402,1020 457,1053 511,1086 580,1102 663,1102 780,1102 867,1073 923,1015 978,956 1006,858 1006,721 L 1006,0 825,0 825,686 C 825,762 818,819 804,856 790,893 767,920 735,937 703,954 659,963 602,963 517,963 450,934 399,875 348,816 322,737 322,638 L 322,0 142,0 142,1484 322,1484 322,1098 C 322,1057 321,1015 319,972 316,929 315,904 314,897 Z"/>
   <glyph unicode="g" horiz-adv-x="948" d="M 548,-425 C 430,-425 336,-402 266,-356 196,-309 151,-243 131,-158 L 312,-132 C 324,-182 351,-221 392,-248 433,-275 486,-288 553,-288 732,-288 822,-183 822,27 L 822,201 820,201 C 786,132 739,80 680,45 621,10 551,-8 472,-8 339,-8 242,36 180,124 117,212 86,350 86,539 86,730 120,872 187,963 254,1054 355,1099 492,1099 569,1099 635,1082 692,1047 748,1012 791,962 822,897 L 824,897 C 824,917 825,952 828,1001 831,1050 833,1077 836,1082 L 1007,1082 C 1003,1046 1001,971 1001,858 L 1001,31 C 1001,-273 850,-425 548,-425 Z M 822,541 C 822,629 810,705 786,769 762,832 728,881 685,915 641,948 591,965 536,965 444,965 377,932 335,865 293,798 272,690 272,541 272,393 292,287 331,222 370,157 438,125 533,125 590,125 640,142 684,175 728,208 762,256 786,319 810,381 822,455 822,541 Z"/>
   <glyph unicode="f" horiz-adv-x="555" d="M 361,951 L 361,0 181,0 181,951 29,951 29,1082 181,1082 181,1204 C 181,1303 203,1374 246,1417 289,1460 356,1482 445,1482 495,1482 537,1478 572,1470 L 572,1333 C 542,1338 515,1341 492,1341 446,1341 413,1329 392,1306 371,1283 361,1240 361,1179 L 361,1082 572,1082 572,951 Z"/>
   <glyph unicode="e" horiz-adv-x="994" d="M 276,503 C 276,379 302,283 353,216 404,149 479,115 578,115 656,115 719,131 766,162 813,193 844,233 861,281 L 1019,236 C 954,65 807,-20 578,-20 418,-20 296,28 213,123 129,218 87,360 87,548 87,727 129,864 213,959 296,1054 416,1102 571,1102 889,1102 1048,910 1048,527 L 1048,503 Z M 862,641 C 852,755 823,838 775,891 727,943 658,969 568,969 481,969 412,940 361,882 310,823 282,743 278,641 Z"/>
   <glyph unicode="d" horiz-adv-x="948" d="M 821,174 C 788,105 744,55 689,25 634,-5 565,-20 484,-20 347,-20 247,26 183,118 118,210 86,349 86,536 86,913 219,1102 484,1102 566,1102 634,1087 689,1057 744,1027 788,979 821,914 L 823,914 821,1035 821,1484 1001,1484 1001,223 C 1001,110 1003,36 1007,0 L 835,0 C 833,11 831,35 829,74 826,113 825,146 825,174 Z M 275,542 C 275,391 295,282 335,217 375,152 440,119 530,119 632,119 706,154 752,225 798,296 821,405 821,554 821,697 798,802 752,869 706,936 633,969 532,969 441,969 376,936 336,869 295,802 275,693 275,542 Z"/>
   <glyph unicode="c" horiz-adv-x="925" d="M 275,546 C 275,402 298,295 343,226 388,157 457,122 548,122 612,122 666,139 709,174 752,209 778,262 788,334 L 970,322 C 956,218 912,135 837,73 762,11 668,-20 553,-20 402,-20 286,28 207,124 127,219 87,359 87,542 87,724 127,863 207,959 287,1054 402,1102 551,1102 662,1102 754,1073 827,1016 900,959 945,880 964,779 L 779,765 C 770,825 746,873 708,908 670,943 616,961 546,961 451,961 382,929 339,866 296,803 275,696 275,546 Z"/>
   <glyph unicode="a" horiz-adv-x="1087" d="M 414,-20 C 305,-20 224,9 169,66 114,123 87,202 87,302 87,414 124,500 198,560 271,620 390,652 554,656 L 797,660 797,719 C 797,807 778,870 741,908 704,946 645,965 565,965 484,965 426,951 389,924 352,897 330,853 323,793 L 135,810 C 166,1005 310,1102 569,1102 705,1102 807,1071 876,1009 945,946 979,856 979,738 L 979,272 C 979,219 986,179 1000,152 1014,125 1041,111 1080,111 1097,111 1117,113 1139,118 L 1139,6 C 1094,-5 1047,-10 1000,-10 933,-10 885,8 855,43 824,78 807,132 803,207 L 797,207 C 751,124 698,66 637,32 576,-3 501,-20 414,-20 Z M 455,115 C 521,115 580,130 631,160 682,190 723,231 753,284 782,336 797,390 797,445 L 797,534 600,530 C 515,529 451,520 408,504 364,488 330,463 307,430 284,397 272,353 272,299 272,240 288,195 320,163 351,131 396,115 455,115 Z"/>
   <glyph unicode="T" horiz-adv-x="1202" d="M 720,1253 L 720,0 530,0 530,1253 46,1253 46,1409 1204,1409 1204,1253 Z"/>
   <glyph unicode="S" horiz-adv-x="1202" d="M 1272,389 C 1272,259 1221,158 1120,87 1018,16 875,-20 690,-20 347,-20 148,99 93,338 L 278,375 C 299,290 345,228 414,189 483,149 578,129 697,129 820,129 916,150 983,193 1050,235 1083,297 1083,379 1083,425 1073,462 1052,491 1031,520 1001,543 963,562 925,581 880,596 827,609 774,622 716,635 652,650 541,675 456,699 399,724 341,749 295,776 262,807 229,837 203,872 186,913 168,954 159,1000 159,1053 159,1174 205,1267 298,1332 390,1397 522,1430 694,1430 854,1430 976,1406 1061,1357 1146,1308 1205,1224 1239,1106 L 1051,1073 C 1030,1148 991,1202 933,1236 875,1269 795,1286 692,1286 579,1286 493,1267 434,1230 375,1193 345,1137 345,1063 345,1020 357,984 380,956 403,927 436,903 479,884 522,864 609,840 738,811 781,801 825,791 868,781 911,770 952,758 991,744 1030,729 1067,712 1102,693 1136,674 1166,650 1191,622 1216,594 1236,561 1251,523 1265,485 1272,440 1272,389 Z"/>
   <glyph unicode="R" horiz-adv-x="1224" d="M 1164,0 L 798,585 359,585 359,0 168,0 168,1409 831,1409 C 990,1409 1112,1374 1199,1303 1285,1232 1328,1133 1328,1006 1328,901 1298,813 1237,742 1176,671 1091,626 984,607 L 1384,0 Z M 1136,1004 C 1136,1086 1108,1149 1053,1192 997,1235 917,1256 812,1256 L 359,1256 359,736 820,736 C 921,736 999,760 1054,807 1109,854 1136,919 1136,1004 Z"/>
   <glyph unicode="Q" horiz-adv-x="1410" d="M 1495,711 C 1495,512 1445,349 1345,221 1245,93 1106,17 928,-6 955,-90 991,-151 1036,-188 1080,-225 1136,-244 1204,-244 1241,-244 1279,-240 1319,-231 L 1319,-365 C 1257,-380 1198,-387 1141,-387 1040,-387 958,-359 893,-302 828,-245 774,-149 733,-16 601,-9 487,24 392,85 296,145 223,229 173,337 122,444 97,569 97,711 97,936 159,1113 282,1240 405,1367 577,1430 797,1430 940,1430 1065,1402 1170,1345 1275,1288 1356,1205 1412,1096 1467,987 1495,859 1495,711 Z M 1300,711 C 1300,886 1256,1024 1169,1124 1081,1224 957,1274 797,1274 636,1274 511,1225 423,1126 335,1027 291,889 291,711 291,534 336,394 425,291 514,187 637,135 795,135 958,135 1083,185 1170,286 1257,386 1300,528 1300,711 Z"/>
   <glyph unicode="P" horiz-adv-x="1109" d="M 1258,985 C 1258,852 1215,746 1128,667 1041,588 922,549 773,549 L 359,549 359,0 168,0 168,1409 761,1409 C 919,1409 1041,1372 1128,1298 1215,1224 1258,1120 1258,985 Z M 1066,983 C 1066,1165 957,1256 738,1256 L 359,1256 359,700 746,700 C 959,700 1066,794 1066,983 Z"/>
   <glyph unicode="M" horiz-adv-x="1386" d="M 1366,0 L 1366,940 C 1366,1044 1369,1144 1375,1240 1342,1121 1313,1027 1287,960 L 923,0 789,0 420,960 364,1130 331,1240 334,1129 338,940 338,0 168,0 168,1409 419,1409 794,432 C 807,393 820,351 833,306 845,261 853,228 857,208 862,235 874,275 891,330 908,384 919,418 925,432 L 1293,1409 1538,1409 1538,0 Z"/>
   <glyph unicode="L" horiz-adv-x="924" d="M 168,0 L 168,1409 359,1409 359,156 1071,156 1071,0 Z"/>
   <glyph unicode="G" horiz-adv-x="1364" d="M 103,711 C 103,940 164,1117 287,1242 410,1367 582,1430 804,1430 960,1430 1087,1404 1184,1351 1281,1298 1356,1214 1409,1098 L 1227,1044 C 1187,1124 1132,1182 1062,1219 991,1256 904,1274 799,1274 636,1274 512,1225 426,1127 340,1028 297,890 297,711 297,533 343,393 434,290 525,187 652,135 813,135 905,135 991,149 1071,177 1150,205 1215,243 1264,291 L 1264,545 843,545 843,705 1440,705 1440,219 C 1365,143 1274,84 1166,43 1057,1 940,-20 813,-20 666,-20 539,9 432,68 325,127 244,211 188,322 131,432 103,562 103,711 Z"/>
   <glyph unicode="E" horiz-adv-x="1132" d="M 168,0 L 168,1409 1237,1409 1237,1253 359,1253 359,801 1177,801 1177,647 359,647 359,156 1278,156 1278,0 Z"/>
   <glyph unicode="D" horiz-adv-x="1224" d="M 1381,719 C 1381,574 1353,447 1296,338 1239,229 1159,145 1055,87 951,29 831,0 695,0 L 168,0 168,1409 634,1409 C 873,1409 1057,1349 1187,1230 1316,1110 1381,940 1381,719 Z M 1189,719 C 1189,894 1141,1027 1046,1119 950,1210 811,1256 630,1256 L 359,1256 359,153 673,153 C 776,153 867,176 946,221 1024,266 1084,332 1126,417 1168,502 1189,603 1189,719 Z"/>
   <glyph unicode="C" horiz-adv-x="1318" d="M 792,1274 C 636,1274 515,1224 428,1124 341,1023 298,886 298,711 298,538 343,400 434,295 524,190 646,137 800,137 997,137 1146,235 1245,430 L 1401,352 C 1343,231 1262,138 1157,75 1052,12 930,-20 791,-20 649,-20 526,10 423,69 319,128 240,212 186,322 131,431 104,561 104,711 104,936 165,1112 286,1239 407,1366 575,1430 790,1430 940,1430 1065,1401 1166,1342 1267,1283 1341,1196 1388,1081 L 1207,1021 C 1174,1103 1122,1166 1050,1209 977,1252 891,1274 792,1274 Z"/>
   <glyph unicode="B" horiz-adv-x="1109" d="M 1258,397 C 1258,272 1212,174 1121,105 1030,35 903,0 740,0 L 168,0 168,1409 680,1409 C 1011,1409 1176,1295 1176,1067 1176,984 1153,914 1106,857 1059,800 993,762 908,743 1020,730 1106,692 1167,631 1228,569 1258,491 1258,397 Z M 984,1044 C 984,1120 958,1174 906,1207 854,1240 779,1256 680,1256 L 359,1256 359,810 680,810 C 782,810 858,829 909,868 959,906 984,965 984,1044 Z M 1065,412 C 1065,578 948,661 715,661 L 359,661 359,153 730,153 C 847,153 932,175 985,218 1038,261 1065,326 1065,412 Z"/>
   <glyph unicode="5" horiz-adv-x="994" d="M 1053,459 C 1053,310 1009,193 921,108 832,23 710,-20 553,-20 422,-20 316,9 235,66 154,123 103,206 82,315 L 264,336 C 302,197 400,127 557,127 654,127 729,156 784,215 839,273 866,353 866,455 866,544 839,615 784,670 729,725 654,752 561,752 512,752 467,744 425,729 383,714 341,688 299,651 L 123,651 170,1409 971,1409 971,1256 334,1256 307,809 C 385,869 482,899 598,899 737,899 847,858 930,777 1012,696 1053,590 1053,459 Z"/>
   <glyph unicode="4" horiz-adv-x="1040" d="M 881,319 L 881,0 711,0 711,319 47,319 47,459 692,1409 881,1409 881,461 1079,461 1079,319 Z M 711,1206 C 710,1202 700,1184 683,1153 666,1122 653,1100 644,1087 L 283,555 229,481 213,461 711,461 Z"/>
   <glyph unicode="3" horiz-adv-x="994" d="M 1049,389 C 1049,259 1008,158 925,87 842,16 724,-20 571,-20 428,-20 315,12 230,77 145,141 94,236 78,362 L 264,379 C 288,212 390,129 571,129 662,129 733,151 785,196 836,241 862,307 862,395 862,472 833,532 774,575 715,618 629,639 518,639 L 416,639 416,795 514,795 C 613,795 689,817 744,860 798,903 825,962 825,1038 825,1113 803,1173 759,1217 714,1260 648,1282 561,1282 482,1282 418,1262 369,1221 320,1180 291,1123 283,1049 L 102,1063 C 115,1178 163,1268 246,1333 328,1398 434,1430 563,1430 704,1430 814,1397 893,1332 971,1266 1010,1174 1010,1057 1010,967 985,894 935,838 884,781 811,743 715,723 L 715,719 C 820,708 902,672 961,613 1020,554 1049,479 1049,389 Z"/>
   <glyph unicode="2" horiz-adv-x="948" d="M 103,0 L 103,127 C 137,205 179,274 228,334 277,393 328,447 382,496 436,544 490,589 543,630 596,671 643,713 686,754 729,795 763,839 790,884 816,929 829,981 829,1038 829,1115 806,1175 761,1218 716,1261 653,1282 572,1282 495,1282 432,1261 383,1220 333,1178 304,1119 295,1044 L 111,1061 C 124,1174 172,1263 255,1330 337,1397 443,1430 572,1430 714,1430 823,1397 900,1330 976,1263 1014,1167 1014,1044 1014,989 1002,935 977,881 952,827 914,773 865,719 816,665 721,581 582,468 505,405 444,349 399,299 354,248 321,200 301,153 L 1036,153 1036,0 Z"/>
   <glyph unicode="." horiz-adv-x="209" d="M 187,0 L 187,219 382,219 382,0 Z"/>
   <glyph unicode=" " horiz-adv-x="577"/>
  </font>
 </defs>
 <defs>
  <font id="EmbeddedFont_2" horiz-adv-x="2048">
   <font-face font-family="MS Pゴシック embedded" units-per-em="2048" font-weight="normal" font-style="normal" ascent="1755" descent="300"/>
   <missing-glyph horiz-adv-x="2048" d="M 0,0 L 2047,0 2047,2047 0,2047 0,0 Z"/>
   <glyph unicode="1" horiz-adv-x="601" d="M 872,1408 L 872,24 688,24 688,1088 288,1088 288,1216 C 523,1211 675,1275 744,1408 Z"/>
   <glyph unicode=" " horiz-adv-x="1"/>
  </font>
 </defs>
 <defs class="TextShapeIndex">
  <g ooo:slide="id1" ooo:id-list="id3 id4 id5 id6 id7 id8 id9 id10 id11 id12 id13 id14 id15 id16 id17 id18 id19 id20 id21 id22 id23 id24 id25 id26 id27 id28 id29 id30 id31 id32 id33 id34 id35 id36 id37 id38 id39 id40 id41 id42 id43 id44 id45 id46 id47"/>
 </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>
 <g>
  <g id="id2" class="Master_Slide">
   <g id="bg-id2" class="Background"/>
   <g id="bo-id2" class="BackgroundObjects"/>
  </g>
 </g>
 <g class="SlideGroup">
  <g>
   <g id="container-id1">
    <g id="id1" class="Slide" clip-path="url(#presentation_clip_path)">
     <g class="Page">
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id3">
        <rect class="BoundingBox" stroke="none" fill="none" x="12999" y="1999" width="6003" height="1003"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 16000,3000 L 13000,3000 13000,2000 19000,2000 19000,3000 16000,3000 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 16000,3000 L 13000,3000 13000,2000 19000,2000 19000,3000 16000,3000 Z"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="14576" y="2721"><tspan fill="rgb(0,0,0)" stroke="none">Scheduler</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id4">
        <rect class="BoundingBox" stroke="none" fill="none" x="13099" y="3999" width="6003" height="1003"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 16100,5000 L 13100,5000 13100,4000 19100,4000 19100,5000 16100,5000 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 16100,5000 L 13100,5000 13100,4000 19100,4000 19100,5000 16100,5000 Z"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="14938" y="4721"><tspan fill="rgb(0,0,0)" stroke="none">par goto</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id5">
        <rect class="BoundingBox" stroke="none" fill="none" x="15950" y="2999" width="301" height="1002"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 16000,3000 L 16000,3500 16100,3500 16100,3570"/>
        <path fill="rgb(52,101,164)" stroke="none" d="M 16100,4000 L 16250,3550 15950,3550 16100,4000 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id6">
        <rect class="BoundingBox" stroke="none" fill="none" x="11599" y="7030" width="8003" height="9803"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 15600,16831 L 11600,16831 11600,7031 19600,7031 19600,16831 15600,16831 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 15600,16831 L 11600,16831 11600,7031 19600,7031 19600,16831 15600,16831 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id7">
        <rect class="BoundingBox" stroke="none" fill="none" x="10999" y="7999" width="8003" height="9703"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 15000,17700 L 11000,17700 11000,8000 19000,8000 19000,17700 15000,17700 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 15000,17700 L 11000,17700 11000,8000 19000,8000 19000,17700 15000,17700 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id8">
        <rect class="BoundingBox" stroke="none" fill="none" x="10499" y="8999" width="8003" height="9903"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 14500,18900 L 10500,18900 10500,9000 18500,9000 18500,18900 14500,18900 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 14500,18900 L 10500,18900 10500,9000 18500,9000 18500,18900 14500,18900 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id9">
        <rect class="BoundingBox" stroke="none" fill="none" x="9899" y="9999" width="8003" height="10003"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 13900,20000 L 9900,20000 9900,10000 17900,10000 17900,20000 13900,20000 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 13900,20000 L 9900,20000 9900,10000 17900,10000 17900,20000 13900,20000 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id10">
        <rect class="BoundingBox" stroke="none" fill="none" x="15561" y="4999" width="541" height="2033"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 16100,5000 L 15703,6613"/>
        <path fill="rgb(0,0,0)" stroke="none" d="M 15600,7031 L 15853,6630 15562,6558 15600,7031 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id11">
        <rect class="BoundingBox" stroke="none" fill="none" x="15000" y="4999" width="1102" height="3002"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 16100,5000 L 15148,7596"/>
        <path fill="rgb(0,0,0)" stroke="none" d="M 15000,8000 L 15296,7629 15014,7526 15000,8000 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id12">
        <rect class="BoundingBox" stroke="none" fill="none" x="14500" y="4999" width="1602" height="4002"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 16100,5000 L 14660,8601"/>
        <path fill="rgb(52,101,164)" stroke="none" d="M 14500,9000 L 14806,8638 14528,8526 14500,9000 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id13">
        <rect class="BoundingBox" stroke="none" fill="none" x="13900" y="4999" width="2202" height="5002"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 16100,5000 L 14073,9606"/>
        <path fill="rgb(0,0,0)" stroke="none" d="M 13900,10000 L 14219,9649 13944,9528 13900,10000 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id14">
        <rect class="BoundingBox" stroke="none" fill="none" x="9499" y="10999" width="8003" height="10003"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 13500,21000 L 9500,21000 9500,11000 17500,11000 17500,21000 13500,21000 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 13500,21000 L 9500,21000 9500,11000 17500,11000 17500,21000 13500,21000 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id15">
        <rect class="BoundingBox" stroke="none" fill="none" x="13500" y="4999" width="2602" height="6002"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 16100,5000 L 13671,10605"/>
        <path fill="rgb(0,0,0)" stroke="none" d="M 13500,11000 L 13817,10647 13541,10527 13500,11000 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id16">
        <rect class="BoundingBox" stroke="none" fill="none" x="17499" y="15999" width="3" height="3"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 17500,16000 L 17500,16000 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id17">
        <rect class="BoundingBox" stroke="none" fill="none" x="17499" y="15999" width="3" height="3"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 17500,16000 L 17500,16000 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.TextShape">
       <g id="id18">
        <rect class="BoundingBox" stroke="none" fill="none" x="11954" y="11977" width="4301" height="1024"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="12204" y="12678"><tspan fill="rgb(0,0,0)" stroke="none">●</tspan><tspan fill="rgb(0,0,0)" stroke="none">Pick Right</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.TextShape">
       <g id="id19">
        <rect class="BoundingBox" stroke="none" fill="none" x="12000" y="14000" width="4301" height="1001"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="12250" y="14701"><tspan fill="rgb(0,0,0)" stroke="none">●</tspan><tspan fill="rgb(0,0,0)" stroke="none">Eat</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.TextShape">
       <g id="id20">
        <rect class="BoundingBox" stroke="none" fill="none" x="12024" y="13015" width="4301" height="1301"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="12274" y="13716"><tspan fill="rgb(0,0,0)" stroke="none">●</tspan><tspan fill="rgb(0,0,0)" stroke="none">Pick Leftt</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.TextShape">
       <g id="id21">
        <rect class="BoundingBox" stroke="none" fill="none" x="11938" y="14938" width="4301" height="1301"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="12188" y="15639"><tspan fill="rgb(0,0,0)" stroke="none">●</tspan><tspan fill="rgb(0,0,0)" stroke="none">Put Right</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.TextShape">
       <g id="id22">
        <rect class="BoundingBox" stroke="none" fill="none" x="12000" y="16000" width="4301" height="1301"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="12250" y="16701"><tspan fill="rgb(0,0,0)" stroke="none">●</tspan><tspan fill="rgb(0,0,0)" stroke="none">Put Left</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.TextShape">
       <g id="id23">
        <rect class="BoundingBox" stroke="none" fill="none" x="12000" y="17000" width="4301" height="1301"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="12250" y="17701"><tspan fill="rgb(0,0,0)" stroke="none">●</tspan><tspan fill="rgb(0,0,0)" stroke="none">Think</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.LineShape">
       <g id="id24">
        <rect class="BoundingBox" stroke="none" fill="none" x="11068" y="11999" width="301" height="2402"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 11218,12000 L 11218,13970"/>
        <path fill="rgb(52,101,164)" stroke="none" d="M 11218,14400 L 11368,13950 11068,13950 11218,14400 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id25">
        <rect class="BoundingBox" stroke="none" fill="none" x="14104" y="11540" width="2798" height="7104"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 14150,18300 C 14150,19050 16900,18801 16900,15139 16900,11478 15038,11435 14353,11680"/>
        <path fill="rgb(52,101,164)" stroke="none" d="M 14104,11977 L 14515,11740 14291,11541 14104,11977 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.TextShape">
       <g id="id26">
        <rect class="BoundingBox" stroke="none" fill="none" x="7900" y="5900" width="6801" height="1098"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="8150" y="6601"><tspan fill="rgb(0,0,0)" stroke="none">Pherosoher Threads</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.TextShape">
       <g id="id27">
        <rect class="BoundingBox" stroke="none" fill="none" x="10000" y="14300" width="2057" height="1674"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="10250" y="15001"><tspan fill="rgb(0,0,0)" stroke="none">Go to </tspan></tspan><tspan class="TextPosition" x="10250" y="15712"><tspan fill="rgb(0,0,0)" stroke="none">meta</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.LineShape">
       <g id="id28">
        <rect class="BoundingBox" stroke="none" fill="none" x="10950" y="15999" width="301" height="2102"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 11100,16000 L 11100,17670"/>
        <path fill="rgb(52,101,164)" stroke="none" d="M 11100,18100 L 11250,17650 10950,17650 11100,18100 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id29">
        <rect class="BoundingBox" stroke="none" fill="none" x="4700" y="6499" width="10852" height="3555"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 15550,6500 L 5109,9916"/>
        <path fill="rgb(52,101,164)" stroke="none" d="M 4700,10050 L 5174,10053 5081,9768 4700,10050 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id30">
        <rect class="BoundingBox" stroke="none" fill="none" x="2199" y="4999" width="2503" height="10103"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 3450,15100 L 2200,15100 2200,5000 4700,5000 4700,15100 3450,15100 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 3450,15100 L 2200,15100 2200,5000 4700,5000 4700,15100 3450,15100 Z"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="2703" y="8531"><tspan fill="rgb(0,0,0)" stroke="none">fork</tspan><tspan font-family="MS Pゴシック, sans-serif" fill="rgb(0,0,0)" stroke="none">1</tspan></tspan></tspan><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="2745" y="9242"><tspan fill="rgb(0,0,0)" stroke="none">fork2</tspan></tspan></tspan><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="2745" y="9953"><tspan fill="rgb(0,0,0)" stroke="none">fork3</tspan></tspan></tspan><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="2745" y="10664"><tspan fill="rgb(0,0,0)" stroke="none">fork4</tspan></tspan></tspan><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="2745" y="11375"><tspan fill="rgb(0,0,0)" stroke="none">fork5</tspan></tspan></tspan><tspan class="TextParagraph" font-family="MS Pゴシック, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="3239" y="12056"><tspan fill="rgb(0,0,0)" stroke="none"> </tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.TextShape">
       <g id="id31">
        <rect class="BoundingBox" stroke="none" fill="none" x="884" y="3100" width="6417" height="963"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="1134" y="3801"><tspan fill="rgb(0,0,0)" stroke="none">Syncrhonized Queue</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id32">
        <rect class="BoundingBox" stroke="none" fill="none" x="4700" y="7999" width="10302" height="2112"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 15000,8000 L 5122,9966"/>
        <path fill="rgb(52,101,164)" stroke="none" d="M 4700,10050 L 5171,10109 5112,9815 4700,10050 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id33">
        <rect class="BoundingBox" stroke="none" fill="none" x="4700" y="10050" width="7256" height="2440"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 11954,12488 L 5108,10187"/>
        <path fill="rgb(52,101,164)" stroke="none" d="M 4700,10050 L 5079,10336 5174,10051 4700,10050 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id34">
        <rect class="BoundingBox" stroke="none" fill="none" x="4700" y="9897" width="9202" height="302"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 13900,10000 L 5130,10048"/>
        <path fill="rgb(52,101,164)" stroke="none" d="M 4700,10050 L 5151,10198 5149,9898 4700,10050 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id35">
        <rect class="BoundingBox" stroke="none" fill="none" x="4700" y="8999" width="9802" height="1154"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 14500,9000 L 5128,10004"/>
        <path fill="rgb(52,101,164)" stroke="none" d="M 4700,10050 L 5163,10151 5131,9853 4700,10050 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.TextShape">
       <g id="id36">
        <rect class="BoundingBox" stroke="none" fill="none" x="4800" y="7400" width="7401" height="1401"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="5050" y="8101"><tspan fill="rgb(0,0,0)" stroke="none">Cheack and  Set</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id37">
        <rect class="BoundingBox" stroke="none" fill="none" x="1599" y="20299" width="6903" height="6803"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 5050,27100 L 1600,27100 1600,20300 8500,20300 8500,27100 5050,27100 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 5050,27100 L 1600,27100 1600,20300 8500,20300 8500,27100 5050,27100 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id38">
        <rect class="BoundingBox" stroke="none" fill="none" x="7078" y="15135" width="2924" height="10266"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 10000,15136 L 7217,24986"/>
        <path fill="rgb(52,101,164)" stroke="none" d="M 7100,25400 L 7367,25008 7078,24926 7100,25400 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id39">
        <rect class="BoundingBox" stroke="none" fill="none" x="5049" y="27099" width="3" height="3"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 5050,27100 L 5050,27100 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id40">
        <rect class="BoundingBox" stroke="none" fill="none" x="-10501" y="11699" width="6003" height="2203"/>
        <path fill="rgb(114,159,207)" stroke="none" d="M -7500,13900 L -10500,13900 -10500,11700 -4500,11700 -4500,13900 -7500,13900 Z"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M -7500,13900 L -10500,13900 -10500,11700 -4500,11700 -4500,13900 -7500,13900 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id41">
        <rect class="BoundingBox" stroke="none" fill="none" x="3699" y="21299" width="4203" height="1603"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 5800,22900 L 3700,22900 3700,21300 7900,21300 7900,22900 5800,22900 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 5800,22900 L 3700,22900 3700,21300 7900,21300 7900,22900 5800,22900 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id42">
        <rect class="BoundingBox" stroke="none" fill="none" x="2999" y="22099" width="4203" height="1603"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 5100,23700 L 3000,23700 3000,22100 7200,22100 7200,23700 5100,23700 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 5100,23700 L 3000,23700 3000,22100 7200,22100 7200,23700 5100,23700 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id43">
        <rect class="BoundingBox" stroke="none" fill="none" x="1799" y="22399" width="4203" height="1603"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 3900,24000 L 1800,24000 1800,22400 6000,22400 6000,24000 3900,24000 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 3900,24000 L 1800,24000 1800,22400 6000,22400 6000,24000 3900,24000 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id44">
        <rect class="BoundingBox" stroke="none" fill="none" x="1799" y="23799" width="4203" height="1603"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 3900,25400 L 1800,25400 1800,23800 6000,23800 6000,25400 3900,25400 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 3900,25400 L 1800,25400 1800,23800 6000,23800 6000,25400 3900,25400 Z"/>
       </g>
      </g>
      <g class="com.sun.star.drawing.CustomShape">
       <g id="id45">
        <rect class="BoundingBox" stroke="none" fill="none" x="2899" y="24599" width="4203" height="1603"/>
        <path fill="rgb(255,255,255)" stroke="none" d="M 5000,26200 L 2900,26200 2900,24600 7100,24600 7100,26200 5000,26200 Z"/>
        <path fill="none" stroke="rgb(0,0,0)" d="M 5000,26200 L 2900,26200 2900,24600 7100,24600 7100,26200 5000,26200 Z"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="3133" y="25621"><tspan fill="rgb(0,0,0)" stroke="none">Memory Tree</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.TextShape">
       <g id="id46">
        <rect class="BoundingBox" stroke="none" fill="none" x="2700" y="18200" width="4701" height="1674"/>
        <text class="TextShape"><tspan class="TextParagraph" font-family="Liberation Sans, sans-serif" font-size="635px" font-weight="400"><tspan class="TextPosition" x="2950" y="18901"><tspan fill="rgb(0,0,0)" stroke="none">State.DB</tspan></tspan></tspan></text>
       </g>
      </g>
      <g class="com.sun.star.drawing.ConnectorShape">
       <g id="id47">
        <rect class="BoundingBox" stroke="none" fill="none" x="7099" y="16000" width="4002" height="9402"/>
        <path fill="none" stroke="rgb(52,101,164)" d="M 7100,25400 L 10932,16396"/>
        <path fill="rgb(52,101,164)" stroke="none" d="M 11100,16000 L 10786,16355 11062,16473 11100,16000 Z"/>
       </g>
      </g>
     </g>
    </g>
   </g>
  </g>
 </g>
</svg>