5-hradla/sortnet.mpx

   1 % Written by metapost version 1.208
   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("y",_n1,1.00000,0.0000,0.0000,);
 228 _n2="cmr7";
 229 _s("0",_n2,1.00000,4.8845,-1.4944,);
 230 setbounds _p to (0,-1.9372)--(9.3539,-1.9372)--
 231  (9.3539,4.2895)--(0,4.2895)--cycle;
 232 _p endgroup
 233 mpxbreak
 234 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 235 string _n[];
 236 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 237   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 238 _n1="cmmi10";
 239 _s("y",_n1,1.00000,0.0000,0.0000,);
 240 _n2="cmr7";
 241 _s("1",_n2,1.00000,4.8845,-1.4944,);
 242 setbounds _p to (0,-1.9372)--(9.3539,-1.9372)--
 243  (9.3539,4.2895)--(0,4.2895)--cycle;
 244 _p endgroup
 245 mpxbreak
 246 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 247 string _n[];
 248 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 249   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 250 _n1="cmmi10";
 251 _s("y",_n1,1.00000,0.0000,0.0000,);
 252 _n2="cmr7";
 253 _s("2",_n2,1.00000,4.8845,-1.4944,);
 254 setbounds _p to (0,-1.9372)--(9.3539,-1.9372)--
 255  (9.3539,4.2895)--(0,4.2895)--cycle;
 256 _p endgroup
 257 mpxbreak
 258 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 259 string _n[];
 260 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 261   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 262 _n1="cmmi10";
 263 _s(":",_n1,1.00000,0.0000,0.0000,);
 264 _s(":",_n1,1.00000,4.4278,0.0000,);
 265 _s(":",_n1,1.00000,8.8556,0.0000,);
 266 setbounds _p to (0,0.0000)--(13.2834,0.0000)--
 267  (13.2834,1.0516)--(0,1.0516)--cycle;
 268 _p endgroup
 269 mpxbreak
 270 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 271 string _n[];
 272 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 273   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 274 _n1="cmmi10";
 275 _s("y",_n1,1.00000,0.0000,0.0000,);
 276 _n3="cmmi7";
 277 _s("n",_n3,1.00000,4.8845,-1.4944,);
 278 _n4="cmsy7";
 279 _s(char0,_n4,1.00000,9.8094,-1.4944,);
 280 _n2="cmr7";
 281 _s("2",_n2,1.00000,16.0360,-1.4944,);
 282 setbounds _p to (0,-2.3246)--(20.5054,-2.3246)--
 283  (20.5054,4.2895)--(0,4.2895)--cycle;
 284 _p endgroup
 285 mpxbreak
 286 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 287 string _n[];
 288 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 289   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 290 _n1="cmmi10";
 291 _s("y",_n1,1.00000,0.0000,0.0000,);
 292 _n3="cmmi7";
 293 _s("n",_n3,1.00000,4.8845,-1.4944,);
 294 _n4="cmsy7";
 295 _s(char0,_n4,1.00000,9.8094,-1.4944,);
 296 _n2="cmr7";
 297 _s("1",_n2,1.00000,16.0360,-1.4944,);
 298 setbounds _p to (0,-2.3246)--(20.5054,-2.3246)--
 299  (20.5054,4.2895)--(0,4.2895)--cycle;
 300 _p endgroup
 301 mpxbreak
 302 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 303 string _n[];
 304 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 305   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 306 _n1="cmmi10";
 307 _s("n",_n1,1.00000,0.0000,0.0000,);
 308 setbounds _p to (0,0.0000)--(5.9799,0.0000)--
 309  (5.9799,4.2895)--(0,4.2895)--cycle;
 310 _p endgroup
 311 mpxbreak
 312 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 313 string _n[];
 314 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 315   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 316 _n1="cmmi10";
 317 _s("S",_n1,1.00000,0.0000,0.0000,);
 318 _n3="cmmi7";
 319 _s("n",_n3,1.00000,6.1090,-1.4944,);
 320 setbounds _p to (0,-1.4944)--(11.5320,-1.4944)--
 321  (11.5320,6.8078)--(0,6.8078)--cycle;
 322 _p endgroup
 323 mpxbreak
 324 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 325 string _n[];
 326 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 327   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 328 _n1="cmmi10";
 329 _s("S",_n1,1.00000,0.0000,0.0000,);
 330 _n5="cmmi5";
 331 _s("n",_n5,1.00000,7.3045,1.1829,);
 332 interim linecap:=0;
 333 vardef _r(expr _a,_w)(text _t) =
 334   addto _p doublepath _a withpen pencircle scaled _w _t enddef;_r((7.3045,0.2491)..(11.6921,0.2491), 0.3985,);
 335 _n6="cmr5";
 336 _s("2",_n6,1.00000,7.8033,-3.8949,);
 337 setbounds _p to (0,-3.8949)--(13.3857,-3.8949)--
 338  (13.3857,6.8078)--(0,6.8078)--cycle;
 339 _p endgroup
 340 mpxbreak
 341 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 342 string _n[];
 343 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 344   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 345 _n1="cmmi10";
 346 _s("S",_n1,1.00000,0.0000,0.0000,);
 347 _n5="cmmi5";
 348 _s("n",_n5,1.00000,7.3045,1.1829,);
 349 interim linecap:=0;
 350 vardef _r(expr _a,_w)(text _t) =
 351   addto _p doublepath _a withpen pencircle scaled _w _t enddef;_r((7.3045,0.2491)..(11.6921,0.2491), 0.3985,);
 352 _n6="cmr5";
 353 _s("2",_n6,1.00000,7.8033,-3.8949,);
 354 setbounds _p to (0,-3.8949)--(13.3857,-3.8949)--
 355  (13.3857,6.8078)--(0,6.8078)--cycle;
 356 _p endgroup
 357 mpxbreak
 358 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 359 string _n[];
 360 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 361   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 362 _n1="cmmi10";
 363 _s("<",_n1,1.00000,0.0000,0.0000,);
 364 setbounds _p to (0,-0.3895)--(7.7487,-0.3895)--
 365  (7.7487,5.3708)--(0,5.3708)--cycle;
 366 _p endgroup
 367 mpxbreak
 368 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 369 string _n[];
 370 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 371   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 372 _n1="cmmi10";
 373 _s("S",_n1,1.00000,0.0000,0.0000,);
 374 _n5="cmmi5";
 375 _s("n",_n5,1.00000,7.3045,1.1829,);
 376 interim linecap:=0;
 377 vardef _r(expr _a,_w)(text _t) =
 378   addto _p doublepath _a withpen pencircle scaled _w _t enddef;_r((7.3045,0.2491)..(11.6921,0.2491), 0.3985,);
 379 _n6="cmr5";
 380 _s("4",_n6,1.00000,7.8033,-3.8949,);
 381 setbounds _p to (0,-3.8949)--(13.3857,-3.8949)--
 382  (13.3857,6.8078)--(0,6.8078)--cycle;
 383 _p endgroup
 384 mpxbreak
 385 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 386 string _n[];
 387 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 388   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 389 _n1="cmmi10";
 390 _s("S",_n1,1.00000,0.0000,0.0000,);
 391 _n5="cmmi5";
 392 _s("n",_n5,1.00000,7.3045,1.1829,);
 393 interim linecap:=0;
 394 vardef _r(expr _a,_w)(text _t) =
 395   addto _p doublepath _a withpen pencircle scaled _w _t enddef;_r((7.3045,0.2491)..(11.6921,0.2491), 0.3985,);
 396 _n6="cmr5";
 397 _s("4",_n6,1.00000,7.8033,-3.8949,);
 398 setbounds _p to (0,-3.8949)--(13.3857,-3.8949)--
 399  (13.3857,6.8078)--(0,6.8078)--cycle;
 400 _p endgroup
 401 mpxbreak
 402 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 403 string _n[];
 404 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 405   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 406 _n1="cmmi10";
 407 _s("<",_n1,1.00000,0.0000,0.0000,);
 408 setbounds _p to (0,-0.3895)--(7.7487,-0.3895)--
 409  (7.7487,5.3708)--(0,5.3708)--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("S",_n1,1.00000,0.0000,0.0000,);
 418 _n5="cmmi5";
 419 _s("n",_n5,1.00000,7.3045,1.1829,);
 420 interim linecap:=0;
 421 vardef _r(expr _a,_w)(text _t) =
 422   addto _p doublepath _a withpen pencircle scaled _w _t enddef;_r((7.3045,0.2491)..(11.6921,0.2491), 0.3985,);
 423 _n6="cmr5";
 424 _s("4",_n6,1.00000,7.8033,-3.8949,);
 425 setbounds _p to (0,-3.8949)--(13.3857,-3.8949)--
 426  (13.3857,6.8078)--(0,6.8078)--cycle;
 427 _p endgroup
 428 mpxbreak
 429 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 430 string _n[];
 431 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 432   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 433 _n1="cmmi10";
 434 _s("<",_n1,1.00000,0.0000,0.0000,);
 435 setbounds _p to (0,-0.3895)--(7.7487,-0.3895)--
 436  (7.7487,5.3708)--(0,5.3708)--cycle;
 437 _p endgroup
 438 mpxbreak
 439 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 440 string _n[];
 441 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 442   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 443 _n1="cmmi10";
 444 _s("S",_n1,1.00000,0.0000,0.0000,);
 445 _n5="cmmi5";
 446 _s("n",_n5,1.00000,7.3045,1.1829,);
 447 interim linecap:=0;
 448 vardef _r(expr _a,_w)(text _t) =
 449   addto _p doublepath _a withpen pencircle scaled _w _t enddef;_r((7.3045,0.2491)..(11.6921,0.2491), 0.3985,);
 450 _n6="cmr5";
 451 _s("4",_n6,1.00000,7.8033,-3.8949,);
 452 setbounds _p to (0,-3.8949)--(13.3857,-3.8949)--
 453  (13.3857,6.8078)--(0,6.8078)--cycle;
 454 _p endgroup
 455 mpxbreak
 456 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 457 string _n[];
 458 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 459   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 460 _n1="cmmi10";
 461 _s("<",_n1,1.00000,0.0000,0.0000,);
 462 setbounds _p to (0,-0.3895)--(7.7487,-0.3895)--
 463  (7.7487,5.3708)--(0,5.3708)--cycle;
 464 _p endgroup
 465 mpxbreak
 466 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 467 string _n[];
 468 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 469   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 470 _n1="cmmi10";
 471 _s("M",_n1,1.00000,0.0000,0.0000,);
 472 _n2="cmr7";
 473 _s("4",_n2,1.00000,9.6652,-1.4944,);
 474 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
 475  (14.1345,6.8078)--(0,6.8078)--cycle;
 476 _p endgroup
 477 mpxbreak
 478 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 479 string _n[];
 480 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 481   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 482 _n1="cmmi10";
 483 _s("M",_n1,1.00000,0.0000,0.0000,);
 484 _n2="cmr7";
 485 _s("2",_n2,1.00000,9.6652,-1.4944,);
 486 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
 487  (14.1345,6.8078)--(0,6.8078)--cycle;
 488 _p endgroup
 489 mpxbreak
 490 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 491 string _n[];
 492 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 493   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 494 _n1="cmmi10";
 495 _s("M",_n1,1.00000,0.0000,0.0000,);
 496 _n2="cmr7";
 497 _s("2",_n2,1.00000,9.6652,-1.4944,);
 498 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
 499  (14.1345,6.8078)--(0,6.8078)--cycle;
 500 _p endgroup
 501 mpxbreak
 502 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 503 string _n[];
 504 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 505   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 506 _n1="cmmi10";
 507 _s("M",_n1,1.00000,0.0000,0.0000,);
 508 _n2="cmr7";
 509 _s("1",_n2,1.00000,9.6652,-1.4944,);
 510 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
 511  (14.1345,6.8078)--(0,6.8078)--cycle;
 512 _p endgroup
 513 mpxbreak
 514 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 515 string _n[];
 516 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 517   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 518 _n1="cmmi10";
 519 _s("M",_n1,1.00000,0.0000,0.0000,);
 520 _n2="cmr7";
 521 _s("1",_n2,1.00000,9.6652,-1.4944,);
 522 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
 523  (14.1345,6.8078)--(0,6.8078)--cycle;
 524 _p endgroup
 525 mpxbreak
 526 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 527 string _n[];
 528 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 529   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 530 _n1="cmmi10";
 531 _s("M",_n1,1.00000,0.0000,0.0000,);
 532 _n2="cmr7";
 533 _s("1",_n2,1.00000,9.6652,-1.4944,);
 534 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
 535  (14.1345,6.8078)--(0,6.8078)--cycle;
 536 _p endgroup
 537 mpxbreak
 538 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 539 string _n[];
 540 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 541   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 542 _n1="cmmi10";
 543 _s("M",_n1,1.00000,0.0000,0.0000,);
 544 _n2="cmr7";
 545 _s("1",_n2,1.00000,9.6652,-1.4944,);
 546 setbounds _p to (0,-1.4944)--(14.1345,-1.4944)--
 547  (14.1345,6.8078)--(0,6.8078)--cycle;
 548 _p endgroup
 549 mpxbreak
 550 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 551 string _n[];
 552 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 553   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 554 _n0="cmr10";
 555 _s("0",_n0,1.00000,0.0000,0.0000,);
 556 setbounds _p to (0,-3.4869)--(4.9813,-3.4869)--
 557  (4.9813,8.4682)--(0,8.4682)--cycle;
 558 _p endgroup
 559 mpxbreak
 560 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 561 string _n[];
 562 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 563   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 564 _n1="cmmi10";
 565 _s("k",_n1,1.00000,0.0000,0.0000,);
 566 setbounds _p to (0,-3.4869)--(5.5002,-3.4869)--
 567  (5.5002,8.4682)--(0,8.4682)--cycle;
 568 _p endgroup
 569 mpxbreak
 570 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 571 string _n[];
 572 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 573   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 574 _n1="cmmi10";
 575 _s("m",_n1,1.00000,0.0000,0.0000,);
 576 setbounds _p to (0,-3.4869)--(8.7473,-3.4869)--
 577  (8.7473,8.4682)--(0,8.4682)--cycle;
 578 _p endgroup
 579 mpxbreak
 580 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 581 string _n[];
 582 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 583   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 584 _n3="cmmi7";
 585 _s("n",_n3,1.00000,1.1955,3.9226,);
 586 interim linecap:=0;
 587 vardef _r(expr _a,_w)(text _t) =
 588   addto _p doublepath _a withpen pencircle scaled _w _t enddef;_r((1.1955,2.4907)..(6.1204,2.4907), 0.3985,);
 589 _n2="cmr7";
 590 _s("2",_n2,1.00000,1.6723,-3.4355,);
 591 setbounds _p to (0,-3.4869)--(7.3159,-3.4869)--
 592  (7.3159,8.4682)--(0,8.4682)--cycle;
 593 _p endgroup
 594 mpxbreak
 595 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 596 string _n[];
 597 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 598   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 599 _n3="cmmi7";
 600 _s("n",_n3,1.00000,1.1955,3.9226,);
 601 interim linecap:=0;
 602 vardef _r(expr _a,_w)(text _t) =
 603   addto _p doublepath _a withpen pencircle scaled _w _t enddef;_r((1.1955,2.4907)..(6.1204,2.4907), 0.3985,);
 604 _n2="cmr7";
 605 _s("2",_n2,1.00000,1.6723,-3.4355,);
 606 _n0="cmr10";
 607 _s("+",_n0,1.00000,9.5298,0.0000,);
 608 _n1="cmmi10";
 609 _s("k",_n1,1.00000,19.4924,0.0000,);
 610 setbounds _p to (0,-3.4869)--(24.9926,-3.4869)--
 611  (24.9926,8.4682)--(0,8.4682)--cycle;
 612 _p endgroup
 613 mpxbreak
 614 begingroup save _p,_r,_s,_n; picture _p; _p=nullpicture;
 615 string _n[];
 616 vardef _s(expr _t,_f,_m,_x,_y)(text _c)=
 617   addto _p also _t infont _f scaled _m shifted (_x,_y) _c; enddef;
 618 _n1="cmmi10";
 619 _s("n",_n1,1.00000,0.0000,0.0000,);
 620 setbounds _p to (0,-3.4869)--(5.9799,-3.4869)--
 621  (5.9799,8.4682)--(0,8.4682)--cycle;
 622 _p endgroup
 623 mpxbreak