V "GNAT Lib v6" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=generic A -march=i586 P ZX RN RV NO_CALENDAR RV NO_DELAY RV NO_EXCEPTIONS RV NO_FIXED_POINT RV NO_FLOATING_POINT RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U gnat.mbbs_discrete_random%b g-mbdira.adb 1bab8145 NE OL PK GE W ada%s ada.ads ada.ali W ada.calendar%s a-calend.adb a-calend.ali W gnat%s gnat.ads gnat.ali W interfaces%s interfac.ads interfac.ali U gnat.mbbs_discrete_random%s g-mbdira.ads ef475404 BN EE NE OL PK GE W gnat%s gnat.ads gnat.ali W interfaces%s interfac.ads interfac.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-calend.ads 20141120112812 d986d312 ada.calendar%s D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D gnat.ads 20140801083227 fd2ad2f1 gnat%s D g-mbdira.ads 20100622172941 598548ee gnat.mbbs_discrete_random%s D g-mbdira.adb 20140129155348 d040d4a2 gnat.mbbs_discrete_random%b D interfac.ads 20151118101227 4be8ce1b interfaces%s D system.ads 20151123113124 2da59038 system%s D s-exctab.ads 20140225151139 54135002 system.exception_table%s D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s X 1 ada.ads 16K9*Ada 19e8 6|32r6 38r29 X 2 a-calend.ads 36K13*Calendar 382e17 6|32w10 38r33 38I9*Time<200I9> 6|175r32 44I12*Year_Number{integer} 45I12*Month_Number{integer} 46I12*Day_Number{integer} 50O12*Day_Duration{duration} 52V13*Clock{38I9} 6|175s49 58V13*Year{44I12} 6|180s27 59V13*Month{45I12} 6|181s27 60V13*Day{46I12} 6|182s27 61V13*Seconds{50O12} 6|184s27 200I9 Time_Rep X 4 gnat.ads 34K9*GNAT 37e9 5|54r9 123r5 6|36r14 282r5 X 5 g-mbdira.ads 52E9 Result_Subtype 62r7 69r45 88r19 54k14*MBBS_Discrete_Random 4|34k9 5|52z9 87E12 123l10 123e30 6|36b19 282l10 . 282t30 67R9*Generator 69r27 71r27 72r27 78r27 79r27 114r40 117c9 118r36 121e14 6|94r27 . 145r27 173r27 210r27 219r26 69V13*Random{52E9} 69>21 6|94b13 139l8 139t14 69r21 Gen{67R9} 6|94b21 95r28 71U14*Reset 71>21 6|173b14 204l8 204t13 71r21 Gen{67R9} 6|173b21 174r28 72U14*Reset 72>21 72>38 6|145b14 167l8 167t13 72r21 Gen{67R9} 6|145b21 146r30 72i38 Initiator{integer} 6|145b38 150r22 151r22 76R9*State 78r55 79r51 83r34 84r49 105c9 112e14 120r19 6|81r31 95r14 146r16 . 174r14 210r51 219r52 237r49 241r15 78U14*Save 78>21 78<38 6|219b14 222l8 222t12 78r21 Gen{67R9} 6|219b20 221r19 78r38 To_State{76R9} 6|219b37 221m7 79U14*Reset 79>21 79>38 6|210b14 213l8 213t13 79r21 Gen{67R9} 6|210b21 212r7 79r38 From_State{76R9} 6|210b38 212r38 81N4*Max_Image_Width 83V13*Image{string} 83>20 6|81b13 88l8 88t13 83r20 Of_State{76R9} 6|81b20 83r25 85r25 87r25 84V13*Value{76R9} 84>20 6|237b13 280l8 280t13 84a20 Coded_State{string} 6|237b20 238r35 239r27 240r27 244r35 252r29 257r40 . 264r30 265r30 87I12 Int{7|51I9} 106r13 106r20 107r13 107r20 108r13 109r13 6|73r34 73r46 . 83r14 85r14 87r14 96r14 137r26 147r16 150r17 151r17 176r14 177r14 180r13 . 181r13 182r13 184r13 228r34 228r46 230r14 252r18 264r19 265r19 88E12 Rst{52E9} 94r32 94r41 95r32 95r41 6|41r24 42r35 43r44 43r53 94r45 104r10 . 104r21 130r21 130r30 131r17 134r17 137r17 92F9 Flt 94r20 94r27 95r20 95r27 97r20 103r20 110r13 111r13 6|97r14 . 124r21 124r34 124r46 130r16 267r19 268r42 268r57 94f4 RstF{92F9} 97r27 103r35 6|268r27 95f4 RstL{92F9} 103r28 6|268r20 97f4 Offs{92F9} 6|124r13 99N4 K1 108r20 6|150r38 154r34 163r17 186r25 192r34 199r17 100N4 K1F 103r50 110r20 6|165r17 201r17 101N4 K2 109r20 6|151r38 155r34 164r17 187r25 193r34 200r17 102N4 K2F 103r56 103f4 Scal{92F9} 111r20 6|166r17 202r17 106i7 X1{87I12} 6|83r34 110m9 110r31 112r24 124r53 161m10 197m10 252m12 273r22 107i7 X2{87I12} 6|85r34 111m9 111r31 112r17 162m10 198m10 264m12 274r22 108i7 P{87I12} 6|110r37 124r41 163m10 199m10 266m12 267r29 268r52 273r42 109i7 Q{87I12} 6|87r34 111r37 117r27 121r27 164m10 200m10 265m12 266r24 268r67 . 272r15 274r42 110f7 FP{92F9} 6|165m10 201m10 267m12 111f7 Scl{92F9} 6|124r62 166m10 202m10 268m12 114R9 Writable_Access 114d26 114e73 118r19 118r7 Writable{114R9} 6|95m32 146m34 174m32 212m11 120r7 Gen_State{76R9} 6|95m46 146m48 174m46 212m25 221r23 X 6 g-mbdira.adb 38K12 Calendar=38:33 175r23 175r40 180r18 181r18 182r18 184r18 40b4 Fits_In_32_Bits{boolean} 133r17 73V13 Square_Mod_N{5|87I12} 73>27 73>30 74r19 110s15 111s15 154s16 155s16 . 192s16 193s16 228b13 231l8 231t20 73i27 X{5|87I12} 228b27 230r32 73i30 N{5|87I12} 228b30 230r58 95r7 S{5|76R9} 110r7 110r29 110r35 111r7 111r29 111r35 112r15 112r22 117r25 . 121r25 124r39 124r51 124r60 96i7 Temp{5|87I12} 112m7 116r10 117m10 117r18 120r10 121m10 121r18 124r26 97f7 TF{5|92F9} 124m7 130r10 134r49 137r31 146r7 S{5|76R9} 160r7 147i7 X1{5|87I12} 150m7 154m10 154r30 161r17 147i11 X2{5|87I12} 151m7 155m10 155r30 162r17 153i11 J{integer} 174r7 S{5|76R9} 196r7 175i7 Now{2|38I9} 180r36 181r36 182r36 184r36 176i7 X1{5|87I12} 180m7 186m7 186r17 192m10 192r30 197r17 177i7 X2{5|87I12} 184m7 187m7 187r17 193m10 193r30 198r17 191i11 J{integer} 238i7 Last{natural} 244r21 248r17 257r27 260r17 265r55 239i7 Start{positive} 252r42 253m7 264r43 240i7 Stop{positive} 244r13 244r48 245m10 245r18 248r10 252r51 253r16 256m10 . 256r18 257r20 257r53 260r10 264r52 265r43 241r7 Outs{5|76R9} 252m7 264m7 265m7 266m7 266r19 267m7 267r24 268m7 268r47 . 268r62 272r10 273r17 273r37 274r17 274r37 279r14 X 7 interfac.ads 38K9*Interfaces 5|49w6 87r19 6|34w6 34r22 134r26 7|183e15 51I9*Integer_32 5|87r30 54I9*Integer_64 6|134r37 230r20 230r46