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 SPARK

U ada.containers.hash_tables.generic_bounded_keys%b  a-chtgbk.adb  b3060de3 NE OL PK GE
W ada.containers.hash_tables%s  a-cohata.ads	a-cohata.ali

U ada.containers.hash_tables.generic_bounded_keys%s  a-chtgbk.ads  e3d95b6e BN NE OL PU PK GE
W ada.containers.hash_tables%s  a-cohata.ads	a-cohata.ali

D ada.ads		20121213103024 3ffc8e18
D a-contai.ads		20121213103024 61e5e089
D a-cohata.ads		20121213103024 04abccc5
D a-chtgbk.ads		20121213103024 e77297ab
D a-chtgbk.adb		20121213103024 54749a48
D a-unccon.ads		20121213103024 f9eb8f06
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-stalib.ads		20130106093355 f78bcf95
X 1 ada.ads
16K9*Ada 19e8 4|53r9 106r5 5|30r14 322r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 4|53r13 106r9 5|30r18 322r9
19M9*Hash_Type 4|47r47 58r30 89r52 5|41r14 95r14 126r23 187r30 207r27 208r27
. 210r27 211r27
20I9*Count_Type<integer> 4|39r49 43r14 65r17 72r30 76r37 80r22 93r14 5|39r17
. 42r14 93r30 96r14 123r22 127r14 198r14 213r20 214r20
22X4*Capacity_Error 5|137r19 169r16
X 3 a-cohata.ads
33K24*Hash_Tables 2|16k13 3|76e31 4|53r24 106r20 5|30r29 322r20
58+12 Node_Type 4|39r31[34] 42r21[34] 51r14[34] 89r34[34] 90r44[34]
59k12*Generic_Bounded_Hash_Table_Types 74e40 4|35r10
60A12 Nodes_Type(58+12[4|34])<2|20I9> 5|205r12[4|34]
61A12 Buckets_Type(2|20I9)<2|19M9> 5|204r12[4|34]
63R12 Hash_Table_Type 4|57r13[34] 63r20[34] 71r13[34] 78r25[34] 92r21[34]
. 5|37r20[4|34] 92r13[4|34] 121r25[4|34] 186r13[4|34] 197r21[4|34]
64i10 Capacity{2|20I9} 5|136r28[4|34] 168r25[4|34]
67i10 Length{2|20I9} 5|45r13[4|34] 63m13[4|34] 63r26[4|34] 81m16[4|34] 81r29[4|34]
. 99r13[4|34] 136r16[4|34] 146m13[4|34] 146r26[4|34] 168r13[4|34] 178m10[4|34]
. 178r23[4|34] 201r25[4|34] 301r28[4|34]
68i10 Busy{natural} 5|58r16[4|34] 76r19[4|34] 131r16[4|34] 163r13[4|34] 279r13[4|34]
69i10 Lock{natural} 5|225r16[4|34] 266r16[4|34]
71a10 Nodes{60A12[4|34]} 5|57r35[4|34] 62r40[4|34] 69r24[4|34] 75r38[4|34]
. 80m26[4|34] 80r57[4|34] 107r38[4|34] 110r27[4|34] 141m23[4|34] 153r38[4|34]
. 158r27[4|34] 173m20[4|34] 205m34[4|34]
72a10 Buckets{61A12[4|34]} 5|51r15[4|34] 62m13[4|34] 105r18[4|34] 127m36[4|34]
. 189r17[4|34] 189r51[4|34] 204m36[4|34]
X 4 a-chtgbk.ads
34K17 HT_Types[3|59] 37r8
39V18 Next{2|20I9} 39>24 5|62s31 69s15 80s48 110s18 158s18 252s15 298s27
. 304s18 308s42
39*24 Node{3|58+12[34]}
41U19 Set_Next 42=7 43>7 5|80s13 141s10 173s7 308s16 318s7
42*7 Node{3|58+12[34]}
43i7 Next{2|20I9} 5|80r40 141r37 173r34 308r34 318r28
45+9 Key_Type 47r30 50r14 58r13 64r13 72r13 79r18 90r61 94r14 5|38r13 93r13
. 122r18 187r13 199r14
47V18 Hash{2|19M9} 47>24 5|189s33 210s40
47*24 Key{45+9}
49V18 Equivalent_Keys{boolean} 50>7 51>7 5|57s10 75s13 107s13 153s13 222s10
. 235s25 246s13 273s25 290s22
50*7 Key{45+9}
51*7 Node{3|58+12[34]}
53k36*Generic_Bounded_Keys 3|33k24 4|34z17 39z18 41z19 45z9 47z18 49z18 106l32
. 106e52 5|30b41 322l32 322t52
56V13*Index{2|19M9} 57>7 58>7 59r19 5|50s15 103s15 126s36 185b13 190l8 190t13
57c7 HT<3|63R12[34]> 5|186b7 189r14 189r48
58*7 Key{45+9} 5|187b7 189r39
62U14*Delete_Key_Sans_Free 63=7 64>7 65<7 5|36b14 85l8 85t28
63c7 HT<3|63R12[34]> 5|37b7 45r10 50r22 51r12 57r32 58r13 62m10 62r37 63m10
. 63r23 69r21 75r35 76r16 80m23 80r23 80r54 81m13 81r26
64*7 Key{45+9} 5|38b7 50r26 57r27 75r30
65i7 X{2|20I9} 5|39b7 46m10 51m7 53r10 57r42 62r47 68r18 69m10 71r13 75r45
. 80r64
70V13*Find{2|20I9} 71>7 72>7 5|91b13 114l8 114t12
71c7 HT<3|63R12[34]> 5|92b7 99r10 103r22 105r15 107r35 110r24
72*7 Key{45+9} 5|93b7 103r26 107r30
76V21 New_Node{2|20I9} 5|140s18 172s15
77u14*Generic_Conditional_Insert 78=7 79>7 80<7 81<7 5|120b14 179l8 179t34
78c7 HT<3|63R12[34]> 5|121b7 126r43 127m33 127r33 131r13 136r13 136r25 141m20
. 141r20 146m10 146r23 153r35 158r24 163r10 168r10 168r22 173m17 173r17 178m7
. 178r20
79*7 Key{45+9} 5|122b7 126r47 153r30
80i7 Node{2|20I9} 5|123b7 140m10 141r30 145r15 151m7 153r45 158m10 158r34
. 160r20 172m7 173r27 177r12
81b7 Inserted{boolean} 5|124b7 143m10 154m13 175m7
89V21 Hash{2|19M9} 89>27 5|207s40 234s25 272s25 289s22
89*27 Node{3|58+12[34]}
90U22 Assign 90=30 90>55 5|233s10 271s10 288s7
90*30 Node{3|58+12[34]}
90*55 Key{45+9}
91u14*Generic_Replace_Element 92=7 93>7 94>7 5|196b14 320l8 320t31
92c7 HT<3|63R12[34]> 5|197b7 201r22 204m33 204r33 205m31 205r31 225r13 266r13
. 279r10 301r25
93i7 Node{2|20I9} 5|198b7 202r22 207r50 222r36 233r22 234r35 235r51 247r33
. 271r22 272r35 273r51 288r19 289r32 290r48 297r14 298r37 307r20 308r52 318r21
. 319r21
94*7 Key{45+9} 5|199b7 210r46 222r27 233r29 235r42 246r30 271r29 273r42 288r26
. 290r39
X 5 a-chtgbk.adb
41m7 Indx{2|19M9} 50m7 51r24 62r22
42i7 Prev{2|20I9} 68m10 69r31 80r33
95m7 Indx{2|19M9} 103m7 105r27
96i7 Node{2|20I9} 105m7 106r13 107r45 108r20 110m10 110r34
126m7 Indx{2|19M9} 127r45
127i7 B{2|20I9} 130r10 145r10 151r15 173r42 177r7
204a7 BB{3|61A12[4|34]} 208r40 208r64 211r40 211r64 213r39 294r12 298r10
205a7 NN{3|60A12[4|34]} 207r46 222r32 233r18 234r31 235r47 246r35 252r21
. 271r18 272r31 273r47 288r15 289r28 290r44 298r33 304r24 308r26 308r48 318r17
207m7 Old_Hash{2|19M9} 208r51 223r36
208m7 Old_Indx{2|19M9} 262r10 294r16 298r14
210m7 New_Hash{2|19M9} 211r51 223r25 234r44 272r44 289r41
211m7 New_Indx{2|19M9} 213r43 262r21
213i7 New_Bucket=213:39{2|20I9} 244r12 318r36 319r7
214i7 N{2|20I9} 244m7 245r13 246r39 247r28 252m10 252r25 294m7 295r22 297r10
. 304r28 308r30 312m13
214i10 M{2|20I9} 304m13 305r28 307r16 312r18