V "GNAT Lib v14"
A -nostdinc
A -O2
A -Wextra
A -Wall
A -gnatwa
A -g
A -gnatp
A -gnatg
A -mtune=nocona
A -march=nocona
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		9371427b 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		20250523110204 76789da1 ada%s
D a-assert.ads		20250523110204 ba465f5c ada.assertions%s
D a-except.ads		20250523110204 e7970cd9 ada.exceptions%s
D a-numeri.ads		20250523110204 84bea7a3 ada.numerics%s
D a-nubinu.ads		20250523110204 93f1f3d1 ada.numerics.big_numbers%s
D a-nbnbig.ads		20250523110204 31ff4aa1 ada.numerics.big_numbers.big_integers_ghost%s
D a-nbnbig.adb		20250523110204 e7f9abf0 ada.numerics.big_numbers.big_integers_ghost%b
D a-unccon.ads		20250523110204 0e9b276f ada.unchecked_conversion%s
D system.ads		20250523110204 ed42882a system%s
D s-assert.ads		20250523110204 9c4520c7 system.assertions%s
D s-exctab.ads		20250523110204 91bef6ef system.exception_table%s
D s-exnlli.ads		20250523110204 e78a4272 system.exn_lli%s
D s-exponn.ads		20250523110204 99b98823 system.exponn%s
D s-exponn.adb		20250523110204 65cb0f35 system.exponn%b
D s-parame.ads		20250523110204 3597fc11 system.parameters%s
D s-stalib.ads		20250523110204 1c9580f6 system.standard_library%s
D s-traent.ads		20250523110204 c81cbf8c system.traceback_entries%s
G a e
G c Z s s [to_big_integer system__exn_lli__exponn_integer__signed_conversion 106 16 58_4_51_4]
G c Z s s [from_big_integer system__exn_lli__exponn_integer__signed_conversion 110 16 58_4_51_4]
G c Z s s [big system__exn_lli__exponn_integer 60 13 51_4]
G c Z s s [in_int_range system__exn_lli__exponn_integer 64 13 51_4]
G c Z s s [expon system__exn_lli__exponn_integer 68 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 148e11 12|45r6 47r9 57r5
X 12 s-exnlli.ads
47K16*Exn_LLI 9|37k9 12|57l12 57e19
51K12*Exponn_Integer[13|40] 55r14
53V13*Exn_Long_Long_Integer=55:29{long_long_integer}
54i7 Left{long_long_integer}
54i33 Right{natural}
X 13 s-exponn.ads
40k16*Exponn 12|45w13 51r34 13|73e18
68V13*Expon{long_long_integer} 12|55r29[51]

