V "GNAT Lib v4.8" 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_ACCESS_SUBPROGRAMS RV NO_ALLOCATORS RV NO_DISPATCH RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTION_PROPAGATION RV NO_EXCEPTIONS RV NO_FINALIZATION RV NO_LOCAL_ALLOCATORS RV NO_NESTED_FINALIZATION RV NO_RECURSION RV NO_STANDARD_STORAGE_POOLS RV NO_STREAMS RV NO_UNCHECKED_ACCESS RV NO_UNCHECKED_DEALLOCATION RV NO_DEFAULT_INITIALIZATION RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV NO_IMPLICIT_ALIASING RV SPARK U ada.containers.indefinite_ordered_multisets%b a-ciormu.adb ad7d790a NE OL PK GE W ada%s ada.ads ada.ali W ada.containers%s a-contai.ads a-contai.ali W ada.containers.red_black_trees%s a-crbltr.ads a-crbltr.ali W ada.containers.red_black_trees.generic_keys%s W ada.containers.red_black_trees.generic_operations%s W ada.containers.red_black_trees.generic_set_operations%s Z ada.streams%s a-stream.ads a-stream.ali W ada.unchecked_deallocation%s W system%s system.ads system.ali U ada.containers.indefinite_ordered_multisets%s a-ciormu.ads c92d525f BN NE OL PR RT PK GE W ada%s ada.ads ada.ali W ada.containers%s a-contai.ads a-contai.ali W ada.containers.red_black_trees%s a-crbltr.ads a-crbltr.ali W ada.finalization%s a-finali.adb a-finali.ali W ada.iterator_interfaces%s W ada.streams%s a-stream.ads a-stream.ali D ada.ads 20070406121342 3ffc8e18 D a-contai.ads 20101025165030 61e5e089 D a-ciormu.ads 20111202173632 12515916 D a-ciormu.adb 20121001124122 a0a848f6 D a-crbltr.ads 20110831120720 b8a2dc05 D a-crbtgk.ads 20090409180020 18ae3fab D a-crbtgk.adb 20111221164222 4933aa9d D a-crbtgo.ads 20090409180020 375f6f61 D a-crbtgo.adb 20091130185640 86232183 D a-rbtgso.ads 20090409180020 8700a961 D a-rbtgso.adb 20090409180020 f22a83dd D a-except.ads 20120716155142 10fcae55 D a-finali.ads 20111121143556 52ecdc1b D a-iteint.ads 20110906122602 7c7305e9 D a-stream.ads 20090409180020 2ca4ee37 D a-tags.ads 20111212145430 6c0509d0 D a-unccon.ads 20070406121342 f9eb8f06 D a-uncdea.ads 20070406121342 f15a5ed1 D system.ads 20150624111858 462fcf90 D s-exctab.ads 20090417161548 66e51330 D s-finroo.ads 20120426125924 4ff27390 D s-parame.ads 20110830170626 b6e20cc0 D s-soflin.ads 20120515124620 24c8153c D s-stache.ads 20090417160712 596fc1b4 D s-stalib.ads 20130104154956 f78bcf95 D s-stoele.ads 20090417160712 facd7d98 D s-stoele.adb 20100617182356 afc5dc80 D s-traent.ads 20090417160712 5221ee41 X 1 ada.ads 16K9*Ada 19e8 3|35r14 36r14 37r14 38r6 46r9 75r6 456r20 466r8 467r8 511r5 . 4|30r6 32r6 35r6 38r6 43r14 153r10 694r13 2076r5 X 2 a-contai.ads 16K13*Containers 1|16k9 2|24e19 3|35r18 46r13 511r9 4|32r10 35r10 38r10 43r18 . 2076r9 20I9*Count_Type 3|93r45 4|1536r45 X 3 a-ciormu.ads 41+9 Element_Type 43r37 44r37 50r48 56r29 90r32 102r48 109r19 124r55 144r19 . 156r57 166r54 169r53 250r52 257r51 278r43 282r44 289r46 296r47 305r41 308r41 . 311r25 314r25 331r19 338r19 355r36 368r65 404r52 442r34 4|107r18 120r15 . 125r15 135r14 153r38 170r32 205r41 221r25 279r41 295r25 341r46 378r47 399r33 . 418r53 515r48 535r48 583r54 602r43 663r52 677r44 801r65 1019r66 1041r17 . 1125r57 1134r19 1148r18 1171r42 1221r36 1285r15 1299r15 1330r19 1513r51 . 1667r55 1729r30 1729r44 1758r14 1781r33 1813r33 1842r18 1869r19 2009r32 . 2059r10 43V19 "<"{boolean} 43>23 43>29 4|202s36 218s36 234s19 276s37 292s20 308s37 . 537s15 538s23 564s27 566s30 1291s32 1303s19 1312s28 1761s15 1762s34 43*23 Left{41+9} 43*29 Right{41+9} 44V19 "="{boolean} 44>23 44>29 4|1277s28 44*23 Left{41+9} 44*29 Right{41+9} 46k24*Indefinite_Ordered_Multisets 2|16k13 3|41z9 43z19 44z19 511l20 511e48 . 4|43b29 2076l20 2076t48 50V13*Equivalent_Elements{boolean} 50>34 50>40 4|535b13 544l8 544t27 50*34 Left{41+9} 4|535b34 537r10 538r25 50*40 Right{41+9} 4|535b40 537r17 538r17 54R9*Set 58r41 63r25 77P14 77r32 86p13 86r44 90p13 90r53 93p13 93r33 96p13 . 96r35 99p14 99r40 106p14 107r26 131p14 131r38 131r52 133p13 133r28 133r40 . 135p14 135r36 135r57 142p14 143r26 156p14 156r41 166p14 166r42 169p14 169r41 . 173p14 173r41 179p14 179r47 182p14 182r46 185p14 185r37 185r51 192p13 192r34 . 192r46 197r33 197r45 199p14 199r44 199r58 205p13 205r41 205r53 212r34 212r46 . 214p14 214r42 214r56 219p13 219r39 219r51 223r32 223r44 225p14 225r52 225r66 . 231p13 231r49 231r61 236r34 236r46 238p13 238r36 242p13 242r33 242r47 246p13 . 246r32 250p13 250r40 253p13 253r31 257p13 257r39 278p13 278r31 282p13 282r32 . 289p13 289r34 296p13 296r35 317p14 318r19 323p14 324r19 329p14 330r19 336p14 . 337r19 343p13 344r19 347p13 348r19 368r37 371r45 374r44 378r34 383r35 390r37 . 397r38 401r29 417r22 425r22 456c9 458e14 460P25 460r52 462r54 469r34 491p14 . 493r19 495r8 497p14 499r23 501r8 503r25 4|241r32 318r41 327r38 327r52 341r34 . 360r40 378r35 387r28 387r40 389r23 418r41 439r41 466r47 483r46 500r42 500r56 . 505r39 505r51 508r14 550r44 583r42 602r31 628r32 663r40 677r32 752r37 767r38 . 776r44 801r37 831r45 850r34 865r35 905r22 970r22 1017r29 1125r41 1133r26 . 1250r44 1250r58 1255r41 1255r53 1259r14 1266r35 1319r33 1319r47 1329r19 . 1368r19 1405r34 1427r34 1478r31 1513r39 1536r33 1548r36 1548r57 1602r36 . 1711r23 1840r25 1868r19 1907r19 1993r52 1993r66 1998r49 1998r61 2002r14 . 2009r53 2015r14 2022r37 2022r51 2027r34 2027r46 2031r14 2040r19 13|51P14 60R9*Cursor 61r41 67r26 71r37 75r31 102r33 108r19 123r18 145r23 173r64 246r44 . 253r43 260r30 260r45 266r38 269r34 269r49 275r42 278r64 282r65 289r67 299r32 . 302r32 305r25 308r25 311r47 314r47 319r57 325r57 332r57 339r57 349r19 365r32 . 378r62 383r63 390r65 402r22 419r60 427r60 472c9 475e14 479r16 481r8 485r20 . 487r8 489r26 489r36 4|54r57 55r57 59r18 59r33 63r18 63r33 178r32 205r25 . 221r47 250r32 279r25 295r47 341r67 350r14 439r64 515r33 602r64 610r14 628r44 . 634r14 637r46 655r17 677r65 685r14 752r65 760r17 850r62 858r17 865r63 873r17 . 907r60 921r22 947r32 972r60 990r22 1018r22 1116r37 1126r18 1135r23 1331r57 . 1345r19 1369r57 1383r19 1427r47 1478r43 1484r14 1487r45 1505r17 1557r30 . 1557r45 1575r17 1579r38 1584r49 1584r64 1620r34 1620r49 1638r17 1642r42 . 1647r53 1647r68 1666r18 1745r20 1841r18 1870r57 1884r19 1908r57 1922r19 . 2070r16 63r4*Empty_Set{54R9} 503c4 67r4*No_Element{60R9} 489c4 4|347r17 380r40 607r17 631r17 682r17 757r20 769r42 . 855r20 870r20 1118r26 1445r18 1481r17 1559r21 1560r17 1572r20 1587r17 1622r21 . 1623r17 1635r20 1650r17 71V13*Has_Element{boolean} 71>26 75r39 4|1116b13 1119l8 1119t19 71r26 Position{60R9} 4|1116b26 1118r14 74K12*Set_Iterator_Interfaces[14|21] 345r14 350r14 4|46r6 1406r13 1428r13 77V14*"="{boolean} 77>18 77>24 4|241b14 244l9 244t11 77r18 Left{54R9} 4|241b18 243r24 77r24 Right{54R9} 4|241b24 243r35 86V13*Equivalent_Sets{boolean} 86>30 86>36 4|550b13 577l8 577t23 86r30 Left{54R9} 4|550b30 576r29 86r36 Right{54R9} 4|550b36 576r40 90V13*To_Set{54R9} 90>21 4|2009b13 2016l8 2016t14 90*21 New_Item{41+9} 4|2009b21 2014r31 93V13*Length{2|20I9} 93>21 4|1536b13 1539l8 1539t14 93r21 Container{54R9} 4|1536b21 1538r14 96V13*Is_Empty{boolean} 96>23 4|1266b13 1269l8 1269t16 96r23 Container{54R9} 4|1266b23 1268r14 99U14*Clear 99=21 462r67 4|333s14 360b14 363l8 363t13 99r21 Container{54R9} 4|360b21 362m14 362r14 102V13*Element{41+9} 102>22 4|515b13 529l8 529t15 102r22 Position{60R9} 4|515b22 517r10 521r10 525r27 525r52 528r14 106U14*Replace_Element 107=7 108>7 109>7 4|1839b14 1861l8 1861t23 107r7 Container{54R9} 4|1840b6 1853m32 1853r32 1857r27 1860m24 1860r24 108r7 Position{60R9} 4|1841b6 1845r10 1849r10 1853r10 1857r43 1860r40 109*7 New_Item{41+9} 4|1842b6 1860r55 122U14*Query_Element 123>7 124^7 4|1665b14 1703l8 1703t21 123r7 Position{60R9} 4|1666b7 1670r10 1674r10 1678r27 1678r52 1682m32 1682r32 . 1692r22 124p7 Process 4|1667b7 1692r13 124*45 Element{41+9} 131U14*Assign 131=22 131>43 4|327b14 335l8 335t14 390s17 131r22 Target{54R9} 4|327b22 329m10 329r10 333m7 333r7 334m7 334r7 131r43 Source{54R9} 4|327b43 329r27 334r21 133V13*Copy{54R9} 133>19 4|387b13 392l8 392t12 133r19 Source{54R9} 4|387b19 390r25 135U14*Move 135=20 135=41 4|1548b14 1551l8 1551t12 135r20 Target{54R9} 4|1548b20 1550m23 1550r23 135r41 Source{54R9} 4|1548b41 1550m46 1550r46 142U14*Insert 143=7 144>7 145<7 4|1129s7 1132b14 1140l8 1140t14 143r7 Container{54R9} 4|1133b7 1138m25 1138r25 1139m29 1139r29 144*7 New_Item{41+9} 4|1134b7 1138r41 145r7 Position{60R9} 4|1135b7 1138m51 1138r51 1139m7 156U14*Insert 156=22 156>46 4|1125b14 1130l8 1130t14 156r22 Container{54R9} 4|1125b22 1129m15 156*46 New_Item{41+9} 4|1125b46 1129r26 166U14*Exclude 166=23 166>47 4|583b14 596l8 596t15 166r23 Container{54R9} 4|583b23 584m32 584r32 166*47 Item{41+9} 4|583b47 585r57 586r70 169U14*Delete 169=22 169>46 4|418b14 437l8 437t14 169r22 Container{54R9} 4|418b22 419m32 419r32 169*46 Item{41+9} 4|418b46 420r57 421r70 173U14*Delete 173=22 173=46 4|439b14 460l8 460t14 173r22 Container{54R9} 4|439b22 449m32 449r32 453r27 456m46 456r46 173r46 Position{60R9} 4|439b46 441r10 445r10 449r10 453r43 456r62 457m13 . 457r13 459m7 179U14*Delete_First 179=28 4|466b14 477l8 477t20 179r28 Container{54R9} 4|466b28 467m32 467r32 182U14*Delete_Last 182=27 4|483b14 494l8 494t19 182r27 Container{54R9} 4|483b27 484m32 484r32 185U14*Union 185=21 185>42 4|334s14 2022b14 2025l8 2025t13 185r21 Target{54R9} 4|2022b21 2024m22 2024r22 185r42 Source{54R9} 4|2022b42 2024r35 192V13*Union{54R9} 192>20 192>26 197r57 4|2027b13 2032l8 2032t13 192r20 Left{54R9} 4|2027b20 2029r31 192r26 Right{54R9} 4|2027b26 2029r42 197V14*"or"=197:57{54R9} 197r19 Left{54R9} 197r25 Right{54R9} 199U14*Intersection 199=28 199>49 4|1250b14 1253l8 1253t20 199r28 Target{54R9} 4|1250b28 1252m29 1252r29 199r49 Source{54R9} 4|1250b49 1252r42 205V13*Intersection{54R9} 205>27 205>33 212r58 4|1255b13 1260l8 1260t20 205r27 Left{54R9} 4|1255b27 1257r31 205r33 Right{54R9} 4|1255b33 1257r42 212V14*"and"=212:58{54R9} 212r20 Left{54R9} 212r26 Right{54R9} 214U14*Difference 214=26 214>47 4|500b14 503l8 503t18 214r26 Target{54R9} 4|500b26 502m27 502r27 214r47 Source{54R9} 4|500b47 502r40 219V13*Difference{54R9} 219>25 219>31 223r56 4|505b13 509l8 509t18 219r25 Left{54R9} 4|505b25 506r56 219r31 Right{54R9} 4|505b31 506r67 223V14*"-"=223:56{54R9} 223r18 Left{54R9} 223r24 Right{54R9} 225U14*Symmetric_Difference 225=36 225>57 4|1993b14 1996l8 1996t28 225r36 Target{54R9} 4|1993b36 1995m37 1995r37 225r57 Source{54R9} 4|1993b57 1995r50 231V13*Symmetric_Difference{54R9} 231>35 231>41 236r58 4|1998b13 2003l8 2003t28 231r35 Left{54R9} 4|1998b35 2000r46 231r41 Right{54R9} 4|1998b41 2000r57 236V14*"xor"=236:58{54R9} 236r20 Left{54R9} 236r26 Right{54R9} 238V13*Overlap{boolean} 238>22 238>28 4|1602b13 1605l8 1605t15 238r22 Left{54R9} 4|1602b22 1604r31 238r28 Right{54R9} 4|1602b28 1604r42 242V13*Is_Subset{boolean} 242>24 242>38 4|1319b13 1322l8 1322t17 242r24 Subset{54R9} 4|1319b24 1321r43 242r38 Of_Set{54R9} 4|1319b38 1321r66 246V13*First{60R9} 246>20 4|628b13 635l8 635t13 653s34 246r20 Container{54R9} 4|628b20 630r10 634r22 634r53 250V13*First_Element{41+9} 250>28 4|663b13 671l8 671t21 250r28 Container{54R9} 4|663b28 665r10 669r22 670r14 253V13*Last{60R9} 253>19 4|1478b13 1485l8 1485t12 1503s34 253r19 Container{54R9} 4|1478b19 1480r10 1484r22 1484r53 257V13*Last_Element{41+9} 257>27 4|1513b13 1521l8 1521t20 257r27 Container{54R9} 4|1513b27 1515r10 1519r22 1520r14 260V13*Next{60R9} 260>19 4|1557b13 1577l8 1577t12 1581s19 1595s14 260r19 Position{60R9} 4|1557b19 1559r10 1563r27 1563r52 1568r41 1575r25 266U14*Next 266=20 4|1579b14 1582l8 1582t12 266r20 Position{60R9} 4|1579b20 1581m7 1581r25 269V13*Previous{60R9} 269>23 4|1620b13 1640l8 1640t16 1644s19 1658s14 269r23 Position{60R9} 4|1620b23 1622r10 1626r27 1626r52 1631r45 1638r25 275U14*Previous 275=24 4|1642b14 1645l8 1645t16 275r24 Position{60R9} 4|1642b24 1644m7 1644r29 278V13*Find{60R9} 278>19 278>36 4|380s14 602b13 611l8 611t12 278r19 Container{54R9} 4|602b19 603r57 610r22 278*36 Item{41+9} 4|602b36 603r73 282V13*Floor{60R9} 282>20 282>37 4|677b13 686l8 686t13 282r20 Container{54R9} 4|677b20 678r58 685r22 282*37 Item{41+9} 4|677b37 678r74 289V13*Ceiling{60R9} 289>22 289>39 4|341b13 351l8 351t15 289r22 Container{54R9} 4|341b22 343r31 350r22 289*39 Item{41+9} 4|341b39 343r47 296V13*Contains{boolean} 296>23 296>40 4|378b13 381l8 381t16 296r23 Container{54R9} 4|378b23 380r20 296*40 Item{41+9} 4|378b40 380r31 299V14*"<"{boolean} 299>18 299>24 4|178b14 203l9 203t11 299r18 Left{60R9} 4|178b18 180r10 188r10 196r27 196r48 202r14 299r24 Right{60R9} 4|178b24 184r10 192r10 199r27 199r49 202r38 302V14*">"{boolean} 302>18 302>24 4|250b14 277l9 277t11 302r18 Left{60R9} 4|250b18 252r10 260r10 268r27 268r48 276r39 302r24 Right{60R9} 4|250b24 256r10 264r10 271r27 271r49 276r14 305V14*"<"{boolean} 305>18 305>33 4|205b14 219l9 219t11 305r18 Left{60R9} 4|205b18 207r10 211r10 215r27 215r48 218r14 305*33 Right{41+9} 4|205b33 218r38 308V14*">"{boolean} 308>18 308>33 4|279b14 293l9 293t11 308r18 Left{60R9} 4|279b18 281r10 285r10 289r27 289r48 292r22 308*33 Right{41+9} 4|279b33 292r14 311V14*"<"{boolean} 311>18 311>39 4|221b14 235l9 235t11 311*18 Left{41+9} 4|221b18 234r14 311r39 Right{60R9} 4|221b39 223r10 227r10 231r27 231r49 234r21 314V14*">"{boolean} 314>18 314>39 4|295b14 309l9 309t11 314*18 Left{41+9} 4|295b18 308r39 314r39 Right{60R9} 4|295b39 297r10 301r10 305r27 305r49 308r14 317U14*Iterate 318>7 319^7 4|1367b14 1403l8 1403t15 318r7 Container{54R9} 4|1368b7 1383r27 1386r29 319p7 Process 4|1369b7 1383r10 319r46 Position{60R9} 323U14*Reverse_Iterate 324>7 325^7 4|1906b14 1942l8 1942t23 324r7 Container{54R9} 4|1907b7 1922r27 1925r29 325p7 Process 4|1908b7 1922r10 325r46 Position{60R9} 329U14*Iterate 330>7 331>7 332^7 4|1328b14 1365l8 1365t15 330r7 Container{54R9} 4|1329b7 1345r27 1348r29 331*7 Item{41+9} 4|1330b7 1357r28 332p7 Process 4|1331b7 1345r10 332r46 Position{60R9} 336U14*Reverse_Iterate 337>7 338>7 339^7 4|1867b14 1904l8 1904t23 337r7 Container{54R9} 4|1868b7 1884r27 1887r29 338*7 Item{41+9} 4|1869b7 1896r36 339p7 Process 4|1870b7 1884r10 339r46 Position{60R9} 343V13*Iterate<14|32R9[74]> 344>7 4|1405b13 1425l8 1425t15 344r7 Container{54R9} 4|1405b22 1408r34 347V13*Iterate<14|32R9[74]> 348>7 349>7 4|1427b13 1472l8 1472t15 348r7 Container{54R9} 4|1427b22 1430r34 1450r29 1455r27 349r7 Start{60R9} 4|1427b39 1445r10 1450r10 1455r43 1468r49 353+12 Key_Type 355r57 357r40 361r47 365r47 368r48 371r56 374r55 378r45 383r46 . 390r48 397r49 418r22 426r22 4|728r18 733r18 744r35 752r48 767r49 776r55 . 801r48 816r47 831r56 850r45 865r46 881r18 893r18 906r22 947r47 971r22 1042r26 355V21 Key{353+12} 355>26 4|885s17 897s24 962s17 1042s38 1063s53 355*26 Element{41+9} 357V22 "<"{boolean} 357>26 357>32 4|818s18 819s26 885s41 897s22 357*26 Left{353+12} 357*32 Right{353+12} 359k12 Generic_Keys 353z12 355z21 357z22 432l8 432e20 4|721b17 1110l8 1110t20 361V16*Equivalent_Keys{boolean} 361>33 361>39 4|816b16 825l11 825t26 1063s16 361*33 Left{353+12} 4|816b33 818r13 819r28 1063r33 361*39 Right{353+12} 4|816b39 818r20 819r20 1063r44 365V16*Key{353+12} 365>21 4|947b16 963l11 963t14 365r21 Position{60R9} 4|947b21 949r13 954r13 959r30 959r55 962r22 368V16*Element{41+9} 368>25 368>42 4|801b16 810l11 810t18 368r25 Container{54R9} 4|801b25 802r56 368*42 Key{353+12} 4|801b42 802r72 371U17*Exclude 371=26 371>50 4|831b17 844l11 844t18 371r26 Container{54R9} 4|831b26 832m35 832r35 371*50 Key{353+12} 4|831b50 833r56 834r69 374U17*Delete 374=25 374>49 4|776b17 795l11 795t17 374r25 Container{54R9} 4|776b25 777m35 777r35 374*49 Key{353+12} 4|776b49 778r56 779r69 378V16*Find{60R9} 378>22 378>39 4|769s17 850b16 859l11 859t15 378r22 Container{54R9} 4|850b22 851r56 858r25 378*39 Key{353+12} 4|850b39 851r72 383V16*Floor{60R9} 383>23 383>40 4|865b16 874l11 874t16 383r23 Container{54R9} 4|865b23 866r57 873r25 383*40 Key{353+12} 4|865b40 866r73 390V16*Ceiling{60R9} 390>25 390>42 4|752b16 761l11 761t18 390r25 Container{54R9} 4|752b25 753r59 760r25 390*42 Key{353+12} 4|752b42 753r75 397V16*Contains{boolean} 397>26 397>43 4|767b16 770l11 770t19 397r26 Container{54R9} 4|767b26 769r23 397*43 Key{353+12} 4|767b43 769r34 400U17*Update_Element 401=10 402>10 403^10 4|1016b17 1108l11 1108t25 401r10 Container{54R9} 4|1017b10 1021m35 1021r35 1033m35 1033r35 402r10 Position{60R9} 4|1018b10 1022r41 1033r13 403p10 Process 4|1019b10 1052r16 404*35 Element{41+9} 416U17*Iterate 417>10 418>10 419^10 4|904b17 941l11 941t18 417r10 Container{54R9} 4|905b10 921r30 924r32 418*10 Key{353+12} 4|906b10 933r31 419p10 Process 4|907b10 921r13 419r49 Position{60R9} 424U17*Reverse_Iterate 425>10 426>10 427^10 4|969b17 1010l11 1010t26 425r10 Container{54R9} 4|970b10 990r30 993r32 426*10 Key{353+12} 4|971b10 1002r39 427p10 Process 4|972b10 990r13 427r49 Position{60R9} 439R9 Node_Type 440r31 444c9 453r7 4|402r18 694r41 1174r21 1224r21 1727r36 440P9 Node_Access(439R9) 445r17 446r17 447r17 454r7 474r19 4|49r19 72r27 . 75r26 75r46 78r28 78r48 81r27 81r47 84r33 84r55 87r31 87r51 90r32 90r53 . 93r32 100r33 100r53 103r31 108r22 112r18 113r18 114r22 116r40 121r15 126r15 . 129r39 134r14 342r23 369r27 398r33 398r53 420r14 421r23 422r14 468r14 485r14 . 552r48 562r48 585r14 586r23 587r14 603r23 678r23 692r31 694r52 729r18 734r18 . 753r26 778r17 779r26 780r17 802r26 833r17 834r26 835r17 851r26 866r26 882r18 . 894r18 909r41 919r41 974r41 988r41 1022r26 1073r38 1086r38 1096r22 1149r22 . 1151r32 1164r32 1198r18 1199r18 1200r22 1202r32 1220r32 1275r40 1286r15 . 1300r15 1310r39 1333r38 1343r38 1371r38 1381r38 1527r26 1527r46 1567r26 . 1611r28 1611r48 1630r26 1714r66 1725r66 1727r17 1757r14 1791r35 1804r35 . 1822r19 1872r38 1882r38 1910r38 1920r38 1948r27 1948r47 1957r32 1966r31 . 1966r51 1975r33 1975r55 1984r32 1984r53 2011r14 2044r19 2056r19 442P9 Element_Access(41+9) 449r17 4|153r52 399r11 1171r20 1221r14 1772r17 . 1824r14 445p7 Parent{440P9} 4|402m29 701m9 1089m21 1174m32 1224m32 1613r19 1815m18 . 1977m12 446p7 Left{440P9} 4|403m29 702m9 1090m21 1175m32 1225m32 1529r19 1816m18 . 1968m12 447p7 Right{440P9} 4|404m29 703m9 1091m21 1176m32 1226m32 1817m18 1950r19 . 1986m12 448e7 Color{5|35E9} 4|371r19 405m29 405r47 1088m21 1177m32 1227m32 1814m18 . 1959m12 449p7 Element{442P9} 4|188r20 192r21 202r24 202r49 211r20 218r24 227r21 234r32 . 260r20 264r21 276r25 276r49 285r20 292r32 301r21 308r25 399r54 406m29 445r24 . 521r24 528r28 564r15 564r31 566r18 566r34 669r43 670r35 706m26 709m15 809r22 . 885r28 897r35 954r27 962r36 1029r18 1041r43 1103r29 1178m32 1221r59 1228m32 . 1242r19 1277r16 1277r32 1291r20 1303r27 1312r16 1312r32 1519r42 1520r34 . 1674r24 1692r36 1729m15 1761r22 1762r22 1772r40 1781m18 1813m18 1824r37 . 1849r24 2059r44 452K12 Tree_Types[5|40] 457r14 465r8 4|142r46 457r7 Tree{5|41R12[452]} 504m35 4|196r42 199r43 215r42 231r43 243r29 243r41 . 268r42 271r43 289r42 305r43 320m25 343r41 362m24 419m42 453r37 456m56 467m42 . 484m42 502m34 502r47 506r61 506r73 525r46 576r34 576r46 584m42 603r67 618m44 . 630r20 634r63 665r20 669r32 670r24 678r68 753r69 777m45 802r66 832m45 851r66 . 866r67 924m42 959r49 993m42 1021m45 1138m35 1252m36 1252r49 1257r36 1257r48 . 1268r24 1321r50 1321r73 1348m39 1386m39 1409m29 1431m29 1455r37 1480r20 . 1484r63 1515r20 1519r32 1520r24 1538r24 1550m30 1550m53 1563r46 1604r36 . 1604r48 1626r46 1678r46 1682m51 1740m31 1857r37 1860m34 1887m39 1925m39 . 1995m44 1995r57 2000r51 2000r63 2024m29 2024r42 2029r36 2029r48 2065r32 460U25 Adjust<13|52p14> 460=33 4|318b14 321l8 321t14 460r33 Container{54R9} 4|318b22 320m15 320r15 462U25 Finalize=462:67<13|53p14> 462r35 Container{54R9} 469P9 Set_Access(54R9) 470r8 473r19 4|48r19 1408r20 1430r20 473p7 Container{469P9} 4|196r31 196r32 199r32 199r33 215r31 215r32 231r32 . 231r33 268r31 268r32 271r32 271r33 289r31 289r32 305r32 305r33 449r19 459m16 . 525r35 525r36 959r38 959r39 1033r22 1139m16 1450r16 1563r35 1563r36 1575r34 . 1586r19 1590r19 1626r35 1626r36 1638r34 1649r19 1653r19 1678r35 1678r36 . 1682r40 1682r41 1853r19 474p7 Node{440P9} 4|180r15 184r16 188r14 188r15 192r15 192r16 196r53 199r55 . 202r18 202r19 202r43 202r44 207r15 211r14 211r15 215r53 218r18 218r19 223r16 . 227r15 227r16 231r55 234r26 234r27 252r15 256r16 260r14 260r15 264r15 264r16 . 268r53 271r55 276r19 276r20 276r43 276r44 281r15 285r14 285r15 289r53 292r26 . 292r27 297r16 301r15 301r16 305r55 308r19 308r20 441r19 445r18 445r19 453r52 . 456r71 457m22 517r19 521r18 521r19 525r61 528r22 528r23 949r22 954r21 954r22 . 959r64 962r30 962r31 1022r50 1138m60 1455r49 1468r55 1563r61 1568r50 1626r61 . 1631r54 1670r19 1674r18 1674r19 1678r61 1692r30 1692r31 1845r19 1849r18 . 1849r19 1857r52 1860r49 477U14 Write 478^7 479>7 4|2068b14 2074l8 2074t13 478p7 Stream(15|39R9) 4|2069b7 479r7 Item{60R9} 4|2070b7 483U14 Read 484^7 485<7 4|1743b14 1749l8 1749t12 484p7 Stream(15|39R9) 4|1744b7 485r7 Item{60R9} 4|1745b7 491U14 Write 492^7 493>7 4|2038b14 2066l8 2066t13 492p7 Stream(15|39R9) 4|2039b7 2065r14 493r7 Container{54R9} 4|2040b7 2065r22 497U14 Read 498^7 499<7 4|1709b14 1741l8 1741t12 498p7 Stream(15|39R9) 4|1710b7 1740r13 499r7 Container{54R9} 4|1711b7 1740m21 1740r21 X 4 a-ciormu.adb 45R9 Iterator<13|55R9><14|32R9[3|74]> 50e14 52P25 52r51 54P24 54r40 55P24 . 55r40 57P24 58r18 61P24 62r18 617r40 637r29 1422r28 1467r28 1487r28 1584r28 . 1647r32 13|58P14 21|42p14 48p7 Container{3|469P9} 618r33 618r34 653r23 653r24 655r32 1503r23 1503r24 . 1505r32 1590r39 1653r39 49p7 Node{3|440P9} 652r17 655r50 1502r17 1505r50 52U25 Finalize<13|59p14> 52=35 617b14 622l8 622t16 52r35 Object{45R9} 617b24 618m27 618r27 54V24 First{3|60R9}<14|26p13> 54>31 637b13 657l8 657t13 54r31 Object{45R9} 637b20 652r10 653r17 655r25 655r43 55V24 Last{3|60R9}<14|34p13> 55>31 1487b13 1507l8 1507t12 55r31 Object{45R9} 1487b19 1502r10 1503r17 1505r25 1505r43 57V24 Next{3|60R9}<14|28p13> 58>7 59>7 1584b13 1596l8 1596t12 58r7 Object{45R9} 1584b19 1590r32 59r7 Position{3|60R9} 1584b38 1586r10 1590r10 1595r20 61V24 Previous{3|60R9}<14|36p13> 62>7 63>7 1647b13 1659l8 1659t16 62r7 Object{45R9} 1647b23 1653r32 63r7 Position{3|60R9} 1647b42 1649r10 1653r10 1658r24 72V13 Color{5|35E9} 72>20 73r19 369b13 372l8 372t13 8|45i19 72p20 Node{3|440P9} 369b20 371r14 75V13 Left{3|440P9} 75>19 76r19 1527b13 1530l8 1530t12 8|41i19 75p19 Node{3|440P9} 1527b19 1529r14 78V13 Parent{3|440P9} 78>21 79r19 1611b13 1614l8 1614t14 8|39i19 78p21 Node{3|440P9} 1611b21 1613r14 81V13 Right{3|440P9} 81>20 82r19 1948b13 1951l8 1951t13 8|43i19 81p20 Node{3|440P9} 1948b20 1950r14 84U14 Set_Parent 84>26 84>46 85r19 1975b14 1978l8 1978t18 8|40i19 84p26 Node{3|440P9} 1975b26 1977m7 1977r7 84p46 Parent{3|440P9} 1975b46 1977r22 87U14 Set_Left 87>24 87>44 88r19 1966b14 1969l8 1969t16 8|42i19 87p24 Node{3|440P9} 1966b24 1968m7 1968r7 87p44 Left{3|440P9} 1966b44 1968r20 90U14 Set_Right 90>25 90>45 91r19 1984b14 1987l8 1987t17 8|44i19 90p25 Node{3|440P9} 1984b25 1986m7 1986r7 90p45 Right{3|440P9} 1984b45 1986r21 93U14 Set_Color 93>25 93>45 94r19 1957b14 1960l8 1960t17 8|46i19 93p25 Node{3|440P9} 1957b25 1959m7 1959r7 93e45 Color{5|35E9} 1957b45 1959r21 100V13 Copy_Node{3|440P9} 100>24 101r19 148r45 398b13 412l8 412t17 100p24 Source{3|440P9} 398b24 399r47 405r40 103U14 Free 103=20 145r47 165r29 433s10 457s7 476s7 493s7 594s10 692b14 715l8 . 715t12 791s13 842s13 1733s13 103p20 X{3|440P9} 692b20 697r10 701m7 701r7 701r19 702m7 702r7 702r17 703m7 . 703r7 703r18 706m24 706r24 709m13 709r13 710m25 714m19 105U14 Insert_Sans_Hint 106=7 107>7 108<7 1138s7 1146b14 1190l8 1190t24 2014s7 106r7 Tree{5|41R12[3|452]} 1147b7 1189m29 107*7 New_Item{3|41+9} 1148b7 1171r56 1189r35 108p7 Node{3|440P9} 1149b7 1189m45 110U14 Insert_With_Hint 111=7 112>7 113>7 114<7 161r29 1196b14 1244l8 1244t24 111r7 Dst_Tree{5|41R12[3|452]} 1197b7 1240m10 112p7 Dst_Hint{3|440P9} 1198b7 1241r10 113p7 Src_Node{3|440P9} 1199b7 1221r50 1242r10 114p7 Dst_Node{3|440P9} 1200b7 1243m10 116V13 Is_Equal_Node_Node{boolean} 116>33 116>36 117r19 156r41 1275b13 1278l8 . 1278t26 116p33 L{3|440P9} 1275b33 1277r14 116p36 R{3|440P9} 1275b36 1277r30 119V13 Is_Greater_Element_Node{boolean} 120>7 121>7 122r19 172r32 1284b13 . 1292l8 1292t31 120*7 Left{3|41+9} 1285b7 1291r34 121p7 Right{3|440P9} 1286b7 1291r14 124V13 Is_Less_Element_Node{boolean} 125>7 126>7 127r19 171r32 1298b13 1304l8 . 1304t28 125*7 Left{3|41+9} 1299b7 1303r14 126p7 Right{3|440P9} 1300b7 1303r21 129V13 Is_Less_Node_Node{boolean} 129>32 129>35 130r19 164r29 1310b13 1313l8 . 1313t25 129p32 L{3|440P9} 1310b32 1312r14 129p35 R{3|440P9} 1310b35 1312r30 132U14 Replace_Element 133=7 134>7 135>7 1755b14 1837l8 1837t23 1860s7 133r7 Tree{5|41R12[3|452]} 1756b7 1766r13 1788m46 1830m21 134p7 Node{3|440P9} 1757b7 1761r17 1762r17 1772r35 1781m13 1781r13 1788r52 . 1813m13 1813r13 1814m13 1814r13 1815m13 1815r13 1816m13 1816r13 1817m13 . 1817r13 1819r20 1824r32 1833r34 135*7 Item{3|41+9} 1758b7 1761r10 1762r36 1781r47 1813r47 1831r21 141K12 Tree_Operations[8|48] 145r10 148r10 150r8 156r10 160r29 169r32 316r11 . 358r11 431r18 432r10 456r7 475r7 492r7 556r14 592r18 593r10 743r35 789r21 . 790r13 840r21 841r13 1070r10 1375r13 1546r11 1568r19 1631r19 1718r14 1788r7 . 1914r13 2048r14 144U14 Delete_Tree[8|89] 148r56 163r29 358r42 147V13 Copy_Tree[8|95]{3|440P9} 162r29 316r43 152U14 Free_Element[18|20] 410s10 706s10 1182s13 1232s13 1782s13 1835s10 155V13 Is_Equal[8|76]{boolean} 243s14 158K12 Set_Ops[10|55] 502r7 506r36 1252r7 1257r9 1321r14 1604r14 1995r7 2000r16 . 2024r7 2029r16 167K12 Element_Keys[6|50] 343r9 420r29 421r38 585r29 586r38 603r38 678r38 . 1077r20 1080r20 1155r13 1158r13 1206r13 1209r13 1212r13 1337r13 1795r17 . 1798r17 1876r13 315U14 Adjust[8|103] 320s7 342p7 Node{3|440P9} 346r10 350r53 357U14 Clear[8|111] 362s7 1546r41 1718r44 389r14 Target{3|54R9} 390m10 390r10 399p7 X{3|442P9} 406r40 410m24 410r24 419r7 Tree{5|41R12[3|452]} 420r51 421r64 432r49 420p7 Node{3|440P9} 425r10 430r15 431m10 431r40 435r20 421p7 Done{3|440P9} 425r17 435r27 422p7 X{3|440P9} 430m10 432r55 433m16 433r16 467r7 Tree{5|41R12[3|452]} 468r29 475r46 468p7 X{3|440P9} 471r10 475r52 476m13 476r13 484r7 Tree{5|41R12[3|452]} 485r29 492r46 485p7 X{3|440P9} 488r10 492r52 493m13 493r13 506r7 Tree{5|41R12[3|452]} 508r35 552V16 Is_Equivalent_Node_Node{boolean} 552>41 552>44 553r22 556r45 562b16 . 571l11 571t34 552p41 L{3|440P9} 562b41 564r13 566r32 552p44 R{3|440P9} 562b44 564r29 566r16 555V16 Is_Equivalent[8|76]{boolean} 576s14 584r7 Tree{5|41R12[3|452]} 585r51 586r64 593r49 585p7 Node{3|440P9} 590r13 591r15 592m10 592r40 586p7 Done{3|440P9} 590r21 587p7 X{3|440P9} 591m10 593r55 594m16 594r16 603p7 Node{3|440P9} 606r10 610r53 618i7 B{natural} 619r22 621r7 621r12 678p7 Node{3|440P9} 681r10 685r53 693U17 Deallocate[18|20] 710s13 714s7 727V16 Is_Less_Key_Node{boolean} 728>10 729>10 730r22 745r35 892b16 898l11 . 898t27 728*10 Left{3|353+12} 893b10 897r17 729p10 Right{3|440P9} 894b10 897r29 732V16 Is_Greater_Key_Node{boolean} 733>10 734>10 735r22 746r35 880b16 886l11 . 886t30 733*10 Left{3|353+12} 881b10 885r43 734p10 Right{3|440P9} 882b10 885r22 741K15 Key_Keys[6|50] 753r41 778r32 779r41 802r41 833r32 834r41 851r41 866r41 . 913r16 982r17 753p10 Node{3|440P9} 756r13 760r56 777r10 Tree{5|41R12[3|452]} 778r50 779r63 790r52 778p10 Node{3|440P9} 783r13 788r18 789m13 789r43 793r23 779p10 Done{3|440P9} 783r20 793r30 780p10 X{3|440P9} 788m13 790r58 791m19 791r19 802p10 Node{3|440P9} 805r13 809r17 832r10 Tree{5|41R12[3|452]} 833r50 834r63 841r52 833p10 Node{3|440P9} 838r16 839r18 840m13 840r43 834p10 Done{3|440P9} 838r24 835p10 X{3|440P9} 839m13 841r58 842m19 842r19 851p10 Node{3|440P9} 854r13 858r56 866p10 Node{3|440P9} 869r13 873r56 907r49 Position{3|60R9} 909U20 Process_Node 909>34 910r25 913r44 919b20 922l14 922t26 909p34 Node{3|440P9} 919b34 921r61 912U20 Local_Iterate[6|178] 933s13 924r10 T{5|41R12[3|452]} 925r30 933r28 925i10 B{natural} 930r10 930r15 936r16 936r21 940r10 940r15 972r49 Position{3|60R9} 974U20 Process_Node 974>34 975r25 982r53 988b20 991l14 991t26 974p34 Node{3|440P9} 988b34 990r61 981U20 Local_Reverse_Iterate[6|186] 1002s13 993r10 T{5|41R12[3|452]} 994r30 1002r36 994i10 B{natural} 999r10 999r15 1005r16 1005r21 1009r10 1009r15 1019*49 Element{3|41+9} 1021r10 Tree{5|41R12[3|452]} 1037r30 1044r33 1045r33 1070r49 1102r24 1022p10 Node{3|440P9} 1025r13 1029r13 1037r36 1041r38 1070r55 1088m16 1088r16 . 1089m16 1089r16 1090m16 1090r16 1091m16 1091r16 1093r23 1103r24 1106r37 1041*13 E{3|41+9} 1042r43 1052r25 1063r58 1042*13 K{3|353+12} 1063r41 1044i13 B{natural} 1048r13 1048r18 1056r19 1056r24 1061r13 1061r18 1045i13 L{natural} 1049r13 1049r18 1055r19 1055r24 1060r13 1060r18 1072q10 Insert_New_Item 1107l14 1107e29 1073V22 New_Node{3|440P9} 1074r28 1077r54 1086b22 1094l17 1094t25 1076U23 Insert_Post[6|55] 1080r63 1079U23 Unconditional_Insert[6|94] 1101s13 1096p13 Result{3|440P9} 1104m24 1104r24 1106r28 1126r7 Position{3|60R9} 1127r28 1129m36 1151V16 New_Node{3|440P9} 1152r22 1155r47 1164b16 1184l11 1184t19 1154U17 Insert_Post[6|55] 1158r56 1157U17 Unconditional_Insert[6|94] 1189s7 1171p10 Element{3|442P9} 1178r43 1182m27 1182r27 1202V16 New_Node{3|440P9} 1203r22 1206r47 1220b16 1234l11 1234t19 1205U17 Insert_Post[6|55] 1209r56 1213r12 1208U17 Insert_Sans_Hint[6|94] 1214r12 1211U17 Local_Insert_With_Hint[6|114] 1239s7 1221p10 X{3|442P9} 1228r43 1232m27 1232r27 1256r7 Tree{5|41R12[3|452]} 1259r35 1331r46 Position{3|60R9} 1333U17 Process_Node 1333>31 1334r22 1337r45 1343b17 1346l11 1346t23 1333p31 Node{3|440P9} 1343b31 1345r58 1336U17 Local_Iterate[6|178] 1357s10 1348r7 T{5|41R12[3|452]} 1349r27 1357r25 1349i7 B{natural} 1354r7 1354r12 1360r13 1360r18 1364r7 1364r12 1369r46 Position{3|60R9} 1371U17 Process_Node 1371>31 1372r22 1375r48 1381b17 1384l11 1384t23 1371p31 Node{3|440P9} 1381b31 1383r58 1374U17 Local_Iterate[8|125] 1395s10 1386r7 T{5|41R12[3|452]} 1387r27 1395r25 1387i7 B{natural} 1392r7 1392r12 1398r13 1398r18 1402r7 1402r12 1408p7 S{3|469P9} 1409m27 1409r27 1422r65 1409i7 B{natural} 1423r10 1423r15 1422r14 It{45R9} 1430p7 S{3|469P9} 1431m27 1431r27 1468r46 1431i7 B{natural} 1470r10 1470r15 1467r14 It{45R9} 1545U14 Move[8|117] 1550s7 1567p10 Node{3|440P9} 1571r13 1575r45 1630p10 Node{3|440P9} 1634r13 1638r45 1667*45 Element{3|41+9} 1682r10 T{5|41R12[3|452]} 1684r30 1685r30 1684i10 B{natural} 1688r10 1688r15 1696r16 1696r21 1701r10 1701r15 1685i10 L{natural} 1689r10 1689r15 1695r16 1695r21 1700r10 1700r15 1713V16 Read_Node{3|440P9} 1714^10 1715r22 1718r51 1724b16 1735l11 1735t20 1714p10 Stream(15|39R9) 1725b10 1729r64 1717U17 Read[8|150] 1740s7 1727p10 Node{3|440P9} 1729m10 1729r10 1730r17 1733m19 1733r19 1772p13 X{3|442P9} 1782m27 1782r27 1790q7 Insert_New_Item 1836l11 1836e26 1791V19 New_Node{3|440P9} 1792r25 1795r51 1804b19 1820l14 1820t22 1794U20 Insert_Post[6|55] 1798r60 1797U20 Unconditional_Insert[6|94] 1829s10 1822p10 Result{3|440P9} 1832m21 1832r21 1833r25 1824p10 X{3|442P9} 1835m24 1835r24 1870r46 Position{3|60R9} 1872U17 Process_Node 1872>31 1873r22 1876r53 1882b17 1885l11 1885t23 1872p31 Node{3|440P9} 1882b31 1884r58 1875U17 Local_Reverse_Iterate[6|186] 1896s10 1887r7 T{5|41R12[3|452]} 1888r27 1896r33 1888i7 B{natural} 1893r7 1893r12 1899r13 1899r18 1903r7 1903r12 1908r46 Position{3|60R9} 1910U17 Process_Node 1910>31 1911r22 1914r56 1920b17 1923l11 1923t23 1910p31 Node{3|440P9} 1920b31 1922r58 1913U17 Local_Reverse_Iterate[8|131] 1934s10 1925r7 T{5|41R12[3|452]} 1926r27 1934r33 1926i7 B{natural} 1931r7 1931r12 1937r13 1937r18 1941r7 1941r12 1999r7 Tree{5|41R12[3|452]} 2002r35 2010r7 Tree{5|41R12[3|452]} 2014m25 2014r25 2015r35 2011p7 Node{3|440P9} 2012r28 2014m41 2014r41 2028r7 Tree{5|41R12[3|452]} 2031r35 2042U17 Write_Node 2043^10 2044>10 2045r22 2048r45 2054b17 2060l11 2060t21 2043p10 Stream(15|39R9) 2055b10 2059r31 2044p10 Node{3|440P9} 2056b10 2059r39 2047U17 Write[8|139] 2065s7 X 5 a-crbltr.ads 32K24*Red_Black_Trees 3|35w29 448r17 448r47 452r30 464r8 4|32r21 35r21 38r21 . 142r10 168r10 742r13 1088r30 1177r43 1814r27 5|75e35 35E9*Color_Type 3|448r33 4|72r47 93r53 369r47 1957r53 5|35e35 35n24*Red{35E9} 3|448r63 4|1088r46 1177r59 1227r43 1814r43 38+12 Node_Type 39P12 Node_Access(38+12[8|36[10|36]]) 40k12*Generic_Tree_Types 3|452r46 5|49e26 41R12 Tree_Type 3|457r25[452] 4|106r25[3|452] 111r25[3|452] 133r21[3|452] . 419r14[3|452] 467r14[3|452] 484r14[3|452] 506r23[3|452] 584r14[3|452] 777r17[3|452] . 832r17[3|452] 924r14[3|452] 993r14[3|452] 1021r17[3|452] 1147r25[3|452] . 1197r25[3|452] 1256r23[3|452] 1348r11[3|452] 1386r11[3|452] 1682r14[3|452] . 1756r21[3|452] 1887r11[3|452] 1925r11[3|452] 1999r23[3|452] 2010r14[3|452] . 2028r23[3|452] 42p10 First{3|440P9} 3|504m44[452] 4|468r34[3|452] 630r25[3|452] 634r68[3|452] . 665r25[3|452] 669r36[3|452] 669r37[3|452] 670r28[3|452] 670r29[3|452] 43p10 Last{3|440P9} 3|505m44[452] 4|485r34[3|452] 1480r25[3|452] 1484r68[3|452] . 1515r25[3|452] 1519r36[3|452] 1519r37[3|452] 1520r28[3|452] 1520r29[3|452] 44p10 Root{3|440P9} 3|506m44[452] 45i10 Length{2|20I9} 3|507m44[452] 4|1268r29[3|452] 1538r29[3|452] 46i10 Busy{natural} 3|508m44[452] 4|618m49[3|452] 925m32[3|452] 994m32[3|452] . 1044m38[3|452] 1349m29[3|452] 1387m29[3|452] 1409m34[3|452] 1431m34[3|452] . 1684m32[3|452] 1888m29[3|452] 1926m29[3|452] 47i10 Lock{natural} 3|509m44[452] 4|1045m38[3|452] 1685m32[3|452] 1766r18[3|452] X 6 a-crbtgk.ads 36K17 Tree_Operations 4|169r9 743r12 40+9 Key_Type 4|170r9 744r12 42V18 Is_Less_Key_Node{boolean} 4|171r9 745r12 46V18 Is_Greater_Key_Node{boolean} 4|172r9 746r12 50k40*Generic_Keys 4|35w37 168r26 742r29 6|192e48 55u14 Generic_Insert_Post 4|1077r33[167] 1155r26[167] 1206r26[167] 1795r30[167] 94u14 Generic_Unconditional_Insert 4|1080r33[167] 1158r26[167] 1209r26[167] . 1798r30[167] 95r7 Tree{5|41R12[3|452]} 4|1102r16[1079] 1830r13[1797] 96*7 Key{3|41+9} 4|1103r16[1079] 1831r13[1797] 97p7 Node{3|440P9} 4|1104r16[1079] 1832r13[1797] 114u14 Generic_Unconditional_Insert_With_Hint 4|1212r26[167] 156V13 Find{3|440P9} 4|603s51[167] 802s50[741] 851s50[741] 161V13 Ceiling{3|440P9} 4|343s22[167] 420s42[167] 585s42[167] 753s50[741] . 778s41[741] 833s41[741] 166V13 Floor{3|440P9} 4|678s51[167] 866s50[741] 171V13 Upper_Bound{3|440P9} 4|421s51[167] 586s51[167] 779s50[741] 834s50[741] 178u14 Generic_Iteration 4|913r25[741] 1337r26[167] 186u14 Generic_Reverse_Iteration 4|982r26[741] 1876r26[167] X 8 a-crbtgo.ads 48k40*Generic_Operations 4|32w37 142r26 8|163e54 64V13 Vet{boolean} 4|196s22[141] 199s22[141] 215s22[141] 231s22[141] 268s22[141] . 271s22[141] 289s22[141] 305s22[141] 453s22[141] 525s22[141] 959s25[141] . 1037s25[141] 1455s22[141] 1563s22[141] 1626s22[141] 1678s22[141] 1857s22[141] 68V13 Next{3|440P9} 4|431s34[141] 592s34[141] 789s37[141] 840s37[141] 1568s35[141] 71V13 Previous{3|440P9} 4|1631s35[141] 76v13 Generic_Equal 4|156r26[141] 556r30[141] 81U14 Delete_Node_Sans_Free 4|432s26[141] 456s23[141] 475s23[141] 492s23[141] . 593s26[141] 790s29[141] 841s29[141] 1070s26[141] 1788s23[141] 89u14 Generic_Delete_Tree 4|145r26[141] 95v13 Generic_Copy_Tree 4|148r26[141] 103u14 Generic_Adjust 4|316r27[141] 111u14 Generic_Clear 4|358r27[141] 117u14 Generic_Move 4|1546r27[141] 117r28 Target{5|41R12[3|452]} 4|1550r13[1545] 117r36 Source{5|41R12[3|452]} 4|1550r36[1545] 125u14 Generic_Iteration 4|1375r29[141] 131u14 Generic_Reverse_Iteration 4|1914r29[141] 139u14 Generic_Write 4|2048r30[141] 150u14 Generic_Read 4|1718r30[141] X 10 a-rbtgso.ads 36K17 Tree_Operations 4|160r9 40U19 Insert_With_Hint 4|161r9 46V18 Copy_Tree{5|39P12[8|36[10|36]]} 4|162r9 49U19 Delete_Tree 4|163r9 51V18 Is_Less{boolean} 4|164r9 53U19 Free 4|165r9 55k40*Generic_Set_Operations 4|38w37 159r10 10|106e58 58U14 Union 4|2024s15[158] 66V13 Union{5|41R12[3|452]} 4|2029s24[158] 70U14 Intersection 4|1252s15[158] 74V13 Intersection{5|41R12[3|452]} 4|1257s17[158] 78U14 Difference 4|502s15[158] 82V13 Difference{5|41R12[3|452]} 4|506s44[158] 86U14 Symmetric_Difference 4|1995s15[158] 93V13 Symmetric_Difference{5|41R12[3|452]} 4|2000s24[158] 98V13 Is_Subset{boolean} 4|1321s22[158] 98r24 Subset{5|41R12[3|452]} 4|1321r33[158] 98r44 Of_Set{5|41R12[3|452]} 4|1321r56[158] 102V13 Overlap{boolean} 4|1604s22[158] X 13 a-finali.ads 40K13*Finalization 3|36w18 456r24 466r12 13|73e21 48H9*Controlled 3|456r37 504r19 4|508r19 1259r19 2002r19 2015r19 2031r19 . 13|64e72 55H9*Limited_Controlled 4|45r25 1422r41 1468r22 13|71e55 58U14*Initialize<21|44p14> X 14 a-iteint.ads 21k13*Iterator_Interfaces 3|38w10 75r10 14|39e28 24h9 Forward_Iterator 32h9 Reversible_Iterator<24R9[3|74]> 3|345r38[74] 350r38[74] 4|46r30[3|74] . 1406r37[3|74] 1428r37[3|74] X 15 a-stream.ads 36K13*Streams 3|37w18 467r12 15|69e16 39H9*Root_Stream_Type 3|478r32 484r32 492r35 498r35 4|1710r35 1714r35 1725r35 . 1744r32 2039r35 2043r35 2055r35 2069r32 15|67e64 X 18 a-uncdea.ads 20u15*Unchecked_Deallocation 4|30w10 153r14 694r17 X 19 system.ads 42K9*System 4|41w6 41r23 19|160e11 69M9*Address 4|41r30 86V14*"="{boolean} 4|329r25 X 21 s-finroo.ads 42U14*Adjust