V "GNAT Lib v10"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -fchecking=1
A -g
A -gnatp
A -gnatg
A -mtune=pentium
A -march=pentium
P ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCH
RV NO_EXCEPTIONS
RV NO_NESTED_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_STREAMS
RV NO_UNCHECKED_ACCESS
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
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  4d73a44d 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  be864f1e BN NE OL PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.containers.functional_maps%s
W ada.containers.functional_sets%s
W ada.containers.functional_vectors%s
W ada.containers.hash_tables%s  a-cohata.ads	a-cohata.ali
N A65:4 codepeer skip_analysis
N A144:7 gnatprove inline_for_proof e_elements_included
N A161:7 gnatprove inline_for_proof e_elements_included
N A185:7 gnatprove inline_for_proof e_elements_included
N A295:7 gnatprove iterable_for_proof "Model" elements
N A472:4 gnatprove inline_for_proof element
N A1264:4 gnatprove inline_for_proof contains
N A1271:4 gnatprove inline_for_proof has_element
N A1307:7 gnatprove inline_for_proof key
N A1315:7 gnatprove inline_for_proof element

D ada.ads		20210408145628 76789da1 ada%s
D a-contai.ads		20210408145628 61e5e089 ada.containers%s
D a-cfhase.ads		20210408145628 97356c87 ada.containers.formal_hashed_sets%s
D a-cfhase.adb		20210408145628 268110fd ada.containers.formal_hashed_sets%b
D a-cofuba.ads		20210408145628 626278ab ada.containers.functional_base%s
D a-cofuba.adb		20210408145628 4af74157 ada.containers.functional_base%b
D a-cofuma.ads		20210408145628 6280c19b ada.containers.functional_maps%s
D a-cofuma.adb		20210408145628 bf0f68e5 ada.containers.functional_maps%b
D a-cofuse.ads		20210408145628 0e2f22cc ada.containers.functional_sets%s
D a-cofuse.adb		20210408145628 b8f89a98 ada.containers.functional_sets%b
D a-cofuve.ads		20210408145628 a451e87e ada.containers.functional_vectors%s
D a-cofuve.adb		20210408145628 5633ee38 ada.containers.functional_vectors%b
D a-cohata.ads		20210408145628 80a8c839 ada.containers.hash_tables%s
D a-chtgbk.ads		20210408145628 faa4d958 ada.containers.hash_tables.generic_bounded_keys%s
D a-chtgbk.adb		20210408145628 c609a759 ada.containers.hash_tables.generic_bounded_keys%b
D a-chtgbo.ads		20210408145628 2dfe77a9 ada.containers.hash_tables.generic_bounded_operations%s
D a-chtgbo.adb		20210408145628 d914a2e8 ada.containers.hash_tables.generic_bounded_operations%b
D a-conhel.ads		20210408145628 20298884 ada.containers.helpers%s
D a-conhel.adb		20210408145628 e8b6ff51 ada.containers.helpers%b
D a-coprnu.ads		20210408145628 0cdf1864 ada.containers.prime_numbers%s
D a-except.ads		20210408145628 a7106115 ada.exceptions%s
D a-finali.ads		20210408145628 bf4f806b ada.finalization%s
D a-stream.ads		20210408145628 119b8fb3 ada.streams%s
D a-tags.ads		20210408145628 491b781d ada.tags%s
D a-unccon.ads		20210408145628 0e9b276f ada.unchecked_conversion%s
D a-uncdea.ads		20210408145628 eff36322 ada.unchecked_deallocation%s
D system.ads		20210408145628 27426ea2 system%s
D s-atocou.ads		20210408145628 b45c2d8d system.atomic_counters%s
D s-exctab.ads		20210408145628 54135002 system.exception_table%s
D s-finroo.ads		20210408145628 4ff27390 system.finalization_root%s
D s-parame.ads		20210408145628 48ec542b system.parameters%s
D s-secsta.ads		20210408145628 20bbe636 system.secondary_stack%s
D s-soflin.ads		20210408145628 a7318a92 system.soft_links%s
D s-stache.ads		20210408145628 a37c21ec system.stack_checking%s
D s-stalib.ads		20210408145628 09bd3940 system.standard_library%s
D s-stoele.ads		20210408145628 2dc34a04 system.storage_elements%s
D s-traent.ads		20210408145628 005bf670 system.traceback_entries%s
G a e
G c Z s b [formal_hashed_sets ada__containers 62 24 none]
X 1 ada.ads
16K9*Ada 20e8 3|48r6 49r6 50r6 51r14 62r9 90r24 102r24 187r24 1465r6 1474r5
. 4|28r6 31r6 34r6 34r40 38r14 1576r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|28e19 3|48r10 49r10 50r10 51r18 62r13 90r28 102r28
. 187r28 1465r10 1474r9 4|28r10 31r10 34r10 34r44 38r18 1576r9
19M9*Hash_Type 3|56r55 67r47 1273r60 1281r50 1467r47 4|64r49 231r16 268r60
. 394r11 458r29 976r49 1133r11 1427r11 1503r11
22I9*Count_Type<integer> 3|67r25 76r14 81r45 88r38 88r60 120r43 386r47 394r19
. 442r18 891r33 1109r33 1273r41 1460r24 1467r25 4|56r12 62r18 70r23 86r44
. 89r56 130r18 131r18 159r47 168r47 170r14 197r47 226r18 228r25 229r18 232r16
. 268r41 278r11 309r20 310r20 311r20 312r20 334r32 365r35 374r35 377r14 393r11
. 460r20 502r11 516r23 531r23 619r43 635r21 713r21 737r21 738r21 761r41 774r60
. 821r14 841r26 868r14 882r26 945r26 1027r23 1033r32 1055r32 1056r19 1073r18
. 1093r29 1104r35 1113r35 1115r14 1132r11 1140r12 1173r22 1207r45 1220r14
. 1255r44 1285r20 1319r23 1355r19 1376r56 1386r40 1395r40 1398r14 1426r11
. 1456r11 1471r37 1480r37 1484r14 1502r11 1539r14
25X4*Capacity_Error 4|237r16
X 3 a-cfhase.ads
54+9 Element_Type 56r34 59r15 60r15 91r29 103r26 120r22 339r14 377r32 465r34
. 477r19 530r19 596r58 632r58 694r58 723r54 767r54 1234r19 1261r47 1279r36
. 1309r65 1320r22 1459r24 4|50r14 69r19 83r59 108r26 215r47 277r53 376r14
. 423r34 490r14 501r54 514r19 574r32 596r32 619r22 839r39 943r22 985r58 1003r19
. 1011r57 1026r19 1114r14 1189r17 1301r17 1318r58 1336r19 1367r59 1455r32
. 1482r14
56V18 Hash{2|19M9} 56>24 4|109r26 978s14
56*24 Element{54+9}
58V18 Equivalent_Elements{boolean} 59>7 60>7 92r33 128s21 279s30 291s25 541s14
. 1253s17 4|469s16 494s14 623s16
59*7 Left{54+9}
60*7 Right{54+9}
62k24*Formal_Hashed_Sets 2|16k13 3|54z9 56z18 58z18 1457E9 1474l20 1474e38
. 4|38b29 1576l20 1576t38
67R9*Set<13|68R12[1464]> 67d14 67d37 73r41 81r33 251r35 260r38 297r39 321r53
. 346r25 348r32 370r44 377r53 386r35 393r26 413r35 418r40 424r38 424r52 441r18
. 442r42 464r19 475r26 513r36 513r57 529r26 596r42 632r42 694r42 723r42 767r42
. 803r41 839r37 839r51 889r34 889r46 927r33 927r45 929r44 929r58 965r41 965r53
. 993r34 993r46 995r42 995r56 1031r39 1031r51 1063r32 1063r44 1065r52 1065r66
. 1107r49 1107r61 1160r34 1160r46 1163r36 1173r33 1173r47 1183r32 1195r31
. 1216r32 1233r19 1261r35 1266r38 1304r33 1309r37 1318r29 1356r45 1393r44
. 1423r34 1443r38 1467c9 1468e71 1472r25 4|47r33 47r46 47r67 55r19 61r21
. 68r26 74r16 75r16 76r23 79r13 92r30 119r32 158r38 158r52 197r35 206r40
. 215r35 225r18 226r42 233r16 277r41 290r41 308r42 308r56 364r33 364r46 364r67
. 392r32 392r45 392r57 412r18 422r19 440r44 501r42 513r19 530r32 634r38 654r53
. 712r35 736r39 761r32 774r44 809r22 820r44 838r22 867r45 879r22 920r33 941r29
. 961r38 985r42 1002r26 1011r41 1025r26 1072r44 1072r58 1103r35 1103r48 1103r69
. 1131r34 1131r47 1131r59 1143r18 1154r35 1163r25 1172r33 1172r47 1207r33
. 1218r36 1218r57 1260r31 1275r32 1284r36 1318r42 1334r26 1354r26 1385r52
. 1385r66 1425r42 1425r55 1425r67 1445r18 1455r53 1460r18 1470r37 1470r51
. 1501r27 1501r40 1501r52 1520r18 1530r30 1537r14
67i14 Capacity{2|22I9} 83r43 388r44 397r38 426r23 445r56 451r30 451r48 453r30
. 515r23 536r39 598r47 635r39 843r17 1069r17 1467r14 1468r36 1472m33 4|185r17
. 229r51 236r50 250r25 764r33 1227r17 1358r31
67m37 Modulus{2|19M9} 1467r37 1468r46 1472m48 4|233r31 244r25
75R9*Cursor 77e14 79r26 188r44 232r21 465r19 476r19 531r23 803r64 1183r44
. 1195r47 1195r62 1216r55 1234r40 1266r54 1304r49 1423r62 4|92r46 230r16
. 290r64 423r19 514r40 530r44 690r21 880r39 920r49 961r54 987r18 1004r23
. 1013r18 1260r47 1260r62 1275r55 1335r19 1530r46
76i7 Node{2|22I9} 79m37 4|134r32 139r58 256m17 257r27 298r57 299r33 380r29
. 433r40 523m15 538m15 746m29 841r62 884m52 930r62 963r19 964r47 993r36 1008m45
. 1088r50 1119r29 1185r37 1192r33 1262r19 1272m15 1272r56 1297r33 1303r32
. 1346r44 1532r19 1546r22 1550r25 1550r47 1554r61 1557r29
79r4*No_Element{75R9} 304r44 807r19 1187r26 1198r61 1200r20 1203r25 1219r61
. 1221r20 1224r22 1242r25 1431r28 4|217r40 301r19 520r17 535r17 813r42 884r35
. 1263r17
81V13*Length{2|22I9} 81>21 83r16 258s45 268s40 286s36 289s36 290s38 310s53
. 352s13 352s29 381s14 400s14 400s39 415s35 420s16 426s35 429s14 429s32 482s8
. 482s29 515s35 517s8 519s14 519s32 536s8 558s17 558s38 598s16 601s8 601s29
. 635s8 665s11 665s32 738s11 738s32 771s8 771s29 808s14 808s35 842s8 842s26
. 843s28 845s8 845s26 847s12 891s16 891s51 893s8 893s32 895s12 932s8 968s8
. 998s8 998s26 1034s8 1034s37 1068s8 1068s26 1069s28 1069s46 1071s8 1071s26
. 1073s10 1109s16 1109s51 1111s8 1111s47 1113s10 1186s9 1201s61 1222s61 1325s11
. 1325s32 1371s14 1371s35 1397s11 1397s32 4|121s10 121s27 125s10 185s28 401s10
. 405s10 409s12 1140s28 1140s43 1144s13 1144s36 1156s14 1181s10 1181s28 1207b13
. 1210l8 1210t14 1227s28 1289s10 1289s32 1417s10 1434s10 1438s10 1442s12
. 1442s28 1510s10 1514s10 1518s12 1518s28
81r21 Container{67R9} 83r33 4|1207b21 1209r14
140i22 I<integer> 141r41 142r66 143r39
156i22 I<integer> 157r51 158r45 159r70 160r43
175i22 I<integer> 176r56 177r49 178r73 179r48 181r50 183r71 184r48
223r29 C{7|36R9[187]} 224r52 225r54
246r29 C{7|36R9[187]} 247r26 248r56 249r58
272*26 Item{11|40+9[102]} 273r50
277*26 Item{9|36+9[90]} 278r43 281r63 282r33
286i26 I<integer> 287r66 287r72
289i26 I<integer> 292r52 294r27
290i28 J<integer> 293r52 294r31
309r24 I{7|36R9[187]} 310r42 318r46 319r23
317r24 J{7|36R9[187]} 318r76 319r27
332*20 Item{11|40+9[102]} 335r17
333r23 I{7|36R9[187]} 334r74
346r4*Empty_Set{67R9} 1472c4 4|398r17 402r17 1431r17
348V14*"="{boolean} 348>18 348>24 4|119b14 152l9 152t11
348r18 Left{67R9} 352r21 353r49 356r44 357r67 4|119b18 121r18 125r18 134r26
. 139r31 142r54 147r34
348r24 Right{67R9} 352r37 353r66 356r61 357r49 4|119b24 121r35 138r31 142r23
370V13*Equivalent_Sets{boolean} 370>30 370>36 372r16 4|440b13 483l8 483t23
370r30 Left{67R9} 372r49 4|440b30 482r29
370r36 Right{67R9} 372r64 4|440b36 482r35
377V13*To_Set{67R9} 377>21 380r31 381r22 382r31 4|1455b13 1464l8 1464t14
377*21 New_Item{54+9} 380r47 382r52 4|1455b21 1461r21
386V13*Capacity{2|22I9} 386>23 388r16 4|197b13 200l8 200t16
386r23 Container{67R9} 388r34 4|197b23 199r14
392U14*Reserve_Capacity 393=7 394>7 4|1353b14 1361l8 1361t24
393r7 Container{67R9} 397r28 399r15 399r35 400r22 400r47 405r26 405r48 407r26
. 407r52 4|1354b7 1358r21
394i7 Capacity{2|22I9} 397r16 4|1355b7 1358r10
413V13*Is_Empty{boolean} 72s35 413>23 415r16 4|1154b13 1157l8 1157t16
413r23 Container{67R9} 415r43 4|1154b23 1156r22
418U14*Clear 418=21 4|206b14 209l8 209t13 319s10 1082s10 1232s7 1413s10
418r21 Container{67R9} 420r24 420r62 4|206b21 208m21
424U14*Assign 424=22 424>43 4|158b14 191l8 191t14 1418s10 1521s10
424r22 Target{67R9} 426r16 428r15 429r22 433r45 434r64 4|158b22 174m18 181m10
. 181r10 185r10 189m21 1521r18
424r43 Source{67R9} 426r43 428r32 429r40 433r64 434r45 4|158b43 169m32 169r32
. 181r27 185r36 190r24 1521r31
440V13*Copy{67R9} 441>7 442>7 447r15 448r24 449r25 451r18 453r18 4|224b13
. 262l8 262t12 406s22 1137s22 1435s22 1439s23 1507s22 1511s22 1515s23
441r7 Source{67R9} 445r49 447r37 448r49 449r51 451r41 4|225b7 229r44 233r24
. 236r43 240r24 241r22 244r18 245r32 250r18 251r30
442i7 Capacity{2|22I9} 445r16 445r37 450r18 453r41 4|226b7 229r34 236r14
. 236r32
463V13*Element{54+9} 71r34 464>7 465>7 470r8 472r50 486s15 497s18 541s35
. 562s17 603s14 639s14 711s14 812s39 821s17 1254s20 1306s37 1314s28 4|421b13
. 434l8 434t15
464r7 Container{67R9} 468r29 471r27 471r57 4|422b7 426r27 431r15 433r14
465r7 Position{75R9} 468r40 471r69 4|423b7 426r38 431r26 433r31
474U14*Replace_Element 475=7 476>7 477>7 4|1333b14 1347l8 1347t23
475r7 Container{67R9} 480r29 482r16 482r37 486r24 490r32 495r25 496r25 497r27
. 499r25 500r25 506r40 507r40 508r41 509r41 511r26 511r50 4|1334b7 1339r27
. 1344r15 1346m24
476r7 Position{75R9} 480r40 486r35 497r38 510r30 4|1335b7 1339r38 1344r26
. 1346r35
477*7 New_Item{54+9} 486r47 490r44 501r18 4|1336b7 1346r50
513U14*Move 513=20 513=41 4|1218b14 1249l8 1249t12
513r20 Target{67R9} 515r16 518r21 519r22 523r45 524r68 4|1218b20 1223m10
. 1223r10 1227r10 1232m14 1240m18
513r41 Source{67R9} 515r43 517r16 518r38 519r40 523r64 524r45 4|1218b41 1219r42
. 1223m27 1223r27 1227r36 1234r10 1238r26 1242r28 1244m40 1245m16
528U14*Insert 529=7 530>7 531<7 532<7 4|990s7 1001b14 1009l8 1009t14 1016s7
529r7 Container{67R9} 536r16 536r29 537r23 539r18 540r27 541r44 547r19 549r24
. 549r44 550r27 550r50 551r28 551r52 558r25 558r46 562r26 566r24 566r49 568r27
. 569r27 575r41 576r41 577r42 578r42 580r31 581r31 4|1002b7 1008m15
530*7 New_Item{54+9} 537r34 539r29 541r66 547r30 562r49 570r20 4|1003b7 1008r26
531r7 Position{75R9} 540r38 541r55 562r37 582r20 4|1004b7 1008m36 1008r36
532b7 Inserted{boolean} 548r15 557r11 4|1005b7 1008m51
596U14*Insert 596=23 596>47 4|1011b14 1022l8 1022t14 1240s10
596r23 Container{67R9} 598r24 598r37 599r42 601r16 601r37 602r24 603r23 603r40
. 607r21 607r46 609r24 610r24 616r38 617r38 618r39 619r39 621r28 622r28 623r23
. 4|1011b22 1016m15
596*47 New_Item{54+9} 599r53 602r35 603r51 603r64 611r17 623r34 4|1011b46
. 1016r26
632U14*Include 632=23 632>47 4|985b14 995l8 995t15
632r23 Container{67R9} 635r16 635r29 636r23 638r18 639r23 639r40 645r19 649r18
. 649r38 653r28 653r52 658r30 659r30 660r38 660r56 665r19 665r40 669r24 669r49
. 671r27 672r27 678r41 679r41 680r42 681r42 683r31 684r31 685r26 4|985b23
. 990m15 993m10
632*47 New_Item{54+9} 636r34 638r29 639r51 639r64 645r30 660r67 673r20 685r37
. 4|985b47 990r26 993r53
694U14*Replace 694=23 694>47 4|1318b14 1327l8 1327t15
694r23 Container{67R9} 696r26 701r15 701r35 702r24 706r25 706r49 711r23 711r40
. 713r27 714r27 715r35 715r53 4|1318b23 1319r56 1326m7
694*47 New_Item{54+9} 696r37 702r35 711r51 711r64 715r64 4|1318b47 1319r67
. 1326r41
723U14*Exclude 723=23 723>47 4|501b14 506l8 506t15
723r23 Container{67R9} 725r38 730r23 731r18 731r38 732r27 732r50 733r28 733r52
. 738r19 738r40 742r24 742r45 744r27 745r27 751r41 752r41 753r42 754r42 756r31
. 757r31 758r26 4|501b23 504m42 505m13
723*47 Item{54+9} 725r49 730r34 746r20 758r37 4|501b47 504r53
767U14*Delete 767=23 767>47 4|277b14 288l8 288t14 1402s13
767r23 Container{67R9} 769r26 771r16 771r37 775r28 779r21 779r42 781r24 782r24
. 788r38 789r38 790r39 791r39 793r28 794r28 795r23 4|277b22 281m42 287m13
767*47 Item{54+9} 769r37 775r39 783r17 795r34 4|277b46 281r53
803U14*Delete 803=22 803=46 4|290b14 302l8 302t14
803r22 Container{67R9} 805r29 808r22 808r43 812r28 812r48 813r40 817r21 817r42
. 819r24 820r24 821r26 826r38 827r38 828r39 829r39 831r28 832r28 4|290b22
. 292r27 296r27 298m37 299m13
803r46 Position{75R9} 805r40 807r8 812r59 813r52 821r37 833r17 4|290b46 292r38
. 296r38 298r48 299r24 301m7
839U14*Union 839=21 839>42 4|1470b14 1499l8 1499t13 1522s10
839r21 Target{67R9} 842r34 843r10 843r36 845r16 845r34 846r35 851r21 851r43
. 855r39 860r24 860r56 865r27 866r24 867r27 871r27 871r47 871r70 875r24 877r27
. 882r38 883r38 884r39 885r39 4|1470b21 1488m18 1494m10 1494r10 1522r17
839r42 Source{67R9} 842r16 842r45 846r55 847r20 855r21 860r40 868r27 874r27
. 876r27 4|1470b42 1481m32 1481r32 1494r27 1498r16 1522r30
889V13*Union{67R9} 889>20 889>26 927r57 4|1501b13 1524l8 1524t13
889r20 Left{67R9} 891r24 893r40 894r35 899r21 906r44 912r24 913r27 917r27
. 917r41 921r24 4|1501b20 1506r10 1507r17 1511r17 1514r18 1518r20 1521r41
889r26 Right{67R9} 891r59 894r49 895r20 900r21 906r58 914r27 920r27 922r27
. 4|1501b32 1506r25 1510r18 1515r17 1518r36 1522r40
927V14*"or"=927:57{67R9}
927r19 Left{67R9}
927r25 Right{67R9}
929U14*Intersection 929=28 929>49 4|1072b14 1101l8 1101t20
929r28 Target{67R9} 932r16 933r33 937r21 937r39 941r21 946r24 946r56 950r45
. 950r64 952r27 952r66 957r38 958r38 959r39 960r39 4|1072b28 1074r37 1077m10
. 1077r10 1082m17 1086r33 1089r38 1095r41 1096m46 1097m22
929r49 Source{67R9} 933r53 941r39 946r40 952r47 4|1072b49 1077r27 1081r10
. 1088r19
965V13*Intersection{67R9} 965>27 965>33 993r58 4|1131b13 1148l8 1148t20
965r27 Left{67R9} 969r33 973r52 979r53 984r59 987r27 4|1131b27 1136r10 1137r17
. 1140r36 1144r21 1145r27
965r33 Right{67R9} 969r47 974r52 979r67 987r41 4|1131b39 1136r25 1140r51
. 1144r44 1145r33
993V14*"and"=993:58{67R9} 842s41 1068s41 1069s61
993r20 Left{67R9}
993r26 Right{67R9}
995U14*Difference 995=26 995>47 4|308b14 362l8 362t18
995r26 Target{67R9} 998r16 998r34 999r33 1003r21 1003r39 1007r35 1012r24
. 1012r44 1016r45 1016r64 1018r27 1018r47 1018r66 1023r38 1024r38 1025r39
. 1026r39 4|308b26 314r31 318m10 318r10 319m17 329r24 330r36 336r44 337m49
. 338m25 342r41 353r41 356m43 357m19
995r47 Source{67R9} 999r53 1007r51 1012r60 4|308b47 315r31 318r27 323r21
. 332r35 348r36 360r35
1031V13*Difference{67R9} 1031>25 1031>31 1063r56 4|392b13 415l8 415t18
1031r25 Left{67R9} 1034r45 1035r33 1039r50 1048r24 1053r57 1056r27 4|392b25
. 397r10 401r18 406r17 409r20 413r22
1031r31 Right{67R9} 1035r47 1043r62 1048r65 4|392b37 397r25 405r18 413r28
1063V14*"-"=1063:56{67R9}
1063r18 Left{67R9}
1063r24 Right{67R9}
1065U14*Symmetric_Difference 1065=36 1065>57 4|1385b14 1423l8 1423t28
1065r36 Target{67R9} 1068r34 1069r10 1069r36 1069r54 1071r16 1071r34 1072r37
. 1077r36 1077r52 1082r24 1082r44 1087r40 1087r56 1092r27 1093r24 1094r27
. 1098r27 1098r47 1098r66 1101r43 1101r62 4|1385b36 1401r20 1402m21 1404m21
. 1412m10 1412r10 1413m17 1417r18 1418m18
1065r57 Source{67R9} 1068r16 1068r45 1069r65 1072r57 1073r18 1077r72 1082r60
. 1087r24 1095r27 1101r27 4|1385b57 1397m32 1397r32 1412r27 1418r26 1422r16
1107V13*Symmetric_Difference{67R9} 1107>35 1107>41 1161r14 4|1425b13 1449l8
. 1449t28
1107r35 Left{67R9} 1109r24 1111r55 1112r37 1119r24 1125r24 1134r24 1140r24
. 1141r27 1145r27 4|1425b35 1430r10 1435r17 1438r18 1442r20 1446r22 1447r29
1107r41 Right{67R9} 1109r59 1112r51 1113r18 1120r24 1127r24 1132r24 1142r27
. 1150r27 4|1425b47 1430r25 1434r18 1439r17 1442r36 1446r28 1447r22
1160V14*"xor"=1161:14{67R9}
1160r20 Left{67R9}
1160r26 Right{67R9}
1163V13*Overlap{boolean} 1163>22 1163>28 1166r8 4|1284b13 1312l8 1312t15
1163r22 Left{67R9} 1166r51 4|1284b22 1286r39 1289r40 1293r10 1297r27 1308r36
1163r28 Right{67R9} 1166r65 4|1284b28 1289r18 1293r25 1303r22
1173V13*Is_Subset{boolean} 1173>24 1173>38 1175r16 4|1172b13 1201l8 1201t17
1173r24 Subset{67R9} 1175r43 4|1172b24 1174r41 1177r10 1181r18 1185r29 1197r38
1173r38 Of_Set{67R9} 1175r61 4|1172b38 1177r27 1181r36 1192r22
1183V13*First{75R9} 68r34 1183>20 1187r11 1190r35 1191r47 4|134s19 530b13
. 539l8 539t13 1185s22 1297s20
1183r20 Container{67R9} 1186r17 1190r24 1191r35 4|530b20 531r51
1195V13*Next{75R9} 1195>19 1195>36 4|1260b13 1273l8 1273t12 1277s19
1195r19 Container{67R9} 1198r21 1201r37 1201r69 1206r24 1207r40 1208r40 4|1260b19
. 1266r27 1270r27 1272r36
1195r36 Position{75R9} 1198r32 1198r50 1200r9 1201r49 1208r52 4|1260b36 1262r10
. 1266r38 1270r38 1272r47
1216U14*Next 1216>20 1216=37 4|1275b14 1278l8 1278t12
1216r20 Container{67R9} 1219r21 1222r37 1222r69 1227r24 1228r40 1229r40 4|1275b20
. 1277r25
1216r37 Position{75R9} 1219r32 1219r50 1221r9 1222r49 1224r11 1227r35 1228r52
. 1229r52 4|1275b37 1277m7 1277r36
1232V13*Find{75R9} 603s34 623s17 639s34 660s50 685s20 711s34 715s47 758s20
. 795s17 1233>7 1234>7 4|137s15 217s14 380s13 512b13 524l8 524t12 1088s13
. 1119s13 1192s16 1303s16
1233r7 Container{67R9} 1241r30 1247r33 1248r35 1249r33 1254r29 4|138r18 513b7
. 516r56
1234*7 Item{54+9} 1241r42 1249r45 1254r54 4|139r18 514b7 516r67
1261V13*Contains{boolean} 537s13 539s8 547s9 599s32 602s14 636s13 638s8 645s9
. 696s16 702s14 725s28 730s13 769s16 775s18 812s18 1261>23 1261>40 4|215b13
. 218l8 218t16
1261r23 Container{67R9} 1263r51 4|215b23 217r20
1261*40 Item{54+9} 1263r63 4|215b40 217r31
1266V13*Has_Element{boolean} 70r34 468s16 480s16 540s14 805s16 1190s11 1198s8
. 1206s11 1219s8 1227s11 1266>26 1266>43 1270r8 1271r50 4|292s14 426s14 922s17
. 961b13 970l8 970t19 1266s14 1339s14
1266r26 Container{67R9} 1270r51 4|961b26 964r21
1266r43 Position{75R9} 1270r63 4|961b43 963r10 964r38
1273V13*Default_Modulus{2|19M9} 1273>30 4|268b13 271l8 271t23 410s12 1141s12
. 1443s12 1519s12
1273i30 Capacity{2|22I9} 4|268b30 270r24
1277+12 Key_Type 1279r57 1281r33 1283r52 1292r21 1304r64 1309r48 1319r22
. 1356r56 1393r55 1423r45 1443r49 4|788r17 800r29 810r22 820r55 839r22 856r17
. 867r56 880r22 900r21 920r64 942r22
1279V21 Key{1277+12} 1279>26 1299s55 1306s32 1430s55 1448s50 4|860s52 905s56
. 932s20
1279*26 Element{54+9}
1281V21 Hash{2|19M9} 1281>27 4|801r29
1281*27 Key{1277+12}
1283V21 Equivalent_Keys{boolean} 1283>38 1283>44 1299s25 1430s20 1440s20
. 1448s15 4|860s17 905s26
1283*38 Left{1277+12}
1283*44 Right{1277+12}
1285k12 Generic_Keys 1277z12 1279z21 1281z21 1283z21 1299r42 1430r42 1441r23
. 1448r37 1450l8 1450e20 4|781b17 860r39 905r43 955l8 955t20
1297*27 E{9|36+9[90]} 1298r37 1299r60
1304V16*Key{1277+12} 1304>21 1304>38 1441s36 4|920b16 934l11 934t14
1304r21 Container{67R9} 1306r46 4|920b21 922r30 927r18 930m36 930r36
1304r38 Position{75R9} 1306r57 4|920b38 922r41 927r29 930r53
1309V16*Element{54+9} 1309>25 1309>42 1329s18 4|837b16 849l11 849t18
1309r25 Container{67R9} 1312r29 1314r37 1314r54 4|838b10 841r46 848r17
1309*42 Key{1277+12} 1312r40 1314r65 4|839b10 841r57
1317U17*Replace 1318=10 1319>10 1320>10 4|940b17 953l11 953t18
1318r10 Container{67R9} 1323r29 1325r19 1325r40 1329r27 1333r35 1338r28 1339r28
. 1342r28 1343r28 1349r43 1350r43 1351r44 1352r44 1353r39 1354r29 1354r53
. 4|941b10 945r55 952m27
1319*10 Key{1277+12} 1323r40 1329r38 1340r21 1353r50 4|942b10 945r66
1320*10 New_Item{54+9} 1329r45 1333r47 1344r21 4|943b10 952r44
1356U17*Exclude 1356=26 1356>50 4|867b17 872l11 872t18
1356r26 Container{67R9} 1358r41 1363r26 1364r21 1364r41 1365r30 1365r53 1366r31
. 1366r55 1371r22 1371r43 1375r27 1375r48 1377r30 1378r30 1384r44 1385r44
. 1386r45 1387r45 1389r34 1390r34 1391r29 4|867b26 870m41 871m16
1356*50 Key{1277+12} 1358r52 1363r37 1379r23 1391r40 4|867b50 870r52
1393U17*Delete 1393=25 1393>49 4|820b17 831l11 831t17
1393r25 Container{67R9} 1395r29 1397r19 1397r40 1401r31 1405r24 1405r45 1407r27
. 1408r27 1414r41 1415r41 1416r42 1417r42 1419r31 1420r31 1421r26 4|820b25
. 824m41 830m16
1393*49 Key{1277+12} 1395r40 1401r42 1409r20 1421r37 4|820b49 824r52
1423V16*Find{75R9} 1314s48 1353s33 1391s23 1421s20 1423>22 1423>39 4|813s17
. 841s40 878b16 885l11 885t15
1423r22 Container{67R9} 1429r33 1436r36 1441r41 4|879b10 882r55
1423*39 Key{1277+12} 1430r37 1441r66 4|880b10 882r66
1429*21 E{9|36+9[90]} 1430r60
1443V16*Contains{boolean} 1312s19 1323s19 1358s31 1363s16 1395s19 1401s21
. 1443>26 1443>43 4|808b16 814l11 814t19
1443r26 Container{67R9} 1447r35 4|809b10 813r23
1443*43 Key{1277+12} 1448r32 4|810b10 813r34
1447*23 E{9|36+9[90]} 1448r55
1457R9 Node_Type 1462e17 1465r67 4|51r14 59r49 64r31 80r13 83r41 86r26 89r38
. 169r14 444r19 456r19 491r14 789r17 857r17 930r18 976r31 1030r53 1046r53
. 1163r36 1188r17 1255r26 1300r17 1367r41 1376r38 1397r14 1481r14
1459*10 Element{54+9} 4|139r49 142r43 142r72 174r28 332r57 353r63 376m55
. 433r46 459r55 470r26 470r47 494r45 643r55 724r58 848r40 860r62 932r27 978r25
. 993m42 1048m15 1088r41 1114m55 1165r41 1189m40 1240r33 1301m40 1326m30
. 1369m12 1402r31 1404r31 1482m37 1554r67
1460i10 Next{2|22I9} 4|1257r19 1378m12 1550r31 1565r26 1569r24
1461b10 Has_Element{boolean} 4|765m23 778m23 964r53
1464K12 HT_Types[13|63] 1468r10 1470r8 4|99r20 105r26 797r29 1219r14
X 4 a-cfhase.adb
47U14 Difference 47>26 47>38 47=51 364b14 390l8 390t18 413s10 1446s10 1447s10
47r26 Left{3|67R9} 364b26 376m35 376r35 389r16
47r38 Right{3|67R9} 364b38 380r19
47r51 Target{3|67R9} 364b51 381m21 413r35
49V13 Equivalent_Keys{boolean} 50>7 51>7 52r19 110r26 489b13 495l8 495t23
50*7 Key{3|54+9} 490b7 494r35
51r7 Node{3|1457R9} 491b7 494r40
54U14 Free 55=7 56>7 257s10 287s7 299s7 338s19 357s13 505s7 761b14 768l8
. 768t12 830s10 871s10 1097s16 1245s10
55r7 HT{3|67R9} 761b20 764r30 765m10 766m23
56i7 X{2|22I9} 761b37 763r10 764r25 765r20 766r27
59U22 Set_Element 59=35 775r58
59r35 Node{3|1457R9}
60u14 Generic_Allocate 61=7 62<7 774b14 779l8 779t24 1040r13
61r7 HT{3|67R9} 774b32 777m17 778m7
62i7 Node{2|22I9} 774b49 777m21 778r17
64V13 Hash_Node{2|19M9} 64>24 65r19 100r20 113r48 976b13 979l8 979t17
64r24 Node{3|1457R9} 976b24 978r20
67U14 Insert 68=7 69>7 70<7 71<7 174s10 381s13 1008s7 1024b14 1066l8 1066t14
. 1120s13 1404s13 1461s10 1488s10
68r7 Container{3|67R9} 1025b7 1058m20 1065m21
69*7 New_Item{3|54+9} 1026b7 1048r26 1065r32
70i7 Node{2|22I9} 1027b7 1065m42
71b7 Inserted{boolean} 1028b7 1065m48
73U14 Intersection 74>7 75>7 76=7 1103b14 1129l8 1129t20 1145s13
74r7 Left{3|67R9} 1103b28 1114m35 1114r35 1128r16
75r7 Right{3|67R9} 1103b40 1119r19
76r7 Target{3|67R9} 1103b53 1120m21 1145r40
78V13 Is_In{boolean} 79>7 80>7 81r19 1163b13 1166l8 1166t13 1401s13
79r7 HT{3|67R9} 1163b20 1165r33
80r7 Key{3|1457R9} 1163b30 1165r37
83U14 Set_Element 83=27 83>52 84r19 113r59 1367b14 1370l8 1370t19
83r27 Node{3|1457R9} 1367b27 1369m7
83*52 Item{3|54+9} 1367b52 1369r23
86V13 Next{2|22I9} 86>19 101r20 106r26 798r29 1255b13 1258l8 1258t12
86r19 Node{3|1457R9} 1255b19 1257r14
89U14 Set_Next 89=24 89>49 90r19 102r20 107r26 799r29 1376b14 1379l8 1379t16
89r24 Node{3|1457R9} 1376b24 1378m7
89i49 Next{2|22I9} 1376b49 1378r20
92V13 Vet{boolean} 92>18 92>35 296s22 431s10 927s13 1270s22 1344s10 1530b13
. 1574l8 1574t11
92r18 Container{3|67R9} 1530b18 1537r26
92r35 Position{3|75R9} 1530b35 1532r10 1546r13 1550r16 1550r38 1554r52 1557r20
98K12 HT_Ops[16|49] 147r21 162r13 189r7 208r7 298r7 330r22 336r31 337r19
. 342r28 348r22 356r13 360r22 368r13 448r13 475r23 531r37 635r35 644r25 713r35
. 726r25 738r35 748r25 766r10 775r33 1086r19 1089r25 1095r28 1096r16 1107r13
. 1197r25 1238r12 1242r15 1244r10 1272r23 1308r23 1389r32 1474r13
104K12 Element_Keys[14|53] 113r10 281r7 332r16 353r22 459r22 504r7 516r37
. 1037r13 1165r14 1319r37 1554r26
112U14 Replace_Element[14|105] 952s10 1346s7
130i10 Node{2|22I9} 134m10 135r16 139r43 142r66 147m13 147r40
131i10 ENode{2|22I9} 136m13 141r16 142r36
159U17 Insert_Element 159>33 162r39 168b17 176l11 176t25
159i33 Source_Node{2|22I9} 168b33 169r46
161U17 Insert_Elements[16|131] 190s7
169r10 N{3|1457R9} 174r26
170i10 X{2|22I9} 174m37
171b10 B{boolean} 174m40 175r25
228i7 C{2|22I9} 233r21 255r18
230r7 Cu{3|75R9} 256m10 257r24
231m7 H{2|19M9} 243m7 244r13 245r26 245r48 246m10 246r15
232i7 N{2|22I9} 249m7 250r13 251r24 251r44 252m10 252r15 255r13 256r25 258m10
. 258r15
233r7 Target{3|67R9} 240m7 241m7 245m10 251m10 257m16 257r16 261r14
278i7 X{2|22I9} 281m59 283r10 287r24
309i7 Src_Last{2|22I9} 349m10 352r25
310i7 Src_Length{2|22I9} 323m7 325r10 329r10
311i7 Src_Node{2|22I9} 348m10 352r13 353r53 360m10 360r43
312i7 Tgt_Node{2|22I9} 330m10 331r16 332r47 334r46 336m19 336r52 342m16 342r49
. 353m10 355r13 356r51 357r27
314a7 TN{13|65A12[3|1464]} 332r43
315a7 SN{13|65A12[3|1464]} 353r49
334i19 X{2|22I9} 337r57 338r33
365U17 Process 365>26 368r39 374b17 384l11 384t18
365i26 L_Node{2|22I9} 374b26 376r47
367U17 Iterate[16|131] 389s7
375b10 B{boolean} 381m35 382r28
376*10 E{3|54+9} 380r26 381r29
377i10 X{2|22I9} 381m32
393i7 C{2|22I9} 409m7 410r29 412r23
394m7 H{2|19M9} 410m7 412r26
412r14 S{3|67R9} 413m45 413r45
442V16 Find_Equivalent_Key{boolean} 443>10 444>10 445r22 448r35 454b16 477l11
. 477t30
443c10 R_HT<13|68R12[3|1464]> 455b10 459r42 460r34 461m39 461r39 475r36
444r10 L_Node{3|1457R9} 456b10 459r48 470r19
447V16 Is_Equivalent[16|75]{boolean} 482s14
458m10 R_Index{2|19M9} 460r48
460i10 R_Node{2|22I9} 465r16 470r39 475m13 475r42
461a10 RN{13|65A12[3|1464]} 470r35
502i7 X{2|22I9} 504m59 505r24
516i7 Node{2|22I9} 519r10 523r23
531i7 Node{2|22I9} 534r10 538r23
556i14 I<integer> 557r73
572i14 I<integer> 574r61
594i14 I<integer> 596r66
622i14 I<integer> 623r61 624r23
667r14 C{7|36R9[3|187]} 668r40 669r39 670r39 671r55 672r55
693r14 C{7|36R9[3|187]} 694r16 695r44 696r45 697r45 698r61 699r61
775U17 Allocate[16|104] 777s7
787V16 Equivalent_Key_Node{boolean} 788>10 789>10 790r22 802r29 855b16 861l11
. 861t30
788*10 Key{3|1277+12} 856b10 860r34
789r10 Node{3|1457R9} 857b10 860r57
796K15 Key_Keys[14|53] 824r10 870r10 882r40 945r40
821i10 X{2|22I9} 824m57 826r13 830r27
841i10 Node{2|22I9} 844r13 848r34
868i10 X{2|22I9} 870m57 871r27
882i10 Node{2|22I9} 884r21 884r60
903*17 E{9|36+9[3|90]} 904r40 905r61
930r13 N{3|1457R9} 932r25
945i10 Node{2|22I9} 948r13 952r38
986b7 Inserted{boolean} 990m46 992r14
987r7 Position{3|75R9} 990m36 993r27
1012b7 Inserted{boolean} 1016m46 1018r14
1013r7 Position{3|75R9} 1016m36
1030U17 Allocate_Set_Element 1030=39 1031r22 1040r31 1046b17 1049l11 1049t31
1030r39 Node{3|1457R9} 1046b39 1048m10
1033V16 New_Node{2|22I9} 1034r22 1037r54 1055b16 1060l11 1060t19
1036U17 Local_Insert[14|91] 1065s7
1039U17 Allocate[60] 1058s10
1056i10 Result{2|22I9} 1058m31 1059r17
1073i7 Tgt_Node{2|22I9} 1086m7 1087r13 1088r31 1089m13 1089r46 1093r43 1095m16
. 1095r49
1074a7 TN{13|65A12[3|1464]} 1088r27
1093i16 X{2|22I9} 1096r54 1097r30
1104U17 Process 1104>26 1107r39 1113b17 1123l11 1123t18
1104i26 L_Node{2|22I9} 1113b26 1114r47
1106U17 Iterate[16|131] 1128s7
1114*10 E{3|54+9} 1119r26 1120r29
1115i10 X{2|22I9} 1120m32
1116b10 B{boolean} 1120m35 1121r28
1132i7 C{2|22I9} 1140m7 1141r29 1143r23
1133m7 H{2|19M9} 1141m7 1143r26
1143r14 S{3|67R9} 1145m50 1145r50
1173i7 Subset_Node{2|22I9} 1185m7 1186r13 1188r49 1197m10 1197r46
1174a7 Subset_Nodes{13|65A12[3|1464]} 1188r35
1188r13 N=1188:35{3|1457R9} 1189r38
1189*13 E{3|54+9} 1192r30
1219a7 NN{13|65A12[3|1464]} 1240r26
1220i7 X{2|22I9} 1238m7 1239r13 1240r30 1242r36 1244r48 1245r24 1247m10
1220i10 Y{2|22I9} 1242m10 1247r15
1285i7 Left_Node{2|22I9} 1297m7 1298r13 1300r47 1308m10 1308r42
1286a7 Left_Nodes{13|65A12[3|1464]} 1300r35
1300r13 N=1300:35{3|1457R9} 1301r38
1301*13 E{3|54+9} 1303r29
1319i7 Node{2|22I9} 1322r10 1326r24
1386U17 Process 1386>26 1387r22 1389r58 1395b17 1407l11 1407t18
1386i26 Source_Node{2|22I9} 1395b26 1397r46
1389U17 Iterate[16|131] 1422s7
1396b10 B{boolean} 1404m43 1405r28
1397r10 N{3|1457R9} 1401r28 1402r29 1404r29
1398i10 X{2|22I9} 1404m40
1426i7 C{2|22I9} 1442m7 1443r29 1445r23
1427m7 H{2|19M9} 1443m7 1445r26
1445r14 S{3|67R9} 1446m35 1446r35 1447m35 1447r35
1456i7 X{2|22I9} 1461m31
1457b7 B{boolean} 1461m34 1462r25
1460r14 S{3|67R9} 1461m18 1461r18
1471U17 Process 1471>26 1474r39 1480b17 1489l11 1489t18
1471i26 Src_Node{2|22I9} 1480b26 1481r46
1473U17 Iterate[16|131] 1498s7
1481r10 N{3|1457R9} 1482r35
1482*10 E{3|54+9} 1488r26
1484i10 X{2|22I9} 1488m29
1485b10 B{boolean} 1488m32
1502i7 C{2|22I9} 1518m7 1519r29 1520r23
1503m7 H{2|19M9} 1519m7 1520r26
1520r14 S{3|67R9} 1521m28 1521r28 1522m27 1522r27
1537r10 S=1537:26{3|67R9} 1538r33 1542r13 1554r15 1554r46 1556r24
1538a10 N{13|65A12[3|1464]} 1546r29 1550r13 1554r49 1565r20 1569r18
1539i10 X{2|22I9} 1554m10 1557r16 1561r16 1565r16 1565r23 1569m13 1569r21
1556i14 J<integer>
X 7 a-cofuma.ads
36+9 Key_Type 3|188r10
37+9 Element_Type 3|189r10
39V18 Equivalent_Keys{boolean} 3|190r10
42V19 "="{boolean} 5|43i19
44b4 Enable_Handling_Of_Equivalence{boolean} 3|191r10
49k24*Functional_Maps 3|48w21 187r39 7|376e35
335V14 "="=337:48{boolean} 5|43i19
X 9 a-cofuse.ads
36+9 Element_Type 3|91r10
38V18 Equivalent_Elements{boolean} 3|92r10
47k24*Functional_Sets 3|49w21 90r39 9|322e35
288V14 "="=290:52{boolean} 5|43i19
X 11 a-cofuve.ads
36E9 Index_Type 3|104r10
40+9 Element_Type 3|103r10
41V19 "="{boolean} 5|43i19
43k24*Functional_Vectors 3|50w21 102r39 11|394e38
X 13 a-cohata.ads
35K24*Hash_Tables 3|51w29 1465r21 4|28r21 31r21 98r26 104r32 796r31 13|82e31
63k12*Generic_Bounded_Hash_Table_Types 3|1465r33 13|80e40
65A12 Nodes_Type(3|1457R9)<2|22I9> 4|314r12[3|1464] 315r12[3|1464] 461r20[3|1464]
. 1074r18[3|1464] 1174r22[3|1464] 1219r23[3|1464] 1286r20[3|1464] 1538r14[3|1464]
66A12 Buckets_Type(2|22I9)<2|19M9>
68R12 Hash_Table_Type 3|1468r19[1464] 4|443r19[3|1464] 455r19[3|1464]
72i10 Length{2|22I9} 4|240m14[3|1464] 240r31[3|1464] 323r28[3|1464] 329r31[3|1464]
. 1081r17[3|1464] 1209r24[3|1464] 1234r17[3|1464] 1542r15[3|1464] 1556r26[3|1464]
74i10 Free<integer> 4|241m14[3|1464] 241r29[3|1464]
75a10 Nodes{65A12[3|1464]} 4|139r36[3|1464] 142r29[3|1464] 142r59[3|1464]
. 169m39[3|1464] 199r24[3|1464] 251m17[3|1464] 251r37[3|1464] 314m38[3|1464]
. 315m38[3|1464] 376m40[3|1464] 433r24[3|1464] 461m44[3|1464] 643r38[3|1464]
. 724r41[3|1464] 765m13[3|1464] 778m10[3|1464] 848r27[3|1464] 930m46[3|1464]
. 964r31[3|1464] 993m20[3|1464] 1074m44[3|1464] 1114m40[3|1464] 1174m48[3|1464]
. 1219m49[3|1464] 1286m44[3|1464] 1326m17[3|1464] 1397m39[3|1464] 1481m39[3|1464]
. 1538m35[3|1464]
76a10 Buckets{66A12[3|1464]} 4|245m17[3|1464] 245r39[3|1464] 460r39[3|1464]
. 1554r17[3|1464]
X 14 a-chtgbk.ads
34K17 HT_Types 4|105r7 797r10
39V18 Next{2|22I9} 4|106r7 798r10
41U19 Set_Next 4|107r7 799r10
45+9 Key_Type 4|108r7 800r10
47V18 Hash{2|19M9} 4|109r7 801r10
49V18 Equivalent_Keys{boolean} 4|110r7 802r10
53k36*Generic_Bounded_Keys 4|31w33 32r50 104r44 796r43 14|120e52
56V13 Index{2|19M9} 4|459s35[104] 1554s39[104]
76U14 Delete_Key_Sans_Free 4|281s20[104] 504s20[104] 824s19[796] 870s19[796]
84V13 Find{2|22I9} 4|332s29[104] 353s35[104] 516s50[104] 882s49[796] 945s49[796]
. 1165s27[104] 1319s50[104]
91u14 Generic_Conditional_Insert 4|1037r26[104]
105u14 Generic_Replace_Element 4|113r23[104]
X 16 a-chtgbo.ads
36K17 HT_Types 4|99r7
41V18 Hash_Node{2|19M9} 4|100r7
43V18 Next{2|22I9} 4|101r7
45U19 Set_Next 4|102r7
49k36*Generic_Bounded_Operations 4|28w33 29r50 98r38 16|156e58
75v13 Generic_Equal 4|448r20[98]
82U14 Clear 4|189s14[98] 208s14[98]
97U14 Delete_Node_Sans_Free 4|298s14[98] 337s26[98] 356s20[98] 1096s23[98]
. 1244s17[98]
104u14 Generic_Allocate 4|775r40[98]
111U14 Free 4|766s17[98]
117V13 First{2|22I9} 4|330s29[98] 348s29[98] 531s44[98] 635s42[98] 713s42[98]
. 738s42[98] 1086s26[98] 1238s19[98]
121V13 Next{2|22I9} 4|147s28[98] 336s38[98] 342s35[98] 360s29[98] 475s30[98]
. 644s32[98] 726s32[98] 748s32[98] 1089s32[98] 1095s35[98] 1197s32[98] 1242s22[98]
. 1272s30[98] 1308s30[98]
131u14 Generic_Iteration 4|162r20[98] 368r20[98] 1107r20[98] 1389r39[98]
. 1474r20[98]
X 20 a-coprnu.ads
35K24*Prime_Numbers 4|34w21 34r55 20|51e33
48V13*To_Prime{2|19M9} 4|270s14
X 27 system.ads
37K9*System 4|36w6 36r23 27|148e11
67M9*Address 4|36r30
81V14*"="{boolean} 4|181r25 318r25 397r23 1077r25 1136r23 1177r25 1223r25
. 1293r23 1412r25 1430r23 1494r25 1506r23