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 ZX

RN
RV NO_DISPATCH
RV NO_EXCEPTIONS
RV NO_RECURSION
RV SPARK

U ada.containers.red_black_trees.generic_bounded_keys%b  a-rbtgbk.adb  e32920a0 NE OL PK GE
W ada.containers.red_black_trees%s  a-crbltr.ads  a-crbltr.ali

U ada.containers.red_black_trees.generic_bounded_keys%s  a-rbtgbk.ads  f8b211e3 BN NE OL PU PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.containers.red_black_trees%s  a-crbltr.ads  a-crbltr.ali
W ada.containers.red_black_trees.generic_bounded_operations%s

D ada.ads		20121213103024 3ffc8e18
D a-contai.ads		20121213103024 61e5e089
D a-crbltr.ads		20121213103024 b8a2dc05
D a-rbtgbk.ads		20121213103024 39d9d137
D a-rbtgbk.adb		20121213103024 daf0f197
D a-rbtgbo.ads		20121213103024 79c91cd1
D a-except.ads		20121213103024 10fcae55
D a-stream.ads		20121213103024 2ca4ee37
D a-tags.ads		20121213103024 6c0509d0
D a-unccon.ads		20121213103024 f9eb8f06
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-parame.ads		20121213103024 b6e20cc0
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-traent.ads		20121213103024 5221ee41
X 1 ada.ads
16K9*Ada 19e8 4|33r6 50r9 193r5 5|30r14 630r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 4|33r10 50r13 193r9 5|30r18 630r9
20I9*Count_Type<integer> 4|54r37 58r16 60r20 71r14 73r18 78r22 91r14 93r18
. 98r18 106r14 108r18 113r24 117r14 119r18 136r14 138r18 143r25 148r18 150r22
. 159r31 164r31 169r31 174r31 178r39 186r39 5|42r31 44r11 45r11 70r31 72r11
. 73r11 106r31 108r11 109r11 135r22 138r11 139r11 220r19 222r23 274r31 306r30
. 345r16 347r20 407r34 413r34 414r14 446r34 452r34 453r14 484r18 486r11 487r11
. 512r14 514r18 566r31 588r27 608r31 610r11 611r11
22X4*Capacity_Error 5|353r16
X 3 a-crbltr.ads
32K24*Red_Black_Trees 2|16k13 3|75e35 4|33r21 50r24 193r20 5|30r29 630r20
35n24*Red{35E9} 5|393r29
52+12 Node_Type 4|44r11[6|36[4|36]] 48r11[6|36[4|36]]
54A12 Nodes_Type(52+12[6|36[4|36]])<2|20I9> 5|46r11[6|36[4|36]] 74r11[6|36[4|36]]
. 110r11[6|36[4|36]] 140r11[6|36[4|36]] 225r11[6|36[4|36]] 349r11[6|36[4|36]]
. 415r14[6|36[4|36]] 454r14[6|36[4|36]] 488r11[6|36[4|36]] 516r11[6|36[4|36]]
. 612r11[6|36[4|36]]
63R12 Tree_Type 4|57r23[6|36[4|36]] 70r21[6|36[4|36]] 76r25[6|36[4|36]] 90r21[6|36[4|36]]
. 96r21[6|36[4|36]] 105r21[6|36[4|36]] 111r27[6|36[4|36]] 116r21[6|36[4|36]]
. 135r21[6|36[4|36]] 141r28[6|36[4|36]] 147r25[6|36[4|36]] 158r14[6|36[4|36]]
. 163r14[6|36[4|36]] 168r14[6|36[4|36]] 173r14[6|36[4|36]] 180r14[6|36[4|36]]
. 188r14[6|36[4|36]] 5|41r14[6|36[4|36]] 69r14[6|36[4|36]] 105r14[6|36[4|36]]
. 133r25[6|36[4|36]] 219r26[6|36[4|36]] 344r23[6|36[4|36]] 404r14[6|36[4|36]]
. 443r14[6|36[4|36]] 482r21[6|36[4|36]] 511r21[6|36[4|36]] 607r14[6|36[4|36]]
63i23 Capacity{2|20I9} 5|352r30[6|36[4|36]]
64i10 First{2|20I9} 5|173r22[6|36[4|36]] 278r40[6|36[4|36]] 367r30[6|36[4|36]]
. 371m15[6|36[4|36]] 379r22[6|36[4|36]] 380m18[6|36[4|36]]
65i10 Last{2|20I9} 5|241r18[6|36[4|36]] 242r54[6|36[4|36]] 244r37[6|36[4|36]]
. 310r40[6|36[4|36]] 368r30[6|36[4|36]] 372m15[6|36[4|36]] 388r22[6|36[4|36]]
. 389m18[6|36[4|36]] 540r18[6|36[4|36]] 542r47[6|36[4|36]] 545r37[6|36[4|36]]
66i10 Root{2|20I9} 5|51r17[6|36[4|36]] 79r17[6|36[4|36]] 115r17[6|36[4|36]]
. 159r17[6|36[4|36]] 366r30[6|36[4|36]] 370m15[6|36[4|36]] 435r21[6|36[4|36]]
. 474r21[6|36[4|36]] 496r17[6|36[4|36]] 617r17[6|36[4|36]]
67i10 Length{2|20I9} 5|253r27[6|36[4|36]] 352r15[6|36[4|36]] 365r30[6|36[4|36]]
. 396m12[6|36[4|36]] 396r27[6|36[4|36]] 551r27[6|36[4|36]]
68i10 Busy{natural} 5|356r15[6|36[4|36]]
71a10 Nodes{54A12[6|36[4|36]]} 5|46m35[6|36[4|36]] 74m35[6|36[4|36]] 110m35[6|36[4|36]]
. 140m35[6|36[4|36]] 225m35[6|36[4|36]] 349m35[6|36[4|36]] 415m38[6|36[4|36]]
. 454m38[6|36[4|36]] 488m35[6|36[4|36]] 516m35[6|36[4|36]] 612m35[6|36[4|36]]
X 4 a-rbtgbk.ads
36K17 Tree_Operations[6|63] 38r8 5|32r24
40+9 Key_Type 43r11 47r11 77r18 97r14 112r20 118r14 142r21 149r18 159r14
. 164r14 169r14 174r14 181r14 189r14 5|42r14 70r14 106r14 134r18 221r19 405r14
. 444r14 483r14 513r14 608r14
42V18 Is_Less_Key_Node{boolean} 43>7 44>7 5|93s10 117s13 163s22 272s10 313s19
. 420s16 459s16 499s20 542s16 564s10 570s19 619s13
43*7 L{40+9}
44*7 R{3|52+12[6|36[4|36]]}
46V18 Is_Greater_Key_Node{boolean} 47>7 48>7 5|53s13 81s13 196s10 242s20
. 281s19 304s10 422s19 461s19 592s16
47*7 L{40+9}
48*7 R{3|52+12[6|36[4|36]]}
50k40*Generic_Bounded_Keys 3|32k24 4|36z17 40z9 42z18 46z18 193l36 193e56
. 5|30b45 630l36 630t56
54V21 New_Node{2|20I9} 5|361s12
56u14*Generic_Insert_Post 57=7 58>7 59>7 60<7 5|343b14 397l8 397t27
57c7 Tree<3|63R12[6|36[4|36]]> 5|344b7 349m30 349r30 352r10 352r25 356r10
. 365r25 366r25 367r25 368r25 370m10 371m10 372m10 379r17 380m13 388r17 389m13
. 395m33 396m7 396r22
58i7 Y{2|20I9} 5|345b7 364r10 375r38 377r27 379r13 384r39 386r28 388r13 394r30
59b7 Before{boolean} 5|346b7 374r13
60i7 Z{2|20I9} 5|347b7 361m7 362r22 370r23 371r24 372r23 377r31 380r27 386r32
. 389r26 393r25 394r26 395r39
69U22 Insert_Post 70=10 71>10 72>10 73<10 5|174s13 202s10
70c10 T<3|63R12[6|36[4|36]]>
71i10 Y{2|20I9}
72b10 B{boolean}
73i10 Z{2|20I9}
75u14*Generic_Conditional_Insert 76=7 77>7 78<7 79<7 5|132b14 212l8 212t34
76c7 Tree<3|63R12[6|36[4|36]]> 5|133b7 140r30 159r12 173r17 174m26 183r32
. 202m23
77*7 Key{40+9} 5|134b7 163r40 196r31
78i7 Node{2|20I9} 5|135b7 174m41 183m10 190m10 196r39 202m42
79b7 Inserted{boolean} 5|136b7 160m7 163m10 164r19 167r10 202r32 203m10 211m7
89U22 Insert_Post 90=10 91>10 92>10 93<10 5|503s7
90c10 T<3|63R12[6|36[4|36]]>
91i10 Y{2|20I9}
92b10 B{boolean}
93i10 Z{2|20I9}
95u14*Generic_Unconditional_Insert 96=7 97>7 98<7 5|481b14 504l8 504t36
96c7 Tree<3|63R12[6|36[4|36]]> 5|482b7 488r30 496r12 503m20
97*7 Key{40+9} 5|483b7 499r38
98i7 Node{2|20I9} 5|484b7 503m37
104U22 Insert_Post 105=10 106>10 107>10 108<10 5|541s13 545s13 569s16 573s16
. 575s16 591s13 595s13 597s13
105c10 T<3|63R12[6|36[4|36]]>
106i10 Y{2|20I9}
107b10 B{boolean}
108i10 Z{2|20I9}
110U22 Unconditional_Insert_Sans_Hint 111=10 112>10 113<10 5|543s13 571s16
. 593s13
111c10 Tree<3|63R12[6|36[4|36]]>
112*10 Key{40+9}
113i10 Node{2|20I9}
115u14*Generic_Unconditional_Insert_With_Hint 116=7 117>7 118>7 119<7 5|510b14
. 600l8 600t46
116c7 Tree<3|63R12[6|36[4|36]]> 5|511b7 516r30 540r13 541m26 542r42 543m45
. 545m26 545r32 551r22 566r59 569m29 571m48 573m29 575m29 588r51 591m26 593m45
. 595m26 597m26
117i7 Hint{2|20I9} 5|512b7 539r10 564r36 566r65 569r35 575r35 588r57 591r32
. 594r30 595r32
118*7 Key{40+9} 5|513b7 542r34 543r51 564r28 570r37 571r54 592r37 593r51
119i7 Node{2|20I9} 5|514b7 541m42 543m56 545m50 569m47 571m59 573m50 575m47
. 591m45 593m56 595m45 597m45
134U22 Insert_Post 135=10 136>10 137>10 138<10 5|244s13 278s16 283s19 285s19
. 310s16 315s19 317s19
135c10 T<3|63R12[6|36[4|36]]>
136i10 Y{2|20I9}
137b10 B{boolean}
138i10 Z{2|20I9}
140U22 Conditional_Insert_Sans_Hint 141=10 142>10 143<10 144<10 5|247s13
. 291s16 323s16
141c10 Tree<3|63R12[6|36[4|36]]>
142*10 Key{40+9}
143i10 Node{2|20I9}
144b10 Inserted{boolean}
146u14*Generic_Conditional_Insert_With_Hint 147=7 148>7 149>7 150<7 151<7
. 5|218b14 337l8 337t44
147c7 Tree<3|63R12[6|36[4|36]]> 5|219b7 225r30 241r13 242r49 244m26 244r32
. 247m43 253r22 274r59 278m29 278r35 283m32 285m32 291m46 306r54 310m29 310r35
. 315m32 317m32 323m46
148i7 Position{2|20I9} 5|220b7 240r10 272r36 274r65 285r38 304r39 306r60
. 314r33 315r38 335r15
149*7 Key{40+9} 5|221b7 242r41 247r49 272r28 281r40 291r52 304r31 313r37
. 323r52
150i7 Node{2|20I9} 5|222b7 244m50 247m54 278m53 283m53 285m54 291m57 310m53
. 315m55 317m51 323m57 335m7
151b7 Inserted{boolean} 5|223b7 245m13 247m60 279m16 288m16 291m63 311m16
. 320m16 323m63 336m7
157V13*Find{2|20I9} 158>7 159>7 5|68b13 98l8 98t12
158c7 Tree<3|63R12[6|36[4|36]]> 5|69b7 74r30 79r12
159*7 Key{40+9} 5|70b7 81r34 93r28
162V13*Ceiling{2|20I9} 163>7 164>7 5|40b13 62l8 62t15
163c7 Tree<3|63R12[6|36[4|36]]> 5|41b7 46r30 51r12
164*7 Key{40+9} 5|42b7 53r34
167V13*Floor{2|20I9} 168>7 169>7 5|104b13 126l8 126t13
168c7 Tree<3|63R12[6|36[4|36]]> 5|105b7 110r30 115r12
169*7 Key{40+9} 5|106b7 117r31
172V13*Upper_Bound{2|20I9} 173>7 174>7 5|606b13 628l8 628t19
173c7 Tree<3|63R12[6|36[4|36]]> 5|607b7 612r30 617r12
174*7 Key{40+9} 5|608b7 619r31
178U22 Process 178>31 5|426s16
178i31 Index{2|20I9}
179u14*Generic_Iteration 180>7 181>7 5|403b14 436l8 436t25
180c7 Tree<3|63R12[6|36[4|36]]> 5|404b7 415r33 435r16
181*7 Key{40+9} 5|405b7 420r34 422r40
186U22 Process 186>31 5|465s16
186i31 Index{2|20I9}
187u14*Generic_Reverse_Iteration 188>7 189>7 5|442b14 475l8 475t33
188c7 Tree<3|63R12[6|36[4|36]]> 5|443b7 454r33 474r16
189*7 Key{40+9} 5|444b7 459r34 461r40
X 5 a-rbtgbk.adb
32K12 Ops=32:24 54r18 57r18 82r18 85r18 118r18 121r18 164r33 164r55 183r18
. 274r45 282r19 306r44 314r19 375r25 377r10 384r25 386r10 393r7 394r7 395r7
. 421r21 423r21 425r25 427r21 460r21 462r21 464r25 466r21 500r31 500r53 566r45
. 572r19 588r41 594r16 621r18 623r18
44i7 Y{2|20I9} 49m7 56m13 61r14
45i7 X{2|20I9} 51m7 52r13 53r42 54m13 54r32 56r18 57m13 57r31
46a7 N{3|54A12[6|36[4|36]]} 53r39 54r29 57r28
72i7 Y{2|20I9} 77m7 84m13 89r10 93r36 97r14
73i7 X{2|20I9} 79m7 80r13 81r42 82m13 82r32 84r18 85m13 85r31
74a7 N{3|54A12[6|36[4|36]]} 81r39 82r29 85r28 93r33
108i7 Y{2|20I9} 113m7 120m13 125r14
109i7 X{2|20I9} 115m7 116r13 117r39 118m13 118r31 120r18 121m13 121r32
110a7 N{3|54A12[6|36[4|36]]} 117r36 118r28 121r29
138i7 Y{2|20I9} 158m7 162m10 173r13 174r32 183r38 190r18 202r29
139i7 X{2|20I9} 159m7 161r13 162r15 163r48 164m10 164r46 164r69
140a7 N{3|54A12[6|36[4|36]]} 163r45 164r43 164r66 196r36
225a7 N{3|54A12[6|36[4|36]]} 242r46 272r33 281r45 282r30 304r36 313r42 314r30
274i13 Before{2|20I9} 277r16 281r48 282r33 283r38
306i13 After{2|20I9} 309r16 313r45 317r38
349a7 N{3|54A12[6|36[4|36]]} 375r35 377r24 384r36 386r25 393r22 394r23
407U17 Iterate 407>26 413b17 425s16 430l11 430t18 435s7
407i26 Index{2|20I9} 413b26 418r15
414i10 J{2|20I9} 418m10 419r16 420r42 421m16 421r34 422r48 423m16 423r35
. 425r38 426r25 427m16 427r35
415a10 N{3|54A12[6|36[4|36]]} 420r39 421r31 422r45 423r32 425r35 427r32
446U17 Iterate 446>26 452b17 464s16 469l11 469t18 474s7
446i26 Index{2|20I9} 452b26 457r15
453i10 J{2|20I9} 457m10 458r16 459r42 460m16 460r34 461r48 462m16 462r35
. 464r39 465r25 466m16 466r34
454a10 N{3|54A12[6|36[4|36]]} 459r39 460r31 461r45 462r32 464r36 466r31
486i7 Y{2|20I9} 493m7 498m10 503r26
487i7 X{2|20I9} 496m7 497r13 498r15 499r46 500m10 500r44 500r67
488a7 N{3|54A12[6|36[4|36]]} 499r43 500r41 500r64
490b7 Before{boolean} 494m7 499m10 500r19 503r29
516a7 N{3|54A12[6|36[4|36]]} 542r39 564r33 570r42 572r30 592r42 594r27
566i13 Before{2|20I9} 568r16 570r45 572r33 573r35
588i10 After{2|20I9} 590r13 592r45 597r32
610i7 Y{2|20I9} 615m7 620m13 627r14
611i7 X{2|20I9} 617m7 618r13 619r39 620r18 621m13 621r31 623m13 623r32
612a7 N{3|54A12[6|36[4|36]]} 619r36 621r28 623r29
X 6 a-rbtgbo.ads
36K17 Tree_Types[3|53] 4|38r24[36]
41U19 Set_Parent 5|394s11[4|36]
45V19 Left{2|20I9} 5|57s22[4|36] 85s22[4|36] 118s22[4|36] 164s37[4|36] 375s29[4|36]
. 421s25[4|36] 425s29[4|36] 460s25[4|36] 466s25[4|36] 500s35[4|36] 621s22[4|36]
47U19 Set_Left 5|377s14[4|36]
51V19 Right{2|20I9} 5|54s22[4|36] 82s22[4|36] 121s22[4|36] 164s59[4|36] 282s23[4|36]
. 314s23[4|36] 384s29[4|36] 423s25[4|36] 427s25[4|36] 462s25[4|36] 464s29[4|36]
. 500s57[4|36] 572s23[4|36] 594s20[4|36] 623s22[4|36]
53U19 Set_Right 5|386s14[4|36]
59U19 Set_Color 5|393s11[4|36]
63k40*Generic_Bounded_Operations 4|33w37 36r40 6|155e62
76V13 Next{2|20I9} 5|306s48[4|36] 588s45[4|36]
81V13 Previous{2|20I9} 5|183s22[4|36] 274s49[4|36] 566s49[4|36]
136U14 Rebalance_For_Insert 5|395s11[4|36]