MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P SS ZX

RN
RV NO_EXCEPTIONS
RV NO_FLOATING_POINT
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_LOOPS
RV NO_RECURSION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK

U system.random_numbers%b  s-rannum.adb		8053c412 NE OL PK
W ada%s			ada.ads			ada.ali
W ada.unchecked_conversion%s
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W system.img_uns%s	s-imguns.adb		s-imguns.ali
W system.random_seed%s	s-ransee.adb		s-ransee.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.unsigned_types%s  s-unstyp.ads		s-unstyp.ali
W system.val_uns%s	s-valuns.adb		s-valuns.ali

U system.random_numbers%s  s-rannum.ads		dc0e8df1 BN NE OL PK
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali

D ada.ads		20121213103024 3ffc8e18
D a-unccon.ads		20121213103024 f9eb8f06
D interfac.ads		20121213103024 129923ea
D system.ads		20121213103024 90249111
D s-imguns.ads		20121213103024 9ff43cf7
D s-rannum.ads		20121213103024 5eb33f0a
D s-rannum.adb		20130106093247 34372cc7
D s-ransee.ads		20121213103024 01a57b33
D s-secsta.ads		20121213103024 eea35a36
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-unstyp.ads		20121213103024 6ae15c76
D s-valuns.ads		20121213103024 10a8ed3b
X 1 ada.ads
16K9*Ada 19e8 7|89r6 95r5
X 2 a-unccon.ads
20v14*Unchecked_Conversion 7|89w10 167r10 169r10 411r20 413r20
X 3 interfac.ads
36K9*Interfaces 175e15 6|54w6 66r45 67r45 86r34 95r50 96r50 135r25 7|93w6
. 93r22
49I9*Integer_32<integer> 6|95r61 7|167r32 487r50 503r34
52I9*Integer_64<long_integer> 7|169r32 508r41
61M9*Unsigned_32 6|66r56 86r45 96r61 135r36 7|152r49 167r44 175r45 271r45
. 291r22 297r18 355r38 369r48 382r39 383r25 441r40 444r29 445r22 447r29 447r44
. 448r20 453r48 458r45 484r18 492r50 509r35 510r28 511r35 512r28 533r51 553r14
. 653r49 661r14
64M9*Unsigned_64 6|67r56 7|169r44 375r48 380r45 382r26 383r12 411r63 413r42
. 416r26 419r23 426r24 430r51 507r35
107V13*Shift_Left{61M9} 7|209s19 210s19
111V13*Shift_Right{61M9} 7|185s31 191s21 197s31 208s18 211s18 532s36 552s33
. 660s29
127V13*Shift_Left{64M9} 7|382s14
131V13*Shift_Right{64M9} 7|512s41
X 4 system.ads
37K9*System 152e11 6|56r9 153r5 7|91r6 97r14 691r5
75V14*"<="{boolean} 7|502r23
76V14*">"{boolean} 7|402r38 469r37 528r27
78V14*"="{boolean} 7|437r65
X 6 s-rannum.ads
56K16*Random_Numbers 4|37k9 6|153l12 153e26 7|97b21 691l12 691t26
58R9*Generator 62r27 63r27 66r27 67r27 75r13 82r33 91r27 94r27 95r27 96r27
. 97r27 101r27 101r51 105r27 106r27 111r27 112r26 138r40 141c9 142r36 7|152r26
. 175r27 176r11 219r33 220r42 231r42 368r27 374r27 380r27 391r13 467r33 482r27
. 487r27 492r27 497r27 519r27 520r14 565r27 565r51 566r11 572r27 573r11 579r27
. 580r11 593r26 594r14 624r26 641r13 653r26 654r11
59A9*State(135M12) 105r51 106r53 120r31 124r49 136c9 145r11 7|572r51 593r52
. 611r31 640r49 642r13
62V13*Random{float} 62>21 7|368b13 372l8 372t14 474s50
62r21 Gen{58R9} 7|368b21 371r17
63V13*Random{long_float} 63>21 7|374b13 378l8 378t14 471s55
63r21 Gen{58R9} 7|374b21 377r17
66V13*Random{3|61M9} 66>21 7|175b13 202s17 214l8 214t14 219i21 335s24 355s51
. 382s52 383s38 441s57 452s21
66r21 Gen{58R9} 7|175b21 176r29 202r25
67V13*Random{3|64M9} 67>21 7|219i21 380b13 384l8 384t14 423s64 429s24
67r21 Gen{58R9} 7|380b21 382r60 383r46
72E12 Result_Subtype 73r21 73r39 76r13 77r13 77r31 77r59 7|392r13 393r13
. 393r31 393r59 402r13 411r42 413r55 437r13 437r40 440r17 441r13 445r35 446r37
. 457r15 458r18
73*7 Default_Min{72E12} 76r31 7|392r31
74v13*Random_Discrete 75>7 76>7 77>7 7|390b13 461l8 461t23
75r7 Gen{58R9} 7|391b7 423r72 429r32 441r65 452r29
76*7 Min{72E12} 7|392b7 396r16 399r19 417r62 423r57 433r57 437r60 441r33
. 446r57 458r38
77*7 Max{72E12} 7|393b7 396r10 397r17 399r13 417r37 437r33 445r55
81F12 Result_Subtype 82r51 7|467r51 469r10 470r17 470r41 473r17 473r41
82v13*Random_Float 82>27 7|467b13 476l8 476t20
82r27 Gen{58R9} 7|467b27 471r63 474r58
85A9*Initialization_Vector(3|61M9)<integer> 94r50 7|514r25 519r50
91U14*Reset 91>21 7|482b14 485l8 485t13
91r21 Gen{58R9} 7|482b21 484r13
94U14*Reset 94>21 94>38 7|514s13 519b14 563l8 563t13
94r21 Gen{58R9} 7|519b21 520r32
94a38 Initiator{85A9} 7|519b38 528r10 529r48 533r17 533r32 543r21
95U14*Reset 95>21 95>38 7|487b14 490l8 490t13
95r21 Gen{58R9} 7|487b21 489r13
95i38 Initiator{3|49I9} 7|487b38 489r31
96U14*Reset 96>21 96>38 7|492b14 495l8 495t13
96r21 Gen{58R9} 7|492b21 494r13
96m38 Initiator{3|61M9} 7|492b38 494r18
97U14*Reset 97>21 97>38 7|497b14 517l8 517t13
97r21 Gen{58R9} 7|497b21 503r16 514r20
97i38 Initiator{integer} 7|497b38 503r46 508r53
101U14*Reset 101>21 101>38 7|565b14 570l8 570t13
101r21 Gen{58R9} 7|565b21 566r29
101r38 From_State{58R9} 7|565b38 568r14 569r14
105U14*Reset 105>21 105>38 7|572b14 577l8 577t13
105r21 Gen{58R9} 7|572b21 573r29
105a38 From_State{59A9} 7|572b38 576r14
106U14*Save 106>21 106<38 7|593b14 605l8 605t12 645s7
106r21 Gen{58R9} 7|593b20 597r10 602r33 602r43 602r50 603r24 603r43 603r55
106a38 To_State{59A9} 7|593b37 599m10 602m10 603m10
111U14*Reset 111>21 111>38 7|579b14 587l8 587t13 644s7
111r21 Gen{58R9} 7|579b21 580r29
111s38 From_Image{string} 7|579b38 585r36
112V13*Image{string} 112>20 7|624b13 634l8 634t13
112r20 Gen{58R9} 7|624b20 630r35 630r47
117N4*Max_Image_Width 7|99r39 100r41
120V13*Image{string} 120>20 7|611b13 622l8 622t13
120a20 Of_State{59A9} 7|611b20 617r16 618r35
124V13*Value{59A9} 124>20 7|640b13 647l8 647t13
124s20 Coded_State{string} 7|640b20 644r19
129N4 N 136r30 148r22 7|99r57 183r14 188r17 190r29 195r17 529r45 538r21 539r32
. 549r29 556r18 557r29 584r21 597r18 602r25 602r59 603r20 603r33 629r21 630r58
. 658r21
132N4 M 7|183r18 185r24 190r25 197r20
135M12 State_Val{3|61M9} 136r40 7|109r33 109r60 159r15 162r64 177r11 674r15
. 676r34 685r64 688r14
138R9 Writable_Access 138d26 142r19
142r7*Writable{138R9} 7|176r33 520r36 566r33 573r33 580r33 654r33
145a7*S{59A9} 7|184r18 184r46 185r17 189r18 189r46 190r17 196r18 196r46 197r17
. 205m9 530m15 531r18 531r32 532r51 539m18 539r29 550m12 551r15 551r29 552r48
. 557m15 557r26 562m9 568m9 568r25 576m9 585m12 599r27 602r47 603r47 630r39
. 656m9 659m12 660r15 660r44
148i7*I{integer} 7|181r14 205r14 206m9 569m9 569r25 575m9 582m9 597r14 602r37
. 602r54 603r28 603r59 630r51 664m9
X 7 s-rannum.adb
99N4 Image_Numeral_Length 686r53 688r51
100A12 Image_String{string}<integer> 157r22 612r16 625r16 672r22
106N4 Lower_Mask 184r60 189r60 196r56
107N4 Upper_Mask 184r28 189r28 196r28 562r18
109a4 Matrix_A(6|135M12) 185r54 192r21 197r54
122N4 U 208r34
123N4 S 209r34
124N4 B_Mask 209r42
125N4 T 210r34
126N4 C_Mask 210r41
127N4 L 211r34
130N4 Seed0 201r19
133N4 Seed1 524r16
137N4 Mult0 660r62
142N4 Mult1 532r69
143N4 Mult2 552r66
152U14 Init 152>20 152>37 201s10 484s7 489s7 494s7 503s10 524s7 598s10 653b14
. 665l8 665t12
152r20 Gen{6|58R9} 653b20 654r29
152m37 Initiator{3|61M9} 653b37 656r18
156U14 Insert_Image 157=7 158>7 159>7 618s10 630s10 671b14 679l8 679t20
157a7 S{100A12} 672b7 678m7
158i7 Index{integer} 673b7 678r10 678r28
159m7 V{6|135M12} 674b7 676r51
162V13 Extract_Value{6|135M12} 162>28 162>40 585s21 685b13 689l8 689t21
162s28 S{string} 685b28 686r35 688r31
162i40 Index{integer} 685b40 686r45
166V13 To_Unsigned[2|20]{3|61M9} 489s18 503s21
168V13 To_Unsigned[2|20]{3|64M9} 508s28
176r7 G{6|58R9} 181r12 184r16 184r44 185r15 189r16 189r44 190r15 196r16 196r44
. 197r15 201r16 205r7 205r12 206r7
177m7 Y{6|135M12} 184m10 185m10 185r44 185r64 189m10 190m10 191r34 192r31
. 196m10 197m10 197r44 197r64 205r20 208m7 208r12 208r31 209m7 209r12 209r31
. 210m7 210r12 210r31 211m7 211r12 211r31 213r14
178i7 I{integer} 181m7 183r10 184r21 184r49 185r20 186m10 186r15 188r13 189r21
. 189r49 190r20 193m10 193r15 195r13 196r21 198m10 206r14
217M12 Unsigned 219r51 234r10 263r19 263r53 285r27 288r24
218F12 Real 220r60 231r60 234r31 261r10 262r17 263r13 269r26 278r66 290r22
. 299r18
219V21 Random{217M12} 219>29 263s29 296s25
219r29 G{6|58R9}
220v13 Random_Float_Template 220>36 221r19 231b13 362l8 362t29 369r25 375r25
220r36 Gen{6|58R9} 231b36 263r37 296r33 335r32 355r59
267I18 Bit_Count<short_short_integer> 272r18 278r39 293r22
269F21 T 279r34 280r35 281r35 282r35 285r43 299r28
271a13 Trailing_Ones(267I18) 305r21 322r27
278a13 Pow_Tab(218F12) 346r22
284i13 Extra_Bits{natural} 296r43 297r47 298r23 301r16 301r49
288*13 Mantissa{217M12} 296m13 297r31 299r54 355r16
290*13 X{218F12} 299m13 327m22 327r27 334r39 346m13 346r18 356m16 356r27
. 359r20
291m13 R{3|61M9} 297m13 301r40 305r36 322r42 328m22 328r27 335m19
292i13 R_Bits{natural} 298m13 321r25 326m22 326r32 336m19
293i13 K{267I18} 305m16 322m22 324r42 346r31
308l16 Find_Zero 324r27 334r24 337l25 337e34
369V16 F[220]{float} 231b13 371s14
375V16 F[220]{long_float} 231b13 377s14
410V22 Conv_To_Unsigned[2|20]{3|64M9} 417s19 417s44 423s39 433s39
412V22 Conv_To_Result[2|20]{6|72E12} 423s23 433s23
416m13 N{3|64M9} 422r16 426r45 430r36 433r70
419m13 X{3|64M9} 429m19 430r46 433r64
419m16 Slop{3|64M9} 426m16 430r29 430r70
444m13 N{3|61M9} 447r65 453r33 458r68
447m13 Slop{3|61M9} 453r26 453r67
448m13 X{3|61M9} 452m16 453r43 458r62
507m13 Initiator1{3|64M9} 510r41 512r54
509m13 Init0{3|61M9} 514r48
511m13 Init1{3|61M9} 514r55
520r7 G{6|58R9} 524r13 530r13 531r16 531r30 532r49 539r16 539r27 550r10 551r13
. 551r27 552r46 557r13 557r24 562r7
521i7 I{integer} 525m7 530r18 531r21 531r35 532r54 535m13 535r18 538r16 540m16
. 550r15 551r18 551r32 552r51 553r27 554m10 554r15 556r13 558m13
521i10 J{integer} 526m7 533r28 533r64 536m13 536r18 543r16 544m16
529i14 K{integer}
549i11 K{integer}
566r7 G{6|58R9} 568r7 569r7
573r7 G{6|58R9} 575r7 576r7
580r7 G{6|58R9} 582r7 585r10
584i11 J{integer} 585r15 585r48
594r7 Gen2{6|58R9} 598r16 599r22
612a7 Result{100A12} 615m7 618m24 618r24 621r14
617i11 J{integer} 618r32 618r45
625a7 Result{100A12} 628m7 630m24 630r24 633r14
629i11 J{integer} 630r32 630r43
641r7 Gen{6|58R9} 644r14 645r13
642a7 S{6|59A9} 645m18 646r14
654r7 G{6|58R9} 656r7 659r10 660r13 660r42 664r7
658i11 I{integer} 659r15 660r18 660r47 661r27
676a7 Value{string} 678r41 678r58
686i7 Start{integer} 688r34 688r43
X 8 s-ransee.ads
44K16*Random_Seed 7|91w13 484r35 8|49e23
46V13*Get_Seed{3|64M9} 7|484s47