diff options
Diffstat (limited to 'Build/source/texk/web2c/triptrap/mftrap.pl')
-rw-r--r-- | Build/source/texk/web2c/triptrap/mftrap.pl | 490 |
1 files changed, 490 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/triptrap/mftrap.pl b/Build/source/texk/web2c/triptrap/mftrap.pl new file mode 100644 index 00000000000..bae32a41fb4 --- /dev/null +++ b/Build/source/texk/web2c/triptrap/mftrap.pl @@ -0,0 +1,490 @@ +(CODINGSCHEME Q) +(DESIGNSIZE R 128.0) +(COMMENT DESIGNSIZE IS IN POINTS) +(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE) +(CHECKSUM O 5546464252) +(FONTDIMEN + (SLANT R 2047.999999) + (SPACE R 0.0) + (STRETCH R 0.0) + (SHRINK R 0.0) + (XHEIGHT R 0.0) + (QUAD R 0.0) + (EXTRASPACE R 0.0) + (PARAMETER D 8 R 0.0) + (PARAMETER D 9 R 0.005208) + (PARAMETER D 10 R 0.0) + ) +(BOUNDARYCHAR O 377) +(LIGTABLE + (COMMENT THIS PART OF THE PROGRAM IS NEVER USED! + ) + (LABEL BOUNDARYCHAR) + (/LIG/>> O 377 O 0) + (KRN O 0 R 0.0) + (KRN O 0 R 0.0078125) + (KRN O 0 R 0.015625) + (KRN O 0 R 0.0234375) + (KRN O 0 R 0.03125) + (KRN O 0 R 0.0390625) + (KRN O 0 R 0.046875) + (KRN O 0 R 0.0546875) + (KRN O 0 R 0.0625) + (KRN O 0 R 0.0703125) + (KRN O 0 R 0.078125) + (KRN O 0 R 0.0859375) + (KRN O 0 R 0.09375) + (KRN O 0 R 0.1015625) + (KRN O 0 R 0.109375) + (KRN O 0 R 0.1171875) + (KRN O 0 R 0.125) + (KRN O 0 R 0.1328125) + (KRN O 0 R 0.140625) + (KRN O 0 R 0.1484375) + (KRN O 0 R 0.15625) + (KRN O 0 R 0.1640625) + (KRN O 0 R 0.171875) + (KRN O 0 R 0.1796875) + (KRN O 0 R 0.1875) + (KRN O 0 R 0.1953125) + (KRN O 0 R 0.203125) + (KRN O 0 R 0.2109375) + (KRN O 0 R 0.21875) + (KRN O 0 R 0.2265625) + (KRN O 0 R 0.234375) + (KRN O 0 R 0.2421875) + (KRN O 0 R 0.25) + (KRN O 0 R 0.2578125) + (KRN O 0 R 0.265625) + (KRN O 0 R 0.2734375) + (KRN O 0 R 0.28125) + (KRN O 0 R 0.2890625) + (KRN O 0 R 0.296875) + (KRN O 0 R 0.3046875) + (KRN O 0 R 0.3125) + (KRN O 0 R 0.3203125) + (KRN O 0 R 0.328125) + (KRN O 0 R 0.3359375) + (KRN O 0 R 0.34375) + (KRN O 0 R 0.3515625) + (KRN O 0 R 0.359375) + (KRN O 0 R 0.3671875) + (KRN O 0 R 0.375) + (KRN O 0 R 0.3828125) + (KRN O 0 R 0.390625) + (KRN O 0 R 0.3984375) + (KRN O 0 R 0.40625) + (KRN O 0 R 0.4140625) + (KRN O 0 R 0.421875) + (KRN O 0 R 0.4296875) + (KRN O 0 R 0.4375) + (KRN O 0 R 0.4453125) + (KRN O 0 R 0.453125) + (KRN O 0 R 0.4609375) + (SKIP D 1) + (LABEL C g) + (LIG/ C g O 0) + (STOP) + (KRN O 0 R 0.400782) + (KRN O 0 R 0.408594) + (KRN O 0 R 0.416407) + (KRN O 0 R 0.424219) + (KRN O 0 R 0.432032) + (KRN O 0 R 0.439844) + (KRN O 0 R 0.447657) + (KRN O 0 R 0.455469) + (KRN O 0 R 0.463282) + (KRN O 0 R 0.471094) + (KRN O 0 R 0.478907) + (KRN O 0 R 0.486719) + (KRN O 0 R 0.494532) + (KRN O 0 R 0.502344) + (KRN O 0 R 0.510157) + (KRN O 0 R 0.517969) + (KRN O 0 R 0.525782) + (KRN O 0 R 0.533594) + (KRN O 0 R 0.541407) + (KRN O 0 R 0.549219) + (KRN O 0 R 0.557032) + (KRN O 0 R 0.564844) + (KRN O 0 R 0.572657) + (KRN O 0 R 0.580469) + (KRN O 0 R 0.588282) + (KRN O 0 R 0.596094) + (KRN O 0 R 0.603907) + (KRN O 0 R 0.611719) + (KRN O 0 R 0.619532) + (KRN O 0 R 0.627344) + (KRN O 0 R 0.635157) + (KRN O 0 R 0.642969) + (KRN O 0 R 0.650782) + (KRN O 0 R 0.658594) + (KRN O 0 R 0.666407) + (KRN O 0 R 0.674219) + (KRN O 0 R 0.682032) + (KRN O 0 R 0.689844) + (KRN O 0 R 0.697657) + (KRN O 0 R 0.705469) + (KRN O 0 R 0.713282) + (KRN O 0 R 0.721094) + (KRN O 0 R 0.728907) + (KRN O 0 R 0.736719) + (KRN O 0 R 0.744532) + (KRN O 0 R 0.752344) + (KRN O 0 R 0.760157) + (KRN O 0 R 0.767969) + (KRN O 0 R 0.775782) + (KRN O 0 R 0.783594) + (KRN O 0 R 0.791407) + (KRN O 0 R 0.799219) + (KRN O 0 R 0.807032) + (KRN O 0 R 0.814844) + (KRN O 0 R 0.822657) + (KRN O 0 R 0.830469) + (KRN O 0 R 0.838282) + (KRN O 0 R 0.846094) + (KRN O 0 R 0.853907) + (KRN O 0 R 0.861719) + (SKIP D 1) + (LABEL C h) + (LABEL C i) + (/LIG C i O 0) + (STOP) + (KRN O 0 R 0.801562) + (KRN O 0 R 0.809375) + (KRN O 0 R 0.817187) + (KRN O 0 R 0.825) + (KRN O 0 R 0.832812) + (KRN O 0 R 0.840625) + (KRN O 0 R 0.848437) + (KRN O 0 R 0.85625) + (KRN O 0 R 0.864062) + (KRN O 0 R 0.871875) + (KRN O 0 R 0.879687) + (KRN O 0 R 0.8875) + (KRN O 0 R 0.895312) + (KRN O 0 R 0.903125) + (KRN O 0 R 0.910937) + (KRN O 0 R 0.91875) + (KRN O 0 R 0.926562) + (KRN O 0 R 0.934375) + (KRN O 0 R 0.942187) + (KRN O 0 R 0.95) + (KRN O 0 R 0.957812) + (KRN O 0 R 0.965625) + (KRN O 0 R 0.973437) + (KRN O 0 R 0.98125) + (KRN O 0 R 0.989062) + (KRN O 0 R 0.996875) + (KRN O 0 R 1.004687) + (KRN O 0 R 1.0125) + (KRN O 0 R 1.020312) + (KRN O 0 R 1.028125) + (KRN O 0 R 1.035937) + (KRN O 0 R 1.04375) + (KRN O 0 R 1.051562) + (KRN O 0 R 1.059375) + (KRN O 0 R 1.067187) + (KRN O 0 R 1.075) + (KRN O 0 R 1.082812) + (KRN O 0 R 1.090625) + (KRN O 0 R 1.098437) + (KRN O 0 R 1.10625) + (KRN O 0 R 1.114062) + (KRN O 0 R 1.121875) + (KRN O 0 R 1.129687) + (KRN O 0 R 1.1375) + (KRN O 0 R 1.145312) + (KRN O 0 R 1.153125) + (KRN O 0 R 1.160937) + (KRN O 0 R 1.16875) + (KRN O 0 R 1.176562) + (KRN O 0 R 1.184375) + (KRN O 0 R 1.192187) + (KRN O 0 R 1.2) + (KRN O 0 R 1.207812) + (KRN O 0 R 1.215625) + (KRN O 0 R 1.223437) + (KRN O 0 R 1.23125) + (KRN O 0 R 1.239062) + (KRN O 0 R 1.246875) + (KRN O 0 R 1.254687) + (KRN O 0 R 1.2625) + (SKIP D 1) + (LABEL C j) + (/LIG> C j O 0) + (SKIP D 123) + (KRN O 0 R 1.202344) + (KRN O 0 R 1.210156) + (KRN O 0 R 1.217969) + (KRN O 0 R 1.225781) + (KRN O 0 R 1.233594) + (KRN O 0 R 1.241406) + (KRN O 0 R 1.249219) + (KRN O 0 R 1.257031) + (KRN O 0 R 1.264844) + (KRN O 0 R 1.272656) + (KRN O 0 R 1.280469) + (KRN O 0 R 1.288281) + (KRN O 0 R 1.296094) + (KRN O 0 R 1.303906) + (KRN O 0 R 1.311719) + (KRN O 0 R 1.319531) + (KRN O 0 R 1.327344) + (KRN O 0 R 1.335156) + (KRN O 0 R 1.342969) + (KRN O 0 R 1.350781) + (KRN O 0 R 1.358594) + (KRN O 0 R 1.366406) + (KRN O 0 R 1.374219) + (KRN O 0 R 1.382031) + (KRN O 0 R 1.389844) + (KRN O 0 R 1.397656) + (KRN O 0 R 1.405469) + (KRN O 0 R 1.413281) + (KRN O 0 R 1.421094) + (KRN O 0 R 1.428906) + (KRN O 0 R 1.436719) + (KRN O 0 R 1.444531) + (KRN O 0 R 1.452344) + (KRN O 0 R 1.460156) + (KRN O 0 R 1.467969) + (KRN O 0 R 1.475781) + (KRN O 0 R 1.483594) + (KRN O 0 R 1.491406) + (KRN O 0 R 1.499219) + (KRN O 0 R 1.507031) + (KRN O 0 R 1.514844) + (KRN O 0 R 1.522656) + (KRN O 0 R 1.530469) + (KRN O 0 R 1.538281) + (KRN O 0 R 1.546094) + (KRN O 0 R 1.553906) + (KRN O 0 R 1.561719) + (KRN O 0 R 1.569531) + (KRN O 0 R 1.577344) + (KRN O 0 R 1.585156) + (KRN O 0 R 1.592969) + (KRN O 0 R 1.600781) + (KRN O 0 R 1.608594) + (KRN O 0 R 1.616406) + (KRN O 0 R 1.624219) + (KRN O 0 R 1.632031) + (KRN O 0 R 1.639844) + (KRN O 0 R 1.647656) + (KRN O 0 R 1.655469) + (KRN O 0 R 1.663281) + (SKIP D 1) + (LABEL C k) + (LIG/> C k O 0) + (SKIP D 62) + (KRN O 0 R 1.603125) + (KRN O 0 R 1.610937) + (KRN O 0 R 1.61875) + (KRN O 0 R 1.626562) + (KRN O 0 R 1.634375) + (KRN O 0 R 1.642187) + (KRN O 0 R 1.65) + (KRN O 0 R 1.657812) + (KRN O 0 R 1.665625) + (KRN O 0 R 1.673437) + (KRN O 0 R 1.68125) + (KRN O 0 R 1.689062) + (KRN O 0 R 1.696875) + (KRN O 0 R 1.704687) + (KRN O 0 R 1.7125) + (KRN O 0 R 1.720312) + (KRN O 0 R 1.728125) + (KRN O 0 R 1.735937) + (KRN O 0 R 1.74375) + (KRN O 0 R 1.751562) + (KRN O 0 R 1.759375) + (KRN O 0 R 1.767187) + (KRN O 0 R 1.775) + (KRN O 0 R 1.782812) + (KRN O 0 R 1.790625) + (KRN O 0 R 1.798437) + (KRN O 0 R 1.80625) + (KRN O 0 R 1.814062) + (KRN O 0 R 1.821875) + (KRN O 0 R 1.829687) + (KRN O 0 R 1.8375) + (KRN O 0 R 1.845312) + (KRN O 0 R 1.853125) + (KRN O 0 R 1.860937) + (KRN O 0 R 1.86875) + (KRN O 0 R 1.876562) + (KRN O 0 R 1.884375) + (KRN O 0 R 1.892187) + (KRN O 0 R 1.9) + (KRN O 0 R 1.907812) + (KRN O 0 R 1.915625) + (KRN O 0 R 1.923437) + (KRN O 0 R 1.93125) + (KRN O 0 R 1.939062) + (KRN O 0 R 1.946875) + (KRN O 0 R 1.954687) + (KRN O 0 R 1.9625) + (KRN O 0 R 1.970312) + (KRN O 0 R 1.978125) + (KRN O 0 R 1.985937) + (KRN O 0 R 1.99375) + (KRN O 0 R 2.001562) + (KRN O 0 R 2.009375) + (KRN O 0 R 2.017187) + (KRN O 0 R 2.025) + (KRN O 0 R 2.032812) + (KRN O 0 R 2.040625) + (KRN O 0 R 2.048437) + (KRN O 0 R 2.05625) + (KRN O 0 R 2.064062) + (STOP) + (LABEL C l) + (/LIG/> C l O 0) + (SKIP D 1) + (LABEL C m) + (LIG O 0 O 0) + (STOP) + (LIG C a C b) + (KRN C d R -15.999999) + (LABEL C c) + (LABEL C d) + (/LIG/ C e C f) + (KRN O 0 R 0.0) + (STOP) + (COMMENT THIS PART OF THE PROGRAM IS NEVER USED! + ) + ) +(CHARACTER O 0 + (CHARWD R 2.0) + (CHARHT R 15.999999) + (CHARDP R 0.234375) + (CHARIC R -7.8125) + (NEXTLARGER O 5) + ) +(CHARACTER O 5 + (CHARWD R 0.0) + (CHARDP R -0.113281) + (VARCHAR + (TOP O 5) + (MID C c) + (REP C d) + ) + ) +(CHARACTER O 33 + (CHARWD R 0.0) + (CHARDP R 0.2109375) + ) +(CHARACTER O 137 + (CHARWD R 0.0) + (CHARDP R 0.1015625) + ) +(CHARACTER O 140 + (CHARWD R 0.0) + (CHARDP R 0.089844) + ) +(CHARACTER C a + (CHARWD R 0.0) + (NEXTLARGER C d) + ) +(CHARACTER C b + (CHARWD R 0.0) + (CHARDP R 0.1640625) + ) +(CHARACTER C c + (CHARWD R 0.0) + (CHARDP R -0.011719) + (COMMENT + (/LIG/ C e C f) + (KRN O 0 R 0.0) + ) + ) +(CHARACTER C d + (CHARWD R 0.0) + (CHARDP R 0.1328125) + (COMMENT + (/LIG/ C e C f) + (KRN O 0 R 0.0) + ) + ) +(CHARACTER C e + (CHARWD R 0.0) + (CHARDP R 0.089844) + ) +(CHARACTER C f + (CHARWD R 0.0) + (CHARDP R 0.0234375) + ) +(CHARACTER C g + (CHARWD R 0.0) + (CHARDP R -0.011719) + (CHARIC R -7.8125) + (COMMENT + (LIG/ C g O 0) + ) + ) +(CHARACTER C h + (CHARWD R 0.0) + (CHARDP R 0.1953125) + (CHARIC R -7.8125) + (COMMENT + (/LIG C i O 0) + ) + ) +(CHARACTER C i + (CHARWD R 0.0) + (CHARDP R 0.2421875) + (CHARIC R -7.8125) + (COMMENT + (/LIG C i O 0) + ) + ) +(CHARACTER C j + (CHARWD R 0.0) + (CHARDP R 0.1484375) + (CHARIC R -7.8125) + (COMMENT + (/LIG> C j O 0) + (LIG C a C b) + (KRN C d R -15.999999) + (/LIG/ C e C f) + (KRN O 0 R 0.0) + ) + ) +(CHARACTER C k + (CHARWD R 0.0) + (CHARDP R 0.0546875) + (CHARIC R -7.8125) + (COMMENT + (LIG/> C k O 0) + (LIG C a C b) + (KRN C d R -15.999999) + (/LIG/ C e C f) + (KRN O 0 R 0.0) + ) + ) +(CHARACTER C l + (CHARWD R 2.0) + (CHARDP R 0.1796875) + (CHARIC R -7.8125) + (COMMENT + (/LIG/> C l O 0) + (LIG C a C b) + (KRN C d R -15.999999) + (/LIG/ C e C f) + (KRN O 0 R 0.0) + ) + ) +(CHARACTER C m + (CHARWD R 2.0) + (CHARHT R 15.999999) + (CHARDP R 0.234375) + (CHARIC R -7.8125) + (COMMENT + (LIG O 0 O 0) + ) + ) +(CHARACTER O 354 + (CHARWD R 0.0) + (CHARDP R -15.999999) + ) |