]> mj.ucw.cz Git - ads2.git/blob - 5-addsort/sortnet.mpx
FFT: Vysvetleni multiplikativni grupy.
[ads2.git] / 5-addsort / sortnet.mpx
1 % Written by DVItoMP, Version 0.64/color (Web2C 7.5.4)
2 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
3 string _n[];
4 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
5   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
6 _n0="cmr10";
7 _s("a",_n0,1.00000,0.0000,0.0000,);
8 setbounds _p to (0,-3.4869)--(4.9813,-3.4869)--
9  (4.9813,8.4682)--(0,8.4682)--cycle;
10 _p endgroup
11 mpxbreak
12 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
13 string _n[];
14 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
15   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
16 _n0="cmr10";
17 _s("b",_n0,1.00000,0.0000,0.0000,);
18 setbounds _p to (0,-3.4869)--(5.5348,-3.4869)--
19  (5.5348,8.4682)--(0,8.4682)--cycle;
20 _p endgroup
21 mpxbreak
22 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
23 string _n[];
24 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
25   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
26 _n0="cmr10";
27 _s("min",_n0,1.00000,0.0000,0.0000,);
28 setbounds _p to (0,0.0000)--(16.6045,0.0000)--
29  (16.6045,6.6536)--(0,6.6536)--cycle;
30 _p endgroup
31 mpxbreak
32 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
33 string _n[];
34 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
35   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
36 _n0="cmr10";
37 _s("max",_n0,1.00000,0.0000,0.0000,);
38 setbounds _p to (0,0.0000)--(18.5416,0.0000)--
39  (18.5416,4.2895)--(0,4.2895)--cycle;
40 _p endgroup
41 mpxbreak
42 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
43 string _n[];
44 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
45   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
46 _n0="cmr10";
47 _s("x1",_n0,1.00000,0.0000,0.0000,);
48 setbounds _p to (0,0.0000)--(10.2394,0.0000)--
49  (10.2394,6.4204)--(0,6.4204)--cycle;
50 _p endgroup
51 mpxbreak
52 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
53 string _n[];
54 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
55   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
56 _n0="cmr10";
57 _s("x2",_n0,1.00000,0.0000,0.0000,);
58 setbounds _p to (0,0.0000)--(10.2394,0.0000)--
59  (10.2394,6.4204)--(0,6.4204)--cycle;
60 _p endgroup
61 mpxbreak
62 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
63 string _n[];
64 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
65   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
66 _n0="cmr10";
67 _s("x3",_n0,1.00000,0.0000,0.0000,);
68 setbounds _p to (0,0.0000)--(10.2394,0.0000)--
69  (10.2394,6.4204)--(0,6.4204)--cycle;
70 _p endgroup
71 mpxbreak
72 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
73 string _n[];
74 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
75   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
76 _n0="cmr10";
77 _s("x4",_n0,1.00000,0.0000,0.0000,);
78 setbounds _p to (0,0.0000)--(10.2394,0.0000)--
79  (10.2394,6.4204)--(0,6.4204)--cycle;
80 _p endgroup
81 mpxbreak
82 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
83 string _n[];
84 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
85   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
86 _n0="cmr10";
87 _s("x5",_n0,1.00000,0.0000,0.0000,);
88 setbounds _p to (0,0.0000)--(10.2394,0.0000)--
89  (10.2394,6.4204)--(0,6.4204)--cycle;
90 _p endgroup
91 mpxbreak
92 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
93 string _n[];
94 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
95   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
96 _n0="cmr10";
97 _s("x1",_n0,1.00000,0.0000,0.0000,);
98 setbounds _p to (0,0.0000)--(10.2394,0.0000)--
99  (10.2394,6.4204)--(0,6.4204)--cycle;
100 _p endgroup
101 mpxbreak
102 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
103 string _n[];
104 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
105   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
106 _n0="cmr10";
107 _s("x2",_n0,1.00000,0.0000,0.0000,);
108 setbounds _p to (0,0.0000)--(10.2394,0.0000)--
109  (10.2394,6.4204)--(0,6.4204)--cycle;
110 _p endgroup
111 mpxbreak
112 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
113 string _n[];
114 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
115   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
116 _n0="cmr10";
117 _s("x3",_n0,1.00000,0.0000,0.0000,);
118 setbounds _p to (0,0.0000)--(10.2394,0.0000)--
119  (10.2394,6.4204)--(0,6.4204)--cycle;
120 _p endgroup
121 mpxbreak
122 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
123 string _n[];
124 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
125   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
126 _n0="cmr10";
127 _s("x4",_n0,1.00000,0.0000,0.0000,);
128 setbounds _p to (0,0.0000)--(10.2394,0.0000)--
129  (10.2394,6.4204)--(0,6.4204)--cycle;
130 _p endgroup
131 mpxbreak
132 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
133 string _n[];
134 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
135   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
136 _n0="cmr10";
137 _s("x5",_n0,1.00000,0.0000,0.0000,);
138 setbounds _p to (0,0.0000)--(10.2394,0.0000)--
139  (10.2394,6.4204)--(0,6.4204)--cycle;
140 _p endgroup
141 mpxbreak
142 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
143 string _n[];
144 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
145   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
146 _n1="cmmi10";
147 _s("x",_n1,1.00000,0.0000,0.0000,);
148 _n2="cmr7";
149 _s("0",_n2,1.00000,5.6939,-1.4944,);
150 setbounds _p to (0,-1.4944)--(10.1633,-1.4944)--
151  (10.1633,4.2895)--(0,4.2895)--cycle;
152 _p endgroup
153 mpxbreak
154 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
155 string _n[];
156 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
157   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
158 _n1="cmmi10";
159 _s("x",_n1,1.00000,0.0000,0.0000,);
160 _n2="cmr7";
161 _s("1",_n2,1.00000,5.6939,-1.4944,);
162 setbounds _p to (0,-1.4944)--(10.1633,-1.4944)--
163  (10.1633,4.2895)--(0,4.2895)--cycle;
164 _p endgroup
165 mpxbreak
166 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
167 string _n[];
168 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
169   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
170 _n1="cmmi10";
171 _s("x",_n1,1.00000,0.0000,0.0000,);
172 _n2="cmr7";
173 _s("2",_n2,1.00000,5.6939,-1.4944,);
174 setbounds _p to (0,-1.4944)--(10.1633,-1.4944)--
175  (10.1633,4.2895)--(0,4.2895)--cycle;
176 _p endgroup
177 mpxbreak
178 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
179 string _n[];
180 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
181   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
182 _n1="cmmi10";
183 _s(":",_n1,1.00000,0.0000,0.0000,);
184 _s(":",_n1,1.00000,4.4278,0.0000,);
185 _s(":",_n1,1.00000,8.8556,0.0000,);
186 setbounds _p to (0,0.0000)--(13.2834,0.0000)--
187  (13.2834,1.0516)--(0,1.0516)--cycle;
188 _p endgroup
189 mpxbreak
190 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
191 string _n[];
192 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
193   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
194 _n1="cmmi10";
195 _s("x",_n1,1.00000,0.0000,0.0000,);
196 _n3="cmmi7";
197 _s("n",_n3,1.00000,5.6939,-1.4944,);
198 _n4="cmsy7";
199 _s(char0,_n4,1.00000,10.6188,-1.4944,);
200 _n2="cmr7";
201 _s("2",_n2,1.00000,16.8454,-1.4944,);
202 setbounds _p to (0,-2.3246)--(21.3148,-2.3246)--
203  (21.3148,4.2895)--(0,4.2895)--cycle;
204 _p endgroup
205 mpxbreak
206 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
207 string _n[];
208 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
209   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
210 _n1="cmmi10";
211 _s("x",_n1,1.00000,0.0000,0.0000,);
212 _n3="cmmi7";
213 _s("n",_n3,1.00000,5.6939,-1.4944,);
214 _n4="cmsy7";
215 _s(char0,_n4,1.00000,10.6188,-1.4944,);
216 _n2="cmr7";
217 _s("1",_n2,1.00000,16.8454,-1.4944,);
218 setbounds _p to (0,-2.3246)--(21.3148,-2.3246)--
219  (21.3148,4.2895)--(0,4.2895)--cycle;
220 _p endgroup
221 mpxbreak
222 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
223 string _n[];
224 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
225   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
226 _n1="cmmi10";
227 _s("n",_n1,1.00000,0.0000,0.0000,);
228 setbounds _p to (0,0.0000)--(5.9799,0.0000)--
229  (5.9799,4.2895)--(0,4.2895)--cycle;
230 _p endgroup
231 mpxbreak
232 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
233 string _n[];
234 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
235   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
236 _n1="cmmi10";
237 _s("S",_n1,1.00000,0.0000,0.0000,);
238 _n3="cmmi7";
239 _s("n",_n3,1.00000,6.1090,-1.4944,);
240 setbounds _p to (0,-1.4944)--(11.5320,-1.4944)--
241  (11.5320,6.8078)--(0,6.8078)--cycle;
242 _p endgroup
243 mpxbreak
244 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
245 string _n[];
246 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
247   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
248 _n1="cmmi10";
249 _s("S",_n1,1.00000,0.0000,0.0000,);
250 _n5="cmmi5";
251 _s("n",_n5,1.00000,7.3045,1.1829,);
252 interim linecap:=0;
253 vardef _r(expr _a,_w)(text _t) =
254   addto _p doublepath _a withpen pencircle scaled _w _t enddef;
255 _r((7.3045,0.2491)..(11.6921,0.2491), 0.3985,);
256 _n6="cmr5";
257 _s("2",_n6,1.00000,7.8033,-3.8949,);
258 setbounds _p to (0,-3.8949)--(13.3857,-3.8949)--
259  (13.3857,6.8078)--(0,6.8078)--cycle;
260 _p endgroup
261 mpxbreak
262 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
263 string _n[];
264 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
265   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
266 _n1="cmmi10";
267 _s("S",_n1,1.00000,0.0000,0.0000,);
268 _n5="cmmi5";
269 _s("n",_n5,1.00000,7.3045,1.1829,);
270 interim linecap:=0;
271 vardef _r(expr _a,_w)(text _t) =
272   addto _p doublepath _a withpen pencircle scaled _w _t enddef;
273 _r((7.3045,0.2491)..(11.6921,0.2491), 0.3985,);
274 _n6="cmr5";
275 _s("2",_n6,1.00000,7.8033,-3.8949,);
276 setbounds _p to (0,-3.8949)--(13.3857,-3.8949)--
277  (13.3857,6.8078)--(0,6.8078)--cycle;
278 _p endgroup
279 mpxbreak
280 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
281 string _n[];
282 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
283   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
284 _n1="cmmi10";
285 _s("S",_n1,1.00000,0.0000,0.0000,);
286 _n5="cmmi5";
287 _s("n",_n5,1.00000,7.3045,1.1829,);
288 interim linecap:=0;
289 vardef _r(expr _a,_w)(text _t) =
290   addto _p doublepath _a withpen pencircle scaled _w _t enddef;
291 _r((7.3045,0.2491)..(11.6921,0.2491), 0.3985,);
292 _n6="cmr5";
293 _s("4",_n6,1.00000,7.8033,-3.8949,);
294 setbounds _p to (0,-3.8949)--(13.3857,-3.8949)--
295  (13.3857,6.8078)--(0,6.8078)--cycle;
296 _p endgroup
297 mpxbreak
298 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
299 string _n[];
300 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
301   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
302 _n1="cmmi10";
303 _s("S",_n1,1.00000,0.0000,0.0000,);
304 _n5="cmmi5";
305 _s("n",_n5,1.00000,7.3045,1.1829,);
306 interim linecap:=0;
307 vardef _r(expr _a,_w)(text _t) =
308   addto _p doublepath _a withpen pencircle scaled _w _t enddef;
309 _r((7.3045,0.2491)..(11.6921,0.2491), 0.3985,);
310 _n6="cmr5";
311 _s("4",_n6,1.00000,7.8033,-3.8949,);
312 setbounds _p to (0,-3.8949)--(13.3857,-3.8949)--
313  (13.3857,6.8078)--(0,6.8078)--cycle;
314 _p endgroup
315 mpxbreak
316 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
317 string _n[];
318 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
319   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
320 _n1="cmmi10";
321 _s("S",_n1,1.00000,0.0000,0.0000,);
322 _n5="cmmi5";
323 _s("n",_n5,1.00000,7.3045,1.1829,);
324 interim linecap:=0;
325 vardef _r(expr _a,_w)(text _t) =
326   addto _p doublepath _a withpen pencircle scaled _w _t enddef;
327 _r((7.3045,0.2491)..(11.6921,0.2491), 0.3985,);
328 _n6="cmr5";
329 _s("4",_n6,1.00000,7.8033,-3.8949,);
330 setbounds _p to (0,-3.8949)--(13.3857,-3.8949)--
331  (13.3857,6.8078)--(0,6.8078)--cycle;
332 _p endgroup
333 mpxbreak
334 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
335 string _n[];
336 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
337   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
338 _n1="cmmi10";
339 _s("S",_n1,1.00000,0.0000,0.0000,);
340 _n5="cmmi5";
341 _s("n",_n5,1.00000,7.3045,1.1829,);
342 interim linecap:=0;
343 vardef _r(expr _a,_w)(text _t) =
344   addto _p doublepath _a withpen pencircle scaled _w _t enddef;
345 _r((7.3045,0.2491)..(11.6921,0.2491), 0.3985,);
346 _n6="cmr5";
347 _s("4",_n6,1.00000,7.8033,-3.8949,);
348 setbounds _p to (0,-3.8949)--(13.3857,-3.8949)--
349  (13.3857,6.8078)--(0,6.8078)--cycle;
350 _p endgroup
351 mpxbreak
352 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
353 string _n[];
354 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
355   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
356 _n0="cmr10";
357 _s("Bitonic",_n0,1.00000,0.0000,0.0000,);
358 _s("k"&char19,_n0,1.00000,31.1333,0.0000,);
359 _s("a",_n0,1.00000,36.3914,0.0000,);
360 _s("t",_n0,1.00000,44.6936,0.0000,);
361 _s(char20,_n0,1.00000,48.0283,0.0000,);
362 _s("r",_n0,1.00000,48.5680,0.0000,);
363 _s(char19,_n0,1.00000,51.3631,0.0000,);
364 _s(char16&"di",_n0,1.00000,52.4700,0.0000,);
365 _s(char20,_n0,1.00000,63.2629,0.0000,);
366 _s("ck",_n0,1.00000,63.5397,0.0000,);
367 _s("a",_n0,1.00000,72.6721,0.0000,);
368 _n1="cmmi10";
369 _s("B",_n1,1.00000,80.9743,0.0000,);
370 _n3="cmmi7";
371 _s("n",_n3,1.00000,88.5311,-1.4944,);
372 setbounds _p to (0,-1.4944)--(93.9541,-1.4944)--
373  (93.9541,6.9185)--(0,6.9185)--cycle;
374 _p endgroup
375 mpxbreak
376 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
377 string _n[];
378 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
379   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
380 _n1="cmmi10";
381 _s("M",_n1,1.00000,0.0000,0.0000,);
382 _n2="cmr7";
383 _s("8",_n2,1.00000,9.6652,-1.4944,);
384 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
385  (14.1345,6.8078)--(0,6.8078)--cycle;
386 _p endgroup
387 mpxbreak
388 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
389 string _n[];
390 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
391   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
392 _n1="cmmi10";
393 _s("M",_n1,1.00000,0.0000,0.0000,);
394 _n2="cmr7";
395 _s("4",_n2,1.00000,9.6652,-1.4944,);
396 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
397  (14.1345,6.8078)--(0,6.8078)--cycle;
398 _p endgroup
399 mpxbreak
400 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
401 string _n[];
402 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
403   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
404 _n1="cmmi10";
405 _s("M",_n1,1.00000,0.0000,0.0000,);
406 _n2="cmr7";
407 _s("4",_n2,1.00000,9.6652,-1.4944,);
408 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
409  (14.1345,6.8078)--(0,6.8078)--cycle;
410 _p endgroup
411 mpxbreak
412 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
413 string _n[];
414 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
415   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
416 _n1="cmmi10";
417 _s("M",_n1,1.00000,0.0000,0.0000,);
418 _n2="cmr7";
419 _s("2",_n2,1.00000,9.6652,-1.4944,);
420 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
421  (14.1345,6.8078)--(0,6.8078)--cycle;
422 _p endgroup
423 mpxbreak
424 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
425 string _n[];
426 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
427   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
428 _n1="cmmi10";
429 _s("M",_n1,1.00000,0.0000,0.0000,);
430 _n2="cmr7";
431 _s("2",_n2,1.00000,9.6652,-1.4944,);
432 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
433  (14.1345,6.8078)--(0,6.8078)--cycle;
434 _p endgroup
435 mpxbreak
436 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
437 string _n[];
438 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
439   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
440 _n1="cmmi10";
441 _s("M",_n1,1.00000,0.0000,0.0000,);
442 _n2="cmr7";
443 _s("2",_n2,1.00000,9.6652,-1.4944,);
444 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
445  (14.1345,6.8078)--(0,6.8078)--cycle;
446 _p endgroup
447 mpxbreak
448 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
449 string _n[];
450 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
451   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
452 _n1="cmmi10";
453 _s("M",_n1,1.00000,0.0000,0.0000,);
454 _n2="cmr7";
455 _s("2",_n2,1.00000,9.6652,-1.4944,);
456 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
457  (14.1345,6.8078)--(0,6.8078)--cycle;
458 _p endgroup
459 mpxbreak
460 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
461 string _n[];
462 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
463   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
464 _n0="cmr10";
465 _s("0",_n0,1.00000,0.0000,0.0000,);
466 setbounds _p to (0,-3.4869)--(4.9813,-3.4869)--
467  (4.9813,8.4682)--(0,8.4682)--cycle;
468 _p endgroup
469 mpxbreak
470 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
471 string _n[];
472 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
473   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
474 _n1="cmmi10";
475 _s("k",_n1,1.00000,0.0000,0.0000,);
476 setbounds _p to (0,0.0000)--(5.5002,0.0000)--
477  (5.5002,6.9185)--(0,6.9185)--cycle;
478 _p endgroup
479 mpxbreak
480 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
481 string _n[];
482 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
483   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
484 _n3="cmmi7";
485 _s("n",_n3,1.00000,1.1955,3.9226,);
486 interim linecap:=0;
487 vardef _r(expr _a,_w)(text _t) =
488   addto _p doublepath _a withpen pencircle scaled _w _t enddef;
489 _r((1.1955,2.4907)..(6.1204,2.4907), 0.3985,);
490 _n2="cmr7";
491 _s("2",_n2,1.00000,1.6723,-3.4355,);
492 _n7="cmsy10";
493 _s(char0,_n7,1.00000,9.5298,0.0000,);
494 _n0="cmr10";
495 _s("1",_n0,1.00000,19.4924,0.0000,);
496 setbounds _p to (0,-3.4869)--(24.4737,-3.4869)--
497  (24.4737,8.4682)--(0,8.4682)--cycle;
498 _p endgroup
499 mpxbreak
500 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
501 string _n[];
502 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
503   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
504 _n1="cmmi10";
505 _s("k",_n1,1.00000,0.0000,0.0000,);
506 _n0="cmr10";
507 _s("+",_n0,1.00000,7.7141,0.0000,);
508 _n3="cmmi7";
509 _s("n",_n3,1.00000,18.8722,3.9226,);
510 interim linecap:=0;
511 vardef _r(expr _a,_w)(text _t) =
512   addto _p doublepath _a withpen pencircle scaled _w _t enddef;
513 _r((18.8722,2.4907)..(23.7971,2.4907), 0.3985,);
514 _n2="cmr7";
515 _s("2",_n2,1.00000,19.3490,-3.4355,);
516 setbounds _p to (0,-3.4869)--(24.9926,-3.4869)--
517  (24.9926,8.4682)--(0,8.4682)--cycle;
518 _p endgroup
519 mpxbreak
520 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
521 string _n[];
522 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
523   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
524 _n1="cmmi10";
525 _s("n",_n1,1.00000,0.0000,0.0000,);
526 _n7="cmsy10";
527 _s(char0,_n7,1.00000,8.1938,0.0000,);
528 _n0="cmr10";
529 _s("1",_n0,1.00000,18.1564,0.0000,);
530 setbounds _p to (0,-3.4869)--(23.1377,-3.4869)--
531  (23.1377,8.4682)--(0,8.4682)--cycle;
532 _p endgroup
533 mpxbreak
534 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
535 string _n[];
536 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
537   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
538 _n0="cmr10";
539 _s("p",_n0,1.00000,0.0000,0.0000,);
540 _s("osloupnost",_n0,1.00000,5.8116,0.0000,);
541 _s("prohozen"&char19,_n0,1.00000,55.1821,0.0000,);
542 _s("a",_n0,1.00000,94.5069,0.0000,);
543 _s("separ"&char19,_n0,1.00000,102.8091,0.0000,);
544 _s("atorem",_n0,1.00000,125.5849,0.0000,);
545 setbounds _p to (0,-1.9372)--(156.0540,-1.9372)--
546  (156.0540,6.9185)--(0,6.9185)--cycle;
547 _p endgroup
548 mpxbreak