@@ -0,0 +1,85 @@
1+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2+<!-- Created with VectorDraw -->
3+
4+<svg
5+ xmlns:dc="http://purl.org/dc/elements/1.1/"
6+ xmlns:cc="http://creativecommons.org/ns#"
7+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
8+ xmlns:svg="http://www.w3.org/2000/svg"
9+ xmlns="http://www.w3.org/2000/svg"
10+ xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
11+ xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
12+ width="311.90765"
13+ height="570.46472"
14+ id="svg2"
15+ version="1.1"
16+ inkscape:version="0.48.4 r9939"
17+ sodipodi:docname="text-x-idris.svg">
18+ <metadata
19+ id="metadata11">
20+ <rdf:RDF>
21+ <cc:Work
22+ rdf:about="">
23+ <dc:format>image/svg+xml</dc:format>
24+ <dc:type
25+ rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
26+ </cc:Work>
27+ </rdf:RDF>
28+ </metadata>
29+ <defs
30+ id="defs9" />
31+ <sodipodi:namedview
32+ pagecolor="#ffffff"
33+ bordercolor="#666666"
34+ borderopacity="1"
35+ objecttolerance="10"
36+ gridtolerance="10"
37+ guidetolerance="10"
38+ inkscape:pageopacity="0"
39+ inkscape:pageshadow="2"
40+ inkscape:window-width="1918"
41+ inkscape:window-height="1034"
42+ id="namedview7"
43+ showgrid="false"
44+ inkscape:zoom="0.56123662"
45+ inkscape:cx="54.151709"
46+ inkscape:cy="-28.476384"
47+ inkscape:window-x="1920"
48+ inkscape:window-y="25"
49+ inkscape:window-maximized="0"
50+ inkscape:current-layer=""
51+ fit-margin-top="0"
52+ fit-margin-left="1.2"
53+ fit-margin-right="0"
54+ fit-margin-bottom="0" />
55+ <g
56+ inkscape:label=""
57+ inkscape:groupmode="layer"
58+ id=""
59+ transform="translate(1.407669,-0.379032)">
60+ <g
61+ id="g3353"
62+ transform="translate(22,0)">
63+ <path
64+ inkscape:connector-curvature="0"
65+ id="path3345"
66+ d="M 79.07716,85.235105 C 152.15731,107.3516 170.85211,125.57188 196.54561,191.60466 191.5621,111.08837 159.33816,77.523083 79.07716,85.235105 c 18.82716,-67.890093 0,0 0,0 z"
67+ style="fill:#8a0819;fill-opacity:1;stroke:none" />
68+ <path
69+ inkscape:connector-curvature="0"
70+ id="path3343"
71+ d="M -22.207669,211.87449 C 25.234912,226.48437 80.323859,238.15903 100.68023,328.79942 109.08411,215.72166 55.546121,209.96088 -22.207669,211.87449 c 90.648682,-302.180016 0,0 0,0 z"
72+ style="fill:#8a0819;fill-opacity:1;stroke:none" />
73+ <path
74+ inkscape:connector-curvature="0"
75+ id="path3341"
76+ d="M 9.8483347,139.76992 C 81.136615,154.50235 126.58014,173.85823 153.14004,265.85432 159.23348,147.17442 94.093917,135.25771 9.8483347,139.76992 c 78.3893863,-131.1880199 0,0 0,0 z"
77+ style="fill:#8a0819;fill-opacity:1;stroke:none" />
78+ <path
79+ id="path5"
80+ d="M 103.33025,0.379032 C 492.35181,254.04105 16.917801,258.5227 120.33008,553.01685 c 0,0 61.21588,17.8269 61.21588,17.8269 C 12.902722,342.22024 556.89801,224.698 103.33025,0.379032 c 0,0 0,0 0,0 z"
81+ style="fill:#8a0819;fill-opacity:1;stroke:none"
82+ inkscape:connector-curvature="0" />
83+ </g>
84+ </g>
85+</svg>