diff options
Diffstat (limited to 'support/splint/tex/fonts')
-rw-r--r-- | support/splint/tex/fonts/idssbx10.vpl | 911 | ||||
-rw-r--r-- | support/splint/tex/fonts/idssbx12.vpl | 908 | ||||
-rw-r--r-- | support/splint/tex/fonts/idssbx5.vpl | 908 | ||||
-rw-r--r-- | support/splint/tex/fonts/idssbx6.tfm | bin | 0 -> 1280 bytes | |||
-rw-r--r-- | support/splint/tex/fonts/idssbx6.vf | bin | 0 -> 828 bytes | |||
-rw-r--r-- | support/splint/tex/fonts/idssbx6.vpl | 1310 | ||||
-rw-r--r-- | support/splint/tex/fonts/idssbx7.tfm | bin | 0 -> 1296 bytes | |||
-rw-r--r-- | support/splint/tex/fonts/idssbx7.vf | bin | 0 -> 828 bytes | |||
-rw-r--r-- | support/splint/tex/fonts/idssbx7.vpl | 913 | ||||
-rw-r--r-- | support/splint/tex/fonts/idssbx8.tfm | bin | 0 -> 1280 bytes | |||
-rw-r--r-- | support/splint/tex/fonts/idssbx8.vf | bin | 0 -> 828 bytes | |||
-rw-r--r-- | support/splint/tex/fonts/idssbx8.vpl | 1310 | ||||
-rw-r--r-- | support/splint/tex/fonts/idssbx9.tfm | bin | 0 -> 1296 bytes | |||
-rw-r--r-- | support/splint/tex/fonts/idssbx9.vf | bin | 0 -> 828 bytes | |||
-rw-r--r-- | support/splint/tex/fonts/idssbx9.vpl | 1310 |
15 files changed, 7570 insertions, 0 deletions
diff --git a/support/splint/tex/fonts/idssbx10.vpl b/support/splint/tex/fonts/idssbx10.vpl new file mode 100644 index 0000000000..62d6291a24 --- /dev/null +++ b/support/splint/tex/fonts/idssbx10.vpl @@ -0,0 +1,911 @@ +(FAMILY CMSSBX) +(FACE O 352) +(CODINGSCHEME TEX TEXT) +(DESIGNSIZE R 10.0) +(COMMENT DESIGNSIZE IS IN POINTS) +(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE) +(CHECKSUM O 36132640510) +(FONTDIMEN + (SLANT R 0.0) + (SPACE R 0.366669) + (STRETCH R 0.183334) + (SHRINK R 0.122223) + (XHEIGHT R 0.458333) + (QUAD R 1.100006) + (EXTRASPACE R 0.122223) + ) +(LIGTABLE + (LABEL O 40) + (KRN C l R -0.255557) + (KRN C L R -0.293057) + (STOP) + (LABEL C f) + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.07639) + (KRN O 77 R 0.07639) + (KRN O 41 R 0.07639) + (KRN O 51 R 0.07639) + (KRN O 135 R 0.07639) + (STOP) + (LABEL O 13) + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.07639) + (KRN O 77 R 0.07639) + (KRN O 41 R 0.07639) + (KRN O 51 R 0.07639) + (KRN O 135 R 0.07639) + (STOP) + (LABEL O 140) + (LIG O 140 O 134) + (STOP) + (LABEL O 47) + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + (STOP) + (LABEL O 55) + (LIG O 55 O 173) + (STOP) + (LABEL O 173) + (LIG O 55 O 174) + (STOP) + (LABEL O 41) + (LIG O 140 O 74) + (STOP) + (LABEL O 77) + (LIG O 140 O 76) + (STOP) + (LABEL C k) + (LABEL C w) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN C o R -0.030556) + (KRN C c R -0.030556) + (STOP) + (LABEL C P) + (KRN C A R -0.091667) + (LABEL C y) + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN O 56 R -0.091667) + (KRN O 54 R -0.091667) + (STOP) + (LABEL C F) + (LABEL C V) + (LABEL C W) + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (LABEL C K) + (LABEL C X) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + (STOP) + (LABEL C T) + (KRN C y R -0.091667) + (LABEL C Y) + (KRN C e R -0.091667) + (KRN C o R -0.091667) + (KRN C r R -0.091667) + (KRN C a R -0.091667) + (KRN C A R -0.091667) + (KRN C u R -0.091667) + (STOP) + (LABEL C D) + (LABEL C O) + (KRN C X R -0.030556) + (KRN C W R -0.030556) + (KRN C A R -0.030556) + (KRN C V R -0.030556) + (KRN C Y R -0.030556) + (STOP) + (LABEL C b) + (LABEL C o) + (LABEL C p) + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (LABEL C a) + (KRN C r R -0.030556) + (LABEL C t) + (KRN C y R -0.030556) + (LABEL C u) + (KRN C w R -0.030556) + (STOP) + (LABEL C A) + (KRN C t R -0.030556) + (KRN C C R -0.030556) + (KRN C O R -0.030556) + (KRN C G R -0.030556) + (KRN C U R -0.030556) + (KRN C Q R -0.030556) + (LABEL C L) + (KRN C T R -0.091667) + (KRN C Y R -0.091667) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + (STOP) + (LABEL C g) + (KRN C j R 0.030556) + (STOP) + (LABEL C I) + (KRN C I R 0.030556) + (STOP) + ) +(CHARACTER O 0 + (CHARWD R 0.580559) + (CHARHT R 0.694445) + ) +(CHARACTER O 1 + (CHARWD R 0.916672) + (CHARHT R 0.694445) + ) +(CHARACTER O 2 + (CHARWD R 0.85556) + (CHARHT R 0.694445) + ) +(CHARACTER O 3 + (CHARWD R 0.672226) + (CHARHT R 0.694445) + ) +(CHARACTER O 4 + (CHARWD R 0.733337) + (CHARHT R 0.694445) + ) +(CHARACTER O 5 + (CHARWD R 0.794449) + (CHARHT R 0.694445) + ) +(CHARACTER O 6 + (CHARWD R 0.794449) + (CHARHT R 0.694445) + ) +(CHARACTER O 7 + (CHARWD R 0.85556) + (CHARHT R 0.694445) + ) +(CHARACTER O 10 + (CHARWD R 0.794449) + (CHARHT R 0.694445) + ) +(CHARACTER O 11 + (CHARWD R 0.85556) + (CHARHT R 0.694445) + ) +(CHARACTER O 12 + (CHARWD R 0.794449) + (CHARHT R 0.694445) + ) +(CHARACTER O 13 + (CHARWD R 0.64167) + (CHARHT R 0.694445) + (CHARIC R 0.07639) + (COMMENT + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.07639) + (KRN O 77 R 0.07639) + (KRN O 41 R 0.07639) + (KRN O 51 R 0.07639) + (KRN O 135 R 0.07639) + ) + ) +(CHARACTER O 14 + (CHARWD R 0.586115) + (CHARHT R 0.694445) + ) +(CHARACTER O 15 + (CHARWD R 0.586115) + (CHARHT R 0.694445) + ) +(CHARACTER O 16 + (CHARWD R 0.891672) + (CHARHT R 0.694445) + ) +(CHARACTER O 17 + (CHARWD R 0.891672) + (CHARHT R 0.694445) + ) +(CHARACTER O 20 + (CHARWD R 0.255557) + (CHARHT R 0.458333) + ) +(CHARACTER O 21 + (CHARWD R 0.286113) + (CHARHT R 0.458333) + (CHARDP R 0.194445) + ) +(CHARACTER O 22 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER O 23 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER O 24 + (CHARWD R 0.550003) + (CHARHT R 0.635417) + ) +(CHARACTER O 25 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER O 26 + (CHARWD R 0.550003) + (CHARHT R 0.637776) + ) +(CHARACTER O 27 + (CHARWD R 0.733337) + (CHARHT R 0.694445) + ) +(CHARACTER O 30 + (CHARWD R 0.488892) + (CHARDP R 0.170138) + ) +(CHARACTER O 31 + (CHARWD R 0.56528) + (CHARHT R 0.694445) + ) +(CHARACTER O 32 + (CHARWD R 0.794449) + (CHARHT R 0.458333) + ) +(CHARACTER O 33 + (CHARWD R 0.85556) + (CHARHT R 0.458333) + ) +(CHARACTER O 34 + (CHARWD R 0.550003) + (CHARHT R 0.555555) + (CHARDP R 0.097223) + ) +(CHARACTER O 35 + (CHARWD R 0.9472275) + (CHARHT R 0.694445) + ) +(CHARACTER O 36 + (CHARWD R 1.06945) + (CHARHT R 0.694445) + ) +(CHARACTER O 37 + (CHARWD R 0.85556) + (CHARHT R 0.743055) + (CHARDP R 0.048612) + ) +(CHARACTER O 40 + (CHARWD R 0.255557) + (CHARHT R 0.458333) + (COMMENT + (KRN C l R -0.255557) + (KRN C L R -0.293057) + ) + ) +(CHARACTER O 41 + (CHARWD R 0.366669) + (CHARHT R 0.694445) + (COMMENT + (LIG O 140 O 74) + ) + ) +(CHARACTER O 42 + (CHARWD R 0.558336) + (CHARHT R 0.694445) + ) +(CHARACTER O 43 + (CHARWD R 0.916672) + (CHARHT R 0.694445) + (CHARDP R 0.194443) + ) +(CHARACTER O 44 + (CHARWD R 0.550003) + (CHARHT R 0.75) + (CHARDP R 0.055555) + ) +(CHARACTER O 45 + (CHARWD R 1.029119) + (CHARHT R 0.75) + (CHARDP R 0.055555) + ) +(CHARACTER O 46 + (CHARWD R 0.830561) + (CHARHT R 0.694445) + ) +(CHARACTER O 47 + (CHARWD R 0.305557) + (CHARHT R 0.694445) + (COMMENT + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + ) + ) +(CHARACTER O 50 + (CHARWD R 0.42778) + (CHARHT R 0.75) + (CHARDP R 0.25) + ) +(CHARACTER O 51 + (CHARWD R 0.42778) + (CHARHT R 0.75) + (CHARDP R 0.25) + ) +(CHARACTER O 52 + (CHARWD R 0.550003) + (CHARHT R 0.75) + ) +(CHARACTER O 53 + (CHARWD R 0.85556) + (CHARHT R 0.616669) + (CHARDP R 0.116669) + ) +(CHARACTER O 54 + (CHARWD R 0.305557) + (CHARHT R 0.130556) + (CHARDP R 0.105556) + ) +(CHARACTER O 55 + (CHARWD R 0.366669) + (CHARHT R 0.458333) + (COMMENT + (LIG O 55 O 173) + ) + ) +(CHARACTER O 56 + (CHARWD R 0.305557) + (CHARHT R 0.130556) + ) +(CHARACTER O 57 + (CHARWD R 0.550003) + (CHARHT R 0.75) + (CHARDP R 0.25) + ) +(CHARACTER C 0 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER C 1 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER C 2 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER C 3 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER C 4 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER C 5 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER C 6 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER C 7 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER C 8 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER C 9 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER O 72 + (CHARWD R 0.305557) + (CHARHT R 0.458333) + ) +(CHARACTER O 73 + (CHARWD R 0.305557) + (CHARHT R 0.458333) + (CHARDP R 0.105556) + ) +(CHARACTER O 74 + (CHARWD R 0.366669) + (CHARHT R 0.5) + (CHARDP R 0.194445) + ) +(CHARACTER O 75 + (CHARWD R 0.85556) + (CHARHT R 0.40625) + (CHARDP R -0.09375) + ) +(CHARACTER O 76 + (CHARWD R 0.519447) + (CHARHT R 0.5) + (CHARDP R 0.194445) + ) +(CHARACTER O 77 + (CHARWD R 0.519447) + (CHARHT R 0.694445) + (COMMENT + (LIG O 140 O 76) + ) + ) +(CHARACTER O 100 + (CHARWD R 0.733337) + (CHARHT R 0.694445) + ) +(CHARACTER C A + (CHARWD R 0.733337) + (CHARHT R 0.694445) + (COMMENT + (KRN C t R -0.030556) + (KRN C C R -0.030556) + (KRN C O R -0.030556) + (KRN C G R -0.030556) + (KRN C U R -0.030556) + (KRN C Q R -0.030556) + (KRN C T R -0.091667) + (KRN C Y R -0.091667) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + ) +(CHARACTER C B + (CHARWD R 0.733337) + (CHARHT R 0.694445) + ) +(CHARACTER C C + (CHARWD R 0.702782) + (CHARHT R 0.694445) + ) +(CHARACTER C D + (CHARWD R 0.794449) + (CHARHT R 0.694445) + (COMMENT + (KRN C X R -0.030556) + (KRN C W R -0.030556) + (KRN C A R -0.030556) + (KRN C V R -0.030556) + (KRN C Y R -0.030556) + ) + ) +(CHARACTER C E + (CHARWD R 0.64167) + (CHARHT R 0.694445) + ) +(CHARACTER C F + (CHARWD R 0.6111145) + (CHARHT R 0.694445) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + ) +(CHARACTER C G + (CHARWD R 0.733337) + (CHARHT R 0.694445) + ) +(CHARACTER C H + (CHARWD R 0.794449) + (CHARHT R 0.694445) + ) +(CHARACTER C I + (CHARWD R 0.330557) + (CHARHT R 0.694445) + (COMMENT + (KRN C I R 0.030556) + ) + ) +(CHARACTER C J + (CHARWD R 0.519447) + (CHARHT R 0.694445) + ) +(CHARACTER C K + (CHARWD R 0.763893) + (CHARHT R 0.694445) + (COMMENT + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + ) +(CHARACTER C L + (CHARWD R 0.580559) + (CHARHT R 0.694445) + (COMMENT + (KRN C T R -0.091667) + (KRN C Y R -0.091667) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + ) +(CHARACTER C M + (CHARWD R 0.977783) + (CHARHT R 0.694445) + ) +(CHARACTER C N + (CHARWD R 0.794449) + (CHARHT R 0.694445) + ) +(CHARACTER C O + (CHARWD R 0.794449) + (CHARHT R 0.694445) + (COMMENT + (KRN C X R -0.030556) + (KRN C W R -0.030556) + (KRN C A R -0.030556) + (KRN C V R -0.030556) + (KRN C Y R -0.030556) + ) + ) +(CHARACTER C P + (CHARWD R 0.702782) + (CHARHT R 0.694445) + (COMMENT + (KRN C A R -0.091667) + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN O 56 R -0.091667) + (KRN O 54 R -0.091667) + ) + ) +(CHARACTER C Q + (CHARWD R 0.794449) + (CHARHT R 0.694445) + (CHARDP R 0.105556) + ) +(CHARACTER C R + (CHARWD R 0.702782) + (CHARHT R 0.694445) + ) +(CHARACTER C S + (CHARWD R 0.6111145) + (CHARHT R 0.694445) + ) +(CHARACTER C T + (CHARWD R 0.733337) + (CHARHT R 0.694445) + (COMMENT + (KRN C y R -0.091667) + (KRN C e R -0.091667) + (KRN C o R -0.091667) + (KRN C r R -0.091667) + (KRN C a R -0.091667) + (KRN C A R -0.091667) + (KRN C u R -0.091667) + ) + ) +(CHARACTER C U + (CHARWD R 0.763893) + (CHARHT R 0.694445) + ) +(CHARACTER C V + (CHARWD R 0.733337) + (CHARHT R 0.694445) + (CHARIC R 0.015279) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + ) +(CHARACTER C W + (CHARWD R 1.038895) + (CHARHT R 0.694445) + (CHARIC R 0.015279) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + ) +(CHARACTER C X + (CHARWD R 0.733337) + (CHARHT R 0.694445) + (COMMENT + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + ) +(CHARACTER C Y + (CHARWD R 0.733337) + (CHARHT R 0.694445) + (CHARIC R 0.027499) + (COMMENT + (KRN C e R -0.091667) + (KRN C o R -0.091667) + (KRN C r R -0.091667) + (KRN C a R -0.091667) + (KRN C A R -0.091667) + (KRN C u R -0.091667) + ) + ) +(CHARACTER C Z + (CHARWD R 0.672226) + (CHARHT R 0.694445) + ) +(CHARACTER O 133 + (CHARWD R 0.343058) + (CHARHT R 0.75) + (CHARDP R 0.25) + ) +(CHARACTER O 134 + (CHARWD R 0.558336) + (CHARHT R 0.694445) + ) +(CHARACTER O 135 + (CHARWD R 0.343058) + (CHARHT R 0.75) + (CHARDP R 0.25) + ) +(CHARACTER O 136 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER O 137 + (CHARWD R 0.305557) + (CHARHT R 0.694445) + ) +(CHARACTER O 140 + (CHARWD R 0.305557) + (CHARHT R 0.694445) + (COMMENT + (LIG O 140 O 134) + ) + ) +(CHARACTER C a + (CHARWD R 0.525003) + (CHARHT R 0.458333) + (COMMENT + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + ) +(CHARACTER C b + (CHARWD R 0.561114) + (CHARHT R 0.694445) + (COMMENT + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + ) +(CHARACTER C c + (CHARWD R 0.488892) + (CHARHT R 0.458333) + ) +(CHARACTER C d + (CHARWD R 0.561114) + (CHARHT R 0.694445) + ) +(CHARACTER C e + (CHARWD R 0.511114) + (CHARHT R 0.458333) + ) +(CHARACTER C f + (CHARWD R 0.336113) + (CHARHT R 0.694445) + (CHARIC R 0.07639) + (COMMENT + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.07639) + (KRN O 77 R 0.07639) + (KRN O 41 R 0.07639) + (KRN O 51 R 0.07639) + (KRN O 135 R 0.07639) + ) + ) +(CHARACTER C g + (CHARWD R 0.550003) + (CHARHT R 0.458333) + (CHARDP R 0.194445) + (CHARIC R 0.015279) + (COMMENT + (KRN C j R 0.030556) + ) + ) +(CHARACTER C h + (CHARWD R 0.561114) + (CHARHT R 0.694445) + ) +(CHARACTER C i + (CHARWD R 0.255557) + (CHARHT R 0.694445) + ) +(CHARACTER C j + (CHARWD R 0.286113) + (CHARHT R 0.694445) + (CHARDP R 0.194445) + ) +(CHARACTER C k + (CHARWD R 0.530559) + (CHARHT R 0.694445) + (COMMENT + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN C o R -0.030556) + (KRN C c R -0.030556) + ) + ) +(CHARACTER C l + (CHARWD R 0.255557) + (CHARHT R 0.694445) + ) +(CHARACTER C m + (CHARWD R 0.866672) + (CHARHT R 0.458333) + ) +(CHARACTER C n + (CHARWD R 0.561114) + (CHARHT R 0.458333) + ) +(CHARACTER C o + (CHARWD R 0.550003) + (CHARHT R 0.458333) + (COMMENT + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + ) +(CHARACTER C p + (CHARWD R 0.561114) + (CHARHT R 0.458333) + (CHARDP R 0.194445) + (COMMENT + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + ) +(CHARACTER C q + (CHARWD R 0.561114) + (CHARHT R 0.458333) + (CHARDP R 0.194445) + ) +(CHARACTER C r + (CHARWD R 0.372225) + (CHARHT R 0.458333) + (CHARIC R 0.015279) + ) +(CHARACTER C s + (CHARWD R 0.421669) + (CHARHT R 0.458333) + ) +(CHARACTER C t + (CHARWD R 0.404169) + (CHARHT R 0.589289) + (COMMENT + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + ) +(CHARACTER C u + (CHARWD R 0.561114) + (CHARHT R 0.458333) + (COMMENT + (KRN C w R -0.030556) + ) + ) +(CHARACTER C v + (CHARWD R 0.500003) + (CHARHT R 0.458333) + (CHARIC R 0.015279) + ) +(CHARACTER C w + (CHARWD R 0.744449) + (CHARHT R 0.458333) + (CHARIC R 0.015279) + (COMMENT + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN C o R -0.030556) + (KRN C c R -0.030556) + ) + ) +(CHARACTER C x + (CHARWD R 0.500003) + (CHARHT R 0.458333) + ) +(CHARACTER C y + (CHARWD R 0.500003) + (CHARHT R 0.458333) + (CHARDP R 0.194445) + (CHARIC R 0.015279) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN O 56 R -0.091667) + (KRN O 54 R -0.091667) + ) + ) +(CHARACTER C z + (CHARWD R 0.476392) + (CHARHT R 0.458333) + ) +(CHARACTER O 173 + (CHARWD R 0.550003) + (CHARHT R 0.458333) + (CHARIC R 0.030556) + (COMMENT + (LIG O 55 O 174) + ) + ) +(CHARACTER O 174 + (CHARWD R 1.100006) + (CHARHT R 0.458333) + (CHARIC R 0.030556) + ) +(CHARACTER O 175 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER O 176 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) +(CHARACTER O 177 + (CHARWD R 0.550003) + (CHARHT R 0.694445) + ) diff --git a/support/splint/tex/fonts/idssbx12.vpl b/support/splint/tex/fonts/idssbx12.vpl new file mode 100644 index 0000000000..5d613d3827 --- /dev/null +++ b/support/splint/tex/fonts/idssbx12.vpl @@ -0,0 +1,908 @@ +(DESIGNSIZE R 12.0) +(COMMENT DESIGNSIZE IS IN POINTS) +(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE) +(CHECKSUM O 11763521146) +(FONTDIMEN + (SLANT R 0.0) + (SPACE R 0.366669) + (STRETCH R 0.183334) + (SHRINK R 0.122223) + (XHEIGHT R 0.458332) + (QUAD R 1.100006) + (EXTRASPACE R 0.122223) + ) +(LIGTABLE + (LABEL O 40) + (KRN C l R -0.255557) + (KRN C L R -0.2930565) + (STOP) + (LABEL C f) + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.076389) + (KRN O 77 R 0.076389) + (KRN O 41 R 0.076389) + (KRN O 51 R 0.076389) + (KRN O 135 R 0.076389) + (STOP) + (LABEL O 13) + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.076389) + (KRN O 77 R 0.076389) + (KRN O 41 R 0.076389) + (KRN O 51 R 0.076389) + (KRN O 135 R 0.076389) + (STOP) + (LABEL O 140) + (LIG O 140 O 134) + (STOP) + (LABEL O 47) + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + (STOP) + (LABEL O 55) + (LIG O 55 O 173) + (STOP) + (LABEL O 173) + (LIG O 55 O 174) + (STOP) + (LABEL O 41) + (LIG O 140 O 74) + (STOP) + (LABEL O 77) + (LIG O 140 O 76) + (STOP) + (LABEL C k) + (LABEL C w) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN C o R -0.030556) + (KRN C c R -0.030556) + (STOP) + (LABEL C P) + (KRN C A R -0.091667) + (LABEL C y) + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN O 56 R -0.091667) + (KRN O 54 R -0.091667) + (STOP) + (LABEL C F) + (LABEL C V) + (LABEL C W) + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (LABEL C K) + (LABEL C X) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + (STOP) + (LABEL C T) + (KRN C y R -0.091667) + (LABEL C Y) + (KRN C e R -0.091667) + (KRN C o R -0.091667) + (KRN C r R -0.091667) + (KRN C a R -0.091667) + (KRN C A R -0.091667) + (KRN C u R -0.091667) + (STOP) + (LABEL C D) + (LABEL C O) + (KRN C X R -0.030556) + (KRN C W R -0.030556) + (KRN C A R -0.030556) + (KRN C V R -0.030556) + (KRN C Y R -0.030556) + (STOP) + (LABEL C b) + (LABEL C o) + (LABEL C p) + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (LABEL C a) + (KRN C r R -0.030556) + (LABEL C t) + (KRN C y R -0.030556) + (LABEL C u) + (KRN C w R -0.030556) + (STOP) + (LABEL C A) + (KRN C t R -0.030556) + (KRN C C R -0.030556) + (KRN C O R -0.030556) + (KRN C G R -0.030556) + (KRN C U R -0.030556) + (KRN C Q R -0.030556) + (LABEL C L) + (KRN C T R -0.091667) + (KRN C Y R -0.091667) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + (STOP) + (LABEL C g) + (KRN C j R 0.030556) + (STOP) + (LABEL C I) + (KRN C I R 0.030556) + (STOP) + ) +(CHARACTER O 0 + (CHARWD R 0.580559) + (CHARHT R 0.694443) + ) +(CHARACTER O 1 + (CHARWD R 0.916672) + (CHARHT R 0.694443) + ) +(CHARACTER O 2 + (CHARWD R 0.85556) + (CHARHT R 0.694443) + ) +(CHARACTER O 3 + (CHARWD R 0.672226) + (CHARHT R 0.694443) + ) +(CHARACTER O 4 + (CHARWD R 0.733337) + (CHARHT R 0.694443) + ) +(CHARACTER O 5 + (CHARWD R 0.794449) + (CHARHT R 0.694443) + ) +(CHARACTER O 6 + (CHARWD R 0.794449) + (CHARHT R 0.694443) + ) +(CHARACTER O 7 + (CHARWD R 0.85556) + (CHARHT R 0.694443) + ) +(CHARACTER O 10 + (CHARWD R 0.794449) + (CHARHT R 0.694443) + ) +(CHARACTER O 11 + (CHARWD R 0.85556) + (CHARHT R 0.694443) + ) +(CHARACTER O 12 + (CHARWD R 0.794449) + (CHARHT R 0.694443) + ) +(CHARACTER O 13 + (CHARWD R 0.64167) + (CHARHT R 0.694443) + (CHARIC R 0.076389) + (COMMENT + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.076389) + (KRN O 77 R 0.076389) + (KRN O 41 R 0.076389) + (KRN O 51 R 0.076389) + (KRN O 135 R 0.076389) + ) + ) +(CHARACTER O 14 + (CHARWD R 0.586114) + (CHARHT R 0.694443) + ) +(CHARACTER O 15 + (CHARWD R 0.586114) + (CHARHT R 0.694443) + ) +(CHARACTER O 16 + (CHARWD R 0.891671) + (CHARHT R 0.694443) + ) +(CHARACTER O 17 + (CHARWD R 0.891671) + (CHARHT R 0.694443) + ) +(CHARACTER O 20 + (CHARWD R 0.255557) + (CHARHT R 0.458332) + ) +(CHARACTER O 21 + (CHARWD R 0.286113) + (CHARHT R 0.458332) + (CHARDP R 0.194444) + ) +(CHARACTER O 22 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER O 23 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER O 24 + (CHARWD R 0.550003) + (CHARHT R 0.635415) + ) +(CHARACTER O 25 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER O 26 + (CHARWD R 0.550003) + (CHARHT R 0.637775) + ) +(CHARACTER O 27 + (CHARWD R 0.733337) + (CHARHT R 0.694443) + ) +(CHARACTER O 30 + (CHARWD R 0.488892) + (CHARDP R 0.170138) + ) +(CHARACTER O 31 + (CHARWD R 0.565278) + (CHARHT R 0.694443) + ) +(CHARACTER O 32 + (CHARWD R 0.794449) + (CHARHT R 0.458332) + ) +(CHARACTER O 33 + (CHARWD R 0.85556) + (CHARHT R 0.458332) + ) +(CHARACTER O 34 + (CHARWD R 0.550003) + (CHARHT R 0.555554) + (CHARDP R 0.097222) + ) +(CHARACTER O 35 + (CHARWD R 0.9472275) + (CHARHT R 0.694443) + ) +(CHARACTER O 36 + (CHARWD R 1.06945) + (CHARHT R 0.694443) + ) +(CHARACTER O 37 + (CHARWD R 0.85556) + (CHARHT R 0.743053) + (CHARDP R 0.048611) + ) +(CHARACTER O 40 + (CHARWD R 0.255557) + (CHARHT R 0.458332) + (COMMENT + (KRN C l R -0.255557) + (KRN C L R -0.2930565) + ) + ) +(CHARACTER O 41 + (CHARWD R 0.366669) + (CHARHT R 0.694443) + (COMMENT + (LIG O 140 O 74) + ) + ) +(CHARACTER O 42 + (CHARWD R 0.558335) + (CHARHT R 0.694443) + ) +(CHARACTER O 43 + (CHARWD R 0.916672) + (CHARHT R 0.694443) + (CHARDP R 0.194443) + ) +(CHARACTER O 44 + (CHARWD R 0.550003) + (CHARHT R 0.749999) + (CHARDP R 0.055556) + ) +(CHARACTER O 45 + (CHARWD R 1.029117) + (CHARHT R 0.749999) + (CHARDP R 0.055556) + ) +(CHARACTER O 46 + (CHARWD R 0.83056) + (CHARHT R 0.694443) + ) +(CHARACTER O 47 + (CHARWD R 0.305557) + (CHARHT R 0.694443) + (COMMENT + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + ) + ) +(CHARACTER O 50 + (CHARWD R 0.42778) + (CHARHT R 0.749999) + (CHARDP R 0.249997) + ) +(CHARACTER O 51 + (CHARWD R 0.42778) + (CHARHT R 0.749999) + (CHARDP R 0.249997) + ) +(CHARACTER O 52 + (CHARWD R 0.550003) + (CHARHT R 0.749999) + ) +(CHARACTER O 53 + (CHARWD R 0.85556) + (CHARHT R 0.616669) + (CHARDP R 0.116669) + ) +(CHARACTER O 54 + (CHARWD R 0.305557) + (CHARHT R 0.130555) + (CHARDP R 0.105556) + ) +(CHARACTER O 55 + (CHARWD R 0.366669) + (CHARHT R 0.458332) + (COMMENT + (LIG O 55 O 173) + ) + ) +(CHARACTER O 56 + (CHARWD R 0.305557) + (CHARHT R 0.130555) + ) +(CHARACTER O 57 + (CHARWD R 0.550003) + (CHARHT R 0.749999) + (CHARDP R 0.249997) + ) +(CHARACTER C 0 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER C 1 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER C 2 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER C 3 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER C 4 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER C 5 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER C 6 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER C 7 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER C 8 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER C 9 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER O 72 + (CHARWD R 0.305557) + (CHARHT R 0.458332) + ) +(CHARACTER O 73 + (CHARWD R 0.305557) + (CHARHT R 0.458332) + (CHARDP R 0.105556) + ) +(CHARACTER O 74 + (CHARWD R 0.366669) + (CHARHT R 0.499999) + (CHARDP R 0.194444) + ) +(CHARACTER O 75 + (CHARWD R 0.85556) + (CHARHT R 0.40625) + (CHARDP R -0.09375) + ) +(CHARACTER O 76 + (CHARWD R 0.519447) + (CHARHT R 0.499999) + (CHARDP R 0.194444) + ) +(CHARACTER O 77 + (CHARWD R 0.519447) + (CHARHT R 0.694443) + (COMMENT + (LIG O 140 O 76) + ) + ) +(CHARACTER O 100 + (CHARWD R 0.733337) + (CHARHT R 0.694443) + ) +(CHARACTER C A + (CHARWD R 0.733337) + (CHARHT R 0.694443) + (COMMENT + (KRN C t R -0.030556) + (KRN C C R -0.030556) + (KRN C O R -0.030556) + (KRN C G R -0.030556) + (KRN C U R -0.030556) + (KRN C Q R -0.030556) + (KRN C T R -0.091667) + (KRN C Y R -0.091667) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + ) +(CHARACTER C B + (CHARWD R 0.733337) + (CHARHT R 0.694443) + ) +(CHARACTER C C + (CHARWD R 0.702782) + (CHARHT R 0.694443) + ) +(CHARACTER C D + (CHARWD R 0.794449) + (CHARHT R 0.694443) + (COMMENT + (KRN C X R -0.030556) + (KRN C W R -0.030556) + (KRN C A R -0.030556) + (KRN C V R -0.030556) + (KRN C Y R -0.030556) + ) + ) +(CHARACTER C E + (CHARWD R 0.64167) + (CHARHT R 0.694443) + ) +(CHARACTER C F + (CHARWD R 0.6111145) + (CHARHT R 0.694443) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + ) +(CHARACTER C G + (CHARWD R 0.733337) + (CHARHT R 0.694443) + ) +(CHARACTER C H + (CHARWD R 0.794449) + (CHARHT R 0.694443) + ) +(CHARACTER C I + (CHARWD R 0.330556) + (CHARHT R 0.694443) + (COMMENT + (KRN C I R 0.030556) + ) + ) +(CHARACTER C J + (CHARWD R 0.519447) + (CHARHT R 0.694443) + ) +(CHARACTER C K + (CHARWD R 0.763893) + (CHARHT R 0.694443) + (COMMENT + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + ) +(CHARACTER C L + (CHARWD R 0.580559) + (CHARHT R 0.694443) + (COMMENT + (KRN C T R -0.091667) + (KRN C Y R -0.091667) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + ) +(CHARACTER C M + (CHARWD R 0.977783) + (CHARHT R 0.694443) + ) +(CHARACTER C N + (CHARWD R 0.794449) + (CHARHT R 0.694443) + ) +(CHARACTER C O + (CHARWD R 0.794449) + (CHARHT R 0.694443) + (COMMENT + (KRN C X R -0.030556) + (KRN C W R -0.030556) + (KRN C A R -0.030556) + (KRN C V R -0.030556) + (KRN C Y R -0.030556) + ) + ) +(CHARACTER C P + (CHARWD R 0.702782) + (CHARHT R 0.694443) + (COMMENT + (KRN C A R -0.091667) + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN O 56 R -0.091667) + (KRN O 54 R -0.091667) + ) + ) +(CHARACTER C Q + (CHARWD R 0.794449) + (CHARHT R 0.694443) + (CHARDP R 0.105556) + ) +(CHARACTER C R + (CHARWD R 0.702782) + (CHARHT R 0.694443) + ) +(CHARACTER C S + (CHARWD R 0.6111145) + (CHARHT R 0.694443) + ) +(CHARACTER C T + (CHARWD R 0.733337) + (CHARHT R 0.694443) + (COMMENT + (KRN C y R -0.091667) + (KRN C e R -0.091667) + (KRN C o R -0.091667) + (KRN C r R -0.091667) + (KRN C a R -0.091667) + (KRN C A R -0.091667) + (KRN C u R -0.091667) + ) + ) +(CHARACTER C U + (CHARWD R 0.763893) + (CHARHT R 0.694443) + ) +(CHARACTER C V + (CHARWD R 0.733337) + (CHARHT R 0.694443) + (CHARIC R 0.015278) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + ) +(CHARACTER C W + (CHARWD R 1.038895) + (CHARHT R 0.694443) + (CHARIC R 0.015278) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + ) +(CHARACTER C X + (CHARWD R 0.733337) + (CHARHT R 0.694443) + (COMMENT + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + ) +(CHARACTER C Y + (CHARWD R 0.733337) + (CHARHT R 0.694443) + (CHARIC R 0.0275) + (COMMENT + (KRN C e R -0.091667) + (KRN C o R -0.091667) + (KRN C r R -0.091667) + (KRN C a R -0.091667) + (KRN C A R -0.091667) + (KRN C u R -0.091667) + ) + ) +(CHARACTER C Z + (CHARWD R 0.672226) + (CHARHT R 0.694443) + ) +(CHARACTER O 133 + (CHARWD R 0.343057) + (CHARHT R 0.749999) + (CHARDP R 0.249997) + ) +(CHARACTER O 134 + (CHARWD R 0.558335) + (CHARHT R 0.694443) + ) +(CHARACTER O 135 + (CHARWD R 0.343057) + (CHARHT R 0.749999) + (CHARDP R 0.249997) + ) +(CHARACTER O 136 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER O 137 + (CHARWD R 0.305557) + (CHARHT R 0.694443) + ) +(CHARACTER O 140 + (CHARWD R 0.305557) + (CHARHT R 0.694443) + (COMMENT + (LIG O 140 O 134) + ) + ) +(CHARACTER C a + (CHARWD R 0.5250025) + (CHARHT R 0.458332) + (COMMENT + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + ) +(CHARACTER C b + (CHARWD R 0.561114) + (CHARHT R 0.694443) + (COMMENT + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + ) +(CHARACTER C c + (CHARWD R 0.488892) + (CHARHT R 0.458332) + ) +(CHARACTER C d + (CHARWD R 0.561114) + (CHARHT R 0.694443) + ) +(CHARACTER C e + (CHARWD R 0.511113) + (CHARHT R 0.458332) + ) +(CHARACTER C f + (CHARWD R 0.336113) + (CHARHT R 0.694443) + (CHARIC R 0.076389) + (COMMENT + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.076389) + (KRN O 77 R 0.076389) + (KRN O 41 R 0.076389) + (KRN O 51 R 0.076389) + (KRN O 135 R 0.076389) + ) + ) +(CHARACTER C g + (CHARWD R 0.550003) + (CHARHT R 0.458332) + (CHARDP R 0.194444) + (CHARIC R 0.015278) + (COMMENT + (KRN C j R 0.030556) + ) + ) +(CHARACTER C h + (CHARWD R 0.561114) + (CHARHT R 0.694443) + ) +(CHARACTER C i + (CHARWD R 0.255557) + (CHARHT R 0.694443) + ) +(CHARACTER C j + (CHARWD R 0.286113) + (CHARHT R 0.694443) + (CHARDP R 0.194444) + ) +(CHARACTER C k + (CHARWD R 0.530559) + (CHARHT R 0.694443) + (COMMENT + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN C o R -0.030556) + (KRN C c R -0.030556) + ) + ) +(CHARACTER C l + (CHARWD R 0.255557) + (CHARHT R 0.694443) + ) +(CHARACTER C m + (CHARWD R 0.866672) + (CHARHT R 0.458332) + ) +(CHARACTER C n + (CHARWD R 0.561114) + (CHARHT R 0.458332) + ) +(CHARACTER C o + (CHARWD R 0.550003) + (CHARHT R 0.458332) + (COMMENT + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + ) +(CHARACTER C p + (CHARWD R 0.561114) + (CHARHT R 0.458332) + (CHARDP R 0.194444) + (COMMENT + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + ) +(CHARACTER C q + (CHARWD R 0.561114) + (CHARHT R 0.458332) + (CHARDP R 0.194444) + ) +(CHARACTER C r + (CHARWD R 0.372224) + (CHARHT R 0.458332) + (CHARIC R 0.015278) + ) +(CHARACTER C s + (CHARWD R 0.421669) + (CHARHT R 0.458332) + ) +(CHARACTER C t + (CHARWD R 0.404168) + (CHARHT R 0.589287) + (COMMENT + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + ) +(CHARACTER C u + (CHARWD R 0.561114) + (CHARHT R 0.458332) + (COMMENT + (KRN C w R -0.030556) + ) + ) +(CHARACTER C v + (CHARWD R 0.500003) + (CHARHT R 0.458332) + (CHARIC R 0.015278) + ) +(CHARACTER C w + (CHARWD R 0.744449) + (CHARHT R 0.458332) + (CHARIC R 0.015278) + (COMMENT + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN C o R -0.030556) + (KRN C c R -0.030556) + ) + ) +(CHARACTER C x + (CHARWD R 0.500003) + (CHARHT R 0.458332) + ) +(CHARACTER C y + (CHARWD R 0.500003) + (CHARHT R 0.458332) + (CHARDP R 0.194444) + (CHARIC R 0.015278) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN O 56 R -0.091667) + (KRN O 54 R -0.091667) + ) + ) +(CHARACTER C z + (CHARWD R 0.476391) + (CHARHT R 0.458332) + ) +(CHARACTER O 173 + (CHARWD R 0.550003) + (CHARHT R 0.458332) + (CHARIC R 0.030556) + (COMMENT + (LIG O 55 O 174) + ) + ) +(CHARACTER O 174 + (CHARWD R 1.100006) + (CHARHT R 0.458332) + (CHARIC R 0.030556) + ) +(CHARACTER O 175 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER O 176 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) +(CHARACTER O 177 + (CHARWD R 0.550003) + (CHARHT R 0.694443) + ) diff --git a/support/splint/tex/fonts/idssbx5.vpl b/support/splint/tex/fonts/idssbx5.vpl new file mode 100644 index 0000000000..0d5b82cb96 --- /dev/null +++ b/support/splint/tex/fonts/idssbx5.vpl @@ -0,0 +1,908 @@ +(DESIGNSIZE R 5.0) +(COMMENT DESIGNSIZE IS IN POINTS) +(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE) +(CHECKSUM O 15363216213) +(FONTDIMEN + (SLANT R 0.0) + (SPACE R 0.366669) + (STRETCH R 0.183334) + (SHRINK R 0.122223) + (XHEIGHT R 0.458334) + (QUAD R 1.100006) + (EXTRASPACE R 0.122223) + ) +(LIGTABLE + (LABEL O 40) + (KRN C l R -0.255557) + (KRN C L R -0.29306) + (STOP) + (LABEL C f) + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.076388) + (KRN O 77 R 0.076388) + (KRN O 41 R 0.076388) + (KRN O 51 R 0.076388) + (KRN O 135 R 0.076388) + (STOP) + (LABEL O 13) + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.076388) + (KRN O 77 R 0.076388) + (KRN O 41 R 0.076388) + (KRN O 51 R 0.076388) + (KRN O 135 R 0.076388) + (STOP) + (LABEL O 140) + (LIG O 140 O 134) + (STOP) + (LABEL O 47) + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + (STOP) + (LABEL O 55) + (LIG O 55 O 173) + (STOP) + (LABEL O 173) + (LIG O 55 O 174) + (STOP) + (LABEL O 41) + (LIG O 140 O 74) + (STOP) + (LABEL O 77) + (LIG O 140 O 76) + (STOP) + (LABEL C k) + (LABEL C w) + (KRN C e R -0.030558) + (KRN C a R -0.030558) + (KRN C o R -0.030558) + (KRN C c R -0.030558) + (STOP) + (LABEL C P) + (KRN C A R -0.091669) + (LABEL C y) + (KRN C o R -0.030558) + (KRN C e R -0.030558) + (KRN C a R -0.030558) + (KRN O 56 R -0.091669) + (KRN O 54 R -0.091669) + (STOP) + (LABEL C F) + (LABEL C V) + (LABEL C W) + (KRN C o R -0.030558) + (KRN C e R -0.030558) + (KRN C u R -0.030558) + (KRN C r R -0.030558) + (KRN C a R -0.030558) + (KRN C A R -0.091669) + (LABEL C K) + (LABEL C X) + (KRN C O R -0.030558) + (KRN C C R -0.030558) + (KRN C G R -0.030558) + (KRN C Q R -0.030558) + (STOP) + (LABEL C T) + (KRN C y R -0.091669) + (LABEL C Y) + (KRN C e R -0.091669) + (KRN C o R -0.091669) + (KRN C r R -0.091669) + (KRN C a R -0.091669) + (KRN C A R -0.091669) + (KRN C u R -0.091669) + (STOP) + (LABEL C D) + (LABEL C O) + (KRN C X R -0.030558) + (KRN C W R -0.030558) + (KRN C A R -0.030558) + (KRN C V R -0.030558) + (KRN C Y R -0.030558) + (STOP) + (LABEL C b) + (LABEL C o) + (LABEL C p) + (KRN C e R 0.030558) + (KRN C o R 0.030558) + (KRN C x R -0.030558) + (KRN C d R 0.030558) + (KRN C c R 0.030558) + (KRN C q R 0.030558) + (LABEL C a) + (KRN C r R -0.030558) + (LABEL C t) + (KRN C y R -0.030558) + (LABEL C u) + (KRN C w R -0.030558) + (STOP) + (LABEL C A) + (KRN C t R -0.030558) + (KRN C C R -0.030558) + (KRN C O R -0.030558) + (KRN C G R -0.030558) + (KRN C U R -0.030558) + (KRN C Q R -0.030558) + (LABEL C L) + (KRN C T R -0.091669) + (KRN C Y R -0.091669) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + (STOP) + (LABEL C g) + (KRN C j R 0.030558) + (STOP) + (LABEL C I) + (KRN C I R 0.030558) + (STOP) + ) +(CHARACTER O 0 + (CHARWD R 0.580561) + (CHARHT R 0.694446) + ) +(CHARACTER O 1 + (CHARWD R 0.916672) + (CHARHT R 0.694446) + ) +(CHARACTER O 2 + (CHARWD R 0.85556) + (CHARHT R 0.694446) + ) +(CHARACTER O 3 + (CHARWD R 0.672229) + (CHARHT R 0.694446) + ) +(CHARACTER O 4 + (CHARWD R 0.733337) + (CHARHT R 0.694446) + ) +(CHARACTER O 5 + (CHARWD R 0.794452) + (CHARHT R 0.694446) + ) +(CHARACTER O 6 + (CHARWD R 0.794449) + (CHARHT R 0.694446) + ) +(CHARACTER O 7 + (CHARWD R 0.85556) + (CHARHT R 0.694446) + ) +(CHARACTER O 10 + (CHARWD R 0.794449) + (CHARHT R 0.694446) + ) +(CHARACTER O 11 + (CHARWD R 0.85556) + (CHARHT R 0.694446) + ) +(CHARACTER O 12 + (CHARWD R 0.794449) + (CHARHT R 0.694446) + ) +(CHARACTER O 13 + (CHARWD R 0.641672) + (CHARHT R 0.694446) + (CHARIC R 0.076388) + (COMMENT + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.076388) + (KRN O 77 R 0.076388) + (KRN O 41 R 0.076388) + (KRN O 51 R 0.076388) + (KRN O 135 R 0.076388) + ) + ) +(CHARACTER O 14 + (CHARWD R 0.586115) + (CHARHT R 0.694446) + ) +(CHARACTER O 15 + (CHARWD R 0.586115) + (CHARHT R 0.694446) + ) +(CHARACTER O 16 + (CHARWD R 0.891672) + (CHARHT R 0.694446) + ) +(CHARACTER O 17 + (CHARWD R 0.891672) + (CHARHT R 0.694446) + ) +(CHARACTER O 20 + (CHARWD R 0.255557) + (CHARHT R 0.458334) + ) +(CHARACTER O 21 + (CHARWD R 0.286115) + (CHARHT R 0.458334) + (CHARDP R 0.194446) + ) +(CHARACTER O 22 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER O 23 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER O 24 + (CHARWD R 0.550003) + (CHARHT R 0.635419) + ) +(CHARACTER O 25 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER O 26 + (CHARWD R 0.550003) + (CHARHT R 0.637777) + ) +(CHARACTER O 27 + (CHARWD R 0.73334) + (CHARHT R 0.694446) + ) +(CHARACTER O 30 + (CHARWD R 0.488892) + (CHARDP R 0.170141) + ) +(CHARACTER O 31 + (CHARWD R 0.565283) + (CHARHT R 0.694446) + ) +(CHARACTER O 32 + (CHARWD R 0.794449) + (CHARHT R 0.458334) + ) +(CHARACTER O 33 + (CHARWD R 0.85556) + (CHARHT R 0.458334) + ) +(CHARACTER O 34 + (CHARWD R 0.550003) + (CHARHT R 0.555557) + (CHARDP R 0.097223) + ) +(CHARACTER O 35 + (CHARWD R 0.947229) + (CHARHT R 0.694446) + ) +(CHARACTER O 36 + (CHARWD R 1.069452) + (CHARHT R 0.694446) + ) +(CHARACTER O 37 + (CHARWD R 0.85556) + (CHARHT R 0.743057) + (CHARDP R 0.048612) + ) +(CHARACTER O 40 + (CHARWD R 0.255557) + (CHARHT R 0.458334) + (COMMENT + (KRN C l R -0.255557) + (KRN C L R -0.29306) + ) + ) +(CHARACTER O 41 + (CHARWD R 0.366669) + (CHARHT R 0.694446) + (COMMENT + (LIG O 140 O 74) + ) + ) +(CHARACTER O 42 + (CHARWD R 0.558334) + (CHARHT R 0.694446) + ) +(CHARACTER O 43 + (CHARWD R 0.916672) + (CHARHT R 0.694446) + (CHARDP R 0.194446) + ) +(CHARACTER O 44 + (CHARWD R 0.550003) + (CHARHT R 0.75) + (CHARDP R 0.055554) + ) +(CHARACTER O 45 + (CHARWD R 1.029117) + (CHARHT R 0.75) + (CHARDP R 0.055554) + ) +(CHARACTER O 46 + (CHARWD R 0.830561) + (CHARHT R 0.694446) + ) +(CHARACTER O 47 + (CHARWD R 0.305557) + (CHARHT R 0.694446) + (COMMENT + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + ) + ) +(CHARACTER O 50 + (CHARWD R 0.42778) + (CHARHT R 0.75) + (CHARDP R 0.25) + ) +(CHARACTER O 51 + (CHARWD R 0.42778) + (CHARHT R 0.75) + (CHARDP R 0.25) + ) +(CHARACTER O 52 + (CHARWD R 0.550003) + (CHARHT R 0.75) + ) +(CHARACTER O 53 + (CHARWD R 0.85556) + (CHARHT R 0.616669) + (CHARDP R 0.116669) + ) +(CHARACTER O 54 + (CHARWD R 0.305557) + (CHARHT R 0.130554) + (CHARDP R 0.105555) + ) +(CHARACTER O 55 + (CHARWD R 0.366669) + (CHARHT R 0.458334) + (COMMENT + (LIG O 55 O 173) + ) + ) +(CHARACTER O 56 + (CHARWD R 0.305557) + (CHARHT R 0.130554) + ) +(CHARACTER O 57 + (CHARWD R 0.550003) + (CHARHT R 0.75) + (CHARDP R 0.25) + ) +(CHARACTER C 0 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER C 1 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER C 2 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER C 3 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER C 4 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER C 5 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER C 6 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER C 7 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER C 8 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER C 9 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER O 72 + (CHARWD R 0.305557) + (CHARHT R 0.458334) + ) +(CHARACTER O 73 + (CHARWD R 0.305557) + (CHARHT R 0.458334) + (CHARDP R 0.105555) + ) +(CHARACTER O 74 + (CHARWD R 0.366669) + (CHARHT R 0.5) + (CHARDP R 0.194446) + ) +(CHARACTER O 75 + (CHARWD R 0.85556) + (CHARHT R 0.406253) + (CHARDP R -0.093747) + ) +(CHARACTER O 76 + (CHARWD R 0.519449) + (CHARHT R 0.5) + (CHARDP R 0.194446) + ) +(CHARACTER O 77 + (CHARWD R 0.519449) + (CHARHT R 0.694446) + (COMMENT + (LIG O 140 O 76) + ) + ) +(CHARACTER O 100 + (CHARWD R 0.733337) + (CHARHT R 0.694446) + ) +(CHARACTER C A + (CHARWD R 0.73334) + (CHARHT R 0.694446) + (COMMENT + (KRN C t R -0.030558) + (KRN C C R -0.030558) + (KRN C O R -0.030558) + (KRN C G R -0.030558) + (KRN C U R -0.030558) + (KRN C Q R -0.030558) + (KRN C T R -0.091669) + (KRN C Y R -0.091669) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + ) +(CHARACTER C B + (CHARWD R 0.73334) + (CHARHT R 0.694446) + ) +(CHARACTER C C + (CHARWD R 0.702784) + (CHARHT R 0.694446) + ) +(CHARACTER C D + (CHARWD R 0.794452) + (CHARHT R 0.694446) + (COMMENT + (KRN C X R -0.030558) + (KRN C W R -0.030558) + (KRN C A R -0.030558) + (KRN C V R -0.030558) + (KRN C Y R -0.030558) + ) + ) +(CHARACTER C E + (CHARWD R 0.641672) + (CHARHT R 0.694446) + ) +(CHARACTER C F + (CHARWD R 0.611117) + (CHARHT R 0.694446) + (COMMENT + (KRN C o R -0.030558) + (KRN C e R -0.030558) + (KRN C u R -0.030558) + (KRN C r R -0.030558) + (KRN C a R -0.030558) + (KRN C A R -0.091669) + (KRN C O R -0.030558) + (KRN C C R -0.030558) + (KRN C G R -0.030558) + (KRN C Q R -0.030558) + ) + ) +(CHARACTER C G + (CHARWD R 0.733337) + (CHARHT R 0.694446) + ) +(CHARACTER C H + (CHARWD R 0.794452) + (CHARHT R 0.694446) + ) +(CHARACTER C I + (CHARWD R 0.330561) + (CHARHT R 0.694446) + (COMMENT + (KRN C I R 0.030558) + ) + ) +(CHARACTER C J + (CHARWD R 0.519449) + (CHARHT R 0.694446) + ) +(CHARACTER C K + (CHARWD R 0.763898) + (CHARHT R 0.694446) + (COMMENT + (KRN C O R -0.030558) + (KRN C C R -0.030558) + (KRN C G R -0.030558) + (KRN C Q R -0.030558) + ) + ) +(CHARACTER C L + (CHARWD R 0.580561) + (CHARHT R 0.694446) + (COMMENT + (KRN C T R -0.091669) + (KRN C Y R -0.091669) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + ) +(CHARACTER C M + (CHARWD R 0.977786) + (CHARHT R 0.694446) + ) +(CHARACTER C N + (CHARWD R 0.794452) + (CHARHT R 0.694446) + ) +(CHARACTER C O + (CHARWD R 0.794449) + (CHARHT R 0.694446) + (COMMENT + (KRN C X R -0.030558) + (KRN C W R -0.030558) + (KRN C A R -0.030558) + (KRN C V R -0.030558) + (KRN C Y R -0.030558) + ) + ) +(CHARACTER C P + (CHARWD R 0.702784) + (CHARHT R 0.694446) + (COMMENT + (KRN C A R -0.091669) + (KRN C o R -0.030558) + (KRN C e R -0.030558) + (KRN C a R -0.030558) + (KRN O 56 R -0.091669) + (KRN O 54 R -0.091669) + ) + ) +(CHARACTER C Q + (CHARWD R 0.794449) + (CHARHT R 0.694446) + (CHARDP R 0.105555) + ) +(CHARACTER C R + (CHARWD R 0.702784) + (CHARHT R 0.694446) + ) +(CHARACTER C S + (CHARWD R 0.6111145) + (CHARHT R 0.694446) + ) +(CHARACTER C T + (CHARWD R 0.733337) + (CHARHT R 0.694446) + (COMMENT + (KRN C y R -0.091669) + (KRN C e R -0.091669) + (KRN C o R -0.091669) + (KRN C r R -0.091669) + (KRN C a R -0.091669) + (KRN C A R -0.091669) + (KRN C u R -0.091669) + ) + ) +(CHARACTER C U + (CHARWD R 0.763898) + (CHARHT R 0.694446) + ) +(CHARACTER C V + (CHARWD R 0.73334) + (CHARHT R 0.694446) + (CHARIC R 0.015277) + (COMMENT + (KRN C o R -0.030558) + (KRN C e R -0.030558) + (KRN C u R -0.030558) + (KRN C r R -0.030558) + (KRN C a R -0.030558) + (KRN C A R -0.091669) + (KRN C O R -0.030558) + (KRN C C R -0.030558) + (KRN C G R -0.030558) + (KRN C Q R -0.030558) + ) + ) +(CHARACTER C W + (CHARWD R 1.0388975) + (CHARHT R 0.694446) + (CHARIC R 0.015277) + (COMMENT + (KRN C o R -0.030558) + (KRN C e R -0.030558) + (KRN C u R -0.030558) + (KRN C r R -0.030558) + (KRN C a R -0.030558) + (KRN C A R -0.091669) + (KRN C O R -0.030558) + (KRN C C R -0.030558) + (KRN C G R -0.030558) + (KRN C Q R -0.030558) + ) + ) +(CHARACTER C X + (CHARWD R 0.73334) + (CHARHT R 0.694446) + (COMMENT + (KRN C O R -0.030558) + (KRN C C R -0.030558) + (KRN C G R -0.030558) + (KRN C Q R -0.030558) + ) + ) +(CHARACTER C Y + (CHARWD R 0.73334) + (CHARHT R 0.694446) + (CHARIC R 0.027499) + (COMMENT + (KRN C e R -0.091669) + (KRN C o R -0.091669) + (KRN C r R -0.091669) + (KRN C a R -0.091669) + (KRN C A R -0.091669) + (KRN C u R -0.091669) + ) + ) +(CHARACTER C Z + (CHARWD R 0.672226) + (CHARHT R 0.694446) + ) +(CHARACTER O 133 + (CHARWD R 0.3430605) + (CHARHT R 0.75) + (CHARDP R 0.25) + ) +(CHARACTER O 134 + (CHARWD R 0.558334) + (CHARHT R 0.694446) + ) +(CHARACTER O 135 + (CHARWD R 0.3430605) + (CHARHT R 0.75) + (CHARDP R 0.25) + ) +(CHARACTER O 136 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER O 137 + (CHARWD R 0.305557) + (CHARHT R 0.694446) + ) +(CHARACTER O 140 + (CHARWD R 0.305557) + (CHARHT R 0.694446) + (COMMENT + (LIG O 140 O 134) + ) + ) +(CHARACTER C a + (CHARWD R 0.525003) + (CHARHT R 0.458334) + (COMMENT + (KRN C r R -0.030558) + (KRN C y R -0.030558) + (KRN C w R -0.030558) + ) + ) +(CHARACTER C b + (CHARWD R 0.561114) + (CHARHT R 0.694446) + (COMMENT + (KRN C e R 0.030558) + (KRN C o R 0.030558) + (KRN C x R -0.030558) + (KRN C d R 0.030558) + (KRN C c R 0.030558) + (KRN C q R 0.030558) + (KRN C r R -0.030558) + (KRN C y R -0.030558) + (KRN C w R -0.030558) + ) + ) +(CHARACTER C c + (CHARWD R 0.488892) + (CHARHT R 0.458334) + ) +(CHARACTER C d + (CHARWD R 0.561114) + (CHARHT R 0.694446) + ) +(CHARACTER C e + (CHARWD R 0.511114) + (CHARHT R 0.458334) + ) +(CHARACTER C f + (CHARWD R 0.336115) + (CHARHT R 0.694446) + (CHARIC R 0.076388) + (COMMENT + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.076388) + (KRN O 77 R 0.076388) + (KRN O 41 R 0.076388) + (KRN O 51 R 0.076388) + (KRN O 135 R 0.076388) + ) + ) +(CHARACTER C g + (CHARWD R 0.550003) + (CHARHT R 0.458334) + (CHARDP R 0.194446) + (CHARIC R 0.015277) + (COMMENT + (KRN C j R 0.030558) + ) + ) +(CHARACTER C h + (CHARWD R 0.561114) + (CHARHT R 0.694446) + ) +(CHARACTER C i + (CHARWD R 0.255557) + (CHARHT R 0.694446) + ) +(CHARACTER C j + (CHARWD R 0.286115) + (CHARHT R 0.694446) + (CHARDP R 0.194446) + ) +(CHARACTER C k + (CHARWD R 0.5305605) + (CHARHT R 0.694446) + (COMMENT + (KRN C e R -0.030558) + (KRN C a R -0.030558) + (KRN C o R -0.030558) + (KRN C c R -0.030558) + ) + ) +(CHARACTER C l + (CHARWD R 0.255557) + (CHARHT R 0.694446) + ) +(CHARACTER C m + (CHARWD R 0.866672) + (CHARHT R 0.458334) + ) +(CHARACTER C n + (CHARWD R 0.561114) + (CHARHT R 0.458334) + ) +(CHARACTER C o + (CHARWD R 0.550003) + (CHARHT R 0.458334) + (COMMENT + (KRN C e R 0.030558) + (KRN C o R 0.030558) + (KRN C x R -0.030558) + (KRN C d R 0.030558) + (KRN C c R 0.030558) + (KRN C q R 0.030558) + (KRN C r R -0.030558) + (KRN C y R -0.030558) + (KRN C w R -0.030558) + ) + ) +(CHARACTER C p + (CHARWD R 0.561114) + (CHARHT R 0.458334) + (CHARDP R 0.194446) + (COMMENT + (KRN C e R 0.030558) + (KRN C o R 0.030558) + (KRN C x R -0.030558) + (KRN C d R 0.030558) + (KRN C c R 0.030558) + (KRN C q R 0.030558) + (KRN C r R -0.030558) + (KRN C y R -0.030558) + (KRN C w R -0.030558) + ) + ) +(CHARACTER C q + (CHARWD R 0.561114) + (CHARHT R 0.458334) + (CHARDP R 0.194446) + ) +(CHARACTER C r + (CHARWD R 0.372226) + (CHARHT R 0.458334) + (CHARIC R 0.015277) + ) +(CHARACTER C s + (CHARWD R 0.421671) + (CHARHT R 0.458334) + ) +(CHARACTER C t + (CHARWD R 0.404169) + (CHARHT R 0.589292) + (COMMENT + (KRN C y R -0.030558) + (KRN C w R -0.030558) + ) + ) +(CHARACTER C u + (CHARWD R 0.561114) + (CHARHT R 0.458334) + (COMMENT + (KRN C w R -0.030558) + ) + ) +(CHARACTER C v + (CHARWD R 0.500003) + (CHARHT R 0.458334) + (CHARIC R 0.015277) + ) +(CHARACTER C w + (CHARWD R 0.744449) + (CHARHT R 0.458334) + (CHARIC R 0.015277) + (COMMENT + (KRN C e R -0.030558) + (KRN C a R -0.030558) + (KRN C o R -0.030558) + (KRN C c R -0.030558) + ) + ) +(CHARACTER C x + (CHARWD R 0.500003) + (CHARHT R 0.458334) + ) +(CHARACTER C y + (CHARWD R 0.500003) + (CHARHT R 0.458334) + (CHARDP R 0.194446) + (CHARIC R 0.015277) + (COMMENT + (KRN C o R -0.030558) + (KRN C e R -0.030558) + (KRN C a R -0.030558) + (KRN O 56 R -0.091669) + (KRN O 54 R -0.091669) + ) + ) +(CHARACTER C z + (CHARWD R 0.476392) + (CHARHT R 0.458334) + ) +(CHARACTER O 173 + (CHARWD R 0.550003) + (CHARHT R 0.458334) + (CHARIC R 0.030558) + (COMMENT + (LIG O 55 O 174) + ) + ) +(CHARACTER O 174 + (CHARWD R 1.100006) + (CHARHT R 0.458334) + (CHARIC R 0.030558) + ) +(CHARACTER O 175 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER O 176 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) +(CHARACTER O 177 + (CHARWD R 0.550003) + (CHARHT R 0.694446) + ) diff --git a/support/splint/tex/fonts/idssbx6.tfm b/support/splint/tex/fonts/idssbx6.tfm Binary files differnew file mode 100644 index 0000000000..d2f8ef2795 --- /dev/null +++ b/support/splint/tex/fonts/idssbx6.tfm diff --git a/support/splint/tex/fonts/idssbx6.vf b/support/splint/tex/fonts/idssbx6.vf Binary files differnew file mode 100644 index 0000000000..17abea3d67 --- /dev/null +++ b/support/splint/tex/fonts/idssbx6.vf diff --git a/support/splint/tex/fonts/idssbx6.vpl b/support/splint/tex/fonts/idssbx6.vpl new file mode 100644 index 0000000000..b58987efb8 --- /dev/null +++ b/support/splint/tex/fonts/idssbx6.vpl @@ -0,0 +1,1310 @@ +(VTITLE ) +(FAMILY UNSPECIFIED) +(FACE F MRR) +(CODINGSCHEME UNSPECIFIED) +(DESIGNSIZE R 6.0) +(COMMENT DESIGNSIZE IS IN POINTS) +(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE) +(CHECKSUM O 12577076133) +(SEVENBITSAFEFLAG TRUE) +(FONTDIMEN + (SLANT R 0.0) + (SPACE R 0.366669) + (STRETCH R 0.183334) + (SHRINK R 0.122223) + (XHEIGHT R 0.458339) + (QUAD R 1.100006) + (EXTRASPACE R 0.122223) + ) +(MAPFONT D 0 + (FONTNAME cmssbx6) + (FONTCHECKSUM O 14127301331) + (FONTAT R 1.0) + (FONTDSIZE R 6.0) + ) +(MAPFONT D 1 + (FONTNAME cmtt6) + (FONTCHECKSUM O 33705443200) + (FONTAT R 1.0) + (FONTDSIZE R 6.0) + ) +(LIGTABLE + (LABEL O 40) + (KRN C l R -0.255554) + (KRN C L R -0.293057) + (STOP) + (LABEL C f) + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.07639) + (KRN O 77 R 0.07639) + (KRN O 41 R 0.07639) + (KRN O 51 R 0.07639) + (KRN O 135 R 0.07639) + (STOP) + (LABEL O 13) + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.07639) + (KRN O 77 R 0.07639) + (KRN O 41 R 0.07639) + (KRN O 51 R 0.07639) + (KRN O 135 R 0.07639) + (STOP) + (LABEL O 140) + (LIG O 140 O 134) + (STOP) + (LABEL O 47) + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + (STOP) + (LABEL O 55) + (LIG O 55 O 173) + (STOP) + (LABEL O 173) + (LIG O 55 O 174) + (STOP) + (LABEL O 41) + (LIG O 140 O 74) + (STOP) + (LABEL O 77) + (LIG O 140 O 76) + (STOP) + (LABEL C k) + (LABEL C w) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN C o R -0.030556) + (KRN C c R -0.030556) + (STOP) + (LABEL C P) + (KRN C A R -0.091667) + (LABEL C y) + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN O 56 R -0.091667) + (KRN O 54 R -0.091667) + (STOP) + (LABEL C F) + (LABEL C V) + (LABEL C W) + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (LABEL C K) + (LABEL C X) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + (STOP) + (LABEL C T) + (KRN C y R -0.091667) + (LABEL C Y) + (KRN C e R -0.091667) + (KRN C o R -0.091667) + (KRN C r R -0.091667) + (KRN C a R -0.091667) + (KRN C A R -0.091667) + (KRN C u R -0.091667) + (STOP) + (LABEL C D) + (LABEL C O) + (KRN C X R -0.030556) + (KRN C W R -0.030556) + (KRN C A R -0.030556) + (KRN C V R -0.030556) + (KRN C Y R -0.030556) + (STOP) + (LABEL C b) + (LABEL C o) + (LABEL C p) + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (LABEL C a) + (KRN C r R -0.030556) + (LABEL C t) + (KRN C y R -0.030556) + (LABEL C u) + (KRN C w R -0.030556) + (STOP) + (LABEL C A) + (KRN C t R -0.030556) + (KRN C C R -0.030556) + (KRN C O R -0.030556) + (KRN C G R -0.030556) + (KRN C U R -0.030556) + (KRN C Q R -0.030556) + (LABEL C L) + (KRN C T R -0.091667) + (KRN C Y R -0.091667) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + (STOP) + (LABEL C g) + (KRN C j R 0.030556) + (STOP) + (LABEL C I) + (KRN C I R 0.030556) + (STOP) + ) +(CHARACTER O 0 + (CHARWD R 0.580559) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 0) + ) + ) +(CHARACTER O 1 + (CHARWD R 0.916672) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 1) + ) + ) +(CHARACTER O 2 + (CHARWD R 0.85556) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 2) + ) + ) +(CHARACTER O 3 + (CHARWD R 0.672226) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 3) + ) + ) +(CHARACTER O 4 + (CHARWD R 0.733337) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 4) + ) + ) +(CHARACTER O 5 + (CHARWD R 0.794449) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 5) + ) + ) +(CHARACTER O 6 + (CHARWD R 0.794449) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 6) + ) + ) +(CHARACTER O 7 + (CHARWD R 0.85556) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 7) + ) + ) +(CHARACTER O 10 + (CHARWD R 0.794449) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 10) + ) + ) +(CHARACTER O 11 + (CHARWD R 0.85556) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 11) + ) + ) +(CHARACTER O 12 + (CHARWD R 0.794449) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 12) + ) + ) +(CHARACTER O 13 + (CHARWD R 0.64167) + (CHARHT R 0.69445) + (CHARIC R 0.07639) + (COMMENT + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.07639) + (KRN O 77 R 0.07639) + (KRN O 41 R 0.07639) + (KRN O 51 R 0.07639) + (KRN O 135 R 0.07639) + ) + (MAP + (SETCHAR O 13) + ) + ) +(CHARACTER O 14 + (CHARWD R 0.586113) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 14) + ) + ) +(CHARACTER O 15 + (CHARWD R 0.586113) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 15) + ) + ) +(CHARACTER O 16 + (CHARWD R 0.89167) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 16) + ) + ) +(CHARACTER O 17 + (CHARWD R 0.89167) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 17) + ) + ) +(CHARACTER O 20 + (CHARWD R 0.255554) + (CHARHT R 0.458339) + (MAP + (SETCHAR O 20) + ) + ) +(CHARACTER O 21 + (CHARWD R 0.28611) + (CHARHT R 0.458339) + (CHARDP R 0.194446) + (MAP + (SETCHAR O 21) + ) + ) +(CHARACTER O 22 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 22) + ) + ) +(CHARACTER O 23 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 23) + ) + ) +(CHARACTER O 24 + (CHARWD R 0.550003) + (CHARHT R 0.635422) + (MAP + (SETCHAR O 24) + ) + ) +(CHARACTER O 25 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 25) + ) + ) +(CHARACTER O 26 + (CHARWD R 0.550003) + (CHARHT R 0.637784) + (MAP + (SETCHAR O 26) + ) + ) +(CHARACTER O 27 + (CHARWD R 0.733337) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 27) + ) + ) +(CHARACTER O 30 + (CHARWD R 0.488892) + (CHARDP R 0.17014) + (MAP + (SETCHAR O 30) + ) + ) +(CHARACTER O 31 + (CHARWD R 0.565282) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 31) + ) + ) +(CHARACTER O 32 + (CHARWD R 0.794449) + (CHARHT R 0.458339) + (MAP + (SETCHAR O 32) + ) + ) +(CHARACTER O 33 + (CHARWD R 0.85556) + (CHARHT R 0.458339) + (MAP + (SETCHAR O 33) + ) + ) +(CHARACTER O 34 + (CHARWD R 0.550003) + (CHARHT R 0.555562) + (CHARDP R 0.097224) + (MAP + (SETCHAR O 34) + ) + ) +(CHARACTER O 35 + (CHARWD R 0.9472275) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 35) + ) + ) +(CHARACTER O 36 + (CHARWD R 1.06945) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 36) + ) + ) +(CHARACTER O 37 + (CHARWD R 0.85556) + (CHARHT R 0.743062) + (CHARDP R 0.048612) + (MAP + (SETCHAR O 37) + ) + ) +(CHARACTER O 40 + (CHARWD R 0.255554) + (CHARHT R 0.458339) + (COMMENT + (KRN C l R -0.255554) + (KRN C L R -0.293057) + ) + (MAP + (SETCHAR O 40) + ) + ) +(CHARACTER O 41 + (CHARWD R 0.366669) + (CHARHT R 0.69445) + (COMMENT + (LIG O 140 O 74) + ) + (MAP + (SETCHAR O 41) + ) + ) +(CHARACTER O 42 + (CHARWD R 0.558337) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 42) + ) + ) +(CHARACTER O 43 + (CHARWD R 0.916672) + (CHARHT R 0.69445) + (CHARDP R 0.194443) + (MAP + (SETCHAR O 43) + ) + ) +(CHARACTER O 44 + (CHARWD R 0.550003) + (CHARHT R 0.750008) + (CHARDP R 0.055557) + (MAP + (SETCHAR O 44) + ) + ) +(CHARACTER O 45 + (CHARWD R 1.029124) + (CHARHT R 0.750008) + (CHARDP R 0.055557) + (MAP + (SETCHAR O 45) + ) + ) +(CHARACTER O 46 + (CHARWD R 0.830559) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 46) + ) + ) +(CHARACTER O 47 + (CHARWD R 0.305557) + (CHARHT R 0.69445) + (COMMENT + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + ) + (MAP + (SETCHAR O 47) + ) + ) +(CHARACTER O 50 + (CHARWD R 0.42778) + (CHARHT R 0.750008) + (CHARDP R 0.25) + (MAP + (SETCHAR O 50) + ) + ) +(CHARACTER O 51 + (CHARWD R 0.42778) + (CHARHT R 0.750008) + (CHARDP R 0.25) + (MAP + (SETCHAR O 51) + ) + ) +(CHARACTER O 52 + (CHARWD R 0.550003) + (CHARHT R 0.750008) + (MAP + (SETCHAR O 52) + ) + ) +(CHARACTER O 53 + (CHARWD R 0.85556) + (CHARHT R 0.616672) + (CHARDP R 0.116666) + (MAP + (SETCHAR O 53) + ) + ) +(CHARACTER O 54 + (CHARWD R 0.305557) + (CHARHT R 0.130557) + (CHARDP R 0.105557) + (MAP + (SETCHAR O 54) + ) + ) +(CHARACTER O 55 + (CHARWD R 0.366669) + (CHARHT R 0.458339) + (COMMENT + (LIG O 55 O 173) + ) + (MAP + (SETCHAR O 55) + ) + ) +(CHARACTER O 56 + (CHARWD R 0.305557) + (CHARHT R 0.130557) + (MAP + (SETCHAR O 56) + ) + ) +(CHARACTER O 57 + (CHARWD R 0.550003) + (CHARHT R 0.750008) + (CHARDP R 0.25) + (MAP + (SETCHAR O 57) + ) + ) +(CHARACTER C 0 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR C 0) + ) + ) +(CHARACTER C 1 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR C 1) + ) + ) +(CHARACTER C 2 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR C 2) + ) + ) +(CHARACTER C 3 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR C 3) + ) + ) +(CHARACTER C 4 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR C 4) + ) + ) +(CHARACTER C 5 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR C 5) + ) + ) +(CHARACTER C 6 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR C 6) + ) + ) +(CHARACTER C 7 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR C 7) + ) + ) +(CHARACTER C 8 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR C 8) + ) + ) +(CHARACTER C 9 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR C 9) + ) + ) +(CHARACTER O 72 + (CHARWD R 0.305557) + (CHARHT R 0.458339) + (MAP + (SETCHAR O 72) + ) + ) +(CHARACTER O 73 + (CHARWD R 0.305557) + (CHARHT R 0.458339) + (CHARDP R 0.105557) + (MAP + (SETCHAR O 73) + ) + ) +(CHARACTER O 74 + (CHARWD R 0.366669) + (CHARHT R 0.500005) + (CHARDP R 0.194446) + (MAP + (SETCHAR O 74) + ) + ) +(CHARACTER O 75 + (CHARWD R 0.85556) + (CHARHT R 0.406255) + (CHARDP R -0.09375) + (MAP + (SETCHAR O 75) + ) + ) +(CHARACTER O 76 + (CHARWD R 0.519447) + (CHARHT R 0.500005) + (CHARDP R 0.194446) + (MAP + (SETCHAR O 76) + ) + ) +(CHARACTER O 77 + (CHARWD R 0.519447) + (CHARHT R 0.69445) + (COMMENT + (LIG O 140 O 76) + ) + (MAP + (SETCHAR O 77) + ) + ) +(CHARACTER O 100 + (CHARWD R 0.733337) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 100) + ) + ) +(CHARACTER C A + (CHARWD R 0.733337) + (CHARHT R 0.69445) + (COMMENT + (KRN C t R -0.030556) + (KRN C C R -0.030556) + (KRN C O R -0.030556) + (KRN C G R -0.030556) + (KRN C U R -0.030556) + (KRN C Q R -0.030556) + (KRN C T R -0.091667) + (KRN C Y R -0.091667) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + (MAP + (SETCHAR C A) + ) + ) +(CHARACTER C B + (CHARWD R 0.733337) + (CHARHT R 0.69445) + (MAP + (SETCHAR C B) + ) + ) +(CHARACTER C C + (CHARWD R 0.702782) + (CHARHT R 0.69445) + (MAP + (SETCHAR C C) + ) + ) +(CHARACTER C D + (CHARWD R 0.794449) + (CHARHT R 0.69445) + (COMMENT + (KRN C X R -0.030556) + (KRN C W R -0.030556) + (KRN C A R -0.030556) + (KRN C V R -0.030556) + (KRN C Y R -0.030556) + ) + (MAP + (SETCHAR C D) + ) + ) +(CHARACTER C E + (CHARWD R 0.64167) + (CHARHT R 0.69445) + (MAP + (SETCHAR C E) + ) + ) +(CHARACTER C F + (CHARWD R 0.6111145) + (CHARHT R 0.69445) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + (MAP + (SETCHAR C F) + ) + ) +(CHARACTER C G + (CHARWD R 0.733337) + (CHARHT R 0.69445) + (MAP + (SETCHAR C G) + ) + ) +(CHARACTER C H + (CHARWD R 0.794449) + (CHARHT R 0.69445) + (MAP + (SETCHAR C H) + ) + ) +(CHARACTER C I + (CHARWD R 0.330559) + (CHARHT R 0.69445) + (COMMENT + (KRN C I R 0.030556) + ) + (MAP + (SETCHAR C I) + ) + ) +(CHARACTER C J + (CHARWD R 0.519447) + (CHARHT R 0.69445) + (MAP + (SETCHAR C J) + ) + ) +(CHARACTER C K + (CHARWD R 0.763893) + (CHARHT R 0.69445) + (COMMENT + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + (MAP + (SETCHAR C K) + ) + ) +(CHARACTER C L + (CHARWD R 0.580559) + (CHARHT R 0.69445) + (COMMENT + (KRN C T R -0.091667) + (KRN C Y R -0.091667) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + (MAP + (SETCHAR C L) + ) + ) +(CHARACTER C M + (CHARWD R 0.977783) + (CHARHT R 0.69445) + (MAP + (SETCHAR C M) + ) + ) +(CHARACTER C N + (CHARWD R 0.794449) + (CHARHT R 0.69445) + (MAP + (SETCHAR C N) + ) + ) +(CHARACTER C O + (CHARWD R 0.794449) + (CHARHT R 0.69445) + (COMMENT + (KRN C X R -0.030556) + (KRN C W R -0.030556) + (KRN C A R -0.030556) + (KRN C V R -0.030556) + (KRN C Y R -0.030556) + ) + (MAP + (SETCHAR C O) + ) + ) +(CHARACTER C P + (CHARWD R 0.702782) + (CHARHT R 0.69445) + (COMMENT + (KRN C A R -0.091667) + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN O 56 R -0.091667) + (KRN O 54 R -0.091667) + ) + (MAP + (SETCHAR C P) + ) + ) +(CHARACTER C Q + (CHARWD R 0.794449) + (CHARHT R 0.69445) + (CHARDP R 0.105557) + (MAP + (SETCHAR C Q) + ) + ) +(CHARACTER C R + (CHARWD R 0.702782) + (CHARHT R 0.69445) + (MAP + (SETCHAR C R) + ) + ) +(CHARACTER C S + (CHARWD R 0.6111145) + (CHARHT R 0.69445) + (MAP + (SETCHAR C S) + ) + ) +(CHARACTER C T + (CHARWD R 0.733337) + (CHARHT R 0.69445) + (COMMENT + (KRN C y R -0.091667) + (KRN C e R -0.091667) + (KRN C o R -0.091667) + (KRN C r R -0.091667) + (KRN C a R -0.091667) + (KRN C A R -0.091667) + (KRN C u R -0.091667) + ) + (MAP + (SETCHAR C T) + ) + ) +(CHARACTER C U + (CHARWD R 0.763893) + (CHARHT R 0.69445) + (MAP + (SETCHAR C U) + ) + ) +(CHARACTER C V + (CHARWD R 0.733337) + (CHARHT R 0.69445) + (CHARIC R 0.015279) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + (MAP + (SETCHAR C V) + ) + ) +(CHARACTER C W + (CHARWD R 1.038895) + (CHARHT R 0.69445) + (CHARIC R 0.015279) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + (MAP + (SETCHAR C W) + ) + ) +(CHARACTER C X + (CHARWD R 0.733337) + (CHARHT R 0.69445) + (COMMENT + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + (MAP + (SETCHAR C X) + ) + ) +(CHARACTER C Y + (CHARWD R 0.733337) + (CHARHT R 0.69445) + (CHARIC R 0.027499) + (COMMENT + (KRN C e R -0.091667) + (KRN C o R -0.091667) + (KRN C r R -0.091667) + (KRN C a R -0.091667) + (KRN C A R -0.091667) + (KRN C u R -0.091667) + ) + (MAP + (SETCHAR C Y) + ) + ) +(CHARACTER C Z + (CHARWD R 0.672226) + (CHARHT R 0.69445) + (MAP + (SETCHAR C Z) + ) + ) +(CHARACTER O 133 + (CHARWD R 0.343059) + (CHARHT R 0.750008) + (CHARDP R 0.25) + (MAP + (SETCHAR O 133) + ) + ) +(CHARACTER O 134 + (CHARWD R 0.558337) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 134) + ) + ) +(CHARACTER O 135 + (CHARWD R 0.343059) + (CHARHT R 0.750008) + (CHARDP R 0.25) + (MAP + (SETCHAR O 135) + ) + ) +(CHARACTER O 136 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 136) + ) + ) +(CHARACTER O 137 + (CHARWD R 0.574997) + (CHARDP R 0.095136) + (MAP + (SELECTFONT D 1) + (SETCHAR O 137) + ) + ) +(CHARACTER O 140 + (CHARWD R 0.305557) + (CHARHT R 0.69445) + (COMMENT + (LIG O 140 O 134) + ) + (MAP + (SETCHAR O 140) + ) + ) +(CHARACTER C a + (CHARWD R 0.525002) + (CHARHT R 0.458339) + (COMMENT + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + (MAP + (SETCHAR C a) + ) + ) +(CHARACTER C b + (CHARWD R 0.561111) + (CHARHT R 0.69445) + (COMMENT + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + (MAP + (SETCHAR C b) + ) + ) +(CHARACTER C c + (CHARWD R 0.488892) + (CHARHT R 0.458339) + (MAP + (SETCHAR C c) + ) + ) +(CHARACTER C d + (CHARWD R 0.561111) + (CHARHT R 0.69445) + (MAP + (SETCHAR C d) + ) + ) +(CHARACTER C e + (CHARWD R 0.511116) + (CHARHT R 0.458339) + (MAP + (SETCHAR C e) + ) + ) +(CHARACTER C f + (CHARWD R 0.336113) + (CHARHT R 0.69445) + (CHARIC R 0.07639) + (COMMENT + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.07639) + (KRN O 77 R 0.07639) + (KRN O 41 R 0.07639) + (KRN O 51 R 0.07639) + (KRN O 135 R 0.07639) + ) + (MAP + (SETCHAR C f) + ) + ) +(CHARACTER C g + (CHARWD R 0.550003) + (CHARHT R 0.458339) + (CHARDP R 0.194446) + (CHARIC R 0.015279) + (COMMENT + (KRN C j R 0.030556) + ) + (MAP + (SETCHAR C g) + ) + ) +(CHARACTER C h + (CHARWD R 0.561111) + (CHARHT R 0.69445) + (MAP + (SETCHAR C h) + ) + ) +(CHARACTER C i + (CHARWD R 0.255554) + (CHARHT R 0.69445) + (MAP + (SETCHAR C i) + ) + ) +(CHARACTER C j + (CHARWD R 0.28611) + (CHARHT R 0.69445) + (CHARDP R 0.194446) + (MAP + (SETCHAR C j) + ) + ) +(CHARACTER C k + (CHARWD R 0.530556) + (CHARHT R 0.69445) + (COMMENT + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN C o R -0.030556) + (KRN C c R -0.030556) + ) + (MAP + (SETCHAR C k) + ) + ) +(CHARACTER C l + (CHARWD R 0.255554) + (CHARHT R 0.69445) + (MAP + (SETCHAR C l) + ) + ) +(CHARACTER C m + (CHARWD R 0.866669) + (CHARHT R 0.458339) + (MAP + (SETCHAR C m) + ) + ) +(CHARACTER C n + (CHARWD R 0.561111) + (CHARHT R 0.458339) + (MAP + (SETCHAR C n) + ) + ) +(CHARACTER C o + (CHARWD R 0.550003) + (CHARHT R 0.458339) + (COMMENT + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + (MAP + (SETCHAR C o) + ) + ) +(CHARACTER C p + (CHARWD R 0.561111) + (CHARHT R 0.458339) + (CHARDP R 0.194446) + (COMMENT + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + (MAP + (SETCHAR C p) + ) + ) +(CHARACTER C q + (CHARWD R 0.561111) + (CHARHT R 0.458339) + (CHARDP R 0.194446) + (MAP + (SETCHAR C q) + ) + ) +(CHARACTER C r + (CHARWD R 0.372223) + (CHARHT R 0.458339) + (CHARIC R 0.015279) + (MAP + (SETCHAR C r) + ) + ) +(CHARACTER C s + (CHARWD R 0.421669) + (CHARHT R 0.458339) + (MAP + (SETCHAR C s) + ) + ) +(CHARACTER C t + (CHARWD R 0.40417) + (CHARHT R 0.589294) + (COMMENT + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + (MAP + (SETCHAR C t) + ) + ) +(CHARACTER C u + (CHARWD R 0.561111) + (CHARHT R 0.458339) + (COMMENT + (KRN C w R -0.030556) + ) + (MAP + (SETCHAR C u) + ) + ) +(CHARACTER C v + (CHARWD R 0.5) + (CHARHT R 0.458339) + (CHARIC R 0.015279) + (MAP + (SETCHAR C v) + ) + ) +(CHARACTER C w + (CHARWD R 0.744446) + (CHARHT R 0.458339) + (CHARIC R 0.015279) + (COMMENT + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN C o R -0.030556) + (KRN C c R -0.030556) + ) + (MAP + (SETCHAR C w) + ) + ) +(CHARACTER C x + (CHARWD R 0.5) + (CHARHT R 0.458339) + (MAP + (SETCHAR C x) + ) + ) +(CHARACTER C y + (CHARWD R 0.5) + (CHARHT R 0.458339) + (CHARDP R 0.194446) + (CHARIC R 0.015279) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN O 56 R -0.091667) + (KRN O 54 R -0.091667) + ) + (MAP + (SETCHAR C y) + ) + ) +(CHARACTER C z + (CHARWD R 0.47639) + (CHARHT R 0.458339) + (MAP + (SETCHAR C z) + ) + ) +(CHARACTER O 173 + (CHARWD R 0.550003) + (CHARHT R 0.458339) + (CHARIC R 0.030556) + (COMMENT + (LIG O 55 O 174) + ) + (MAP + (SETCHAR O 173) + ) + ) +(CHARACTER O 174 + (CHARWD R 1.100006) + (CHARHT R 0.458339) + (CHARIC R 0.030556) + (MAP + (SETCHAR O 174) + ) + ) +(CHARACTER O 175 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 175) + ) + ) +(CHARACTER O 176 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 176) + ) + ) +(CHARACTER O 177 + (CHARWD R 0.550003) + (CHARHT R 0.69445) + (MAP + (SETCHAR O 177) + ) + ) diff --git a/support/splint/tex/fonts/idssbx7.tfm b/support/splint/tex/fonts/idssbx7.tfm Binary files differnew file mode 100644 index 0000000000..25bb930eff --- /dev/null +++ b/support/splint/tex/fonts/idssbx7.tfm diff --git a/support/splint/tex/fonts/idssbx7.vf b/support/splint/tex/fonts/idssbx7.vf Binary files differnew file mode 100644 index 0000000000..4c920e9b26 --- /dev/null +++ b/support/splint/tex/fonts/idssbx7.vf diff --git a/support/splint/tex/fonts/idssbx7.vpl b/support/splint/tex/fonts/idssbx7.vpl new file mode 100644 index 0000000000..db652d489d --- /dev/null +++ b/support/splint/tex/fonts/idssbx7.vpl @@ -0,0 +1,913 @@ +(MAPFONT D 0 (FONTNAME cmssbx7)) +(MAPFONT D 1 (FONTNAME cmtt7)) +(DESIGNSIZE R 7.0) +(COMMENT DESIGNSIZE IS IN POINTS) +(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE) +(FONTDIMEN + (SLANT R 0.0) + (SPACE R 0.366669) + (STRETCH R 0.183334) + (SHRINK R 0.122223) + (XHEIGHT R 0.45833) + (QUAD R 1.100006) + (EXTRASPACE R 0.122223) + ) +(LIGTABLE + (LABEL O 40) + (KRN C l R -0.255556) + (KRN C L R -0.293058) + (STOP) + (LABEL C f) + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.07639) + (KRN O 77 R 0.07639) + (KRN O 41 R 0.07639) + (KRN O 51 R 0.07639) + (KRN O 135 R 0.07639) + (STOP) + (LABEL O 13) + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.07639) + (KRN O 77 R 0.07639) + (KRN O 41 R 0.07639) + (KRN O 51 R 0.07639) + (KRN O 135 R 0.07639) + (STOP) + (LABEL O 140) + (LIG O 140 O 134) + (STOP) + (LABEL O 47) + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + (STOP) + (LABEL O 55) + (LIG O 55 O 173) + (STOP) + (LABEL O 173) + (LIG O 55 O 174) + (STOP) + (LABEL O 41) + (LIG O 140 O 74) + (STOP) + (LABEL O 77) + (LIG O 140 O 76) + (STOP) + (LABEL C k) + (LABEL C w) + (KRN C e R -0.030557) + (KRN C a R -0.030557) + (KRN C o R -0.030557) + (KRN C c R -0.030557) + (STOP) + (LABEL C P) + (KRN C A R -0.091668) + (LABEL C y) + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C a R -0.030557) + (KRN O 56 R -0.091668) + (KRN O 54 R -0.091668) + (STOP) + (LABEL C F) + (LABEL C V) + (LABEL C W) + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C u R -0.030557) + (KRN C r R -0.030557) + (KRN C a R -0.030557) + (KRN C A R -0.091668) + (LABEL C K) + (LABEL C X) + (KRN C O R -0.030557) + (KRN C C R -0.030557) + (KRN C G R -0.030557) + (KRN C Q R -0.030557) + (STOP) + (LABEL C T) + (KRN C y R -0.091668) + (LABEL C Y) + (KRN C e R -0.091668) + (KRN C o R -0.091668) + (KRN C r R -0.091668) + (KRN C a R -0.091668) + (KRN C A R -0.091668) + (KRN C u R -0.091668) + (STOP) + (LABEL C D) + (LABEL C O) + (KRN C X R -0.030557) + (KRN C W R -0.030557) + (KRN C A R -0.030557) + (KRN C V R -0.030557) + (KRN C Y R -0.030557) + (STOP) + (LABEL C b) + (LABEL C o) + (LABEL C p) + (KRN C e R 0.030557) + (KRN C o R 0.030557) + (KRN C x R -0.030557) + (KRN C d R 0.030557) + (KRN C c R 0.030557) + (KRN C q R 0.030557) + (LABEL C a) + (KRN C r R -0.030557) + (LABEL C t) + (KRN C y R -0.030557) + (LABEL C u) + (KRN C w R -0.030557) + (STOP) + (LABEL C A) + (KRN C t R -0.030557) + (KRN C C R -0.030557) + (KRN C O R -0.030557) + (KRN C G R -0.030557) + (KRN C U R -0.030557) + (KRN C Q R -0.030557) + (LABEL C L) + (KRN C T R -0.091668) + (KRN C Y R -0.091668) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + (STOP) + (LABEL C g) + (KRN C j R 0.030557) + (STOP) + (LABEL C I) + (KRN C I R 0.030557) + (STOP) + ) +(CHARACTER O 0 + (CHARWD R 0.58056) + (CHARHT R 0.694441) + ) +(CHARACTER O 1 + (CHARWD R 0.916672) + (CHARHT R 0.694441) + ) +(CHARACTER O 2 + (CHARWD R 0.85556) + (CHARHT R 0.694441) + ) +(CHARACTER O 3 + (CHARWD R 0.672228) + (CHARHT R 0.694441) + ) +(CHARACTER O 4 + (CHARWD R 0.733337) + (CHARHT R 0.694441) + ) +(CHARACTER O 5 + (CHARWD R 0.794451) + (CHARHT R 0.694441) + ) +(CHARACTER O 6 + (CHARWD R 0.794449) + (CHARHT R 0.694441) + ) +(CHARACTER O 7 + (CHARWD R 0.85556) + (CHARHT R 0.694441) + ) +(CHARACTER O 10 + (CHARWD R 0.794449) + (CHARHT R 0.694441) + ) +(CHARACTER O 11 + (CHARWD R 0.85556) + (CHARHT R 0.694441) + ) +(CHARACTER O 12 + (CHARWD R 0.794449) + (CHARHT R 0.694441) + ) +(CHARACTER O 13 + (CHARWD R 0.641671) + (CHARHT R 0.694441) + (CHARIC R 0.07639) + (COMMENT + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.07639) + (KRN O 77 R 0.07639) + (KRN O 41 R 0.07639) + (KRN O 51 R 0.07639) + (KRN O 135 R 0.07639) + ) + ) +(CHARACTER O 14 + (CHARWD R 0.586114) + (CHARHT R 0.694441) + ) +(CHARACTER O 15 + (CHARWD R 0.586114) + (CHARHT R 0.694441) + ) +(CHARACTER O 16 + (CHARWD R 0.891671) + (CHARHT R 0.694441) + ) +(CHARACTER O 17 + (CHARWD R 0.891671) + (CHARHT R 0.694441) + ) +(CHARACTER O 20 + (CHARWD R 0.255556) + (CHARHT R 0.45833) + ) +(CHARACTER O 21 + (CHARWD R 0.286113) + (CHARHT R 0.45833) + (CHARDP R 0.194443) + ) +(CHARACTER O 22 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER O 23 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER O 24 + (CHARWD R 0.550003) + (CHARHT R 0.635413) + ) +(CHARACTER O 25 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER O 26 + (CHARWD R 0.550003) + (CHARHT R 0.6377735) + ) +(CHARACTER O 27 + (CHARWD R 0.733339) + (CHARHT R 0.694441) + ) +(CHARACTER O 30 + (CHARWD R 0.488892) + (CHARDP R 0.170137) + ) +(CHARACTER O 31 + (CHARWD R 0.565279) + (CHARHT R 0.694441) + ) +(CHARACTER O 32 + (CHARWD R 0.794449) + (CHARHT R 0.45833) + ) +(CHARACTER O 33 + (CHARWD R 0.85556) + (CHARHT R 0.45833) + ) +(CHARACTER O 34 + (CHARWD R 0.550003) + (CHARHT R 0.5555525) + (CHARDP R 0.097222) + ) +(CHARACTER O 35 + (CHARWD R 0.947228) + (CHARHT R 0.694441) + ) +(CHARACTER O 36 + (CHARWD R 1.069451) + (CHARHT R 0.694441) + ) +(CHARACTER O 37 + (CHARWD R 0.85556) + (CHARHT R 0.743051) + (CHARDP R 0.04861) + ) +(CHARACTER O 40 + (CHARWD R 0.255556) + (CHARHT R 0.45833) + (COMMENT + (KRN C l R -0.255556) + (KRN C L R -0.293058) + ) + ) +(CHARACTER O 41 + (CHARWD R 0.366669) + (CHARHT R 0.694441) + (COMMENT + (LIG O 140 O 74) + ) + ) +(CHARACTER O 42 + (CHARWD R 0.558334) + (CHARHT R 0.694441) + ) +(CHARACTER O 43 + (CHARWD R 0.916672) + (CHARHT R 0.694441) + (CHARDP R 0.194441) + ) +(CHARACTER O 44 + (CHARWD R 0.550003) + (CHARHT R 0.749998) + (CHARDP R 0.055557) + ) +(CHARACTER O 45 + (CHARWD R 1.029116) + (CHARHT R 0.749998) + (CHARDP R 0.055557) + ) +(CHARACTER O 46 + (CHARWD R 0.83056) + (CHARHT R 0.694441) + ) +(CHARACTER O 47 + (CHARWD R 0.305557) + (CHARHT R 0.694441) + (COMMENT + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + ) + ) +(CHARACTER O 50 + (CHARWD R 0.42778) + (CHARHT R 0.749998) + (CHARDP R 0.249995) + ) +(CHARACTER O 51 + (CHARWD R 0.42778) + (CHARHT R 0.749998) + (CHARDP R 0.249995) + ) +(CHARACTER O 52 + (CHARWD R 0.550003) + (CHARHT R 0.749998) + ) +(CHARACTER O 53 + (CHARWD R 0.85556) + (CHARHT R 0.616669) + (CHARDP R 0.116669) + ) +(CHARACTER O 54 + (CHARWD R 0.305557) + (CHARHT R 0.130554) + (CHARDP R 0.105556) + ) +(CHARACTER O 55 + (CHARWD R 0.366669) + (CHARHT R 0.45833) + (COMMENT + (LIG O 55 O 173) + ) + ) +(CHARACTER O 56 + (CHARWD R 0.305557) + (CHARHT R 0.130554) + ) +(CHARACTER O 57 + (CHARWD R 0.550003) + (CHARHT R 0.749998) + (CHARDP R 0.249995) + ) +(CHARACTER C 0 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER C 1 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER C 2 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER C 3 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER C 4 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER C 5 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER C 6 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER C 7 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER C 8 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER C 9 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER O 72 + (CHARWD R 0.305557) + (CHARHT R 0.45833) + ) +(CHARACTER O 73 + (CHARWD R 0.305557) + (CHARHT R 0.45833) + (CHARDP R 0.105556) + ) +(CHARACTER O 74 + (CHARWD R 0.366669) + (CHARHT R 0.499998) + (CHARDP R 0.194443) + ) +(CHARACTER O 75 + (CHARWD R 0.85556) + (CHARHT R 0.40625) + (CHARDP R -0.09375) + ) +(CHARACTER O 76 + (CHARWD R 0.519448) + (CHARHT R 0.499998) + (CHARDP R 0.194443) + ) +(CHARACTER O 77 + (CHARWD R 0.519448) + (CHARHT R 0.694441) + (COMMENT + (LIG O 140 O 76) + ) + ) +(CHARACTER O 100 + (CHARWD R 0.733337) + (CHARHT R 0.694441) + ) +(CHARACTER C A + (CHARWD R 0.733339) + (CHARHT R 0.694441) + (COMMENT + (KRN C t R -0.030557) + (KRN C C R -0.030557) + (KRN C O R -0.030557) + (KRN C G R -0.030557) + (KRN C U R -0.030557) + (KRN C Q R -0.030557) + (KRN C T R -0.091668) + (KRN C Y R -0.091668) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + ) +(CHARACTER C B + (CHARWD R 0.733339) + (CHARHT R 0.694441) + ) +(CHARACTER C C + (CHARWD R 0.702783) + (CHARHT R 0.694441) + ) +(CHARACTER C D + (CHARWD R 0.794451) + (CHARHT R 0.694441) + (COMMENT + (KRN C X R -0.030557) + (KRN C W R -0.030557) + (KRN C A R -0.030557) + (KRN C V R -0.030557) + (KRN C Y R -0.030557) + ) + ) +(CHARACTER C E + (CHARWD R 0.641671) + (CHARHT R 0.694441) + ) +(CHARACTER C F + (CHARWD R 0.611116) + (CHARHT R 0.694441) + (COMMENT + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C u R -0.030557) + (KRN C r R -0.030557) + (KRN C a R -0.030557) + (KRN C A R -0.091668) + (KRN C O R -0.030557) + (KRN C C R -0.030557) + (KRN C G R -0.030557) + (KRN C Q R -0.030557) + ) + ) +(CHARACTER C G + (CHARWD R 0.733337) + (CHARHT R 0.694441) + ) +(CHARACTER C H + (CHARWD R 0.794451) + (CHARHT R 0.694441) + ) +(CHARACTER C I + (CHARWD R 0.330558) + (CHARHT R 0.694441) + (COMMENT + (KRN C I R 0.030557) + ) + ) +(CHARACTER C J + (CHARWD R 0.519448) + (CHARHT R 0.694441) + ) +(CHARACTER C K + (CHARWD R 0.763896) + (CHARHT R 0.694441) + (COMMENT + (KRN C O R -0.030557) + (KRN C C R -0.030557) + (KRN C G R -0.030557) + (KRN C Q R -0.030557) + ) + ) +(CHARACTER C L + (CHARWD R 0.58056) + (CHARHT R 0.694441) + (COMMENT + (KRN C T R -0.091668) + (KRN C Y R -0.091668) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + ) +(CHARACTER C M + (CHARWD R 0.977785) + (CHARHT R 0.694441) + ) +(CHARACTER C N + (CHARWD R 0.794451) + (CHARHT R 0.694441) + ) +(CHARACTER C O + (CHARWD R 0.794449) + (CHARHT R 0.694441) + (COMMENT + (KRN C X R -0.030557) + (KRN C W R -0.030557) + (KRN C A R -0.030557) + (KRN C V R -0.030557) + (KRN C Y R -0.030557) + ) + ) +(CHARACTER C P + (CHARWD R 0.702783) + (CHARHT R 0.694441) + (COMMENT + (KRN C A R -0.091668) + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C a R -0.030557) + (KRN O 56 R -0.091668) + (KRN O 54 R -0.091668) + ) + ) +(CHARACTER C Q + (CHARWD R 0.794449) + (CHARHT R 0.694441) + (CHARDP R 0.105556) + ) +(CHARACTER C R + (CHARWD R 0.702783) + (CHARHT R 0.694441) + ) +(CHARACTER C S + (CHARWD R 0.6111145) + (CHARHT R 0.694441) + ) +(CHARACTER C T + (CHARWD R 0.733337) + (CHARHT R 0.694441) + (COMMENT + (KRN C y R -0.091668) + (KRN C e R -0.091668) + (KRN C o R -0.091668) + (KRN C r R -0.091668) + (KRN C a R -0.091668) + (KRN C A R -0.091668) + (KRN C u R -0.091668) + ) + ) +(CHARACTER C U + (CHARWD R 0.763896) + (CHARHT R 0.694441) + ) +(CHARACTER C V + (CHARWD R 0.733339) + (CHARHT R 0.694441) + (CHARIC R 0.015279) + (COMMENT + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C u R -0.030557) + (KRN C r R -0.030557) + (KRN C a R -0.030557) + (KRN C A R -0.091668) + (KRN C O R -0.030557) + (KRN C C R -0.030557) + (KRN C G R -0.030557) + (KRN C Q R -0.030557) + ) + ) +(CHARACTER C W + (CHARWD R 1.038897) + (CHARHT R 0.694441) + (CHARIC R 0.015279) + (COMMENT + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C u R -0.030557) + (KRN C r R -0.030557) + (KRN C a R -0.030557) + (KRN C A R -0.091668) + (KRN C O R -0.030557) + (KRN C C R -0.030557) + (KRN C G R -0.030557) + (KRN C Q R -0.030557) + ) + ) +(CHARACTER C X + (CHARWD R 0.733339) + (CHARHT R 0.694441) + (COMMENT + (KRN C O R -0.030557) + (KRN C C R -0.030557) + (KRN C G R -0.030557) + (KRN C Q R -0.030557) + ) + ) +(CHARACTER C Y + (CHARWD R 0.733339) + (CHARHT R 0.694441) + (CHARIC R 0.027501) + (COMMENT + (KRN C e R -0.091668) + (KRN C o R -0.091668) + (KRN C r R -0.091668) + (KRN C a R -0.091668) + (KRN C A R -0.091668) + (KRN C u R -0.091668) + ) + ) +(CHARACTER C Z + (CHARWD R 0.672226) + (CHARHT R 0.694441) + ) +(CHARACTER O 133 + (CHARWD R 0.343059) + (CHARHT R 0.749998) + (CHARDP R 0.249995) + ) +(CHARACTER O 134 + (CHARWD R 0.558334) + (CHARHT R 0.694441) + ) +(CHARACTER O 135 + (CHARWD R 0.343059) + (CHARHT R 0.749998) + (CHARDP R 0.249995) + ) +(CHARACTER O 136 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER O 137 + (CHARWD R 0.5464325) + (CHARDP R 0.098109) + (MAP + (SELECTFONT D 1) + (SETCHAR O 0137) + ) + ) +(CHARACTER O 140 + (CHARWD R 0.305557) + (CHARHT R 0.694441) + (COMMENT + (LIG O 140 O 134) + ) + ) +(CHARACTER C a + (CHARWD R 0.5250025) + (CHARHT R 0.45833) + (COMMENT + (KRN C r R -0.030557) + (KRN C y R -0.030557) + (KRN C w R -0.030557) + ) + ) +(CHARACTER C b + (CHARWD R 0.561113) + (CHARHT R 0.694441) + (COMMENT + (KRN C e R 0.030557) + (KRN C o R 0.030557) + (KRN C x R -0.030557) + (KRN C d R 0.030557) + (KRN C c R 0.030557) + (KRN C q R 0.030557) + (KRN C r R -0.030557) + (KRN C y R -0.030557) + (KRN C w R -0.030557) + ) + ) +(CHARACTER C c + (CHARWD R 0.488892) + (CHARHT R 0.45833) + ) +(CHARACTER C d + (CHARWD R 0.561113) + (CHARHT R 0.694441) + ) +(CHARACTER C e + (CHARWD R 0.511115) + (CHARHT R 0.45833) + ) +(CHARACTER C f + (CHARWD R 0.336114) + (CHARHT R 0.694441) + (CHARIC R 0.07639) + (COMMENT + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.07639) + (KRN O 77 R 0.07639) + (KRN O 41 R 0.07639) + (KRN O 51 R 0.07639) + (KRN O 135 R 0.07639) + ) + ) +(CHARACTER C g + (CHARWD R 0.550003) + (CHARHT R 0.45833) + (CHARDP R 0.194443) + (CHARIC R 0.015279) + (COMMENT + (KRN C j R 0.030557) + ) + ) +(CHARACTER C h + (CHARWD R 0.561113) + (CHARHT R 0.694441) + ) +(CHARACTER C i + (CHARWD R 0.255556) + (CHARHT R 0.694441) + ) +(CHARACTER C j + (CHARWD R 0.286113) + (CHARHT R 0.694441) + (CHARDP R 0.194443) + ) +(CHARACTER C k + (CHARWD R 0.530559) + (CHARHT R 0.694441) + (COMMENT + (KRN C e R -0.030557) + (KRN C a R -0.030557) + (KRN C o R -0.030557) + (KRN C c R -0.030557) + ) + ) +(CHARACTER C l + (CHARWD R 0.255556) + (CHARHT R 0.694441) + ) +(CHARACTER C m + (CHARWD R 0.866671) + (CHARHT R 0.45833) + ) +(CHARACTER C n + (CHARWD R 0.561113) + (CHARHT R 0.45833) + ) +(CHARACTER C o + (CHARWD R 0.550003) + (CHARHT R 0.45833) + (COMMENT + (KRN C e R 0.030557) + (KRN C o R 0.030557) + (KRN C x R -0.030557) + (KRN C d R 0.030557) + (KRN C c R 0.030557) + (KRN C q R 0.030557) + (KRN C r R -0.030557) + (KRN C y R -0.030557) + (KRN C w R -0.030557) + ) + ) +(CHARACTER C p + (CHARWD R 0.561113) + (CHARHT R 0.45833) + (CHARDP R 0.194443) + (COMMENT + (KRN C e R 0.030557) + (KRN C o R 0.030557) + (KRN C x R -0.030557) + (KRN C d R 0.030557) + (KRN C c R 0.030557) + (KRN C q R 0.030557) + (KRN C r R -0.030557) + (KRN C y R -0.030557) + (KRN C w R -0.030557) + ) + ) +(CHARACTER C q + (CHARWD R 0.561113) + (CHARHT R 0.45833) + (CHARDP R 0.194443) + ) +(CHARACTER C r + (CHARWD R 0.372225) + (CHARHT R 0.45833) + (CHARIC R 0.015279) + ) +(CHARACTER C s + (CHARWD R 0.42167) + (CHARHT R 0.45833) + ) +(CHARACTER C t + (CHARWD R 0.404168) + (CHARHT R 0.589286) + (COMMENT + (KRN C y R -0.030557) + (KRN C w R -0.030557) + ) + ) +(CHARACTER C u + (CHARWD R 0.561113) + (CHARHT R 0.45833) + (COMMENT + (KRN C w R -0.030557) + ) + ) +(CHARACTER C v + (CHARWD R 0.500002) + (CHARHT R 0.45833) + (CHARIC R 0.015279) + ) +(CHARACTER C w + (CHARWD R 0.744448) + (CHARHT R 0.45833) + (CHARIC R 0.015279) + (COMMENT + (KRN C e R -0.030557) + (KRN C a R -0.030557) + (KRN C o R -0.030557) + (KRN C c R -0.030557) + ) + ) +(CHARACTER C x + (CHARWD R 0.500002) + (CHARHT R 0.45833) + ) +(CHARACTER C y + (CHARWD R 0.500002) + (CHARHT R 0.45833) + (CHARDP R 0.194443) + (CHARIC R 0.015279) + (COMMENT + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C a R -0.030557) + (KRN O 56 R -0.091668) + (KRN O 54 R -0.091668) + ) + ) +(CHARACTER C z + (CHARWD R 0.47639) + (CHARHT R 0.45833) + ) +(CHARACTER O 173 + (CHARWD R 0.550003) + (CHARHT R 0.45833) + (CHARIC R 0.030557) + (COMMENT + (LIG O 55 O 174) + ) + ) +(CHARACTER O 174 + (CHARWD R 1.100006) + (CHARHT R 0.45833) + (CHARIC R 0.030557) + ) +(CHARACTER O 175 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER O 176 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) +(CHARACTER O 177 + (CHARWD R 0.550003) + (CHARHT R 0.694441) + ) diff --git a/support/splint/tex/fonts/idssbx8.tfm b/support/splint/tex/fonts/idssbx8.tfm Binary files differnew file mode 100644 index 0000000000..4cea679434 --- /dev/null +++ b/support/splint/tex/fonts/idssbx8.tfm diff --git a/support/splint/tex/fonts/idssbx8.vf b/support/splint/tex/fonts/idssbx8.vf Binary files differnew file mode 100644 index 0000000000..b7b988e26d --- /dev/null +++ b/support/splint/tex/fonts/idssbx8.vf diff --git a/support/splint/tex/fonts/idssbx8.vpl b/support/splint/tex/fonts/idssbx8.vpl new file mode 100644 index 0000000000..57db1d6090 --- /dev/null +++ b/support/splint/tex/fonts/idssbx8.vpl @@ -0,0 +1,1310 @@ +(VTITLE ) +(FAMILY UNSPECIFIED) +(FACE F MRR) +(CODINGSCHEME UNSPECIFIED) +(DESIGNSIZE R 8.0) +(COMMENT DESIGNSIZE IS IN POINTS) +(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE) +(CHECKSUM O 4723356700) +(SEVENBITSAFEFLAG TRUE) +(FONTDIMEN + (SLANT R 0.0) + (SPACE R 0.366669) + (STRETCH R 0.183334) + (SHRINK R 0.122223) + (XHEIGHT R 0.458336) + (QUAD R 1.100006) + (EXTRASPACE R 0.122223) + ) +(MAPFONT D 0 + (FONTNAME cmssbx8) + (FONTCHECKSUM O 1731613541) + (FONTAT R 1.0) + (FONTDSIZE R 8.0) + ) +(MAPFONT D 1 + (FONTNAME cmtt8) + (FONTCHECKSUM O 33720745163) + (FONTAT R 1.0) + (FONTDSIZE R 8.0) + ) +(LIGTABLE + (LABEL O 40) + (KRN C l R -0.255558) + (KRN C L R -0.293058) + (STOP) + (LABEL C f) + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.076389) + (KRN O 77 R 0.076389) + (KRN O 41 R 0.076389) + (KRN O 51 R 0.076389) + (KRN O 135 R 0.076389) + (STOP) + (LABEL O 13) + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.076389) + (KRN O 77 R 0.076389) + (KRN O 41 R 0.076389) + (KRN O 51 R 0.076389) + (KRN O 135 R 0.076389) + (STOP) + (LABEL O 140) + (LIG O 140 O 134) + (STOP) + (LABEL O 47) + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + (STOP) + (LABEL O 55) + (LIG O 55 O 173) + (STOP) + (LABEL O 173) + (LIG O 55 O 174) + (STOP) + (LABEL O 41) + (LIG O 140 O 74) + (STOP) + (LABEL O 77) + (LIG O 140 O 76) + (STOP) + (LABEL C k) + (LABEL C w) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN C o R -0.030556) + (KRN C c R -0.030556) + (STOP) + (LABEL C P) + (KRN C A R -0.091667) + (LABEL C y) + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN O 56 R -0.091667) + (KRN O 54 R -0.091667) + (STOP) + (LABEL C F) + (LABEL C V) + (LABEL C W) + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (LABEL C K) + (LABEL C X) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + (STOP) + (LABEL C T) + (KRN C y R -0.091667) + (LABEL C Y) + (KRN C e R -0.091667) + (KRN C o R -0.091667) + (KRN C r R -0.091667) + (KRN C a R -0.091667) + (KRN C A R -0.091667) + (KRN C u R -0.091667) + (STOP) + (LABEL C D) + (LABEL C O) + (KRN C X R -0.030556) + (KRN C W R -0.030556) + (KRN C A R -0.030556) + (KRN C V R -0.030556) + (KRN C Y R -0.030556) + (STOP) + (LABEL C b) + (LABEL C o) + (LABEL C p) + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (LABEL C a) + (KRN C r R -0.030556) + (LABEL C t) + (KRN C y R -0.030556) + (LABEL C u) + (KRN C w R -0.030556) + (STOP) + (LABEL C A) + (KRN C t R -0.030556) + (KRN C C R -0.030556) + (KRN C O R -0.030556) + (KRN C G R -0.030556) + (KRN C U R -0.030556) + (KRN C Q R -0.030556) + (LABEL C L) + (KRN C T R -0.091667) + (KRN C Y R -0.091667) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + (STOP) + (LABEL C g) + (KRN C j R 0.030556) + (STOP) + (LABEL C I) + (KRN C I R 0.030556) + (STOP) + ) +(CHARACTER O 0 + (CHARWD R 0.580559) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 0) + ) + ) +(CHARACTER O 1 + (CHARWD R 0.916672) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 1) + ) + ) +(CHARACTER O 2 + (CHARWD R 0.85556) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 2) + ) + ) +(CHARACTER O 3 + (CHARWD R 0.672226) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 3) + ) + ) +(CHARACTER O 4 + (CHARWD R 0.733337) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 4) + ) + ) +(CHARACTER O 5 + (CHARWD R 0.794449) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 5) + ) + ) +(CHARACTER O 6 + (CHARWD R 0.794449) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 6) + ) + ) +(CHARACTER O 7 + (CHARWD R 0.85556) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 7) + ) + ) +(CHARACTER O 10 + (CHARWD R 0.794449) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 10) + ) + ) +(CHARACTER O 11 + (CHARWD R 0.85556) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 11) + ) + ) +(CHARACTER O 12 + (CHARWD R 0.794449) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 12) + ) + ) +(CHARACTER O 13 + (CHARWD R 0.64167) + (CHARHT R 0.694447) + (CHARIC R 0.076389) + (COMMENT + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.076389) + (KRN O 77 R 0.076389) + (KRN O 41 R 0.076389) + (KRN O 51 R 0.076389) + (KRN O 135 R 0.076389) + ) + (MAP + (SETCHAR O 13) + ) + ) +(CHARACTER O 14 + (CHARWD R 0.586115) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 14) + ) + ) +(CHARACTER O 15 + (CHARWD R 0.586115) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 15) + ) + ) +(CHARACTER O 16 + (CHARWD R 0.891672) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 16) + ) + ) +(CHARACTER O 17 + (CHARWD R 0.891672) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 17) + ) + ) +(CHARACTER O 20 + (CHARWD R 0.255558) + (CHARHT R 0.458336) + (MAP + (SETCHAR O 20) + ) + ) +(CHARACTER O 21 + (CHARWD R 0.286114) + (CHARHT R 0.458336) + (CHARDP R 0.194445) + (MAP + (SETCHAR O 21) + ) + ) +(CHARACTER O 22 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 22) + ) + ) +(CHARACTER O 23 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 23) + ) + ) +(CHARACTER O 24 + (CHARWD R 0.550003) + (CHARHT R 0.63542) + (MAP + (SETCHAR O 24) + ) + ) +(CHARACTER O 25 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 25) + ) + ) +(CHARACTER O 26 + (CHARWD R 0.550003) + (CHARHT R 0.637777) + (MAP + (SETCHAR O 26) + ) + ) +(CHARACTER O 27 + (CHARWD R 0.733337) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 27) + ) + ) +(CHARACTER O 30 + (CHARWD R 0.488892) + (CHARDP R 0.170139) + (MAP + (SETCHAR O 30) + ) + ) +(CHARACTER O 31 + (CHARWD R 0.565281) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 31) + ) + ) +(CHARACTER O 32 + (CHARWD R 0.794449) + (CHARHT R 0.458336) + (MAP + (SETCHAR O 32) + ) + ) +(CHARACTER O 33 + (CHARWD R 0.85556) + (CHARHT R 0.458336) + (MAP + (SETCHAR O 33) + ) + ) +(CHARACTER O 34 + (CHARWD R 0.550003) + (CHARHT R 0.555559) + (CHARDP R 0.097223) + (MAP + (SETCHAR O 34) + ) + ) +(CHARACTER O 35 + (CHARWD R 0.9472275) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 35) + ) + ) +(CHARACTER O 36 + (CHARWD R 1.06945) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 36) + ) + ) +(CHARACTER O 37 + (CHARWD R 0.85556) + (CHARHT R 0.743057) + (CHARDP R 0.048611) + (MAP + (SETCHAR O 37) + ) + ) +(CHARACTER O 40 + (CHARWD R 0.255558) + (CHARHT R 0.458336) + (COMMENT + (KRN C l R -0.255558) + (KRN C L R -0.293058) + ) + (MAP + (SETCHAR O 40) + ) + ) +(CHARACTER O 41 + (CHARWD R 0.366669) + (CHARHT R 0.694447) + (COMMENT + (LIG O 140 O 74) + ) + (MAP + (SETCHAR O 41) + ) + ) +(CHARACTER O 42 + (CHARWD R 0.558336) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 42) + ) + ) +(CHARACTER O 43 + (CHARWD R 0.916672) + (CHARHT R 0.694447) + (CHARDP R 0.194443) + (MAP + (SETCHAR O 43) + ) + ) +(CHARACTER O 44 + (CHARWD R 0.550003) + (CHARHT R 0.750004) + (CHARDP R 0.055557) + (MAP + (SETCHAR O 44) + ) + ) +(CHARACTER O 45 + (CHARWD R 1.029121) + (CHARHT R 0.750004) + (CHARDP R 0.055557) + (MAP + (SETCHAR O 45) + ) + ) +(CHARACTER O 46 + (CHARWD R 0.830561) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 46) + ) + ) +(CHARACTER O 47 + (CHARWD R 0.305557) + (CHARHT R 0.694447) + (COMMENT + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + ) + (MAP + (SETCHAR O 47) + ) + ) +(CHARACTER O 50 + (CHARWD R 0.42778) + (CHARHT R 0.750004) + (CHARDP R 0.25) + (MAP + (SETCHAR O 50) + ) + ) +(CHARACTER O 51 + (CHARWD R 0.42778) + (CHARHT R 0.750004) + (CHARDP R 0.25) + (MAP + (SETCHAR O 51) + ) + ) +(CHARACTER O 52 + (CHARWD R 0.550003) + (CHARHT R 0.750004) + (MAP + (SETCHAR O 52) + ) + ) +(CHARACTER O 53 + (CHARWD R 0.85556) + (CHARHT R 0.616671) + (CHARDP R 0.116667) + (MAP + (SETCHAR O 53) + ) + ) +(CHARACTER O 54 + (CHARWD R 0.305557) + (CHARHT R 0.130556) + (CHARDP R 0.1055565) + (MAP + (SETCHAR O 54) + ) + ) +(CHARACTER O 55 + (CHARWD R 0.366669) + (CHARHT R 0.458336) + (COMMENT + (LIG O 55 O 173) + ) + (MAP + (SETCHAR O 55) + ) + ) +(CHARACTER O 56 + (CHARWD R 0.305557) + (CHARHT R 0.130556) + (MAP + (SETCHAR O 56) + ) + ) +(CHARACTER O 57 + (CHARWD R 0.550003) + (CHARHT R 0.750004) + (CHARDP R 0.25) + (MAP + (SETCHAR O 57) + ) + ) +(CHARACTER C 0 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR C 0) + ) + ) +(CHARACTER C 1 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR C 1) + ) + ) +(CHARACTER C 2 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR C 2) + ) + ) +(CHARACTER C 3 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR C 3) + ) + ) +(CHARACTER C 4 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR C 4) + ) + ) +(CHARACTER C 5 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR C 5) + ) + ) +(CHARACTER C 6 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR C 6) + ) + ) +(CHARACTER C 7 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR C 7) + ) + ) +(CHARACTER C 8 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR C 8) + ) + ) +(CHARACTER C 9 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR C 9) + ) + ) +(CHARACTER O 72 + (CHARWD R 0.305557) + (CHARHT R 0.458336) + (MAP + (SETCHAR O 72) + ) + ) +(CHARACTER O 73 + (CHARWD R 0.305557) + (CHARHT R 0.458336) + (CHARDP R 0.1055565) + (MAP + (SETCHAR O 73) + ) + ) +(CHARACTER O 74 + (CHARWD R 0.366669) + (CHARHT R 0.500002) + (CHARDP R 0.194445) + (MAP + (SETCHAR O 74) + ) + ) +(CHARACTER O 75 + (CHARWD R 0.85556) + (CHARHT R 0.406254) + (CHARDP R -0.09375) + (MAP + (SETCHAR O 75) + ) + ) +(CHARACTER O 76 + (CHARWD R 0.519447) + (CHARHT R 0.500002) + (CHARDP R 0.194445) + (MAP + (SETCHAR O 76) + ) + ) +(CHARACTER O 77 + (CHARWD R 0.519447) + (CHARHT R 0.694447) + (COMMENT + (LIG O 140 O 76) + ) + (MAP + (SETCHAR O 77) + ) + ) +(CHARACTER O 100 + (CHARWD R 0.733337) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 100) + ) + ) +(CHARACTER C A + (CHARWD R 0.733337) + (CHARHT R 0.694447) + (COMMENT + (KRN C t R -0.030556) + (KRN C C R -0.030556) + (KRN C O R -0.030556) + (KRN C G R -0.030556) + (KRN C U R -0.030556) + (KRN C Q R -0.030556) + (KRN C T R -0.091667) + (KRN C Y R -0.091667) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + (MAP + (SETCHAR C A) + ) + ) +(CHARACTER C B + (CHARWD R 0.733337) + (CHARHT R 0.694447) + (MAP + (SETCHAR C B) + ) + ) +(CHARACTER C C + (CHARWD R 0.702782) + (CHARHT R 0.694447) + (MAP + (SETCHAR C C) + ) + ) +(CHARACTER C D + (CHARWD R 0.794449) + (CHARHT R 0.694447) + (COMMENT + (KRN C X R -0.030556) + (KRN C W R -0.030556) + (KRN C A R -0.030556) + (KRN C V R -0.030556) + (KRN C Y R -0.030556) + ) + (MAP + (SETCHAR C D) + ) + ) +(CHARACTER C E + (CHARWD R 0.64167) + (CHARHT R 0.694447) + (MAP + (SETCHAR C E) + ) + ) +(CHARACTER C F + (CHARWD R 0.6111145) + (CHARHT R 0.694447) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + (MAP + (SETCHAR C F) + ) + ) +(CHARACTER C G + (CHARWD R 0.733337) + (CHARHT R 0.694447) + (MAP + (SETCHAR C G) + ) + ) +(CHARACTER C H + (CHARWD R 0.794449) + (CHARHT R 0.694447) + (MAP + (SETCHAR C H) + ) + ) +(CHARACTER C I + (CHARWD R 0.330557) + (CHARHT R 0.694447) + (COMMENT + (KRN C I R 0.030556) + ) + (MAP + (SETCHAR C I) + ) + ) +(CHARACTER C J + (CHARWD R 0.519447) + (CHARHT R 0.694447) + (MAP + (SETCHAR C J) + ) + ) +(CHARACTER C K + (CHARWD R 0.763893) + (CHARHT R 0.694447) + (COMMENT + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + (MAP + (SETCHAR C K) + ) + ) +(CHARACTER C L + (CHARWD R 0.580559) + (CHARHT R 0.694447) + (COMMENT + (KRN C T R -0.091667) + (KRN C Y R -0.091667) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + (MAP + (SETCHAR C L) + ) + ) +(CHARACTER C M + (CHARWD R 0.977783) + (CHARHT R 0.694447) + (MAP + (SETCHAR C M) + ) + ) +(CHARACTER C N + (CHARWD R 0.794449) + (CHARHT R 0.694447) + (MAP + (SETCHAR C N) + ) + ) +(CHARACTER C O + (CHARWD R 0.794449) + (CHARHT R 0.694447) + (COMMENT + (KRN C X R -0.030556) + (KRN C W R -0.030556) + (KRN C A R -0.030556) + (KRN C V R -0.030556) + (KRN C Y R -0.030556) + ) + (MAP + (SETCHAR C O) + ) + ) +(CHARACTER C P + (CHARWD R 0.702782) + (CHARHT R 0.694447) + (COMMENT + (KRN C A R -0.091667) + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN O 56 R -0.091667) + (KRN O 54 R -0.091667) + ) + (MAP + (SETCHAR C P) + ) + ) +(CHARACTER C Q + (CHARWD R 0.794449) + (CHARHT R 0.694447) + (CHARDP R 0.1055565) + (MAP + (SETCHAR C Q) + ) + ) +(CHARACTER C R + (CHARWD R 0.702782) + (CHARHT R 0.694447) + (MAP + (SETCHAR C R) + ) + ) +(CHARACTER C S + (CHARWD R 0.6111145) + (CHARHT R 0.694447) + (MAP + (SETCHAR C S) + ) + ) +(CHARACTER C T + (CHARWD R 0.733337) + (CHARHT R 0.694447) + (COMMENT + (KRN C y R -0.091667) + (KRN C e R -0.091667) + (KRN C o R -0.091667) + (KRN C r R -0.091667) + (KRN C a R -0.091667) + (KRN C A R -0.091667) + (KRN C u R -0.091667) + ) + (MAP + (SETCHAR C T) + ) + ) +(CHARACTER C U + (CHARWD R 0.763893) + (CHARHT R 0.694447) + (MAP + (SETCHAR C U) + ) + ) +(CHARACTER C V + (CHARWD R 0.733337) + (CHARHT R 0.694447) + (CHARIC R 0.015278) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + (MAP + (SETCHAR C V) + ) + ) +(CHARACTER C W + (CHARWD R 1.038895) + (CHARHT R 0.694447) + (CHARIC R 0.015278) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C u R -0.030556) + (KRN C r R -0.030556) + (KRN C a R -0.030556) + (KRN C A R -0.091667) + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + (MAP + (SETCHAR C W) + ) + ) +(CHARACTER C X + (CHARWD R 0.733337) + (CHARHT R 0.694447) + (COMMENT + (KRN C O R -0.030556) + (KRN C C R -0.030556) + (KRN C G R -0.030556) + (KRN C Q R -0.030556) + ) + (MAP + (SETCHAR C X) + ) + ) +(CHARACTER C Y + (CHARWD R 0.733337) + (CHARHT R 0.694447) + (CHARIC R 0.0275) + (COMMENT + (KRN C e R -0.091667) + (KRN C o R -0.091667) + (KRN C r R -0.091667) + (KRN C a R -0.091667) + (KRN C A R -0.091667) + (KRN C u R -0.091667) + ) + (MAP + (SETCHAR C Y) + ) + ) +(CHARACTER C Z + (CHARWD R 0.672226) + (CHARHT R 0.694447) + (MAP + (SETCHAR C Z) + ) + ) +(CHARACTER O 133 + (CHARWD R 0.343058) + (CHARHT R 0.750004) + (CHARDP R 0.25) + (MAP + (SETCHAR O 133) + ) + ) +(CHARACTER O 134 + (CHARWD R 0.558336) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 134) + ) + ) +(CHARACTER O 135 + (CHARWD R 0.343058) + (CHARHT R 0.750004) + (CHARDP R 0.25) + (MAP + (SETCHAR O 135) + ) + ) +(CHARACTER O 136 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 136) + ) + ) +(CHARACTER O 137 + (CHARWD R 0.531258) + (CHARDP R 0.098606) + (MAP + (SELECTFONT D 1) + (SETCHAR O 137) + ) + ) +(CHARACTER O 140 + (CHARWD R 0.305557) + (CHARHT R 0.694447) + (COMMENT + (LIG O 140 O 134) + ) + (MAP + (SETCHAR O 140) + ) + ) +(CHARACTER C a + (CHARWD R 0.525003) + (CHARHT R 0.458336) + (COMMENT + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + (MAP + (SETCHAR C a) + ) + ) +(CHARACTER C b + (CHARWD R 0.561115) + (CHARHT R 0.694447) + (COMMENT + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + (MAP + (SETCHAR C b) + ) + ) +(CHARACTER C c + (CHARWD R 0.488892) + (CHARHT R 0.458336) + (MAP + (SETCHAR C c) + ) + ) +(CHARACTER C d + (CHARWD R 0.561115) + (CHARHT R 0.694447) + (MAP + (SETCHAR C d) + ) + ) +(CHARACTER C e + (CHARWD R 0.511114) + (CHARHT R 0.458336) + (MAP + (SETCHAR C e) + ) + ) +(CHARACTER C f + (CHARWD R 0.336113) + (CHARHT R 0.694447) + (CHARIC R 0.076389) + (COMMENT + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.076389) + (KRN O 77 R 0.076389) + (KRN O 41 R 0.076389) + (KRN O 51 R 0.076389) + (KRN O 135 R 0.076389) + ) + (MAP + (SETCHAR C f) + ) + ) +(CHARACTER C g + (CHARWD R 0.550003) + (CHARHT R 0.458336) + (CHARDP R 0.194445) + (CHARIC R 0.015278) + (COMMENT + (KRN C j R 0.030556) + ) + (MAP + (SETCHAR C g) + ) + ) +(CHARACTER C h + (CHARWD R 0.561115) + (CHARHT R 0.694447) + (MAP + (SETCHAR C h) + ) + ) +(CHARACTER C i + (CHARWD R 0.255558) + (CHARHT R 0.694447) + (MAP + (SETCHAR C i) + ) + ) +(CHARACTER C j + (CHARWD R 0.286114) + (CHARHT R 0.694447) + (CHARDP R 0.194445) + (MAP + (SETCHAR C j) + ) + ) +(CHARACTER C k + (CHARWD R 0.53056) + (CHARHT R 0.694447) + (COMMENT + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN C o R -0.030556) + (KRN C c R -0.030556) + ) + (MAP + (SETCHAR C k) + ) + ) +(CHARACTER C l + (CHARWD R 0.255558) + (CHARHT R 0.694447) + (MAP + (SETCHAR C l) + ) + ) +(CHARACTER C m + (CHARWD R 0.8666725) + (CHARHT R 0.458336) + (MAP + (SETCHAR C m) + ) + ) +(CHARACTER C n + (CHARWD R 0.561115) + (CHARHT R 0.458336) + (MAP + (SETCHAR C n) + ) + ) +(CHARACTER C o + (CHARWD R 0.550003) + (CHARHT R 0.458336) + (COMMENT + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + (MAP + (SETCHAR C o) + ) + ) +(CHARACTER C p + (CHARWD R 0.561115) + (CHARHT R 0.458336) + (CHARDP R 0.194445) + (COMMENT + (KRN C e R 0.030556) + (KRN C o R 0.030556) + (KRN C x R -0.030556) + (KRN C d R 0.030556) + (KRN C c R 0.030556) + (KRN C q R 0.030556) + (KRN C r R -0.030556) + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + (MAP + (SETCHAR C p) + ) + ) +(CHARACTER C q + (CHARWD R 0.561115) + (CHARHT R 0.458336) + (CHARDP R 0.194445) + (MAP + (SETCHAR C q) + ) + ) +(CHARACTER C r + (CHARWD R 0.372225) + (CHARHT R 0.458336) + (CHARIC R 0.015278) + (MAP + (SETCHAR C r) + ) + ) +(CHARACTER C s + (CHARWD R 0.421669) + (CHARHT R 0.458336) + (MAP + (SETCHAR C s) + ) + ) +(CHARACTER C t + (CHARWD R 0.404169) + (CHARHT R 0.589293) + (COMMENT + (KRN C y R -0.030556) + (KRN C w R -0.030556) + ) + (MAP + (SETCHAR C t) + ) + ) +(CHARACTER C u + (CHARWD R 0.561115) + (CHARHT R 0.458336) + (COMMENT + (KRN C w R -0.030556) + ) + (MAP + (SETCHAR C u) + ) + ) +(CHARACTER C v + (CHARWD R 0.500004) + (CHARHT R 0.458336) + (CHARIC R 0.015278) + (MAP + (SETCHAR C v) + ) + ) +(CHARACTER C w + (CHARWD R 0.74445) + (CHARHT R 0.458336) + (CHARIC R 0.015278) + (COMMENT + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN C o R -0.030556) + (KRN C c R -0.030556) + ) + (MAP + (SETCHAR C w) + ) + ) +(CHARACTER C x + (CHARWD R 0.500004) + (CHARHT R 0.458336) + (MAP + (SETCHAR C x) + ) + ) +(CHARACTER C y + (CHARWD R 0.500004) + (CHARHT R 0.458336) + (CHARDP R 0.194445) + (CHARIC R 0.015278) + (COMMENT + (KRN C o R -0.030556) + (KRN C e R -0.030556) + (KRN C a R -0.030556) + (KRN O 56 R -0.091667) + (KRN O 54 R -0.091667) + ) + (MAP + (SETCHAR C y) + ) + ) +(CHARACTER C z + (CHARWD R 0.476391) + (CHARHT R 0.458336) + (MAP + (SETCHAR C z) + ) + ) +(CHARACTER O 173 + (CHARWD R 0.550003) + (CHARHT R 0.458336) + (CHARIC R 0.030556) + (COMMENT + (LIG O 55 O 174) + ) + (MAP + (SETCHAR O 173) + ) + ) +(CHARACTER O 174 + (CHARWD R 1.100006) + (CHARHT R 0.458336) + (CHARIC R 0.030556) + (MAP + (SETCHAR O 174) + ) + ) +(CHARACTER O 175 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 175) + ) + ) +(CHARACTER O 176 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 176) + ) + ) +(CHARACTER O 177 + (CHARWD R 0.550003) + (CHARHT R 0.694447) + (MAP + (SETCHAR O 177) + ) + ) diff --git a/support/splint/tex/fonts/idssbx9.tfm b/support/splint/tex/fonts/idssbx9.tfm Binary files differnew file mode 100644 index 0000000000..115613ee9e --- /dev/null +++ b/support/splint/tex/fonts/idssbx9.tfm diff --git a/support/splint/tex/fonts/idssbx9.vf b/support/splint/tex/fonts/idssbx9.vf Binary files differnew file mode 100644 index 0000000000..6400d32378 --- /dev/null +++ b/support/splint/tex/fonts/idssbx9.vf diff --git a/support/splint/tex/fonts/idssbx9.vpl b/support/splint/tex/fonts/idssbx9.vpl new file mode 100644 index 0000000000..6aed8d41c9 --- /dev/null +++ b/support/splint/tex/fonts/idssbx9.vpl @@ -0,0 +1,1310 @@ +(VTITLE ) +(FAMILY UNSPECIFIED) +(FACE F MRR) +(CODINGSCHEME UNSPECIFIED) +(DESIGNSIZE R 9.0) +(COMMENT DESIGNSIZE IS IN POINTS) +(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE) +(CHECKSUM O 12247465251) +(SEVENBITSAFEFLAG TRUE) +(FONTDIMEN + (SLANT R 0.0) + (SPACE R 0.366669) + (STRETCH R 0.183334) + (SHRINK R 0.122223) + (XHEIGHT R 0.45833) + (QUAD R 1.100006) + (EXTRASPACE R 0.122223) + ) +(MAPFONT D 0 + (FONTNAME cmssbx9) + (FONTCHECKSUM O 37341233162) + (FONTAT R 1.0) + (FONTDSIZE R 9.0) + ) +(MAPFONT D 1 + (FONTNAME cmtt9) + (FONTCHECKSUM O 33751047000) + (FONTAT R 1.0) + (FONTDSIZE R 9.0) + ) +(LIGTABLE + (LABEL O 40) + (KRN C l R -0.255556) + (KRN C L R -0.293058) + (STOP) + (LABEL C f) + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.076389) + (KRN O 77 R 0.076389) + (KRN O 41 R 0.076389) + (KRN O 51 R 0.076389) + (KRN O 135 R 0.076389) + (STOP) + (LABEL O 13) + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.076389) + (KRN O 77 R 0.076389) + (KRN O 41 R 0.076389) + (KRN O 51 R 0.076389) + (KRN O 135 R 0.076389) + (STOP) + (LABEL O 140) + (LIG O 140 O 134) + (STOP) + (LABEL O 47) + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + (STOP) + (LABEL O 55) + (LIG O 55 O 173) + (STOP) + (LABEL O 173) + (LIG O 55 O 174) + (STOP) + (LABEL O 41) + (LIG O 140 O 74) + (STOP) + (LABEL O 77) + (LIG O 140 O 76) + (STOP) + (LABEL C k) + (LABEL C w) + (KRN C e R -0.030557) + (KRN C a R -0.030557) + (KRN C o R -0.030557) + (KRN C c R -0.030557) + (STOP) + (LABEL C P) + (KRN C A R -0.091668) + (LABEL C y) + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C a R -0.030557) + (KRN O 56 R -0.091668) + (KRN O 54 R -0.091668) + (STOP) + (LABEL C F) + (LABEL C V) + (LABEL C W) + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C u R -0.030557) + (KRN C r R -0.030557) + (KRN C a R -0.030557) + (KRN C A R -0.091668) + (LABEL C K) + (LABEL C X) + (KRN C O R -0.030557) + (KRN C C R -0.030557) + (KRN C G R -0.030557) + (KRN C Q R -0.030557) + (STOP) + (LABEL C T) + (KRN C y R -0.091668) + (LABEL C Y) + (KRN C e R -0.091668) + (KRN C o R -0.091668) + (KRN C r R -0.091668) + (KRN C a R -0.091668) + (KRN C A R -0.091668) + (KRN C u R -0.091668) + (STOP) + (LABEL C D) + (LABEL C O) + (KRN C X R -0.030557) + (KRN C W R -0.030557) + (KRN C A R -0.030557) + (KRN C V R -0.030557) + (KRN C Y R -0.030557) + (STOP) + (LABEL C b) + (LABEL C o) + (LABEL C p) + (KRN C e R 0.030557) + (KRN C o R 0.030557) + (KRN C x R -0.030557) + (KRN C d R 0.030557) + (KRN C c R 0.030557) + (KRN C q R 0.030557) + (LABEL C a) + (KRN C r R -0.030557) + (LABEL C t) + (KRN C y R -0.030557) + (LABEL C u) + (KRN C w R -0.030557) + (STOP) + (LABEL C A) + (KRN C t R -0.030557) + (KRN C C R -0.030557) + (KRN C O R -0.030557) + (KRN C G R -0.030557) + (KRN C U R -0.030557) + (KRN C Q R -0.030557) + (LABEL C L) + (KRN C T R -0.091668) + (KRN C Y R -0.091668) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + (STOP) + (LABEL C g) + (KRN C j R 0.030557) + (STOP) + (LABEL C I) + (KRN C I R 0.030557) + (STOP) + ) +(CHARACTER O 0 + (CHARWD R 0.58056) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 0) + ) + ) +(CHARACTER O 1 + (CHARWD R 0.916672) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 1) + ) + ) +(CHARACTER O 2 + (CHARWD R 0.85556) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 2) + ) + ) +(CHARACTER O 3 + (CHARWD R 0.672228) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 3) + ) + ) +(CHARACTER O 4 + (CHARWD R 0.733337) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 4) + ) + ) +(CHARACTER O 5 + (CHARWD R 0.794451) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 5) + ) + ) +(CHARACTER O 6 + (CHARWD R 0.794449) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 6) + ) + ) +(CHARACTER O 7 + (CHARWD R 0.85556) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 7) + ) + ) +(CHARACTER O 10 + (CHARWD R 0.794449) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 10) + ) + ) +(CHARACTER O 11 + (CHARWD R 0.85556) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 11) + ) + ) +(CHARACTER O 12 + (CHARWD R 0.794449) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 12) + ) + ) +(CHARACTER O 13 + (CHARWD R 0.641671) + (CHARHT R 0.694439) + (CHARIC R 0.076389) + (COMMENT + (LIG C i O 16) + (LIG C l O 17) + (KRN O 47 R 0.076389) + (KRN O 77 R 0.076389) + (KRN O 41 R 0.076389) + (KRN O 51 R 0.076389) + (KRN O 135 R 0.076389) + ) + (MAP + (SETCHAR O 13) + ) + ) +(CHARACTER O 14 + (CHARWD R 0.586114) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 14) + ) + ) +(CHARACTER O 15 + (CHARWD R 0.586114) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 15) + ) + ) +(CHARACTER O 16 + (CHARWD R 0.891671) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 16) + ) + ) +(CHARACTER O 17 + (CHARWD R 0.891671) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 17) + ) + ) +(CHARACTER O 20 + (CHARWD R 0.255556) + (CHARHT R 0.45833) + (MAP + (SETCHAR O 20) + ) + ) +(CHARACTER O 21 + (CHARWD R 0.286113) + (CHARHT R 0.45833) + (CHARDP R 0.194443) + (MAP + (SETCHAR O 21) + ) + ) +(CHARACTER O 22 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 22) + ) + ) +(CHARACTER O 23 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 23) + ) + ) +(CHARACTER O 24 + (CHARWD R 0.550003) + (CHARHT R 0.635411) + (MAP + (SETCHAR O 24) + ) + ) +(CHARACTER O 25 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 25) + ) + ) +(CHARACTER O 26 + (CHARWD R 0.550003) + (CHARHT R 0.63777) + (MAP + (SETCHAR O 26) + ) + ) +(CHARACTER O 27 + (CHARWD R 0.733339) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 27) + ) + ) +(CHARACTER O 30 + (CHARWD R 0.488892) + (CHARDP R 0.170137) + (MAP + (SETCHAR O 30) + ) + ) +(CHARACTER O 31 + (CHARWD R 0.565279) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 31) + ) + ) +(CHARACTER O 32 + (CHARWD R 0.794449) + (CHARHT R 0.45833) + (MAP + (SETCHAR O 32) + ) + ) +(CHARACTER O 33 + (CHARWD R 0.85556) + (CHARHT R 0.45833) + (MAP + (SETCHAR O 33) + ) + ) +(CHARACTER O 34 + (CHARWD R 0.550003) + (CHARHT R 0.5555525) + (CHARDP R 0.097222) + (MAP + (SETCHAR O 34) + ) + ) +(CHARACTER O 35 + (CHARWD R 0.947228) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 35) + ) + ) +(CHARACTER O 36 + (CHARWD R 1.069451) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 36) + ) + ) +(CHARACTER O 37 + (CHARWD R 0.85556) + (CHARHT R 0.743051) + (CHARDP R 0.048611) + (MAP + (SETCHAR O 37) + ) + ) +(CHARACTER O 40 + (CHARWD R 0.255556) + (CHARHT R 0.45833) + (COMMENT + (KRN C l R -0.255556) + (KRN C L R -0.293058) + ) + (MAP + (SETCHAR O 40) + ) + ) +(CHARACTER O 41 + (CHARWD R 0.366669) + (CHARHT R 0.694439) + (COMMENT + (LIG O 140 O 74) + ) + (MAP + (SETCHAR O 41) + ) + ) +(CHARACTER O 42 + (CHARWD R 0.558334) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 42) + ) + ) +(CHARACTER O 43 + (CHARWD R 0.916672) + (CHARHT R 0.694439) + (CHARDP R 0.194441) + (MAP + (SETCHAR O 43) + ) + ) +(CHARACTER O 44 + (CHARWD R 0.550003) + (CHARHT R 0.749995) + (CHARDP R 0.055555) + (MAP + (SETCHAR O 44) + ) + ) +(CHARACTER O 45 + (CHARWD R 1.029114) + (CHARHT R 0.749995) + (CHARDP R 0.055555) + (MAP + (SETCHAR O 45) + ) + ) +(CHARACTER O 46 + (CHARWD R 0.83056) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 46) + ) + ) +(CHARACTER O 47 + (CHARWD R 0.305557) + (CHARHT R 0.694439) + (COMMENT + (LIG O 47 O 42) + (KRN O 77 R 0.122223) + (KRN O 41 R 0.122223) + ) + (MAP + (SETCHAR O 47) + ) + ) +(CHARACTER O 50 + (CHARWD R 0.42778) + (CHARHT R 0.749995) + (CHARDP R 0.249996) + (MAP + (SETCHAR O 50) + ) + ) +(CHARACTER O 51 + (CHARWD R 0.42778) + (CHARHT R 0.749995) + (CHARDP R 0.249996) + (MAP + (SETCHAR O 51) + ) + ) +(CHARACTER O 52 + (CHARWD R 0.550003) + (CHARHT R 0.749995) + (MAP + (SETCHAR O 52) + ) + ) +(CHARACTER O 53 + (CHARWD R 0.85556) + (CHARHT R 0.616667) + (CHARDP R 0.116671) + (MAP + (SETCHAR O 53) + ) + ) +(CHARACTER O 54 + (CHARWD R 0.305557) + (CHARHT R 0.130554) + (CHARDP R 0.105556) + (MAP + (SETCHAR O 54) + ) + ) +(CHARACTER O 55 + (CHARWD R 0.366669) + (CHARHT R 0.45833) + (COMMENT + (LIG O 55 O 173) + ) + (MAP + (SETCHAR O 55) + ) + ) +(CHARACTER O 56 + (CHARWD R 0.305557) + (CHARHT R 0.130554) + (MAP + (SETCHAR O 56) + ) + ) +(CHARACTER O 57 + (CHARWD R 0.550003) + (CHARHT R 0.749995) + (CHARDP R 0.249996) + (MAP + (SETCHAR O 57) + ) + ) +(CHARACTER C 0 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR C 0) + ) + ) +(CHARACTER C 1 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR C 1) + ) + ) +(CHARACTER C 2 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR C 2) + ) + ) +(CHARACTER C 3 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR C 3) + ) + ) +(CHARACTER C 4 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR C 4) + ) + ) +(CHARACTER C 5 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR C 5) + ) + ) +(CHARACTER C 6 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR C 6) + ) + ) +(CHARACTER C 7 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR C 7) + ) + ) +(CHARACTER C 8 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR C 8) + ) + ) +(CHARACTER C 9 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR C 9) + ) + ) +(CHARACTER O 72 + (CHARWD R 0.305557) + (CHARHT R 0.45833) + (MAP + (SETCHAR O 72) + ) + ) +(CHARACTER O 73 + (CHARWD R 0.305557) + (CHARHT R 0.45833) + (CHARDP R 0.105556) + (MAP + (SETCHAR O 73) + ) + ) +(CHARACTER O 74 + (CHARWD R 0.366669) + (CHARHT R 0.499996) + (CHARDP R 0.194443) + (MAP + (SETCHAR O 74) + ) + ) +(CHARACTER O 75 + (CHARWD R 0.85556) + (CHARHT R 0.406248) + (CHARDP R -0.093748) + (MAP + (SETCHAR O 75) + ) + ) +(CHARACTER O 76 + (CHARWD R 0.519448) + (CHARHT R 0.499996) + (CHARDP R 0.194443) + (MAP + (SETCHAR O 76) + ) + ) +(CHARACTER O 77 + (CHARWD R 0.519448) + (CHARHT R 0.694439) + (COMMENT + (LIG O 140 O 76) + ) + (MAP + (SETCHAR O 77) + ) + ) +(CHARACTER O 100 + (CHARWD R 0.733337) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 100) + ) + ) +(CHARACTER C A + (CHARWD R 0.733339) + (CHARHT R 0.694439) + (COMMENT + (KRN C t R -0.030557) + (KRN C C R -0.030557) + (KRN C O R -0.030557) + (KRN C G R -0.030557) + (KRN C U R -0.030557) + (KRN C Q R -0.030557) + (KRN C T R -0.091668) + (KRN C Y R -0.091668) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + (MAP + (SETCHAR C A) + ) + ) +(CHARACTER C B + (CHARWD R 0.733339) + (CHARHT R 0.694439) + (MAP + (SETCHAR C B) + ) + ) +(CHARACTER C C + (CHARWD R 0.702783) + (CHARHT R 0.694439) + (MAP + (SETCHAR C C) + ) + ) +(CHARACTER C D + (CHARWD R 0.794451) + (CHARHT R 0.694439) + (COMMENT + (KRN C X R -0.030557) + (KRN C W R -0.030557) + (KRN C A R -0.030557) + (KRN C V R -0.030557) + (KRN C Y R -0.030557) + ) + (MAP + (SETCHAR C D) + ) + ) +(CHARACTER C E + (CHARWD R 0.641671) + (CHARHT R 0.694439) + (MAP + (SETCHAR C E) + ) + ) +(CHARACTER C F + (CHARWD R 0.611116) + (CHARHT R 0.694439) + (COMMENT + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C u R -0.030557) + (KRN C r R -0.030557) + (KRN C a R -0.030557) + (KRN C A R -0.091668) + (KRN C O R -0.030557) + (KRN C C R -0.030557) + (KRN C G R -0.030557) + (KRN C Q R -0.030557) + ) + (MAP + (SETCHAR C F) + ) + ) +(CHARACTER C G + (CHARWD R 0.733337) + (CHARHT R 0.694439) + (MAP + (SETCHAR C G) + ) + ) +(CHARACTER C H + (CHARWD R 0.794451) + (CHARHT R 0.694439) + (MAP + (SETCHAR C H) + ) + ) +(CHARACTER C I + (CHARWD R 0.330558) + (CHARHT R 0.694439) + (COMMENT + (KRN C I R 0.030557) + ) + (MAP + (SETCHAR C I) + ) + ) +(CHARACTER C J + (CHARWD R 0.519448) + (CHARHT R 0.694439) + (MAP + (SETCHAR C J) + ) + ) +(CHARACTER C K + (CHARWD R 0.763896) + (CHARHT R 0.694439) + (COMMENT + (KRN C O R -0.030557) + (KRN C C R -0.030557) + (KRN C G R -0.030557) + (KRN C Q R -0.030557) + ) + (MAP + (SETCHAR C K) + ) + ) +(CHARACTER C L + (CHARWD R 0.58056) + (CHARHT R 0.694439) + (COMMENT + (KRN C T R -0.091668) + (KRN C Y R -0.091668) + (KRN C V R -0.122223) + (KRN C W R -0.122223) + ) + (MAP + (SETCHAR C L) + ) + ) +(CHARACTER C M + (CHARWD R 0.977785) + (CHARHT R 0.694439) + (MAP + (SETCHAR C M) + ) + ) +(CHARACTER C N + (CHARWD R 0.794451) + (CHARHT R 0.694439) + (MAP + (SETCHAR C N) + ) + ) +(CHARACTER C O + (CHARWD R 0.794449) + (CHARHT R 0.694439) + (COMMENT + (KRN C X R -0.030557) + (KRN C W R -0.030557) + (KRN C A R -0.030557) + (KRN C V R -0.030557) + (KRN C Y R -0.030557) + ) + (MAP + (SETCHAR C O) + ) + ) +(CHARACTER C P + (CHARWD R 0.702783) + (CHARHT R 0.694439) + (COMMENT + (KRN C A R -0.091668) + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C a R -0.030557) + (KRN O 56 R -0.091668) + (KRN O 54 R -0.091668) + ) + (MAP + (SETCHAR C P) + ) + ) +(CHARACTER C Q + (CHARWD R 0.794449) + (CHARHT R 0.694439) + (CHARDP R 0.105556) + (MAP + (SETCHAR C Q) + ) + ) +(CHARACTER C R + (CHARWD R 0.702783) + (CHARHT R 0.694439) + (MAP + (SETCHAR C R) + ) + ) +(CHARACTER C S + (CHARWD R 0.6111145) + (CHARHT R 0.694439) + (MAP + (SETCHAR C S) + ) + ) +(CHARACTER C T + (CHARWD R 0.733337) + (CHARHT R 0.694439) + (COMMENT + (KRN C y R -0.091668) + (KRN C e R -0.091668) + (KRN C o R -0.091668) + (KRN C r R -0.091668) + (KRN C a R -0.091668) + (KRN C A R -0.091668) + (KRN C u R -0.091668) + ) + (MAP + (SETCHAR C T) + ) + ) +(CHARACTER C U + (CHARWD R 0.763896) + (CHARHT R 0.694439) + (MAP + (SETCHAR C U) + ) + ) +(CHARACTER C V + (CHARWD R 0.733339) + (CHARHT R 0.694439) + (CHARIC R 0.015278) + (COMMENT + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C u R -0.030557) + (KRN C r R -0.030557) + (KRN C a R -0.030557) + (KRN C A R -0.091668) + (KRN C O R -0.030557) + (KRN C C R -0.030557) + (KRN C G R -0.030557) + (KRN C Q R -0.030557) + ) + (MAP + (SETCHAR C V) + ) + ) +(CHARACTER C W + (CHARWD R 1.038897) + (CHARHT R 0.694439) + (CHARIC R 0.015278) + (COMMENT + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C u R -0.030557) + (KRN C r R -0.030557) + (KRN C a R -0.030557) + (KRN C A R -0.091668) + (KRN C O R -0.030557) + (KRN C C R -0.030557) + (KRN C G R -0.030557) + (KRN C Q R -0.030557) + ) + (MAP + (SETCHAR C W) + ) + ) +(CHARACTER C X + (CHARWD R 0.733339) + (CHARHT R 0.694439) + (COMMENT + (KRN C O R -0.030557) + (KRN C C R -0.030557) + (KRN C G R -0.030557) + (KRN C Q R -0.030557) + ) + (MAP + (SETCHAR C X) + ) + ) +(CHARACTER C Y + (CHARWD R 0.733339) + (CHARHT R 0.694439) + (CHARIC R 0.0275) + (COMMENT + (KRN C e R -0.091668) + (KRN C o R -0.091668) + (KRN C r R -0.091668) + (KRN C a R -0.091668) + (KRN C A R -0.091668) + (KRN C u R -0.091668) + ) + (MAP + (SETCHAR C Y) + ) + ) +(CHARACTER C Z + (CHARWD R 0.672226) + (CHARHT R 0.694439) + (MAP + (SETCHAR C Z) + ) + ) +(CHARACTER O 133 + (CHARWD R 0.343059) + (CHARHT R 0.749995) + (CHARDP R 0.249996) + (MAP + (SETCHAR O 133) + ) + ) +(CHARACTER O 134 + (CHARWD R 0.558334) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 134) + ) + ) +(CHARACTER O 135 + (CHARWD R 0.343059) + (CHARHT R 0.749995) + (CHARDP R 0.249996) + (MAP + (SETCHAR O 135) + ) + ) +(CHARACTER O 136 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 136) + ) + ) +(CHARACTER O 137 + (CHARWD R 0.524994) + (CHARDP R 0.097453) + (MAP + (SELECTFONT D 1) + (SETCHAR O 137) + ) + ) +(CHARACTER O 140 + (CHARWD R 0.305557) + (CHARHT R 0.694439) + (COMMENT + (LIG O 140 O 134) + ) + (MAP + (SETCHAR O 140) + ) + ) +(CHARACTER C a + (CHARWD R 0.5250025) + (CHARHT R 0.45833) + (COMMENT + (KRN C r R -0.030557) + (KRN C y R -0.030557) + (KRN C w R -0.030557) + ) + (MAP + (SETCHAR C a) + ) + ) +(CHARACTER C b + (CHARWD R 0.561113) + (CHARHT R 0.694439) + (COMMENT + (KRN C e R 0.030557) + (KRN C o R 0.030557) + (KRN C x R -0.030557) + (KRN C d R 0.030557) + (KRN C c R 0.030557) + (KRN C q R 0.030557) + (KRN C r R -0.030557) + (KRN C y R -0.030557) + (KRN C w R -0.030557) + ) + (MAP + (SETCHAR C b) + ) + ) +(CHARACTER C c + (CHARWD R 0.488892) + (CHARHT R 0.45833) + (MAP + (SETCHAR C c) + ) + ) +(CHARACTER C d + (CHARWD R 0.561113) + (CHARHT R 0.694439) + (MAP + (SETCHAR C d) + ) + ) +(CHARACTER C e + (CHARWD R 0.511113) + (CHARHT R 0.45833) + (MAP + (SETCHAR C e) + ) + ) +(CHARACTER C f + (CHARWD R 0.336114) + (CHARHT R 0.694439) + (CHARIC R 0.076389) + (COMMENT + (LIG C i O 14) + (LIG C f O 13) + (LIG C l O 15) + (KRN O 47 R 0.076389) + (KRN O 77 R 0.076389) + (KRN O 41 R 0.076389) + (KRN O 51 R 0.076389) + (KRN O 135 R 0.076389) + ) + (MAP + (SETCHAR C f) + ) + ) +(CHARACTER C g + (CHARWD R 0.550003) + (CHARHT R 0.45833) + (CHARDP R 0.194443) + (CHARIC R 0.015278) + (COMMENT + (KRN C j R 0.030557) + ) + (MAP + (SETCHAR C g) + ) + ) +(CHARACTER C h + (CHARWD R 0.561113) + (CHARHT R 0.694439) + (MAP + (SETCHAR C h) + ) + ) +(CHARACTER C i + (CHARWD R 0.255556) + (CHARHT R 0.694439) + (MAP + (SETCHAR C i) + ) + ) +(CHARACTER C j + (CHARWD R 0.286113) + (CHARHT R 0.694439) + (CHARDP R 0.194443) + (MAP + (SETCHAR C j) + ) + ) +(CHARACTER C k + (CHARWD R 0.530559) + (CHARHT R 0.694439) + (COMMENT + (KRN C e R -0.030557) + (KRN C a R -0.030557) + (KRN C o R -0.030557) + (KRN C c R -0.030557) + ) + (MAP + (SETCHAR C k) + ) + ) +(CHARACTER C l + (CHARWD R 0.255556) + (CHARHT R 0.694439) + (MAP + (SETCHAR C l) + ) + ) +(CHARACTER C m + (CHARWD R 0.866671) + (CHARHT R 0.45833) + (MAP + (SETCHAR C m) + ) + ) +(CHARACTER C n + (CHARWD R 0.561113) + (CHARHT R 0.45833) + (MAP + (SETCHAR C n) + ) + ) +(CHARACTER C o + (CHARWD R 0.550003) + (CHARHT R 0.45833) + (COMMENT + (KRN C e R 0.030557) + (KRN C o R 0.030557) + (KRN C x R -0.030557) + (KRN C d R 0.030557) + (KRN C c R 0.030557) + (KRN C q R 0.030557) + (KRN C r R -0.030557) + (KRN C y R -0.030557) + (KRN C w R -0.030557) + ) + (MAP + (SETCHAR C o) + ) + ) +(CHARACTER C p + (CHARWD R 0.561113) + (CHARHT R 0.45833) + (CHARDP R 0.194443) + (COMMENT + (KRN C e R 0.030557) + (KRN C o R 0.030557) + (KRN C x R -0.030557) + (KRN C d R 0.030557) + (KRN C c R 0.030557) + (KRN C q R 0.030557) + (KRN C r R -0.030557) + (KRN C y R -0.030557) + (KRN C w R -0.030557) + ) + (MAP + (SETCHAR C p) + ) + ) +(CHARACTER C q + (CHARWD R 0.561113) + (CHARHT R 0.45833) + (CHARDP R 0.194443) + (MAP + (SETCHAR C q) + ) + ) +(CHARACTER C r + (CHARWD R 0.372225) + (CHARHT R 0.45833) + (CHARIC R 0.015278) + (MAP + (SETCHAR C r) + ) + ) +(CHARACTER C s + (CHARWD R 0.42167) + (CHARHT R 0.45833) + (MAP + (SETCHAR C s) + ) + ) +(CHARACTER C t + (CHARWD R 0.404168) + (CHARHT R 0.589284) + (COMMENT + (KRN C y R -0.030557) + (KRN C w R -0.030557) + ) + (MAP + (SETCHAR C t) + ) + ) +(CHARACTER C u + (CHARWD R 0.561113) + (CHARHT R 0.45833) + (COMMENT + (KRN C w R -0.030557) + ) + (MAP + (SETCHAR C u) + ) + ) +(CHARACTER C v + (CHARWD R 0.500002) + (CHARHT R 0.45833) + (CHARIC R 0.015278) + (MAP + (SETCHAR C v) + ) + ) +(CHARACTER C w + (CHARWD R 0.744448) + (CHARHT R 0.45833) + (CHARIC R 0.015278) + (COMMENT + (KRN C e R -0.030557) + (KRN C a R -0.030557) + (KRN C o R -0.030557) + (KRN C c R -0.030557) + ) + (MAP + (SETCHAR C w) + ) + ) +(CHARACTER C x + (CHARWD R 0.500002) + (CHARHT R 0.45833) + (MAP + (SETCHAR C x) + ) + ) +(CHARACTER C y + (CHARWD R 0.500002) + (CHARHT R 0.45833) + (CHARDP R 0.194443) + (CHARIC R 0.015278) + (COMMENT + (KRN C o R -0.030557) + (KRN C e R -0.030557) + (KRN C a R -0.030557) + (KRN O 56 R -0.091668) + (KRN O 54 R -0.091668) + ) + (MAP + (SETCHAR C y) + ) + ) +(CHARACTER C z + (CHARWD R 0.476391) + (CHARHT R 0.45833) + (MAP + (SETCHAR C z) + ) + ) +(CHARACTER O 173 + (CHARWD R 0.550003) + (CHARHT R 0.45833) + (CHARIC R 0.030557) + (COMMENT + (LIG O 55 O 174) + ) + (MAP + (SETCHAR O 173) + ) + ) +(CHARACTER O 174 + (CHARWD R 1.100006) + (CHARHT R 0.45833) + (CHARIC R 0.030557) + (MAP + (SETCHAR O 174) + ) + ) +(CHARACTER O 175 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 175) + ) + ) +(CHARACTER O 176 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 176) + ) + ) +(CHARACTER O 177 + (CHARWD R 0.550003) + (CHARHT R 0.694439) + (MAP + (SETCHAR O 177) + ) + ) |