V "GNAT Lib v4.9" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=pentium A -march=pentium P SS RN RV NO_EXCEPTIONS RV NO_FIXED_POINT RV NO_FLOATING_POINT RV NO_IMPLICIT_LOOPS RV NO_SECONDARY_STACK RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_ACCESS RV NO_UNCHECKED_CONVERSION RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV NO_IMPLICIT_ALIASING RV SPARK_05 U gnat.random_numbers%b g-rannum.adb 87bd18b8 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 W ada.unchecked_conversion%s W gnat%s gnat.ads gnat.ali W system%s system.ads system.ali W system.exn_llf%s s-exnllf.adb s-exnllf.ali W system.fat_flt%s s-fatflt.ads s-fatflt.ali W system.fat_lflt%s s-fatlfl.ads s-fatlfl.ali W system.img_lli%s s-imglli.adb s-imglli.ali W system.random_numbers%s s-rannum.adb s-rannum.ali W system.secondary_stack%s s-secsta.adb s-secsta.ali W system.val_lli%s s-vallli.adb s-vallli.ali U gnat.random_numbers%s g-rannum.ads 2609c30c 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 20070406121342 3ffc8e18 D a-numeri.ads 20080324194808 bb51c45a D a-ngelfu.ads 20140123185334 ff061ca9 D a-nlelfu.ads 20070406121342 7620113d D a-unccon.ads 20070406121342 f9eb8f06 D gnat.ads 20110801180502 fd2ad2f1 D g-rannum.ads 20140124182202 ec3d9f4e D g-rannum.adb 20140124182202 baf826c7 D interfac.ads 20140225171838 69adb1b9 D system.ads 20160804194326 462fcf90 D s-exctab.ads 20140225171140 54135002 D s-exnllf.ads 20121004120554 81841eef D s-fatflt.ads 20090409180020 11beb392 D s-fatgen.ads 20140129175348 9267ca45 D s-fatlfl.ads 20090409180020 378cba9f D s-imglli.ads 20090409180020 114f55d1 D s-imguns.ads 20090409180020 9ff43cf7 D s-rannum.ads 20140124182202 5eb33f0a D s-rannum.adb 20130102130616 34372cc7 D s-ransee.ads 20120130135052 01a57b33 D s-secsta.ads 20140225171140 86a2856d D s-stalib.ads 20140225171140 a891183f D s-stoele.ads 20140225171140 2dc34a04 D s-stoele.adb 20140225171140 ed88f8fb D s-unstyp.ads 20140225171140 510692af D s-vallli.ads 20090409180020 9a24e6a0 D s-valuns.ads 20090409180020 10a8ed3b X 1 ada.ads 16K9*Ada 19e8 8|32r6 33r6 34r6 57r10 59r10 X 2 a-numeri.ads 16K13*Numerics 32e17 8|32r10 33r10 X 3 a-ngelfu.ads 42V13*Sqrt{long_float} 8|212s18[4|18] 47V13*Log{long_float} 8|212s31[4|18] X 4 a-nlelfu.ads 18K22*Long_Elementary_Functions[3|39] 8|32w19 33r19 X 5 a-unccon.ads 20v14*Unchecked_Conversion 8|34w10 57r14 59r14 X 6 gnat.ads 34K9*GNAT 37e9 7|53r9 156r5 8|38r14 343r5 X 7 g-rannum.ads 53K14*Random_Numbers 6|34k9 7|143E9 156l10 156e24 8|38b19 343l10 343t24 55R9*Generator 59r27 60r27 63r27 64r27 65r27 66r27 67r27 68r27 76r15 85r15 . 94r15 101r35 104r36 105r36 109r31 113r23 116r23 119r23 122r23 127r31 127r55 . 131r31 132r26 143c9 8|80r15 96r13 113r13 129r27 134r27 139r27 144r27 149r27 . 154r27 159r27 165r27 175r33 192r36 193r11 219r36 229r31 236r23 245r23 254r23 . 263r23 272r24 273r20 297r24 321r26 56A12*Initialization_Vector{18|89A9} 114r19 8|237r19 59V13*Random{float} 59>21 8|129b13 132l8 132t14 59r21 Gen{55R9} 8|129b21 131r22 60V13*Random{long_float} 60>21 8|134b13 137l8 137t14 204s25 205s25 60r21 Gen{55R9} 8|134b21 136r22 63V13*Random{9|51I9} 63>21 8|154b13 157l8 157t14 63r21 Gen{55R9} 8|154b21 156r46 64V13*Random{9|63M9} 64>21 8|139b13 142l8 142t14 156s38 64r21 Gen{55R9} 8|139b21 141r22 65V13*Random{9|54I9} 65>21 8|149b13 152l8 152t14 65r21 Gen{55R9} 8|149b21 151r46 66V13*Random{9|66M9} 66>21 8|144b13 147l8 147t14 151s38 66r21 Gen{55R9} 8|144b21 146r22 67V13*Random{integer} 67>21 8|165b13 169l8 169t14 67r21 Gen{55R9} 8|165b21 168r30 68V13*Random{long_integer} 68>21 8|159b13 163l8 163t14 68r21 Gen{55R9} 8|159b21 162r35 73E12 Result_Subtype 74r21 74r39 77r15 78r15 78r33 78r61 8|81r15 82r15 82r33 . 82r61 86r16 74*7 Default_Min{73E12} 77r33 8|81r33 86r32 75v13*Random_Discrete 76>7 77>7 78>7 8|79b13 89l8 89t23 103r25 120r25 160r43 . 166r38 76r7 Gen{55R9} 8|80b7 88r17 77*7 Min{73E12} 8|81b7 88r26 78*7 Max{73E12} 8|82b7 88r31 82O12 Result_Subtype 83r21 86r15 87r15 87r33 87r61 8|114r13 115r13 115r31 . 115r59 122r14 83*7 Default_Min{82O12} 86r33 8|114r31 84v13*Random_Ordinary_Fixed 85>7 86>7 87>7 8|112b13 123l8 123t29 85r7 Gen{55R9} 8|113b7 122r45 86*7 Min{82O12} 8|114b7 118r35 87*7 Max{82O12} 8|115b7 119r35 91D12 Result_Subtype 92r21 95r15 96r15 96r33 96r61 8|97r13 98r13 98r31 98r59 . 105r14 92*7 Default_Min{91D12} 95r33 8|97r31 93v13*Random_Decimal_Fixed 94>7 95>7 96>7 8|95b13 106l8 106t28 94r7 Gen{55R9} 8|96b7 105r45 95*7 Min{91D12} 8|97b7 101r35 96*7 Max{91D12} 8|98b7 102r35 100F12 Result_Subtype 101r53 8|175r51 176r61 101v13*Random_Float 101>27 8|175b13 179l8 179t20 101r27 Gen{55R9} 8|175b27 178r17 104V13*Random_Gaussian{long_float} 104>30 8|192b13 217l8 217t23 220s34 104r30 Gen{55R9} 8|192b30 193r29 105V13*Random_Gaussian{float} 105>30 8|219b13 223l8 223t23 105r30 Gen{55R9} 8|219b30 220r51 109U14*Reset 109<21 8|229b14 233l8 233t13 109r21 Gen{55R9} 8|229b21 231r14 232m7 112U14*Reset 113<7 114>7 8|235b14 242l8 242t13 113r7 Gen{55R9} 8|236b7 240r14 241m7 114a7 Initiator{56A12} 8|237b7 240r23 115U14*Reset 116<7 117>7 8|244b14 251l8 251t13 116r7 Gen{55R9} 8|245b7 249r14 250m7 117i7 Initiator{9|51I9} 8|246b7 249r23 118U14*Reset 119<7 120>7 8|253b14 260l8 260t13 119r7 Gen{55R9} 8|254b7 258r14 259m7 120m7 Initiator{9|63M9} 8|255b7 258r23 121U14*Reset 122<7 123>7 8|262b14 269l8 269t13 122r7 Gen{55R9} 8|263b7 267r14 268m7 123i7 Initiator{integer} 8|264b7 267r23 127U14*Reset 127<21 127>42 8|271b14 279l8 279t13 127r21 Gen{55R9} 8|272b7 276r14 277m7 278m7 127r42 From_State{55R9} 8|273b7 276r23 277r28 278r28 131U14*Reset 131<21 131>42 8|296b14 315l8 315t13 131r21 Gen{55R9} 8|297b7 304r14 307m10 308m10 313m10 131s42 From_Image{string} 8|298b7 300r32 301r32 304r23 306r10 309r31 311r31 . 311r54 132V13*Image{string} 132>20 8|321b13 341l8 341t13 132r20 Gen{55R9} 8|321b20 326r51 328r10 331r57 334r57 137N4*Max_Image_Width 8|42r41 144r7*Rep{18|58R9} 8|88r21 131r26 136r26 141r26 146r26 178r21 231r18 240r18 . 249r18 258r18 267r18 276r18 276r34 304r18 326r55 146b7*Have_Gaussian{boolean} 8|198r12 199m12 214m12 232m11 241m11 250m11 . 259m11 268m11 277m11 277r39 307m14 313m14 328r14 151f7*Next_Gaussian{long_float} 8|200r19 213m12 278m11 278r39 308m14 331r61 . 334r61 X 8 g-rannum.adb 40N4 Sys_Max_Image_Width 301r51 304r46 326r20 329r18 330r32 333r32 337r18 42A12 Image_String{string} 47r22 66r22 322r16 46U14 Insert_Image 47=7 48>7 49>7 65b14 73l8 73t20 330s10 333s10 47a7 S{42A12} 66b7 72m7 48i7 Index{integer} 67b7 72r10 72r19 49i7 V{9|54I9} 68b7 70r52 56V13 To_Signed[5|20]{9|51I9} 156s14 58V13 To_Signed[5|20]{9|54I9} 151s14 70a7 Image{string} 72r27 72r48 84V16 F[18|78]{7|73E12} 88s14 19|390b13[8|166] 100I15 IntV{9|54I9} 103r54 105r50 105r62 103V16 R[7|75]{9|54I9} 105s42 117I15 IntV{9|54I9} 120r54 122r50 122r62 120V16 R[7|75]{9|54I9} 122s42 160V16 Random_Long_Integer[7|75]{long_integer} 79b13 162s14 166V16 Random_Integer[7|75]{integer} 79b13 168s14 176V16 F[18|86]{7|100F12} 178s14 193r7 G{7|55R9} 198r10 199r10 200r17 204r33 205r33 213r10 214r10 195f7 V1{long_float} 204m13 206r21 215r37 195f11 V2{long_float} 205m13 206r31 213r29 195f15 Rad2{long_float} 206m13 207r23 207r43 212r36 212r44 195f21 Mult{long_float} 212m10 213r34 215r42 220f7 V{long_float} 222r36 281f4 Frac_Scale{long_float} 309r66 332r38 285V13 Val64{9|54I9} 285>20 291b13 294l8 294t13 309s24 311s24 285s20 Image{string} 291b20 293r32 300i7 F0{integer} 304r35 304r41 301i7 T0{integer} 306r22 309r43 309r53 311r43 322a7 Result{42A12} 325m7 326m7 329m10 330m24 330r24 333m24 333r24 337m10 . 340r14 X 9 interfac.ads 38K9*Interfaces 7|51w6 51r22 63r45 64r45 65r45 66r45 117r19 120r19 8|139r45 . 144r45 246r19 255r19 9|179e15 51I9*Integer_32 7|63r56 117r30 8|57r49 154r45 246r30 54I9*Integer_64 7|65r56 8|49r15 59r49 68r15 70r34 100r23 . 101r9 102r9 103r42 117r23 118r9 119r9 120r42 149r45 285r43 291r43 293r14 . 331r24 334r24 63M9*Unsigned_32 7|64r56 120r30 8|57r36 139r56 156r25 255r30 66M9*Unsigned_64 7|66r56 8|59r36 144r56 151r25 X 10 system.ads 42K9*System 7|50r6 57r6 138r6 144r13 8|36r6 36r33 40r38 85r13 176r25 10|160e11 X 18 s-rannum.ads 56K16*Random_Numbers 7|50w13 57r13 138r13 144r20 8|36w13 36r40 40r45 85r20 . 176r32 18|157e26 58R9*Generator 7|144r35 66V13*Random{float} 8|131s14 67V13*Random{long_float} 8|136s14 70V13*Random{9|63M9} 8|141s14 19|219i21 71V13*Random{9|66M9} 8|146s14 19|219i21 78v13*Random_Discrete 8|85r35 86v13*Random_Float 8|176r47 89A9*Initialization_Vector(9|63M9) 7|57r28 95U14*Reset 8|231s7 98U14*Reset 8|240s7 99U14*Reset 8|249s7 100U14*Reset 8|258s7 101U14*Reset 8|267s7 105U14*Reset 8|276s7 115U14*Reset 8|304s7 116V13*Image{string} 8|326s44 121N4*Max_Image_Width 7|138r28 8|40r60