V "GNAT Lib v15"
A -nostdinc
A -O2
A -Wextra
A -Wall
A -gnatwa
A -g
A -gnatp
A -gnatg
A -march=armv8-a
A -mlittle-endian
A -mabi=lp64
P ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_EXCEPTIONS
RV NO_LONG_LONG_INTEGERS
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS
RV NO_IMPLEMENTATION_PRAGMAS

U system.exn_lli%s	s-exnlli.ads		ae8d3d63 NE OL PK
W ada%s			ada.ads			ada.ali
W ada.numerics%s	a-numeri.ads		a-numeri.ali
W ada.numerics.big_numbers%s  a-nubinu.ads	a-nubinu.ali
W system%s		system.ads		system.ali
W system.exponn%s

D ada.ads		20250808065140 76789da1 ada%s
D a-assert.ads		20250808065140 ba465f5c ada.assertions%s
D a-except.ads		20250808065140 e7970cd9 ada.exceptions%s
D a-numeri.ads		20250808065140 84bea7a3 ada.numerics%s
D a-nubinu.ads		20250808065140 93f1f3d1 ada.numerics.big_numbers%s
D a-nbnbig.ads		20250808065140 31ff4aa1 ada.numerics.big_numbers.big_integers_ghost%s
D a-nbnbig.adb		20250808065140 e7f9abf0 ada.numerics.big_numbers.big_integers_ghost%b
D a-unccon.ads		20250808065140 0e9b276f ada.unchecked_conversion%s
D system.ads		20250808065140 d0bef732 system%s
D s-assert.ads		20250808065140 9c4520c7 system.assertions%s
D s-exctab.ads		20250808065140 91bef6ef system.exception_table%s
D s-exnlli.ads		20250808065140 e78a4272 system.exn_lli%s
D s-exponn.ads		20250808065140 99b98823 system.exponn%s
D s-exponn.adb		20250808065140 a16f0924 system.exponn%b
D s-parame.ads		20250808065140 3597fc11 system.parameters%s
D s-stalib.ads		20250808065140 1c9580f6 system.standard_library%s
D s-traent.ads		20250808065140 c81cbf8c system.traceback_entries%s
G a e
G c Z s s [to_big_integer system__exn_lli__exponn_integer__signed_conversion 119 16 59_4_51_4]
G c Z s s [from_big_integer system__exn_lli__exponn_integer__signed_conversion 124 16 59_4_51_4]
G c Z s s [big system__exn_lli__exponn_integer 61 13 51_4]
G c Z s s [in_int_range system__exn_lli__exponn_integer 65 13 51_4]
G c Z s s [expon system__exn_lli__exponn_integer 69 13 51_4]
G c Z s s [lemma_exp_expand system__exn_lli__exponn_integer 49 14 51_4]
G c Z s s [lemma_exp_in_range system__exn_lli__exponn_integer 59 14 51_4]
G c Z s s [lemma_exp_not_zero system__exn_lli__exponn_integer 65 14 51_4]
G c Z s s [lemma_exp_positive system__exn_lli__exponn_integer 71 14 51_4]
G c Z s s [lemma_mult_in_range system__exn_lli__exponn_integer 78 14 51_4]
X 9 system.ads
37K9*System 156e11 12|45r6 47r9 66r5
X 12 s-exnlli.ads
47K16*Exn_LLI 9|37k9 12|66l12 66e19
51K12*Exponn_Integer[13|41] 55r14
53V13*Exn_Long_Long_Integer=55:29{long_long_integer}
54i7 Left{long_long_integer}
54i33 Right{natural}
X 13 s-exponn.ads
41k16*Exponn 12|45w13 51r34 13|81e18
69V13*Expon{long_long_integer} 12|55r29[51]