home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-dist / unixtex-6.1b-src.tgz / tar.out / contrib / unixtex / web2c / mf / MFtrap / trap.pl < prev    next >
Encoding:
Text File  |  1996-09-28  |  10.1 KB  |  491 lines
  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.    )
  491.