V "GNAT Lib v13"
A -Ofast
A -O2
A -gnatA
A -gnatwa
A -gnatyg
A -fPIC
A -g
A -gnatp
A -gnatn2
A -flto
A -mtune=nocona
A -march=nocona
P SS ZX

RN
RV NO_ALLOCATORS
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_ACCESS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE

U adasat.internals%s	adasat-internals.ads	f606b3e1 EE OO PF PK
W ada%s			ada.ads			ada.ali
Z ada.exceptions%s	a-except.adb		a-except.ali
Z ada.streams%s		a-stream.adb		a-stream.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
Z ada.tags%s		a-tags.adb		a-tags.ali
Z ada.unchecked_conversion%s
W adasat%s		adasat.adb		adasat.ali
W adasat.vectors%s	adasat-vectors.adb	adasat-vectors.ali  ED
Z system%s		system.ads		system.ali
Z system.memory%s	s-memory.adb		s-memory.ali
Z system.put_images%s	s-putima.adb		s-putima.ali
Z system.return_stack%s	s-retsta.ads		s-retsta.ali
Z system.secondary_stack%s  s-secsta.adb	s-secsta.ali
Z system.storage_elements%s  s-stoele.adb	s-stoele.ali
Z system.stream_attributes%s  s-stratt.adb	s-stratt.ali

D ada.ads		20250605160258 76789da1 ada%s
D a-except.ads		20250605160258 2a7d8d70 ada.exceptions%s
D a-ioexce.ads		20250605160258 40018c65 ada.io_exceptions%s
D a-stream.ads		20250605160258 119b8fb3 ada.streams%s
D a-string.ads		20250605160258 90ac6797 ada.strings%s
D a-sttebu.ads		20250605160258 f1ad67a2 ada.strings.text_buffers%s
D a-stuten.ads		20250605160258 c6ced0ae ada.strings.utf_encoding%s
D a-tags.ads		20250605160258 9eaa38c6 ada.tags%s
D a-unccon.ads		20250605160258 0e9b276f ada.unchecked_conversion%s
D a-uncdea.ads		20250605160258 c3a8ac65 ada.unchecked_deallocation%s
D adasat.ads		20230926141706 f1ce6070 adasat%s
D adasat-internals.ads	20230926141706 ccca0a79 adasat.internals%s
D adasat-vectors.ads	20230926141706 cb02d9e8 adasat.vectors%s
D adasat-vectors.adb	20230926141706 771ed090 adasat.vectors%b
D interfac.ads		20250605160258 15f799c2 interfaces%s
D system.ads		20250605160258 db5ec672 system%s
D s-exctab.ads		20250605160258 91bef6ef system.exception_table%s
D s-memory.ads		20250605160258 5b8432d0 system.memory%s
D s-parame.ads		20250605160258 d494a4a6 system.parameters%s
D s-putima.ads		20250605160258 17291fe4 system.put_images%s
D s-retsta.ads		20250605160258 0f6b06cb system.return_stack%s
D s-secsta.ads		20250605160258 578279f5 system.secondary_stack%s
D s-soflin.ads		20250605160258 df77073e system.soft_links%s
D s-stache.ads		20250605160258 0b81c1fe system.stack_checking%s
D s-stalib.ads		20250605160258 1c9580f6 system.standard_library%s
D s-stoele.ads		20250605160258 ab5468e4 system.storage_elements%s
D s-stoele.adb		20250605160258 8f5a9db6 system.storage_elements%b
D s-stratt.ads		20250605160258 f7dfd786 system.stream_attributes%s
D s-stratt.adb		20250605160258 c8964632 system.stream_attributes%b
D s-statxd.ads		20250605160258 b54789f6 system.stream_attributes.xdr%s
D s-traent.ads		20250605160258 c81cbf8c system.traceback_entries%s
D s-unstyp.ads		20250605160258 fa2a7f59 system.unsigned_types%s
G a e
G c s s s [s adasat__internals 15 9 none]
G c Z s s [is_empty adasat__internals__literal_vectors 41 13 16_4]
G c Z s s [append adasat__internals__literal_vectors 45 14 16_4]
G c Z s s [reserve adasat__internals__literal_vectors 49 14 16_4]
G c Z s s [get adasat__internals__literal_vectors 54 13 16_4]
G c Z s s [get_access adasat__internals__literal_vectors 59 13 16_4]
G c Z s s [set adasat__internals__literal_vectors 64 14 16_4]
G c Z s s [destroy adasat__internals__literal_vectors 68 14 16_4]
G c Z s s [clear adasat__internals__literal_vectors 72 14 16_4]
G c Z s s [first_element adasat__internals__literal_vectors 77 13 16_4]
G c Z s s [last_element adasat__internals__literal_vectors 81 13 16_4]
G c Z s s [length adasat__internals__literal_vectors 85 13 16_4]
G c Z s s [set_length adasat__internals__literal_vectors 89 14 16_4]
G c Z s s [swap_and_remove adasat__internals__literal_vectors 93 14 16_4]
G c Z s s [pop adasat__internals__literal_vectors 98 13 16_4]
G c Z s s [first_index adasat__internals__literal_vectors 102 13 16_4]
G c Z s s [last_index adasat__internals__literal_vectors 107 13 16_4]
G c Z s s [next adasat__internals__literal_vectors 113 13 16_4]
G c Z s s [previous adasat__internals__literal_vectors 120 13 16_4]
G c Z s s [has_element adasat__internals__literal_vectors 127 13 16_4]
G c Z s s [move adasat__internals__literal_vectors 134 14 16_4]
G c Z s s [copy adasat__internals__literal_vectors 139 13 16_4]
G c Z s s [to_pointer adasat__internals__literal_vectors 154 13 16_4]
G c Z s s [vectorDA adasat__internals__literal_vectors 157 9 16_4]
G c Z s s [vectorDF adasat__internals__literal_vectors 157 9 16_4]
G c Z s s [vectorIP adasat__internals__literal_vectors 157 9 16_4]
G c Z s s [array_boundsIP adasat__internals__literal_vectors 12 9 16_4]
G c Z s s [to_thin_access adasat__internals__literal_vectors 25 13 16_4]
G c Z s s [get_literal_vector_arrayR adasat__internals__get_literal_vector_arrayGP637 19 13 none]
G c Z s s [get_literal_vector_array adasat__internals 19 13 none]
G r i none [s adasat__internals 15 9 none] [vectors adasat 22 16 none]
X 11 adasat.ads
14K9*AdaSAT 80e11 12|7r6 15r17 16r35 21r5
29I9*Literal<integer> 12|17r7
44A9*Literal_Array(29I9)<integer> 12|17r16
45P9*Literal_Array_Access(44A9) 12|20r7
X 12 adasat-internals.ads
15K24*Internals 11|14k9 12|21l12 21e21
16K12*Literal_Vectors[13|22] 19r45
19V13*Get_Literal_Vector_Array[13|144]{11|45P9}
X 13 adasat-vectors.ads
22k16*Vectors 12|7w13 16r42 13|165e19
144v13*Internal_Array 12|19r61[16]
X 16 system.ads
67M9*Address
X 18 s-memory.ads
51V13*Alloc{16|67M9} 101i<c,__gnat_malloc>22
66U14*Free 102i<c,__gnat_free>22
74V13*Realloc{16|67M9} 103i<c,__gnat_realloc>22

