V "GNAT Lib v15"
A -nostdinc
A -O2
A -Wextra
A -Wall
A -gnatwa
A -fno-checking
A -g
A -gnatp
A -gnatg
A -mtune=generic
A -march=x86-64
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.exp_lli%s	s-explli.ads		aedd6407 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.expont%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		20260718125311 d9f00e5c system%s
D s-assert.ads		20250808065140 9c4520c7 system.assertions%s
D s-exctab.ads		20250808065140 91bef6ef system.exception_table%s
D s-explli.ads		20250808065140 867f08b6 system.exp_lli%s
D s-expont.ads		20250808065140 f15262ed system.expont%s
D s-expont.adb		20250808065140 5d779f0b system.expont%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__exp_lli__expont_integer__signed_conversion 119 16 59_4_51_4]
G c Z s s [from_big_integer system__exp_lli__expont_integer__signed_conversion 124 16 59_4_51_4]
G c Z s s [big system__exp_lli__expont_integer 61 13 51_4]
G c Z s s [in_int_range system__exp_lli__expont_integer 65 13 51_4]
G c Z s s [expon system__exp_lli__expont_integer 69 13 51_4]
G c Z s s [lemma_exp_expand system__exp_lli__expont_integer 49 14 51_4]
G c Z s s [lemma_exp_in_range system__exp_lli__expont_integer 59 14 51_4]
G c Z s s [lemma_exp_not_zero system__exp_lli__expont_integer 65 14 51_4]
G c Z s s [lemma_exp_positive system__exp_lli__expont_integer 71 14 51_4]
G c Z s s [lemma_mult_in_range system__exp_lli__expont_integer 78 14 51_4]
X 9 system.ads
37K9*System 148e11 12|45r6 47r9 65r5
X 12 s-explli.ads
47K16*Exp_LLI 9|37k9 12|65l12 65e19
51K12*Expont_Integer[13|41] 55r14
53V13*Exp_Long_Long_Integer=55:29{long_long_integer}
54i7 Left{long_long_integer}
54i33 Right{natural}
X 13 s-expont.ads
41k16*Expont 12|45w13 51r34 13|81e18
69V13*Expon{long_long_integer} 12|55r29[51]

