note description: "Database for simple mapping to lower case" generator: "geuc" library: "Gobo Eiffel Kernel Library" copyright: "Copyright (c) 2005-2013, Colin Adams and others" license: "MIT License" date: "$Date: 2019-02-07 22:54:15 +0000 (Thu, 07 Feb 2019) $" revision: "$Revision: 102807 $" class UC_V510_CTYPE_LOWERCASE inherit ANY KL_IMPORTED_INTEGER_ROUTINES export {NONE} all end create default_create feature -- Access Major_version: INTEGER_32 -- Major version number of Unicode once Result := 5 end Minor_version: INTEGER_32 -- Minor version number of Unicode once Result := 1 end Update_version: INTEGER_32 -- Update version number of Unicode once Result := 0 end feature {NONE} -- Implementation Lower_code_plane_0_segment_0: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_1: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_2: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_3: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_4: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_5: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Empty_lower_code_segment: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_16: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_30: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_31: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_33: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_36: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_44: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_166: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_167: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0_segment_255: ARRAY [INTEGER_32] -- Generated array segment 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_0: SPECIAL [ARRAY [INTEGER_32]] -- Generated array plane 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 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 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 instance_free: class result_not_void: Result /= Void end Lower_code_plane_1: SPECIAL [ARRAY [INTEGER_32]] -- Generated array plane 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 instance_free: class result_not_void: Result /= Void sub_arrays_not_void: True end Empty_lower_code_plane: SPECIAL [ARRAY [INTEGER_32]] -- Generated array plane once create Result.make_filled (Empty_lower_code_segment, 256) ensure instance_free: class result_not_void: Result /= Void sub_arrays_not_void: True end Lower_codes: SPECIAL [SPECIAL [ARRAY [INTEGER_32]]] -- Lower case code points for each code point 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 instance_free: class end end -- class UC_V510_CTYPE_LOWERCASE
Generated by ISE EiffelStudio