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 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 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 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