# !!!!!!! DO NOT EDIT THIS FILE !!!!!!!
-# This file is built by mktables.PL from e.g. Unicode.txt.
+# This file is built by mktables from e.g. Unicode.txt.
# Any changes made here will be lost!
+# Built Mon Jan 14 15:52:42 2002.
+
return <<'END';
-002b
-003c 003e
-007c
-007e
-00ac
-00b1
-00d7
-00f7
-2044
-207a 207c
-208a 208c
-2190 2194
-219a 219b
-21a0
-21a3
-21a6
-21ae
-21ce 21cf
-21d2
-21d4
-2200 22f1
-2308 230b
-2320 2321
-25b7
-25c1
-266f
-fb29
-fe62
-fe64 fe66
-ff0b
-ff1c ff1e
-ff5c
-ff5e
-ffe2
-ffe9 ffec
-1d6c1
-1d6db
-1d6fb
-1d715
-1d735
-1d74f
-1d76f
-1d789
-1d7a9
-1d7c3
+002B
+003C 003E
+007C
+007E
+00AC
+00B1
+00D7
+00F7
+2044
+207A 207C
+208A 208C
+2190 2194
+219A 219B
+21A0
+21A3
+21A6
+21AE
+21CE 21CF
+21D2
+21D4
+2200 22F1
+2308 230B
+2320 2321
+25B7
+25C1
+266F
+FB29
+FE62
+FE64 FE66
+FF0B
+FF1C FF1E
+FF5C
+FF5E
+FFE2
+FFE9 FFEC
+1D6C1
+1D6DB
+1D6FB
+1D715
+1D735
+1D74F
+1D76F
+1D789
+1D7A9
+1D7C3
END