File: expr.svg

package info (click to toggle)
cbmc 6.6.0-4
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 153,852 kB
  • sloc: cpp: 386,459; ansic: 114,466; java: 28,405; python: 6,003; yacc: 4,552; makefile: 4,041; lex: 2,487; xml: 2,388; sh: 2,050; perl: 557; pascal: 184; javascript: 163; ada: 36
file content (80 lines) | stat: -rw-r--r-- 17,371 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
<?xml version="1.0" encoding="UTF-8"?>
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="155pt" height="137pt" viewBox="0 0 155 137" version="1.1">
<defs>
<g>
<symbol overflow="visible" id="glyph0-0">
<path style="stroke:none;" d=""/>
</symbol>
<symbol overflow="visible" id="glyph0-1">
<path style="stroke:none;" d="M 1.050781 -8.5625 L 2.1875 -8.5625 L 2.1875 -6.695312 L 3.257812 -6.695312 L 3.257812 -5.773438 L 2.1875 -5.773438 L 2.1875 -1.40625 C 2.1875 -1.171875 2.265625 -1.015625 2.425781 -0.9375 C 2.511719 -0.890625 2.660156 -0.867188 2.863281 -0.867188 C 2.917969 -0.867188 2.976562 -0.871094 3.039062 -0.871094 C 3.101562 -0.875 3.171875 -0.878906 3.257812 -0.886719 L 3.257812 0 C 3.128906 0.0390625 2.992188 0.0664062 2.851562 0.0820312 C 2.714844 0.0976562 2.5625 0.105469 2.398438 0.105469 C 1.875 0.105469 1.519531 -0.0273438 1.332031 -0.296875 C 1.144531 -0.566406 1.050781 -0.914062 1.050781 -1.34375 L 1.050781 -5.773438 L 0.144531 -5.773438 L 0.144531 -6.695312 L 1.050781 -6.695312 Z M 1.050781 -8.5625 "/>
</symbol>
<symbol overflow="visible" id="glyph0-2">
<path style="stroke:none;" d="M 5.007812 -6.695312 L 6.25 -6.695312 C 6.089844 -6.265625 5.738281 -5.285156 5.195312 -3.757812 C 4.785156 -2.605469 4.445312 -1.667969 4.167969 -0.945312 C 3.519531 0.765625 3.058594 1.804688 2.792969 2.179688 C 2.527344 2.554688 2.070312 2.742188 1.417969 2.742188 C 1.261719 2.742188 1.136719 2.738281 1.054688 2.726562 C 0.96875 2.714844 0.863281 2.691406 0.738281 2.65625 L 0.738281 1.632812 C 0.933594 1.6875 1.074219 1.71875 1.164062 1.730469 C 1.25 1.742188 1.328125 1.75 1.394531 1.75 C 1.601562 1.75 1.753906 1.714844 1.851562 1.648438 C 1.949219 1.578125 2.035156 1.492188 2.101562 1.394531 C 2.121094 1.359375 2.195312 1.191406 2.324219 0.882812 C 2.453125 0.574219 2.546875 0.34375 2.605469 0.195312 L 0.132812 -6.695312 L 1.40625 -6.695312 L 3.199219 -1.242188 Z M 5.007812 -6.695312 "/>
</symbol>
<symbol overflow="visible" id="glyph0-3">
<path style="stroke:none;" d="M 4.960938 -1.414062 C 5.308594 -1.855469 5.480469 -2.511719 5.480469 -3.386719 C 5.480469 -3.921875 5.402344 -4.378906 5.25 -4.761719 C 4.957031 -5.5 4.425781 -5.867188 3.648438 -5.867188 C 2.871094 -5.867188 2.335938 -5.480469 2.050781 -4.699219 C 1.894531 -4.28125 1.820312 -3.753906 1.820312 -3.113281 C 1.820312 -2.597656 1.894531 -2.15625 2.050781 -1.792969 C 2.34375 -1.101562 2.875 -0.757812 3.648438 -0.757812 C 4.175781 -0.757812 4.613281 -0.976562 4.960938 -1.414062 Z M 0.738281 -6.664062 L 1.832031 -6.664062 L 1.832031 -5.773438 C 2.054688 -6.078125 2.300781 -6.316406 2.570312 -6.480469 C 2.949219 -6.730469 3.394531 -6.855469 3.90625 -6.855469 C 4.664062 -6.855469 5.308594 -6.566406 5.835938 -5.984375 C 6.367188 -5.402344 6.632812 -4.574219 6.632812 -3.492188 C 6.632812 -2.035156 6.25 -0.992188 5.488281 -0.367188 C 5.003906 0.0273438 4.441406 0.226562 3.800781 0.226562 C 3.296875 0.226562 2.871094 0.113281 2.53125 -0.105469 C 2.332031 -0.230469 2.109375 -0.445312 1.863281 -0.75 L 1.863281 2.667969 L 0.738281 2.667969 Z M 0.738281 -6.664062 "/>
</symbol>
<symbol overflow="visible" id="glyph0-4">
<path style="stroke:none;" d="M 4.992188 -6.507812 C 5.4375 -6.285156 5.777344 -5.996094 6.011719 -5.644531 C 6.238281 -5.304688 6.386719 -4.914062 6.460938 -4.460938 C 6.527344 -4.152344 6.5625 -3.664062 6.5625 -2.988281 L 1.65625 -2.988281 C 1.675781 -2.308594 1.835938 -1.761719 2.136719 -1.351562 C 2.4375 -0.941406 2.902344 -0.738281 3.53125 -0.738281 C 4.117188 -0.738281 4.585938 -0.929688 4.9375 -1.320312 C 5.136719 -1.542969 5.277344 -1.804688 5.363281 -2.101562 L 6.46875 -2.101562 C 6.441406 -1.855469 6.34375 -1.582031 6.179688 -1.277344 C 6.015625 -0.976562 5.828125 -0.730469 5.625 -0.539062 C 5.285156 -0.203125 4.859375 0.0195312 4.355469 0.136719 C 4.085938 0.203125 3.777344 0.238281 3.4375 0.238281 C 2.605469 0.238281 1.898438 -0.0664062 1.320312 -0.671875 C 0.738281 -1.277344 0.449219 -2.128906 0.449219 -3.21875 C 0.449219 -4.292969 0.742188 -5.167969 1.324219 -5.835938 C 1.90625 -6.507812 2.671875 -6.84375 3.613281 -6.84375 C 4.085938 -6.84375 4.546875 -6.730469 4.992188 -6.507812 Z M 5.40625 -3.882812 C 5.359375 -4.371094 5.253906 -4.757812 5.085938 -5.050781 C 4.777344 -5.59375 4.265625 -5.863281 3.542969 -5.863281 C 3.027344 -5.863281 2.59375 -5.675781 2.242188 -5.304688 C 1.894531 -4.929688 1.707031 -4.457031 1.6875 -3.882812 Z M 5.40625 -3.882812 "/>
</symbol>
<symbol overflow="visible" id="glyph0-5">
<path style="stroke:none;" d="M 5.015625 -1.570312 C 5.292969 -2.136719 5.429688 -2.765625 5.429688 -3.457031 C 5.429688 -4.082031 5.332031 -4.589844 5.132812 -4.980469 C 4.816406 -5.597656 4.269531 -5.90625 3.492188 -5.90625 C 2.804688 -5.90625 2.304688 -5.644531 1.992188 -5.117188 C 1.679688 -4.59375 1.523438 -3.960938 1.523438 -3.21875 C 1.523438 -2.507812 1.679688 -1.914062 1.992188 -1.4375 C 2.304688 -0.960938 2.800781 -0.726562 3.480469 -0.726562 C 4.226562 -0.726562 4.738281 -1.007812 5.015625 -1.570312 Z M 5.710938 -6.023438 C 6.308594 -5.449219 6.605469 -4.605469 6.605469 -3.488281 C 6.605469 -2.410156 6.34375 -1.515625 5.820312 -0.8125 C 5.292969 -0.109375 4.480469 0.242188 3.375 0.242188 C 2.453125 0.242188 1.722656 -0.0664062 1.179688 -0.691406 C 0.640625 -1.3125 0.367188 -2.148438 0.367188 -3.199219 C 0.367188 -4.324219 0.652344 -5.222656 1.226562 -5.886719 C 1.796875 -6.554688 2.5625 -6.886719 3.523438 -6.886719 C 4.386719 -6.886719 5.117188 -6.601562 5.710938 -6.023438 Z M 5.710938 -6.023438 "/>
</symbol>
<symbol overflow="visible" id="glyph0-6">
<path style="stroke:none;" d="M 0.855469 -6.695312 L 1.925781 -6.695312 L 1.925781 -5.539062 C 2.011719 -5.761719 2.226562 -6.035156 2.570312 -6.359375 C 2.910156 -6.683594 3.304688 -6.84375 3.75 -6.84375 C 3.769531 -6.84375 3.804688 -6.839844 3.855469 -6.835938 C 3.90625 -6.832031 3.992188 -6.824219 4.113281 -6.8125 L 4.113281 -5.625 C 4.046875 -5.636719 3.984375 -5.644531 3.929688 -5.648438 C 3.871094 -5.652344 3.808594 -5.65625 3.742188 -5.65625 C 3.175781 -5.65625 2.742188 -5.472656 2.4375 -5.109375 C 2.132812 -4.746094 1.980469 -4.324219 1.980469 -3.851562 L 1.980469 0 L 0.855469 0 Z M 0.855469 -6.695312 "/>
</symbol>
<symbol overflow="visible" id="glyph0-7">
<path style="stroke:none;" d="M 2.042969 -1.011719 C 2.28125 -0.824219 2.5625 -0.730469 2.886719 -0.730469 C 3.28125 -0.730469 3.667969 -0.824219 4.039062 -1.007812 C 4.664062 -1.3125 4.976562 -1.808594 4.976562 -2.5 L 4.976562 -3.40625 C 4.839844 -3.320312 4.660156 -3.246094 4.445312 -3.1875 C 4.226562 -3.128906 4.015625 -3.085938 3.804688 -3.0625 L 3.125 -2.976562 C 2.714844 -2.921875 2.410156 -2.835938 2.207031 -2.71875 C 1.859375 -2.523438 1.6875 -2.210938 1.6875 -1.78125 C 1.6875 -1.457031 1.804688 -1.199219 2.042969 -1.011719 Z M 4.414062 -4.054688 C 4.671875 -4.089844 4.84375 -4.199219 4.929688 -4.382812 C 4.980469 -4.480469 5.007812 -4.625 5.007812 -4.8125 C 5.007812 -5.195312 4.871094 -5.472656 4.597656 -5.648438 C 4.324219 -5.820312 3.933594 -5.90625 3.425781 -5.90625 C 2.835938 -5.90625 2.421875 -5.746094 2.175781 -5.429688 C 2.039062 -5.253906 1.949219 -4.996094 1.90625 -4.648438 L 0.855469 -4.648438 C 0.875 -5.472656 1.144531 -6.050781 1.660156 -6.371094 C 2.175781 -6.695312 2.769531 -6.855469 3.449219 -6.855469 C 4.238281 -6.855469 4.878906 -6.707031 5.367188 -6.40625 C 5.855469 -6.105469 6.101562 -5.640625 6.101562 -5.007812 L 6.101562 -1.148438 C 6.101562 -1.03125 6.125 -0.941406 6.171875 -0.867188 C 6.21875 -0.796875 6.320312 -0.761719 6.476562 -0.761719 C 6.527344 -0.761719 6.582031 -0.765625 6.644531 -0.773438 C 6.707031 -0.777344 6.773438 -0.789062 6.84375 -0.800781 L 6.84375 0.03125 C 6.667969 0.0820312 6.535156 0.113281 6.445312 0.125 C 6.351562 0.136719 6.226562 0.144531 6.070312 0.144531 C 5.683594 0.144531 5.398438 0.0078125 5.226562 -0.269531 C 5.132812 -0.414062 5.070312 -0.621094 5.03125 -0.886719 C 4.800781 -0.585938 4.472656 -0.328125 4.042969 -0.105469 C 3.613281 0.113281 3.140625 0.226562 2.625 0.226562 C 2.003906 0.226562 1.496094 0.0351562 1.101562 -0.339844 C 0.707031 -0.71875 0.511719 -1.191406 0.511719 -1.757812 C 0.511719 -2.378906 0.707031 -2.859375 1.09375 -3.199219 C 1.480469 -3.542969 1.988281 -3.753906 2.617188 -3.832031 Z M 4.414062 -4.054688 "/>
</symbol>
<symbol overflow="visible" id="glyph0-8">
<path style="stroke:none;" d="M 0.824219 -6.695312 L 1.894531 -6.695312 L 1.894531 -5.742188 C 2.210938 -6.136719 2.546875 -6.417969 2.898438 -6.585938 C 3.253906 -6.757812 3.648438 -6.84375 4.082031 -6.84375 C 5.03125 -6.84375 5.671875 -6.511719 6.007812 -5.851562 C 6.191406 -5.488281 6.28125 -4.96875 6.28125 -4.292969 L 6.28125 0 L 5.136719 0 L 5.136719 -4.21875 C 5.136719 -4.628906 5.078125 -4.957031 4.957031 -5.207031 C 4.757812 -5.625 4.394531 -5.832031 3.867188 -5.832031 C 3.601562 -5.832031 3.382812 -5.804688 3.210938 -5.75 C 2.902344 -5.660156 2.632812 -5.476562 2.398438 -5.199219 C 2.210938 -4.980469 2.089844 -4.75 2.035156 -4.515625 C 1.976562 -4.28125 1.949219 -3.945312 1.949219 -3.507812 L 1.949219 0 L 0.824219 0 Z M 0.824219 -6.695312 "/>
</symbol>
<symbol overflow="visible" id="glyph0-9">
<path style="stroke:none;" d="M 1.992188 -1.46875 C 2.296875 -0.984375 2.785156 -0.742188 3.457031 -0.742188 C 3.976562 -0.742188 4.40625 -0.96875 4.742188 -1.414062 C 5.078125 -1.863281 5.242188 -2.507812 5.242188 -3.34375 C 5.242188 -4.191406 5.070312 -4.816406 4.726562 -5.222656 C 4.378906 -5.628906 3.953125 -5.832031 3.445312 -5.832031 C 2.878906 -5.832031 2.417969 -5.613281 2.066406 -5.179688 C 1.714844 -4.746094 1.539062 -4.109375 1.539062 -3.269531 C 1.539062 -2.550781 1.691406 -1.953125 1.992188 -1.46875 Z M 4.519531 -6.488281 C 4.71875 -6.363281 4.945312 -6.144531 5.199219 -5.832031 L 5.199219 -9.210938 L 6.28125 -9.210938 L 6.28125 0 L 5.269531 0 L 5.269531 -0.929688 C 5.007812 -0.519531 4.695312 -0.222656 4.335938 -0.0390625 C 3.980469 0.144531 3.570312 0.238281 3.105469 0.238281 C 2.359375 0.238281 1.714844 -0.0742188 1.167969 -0.703125 C 0.621094 -1.332031 0.351562 -2.164062 0.351562 -3.207031 C 0.351562 -4.179688 0.597656 -5.027344 1.097656 -5.742188 C 1.59375 -6.457031 2.304688 -6.8125 3.230469 -6.8125 C 3.742188 -6.8125 4.171875 -6.703125 4.519531 -6.488281 Z M 4.519531 -6.488281 "/>
</symbol>
<symbol overflow="visible" id="glyph0-10">
<path style="stroke:none;" d="M 1.492188 -2.101562 C 1.527344 -1.726562 1.621094 -1.4375 1.773438 -1.238281 C 2.058594 -0.875 2.550781 -0.695312 3.25 -0.695312 C 3.667969 -0.695312 4.035156 -0.785156 4.351562 -0.964844 C 4.667969 -1.148438 4.824219 -1.425781 4.824219 -1.804688 C 4.824219 -2.09375 4.699219 -2.3125 4.445312 -2.460938 C 4.28125 -2.554688 3.960938 -2.660156 3.480469 -2.78125 L 2.585938 -3.007812 C 2.015625 -3.148438 1.597656 -3.304688 1.324219 -3.480469 C 0.839844 -3.785156 0.601562 -4.207031 0.601562 -4.742188 C 0.601562 -5.375 0.828125 -5.890625 1.285156 -6.28125 C 1.742188 -6.671875 2.355469 -6.867188 3.125 -6.867188 C 4.132812 -6.867188 4.859375 -6.574219 5.304688 -5.980469 C 5.585938 -5.605469 5.722656 -5.203125 5.710938 -4.769531 L 4.648438 -4.769531 C 4.628906 -5.023438 4.539062 -5.253906 4.382812 -5.460938 C 4.125 -5.757812 3.675781 -5.90625 3.039062 -5.90625 C 2.613281 -5.90625 2.289062 -5.824219 2.070312 -5.664062 C 1.851562 -5.5 1.742188 -5.285156 1.742188 -5.019531 C 1.742188 -4.726562 1.886719 -4.492188 2.175781 -4.320312 C 2.34375 -4.214844 2.585938 -4.121094 2.914062 -4.042969 L 3.65625 -3.863281 C 4.464844 -3.667969 5.007812 -3.476562 5.28125 -3.292969 C 5.71875 -3.007812 5.9375 -2.554688 5.9375 -1.9375 C 5.9375 -1.339844 5.710938 -0.828125 5.257812 -0.394531 C 4.808594 0.0390625 4.117188 0.257812 3.195312 0.257812 C 2.199219 0.257812 1.492188 0.03125 1.078125 -0.421875 C 0.664062 -0.875 0.441406 -1.433594 0.414062 -2.101562 Z M 1.492188 -2.101562 "/>
</symbol>
<symbol overflow="visible" id="glyph0-11">
<path style="stroke:none;" d="M 5.976562 -7.519531 C 6.375 -6.78125 6.574219 -5.769531 6.574219 -4.488281 C 6.574219 -3.269531 6.394531 -2.265625 6.03125 -1.46875 C 5.507812 -0.328125 4.648438 0.242188 3.457031 0.242188 C 2.382812 0.242188 1.582031 -0.222656 1.054688 -1.15625 C 0.617188 -1.933594 0.398438 -2.980469 0.398438 -4.292969 C 0.398438 -5.308594 0.53125 -6.183594 0.792969 -6.914062 C 1.285156 -8.269531 2.175781 -8.949219 3.460938 -8.949219 C 4.621094 -8.949219 5.457031 -8.472656 5.976562 -7.519531 Z M 4.84375 -1.554688 C 5.191406 -2.074219 5.363281 -3.035156 5.363281 -4.445312 C 5.363281 -5.460938 5.238281 -6.296875 4.988281 -6.953125 C 4.738281 -7.609375 4.253906 -7.9375 3.53125 -7.9375 C 2.867188 -7.9375 2.382812 -7.625 2.078125 -7.003906 C 1.773438 -6.378906 1.617188 -5.460938 1.617188 -4.25 C 1.617188 -3.335938 1.714844 -2.605469 1.914062 -2.050781 C 2.214844 -1.203125 2.726562 -0.78125 3.449219 -0.78125 C 4.03125 -0.78125 4.496094 -1.039062 4.84375 -1.554688 Z M 4.84375 -1.554688 "/>
</symbol>
<symbol overflow="visible" id="glyph0-12">
<path style="stroke:none;" d="M 1.226562 -6.335938 L 1.226562 -7.199219 C 2.039062 -7.277344 2.605469 -7.410156 2.925781 -7.597656 C 3.246094 -7.78125 3.484375 -8.222656 3.644531 -8.914062 L 4.53125 -8.914062 L 4.53125 0 L 3.332031 0 L 3.332031 -6.335938 Z M 1.226562 -6.335938 "/>
</symbol>
</g>
</defs>
<g id="surface754">
<rect x="0" y="0" width="155" height="137" style="fill:rgb(100%,100%,100%);fill-opacity:1;stroke:none;"/>
<path style="fill-rule:evenodd;fill:rgb(100%,100%,100%);fill-opacity:1;stroke-width:0.1;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 6.95 2.175 C 6.95 2.520117 6.625391 2.8 6.225 2.8 C 5.824609 2.8 5.5 2.520117 5.5 2.175 C 5.5 1.829883 5.824609 1.55 6.225 1.55 C 6.625391 1.55 6.95 1.829883 6.95 2.175 " transform="matrix(20,0,0,20,-36,-30)"/>
<path style="fill-rule:evenodd;fill:rgb(100%,100%,100%);fill-opacity:1;stroke-width:0.1;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 4.625 4.6 C 4.625 4.945117 4.300391 5.225 3.9 5.225 C 3.499609 5.225 3.175 4.945117 3.175 4.6 C 3.175 4.254883 3.499609 3.975 3.9 3.975 C 4.300391 3.975 4.625 4.254883 4.625 4.6 " transform="matrix(20,0,0,20,-36,-30)"/>
<path style="fill:none;stroke-width:0.1;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 5.712305 2.616992 L 4.412695 4.158008 " transform="matrix(20,0,0,20,-36,-30)"/>
<path style="fill-rule:evenodd;fill:rgb(100%,100%,100%);fill-opacity:1;stroke-width:0.1;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 9.525 4.4 C 9.525 4.745117 9.200391 5.025 8.8 5.025 C 8.399609 5.025 8.075 4.745117 8.075 4.4 C 8.075 4.054883 8.399609 3.775 8.8 3.775 C 9.200391 3.775 9.525 4.054883 9.525 4.4 " transform="matrix(20,0,0,20,-36,-30)"/>
<path style="fill:none;stroke-width:0.1;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 6.737695 2.616992 L 8.287305 3.958008 " transform="matrix(20,0,0,20,-36,-30)"/>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-1" x="117" y="33.012478"/>
  <use xlink:href="#glyph0-2" x="120.556315" y="33.012478"/>
  <use xlink:href="#glyph0-3" x="126.956326" y="33.012478"/>
  <use xlink:href="#glyph0-4" x="134.074924" y="33.012478"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-5" x="0" y="35.012478"/>
  <use xlink:href="#glyph0-3" x="7.118598" y="35.012478"/>
  <use xlink:href="#glyph0-4" x="14.237196" y="35.012478"/>
  <use xlink:href="#glyph0-6" x="21.355794" y="35.012478"/>
  <use xlink:href="#glyph0-7" x="25.618218" y="35.012478"/>
  <use xlink:href="#glyph0-8" x="32.736816" y="35.012478"/>
  <use xlink:href="#glyph0-9" x="39.855414" y="35.012478"/>
  <use xlink:href="#glyph0-10" x="46.974013" y="35.012478"/>
</g>
<path style="fill:none;stroke-width:0.1;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 3.387305 5.041992 L 2.7 7.075 " transform="matrix(20,0,0,20,-36,-30)"/>
<path style="fill:none;stroke-width:0.1;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 4.412695 5.041992 L 5.25 7.075 " transform="matrix(20,0,0,20,-36,-30)"/>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-11" x="1" y="90.012478"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-12" x="74" y="92.012478"/>
</g>
<path style="fill-rule:evenodd;fill:rgb(100%,100%,100%);fill-opacity:1;stroke-width:0.1;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 3.425 7.7 C 3.425 8.045117 3.100391 8.325 2.7 8.325 C 2.299609 8.325 1.975 8.045117 1.975 7.7 C 1.975 7.354883 2.299609 7.075 2.7 7.075 C 3.100391 7.075 3.425 7.354883 3.425 7.7 " transform="matrix(20,0,0,20,-36,-30)"/>
<path style="fill-rule:evenodd;fill:rgb(100%,100%,100%);fill-opacity:1;stroke-width:0.1;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 5.975 7.7 C 5.975 8.045117 5.650391 8.325 5.25 8.325 C 4.849609 8.325 4.525 8.045117 4.525 7.7 C 4.525 7.354883 4.849609 7.075 5.25 7.075 C 5.650391 7.075 5.975 7.354883 5.975 7.7 " transform="matrix(20,0,0,20,-36,-30)"/>
</g>
</svg>