V "GNAT Lib v16"
A -O2
A -gnatA
A -g
A -gnato
A -gnatf
A -gnatn
A -fstack-check=specific
A -mtune=generic
A -march=x86-64
P SS ZX

RN
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_RECURSION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS

U strings_edit.utf8.mapping%b  strings_edit-utf8-mapping.adb  0755a37e NE OO PK
W ada%s			ada.ads			ada.ali
W ada.io_exceptions%s	a-ioexce.ads		a-ioexce.ali
W strings_edit.utf8%s	strings_edit-utf8.adb	strings_edit-utf8.ali
Z system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U strings_edit.utf8.mapping%s  strings_edit-utf8-mapping.ads  bbbb0e8b EB NE OO PK
W strings_edit.utf8%s	strings_edit-utf8.adb	strings_edit-utf8.ali

D ada.ads		20260713161458 76789da1 ada%s
D a-charac.ads		20260713161458 2d3ec45b ada.characters%s
D a-chlat1.ads		20260713161458 e0d72e76 ada.characters.latin_1%s
D a-ioexce.ads		20260713161458 40018c65 ada.io_exceptions%s
D a-string.ads		20260713161458 90ac6797 ada.strings%s
D a-strmap.ads		20260713161458 f7e6ca10 ada.strings.maps%s
D a-unccon.ads		20260713161458 0e9b276f ada.unchecked_conversion%s
D strings_edit.ads	20260805193057 7d801be5 strings_edit%s
D strings_edit-lexicographical_order.ads  20260805193057 8d7febff strings_edit.lexicographical_order%s
D strings_edit-utf8.ads	20260805193057 93428e4e strings_edit.utf8%s
D strings_edit-utf8-mapping.ads  20260805193057 28f980c5 strings_edit.utf8.mapping%s
D strings_edit-utf8-mapping.adb  20260805193057 6fadafde strings_edit.utf8.mapping%b
D system.ads		20260713161458 e2b7c99d system%s
D s-exctab.ads		20260713161458 91bef6ef system.exception_table%s
D s-parame.ads		20260713161458 a1aeab5c system.parameters%s
D s-secsta.ads		20260713161458 578279f5 system.secondary_stack%s
D s-stalib.ads		20260713161458 1c9580f6 system.standard_library%s
D s-stoele.ads		20260713161458 ccded4e8 system.storage_elements%s
D s-unstyp.ads		20260713161458 fa2a7f59 system.unsigned_types%s
G a e
G c Z s b [has_case strings_edit__utf8__mapping 43 13 none]
G c Z s b [is_lowercase strings_edit__utf8__mapping 53 13 none]
G c Z s b [is_uppercase strings_edit__utf8__mapping 63 13 none]
G c Z s b [to_lowercase strings_edit__utf8__mapping 73 13 none]
G c Z s b [to_lowercase strings_edit__utf8__mapping 75 13 none]
G c Z s b [to_uppercase strings_edit__utf8__mapping 85 13 none]
G c Z s b [to_uppercase strings_edit__utf8__mapping 87 13 none]
G c Z b b [categorizationIP strings_edit__utf8__mapping 32 9 none]
G c Z b b [Tcategorization_arrayBIP strings_edit__utf8__mapping 38 4 none]
G c Z b b [find strings_edit__utf8__mapping 1439 14 none]
G r c none [to_lowercase strings_edit__utf8__mapping 75 13 none] [get strings_edit__utf8 69 14 none]
G r c none [to_lowercase strings_edit__utf8__mapping 75 13 none] [put strings_edit__utf8 124 14 none]
G r c none [to_lowercase strings_edit__utf8__mapping 75 13 none] [image strings_edit__utf8 106 13 none]
G r c none [to_uppercase strings_edit__utf8__mapping 87 13 none] [get strings_edit__utf8 69 14 none]
G r c none [to_uppercase strings_edit__utf8__mapping 87 13 none] [put strings_edit__utf8 124 14 none]
G r c none [to_uppercase strings_edit__utf8__mapping 87 13 none] [image strings_edit__utf8 106 13 none]
X 1 ada.ads
18K9*Ada 22e8 12|28r6 28r30
X 4 a-ioexce.ads
16K13*IO_Exceptions 28e22 12|28w10 28r34
26X4*Layout_Error 12|1533r12 1571r12
X 8 strings_edit.ads
132K9*Strings_Edit 335e17 11|31r9 32r27 89r5 12|30r14 1583r5
X 10 strings_edit-utf8.ads
31K22*UTF8 8|132k9 10|232e22 11|31r22 32r40 89r18 12|30r27 1583r18
36M9*Code_Point 12|1447r17
37M12*UTF8_Code_Point{36M9} 11|43r31 53r35 63r35 73r35 74r14 85r35 86r14
. 12|33r15 34r15 35r15 1440r25 1467r31 1483r35 1495r35 1507r35 1508r14 1524r16
. 1545r35 1546r14 1562r16
69U14*Get 12|1527s10 1565s10
106V13*Image{string} 12|1535s41 1539s16 1573s41 1577s16
124U14*Put 12|1529s10 1567s10
X 11 strings_edit-utf8-mapping.ads
31K27*Mapping 10|31k22 11|32r45 89l23 89e30 12|30b32 1583l23 1583t30
43V13*Has_Case{boolean} 43>23 12|1467b13 1481l8 1481t16
43m23 Value{10|37M12} 12|1467b23 1471r13 1474r37 1476r37
53V13*Is_Lowercase{boolean} 53>27 12|1483b13 1493l8 1493t20
53m27 Value{10|37M12} 12|1483b27 1487r13 1489r41
63V13*Is_Uppercase{boolean} 63>27 12|1495b13 1505l8 1505t20
63m27 Value{10|37M12} 12|1495b27 1499r13 1501r41
73V13*To_Lowercase{10|37M12} 73>27 12|1507b13 1518l8 1518t20 1528s18
73m27 Value{10|37M12} 12|1507b27 1512r13 1516r17
75V13*To_Lowercase{string} 75>27 12|1520b13 1540s16 1543l8 1543t20
75a27 Value{string} 12|1520b27 1521r27 1522r27 1526r21 1527r15 1534r20 1540r30
. 1540r43
85V13*To_Uppercase{10|37M12} 85>27 12|1545b13 1556l8 1556t20 1566s18
85m27 Value{10|37M12} 12|1545b27 1550r13 1554r17
87V13*To_Uppercase{string} 87>27 12|1558b13 1578s16 1581l8 1581t20
87a27 Value{string} 12|1558b27 1559r27 1560r27 1564r21 1565r15 1572r20 1578r30
. 1578r43
X 12 strings_edit-utf8-mapping.adb
32R9 Categorization 36e14 39r10
33m7*Code{10|37M12} 1451r36
34m7*Upper{10|37M12} 1476r29 1501r33 1552r33
35m7*Lower{10|37M12} 1474r29 1489r33 1514r33
37I9 Categorization_Index<short_integer> 38r40 1442r32 1444r14 1445r14 1446r14
. 1468r15 1468r39 1484r15 1484r39 1496r15 1496r39 1509r15 1509r39 1547r15
. 1547r39
38A9 Categorization_Array(32R9)<37I9> 41r23
41a4 Mapping{38A9} 1444r38 1445r38 1451r21 1474r13 1476r13 1489r17 1501r17
. 1514r17 1552r17
1439U14 Find 1439b14 1440>17 1441<17 1442=17 1465l8 1465t12 1471s7 1487s7
. 1499s7 1512s7 1550s7
1440m17 Code{10|37M12} 1452r23 1456r26
1441b17 Found{boolean} 1453m13 1464m7
1442i17 Index{37I9} 1454m13
1444i7 From{37I9} 1450r19 1457r30 1461m13
1445i7 To{37I9} 1450r26 1458m13 1460r30
1446i7 This{37I9} 1450m10 1451r30 1454r22 1457r23 1458r19 1460r23 1461r21
1447m7 Current{10|36M9} 1451m10 1452r13 1456r16
1468i7 Index{37I9} 1471m27 1471r27 1474r22 1476r22
1469b7 Found{boolean} 1471m20 1472r10
1484i7 Index{37I9} 1487m27 1487r27 1489r26
1485b7 Found{boolean} 1487m20 1488r10
1496i7 Index{37I9} 1499m27 1499r27 1501r26
1497b7 Found{boolean} 1499m20 1500r10
1509i7 Index{37I9} 1512m27 1512r27 1514r26
1510b7 Found{boolean} 1512m20 1513r10
1521a7 Result{string} 1529m15 1529r15 1531r14 1535r20 1538r16
1522i7 From{integer} 1526r13 1527m22 1527r22 1534r13 1540r37
1523i7 To{integer} 1529m23 1529r23 1531r25 1535r31 1538r27
1524m7 Code{10|37M12} 1527m28 1528m10 1528r32 1529r27 1535r48 1539r23
1547i7 Index{37I9} 1550m27 1550r27 1552r26
1548b7 Found{boolean} 1550m20 1551r10
1559a7 Result{string} 1567m15 1567r15 1569r14 1573r20 1576r16
1560i7 From{integer} 1564r13 1565m22 1565r22 1572r13 1578r37
1561i7 To{integer} 1567m23 1567r23 1569r25 1573r31 1576r27
1562m7 Code{10|37M12} 1565m28 1566m10 1566r32 1567r27 1573r48 1577r23

