V "GNAT Lib v4.9"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=pentium
A -march=pentium
P

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_STANDARD_STORAGE_POOLS
RV NO_STREAMS
RV NO_UNCHECKED_ACCESS
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_ALIASING
RV SPARK_05

U ada.containers.formal_hashed_sets%b  a-cfhase.adb  c9ce06b4 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.hash_tables.generic_bounded_keys%s
W ada.containers.hash_tables.generic_bounded_operations%s
W ada.containers.prime_numbers%s  a-coprnu.adb	a-coprnu.ali
Z ada.streams%s		a-stream.adb		a-stream.ali
W system%s		system.ads		system.ali

U ada.containers.formal_hashed_sets%s  a-cfhase.ads  7df9a525 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.hash_tables%s  a-cohata.ads	a-cohata.ali
N A71:4 gnatprove external_axiomatization

D ada.ads		20070406121342 3ffc8e18
D a-contai.ads		20101025165030 61e5e089
D a-cfhase.ads		20140224185158 18b78969
D a-cfhase.adb		20140224185820 fd5fc670
D a-cohata.ads		20110804181834 04abccc5
D a-chtgbk.ads		20140219165932 df43156b
D a-chtgbk.adb		20140220154616 21e0406e
D a-chtgbo.ads		20140219165932 b9958b32
D a-chtgbo.adb		20140220154616 85ab7e43
D a-coprnu.ads		20090409180020 0cdf1864
D a-except.ads		20140129181954 f86a4103
D a-stream.ads		20140122184720 1a984740
D a-tags.ads		20111212135430 6c0509d0
D a-unccon.ads		20070406121342 f9eb8f06
D system.ads		20160804194326 462fcf90
D s-exctab.ads		20140225171140 54135002
D s-parame.ads		20140225171140 ab8cb46a
D s-soflin.ads		20140225171140 aa763b52
D s-stache.ads		20140225171140 a37c21ec
D s-stalib.ads		20140225171140 a891183f
D s-stoele.ads		20140225171140 2dc34a04
D s-stoele.adb		20140225171140 ed88f8fb
D s-traent.ads		20140225171140 b5116092
X 1 ada.ads
16K9*Ada 19e8 3|58r14 70r9 343r6 358r5 4|28r6 31r6 34r6 34r40 38r14 1543r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|58r18 70r13 343r10 358r9 4|28r10 31r10
. 34r10 34r44 38r18 1543r9
19M9*Hash_Type 3|63r55 74r47 267r60 275r50 345r47 4|65r49 230r16 297r60 431r11
. 495r29 735r49 905r11 1235r11 1314r11
20I9*Count_Type<integer> 3|74r25 97r47 102r19 107r45 122r18 187r57 215r61
. 267r41 338r24 345r25 351r14 4|57r12 63r18 71r22 87r44 90r56 131r18 132r18
. 159r47 168r47 170r14 197r47 226r18 228r25 229r9 231r16 272r14 297r41 310r11
. 347r50 369r32 403r35 412r35 414r14 430r11 497r20 619r11 633r23 648r23 669r14
. 695r12 708r18 792r23 798r32 820r32 821r19 841r18 861r29 876r35 885r35 887r14
. 904r11 912r12 945r22 979r45 992r14 1027r44 1058r20 1095r23 1133r19 1154r56
. 1195r40 1204r40 1206r14 1234r11 1264r11 1282r37 1291r37 1295r14 1313r11
. 1350r14 1431r14 1451r26 1481r14 1495r26 1530r26
22X4*Capacity_Error 4|237r16
X 3 a-cfhase.ads
61+9 Element_Type 63r34 65r53 68r37 94r32 129r34 137r19 148r19 155r58 160r58
. 164r58 168r58 171r58 239r19 243r47 257r15 262r15 273r36 284r65 291r22 337r24
. 4|51r14 70r18 84r59 109r26 215r47 308r19 413r14 460r34 559r15 578r16 604r14
. 617r19 631r19 746r19 765r19 775r19 791r19 886r14 961r17 1074r17 1093r19
. 1113r19 1145r59 1263r32 1293r14 1449r39 1528r22
63V18 Hash{2|19M9} 63>24 4|110r26 737s14
63*24 Element{61+9}
65V18 Equivalent_Elements{boolean} 65>39 65>45 4|506s16 552s17 573s17 595s17
. 608s14
65*39 Left{61+9}
65*45 Right{61+9}
68V19 "="{boolean} 68>23 68>29 4|140r43 1174r50
68*23 Left{61+9}
68*29 Right{61+9}
70k24*Formal_Hashed_Sets 2|16k13 3|61z9 63z18 65z18 68z19 335E9 358l20 358e38
. 4|38b29 1543l20 1543t38
74R9*Set<5|63R12[342]> 74d14 74d37 79r41 84r25 88r32 91r44 94r53 97r35 101r26
. 107r33 110r35 113r40 116r38 116r52 121r18 122r42 128r19 135r26 142r36 142r57
. 147r26 155r42 160r42 164r42 168r42 171r42 175r41 179r37 179r51 184r34 184r46
. 189r33 189r45 191r44 191r58 194r41 194r53 197r34 197r46 199r42 199r56 202r39
. 202r51 205r32 205r44 207r52 207r66 212r49 212r61 217r34 217r46 220r36 223r33
. 223r47 226r32 229r31 233r32 238r19 243r35 246r38 250r42 251r42 256r15 263r15
. 281r33 284r37 289r29 295r45 298r44 301r34 304r38 309r41 315r45 315r75 319r42
. 319r72 345c9 346e72 356r25 4|47r21 48r28 56r19 62r21 69r32 75r16 76r16
. 77r23 80r13 93r30 120r32 158r38 158r52 197r35 206r40 215r35 225r18 226r42
. 232r16 268r42 268r72 270r14 307r26 323r26 344r23 345r16 400r21 401r28 429r39
. 429r51 449r18 459r19 477r44 527r15 529r16 557r15 579r16 616r26 630r19 647r32
. 663r19 664r34 667r14 694r19 707r21 720r38 745r26 764r26 774r26 790r26 838r23
. 839r16 872r16 873r16 874r23 903r41 903r53 915r18 926r35 935r25 944r33 944r47
. 979r33 990r36 990r57 1032r31 1048r32 1057r36 1092r26 1111r26 1132r26 1163r41
. 1192r23 1193r16 1233r49 1233r61 1253r18 1263r53 1268r18 1279r23 1280r16
. 1312r34 1312r46 1331r18 1341r30 1348r14 1416r22 1428r29 1448r22 1478r29
. 1492r22 1504r33 1526r29
74i14 Capacity{2|20I9} 105r38 118r23 125r56 144r23 153r47 157r47 162r47 182r67
. 210r71 345r14 346r37 356m33 4|185r17 229r42 236r50 250r25 270r29 271r43
. 667r29 668r43 999r17 1136r31
74m37 Modulus{2|19M9} 345r37 346r47 356m48 4|232r31 244r25 270r49 667r49
81R9*Cursor 82r41 86r26 129r19 136r19 149r23 175r65 226r44 229r47 229r62
. 233r55 239r40 246r54 250r55 251r56 256r28 263r29 281r49 301r62 315r60 319r57
. 350c9 352e14 354r26 4|93r46 233r16 268r57 269r14 324r26 460r19 528r15 530r16
. 558r15 580r16 631r40 647r44 664r19 666r14 720r54 748r18 766r23 777r18 1032r47
. 1032r62 1048r55 1112r19 1164r13 1165r13 1341r46 1493r39 1504r49
84r4*Empty_Set{74R9} 356c4 4|435r17 439r17 1239r17
86r4*No_Element{81R9} 231r69 235r69 318r67 322r67 354c4 4|217r40 275r17 279r24
. 336r19 637r17 652r17 672r17 1035r17 1420r42 1497r35
88V14*"="{boolean} 88>18 88>24 4|120b14 152l9 152t11
88r18 Left{74R9} 4|120b18 122r18 126r18 135r26 138r41 140r46 145r34
88r24 Right{74R9} 4|120b24 122r35 137r41 140r15
91V13*Equivalent_Sets{boolean} 91>30 91>36 4|477b13 520l8 520t23
91r30 Left{74R9} 4|477b30 519r29
91r36 Right{74R9} 4|477b36 519r35
94V13*To_Set{74R9} 94>21 4|1263b13 1272l8 1272t14
94*21 New_Item{61+9} 4|1263b21 1269r21
97V13*Capacity{2|20I9} 97>23 4|197b13 200l8 200t16
97r23 Container{74R9} 4|197b23 199r14
100U14*Reserve_Capacity 101=7 102>7 4|1131b14 1139l8 1139t24
101r7 Container{74R9} 105r28 4|1132b7 1136r21
102i7 Capacity{2|20I9} 105r16 4|1133b7 1136r10
107V13*Length{2|20I9} 107>21 118s35 144s35 153s16 157s16 162s16 181s16 181s34
. 182s18 186s16 186s32 187s18 209s16 209s34 210s22 214s16 214s32 215s22 4|122s10
. 122s27 126s10 185s28 438s10 442s10 446s12 912s28 912s43 916s13 916s36 928s14
. 953s10 953s28 979b13 982l8 982t14 999s28 1062s10 1062s32 1168s10 1168s27
. 1225s10 1242s10 1246s10 1250s12 1250s28 1321s10 1325s10 1329s12 1329s28
107r21 Container{74R9} 4|979b21 981r14
110V13*Is_Empty{boolean} 110>23 4|926b13 929l8 929t16
110r23 Container{74R9} 4|926b23 928r22
113U14*Clear 113=21 4|206b14 209l8 209t13 276s10 354s10 850s10 1004s7 1221s10
113r21 Container{74R9} 4|206b21 208m21
116U14*Assign 116=22 116>43 4|158b14 191l8 191t14 1226s10 1332s10
116r22 Target{74R9} 118r16 4|158b22 174m18 181m10 181r10 185r10 189m21 1332r18
116r43 Source{74R9} 118r43 4|158b43 169r32 181r27 185r36 190r24 1332r31
120V13*Copy{74R9} 121>7 122>7 4|224b13 262l8 262t12 271s16 443s22 668s16
. 909s22 1243s22 1247s23 1318s22 1322s22 1326s23
121r7 Source{74R9} 125r49 4|225b7 229r35 232r24 236r43 240r24 241r22 244r18
. 245r32 250r18 251r30
122i7 Capacity{2|20I9} 125r16 125r37 4|226b7 229r25 236r14 236r32
127V13*Element{61+9} 78r34 128>7 129>7 4|458b13 471l8 471t15
128r7 Container{74R9} 132r29 4|459b7 463r27 467r27 470r14
129r7 Position{81R9} 132r40 4|460b7 463r38 467r38 470r31
134U14*Replace_Element 135=7 136>7 137>7 4|1110b14 1125l8 1125t23
135r7 Container{74R9} 140r29 4|1111b7 1116r27 1121r27 1124m24
136r7 Position{81R9} 140r40 4|1112b7 1116r38 1121r38 1124r35
137*7 New_Item{61+9} 4|1113b7 1124r50
142U14*Move 142=20 142=41 4|990b14 1021l8 1021t12
142r20 Target{74R9} 144r16 4|990b20 995m10 995r10 999r10 1004m14 1012m18
142r41 Source{74R9} 144r43 4|990b41 991r42 995m27 995r27 999r36 1006r10 1010r26
. 1014r28 1016m40 1017m16
146U14*Insert 147=7 148>7 149<7 150<7 4|752s7 763b14 771l8 771t14 781s7
147r7 Container{74R9} 153r24 153r37 4|764b7 770m15
148*7 New_Item{61+9} 4|765b7 770r26
149r7 Position{81R9} 4|766b7 770m36 770r36
150b7 Inserted{boolean} 4|767b7 770m51
155U14*Insert 155=23 155>47 4|773b14 787l8 787t14 1012s10
155r23 Container{74R9} 157r24 157r37 158r42 4|774b7 781m15
155*47 New_Item{61+9} 158r53 4|775b7 781r26
160U14*Include 160=23 160>47 4|744b14 757l8 757t15
160r23 Container{74R9} 162r24 162r37 4|745b7 752m15 755m10
160*47 New_Item{61+9} 4|746b7 752r26 755r53
164U14*Replace 164=23 164>47 4|1091b14 1104l8 1104t15
164r23 Container{74R9} 166r26 4|1092b7 1095r56 1103m7
164*47 New_Item{61+9} 166r37 4|1093b7 1095r67 1103r41
168U14*Exclude 168=23 168>47 4|615b14 623l8 623t15
168r23 Container{74R9} 4|616b7 621m42 622m13
168*47 Item{61+9} 4|617b7 621r53
171U14*Delete 171=23 171>47 4|306b14 320l8 320t14 1210s13
171r23 Container{74R9} 173r26 4|307b7 313m42 319m13
171*47 Item{61+9} 173r37 4|308b7 313r53
175U14*Delete 175=22 175=46 4|285s13 322b14 337l8 337t14 681s13
175r22 Container{74R9} 177r29 4|323b7 327r27 331r27 333m37 334m13
175r46 Position{81R9} 177r40 4|324b7 327r38 331r38 333r48 334r24 336m7
179U14*Union 179=21 179>42 4|1278b14 1310l8 1310t13 1333s10
179r21 Target{74R9} 181r24 182r40 182r60 4|1279b7 1299m18 1305m10 1305r10
. 1333r17
179r42 Source{74R9} 181r42 182r48 4|1280b7 1292r32 1305r27 1309r16 1333r30
184V13*Union{74R9} 184>20 184>26 189r57 4|1312b13 1335l8 1335t13
184r20 Left{74R9} 186r24 187r40 4|1312b20 1317r10 1318r17 1322r17 1325r18
. 1329r20 1332r41
184r26 Right{74R9} 186r40 187r46 4|1312b26 1317r25 1321r18 1326r17 1329r36
. 1333r40
189V14*"or"=189:57{74R9}
189r19 Left{74R9}
189r25 Right{74R9}
191U14*Intersection 191=28 191>49 4|837b14 869l8 869t20
191r28 Target{74R9} 4|838b7 842r37 845m10 845r10 850m17 854r33 857r38 863r41
. 864m46 865m22
191r49 Source{74R9} 4|839b7 845r27 849r10 856r19
194V13*Intersection{74R9} 182s26 187s26 194>27 194>33 197r58 210s30 215s30
. 4|903b13 920l8 920t20
194r27 Left{74R9} 4|903b27 908r10 909r17 912r36 916r21 917r30
194r33 Right{74R9} 4|903b33 908r25 912r51 916r44 917r36
197V14*"and"=197:58{74R9}
197r20 Left{74R9}
197r26 Right{74R9}
199U14*Difference 199=26 199>47 4|343b14 397l8 397t18
199r26 Target{74R9} 4|344b7 349r31 353m10 353r10 354m17 364r24 365r36 371r44
. 372m49 373m25 377r41 388r41 391m43 392m19
199r47 Source{74R9} 4|345b7 350r31 353r27 358r21 367r35 383r36 395r35
202V13*Difference{74R9} 202>25 202>31 205r56 4|429b13 452l8 452t18
202r25 Left{74R9} 4|429b25 434r10 438r18 443r17 446r20 450r22
202r31 Right{74R9} 4|429b31 434r25 442r18 450r28
205V14*"-"=205:56{74R9}
205r18 Left{74R9}
205r24 Right{74R9}
207U14*Symmetric_Difference 207=36 207>57 4|1191b14 1231l8 1231t28
207r36 Target{74R9} 209r24 210r44 210r64 4|1192b7 1209r20 1210m21 1212m21
. 1220m10 1220r10 1221m17 1225r18 1226m18
207r57 Source{74R9} 209r42 210r52 4|1193b7 1205r32 1220r27 1226r26 1230r16
212V13*Symmetric_Difference{74R9} 212>35 212>41 218r14 4|1233b13 1257l8 1257t28
212r35 Left{74R9} 214r24 215r44 4|1233b35 1238r10 1243r17 1246r18 1250r20
. 1254r22 1255r29
212r41 Right{74R9} 214r40 215r50 4|1233b41 1238r25 1242r18 1247r17 1250r36
. 1254r28 1255r22
217V14*"xor"=218:14{74R9}
217r20 Left{74R9}
217r26 Right{74R9}
220V13*Overlap{boolean} 220>22 220>28 4|1057b13 1085l8 1085t15
220r22 Left{74R9} 4|1057b22 1059r39 1062r40 1066r10 1070r27 1081r36
220r28 Right{74R9} 4|1057b28 1062r18 1066r25 1076r22
223V13*Is_Subset{boolean} 223>24 223>38 4|944b13 973l8 973t17
223r24 Subset{74R9} 4|944b24 946r41 949r10 953r18 957r29 969r38
223r38 Of_Set{74R9} 4|944b38 949r27 953r36 964r22
226V13*First{81R9} 75r34 226>20 4|135s19 269s24 647b13 656l8 656t13 957s22
. 1070s20 1164s23 1165s23
226r20 Container{74R9} 4|647b20 648r51
229V13*Next{81R9} 229>19 229>36 4|286s21 682s21 1032b13 1046l8 1046t12 1050s19
. 1180s17 1181s17
229r19 Container{74R9} 231r29 4|1032b19 1038r27 1043r27 1045r36
229r36 Position{81R9} 231r40 231r58 4|1032b36 1034r10 1038r38 1043r38 1045r47
233U14*Next 233>20 233=37 4|1048b14 1051l8 1051t12
233r20 Container{74R9} 235r29 4|1048b20 1050r25
233r37 Position{81R9} 235r40 235r58 4|1048b37 1050m7 1050r36
237V13*Find{81R9} 238>7 239>7 4|137s22 217s14 417s13 629b13 641l8 641t12
. 856s13 891s13 964s16 1076s16
238r7 Container{74R9} 4|137r28 630b7 633r56
239*7 Item{61+9} 4|138r28 631b7 633r67
243V13*Contains{boolean} 158s32 166s16 173s16 243>23 243>40 4|215b13 218l8
. 218t16
243r23 Container{74R9} 4|215b23 217r20
243*40 Item{61+9} 4|215b40 217r31
246V13*Has_Element{boolean} 77r34 132s16 140s16 177s16 231s16 235s16 246>26
. 246>43 318s16 322s16 4|279s43 327s14 463s14 533s14 538s14 562s14 583s14
. 675s17 720b13 729l8 729t19 1038s14 1116s14 1506s17
246r26 Container{74R9} 4|720b26 723r21
246r43 Position{81R9} 4|720b43 722r10 723r38
250V13*Equivalent_Elements{boolean} 250>34 250>47 251>34 251>47 4|526b13
. 554l8 554t27
250r34 Left{74R9} 4|527b7 533r27 543r27 549r33
250r47 CLeft{81R9} 4|528b7 533r33 543r33 549r45
251r34 Right{74R9} 4|529b7 538r27 545r27 550r33
251r47 CRight{81R9} 4|530b7 538r34 545r34 550r46
255V13*Equivalent_Elements{boolean} 256>7 256>20 257>7 4|556b13 575l8 575t27
256r7 Left{74R9} 4|557b7 562r27 567r27 571r33
256r20 CLeft{81R9} 4|558b7 562r33 567r33 571r45
257*7 Right{61+9} 4|559b7 573r50
261V13*Equivalent_Elements{boolean} 262>7 263>7 263>20 4|577b13 597l8 597t27
262*7 Left{61+9} 4|578b7 595r38
263r7 Right{74R9} 4|579b7 583r27 589r15 593r33
263r20 CRight{81R9} 4|580b7 583r34 589r22 593r46
267V13*Default_Modulus{2|19M9} 267>30 4|297b13 300l8 300t23 447s12 913s12
. 1251s12 1330s12
267i30 Capacity{2|20I9} 4|297b30 299r24
271+12 Key_Type 273r57 275r33 277r52 281r64 284r48 290r22 295r56 298r55 301r45
. 304r49 4|1394r17 1407r31 1417r22 1429r22 1449r22 1466r17 1479r22 1493r22
. 1504r64 1527r22
273V21 Key{271+12} 273>26 4|1470s52 1517s20
273*26 Element{61+9}
275V21 Hash{2|19M9} 275>27 4|1408r31
275*27 Key{271+12}
277V21 Equivalent_Keys{boolean} 277>38 277>44 4|1470s17
277*38 Left{271+12}
277*44 Right{271+12}
279k12 Generic_Keys 271z12 273z21 275z21 277z21 307l8 307e20 4|1387b17 1470r39
. 1541l8 1541t20
281V16*Key{271+12} 281>21 281>38 4|1504b16 1519l11 1519t14
281r21 Container{74R9} 4|1504b21 1506r30 1512r18 1515r36
281r38 Position{81R9} 4|1504b38 1506r41 1512r29 1515r53
284V16*Element{61+9} 284>25 284>42 4|1447b16 1459l11 1459t18
284r25 Container{74R9} 4|1448b10 1451r46 1458r17
284*42 Key{271+12} 4|1449b10 1451r57
288U17*Replace 289=10 290>10 291>10 4|1525b17 1539l11 1539t18
289r10 Container{74R9} 4|1526b10 1530r55 1538m27
290*10 Key{271+12} 4|1527b10 1530r66
291*10 New_Item{61+9} 4|1528b10 1538r44
295U17*Exclude 295=26 295>50 4|1477b17 1485l11 1485t18
295r26 Container{74R9} 4|1478b10 1483m41 1484m16
295*50 Key{271+12} 4|1479b10 1483r52
298U17*Delete 298=25 298>49 4|1427b17 1441l11 1441t17
298r25 Container{74R9} 4|1428b10 1434m41 1440m16
298*49 Key{271+12} 4|1429b10 1434r52
301V16*Find{81R9} 301>22 301>39 4|1420s17 1451s40 1491b16 1498l11 1498t15
301r22 Container{74R9} 4|1492b10 1495r55
301*39 Key{271+12} 4|1493b10 1495r66
304V16*Contains{boolean} 304>26 304>43 4|1415b16 1421l11 1421t19
304r26 Container{74R9} 4|1416b10 1420r23
304*43 Key{271+12} 4|1417b10 1420r34
309V13*Strict_Equal{boolean} 309>27 309>33 4|1163b13 1185l8 1185t20
309r27 Left{74R9} 4|1163b27 1164r30 1168r18 1174r20 1180r23
309r33 Right{74R9} 4|1163b33 1165r30 1168r35 1175r20 1181r23
315V13*First_To_Previous{74R9} 315>33 315>50 4|662b13 687l8 687t25
315r33 Container{74R9} 318r29 4|663b7 667r19 667r39 668r22 668r33 675r30
. 682r27
315r50 Current{81R9} 318r40 318r57 4|664b7 666r24
319V13*Current_To_Last{74R9} 319>30 319>47 4|268b13 291l8 291t23
319r30 Container{74R9} 322r29 4|268b30 269r31 270r19 270r39 271r22 271r33
. 279r56 286r27
319r47 Current{81R9} 322r40 322r57 4|268b47 279r13 279r67 283r29
335R9 Node_Type 340e17 343r67 4|52r14 60r49 65r31 81r13 84r41 87r26 90r38
. 169r14 481r19 493r19 549r15 550r15 571r15 593r15 605r14 735r31 795r53 811r53
. 935r36 960r17 1027r26 1073r17 1145r41 1154r38 1205r14 1292r14 1395r17 1467r17
. 1515r18
337*10 Element{61+9} 4|138r59 140r35 140r64 174r28 367r57 388r63 413m55 470r46
. 496r45 507r26 507r47 552r41 552r53 573r41 595r47 608r45 737r25 755m42 813m15
. 856r41 886m55 937r41 961m40 1012r33 1074m40 1103m30 1147m12 1174r42 1175r43
. 1210r31 1212r31 1293m37 1365r67 1458r40 1470r62 1517r27
338i10 Next{2|20I9} 4|1029r19 1156m12 1361r31 1376r26 1380r24
339b10 Has_Element{boolean} 4|698m20 713m23 723r53
342K12 HT_Types[5|59] 346r11 348r8 4|100r20 106r26 991r14 1404r31
351i7 Node{2|20I9} 354m37 4|135r32 138r68 256m17 257r27 283r21 283r37 284r26
. 286m39 333r57 334r33 417r29 470r40 549r51 550r53 571r51 593r53 640m15 655m15
. 679r21 680r26 682m39 722r19 723r47 755r36 770m45 856r50 891r29 957r37 964r33
. 1034r19 1045m15 1045r56 1070r33 1076r32 1124r44 1172r17 1172r34 1173r17
. 1173r29 1174r36 1175r37 1343r19 1357r22 1361r25 1361r47 1365r61 1368r29
. 1451r62 1497m52 1515r62
X 4 a-cfhase.adb
46U14 Difference 47>7 47>13 48=7 399b14 427l8 427t18 450s10 1254s10 1255s10
47r7 Left{3|74R9} 400b7 413r35 426r16
47r13 Right{3|74R9} 400b13 417r19
48r7 Target{3|74R9} 401b7 418m21 450r35
50V13 Equivalent_Keys{boolean} 51>7 52>7 53r19 111r26 603b13 609l8 609t23
51*7 Key{3|61+9} 604b7 608r35
52r7 Node{3|335R9} 605b7 608r40
55U14 Free 56=7 57>7 257s10 319s7 334s7 373s19 392s13 622s7 693b14 700l8
. 700t12 865s16 1017s10 1440s10 1484s10
56r7 HT{3|74R9} 694b7 698m7 699m20
57i7 X{2|20I9} 695b7 698r17 699r24
60U22 Set_Element 60=35 710r58
60r35 Node{3|335R9}
61u14 Generic_Allocate 62=7 63<7 706b14 714l8 714t24 805r13
62r7 HT{3|74R9} 707b7 712m17 713m7
63i7 Node{2|20I9} 708b7 712m21 713r17
65V13 Hash_Node{2|19M9} 65>24 66r19 101r20 114r48 735b13 738l8 738t17
65r24 Node{3|335R9} 735b24 737r20
68U14 Insert 69=7 70>7 71<7 72<7 174s10 418s13 770s7 789b14 831l8 831t14
. 892s13 1212s13 1269s10 1299s10
69r7 Container{3|74R9} 790b7 823m20 830m21
70*7 New_Item{3|61+9} 791b7 813r26 830r32
71i7 Node{2|20I9} 792b7 830m42
72b7 Inserted{boolean} 793b7 830m48
74U14 Intersection 75>7 76>7 77=7 871b14 901l8 901t20 917s16
75r7 Left{3|74R9} 872b7 886r35 900r16
76r7 Right{3|74R9} 873b7 891r19
77r7 Target{3|74R9} 874b7 892m21 917r43
79V13 Is_In{boolean} 80>7 81>7 82r19 935b13 938l8 938t13 1209s13
80r7 HT{3|74R9} 935b20 937r33
81r7 Key{3|335R9} 935b30 937r37
84U14 Set_Element 84=27 84>52 85r19 114r59 1145b14 1148l8 1148t19
84r27 Node{3|335R9} 1145b27 1147m7
84*52 Item{3|61+9} 1145b52 1147r23
87V13 Next{2|20I9} 87>19 102r20 107r26 1027b13 1030l8 1030t12 1405r31
87r19 Node{3|335R9} 1027b19 1029r14
90U14 Set_Next 90=24 90>49 91r19 103r20 108r26 1154b14 1157l8 1157t16 1406r31
90r24 Node{3|335R9} 1154b24 1156m7
90i49 Next{2|20I9} 1154b49 1156r20
93V13 Vet{boolean} 93>18 93>35 331s22 467s22 543s22 545s22 567s22 589s10
. 1043s22 1121s22 1341b13 1385l8 1385t11 1512s13
93r18 Container{3|74R9} 1341b18 1348r26
93r35 Position{3|81R9} 1341b35 1343r10 1357r13 1361r16 1361r38 1365r52 1368r20
99K12 HT_Ops[8|49] 145r21 162r13 189r7 208r7 333r7 365r22 371r31 372r19 377r28
. 383r22 391r13 395r22 406r13 485r13 512r23 648r37 699r7 710r33 854r19 857r25
. 863r28 864r16 879r13 969r25 1010r12 1014r15 1016r10 1045r23 1081r23 1198r32
. 1285r13
105K12 Element_Keys[6|53] 114r10 313r7 367r16 388r22 496r12 621r7 633r37
. 802r13 937r14 1095r37 1365r26
113U14 Replace_Element[6|105] 1124s7 1538s10
131i10 Node{2|20I9} 135m10 136r16 138r53 140r58 145m13 145r40
132i10 ENode{2|20I9} 137m13 139r16 140r28
159U17 Insert_Element 159>33 162r39 168b17 176l11 176t25
159i33 Source_Node{2|20I9} 168b33 169r46
161U17 Insert_Elements[8|121] 190s7
169r10 N{3|335R9} 174r26
170i10 X{2|20I9} 174m37
171b10 B{boolean} 174m40 175r25
228i7 C{2|20I9} 232r21 255r18
230m7 H{2|19M9} 243m7 244r13 245r26 245r48 246m10 246r15
231i7 N{2|20I9} 249m7 250r13 251r24 251r44 252m10 252r15 255r13 256r25 258m10
. 258r15
232r7 Target{3|74R9} 240m7 241m7 245m10 251m10 257m16 257r16 261r14
233r7 Cu{3|81R9} 256m10 257r24
269r7 Curs{3|81R9} 275r10 283r16 284r21 285m24 285r24 286m13
270r7 C{3|74R9} 276m17 276r17 277r17 285m21 285r21 289r17
272i7 Node{2|20I9} 284m13 286r47
310i7 X{2|20I9} 313m59 315r10 319r24
347i7 Tgt_Node{2|20I9} 365m10 366r16 367r47 369r46 371m19 371r52 377m16 377r49
. 388m10 390r13 391r51 392r27
347i17 Src_Node{2|20I9} 383m10 387r13 388r53 395m10 395r43
347i27 Src_Last{2|20I9} 384m10 387r25
347i37 Src_Length{2|20I9} 358m7 360r10 364r10
349a7 TN{5|60A12[3|342]} 367r43
350a7 SN{5|60A12[3|342]} 388r49
369i19 X{2|20I9} 372r57 373r33
403U17 Process 403>26 406r39 412b17 421l11 421t18
403i26 L_Node{2|20I9} 412b26 413r47
405U17 Iterate[8|121] 426s7
413*10 E{3|61+9} 417r26 418r29
414i10 X{2|20I9} 418m32
415b10 B{boolean} 418m35 419r28
430i7 C{2|20I9} 446m7 447r29 449r23
431m7 H{2|19M9} 447m7 449r26
449r14 S{3|74R9} 450m45 450r45
479V16 Find_Equivalent_Key{boolean} 480>10 481>10 482r22 485r35 491b16 514l11
. 514t30
480c10 R_HT<5|63R12[3|342]> 492b10 496r32 497r34 498r39 512r36
481r10 L_Node{3|335R9} 493b10 496r38 507r19
484V16 Is_Equivalent[8|75]{boolean} 519s14
495m10 R_Index{2|19M9} 497r48
497i10 R_Node{2|20I9} 502r16 507r39 512m13 512r42
498a10 RN{5|60A12[3|342]} 507r35
549r10 LN{3|335R9} 552r38
550r10 RN{3|335R9} 552r50
571r10 LN{3|335R9} 573r38
593r10 RN{3|335R9} 595r44
619i7 X{2|20I9} 621m59 622r24
633i7 Node{2|20I9} 636r10 640r23
648i7 Node{2|20I9} 651r10 655r23
666r7 Curs{3|81R9} 672r10 675r41 679r16 680r21 681m24 681r24 682m13
667r7 C{3|74R9} 673r17 681m21 681r21 685r17
669i7 Node{2|20I9} 680m13 682r47
710U17 Allocate[8|94] 712s7
748r7 Position{3|81R9} 752m36 755r27
749b7 Inserted{boolean} 752m46 754r14
777r7 Position{3|81R9} 781m36
778b7 Inserted{boolean} 781m46 783r14
795U17 Allocate_Set_Element 795=39 796r22 805r31 811b17 814l11 814t31
795r39 Node{3|335R9} 811b39 813m10
798V16 New_Node{2|20I9} 799r22 802r54 820b16 825l11 825t19
801U17 Local_Insert[6|91] 830s7
804U17 Allocate[61] 823s10
821i10 Result{2|20I9} 823m31 824r17
841i7 Tgt_Node{2|20I9} 854m7 855r13 856r31 857m13 857r46 861r43 863m16 863r49
842a7 TN{5|60A12[3|342]} 856r27
861i16 X{2|20I9} 864r54 865r30
876U17 Process 876>26 879r39 885b17 895l11 895t18
876i26 L_Node{2|20I9} 885b26 886r47
878U17 Iterate[8|121] 900s7
886*10 E{3|61+9} 891r26 892r29
887i10 X{2|20I9} 892m32
888b10 B{boolean} 892m35 893r28
904i7 C{2|20I9} 912m7 913r29 915r23
905m7 H{2|19M9} 913m7 915r26
915r14 S{3|74R9} 917m53 917r53
945i7 Subset_Node{2|20I9} 957m7 958r13 960r49 969m10 969r46
946a7 Subset_Nodes{5|60A12[3|342]} 960r35
960r13 N=960:35{3|335R9} 961r38
961*13 E{3|61+9} 964r30
991a7 NN{5|60A12[3|342]} 1012r26
992i7 X{2|20I9} 1010m7 1011r13 1012r30 1014r36 1016r48 1017r24 1019m10
992i10 Y{2|20I9} 1014m10 1019r15
1058i7 Left_Node{2|20I9} 1070m7 1071r13 1073r47 1081m10 1081r42
1059a7 Left_Nodes{5|60A12[3|342]} 1073r35
1073r13 N=1073:35{3|335R9} 1074r38
1074*13 E{3|61+9} 1076r29
1095i7 Node{2|20I9} 1098r10 1103r24
1164r7 CuL{3|81R9} 1172r13 1173r13 1174r32 1180m10 1180r29
1165r7 CuR{3|81R9} 1172r30 1173r25 1175r33 1181m10 1181r30
1195U17 Process 1195>26 1196r22 1198r58 1204b17 1215l11 1215t18
1195i26 Source_Node{2|20I9} 1204b26 1205r46
1198U17 Iterate[8|121] 1230s7
1205r10 N{3|335R9} 1209r28 1210r29 1212r29
1206i10 X{2|20I9} 1212m40
1207b10 B{boolean} 1212m43 1213r28
1234i7 C{2|20I9} 1250m7 1251r29 1253r23
1235m7 H{2|19M9} 1251m7 1253r26
1253r14 S{3|74R9} 1254m35 1254r35 1255m35 1255r35
1264i7 X{2|20I9} 1269m31
1265b7 B{boolean} 1269m34 1270r25
1268r14 S{3|74R9} 1269m18 1269r18
1282U17 Process 1282>26 1285r39 1291b17 1300l11 1300t18
1282i26 Src_Node{2|20I9} 1291b26 1292r46
1284U17 Iterate[8|121] 1309s7
1292r10 N{3|335R9} 1293r35
1293*10 E{3|61+9} 1299r26
1295i10 X{2|20I9} 1299m29
1296b10 B{boolean} 1299m32
1313i7 C{2|20I9} 1329m7 1330r29 1331r23
1314m7 H{2|19M9} 1330m7 1331r26
1331r14 S{3|74R9} 1332m28 1332r28 1333m27 1333r27
1348r10 S=1348:26{3|74R9} 1349r33 1353r13 1365r15 1365r46 1367r24
1349a10 N{5|60A12[3|342]} 1357r29 1361r13 1365r49 1376r20 1380r18
1350i10 X{2|20I9} 1365m10 1368r16 1372r16 1376r16 1376r23 1380m13 1380r21
1367i14 J<integer>
1393V16 Equivalent_Key_Node{boolean} 1394>10 1395>10 1396r22 1409r31 1465b16
. 1471l11 1471t30
1394*10 Key{3|271+12} 1466b10 1470r34
1395r10 Node{3|335R9} 1467b10 1470r57
1402K15 Key_Keys[6|53] 1434r10 1483r10 1495r40 1530r40
1431i10 X{2|20I9} 1434m57 1436r13 1440r27
1451i10 Node{2|20I9} 1454r13 1458r34
1481i10 X{2|20I9} 1483m57 1484r27
1495i10 Node{2|20I9} 1497r21 1497r60
1515r13 N{3|335R9} 1517r25
1530i10 Node{2|20I9} 1533r13 1538r38
X 5 a-cohata.ads
33K24*Hash_Tables 3|58w29 343r21 4|28r21 31r21 99r26 105r32 1403r13 5|76e31
59k12*Generic_Bounded_Hash_Table_Types 3|343r33 5|74e40
60A12 Nodes_Type(3|335R9)<2|20I9> 4|349r12[3|342] 350r12[3|342] 498r20[3|342]
. 842r18[3|342] 946r22[3|342] 991r23[3|342] 1059r20[3|342] 1349r14[3|342]
61A12 Buckets_Type(2|20I9)<2|19M9>
63R12 Hash_Table_Type 3|346r20[342] 4|480r19[3|342] 492r19[3|342]
67i10 Length{2|20I9} 4|240m14[3|342] 240r31[3|342] 358r28[3|342] 364r31[3|342]
. 849r17[3|342] 981r24[3|342] 1006r17[3|342] 1353r15[3|342] 1367r26[3|342]
70i10 Free<integer> 4|241m14[3|342] 241r29[3|342]
71a10 Nodes{60A12[3|342]} 4|138r46[3|342] 140r21[3|342] 140r51[3|342] 169m39[3|342]
. 199r24[3|342] 251m17[3|342] 251r37[3|342] 349m38[3|342] 350m38[3|342] 413m40[3|342]
. 470r24[3|342] 498m44[3|342] 549m38[3|342] 550m39[3|342] 571m38[3|342] 593m39[3|342]
. 698m10[3|342] 713m10[3|342] 723r31[3|342] 755m20[3|342] 842m44[3|342] 886m40[3|342]
. 946m48[3|342] 991m49[3|342] 1059m44[3|342] 1103m17[3|342] 1174r25[3|342]
. 1175r26[3|342] 1205m39[3|342] 1292m39[3|342] 1349m35[3|342] 1458r27[3|342]
. 1515m46[3|342]
72a10 Buckets{61A12[3|342]} 4|245m17[3|342] 245r39[3|342] 497r39[3|342] 1365r17[3|342]
X 6 a-chtgbk.ads
34K17 HT_Types 4|106r7 1404r12
39V18 Next{2|20I9} 4|107r7 1405r12
41U19 Set_Next 4|108r7 1406r12
45+9 Key_Type 4|109r7 1407r12
47V18 Hash{2|19M9} 4|110r7 1408r12
49V18 Equivalent_Keys{boolean} 4|111r7 1409r12
53k36*Generic_Bounded_Keys 4|31w33 105r44 1403r25 6|120e52
56V13 Index{2|19M9} 4|496s25[105] 1365s39[105]
76U14 Delete_Key_Sans_Free 4|313s20[105] 621s20[105] 1434s19[1402] 1483s19[1402]
84V13 Find{2|20I9} 4|367s29[105] 388s35[105] 633s50[105] 937s27[105] 1095s50[105]
. 1495s49[1402] 1530s49[1402]
91u14 Generic_Conditional_Insert 4|802r26[105]
105u14 Generic_Replace_Element 4|114r23[105]
X 8 a-chtgbo.ads
36K17 HT_Types 4|100r7
41V18 Hash_Node{2|19M9} 4|101r7
43V18 Next{2|20I9} 4|102r7
45U19 Set_Next 4|103r7
49k36*Generic_Bounded_Operations 4|28w33 99r38 8|146e58
75v13 Generic_Equal 4|485r20[99]
82U14 Clear 4|189s14[99] 208s14[99]
87U14 Delete_Node_Sans_Free 4|333s14[99] 372s26[99] 391s20[99] 864s23[99]
. 1016s17[99]
94u14 Generic_Allocate 4|710r40[99]
101U14 Free 4|699s14[99]
107V13 First{2|20I9} 4|365s29[99] 383s29[99] 648s44[99] 854s26[99] 1010s19[99]
111V13 Next{2|20I9} 4|145s28[99] 371s38[99] 377s35[99] 395s29[99] 512s30[99]
. 857s32[99] 863s35[99] 969s32[99] 1014s22[99] 1045s30[99] 1081s30[99]
121u14 Generic_Iteration 4|162r20[99] 406r20[99] 879r20[99] 1198r39[99] 1285r20[99]
X 10 a-coprnu.ads
35K24*Prime_Numbers 4|34w21 34r55 10|51e33
48V13*To_Prime{2|19M9} 4|299s14
X 15 system.ads
42K9*System 4|36w6 36r23 15|160e11
69M9*Address 4|36r30
86V14*"="{boolean} 4|181r25 353r25 434r23 845r25 908r23 949r25 995r25 1066r23
. 1220r25 1238r23 1305r25 1317r23