source/texk/web2c/triptrap/mftrap.pl

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