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_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK

U ada.containers.red_black_trees.generic_set_operations%b  a-rbtgso.adb  e50ebbad NE OL PK GE
W ada.containers.red_black_trees%s  a-crbltr.ads  a-crbltr.ali
W system%s		system.ads		system.ali

U ada.containers.red_black_trees.generic_set_operations%s  a-rbtgso.ads  08fd1a05 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

D ada.ads		20121213103024 3ffc8e18
D a-contai.ads		20121213103024 61e5e089
D a-crbltr.ads		20121213103024 b8a2dc05
D a-crbtgo.ads		20121213103024 375f6f61
D a-rbtgso.ads		20121213103024 8700a961
D a-rbtgso.adb		20121213103024 f22a83dd
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 5|33r6 55r9 106r5 6|32r14 630r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 5|33r10 55r13 106r9 6|32r18 630r9
20I9*Count_Type<integer>
X 3 a-crbltr.ads
32K24*Red_Black_Trees 2|16k13 3|75e35 5|33r21 55r24 106r20 6|32r29 630r20
38+12 Node_Type
39P12 Node_Access(38+12[4|36[5|36]]) 5|42r18[4|36[5|36]] 43r18[4|36[5|36]]
. 44r22[4|36[5|36]] 46r43[4|36[5|36]] 47r15[4|36[5|36]] 49r43[4|36[5|36]]
. 51r41[4|36[5|36]] 53r36[4|36[5|36]] 6|50r14[4|36[5|36]] 87r13[4|36[5|36]]
. 88r13[4|36[5|36]] 127r20[4|36[5|36]] 142r16[4|36[5|36]] 143r16[4|36[5|36]]
. 145r18[4|36[5|36]] 213r13[4|36[5|36]] 214r13[4|36[5|36]] 236r20[4|36[5|36]]
. 254r17[4|36[5|36]] 266r16[4|36[5|36]] 267r16[4|36[5|36]] 269r18[4|36[5|36]]
. 328r24[4|36[5|36]] 329r24[4|36[5|36]] 360r16[4|36[5|36]] 361r16[4|36[5|36]]
. 395r13[4|36[5|36]] 396r13[4|36[5|36]] 398r22[4|36[5|36]] 445r20[4|36[5|36]]
. 460r16[4|36[5|36]] 461r16[4|36[5|36]] 463r18[4|36[5|36]] 543r14[4|36[5|36]]
. 545r33[4|36[5|36]] 554r33[4|36[5|36]] 595r17[4|36[5|36]] 597r36[4|36[5|36]]
. 607r36[4|36[5|36]]
41R12 Tree_Type 5|41r25[4|36[5|36]] 58r37[4|36[5|36]] 58r57[4|36[5|36]] 66r34[4|36[5|36]]
. 66r52[4|36[5|36]] 70r44[4|36[5|36]] 70r64[4|36[5|36]] 74r41[4|36[5|36]]
. 74r59[4|36[5|36]] 78r42[4|36[5|36]] 78r62[4|36[5|36]] 82r39[4|36[5|36]]
. 82r57[4|36[5|36]] 87r23[4|36[5|36]] 88r16[4|36[5|36]] 93r49[4|36[5|36]]
. 93r67[4|36[5|36]] 98r33[4|36[5|36]] 98r53[4|36[5|36]] 102r36[4|36[5|36]]
. 6|38r35[4|36[5|36]] 40r28[4|36[5|36]] 40r46[4|36[5|36]] 46r35[4|36[5|36]]
. 66r28[4|36[5|36]] 66r46[4|36[5|36]] 67r16[4|36[5|36]] 86r42[4|36[5|36]]
. 86r62[4|36[5|36]] 139r39[4|36[5|36]] 139r57[4|36[5|36]] 140r14[4|36[5|36]]
. 210r23[4|36[5|36]] 211r16[4|36[5|36]] 263r41[4|36[5|36]] 263r59[4|36[5|36]]
. 264r14[4|36[5|36]] 315r16[4|36[5|36]] 316r16[4|36[5|36]] 359r36[4|36[5|36]]
. 392r23[4|36[5|36]] 393r16[4|36[5|36]] 457r49[4|36[5|36]] 457r67[4|36[5|36]]
. 458r14[4|36[5|36]] 541r37[4|36[5|36]] 541r57[4|36[5|36]] 578r34[4|36[5|36]]
. 578r52[4|36[5|36]] 593r17[4|36[5|36]]
42*10 First{39P12[4|36[5|36]]} 6|55m12[4|36[5|36]] 75m14[4|36[5|36]] 87r35[4|36[5|36]]
. 88r35[4|36[5|36]] 142r36[4|36[5|36]] 143r37[4|36[5|36]] 213r35[4|36[5|36]]
. 214r35[4|36[5|36]] 266r36[4|36[5|36]] 267r37[4|36[5|36]] 328r46[4|36[5|36]]
. 329r46[4|36[5|36]] 360r36[4|36[5|36]] 361r37[4|36[5|36]] 395r35[4|36[5|36]]
. 396r35[4|36[5|36]] 460r36[4|36[5|36]] 461r37[4|36[5|36]]
43*10 Last{39P12[4|36[5|36]]} 6|56m12[4|36[5|36]] 76m14[4|36[5|36]]
44*10 Root{39P12[4|36[5|36]]} 6|50r34[4|36[5|36]] 54m12[4|36[5|36]] 74m14[4|36[5|36]]
. 74r40[4|36[5|36]] 75r51[4|36[5|36]] 76r50[4|36[5|36]] 201m28[4|36[5|36]]
. 306m28[4|36[5|36]] 533m28[4|36[5|36]] 624m31[4|36[5|36]]
45i10 Length{2|20I9} 6|57m12[4|36[5|36]] 70r17[4|36[5|36]] 77m14[4|36[5|36]]
. 77r31[4|36[5|36]] 101r17[4|36[5|36]] 153r15[4|36[5|36]] 157r16[4|36[5|36]]
. 226r17[4|36[5|36]] 323r17[4|36[5|36]] 323r33[4|36[5|36]] 365r22[4|36[5|36]]
. 471r16[4|36[5|36]] 475r15[4|36[5|36]] 584r15[4|36[5|36]] 588r16[4|36[5|36]]
46i10 Busy{natural} 6|47r27[4|36[5|36]] 92r20[4|36[5|36]] 105r17[4|36[5|36]]
. 221r17[4|36[5|36]] 402r17[4|36[5|36]] 570r17[4|36[5|36]]
47i10 Lock{natural} 6|48r27[4|36[5|36]]
X 4 a-crbtgo.ads
36K17 Tree_Types[3|40] 5|38r24[36]
48k40*Generic_Operations 163e54 5|33w37 36r40
51V13 Min{3|39P12[36[5|36]]} 6|75s39[5|36]
54V13 Max{3|39P12[36[5|36]]} 6|76s38[5|36]
68V13 Next{3|39P12[36[5|36]]} 6|120s36[5|36] 123s36[5|36] 129s39[5|36] 134s36[5|36]
. 174s42[5|36] 188s39[5|36] 191s39[5|36] 194s39[5|36] 195s39[5|36] 238s39[5|36]
. 244s36[5|36] 247s36[5|36] 248s36[5|36] 256s36[5|36] 287s39[5|36] 290s39[5|36]
. 299s39[5|36] 300s39[5|36] 346s44[5|36] 348s44[5|36] 349s47[5|36] 376s39[5|36]
. 379s39[5|36] 421s39[5|36] 432s36[5|36] 441s36[5|36] 447s39[5|36] 452s36[5|36]
. 487s42[5|36] 501s42[5|36] 514s39[5|36] 523s39[5|36] 526s39[5|36] 527s39[5|36]
81U14 Delete_Node_Sans_Free 6|130s32[5|36] 239s32[5|36] 257s29[5|36] 448s32[5|36]
125u14 Generic_Iteration 6|548r48[5|36] 601r32[5|36]
X 5 a-rbtgso.ads
36K17 Tree_Operations[4|48] 38r8 6|75r23 76r22 120r20 123r20 129r23 130r16
. 134r20 174r26 188r23 191r23 194r23 195r23 238r23 239r16 244r20 247r20 248r20
. 256r20 257r13 287r23 290r23 299r23 300r23 346r28 348r28 349r31 376r23 379r23
. 421r23 432r20 441r20 447r23 448r16 452r20 487r26 501r26 514r23 523r23 526r23
. 527r23 548r32 601r16
40U19 Insert_With_Hint 41=7 42>7 43>7 44<7 6|168s16 182s13 293s13 415s16
. 435s13 482s16 495s16 508s13 517s13 556s10 609s13
41r7 Dst_Tree{3|41R12[4|36[5|36]]} 6|169r19 183r16 294r16 416r19 436r16 483r19
. 496r19 509r16 518r16 557r13 610r16
42*7 Dst_Hint{3|39P12[4|36[5|36]]} 6|170r19 184r16 295r16 417r19 437r16 484r19
. 497r19 510r16 519r16 558r13 611r16
43*7 Src_Node{3|39P12[4|36[5|36]]} 6|171r19 185r16 296r16 418r19 438r16 485r19
. 498r19 511r16 520r16 559r13 612r16
44*7 Dst_Node{3|39P12[4|36[5|36]]} 6|172r19 186r16 297r16 419r19 439r16 486r19
. 499r19 512r16 521r16 560r13 613r16
46V18 Copy_Tree{3|39P12[4|36[5|36]]} 46>29 6|74s22
46*29 Source_Root{3|39P12[4|36[5|36]]}
49U19 Delete_Tree 49=32 6|59s7 201s10 306s10 533s10 624s13
49*32 X{3|39P12[4|36[5|36]]}
51V18 Is_Less{boolean} 51>27 51>33 6|119s13 122s16 181s13 190s16 234s13 243s16
. 286s13 289s16 341s16 345s16 375s13 378s16 431s13 434s16 507s13 516s16
51*27 Left{3|39P12[4|36[5|36]]}
51*33 Right{3|39P12[4|36[5|36]]}
53U19 Free 53=25 6|131s16 240s16 258s13 449s16
53*25 X{3|39P12[4|36[5|36]]}
55k40*Generic_Set_Operations 3|32k24 5|36z17 40z19 46z18 49z19 51z18 53z19
. 106l36 106e58 6|32b45 630l36 630t58
58U14*Union 58=21 58>48 6|541b14 576l8 576t13
58r21 Target{3|41R12[4|36[5|36]]} 6|541b21 557m25 566m10 566r10 570r10
58r48 Source{3|41R12[4|36[5|36]]} 6|541b48 566r27 575r16
66V13*Union{3|41R12[4|36[5|36]]} 66>20 66>26 6|578b13 628l8 628t13
66r20 Left{3|41R12[4|36[5|36]]} 6|578b20 580r10 581r23 584r10 589r23 593r36
66r26 Right{3|41R12[4|36[5|36]]} 6|578b26 580r25 585r23 588r10 619r19
70U14*Intersection 70=28 70>55 6|209b14 261l8 261t20
70r28 Target{3|41R12[4|36[5|36]]} 6|210b7 213r28 217m10 217r10 221r10 227m17
. 239m55 257m52
70r55 Source{3|41R12[4|36[5|36]]} 6|211b7 214r28 217r27 226r10
74V13*Intersection{3|41R12[4|36[5|36]]} 74>27 74>33 6|263b13 308l8 308t20
74r27 Left{3|41R12[4|36[5|36]]} 6|263b27 266r31 273r10 274r23
74r33 Right{3|41R12[4|36[5|36]]} 6|263b33 267r31 273r25
78U14*Difference 78=26 78>53 6|86b14 137l8 137t18
78r26 Target{3|41R12[4|36[5|36]]} 6|86b26 87r28 91m10 91r10 92r13 97m17 105r10
. 130m55
78r53 Source{3|41R12[4|36[5|36]]} 6|86b53 88r28 91r27 101r10
82V13*Difference{3|41R12[4|36[5|36]]} 82>25 82>31 6|139b13 203l8 203t18
82r25 Left{3|41R12[4|36[5|36]]} 6|139b25 142r31 149r10 153r10 158r23
82r31 Right{3|41R12[4|36[5|36]]} 6|139b31 143r31 149r25 157r10
86U14*Symmetric_Difference 87=7 88>7 6|391b14 455l8 455t28
87r7 Target{3|41R12[4|36[5|36]]} 6|392b7 395r28 402r10 407m10 407r10 408m17
. 416m31 436m28 448m55
88r7 Source{3|41R12[4|36[5|36]]} 6|393b7 396r28 407r27
93V13*Symmetric_Difference{3|41R12[4|36[5|36]]} 93>35 93>41 6|457b13 535l8
. 535t28
93r35 Left{3|41R12[4|36[5|36]]} 6|457b35 460r31 467r10 472r23 475r10
93r41 Right{3|41R12[4|36[5|36]]} 6|457b41 461r31 467r25 471r10 476r23
98V13*Is_Subset{boolean} 98>24 98>44 6|314b13 353l8 353t17
98r24 Subset{3|41R12[4|36[5|36]]} 6|315b7 319r10 323r10 328r39
98r44 Of_Set{3|41R12[4|36[5|36]]} 6|316b7 319r27 323r26 329r39
102V13*Overlap{boolean} 102>22 102>28 6|359b13 385l8 385t15
102r22 Left{3|41R12[4|36[5|36]]} 6|359b22 360r31 364r10 365r17
102r28 Right{3|41R12[4|36[5|36]]} 6|359b28 361r31 364r25
X 6 a-rbtgso.adb
38U14 Clear 38=21 46b14 60l8 60t13 97s10 227s10 408s10
38r21 Tree{3|41R12[4|36[5|36]]} 46b21 47r22 48r22 50r29 54m7 55m7 56m7 57m7
40V13 Copy{3|41R12[4|36[5|36]]} 40>19 66b13 80l8 80t12 158s17 274s17 472s17
. 476s17 581s17 585s17 589s17 593s30
40r19 Source{3|41R12[4|36[5|36]]} 66b19 70r10 74r33 77r24
50*7 Root{3|39P12[4|36[5|36]]} 51r29 59m20 59r20
67r7 Target{3|41R12[4|36[5|36]]} 71r17 74m7 75m7 75r44 76m7 76r43 77m7 79r14
87*7 Tgt{3|39P12[4|36[5|36]]} 111r13 119r22 120m13 120r42 122r30 127r35 129m16
. 129r45
88*7 Src{3|39P12[4|36[5|36]]} 115r13 119r27 122r25 123m13 123r42 134m13 134r42
127*16 X{3|39P12[4|36[5|36]]} 130r63 131m22 131r22
140r7 Tree{3|41R12[4|36[5|36]]} 150r17 154r17 163r20 169m31 169r31 178r20
. 183m28 183r28 201m23 201r23
142*7 L_Node{3|39P12[4|36[5|36]]} 162r13 167r19 171r31 174m16 174r48 181r22
. 185r28 188m13 188r45 190r33 194m13 194r45
143*7 R_Node{3|39P12[4|36[5|36]]} 166r13 181r30 190r25 191m13 191r45 195m13
. 195r45
145*7 Dst_Node{3|39P12[4|36[5|36]]} 146r29 172m31 172r31 186m28 186r28
213*7 Tgt{3|39P12[4|36[5|36]]} 231r13 234r22 236r35 238m16 238r45 243r30
. 247m13 247r42 252r13 254r32 256m13 256r42
214*7 Src{3|39P12[4|36[5|36]]} 232r18 234r27 243r25 244m13 244r42 248m13
. 248r42
236*16 X{3|39P12[4|36[5|36]]} 239r63 240m22 240r22
254*13 X{3|39P12[4|36[5|36]]} 257r60 258m19 258r19
264r7 Tree{3|41R12[4|36[5|36]]} 279r20 283r20 294m28 294r28 306m23 306r23
266*7 L_Node{3|39P12[4|36[5|36]]} 278r13 286r22 287m13 287r45 289r33 296r28
. 299m13 299r45
267*7 R_Node{3|39P12[4|36[5|36]]} 282r13 286r30 289r25 290m13 290r45 300m13
. 300r45
269*7 Dst_Node{3|39P12[4|36[5|36]]} 270r29 297m28 297r28
328*10 Subset_Node{3|39P12[4|36[5|36]]} 334r23 337r16 341r25 345r35 349m16
. 349r53
329*10 Set_Node{3|39P12[4|36[5|36]]} 333r16 341r38 345r25 346m16 346r50 348m16
. 348r50
360*7 L_Node{3|39P12[4|36[5|36]]} 369r13 375r22 376m13 376r45 378r33
361*7 R_Node{3|39P12[4|36[5|36]]} 370r20 375r30 378r25 379m13 379r45
395*7 Tgt{3|39P12[4|36[5|36]]} 413r13 431r22 432m13 432r42 434r30 437r28
. 445r35 447m16 447r45
396*7 Src{3|39P12[4|36[5|36]]} 414r19 418r31 421m16 421r45 427r13 431r27
. 434r25 438r28 441m13 441r42 452m13 452r42
398*7 New_Tgt_Node{3|39P12[4|36[5|36]]} 399r29 419m31 419r31 439m28 439r28
445*16 X{3|39P12[4|36[5|36]]} 448r63 449m22 449r22
458r7 Tree{3|41R12[4|36[5|36]]} 468r17 483m31 483r31 490r20 496m31 496r31
. 504r20 509m28 509r28 518m28 518r28 533m23 533r23
460*7 L_Node{3|39P12[4|36[5|36]]} 480r13 494r19 498r31 501m16 501r48 507r22
. 511r28 514m13 514r45 516r33 526m13 526r45
461*7 R_Node{3|39P12[4|36[5|36]]} 481r19 485r31 487m16 487r48 493r13 507r30
. 516r25 520r28 523m13 523r45 527m13 527r45
463*7 Dst_Node{3|39P12[4|36[5|36]]} 464r29 486m31 486r31 499m31 499r31 512m28
. 512r28 521m28 521r28
543*7 Hint{3|39P12[4|36[5|36]]} 558r25 560m25 560r25
545U17 Process 545>26 546r22 548r67 554b17 561l11 561t18
545*26 Node{3|39P12[4|36[5|36]]} 554b26 559r25
548U17 Iterate[4|125] 575s7
593r10 Tree{3|41R12[4|36[5|36]]} 610m28 610r28 620r17 624m26 624r26
595*10 Hint{3|39P12[4|36[5|36]]} 611r28 613m28 613r28
597U20 Process 597>29 598r25 601r51 607b20 614l14 614t21
597*29 Node{3|39P12[4|36[5|36]]} 607b29 612r28
600U20 Iterate[4|125] 619s10
X 11 system.ads
37K9*System 6|30w6 30r23 11|152e11
64M9*Address 6|30r30
78V14*"="{boolean} 6|91r25 149r23 217r25 273r23 319r25 364r23 407r25 467r23
. 566r25 580r23