source/texk/web2c/triptrap/mptrap.pl

   1 (DESIGNSIZE R 128.0)
   2 (COMMENT DESIGNSIZE IS IN POINTS)
   3 (COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE)
   4 (CHECKSUM O 3745422316)
   5 (FONTDIMEN
   6    (SLANT R 2047.999999)
   7    (SPACE R 0.0)
   8    (STRETCH R 0.0)
   9    (SHRINK R 0.0)
  10    (XHEIGHT R 0.0)
  11    (QUAD R 0.0)
  12    (EXTRASPACE R 0.0)
  13    (PARAMETER D 8 R 0.0)
  14    (PARAMETER D 9 R 0.005208)
  15    (PARAMETER D 10 R 0.0)
  16    )
  17 (BOUNDARYCHAR O 377)
  18 (LIGTABLE
  19    (COMMENT THIS PART OF THE PROGRAM IS NEVER USED!
  20       )
  21    (LABEL BOUNDARYCHAR)
  22    (/LIG/>> O 377 O 0)
  23    (KRN O 0 R 0.0)
  24    (KRN O 0 R 0.0078125)
  25    (KRN O 0 R 0.015625)
  26    (KRN O 0 R 0.0234375)
  27    (KRN O 0 R 0.03125)
  28    (KRN O 0 R 0.0390625)
  29    (KRN O 0 R 0.046875)
  30    (KRN O 0 R 0.0546875)
  31    (KRN O 0 R 0.0625)
  32    (KRN O 0 R 0.0703125)
  33    (KRN O 0 R 0.078125)
  34    (KRN O 0 R 0.0859375)
  35    (KRN O 0 R 0.09375)
  36    (KRN O 0 R 0.1015625)
  37    (KRN O 0 R 0.109375)
  38    (KRN O 0 R 0.1171875)
  39    (KRN O 0 R 0.125)
  40    (KRN O 0 R 0.1328125)
  41    (KRN O 0 R 0.140625)
  42    (KRN O 0 R 0.1484375)
  43    (KRN O 0 R 0.15625)
  44    (KRN O 0 R 0.1640625)
  45    (KRN O 0 R 0.171875)
  46    (KRN O 0 R 0.1796875)
  47    (KRN O 0 R 0.1875)
  48    (KRN O 0 R 0.1953125)
  49    (KRN O 0 R 0.203125)
  50    (KRN O 0 R 0.2109375)
  51    (KRN O 0 R 0.21875)
  52    (KRN O 0 R 0.2265625)
  53    (KRN O 0 R 0.234375)
  54    (KRN O 0 R 0.2421875)
  55    (KRN O 0 R 0.25)
  56    (KRN O 0 R 0.2578125)
  57    (KRN O 0 R 0.265625)
  58    (KRN O 0 R 0.2734375)
  59    (KRN O 0 R 0.28125)
  60    (KRN O 0 R 0.2890625)
  61    (KRN O 0 R 0.296875)
  62    (KRN O 0 R 0.3046875)
  63    (KRN O 0 R 0.3125)
  64    (KRN O 0 R 0.3203125)
  65    (KRN O 0 R 0.328125)
  66    (KRN O 0 R 0.3359375)
  67    (KRN O 0 R 0.34375)
  68    (KRN O 0 R 0.3515625)
  69    (KRN O 0 R 0.359375)
  70    (KRN O 0 R 0.3671875)
  71    (KRN O 0 R 0.375)
  72    (KRN O 0 R 0.3828125)
  73    (KRN O 0 R 0.390625)
  74    (KRN O 0 R 0.3984375)
  75    (KRN O 0 R 0.40625)
  76    (KRN O 0 R 0.4140625)
  77    (KRN O 0 R 0.421875)
  78    (KRN O 0 R 0.4296875)
  79    (KRN O 0 R 0.4375)
  80    (KRN O 0 R 0.4453125)
  81    (KRN O 0 R 0.453125)
  82    (KRN O 0 R 0.4609375)
  83    (SKIP D 1)
  84    (LABEL C g)
  85    (LIG/ C g O 0)
  86    (STOP)
  87    (KRN O 0 R 0.400782)
  88    (KRN O 0 R 0.408594)
  89    (KRN O 0 R 0.416407)
  90    (KRN O 0 R 0.424219)
  91    (KRN O 0 R 0.432032)
  92    (KRN O 0 R 0.439844)
  93    (KRN O 0 R 0.447657)
  94    (KRN O 0 R 0.455469)
  95    (KRN O 0 R 0.463282)
  96    (KRN O 0 R 0.471094)
  97    (KRN O 0 R 0.478907)
  98    (KRN O 0 R 0.486719)
  99    (KRN O 0 R 0.494532)
 100    (KRN O 0 R 0.502344)
 101    (KRN O 0 R 0.510157)
 102    (KRN O 0 R 0.517969)
 103    (KRN O 0 R 0.525782)
 104    (KRN O 0 R 0.533594)
 105    (KRN O 0 R 0.541407)
 106    (KRN O 0 R 0.549219)
 107    (KRN O 0 R 0.557032)
 108    (KRN O 0 R 0.564844)
 109    (KRN O 0 R 0.572657)
 110    (KRN O 0 R 0.580469)
 111    (KRN O 0 R 0.588282)
 112    (KRN O 0 R 0.596094)
 113    (KRN O 0 R 0.603907)
 114    (KRN O 0 R 0.611719)
 115    (KRN O 0 R 0.619532)
 116    (KRN O 0 R 0.627344)
 117    (KRN O 0 R 0.635157)
 118    (KRN O 0 R 0.642969)
 119    (KRN O 0 R 0.650782)
 120    (KRN O 0 R 0.658594)
 121    (KRN O 0 R 0.666407)
 122    (KRN O 0 R 0.674219)
 123    (KRN O 0 R 0.682032)
 124    (KRN O 0 R 0.689844)
 125    (KRN O 0 R 0.697657)
 126    (KRN O 0 R 0.705469)
 127    (KRN O 0 R 0.713282)
 128    (KRN O 0 R 0.721094)
 129    (KRN O 0 R 0.728907)
 130    (KRN O 0 R 0.736719)
 131    (KRN O 0 R 0.744532)
 132    (KRN O 0 R 0.752344)
 133    (KRN O 0 R 0.760157)
 134    (KRN O 0 R 0.767969)
 135    (KRN O 0 R 0.775782)
 136    (KRN O 0 R 0.783594)
 137    (KRN O 0 R 0.791407)
 138    (KRN O 0 R 0.799219)
 139    (KRN O 0 R 0.807032)
 140    (KRN O 0 R 0.814844)
 141    (KRN O 0 R 0.822657)
 142    (KRN O 0 R 0.830469)
 143    (KRN O 0 R 0.838282)
 144    (KRN O 0 R 0.846094)
 145    (KRN O 0 R 0.853907)
 146    (KRN O 0 R 0.861719)
 147    (SKIP D 1)
 148    (LABEL C h)
 149    (LABEL C i)
 150    (/LIG C i O 0)
 151    (STOP)
 152    (KRN O 0 R 0.801562)
 153    (KRN O 0 R 0.809375)
 154    (KRN O 0 R 0.817187)
 155    (KRN O 0 R 0.825)
 156    (KRN O 0 R 0.832812)
 157    (KRN O 0 R 0.840625)
 158    (KRN O 0 R 0.848437)
 159    (KRN O 0 R 0.85625)
 160    (KRN O 0 R 0.864062)
 161    (KRN O 0 R 0.871875)
 162    (KRN O 0 R 0.879687)
 163    (KRN O 0 R 0.8875)
 164    (KRN O 0 R 0.895312)
 165    (KRN O 0 R 0.903125)
 166    (KRN O 0 R 0.910937)
 167    (KRN O 0 R 0.91875)
 168    (KRN O 0 R 0.926562)
 169    (KRN O 0 R 0.934375)
 170    (KRN O 0 R 0.942187)
 171    (KRN O 0 R 0.95)
 172    (KRN O 0 R 0.957812)
 173    (KRN O 0 R 0.965625)
 174    (KRN O 0 R 0.973437)
 175    (KRN O 0 R 0.98125)
 176    (KRN O 0 R 0.989062)
 177    (KRN O 0 R 0.996875)
 178    (KRN O 0 R 1.004687)
 179    (KRN O 0 R 1.0125)
 180    (KRN O 0 R 1.020312)
 181    (KRN O 0 R 1.028125)
 182    (KRN O 0 R 1.035937)
 183    (KRN O 0 R 1.04375)
 184    (KRN O 0 R 1.051562)
 185    (KRN O 0 R 1.059375)
 186    (KRN O 0 R 1.067187)
 187    (KRN O 0 R 1.075)
 188    (KRN O 0 R 1.082812)
 189    (KRN O 0 R 1.090625)
 190    (KRN O 0 R 1.098437)
 191    (KRN O 0 R 1.10625)
 192    (KRN O 0 R 1.114062)
 193    (KRN O 0 R 1.121875)
 194    (KRN O 0 R 1.129687)
 195    (KRN O 0 R 1.1375)
 196    (KRN O 0 R 1.145312)
 197    (KRN O 0 R 1.153125)
 198    (KRN O 0 R 1.160937)
 199    (KRN O 0 R 1.16875)
 200    (KRN O 0 R 1.176562)
 201    (KRN O 0 R 1.184375)
 202    (KRN O 0 R 1.192187)
 203    (KRN O 0 R 1.2)
 204    (KRN O 0 R 1.207812)
 205    (KRN O 0 R 1.215625)
 206    (KRN O 0 R 1.223437)
 207    (KRN O 0 R 1.23125)
 208    (KRN O 0 R 1.239062)
 209    (KRN O 0 R 1.246875)
 210    (KRN O 0 R 1.254687)
 211    (KRN O 0 R 1.2625)
 212    (SKIP D 1)
 213    (LABEL C j)
 214    (/LIG> C j O 0)
 215    (SKIP D 123)
 216    (KRN O 0 R 1.202344)
 217    (KRN O 0 R 1.210156)
 218    (KRN O 0 R 1.217969)
 219    (KRN O 0 R 1.225781)
 220    (KRN O 0 R 1.233594)
 221    (KRN O 0 R 1.241406)
 222    (KRN O 0 R 1.249219)
 223    (KRN O 0 R 1.257031)
 224    (KRN O 0 R 1.264844)
 225    (KRN O 0 R 1.272656)
 226    (KRN O 0 R 1.280469)
 227    (KRN O 0 R 1.288281)
 228    (KRN O 0 R 1.296094)
 229    (KRN O 0 R 1.303906)
 230    (KRN O 0 R 1.311719)
 231    (KRN O 0 R 1.319531)
 232    (KRN O 0 R 1.327344)
 233    (KRN O 0 R 1.335156)
 234    (KRN O 0 R 1.342969)
 235    (KRN O 0 R 1.350781)
 236    (KRN O 0 R 1.358594)
 237    (KRN O 0 R 1.366406)
 238    (KRN O 0 R 1.374219)
 239    (KRN O 0 R 1.382031)
 240    (KRN O 0 R 1.389844)
 241    (KRN O 0 R 1.397656)
 242    (KRN O 0 R 1.405469)
 243    (KRN O 0 R 1.413281)
 244    (KRN O 0 R 1.421094)
 245    (KRN O 0 R 1.428906)
 246    (KRN O 0 R 1.436719)
 247    (KRN O 0 R 1.444531)
 248    (KRN O 0 R 1.452344)
 249    (KRN O 0 R 1.460156)
 250    (KRN O 0 R 1.467969)
 251    (KRN O 0 R 1.475781)
 252    (KRN O 0 R 1.483594)
 253    (KRN O 0 R 1.491406)
 254    (KRN O 0 R 1.499219)
 255    (KRN O 0 R 1.507031)
 256    (KRN O 0 R 1.514844)
 257    (KRN O 0 R 1.522656)
 258    (KRN O 0 R 1.530469)
 259    (KRN O 0 R 1.538281)
 260    (KRN O 0 R 1.546094)
 261    (KRN O 0 R 1.553906)
 262    (KRN O 0 R 1.561719)
 263    (KRN O 0 R 1.569531)
 264    (KRN O 0 R 1.577344)
 265    (KRN O 0 R 1.585156)
 266    (KRN O 0 R 1.592969)
 267    (KRN O 0 R 1.600781)
 268    (KRN O 0 R 1.608594)
 269    (KRN O 0 R 1.616406)
 270    (KRN O 0 R 1.624219)
 271    (KRN O 0 R 1.632031)
 272    (KRN O 0 R 1.639844)
 273    (KRN O 0 R 1.647656)
 274    (KRN O 0 R 1.655469)
 275    (KRN O 0 R 1.663281)
 276    (SKIP D 1)
 277    (LABEL C k)
 278    (LIG/> C k O 0)
 279    (SKIP D 62)
 280    (KRN O 0 R 1.603125)
 281    (KRN O 0 R 1.610937)
 282    (KRN O 0 R 1.61875)
 283    (KRN O 0 R 1.626562)
 284    (KRN O 0 R 1.634375)
 285    (KRN O 0 R 1.642187)
 286    (KRN O 0 R 1.65)
 287    (KRN O 0 R 1.657812)
 288    (KRN O 0 R 1.665625)
 289    (KRN O 0 R 1.673437)
 290    (KRN O 0 R 1.68125)
 291    (KRN O 0 R 1.689062)
 292    (KRN O 0 R 1.696875)
 293    (KRN O 0 R 1.704687)
 294    (KRN O 0 R 1.7125)
 295    (KRN O 0 R 1.720312)
 296    (KRN O 0 R 1.728125)
 297    (KRN O 0 R 1.735937)
 298    (KRN O 0 R 1.74375)
 299    (KRN O 0 R 1.751562)
 300    (KRN O 0 R 1.759375)
 301    (KRN O 0 R 1.767187)
 302    (KRN O 0 R 1.775)
 303    (KRN O 0 R 1.782812)
 304    (KRN O 0 R 1.790625)
 305    (KRN O 0 R 1.798437)
 306    (KRN O 0 R 1.80625)
 307    (KRN O 0 R 1.814062)
 308    (KRN O 0 R 1.821875)
 309    (KRN O 0 R 1.829687)
 310    (KRN O 0 R 1.8375)
 311    (KRN O 0 R 1.845312)
 312    (KRN O 0 R 1.853125)
 313    (KRN O 0 R 1.860937)
 314    (KRN O 0 R 1.86875)
 315    (KRN O 0 R 1.876562)
 316    (KRN O 0 R 1.884375)
 317    (KRN O 0 R 1.892187)
 318    (KRN O 0 R 1.9)
 319    (KRN O 0 R 1.907812)
 320    (KRN O 0 R 1.915625)
 321    (KRN O 0 R 1.923437)
 322    (KRN O 0 R 1.93125)
 323    (KRN O 0 R 1.939062)
 324    (KRN O 0 R 1.946875)
 325    (KRN O 0 R 1.954687)
 326    (KRN O 0 R 1.9625)
 327    (KRN O 0 R 1.970312)
 328    (KRN O 0 R 1.978125)
 329    (KRN O 0 R 1.985937)
 330    (KRN O 0 R 1.99375)
 331    (KRN O 0 R 2.001562)
 332    (KRN O 0 R 2.009375)
 333    (KRN O 0 R 2.017187)
 334    (KRN O 0 R 2.025)
 335    (KRN O 0 R 2.032812)
 336    (KRN O 0 R 2.040625)
 337    (KRN O 0 R 2.048437)
 338    (KRN O 0 R 2.05625)
 339    (KRN O 0 R 2.064062)
 340    (STOP)
 341    (LABEL C l)
 342    (/LIG/> C l O 0)
 343    (SKIP D 1)
 344    (LABEL C m)
 345    (LIG O 0 O 0)
 346    (STOP)
 347    (LIG C a C b)
 348    (KRN C d R -15.999999)
 349    (LABEL C c)
 350    (LABEL C d)
 351    (/LIG/ C e C f)
 352    (KRN O 0 R 0.0)
 353    (STOP)
 354    (COMMENT THIS PART OF THE PROGRAM IS NEVER USED!
 355       )
 356    )
 357 (CHARACTER O 0
 358    (CHARWD R 2.0)
 359    (CHARHT R 15.999999)
 360    (CHARDP R 0.234375)
 361    (CHARIC R -7.8125)
 362    (NEXTLARGER O 5)
 363    )
 364 (CHARACTER O 5
 365    (CHARWD R 0.0)
 366    (CHARDP R 0.0390625)
 367    (VARCHAR
 368       (TOP O 5)
 369       (MID C c)
 370       (REP C d)
 371       )
 372    )
 373 (CHARACTER O 6
 374    (CHARWD R 0.0)
 375    (CHARDP R -0.113281)
 376    )
 377 (CHARACTER O 137
 378    (CHARWD R 0.0)
 379    (CHARDP R 0.1015625)
 380    )
 381 (CHARACTER O 140
 382    (CHARWD R 0.0)
 383    (CHARDP R 0.089844)
 384    )
 385 (CHARACTER C a
 386    (CHARWD R 0.0)
 387    (NEXTLARGER C d)
 388    )
 389 (CHARACTER C b
 390    (CHARWD R 0.0)
 391    (CHARDP R 0.1640625)
 392    )
 393 (CHARACTER C c
 394    (CHARWD R 0.0)
 395    (CHARDP R -0.011719)
 396    (COMMENT
 397       (/LIG/ C e C f)
 398       (KRN O 0 R 0.0)
 399       )
 400    )
 401 (CHARACTER C d
 402    (CHARWD R 0.0)
 403    (CHARDP R 0.1328125)
 404    (COMMENT
 405       (/LIG/ C e C f)
 406       (KRN O 0 R 0.0)
 407       )
 408    )
 409 (CHARACTER C e
 410    (CHARWD R 0.0)
 411    (CHARDP R 0.089844)
 412    )
 413 (CHARACTER C f
 414    (CHARWD R 0.0)
 415    (CHARDP R 0.0234375)
 416    )
 417 (CHARACTER C g
 418    (CHARWD R 0.0)
 419    (CHARDP R -0.011719)
 420    (CHARIC R -7.8125)
 421    (COMMENT
 422       (LIG/ C g O 0)
 423       )
 424    )
 425 (CHARACTER C h
 426    (CHARWD R 0.0)
 427    (CHARDP R 0.1953125)
 428    (CHARIC R -7.8125)
 429    (COMMENT
 430       (/LIG C i O 0)
 431       )
 432    )
 433 (CHARACTER C i
 434    (CHARWD R 0.0)
 435    (CHARDP R 0.2421875)
 436    (CHARIC R -7.8125)
 437    (COMMENT
 438       (/LIG C i O 0)
 439       )
 440    )
 441 (CHARACTER C j
 442    (CHARWD R 0.0)
 443    (CHARDP R 0.1484375)
 444    (CHARIC R -7.8125)
 445    (COMMENT
 446       (/LIG> C j O 0)
 447       (LIG C a C b)
 448       (KRN C d R -15.999999)
 449       (/LIG/ C e C f)
 450       (KRN O 0 R 0.0)
 451       )
 452    )
 453 (CHARACTER C k
 454    (CHARWD R 0.0)
 455    (CHARDP R 0.0546875)
 456    (CHARIC R -7.8125)
 457    (COMMENT
 458       (LIG/> C k O 0)
 459       (LIG C a C b)
 460       (KRN C d R -15.999999)
 461       (/LIG/ C e C f)
 462       (KRN O 0 R 0.0)
 463       )
 464    )
 465 (CHARACTER C l
 466    (CHARWD R 2.0)
 467    (CHARDP R 0.1796875)
 468    (CHARIC R -7.8125)
 469    (COMMENT
 470       (/LIG/> C l O 0)
 471       (LIG C a C b)
 472       (KRN C d R -15.999999)
 473       (/LIG/ C e C f)
 474       (KRN O 0 R 0.0)
 475       )
 476    )
 477 (CHARACTER C m
 478    (CHARWD R 2.0)
 479    (CHARDP R 0.234375)
 480    (CHARIC R -7.8125)
 481    (COMMENT
 482       (LIG O 0 O 0)
 483       )
 484    )
 485 (CHARACTER O 224
 486    (CHARWD R 2.0)
 487    (CHARDP R 0.234375)
 488    (CHARIC R -7.8125)
 489    )
 490 (CHARACTER O 225
 491    (CHARWD R 2.0)
 492    (CHARDP R 0.234375)
 493    (CHARIC R -7.8125)
 494    )
 495 (CHARACTER O 226
 496    (CHARWD R 2.0)
 497    (CHARDP R 0.234375)
 498    (CHARIC R -7.8125)
 499    )
 500 (CHARACTER O 227
 501    (CHARWD R 2.0)
 502    (CHARHT R 15.999999)
 503    (CHARDP R 0.234375)
 504    (CHARIC R -7.8125)
 505    )
 506 (CHARACTER O 305
 507    (CHARWD R 2.0)
 508    (CHARDP R 0.234375)
 509    (CHARIC R -7.8125)
 510    )
 511 (CHARACTER O 310
 512    (CHARWD R 2.0)
 513    (CHARDP R 0.234375)
 514    (CHARIC R -7.8125)
 515    )
 516 (CHARACTER O 354
 517    (CHARWD R 0.0)
 518    (CHARDP R -15.999999)
 519    )