- (<= #x00C0 code #x00D6) (<= #x00D8 code #x00F6)
- (<= #x00F8 code #x00FF) (<= #x0100 code #x0131)
- (<= #x0134 code #x013E) (<= #x0141 code #x0148)
- (<= #x014A code #x017E) (<= #x0180 code #x01C3)
- (<= #x01CD code #x01F0) (<= #x01F4 code #x01F5)
- (<= #x01FA code #x0217) (<= #x0250 code #x02A8)
- (<= #x02BB code #x02C1) (= code #x0386) (<= #x0388 code #x038A)
- (= code #x038C) (<= #x038E code #x03A1) (<= #x03A3 code #x03CE)
- (<= #x03D0 code #x03D6) (= code #x03DA) (= code #x03DC) (= code #x03DE)
- (= code #x03E0) (<= #x03E2 code #x03F3) (<= #x0401 code #x040C)
- (<= #x040E code #x044F) (<= #x0451 code #x045C)
- (<= #x045E code #x0481) (<= #x0490 code #x04C4)
- (<= #x04C7 code #x04C8) (<= #x04CB code #x04CC)
- (<= #x04D0 code #x04EB) (<= #x04EE code #x04F5)
- (<= #x04F8 code #x04F9) (<= #x0531 code #x0556) (= code #x0559)
- (<= #x0561 code #x0586) (<= #x05D0 code #x05EA)
- (<= #x05F0 code #x05F2) (<= #x0621 code #x063A)
- (<= #x0641 code #x064A) (<= #x0671 code #x06B7)
- (<= #x06BA code #x06BE) (<= #x06C0 code #x06CE)
- (<= #x06D0 code #x06D3) (= code #x06D5) (<= #x06E5 code #x06E6)
- (<= #x0905 code #x0939) (= code #x093D) (<= #x0958 code #x0961)
- (<= #x0985 code #x098C) (<= #x098F code #x0990)
- (<= #x0993 code #x09A8) (<= #x09AA code #x09B0) (= code #x09B2)
- (<= #x09B6 code #x09B9) (<= #x09DC code #x09DD)
- (<= #x09DF code #x09E1) (<= #x09F0 code #x09F1)
- (<= #x0A05 code #x0A0A) (<= #x0A0F code #x0A10)
- (<= #x0A13 code #x0A28) (<= #x0A2A code #x0A30)
- (<= #x0A32 code #x0A33) (<= #x0A35 code #x0A36)
- (<= #x0A38 code #x0A39) (<= #x0A59 code #x0A5C) (= code #x0A5E)
- (<= #x0A72 code #x0A74) (<= #x0A85 code #x0A8B) (= code #x0A8D)
- (<= #x0A8F code #x0A91) (<= #x0A93 code #x0AA8)
- (<= #x0AAA code #x0AB0) (<= #x0AB2 code #x0AB3)
- (<= #x0AB5 code #x0AB9) (<= #x0ABD code #x0AE0)
- (<= #x0B05 code #x0B0C) (<= #x0B0F code #x0B10)
- (<= #x0B13 code #x0B28) (<= #x0B2A code #x0B30)
- (<= #x0B32 code #x0B33) (<= #x0B36 code #x0B39) (= code #x0B3D)
- (<= #x0B5C code #x0B5D) (<= #x0B5F code #x0B61)
- (<= #x0B85 code #x0B8A) (<= #x0B8E code #x0B90)
- (<= #x0B92 code #x0B95) (<= #x0B99 code #x0B9A) (= code #x0B9C)
- (<= #x0B9E code #x0B9F) (<= #x0BA3 code #x0BA4)
- (<= #x0BA8 code #x0BAA) (<= #x0BAE code #x0BB5)
- (<= #x0BB7 code #x0BB9) (<= #x0C05 code #x0C0C)
- (<= #x0C0E code #x0C10) (<= #x0C12 code #x0C28)
- (<= #x0C2A code #x0C33) (<= #x0C35 code #x0C39)
- (<= #x0C60 code #x0C61) (<= #x0C85 code #x0C8C)
- (<= #x0C8E code #x0C90) (<= #x0C92 code #x0CA8)
- (<= #x0CAA code #x0CB3) (<= #x0CB5 code #x0CB9) (= code #x0CDE)
- (<= #x0CE0 code #x0CE1) (<= #x0D05 code #x0D0C)
- (<= #x0D0E code #x0D10) (<= #x0D12 code #x0D28)
- (<= #x0D2A code #x0D39) (<= #x0D60 code #x0D61)
- (<= #x0E01 code #x0E2E) (= code #x0E30) (<= #x0E32 code #x0E33)
- (<= #x0E40 code #x0E45) (<= #x0E81 code #x0E82) (= code #x0E84)
- (<= #x0E87 code #x0E88) (= code #x0E8A) (= code #x0E8D)
- (<= #x0E94 code #x0E97) (<= #x0E99 code #x0E9F)
- (<= #x0EA1 code #x0EA3) (= code #x0EA5) (= code #x0EA7)
- (<= #x0EAA code #x0EAB) (<= #x0EAD code #x0EAE) (= code #x0EB0)
- (<= #x0EB2 code #x0EB3) (= code #x0EBD) (<= #x0EC0 code #x0EC4)
- (<= #x0F40 code #x0F47) (<= #x0F49 code #x0F69)
- (<= #x10A0 code #x10C5) (<= #x10D0 code #x10F6) (= code #x1100)
- (<= #x1102 code #x1103) (<= #x1105 code #x1107) (= code #x1109)
- (<= #x110B code #x110C) (<= #x110E code #x1112) (= code #x113C)
- (= code #x113E) (= code #x1140) (= code #x114C) (= code #x114E) (= code #x1150)
- (<= #x1154 code #x1155) (= code #x1159) (<= #x115F code #x1161)
- (= code #x1163) (= code #x1165) (= code #x1167) (= code #x1169)
- (<= #x116D code #x116E) (<= #x1172 code #x1173) (= code #x1175)
- (= code #x119E) (= code #x11A8) (= code #x11AB) (<= #x11AE code #x11AF)
- (<= #x11B7 code #x11B8) (= code #x11BA) (<= #x11BC code #x11C2)
- (= code #x11EB) (= code #x11F0) (= code #x11F9) (<= #x1E00 code #x1E9B)
- (<= #x1EA0 code #x1EF9) (<= #x1F00 code #x1F15)
- (<= #x1F18 code #x1F1D) (<= #x1F20 code #x1F45)
- (<= #x1F48 code #x1F4D) (<= #x1F50 code #x1F57) (= code #x1F59)
- (= code #x1F5B) (= code #x1F5D) (<= #x1F5F code #x1F7D)
- (<= #x1F80 code #x1FB4) (<= #x1FB6 code #x1FBC) (= code #x1FBE)
- (<= #x1FC2 code #x1FC4) (<= #x1FC6 code #x1FCC)
- (<= #x1FD0 code #x1FD3) (<= #x1FD6 code #x1FDB)
- (<= #x1FE0 code #x1FEC) (<= #x1FF2 code #x1FF4)
- (<= #x1FF6 code #x1FFC) (= code #x2126) (<= #x212A code #x212B)
- (= code #x212E) (<= #x2180 code #x2182) (<= #x3041 code #x3094)
- (<= #x30A1 code #x30FA) (<= #x3105 code #x312C)
- (<= #xAC00 code #xD7A3)
- )))
+ (<= #x00C0 code #x00D6) (<= #x00D8 code #x00F6)
+ (<= #x00F8 code #x00FF) (<= #x0100 code #x0131)
+ (<= #x0134 code #x013E) (<= #x0141 code #x0148)
+ (<= #x014A code #x017E) (<= #x0180 code #x01C3)
+ (<= #x01CD code #x01F0) (<= #x01F4 code #x01F5)
+ (<= #x01FA code #x0217) (<= #x0250 code #x02A8)
+ (<= #x02BB code #x02C1) (= code #x0386) (<= #x0388 code #x038A)
+ (= code #x038C) (<= #x038E code #x03A1) (<= #x03A3 code #x03CE)
+ (<= #x03D0 code #x03D6) (= code #x03DA) (= code #x03DC) (= code #x03DE)
+ (= code #x03E0) (<= #x03E2 code #x03F3) (<= #x0401 code #x040C)
+ (<= #x040E code #x044F) (<= #x0451 code #x045C)
+ (<= #x045E code #x0481) (<= #x0490 code #x04C4)
+ (<= #x04C7 code #x04C8) (<= #x04CB code #x04CC)
+ (<= #x04D0 code #x04EB) (<= #x04EE code #x04F5)
+ (<= #x04F8 code #x04F9) (<= #x0531 code #x0556) (= code #x0559)
+ (<= #x0561 code #x0586) (<= #x05D0 code #x05EA)
+ (<= #x05F0 code #x05F2) (<= #x0621 code #x063A)
+ (<= #x0641 code #x064A) (<= #x0671 code #x06B7)
+ (<= #x06BA code #x06BE) (<= #x06C0 code #x06CE)
+ (<= #x06D0 code #x06D3) (= code #x06D5) (<= #x06E5 code #x06E6)
+ (<= #x0905 code #x0939) (= code #x093D) (<= #x0958 code #x0961)
+ (<= #x0985 code #x098C) (<= #x098F code #x0990)
+ (<= #x0993 code #x09A8) (<= #x09AA code #x09B0) (= code #x09B2)
+ (<= #x09B6 code #x09B9) (<= #x09DC code #x09DD)
+ (<= #x09DF code #x09E1) (<= #x09F0 code #x09F1)
+ (<= #x0A05 code #x0A0A) (<= #x0A0F code #x0A10)
+ (<= #x0A13 code #x0A28) (<= #x0A2A code #x0A30)
+ (<= #x0A32 code #x0A33) (<= #x0A35 code #x0A36)
+ (<= #x0A38 code #x0A39) (<= #x0A59 code #x0A5C) (= code #x0A5E)
+ (<= #x0A72 code #x0A74) (<= #x0A85 code #x0A8B) (= code #x0A8D)
+ (<= #x0A8F code #x0A91) (<= #x0A93 code #x0AA8)
+ (<= #x0AAA code #x0AB0) (<= #x0AB2 code #x0AB3)
+ (<= #x0AB5 code #x0AB9) (<= #x0ABD code #x0AE0)
+ (<= #x0B05 code #x0B0C) (<= #x0B0F code #x0B10)
+ (<= #x0B13 code #x0B28) (<= #x0B2A code #x0B30)
+ (<= #x0B32 code #x0B33) (<= #x0B36 code #x0B39) (= code #x0B3D)
+ (<= #x0B5C code #x0B5D) (<= #x0B5F code #x0B61)
+ (<= #x0B85 code #x0B8A) (<= #x0B8E code #x0B90)
+ (<= #x0B92 code #x0B95) (<= #x0B99 code #x0B9A) (= code #x0B9C)
+ (<= #x0B9E code #x0B9F) (<= #x0BA3 code #x0BA4)
+ (<= #x0BA8 code #x0BAA) (<= #x0BAE code #x0BB5)
+ (<= #x0BB7 code #x0BB9) (<= #x0C05 code #x0C0C)
+ (<= #x0C0E code #x0C10) (<= #x0C12 code #x0C28)
+ (<= #x0C2A code #x0C33) (<= #x0C35 code #x0C39)
+ (<= #x0C60 code #x0C61) (<= #x0C85 code #x0C8C)
+ (<= #x0C8E code #x0C90) (<= #x0C92 code #x0CA8)
+ (<= #x0CAA code #x0CB3) (<= #x0CB5 code #x0CB9) (= code #x0CDE)
+ (<= #x0CE0 code #x0CE1) (<= #x0D05 code #x0D0C)
+ (<= #x0D0E code #x0D10) (<= #x0D12 code #x0D28)
+ (<= #x0D2A code #x0D39) (<= #x0D60 code #x0D61)
+ (<= #x0E01 code #x0E2E) (= code #x0E30) (<= #x0E32 code #x0E33)
+ (<= #x0E40 code #x0E45) (<= #x0E81 code #x0E82) (= code #x0E84)
+ (<= #x0E87 code #x0E88) (= code #x0E8A) (= code #x0E8D)
+ (<= #x0E94 code #x0E97) (<= #x0E99 code #x0E9F)
+ (<= #x0EA1 code #x0EA3) (= code #x0EA5) (= code #x0EA7)
+ (<= #x0EAA code #x0EAB) (<= #x0EAD code #x0EAE) (= code #x0EB0)
+ (<= #x0EB2 code #x0EB3) (= code #x0EBD) (<= #x0EC0 code #x0EC4)
+ (<= #x0F40 code #x0F47) (<= #x0F49 code #x0F69)
+ (<= #x10A0 code #x10C5) (<= #x10D0 code #x10F6) (= code #x1100)
+ (<= #x1102 code #x1103) (<= #x1105 code #x1107) (= code #x1109)
+ (<= #x110B code #x110C) (<= #x110E code #x1112) (= code #x113C)
+ (= code #x113E) (= code #x1140) (= code #x114C) (= code #x114E) (= code #x1150)
+ (<= #x1154 code #x1155) (= code #x1159) (<= #x115F code #x1161)
+ (= code #x1163) (= code #x1165) (= code #x1167) (= code #x1169)
+ (<= #x116D code #x116E) (<= #x1172 code #x1173) (= code #x1175)
+ (= code #x119E) (= code #x11A8) (= code #x11AB) (<= #x11AE code #x11AF)
+ (<= #x11B7 code #x11B8) (= code #x11BA) (<= #x11BC code #x11C2)
+ (= code #x11EB) (= code #x11F0) (= code #x11F9) (<= #x1E00 code #x1E9B)
+ (<= #x1EA0 code #x1EF9) (<= #x1F00 code #x1F15)
+ (<= #x1F18 code #x1F1D) (<= #x1F20 code #x1F45)
+ (<= #x1F48 code #x1F4D) (<= #x1F50 code #x1F57) (= code #x1F59)
+ (= code #x1F5B) (= code #x1F5D) (<= #x1F5F code #x1F7D)
+ (<= #x1F80 code #x1FB4) (<= #x1FB6 code #x1FBC) (= code #x1FBE)
+ (<= #x1FC2 code #x1FC4) (<= #x1FC6 code #x1FCC)
+ (<= #x1FD0 code #x1FD3) (<= #x1FD6 code #x1FDB)
+ (<= #x1FE0 code #x1FEC) (<= #x1FF2 code #x1FF4)
+ (<= #x1FF6 code #x1FFC) (= code #x2126) (<= #x212A code #x212B)
+ (= code #x212E) (<= #x2180 code #x2182) (<= #x3041 code #x3094)
+ (<= #x30A1 code #x30FA) (<= #x3105 code #x312C)
+ (<= #xAC00 code #xD7A3)
+ )))