note
	description: "Unicode routines"
	library: "Gobo Eiffel Kernel Library"
	copyright: "Copyright (c) 2001-2018, Eric Bezault and others"
	license: "MIT License"
	date: "$Date: 2019-02-07 22:54:15 +0000 (Thu, 07 Feb 2019) $"
	revision: "$Revision: 102807 $"

class 
	UC_UNICODE_ROUTINES

create 
	default_create

feature {NONE} -- Initialization

	default_create
			-- Process instances of classes with no creation clause.
			-- (Default: do nothing.)
			-- (from ANY)
		do
		end
	
feature -- Access

	Canonical_decomposition_mapping: INTEGER_32 = 0
			-- Decomposition mapping is canonical
			-- (from UC_UNICODE_CONSTANTS)

	Close_punctuation_category: INTEGER_32 = 15
			-- Close punctuation
			-- (from UC_UNICODE_CONSTANTS)

	Compatibility_decomposition_mapping: INTEGER_32 = 16
			-- Decomposition mapping for unspecified compatibility character
			-- (from UC_UNICODE_CONSTANTS)

	Connector_punctuation_category: INTEGER_32 = 12
			-- Connector punctuation
			-- (from UC_UNICODE_CONSTANTS)

	Control_other_category: INTEGER_32 = 26
			-- Control character
			-- (from UC_UNICODE_CONSTANTS)

	Currency_symbol_category: INTEGER_32 = 20
			-- Currency symbol
			-- (from UC_UNICODE_CONSTANTS)

	Dash_punctuation_category: INTEGER_32 = 13
			-- Dash punctuation
			-- (from UC_UNICODE_CONSTANTS)

	Decimal_digit_number_category: INTEGER_32 = 9
			-- Decimal digit number
			-- (from UC_UNICODE_CONSTANTS)

	Encircled_decomposition_mapping: INTEGER_32 = 7
			-- Decomposition mapping for encircled form
			-- (from UC_UNICODE_CONSTANTS)

	Enclosing_mark_category: INTEGER_32 = 8
			-- Enclosing mark
			-- (from UC_UNICODE_CONSTANTS)

	Final_decomposition_mapping: INTEGER_32 = 5
			-- Decomposition mapping for Arabic final presentation form
			-- (from UC_UNICODE_CONSTANTS)

	Final_quote_punctuation_category: INTEGER_32 = 17
			-- Final_quote punctuation
			-- (from UC_UNICODE_CONSTANTS)

	Font_decomposition_mapping: INTEGER_32 = 1
			-- Decomposition mapping for font variant
			-- (from UC_UNICODE_CONSTANTS)

	Format_other_category: INTEGER_32 = 27
			-- Format character
			-- (from UC_UNICODE_CONSTANTS)

	Fraction_decomposition_mapping: INTEGER_32 = 15
			-- Decomposition mapping for vulgar fraction form
			-- (from UC_UNICODE_CONSTANTS)

	generating_type: TYPE [detachable UC_UNICODE_ROUTINES]
			-- Type of current object
			-- (type of which it is a direct instance)
			-- (from ANY)
		external
			"built_in"
		ensure -- from ANY
			generating_type_not_void: Result /= Void
		end

	generator: STRING_8
			-- Name of current object's generating class
			-- (base class of the type of which it is a direct instance)
			-- (from ANY)
		external
			"built_in"
		ensure -- from ANY
			generator_not_void: Result /= Void
			generator_not_empty: not Result.is_empty
		end

	Initial_decomposition_mapping: INTEGER_32 = 3
			-- Decomposition mapping for Arabic initial presentation form
			-- (from UC_UNICODE_CONSTANTS)

	Initial_quote_punctuation_category: INTEGER_32 = 16
			-- Initial punctuation
			-- (from UC_UNICODE_CONSTANTS)

	Isolated_decomposition_mapping: INTEGER_32 = 6
			-- Decomposition mapping for Arabic isolated presentation form
			-- (from UC_UNICODE_CONSTANTS)

	Letter_number_category: INTEGER_32 = 10
			-- Letter number
			-- (from UC_UNICODE_CONSTANTS)

	Line_separator_category: INTEGER_32 = 24
			-- Line separator
			-- (from UC_UNICODE_CONSTANTS)

	lower_code (a_code_point: INTEGER_32): INTEGER_32
			-- Code of lower-case character of character with code a_code_point
			-- (from UC_V510_CTYPE)
		require -- from UC_V510_CTYPE
			valid_code: valid_code (a_code_point)
		local
			i, j, k, a_rem: INTEGER_32
		do
			i := a_code_point // (65536)
			a_rem := a_code_point \\ (65536)
			j := a_rem // 256
			k := a_rem \\ 256
			Result := Lower_codes.item (i).item (j).item (k + 1)
			if Result = -1 then
				Result := a_code_point
			end
		ensure -- from UC_V510_CTYPE
			instance_free: class
			valid_lower_code: valid_code (Result)
		end

	Lowercase_letter_category: INTEGER_32 = 2
			-- Lower case letter
			-- (from UC_UNICODE_CONSTANTS)

	Math_symbol_category: INTEGER_32 = 19
			-- Mathematics symbol
			-- (from UC_UNICODE_CONSTANTS)

	Maximum_ascii_character: CHARACTER_8 = '%/127/'
			-- Largest ASCII character
			--		ensure
			--			definition: Result.code = maximum_ascii_code
			--		end
			-- (from UC_UNICODE_CONSTANTS)

	Maximum_ascii_character_code: INTEGER_32 = 127
			-- Largest code for ASCII characters
			-- (2^7 - 1)
			--		ensure
			--			definition: Result = 127
			--			small_enough: Result <= Platform.Maximum_byte_code
			--		end
			-- (from UC_UNICODE_CONSTANTS)

	Maximum_bmp_character_code: INTEGER_32 = 65535
			-- Largest code for unicode characters in Basic Multi-lingual Plane (FFFF);
			--		ensure
			--			definition: Result = 65535
			--		end
			-- (from UC_UNICODE_CONSTANTS)

	Maximum_unicode_character_code: INTEGER_32 = 1114111
			-- Largest code for unicode characters (10FFFF);
			-- Includes final two non-characters.
			--		ensure
			--			definition: Result = 1114111
			--		end
			-- (from UC_UNICODE_CONSTANTS)

	Maximum_unicode_surrogate_code: INTEGER_32 = 57343
			-- Highest unicode surrogate code-point (0xDFFF)
			--		ensure
			--			definition: Result = 57343
			--		end
			-- (from UC_UNICODE_CONSTANTS)

	Medial_decomposition_mapping: INTEGER_32 = 4
			-- Decomposition mapping for Arabic medial presentation form
			-- (from UC_UNICODE_CONSTANTS)

	Minimum_ascii_character: CHARACTER_8 = '%U'
			-- Smallest ASCII character
			--		ensure
			--			definition: Result.code = minimum_ascii_code
			--		end
			-- (from UC_UNICODE_CONSTANTS)

	Minimum_ascii_character_code: INTEGER_32 = 0
			-- Smallest code for ASCII characters
			--		ensure
			--			definition: Result = 0
			--		end
			-- (from UC_UNICODE_CONSTANTS)

	Minimum_unicode_character_code: INTEGER_32 = 0
			-- Smallest code for unicode characters
			--		ensure
			--			definition: Result = 0
			--		end
			-- (from UC_UNICODE_CONSTANTS)

	Minimum_unicode_surrogate_code: INTEGER_32 = 55296
			-- Lowest unicode surrogate code-point (0xD800)
			--		ensure
			--			definition: Result = 55296
			--		end
			-- (from UC_UNICODE_CONSTANTS)

	Modifier_letter_category: INTEGER_32 = 4
			-- Modifier letter
			-- (from UC_UNICODE_CONSTANTS)

	Modifier_symbol_category: INTEGER_32 = 21
			-- Modifier symbol
			-- (from UC_UNICODE_CONSTANTS)

	Narrow_decomposition_mapping: INTEGER_32 = 12
			-- Decomposition mapping for narrow (hankaku) compatibility character
			-- (from UC_UNICODE_CONSTANTS)

	No_break_decomposition_mapping: INTEGER_32 = 2
			-- Decomposition mapping for no-break variant
			-- (from UC_UNICODE_CONSTANTS)

	Non_spacing_mark_category: INTEGER_32 = 6
			-- Non-spacing mark
			-- (from UC_UNICODE_CONSTANTS)

	Open_punctuation_category: INTEGER_32 = 14
			-- Open punctuation
			-- (from UC_UNICODE_CONSTANTS)

	Other_letter_category: INTEGER_32 = 5
			-- Other letter
			-- (from UC_UNICODE_CONSTANTS)

	Other_number_category: INTEGER_32 = 11
			-- Other number
			-- (from UC_UNICODE_CONSTANTS)

	Other_punctuation_category: INTEGER_32 = 18
			-- Other punctuation
			-- (from UC_UNICODE_CONSTANTS)

	Other_symbol_category: INTEGER_32 = 22
			-- Other symbol
			-- (from UC_UNICODE_CONSTANTS)

	Paragraph_separator_category: INTEGER_32 = 25
			-- Paragraph separator
			-- (from UC_UNICODE_CONSTANTS)

	Platform: KL_PLATFORM
			-- Platform-dependent properties
			-- (from KL_SHARED_PLATFORM)
		once
			create Result
		ensure -- from KL_SHARED_PLATFORM
			instance_free: class
			platform_not_void: Result /= Void
		end

	Private_other_category: INTEGER_32 = 29
			-- Private-use character
			-- (from UC_UNICODE_CONSTANTS)

	Small_decomposition_mapping: INTEGER_32 = 13
			-- Decomposition mapping for small variant form (CNS compatibility)
			-- (from UC_UNICODE_CONSTANTS)

	Space_separator_category: INTEGER_32 = 23
			-- Space separator
			-- (from UC_UNICODE_CONSTANTS)

	Spacing_combining_mark_category: INTEGER_32 = 7
			-- Spacing combining mark
			-- (from UC_UNICODE_CONSTANTS)

	Square_decomposition_mapping: INTEGER_32 = 14
			-- Decomposition mapping for CJK squared font variant
			-- (from UC_UNICODE_CONSTANTS)

	Subscript_decomposition_mapping: INTEGER_32 = 9
			-- Decomposition mapping for subscript form
			-- (from UC_UNICODE_CONSTANTS)

	Superscript_decomposition_mapping: INTEGER_32 = 8
			-- Decomposition mapping for superscript form
			-- (from UC_UNICODE_CONSTANTS)

	Surrogate_other_category: INTEGER_32 = 28
			-- Surrogate character
			-- (from UC_UNICODE_CONSTANTS)

	title_code (a_code_point: INTEGER_32): INTEGER_32
			-- Code of title-case character of character with code a_code_point
			-- (from UC_V510_CTYPE)
		require -- from UC_V510_CTYPE
			valid_code: valid_code (a_code_point)
		local
			i, j, k, a_rem: INTEGER_32
		do
			i := a_code_point // (65536)
			a_rem := a_code_point \\ (65536)
			j := a_rem // 256
			k := a_rem \\ 256
			Result := Title_codes.item (i).item (j).item (k + 1)
			if Result = -1 then
				Result := a_code_point
			end
		ensure -- from UC_V510_CTYPE
			instance_free: class
			valid_title_code: valid_code (Result)
		end

	Titlecase_letter_category: INTEGER_32 = 3
			-- Title case letter
			-- (from UC_UNICODE_CONSTANTS)

	Unassigned_other_category: INTEGER_32 = 0
			-- Unassigned chacaracter
			-- (from UC_UNICODE_CONSTANTS)

	upper_code (a_code_point: INTEGER_32): INTEGER_32
			-- Code of upper-case character of character with code a_code_point
			-- (from UC_V510_CTYPE)
		require -- from UC_V510_CTYPE
			valid_code: valid_code (a_code_point)
		local
			i, j, k, a_rem: INTEGER_32
		do
			i := a_code_point // (65536)
			a_rem := a_code_point \\ (65536)
			j := a_rem // 256
			k := a_rem \\ 256
			Result := Upper_codes.item (i).item (j).item (k + 1)
			if Result = -1 then
				Result := a_code_point
			end
		ensure -- from UC_V510_CTYPE
			instance_free: class
			valid_upper_code: valid_code (Result)
		end

	Uppercase_letter_category: INTEGER_32 = 1
			-- Upper case letter
			-- (from UC_UNICODE_CONSTANTS)

	Vertical_decomposition_mapping: INTEGER_32 = 10
			-- Decomposition mapping for vertical layout presentation form
			-- (from UC_UNICODE_CONSTANTS)

	Wide_decomposition_mapping: INTEGER_32 = 11
			-- Decomposition mapping for wide (zenkaku) compatibility character
			-- (from UC_UNICODE_CONSTANTS)
	
feature {NONE} -- Access

	Integer_: KL_INTEGER_ROUTINES
			-- Routines that ought to be in class INTEGER
			-- (from KL_IMPORTED_INTEGER_ROUTINES)
		once
			create Result
		ensure -- from KL_IMPORTED_INTEGER_ROUTINES
			instance_free: class
			integer_routines_not_void: Result /= Void
		end

	Major_version: INTEGER_32
			-- Major version number of Unicode
			-- (from UC_V510_CTYPE_LOWERCASE)
		require -- from  UC_V510_CTYPE_UPPERCASE
			True
		require -- from  UC_V510_CTYPE_TITLECASE
			True
		once
			Result := 5
		end

	Minor_version: INTEGER_32
			-- Minor version number of Unicode
			-- (from UC_V510_CTYPE_LOWERCASE)
		require -- from  UC_V510_CTYPE_UPPERCASE
			True
		require -- from  UC_V510_CTYPE_TITLECASE
			True
		once
			Result := 1
		end

	Update_version: INTEGER_32
			-- Update version number of Unicode
			-- (from UC_V510_CTYPE_LOWERCASE)
		require -- from  UC_V510_CTYPE_UPPERCASE
			True
		require -- from  UC_V510_CTYPE_TITLECASE
			True
		once
			Result := 0
		end
	
feature -- Comparison

	frozen deep_equal (a: detachable ANY; b: like arg #1): BOOLEAN
			-- Are a and b either both void
			-- or attached to isomorphic object structures?
			-- (from ANY)
		do
			if a = Void then
				Result := b = Void
			else
				Result := b /= Void and then a.is_deep_equal (b)
			end
		ensure -- from ANY
			instance_free: class
			shallow_implies_deep: standard_equal (a, b) implies Result
			both_or_none_void: (a = Void) implies (Result = (b = Void))
			same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b))
			symmetric: Result implies deep_equal (b, a)
		end

	frozen equal (a: detachable ANY; b: like arg #1): BOOLEAN
			-- Are a and b either both void or attached
			-- to objects considered equal?
			-- (from ANY)
		do
			if a = Void then
				Result := b = Void
			else
				Result := b /= Void and then a.is_equal (b)
			end
		ensure -- from ANY
			instance_free: class
			definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.is_equal (b))
		end

	frozen is_deep_equal (other: UC_UNICODE_ROUTINES): BOOLEAN
			-- Are Current and other attached to isomorphic object structures?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		external
			"built_in"
		ensure -- from ANY
			shallow_implies_deep: standard_is_equal (other) implies Result
			same_type: Result implies same_type (other)
			symmetric: Result implies other.is_deep_equal (Current)
		end

	is_equal (other: UC_UNICODE_ROUTINES): BOOLEAN
			-- Is other attached to an object considered
			-- equal to current object?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		external
			"built_in"
		ensure -- from ANY
			symmetric: Result implies other ~ Current
			consistent: standard_is_equal (other) implies Result
		end

	frozen standard_equal (a: detachable ANY; b: like arg #1): BOOLEAN
			-- Are a and b either both void or attached to
			-- field-by-field identical objects of the same type?
			-- Always uses default object comparison criterion.
			-- (from ANY)
		do
			if a = Void then
				Result := b = Void
			else
				Result := b /= Void and then a.standard_is_equal (b)
			end
		ensure -- from ANY
			instance_free: class
			definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.standard_is_equal (b))
		end

	frozen standard_is_equal (other: UC_UNICODE_ROUTINES): BOOLEAN
			-- Is other attached to an object of the same type
			-- as current object, and field-by-field identical to it?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		external
			"built_in"
		ensure -- from ANY
			same_type: Result implies same_type (other)
			symmetric: Result implies other.standard_is_equal (Current)
		end
	
feature -- Status report

	code_to_string (a_code: INTEGER_32): STRING_8
			-- Return a string with a_code as its single character.
			-- (If the character code is bigger than the maximum for
			-- CHARACTER, the dynamic type of the result will be UC_STRING
			-- or a descendant.)
		require
			a_code_valid: valid_code (a_code)
		local
			a_unicode: UC_UTF8_STRING
		do
			if a_code <= Platform.Maximum_character_code then
				create Result.make (1)
				Result.append_character (Integer_.to_character (a_code))
			else
				create a_unicode.make (1)
				a_unicode.append_item_code (a_code)
				Result := a_unicode
			end
		ensure
			instance_free: class
			string_not_void: Result /= Void
			count_set: Result.count = 1
			code_set: Result.item_code (1) = a_code
		end

	conforms_to (other: ANY): BOOLEAN
			-- Does type of current object conform to type
			-- of other (as per Eiffel: The Language, chapter 13)?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		external
			"built_in"
		end

	is_ascii_string (a_string: STRING_8): BOOLEAN
			-- Does a_string contain only ASCII characters?
		require
			a_string_not_void: a_string /= Void
		local
			i, nb: INTEGER_32
		do
			if attached {UC_STRING} a_string as a_unicode then
				Result := a_unicode.is_ascii
			else
				Result := True
				nb := a_string.count
				from
					i := 1
				until
					i > nb
				loop
					if Maximum_ascii_character_code < a_string.item_code (i) then
						Result := False
						i := nb + 1
					else
						i := i + 1
					end
				end
			end
		ensure
			instance_free: class
		end

	is_bmp_code (a_code: INTEGER_32): BOOLEAN
			-- Does a_code lie within the BMP?
		do
			Result := a_code >= Minimum_unicode_character_code and a_code <= Maximum_bmp_character_code
		ensure
			instance_free: class
		end

	same_type (other: ANY): BOOLEAN
			-- Is type of current object identical to type of other?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		external
			"built_in"
		ensure -- from ANY
			definition: Result = (conforms_to (other) and other.conforms_to (Current))
		end

	valid_ascii_code (a_code: INTEGER_32): BOOLEAN
			-- Is a_code a valid ASCII code?
		do
			Result := (a_code >= Minimum_ascii_character_code and a_code <= Maximum_ascii_character_code)
		ensure
			instance_free: class
			definition: Result = (a_code >= Minimum_ascii_character_code and a_code <= Maximum_ascii_character_code)
		end

	valid_code (a_code: INTEGER_32): BOOLEAN
			-- Is a_code a valid unicode?
			-- (from UC_V510_CTYPE)
		do
			Result := (a_code >= Minimum_unicode_character_code and a_code <= Maximum_unicode_character_code)
		ensure -- from UC_V510_CTYPE
			instance_free: class
			definition: Result = (a_code >= Minimum_unicode_character_code and a_code <= Maximum_unicode_character_code)
		end

	valid_non_surrogate_code (a_code: INTEGER_32): BOOLEAN
			-- Is a_code a valid non-surrogate unicode?
			-- Include all non-characters.
		do
			Result := (a_code >= Minimum_unicode_character_code and a_code < Minimum_unicode_surrogate_code) or (a_code > Maximum_unicode_surrogate_code and a_code <= Maximum_unicode_character_code)
		ensure
			instance_free: class
		end
	
feature -- Duplication

	frozen clone (other: detachable ANY): like other
		obsolete "Use `twin' instead. [2017-05-31]"
			-- Void if other is void; otherwise new object
			-- equal to other
			--
			-- For non-void other, clone calls copy;
			-- to change copying/cloning semantics, redefine copy.
			-- (from ANY)
		do
			if other /= Void then
				Result := other.twin
			end
		ensure -- from ANY
			instance_free: class
			equal: Result ~ other
		end

	copy (other: UC_UNICODE_ROUTINES)
			-- Update current object using fields of object attached
			-- to other, so as to yield equal objects.
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
			type_identity: same_type (other)
		external
			"built_in"
		ensure -- from ANY
			is_equal: Current ~ other
		end

	frozen deep_clone (other: detachable ANY): like other
		obsolete "Use `deep_twin' instead. [2017-05-31]"
			-- Void if other is void: otherwise, new object structure
			-- recursively duplicated from the one attached to other
			-- (from ANY)
		do
			if other /= Void then
				Result := other.deep_twin
			end
		ensure -- from ANY
			instance_free: class
			deep_equal: deep_equal (other, Result)
		end

	frozen deep_copy (other: UC_UNICODE_ROUTINES)
			-- Effect equivalent to that of:
			--		copy (other . deep_twin)
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		do
			copy (other.deep_twin)
		ensure -- from ANY
			deep_equal: deep_equal (Current, other)
		end

	frozen deep_twin: UC_UNICODE_ROUTINES
			-- New object structure recursively duplicated from Current.
			-- (from ANY)
		external
			"built_in"
		ensure -- from ANY
			deep_twin_not_void: Result /= Void
			deep_equal: deep_equal (Current, Result)
		end

	frozen standard_clone (other: detachable ANY): like other
		obsolete "Use `standard_twin' instead. [2017-05-31]"
			-- Void if other is void; otherwise new object
			-- field-by-field identical to other.
			-- Always uses default copying semantics.
			-- (from ANY)
		do
			if other /= Void then
				Result := other.standard_twin
			end
		ensure -- from ANY
			instance_free: class
			equal: standard_equal (Result, other)
		end

	frozen standard_copy (other: UC_UNICODE_ROUTINES)
			-- Copy every field of other onto corresponding field
			-- of current object.
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
			type_identity: same_type (other)
		external
			"built_in"
		ensure -- from ANY
			is_standard_equal: standard_is_equal (other)
		end

	frozen standard_twin: UC_UNICODE_ROUTINES
			-- New object field-by-field identical to other.
			-- Always uses default copying semantics.
			-- (from ANY)
		external
			"built_in"
		ensure -- from ANY
			standard_twin_not_void: Result /= Void
			equal: standard_equal (Result, Current)
		end

	frozen twin: UC_UNICODE_ROUTINES
			-- New object equal to Current
			-- twin calls copy; to change copying/twinning semantics, redefine copy.
			-- (from ANY)
		external
			"built_in"
		ensure -- from ANY
			twin_not_void: Result /= Void
			is_equal: Result ~ Current
		end
	
feature -- Basic operations

	frozen as_attached: attached UC_UNICODE_ROUTINES
		obsolete "Remove calls to this feature. [2017-05-31]"
			-- Attached version of Current.
			-- (Can be used during transitional period to convert
			-- non-void-safe classes to void-safe ones.)
			-- (from ANY)
		do
			Result := Current
		end

	frozen default: detachable UC_UNICODE_ROUTINES
			-- Default value of object's type
			-- (from ANY)
		do
		end

	frozen default_pointer: POINTER
			-- Default value of type POINTER
			-- (Avoid the need to write p.default for
			-- some p of type POINTER.)
			-- (from ANY)
		do
		ensure -- from ANY
			instance_free: class
		end

	default_rescue
			-- Process exception for routines with no Rescue clause.
			-- (Default: do nothing.)
			-- (from ANY)
		do
		end

	frozen do_nothing
			-- Execute a null action.
			-- (from ANY)
		do
		ensure -- from ANY
			instance_free: class
		end
	
feature {NONE} -- Implementation

	Empty_lower_code_plane: SPECIAL [ARRAY [INTEGER_32]]
			-- Generated array plane
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			create Result.make_filled (Empty_lower_code_segment, 256)
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
			sub_arrays_not_void: True
		end

	Empty_lower_code_segment: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Empty_title_code_plane: SPECIAL [ARRAY [INTEGER_32]]
			-- Generated array plane
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			create Result.make_filled (Empty_title_code_segment, 256)
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
			sub_arrays_not_void: True
		end

	Empty_title_code_segment: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Empty_upper_code_plane: SPECIAL [ARRAY [INTEGER_32]]
			-- Generated array plane
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			create Result.make_filled (Empty_upper_code_segment, 256)
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
			sub_arrays_not_void: True
		end

	Empty_upper_code_segment: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0: SPECIAL [ARRAY [INTEGER_32]]
			-- Generated array plane
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			create Result.make_filled (Lower_code_plane_0_segment_0, 256)
			Result.put (Lower_code_plane_0_segment_1, 1)
			Result.put (Lower_code_plane_0_segment_2, 2)
			Result.put (Lower_code_plane_0_segment_3, 3)
			Result.put (Lower_code_plane_0_segment_4, 4)
			Result.put (Lower_code_plane_0_segment_5, 5)
			Result.put (Empty_lower_code_segment, 6)
			Result.put (Empty_lower_code_segment, 7)
			Result.put (Empty_lower_code_segment, 8)
			Result.put (Empty_lower_code_segment, 9)
			Result.put (Empty_lower_code_segment, 10)
			Result.put (Empty_lower_code_segment, 11)
			Result.put (Empty_lower_code_segment, 12)
			Result.put (Empty_lower_code_segment, 13)
			Result.put (Empty_lower_code_segment, 14)
			Result.put (Empty_lower_code_segment, 15)
			Result.put (Lower_code_plane_0_segment_16, 16)
			Result.put (Empty_lower_code_segment, 17)
			Result.put (Empty_lower_code_segment, 18)
			Result.put (Empty_lower_code_segment, 19)
			Result.put (Empty_lower_code_segment, 20)
			Result.put (Empty_lower_code_segment, 21)
			Result.put (Empty_lower_code_segment, 22)
			Result.put (Empty_lower_code_segment, 23)
			Result.put (Empty_lower_code_segment, 24)
			Result.put (Empty_lower_code_segment, 25)
			Result.put (Empty_lower_code_segment, 26)
			Result.put (Empty_lower_code_segment, 27)
			Result.put (Empty_lower_code_segment, 28)
			Result.put (Empty_lower_code_segment, 29)
			Result.put (Lower_code_plane_0_segment_30, 30)
			Result.put (Lower_code_plane_0_segment_31, 31)
			Result.put (Empty_lower_code_segment, 32)
			Result.put (Lower_code_plane_0_segment_33, 33)
			Result.put (Empty_lower_code_segment, 34)
			Result.put (Empty_lower_code_segment, 35)
			Result.put (Lower_code_plane_0_segment_36, 36)
			Result.put (Empty_lower_code_segment, 37)
			Result.put (Empty_lower_code_segment, 38)
			Result.put (Empty_lower_code_segment, 39)
			Result.put (Empty_lower_code_segment, 40)
			Result.put (Empty_lower_code_segment, 41)
			Result.put (Empty_lower_code_segment, 42)
			Result.put (Empty_lower_code_segment, 43)
			Result.put (Lower_code_plane_0_segment_44, 44)
			Result.put (Empty_lower_code_segment, 45)
			Result.put (Empty_lower_code_segment, 46)
			Result.put (Empty_lower_code_segment, 47)
			Result.put (Empty_lower_code_segment, 48)
			Result.put (Empty_lower_code_segment, 49)
			Result.put (Empty_lower_code_segment, 50)
			Result.put (Empty_lower_code_segment, 51)
			Result.put (Empty_lower_code_segment, 52)
			Result.put (Empty_lower_code_segment, 53)
			Result.put (Empty_lower_code_segment, 54)
			Result.put (Empty_lower_code_segment, 55)
			Result.put (Empty_lower_code_segment, 56)
			Result.put (Empty_lower_code_segment, 57)
			Result.put (Empty_lower_code_segment, 58)
			Result.put (Empty_lower_code_segment, 59)
			Result.put (Empty_lower_code_segment, 60)
			Result.put (Empty_lower_code_segment, 61)
			Result.put (Empty_lower_code_segment, 62)
			Result.put (Empty_lower_code_segment, 63)
			Result.put (Empty_lower_code_segment, 64)
			Result.put (Empty_lower_code_segment, 65)
			Result.put (Empty_lower_code_segment, 66)
			Result.put (Empty_lower_code_segment, 67)
			Result.put (Empty_lower_code_segment, 68)
			Result.put (Empty_lower_code_segment, 69)
			Result.put (Empty_lower_code_segment, 70)
			Result.put (Empty_lower_code_segment, 71)
			Result.put (Empty_lower_code_segment, 72)
			Result.put (Empty_lower_code_segment, 73)
			Result.put (Empty_lower_code_segment, 74)
			Result.put (Empty_lower_code_segment, 75)
			Result.put (Empty_lower_code_segment, 76)
			Result.put (Empty_lower_code_segment, 77)
			Result.put (Empty_lower_code_segment, 78)
			Result.put (Empty_lower_code_segment, 79)
			Result.put (Empty_lower_code_segment, 80)
			Result.put (Empty_lower_code_segment, 81)
			Result.put (Empty_lower_code_segment, 82)
			Result.put (Empty_lower_code_segment, 83)
			Result.put (Empty_lower_code_segment, 84)
			Result.put (Empty_lower_code_segment, 85)
			Result.put (Empty_lower_code_segment, 86)
			Result.put (Empty_lower_code_segment, 87)
			Result.put (Empty_lower_code_segment, 88)
			Result.put (Empty_lower_code_segment, 89)
			Result.put (Empty_lower_code_segment, 90)
			Result.put (Empty_lower_code_segment, 91)
			Result.put (Empty_lower_code_segment, 92)
			Result.put (Empty_lower_code_segment, 93)
			Result.put (Empty_lower_code_segment, 94)
			Result.put (Empty_lower_code_segment, 95)
			Result.put (Empty_lower_code_segment, 96)
			Result.put (Empty_lower_code_segment, 97)
			Result.put (Empty_lower_code_segment, 98)
			Result.put (Empty_lower_code_segment, 99)
			Result.put (Empty_lower_code_segment, 100)
			Result.put (Empty_lower_code_segment, 101)
			Result.put (Empty_lower_code_segment, 102)
			Result.put (Empty_lower_code_segment, 103)
			Result.put (Empty_lower_code_segment, 104)
			Result.put (Empty_lower_code_segment, 105)
			Result.put (Empty_lower_code_segment, 106)
			Result.put (Empty_lower_code_segment, 107)
			Result.put (Empty_lower_code_segment, 108)
			Result.put (Empty_lower_code_segment, 109)
			Result.put (Empty_lower_code_segment, 110)
			Result.put (Empty_lower_code_segment, 111)
			Result.put (Empty_lower_code_segment, 112)
			Result.put (Empty_lower_code_segment, 113)
			Result.put (Empty_lower_code_segment, 114)
			Result.put (Empty_lower_code_segment, 115)
			Result.put (Empty_lower_code_segment, 116)
			Result.put (Empty_lower_code_segment, 117)
			Result.put (Empty_lower_code_segment, 118)
			Result.put (Empty_lower_code_segment, 119)
			Result.put (Empty_lower_code_segment, 120)
			Result.put (Empty_lower_code_segment, 121)
			Result.put (Empty_lower_code_segment, 122)
			Result.put (Empty_lower_code_segment, 123)
			Result.put (Empty_lower_code_segment, 124)
			Result.put (Empty_lower_code_segment, 125)
			Result.put (Empty_lower_code_segment, 126)
			Result.put (Empty_lower_code_segment, 127)
			Result.put (Empty_lower_code_segment, 128)
			Result.put (Empty_lower_code_segment, 129)
			Result.put (Empty_lower_code_segment, 130)
			Result.put (Empty_lower_code_segment, 131)
			Result.put (Empty_lower_code_segment, 132)
			Result.put (Empty_lower_code_segment, 133)
			Result.put (Empty_lower_code_segment, 134)
			Result.put (Empty_lower_code_segment, 135)
			Result.put (Empty_lower_code_segment, 136)
			Result.put (Empty_lower_code_segment, 137)
			Result.put (Empty_lower_code_segment, 138)
			Result.put (Empty_lower_code_segment, 139)
			Result.put (Empty_lower_code_segment, 140)
			Result.put (Empty_lower_code_segment, 141)
			Result.put (Empty_lower_code_segment, 142)
			Result.put (Empty_lower_code_segment, 143)
			Result.put (Empty_lower_code_segment, 144)
			Result.put (Empty_lower_code_segment, 145)
			Result.put (Empty_lower_code_segment, 146)
			Result.put (Empty_lower_code_segment, 147)
			Result.put (Empty_lower_code_segment, 148)
			Result.put (Empty_lower_code_segment, 149)
			Result.put (Empty_lower_code_segment, 150)
			Result.put (Empty_lower_code_segment, 151)
			Result.put (Empty_lower_code_segment, 152)
			Result.put (Empty_lower_code_segment, 153)
			Result.put (Empty_lower_code_segment, 154)
			Result.put (Empty_lower_code_segment, 155)
			Result.put (Empty_lower_code_segment, 156)
			Result.put (Empty_lower_code_segment, 157)
			Result.put (Empty_lower_code_segment, 158)
			Result.put (Empty_lower_code_segment, 159)
			Result.put (Empty_lower_code_segment, 160)
			Result.put (Empty_lower_code_segment, 161)
			Result.put (Empty_lower_code_segment, 162)
			Result.put (Empty_lower_code_segment, 163)
			Result.put (Empty_lower_code_segment, 164)
			Result.put (Empty_lower_code_segment, 165)
			Result.put (Lower_code_plane_0_segment_166, 166)
			Result.put (Lower_code_plane_0_segment_167, 167)
			Result.put (Empty_lower_code_segment, 168)
			Result.put (Empty_lower_code_segment, 169)
			Result.put (Empty_lower_code_segment, 170)
			Result.put (Empty_lower_code_segment, 171)
			Result.put (Empty_lower_code_segment, 172)
			Result.put (Empty_lower_code_segment, 173)
			Result.put (Empty_lower_code_segment, 174)
			Result.put (Empty_lower_code_segment, 175)
			Result.put (Empty_lower_code_segment, 176)
			Result.put (Empty_lower_code_segment, 177)
			Result.put (Empty_lower_code_segment, 178)
			Result.put (Empty_lower_code_segment, 179)
			Result.put (Empty_lower_code_segment, 180)
			Result.put (Empty_lower_code_segment, 181)
			Result.put (Empty_lower_code_segment, 182)
			Result.put (Empty_lower_code_segment, 183)
			Result.put (Empty_lower_code_segment, 184)
			Result.put (Empty_lower_code_segment, 185)
			Result.put (Empty_lower_code_segment, 186)
			Result.put (Empty_lower_code_segment, 187)
			Result.put (Empty_lower_code_segment, 188)
			Result.put (Empty_lower_code_segment, 189)
			Result.put (Empty_lower_code_segment, 190)
			Result.put (Empty_lower_code_segment, 191)
			Result.put (Empty_lower_code_segment, 192)
			Result.put (Empty_lower_code_segment, 193)
			Result.put (Empty_lower_code_segment, 194)
			Result.put (Empty_lower_code_segment, 195)
			Result.put (Empty_lower_code_segment, 196)
			Result.put (Empty_lower_code_segment, 197)
			Result.put (Empty_lower_code_segment, 198)
			Result.put (Empty_lower_code_segment, 199)
			Result.put (Empty_lower_code_segment, 200)
			Result.put (Empty_lower_code_segment, 201)
			Result.put (Empty_lower_code_segment, 202)
			Result.put (Empty_lower_code_segment, 203)
			Result.put (Empty_lower_code_segment, 204)
			Result.put (Empty_lower_code_segment, 205)
			Result.put (Empty_lower_code_segment, 206)
			Result.put (Empty_lower_code_segment, 207)
			Result.put (Empty_lower_code_segment, 208)
			Result.put (Empty_lower_code_segment, 209)
			Result.put (Empty_lower_code_segment, 210)
			Result.put (Empty_lower_code_segment, 211)
			Result.put (Empty_lower_code_segment, 212)
			Result.put (Empty_lower_code_segment, 213)
			Result.put (Empty_lower_code_segment, 214)
			Result.put (Empty_lower_code_segment, 215)
			Result.put (Empty_lower_code_segment, 216)
			Result.put (Empty_lower_code_segment, 217)
			Result.put (Empty_lower_code_segment, 218)
			Result.put (Empty_lower_code_segment, 219)
			Result.put (Empty_lower_code_segment, 220)
			Result.put (Empty_lower_code_segment, 221)
			Result.put (Empty_lower_code_segment, 222)
			Result.put (Empty_lower_code_segment, 223)
			Result.put (Empty_lower_code_segment, 224)
			Result.put (Empty_lower_code_segment, 225)
			Result.put (Empty_lower_code_segment, 226)
			Result.put (Empty_lower_code_segment, 227)
			Result.put (Empty_lower_code_segment, 228)
			Result.put (Empty_lower_code_segment, 229)
			Result.put (Empty_lower_code_segment, 230)
			Result.put (Empty_lower_code_segment, 231)
			Result.put (Empty_lower_code_segment, 232)
			Result.put (Empty_lower_code_segment, 233)
			Result.put (Empty_lower_code_segment, 234)
			Result.put (Empty_lower_code_segment, 235)
			Result.put (Empty_lower_code_segment, 236)
			Result.put (Empty_lower_code_segment, 237)
			Result.put (Empty_lower_code_segment, 238)
			Result.put (Empty_lower_code_segment, 239)
			Result.put (Empty_lower_code_segment, 240)
			Result.put (Empty_lower_code_segment, 241)
			Result.put (Empty_lower_code_segment, 242)
			Result.put (Empty_lower_code_segment, 243)
			Result.put (Empty_lower_code_segment, 244)
			Result.put (Empty_lower_code_segment, 245)
			Result.put (Empty_lower_code_segment, 246)
			Result.put (Empty_lower_code_segment, 247)
			Result.put (Empty_lower_code_segment, 248)
			Result.put (Empty_lower_code_segment, 249)
			Result.put (Empty_lower_code_segment, 250)
			Result.put (Empty_lower_code_segment, 251)
			Result.put (Empty_lower_code_segment, 252)
			Result.put (Empty_lower_code_segment, 253)
			Result.put (Empty_lower_code_segment, 254)
			Result.put (Lower_code_plane_0_segment_255, 255)
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
			sub_arrays_not_void: True
		end

	Lower_code_plane_0_segment_0: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, -1, 248, 249, 250, 251, 252, 253, 254, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_1: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (257), -1, 259, -1, 261, -1, 263, -1, 265, -1, 267, -1, 269, -1, 271, -1, 273, -1, 275, -1, 277, -1, 279, -1, 281, -1, 283, -1, 285, -1, 287, -1, 289, -1, 291, -1, 293, -1, 295, -1, 297, -1, 299, -1, 301, -1, 303, -1, 105, -1, 307, -1, 309, -1, 311, -1, -1, 314, -1, 316, -1, 318, -1, 320, -1, 322, -1, 324, -1, 326, -1, 328, -1, -1, 331, -1, 333, -1, 335, -1, 337, -1, 339, -1, 341, -1, 343, -1, 345, -1, 347, -1, 349, -1, 351, -1, 353, -1, 355, -1, 357, -1, 359, -1, 361, -1, 363, -1, 365, -1, 367, -1, 369, -1, 371, -1, 373, -1, 375, -1, 255, 378, -1, 380, -1, 382, -1, -1, -1, 595, 387, -1, 389, -1, 596, 392, -1, 598, 599, 396, -1, -1, 477, 601, 603, 402, -1, 608, 611, -1, 617, 616, 409, -1, -1, -1, 623, 626, -1, 629, 417, -1, 419, -1, 421, -1, 640, 424, -1, 643, -1, -1, 429, -1, 648, 432, -1, 650, 651, 436, -1, 438, -1, 658, 441, -1, -1, -1, 445, -1, -1, -1, -1, -1, -1, -1, 454, 454, -1, 457, 457, -1, 460, 460, -1, 462, -1, 464, -1, 466, -1, 468, -1, 470, -1, 472, -1, 474, -1, 476, -1, -1, 479, -1, 481, -1, 483, -1, 485, -1, 487, -1, 489, -1, 491, -1, 493, -1, 495, -1, -1, 499, 499, -1, 501, -1, 405, 447, 505, -1, 507, -1, 509, -1, 511, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_16: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 11520, 11521, 11522, 11523, 11524, 11525, 11526, 11527, 11528, 11529, 11530, 11531, 11532, 11533, 11534, 11535, 11536, 11537, 11538, 11539, 11540, 11541, 11542, 11543, 11544, 11545, 11546, 11547, 11548, 11549, 11550, 11551, 11552, 11553, 11554, 11555, 11556, 11557, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_166: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42561, -1, 42563, -1, 42565, -1, 42567, -1, 42569, -1, 42571, -1, 42573, -1, 42575, -1, 42577, -1, 42579, -1, 42581, -1, 42583, -1, 42585, -1, 42587, -1, 42589, -1, 42591, -1, -1, -1, 42595, -1, 42597, -1, 42599, -1, 42601, -1, 42603, -1, 42605, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42625, -1, 42627, -1, 42629, -1, 42631, -1, 42633, -1, 42635, -1, 42637, -1, 42639, -1, 42641, -1, 42643, -1, 42645, -1, 42647, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_167: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42787, -1, 42789, -1, 42791, -1, 42793, -1, 42795, -1, 42797, -1, 42799, -1, -1, -1, 42803, -1, 42805, -1, 42807, -1, 42809, -1, 42811, -1, 42813, -1, 42815, -1, 42817, -1, 42819, -1, 42821, -1, 42823, -1, 42825, -1, 42827, -1, 42829, -1, 42831, -1, 42833, -1, 42835, -1, 42837, -1, 42839, -1, 42841, -1, 42843, -1, 42845, -1, 42847, -1, 42849, -1, 42851, -1, 42853, -1, 42855, -1, 42857, -1, 42859, -1, 42861, -1, 42863, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42874, -1, 42876, -1, 7545, 42879, -1, 42881, -1, 42883, -1, 42885, -1, 42887, -1, -1, -1, -1, 42892, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_2: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (513), -1, 515, -1, 517, -1, 519, -1, 521, -1, 523, -1, 525, -1, 527, -1, 529, -1, 531, -1, 533, -1, 535, -1, 537, -1, 539, -1, 541, -1, 543, -1, 414, -1, 547, -1, 549, -1, 551, -1, 553, -1, 555, -1, 557, -1, 559, -1, 561, -1, 563, -1, -1, -1, -1, -1, -1, -1, 11365, 572, -1, 410, 11366, -1, -1, 578, -1, 384, 649, 652, 583, -1, 585, -1, 587, -1, 589, -1, 591, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_255: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 65345, 65346, 65347, 65348, 65349, 65350, 65351, 65352, 65353, 65354, 65355, 65356, 65357, 65358, 65359, 65360, 65361, 65362, 65363, 65364, 65365, 65366, 65367, 65368, 65369, 65370, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_3: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 881, -1, 883, -1, -1, -1, 887, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 940, -1, 941, 942, 943, -1, 972, -1, 973, 974, -1, 945, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 956, 957, 958, 959, 960, 961, -1, 963, 964, 965, 966, 967, 968, 969, 970, 971, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 983, -1, -1, -1, -1, -1, -1, -1, -1, 985, -1, 987, -1, 989, -1, 991, -1, 993, -1, 995, -1, 997, -1, 999, -1, 1001, -1, 1003, -1, 1005, -1, 1007, -1, -1, -1, -1, -1, 952, -1, -1, 1016, -1, 1010, 1019, -1, -1, 891, 892, 893>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_30: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (7681), -1, 7683, -1, 7685, -1, 7687, -1, 7689, -1, 7691, -1, 7693, -1, 7695, -1, 7697, -1, 7699, -1, 7701, -1, 7703, -1, 7705, -1, 7707, -1, 7709, -1, 7711, -1, 7713, -1, 7715, -1, 7717, -1, 7719, -1, 7721, -1, 7723, -1, 7725, -1, 7727, -1, 7729, -1, 7731, -1, 7733, -1, 7735, -1, 7737, -1, 7739, -1, 7741, -1, 7743, -1, 7745, -1, 7747, -1, 7749, -1, 7751, -1, 7753, -1, 7755, -1, 7757, -1, 7759, -1, 7761, -1, 7763, -1, 7765, -1, 7767, -1, 7769, -1, 7771, -1, 7773, -1, 7775, -1, 7777, -1, 7779, -1, 7781, -1, 7783, -1, 7785, -1, 7787, -1, 7789, -1, 7791, -1, 7793, -1, 7795, -1, 7797, -1, 7799, -1, 7801, -1, 7803, -1, 7805, -1, 7807, -1, 7809, -1, 7811, -1, 7813, -1, 7815, -1, 7817, -1, 7819, -1, 7821, -1, 7823, -1, 7825, -1, 7827, -1, 7829, -1, -1, -1, -1, -1, -1, -1, -1, -1, 223, -1, 7841, -1, 7843, -1, 7845, -1, 7847, -1, 7849, -1, 7851, -1, 7853, -1, 7855, -1, 7857, -1, 7859, -1, 7861, -1, 7863, -1, 7865, -1, 7867, -1, 7869, -1, 7871, -1, 7873, -1, 7875, -1, 7877, -1, 7879, -1, 7881, -1, 7883, -1, 7885, -1, 7887, -1, 7889, -1, 7891, -1, 7893, -1, 7895, -1, 7897, -1, 7899, -1, 7901, -1, 7903, -1, 7905, -1, 7907, -1, 7909, -1, 7911, -1, 7913, -1, 7915, -1, 7917, -1, 7919, -1, 7921, -1, 7923, -1, 7925, -1, 7927, -1, 7929, -1, 7931, -1, 7933, -1, 7935, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_31: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, 7936, 7937, 7938, 7939, 7940, 7941, 7942, 7943, -1, -1, -1, -1, -1, -1, -1, -1, 7952, 7953, 7954, 7955, 7956, 7957, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 7968, 7969, 7970, 7971, 7972, 7973, 7974, 7975, -1, -1, -1, -1, -1, -1, -1, -1, 7984, 7985, 7986, 7987, 7988, 7989, 7990, 7991, -1, -1, -1, -1, -1, -1, -1, -1, 8000, 8001, 8002, 8003, 8004, 8005, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8017, -1, 8019, -1, 8021, -1, 8023, -1, -1, -1, -1, -1, -1, -1, -1, 8032, 8033, 8034, 8035, 8036, 8037, 8038, 8039, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8064, 8065, 8066, 8067, 8068, 8069, 8070, 8071, -1, -1, -1, -1, -1, -1, -1, -1, 8080, 8081, 8082, 8083, 8084, 8085, 8086, 8087, -1, -1, -1, -1, -1, -1, -1, -1, 8096, 8097, 8098, 8099, 8100, 8101, 8102, 8103, -1, -1, -1, -1, -1, -1, -1, -1, 8112, 8113, 8048, 8049, 8115, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8050, 8051, 8052, 8053, 8131, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8144, 8145, 8054, 8055, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8160, 8161, 8058, 8059, 8165, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8056, 8057, 8060, 8061, 8179, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_33: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 969, -1, -1, -1, 107, 229, -1, -1, -1, -1, -1, -1, 8526, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8560, 8561, 8562, 8563, 8564, 8565, 8566, 8567, 8568, 8569, 8570, 8571, 8572, 8573, 8574, 8575, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8580, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_36: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 9424, 9425, 9426, 9427, 9428, 9429, 9430, 9431, 9432, 9433, 9434, 9435, 9436, 9437, 9438, 9439, 9440, 9441, 9442, 9443, 9444, 9445, 9446, 9447, 9448, 9449, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_4: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (1104), 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1072, 1073, 1074, 1075, 1076, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094, 1095, 1096, 1097, 1098, 1099, 1100, 1101, 1102, 1103, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1121, -1, 1123, -1, 1125, -1, 1127, -1, 1129, -1, 1131, -1, 1133, -1, 1135, -1, 1137, -1, 1139, -1, 1141, -1, 1143, -1, 1145, -1, 1147, -1, 1149, -1, 1151, -1, 1153, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1163, -1, 1165, -1, 1167, -1, 1169, -1, 1171, -1, 1173, -1, 1175, -1, 1177, -1, 1179, -1, 1181, -1, 1183, -1, 1185, -1, 1187, -1, 1189, -1, 1191, -1, 1193, -1, 1195, -1, 1197, -1, 1199, -1, 1201, -1, 1203, -1, 1205, -1, 1207, -1, 1209, -1, 1211, -1, 1213, -1, 1215, -1, 1231, 1218, -1, 1220, -1, 1222, -1, 1224, -1, 1226, -1, 1228, -1, 1230, -1, -1, 1233, -1, 1235, -1, 1237, -1, 1239, -1, 1241, -1, 1243, -1, 1245, -1, 1247, -1, 1249, -1, 1251, -1, 1253, -1, 1255, -1, 1257, -1, 1259, -1, 1261, -1, 1263, -1, 1265, -1, 1267, -1, 1269, -1, 1271, -1, 1273, -1, 1275, -1, 1277, -1, 1279, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_44: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (11312), 11313, 11314, 11315, 11316, 11317, 11318, 11319, 11320, 11321, 11322, 11323, 11324, 11325, 11326, 11327, 11328, 11329, 11330, 11331, 11332, 11333, 11334, 11335, 11336, 11337, 11338, 11339, 11340, 11341, 11342, 11343, 11344, 11345, 11346, 11347, 11348, 11349, 11350, 11351, 11352, 11353, 11354, 11355, 11356, 11357, 11358, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 11361, -1, 619, 7549, 637, -1, -1, 11368, -1, 11370, -1, 11372, -1, 593, 625, 592, -1, -1, 11379, -1, -1, 11382, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 11393, -1, 11395, -1, 11397, -1, 11399, -1, 11401, -1, 11403, -1, 11405, -1, 11407, -1, 11409, -1, 11411, -1, 11413, -1, 11415, -1, 11417, -1, 11419, -1, 11421, -1, 11423, -1, 11425, -1, 11427, -1, 11429, -1, 11431, -1, 11433, -1, 11435, -1, 11437, -1, 11439, -1, 11441, -1, 11443, -1, 11445, -1, 11447, -1, 11449, -1, 11451, -1, 11453, -1, 11455, -1, 11457, -1, 11459, -1, 11461, -1, 11463, -1, 11465, -1, 11467, -1, 11469, -1, 11471, -1, 11473, -1, 11475, -1, 11477, -1, 11479, -1, 11481, -1, 11483, -1, 11485, -1, 11487, -1, 11489, -1, 11491, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_0_segment_5: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (1281), -1, 1283, -1, 1285, -1, 1287, -1, 1289, -1, 1291, -1, 1293, -1, 1295, -1, 1297, -1, 1299, -1, 1301, -1, 1303, -1, 1305, -1, 1307, -1, 1309, -1, 1311, -1, 1313, -1, 1315, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1377, 1378, 1379, 1380, 1381, 1382, 1383, 1384, 1385, 1386, 1387, 1388, 1389, 1390, 1391, 1392, 1393, 1394, 1395, 1396, 1397, 1398, 1399, 1400, 1401, 1402, 1403, 1404, 1405, 1406, 1407, 1408, 1409, 1410, 1411, 1412, 1413, 1414, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_code_plane_1: SPECIAL [ARRAY [INTEGER_32]]
			-- Generated array plane
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			create Result.make_filled (Empty_lower_code_segment, 256)
			Result.put (Empty_lower_code_segment, 1)
			Result.put (Empty_lower_code_segment, 2)
			Result.put (Empty_lower_code_segment, 3)
			Result.put (Lower_code_plane_1_segment_4, 4)
			Result.put (Empty_lower_code_segment, 5)
			Result.put (Empty_lower_code_segment, 6)
			Result.put (Empty_lower_code_segment, 7)
			Result.put (Empty_lower_code_segment, 8)
			Result.put (Empty_lower_code_segment, 9)
			Result.put (Empty_lower_code_segment, 10)
			Result.put (Empty_lower_code_segment, 11)
			Result.put (Empty_lower_code_segment, 12)
			Result.put (Empty_lower_code_segment, 13)
			Result.put (Empty_lower_code_segment, 14)
			Result.put (Empty_lower_code_segment, 15)
			Result.put (Empty_lower_code_segment, 16)
			Result.put (Empty_lower_code_segment, 17)
			Result.put (Empty_lower_code_segment, 18)
			Result.put (Empty_lower_code_segment, 19)
			Result.put (Empty_lower_code_segment, 20)
			Result.put (Empty_lower_code_segment, 21)
			Result.put (Empty_lower_code_segment, 22)
			Result.put (Empty_lower_code_segment, 23)
			Result.put (Empty_lower_code_segment, 24)
			Result.put (Empty_lower_code_segment, 25)
			Result.put (Empty_lower_code_segment, 26)
			Result.put (Empty_lower_code_segment, 27)
			Result.put (Empty_lower_code_segment, 28)
			Result.put (Empty_lower_code_segment, 29)
			Result.put (Empty_lower_code_segment, 30)
			Result.put (Empty_lower_code_segment, 31)
			Result.put (Empty_lower_code_segment, 32)
			Result.put (Empty_lower_code_segment, 33)
			Result.put (Empty_lower_code_segment, 34)
			Result.put (Empty_lower_code_segment, 35)
			Result.put (Empty_lower_code_segment, 36)
			Result.put (Empty_lower_code_segment, 37)
			Result.put (Empty_lower_code_segment, 38)
			Result.put (Empty_lower_code_segment, 39)
			Result.put (Empty_lower_code_segment, 40)
			Result.put (Empty_lower_code_segment, 41)
			Result.put (Empty_lower_code_segment, 42)
			Result.put (Empty_lower_code_segment, 43)
			Result.put (Empty_lower_code_segment, 44)
			Result.put (Empty_lower_code_segment, 45)
			Result.put (Empty_lower_code_segment, 46)
			Result.put (Empty_lower_code_segment, 47)
			Result.put (Empty_lower_code_segment, 48)
			Result.put (Empty_lower_code_segment, 49)
			Result.put (Empty_lower_code_segment, 50)
			Result.put (Empty_lower_code_segment, 51)
			Result.put (Empty_lower_code_segment, 52)
			Result.put (Empty_lower_code_segment, 53)
			Result.put (Empty_lower_code_segment, 54)
			Result.put (Empty_lower_code_segment, 55)
			Result.put (Empty_lower_code_segment, 56)
			Result.put (Empty_lower_code_segment, 57)
			Result.put (Empty_lower_code_segment, 58)
			Result.put (Empty_lower_code_segment, 59)
			Result.put (Empty_lower_code_segment, 60)
			Result.put (Empty_lower_code_segment, 61)
			Result.put (Empty_lower_code_segment, 62)
			Result.put (Empty_lower_code_segment, 63)
			Result.put (Empty_lower_code_segment, 64)
			Result.put (Empty_lower_code_segment, 65)
			Result.put (Empty_lower_code_segment, 66)
			Result.put (Empty_lower_code_segment, 67)
			Result.put (Empty_lower_code_segment, 68)
			Result.put (Empty_lower_code_segment, 69)
			Result.put (Empty_lower_code_segment, 70)
			Result.put (Empty_lower_code_segment, 71)
			Result.put (Empty_lower_code_segment, 72)
			Result.put (Empty_lower_code_segment, 73)
			Result.put (Empty_lower_code_segment, 74)
			Result.put (Empty_lower_code_segment, 75)
			Result.put (Empty_lower_code_segment, 76)
			Result.put (Empty_lower_code_segment, 77)
			Result.put (Empty_lower_code_segment, 78)
			Result.put (Empty_lower_code_segment, 79)
			Result.put (Empty_lower_code_segment, 80)
			Result.put (Empty_lower_code_segment, 81)
			Result.put (Empty_lower_code_segment, 82)
			Result.put (Empty_lower_code_segment, 83)
			Result.put (Empty_lower_code_segment, 84)
			Result.put (Empty_lower_code_segment, 85)
			Result.put (Empty_lower_code_segment, 86)
			Result.put (Empty_lower_code_segment, 87)
			Result.put (Empty_lower_code_segment, 88)
			Result.put (Empty_lower_code_segment, 89)
			Result.put (Empty_lower_code_segment, 90)
			Result.put (Empty_lower_code_segment, 91)
			Result.put (Empty_lower_code_segment, 92)
			Result.put (Empty_lower_code_segment, 93)
			Result.put (Empty_lower_code_segment, 94)
			Result.put (Empty_lower_code_segment, 95)
			Result.put (Empty_lower_code_segment, 96)
			Result.put (Empty_lower_code_segment, 97)
			Result.put (Empty_lower_code_segment, 98)
			Result.put (Empty_lower_code_segment, 99)
			Result.put (Empty_lower_code_segment, 100)
			Result.put (Empty_lower_code_segment, 101)
			Result.put (Empty_lower_code_segment, 102)
			Result.put (Empty_lower_code_segment, 103)
			Result.put (Empty_lower_code_segment, 104)
			Result.put (Empty_lower_code_segment, 105)
			Result.put (Empty_lower_code_segment, 106)
			Result.put (Empty_lower_code_segment, 107)
			Result.put (Empty_lower_code_segment, 108)
			Result.put (Empty_lower_code_segment, 109)
			Result.put (Empty_lower_code_segment, 110)
			Result.put (Empty_lower_code_segment, 111)
			Result.put (Empty_lower_code_segment, 112)
			Result.put (Empty_lower_code_segment, 113)
			Result.put (Empty_lower_code_segment, 114)
			Result.put (Empty_lower_code_segment, 115)
			Result.put (Empty_lower_code_segment, 116)
			Result.put (Empty_lower_code_segment, 117)
			Result.put (Empty_lower_code_segment, 118)
			Result.put (Empty_lower_code_segment, 119)
			Result.put (Empty_lower_code_segment, 120)
			Result.put (Empty_lower_code_segment, 121)
			Result.put (Empty_lower_code_segment, 122)
			Result.put (Empty_lower_code_segment, 123)
			Result.put (Empty_lower_code_segment, 124)
			Result.put (Empty_lower_code_segment, 125)
			Result.put (Empty_lower_code_segment, 126)
			Result.put (Empty_lower_code_segment, 127)
			Result.put (Empty_lower_code_segment, 128)
			Result.put (Empty_lower_code_segment, 129)
			Result.put (Empty_lower_code_segment, 130)
			Result.put (Empty_lower_code_segment, 131)
			Result.put (Empty_lower_code_segment, 132)
			Result.put (Empty_lower_code_segment, 133)
			Result.put (Empty_lower_code_segment, 134)
			Result.put (Empty_lower_code_segment, 135)
			Result.put (Empty_lower_code_segment, 136)
			Result.put (Empty_lower_code_segment, 137)
			Result.put (Empty_lower_code_segment, 138)
			Result.put (Empty_lower_code_segment, 139)
			Result.put (Empty_lower_code_segment, 140)
			Result.put (Empty_lower_code_segment, 141)
			Result.put (Empty_lower_code_segment, 142)
			Result.put (Empty_lower_code_segment, 143)
			Result.put (Empty_lower_code_segment, 144)
			Result.put (Empty_lower_code_segment, 145)
			Result.put (Empty_lower_code_segment, 146)
			Result.put (Empty_lower_code_segment, 147)
			Result.put (Empty_lower_code_segment, 148)
			Result.put (Empty_lower_code_segment, 149)
			Result.put (Empty_lower_code_segment, 150)
			Result.put (Empty_lower_code_segment, 151)
			Result.put (Empty_lower_code_segment, 152)
			Result.put (Empty_lower_code_segment, 153)
			Result.put (Empty_lower_code_segment, 154)
			Result.put (Empty_lower_code_segment, 155)
			Result.put (Empty_lower_code_segment, 156)
			Result.put (Empty_lower_code_segment, 157)
			Result.put (Empty_lower_code_segment, 158)
			Result.put (Empty_lower_code_segment, 159)
			Result.put (Empty_lower_code_segment, 160)
			Result.put (Empty_lower_code_segment, 161)
			Result.put (Empty_lower_code_segment, 162)
			Result.put (Empty_lower_code_segment, 163)
			Result.put (Empty_lower_code_segment, 164)
			Result.put (Empty_lower_code_segment, 165)
			Result.put (Empty_lower_code_segment, 166)
			Result.put (Empty_lower_code_segment, 167)
			Result.put (Empty_lower_code_segment, 168)
			Result.put (Empty_lower_code_segment, 169)
			Result.put (Empty_lower_code_segment, 170)
			Result.put (Empty_lower_code_segment, 171)
			Result.put (Empty_lower_code_segment, 172)
			Result.put (Empty_lower_code_segment, 173)
			Result.put (Empty_lower_code_segment, 174)
			Result.put (Empty_lower_code_segment, 175)
			Result.put (Empty_lower_code_segment, 176)
			Result.put (Empty_lower_code_segment, 177)
			Result.put (Empty_lower_code_segment, 178)
			Result.put (Empty_lower_code_segment, 179)
			Result.put (Empty_lower_code_segment, 180)
			Result.put (Empty_lower_code_segment, 181)
			Result.put (Empty_lower_code_segment, 182)
			Result.put (Empty_lower_code_segment, 183)
			Result.put (Empty_lower_code_segment, 184)
			Result.put (Empty_lower_code_segment, 185)
			Result.put (Empty_lower_code_segment, 186)
			Result.put (Empty_lower_code_segment, 187)
			Result.put (Empty_lower_code_segment, 188)
			Result.put (Empty_lower_code_segment, 189)
			Result.put (Empty_lower_code_segment, 190)
			Result.put (Empty_lower_code_segment, 191)
			Result.put (Empty_lower_code_segment, 192)
			Result.put (Empty_lower_code_segment, 193)
			Result.put (Empty_lower_code_segment, 194)
			Result.put (Empty_lower_code_segment, 195)
			Result.put (Empty_lower_code_segment, 196)
			Result.put (Empty_lower_code_segment, 197)
			Result.put (Empty_lower_code_segment, 198)
			Result.put (Empty_lower_code_segment, 199)
			Result.put (Empty_lower_code_segment, 200)
			Result.put (Empty_lower_code_segment, 201)
			Result.put (Empty_lower_code_segment, 202)
			Result.put (Empty_lower_code_segment, 203)
			Result.put (Empty_lower_code_segment, 204)
			Result.put (Empty_lower_code_segment, 205)
			Result.put (Empty_lower_code_segment, 206)
			Result.put (Empty_lower_code_segment, 207)
			Result.put (Empty_lower_code_segment, 208)
			Result.put (Empty_lower_code_segment, 209)
			Result.put (Empty_lower_code_segment, 210)
			Result.put (Empty_lower_code_segment, 211)
			Result.put (Empty_lower_code_segment, 212)
			Result.put (Empty_lower_code_segment, 213)
			Result.put (Empty_lower_code_segment, 214)
			Result.put (Empty_lower_code_segment, 215)
			Result.put (Empty_lower_code_segment, 216)
			Result.put (Empty_lower_code_segment, 217)
			Result.put (Empty_lower_code_segment, 218)
			Result.put (Empty_lower_code_segment, 219)
			Result.put (Empty_lower_code_segment, 220)
			Result.put (Empty_lower_code_segment, 221)
			Result.put (Empty_lower_code_segment, 222)
			Result.put (Empty_lower_code_segment, 223)
			Result.put (Empty_lower_code_segment, 224)
			Result.put (Empty_lower_code_segment, 225)
			Result.put (Empty_lower_code_segment, 226)
			Result.put (Empty_lower_code_segment, 227)
			Result.put (Empty_lower_code_segment, 228)
			Result.put (Empty_lower_code_segment, 229)
			Result.put (Empty_lower_code_segment, 230)
			Result.put (Empty_lower_code_segment, 231)
			Result.put (Empty_lower_code_segment, 232)
			Result.put (Empty_lower_code_segment, 233)
			Result.put (Empty_lower_code_segment, 234)
			Result.put (Empty_lower_code_segment, 235)
			Result.put (Empty_lower_code_segment, 236)
			Result.put (Empty_lower_code_segment, 237)
			Result.put (Empty_lower_code_segment, 238)
			Result.put (Empty_lower_code_segment, 239)
			Result.put (Empty_lower_code_segment, 240)
			Result.put (Empty_lower_code_segment, 241)
			Result.put (Empty_lower_code_segment, 242)
			Result.put (Empty_lower_code_segment, 243)
			Result.put (Empty_lower_code_segment, 244)
			Result.put (Empty_lower_code_segment, 245)
			Result.put (Empty_lower_code_segment, 246)
			Result.put (Empty_lower_code_segment, 247)
			Result.put (Empty_lower_code_segment, 248)
			Result.put (Empty_lower_code_segment, 249)
			Result.put (Empty_lower_code_segment, 250)
			Result.put (Empty_lower_code_segment, 251)
			Result.put (Empty_lower_code_segment, 252)
			Result.put (Empty_lower_code_segment, 253)
			Result.put (Empty_lower_code_segment, 254)
			Result.put (Empty_lower_code_segment, 255)
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
			sub_arrays_not_void: True
		end

	Lower_code_plane_1_segment_4: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			Result := <<Integer_.to_integer (66600), 66601, 66602, 66603, 66604, 66605, 66606, 66607, 66608, 66609, 66610, 66611, 66612, 66613, 66614, 66615, 66616, 66617, 66618, 66619, 66620, 66621, 66622, 66623, 66624, 66625, 66626, 66627, 66628, 66629, 66630, 66631, 66632, 66633, 66634, 66635, 66636, 66637, 66638, 66639, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Lower_codes: SPECIAL [SPECIAL [ARRAY [INTEGER_32]]]
			-- Lower case code points for each code point
			-- (from UC_V510_CTYPE_LOWERCASE)
		once
			create Result.make_filled (Lower_code_plane_0, 17)
			Result.put (Lower_code_plane_1, 1)
			Result.put (Empty_lower_code_plane, 2)
			Result.put (Empty_lower_code_plane, 3)
			Result.put (Empty_lower_code_plane, 4)
			Result.put (Empty_lower_code_plane, 5)
			Result.put (Empty_lower_code_plane, 6)
			Result.put (Empty_lower_code_plane, 7)
			Result.put (Empty_lower_code_plane, 8)
			Result.put (Empty_lower_code_plane, 9)
			Result.put (Empty_lower_code_plane, 10)
			Result.put (Empty_lower_code_plane, 11)
			Result.put (Empty_lower_code_plane, 12)
			Result.put (Empty_lower_code_plane, 13)
			Result.put (Empty_lower_code_plane, 14)
			Result.put (Empty_lower_code_plane, 15)
			Result.put (Empty_lower_code_plane, 16)
		ensure -- from UC_V510_CTYPE_LOWERCASE
			instance_free: class
		end

	Title_code_plane_0: SPECIAL [ARRAY [INTEGER_32]]
			-- Generated array plane
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			create Result.make_filled (Title_code_plane_0_segment_0, 256)
			Result.put (Title_code_plane_0_segment_1, 1)
			Result.put (Title_code_plane_0_segment_2, 2)
			Result.put (Title_code_plane_0_segment_3, 3)
			Result.put (Title_code_plane_0_segment_4, 4)
			Result.put (Title_code_plane_0_segment_5, 5)
			Result.put (Empty_title_code_segment, 6)
			Result.put (Empty_title_code_segment, 7)
			Result.put (Empty_title_code_segment, 8)
			Result.put (Empty_title_code_segment, 9)
			Result.put (Empty_title_code_segment, 10)
			Result.put (Empty_title_code_segment, 11)
			Result.put (Empty_title_code_segment, 12)
			Result.put (Empty_title_code_segment, 13)
			Result.put (Empty_title_code_segment, 14)
			Result.put (Empty_title_code_segment, 15)
			Result.put (Empty_title_code_segment, 16)
			Result.put (Empty_title_code_segment, 17)
			Result.put (Empty_title_code_segment, 18)
			Result.put (Empty_title_code_segment, 19)
			Result.put (Empty_title_code_segment, 20)
			Result.put (Empty_title_code_segment, 21)
			Result.put (Empty_title_code_segment, 22)
			Result.put (Empty_title_code_segment, 23)
			Result.put (Empty_title_code_segment, 24)
			Result.put (Empty_title_code_segment, 25)
			Result.put (Empty_title_code_segment, 26)
			Result.put (Empty_title_code_segment, 27)
			Result.put (Empty_title_code_segment, 28)
			Result.put (Title_code_plane_0_segment_29, 29)
			Result.put (Title_code_plane_0_segment_30, 30)
			Result.put (Title_code_plane_0_segment_31, 31)
			Result.put (Empty_title_code_segment, 32)
			Result.put (Title_code_plane_0_segment_33, 33)
			Result.put (Empty_title_code_segment, 34)
			Result.put (Empty_title_code_segment, 35)
			Result.put (Title_code_plane_0_segment_36, 36)
			Result.put (Empty_title_code_segment, 37)
			Result.put (Empty_title_code_segment, 38)
			Result.put (Empty_title_code_segment, 39)
			Result.put (Empty_title_code_segment, 40)
			Result.put (Empty_title_code_segment, 41)
			Result.put (Empty_title_code_segment, 42)
			Result.put (Empty_title_code_segment, 43)
			Result.put (Title_code_plane_0_segment_44, 44)
			Result.put (Title_code_plane_0_segment_45, 45)
			Result.put (Empty_title_code_segment, 46)
			Result.put (Empty_title_code_segment, 47)
			Result.put (Empty_title_code_segment, 48)
			Result.put (Empty_title_code_segment, 49)
			Result.put (Empty_title_code_segment, 50)
			Result.put (Empty_title_code_segment, 51)
			Result.put (Empty_title_code_segment, 52)
			Result.put (Empty_title_code_segment, 53)
			Result.put (Empty_title_code_segment, 54)
			Result.put (Empty_title_code_segment, 55)
			Result.put (Empty_title_code_segment, 56)
			Result.put (Empty_title_code_segment, 57)
			Result.put (Empty_title_code_segment, 58)
			Result.put (Empty_title_code_segment, 59)
			Result.put (Empty_title_code_segment, 60)
			Result.put (Empty_title_code_segment, 61)
			Result.put (Empty_title_code_segment, 62)
			Result.put (Empty_title_code_segment, 63)
			Result.put (Empty_title_code_segment, 64)
			Result.put (Empty_title_code_segment, 65)
			Result.put (Empty_title_code_segment, 66)
			Result.put (Empty_title_code_segment, 67)
			Result.put (Empty_title_code_segment, 68)
			Result.put (Empty_title_code_segment, 69)
			Result.put (Empty_title_code_segment, 70)
			Result.put (Empty_title_code_segment, 71)
			Result.put (Empty_title_code_segment, 72)
			Result.put (Empty_title_code_segment, 73)
			Result.put (Empty_title_code_segment, 74)
			Result.put (Empty_title_code_segment, 75)
			Result.put (Empty_title_code_segment, 76)
			Result.put (Empty_title_code_segment, 77)
			Result.put (Empty_title_code_segment, 78)
			Result.put (Empty_title_code_segment, 79)
			Result.put (Empty_title_code_segment, 80)
			Result.put (Empty_title_code_segment, 81)
			Result.put (Empty_title_code_segment, 82)
			Result.put (Empty_title_code_segment, 83)
			Result.put (Empty_title_code_segment, 84)
			Result.put (Empty_title_code_segment, 85)
			Result.put (Empty_title_code_segment, 86)
			Result.put (Empty_title_code_segment, 87)
			Result.put (Empty_title_code_segment, 88)
			Result.put (Empty_title_code_segment, 89)
			Result.put (Empty_title_code_segment, 90)
			Result.put (Empty_title_code_segment, 91)
			Result.put (Empty_title_code_segment, 92)
			Result.put (Empty_title_code_segment, 93)
			Result.put (Empty_title_code_segment, 94)
			Result.put (Empty_title_code_segment, 95)
			Result.put (Empty_title_code_segment, 96)
			Result.put (Empty_title_code_segment, 97)
			Result.put (Empty_title_code_segment, 98)
			Result.put (Empty_title_code_segment, 99)
			Result.put (Empty_title_code_segment, 100)
			Result.put (Empty_title_code_segment, 101)
			Result.put (Empty_title_code_segment, 102)
			Result.put (Empty_title_code_segment, 103)
			Result.put (Empty_title_code_segment, 104)
			Result.put (Empty_title_code_segment, 105)
			Result.put (Empty_title_code_segment, 106)
			Result.put (Empty_title_code_segment, 107)
			Result.put (Empty_title_code_segment, 108)
			Result.put (Empty_title_code_segment, 109)
			Result.put (Empty_title_code_segment, 110)
			Result.put (Empty_title_code_segment, 111)
			Result.put (Empty_title_code_segment, 112)
			Result.put (Empty_title_code_segment, 113)
			Result.put (Empty_title_code_segment, 114)
			Result.put (Empty_title_code_segment, 115)
			Result.put (Empty_title_code_segment, 116)
			Result.put (Empty_title_code_segment, 117)
			Result.put (Empty_title_code_segment, 118)
			Result.put (Empty_title_code_segment, 119)
			Result.put (Empty_title_code_segment, 120)
			Result.put (Empty_title_code_segment, 121)
			Result.put (Empty_title_code_segment, 122)
			Result.put (Empty_title_code_segment, 123)
			Result.put (Empty_title_code_segment, 124)
			Result.put (Empty_title_code_segment, 125)
			Result.put (Empty_title_code_segment, 126)
			Result.put (Empty_title_code_segment, 127)
			Result.put (Empty_title_code_segment, 128)
			Result.put (Empty_title_code_segment, 129)
			Result.put (Empty_title_code_segment, 130)
			Result.put (Empty_title_code_segment, 131)
			Result.put (Empty_title_code_segment, 132)
			Result.put (Empty_title_code_segment, 133)
			Result.put (Empty_title_code_segment, 134)
			Result.put (Empty_title_code_segment, 135)
			Result.put (Empty_title_code_segment, 136)
			Result.put (Empty_title_code_segment, 137)
			Result.put (Empty_title_code_segment, 138)
			Result.put (Empty_title_code_segment, 139)
			Result.put (Empty_title_code_segment, 140)
			Result.put (Empty_title_code_segment, 141)
			Result.put (Empty_title_code_segment, 142)
			Result.put (Empty_title_code_segment, 143)
			Result.put (Empty_title_code_segment, 144)
			Result.put (Empty_title_code_segment, 145)
			Result.put (Empty_title_code_segment, 146)
			Result.put (Empty_title_code_segment, 147)
			Result.put (Empty_title_code_segment, 148)
			Result.put (Empty_title_code_segment, 149)
			Result.put (Empty_title_code_segment, 150)
			Result.put (Empty_title_code_segment, 151)
			Result.put (Empty_title_code_segment, 152)
			Result.put (Empty_title_code_segment, 153)
			Result.put (Empty_title_code_segment, 154)
			Result.put (Empty_title_code_segment, 155)
			Result.put (Empty_title_code_segment, 156)
			Result.put (Empty_title_code_segment, 157)
			Result.put (Empty_title_code_segment, 158)
			Result.put (Empty_title_code_segment, 159)
			Result.put (Empty_title_code_segment, 160)
			Result.put (Empty_title_code_segment, 161)
			Result.put (Empty_title_code_segment, 162)
			Result.put (Empty_title_code_segment, 163)
			Result.put (Empty_title_code_segment, 164)
			Result.put (Empty_title_code_segment, 165)
			Result.put (Title_code_plane_0_segment_166, 166)
			Result.put (Title_code_plane_0_segment_167, 167)
			Result.put (Empty_title_code_segment, 168)
			Result.put (Empty_title_code_segment, 169)
			Result.put (Empty_title_code_segment, 170)
			Result.put (Empty_title_code_segment, 171)
			Result.put (Empty_title_code_segment, 172)
			Result.put (Empty_title_code_segment, 173)
			Result.put (Empty_title_code_segment, 174)
			Result.put (Empty_title_code_segment, 175)
			Result.put (Empty_title_code_segment, 176)
			Result.put (Empty_title_code_segment, 177)
			Result.put (Empty_title_code_segment, 178)
			Result.put (Empty_title_code_segment, 179)
			Result.put (Empty_title_code_segment, 180)
			Result.put (Empty_title_code_segment, 181)
			Result.put (Empty_title_code_segment, 182)
			Result.put (Empty_title_code_segment, 183)
			Result.put (Empty_title_code_segment, 184)
			Result.put (Empty_title_code_segment, 185)
			Result.put (Empty_title_code_segment, 186)
			Result.put (Empty_title_code_segment, 187)
			Result.put (Empty_title_code_segment, 188)
			Result.put (Empty_title_code_segment, 189)
			Result.put (Empty_title_code_segment, 190)
			Result.put (Empty_title_code_segment, 191)
			Result.put (Empty_title_code_segment, 192)
			Result.put (Empty_title_code_segment, 193)
			Result.put (Empty_title_code_segment, 194)
			Result.put (Empty_title_code_segment, 195)
			Result.put (Empty_title_code_segment, 196)
			Result.put (Empty_title_code_segment, 197)
			Result.put (Empty_title_code_segment, 198)
			Result.put (Empty_title_code_segment, 199)
			Result.put (Empty_title_code_segment, 200)
			Result.put (Empty_title_code_segment, 201)
			Result.put (Empty_title_code_segment, 202)
			Result.put (Empty_title_code_segment, 203)
			Result.put (Empty_title_code_segment, 204)
			Result.put (Empty_title_code_segment, 205)
			Result.put (Empty_title_code_segment, 206)
			Result.put (Empty_title_code_segment, 207)
			Result.put (Empty_title_code_segment, 208)
			Result.put (Empty_title_code_segment, 209)
			Result.put (Empty_title_code_segment, 210)
			Result.put (Empty_title_code_segment, 211)
			Result.put (Empty_title_code_segment, 212)
			Result.put (Empty_title_code_segment, 213)
			Result.put (Empty_title_code_segment, 214)
			Result.put (Empty_title_code_segment, 215)
			Result.put (Empty_title_code_segment, 216)
			Result.put (Empty_title_code_segment, 217)
			Result.put (Empty_title_code_segment, 218)
			Result.put (Empty_title_code_segment, 219)
			Result.put (Empty_title_code_segment, 220)
			Result.put (Empty_title_code_segment, 221)
			Result.put (Empty_title_code_segment, 222)
			Result.put (Empty_title_code_segment, 223)
			Result.put (Empty_title_code_segment, 224)
			Result.put (Empty_title_code_segment, 225)
			Result.put (Empty_title_code_segment, 226)
			Result.put (Empty_title_code_segment, 227)
			Result.put (Empty_title_code_segment, 228)
			Result.put (Empty_title_code_segment, 229)
			Result.put (Empty_title_code_segment, 230)
			Result.put (Empty_title_code_segment, 231)
			Result.put (Empty_title_code_segment, 232)
			Result.put (Empty_title_code_segment, 233)
			Result.put (Empty_title_code_segment, 234)
			Result.put (Empty_title_code_segment, 235)
			Result.put (Empty_title_code_segment, 236)
			Result.put (Empty_title_code_segment, 237)
			Result.put (Empty_title_code_segment, 238)
			Result.put (Empty_title_code_segment, 239)
			Result.put (Empty_title_code_segment, 240)
			Result.put (Empty_title_code_segment, 241)
			Result.put (Empty_title_code_segment, 242)
			Result.put (Empty_title_code_segment, 243)
			Result.put (Empty_title_code_segment, 244)
			Result.put (Empty_title_code_segment, 245)
			Result.put (Empty_title_code_segment, 246)
			Result.put (Empty_title_code_segment, 247)
			Result.put (Empty_title_code_segment, 248)
			Result.put (Empty_title_code_segment, 249)
			Result.put (Empty_title_code_segment, 250)
			Result.put (Empty_title_code_segment, 251)
			Result.put (Empty_title_code_segment, 252)
			Result.put (Empty_title_code_segment, 253)
			Result.put (Empty_title_code_segment, 254)
			Result.put (Title_code_plane_0_segment_255, 255)
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
			sub_arrays_not_void: True
		end

	Title_code_plane_0_segment_0: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 924, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, -1, 216, 217, 218, 219, 220, 221, 222, 376>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_1: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), 256, -1, 258, -1, 260, -1, 262, -1, 264, -1, 266, -1, 268, -1, 270, -1, 272, -1, 274, -1, 276, -1, 278, -1, 280, -1, 282, -1, 284, -1, 286, -1, 288, -1, 290, -1, 292, -1, 294, -1, 296, -1, 298, -1, 300, -1, 302, -1, 73, -1, 306, -1, 308, -1, 310, -1, -1, 313, -1, 315, -1, 317, -1, 319, -1, 321, -1, 323, -1, 325, -1, 327, -1, -1, 330, -1, 332, -1, 334, -1, 336, -1, 338, -1, 340, -1, 342, -1, 344, -1, 346, -1, 348, -1, 350, -1, 352, -1, 354, -1, 356, -1, 358, -1, 360, -1, 362, -1, 364, -1, 366, -1, 368, -1, 370, -1, 372, -1, 374, -1, -1, 377, -1, 379, -1, 381, 83, 579, -1, -1, 386, -1, 388, -1, -1, 391, -1, -1, -1, 395, -1, -1, -1, -1, -1, 401, -1, -1, 502, -1, -1, -1, 408, 573, -1, -1, -1, 544, -1, -1, 416, -1, 418, -1, 420, -1, -1, 423, -1, -1, -1, -1, 428, -1, -1, 431, -1, -1, -1, 435, -1, 437, -1, -1, 440, -1, -1, -1, 444, -1, 503, -1, -1, -1, -1, 453, 453, 453, 456, 456, 456, 459, 459, 459, -1, 461, -1, 463, -1, 465, -1, 467, -1, 469, -1, 471, -1, 473, -1, 475, 398, -1, 478, -1, 480, -1, 482, -1, 484, -1, 486, -1, 488, -1, 490, -1, 492, -1, 494, -1, 498, 498, 498, -1, 500, -1, -1, -1, 504, -1, 506, -1, 508, -1, 510>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_166: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42560, -1, 42562, -1, 42564, -1, 42566, -1, 42568, -1, 42570, -1, 42572, -1, 42574, -1, 42576, -1, 42578, -1, 42580, -1, 42582, -1, 42584, -1, 42586, -1, 42588, -1, 42590, -1, -1, -1, 42594, -1, 42596, -1, 42598, -1, 42600, -1, 42602, -1, 42604, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42624, -1, 42626, -1, 42628, -1, 42630, -1, 42632, -1, 42634, -1, 42636, -1, 42638, -1, 42640, -1, 42642, -1, 42644, -1, 42646, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_167: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42786, -1, 42788, -1, 42790, -1, 42792, -1, 42794, -1, 42796, -1, 42798, -1, -1, -1, 42802, -1, 42804, -1, 42806, -1, 42808, -1, 42810, -1, 42812, -1, 42814, -1, 42816, -1, 42818, -1, 42820, -1, 42822, -1, 42824, -1, 42826, -1, 42828, -1, 42830, -1, 42832, -1, 42834, -1, 42836, -1, 42838, -1, 42840, -1, 42842, -1, 42844, -1, 42846, -1, 42848, -1, 42850, -1, 42852, -1, 42854, -1, 42856, -1, 42858, -1, 42860, -1, 42862, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42873, -1, 42875, -1, -1, 42878, -1, 42880, -1, 42882, -1, 42884, -1, 42886, -1, -1, -1, -1, 42891, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_2: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), 512, -1, 514, -1, 516, -1, 518, -1, 520, -1, 522, -1, 524, -1, 526, -1, 528, -1, 530, -1, 532, -1, 534, -1, 536, -1, 538, -1, 540, -1, 542, -1, -1, -1, 546, -1, 548, -1, 550, -1, 552, -1, 554, -1, 556, -1, 558, -1, 560, -1, 562, -1, -1, -1, -1, -1, -1, -1, -1, 571, -1, -1, -1, -1, -1, 577, -1, -1, -1, -1, 582, -1, 584, -1, 586, -1, 588, -1, 590, 11375, 11373, -1, 385, 390, -1, 393, 394, -1, 399, -1, 400, -1, -1, -1, -1, 403, -1, -1, 404, -1, -1, -1, -1, 407, 406, -1, 11362, -1, -1, -1, 412, -1, 11374, 413, -1, -1, 415, -1, -1, -1, -1, -1, -1, -1, 11364, -1, -1, 422, -1, -1, 425, -1, -1, -1, -1, 430, 580, 433, 434, 581, -1, -1, -1, -1, -1, 439, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_255: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 65313, 65314, 65315, 65316, 65317, 65318, 65319, 65320, 65321, 65322, 65323, 65324, 65325, 65326, 65327, 65328, 65329, 65330, 65331, 65332, 65333, 65334, 65335, 65336, 65337, 65338, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_29: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42877, -1, -1, -1, 11363, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_3: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 921, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 880, -1, 882, -1, -1, -1, 886, -1, -1, -1, 1021, 1022, 1023, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 902, 904, 905, 906, -1, 913, 914, 915, 916, 917, 918, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 931, 931, 932, 933, 934, 935, 936, 937, 938, 939, 908, 910, 911, -1, 914, 920, -1, -1, -1, 934, 928, 975, -1, 984, -1, 986, -1, 988, -1, 990, -1, 992, -1, 994, -1, 996, -1, 998, -1, 1000, -1, 1002, -1, 1004, -1, 1006, 922, 929, 1017, -1, -1, 917, -1, -1, 1015, -1, -1, 1018, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_30: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), 7680, -1, 7682, -1, 7684, -1, 7686, -1, 7688, -1, 7690, -1, 7692, -1, 7694, -1, 7696, -1, 7698, -1, 7700, -1, 7702, -1, 7704, -1, 7706, -1, 7708, -1, 7710, -1, 7712, -1, 7714, -1, 7716, -1, 7718, -1, 7720, -1, 7722, -1, 7724, -1, 7726, -1, 7728, -1, 7730, -1, 7732, -1, 7734, -1, 7736, -1, 7738, -1, 7740, -1, 7742, -1, 7744, -1, 7746, -1, 7748, -1, 7750, -1, 7752, -1, 7754, -1, 7756, -1, 7758, -1, 7760, -1, 7762, -1, 7764, -1, 7766, -1, 7768, -1, 7770, -1, 7772, -1, 7774, -1, 7776, -1, 7778, -1, 7780, -1, 7782, -1, 7784, -1, 7786, -1, 7788, -1, 7790, -1, 7792, -1, 7794, -1, 7796, -1, 7798, -1, 7800, -1, 7802, -1, 7804, -1, 7806, -1, 7808, -1, 7810, -1, 7812, -1, 7814, -1, 7816, -1, 7818, -1, 7820, -1, 7822, -1, 7824, -1, 7826, -1, 7828, -1, -1, -1, -1, -1, 7776, -1, -1, -1, -1, -1, 7840, -1, 7842, -1, 7844, -1, 7846, -1, 7848, -1, 7850, -1, 7852, -1, 7854, -1, 7856, -1, 7858, -1, 7860, -1, 7862, -1, 7864, -1, 7866, -1, 7868, -1, 7870, -1, 7872, -1, 7874, -1, 7876, -1, 7878, -1, 7880, -1, 7882, -1, 7884, -1, 7886, -1, 7888, -1, 7890, -1, 7892, -1, 7894, -1, 7896, -1, 7898, -1, 7900, -1, 7902, -1, 7904, -1, 7906, -1, 7908, -1, 7910, -1, 7912, -1, 7914, -1, 7916, -1, 7918, -1, 7920, -1, 7922, -1, 7924, -1, 7926, -1, 7928, -1, 7930, -1, 7932, -1, 7934>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_31: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (7944), 7945, 7946, 7947, 7948, 7949, 7950, 7951, -1, -1, -1, -1, -1, -1, -1, -1, 7960, 7961, 7962, 7963, 7964, 7965, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 7976, 7977, 7978, 7979, 7980, 7981, 7982, 7983, -1, -1, -1, -1, -1, -1, -1, -1, 7992, 7993, 7994, 7995, 7996, 7997, 7998, 7999, -1, -1, -1, -1, -1, -1, -1, -1, 8008, 8009, 8010, 8011, 8012, 8013, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8025, -1, 8027, -1, 8029, -1, 8031, -1, -1, -1, -1, -1, -1, -1, -1, 8040, 8041, 8042, 8043, 8044, 8045, 8046, 8047, -1, -1, -1, -1, -1, -1, -1, -1, 8122, 8123, 8136, 8137, 8138, 8139, 8154, 8155, 8184, 8185, 8170, 8171, 8186, 8187, -1, -1, 8072, 8073, 8074, 8075, 8076, 8077, 8078, 8079, -1, -1, -1, -1, -1, -1, -1, -1, 8088, 8089, 8090, 8091, 8092, 8093, 8094, 8095, -1, -1, -1, -1, -1, -1, -1, -1, 8104, 8105, 8106, 8107, 8108, 8109, 8110, 8111, -1, -1, -1, -1, -1, -1, -1, -1, 8120, 8121, -1, 8124, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 921, -1, -1, -1, -1, 8140, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8152, 8153, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8168, 8169, -1, -1, -1, 8172, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8188, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_33: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8498, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8544, 8545, 8546, 8547, 8548, 8549, 8550, 8551, 8552, 8553, 8554, 8555, 8556, 8557, 8558, 8559, -1, -1, -1, -1, 8579, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_36: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 9398, 9399, 9400, 9401, 9402, 9403, 9404, 9405, 9406, 9407, 9408, 9409, 9410, 9411, 9412, 9413, 9414, 9415, 9416, 9417, 9418, 9419, 9420, 9421, 9422, 9423, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_4: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1047, 1048, 1049, 1050, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1071, 1024, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, -1, 1120, -1, 1122, -1, 1124, -1, 1126, -1, 1128, -1, 1130, -1, 1132, -1, 1134, -1, 1136, -1, 1138, -1, 1140, -1, 1142, -1, 1144, -1, 1146, -1, 1148, -1, 1150, -1, 1152, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1162, -1, 1164, -1, 1166, -1, 1168, -1, 1170, -1, 1172, -1, 1174, -1, 1176, -1, 1178, -1, 1180, -1, 1182, -1, 1184, -1, 1186, -1, 1188, -1, 1190, -1, 1192, -1, 1194, -1, 1196, -1, 1198, -1, 1200, -1, 1202, -1, 1204, -1, 1206, -1, 1208, -1, 1210, -1, 1212, -1, 1214, -1, -1, 1217, -1, 1219, -1, 1221, -1, 1223, -1, 1225, -1, 1227, -1, 1229, 1216, -1, 1232, -1, 1234, -1, 1236, -1, 1238, -1, 1240, -1, 1242, -1, 1244, -1, 1246, -1, 1248, -1, 1250, -1, 1252, -1, 1254, -1, 1256, -1, 1258, -1, 1260, -1, 1262, -1, 1264, -1, 1266, -1, 1268, -1, 1270, -1, 1272, -1, 1274, -1, 1276, -1, 1278>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_44: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 11264, 11265, 11266, 11267, 11268, 11269, 11270, 11271, 11272, 11273, 11274, 11275, 11276, 11277, 11278, 11279, 11280, 11281, 11282, 11283, 11284, 11285, 11286, 11287, 11288, 11289, 11290, 11291, 11292, 11293, 11294, 11295, 11296, 11297, 11298, 11299, 11300, 11301, 11302, 11303, 11304, 11305, 11306, 11307, 11308, 11309, 11310, -1, -1, 11360, -1, -1, -1, 570, 574, -1, 11367, -1, 11369, -1, 11371, -1, -1, -1, -1, -1, -1, 11378, -1, -1, 11381, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 11392, -1, 11394, -1, 11396, -1, 11398, -1, 11400, -1, 11402, -1, 11404, -1, 11406, -1, 11408, -1, 11410, -1, 11412, -1, 11414, -1, 11416, -1, 11418, -1, 11420, -1, 11422, -1, 11424, -1, 11426, -1, 11428, -1, 11430, -1, 11432, -1, 11434, -1, 11436, -1, 11438, -1, 11440, -1, 11442, -1, 11444, -1, 11446, -1, 11448, -1, 11450, -1, 11452, -1, 11454, -1, 11456, -1, 11458, -1, 11460, -1, 11462, -1, 11464, -1, 11466, -1, 11468, -1, 11470, -1, 11472, -1, 11474, -1, 11476, -1, 11478, -1, 11480, -1, 11482, -1, 11484, -1, 11486, -1, 11488, -1, 11490, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_45: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (4256), 4257, 4258, 4259, 4260, 4261, 4262, 4263, 4264, 4265, 4266, 4267, 4268, 4269, 4270, 4271, 4272, 4273, 4274, 4275, 4276, 4277, 4278, 4279, 4280, 4281, 4282, 4283, 4284, 4285, 4286, 4287, 4288, 4289, 4290, 4291, 4292, 4293, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_0_segment_5: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), 1280, -1, 1282, -1, 1284, -1, 1286, -1, 1288, -1, 1290, -1, 1292, -1, 1294, -1, 1296, -1, 1298, -1, 1300, -1, 1302, -1, 1304, -1, 1306, -1, 1308, -1, 1310, -1, 1312, -1, 1314, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1329, 1330, 1331, 1332, 1333, 1334, 1335, 1336, 1337, 1338, 1339, 1340, 1341, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1352, 1353, 1354, 1355, 1356, 1357, 1358, 1359, 1360, 1361, 1362, 1363, 1364, 1365, 1366, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_code_plane_1: SPECIAL [ARRAY [INTEGER_32]]
			-- Generated array plane
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			create Result.make_filled (Empty_title_code_segment, 256)
			Result.put (Empty_title_code_segment, 1)
			Result.put (Empty_title_code_segment, 2)
			Result.put (Empty_title_code_segment, 3)
			Result.put (Title_code_plane_1_segment_4, 4)
			Result.put (Empty_title_code_segment, 5)
			Result.put (Empty_title_code_segment, 6)
			Result.put (Empty_title_code_segment, 7)
			Result.put (Empty_title_code_segment, 8)
			Result.put (Empty_title_code_segment, 9)
			Result.put (Empty_title_code_segment, 10)
			Result.put (Empty_title_code_segment, 11)
			Result.put (Empty_title_code_segment, 12)
			Result.put (Empty_title_code_segment, 13)
			Result.put (Empty_title_code_segment, 14)
			Result.put (Empty_title_code_segment, 15)
			Result.put (Empty_title_code_segment, 16)
			Result.put (Empty_title_code_segment, 17)
			Result.put (Empty_title_code_segment, 18)
			Result.put (Empty_title_code_segment, 19)
			Result.put (Empty_title_code_segment, 20)
			Result.put (Empty_title_code_segment, 21)
			Result.put (Empty_title_code_segment, 22)
			Result.put (Empty_title_code_segment, 23)
			Result.put (Empty_title_code_segment, 24)
			Result.put (Empty_title_code_segment, 25)
			Result.put (Empty_title_code_segment, 26)
			Result.put (Empty_title_code_segment, 27)
			Result.put (Empty_title_code_segment, 28)
			Result.put (Empty_title_code_segment, 29)
			Result.put (Empty_title_code_segment, 30)
			Result.put (Empty_title_code_segment, 31)
			Result.put (Empty_title_code_segment, 32)
			Result.put (Empty_title_code_segment, 33)
			Result.put (Empty_title_code_segment, 34)
			Result.put (Empty_title_code_segment, 35)
			Result.put (Empty_title_code_segment, 36)
			Result.put (Empty_title_code_segment, 37)
			Result.put (Empty_title_code_segment, 38)
			Result.put (Empty_title_code_segment, 39)
			Result.put (Empty_title_code_segment, 40)
			Result.put (Empty_title_code_segment, 41)
			Result.put (Empty_title_code_segment, 42)
			Result.put (Empty_title_code_segment, 43)
			Result.put (Empty_title_code_segment, 44)
			Result.put (Empty_title_code_segment, 45)
			Result.put (Empty_title_code_segment, 46)
			Result.put (Empty_title_code_segment, 47)
			Result.put (Empty_title_code_segment, 48)
			Result.put (Empty_title_code_segment, 49)
			Result.put (Empty_title_code_segment, 50)
			Result.put (Empty_title_code_segment, 51)
			Result.put (Empty_title_code_segment, 52)
			Result.put (Empty_title_code_segment, 53)
			Result.put (Empty_title_code_segment, 54)
			Result.put (Empty_title_code_segment, 55)
			Result.put (Empty_title_code_segment, 56)
			Result.put (Empty_title_code_segment, 57)
			Result.put (Empty_title_code_segment, 58)
			Result.put (Empty_title_code_segment, 59)
			Result.put (Empty_title_code_segment, 60)
			Result.put (Empty_title_code_segment, 61)
			Result.put (Empty_title_code_segment, 62)
			Result.put (Empty_title_code_segment, 63)
			Result.put (Empty_title_code_segment, 64)
			Result.put (Empty_title_code_segment, 65)
			Result.put (Empty_title_code_segment, 66)
			Result.put (Empty_title_code_segment, 67)
			Result.put (Empty_title_code_segment, 68)
			Result.put (Empty_title_code_segment, 69)
			Result.put (Empty_title_code_segment, 70)
			Result.put (Empty_title_code_segment, 71)
			Result.put (Empty_title_code_segment, 72)
			Result.put (Empty_title_code_segment, 73)
			Result.put (Empty_title_code_segment, 74)
			Result.put (Empty_title_code_segment, 75)
			Result.put (Empty_title_code_segment, 76)
			Result.put (Empty_title_code_segment, 77)
			Result.put (Empty_title_code_segment, 78)
			Result.put (Empty_title_code_segment, 79)
			Result.put (Empty_title_code_segment, 80)
			Result.put (Empty_title_code_segment, 81)
			Result.put (Empty_title_code_segment, 82)
			Result.put (Empty_title_code_segment, 83)
			Result.put (Empty_title_code_segment, 84)
			Result.put (Empty_title_code_segment, 85)
			Result.put (Empty_title_code_segment, 86)
			Result.put (Empty_title_code_segment, 87)
			Result.put (Empty_title_code_segment, 88)
			Result.put (Empty_title_code_segment, 89)
			Result.put (Empty_title_code_segment, 90)
			Result.put (Empty_title_code_segment, 91)
			Result.put (Empty_title_code_segment, 92)
			Result.put (Empty_title_code_segment, 93)
			Result.put (Empty_title_code_segment, 94)
			Result.put (Empty_title_code_segment, 95)
			Result.put (Empty_title_code_segment, 96)
			Result.put (Empty_title_code_segment, 97)
			Result.put (Empty_title_code_segment, 98)
			Result.put (Empty_title_code_segment, 99)
			Result.put (Empty_title_code_segment, 100)
			Result.put (Empty_title_code_segment, 101)
			Result.put (Empty_title_code_segment, 102)
			Result.put (Empty_title_code_segment, 103)
			Result.put (Empty_title_code_segment, 104)
			Result.put (Empty_title_code_segment, 105)
			Result.put (Empty_title_code_segment, 106)
			Result.put (Empty_title_code_segment, 107)
			Result.put (Empty_title_code_segment, 108)
			Result.put (Empty_title_code_segment, 109)
			Result.put (Empty_title_code_segment, 110)
			Result.put (Empty_title_code_segment, 111)
			Result.put (Empty_title_code_segment, 112)
			Result.put (Empty_title_code_segment, 113)
			Result.put (Empty_title_code_segment, 114)
			Result.put (Empty_title_code_segment, 115)
			Result.put (Empty_title_code_segment, 116)
			Result.put (Empty_title_code_segment, 117)
			Result.put (Empty_title_code_segment, 118)
			Result.put (Empty_title_code_segment, 119)
			Result.put (Empty_title_code_segment, 120)
			Result.put (Empty_title_code_segment, 121)
			Result.put (Empty_title_code_segment, 122)
			Result.put (Empty_title_code_segment, 123)
			Result.put (Empty_title_code_segment, 124)
			Result.put (Empty_title_code_segment, 125)
			Result.put (Empty_title_code_segment, 126)
			Result.put (Empty_title_code_segment, 127)
			Result.put (Empty_title_code_segment, 128)
			Result.put (Empty_title_code_segment, 129)
			Result.put (Empty_title_code_segment, 130)
			Result.put (Empty_title_code_segment, 131)
			Result.put (Empty_title_code_segment, 132)
			Result.put (Empty_title_code_segment, 133)
			Result.put (Empty_title_code_segment, 134)
			Result.put (Empty_title_code_segment, 135)
			Result.put (Empty_title_code_segment, 136)
			Result.put (Empty_title_code_segment, 137)
			Result.put (Empty_title_code_segment, 138)
			Result.put (Empty_title_code_segment, 139)
			Result.put (Empty_title_code_segment, 140)
			Result.put (Empty_title_code_segment, 141)
			Result.put (Empty_title_code_segment, 142)
			Result.put (Empty_title_code_segment, 143)
			Result.put (Empty_title_code_segment, 144)
			Result.put (Empty_title_code_segment, 145)
			Result.put (Empty_title_code_segment, 146)
			Result.put (Empty_title_code_segment, 147)
			Result.put (Empty_title_code_segment, 148)
			Result.put (Empty_title_code_segment, 149)
			Result.put (Empty_title_code_segment, 150)
			Result.put (Empty_title_code_segment, 151)
			Result.put (Empty_title_code_segment, 152)
			Result.put (Empty_title_code_segment, 153)
			Result.put (Empty_title_code_segment, 154)
			Result.put (Empty_title_code_segment, 155)
			Result.put (Empty_title_code_segment, 156)
			Result.put (Empty_title_code_segment, 157)
			Result.put (Empty_title_code_segment, 158)
			Result.put (Empty_title_code_segment, 159)
			Result.put (Empty_title_code_segment, 160)
			Result.put (Empty_title_code_segment, 161)
			Result.put (Empty_title_code_segment, 162)
			Result.put (Empty_title_code_segment, 163)
			Result.put (Empty_title_code_segment, 164)
			Result.put (Empty_title_code_segment, 165)
			Result.put (Empty_title_code_segment, 166)
			Result.put (Empty_title_code_segment, 167)
			Result.put (Empty_title_code_segment, 168)
			Result.put (Empty_title_code_segment, 169)
			Result.put (Empty_title_code_segment, 170)
			Result.put (Empty_title_code_segment, 171)
			Result.put (Empty_title_code_segment, 172)
			Result.put (Empty_title_code_segment, 173)
			Result.put (Empty_title_code_segment, 174)
			Result.put (Empty_title_code_segment, 175)
			Result.put (Empty_title_code_segment, 176)
			Result.put (Empty_title_code_segment, 177)
			Result.put (Empty_title_code_segment, 178)
			Result.put (Empty_title_code_segment, 179)
			Result.put (Empty_title_code_segment, 180)
			Result.put (Empty_title_code_segment, 181)
			Result.put (Empty_title_code_segment, 182)
			Result.put (Empty_title_code_segment, 183)
			Result.put (Empty_title_code_segment, 184)
			Result.put (Empty_title_code_segment, 185)
			Result.put (Empty_title_code_segment, 186)
			Result.put (Empty_title_code_segment, 187)
			Result.put (Empty_title_code_segment, 188)
			Result.put (Empty_title_code_segment, 189)
			Result.put (Empty_title_code_segment, 190)
			Result.put (Empty_title_code_segment, 191)
			Result.put (Empty_title_code_segment, 192)
			Result.put (Empty_title_code_segment, 193)
			Result.put (Empty_title_code_segment, 194)
			Result.put (Empty_title_code_segment, 195)
			Result.put (Empty_title_code_segment, 196)
			Result.put (Empty_title_code_segment, 197)
			Result.put (Empty_title_code_segment, 198)
			Result.put (Empty_title_code_segment, 199)
			Result.put (Empty_title_code_segment, 200)
			Result.put (Empty_title_code_segment, 201)
			Result.put (Empty_title_code_segment, 202)
			Result.put (Empty_title_code_segment, 203)
			Result.put (Empty_title_code_segment, 204)
			Result.put (Empty_title_code_segment, 205)
			Result.put (Empty_title_code_segment, 206)
			Result.put (Empty_title_code_segment, 207)
			Result.put (Empty_title_code_segment, 208)
			Result.put (Empty_title_code_segment, 209)
			Result.put (Empty_title_code_segment, 210)
			Result.put (Empty_title_code_segment, 211)
			Result.put (Empty_title_code_segment, 212)
			Result.put (Empty_title_code_segment, 213)
			Result.put (Empty_title_code_segment, 214)
			Result.put (Empty_title_code_segment, 215)
			Result.put (Empty_title_code_segment, 216)
			Result.put (Empty_title_code_segment, 217)
			Result.put (Empty_title_code_segment, 218)
			Result.put (Empty_title_code_segment, 219)
			Result.put (Empty_title_code_segment, 220)
			Result.put (Empty_title_code_segment, 221)
			Result.put (Empty_title_code_segment, 222)
			Result.put (Empty_title_code_segment, 223)
			Result.put (Empty_title_code_segment, 224)
			Result.put (Empty_title_code_segment, 225)
			Result.put (Empty_title_code_segment, 226)
			Result.put (Empty_title_code_segment, 227)
			Result.put (Empty_title_code_segment, 228)
			Result.put (Empty_title_code_segment, 229)
			Result.put (Empty_title_code_segment, 230)
			Result.put (Empty_title_code_segment, 231)
			Result.put (Empty_title_code_segment, 232)
			Result.put (Empty_title_code_segment, 233)
			Result.put (Empty_title_code_segment, 234)
			Result.put (Empty_title_code_segment, 235)
			Result.put (Empty_title_code_segment, 236)
			Result.put (Empty_title_code_segment, 237)
			Result.put (Empty_title_code_segment, 238)
			Result.put (Empty_title_code_segment, 239)
			Result.put (Empty_title_code_segment, 240)
			Result.put (Empty_title_code_segment, 241)
			Result.put (Empty_title_code_segment, 242)
			Result.put (Empty_title_code_segment, 243)
			Result.put (Empty_title_code_segment, 244)
			Result.put (Empty_title_code_segment, 245)
			Result.put (Empty_title_code_segment, 246)
			Result.put (Empty_title_code_segment, 247)
			Result.put (Empty_title_code_segment, 248)
			Result.put (Empty_title_code_segment, 249)
			Result.put (Empty_title_code_segment, 250)
			Result.put (Empty_title_code_segment, 251)
			Result.put (Empty_title_code_segment, 252)
			Result.put (Empty_title_code_segment, 253)
			Result.put (Empty_title_code_segment, 254)
			Result.put (Empty_title_code_segment, 255)
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
			sub_arrays_not_void: True
		end

	Title_code_plane_1_segment_4: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 66560, 66561, 66562, 66563, 66564, 66565, 66566, 66567, 66568, 66569, 66570, 66571, 66572, 66573, 66574, 66575, 66576, 66577, 66578, 66579, 66580, 66581, 66582, 66583, 66584, 66585, 66586, 66587, 66588, 66589, 66590, 66591, 66592, 66593, 66594, 66595, 66596, 66597, 66598, 66599, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Title_codes: SPECIAL [SPECIAL [ARRAY [INTEGER_32]]]
			-- Title case code points for each code point
			-- (from UC_V510_CTYPE_TITLECASE)
		once
			create Result.make_filled (Title_code_plane_0, 17)
			Result.put (Title_code_plane_1, 1)
			Result.put (Empty_title_code_plane, 2)
			Result.put (Empty_title_code_plane, 3)
			Result.put (Empty_title_code_plane, 4)
			Result.put (Empty_title_code_plane, 5)
			Result.put (Empty_title_code_plane, 6)
			Result.put (Empty_title_code_plane, 7)
			Result.put (Empty_title_code_plane, 8)
			Result.put (Empty_title_code_plane, 9)
			Result.put (Empty_title_code_plane, 10)
			Result.put (Empty_title_code_plane, 11)
			Result.put (Empty_title_code_plane, 12)
			Result.put (Empty_title_code_plane, 13)
			Result.put (Empty_title_code_plane, 14)
			Result.put (Empty_title_code_plane, 15)
			Result.put (Empty_title_code_plane, 16)
		ensure -- from UC_V510_CTYPE_TITLECASE
			instance_free: class
		end

	Upper_code_plane_0: SPECIAL [ARRAY [INTEGER_32]]
			-- Generated array plane
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			create Result.make_filled (Upper_code_plane_0_segment_0, 256)
			Result.put (Upper_code_plane_0_segment_1, 1)
			Result.put (Upper_code_plane_0_segment_2, 2)
			Result.put (Upper_code_plane_0_segment_3, 3)
			Result.put (Upper_code_plane_0_segment_4, 4)
			Result.put (Upper_code_plane_0_segment_5, 5)
			Result.put (Empty_upper_code_segment, 6)
			Result.put (Empty_upper_code_segment, 7)
			Result.put (Empty_upper_code_segment, 8)
			Result.put (Empty_upper_code_segment, 9)
			Result.put (Empty_upper_code_segment, 10)
			Result.put (Empty_upper_code_segment, 11)
			Result.put (Empty_upper_code_segment, 12)
			Result.put (Empty_upper_code_segment, 13)
			Result.put (Empty_upper_code_segment, 14)
			Result.put (Empty_upper_code_segment, 15)
			Result.put (Empty_upper_code_segment, 16)
			Result.put (Empty_upper_code_segment, 17)
			Result.put (Empty_upper_code_segment, 18)
			Result.put (Empty_upper_code_segment, 19)
			Result.put (Empty_upper_code_segment, 20)
			Result.put (Empty_upper_code_segment, 21)
			Result.put (Empty_upper_code_segment, 22)
			Result.put (Empty_upper_code_segment, 23)
			Result.put (Empty_upper_code_segment, 24)
			Result.put (Empty_upper_code_segment, 25)
			Result.put (Empty_upper_code_segment, 26)
			Result.put (Empty_upper_code_segment, 27)
			Result.put (Empty_upper_code_segment, 28)
			Result.put (Upper_code_plane_0_segment_29, 29)
			Result.put (Upper_code_plane_0_segment_30, 30)
			Result.put (Upper_code_plane_0_segment_31, 31)
			Result.put (Empty_upper_code_segment, 32)
			Result.put (Upper_code_plane_0_segment_33, 33)
			Result.put (Empty_upper_code_segment, 34)
			Result.put (Empty_upper_code_segment, 35)
			Result.put (Upper_code_plane_0_segment_36, 36)
			Result.put (Empty_upper_code_segment, 37)
			Result.put (Empty_upper_code_segment, 38)
			Result.put (Empty_upper_code_segment, 39)
			Result.put (Empty_upper_code_segment, 40)
			Result.put (Empty_upper_code_segment, 41)
			Result.put (Empty_upper_code_segment, 42)
			Result.put (Empty_upper_code_segment, 43)
			Result.put (Upper_code_plane_0_segment_44, 44)
			Result.put (Upper_code_plane_0_segment_45, 45)
			Result.put (Empty_upper_code_segment, 46)
			Result.put (Empty_upper_code_segment, 47)
			Result.put (Empty_upper_code_segment, 48)
			Result.put (Empty_upper_code_segment, 49)
			Result.put (Empty_upper_code_segment, 50)
			Result.put (Empty_upper_code_segment, 51)
			Result.put (Empty_upper_code_segment, 52)
			Result.put (Empty_upper_code_segment, 53)
			Result.put (Empty_upper_code_segment, 54)
			Result.put (Empty_upper_code_segment, 55)
			Result.put (Empty_upper_code_segment, 56)
			Result.put (Empty_upper_code_segment, 57)
			Result.put (Empty_upper_code_segment, 58)
			Result.put (Empty_upper_code_segment, 59)
			Result.put (Empty_upper_code_segment, 60)
			Result.put (Empty_upper_code_segment, 61)
			Result.put (Empty_upper_code_segment, 62)
			Result.put (Empty_upper_code_segment, 63)
			Result.put (Empty_upper_code_segment, 64)
			Result.put (Empty_upper_code_segment, 65)
			Result.put (Empty_upper_code_segment, 66)
			Result.put (Empty_upper_code_segment, 67)
			Result.put (Empty_upper_code_segment, 68)
			Result.put (Empty_upper_code_segment, 69)
			Result.put (Empty_upper_code_segment, 70)
			Result.put (Empty_upper_code_segment, 71)
			Result.put (Empty_upper_code_segment, 72)
			Result.put (Empty_upper_code_segment, 73)
			Result.put (Empty_upper_code_segment, 74)
			Result.put (Empty_upper_code_segment, 75)
			Result.put (Empty_upper_code_segment, 76)
			Result.put (Empty_upper_code_segment, 77)
			Result.put (Empty_upper_code_segment, 78)
			Result.put (Empty_upper_code_segment, 79)
			Result.put (Empty_upper_code_segment, 80)
			Result.put (Empty_upper_code_segment, 81)
			Result.put (Empty_upper_code_segment, 82)
			Result.put (Empty_upper_code_segment, 83)
			Result.put (Empty_upper_code_segment, 84)
			Result.put (Empty_upper_code_segment, 85)
			Result.put (Empty_upper_code_segment, 86)
			Result.put (Empty_upper_code_segment, 87)
			Result.put (Empty_upper_code_segment, 88)
			Result.put (Empty_upper_code_segment, 89)
			Result.put (Empty_upper_code_segment, 90)
			Result.put (Empty_upper_code_segment, 91)
			Result.put (Empty_upper_code_segment, 92)
			Result.put (Empty_upper_code_segment, 93)
			Result.put (Empty_upper_code_segment, 94)
			Result.put (Empty_upper_code_segment, 95)
			Result.put (Empty_upper_code_segment, 96)
			Result.put (Empty_upper_code_segment, 97)
			Result.put (Empty_upper_code_segment, 98)
			Result.put (Empty_upper_code_segment, 99)
			Result.put (Empty_upper_code_segment, 100)
			Result.put (Empty_upper_code_segment, 101)
			Result.put (Empty_upper_code_segment, 102)
			Result.put (Empty_upper_code_segment, 103)
			Result.put (Empty_upper_code_segment, 104)
			Result.put (Empty_upper_code_segment, 105)
			Result.put (Empty_upper_code_segment, 106)
			Result.put (Empty_upper_code_segment, 107)
			Result.put (Empty_upper_code_segment, 108)
			Result.put (Empty_upper_code_segment, 109)
			Result.put (Empty_upper_code_segment, 110)
			Result.put (Empty_upper_code_segment, 111)
			Result.put (Empty_upper_code_segment, 112)
			Result.put (Empty_upper_code_segment, 113)
			Result.put (Empty_upper_code_segment, 114)
			Result.put (Empty_upper_code_segment, 115)
			Result.put (Empty_upper_code_segment, 116)
			Result.put (Empty_upper_code_segment, 117)
			Result.put (Empty_upper_code_segment, 118)
			Result.put (Empty_upper_code_segment, 119)
			Result.put (Empty_upper_code_segment, 120)
			Result.put (Empty_upper_code_segment, 121)
			Result.put (Empty_upper_code_segment, 122)
			Result.put (Empty_upper_code_segment, 123)
			Result.put (Empty_upper_code_segment, 124)
			Result.put (Empty_upper_code_segment, 125)
			Result.put (Empty_upper_code_segment, 126)
			Result.put (Empty_upper_code_segment, 127)
			Result.put (Empty_upper_code_segment, 128)
			Result.put (Empty_upper_code_segment, 129)
			Result.put (Empty_upper_code_segment, 130)
			Result.put (Empty_upper_code_segment, 131)
			Result.put (Empty_upper_code_segment, 132)
			Result.put (Empty_upper_code_segment, 133)
			Result.put (Empty_upper_code_segment, 134)
			Result.put (Empty_upper_code_segment, 135)
			Result.put (Empty_upper_code_segment, 136)
			Result.put (Empty_upper_code_segment, 137)
			Result.put (Empty_upper_code_segment, 138)
			Result.put (Empty_upper_code_segment, 139)
			Result.put (Empty_upper_code_segment, 140)
			Result.put (Empty_upper_code_segment, 141)
			Result.put (Empty_upper_code_segment, 142)
			Result.put (Empty_upper_code_segment, 143)
			Result.put (Empty_upper_code_segment, 144)
			Result.put (Empty_upper_code_segment, 145)
			Result.put (Empty_upper_code_segment, 146)
			Result.put (Empty_upper_code_segment, 147)
			Result.put (Empty_upper_code_segment, 148)
			Result.put (Empty_upper_code_segment, 149)
			Result.put (Empty_upper_code_segment, 150)
			Result.put (Empty_upper_code_segment, 151)
			Result.put (Empty_upper_code_segment, 152)
			Result.put (Empty_upper_code_segment, 153)
			Result.put (Empty_upper_code_segment, 154)
			Result.put (Empty_upper_code_segment, 155)
			Result.put (Empty_upper_code_segment, 156)
			Result.put (Empty_upper_code_segment, 157)
			Result.put (Empty_upper_code_segment, 158)
			Result.put (Empty_upper_code_segment, 159)
			Result.put (Empty_upper_code_segment, 160)
			Result.put (Empty_upper_code_segment, 161)
			Result.put (Empty_upper_code_segment, 162)
			Result.put (Empty_upper_code_segment, 163)
			Result.put (Empty_upper_code_segment, 164)
			Result.put (Empty_upper_code_segment, 165)
			Result.put (Upper_code_plane_0_segment_166, 166)
			Result.put (Upper_code_plane_0_segment_167, 167)
			Result.put (Empty_upper_code_segment, 168)
			Result.put (Empty_upper_code_segment, 169)
			Result.put (Empty_upper_code_segment, 170)
			Result.put (Empty_upper_code_segment, 171)
			Result.put (Empty_upper_code_segment, 172)
			Result.put (Empty_upper_code_segment, 173)
			Result.put (Empty_upper_code_segment, 174)
			Result.put (Empty_upper_code_segment, 175)
			Result.put (Empty_upper_code_segment, 176)
			Result.put (Empty_upper_code_segment, 177)
			Result.put (Empty_upper_code_segment, 178)
			Result.put (Empty_upper_code_segment, 179)
			Result.put (Empty_upper_code_segment, 180)
			Result.put (Empty_upper_code_segment, 181)
			Result.put (Empty_upper_code_segment, 182)
			Result.put (Empty_upper_code_segment, 183)
			Result.put (Empty_upper_code_segment, 184)
			Result.put (Empty_upper_code_segment, 185)
			Result.put (Empty_upper_code_segment, 186)
			Result.put (Empty_upper_code_segment, 187)
			Result.put (Empty_upper_code_segment, 188)
			Result.put (Empty_upper_code_segment, 189)
			Result.put (Empty_upper_code_segment, 190)
			Result.put (Empty_upper_code_segment, 191)
			Result.put (Empty_upper_code_segment, 192)
			Result.put (Empty_upper_code_segment, 193)
			Result.put (Empty_upper_code_segment, 194)
			Result.put (Empty_upper_code_segment, 195)
			Result.put (Empty_upper_code_segment, 196)
			Result.put (Empty_upper_code_segment, 197)
			Result.put (Empty_upper_code_segment, 198)
			Result.put (Empty_upper_code_segment, 199)
			Result.put (Empty_upper_code_segment, 200)
			Result.put (Empty_upper_code_segment, 201)
			Result.put (Empty_upper_code_segment, 202)
			Result.put (Empty_upper_code_segment, 203)
			Result.put (Empty_upper_code_segment, 204)
			Result.put (Empty_upper_code_segment, 205)
			Result.put (Empty_upper_code_segment, 206)
			Result.put (Empty_upper_code_segment, 207)
			Result.put (Empty_upper_code_segment, 208)
			Result.put (Empty_upper_code_segment, 209)
			Result.put (Empty_upper_code_segment, 210)
			Result.put (Empty_upper_code_segment, 211)
			Result.put (Empty_upper_code_segment, 212)
			Result.put (Empty_upper_code_segment, 213)
			Result.put (Empty_upper_code_segment, 214)
			Result.put (Empty_upper_code_segment, 215)
			Result.put (Empty_upper_code_segment, 216)
			Result.put (Empty_upper_code_segment, 217)
			Result.put (Empty_upper_code_segment, 218)
			Result.put (Empty_upper_code_segment, 219)
			Result.put (Empty_upper_code_segment, 220)
			Result.put (Empty_upper_code_segment, 221)
			Result.put (Empty_upper_code_segment, 222)
			Result.put (Empty_upper_code_segment, 223)
			Result.put (Empty_upper_code_segment, 224)
			Result.put (Empty_upper_code_segment, 225)
			Result.put (Empty_upper_code_segment, 226)
			Result.put (Empty_upper_code_segment, 227)
			Result.put (Empty_upper_code_segment, 228)
			Result.put (Empty_upper_code_segment, 229)
			Result.put (Empty_upper_code_segment, 230)
			Result.put (Empty_upper_code_segment, 231)
			Result.put (Empty_upper_code_segment, 232)
			Result.put (Empty_upper_code_segment, 233)
			Result.put (Empty_upper_code_segment, 234)
			Result.put (Empty_upper_code_segment, 235)
			Result.put (Empty_upper_code_segment, 236)
			Result.put (Empty_upper_code_segment, 237)
			Result.put (Empty_upper_code_segment, 238)
			Result.put (Empty_upper_code_segment, 239)
			Result.put (Empty_upper_code_segment, 240)
			Result.put (Empty_upper_code_segment, 241)
			Result.put (Empty_upper_code_segment, 242)
			Result.put (Empty_upper_code_segment, 243)
			Result.put (Empty_upper_code_segment, 244)
			Result.put (Empty_upper_code_segment, 245)
			Result.put (Empty_upper_code_segment, 246)
			Result.put (Empty_upper_code_segment, 247)
			Result.put (Empty_upper_code_segment, 248)
			Result.put (Empty_upper_code_segment, 249)
			Result.put (Empty_upper_code_segment, 250)
			Result.put (Empty_upper_code_segment, 251)
			Result.put (Empty_upper_code_segment, 252)
			Result.put (Empty_upper_code_segment, 253)
			Result.put (Empty_upper_code_segment, 254)
			Result.put (Upper_code_plane_0_segment_255, 255)
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
			sub_arrays_not_void: True
		end

	Upper_code_plane_0_segment_0: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 924, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, -1, 216, 217, 218, 219, 220, 221, 222, 376>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_1: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), 256, -1, 258, -1, 260, -1, 262, -1, 264, -1, 266, -1, 268, -1, 270, -1, 272, -1, 274, -1, 276, -1, 278, -1, 280, -1, 282, -1, 284, -1, 286, -1, 288, -1, 290, -1, 292, -1, 294, -1, 296, -1, 298, -1, 300, -1, 302, -1, 73, -1, 306, -1, 308, -1, 310, -1, -1, 313, -1, 315, -1, 317, -1, 319, -1, 321, -1, 323, -1, 325, -1, 327, -1, -1, 330, -1, 332, -1, 334, -1, 336, -1, 338, -1, 340, -1, 342, -1, 344, -1, 346, -1, 348, -1, 350, -1, 352, -1, 354, -1, 356, -1, 358, -1, 360, -1, 362, -1, 364, -1, 366, -1, 368, -1, 370, -1, 372, -1, 374, -1, -1, 377, -1, 379, -1, 381, 83, 579, -1, -1, 386, -1, 388, -1, -1, 391, -1, -1, -1, 395, -1, -1, -1, -1, -1, 401, -1, -1, 502, -1, -1, -1, 408, 573, -1, -1, -1, 544, -1, -1, 416, -1, 418, -1, 420, -1, -1, 423, -1, -1, -1, -1, 428, -1, -1, 431, -1, -1, -1, 435, -1, 437, -1, -1, 440, -1, -1, -1, 444, -1, 503, -1, -1, -1, -1, -1, 452, 452, -1, 455, 455, -1, 458, 458, -1, 461, -1, 463, -1, 465, -1, 467, -1, 469, -1, 471, -1, 473, -1, 475, 398, -1, 478, -1, 480, -1, 482, -1, 484, -1, 486, -1, 488, -1, 490, -1, 492, -1, 494, -1, -1, 497, 497, -1, 500, -1, -1, -1, 504, -1, 506, -1, 508, -1, 510>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_166: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42560, -1, 42562, -1, 42564, -1, 42566, -1, 42568, -1, 42570, -1, 42572, -1, 42574, -1, 42576, -1, 42578, -1, 42580, -1, 42582, -1, 42584, -1, 42586, -1, 42588, -1, 42590, -1, -1, -1, 42594, -1, 42596, -1, 42598, -1, 42600, -1, 42602, -1, 42604, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42624, -1, 42626, -1, 42628, -1, 42630, -1, 42632, -1, 42634, -1, 42636, -1, 42638, -1, 42640, -1, 42642, -1, 42644, -1, 42646, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_167: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42786, -1, 42788, -1, 42790, -1, 42792, -1, 42794, -1, 42796, -1, 42798, -1, -1, -1, 42802, -1, 42804, -1, 42806, -1, 42808, -1, 42810, -1, 42812, -1, 42814, -1, 42816, -1, 42818, -1, 42820, -1, 42822, -1, 42824, -1, 42826, -1, 42828, -1, 42830, -1, 42832, -1, 42834, -1, 42836, -1, 42838, -1, 42840, -1, 42842, -1, 42844, -1, 42846, -1, 42848, -1, 42850, -1, 42852, -1, 42854, -1, 42856, -1, 42858, -1, 42860, -1, 42862, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42873, -1, 42875, -1, -1, 42878, -1, 42880, -1, 42882, -1, 42884, -1, 42886, -1, -1, -1, -1, 42891, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_2: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), 512, -1, 514, -1, 516, -1, 518, -1, 520, -1, 522, -1, 524, -1, 526, -1, 528, -1, 530, -1, 532, -1, 534, -1, 536, -1, 538, -1, 540, -1, 542, -1, -1, -1, 546, -1, 548, -1, 550, -1, 552, -1, 554, -1, 556, -1, 558, -1, 560, -1, 562, -1, -1, -1, -1, -1, -1, -1, -1, 571, -1, -1, -1, -1, -1, 577, -1, -1, -1, -1, 582, -1, 584, -1, 586, -1, 588, -1, 590, 11375, 11373, -1, 385, 390, -1, 393, 394, -1, 399, -1, 400, -1, -1, -1, -1, 403, -1, -1, 404, -1, -1, -1, -1, 407, 406, -1, 11362, -1, -1, -1, 412, -1, 11374, 413, -1, -1, 415, -1, -1, -1, -1, -1, -1, -1, 11364, -1, -1, 422, -1, -1, 425, -1, -1, -1, -1, 430, 580, 433, 434, 581, -1, -1, -1, -1, -1, 439, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_255: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 65313, 65314, 65315, 65316, 65317, 65318, 65319, 65320, 65321, 65322, 65323, 65324, 65325, 65326, 65327, 65328, 65329, 65330, 65331, 65332, 65333, 65334, 65335, 65336, 65337, 65338, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_29: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 42877, -1, -1, -1, 11363, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_3: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 921, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 880, -1, 882, -1, -1, -1, 886, -1, -1, -1, 1021, 1022, 1023, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 902, 904, 905, 906, -1, 913, 914, 915, 916, 917, 918, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 931, 931, 932, 933, 934, 935, 936, 937, 938, 939, 908, 910, 911, -1, 914, 920, -1, -1, -1, 934, 928, 975, -1, 984, -1, 986, -1, 988, -1, 990, -1, 992, -1, 994, -1, 996, -1, 998, -1, 1000, -1, 1002, -1, 1004, -1, 1006, 922, 929, 1017, -1, -1, 917, -1, -1, 1015, -1, -1, 1018, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_30: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), 7680, -1, 7682, -1, 7684, -1, 7686, -1, 7688, -1, 7690, -1, 7692, -1, 7694, -1, 7696, -1, 7698, -1, 7700, -1, 7702, -1, 7704, -1, 7706, -1, 7708, -1, 7710, -1, 7712, -1, 7714, -1, 7716, -1, 7718, -1, 7720, -1, 7722, -1, 7724, -1, 7726, -1, 7728, -1, 7730, -1, 7732, -1, 7734, -1, 7736, -1, 7738, -1, 7740, -1, 7742, -1, 7744, -1, 7746, -1, 7748, -1, 7750, -1, 7752, -1, 7754, -1, 7756, -1, 7758, -1, 7760, -1, 7762, -1, 7764, -1, 7766, -1, 7768, -1, 7770, -1, 7772, -1, 7774, -1, 7776, -1, 7778, -1, 7780, -1, 7782, -1, 7784, -1, 7786, -1, 7788, -1, 7790, -1, 7792, -1, 7794, -1, 7796, -1, 7798, -1, 7800, -1, 7802, -1, 7804, -1, 7806, -1, 7808, -1, 7810, -1, 7812, -1, 7814, -1, 7816, -1, 7818, -1, 7820, -1, 7822, -1, 7824, -1, 7826, -1, 7828, -1, -1, -1, -1, -1, 7776, -1, -1, -1, -1, -1, 7840, -1, 7842, -1, 7844, -1, 7846, -1, 7848, -1, 7850, -1, 7852, -1, 7854, -1, 7856, -1, 7858, -1, 7860, -1, 7862, -1, 7864, -1, 7866, -1, 7868, -1, 7870, -1, 7872, -1, 7874, -1, 7876, -1, 7878, -1, 7880, -1, 7882, -1, 7884, -1, 7886, -1, 7888, -1, 7890, -1, 7892, -1, 7894, -1, 7896, -1, 7898, -1, 7900, -1, 7902, -1, 7904, -1, 7906, -1, 7908, -1, 7910, -1, 7912, -1, 7914, -1, 7916, -1, 7918, -1, 7920, -1, 7922, -1, 7924, -1, 7926, -1, 7928, -1, 7930, -1, 7932, -1, 7934>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_31: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (7944), 7945, 7946, 7947, 7948, 7949, 7950, 7951, -1, -1, -1, -1, -1, -1, -1, -1, 7960, 7961, 7962, 7963, 7964, 7965, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 7976, 7977, 7978, 7979, 7980, 7981, 7982, 7983, -1, -1, -1, -1, -1, -1, -1, -1, 7992, 7993, 7994, 7995, 7996, 7997, 7998, 7999, -1, -1, -1, -1, -1, -1, -1, -1, 8008, 8009, 8010, 8011, 8012, 8013, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8025, -1, 8027, -1, 8029, -1, 8031, -1, -1, -1, -1, -1, -1, -1, -1, 8040, 8041, 8042, 8043, 8044, 8045, 8046, 8047, -1, -1, -1, -1, -1, -1, -1, -1, 8122, 8123, 8136, 8137, 8138, 8139, 8154, 8155, 8184, 8185, 8170, 8171, 8186, 8187, -1, -1, 8072, 8073, 8074, 8075, 8076, 8077, 8078, 8079, -1, -1, -1, -1, -1, -1, -1, -1, 8088, 8089, 8090, 8091, 8092, 8093, 8094, 8095, -1, -1, -1, -1, -1, -1, -1, -1, 8104, 8105, 8106, 8107, 8108, 8109, 8110, 8111, -1, -1, -1, -1, -1, -1, -1, -1, 8120, 8121, -1, 8124, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 921, -1, -1, -1, -1, 8140, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8152, 8153, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8168, 8169, -1, -1, -1, 8172, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8188, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_33: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8498, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 8544, 8545, 8546, 8547, 8548, 8549, 8550, 8551, 8552, 8553, 8554, 8555, 8556, 8557, 8558, 8559, -1, -1, -1, -1, 8579, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_36: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 9398, 9399, 9400, 9401, 9402, 9403, 9404, 9405, 9406, 9407, 9408, 9409, 9410, 9411, 9412, 9413, 9414, 9415, 9416, 9417, 9418, 9419, 9420, 9421, 9422, 9423, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_4: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1047, 1048, 1049, 1050, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1071, 1024, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, -1, 1120, -1, 1122, -1, 1124, -1, 1126, -1, 1128, -1, 1130, -1, 1132, -1, 1134, -1, 1136, -1, 1138, -1, 1140, -1, 1142, -1, 1144, -1, 1146, -1, 1148, -1, 1150, -1, 1152, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1162, -1, 1164, -1, 1166, -1, 1168, -1, 1170, -1, 1172, -1, 1174, -1, 1176, -1, 1178, -1, 1180, -1, 1182, -1, 1184, -1, 1186, -1, 1188, -1, 1190, -1, 1192, -1, 1194, -1, 1196, -1, 1198, -1, 1200, -1, 1202, -1, 1204, -1, 1206, -1, 1208, -1, 1210, -1, 1212, -1, 1214, -1, -1, 1217, -1, 1219, -1, 1221, -1, 1223, -1, 1225, -1, 1227, -1, 1229, 1216, -1, 1232, -1, 1234, -1, 1236, -1, 1238, -1, 1240, -1, 1242, -1, 1244, -1, 1246, -1, 1248, -1, 1250, -1, 1252, -1, 1254, -1, 1256, -1, 1258, -1, 1260, -1, 1262, -1, 1264, -1, 1266, -1, 1268, -1, 1270, -1, 1272, -1, 1274, -1, 1276, -1, 1278>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_44: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 11264, 11265, 11266, 11267, 11268, 11269, 11270, 11271, 11272, 11273, 11274, 11275, 11276, 11277, 11278, 11279, 11280, 11281, 11282, 11283, 11284, 11285, 11286, 11287, 11288, 11289, 11290, 11291, 11292, 11293, 11294, 11295, 11296, 11297, 11298, 11299, 11300, 11301, 11302, 11303, 11304, 11305, 11306, 11307, 11308, 11309, 11310, -1, -1, 11360, -1, -1, -1, 570, 574, -1, 11367, -1, 11369, -1, 11371, -1, -1, -1, -1, -1, -1, 11378, -1, -1, 11381, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 11392, -1, 11394, -1, 11396, -1, 11398, -1, 11400, -1, 11402, -1, 11404, -1, 11406, -1, 11408, -1, 11410, -1, 11412, -1, 11414, -1, 11416, -1, 11418, -1, 11420, -1, 11422, -1, 11424, -1, 11426, -1, 11428, -1, 11430, -1, 11432, -1, 11434, -1, 11436, -1, 11438, -1, 11440, -1, 11442, -1, 11444, -1, 11446, -1, 11448, -1, 11450, -1, 11452, -1, 11454, -1, 11456, -1, 11458, -1, 11460, -1, 11462, -1, 11464, -1, 11466, -1, 11468, -1, 11470, -1, 11472, -1, 11474, -1, 11476, -1, 11478, -1, 11480, -1, 11482, -1, 11484, -1, 11486, -1, 11488, -1, 11490, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_45: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (4256), 4257, 4258, 4259, 4260, 4261, 4262, 4263, 4264, 4265, 4266, 4267, 4268, 4269, 4270, 4271, 4272, 4273, 4274, 4275, 4276, 4277, 4278, 4279, 4280, 4281, 4282, 4283, 4284, 4285, 4286, 4287, 4288, 4289, 4290, 4291, 4292, 4293, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_0_segment_5: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), 1280, -1, 1282, -1, 1284, -1, 1286, -1, 1288, -1, 1290, -1, 1292, -1, 1294, -1, 1296, -1, 1298, -1, 1300, -1, 1302, -1, 1304, -1, 1306, -1, 1308, -1, 1310, -1, 1312, -1, 1314, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1329, 1330, 1331, 1332, 1333, 1334, 1335, 1336, 1337, 1338, 1339, 1340, 1341, 1342, 1343, 1344, 1345, 1346, 1347, 1348, 1349, 1350, 1351, 1352, 1353, 1354, 1355, 1356, 1357, 1358, 1359, 1360, 1361, 1362, 1363, 1364, 1365, 1366, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_code_plane_1: SPECIAL [ARRAY [INTEGER_32]]
			-- Generated array plane
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			create Result.make_filled (Empty_upper_code_segment, 256)
			Result.put (Empty_upper_code_segment, 1)
			Result.put (Empty_upper_code_segment, 2)
			Result.put (Empty_upper_code_segment, 3)
			Result.put (Upper_code_plane_1_segment_4, 4)
			Result.put (Empty_upper_code_segment, 5)
			Result.put (Empty_upper_code_segment, 6)
			Result.put (Empty_upper_code_segment, 7)
			Result.put (Empty_upper_code_segment, 8)
			Result.put (Empty_upper_code_segment, 9)
			Result.put (Empty_upper_code_segment, 10)
			Result.put (Empty_upper_code_segment, 11)
			Result.put (Empty_upper_code_segment, 12)
			Result.put (Empty_upper_code_segment, 13)
			Result.put (Empty_upper_code_segment, 14)
			Result.put (Empty_upper_code_segment, 15)
			Result.put (Empty_upper_code_segment, 16)
			Result.put (Empty_upper_code_segment, 17)
			Result.put (Empty_upper_code_segment, 18)
			Result.put (Empty_upper_code_segment, 19)
			Result.put (Empty_upper_code_segment, 20)
			Result.put (Empty_upper_code_segment, 21)
			Result.put (Empty_upper_code_segment, 22)
			Result.put (Empty_upper_code_segment, 23)
			Result.put (Empty_upper_code_segment, 24)
			Result.put (Empty_upper_code_segment, 25)
			Result.put (Empty_upper_code_segment, 26)
			Result.put (Empty_upper_code_segment, 27)
			Result.put (Empty_upper_code_segment, 28)
			Result.put (Empty_upper_code_segment, 29)
			Result.put (Empty_upper_code_segment, 30)
			Result.put (Empty_upper_code_segment, 31)
			Result.put (Empty_upper_code_segment, 32)
			Result.put (Empty_upper_code_segment, 33)
			Result.put (Empty_upper_code_segment, 34)
			Result.put (Empty_upper_code_segment, 35)
			Result.put (Empty_upper_code_segment, 36)
			Result.put (Empty_upper_code_segment, 37)
			Result.put (Empty_upper_code_segment, 38)
			Result.put (Empty_upper_code_segment, 39)
			Result.put (Empty_upper_code_segment, 40)
			Result.put (Empty_upper_code_segment, 41)
			Result.put (Empty_upper_code_segment, 42)
			Result.put (Empty_upper_code_segment, 43)
			Result.put (Empty_upper_code_segment, 44)
			Result.put (Empty_upper_code_segment, 45)
			Result.put (Empty_upper_code_segment, 46)
			Result.put (Empty_upper_code_segment, 47)
			Result.put (Empty_upper_code_segment, 48)
			Result.put (Empty_upper_code_segment, 49)
			Result.put (Empty_upper_code_segment, 50)
			Result.put (Empty_upper_code_segment, 51)
			Result.put (Empty_upper_code_segment, 52)
			Result.put (Empty_upper_code_segment, 53)
			Result.put (Empty_upper_code_segment, 54)
			Result.put (Empty_upper_code_segment, 55)
			Result.put (Empty_upper_code_segment, 56)
			Result.put (Empty_upper_code_segment, 57)
			Result.put (Empty_upper_code_segment, 58)
			Result.put (Empty_upper_code_segment, 59)
			Result.put (Empty_upper_code_segment, 60)
			Result.put (Empty_upper_code_segment, 61)
			Result.put (Empty_upper_code_segment, 62)
			Result.put (Empty_upper_code_segment, 63)
			Result.put (Empty_upper_code_segment, 64)
			Result.put (Empty_upper_code_segment, 65)
			Result.put (Empty_upper_code_segment, 66)
			Result.put (Empty_upper_code_segment, 67)
			Result.put (Empty_upper_code_segment, 68)
			Result.put (Empty_upper_code_segment, 69)
			Result.put (Empty_upper_code_segment, 70)
			Result.put (Empty_upper_code_segment, 71)
			Result.put (Empty_upper_code_segment, 72)
			Result.put (Empty_upper_code_segment, 73)
			Result.put (Empty_upper_code_segment, 74)
			Result.put (Empty_upper_code_segment, 75)
			Result.put (Empty_upper_code_segment, 76)
			Result.put (Empty_upper_code_segment, 77)
			Result.put (Empty_upper_code_segment, 78)
			Result.put (Empty_upper_code_segment, 79)
			Result.put (Empty_upper_code_segment, 80)
			Result.put (Empty_upper_code_segment, 81)
			Result.put (Empty_upper_code_segment, 82)
			Result.put (Empty_upper_code_segment, 83)
			Result.put (Empty_upper_code_segment, 84)
			Result.put (Empty_upper_code_segment, 85)
			Result.put (Empty_upper_code_segment, 86)
			Result.put (Empty_upper_code_segment, 87)
			Result.put (Empty_upper_code_segment, 88)
			Result.put (Empty_upper_code_segment, 89)
			Result.put (Empty_upper_code_segment, 90)
			Result.put (Empty_upper_code_segment, 91)
			Result.put (Empty_upper_code_segment, 92)
			Result.put (Empty_upper_code_segment, 93)
			Result.put (Empty_upper_code_segment, 94)
			Result.put (Empty_upper_code_segment, 95)
			Result.put (Empty_upper_code_segment, 96)
			Result.put (Empty_upper_code_segment, 97)
			Result.put (Empty_upper_code_segment, 98)
			Result.put (Empty_upper_code_segment, 99)
			Result.put (Empty_upper_code_segment, 100)
			Result.put (Empty_upper_code_segment, 101)
			Result.put (Empty_upper_code_segment, 102)
			Result.put (Empty_upper_code_segment, 103)
			Result.put (Empty_upper_code_segment, 104)
			Result.put (Empty_upper_code_segment, 105)
			Result.put (Empty_upper_code_segment, 106)
			Result.put (Empty_upper_code_segment, 107)
			Result.put (Empty_upper_code_segment, 108)
			Result.put (Empty_upper_code_segment, 109)
			Result.put (Empty_upper_code_segment, 110)
			Result.put (Empty_upper_code_segment, 111)
			Result.put (Empty_upper_code_segment, 112)
			Result.put (Empty_upper_code_segment, 113)
			Result.put (Empty_upper_code_segment, 114)
			Result.put (Empty_upper_code_segment, 115)
			Result.put (Empty_upper_code_segment, 116)
			Result.put (Empty_upper_code_segment, 117)
			Result.put (Empty_upper_code_segment, 118)
			Result.put (Empty_upper_code_segment, 119)
			Result.put (Empty_upper_code_segment, 120)
			Result.put (Empty_upper_code_segment, 121)
			Result.put (Empty_upper_code_segment, 122)
			Result.put (Empty_upper_code_segment, 123)
			Result.put (Empty_upper_code_segment, 124)
			Result.put (Empty_upper_code_segment, 125)
			Result.put (Empty_upper_code_segment, 126)
			Result.put (Empty_upper_code_segment, 127)
			Result.put (Empty_upper_code_segment, 128)
			Result.put (Empty_upper_code_segment, 129)
			Result.put (Empty_upper_code_segment, 130)
			Result.put (Empty_upper_code_segment, 131)
			Result.put (Empty_upper_code_segment, 132)
			Result.put (Empty_upper_code_segment, 133)
			Result.put (Empty_upper_code_segment, 134)
			Result.put (Empty_upper_code_segment, 135)
			Result.put (Empty_upper_code_segment, 136)
			Result.put (Empty_upper_code_segment, 137)
			Result.put (Empty_upper_code_segment, 138)
			Result.put (Empty_upper_code_segment, 139)
			Result.put (Empty_upper_code_segment, 140)
			Result.put (Empty_upper_code_segment, 141)
			Result.put (Empty_upper_code_segment, 142)
			Result.put (Empty_upper_code_segment, 143)
			Result.put (Empty_upper_code_segment, 144)
			Result.put (Empty_upper_code_segment, 145)
			Result.put (Empty_upper_code_segment, 146)
			Result.put (Empty_upper_code_segment, 147)
			Result.put (Empty_upper_code_segment, 148)
			Result.put (Empty_upper_code_segment, 149)
			Result.put (Empty_upper_code_segment, 150)
			Result.put (Empty_upper_code_segment, 151)
			Result.put (Empty_upper_code_segment, 152)
			Result.put (Empty_upper_code_segment, 153)
			Result.put (Empty_upper_code_segment, 154)
			Result.put (Empty_upper_code_segment, 155)
			Result.put (Empty_upper_code_segment, 156)
			Result.put (Empty_upper_code_segment, 157)
			Result.put (Empty_upper_code_segment, 158)
			Result.put (Empty_upper_code_segment, 159)
			Result.put (Empty_upper_code_segment, 160)
			Result.put (Empty_upper_code_segment, 161)
			Result.put (Empty_upper_code_segment, 162)
			Result.put (Empty_upper_code_segment, 163)
			Result.put (Empty_upper_code_segment, 164)
			Result.put (Empty_upper_code_segment, 165)
			Result.put (Empty_upper_code_segment, 166)
			Result.put (Empty_upper_code_segment, 167)
			Result.put (Empty_upper_code_segment, 168)
			Result.put (Empty_upper_code_segment, 169)
			Result.put (Empty_upper_code_segment, 170)
			Result.put (Empty_upper_code_segment, 171)
			Result.put (Empty_upper_code_segment, 172)
			Result.put (Empty_upper_code_segment, 173)
			Result.put (Empty_upper_code_segment, 174)
			Result.put (Empty_upper_code_segment, 175)
			Result.put (Empty_upper_code_segment, 176)
			Result.put (Empty_upper_code_segment, 177)
			Result.put (Empty_upper_code_segment, 178)
			Result.put (Empty_upper_code_segment, 179)
			Result.put (Empty_upper_code_segment, 180)
			Result.put (Empty_upper_code_segment, 181)
			Result.put (Empty_upper_code_segment, 182)
			Result.put (Empty_upper_code_segment, 183)
			Result.put (Empty_upper_code_segment, 184)
			Result.put (Empty_upper_code_segment, 185)
			Result.put (Empty_upper_code_segment, 186)
			Result.put (Empty_upper_code_segment, 187)
			Result.put (Empty_upper_code_segment, 188)
			Result.put (Empty_upper_code_segment, 189)
			Result.put (Empty_upper_code_segment, 190)
			Result.put (Empty_upper_code_segment, 191)
			Result.put (Empty_upper_code_segment, 192)
			Result.put (Empty_upper_code_segment, 193)
			Result.put (Empty_upper_code_segment, 194)
			Result.put (Empty_upper_code_segment, 195)
			Result.put (Empty_upper_code_segment, 196)
			Result.put (Empty_upper_code_segment, 197)
			Result.put (Empty_upper_code_segment, 198)
			Result.put (Empty_upper_code_segment, 199)
			Result.put (Empty_upper_code_segment, 200)
			Result.put (Empty_upper_code_segment, 201)
			Result.put (Empty_upper_code_segment, 202)
			Result.put (Empty_upper_code_segment, 203)
			Result.put (Empty_upper_code_segment, 204)
			Result.put (Empty_upper_code_segment, 205)
			Result.put (Empty_upper_code_segment, 206)
			Result.put (Empty_upper_code_segment, 207)
			Result.put (Empty_upper_code_segment, 208)
			Result.put (Empty_upper_code_segment, 209)
			Result.put (Empty_upper_code_segment, 210)
			Result.put (Empty_upper_code_segment, 211)
			Result.put (Empty_upper_code_segment, 212)
			Result.put (Empty_upper_code_segment, 213)
			Result.put (Empty_upper_code_segment, 214)
			Result.put (Empty_upper_code_segment, 215)
			Result.put (Empty_upper_code_segment, 216)
			Result.put (Empty_upper_code_segment, 217)
			Result.put (Empty_upper_code_segment, 218)
			Result.put (Empty_upper_code_segment, 219)
			Result.put (Empty_upper_code_segment, 220)
			Result.put (Empty_upper_code_segment, 221)
			Result.put (Empty_upper_code_segment, 222)
			Result.put (Empty_upper_code_segment, 223)
			Result.put (Empty_upper_code_segment, 224)
			Result.put (Empty_upper_code_segment, 225)
			Result.put (Empty_upper_code_segment, 226)
			Result.put (Empty_upper_code_segment, 227)
			Result.put (Empty_upper_code_segment, 228)
			Result.put (Empty_upper_code_segment, 229)
			Result.put (Empty_upper_code_segment, 230)
			Result.put (Empty_upper_code_segment, 231)
			Result.put (Empty_upper_code_segment, 232)
			Result.put (Empty_upper_code_segment, 233)
			Result.put (Empty_upper_code_segment, 234)
			Result.put (Empty_upper_code_segment, 235)
			Result.put (Empty_upper_code_segment, 236)
			Result.put (Empty_upper_code_segment, 237)
			Result.put (Empty_upper_code_segment, 238)
			Result.put (Empty_upper_code_segment, 239)
			Result.put (Empty_upper_code_segment, 240)
			Result.put (Empty_upper_code_segment, 241)
			Result.put (Empty_upper_code_segment, 242)
			Result.put (Empty_upper_code_segment, 243)
			Result.put (Empty_upper_code_segment, 244)
			Result.put (Empty_upper_code_segment, 245)
			Result.put (Empty_upper_code_segment, 246)
			Result.put (Empty_upper_code_segment, 247)
			Result.put (Empty_upper_code_segment, 248)
			Result.put (Empty_upper_code_segment, 249)
			Result.put (Empty_upper_code_segment, 250)
			Result.put (Empty_upper_code_segment, 251)
			Result.put (Empty_upper_code_segment, 252)
			Result.put (Empty_upper_code_segment, 253)
			Result.put (Empty_upper_code_segment, 254)
			Result.put (Empty_upper_code_segment, 255)
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
			sub_arrays_not_void: True
		end

	Upper_code_plane_1_segment_4: ARRAY [INTEGER_32]
			-- Generated array segment
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			Result := <<Integer_.to_integer (-1), -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 66560, 66561, 66562, 66563, 66564, 66565, 66566, 66567, 66568, 66569, 66570, 66571, 66572, 66573, 66574, 66575, 66576, 66577, 66578, 66579, 66580, 66581, 66582, 66583, 66584, 66585, 66586, 66587, 66588, 66589, 66590, 66591, 66592, 66593, 66594, 66595, 66596, 66597, 66598, 66599, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1>>
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
			result_not_void: Result /= Void
		end

	Upper_codes: SPECIAL [SPECIAL [ARRAY [INTEGER_32]]]
			-- Upper case code points for each code point
			-- (from UC_V510_CTYPE_UPPERCASE)
		once
			create Result.make_filled (Upper_code_plane_0, 17)
			Result.put (Upper_code_plane_1, 1)
			Result.put (Empty_upper_code_plane, 2)
			Result.put (Empty_upper_code_plane, 3)
			Result.put (Empty_upper_code_plane, 4)
			Result.put (Empty_upper_code_plane, 5)
			Result.put (Empty_upper_code_plane, 6)
			Result.put (Empty_upper_code_plane, 7)
			Result.put (Empty_upper_code_plane, 8)
			Result.put (Empty_upper_code_plane, 9)
			Result.put (Empty_upper_code_plane, 10)
			Result.put (Empty_upper_code_plane, 11)
			Result.put (Empty_upper_code_plane, 12)
			Result.put (Empty_upper_code_plane, 13)
			Result.put (Empty_upper_code_plane, 14)
			Result.put (Empty_upper_code_plane, 15)
			Result.put (Empty_upper_code_plane, 16)
		ensure -- from UC_V510_CTYPE_UPPERCASE
			instance_free: class
		end
	
feature -- Output

	Io: STD_FILES
			-- Handle to standard file setup
			-- (from ANY)
		once
			create Result
			Result.set_output_default
		ensure -- from ANY
			instance_free: class
			io_not_void: Result /= Void
		end

	out: STRING_8
			-- New string containing terse printable representation
			-- of current object
			-- (from ANY)
		do
			Result := tagged_out
		ensure -- from ANY
			out_not_void: Result /= Void
		end

	print (o: detachable ANY)
			-- Write terse external representation of o
			-- on standard output.
			-- (from ANY)
		do
			if o /= Void then
				Io.put_string (o.out)
			end
		ensure -- from ANY
			instance_free: class
		end

	frozen tagged_out: STRING_8
			-- New string containing terse printable representation
			-- of current object
			-- (from ANY)
		external
			"built_in"
		ensure -- from ANY
			tagged_out_not_void: Result /= Void
		end
	
feature -- Platform

	Operating_environment: OPERATING_ENVIRONMENT
			-- Objects available from the operating system
			-- (from ANY)
		once
			create Result
		ensure -- from ANY
			instance_free: class
			operating_environment_not_void: Result /= Void
		end
	
feature {NONE} -- Retrieval

	frozen internal_correct_mismatch
			-- Called from runtime to perform a proper dynamic dispatch on correct_mismatch
			-- from MISMATCH_CORRECTOR.
			-- (from ANY)
		local
			l_msg: STRING_8
			l_exc: EXCEPTIONS
		do
			if attached {MISMATCH_CORRECTOR} Current as l_corrector then
				l_corrector.correct_mismatch
			else
				create l_msg.make_from_string ("Mismatch: ")
				create l_exc
				l_msg.append (generating_type.name)
				l_exc.raise_retrieval_exception (l_msg)
			end
		end
	
invariant
		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class UC_UNICODE_ROUTINES

Generated by ISE EiffelStudio