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_EXCEPTIONS
RV NO_NESTED_FINALIZATION
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_ACCESS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U ada.containers.red_black_trees.generic_keys%b  a-crbtgk.adb  64de1389 NE OL PK GE
W ada.containers.red_black_trees%s  a-crbltr.ads  a-crbltr.ali

U ada.containers.red_black_trees.generic_keys%s  a-crbtgk.ads  8c581b95 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_operations%s
W ada.tags%s		a-tags.adb		a-tags.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-contai.ads		20151020122137 61e5e089 ada.containers%s
D a-conhel.ads		20151023123735 20298884 ada.containers.helpers%s
D a-conhel.adb		20151023123735 34fff4f6 ada.containers.helpers%b
D a-crbltr.ads		20151020102346 c3e90a86 ada.containers.red_black_trees%s
D a-crbtgk.ads		20151020102346 ab25d217 ada.containers.red_black_trees.generic_keys%s
D a-crbtgk.adb		20151020102346 cffbc19e ada.containers.red_black_trees.generic_keys%b
D a-crbtgo.ads		20151020102346 e494c304 ada.containers.red_black_trees.generic_operations%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-finali.ads		20151020095656 bf4f806b ada.finalization%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-tags.ads		20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D system.ads		20151123113124 2da59038 system%s
D s-atocou.ads		20151020101020 b45c2d8d system.atomic_counters%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-soflin.ads		20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
X 1 ada.ads
16K9*Ada 19e8 6|33r6 50r9 192r5 7|30r14 690r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 6|33r10 50r13 192r9 7|30r18 690r9
20I9*Count_Type<integer> 7|425r40
X 3 a-conhel.ads
79b7 Checks{boolean} 7|425r10[5|52[8|36[6|36]]]
118U17 TC_Check 7|429s7[5|52[8|36[6|36]]]
144R12 With_Lock<10|50R9> 7|48r14[5|52[8|36[6|36]]] 82r14[5|52[8|36[6|36]]]
. 120r14[5|52[8|36[6|36]]] 187r17[5|52[8|36[6|36]]] 229r17[5|52[8|36[6|36]]]
. 290r20[5|52[8|36[6|36]]] 325r17[5|52[8|36[6|36]]] 341r20[5|52[8|36[6|36]]]
. 369r17[5|52[8|36[6|36]]] 385r20[5|52[8|36[6|36]]]
X 5 a-crbltr.ads
34K24*Red_Black_Trees 2|16k13 5|80e35 6|33r21 50r24 192r20 7|30r29 690r20
37n24*Red{37E9} 7|433r38
40+12 Node_Type
41P12 Node_Access(40+12[8|36[6|36]]) 6|44r11[8|36[6|36]] 48r11[8|36[6|36]]
. 54r37[8|36[6|36]] 57r16[8|36[6|36]] 59r20[8|36[6|36]] 70r14[8|36[6|36]]
. 72r18[8|36[6|36]] 77r22[8|36[6|36]] 90r14[8|36[6|36]] 92r18[8|36[6|36]]
. 97r18[8|36[6|36]] 105r14[8|36[6|36]] 107r18[8|36[6|36]] 112r24[8|36[6|36]]
. 116r14[8|36[6|36]] 118r18[8|36[6|36]] 135r14[8|36[6|36]] 137r18[8|36[6|36]]
. 142r25[8|36[6|36]] 147r18[8|36[6|36]] 149r22[8|36[6|36]] 158r31[8|36[6|36]]
. 163r31[8|36[6|36]] 168r31[8|36[6|36]] 173r31[8|36[6|36]] 177r38[8|36[6|36]]
. 185r38[8|36[6|36]] 7|44r63[8|36[6|36]] 50r11[8|36[6|36]] 51r11[8|36[6|36]]
. 78r60[8|36[6|36]] 84r11[8|36[6|36]] 85r11[8|36[6|36]] 116r61[8|36[6|36]]
. 122r11[8|36[6|36]] 123r11[8|36[6|36]] 153r22[8|36[6|36]] 156r11[8|36[6|36]]
. 157r11[8|36[6|36]] 258r19[8|36[6|36]] 260r23[8|36[6|36]] 263r17[8|36[6|36]]
. 420r16[8|36[6|36]] 422r20[8|36[6|36]] 477r33[8|36[6|36]] 483r33[8|36[6|36]]
. 484r14[8|36[6|36]] 514r33[8|36[6|36]] 520r33[8|36[6|36]] 521r14[8|36[6|36]]
. 550r18[8|36[6|36]] 552r11[8|36[6|36]] 553r11[8|36[6|36]] 577r14[8|36[6|36]]
. 579r18[8|36[6|36]] 629r31[8|36[6|36]] 651r27[8|36[6|36]] 671r31[8|36[6|36]]
. 673r11[8|36[6|36]] 674r11[8|36[6|36]]
44R12 Tree_Type 6|56r23[8|36[6|36]] 69r21[8|36[6|36]] 75r25[8|36[6|36]] 89r21[8|36[6|36]]
. 95r21[8|36[6|36]] 104r21[8|36[6|36]] 110r27[8|36[6|36]] 115r21[8|36[6|36]]
. 134r21[8|36[6|36]] 140r28[8|36[6|36]] 146r25[8|36[6|36]] 157r14[8|36[6|36]]
. 162r14[8|36[6|36]] 167r14[8|36[6|36]] 172r14[8|36[6|36]] 179r14[8|36[6|36]]
. 187r14[8|36[6|36]] 7|44r29[8|36[6|36]] 78r26[8|36[6|36]] 116r27[8|36[6|36]]
. 151r25[8|36[6|36]] 257r26[8|36[6|36]] 419r23[8|36[6|36]] 474r14[8|36[6|36]]
. 511r14[8|36[6|36]] 548r21[8|36[6|36]] 576r21[8|36[6|36]] 670r14[8|36[6|36]]
45*10 First{41P12[8|36[6|36]]} 7|205r22[8|36[6|36]] 334r37[8|36[6|36]] 438r30[8|36[6|36]]
. 442m15[8|36[6|36]] 450r22[8|36[6|36]] 451m18[8|36[6|36]]
46*10 Last{41P12[8|36[6|36]]} 7|292r55[8|36[6|36]] 296r37[8|36[6|36]] 378r37[8|36[6|36]]
. 439r30[8|36[6|36]] 443m15[8|36[6|36]] 459r22[8|36[6|36]] 460m18[8|36[6|36]]
. 603r18[8|36[6|36]] 605r44[8|36[6|36]] 608r37[8|36[6|36]]
47*10 Root{41P12[8|36[6|36]]} 7|57r15[8|36[6|36]] 61r17[8|36[6|36]] 91r15[8|36[6|36]]
. 95r17[8|36[6|36]] 129r15[8|36[6|36]] 133r17[8|36[6|36]] 176r15[8|36[6|36]]
. 189r20[8|36[6|36]] 277r15[8|36[6|36]] 437r30[8|36[6|36]] 441m15[8|36[6|36]]
. 503r21[8|36[6|36]] 540r21[8|36[6|36]] 561r17[8|36[6|36]] 677r17[8|36[6|36]]
48i10 Length{2|20I9} 7|305r27[8|36[6|36]] 425r31[8|36[6|36]] 436r30[8|36[6|36]]
. 466m12[8|36[6|36]] 466r27[8|36[6|36]] 614r27[8|36[6|36]]
49r10 TC{3|43R9} 7|48m30[8|36[6|36]] 82m30[8|36[6|36]] 120m30[8|36[6|36]]
. 187m33[8|36[6|36]] 229m33[8|36[6|36]] 290m36[8|36[6|36]] 325m33[8|36[6|36]]
. 341m36[8|36[6|36]] 369m33[8|36[6|36]] 385m36[8|36[6|36]] 429r22[8|36[6|36]]
52K15 Implementation[3|55] 6|38r63[8|36[6|36]]
X 6 a-crbtgk.ads
36K17 Tree_Operations[8|48] 38r8 38r36 7|36r24
40+9 Key_Type 43r11 47r11 76r18 96r14 111r20 117r14 141r21 148r18 158r14
. 163r14 168r14 173r14 180r14 188r14 7|44r46 78r43 116r44 152r18 259r19 475r14
. 512r14 549r14 578r14 671r14
42V18 Is_Less_Key_Node{boolean} 43>7 44>7 7|105s27 135s13 194s25 327s21 387s24
. 488s16 525s16 564s20 605s16 627s10 633s19 679s13
43*7 L{40+9}
44*7 R{5|41P12[8|36[6|36]]}
46V18 Is_Greater_Key_Node{boolean} 47>7 48>7 7|63s13 97s13 231s21 292s24
. 343s24 371s21 490s19 527s19 655s16
47*7 L{40+9}
48*7 R{5|41P12[8|36[6|36]]}
50k40*Generic_Keys 5|34k24 6|36z17 40z9 42z18 46z18 192l36 192e48 7|30b45
. 690l36 690t48
54V21 New_Node{5|41P12[8|36[6|36]]} 7|431s12
55u14*Generic_Insert_Post 56=7 57>7 58>7 59<7 7|418b14 467l8 467t27
56r7 Tree{5|44R12[8|36[6|36]]} 7|419b7 425r26 429r17 436r25 437r25 438r25
. 439r25 441m10 442m10 443m10 450r17 451m13 459r17 460m13 465m33 466m7 466r22
57*7 Y{5|41P12[8|36[6|36]]} 7|420b7 435r10 446r35 448r24 450r13 455r36 457r25
. 459r13 464r26
58b7 Before{boolean} 7|421b7 445r13
59*7 Z{5|41P12[8|36[6|36]]} 7|422b7 431m7 432r22 433r33 441r23 442r24 443r23
. 448r27 451r27 457r28 460r26 464r23 465r39
68U22 Insert_Post 69=10 70>10 71>10 72<10 7|177s10 206s13 240s10
69r10 T{5|44R12[8|36[6|36]]}
70*10 Y{5|41P12[8|36[6|36]]}
71b10 B{boolean}
72*10 Z{5|41P12[8|36[6|36]]}
74u14*Generic_Conditional_Insert 75=7 76>7 77<7 78<7 7|150b14 250l8 250t34
75r7 Tree{5|44R12[8|36[6|36]]} 7|151b7 176r10 177m23 187m28 187r28 189r15
. 205r17 206m26 229m28 229r28 240m23
76*7 Key{40+9} 7|152b7 194r43 231r42
77*7 Node{5|41P12[8|36[6|36]]} 7|153b7 177m41 206m41 215m10 222m10 231r47
. 240m42
78b7 Inserted{boolean} 7|154b7 178m10 191m10 194m13 195r22 199r10 240r32
. 241m10 249m7
88U22 Insert_Post 89=10 90>10 91>10 92<10 7|568s7
89r10 T{5|44R12[8|36[6|36]]}
90*10 Y{5|41P12[8|36[6|36]]}
91b10 B{boolean}
92*10 Z{5|41P12[8|36[6|36]]}
94u14*Generic_Unconditional_Insert 95=7 96>7 97<7 7|547b14 569l8 569t36
95r7 Tree{5|44R12[8|36[6|36]]} 7|548b7 561r12 568m20
96*7 Key{40+9} 7|549b7 564r38
97*7 Node{5|41P12[8|36[6|36]]} 7|550b7 568m37
103U22 Insert_Post 104=10 105>10 106>10 107<10 7|604s13 608s13 632s16 636s16
. 638s16 654s13 658s13 660s13
104r10 T{5|44R12[8|36[6|36]]}
105*10 Y{5|41P12[8|36[6|36]]}
106b10 B{boolean}
107*10 Z{5|41P12[8|36[6|36]]}
109U22 Unconditional_Insert_Sans_Hint 110=10 111>10 112<10 7|606s13 634s16
. 656s13
110r10 Tree{5|44R12[8|36[6|36]]}
111*10 Key{40+9}
112*10 Node{5|41P12[8|36[6|36]]}
114u14*Generic_Unconditional_Insert_With_Hint 115=7 116>7 117>7 118<7 7|575b14
. 663l8 663t46
115r7 Tree{5|44R12[8|36[6|36]]} 7|576b7 603r13 604m26 605r39 606m45 608m26
. 608r32 614r22 632m29 634m48 636m29 638m29 654m26 656m45 658m26 660m26
116*7 Hint{5|41P12[8|36[6|36]]} 7|577b7 602r10 627r33 629r60 632r35 638r35
. 651r52 654r32 657r27 658r32
117*7 Key{40+9} 7|578b7 605r34 606r51 627r28 633r37 634r54 655r37 656r51
118*7 Node{5|41P12[8|36[6|36]]} 7|579b7 604m45 606m56 608m50 632m47 634m59
. 636m50 638m47 654m45 656m56 658m45 660m45
133U22 Insert_Post 134=10 135>10 136>10 137<10 7|278s10 296s13 334s13 348s16
. 350s16 378s13 392s16 394s16
134r10 T{5|44R12[8|36[6|36]]}
135*10 Y{5|41P12[8|36[6|36]]}
136b10 B{boolean}
137*10 Z{5|41P12[8|36[6|36]]}
139U22 Conditional_Insert_Sans_Hint 140=10 141>10 142<10 143<10 7|299s13
. 356s13 400s13
140r10 Tree{5|44R12[8|36[6|36]]}
141*10 Key{40+9}
142*10 Node{5|41P12[8|36[6|36]]}
143b10 Inserted{boolean}
145u14*Generic_Conditional_Insert_With_Hint 146=7 147>7 148>7 149<7 150<7
. 7|256b14 412l8 412t44
146r7 Tree{5|44R12[8|36[6|36]]} 7|257b7 277r10 278m23 290m31 290r31 292r50
. 296m26 296r32 299m43 305r22 325m28 325r28 334m26 334r32 341m31 341r31 348m29
. 350m29 356m43 369m28 369r28 378m26 378r32 385m31 385r31 392m29 394m29 400m43
147*7 Position{5|41P12[8|36[6|36]]} 7|258b7 288r10 327r44 331r32 350r35 371r47
. 375r28 391r27 392r35 410r15
148*7 Key{40+9} 7|259b7 292r45 299r49 327r39 343r45 356r49 371r42 387r42
. 400r49
149*7 Node{5|41P12[8|36[6|36]]} 7|260b7 278m41 296m50 299m54 334m50 348m48
. 350m51 356m54 378m50 392m52 394m47 400m54 410m7
150b7 Inserted{boolean} 7|261b7 279m10 297m13 299m60 336m13 353m13 356m60
. 380m13 397m13 400m60 411m7
156V13*Find{5|41P12[8|36[6|36]]} 157>7 158>7 7|78b13 110l8 110t12
157r7 Tree{5|44R12[8|36[6|36]]} 7|78b19 82r25 91r10 95r12
158*7 Key{40+9} 7|78b37 97r34 105r45
161V13*Ceiling{5|41P12[8|36[6|36]]} 162>7 163>7 7|44b13 72l8 72t15
162r7 Tree{5|44R12[8|36[6|36]]} 7|44b22 48r25 57r10 61r12
163*7 Key{40+9} 7|44b40 63r34
166V13*Floor{5|41P12[8|36[6|36]]} 167>7 168>7 7|116b13 144l8 144t13
167r7 Tree{5|44R12[8|36[6|36]]} 7|116b20 120r25 129r10 133r12
168*7 Key{40+9} 7|116b38 135r31
171V13*Upper_Bound{5|41P12[8|36[6|36]]} 172>7 173>7 7|669b13 688l8 688t19
172r7 Tree{5|44R12[8|36[6|36]]} 7|670b7 677r12
173*7 Key{40+9} 7|671b7 679r31
177U22 Process 177>31 7|494s16
177*31 Node{5|41P12[8|36[6|36]]}
178u14*Generic_Iteration 179>7 180>7 7|473b14 504l8 504t25
179r7 Tree{5|44R12[8|36[6|36]]} 7|474b7 503r16
180*7 Key{40+9} 7|475b7 488r34 490r40
185U22 Process 185>31 7|531s16
185*31 Node{5|41P12[8|36[6|36]]}
186u14*Generic_Reverse_Iteration 187>7 188>7 7|510b14 541l8 541t33
187r7 Tree{5|44R12[8|36[6|36]]} 7|511b7 540r16
188*7 Key{40+9} 7|512b7 525r34 527r40
X 7 a-crbtgk.adb
36K12 Ops=36:24 64r18 67r18 98r18 101r18 136r18 139r18 195r36 195r54 215r18
. 331r18 347r16 375r18 391r16 433r22 446r25 448r10 455r25 457r10 464r7 465r7
. 489r21 491r21 493r25 495r21 526r21 528r21 530r25 532r21 565r31 565r49 629r46
. 635r19 651r42 657r16 681r18 683r18
48r7 Lock{3|144R12[5|52[8|36[6|36]]]}
50*7 Y{5|41P12[8|36[6|36]]} 66m13 71r14
51*7 X{5|41P12[8|36[6|36]]} 61m7 62r13 63r39 64m13 64r29 66r18 67m13 67r28
82r7 Lock{3|144R12[5|52[8|36[6|36]]]}
84*7 Y{5|41P12[8|36[6|36]]} 100m13 105r10 105r50 108r17
85*7 X{5|41P12[8|36[6|36]]} 95m7 96r13 97r39 98m13 98r29 100r18 101m13 101r28
120r7 Lock{3|144R12[5|52[8|36[6|36]]]}
122*7 Y{5|41P12[8|36[6|36]]} 138m13 143r14
123*7 X{5|41P12[8|36[6|36]]} 133m7 134r13 135r36 136m13 136r28 138r18 139m13
. 139r29
156*7 X{5|41P12[8|36[6|36]]} 189m10 192r16 193r18 194r48 195m13 195r46 195r65
157*7 Y{5|41P12[8|36[6|36]]} 190m10 193m13 205r13 206r32 215r32 222r18 240r29
159b7 Compare{boolean} 231m10 234r10
187r10 Lock{3|144R12[5|52[8|36[6|36]]]}
229r10 Lock{3|144R12[5|52[8|36[6|36]]]}
263*7 Test{5|41P12[8|36[6|36]]} 331m10 333r13 343r50 347r27 348r35 375m10
. 377r13 387r47 394r35
264b7 Compare{boolean} 292m13 295r13 327m10 330r10 343m13 346r13 371m10 374r10
. 387m13 390r13
290r13 Lock{3|144R12[5|52[8|36[6|36]]]}
325r10 Lock{3|144R12[5|52[8|36[6|36]]]}
341r13 Lock{3|144R12[5|52[8|36[6|36]]]}
369r10 Lock{3|144R12[5|52[8|36[6|36]]]}
385r13 Lock{3|144R12[5|52[8|36[6|36]]]}
477U17 Iterate 477>26 483b17 493s16 498l11 498t18 503s7
477*26 Node{5|41P12[8|36[6|36]]} 483b26 486r15
484*10 N{5|41P12[8|36[6|36]]} 486m10 487r16 488r39 489m16 489r31 490r45 491m16
. 491r32 493r35 494r25 495m16 495r32
514U17 Iterate 514>26 520b17 530s16 535l11 535t18 540s7
514*26 Node{5|41P12[8|36[6|36]]} 520b26 523r15
521*10 N{5|41P12[8|36[6|36]]} 523m10 524r16 525r39 526m16 526r31 527r45 528m16
. 528r32 530r36 531r25 532m16 532r31
552*7 Y{5|41P12[8|36[6|36]]} 558m7 563m10 568r26
553*7 X{5|41P12[8|36[6|36]]} 561m7 562r13 563r15 564r43 565m10 565r41 565r60
555b7 Before{boolean} 559m7 564m10 565r19 568r29
629*13 Before{5|41P12[8|36[6|36]]} 631r16 633r42 635r30 636r35
651*10 After{5|41P12[8|36[6|36]]} 653r13 655r42 660r32
673*7 Y{5|41P12[8|36[6|36]]} 680m13 687r14
674*7 X{5|41P12[8|36[6|36]]} 677m7 678r13 679r36 680r18 681m13 681r28 683m13
. 683r29
X 8 a-crbtgo.ads
36K17 Tree_Types[5|42] 6|38r24[36] 38r52[36]
40U19 Set_Parent 7|464s11[6|36]
41V19 Left{5|41P12[36[6|36]]} 7|67s22[6|36] 101s22[6|36] 136s22[6|36] 195s40[6|36]
. 446s29[6|36] 489s25[6|36] 493s29[6|36] 526s25[6|36] 532s25[6|36] 565s35[6|36]
. 681s22[6|36]
42U19 Set_Left 7|448s14[6|36]
43V19 Right{5|41P12[36[6|36]]} 7|64s22[6|36] 98s22[6|36] 139s22[6|36] 195s58[6|36]
. 347s20[6|36] 391s20[6|36] 455s29[6|36] 491s25[6|36] 495s25[6|36] 528s25[6|36]
. 530s29[6|36] 565s53[6|36] 635s23[6|36] 657s20[6|36] 683s22[6|36]
44U19 Set_Right 7|457s14[6|36]
45V19 Color{5|37E9} 7|433s26[6|36]
48k40*Generic_Operations 6|33w37 36r40 8|163e54
68V13 Next{5|41P12[36[6|36]]} 7|375s22[6|36] 651s46[6|36]
71V13 Previous{5|41P12[36[6|36]]} 7|215s22[6|36] 331s22[6|36] 629s50[6|36]
157U14 Rebalance_For_Insert 7|465s11[6|36]