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_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS

U ada.numerics.discrete_random%b  a-nudira.adb	5279b137 NE OL PK GE
W ada.numerics%s	a-numeri.ads		a-numeri.ali

U ada.numerics.discrete_random%s  a-nudira.ads	48bb269a BN NE OL PK GE
W ada.numerics%s	a-numeri.ads		a-numeri.ali
W system%s		system.ads		system.ali
W system.random_numbers%s  s-rannum.adb		s-rannum.ali

D ada.ads		20250808065140 76789da1 ada%s
D a-except.ads		20250808065140 e7970cd9 ada.exceptions%s
D a-numeri.ads		20250808065140 84bea7a3 ada.numerics%s
D a-nudira.ads		20250808065140 5984dff3 ada.numerics.discrete_random%s
D a-nudira.adb		20250808065140 0bfd6ec4 ada.numerics.discrete_random%b
D a-string.ads		20250808065140 90ac6797 ada.strings%s
D a-sttebu.ads		20250808065140 f1ad67a2 ada.strings.text_buffers%s
D a-stuten.ads		20250808065140 c6ced0ae ada.strings.utf_encoding%s
D a-tags.ads		20250808065140 fbca0ad5 ada.tags%s
D a-unccon.ads		20250808065140 0e9b276f ada.unchecked_conversion%s
D interfac.ads		20250808065140 9111f9c1 interfaces%s
D system.ads		20250808065140 d0bef732 system%s
D s-exctab.ads		20250808065140 91bef6ef system.exception_table%s
D s-parame.ads		20250808065140 3597fc11 system.parameters%s
D s-rannum.ads		20250808065140 95815eca system.random_numbers%s
D s-secsta.ads		20250808065140 578279f5 system.secondary_stack%s
D s-soflin.ads		20250808065140 5d88fdea system.soft_links%s
D s-stache.ads		20250808065140 0b81c1fe system.stack_checking%s
D s-stalib.ads		20250808065140 1c9580f6 system.standard_library%s
D s-stoele.ads		20250808065140 ccded4e8 system.storage_elements%s
D s-traent.ads		20250808065140 c81cbf8c system.traceback_entries%s
G a e
G c Z s b [discrete_random ada__numerics 46 22 none]
X 1 ada.ads
18K9*Ada 22e8 4|46r9 83r5 5|32r14 107r5
X 3 a-numeri.ads
20K13*Numerics 1|18k9 3|36e17 4|46r13 83r9 5|32r18 107r9
X 4 a-nudira.ads
44E9 Result_Subtype 54r45 58r15 59r15 59r38 5|52r45 54r34 54r50 61r15 62r15
. 62r38 64r32
46k22*Discrete_Random 3|20k13 4|44z9 79E9 83l18 83e33 5|32b27 107l18 107t33
52R9*Generator<15|65R9> 54r27 57r15 62r27 63r27 69r27 70r27 79c9 5|52r27
. 60r15 74r27 79r27 84r27 93r26
54V13*Random{44E9} 54>21 5|52b13 57l8 57t14
54r21 Gen{52R9} 5|52b21 56r37
56V13*Random{44E9} 57>7 58>7 59>7 5|59b13 68l8 68t14
57r7 Gen{52R9} 5|60b7 67r37
58*7 First{44E9} 60r36 5|61b7 64r53 65r66
59*7 Last{44E9} 60r45 5|62b7 64r62
62U14*Reset<15|109p14> 62>21 62>38 5|79b14 82l8 82t13
62r21 Gen{52R9} 5|79b21 81r29
62i38 Initiator{integer} 5|79b38 81r35
63U14*Reset<15|103p14> 63>21 5|74b14 77l8 77t13
63r21 Gen{52R9} 5|74b21 76r29
67A9*State<15|70A9> 69r55 70r51 74r34 75r49 81c9 5|43r31 84r51 93r54 102r49
. 104r14
69U14*Save 69>21 69<38 5|93b14 96l8 96t12
69r21 Gen{52R9} 5|93b20 95r28
69a38 To_State{67A9} 5|93b37 95m45 95r45
70U14*Reset 70>21 70>38 5|84b14 87l8 87t13
70r21 Gen{52R9} 5|84b21 86r29
70a38 From_State{67A9} 5|84b38 86r46
72N4*Max_Image_Width
74V13*Image{string}<15|132p13> 74>20 5|43b13 46l8 46t13
74a20 Of_State{67A9} 5|43b20 45r32
75V13*Value{67A9}<15|136p13> 75>20 5|102b13 105l8 105t13
75a20 Coded_State{string} 5|102b20 104r39
X 5 a-nudira.adb
36K12 SRN=36:31 37r8 45r21 54r13 56r22 65r30 67r22 76r14 81r14 86r14 86r35
. 95r13 95r34 104r21
53V16 Random[15|86]{4|44E9} 56s14
64E15 Local_Subtype{4|44E9} 65r51
65V16 Random[15|86]{4|44E9} 67s14
X 11 interfac.ads
92M9*Unsigned_32
X 12 system.ads
37K9*System 4|41r6 72r34 79r26 81r22 5|36r24 12|156e11
X 15 s-rannum.ads
62K16*Random_Numbers 4|41w13 72r41 79r33 81r29 5|36r31 15|170e26
65R9*Generator 4|79r48 5|56r26 67r26 76r18 81r18 86r18 95r17 15|168e14
70A9*State(147M12) 4|81r44 5|45r25 86r39 95r38 104r25
86v13*Random_Discrete 5|54r17 65r34
103U14*Reset 5|76s7
109U14*Reset 5|81s7
117U14*Reset 5|86s7
118U14*Save 5|95s7
129N4*Max_Image_Width 4|72r56
132V13*Image{string} 5|45s14
136V13*Value{70A9} 5|104s32
147M12 State_Val{11|92M9}