V "GNAT Lib v10" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -fchecking=1 A -g A -gnatp A -gnatg A -mtune=pentium A -march=pentium P ZX RN RV NO_DIRECT_BOOLEAN_OPERATORS RV NO_EXCEPTIONS RV NO_RECURSION RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U ada.containers.formal_doubly_linked_lists%b a-cfdlli.adb 35daed50 NE OL PK GE W ada.containers%s a-contai.ads a-contai.ali W system%s system.ads system.ali U ada.containers.formal_doubly_linked_lists%s a-cfdlli.ads 489d4b2c BN NE OL PK GE W ada%s ada.ads ada.ali W ada.containers%s a-contai.ads a-contai.ali W ada.containers.functional_maps%s W ada.containers.functional_vectors%s N A42:4 codepeer skip_analysis N A99:7 gnatprove inline_for_proof m_elements_in_union N A118:7 gnatprove inline_for_proof m_elements_included N A135:7 gnatprove inline_for_proof m_elements_reversed N A152:7 gnatprove inline_for_proof m_elements_swapped N A268:7 gnatprove iterable_for_proof "Model" model N A356:4 gnatprove inline_for_proof element N A1531:4 gnatprove inline_for_proof has_element N A1548:10 gnatprove inline_for_proof m_elements_sorted D ada.ads 20210408145628 76789da1 ada%s D a-contai.ads 20210408145628 61e5e089 ada.containers%s D a-cfdlli.ads 20210408145628 efa98240 ada.containers.formal_doubly_linked_lists%s D a-cfdlli.adb 20210408145628 fd3101b2 ada.containers.formal_doubly_linked_lists%b D a-cofuba.ads 20210408145628 626278ab ada.containers.functional_base%s D a-cofuba.adb 20210408145628 4af74157 ada.containers.functional_base%b D a-cofuma.ads 20210408145628 6280c19b ada.containers.functional_maps%s D a-cofuma.adb 20210408145628 bf0f68e5 ada.containers.functional_maps%b D a-cofuve.ads 20210408145628 a451e87e ada.containers.functional_vectors%s D a-cofuve.adb 20210408145628 5633ee38 ada.containers.functional_vectors%b D a-unccon.ads 20210408145628 0e9b276f ada.unchecked_conversion%s D a-uncdea.ads 20210408145628 eff36322 ada.unchecked_deallocation%s D system.ads 20210408145628 27426ea2 system%s D s-exctab.ads 20210408145628 54135002 system.exception_table%s D s-stalib.ads 20210408145628 09bd3940 system.standard_library%s G a e G c Z s b [formal_doubly_linked_lists ada__containers 39 24 none] X 1 ada.ads 16K9*Ada 20e8 3|32r6 33r6 39r9 69r24 154r24 1624r5 4|30r14 1894r5 X 2 a-contai.ads 16K13*Containers 1|16k9 2|28e19 3|32r10 33r10 39r13 69r28 154r28 1624r9 4|30r18 . 1894r9 22I9*Count_Type 3|44r26 53r14 60r46 67r38 67r60 104r18 107r18 172r18 . 221r18 312r14 336r45 465r19 606r19 697r19 763r19 828r19 906r61 960r60 1258r16 . 1268r22 1604r17 1605r17 1611r30 1614r26 1615r16 1616r16 1617r16 1618r16 . 4|40r23 42r49 46r19 47r19 56r12 57r12 89r23 118r19 130r11 157r11 209r18 . 211r20 211r34 212r11 259r19 262r11 327r61 329r11 365r60 367r11 417r14 461r20 . 515r18 518r18 524r24 551r23 601r21 655r18 746r18 784r21 785r21 808r49 895r18 . 964r39 964r58 965r34 965r53 971r39 971r58 972r20 979r38 980r38 1015r34 . 1015r53 1016r21 1072r19 1074r11 1119r19 1144r19 1145r19 1220r20 1234r46 . 1245r11 1351r19 1405r11 1406r11 1408r27 1408r43 1414r27 1414r43 1415r24 . 1416r24 1418r24 1419r24 1491r16 1537r26 25X4*Capacity_Error 4|217r16 X 3 a-cfdlli.ads 36+9 Element_Type 37r37 71r26 312r33 349r33 361r19 393r19 464r19 549r19 604r19 . 668r59 696r19 729r58 762r19 1320r53 1336r52 1404r19 1459r19 1515r19 1534r40 . 1606r17 4|39r19 88r19 110r58 117r19 197r19 398r34 414r19 460r53 492r17 . 867r21 872r36 1070r19 1103r19 1118r19 1130r19 1219r52 1343r59 1350r19 1386r19 . 1488r19 1708r29 37V19 "="{boolean} 37>23 37>29 96s40 98s47 117s35 130s39 133s40 149s37 150s37 . 258s56 307s75 354s23 376s58 422s65 452s63 592s59 685s45 754s62 1188s61 . 1237s44 1297s63 1323s37 1340s28 1436s64 1491s72 1546s43 4|71r37 433s44 . 529s40 559r34 579r38 580r38 587r42 631r59 1503s49 5|43i19 9|41i19 37*23 Left{36+9} 37*29 Right{36+9} 39k24*Formal_Doubly_Linked_Lists 2|16k13 3|36z9 37z19 1603E9 1624l20 1624e46 . 4|30b29 1894l20 1894t46 44R9*List 44d15 50r41 58r26 60r33 261r35 270r39 294r53 319r32 323r35 327r40 . 331r38 331r53 336r28 336r69 348r19 359r26 385r36 385r58 391r26 462r26 547r26 . 602r26 668r42 695r26 729r41 761r26 791r41 826r26 884r47 906r47 935r46 960r46 . 984r51 989r26 1005r26 1021r23 1023r23 1119r25 1121r25 1200r26 1310r32 1320r40 . 1325r31 1336r39 1342r31 1357r32 1372r35 1387r36 1403r19 1458r19 1514r19 . 1525r19 1553r39 1557r42 1573r40 1573r62 1614c9 1620e14 1622r26 4|38r26 . 42r39 45r26 49r22 55r25 55r39 87r26 110r41 116r26 128r38 128r53 155r40 . 196r19 208r18 209r42 213r11 248r41 257r26 320r47 327r47 358r46 365r46 397r19 . 413r19 447r32 460r40 481r53 600r35 783r39 808r39 893r39 913r40 913r62 961r42 . 1054r38 1068r26 1101r26 1116r26 1128r26 1143r26 1197r35 1206r31 1219r39 . 1234r33 1243r36 1243r58 1321r32 1326r31 1343r42 1349r26 1361r36 1366r35 . 1384r26 1403r51 1487r19 1519r23 1521r23 1553r25 1555r25 1586r26 1683r26 . 1721r26 1767r22 44i15 Capacity{2|22I9} 62r43 333r23 338r56 343r30 343r48 345r30 387r23 397r39 . 469r40 554r39 610r40 670r47 700r48 731r47 766r48 1028r34 1129r44 1576r45 . 1614r15 1619r33 4|137r17 211r57 216r50 221r25 234r22 810r37 828r40 832r50 . 836r26 1086r39 1252r17 1260r53 1295r53 1541r49 1571r34 1783r28 1788r44 . 1793r37 52R9*Cursor 54e14 56r26 56r36 155r44 201r18 202r18 349r18 360r19 392r19 463r19 . 548r19 550r23 603r19 605r23 791r65 827r26 990r19 991r19 1006r19 1007r19 . 1022r16 1120r18 1122r25 1201r19 1202r19 1310r45 1325r44 1342r48 1342r63 . 1357r56 1372r52 1372r67 1387r60 1405r19 1405r48 1460r19 1460r48 1526r19 . 4|49r39 248r65 258r26 398r19 415r19 415r48 447r45 701r18 702r18 916r15 . 917r15 944r24 1054r55 1069r19 1071r23 1102r19 1104r23 1117r19 1121r18 1129r19 . 1132r18 1206r44 1321r56 1326r48 1326r63 1361r60 1366r52 1366r67 1385r19 . 1489r19 1489r48 1520r16 1554r18 1556r25 1558r25 1587r19 1588r19 1684r19 . 1685r19 1722r19 1723r19 1725r16 1726r16 1767r39 53i7 Node{2|22I9} 56m44 4|277r19 291r24 304m19 305r37 405r40 417r37 428r19 . 434m21 453m15 793m29 926r19 928r23 929r41 930r37 932r19 938r23 939r41 940r37 . 942r23 942r46 947m22 947r37 952m19 952r34 1056r19 1060r40 1077r17 1091r42 . 1092m20 1096r45 1212m15 1328r19 1336m15 1336r49 1368r19 1376m15 1376r49 . 1396r33 1491r39 1504m24 1530r17 1565r19 1578r46 1593r17 1598r19 1605r19 . 1605r33 1606r29 1606r49 1613r17 1614r34 1616r22 1617r44 1621r28 1621r60 . 1622r28 1622r60 1625r46 1626r22 1628r37 1634r17 1635r34 1637r22 1638r43 . 1642r28 1642r60 1643r28 1643r60 1646r47 1647r22 1649r38 1655r19 1656r41 . 1659r22 1660r40 1664r25 1664r57 1665r25 1665r57 1668r20 1668r49 1669r19 . 1669r43 1671r17 1671r40 1672r19 1672r40 1688r12 1692r12 1696r12 1696r21 . 1705r39 1706r39 1729r12 1733r12 1737r12 1737r21 1783r19 1787r22 1788r29 . 1793r22 1805r22 1805r55 1809r22 1809r55 1857r19 1861r19 1865r22 1869r22 . 1873r25 1873r54 1877r25 1877r54 1882r42 1886r41 56r4*No_Element{52R9} 277r44 399r38 402r18 471r38 474r18 556r38 565r28 612r38 . 627r30 799r25 838r25 1030r38 1035r18 1127r55 1162r27 1206r58 1214r18 1314r26 . 1329r25 1345r61 1347r20 1350r25 1360r61 1362r20 1365r22 1375r61 1377r20 . 1380r29 1390r61 1392r20 1395r22 1405r29 1409r61 1418r33 1425r25 1440r33 . 1449r41 1460r29 1464r61 1474r33 1480r33 1495r33 1507r41 4|112r26 121r26 . 200r40 279r22 284r22 295r25 313r19 415r29 421r17 440r14 450r17 933r32 1209r17 . 1329r17 1369r17 1489r29 1499r17 1510r17 58r4*Empty_List{44R9} 1622c4 60V13*Length{2|22I9} 60>21 62r16 267s45 283s53 325s35 329s16 333s35 366s8 . 366s29 387s35 388s56 397s8 400s24 400s45 407s61 422s45 444s30 469s8 472s24 . 472s45 482s23 489s37 490s37 497s33 498s33 506s29 525s30 554s8 558s8 558s29 . 566s61 585s28 610s8 613s24 613s45 629s21 648s30 670s16 672s8 672s29 680s27 . 700s16 702s8 702s29 710s27 731s16 733s8 733s29 739s16 754s42 766s16 768s8 . 768s29 779s35 780s35 788s26 795s8 795s29 815s27 833s8 834s10 834s44 852s9 . 853s11 865s11 865s32 873s30 888s8 888s29 896s27 912s9 913s11 916s11 916s32 . 924s30 939s8 939s29 966s9 967s11 970s11 970s32 981s29 1028s8 1028s45 1032s8 . 1033s14 1033s32 1033s54 1043s23 1050s30 1052s30 1053s30 1057s30 1058s30 . 1060s30 1067s29 1068s29 1085s30 1090s24 1097s24 1099s30 1107s28 1108s28 . 1116s27 1129s19 1131s8 1131s26 1132s14 1132s32 1148s27 1163s57 1182s27 . 1208s24 1208s45 1230s28 1237s24 1271s29 1313s9 1328s9 1334s19 1340s56 1348s61 . 1363s61 1422s29 1475s22 1508s30 1521s51 1560s11 1560s32 1564s29 1566s29 . 1569s29 1571s29 1576s19 1576s56 1578s11 1578s29 1578s51 1579s17 1586s29 . 1588s29 1591s29 1593s29 4|1199s14 1234b13 1237l8 1237t14 60r21 Container{44R9} 62r33 4|1234b21 1236r14 94i22 I 96r37 98r44 95i25 J 96r57 97i32 J 98r65 115i22 I 117r32 116i25 J 117r53 129i28 I 130r36 131r57 132i28 I 133r37 134r56 185r28 I{7|36R9[154]} 186r39 187r37 187r56 189r37 189r64 194r28 I{7|36R9[154]} 195r39 196r38 235r28 I{7|36R9[154]} 236r39 237r38 257r29 C{7|36R9[154]} 258r52 259r54 282r24 I{7|36R9[154]} 283r42 291r46 292r24 290r24 J{7|36R9[154]} 291r76 292r28 305*20 Elt{9|40+9[69]} 308r17 306r23 I{7|36R9[154]} 307r71 319V14*"="{boolean} 319>18 319>24 4|55b14 80l9 80t11 319r18 Left{44R9} 321r37 4|55b18 60r10 64r10 68r13 69r13 71r13 75r16 319r24 Right{44R9} 321r52 4|55b31 60r25 64r25 71r40 76r16 323V13*Is_Empty{boolean} 49s35 323>23 325r16 886s20 937s20 1322s20 1338s20 . 4|1197b13 1200l8 1200t16 1548s20 323r23 Container{44R9} 325r43 4|1197b23 1199r22 327U14*Clear 327=21 4|142s7 155b14 189l8 189t13 333s10 371s10 1257s7 327r21 Container{44R9} 329r24 4|155b21 156m30 156r30 160r10 161r25 162r25 . 166r22 167r22 168r25 169r25 171r13 172r15 174m10 175r13 177m10 177r30 179m16 . 182r12 184m7 185m7 186m7 188m13 331U14*Assign 331=22 331>44 4|128b14 149l8 149t14 331r22 Target{44R9} 333r16 334r23 4|128b22 133m10 133r10 137r10 142m14 146m18 331r44 Source{44R9} 333r43 334r40 4|128b44 129r30 133r27 137r28 144r12 336V13*Copy{44R9} 336>19 336>34 340r15 341r25 343r18 345r18 4|207b13 242l8 . 242t12 336r19 Source{44R9} 338r49 340r37 341r51 343r41 4|208b7 211r50 216r43 221r18 . 222r30 223r30 224r33 228r19 229r19 230r19 231r19 234r15 336i34 Capacity{2|22I9} 338r16 338r37 342r18 345r41 4|209b7 211r67 216r14 . 216r32 347V13*Element{36+9} 348>7 349>7 4|396b13 406l8 406t15 348r7 Container{44R9} 352r29 355r26 355r56 4|397b7 401r40 405r14 349r7 Position{52R9} 352r40 355r68 4|398b7 401r64 405r31 358U14*Replace_Element 359=7 360>7 361>7 4|1383b14 1397l8 1397t23 359r7 Container{44R9} 364r29 366r16 366r37 370r25 370r53 375r24 376r35 381r24 . 382r24 383r35 4|1384b7 1389r27 1394r15 1396m7 360r7 Position{52R9} 364r40 376r47 383r47 4|1385b7 1389r38 1394r26 1396r24 361*7 New_Item{36+9} 376r60 4|1386b7 1396r50 385U14*Move 385=20 385=42 4|1243b14 1315l8 1315t12 385r20 Target{44R9} 387r16 388r23 4|1243b20 1248m10 1248r10 1252r10 1257m14 . 1268m18 1303m18 385r42 Source{44R9} 387r43 388r40 388r64 4|1243b42 1244m30 1244r30 1248m27 . 1248r27 1252r28 1259r13 1260r25 1260r46 1261r25 1261r40 1262r28 1263r28 . 1267r15 1272m10 1273r13 1275m10 1275r27 1291m16 1294r10 1295r25 1295r46 . 1296r25 1296r39 1297r28 1298r28 1302r15 1307m10 1308m10 1309m10 1313m16 390U14*Insert 391=7 392>7 393>7 4|1127b14 1136l8 1136t14 1546s10 391r7 Container{44R9} 397r16 397r29 398r33 400r32 400r53 407r29 407r47 407r69 . 412r42 413r42 414r37 418r28 418r57 422r33 422r53 426r24 426r49 433r30 434r30 . 436r41 441r37 442r37 443r48 444r38 451r27 452r38 457r31 458r31 459r45 4|1128b7 . 1135m15 392r7 Before{52R9} 398r44 399r29 402r9 436r57 443r64 452r54 459r61 4|1129b7 . 1135r26 393*7 New_Item{36+9} 422r67 452r65 4|1130b7 1135r34 461U14*Insert 462=7 463>7 464>7 465>7 4|112s7 121s7 1115b14 1125l8 1125t14 . 1345s7 1354s7 462r7 Container{44R9} 469r16 469r30 470r33 472r32 472r53 479r30 480r30 482r31 . 488r44 489r45 490r45 496r40 497r41 498r41 504r31 505r31 506r37 514r30 515r30 . 517r41 522r37 523r37 524r48 525r38 531r40 532r51 534r40 541r31 542r31 543r47 . 4|1116b7 1124m15 463r7 Before{52R9} 470r44 471r29 474r9 517r57 524r64 532r67 534r56 543r63 . 4|1117b7 1124r26 464*7 New_Item{36+9} 491r37 499r33 535r33 4|1118b7 1124r34 465i7 Count{2|22I9} 469r51 472r70 486r21 507r29 526r30 534r70 544r29 4|1119b7 . 1124r54 546U14*Insert 547=7 548>7 549>7 550<7 4|1100b14 1113l8 1113t14 1575s7 547r7 Container{44R9} 554r16 554r29 555r33 558r16 558r37 564r37 566r37 566r69 . 568r37 569r37 574r34 575r34 577r45 582r35 583r35 584r46 585r36 591r25 592r36 . 597r29 598r29 599r43 4|1101b7 1108m23 1576r10 548r7 Before{52R9} 555r44 556r29 565r19 569r53 4|1102b7 1109r23 1577r10 549*7 New_Item{36+9} 592r61 4|1103b7 1110r23 1578r10 550r7 Position{52R9} 564r49 566r49 568r49 577r57 584r58 592r48 599r55 4|1104b7 . 1111m23 1579r10 601U14*Insert 602=7 603>7 604>7 605<7 606>7 4|1067b14 1098l8 1098t14 1107s7 . 1124s7 1135s7 602r7 Container{44R9} 610r16 610r30 611r33 613r32 613r53 617r23 617r43 618r27 . 618r51 626r33 628r39 629r29 631r39 632r39 637r36 638r36 640r47 645r37 646r37 . 647r48 648r38 654r40 655r51 657r40 663r31 664r31 665r47 4|1068b7 1078r30 . 1086r10 1086r29 1090m17 1091m24 1095m20 1096m27 1108r10 603r7 Before{52R9} 611r44 612r29 616r21 627r21 632r55 4|1069b7 1077r10 1078r41 . 1082r22 1091r35 1096r38 1109r10 604*7 New_Item{36+9} 658r33 4|1070b7 1090r28 1095r31 1110r10 605r7 Position{52R9} 616r10 626r45 628r51 631r51 640r59 647r60 655r63 657r52 . 665r59 4|1071b7 1082m10 1092m7 1111r10 606i7 Count{2|22I9} 610r51 613r70 615r9 649r30 657r68 666r29 4|1072b7 1081r10 . 1086r50 1094r25 1112r10 668U14*Prepend 668=23 668>48 4|1343b14 1346l8 1346t15 668r23 Container{44R9} 670r24 670r37 672r16 672r37 677r34 678r34 680r35 685r30 . 690r28 691r28 4|1343b23 1345m15 1345r33 668*48 New_Item{36+9} 685r47 4|1343b48 1345r45 694U14*Prepend 695=7 696>7 697>7 4|1348b14 1355l8 1355t15 695r7 Container{44R9} 700r24 700r38 702r16 702r37 707r36 708r37 710r35 716r37 . 724r28 725r28 4|1349b7 1354m15 1354r33 696*7 New_Item{36+9} 719r30 4|1350b7 1354r45 697i7 Count{2|22I9} 700r59 702r54 711r27 718r30 727r26 4|1351b7 1354r55 729U14*Append 729=22 729>47 4|110b14 113l8 113t14 1268s10 1303s10 729r22 Container{44R9} 731r24 731r37 733r16 733r37 738r32 738r50 739r24 744r39 . 745r39 746r34 750r25 750r54 754r30 754r50 758r21 758r46 4|110b22 112m15 729*47 New_Item{36+9} 754r64 4|110b47 112r38 760U14*Append 761=7 762>7 763>7 4|115b14 122l8 122t14 146s10 761r7 Container{44R9} 766r24 766r38 768r16 768r37 772r21 772r46 778r41 779r43 . 780r43 786r28 787r28 788r34 4|116b7 121m15 762*7 New_Item{36+9} 781r35 4|117b7 121r38 763i7 Count{2|22I9} 766r59 768r54 776r18 789r26 4|118b7 121r48 791U14*Delete 791=22 791=47 4|248b14 254l8 254t14 1581s7 791r22 Container{44R9} 793r29 795r16 795r37 804r33 805r33 807r44 812r34 813r34 . 814r45 815r35 821r28 822r28 823r44 4|248b22 251m23 791r47 Position{52R9} 793r40 799r14 807r60 814r61 823r60 4|248b47 252m23 825U14*Delete 826=7 827=7 828>7 4|250s7 256b14 314l8 314t14 826r7 Container{44R9} 831r37 833r16 834r18 834r52 843r33 844r33 846r44 852r17 . 852r56 853r19 854r31 859r30 860r30 861r46 865r19 865r40 870r37 871r37 872r48 . 873r38 879r30 880r30 881r46 4|251r10 257b7 261m30 261r30 265r40 271r27 . 272r22 273r22 274r25 275r25 277r26 278m24 289r25 292m10 292r30 294r17 297m13 . 298r16 300m19 310m16 827r7 Position{52R9} 831r48 838r14 846r60 852r68 854r47 861r62 872r64 881r62 . 4|252r10 258b7 266r40 271r38 277r10 279m10 284m10 291r15 295m13 304m10 . 305r28 313m7 828i7 Count{2|22I9} 834r35 852r30 862r28 865r57 874r30 882r28 4|253r10 259b7 . 278r35 283r10 288r25 884U14*Delete_First 884=28 4|320b14 325l8 325t20 884r28 Container{44R9} 886r30 888r16 888r37 893r34 894r34 896r35 902r28 903r28 . 4|320b28 323m23 906U14*Delete_First 906=28 906>53 4|278s10 322s7 327b14 352l8 352t20 906r28 Container{44R9} 912r17 913r19 916r19 916r40 921r37 922r37 924r38 930r31 . 931r31 4|323r10 327b28 328m30 328r30 332r19 333m17 342r15 343r47 345m10 . 346r13 348m10 348r30 350m16 906i53 Count{2|22I9} 912r31 916r57 925r30 933r29 4|324r10 327b53 332r10 337r10 . 341r21 935U14*Delete_Last 935=27 4|358b14 363l8 363t19 1547s10 935r27 Container{44R9} 937r30 939r16 939r37 943r21 943r42 947r40 947r58 952r39 . 953r39 954r34 958r25 958r50 4|358b27 361m23 960U14*Delete_Last 960=27 960>52 4|360s7 365b14 390l8 390t19 960r27 Container{44R9} 966r17 967r19 970r19 970r40 974r24 974r45 979r31 980r31 . 981r37 4|361r10 365b27 366m30 366r30 370r19 371m17 380r15 381r47 383m10 . 384r13 386m10 386r30 388m16 960i52 Count{2|22I9} 966r31 970r57 982r29 4|362r10 365b52 370r10 375r10 379r21 984U14*Reverse_Elements 984=32 4|1403b14 1480l8 1480t24 984r32 Container{44R9} 986r44 986r67 4|1403b32 1404m30 1404r30 1405r25 1406r25 . 1451r10 1455r25 1456r25 1458m7 1459m7 1478r25 1479r25 988U14*Swap 989=7 990>7 991>7 4|1682b14 1714l8 1714t12 989r7 Container{44R9} 994r29 994r65 997r18 998r18 999r34 1000r34 1002r25 . 1002r49 4|1683b7 1700r27 1701r27 1704m34 1704r34 990r7 I{52R9} 994r40 999r50 4|1684b7 1688r10 1696r10 1700r38 1705r37 991r7 J{52R9} 994r76 1000r50 4|1685b7 1692r10 1696r19 1701r38 1706r37 1004U14*Swap_Links 1005=7 1006>7 1007>7 4|1720b14 1761l8 1761t18 1005r7 Container{44R9} 1010r29 1010r65 1013r18 1014r18 1015r34 1016r34 1018r28 . 1018r55 4|1721b7 1741r27 1742r27 1744r23 1747m18 1750r26 1753m21 1756r28 . 1757m21 1758m21 1006r7 I{52R9} 1010r40 1015r50 1018r67 4|1722b7 1729r10 1737r10 1741r38 1744r34 . 1747r39 1752r22 1753r57 1758r62 1007r7 J{52R9} 1010r76 1016r50 1018r70 4|1723b7 1733r10 1737r19 1742r38 1746r19 . 1747r54 1750r37 1753r42 1757r62 1020U14*Splice 1021=7 1022>7 1023=7 4|933s16 1518b14 1550l8 1550t14 1021r7 Target{44R9} 1028r27 1028r53 1029r33 1033r22 1033r40 1040r30 1041r30 . 1043r31 1051r37 1052r38 1053r38 1056r37 1057r38 1058r38 1065r31 1066r31 . 1067r37 1075r30 1076r30 1078r41 1086r37 1087r48 1089r40 1093r37 1094r48 . 1096r40 1104r35 1105r35 1106r46 1107r36 1113r29 1114r29 1115r45 4|1519b7 . 1526m10 1526r10 1531r30 1537r10 1541r10 1541r42 1546m18 1022r7 Before{52R9} 1029r41 1030r29 1035r9 1078r54 1087r61 1089r53 1094r61 . 1096r53 1106r59 1115r58 4|1520b7 1530r10 1531r38 1546r26 1023r7 Source{44R9} 1028r16 1032r16 1033r62 1049r37 1050r38 1059r37 1060r38 . 1068r37 1084r37 1085r38 1090r32 1097r32 1098r37 1099r38 1108r36 1116r35 . 4|1521b7 1523r31 1526m27 1526r27 1534r26 1535r26 1537r49 1541r26 1546r38 . 1547m23 1548r30 1118U14*Splice 1119=7 1120>7 1121=7 1122=7 4|948s19 1552b14 1583l8 1583t14 1119r7 Target{44R9} 1127r22 1129r27 1129r37 1131r16 1131r34 1161r36 1163r36 . 1163r65 1165r36 1166r36 1171r33 1172r33 1174r44 1179r34 1180r34 1181r45 . 1182r35 1187r30 1188r41 1195r28 1196r28 1197r42 4|1553b7 1561m10 1561r10 . 1571r10 1571r27 1576m23 1120r7 Before{52R9} 1127r30 1127r46 1162r18 1166r49 4|1554b7 1577r23 1121r7 Source{44R9} 1128r32 1132r22 1132r40 1137r33 1138r33 1140r44 1145r34 . 1146r34 1147r45 1148r35 1154r28 1155r28 1156r44 1189r30 1190r41 4|1555b7 . 1561m27 1561r27 1569r27 1578r23 1581m15 1122r7 Position{52R9} 1128r40 1140r57 1147r58 1156r57 1161r45 1163r45 1165r45 . 1174r53 1181r54 1188r50 1190r54 1197r51 4|1556b7 1565r10 1569r35 1578r37 . 1581m23 1582m7 1199U14*Splice 1200=7 1201>7 1202>7 4|1585b14 1676l8 1676t14 1747s10 1753s13 . 1757s13 1758s13 1200r7 Container{44R9} 1206r22 1207r32 1208r32 1208r53 1211r18 1211r38 1212r28 . 1212r52 1219r30 1220r30 1222r41 1227r35 1228r35 1229r46 1230r36 1236r31 . 1237r32 1238r31 1239r42 1244r36 1245r36 1246r40 1247r40 1254r30 1255r30 . 1259r37 1260r37 1265r36 1266r36 1269r43 1270r43 1271r37 1277r37 1278r37 . 1279r48 1280r48 1287r37 1288r37 1289r48 1290r48 1296r27 1297r38 1299r27 . 1300r38 1305r38 1306r38 1307r42 1308r42 4|1586b7 1590m30 1590r30 1595r18 . 1603r15 1611r22 1614r42 1616r29 1617m13 1618r16 1625r13 1626r36 1628m10 . 1629r13 1634r24 1635r42 1637r29 1638m13 1639r16 1646r13 1647r36 1649m10 . 1650r13 1655r26 1656m10 1657r13 1659r29 1660m10 1661r13 1674r25 1675r25 1201r7 Before{52R9} 1206r33 1206r49 1210r9 1214r9 1260r53 1270r59 1279r64 . 1290r64 1297r54 4|1587b7 1593r10 1595r29 1605r26 1606r42 1613r10 1634r10 . 1668r13 1669r36 1671r10 1672r33 1747r29 1753r32 1757r32 1758r32 1202r7 Position{52R9} 1207r43 1210r18 1222r57 1229r62 1239r58 1259r53 1269r59 . 1280r64 1289r64 1300r54 4|1588b7 1598r10 1603r26 1605r10 1606r20 1614r25 . 1616r13 1617r35 1621r19 1621r51 1622r19 1622r51 1625r37 1626r13 1628r28 . 1635r25 1637r13 1638r34 1642r19 1642r51 1643r19 1643r51 1646r38 1647r13 . 1649r29 1655r10 1656r32 1659r13 1660r31 1664r16 1664r48 1665r16 1665r48 . 1668r40 1669r10 1671r31 1672r10 1747r42 1753r45 1757r50 1758r50 1310V13*First{52R9} 45r34 1310>20 1314r11 1317r35 1318r47 4|447b13 454l8 . 454t13 924s16 925s16 1345s26 1354s26 1310r20 Container{44R9} 1313r17 1317r24 1318r35 4|447b20 449r10 453r23 1320V13*First_Element{36+9} 1320>28 1323r16 4|460b13 469l8 469t21 1320r28 Container{44R9} 1322r30 1323r53 4|460b28 461r34 467r17 1325V13*Last{52R9} 407s41 414s31 738s44 746s28 947s52 954s28 1325>19 1329r11 . 1332r35 1333r47 4|1206b13 1213l8 1213t12 1325r19 Container{44R9} 1328r17 1332r24 1333r35 1334r27 4|1206b19 1208r10 . 1212r23 1336V13*Last_Element{36+9} 1336>27 1340r8 4|1219b13 1228l8 1228t20 1336r27 Container{44R9} 1338r30 1340r44 1340r64 4|1219b27 1220r34 1226r17 1342V13*Next{52R9} 1342>19 1342>37 4|1323s19 1326b13 1337l8 1337t12 1744s17 . 1750s20 1342r19 Container{44R9} 1345r21 1348r37 1348r69 1353r24 1354r40 1355r40 4|1326b19 . 1332r27 1336r23 1342r37 Position{52R9} 1345r32 1345r50 1347r9 1348r49 1355r52 4|1326b37 1328r10 . 1332r38 1336r40 1357U14*Next 1357>20 1357=38 4|1321b14 1324l8 1324t12 1357r20 Container{44R9} 1360r21 1363r37 1363r69 1368r24 1369r40 1370r40 4|1321b20 . 1323r25 1357r38 Position{52R9} 1360r32 1360r50 1362r9 1363r49 1365r11 1368r35 1369r52 . 1370r52 4|1321b38 1323m7 1323r36 1372V13*Previous{52R9} 1372>23 1372>41 4|1363s19 1366b13 1377l8 1377t16 1372r23 Container{44R9} 1375r21 1378r37 1383r24 1384r40 1385r40 4|1366b23 . 1372r27 1376r23 1372r41 Position{52R9} 1375r32 1375r50 1377r9 1378r49 1385r52 4|1366b41 1368r10 . 1372r38 1376r40 1387U14*Previous 1387>24 1387=42 4|1361b14 1364l8 1364t16 1387r24 Container{44R9} 1390r21 1393r37 1398r24 1399r40 1400r40 4|1361b24 . 1363r29 1387r42 Position{52R9} 1390r32 1390r50 1392r9 1393r49 1395r11 1398r35 1399r52 . 1400r52 4|1361b42 1363m7 1363r40 1402V13*Find{52R9} 1403>7 1404>7 1405>7 1425r11 1430r45 1436r50 1441r51 1454r56 . 4|200s14 412b13 441l8 441t12 1403r7 Container{44R9} 1409r21 1416r36 1421r40 1422r37 1430r33 1435r27 1436r38 . 1441r39 1442r39 1447r44 1452r48 1454r44 4|413b7 420r23 425r18 428r55 433r13 . 437r18 1404*7 Item{36+9} 1423r29 1436r66 1455r37 4|414b7 433r46 1405r7 Position{52R9} 1409r32 1409r50 1418r22 1421r52 1440r21 1442r51 1449r30 . 1452r60 4|415b7 417r28 428r10 428r66 1457V13*Reverse_Find{52R9} 1458>7 1459>7 1460>7 1480r11 1485r45 1491r50 1496r51 . 1505r33 4|1486b13 1512l8 1512t20 1458r7 Container{44R9} 1464r21 1471r36 1475r30 1477r40 1485r33 1490r27 1491r38 . 1496r39 1497r39 1502r44 1504r44 1508r38 1510r48 4|1487b7 1495r20 1498r10 . 1503r16 1506r26 1459*7 Item{36+9} 1478r29 1491r74 1511r37 4|1488b7 1503r51 1460r7 Position{52R9} 1464r32 1464r50 1474r22 1477r52 1495r21 1497r51 1507r30 . 1510r60 4|1489b7 1491r30 1513V13*Contains{boolean} 1514>7 1515>7 1519r8 4|195b13 201l8 201t16 1514r7 Container{44R9} 1519r58 1521r59 4|196b7 200r20 1515*7 Item{36+9} 1522r51 4|197b7 200r31 1524V13*Has_Element{boolean} 47r34 352s16 364s16 398s20 470s20 555s20 611s20 . 793s16 831s24 994s16 994s52 1010s16 1010s52 1029s20 1127s9 1128s19 1206s9 . 1207s19 1317s11 1332s11 1345s8 1353s11 1360s8 1368s11 1375s8 1383s11 1390s8 . 1398s11 1409s8 1464s8 1525>7 1526>7 1530r8 1531r50 4|265s14 401s14 428s42 . 1054b13 1061l8 1061t19 1332s14 1372s14 1389s14 1525r7 Container{44R9} 1530r51 4|265r27 401r27 1054b26 1060r14 1526r7 Position{52R9} 1530r63 4|266r27 401r51 1054b44 1056r10 1060r31 1534V22 "<"{boolean} 1534>26 1534>32 1547s48 4|875s28 899s50 929s61 939s61 . 942s37 977s36 1534*26 Left{36+9} 1534*32 Right{36+9} 1536k12 Generic_Sorting 1534z22 1598l8 1598e23 4|848b17 1048l8 1048t23 1544i25 I 1545r32 1546r40 1547r45 1545i27 J 1546r65 1547r70 1553V16*Is_Sorted{boolean} 1553>27 1555r19 4|893b16 907l11 907t20 1553r27 Container{44R9} 1555r64 4|893b27 894r37 895r32 898r24 1557U17*Sort 1557=23 4|961b17 1046l11 1046t15 1557r23 Container{44R9} 1560r19 1560r40 1561r43 1563r36 1564r37 1565r36 1566r37 . 1568r36 1569r37 1570r36 1571r37 4|961b23 962m33 962r33 986m25 997m25 1020r25 . 1035r13 1039r28 1040r28 1044r28 1045r28 1573U17*Merge 1573=24 1573=46 4|913b17 955l11 955t16 1573r24 Target{44R9} 1576r38 1576r64 1578r19 1578r37 1580r47 1583r47 1585r36 . 1586r37 1587r36 1588r37 1592r36 1593r37 1595r27 1597r27 4|913b24 914r34 . 920m13 920r13 924r23 933m24 948m27 1573r46 Source{44R9} 1576r27 1578r59 1579r25 1581r50 1590r36 1591r37 1596r27 . 4|913b46 915r34 920m30 920r30 925r23 933m44 948m39 1603R9 Node_Type 1607e14 1609r25 1611r54 4|1705r15 1706r15 1604i7 Prev 4|168r42 175m30 222m22 222r47 274r42 297r37 305r43 307m25 . 307r39 308r19 343r40 346m30 381r34 383r34 815m13 979r61 988m34 992m31 992r49 . 994m32 996r34 999r37 1039r45 1044r45 1060r46 1158m30 1165m23 1171r45 1173m30 . 1177m30 1180r45 1184m23 1184r42 1186r24 1187m21 1262r42 1273m27 1297r42 . 1376r55 1416r44 1419r44 1427m20 1431m16 1436m19 1440m19 1444m20 1455r42 . 1466r21 1474r21 1478r42 1506r51 1534r40 1618m33 1621r34 1622m40 1622r66 . 1626m28 1638r49 1642r34 1643m40 1643r66 1646m30 1650m30 1657m30 1660r46 . 1664r31 1665m37 1665r63 1668r26 1669m25 1669r49 1671m23 1674r42 1787r28 . 1788r35 1797r22 1805r28 1825r21 1829r31 1833r24 1842r24 1853r21 1869r28 . 1873r37 1877r31 1886r24 1605i7 Next{2|22I9} 4|75r32 76r33 97r41 147r21 169r41 174r35 223m22 223r47 . 275r41 298m32 304r33 307r19 308m25 308r39 343r34 345r35 381r40 384m29 437r41 . 610r52 795r52 818m16 822m16 833m22 836m36 839m16 899r36 902r37 928r29 929r47 . 938r29 939r47 947r43 952r40 975r31 980r61 983m31 991m31 999m43 1006r36 . 1022r35 1040r44 1045r44 1159m29 1162r44 1164m29 1168m29 1174m23 1181r44 . 1183m23 1186m30 1263r41 1272r32 1298r41 1336r55 1415r44 1418r44 1423m20 . 1430m16 1437m19 1441m20 1443m19 1456r41 1463r21 1471r21 1479r41 1535r39 . 1606r35 1617r50 1621m40 1621r66 1622r34 1625m29 1629m29 1639m32 1642m40 . 1642r66 1643r34 1647m28 1656r47 1661m29 1664m37 1664r63 1665r31 1668m32 . 1672m25 1675r41 1793r28 1801r21 1809r28 1821r22 1829r25 1833r30 1838r25 . 1849r22 1865r28 1873r31 1877r37 1882r25 1606*7 Element{36+9} 4|71r29 71r57 96m23 101m23 146r32 224m22 224r50 405r46 . 433r36 467r37 609r55 899r42 899r65 929r53 930r43 939r53 940r43 942r29 942r52 . 977r28 977r48 1226r37 1268r32 1303r32 1396m39 1503r41 1546r51 1578r52 1708r48 . 1711m13 1711r27 1712m13 1609y14 "="{boolean} 1609>18 1609>21 1609r18 L{1603R9} 1609r21 R{1603R9} 1611A9 Node_Array(1603R9)<2|22I9> 1612r25 1619r16 4|91r11 129r11 156r11 261r11 . 328r11 366r11 812r11 894r18 914r15 915r15 962r14 1147r11 1244r11 1404r11 . 1523r12 1590r11 1704r15 1768r11 1612y14 "="{boolean} 1612>18 1612>21 1612a18 L{1611A9} 1612a21 R{1611A9} 1615i7 Free 4|94r20 95r32 97m20 100r36 102m20 102r38 228m9 228r26 . 233r12 817r20 818r34 819m20 821r35 823m20 823r38 826m20 826r42 828r23 829m23 . 832r32 839r34 840m20 1616i7 Length{2|22I9} 4|64r15 64r31 137r35 160r20 171r23 177m20 177r40 186m17 . 229m9 229r26 289r35 292m20 292r40 332r29 348m20 348r40 370r29 386m20 386r40 . 420r33 898r34 1035r23 1086r20 1150r20 1190m17 1190r37 1236r24 1252r35 1259r20 . 1275m17 1275r34 1294r17 1309m17 1451r20 1498r20 1537r17 1537r56 1541r17 . 1541r33 1571r17 1611r32 1756r38 1771r12 1813r12 1837r12 1881r12 1617i7 First{2|22I9} 4|68r18 69r18 144r19 161r35 166r32 168r35 172r25 174m20 . 175r23 182r22 184m17 230m9 230r26 272r32 274r35 277r36 342r25 343r57 345m20 . 346r23 425r28 449r20 453r33 461r44 601r45 785r45 895r42 997m35 1020r35 . 1039r38 1044r38 1152r35 1155m20 1158r23 1170r32 1171r38 1173r23 1174r41 . 1176m20 1177r23 1180r38 1260r32 1261r47 1262r35 1267r22 1272m17 1273r20 . 1295r32 1296r46 1297r35 1302r22 1307m17 1405r35 1455r35 1458m17 1478r35 . 1534r33 1616r39 1617m23 1618r26 1634r34 1635r52 1646r23 1647r46 1649m20 . 1650r23 1655r36 1656m20 1657r23 1674r35 1775r12 1797r15 1805r65 1814r19 . 1817r12 1821r15 1829r18 1829r41 1838r18 1842r34 1849r15 1853r30 1857r28 . 1882r18 1618i7 Last{2|22I9} 4|162r35 167r32 169r35 185m17 231m9 231r26 273r32 275r35 . 294r27 297m23 298r26 380r25 381r57 383m20 384r23 986m35 1040r38 1045r38 . 1153r35 1156m20 1159r23 1162r38 1164r23 1165r41 1167m20 1168r23 1181r38 . 1208r20 1212r33 1220r44 1261r32 1263r35 1296r32 1298r35 1308m17 1406r35 . 1456r35 1459m17 1479r35 1495r30 1535r33 1546r45 1614r52 1625r23 1626r46 . 1628m20 1629r23 1637r39 1638m23 1639r26 1659r39 1660m20 1661r23 1675r35 . 1779r12 1801r15 1809r65 1814r29 1817r22 1825r15 1833r18 1833r40 1838r35 . 1842r18 1849r31 1853r15 1861r28 1886r18 1619a7 Nodes{1611A9} 4|71r18 71r46 75r21 76r22 91m40 129m37 156m40 222m12 . 222r37 223m12 223r37 224m12 224r40 261m40 328m40 366m40 405r24 433r23 437r28 . 467r27 609r38 610r35 795r35 812m40 894m47 914m41 915m41 962m43 1060r24 . 1147m40 1226r27 1244m37 1336r33 1376r33 1396m17 1404m40 1503r26 1506r36 . 1523m38 1578r30 1590m40 1704m44 1768m32 X 4 a-cfdlli.adb 37U14 Allocate 38=7 39>7 40<7 86b14 104l8 104t16 1090s7 1095s10 38r7 Container{3|44R9} 87b7 91m30 91r30 94r10 95r22 97m10 100r26 102m10 102r28 39*7 New_Item{3|36+9} 88b7 96r34 101r34 40i7 New_Node{2|22I9} 89b7 95m10 96r13 97r31 100m10 101r13 1090r38 1095r41 42U14 Free 42=20 42>45 179s10 188s7 236s13 300s13 310s10 350s10 388s10 808b14 . 842l8 842t12 1291s10 1313s10 42r20 Container{3|44R9} 808b20 810r27 812m30 812r30 817r10 818r24 819m10 . 821r25 823m10 823r28 826m10 826r32 828r13 828r30 829m13 832r22 832r40 836r16 . 839r24 840m10 42i45 X{2|22I9} 808b45 809r22 810r22 815r10 818r13 819r28 821r13 822r13 839r13 . 840r28 44U14 Insert_Internal 45=7 46>7 47>7 1091s7 1096s10 1142b14 1191l8 1191t23 45r7 Container{3|44R9} 1143b7 1147m30 1147r30 1150r10 1152r25 1153r25 1155m10 . 1156m10 1158r13 1159r13 1162r28 1164r13 1165r31 1167m10 1168r13 1170r22 . 1171r28 1173r13 1174r31 1176m10 1177r13 1180r28 1181r28 1190m7 1190r27 46i7 Before{2|22I9} 1144b7 1151r25 1161r13 1170r13 1183r31 1184r34 1186r16 . 1187r13 47i7 New_Node{2|22I9} 1091r48 1096r51 1145b7 1155r29 1156r28 1164r37 1165r13 . 1167r28 1173r38 1174r13 1176r29 1183r13 1184r13 1186r38 1187r29 49V13 Vet{boolean} 49>18 49>28 271s22 1078s25 1394s10 1531s25 1569s22 1595s13 . 1603s10 1700s22 1701s22 1741s22 1742s22 1767b13 1892l8 1892t11 49r18 L{3|44R9} 1767b18 1768r30 1771r10 1775r10 1779r10 1783r26 1788r42 1793r35 . 1797r13 1801r13 1805r63 1809r63 1813r10 1814r17 1814r27 1817r10 1817r20 . 1821r13 1825r13 1829r16 1829r39 1833r16 1833r38 1837r10 1838r16 1838r33 . 1842r16 1842r32 1849r13 1849r29 1853r13 1853r28 1857r26 1861r26 1881r10 . 1882r16 1886r16 49r28 Position{3|52R9} 1767b28 1783r10 1787r13 1788r20 1793r13 1805r13 1805r46 . 1809r13 1809r46 1857r10 1861r10 1865r13 1869r13 1873r16 1873r45 1877r16 . 1877r45 1882r33 1886r32 56i7 LI{2|22I9} 68m7 70r13 71r25 71r53 75m10 75r28 57i7 RI{2|22I9} 69m7 76m10 76r29 91a7 N{3|1611A9} 96r10 97r28 101r10 129a7 N{3|1611A9} 146r26 147r15 130i7 J{2|22I9} 144m7 145r13 146r29 147m10 147r18 156a7 N{3|1611A9} 168r22 169r22 174r29 175r10 157i7 X{2|22I9} 172m10 174r32 179r27 182m7 188r24 211i7 C{2|22I9} 213r17 235r21 212i7 N{2|22I9} 220m7 221r13 222r19 222r44 223r19 223r44 224r19 224r47 225m10 . 225r15 234m10 235r16 236r22 237m13 237r18 213r7 P{3|44R9} 222m10 223m10 224m10 228m7 229m7 230m7 231m7 233r10 236m19 . 236r19 241r14 261a7 N{3|1611A9} 274r22 275r22 297r31 298r13 304r27 305r25 307r10 307r13 . 307r33 308r10 308r13 308r33 262i7 X{2|22I9} 291m10 294r13 297r34 300r30 304r30 307r16 307r36 308r16 308r36 . 310r27 288i11 Index 328a7 N{3|1611A9} 343r25 343r28 345r29 346r10 329i7 X{2|22I9} 342m10 343r31 345r32 350r27 341i11 J 366a7 N{3|1611A9} 381r25 381r28 383r28 384r10 367i7 X{2|22I9} 380m10 381r31 383r31 388r27 379i11 J 417i7 From{2|22I9} 420r10 424r10 425m10 432r13 433r30 434r29 437m10 437r35 461i7 F{2|22I9} 464r10 467r34 495i14 Index 496r41 521i14 I 529r37 558i14 I 559r31 559r57 585i14 I 586r16 586r32 587r39 587r61 627r14 C{7|36R9[3|154]} 628r40 629r39 630r39 631r55 632r55 638r14 C{7|36R9[3|154]} 639r39 658r14 Cu{7|36R9[3|154]} 659r36 664r14 Cu{7|36R9[3|154]} 666r66 670r44 671r50 677r44 678r50 684r40 719r14 C{7|36R9[3|154]} 720r38 725r14 C{7|36R9[3|154]} 726r37 727r24 728r29 729r42 729r62 749r14 Cu{7|36R9[3|154]} 750r36 755r14 Cu{7|36R9[3|154]} 757r66 761r44 762r50 770r40 812a7 N{3|1611A9} 815r7 818r10 822r10 833r16 836r13 839r10 832i17 J 833r19 833r30 870i20 I 872r72 894a10 Nodes{3|1611A9} 899r16 899r23 899r52 902r24 895i10 Node{2|22I9} 899r30 899r59 902m16 902r31 898i14 J 914a10 LN{3|1611A9} 938r16 939r30 939r34 940r30 942r39 952r27 915a10 RN{3|1611A9} 928r16 929r30 929r34 930r30 942r16 947r30 916r10 LI{3|52R9} 924m10 932r16 938r20 939r38 940r34 942r43 948r35 952m16 . 952r31 917r10 RI{3|52R9} 925m10 926r16 928r20 929r38 930r34 942r20 944r34 947m19 . 947r34 944r19 RJ{3|52R9} 945r41 948m47 948r47 962a10 N{3|1611A9} 975r21 977r19 977r38 979r52 980r52 983r22 988r25 991r22 . 992r22 992r39 994r22 996r25 999r25 999r28 1006r27 1022r25 1039r25 1040r25 . 1044r25 1045r25 964U20 Partition 964>31 964>51 971b20 1009l14 1009t23 1026s16 964i31 Pivot{2|22I9} 971b31 975r24 977r41 991r39 992r42 994r25 964i51 Back{2|22I9} 971b51 976r27 965U20 Sort 965>26 965>46 1015b20 1027s16 1028s16 1030l14 1030t18 1042s10 965i26 Front{2|22I9} 1015b26 1019r16 1022r28 1027r22 1042r16 965i46 Back{2|22I9} 1015b46 1025r25 1026r34 1028r29 1042r28 972i13 Node{2|22I9} 975m13 976r19 977r22 979r55 980r55 991r25 992r25 994r40 . 996r28 997r44 999r31 999r51 1002m22 1006m19 1006r30 979i22 Prev{2|22I9} 983r25 986r43 988r42 980i22 Next{2|22I9} 983r39 985r25 988r28 1002r30 1016i13 Pivot{2|22I9} 1020m16 1022m16 1025r16 1026r27 1027r29 1028r22 1074i7 J{2|22I9} 1090m50 1091r60 1092r28 1095m53 1096r63 1094i11 Index 1121r7 Position{3|52R9} 1124m44 1132r7 Position{3|52R9} 1135m44 1147a7 N{3|1611A9} 1158r10 1159r10 1162r25 1164r10 1165r10 1168r10 1171r25 . 1173r10 1174r10 1177r10 1180r25 1181r25 1183r10 1184r10 1184r31 1186r10 . 1186r13 1187r10 1220i7 L{2|22I9} 1223r10 1226r34 1244a7 N{3|1611A9} 1262r25 1263r25 1268r26 1272r26 1273r10 1297r25 1298r25 . 1303r26 1245i7 X{2|22I9} 1267m10 1268r29 1272r29 1291r24 1302m10 1303r29 1313r24 1404a7 N{3|1611A9} 1415r38 1416r38 1418r38 1419r38 1423r13 1427r13 1430r10 . 1431r10 1436r13 1437r13 1440r13 1441r13 1443r13 1444r13 1455r22 1456r22 . 1463r15 1466r15 1471r15 1474r15 1478r22 1479r22 1405i7 I{2|22I9} 1459r26 1461r21 1464r20 1466m10 1466r18 1467r20 1469r29 . 1471m10 1471r18 1472r20 1475r20 1406i7 J{2|22I9} 1458r26 1461r29 1463m10 1463r18 1464r24 1467r24 1469r21 . 1472r24 1474m10 1474r18 1475r24 1408U17 Swap 1408>23 1408>39 1414b17 1446l11 1446t15 1461s10 1469s10 1408i23 L{2|22I9} 1414b23 1415r41 1416r41 1427r28 1430r13 1434r33 1436r16 . 1437r27 1440r16 1441r28 1461r16 1469r16 1408i39 R{2|22I9} 1414b39 1418r41 1419r41 1423r28 1431r13 1433r18 1436r27 . 1437r16 1443r16 1444r28 1461r24 1469r24 1415i10 LN{2|22I9} 1433r13 1443r27 1444r16 1416i10 LP{2|22I9} 1422r13 1423r16 1431r24 1418i10 RN{2|22I9} 1426r13 1427r16 1430r24 1419i10 RP{2|22I9} 1434r28 1440r27 1441r16 1491i7 CFirst{2|22I9} 1494r10 1495m10 1502r16 1503r33 1504r32 1506m16 1506r43 1523a7 SN{3|1611A9} 1534r22 1535r22 1546r34 1558r7 Target_Position{3|52R9} 1579m23 1582r19 1590a7 N{3|1611A9} 1606r17 1617r32 1618r13 1621r13 1621r16 1621r48 1622r13 . 1622r16 1622r48 1625r10 1626r10 1629r10 1638r31 1639r13 1642r13 1642r16 . 1642r48 1643r13 1643r16 1643r48 1646r10 1647r10 1650r10 1656r29 1657r10 . 1660r28 1661r10 1664r10 1664r13 1664r45 1665r10 1665r13 1665r45 1668r7 . 1668r10 1669r7 1669r33 1671r7 1672r7 1674r22 1675r22 1704a10 NN{3|1611A9} 1705r33 1706r33 1705r10 NI=1705:33{3|1603R9} 1708r45 1711r10 1706r10 NJ=1706:33{3|1603R9} 1711r24 1712r10 1708*10 EI_Copy{3|36+9} 1712r24 1725r7 I_Next{3|52R9} 1744m7 1746r10 1757r42 1726r7 J_Next{3|52R9} 1750m10 1752r13 1758r42 1768a7 N{3|1611A9} 1787r10 1788r17 1793r10 1797r10 1801r10 1805r10 1809r10 . 1821r10 1825r10 1829r10 1829r13 1833r10 1833r13 1838r13 1842r13 1849r10 . 1853r10 1865r10 1869r10 1873r10 1873r13 1877r10 1877r13 1882r13 1886r13 X 7 a-cofuma.ads 36+9 Key_Type 3|155r10 37+9 Element_Type 3|156r10 39V18 Equivalent_Keys{boolean} 3|157r10 42V19 "="{boolean} 5|43i19 44b4 Enable_Handling_Of_Equivalence{boolean} 3|158r10 49k24*Functional_Maps 3|33w21 154r39 7|376e35 335V14 "="=337:48{boolean} 5|43i19 X 9 a-cofuve.ads 36E9 Index_Type 3|70r10 40+9 Element_Type 3|71r10 41V19 "="{boolean} 5|43i19 43k24*Functional_Vectors 3|32w21 69r39 9|394e38 X 13 system.ads 37K9*System 4|28w6 28r23 13|148e11 67M9*Address 4|28r30 81V14*"="{boolean} 4|60r23 133r25 920r28 1248r25 1526r25 1561r25