summaryrefslogtreecommitdiff
path: root/support/splint/tex/fonts
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/tex/fonts')
-rw-r--r--support/splint/tex/fonts/idssbx10.vpl911
-rw-r--r--support/splint/tex/fonts/idssbx12.vpl908
-rw-r--r--support/splint/tex/fonts/idssbx5.vpl908
-rw-r--r--support/splint/tex/fonts/idssbx6.tfmbin0 -> 1280 bytes
-rw-r--r--support/splint/tex/fonts/idssbx6.vfbin0 -> 828 bytes
-rw-r--r--support/splint/tex/fonts/idssbx6.vpl1310
-rw-r--r--support/splint/tex/fonts/idssbx7.tfmbin0 -> 1296 bytes
-rw-r--r--support/splint/tex/fonts/idssbx7.vfbin0 -> 828 bytes
-rw-r--r--support/splint/tex/fonts/idssbx7.vpl913
-rw-r--r--support/splint/tex/fonts/idssbx8.tfmbin0 -> 1280 bytes
-rw-r--r--support/splint/tex/fonts/idssbx8.vfbin0 -> 828 bytes
-rw-r--r--support/splint/tex/fonts/idssbx8.vpl1310
-rw-r--r--support/splint/tex/fonts/idssbx9.tfmbin0 -> 1296 bytes
-rw-r--r--support/splint/tex/fonts/idssbx9.vfbin0 -> 828 bytes
-rw-r--r--support/splint/tex/fonts/idssbx9.vpl1310
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
new file mode 100644
index 0000000000..d2f8ef2795
--- /dev/null
+++ b/support/splint/tex/fonts/idssbx6.tfm
Binary files differ
diff --git a/support/splint/tex/fonts/idssbx6.vf b/support/splint/tex/fonts/idssbx6.vf
new file mode 100644
index 0000000000..17abea3d67
--- /dev/null
+++ b/support/splint/tex/fonts/idssbx6.vf
Binary files differ
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
new file mode 100644
index 0000000000..25bb930eff
--- /dev/null
+++ b/support/splint/tex/fonts/idssbx7.tfm
Binary files differ
diff --git a/support/splint/tex/fonts/idssbx7.vf b/support/splint/tex/fonts/idssbx7.vf
new file mode 100644
index 0000000000..4c920e9b26
--- /dev/null
+++ b/support/splint/tex/fonts/idssbx7.vf
Binary files differ
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
new file mode 100644
index 0000000000..4cea679434
--- /dev/null
+++ b/support/splint/tex/fonts/idssbx8.tfm
Binary files differ
diff --git a/support/splint/tex/fonts/idssbx8.vf b/support/splint/tex/fonts/idssbx8.vf
new file mode 100644
index 0000000000..b7b988e26d
--- /dev/null
+++ b/support/splint/tex/fonts/idssbx8.vf
Binary files differ
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
new file mode 100644
index 0000000000..115613ee9e
--- /dev/null
+++ b/support/splint/tex/fonts/idssbx9.tfm
Binary files differ
diff --git a/support/splint/tex/fonts/idssbx9.vf b/support/splint/tex/fonts/idssbx9.vf
new file mode 100644
index 0000000000..6400d32378
--- /dev/null
+++ b/support/splint/tex/fonts/idssbx9.vf
Binary files differ
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)
+ )
+ )