2 <!DOCTYPE ipestyle SYSTEM "ipe.dtd">
3 <ipestyle name="decorator">
4 <symbol name="deco/box-margin-8">
6 <path stroke="black" fill="gray">
22 <symbol name="deco/box-margin-4">
24 <path stroke="black" fill="gray">
40 <symbol name="deco/box-margin-2">
42 <path stroke="black" fill="gray">
58 <symbol name="deco/box-margin-1">
60 <path stroke="black" fill="gray">
76 <symbol name="deco/rounded-box-margin-4-radius-4">
78 <path stroke="black" fill="gray">
98 <symbol name="deco/rounded-box-margin-8-radius-4">
100 <path stroke="black" fill="gray">
102 4 0 0 4 60 60 60 64 a
111 <path stroke="black">
120 <symbol name="deco/rounded-box-margin-2-radius-4">
122 <path stroke="black" fill="gray">
124 4 0 0 4 60 60 60 64 a
133 <path stroke="black">
142 <symbol name="deco/rounded-box-margin-1-radius-4">
144 <path stroke="black" fill="gray">
146 4 0 0 4 60 60 60 64 a
155 <path stroke="black">
164 <symbol name="deco/rounded-box-margin-8-radius-2">
166 <path stroke="black" fill="gray">
168 2 0 0 2 62 62 62 64 a
177 <path stroke="black">
186 <symbol name="deco/rounded-box-margin-4-radius-2">
188 <path stroke="black" fill="gray">
190 2 0 0 2 62 62 62 64 a
199 <path stroke="black">
208 <symbol name="deco/rounded-box-margin-2-radius-2">
210 <path stroke="black" fill="gray">
212 2 0 0 2 62 62 62 64 a
221 <path stroke="black">
230 <symbol name="deco/rounded-box-margin-1-radius-2">
232 <path stroke="black" fill="gray">
234 2 0 0 2 62 62 62 64 a
243 <path stroke="black">
252 <symbol name="deco/KIT-box-margin-8-radius-8">
254 <path stroke="black" fill="gray">
256 8 0 0 8 56 56 56 64 a
263 <path stroke="black">