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_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_NESTED_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS

U adasat%b		adasat.adb		eb626f55 NE OO PK
W ada%s			ada.ads			ada.ali
Z ada.exceptions%s	a-except.adb		a-except.ali
W ada.strings%s		a-string.ads		a-string.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
W ada.strings.unbounded%s  a-strunb.adb		a-strunb.ali
Z system.img_int%s	s-imgint.ads		s-imgint.ali
Z system.soft_links%s	s-soflin.adb		s-soflin.ali
Z system.standard_library%s  s-stalib.adb	s-stalib.ali

U adasat%s		adasat.ads		3266cc15 BN EE NE OO PK
W ada%s			ada.ads			ada.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
W ada.unchecked_deallocation%s

D ada.ads		20250605160258 76789da1 ada%s
D a-assert.ads		20250605160258 ba465f5c ada.assertions%s
D a-charac.ads		20250605160258 2d3ec45b ada.characters%s
D a-chlat1.ads		20250605160258 e0d72e76 ada.characters.latin_1%s
D a-except.ads		20250605160258 2a7d8d70 ada.exceptions%s
D a-finali.ads		20250605160258 bf4f806b ada.finalization%s
D a-numeri.ads		20250605160258 84bea7a3 ada.numerics%s
D a-nubinu.ads		20250605160258 93f1f3d1 ada.numerics.big_numbers%s
D a-nbnbig.ads		20250605160258 711e0174 ada.numerics.big_numbers.big_integers_ghost%s
D a-stream.ads		20250605160258 119b8fb3 ada.streams%s
D a-string.ads		20250605160258 90ac6797 ada.strings%s
D a-strmap.ads		20250605160258 ed8acfdb ada.strings.maps%s
D a-strmap.adb		20250605160258 fb7e918f ada.strings.maps%b
D a-strsea.ads		20250605160258 2d394feb ada.strings.search%s
D a-sttebu.ads		20250605160258 f1ad67a2 ada.strings.text_buffers%s
D a-strunb.ads		20250605160258 7bfb7010 ada.strings.unbounded%s
D a-strunb.adb		20250605160258 3b950306 ada.strings.unbounded%b
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.adb		20230926141706 61577f35 adasat%b
D interfac.ads		20250605160258 15f799c2 interfaces%s
D system.ads		20250605160258 db5ec672 system%s
D s-assert.ads		20250605160258 9c4520c7 system.assertions%s
D s-atocou.ads		20250605160258 dc18efc3 system.atomic_counters%s
D s-bitops.ads		20250605160258 cdf3ac3c system.bit_ops%s
D s-casuti.ads		20250605160258 cf13d755 system.case_util%s
D s-carun8.ads		20250605160258 90e69e63 system.compare_array_unsigned_8%s
D s-exctab.ads		20250605160258 91bef6ef system.exception_table%s
D s-finroo.ads		20250605160258 4ff27390 system.finalization_root%s
D s-imagei.ads		20250605160258 c707dfd0 system.image_i%s
D s-imgint.ads		20250605160258 d4a52a9b system.img_int%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-stalib.adb		20250605160258 eb464a47 system.standard_library%b
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-traent.ads		20250605160258 c81cbf8c system.traceback_entries%s
D s-unstyp.ads		20250605160258 fa2a7f59 system.unsigned_types%s
D s-valint.ads		20250605160258 1f610d7a system.val_int%s
D s-valuns.ads		20250605160258 e8a1f424 system.val_uns%s
D s-valuti.ads		20250605160258 fcd603d8 system.val_util%s
D s-valuei.ads		20250605160258 11081e09 system.value_i%s
D s-vaispe.ads		20250605160258 44130d39 system.value_i_spec%s
D s-valueu.ads		20250605160258 18770347 system.value_u%s
D s-vauspe.ads		20250605160258 a67b2f28 system.value_u_spec%s
D s-widuns.ads		20250605160258 866a5800 system.wid_uns%s
D s-widthu.ads		20250605160258 b32f15e2 system.width_u%s
G a e
G c Z s b [Oadd adasat 32 13 none]
G c Z s b [Osubtract adasat 36 13 none]
G c Z s b [get_var adasat 40 13 none]
G c Z s b [image adasat 52 13 none]
G c Z s b [image adasat 61 13 none]
G c Z s s [literal_arrayIP adasat 44 9 none]
G c Z s s [free adasat 76 14 none]
G c Z s s [modelIP adasat 58 9 none]
X 1 ada.ads
16K9*Ada 20e8 22|7r6 76r26 23|7r6 38r11 66r11
X 11 a-string.ads
16K13*Strings 35e16 23|7r10 38r15 66r15
X 16 a-strunb.ads
85K21*Unbounded 766e26 23|7w18 38r23 66r23
91R9*Unbounded_String<6|43R9> 745e15 23|40r13 68r15
121V13*To_String{string} 23|58s14 81s14
140U14*Append 23|42s7 49s16 51s13 53s16 57s7 76s16 78s13
X 21 a-uncdea.ads
20u15*Unchecked_Deallocation 22|7w10 76r30
X 22 adasat.ads
14K9*AdaSAT 66E9 80l5 80e11 23|9b14 83l5 83t11
15I9*Variable<integer> 27r32 27r57 32r22 36r22 40r42 58r25 23|14r22 21r22
. 28r42 30r14
27I12*Variable_Or_Null<integer>
29I9*Literal<integer> 32r39 36r39 40r26 44r55 66c9 23|14r39 15r7 21r39 22r8
. 28r26 30r24
32V14*"+"{29I9} 32>18 23|14b14
32i18 V{15I9} 23|15r16
36V14*"-"{29I9} 36>18 23|21b14
36i18 V{15I9} 23|22r17
40V13*Get_Var{15I9} 40>22 23|28b13 31l8 31t15
40i22 L{29I9} 23|28b22 30r37
44A9*Literal_Array(29I9)<integer> 45r40 77r7
45P9*Literal_Array_Access(44A9) 49r22
49P12*Clause{45P9} 52r24 77r22 23|37r24
52V13*Image{string} 52>20 23|37b13 59l8 59t13
52p20 C{49P12} 23|37b20 43r16 45r38 48r16 52r20
55E9*Variable_Value 55e47 58r47
55n28*True{55E9} 23|72r22
55n34*False{55E9}
55n41*Unset{55E9}
58A9*Model(55E9)<15I9> 61r24 23|65r24
61V13*Image{string} 61>20 23|65b13 82l8 82t13
61a20 M{58A9} 23|65b20 71r16 72r13
76U14 Free[21|20]
X 23 adasat.adb
40r7 Res{16|91R9} 42m15 42r15 49m24 49r24 51m21 51r21 53m24 53r24 57m15 57r15
. 58r25
43i11 I{integer} 45r41 48r19 52r16
45a13 Raw{string} 46r38 46r43 46r60
46a13 Suf{string} 51r26
68r7 Res{16|91R9} 76m24 76r24 78m21 78r21 81r25
69b7 First{boolean} 73r16 74m16
71i11 I<integer> 72r16 78r26
X 25 system.ads
67M9*Address
X 35 s-memory.ads
51V13*Alloc{25|67M9} 101i<c,__gnat_malloc>22
66U14*Free 102i<c,__gnat_free>22
74V13*Realloc{25|67M9} 103i<c,__gnat_realloc>22
X 43 s-stalib.adb
87U14 Break_Start 88i<c,__gnat_break_start>22

