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_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE

U ada.numerics.big_numbers.big_integers_ghost%b  a-nbnbig.adb  d606e151 OL
W ada.numerics.big_numbers%s  a-nubinu.ads	a-nubinu.ali

U ada.numerics.big_numbers.big_integers_ghost%s  a-nbnbig.ads  a20eb970 BN EE OL PU
Z ada.exceptions%s	a-except.adb		a-except.ali
W ada.numerics.big_numbers%s  a-nubinu.ads	a-nubinu.ali
Z system.assertions%s	s-assert.adb		s-assert.ali

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-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 [is_valid ada__numerics__big_numbers__big_integers_ghost 43 13 none]
G c Z s s [Oeq ada__numerics__big_numbers__big_integers_ghost 55 13 none]
G c Z s s [Olt ada__numerics__big_numbers__big_integers_ghost 59 13 none]
G c Z s s [Ole ada__numerics__big_numbers__big_integers_ghost 63 13 none]
G c Z s s [Ogt ada__numerics__big_numbers__big_integers_ghost 67 13 none]
G c Z s s [Oge ada__numerics__big_numbers__big_integers_ghost 71 13 none]
G c Z s s [to_big_integer ada__numerics__big_numbers__big_integers_ghost 75 13 none]
G c Z s s [in_range ada__numerics__big_numbers__big_integers_ghost 95 13 none]
G c Z s s [to_integer ada__numerics__big_numbers__big_integers_ghost 103 13 none]
G c Z s s [from_string ada__numerics__big_numbers__big_integers_ghost 156 13 none]
G c Z s s [Oadd ada__numerics__big_numbers__big_integers_ghost 166 13 none]
G c Z s s [Osubtract ada__numerics__big_numbers__big_integers_ghost 171 13 none]
G c Z s s [Oabs ada__numerics__big_numbers__big_integers_ghost 176 13 none]
G c Z s s [Oadd ada__numerics__big_numbers__big_integers_ghost 181 13 none]
G c Z s s [Osubtract ada__numerics__big_numbers__big_integers_ghost 186 13 none]
G c Z s s [Omultiply ada__numerics__big_numbers__big_integers_ghost 191 13 none]
G c Z s s [Odivide ada__numerics__big_numbers__big_integers_ghost 196 13 none]
G c Z s s [Omod ada__numerics__big_numbers__big_integers_ghost 201 13 none]
G c Z s s [Orem ada__numerics__big_numbers__big_integers_ghost 206 13 none]
G c Z s s [Oexpon ada__numerics__big_numbers__big_integers_ghost 211 13 none]
G c Z s s [min ada__numerics__big_numbers__big_integers_ghost 216 13 none]
G c Z s s [max ada__numerics__big_numbers__big_integers_ghost 221 13 none]
G c Z s s [greatest_common_divisor ada__numerics__big_numbers__big_integers_ghost 226 13 none]
X 1 ada.ads
18K9*Ada 22e8 6|32r9 241r5 7|41r14 81r5
X 4 a-numeri.ads
20K13*Numerics 1|18k9 4|36e17 6|32r13 241r9 7|41r18 81r9
X 5 a-nubinu.ads
19K22*Big_Numbers 4|20k13 5|30e29 6|32r22 241r18 7|41r27 81r18

