V "GNAT Lib v5" 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_05 U ada.containers.indefinite_ordered_multisets%b a-ciormu.adb b6aa7854 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.adb a-stream.ali W ada.unchecked_deallocation%s W system%s system.ads system.ali N A45:4 codepeer skip_analysis U ada.containers.indefinite_ordered_multisets%s a-ciormu.ads 57409f74 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.adb a-stream.ali D ada.ads 20070406121342 3ffc8e18 ada%s D a-contai.ads 20101025165030 61e5e089 ada.containers%s D a-ciormu.ads 20130411163354 8a16b0e0 ada.containers.indefinite_ordered_multisets%s D a-ciormu.adb 20141120161704 2338a05e ada.containers.indefinite_ordered_multisets%b D a-crbltr.ads 20110831120720 b8a2dc05 ada.containers.red_black_trees%s D a-crbtgk.ads 20090409180020 18ae3fab ada.containers.red_black_trees.generic_keys%s D a-crbtgk.adb 20140220154616 62191c0e ada.containers.red_black_trees.generic_keys%b D a-crbtgo.ads 20090409180020 375f6f61 ada.containers.red_black_trees.generic_operations%s D a-crbtgo.adb 20140220154616 885f84ae ada.containers.red_black_trees.generic_operations%b D a-rbtgso.ads 20090409180020 8700a961 ada.containers.red_black_trees.generic_set_operations%s D a-rbtgso.adb 20130411155854 4b1a1b3e ada.containers.red_black_trees.generic_set_operations%b D a-except.ads 20140730170058 5250cb69 ada.exceptions%s D a-finali.ads 20140611153708 69f99942 ada.finalization%s D a-iteint.ads 20110906122602 7c7305e9 ada.iterator_interfaces%s D a-stream.ads 20141120132812 119b8fb3 ada.streams%s D a-tags.ads 20140730170058 dc4d0634 ada.tags%s D a-unccon.ads 20070406121342 f9eb8f06 ada.unchecked_conversion%s D a-uncdea.ads 20070406121342 f15a5ed1 ada.unchecked_deallocation%s D system.ads 20171010194648 462fcf90 system%s D s-exctab.ads 20140225171140 54135002 system.exception_table%s D s-finroo.ads 20120426125924 4ff27390 system.finalization_root%s D s-parame.ads 20140801123848 7e2a0d7f system.parameters%s D s-soflin.ads 20140801130132 aa763b52 system.soft_links%s D s-stache.ads 20140225171140 a37c21ec system.stack_checking%s D s-stalib.ads 20150220114550 fa0a3617 system.standard_library%s D s-stoele.ads 20140225171140 2dc34a04 system.storage_elements%s D s-traent.ads 20140730165026 005bf670 system.traceback_entries%s X 1 ada.ads 16K9*Ada 19e8 3|35r14 36r14 37r14 38r6 46r9 75r6 456r20 466r8 467r8 531r5 . 4|30r6 32r6 35r6 38r6 43r14 135r10 676r13 2058r5 X 2 a-contai.ads 16K13*Containers 1|16k9 2|24e19 3|35r18 46r13 531r9 4|32r10 35r10 38r10 43r18 . 2058r9 20I9*Count_Type 3|93r45 4|1518r45 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|89r18 102r15 . 107r15 117r14 135r38 152r32 187r41 203r25 261r41 277r25 323r46 360r47 381r33 . 400r53 497r48 517r48 565r54 584r43 645r52 659r44 783r65 1001r66 1023r17 . 1107r57 1116r19 1130r18 1153r42 1203r36 1267r15 1281r15 1312r19 1495r51 . 1649r55 1711r30 1711r44 1740r14 1763r33 1795r33 1824r18 1851r19 1991r32 . 2041r10 43V19 "<"{boolean} 43>23 43>29 4|184s36 200s36 216s19 258s37 274s20 290s37 . 519s15 520s23 546s27 548s30 1273s32 1285s19 1294s28 1743s15 1744s34 43*23 Left{41+9} 43*29 Right{41+9} 44V19 "="{boolean} 44>23 44>29 4|1259s28 44*23 Left{41+9} 44*29 Right{41+9} 46k24*Indefinite_Ordered_Multisets 2|16k13 3|41z9 43z19 44z19 439E9 531l20 . 531e48 4|43b29 2058l20 2058t48 50V13*Equivalent_Elements{boolean} 50>34 50>40 4|517b13 526l8 526t27 50*34 Left{41+9} 4|517b34 519r10 520r25 50*40 Right{41+9} 4|517b40 519r17 520r17 54R9*Set<13|43R9> 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|223r32 300r41 309r38 309r52 . 323r34 342r40 360r35 369r28 369r40 371r23 400r41 421r41 448r47 465r46 482r42 . 482r56 487r39 487r51 490r14 532r44 565r42 584r31 610r32 645r40 659r32 734r37 . 749r38 758r44 783r37 813r45 832r34 847r35 887r22 952r22 999r29 1107r41 . 1115r26 1232r44 1232r58 1237r41 1237r53 1241r14 1248r35 1301r33 1301r47 . 1311r19 1350r19 1387r34 1409r34 1460r31 1495r39 1518r33 1530r36 1530r57 . 1584r36 1693r23 1822r25 1850r19 1889r19 1975r52 1975r66 1980r49 1980r61 . 1984r14 1991r53 1997r14 2004r37 2004r51 2009r34 2009r46 2013r14 2022r19 . 13|46P14 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 520r57 521r57 525r18 525r33 529r18 529r33 4|160r32 . 187r25 203r47 232r32 261r25 277r47 323r67 332r14 421r64 497r33 584r64 592r14 . 610r44 616r14 619r46 637r17 659r65 667r14 734r65 742r17 832r62 840r17 847r63 . 855r17 889r60 903r22 929r32 954r60 972r22 1000r22 1098r37 1108r18 1117r23 . 1313r57 1327r19 1351r57 1365r19 1409r47 1460r43 1466r14 1469r45 1487r17 . 1539r30 1539r45 1557r17 1561r38 1566r49 1566r64 1602r34 1602r49 1620r17 . 1624r42 1629r53 1629r68 1648r18 1727r20 1823r18 1852r57 1866r19 1890r57 . 1904r19 2052r16 63r4*Empty_Set{54R9} 503c4 67r4*No_Element{60R9} 489c4 4|329r17 362r40 589r17 613r17 664r17 739r20 751r42 . 837r20 852r20 1100r26 1427r18 1463r17 1541r21 1542r17 1554r20 1569r17 1604r21 . 1605r17 1617r20 1632r17 71V13*Has_Element{boolean} 71>26 75r39 4|1098b13 1101l8 1101t19 71r26 Position{60R9} 4|1098b26 1100r14 74K12*Set_Iterator_Interfaces[14|21] 345r14 350r14 512r6 4|1388r13 1410r13 77V14*"="{boolean} 77>18 77>24 4|223b14 226l9 226t11 77r18 Left{54R9} 4|223b18 225r24 77r24 Right{54R9} 4|223b24 225r35 86V13*Equivalent_Sets{boolean} 86>30 86>36 4|532b13 559l8 559t23 86r30 Left{54R9} 4|532b30 558r29 86r36 Right{54R9} 4|532b36 558r40 90V13*To_Set{54R9} 90>21 4|1991b13 1998l8 1998t14 90*21 New_Item{41+9} 4|1991b21 1996r31 93V13*Length{2|20I9} 93>21 4|1518b13 1521l8 1521t14 93r21 Container{54R9} 4|1518b21 1520r14 96V13*Is_Empty{boolean} 96>23 4|1248b13 1251l8 1251t16 96r23 Container{54R9} 4|1248b23 1250r14 99U14*Clear 99=21 462r67 4|315s14 342b14 345l8 345t13 99r21 Container{54R9} 4|342b21 344m14 344r14 102V13*Element{41+9} 102>22 4|497b13 511l8 511t15 102r22 Position{60R9} 4|497b22 499r10 503r10 507r27 507r52 510r14 106U14*Replace_Element 107=7 108>7 109>7 4|1821b14 1843l8 1843t23 107r7 Container{54R9} 4|1822b6 1835m32 1835r32 1839r27 1842m24 1842r24 108r7 Position{60R9} 4|1823b6 1827r10 1831r10 1835r10 1839r43 1842r40 109*7 New_Item{41+9} 4|1824b6 1842r55 122U14*Query_Element 123>7 124^7 4|1647b14 1685l8 1685t21 123r7 Position{60R9} 4|1648b7 1652r10 1656r10 1660r27 1660r52 1664r32 1674r22 124p7 Process 4|1649b7 1674r13 124*45 Element{41+9} 131U14*Assign 131=22 131>43 4|309b14 317l8 317t14 372s17 131r22 Target{54R9} 4|309b22 311m10 311r10 315m7 315r7 316m7 316r7 131r43 Source{54R9} 4|309b43 311r27 316r21 133V13*Copy{54R9} 133>19 4|369b13 374l8 374t12 133r19 Source{54R9} 4|369b19 372r25 135U14*Move 135=20 135=41 4|1530b14 1533l8 1533t12 135r20 Target{54R9} 4|1530b20 1532m23 1532r23 135r41 Source{54R9} 4|1530b41 1532m46 1532r46 142U14*Insert 143=7 144>7 145<7 4|1111s7 1114b14 1122l8 1122t14 143r7 Container{54R9} 4|1115b7 1120m25 1120r25 1121m29 1121r29 144*7 New_Item{41+9} 4|1116b7 1120r41 145r7 Position{60R9} 4|1117b7 1120m51 1120r51 1121m7 156U14*Insert 156=22 156>46 4|1107b14 1112l8 1112t14 156r22 Container{54R9} 4|1107b22 1111m15 156*46 New_Item{41+9} 4|1107b46 1111r26 166U14*Exclude 166=23 166>47 4|565b14 578l8 578t15 166r23 Container{54R9} 4|565b23 566m32 566r32 166*47 Item{41+9} 4|565b47 567r57 568r70 169U14*Delete 169=22 169>46 4|400b14 419l8 419t14 169r22 Container{54R9} 4|400b22 401m32 401r32 169*46 Item{41+9} 4|400b46 402r57 403r70 173U14*Delete 173=22 173=46 4|421b14 442l8 442t14 173r22 Container{54R9} 4|421b22 431m32 431r32 435r27 438m46 438r46 173r46 Position{60R9} 4|421b46 423r10 427r10 431r10 435r43 438r62 439m13 . 439r13 441m7 179U14*Delete_First 179=28 4|448b14 459l8 459t20 179r28 Container{54R9} 4|448b28 449m32 449r32 182U14*Delete_Last 182=27 4|465b14 476l8 476t19 182r27 Container{54R9} 4|465b27 466m32 466r32 185U14*Union 185=21 185>42 4|316s14 2004b14 2007l8 2007t13 185r21 Target{54R9} 4|2004b21 2006m22 2006r22 185r42 Source{54R9} 4|2004b42 2006r35 192V13*Union{54R9} 192>20 192>26 197r57 4|2009b13 2014l8 2014t13 192r20 Left{54R9} 4|2009b20 2011r31 192r26 Right{54R9} 4|2009b26 2011r42 197V14*"or"=197:57{54R9} 197r19 Left{54R9} 197r25 Right{54R9} 199U14*Intersection 199=28 199>49 4|1232b14 1235l8 1235t20 199r28 Target{54R9} 4|1232b28 1234m29 1234r29 199r49 Source{54R9} 4|1232b49 1234r42 205V13*Intersection{54R9} 205>27 205>33 212r58 4|1237b13 1242l8 1242t20 205r27 Left{54R9} 4|1237b27 1239r31 205r33 Right{54R9} 4|1237b33 1239r42 212V14*"and"=212:58{54R9} 212r20 Left{54R9} 212r26 Right{54R9} 214U14*Difference 214=26 214>47 4|482b14 485l8 485t18 214r26 Target{54R9} 4|482b26 484m27 484r27 214r47 Source{54R9} 4|482b47 484r40 219V13*Difference{54R9} 219>25 219>31 223r56 4|487b13 491l8 491t18 219r25 Left{54R9} 4|487b25 488r56 219r31 Right{54R9} 4|487b31 488r67 223V14*"-"=223:56{54R9} 223r18 Left{54R9} 223r24 Right{54R9} 225U14*Symmetric_Difference 225=36 225>57 4|1975b14 1978l8 1978t28 225r36 Target{54R9} 4|1975b36 1977m37 1977r37 225r57 Source{54R9} 4|1975b57 1977r50 231V13*Symmetric_Difference{54R9} 231>35 231>41 236r58 4|1980b13 1985l8 1985t28 231r35 Left{54R9} 4|1980b35 1982r46 231r41 Right{54R9} 4|1980b41 1982r57 236V14*"xor"=236:58{54R9} 236r20 Left{54R9} 236r26 Right{54R9} 238V13*Overlap{boolean} 238>22 238>28 4|1584b13 1587l8 1587t15 238r22 Left{54R9} 4|1584b22 1586r31 238r28 Right{54R9} 4|1584b28 1586r42 242V13*Is_Subset{boolean} 242>24 242>38 4|1301b13 1304l8 1304t17 242r24 Subset{54R9} 4|1301b24 1303r43 242r38 Of_Set{54R9} 4|1301b38 1303r66 246V13*First{60R9} 246>20 4|610b13 617l8 617t13 635s34 246r20 Container{54R9} 4|610b20 612r10 616r22 616r53 250V13*First_Element{41+9} 250>28 4|645b13 653l8 653t21 250r28 Container{54R9} 4|645b28 647r10 651r22 652r14 253V13*Last{60R9} 253>19 4|1460b13 1467l8 1467t12 1485s34 253r19 Container{54R9} 4|1460b19 1462r10 1466r22 1466r53 257V13*Last_Element{41+9} 257>27 4|1495b13 1503l8 1503t20 257r27 Container{54R9} 4|1495b27 1497r10 1501r22 1502r14 260V13*Next{60R9} 260>19 4|1539b13 1559l8 1559t12 1563s19 1577s14 260r19 Position{60R9} 4|1539b19 1541r10 1545r27 1545r52 1550r41 1557r25 266U14*Next 266=20 4|1561b14 1564l8 1564t12 266r20 Position{60R9} 4|1561b20 1563m7 1563r25 269V13*Previous{60R9} 269>23 4|1602b13 1622l8 1622t16 1626s19 1640s14 269r23 Position{60R9} 4|1602b23 1604r10 1608r27 1608r52 1613r45 1620r25 275U14*Previous 275=24 4|1624b14 1627l8 1627t16 275r24 Position{60R9} 4|1624b24 1626m7 1626r29 278V13*Find{60R9} 278>19 278>36 4|362s14 584b13 593l8 593t12 278r19 Container{54R9} 4|584b19 585r57 592r22 278*36 Item{41+9} 4|584b36 585r73 282V13*Floor{60R9} 282>20 282>37 4|659b13 668l8 668t13 282r20 Container{54R9} 4|659b20 660r58 667r22 282*37 Item{41+9} 4|659b37 660r74 289V13*Ceiling{60R9} 289>22 289>39 4|323b13 333l8 333t15 289r22 Container{54R9} 4|323b22 325r31 332r22 289*39 Item{41+9} 4|323b39 325r47 296V13*Contains{boolean} 296>23 296>40 4|360b13 363l8 363t16 296r23 Container{54R9} 4|360b23 362r20 296*40 Item{41+9} 4|360b40 362r31 299V14*"<"{boolean} 299>18 299>24 4|160b14 185l9 185t11 299r18 Left{60R9} 4|160b18 162r10 170r10 178r27 178r48 184r14 299r24 Right{60R9} 4|160b24 166r10 174r10 181r27 181r49 184r38 302V14*">"{boolean} 302>18 302>24 4|232b14 259l9 259t11 302r18 Left{60R9} 4|232b18 234r10 242r10 250r27 250r48 258r39 302r24 Right{60R9} 4|232b24 238r10 246r10 253r27 253r49 258r14 305V14*"<"{boolean} 305>18 305>33 4|187b14 201l9 201t11 305r18 Left{60R9} 4|187b18 189r10 193r10 197r27 197r48 200r14 305*33 Right{41+9} 4|187b33 200r38 308V14*">"{boolean} 308>18 308>33 4|261b14 275l9 275t11 308r18 Left{60R9} 4|261b18 263r10 267r10 271r27 271r48 274r22 308*33 Right{41+9} 4|261b33 274r14 311V14*"<"{boolean} 311>18 311>39 4|203b14 217l9 217t11 311*18 Left{41+9} 4|203b18 216r14 311r39 Right{60R9} 4|203b39 205r10 209r10 213r27 213r49 216r21 314V14*">"{boolean} 314>18 314>39 4|277b14 291l9 291t11 314*18 Left{41+9} 4|277b18 290r39 314r39 Right{60R9} 4|277b39 279r10 283r10 287r27 287r49 290r14 317U14*Iterate 318>7 319^7 4|1349b14 1385l8 1385t15 318r7 Container{54R9} 4|1350b7 1365r27 1368r29 319p7 Process 4|1351b7 1365r10 319r46 Position{60R9} 323U14*Reverse_Iterate 324>7 325^7 4|1888b14 1924l8 1924t23 324r7 Container{54R9} 4|1889b7 1904r27 1907r29 325p7 Process 4|1890b7 1904r10 325r46 Position{60R9} 329U14*Iterate 330>7 331>7 332^7 4|1310b14 1347l8 1347t15 330r7 Container{54R9} 4|1311b7 1327r27 1330r29 331*7 Item{41+9} 4|1312b7 1339r28 332p7 Process 4|1313b7 1327r10 332r46 Position{60R9} 336U14*Reverse_Iterate 337>7 338>7 339^7 4|1849b14 1886l8 1886t23 337r7 Container{54R9} 4|1850b7 1866r27 1869r29 338*7 Item{41+9} 4|1851b7 1878r36 339p7 Process 4|1852b7 1866r10 339r46 Position{60R9} 343V13*Iterate<14|32R9[74]> 344>7 4|1387b13 1407l8 1407t15 344r7 Container{54R9} 4|1387b22 1390r34 347V13*Iterate<14|32R9[74]> 348>7 349>7 4|1409b13 1454l8 1454t15 348r7 Container{54R9} 4|1409b22 1412r34 1432r29 1437r27 349r7 Start{60R9} 4|1409b39 1427r10 1432r10 1437r43 1450r49 353+12 Key_Type 355r57 357r40 361r47 365r47 368r48 371r56 374r55 378r45 383r46 . 390r48 397r49 418r22 426r22 4|710r18 715r18 726r35 734r48 749r49 758r55 . 783r48 798r47 813r56 832r45 847r46 863r18 875r18 888r22 929r47 953r22 1024r26 355V21 Key{353+12} 355>26 4|867s17 879s24 944s17 1024s38 1045s53 355*26 Element{41+9} 357V22 "<"{boolean} 357>26 357>32 4|800s18 801s26 867s41 879s22 357*26 Left{353+12} 357*32 Right{353+12} 359k12 Generic_Keys 353z12 355z21 357z22 432l8 432e20 4|703b17 1092l8 1092t20 361V16*Equivalent_Keys{boolean} 361>33 361>39 4|798b16 807l11 807t26 1045s16 361*33 Left{353+12} 4|798b33 800r13 801r28 1045r33 361*39 Right{353+12} 4|798b39 800r20 801r20 1045r44 365V16*Key{353+12} 365>21 4|929b16 945l11 945t14 365r21 Position{60R9} 4|929b21 931r13 936r13 941r30 941r55 944r22 368V16*Element{41+9} 368>25 368>42 4|783b16 792l11 792t18 368r25 Container{54R9} 4|783b25 784r56 368*42 Key{353+12} 4|783b42 784r72 371U17*Exclude 371=26 371>50 4|813b17 826l11 826t18 371r26 Container{54R9} 4|813b26 814m35 814r35 371*50 Key{353+12} 4|813b50 815r56 816r69 374U17*Delete 374=25 374>49 4|758b17 777l11 777t17 374r25 Container{54R9} 4|758b25 759m35 759r35 374*49 Key{353+12} 4|758b49 760r56 761r69 378V16*Find{60R9} 378>22 378>39 4|751s17 832b16 841l11 841t15 378r22 Container{54R9} 4|832b22 833r56 840r25 378*39 Key{353+12} 4|832b39 833r72 383V16*Floor{60R9} 383>23 383>40 4|847b16 856l11 856t16 383r23 Container{54R9} 4|847b23 848r57 855r25 383*40 Key{353+12} 4|847b40 848r73 390V16*Ceiling{60R9} 390>25 390>42 4|734b16 743l11 743t18 390r25 Container{54R9} 4|734b25 735r59 742r25 390*42 Key{353+12} 4|734b42 735r75 397V16*Contains{boolean} 397>26 397>43 4|749b16 752l11 752t19 397r26 Container{54R9} 4|749b26 751r23 397*43 Key{353+12} 4|749b43 751r34 400U17*Update_Element 401=10 402>10 403^10 4|998b17 1090l11 1090t25 401r10 Container{54R9} 4|999b10 1003m35 1003r35 1015m35 1015r35 402r10 Position{60R9} 4|1000b10 1004r41 1015r13 403p10 Process 4|1001b10 1034r16 404*35 Element{41+9} 416U17*Iterate 417>10 418>10 419^10 4|886b17 923l11 923t18 417r10 Container{54R9} 4|887b10 903r30 906r32 418*10 Key{353+12} 4|888b10 915r31 419p10 Process 4|889b10 903r13 419r49 Position{60R9} 424U17*Reverse_Iterate 425>10 426>10 427^10 4|951b17 992l11 992t26 425r10 Container{54R9} 4|952b10 972r30 975r32 426*10 Key{353+12} 4|953b10 984r39 427p10 Process 4|954b10 972r13 427r49 Position{60R9} 439R9 Node_Type 440r31 444c9 450e14 453r7 4|384r18 676r41 1156r21 1206r21 . 1709r36 440P9 Node_Access(439R9) 445r17 446r17 447r17 454r7 474r19 515r19 4|54r27 . 57r26 57r46 60r28 60r48 63r27 63r47 66r33 66r55 69r31 69r51 72r32 72r53 . 75r32 82r33 82r53 85r31 90r22 94r18 95r18 96r22 98r40 103r15 108r15 111r39 . 116r14 324r23 351r27 380r33 380r53 402r14 403r23 404r14 450r14 467r14 534r48 . 544r48 567r14 568r23 569r14 585r23 660r23 674r31 676r52 711r18 716r18 735r26 . 760r17 761r26 762r17 784r26 815r17 816r26 817r17 833r26 848r26 864r18 876r18 . 891r41 901r41 956r41 970r41 1004r26 1055r38 1068r38 1078r22 1131r22 1133r32 . 1146r32 1180r18 1181r18 1182r22 1184r32 1202r32 1257r40 1268r15 1282r15 . 1292r39 1315r38 1325r38 1353r38 1363r38 1509r26 1509r46 1549r26 1593r28 . 1593r48 1612r26 1696r66 1707r66 1709r17 1739r14 1773r35 1786r35 1804r19 . 1854r38 1864r38 1892r38 1902r38 1930r27 1930r47 1939r32 1948r31 1948r51 . 1957r33 1957r55 1966r32 1966r53 1993r14 2026r19 2038r19 442P9 Element_Access(41+9) 449r17 4|135r52 381r11 1153r20 1203r14 1754r17 . 1806r14 445p7 Parent{440P9} 4|384m29 683m9 1071m21 1156m32 1206m32 1595r19 1797m18 . 1959m12 446p7 Left{440P9} 4|385m29 684m9 1072m21 1157m32 1207m32 1511r19 1798m18 . 1950m12 447p7 Right{440P9} 4|386m29 685m9 1073m21 1158m32 1208m32 1799m18 1932r19 . 1968m12 448e7 Color{5|35E9} 4|353r19 387m29 387r47 1070m21 1159m32 1209m32 1796m18 . 1941m12 449p7 Element{442P9} 4|170r20 174r21 184r24 184r49 193r20 200r24 209r21 216r32 . 242r20 246r21 258r25 258r49 267r20 274r32 283r21 290r25 381r54 388m29 427r24 . 503r24 510r28 546r15 546r31 548r18 548r34 651r43 652r35 688m26 691m15 791r22 . 867r28 879r35 936r27 944r36 1011r18 1023r43 1085r29 1160m32 1203r59 1210m32 . 1224r19 1259r16 1259r32 1273r20 1285r27 1294r16 1294r32 1501r42 1502r34 . 1656r24 1674r36 1711m15 1743r22 1744r22 1754r40 1763m18 1795m18 1806r37 . 1831r24 2041r44 452K12 Tree_Types[5|40] 457r14 465r8 4|124r46 457r7 Tree{5|41R12[452]} 504m35 4|178r42 181r43 197r42 213r43 225r29 225r41 . 250r42 253r43 271r42 287r43 302m25 325r41 344m24 401m42 435r37 438m56 449m42 . 466m42 484m34 484r47 488r61 488r73 507r46 558r34 558r46 566m42 585r67 600m44 . 612r20 616r63 647r20 651r32 652r24 660r68 735r69 759m45 784r66 814m45 833r66 . 848r67 906m42 941r49 975m42 1003m45 1120m35 1234m36 1234r49 1239r36 1239r48 . 1250r24 1303r50 1303r73 1330m39 1368m39 1391m29 1413m29 1437r37 1462r20 . 1466r63 1497r20 1501r32 1502r24 1520r24 1532m30 1532m53 1545r46 1586r36 . 1586r48 1608r46 1660r46 1664m51 1722m31 1839r37 1842m34 1869m39 1907m39 . 1977m44 1977r57 1982r51 1982r63 2006m29 2006r42 2011r36 2011r48 2047r32 460U25 Adjust<13|47p14> 460=33 4|300b14 303l8 303t14 460r33 Container{54R9} 4|300b22 302m15 302r15 462U25 Finalize=462:67<13|48p14> 462r35 Container{54R9} 469P9 Set_Access(54R9) 470r8 473r19 514r19 4|1390r20 1412r20 473p7 Container{469P9} 4|178r31 178r32 181r32 181r33 197r31 197r32 213r32 . 213r33 250r31 250r32 253r32 253r33 271r31 271r32 287r32 287r33 431r19 441m16 . 507r35 507r36 941r38 941r39 1015r22 1121m16 1432r16 1545r35 1545r36 1557r34 . 1568r19 1572r19 1608r35 1608r36 1620r34 1631r19 1635r19 1660r35 1660r36 . 1664r40 1664r41 1835r19 474p7 Node{440P9} 4|162r15 166r16 170r14 170r15 174r15 174r16 178r53 181r55 . 184r18 184r19 184r43 184r44 189r15 193r14 193r15 197r53 200r18 200r19 205r16 . 209r15 209r16 213r55 216r26 216r27 234r15 238r16 242r14 242r15 246r15 246r16 . 250r53 253r55 258r19 258r20 258r43 258r44 263r15 267r14 267r15 271r53 274r26 . 274r27 279r16 283r15 283r16 287r55 290r19 290r20 423r19 427r18 427r19 435r52 . 438r71 439m22 499r19 503r18 503r19 507r61 510r22 510r23 931r22 936r21 936r22 . 941r64 944r30 944r31 1004r50 1120m60 1437r49 1450r55 1545r61 1550r50 1608r61 . 1613r54 1652r19 1656r18 1656r19 1660r61 1674r30 1674r31 1827r19 1831r18 . 1831r19 1839r52 1842r49 477U14 Write 478^7 479>7 4|2050b14 2056l8 2056t13 478p7 Stream(15|39R9) 4|2051b7 479r7 Item{60R9} 4|2052b7 483U14 Read 484^7 485<7 4|1725b14 1731l8 1731t12 484p7 Stream(15|39R9) 4|1726b7 485r7 Item{60R9} 4|1727b7 491U14 Write 492^7 493>7 4|2020b14 2048l8 2048t13 492p7 Stream(15|39R9) 4|2021b7 2047r14 493r7 Container{54R9} 4|2022b7 2047r22 497U14 Read 498^7 499<7 4|1691b14 1723l8 1723t12 498p7 Stream(15|39R9) 4|1692b7 1722r13 499r7 Container{54R9} 4|1693b7 1722m21 1722r21 511R9 Iterator<13|50R9><14|32R9[74]> 516e14 518P25 518r51 520P24 520r40 521P24 . 521r40 523P24 524r18 527P24 528r18 4|599r40 619r29 1404r28 1449r28 1469r28 . 1566r28 1629r32 13|53P14 21|42p14 514p7 Container{469P9} 4|600r33 600r34 635r23 635r24 637r32 1485r23 1485r24 . 1487r32 1572r39 1635r39 515p7 Node{440P9} 4|634r17 637r50 1484r17 1487r50 518U25 Finalize<13|54p14> 518=35 4|599b14 604l8 604t16 518r35 Object{511R9} 4|599b24 600r27 520V24 First{60R9}<14|26p13> 520>31 4|619b13 639l8 639t13 520r31 Object{511R9} 4|619b20 634r10 635r17 637r25 637r43 521V24 Last{60R9}<14|34p13> 521>31 4|1469b13 1489l8 1489t12 521r31 Object{511R9} 4|1469b19 1484r10 1485r17 1487r25 1487r43 523V24 Next{60R9}<14|28p13> 524>7 525>7 4|1566b13 1578l8 1578t12 524r7 Object{511R9} 4|1566b19 1572r32 525r7 Position{60R9} 4|1566b38 1568r10 1572r10 1577r20 527V24 Previous{60R9}<14|36p13> 528>7 529>7 4|1629b13 1641l8 1641t16 528r7 Object{511R9} 4|1629b23 1635r32 529r7 Position{60R9} 4|1629b42 1631r10 1635r10 1640r24 X 4 a-ciormu.adb 54V13 Color{5|35E9} 54>20 55r19 351b13 354l8 354t13 8|45i19 54p20 Node{3|440P9} 351b20 353r14 57V13 Left{3|440P9} 57>19 58r19 1509b13 1512l8 1512t12 8|41i19 57p19 Node{3|440P9} 1509b19 1511r14 60V13 Parent{3|440P9} 60>21 61r19 1593b13 1596l8 1596t14 8|39i19 60p21 Node{3|440P9} 1593b21 1595r14 63V13 Right{3|440P9} 63>20 64r19 1930b13 1933l8 1933t13 8|43i19 63p20 Node{3|440P9} 1930b20 1932r14 66U14 Set_Parent 66>26 66>46 67r19 1957b14 1960l8 1960t18 8|40i19 66p26 Node{3|440P9} 1957b26 1959r7 66p46 Parent{3|440P9} 1957b46 1959r22 69U14 Set_Left 69>24 69>44 70r19 1948b14 1951l8 1951t16 8|42i19 69p24 Node{3|440P9} 1948b24 1950r7 69p44 Left{3|440P9} 1948b44 1950r20 72U14 Set_Right 72>25 72>45 73r19 1966b14 1969l8 1969t17 8|44i19 72p25 Node{3|440P9} 1966b25 1968r7 72p45 Right{3|440P9} 1966b45 1968r21 75U14 Set_Color 75>25 75>45 76r19 1939b14 1942l8 1942t17 8|46i19 75p25 Node{3|440P9} 1939b25 1941r7 75e45 Color{5|35E9} 1939b45 1941r21 82V13 Copy_Node{3|440P9} 82>24 83r19 130r45 380b13 394l8 394t17 82p24 Source{3|440P9} 380b24 381r47 387r40 85U14 Free 85=20 127r47 147r29 415s10 439s7 458s7 475s7 576s10 674b14 697l8 . 697t12 773s13 824s13 1715s13 85p20 X{3|440P9} 674b20 679r10 683r7 683r19 684r7 684r17 685r7 685r18 688r24 . 691r13 692m25 696m19 87U14 Insert_Sans_Hint 88=7 89>7 90<7 1120s7 1128b14 1172l8 1172t24 1996s7 88r7 Tree{5|41R12[3|452]} 1129b7 1171m29 89*7 New_Item{3|41+9} 1130b7 1153r56 1171r35 90p7 Node{3|440P9} 1131b7 1171m45 92U14 Insert_With_Hint 93=7 94>7 95>7 96<7 143r29 1178b14 1226l8 1226t24 93r7 Dst_Tree{5|41R12[3|452]} 1179b7 1222m10 94p7 Dst_Hint{3|440P9} 1180b7 1223r10 95p7 Src_Node{3|440P9} 1181b7 1203r50 1224r10 96p7 Dst_Node{3|440P9} 1182b7 1225m10 98V13 Is_Equal_Node_Node{boolean} 98>33 98>36 99r19 138r41 1257b13 1260l8 . 1260t26 98p33 L{3|440P9} 1257b33 1259r14 98p36 R{3|440P9} 1257b36 1259r30 101V13 Is_Greater_Element_Node{boolean} 102>7 103>7 104r19 154r32 1266b13 . 1274l8 1274t31 102*7 Left{3|41+9} 1267b7 1273r34 103p7 Right{3|440P9} 1268b7 1273r14 106V13 Is_Less_Element_Node{boolean} 107>7 108>7 109r19 153r32 1280b13 1286l8 . 1286t28 107*7 Left{3|41+9} 1281b7 1285r14 108p7 Right{3|440P9} 1282b7 1285r21 111V13 Is_Less_Node_Node{boolean} 111>32 111>35 112r19 146r29 1292b13 1295l8 . 1295t25 111p32 L{3|440P9} 1292b32 1294r14 111p35 R{3|440P9} 1292b35 1294r30 114U14 Replace_Element 115=7 116>7 117>7 1737b14 1819l8 1819t23 1842s7 115r7 Tree{5|41R12[3|452]} 1738b7 1748r13 1770m46 1812m21 116p7 Node{3|440P9} 1739b7 1743r17 1744r17 1754r35 1763r13 1770r52 1795r13 . 1796r13 1797r13 1798r13 1799r13 1801r20 1806r32 1815r34 117*7 Item{3|41+9} 1740b7 1743r10 1744r36 1763r47 1795r47 1813r21 123K12 Tree_Operations[8|48] 127r10 130r10 132r8 138r10 142r29 151r32 298r11 . 340r11 413r18 414r10 438r7 457r7 474r7 538r14 574r18 575r10 725r35 771r21 . 772r13 822r21 823r13 1052r10 1357r13 1528r11 1550r19 1613r19 1700r14 1770r7 . 1896r13 2030r14 126U14 Delete_Tree[8|89] 130r56 145r29 340r42 129V13 Copy_Tree[8|95]{3|440P9} 144r29 298r43 134U14 Free_Element[18|20] 392s10 688s10 1164s13 1214s13 1764s13 1817s10 137V13 Is_Equal[8|76]{boolean} 225s14 140K12 Set_Ops[10|55] 484r7 488r36 1234r7 1239r9 1303r14 1586r14 1977r7 1982r16 . 2006r7 2011r16 149K12 Element_Keys[6|50] 325r9 402r29 403r38 567r29 568r38 585r38 660r38 . 1059r20 1062r20 1137r13 1140r13 1188r13 1191r13 1194r13 1319r13 1777r17 . 1780r17 1858r13 297U14 Adjust[8|103] 302s7 324p7 Node{3|440P9} 328r10 332r53 339U14 Clear[8|111] 344s7 1528r41 1700r44 371r14 Target{3|54R9} 372m10 372r10 381p7 X{3|442P9} 388r40 392m24 392r24 401r7 Tree{5|41R12[3|452]} 402r51 403r64 414r49 402p7 Node{3|440P9} 407r10 412r15 413m10 413r40 417r20 403p7 Done{3|440P9} 407r17 417r27 404p7 X{3|440P9} 412m10 414r55 415m16 415r16 449r7 Tree{5|41R12[3|452]} 450r29 457r46 450p7 X{3|440P9} 453r10 457r52 458m13 458r13 466r7 Tree{5|41R12[3|452]} 467r29 474r46 467p7 X{3|440P9} 470r10 474r52 475m13 475r13 488r7 Tree{5|41R12[3|452]} 490r35 534V16 Is_Equivalent_Node_Node{boolean} 534>41 534>44 535r22 538r45 544b16 . 553l11 553t34 534p41 L{3|440P9} 544b41 546r13 548r32 534p44 R{3|440P9} 544b44 546r29 548r16 537V16 Is_Equivalent[8|76]{boolean} 558s14 566r7 Tree{5|41R12[3|452]} 567r51 568r64 575r49 567p7 Node{3|440P9} 572r13 573r15 574m10 574r40 568p7 Done{3|440P9} 572r21 569p7 X{3|440P9} 573m10 575r55 576m16 576r16 585p7 Node{3|440P9} 588r10 592r53 600i7 B{natural} 601r22 603r7 603r12 660p7 Node{3|440P9} 663r10 667r53 675U17 Deallocate[18|20] 692s13 696s7 709V16 Is_Less_Key_Node{boolean} 710>10 711>10 712r22 727r35 874b16 880l11 . 880t27 710*10 Left{3|353+12} 875b10 879r17 711p10 Right{3|440P9} 876b10 879r29 714V16 Is_Greater_Key_Node{boolean} 715>10 716>10 717r22 728r35 862b16 868l11 . 868t30 715*10 Left{3|353+12} 863b10 867r43 716p10 Right{3|440P9} 864b10 867r22 723K15 Key_Keys[6|50] 735r41 760r32 761r41 784r41 815r32 816r41 833r41 848r41 . 895r16 964r17 735p10 Node{3|440P9} 738r13 742r56 759r10 Tree{5|41R12[3|452]} 760r50 761r63 772r52 760p10 Node{3|440P9} 765r13 770r18 771m13 771r43 775r23 761p10 Done{3|440P9} 765r20 775r30 762p10 X{3|440P9} 770m13 772r58 773m19 773r19 784p10 Node{3|440P9} 787r13 791r17 814r10 Tree{5|41R12[3|452]} 815r50 816r63 823r52 815p10 Node{3|440P9} 820r16 821r18 822m13 822r43 816p10 Done{3|440P9} 820r24 817p10 X{3|440P9} 821m13 823r58 824m19 824r19 833p10 Node{3|440P9} 836r13 840r56 848p10 Node{3|440P9} 851r13 855r56 889r49 Position{3|60R9} 891U20 Process_Node 891>34 892r25 895r44 901b20 904l14 904t26 891p34 Node{3|440P9} 901b34 903r61 894U20 Local_Iterate[6|178] 915s13 906r10 T{5|41R12[3|452]} 907r30 915r28 907i10 B{natural} 912r10 912r15 918r16 918r21 922r10 922r15 954r49 Position{3|60R9} 956U20 Process_Node 956>34 957r25 964r53 970b20 973l14 973t26 956p34 Node{3|440P9} 970b34 972r61 963U20 Local_Reverse_Iterate[6|186] 984s13 975r10 T{5|41R12[3|452]} 976r30 984r36 976i10 B{natural} 981r10 981r15 987r16 987r21 991r10 991r15 1001*49 Element{3|41+9} 1003r10 Tree{5|41R12[3|452]} 1019r30 1026r33 1027r33 1052r49 1084r24 1004p10 Node{3|440P9} 1007r13 1011r13 1019r36 1023r38 1052r55 1070r16 1071r16 . 1072r16 1073r16 1075r23 1085r24 1088r37 1023*13 E{3|41+9} 1024r43 1034r25 1045r58 1024*13 K{3|353+12} 1045r41 1026i13 B{natural} 1030r13 1030r18 1038r19 1038r24 1043r13 1043r18 1027i13 L{natural} 1031r13 1031r18 1037r19 1037r24 1042r13 1042r18 1054q10 Insert_New_Item 1089l14 1089e29 1055V22 New_Node{3|440P9} 1056r28 1059r54 1068b22 1076l17 1076t25 1058U23 Insert_Post[6|55] 1062r63 1061U23 Unconditional_Insert[6|94] 1083s13 1078p13 Result{3|440P9} 1086m24 1086r24 1088r28 1108r7 Position{3|60R9} 1109r28 1111m36 1133V16 New_Node{3|440P9} 1134r22 1137r47 1146b16 1166l11 1166t19 1136U17 Insert_Post[6|55] 1140r56 1139U17 Unconditional_Insert[6|94] 1171s7 1153p10 Element{3|442P9} 1160r43 1164m27 1164r27 1184V16 New_Node{3|440P9} 1185r22 1188r47 1202b16 1216l11 1216t19 1187U17 Insert_Post[6|55] 1191r56 1195r12 1190U17 Insert_Sans_Hint[6|94] 1196r12 1193U17 Local_Insert_With_Hint[6|114] 1221s7 1203p10 X{3|442P9} 1210r43 1214m27 1214r27 1238r7 Tree{5|41R12[3|452]} 1241r35 1313r46 Position{3|60R9} 1315U17 Process_Node 1315>31 1316r22 1319r45 1325b17 1328l11 1328t23 1315p31 Node{3|440P9} 1325b31 1327r58 1318U17 Local_Iterate[6|178] 1339s10 1330r7 T{5|41R12[3|452]} 1331r27 1339r25 1331i7 B{natural} 1336r7 1336r12 1342r13 1342r18 1346r7 1346r12 1351r46 Position{3|60R9} 1353U17 Process_Node 1353>31 1354r22 1357r48 1363b17 1366l11 1366t23 1353p31 Node{3|440P9} 1363b31 1365r58 1356U17 Local_Iterate[8|125] 1377s10 1368r7 T{5|41R12[3|452]} 1369r27 1377r25 1369i7 B{natural} 1374r7 1374r12 1380r13 1380r18 1384r7 1384r12 1390p7 S{3|469P9} 1391r27 1404r65 1391i7 B{natural} 1405r10 1405r15 1404r14 It{3|511R9} 1412p7 S{3|469P9} 1413r27 1450r46 1413i7 B{natural} 1452r10 1452r15 1449r14 It{3|511R9} 1527U14 Move[8|117] 1532s7 1549p10 Node{3|440P9} 1553r13 1557r45 1612p10 Node{3|440P9} 1616r13 1620r45 1649*45 Element{3|41+9} 1664r10 T{5|41R12[3|452]} 1666r30 1667r30 1666i10 B{natural} 1670r10 1670r15 1678r16 1678r21 1683r10 1683r15 1667i10 L{natural} 1671r10 1671r15 1677r16 1677r21 1682r10 1682r15 1695V16 Read_Node{3|440P9} 1696^10 1697r22 1700r51 1706b16 1717l11 1717t20 1696p10 Stream(15|39R9) 1707b10 1711r64 1699U17 Read[8|150] 1722s7 1709p10 Node{3|440P9} 1711r10 1712r17 1715m19 1715r19 1754p13 X{3|442P9} 1764m27 1764r27 1772q7 Insert_New_Item 1818l11 1818e26 1773V19 New_Node{3|440P9} 1774r25 1777r51 1786b19 1802l14 1802t22 1776U20 Insert_Post[6|55] 1780r60 1779U20 Unconditional_Insert[6|94] 1811s10 1804p10 Result{3|440P9} 1814m21 1814r21 1815r25 1806p10 X{3|442P9} 1817m24 1817r24 1852r46 Position{3|60R9} 1854U17 Process_Node 1854>31 1855r22 1858r53 1864b17 1867l11 1867t23 1854p31 Node{3|440P9} 1864b31 1866r58 1857U17 Local_Reverse_Iterate[6|186] 1878s10 1869r7 T{5|41R12[3|452]} 1870r27 1878r33 1870i7 B{natural} 1875r7 1875r12 1881r13 1881r18 1885r7 1885r12 1890r46 Position{3|60R9} 1892U17 Process_Node 1892>31 1893r22 1896r56 1902b17 1905l11 1905t23 1892p31 Node{3|440P9} 1902b31 1904r58 1895U17 Local_Reverse_Iterate[8|131] 1916s10 1907r7 T{5|41R12[3|452]} 1908r27 1916r33 1908i7 B{natural} 1913r7 1913r12 1919r13 1919r18 1923r7 1923r12 1981r7 Tree{5|41R12[3|452]} 1984r35 1992r7 Tree{5|41R12[3|452]} 1996m25 1996r25 1997r35 1993p7 Node{3|440P9} 1994r28 1996m41 1996r41 2010r7 Tree{5|41R12[3|452]} 2013r35 2024U17 Write_Node 2025^10 2026>10 2027r22 2030r45 2036b17 2042l11 2042t21 2025p10 Stream(15|39R9) 2037b10 2041r31 2026p10 Node{3|440P9} 2038b10 2041r39 2029U17 Write[8|139] 2047s7 X 5 a-crbltr.ads 32K24*Red_Black_Trees 3|35w29 448r17 448r47 452r30 464r8 4|32r21 35r21 38r21 . 124r10 150r10 724r13 1070r30 1159r43 1796r27 5|75e35 35E9*Color_Type 3|448r33 4|54r47 75r53 351r47 1939r53 5|35e35 35n24*Red{35E9} 3|448r63 4|1070r46 1159r59 1209r43 1796r43 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|88r25[3|452] 93r25[3|452] 115r21[3|452] 401r14[3|452] . 449r14[3|452] 466r14[3|452] 488r23[3|452] 566r14[3|452] 759r17[3|452] 814r17[3|452] . 906r14[3|452] 975r14[3|452] 1003r17[3|452] 1129r25[3|452] 1179r25[3|452] . 1238r23[3|452] 1330r11[3|452] 1368r11[3|452] 1664r14[3|452] 1738r21[3|452] . 1869r11[3|452] 1907r11[3|452] 1981r23[3|452] 1992r14[3|452] 2010r23[3|452] 42p10 First{3|440P9} 3|504m44[452] 4|450r34[3|452] 612r25[3|452] 616r68[3|452] . 647r25[3|452] 651r36[3|452] 651r37[3|452] 652r28[3|452] 652r29[3|452] 43p10 Last{3|440P9} 3|505m44[452] 4|467r34[3|452] 1462r25[3|452] 1466r68[3|452] . 1497r25[3|452] 1501r36[3|452] 1501r37[3|452] 1502r28[3|452] 1502r29[3|452] 44p10 Root{3|440P9} 3|506m44[452] 45i10 Length{2|20I9} 3|507m44[452] 4|1250r29[3|452] 1520r29[3|452] 46i10 Busy{natural} 3|508m44[452] 4|600m49[3|452] 907m32[3|452] 976m32[3|452] . 1026m38[3|452] 1331m29[3|452] 1369m29[3|452] 1391m34[3|452] 1413m34[3|452] . 1666m32[3|452] 1870m29[3|452] 1908m29[3|452] 47i10 Lock{natural} 3|509m44[452] 4|1027m38[3|452] 1667m32[3|452] 1748r18[3|452] X 6 a-crbtgk.ads 36K17 Tree_Operations 4|151r9 725r12 40+9 Key_Type 4|152r9 726r12 42V18 Is_Less_Key_Node{boolean} 4|153r9 727r12 46V18 Is_Greater_Key_Node{boolean} 4|154r9 728r12 50k40*Generic_Keys 4|35w37 36r54 150r26 724r29 6|192e48 55u14 Generic_Insert_Post 4|1059r33[149] 1137r26[149] 1188r26[149] 1777r30[149] 94u14 Generic_Unconditional_Insert 4|1062r33[149] 1140r26[149] 1191r26[149] . 1780r30[149] 95r7 Tree{5|41R12[3|452]} 4|1084r16[1061] 1812r13[1779] 96*7 Key{3|41+9} 4|1085r16[1061] 1813r13[1779] 97p7 Node{3|440P9} 4|1086r16[1061] 1814r13[1779] 114u14 Generic_Unconditional_Insert_With_Hint 4|1194r26[149] 156V13 Find{3|440P9} 4|585s51[149] 784s50[723] 833s50[723] 161V13 Ceiling{3|440P9} 4|325s22[149] 402s42[149] 567s42[149] 735s50[723] . 760s41[723] 815s41[723] 166V13 Floor{3|440P9} 4|660s51[149] 848s50[723] 171V13 Upper_Bound{3|440P9} 4|403s51[149] 568s51[149] 761s50[723] 816s50[723] 178u14 Generic_Iteration 4|895r25[723] 1319r26[149] 186u14 Generic_Reverse_Iteration 4|964r26[723] 1858r26[149] X 8 a-crbtgo.ads 48k40*Generic_Operations 4|32w37 33r54 124r26 8|163e54 64V13 Vet{boolean} 4|178s22[123] 181s22[123] 197s22[123] 213s22[123] 250s22[123] . 253s22[123] 271s22[123] 287s22[123] 435s22[123] 507s22[123] 941s25[123] . 1019s25[123] 1437s22[123] 1545s22[123] 1608s22[123] 1660s22[123] 1839s22[123] 68V13 Next{3|440P9} 4|413s34[123] 574s34[123] 771s37[123] 822s37[123] 1550s35[123] 71V13 Previous{3|440P9} 4|1613s35[123] 76v13 Generic_Equal 4|138r26[123] 538r30[123] 81U14 Delete_Node_Sans_Free 4|414s26[123] 438s23[123] 457s23[123] 474s23[123] . 575s26[123] 772s29[123] 823s29[123] 1052s26[123] 1770s23[123] 89u14 Generic_Delete_Tree 4|127r26[123] 95v13 Generic_Copy_Tree 4|130r26[123] 103u14 Generic_Adjust 4|298r27[123] 111u14 Generic_Clear 4|340r27[123] 117u14 Generic_Move 4|1528r27[123] 117r28 Target{5|41R12[3|452]} 4|1532r13[1527] 117r36 Source{5|41R12[3|452]} 4|1532r36[1527] 125u14 Generic_Iteration 4|1357r29[123] 131u14 Generic_Reverse_Iteration 4|1896r29[123] 139u14 Generic_Write 4|2030r30[123] 150u14 Generic_Read 4|1700r30[123] X 10 a-rbtgso.ads 36K17 Tree_Operations 4|142r9 40U19 Insert_With_Hint 4|143r9 46V18 Copy_Tree{5|39P12[8|36[10|36]]} 4|144r9 49U19 Delete_Tree 4|145r9 51V18 Is_Less{boolean} 4|146r9 53U19 Free 4|147r9 55k40*Generic_Set_Operations 4|38w37 39r54 141r10 10|106e58 58U14 Union 4|2006s15[140] 66V13 Union{5|41R12[3|452]} 4|2011s24[140] 70U14 Intersection 4|1234s15[140] 74V13 Intersection{5|41R12[3|452]} 4|1239s17[140] 78U14 Difference 4|484s15[140] 82V13 Difference{5|41R12[3|452]} 4|488s44[140] 86U14 Symmetric_Difference 4|1977s15[140] 93V13 Symmetric_Difference{5|41R12[3|452]} 4|1982s24[140] 98V13 Is_Subset{boolean} 4|1303s22[140] 98r24 Subset{5|41R12[3|452]} 4|1303r33[140] 98r44 Of_Set{5|41R12[3|452]} 4|1303r56[140] 102V13 Overlap{boolean} 4|1586s22[140] X 13 a-finali.ads 40K13*Finalization 3|36w18 456r24 466r12 13|68e21 43H9*Controlled<21|40R9> 3|456r37 504r19 4|490r19 1241r19 1984r19 1997r19 . 2013r19 13|59e72 50H9*Limited_Controlled<21|40R9> 3|511r25 4|1404r41 1450r22 13|66e55 53U14*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] 512r30[74] 4|1388r37[3|74] . 1410r37[3|74] X 15 a-stream.ads 36K13*Streams 3|37w18 467r12 15|87e16 39H9*Root_Stream_Type 3|478r32 484r32 492r35 498r35 4|1692r35 1696r35 1707r35 . 1726r32 2021r35 2025r35 2037r35 2051r32 15|70e64 X 18 a-uncdea.ads 20u15*Unchecked_Deallocation 4|30w10 135r14 676r17 X 19 system.ads 42K9*System 4|41w6 41r23 19|160e11 69M9*Address 4|41r30 86V14*"="{boolean} 4|311r25 X 21 s-finroo.ads 42U14*Adjust