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_ALLOCATORS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_STREAMS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK

U ada.containers.hash_tables.generic_operations%b  a-chtgop.adb  4e9d701d NE OL PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.containers.hash_tables%s  a-cohata.ads	a-cohata.ali
W ada.containers.prime_numbers%s  a-coprnu.adb	a-coprnu.ali
W ada.streams%s		a-stream.ads		a-stream.ali
W ada.unchecked_deallocation%s
W system%s		system.ads		system.ali

U ada.containers.hash_tables.generic_operations%s  a-chtgop.ads  c63dd41a BN NE OL PR PK GE
W ada%s			ada.ads			ada.ali
W ada.containers.hash_tables%s  a-cohata.ads	a-cohata.ali
W ada.streams%s		a-stream.ads		a-stream.ali

D ada.ads		20121213103024 3ffc8e18
D a-contai.ads		20121213103024 61e5e089
D a-cohata.ads		20121213103024 04abccc5
D a-chtgop.ads		20121213103024 ee32f6e8
D a-chtgop.adb		20121213103024 cd0e5151
D a-coprnu.ads		20121213103024 0cdf1864
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 a-uncdea.ads		20121213103024 f15a5ed1
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 54r9 142r11 153r11 174r5 5|30r6 31r6 35r14 252r13 703r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 4|54r13 174r9 5|30r10 35r18 703r9
19M9*Hash_Type 4|42r56 63r37 69r40 163r35 5|129r15 167r14 229r14 291r17 379r12
. 410r29 457r37 464r40 501r35 502r22 545r12 633r22 645r43
20I9*Count_Type<integer> 4|107r52 112r12 5|47r30 115r52 294r11 378r12 384r7
. 447r7 543r12 613r40 630r14 631r24
X 3 a-cohata.ads
33K24*Hash_Tables 2|16k13 3|76e31 4|54r24 174r20 5|35r29 703r20
38+12 Node_Type
40P12 Node_Access(38+12[4|37]) 4|42r36[37] 44r31[37] 44r51[37] 47r14[37]
. 48r14[37] 50r39[37] 50r59[37] 52r36[37] 63r17[37] 69r20[37] 87r16[37] 121r12[37]
. 124r49[37] 130r14[37] 130r34[37] 137r38[37] 145r19[37] 155r17[37] 5|48r21[4|37]
. 49r21[4|37] 74r36[4|37] 90r39[4|37] 130r15[4|37] 144r22[4|37] 163r12[4|37]
. 168r14[4|37] 169r14[4|37] 228r49[4|37] 266r14[4|37] 292r17[4|37] 354r14[4|37]
. 409r29[4|37] 411r20[4|37] 429r31[4|37] 438r31[4|37] 457r17[4|37] 464r20[4|37]
. 517r14[4|37] 517r34[4|37] 519r16[4|37] 638r29[4|37] 643r42[4|37] 648r35[4|37]
. 677r29[4|37] 678r29[4|37]
42k12*Generic_Hash_Table_Types 55e32 4|38r10
43A12 Buckets_Type(40P12[4|37])<2|19M9> 4|62r17[37] 5|37r42[4|37] 252r41[4|37]
. 456r17[4|37] 508r54[4|37]
45P12 Buckets_Access(43A12[4|37]) 4|57r48[37] 163r53[37] 167r45[37] 5|46r30[4|37]
. 250r45[4|37] 265r48[4|37] 487r29[4|37] 501r53[4|37] 508r14[4|37] 581r17[4|37]
. 626r24[4|37] 627r24[4|37]
49R12 Hash_Table_Type 4|68r20[37] 74r34[37] 80r36[37] 86r16[37] 89r14[37]
. 96r33[37] 101r44[37] 107r28[37] 111r19[37] 120r19[37] 124r25[37] 129r14[37]
. 138r38[37] 148r16[37] 158r20[37] 5|45r34[4|37] 115r28[4|37] 128r33[4|37]
. 162r19[4|37] 218r36[4|37] 228r25[4|37] 289r14[4|37] 353r38[4|37] 376r20[4|37]
. 427r16[4|37] 463r20[4|37] 473r44[4|37] 516r14[4|37] 542r19[4|37]
50p10 Buckets{45P12[4|37]} 5|46r51[4|37] 52m10[4|37] 67m10[4|37] 81r18[4|37]
. 81r19[4|37] 117r13[4|37] 121r17[4|37] 139r18[4|37] 139r19[4|37] 144r44[4|37]
. 144r45[4|37] 178r17[4|37] 178r18[4|37] 186r12[4|37] 186r13[4|37] 221m24[4|37]
. 236r18[4|37] 238r15[4|37] 238r16[4|37] 239r22[4|37] 239r23[4|37] 313r21[4|37]
. 313r22[4|37] 342r27[4|37] 342r28[4|37] 361r22[4|37] 362r20[4|37] 362r21[4|37]
. 399r13[4|37] 400r20[4|37] 402m27[4|37] 404m13[4|37] 411r42[4|37] 411r43[4|37]
. 466r32[4|37] 487r54[4|37] 489m17[4|37] 489r35[4|37] 490m17[4|37] 526r46[4|37]
. 527r22[4|37] 527r23[4|37] 548r13[4|37] 551m16[4|37] 566m30[4|37] 570r20[4|37]
. 576r21[4|37] 581r38[4|37] 584m16[4|37] 591r17[4|37] 595r17[4|37] 602r29[4|37]
. 608r22[4|37] 615r21[4|37] 627r45[4|37] 696m13[4|37]
51i10 Length{2|20I9} 5|47r47[4|37] 53m10[4|37] 82m19[4|37] 82r32[4|37] 98m22[4|37]
. 98r35[4|37] 108r25[4|37] 138r16[4|37] 149m19[4|37] 149r32[4|37] 172r13[4|37]
. 187m13[4|37] 187r26[4|37] 191r13[4|37] 206m16[4|37] 206r29[4|37] 232r13[4|37]
. 301r12[4|37] 301r24[4|37] 305r12[4|37] 321r14[4|37] 357r13[4|37] 417m13[4|37]
. 417r26[4|37] 447r41[4|37] 493m14[4|37] 493r31[4|37] 494m14[4|37] 557r13[4|37]
. 602r16[4|37] 606r43[4|37] 613r62[4|37] 630m36[4|37] 697m13[4|37]
52i10 Busy{natural} 5|133r13[4|37] 479r17[4|37] 620r13[4|37]
X 4 a-chtgop.ads
37K17 HT_Types[3|42] 40r8
42V18 Hash_Node{2|19M9} 42>29 5|459s14
42*29 Node{3|40P12[37]}
44V18 Next{3|40P12[37]} 44>24 5|87s25 103s28 148s26 186s31 197s18 205s45
. 276s28 329s20 365s21 519s31 651s36 682s33
44*24 Node{3|40P12[37]}
46U19 Set_Next 47>7 48>7 5|97s19 205s13 413s13 653s22
47*7 Node{3|40P12[37]} 5|97r29 205r23 413r23
48*7 Next{3|40P12[37]} 5|97r47 205r37 413r37
50V19 Copy_Node{3|40P12[37]} 50>30 5|74s51 90s54
50*30 Source{3|40P12[37]}
52U19 Free 52=25 5|150s16 277s13 683s28
52*25 X{3|40P12[37]}
54k36*Generic_Operations 3|33k24 4|37z17 42z18 44z18 46z19 50z19 52z19 174l32
. 174e50 5|35b41 703l32 703t50
57U14*Free_Hash_Table 57=31 5|265b14 282l8 282t23
57p31 Buckets{3|45P12[37]} 5|265b31 269r10 273r16 274r16 275r21 276m13 276r13
. 281m21
61V13*Index{2|19M9} 62>7 63>7 64r19 5|455b13 460l8 460t13 466s14 646s24
62a7 Buckets{3|43A12[37]} 5|456b7 459r35
63*7 Node{3|40P12[37]} 5|457b7 459r25
67V13*Index{2|19M9} 68>7 69>7 5|78s31 94s34 177s15 410s42 462b13 467l8 467t13
. 526s19
68r7 Hash_Table{3|49R12[37]} 5|463b7 466r21
69*7 Node{3|40P12[37]} 5|464b7 466r45
74U14*Adjust 74=22 5|45b14 109l8 109t14
74r22 HT{3|49R12[37]} 5|45b22 46r48 47r44 52m7 53m7 67m7 78r38 81m16 82m16
. 82r29 94r41 98m19 98r32 108r22
80U14*Finalize 80=24 5|218b14 222l8 222t16
80r24 HT{3|49R12[37]} 5|218b24 220m14 221m21 221r21
85V21 Find{boolean} 86>10 87>10 5|323s17
86r10 HT{3|49R12[37]} 5|323r23
87*10 Key{3|40P12[37]} 5|323r32
88v13*Generic_Equal 89>7 89>10 5|288b13 347l8 347t21
89r7 L{3|49R12[37]} 5|289b7 297r10 301r10 305r10 313r20 321r12 342r26
89r10 R{3|49R12[37]} 5|289b10 297r22 301r22 323r29
96U14*Clear 96=21 5|128b14 155l8 155t13 220s7 382s7 484s7
96r21 HT{3|49R12[37]} 5|128b21 133r10 138r13 139r16 144m42 144r42 149m16
. 149r29
101U14*Move 101=20 101=28 5|473b14 495l8 495t12
101r20 Target{3|49R12[37]} 5|473b20 475m10 475r10 484m14 487r47 489m10 493m7
101r28 Source{3|49R12[37]} 5|473b28 475m27 475r27 479r10 489r28 490m10 493r24
. 494m7
107V13*Capacity{2|20I9} 107>23 5|115b13 122l8 122t16
107r23 HT{3|49R12[37]} 5|115b23 117r10 121r14
110U14*Reserve_Capacity 111=7 112>7 5|541b14 701l8 701t24
111r7 HT{3|49R12[37]} 5|542b7 548r10 551m13 557r10 566m27 566r27 570r17 576r18
. 581r35 584m13 591r14 595r14 602r13 602r26 606r40 608r19 613r59 615r18 620r10
. 627r42 630m33 630r33 696m10 697m10
112i7 N{2|20I9} 5|543b7 549r13 550r43 565r13 570r13 574r40 591r10 595r10
. 613r56
119U14*Delete_Node_Sans_Free 120=7 121>7 5|161b14 212l8 212t29
120r7 HT{3|49R12[37]} 5|162b7 172r10 177r22 178r15 186m10 187m10 187r23 191r10
. 206m13 206r26
121*7 X{3|40P12[37]} 5|163b7 165r22 177r26 185r17 204r20
124V13*First{3|40P12[37]} 124>20 5|228b13 244l8 244t13
124r20 HT{3|49R12[37]} 5|228b20 232r10 236r15 238r13 239r20
128V13*Next{3|40P12[37]} 129>7 130>7 5|515b13 535l8 535t12
129r7 HT{3|49R12[37]} 5|516b7 526r26 526r43 527r20
130*7 Node{3|40P12[37]} 5|517b7 519r37 526r30
137U22 Process 137>31 5|364s13
137*31 Node{3|40P12[37]}
138u14*Generic_Iteration 138>33 5|353b14 368l8 368t25 432r30
138r33 HT{3|49R12[37]} 5|353b33 357r10 361r19 362r18
143U22 Write 144^10 145>10 5|440s10
144p10 Stream(8|39R9)
145*10 Node{3|40P12[37]}
146u14*Generic_Write 147^7 148>7 5|425b14 449l8 449t21
147p7 Stream(8|39R9) 5|426b7 440r17 447r30
148r7 HT{3|49R12[37]} 5|427b7 447r38 448r14
154V21 New_Node{3|40P12[37]} 154^31 5|409s44
154p31 Stream(8|39R9)
156u14*Generic_Read 157^7 158<7 5|374b14 419l8 419t20
157p7 Stream(8|39R9) 5|375b7 384r29 409r54
158r7 HT{3|49R12[37]} 5|376b7 382m14 399r10 400r17 402m24 402r24 404m10 410r49
. 411m40 411r40 417m10 417r23
163V13*New_Buckets{3|45P12[37]} 163>26 164r19 5|67s21 404s24 501b13 509l8
. 509t19 551s27 584s27 626s42
163m26 Length{2|19M9} 5|67r34 404r37 501b26 502r43 551r40 584r40 626r55
167U14*Free_Buckets 167=28 168r19 5|221s7 250b14 259l8 259t20 281s7 402s10
. 566s13 585s13 688s19 699s10
167p28 Buckets{3|45P12[37]} 5|250b28 258m33 258r33
X 5 a-chtgop.adb
37P9 Buckets_Allocation(3|43A12[4|37]) 252r55 258r13 508r30
46p7 Src_Buckets{3|45P12[4|37]} 67r44 69r24 70r22
47i7 N{2|20I9} 55r10 108r34
48*7 Src_Node{3|40P12[4|37]} 70m10 72r13 74r62 87m13 87r31 88r19 90r65 103m16
. 103r34
49*7 Dst_Prev{3|40P12[4|37]} 84m16 97r37 100m19
69m11 Src_Index{2|19M9} 70r35 78r54 81r28 94r57
74*16 Dst_Node{3|40P12[4|37]} 78r42 81r42 84r28
90*19 Dst_Node{3|40P12[4|37]} 94r45 97r55 100r31
129m7 Index{2|19M9} 139r28 140m13 140r22 144r54
130*7 Node{3|40P12[4|37]} 147m16 150m22 150r22
144*13 Bucket{3|40P12[4|37]} 147r24 148r16 148r32 151r26
167m7 Indx{2|19M9} 177m7 178r27 186r22
168*7 Prev{3|40P12[4|37]} 178m7 180r10 185r10 186r37 197r24 205r31 210m10
169*7 Curr{3|40P12[4|37]} 197m10 199r13 204r13 205r51 210r18
229m7 Indx{2|19M9} 236m7 238r25 239r32 242m10 242r18
251U17 Free[11|20] 258s7
266*7 Node{3|40P12[4|37]} 275m13 276r34 277m19 277r19
273m11 J{2|19M9} 274r25 275r30 276r22
291m7 L_Index{2|19M9} 311m7 313r31 315m10 315r21 341m16 341r27 342r37
292*7 L_Node{3|40P12[4|37]} 313m10 314r20 323r39 329m10 329r26 331r13 342m16
. 343r26
294i7 N{2|20I9} 321m7 327m10 327r15 334r16
354*7 Node{3|40P12[4|37]} 362m10 363r16 364r22 365m13 365r27
361m11 Indx{2|19M9} 362r30
378i7 N<integer> 384m37 384r37 386r10 390r10 400r37 403r40 407r21
379m7 NN{2|19M9} 403m10 404r47
407i11 J<integer>
409*13 Node{3|40P12[4|37]} 410r53 413r31 414r18
410m13 Indx{2|19M9} 411r52
411*13 B{3|40P12[4|37]} 413r45 414r13
429U17 Write 429>24 432r49 438b17 441l11 441t16
429*24 Node{3|40P12[4|37]} 438b24 440r25
432U17 Write[4|138] 448s7
487p10 Buckets{3|45P12[4|37]} 490r28
502M15 Rng{2|19M9} 508r68
519*7 Result{3|40P12[4|37]} 522r10 523r17 527m10 529r13 530r20
526m11 Indx{2|19M9} 527r32
545m7 NN{2|19M9} 550m13 551r50 574m10 576r13 584r50 606m10 608r13 613m10
. 615r13 626r65
581p13 X{3|45P12[4|37]} 582r35 585m27 585r27
625q7 Rehash 700l11 700e17
626p10 Dst_Buckets{3|45P12[4|37]} 646r31 648m55 648r55 675r36 677m49 677r49
. 688m33 688r33 696r24
627p10 Src_Buckets{3|45P12[4|37]} 628r32 633r35 638m49 638r49 699m24 699r24
630i10 L{2|20I9} 631r38 636r16 658r34 659r19 659r24
631i10 LL{2|20I9} 697r23
633m10 Src_Index{2|19M9} 638r62 693m13 693r26
638*16 Src_Bucket=638:49{3|40P12[4|37]} 641r22 643r57 651r22
643*22 Src_Node{3|40P12[4|37]} 646r48 651r42 653r32 655r36
645m22 Dst_Index{2|19M9} 648r68
648*22 Dst_Bucket=648:55{3|40P12[4|37]} 653r42 655r22
675m23 Dst_Index{2|19M9} 677r62
677*25 B=677:49{3|40P12[4|37]} 680r31 681r33 682r28
678*25 X{3|40P12[4|37]} 681m28 682r39 683m34 683r34
X 6 a-coprnu.ads
35K24*Prime_Numbers 5|30w21 403r16 550r19 574r16 606r16 613r16 6|51e33
48V13*To_Prime{2|19M9} 5|403s30 550s33 574s30 606s30 613s30
X 8 a-stream.ads
36K13*Streams 4|33w10 142r15 153r15 8|69e16
39H9*Root_Stream_Type 4|144r35 147r32 154r56 157r32 5|375r32 426r32 8|67e64
X 11 a-uncdea.ads
20u15*Unchecked_Deallocation 5|31w10 252r17
X 12 system.ads
37K9*System 5|33w6 33r24 12|152e11
64M9*Address 5|33r31
78V14*"="{boolean} 5|297r20 475r25