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 SS ZX RN RV NO_EXCEPTIONS RV NO_FIXED_POINT RV NO_FLOATING_POINT RV NO_SECONDARY_STACK RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_ACCESS RV NO_UNCHECKED_CONVERSION RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV NO_IMPLICIT_ALIASING U gnat.random_numbers%b g-rannum.adb 4a352f08 NE OL PK W ada%s ada.ads ada.ali W ada.numerics%s a-numeri.ads a-numeri.ali W ada.numerics.long_elementary_functions%s a-nlelfu.ads a-nlelfu.ali Z ada.strings.text_buffers%s a-sttebu.adb a-sttebu.ali W ada.unchecked_conversion%s W gnat%s gnat.ads gnat.ali W system%s system.ads system.ali Z system.exn_lflt%s s-exnlfl.ads s-exnlfl.ali Z system.fat_lflt%s s-fatlfl.ads s-fatlfl.ali Z system.img_lli%s s-imglli.ads s-imglli.ali W system.random_numbers%s s-rannum.adb s-rannum.ali Z system.secondary_stack%s s-secsta.adb s-secsta.ali Z system.val_lli%s s-vallli.ads s-vallli.ali U gnat.random_numbers%s g-rannum.ads 6710a294 BN EE NE OL PK W gnat%s gnat.ads gnat.ali W interfaces%s interfac.ads interfac.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-ngelfu.ads 20250808065140 324808ac ada.numerics.generic_elementary_functions%s D a-nlelfu.ads 20250808065140 7620113d ada.numerics.long_elementary_functions%s 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 gnat.ads 20250808065140 b5988c27 gnat%s D g-rannum.ads 20250808065140 d61889b8 gnat.random_numbers%s D g-rannum.adb 20250808065140 7117ce28 gnat.random_numbers%b 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-exnlfl.ads 20250808065140 3a76fe2b system.exn_lflt%s D s-exponr.ads 20250808065140 2127300b system.exponr%s D s-fatgen.ads 20250808065140 d28c6cfe system.fat_gen%s D s-fatlfl.ads 20250808065140 378cba9f system.fat_lflt%s D s-imagei.ads 20250808065140 5e131ce0 system.image_i%s D s-imageu.ads 20250808065140 b0b50650 system.image_u%s D s-imglli.ads 20250808065140 d88f4f3b system.img_lli%s D s-imguns.ads 20250808065140 c4e23690 system.img_uns%s D s-parame.ads 20250808065140 3597fc11 system.parameters%s D s-rannum.ads 20250808065140 95815eca system.random_numbers%s D s-rannum.adb 20250808065140 0f2dcb9a system.random_numbers%b D s-ransee.ads 20250808065140 01a57b33 system.random_seed%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 D s-unstyp.ads 20250808065140 fa2a7f59 system.unsigned_types%s D s-vallli.ads 20250808065140 353103fd system.val_lli%s D s-valllu.ads 20250808065140 4134fa35 system.val_llu%s D s-valspe.ads 20250808065140 f810d31c system.val_spec%s D s-valuns.ads 20250808065140 f7ddb71d system.val_uns%s D s-valuei.ads 20250808065140 d9377ca5 system.value_i%s D s-vaispe.ads 20250808065140 8280550e system.value_i_spec%s D s-valueu.ads 20250808065140 a38d32a6 system.value_u%s D s-vauspe.ads 20250808065140 89269ba5 system.value_u_spec%s D s-vs_lli.ads 20250808065140 b945cf7d system.vs_lli%s D s-vs_llu.ads 20250808065140 8f3536c5 system.vs_llu%s D s-vs_uns.ads 20250808065140 e7f47a27 system.vs_uns%s G a e G c Z s b [random gnat__random_numbers 64 13 none] G c Z s b [random gnat__random_numbers 65 13 none] G c Z s b [random gnat__random_numbers 68 13 none] G c Z s b [random gnat__random_numbers 69 13 none] G c Z s b [random gnat__random_numbers 70 13 none] G c Z s b [random gnat__random_numbers 71 13 none] G c Z s b [random gnat__random_numbers 72 13 none] G c Z s b [random gnat__random_numbers 73 13 none] G c Z s b [random gnat__random_numbers 74 13 none] G c Z s b [random gnat__random_numbers 75 13 none] G c Z s b [random_gaussian gnat__random_numbers 111 13 none] G c Z s b [random_gaussian gnat__random_numbers 112 13 none] G c Z s b [reset gnat__random_numbers 116 14 none] G c Z s b [reset gnat__random_numbers 119 14 none] G c Z s b [reset gnat__random_numbers 122 14 none] G c Z s b [reset gnat__random_numbers 125 14 none] G c Z s b [reset gnat__random_numbers 128 14 none] G c Z s b [reset gnat__random_numbers 134 14 none] G c Z s b [reset gnat__random_numbers 138 14 none] G c Z s b [image gnat__random_numbers 139 13 none] G c Z s s [generatorIP gnat__random_numbers 150 9 none] G c Z b b [insert_image gnat__random_numbers 47 14 none] G c Z b b [to_signed gnat__random_numbers 57 13 none] G c Z b b [to_signed gnat__random_numbers 59 13 none] G c Z b b [to_signed gnat__random_numbers 61 13 none] G c Z b b [val64 gnat__random_numbers 348 13 none] X 1 ada.ads 18K9*Ada 22e8 13|32r6 33r6 34r6 58r10 60r10 62r10 X 3 a-numeri.ads 20K13*Numerics 36e17 13|32r10 33r10 X 4 a-ngelfu.ads 53V13*Sqrt{long_float} 13|275s18[5|18] 77V13*Log{long_float} 13|275s31[5|18] X 5 a-nlelfu.ads 18K22*Long_Elementary_Functions[4|39] 13|32w19 33r19 X 10 a-unccon.ads 23v14*Unchecked_Conversion 13|34w10 58r14 60r14 62r14 X 11 gnat.ads 40K9*GNAT 63e9 12|57r9 163r5 13|38r14 406r5 X 12 g-rannum.ads 57K14*Random_Numbers 11|40k9 12|150E9 163l10 163e24 13|38b19 406l10 406t24 60R9*Generator 64r27 65r27 68r27 69r27 70r27 71r27 72r27 73r27 74r27 75r27 . 83r15 92r15 101r15 108r35 111r36 112r36 116r31 120r23 123r23 126r23 129r23 . 134r31 134r55 138r31 139r26 150c9 161e14 13|83r15 99r13 141r13 182r27 187r27 . 192r27 197r27 202r27 207r27 212r27 217r27 222r27 228r27 238r33 255r36 256r11 . 282r36 292r31 299r23 308r23 317r23 326r23 335r24 336r20 360r24 384r26 61A12*Initialization_Vector{26|97A9} 121r19 13|300r19 64V13*Random{float} 64>21 13|182b13 185l8 185t14 64r21 Gen{60R9} 13|182b21 184r22 65V13*Random{long_float} 65>21 13|187b13 190l8 190t14 267s25 268s25 65r21 Gen{60R9} 13|187b21 189r22 68V13*Random{14|65I9} 68>21 13|207b13 210l8 210t14 68r21 Gen{60R9} 13|207b21 209r46 69V13*Random{14|92M9} 69>21 13|192b13 195l8 195t14 209s38 69r21 Gen{60R9} 13|192b21 194r22 70V13*Random{14|68I9} 70>21 13|212b13 215l8 215t14 70r21 Gen{60R9} 13|212b21 214r46 71V13*Random{14|95M9} 71>21 13|197b13 200l8 200t14 214s38 71r21 Gen{60R9} 13|197b21 199r22 72V13*Random{14|76I9} 72>21 13|217b13 220l8 220t14 72r21 Gen{60R9} 13|217b21 219r47 73V13*Random{14|99M9} 73>21 13|202b13 205l8 205t14 219s39 73r21 Gen{60R9} 13|202b21 204r22 74V13*Random{integer} 74>21 13|228b13 232l8 232t14 74r21 Gen{60R9} 13|228b21 231r30 75V13*Random{long_integer} 75>21 13|222b13 226l8 226t14 75r21 Gen{60R9} 13|222b21 225r35 80E12 Result_Subtype 81r21 81r39 84r15 85r15 85r33 85r61 13|84r15 85r15 85r33 . 85r61 89r16 81*7 Default_Min{80E12} 84r33 13|84r33 89r32 82v13*Random_Discrete 83>7 84>7 85>7 13|82b13 92l8 92t23 109r31 119r31 129r31 . 151r31 161r31 171r31 223r43 229r38 83r7 Gen{60R9} 13|83b7 91r17 84*7 Min{80E12} 13|84b7 91r26 85*7 Max{80E12} 13|85b7 91r31 89O12 Result_Subtype 90r21 93r15 94r15 94r33 94r61 13|142r13 143r13 143r31 . 143r59 146r10 153r20 156r13 163r20 173r20 90*7 Default_Min{89O12} 93r33 13|142r31 91v13*Random_Ordinary_Fixed 92>7 93>7 94>7 13|140b13 176l8 176t29 92r7 Gen{60R9} 13|141b7 153r51 163r51 173r51 93*7 Min{89O12} 13|142b7 149r42 159r41 169r41 94*7 Max{89O12} 13|143b7 150r42 160r41 170r41 98D12 Result_Subtype 99r21 102r15 103r15 103r33 103r61 13|100r13 101r13 101r31 . 101r59 104r10 111r20 114r13 121r20 131r20 99*7 Default_Min{98D12} 102r33 13|100r31 100v13*Random_Decimal_Fixed 101>7 102>7 103>7 13|98b13 134l8 134t28 101r7 Gen{60R9} 13|99b7 111r51 121r51 131r51 102*7 Min{98D12} 13|100b7 107r42 117r41 127r41 103*7 Max{98D12} 13|101b7 108r42 118r41 128r41 107F12 Result_Subtype 108r53 13|238r51 239r61 108v13*Random_Float 108>27 13|238b13 242l8 242t20 108r27 Gen{60R9} 13|238b27 241r17 111V13*Random_Gaussian{long_float} 111>30 13|255b13 280l8 280t23 283s34 111r30 Gen{60R9} 13|255b30 256r29 112V13*Random_Gaussian{float} 112>30 13|282b13 286l8 286t23 112r30 Gen{60R9} 13|282b30 283r51 116U14*Reset 116<21 13|292b14 296l8 296t13 116r21 Gen{60R9} 13|292b21 294r14 295m7 119U14*Reset 120<7 121>7 13|298b14 305l8 305t13 120r7 Gen{60R9} 13|299b7 303r14 304m7 121a7 Initiator{61A12} 13|300b7 303r23 122U14*Reset 123<7 124>7 13|307b14 314l8 314t13 123r7 Gen{60R9} 13|308b7 312r14 313m7 124i7 Initiator{14|65I9} 13|309b7 312r23 125U14*Reset 126<7 127>7 13|316b14 323l8 323t13 126r7 Gen{60R9} 13|317b7 321r14 322m7 127m7 Initiator{14|92M9} 13|318b7 321r23 128U14*Reset 129<7 130>7 13|325b14 332l8 332t13 129r7 Gen{60R9} 13|326b7 330r14 331m7 130i7 Initiator{integer} 13|327b7 330r23 134U14*Reset 134<21 134>42 13|334b14 342l8 342t13 134r21 Gen{60R9} 13|335b7 339r14 340m7 341m7 134r42 From_State{60R9} 13|336b7 339r23 340r28 341r28 138U14*Reset 138<21 138>42 13|359b14 378l8 378t13 138r21 Gen{60R9} 13|360b7 367r14 370m10 371m10 376m10 138a42 From_Image{string} 13|361b7 363r32 364r32 367r23 369r10 372r31 374r31 . 374r54 139V13*Image{string} 139>20 13|384b13 404l8 404t13 139r20 Gen{60R9} 13|384b20 389r51 391r10 394r57 397r57 144N4*Max_Image_Width 13|43r41 151r7*Rep{26|65R9} 13|91r21 184r26 189r26 194r26 199r26 204r26 241r21 294r18 . 303r18 312r18 321r18 330r18 339r18 339r34 367r18 389r55 153b7*Have_Gaussian{boolean} 13|261r12 262m12 277m12 295m11 304m11 313m11 . 322m11 331m11 340m11 340r39 370m14 376m14 391r14 158f7*Next_Gaussian{long_float} 13|263r19 276m12 341m11 341r39 371m14 394r61 . 397r61 X 13 g-rannum.adb 41N4 Sys_Max_Image_Width 364r51 367r46 389r20 392r18 393r32 396r32 400r18 43A12 Image_String{string} 48r22 69r22 385r16 47U14 Insert_Image 48=7 49>7 50>7 68b14 76l8 76t20 393s10 396s10 48a7 S{43A12} 69b7 75m7 49i7 Index{integer} 70b7 75r10 75r19 50i7 V{14|68I9} 71b7 73r52 57V13 To_Signed[10|23]{14|65I9} 209s14 59V13 To_Signed[10|23]{14|68I9} 214s14 61V13 To_Signed[10|23]{14|76I9} 219s14 73a7 Image{string} 75r27 75r48 87V16 F[26|86]{12|80E12} 91s14 27|402b13[13|229] 106I21 IntV{14|76I9} 109r61 111r56 111r68 109V22 R[12|82]{14|76I9} 111s48 116I21 IntV{14|68I9} 119r60 121r56 121r68 119V22 R[12|82]{14|68I9} 121s48 126I21 IntV{14|65I9} 129r60 131r56 131r68 129V22 R[12|82]{14|65I9} 131s48 148I21 IntV{14|76I9} 151r61 153r56 153r68 151V22 R[12|82]{14|76I9} 153s48 158I21 IntV{14|68I9} 161r60 163r56 163r68 161V22 R[12|82]{14|68I9} 163s48 168I21 IntV{14|65I9} 171r60 173r56 173r68 171V22 R[12|82]{14|65I9} 173s48 223V16 Random_Long_Integer[12|82]{long_integer} 82b13 225s14 229V16 Random_Integer[12|82]{integer} 82b13 231s14 239V16 F[26|94]{12|107F12} 241s14 256r7 G{12|60R9} 261r10 262r10 263r17 267r33 268r33 276r10 277r10 258f7 V1{long_float} 267m13 269r21 278r37 258f11 V2{long_float} 268m13 269r31 276r29 258f15 Rad2{long_float} 269m13 270r23 270r43 275r36 275r44 258f21 Mult{long_float} 275m10 276r34 278r42 283f7 V{long_float} 285r36 344f4 Frac_Scale{long_float} 372r66 395r38 348V13 Val64{14|68I9} 348>20 354b13 357l8 357t13 372s24 374s24 348a20 Image{string} 354b20 356r32 363i7 F0{integer} 367r35 367r41 364i7 T0{integer} 369r22 372r43 372r53 374r43 385a7 Result{43A12} 388m7 389m7 392m10 393m24 393r24 396m24 396r24 400m10 . 403r14 X 14 interfac.ads 47K9*Interfaces 12|55w6 55r22 68r45 69r45 70r45 71r45 72r45 73r45 124r19 . 127r19 13|192r45 197r45 202r45 309r19 318r19 14|247e15 65I9*Integer_32 12|68r56 124r30 13|58r49 126r29 127r15 128r15 129r48 . 168r29 169r15 170r15 171r48 207r45 309r30 68I9*Integer_64 12|70r56 13|50r15 60r49 71r15 73r34 116r29 . 117r15 118r15 119r48 158r29 159r15 160r15 161r48 212r45 348r43 354r43 356r14 . 394r24 397r24 76I9*Integer_128 12|72r56 13|62r50 106r29 107r15 . 108r15 109r48 148r29 149r15 150r15 151r48 217r45 92M9*Unsigned_32 12|69r56 127r30 13|58r36 192r56 209r25 318r30 95M9*Unsigned_64 12|71r56 13|60r36 197r56 214r25 99M9*Unsigned_128 12|73r56 13|62r36 202r56 219r25 X 15 system.ads 37K9*System 12|54r6 62r6 145r6 151r13 13|36r6 36r33 41r38 88r13 239r25 15|156e11 X 26 s-rannum.ads 62K16*Random_Numbers 12|54w13 62r13 145r13 151r20 13|36w13 36r40 41r45 88r20 . 239r32 26|170e26 65R9*Generator 12|151r35 26|168e14 73V13*Random{float} 13|184s14 74V13*Random{long_float} 13|189s14 77V13*Random{14|92M9} 13|194s14 27|224i21 78V13*Random{14|95M9} 13|199s14 27|224i21 79V13*Random{14|99M9} 13|204s14 86v13*Random_Discrete 13|88r35 94v13*Random_Float 13|239r47 97A9*Initialization_Vector(14|92M9) 12|62r28 103U14*Reset 13|294s7 106U14*Reset 13|303s7 107U14*Reset 13|312s7 108U14*Reset 13|321s7 109U14*Reset 13|330s7 113U14*Reset 13|339s7 123U14*Reset 13|367s7 124V13*Image{string} 13|389s44 129N4*Max_Image_Width 12|145r28 13|41r60