V "GNAT Lib v4.9" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=pentium A -march=pentium P RN RV NO_EXCEPTIONS RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U ada.containers.formal_vectors%b a-cofove.adb fc90f16f NE OL PK GE W ada%s ada.ads ada.ali W ada.containers%s a-contai.ads a-contai.ali W ada.containers.generic_array_sort%s W system%s system.ads system.ali U ada.containers.formal_vectors%s a-cofove.ads fe30e697 BN NE OL PU PK GE W ada%s ada.ads ada.ali W ada.containers%s a-contai.ads a-contai.ali N A68:4 gnatprove external_axiomatization D ada.ads 20070406121342 3ffc8e18 D a-contai.ads 20101025165030 61e5e089 D a-cofove.ads 20140224185158 fe30e697 D a-cofove.adb 20140224185820 d5a667c0 D a-cgarso.ads 20070406121342 9129bfa8 D a-cgarso.adb 20090409180020 59f5315a D a-cgcaso.ads 20080324125732 9f1e835c D a-unccon.ads 20070406121342 f9eb8f06 D system.ads 20160804194326 462fcf90 D s-exctab.ads 20140225171140 54135002 D s-stalib.ads 20140225171140 a891183f X 1 ada.ads 16K9*Ada 19e8 3|58r6 59r5 67r9 484r5 4|28r6 31r14 1636r5 X 2 a-contai.ads 16K13*Containers 1|16k9 2|24e19 3|58w10 59r9 67r13 484r9 4|28r10 31r18 1636r9 20I9*Count_Type 3|78r6 78r28 98r18 118r50 123r19 128r48 133r23 150r18 . 235r19 246r19 258r19 275r19 290r19 298r19 307r19 314r19 320r19 467r34 4|38r19 . 43r19 50r21 51r21 99r33 108r30 130r30 138r30 160r30 193r16 222r19 243r21 . 264r50 296r18 298r21 299r12 350r19 373r40 388r30 388r44 391r30 391r44 398r30 . 398r44 411r19 432r19 453r19 486r24 486r38 509r24 509r38 524r14 534r12 556r14 . 560r12 653r26 655r22 677r20 735r31 756r19 786r19 788r27 842r24 842r38 845r24 . 845r38 851r30 851r44 870r20 895r30 895r44 898r24 898r38 911r30 911r44 930r30 . 930r44 1014r19 1045r19 1088r19 1090r27 1096r48 1144r24 1144r38 1147r24 . 1147r38 1153r30 1153r44 1211r48 1217r14 1228r20 1296r19 1355r24 1355r38 . 1378r24 1378r38 1390r19 1409r17 1439r14 1450r12 1472r14 1481r12 1499r23 . 1553r56 1554r56 1612r18 22X4*Capacity_Error 4|307r16 X 3 a-cofove.ads 62I9 Index_Type 71r30 72r10 73r6 73r22 73r48 78r40 78r58 166r19 181r19 327r54 . 338r53 377r19 377r33 392r19 392r33 477r15 477r29 482r62 4|87r32 94r29 94r43 . 113r40 116r15 120r27 122r29 127r26 127r40 144r18 147r15 151r27 153r29 158r30 . 158r44 168r10 168r30 173r26 173r40 212r27 229r27 353r18 371r44 394r43 395r18 . 444r26 464r18 464r34 467r28 477r19 496r22 525r23 554r19 554r33 557r23 582r21 . 602r53 605r14 645r26 690r30 741r31 790r46 792r25 797r19 823r36 833r22 873r19 . 946r15 956r30 976r15 994r30 1016r15 1026r30 1047r15 1065r30 1092r46 1094r25 . 1099r19 1125r36 1135r22 1169r39 1213r32 1290r26 1300r15 1315r27 1330r27 . 1345r19 1438r14 1451r27 1469r19 1469r33 1471r14 1482r27 1512r17 1514r28 . 1535r54 1586r23 1620r45 1622r24 1625r27 1625r43 1629r18 63+9 Element_Type 65r37 97r18 106r41 110r25 114r32 166r38 174r34 182r19 191r19 . 234r19 245r19 256r19 274r19 289r19 344r55 354r54 376r19 383r19 391r19 398r19 . 406r19 415r40 467r58 4|38r38 107r42 137r26 166r32 221r19 284r19 477r38 . 494r34 521r19 553r19 589r55 736r31 756r38 785r19 1013r19 1043r19 1189r54 . 1295r19 1346r19 1365r19 1417r30 1435r19 1468r19 1553r15 1554r15 1556r29 . 1611r18 65V19 "="{boolean} 65>23 65>29 4|194r35 537s40 562s40 1452s40 1483s40 65*23 Left{63+9} 65*29 Right{63+9} 67k24*Formal_Vectors 2|16k13 3|62z9 63z9 65z19 467E9 484l20 484e34 4|31b29 . 1502r23 1636l20 1636t34 71I12*Extended_Index 75r24 75r42 157r19 161r49 202r19 233r19 297r19 348r52 . 377r58 392r57 472r18 4|42r19 349r19 554r58 784r19 867r19 1087r19 1202r52 . 1469r57 1583r19 1597r49 75*4*No_Index{71I12} 472r36 4|81r18 85r30 275r25 287r46 387r58 390r58 397r60 . 465r28 485r55 508r64 534r52 560r43 569r14 707r34 841r56 844r59 893r46 897r56 . 1143r56 1146r59 1243r22 1247r22 1354r55 1377r64 1450r42 1481r42 1490r14 . 1550r51 1551r51 1600r17 77I12*Capacity_Range{2|20I9} 80r28 104r16 108r32 112r33 116r16 153r65 470r28 . 4|304r49 80R9*Vector 80d17 89r28 93r32 98r37 102r32 102r47 106r25 106r62 110r47 110r62 . 114r53 118r35 122r26 128r33 132r26 138r35 141r40 144r38 144r55 149r18 150r42 . 156r19 165r19 173r19 180r26 189r26 196r36 196r60 201r26 203r19 211r26 213r19 . 221r26 223r19 232r26 243r26 254r26 266r26 267r19 273r26 281r26 282r19 288r26 . 296r26 305r26 313r26 319r26 324r51 327r39 334r39 338r38 341r32 344r40 348r37 . 351r31 354r39 358r31 362r32 366r35 370r36 375r19 382r19 390r19 397r19 405r19 . 410r38 418r39 421r42 424r40 424r64 429r41 436r19 437r32 442r19 443r32 470c9 . 473e14 480r28 4|37r19 41r26 49r32 49r47 107r26 107r63 137r48 137r63 166r53 . 183r32 206r41 206r60 220r26 242r38 242r55 264r35 273r40 283r19 295r18 296r42 . 310r23 321r19 322r34 324r11 348r26 409r26 431r26 452r26 476r19 493r19 520r19 . 552r19 576r32 589r40 602r38 613r19 614r34 616r11 644r39 671r48 731r42 755r19 . 767r19 783r26 866r26 868r19 942r26 944r19 971r26 973r19 1011r26 1041r26 . 1086r26 1167r35 1176r31 1189r39 1202r37 1211r33 1225r23 1226r23 1254r31 . 1271r32 1288r42 1288r61 1294r26 1309r36 1324r35 1344r26 1363r26 1389r26 . 1402r51 1434r19 1467r19 1498r26 1522r41 1535r39 1564r39 1582r19 1612r37 80i17 Capacity{77I12} 126r38 146r42 198r42 208r58 216r47 227r47 240r67 249r56 . 261r56 270r47 278r56 285r47 293r56 470r17 471r39 480m39 4|250r17 324r29 . 324r69 616r29 616r69 794r58 1235r21 1393r31 1506r33 86R9*Cursor 87r41 91r26 157r42 161r34 174r19 190r19 212r19 222r19 224r23 . 244r19 255r19 257r23 306r26 334r54 341r47 351r46 358r50 358r65 362r58 366r54 . 366r69 370r62 384r19 384r48 399r19 399r48 410r57 437r17 443r17 475c9 478e14 . 482r26 4|322r19 410r26 494r19 522r19 522r48 538r20 576r47 614r19 768r19 . 943r19 972r19 974r23 1007r19 1012r19 1042r19 1044r23 1078r19 1176r46 1254r50 . 1254r65 1271r58 1309r62 1324r54 1324r69 1364r19 1436r19 1436r48 1564r54 . 1583r42 1590r14 1597r34 89r4*Empty_Vector{80R9} 480c4 4|56r20 1616r17 91r4*No_Element{86R9} 218r46 229r46 251r46 263r46 360r69 364r69 368r69 372r69 . 384r29 387r69 399r29 402r69 440r67 446r67 482c4 4|327r20 423r19 522r29 . 544r14 579r17 619r20 983r25 1054r25 1179r17 1257r17 1264r14 1280r22 1320r22 . 1327r17 1336r14 1436r29 1459r14 1587r17 93V14*"="{boolean} 93>18 93>24 4|183b14 200l9 200t11 1528s19 93r18 Left{80R9} 4|183b18 185r10 189r18 193r46 194r26 93r24 Right{80R9} 4|183b24 185r25 189r35 194r51 96V13*To_Vector{80R9} 97>7 98>7 4|1610b13 1634l8 1634t17 97*7 New_Item{63+9} 4|1611b7 1631r37 98i7 Length{2|20I9} 4|1612b7 1615r10 1621r58 1631r18 102V14*"&"{80R9} 102>18 102>24 4|49b14 105l9 105t11 102r18 Left{80R9} 104r46 4|49b18 50r43 69r55 70r15 72r29 72r47 96r55 99r55 102r24 Right{80R9} 104r63 4|49b24 51r43 60r55 61r15 63r29 63r48 97r41 99r71 106V14*"&"{80R9} 106>18 106>33 4|107b14 135l9 135t11 106r18 Left{80R9} 108r24 4|107b18 108r52 128r54 130r52 106*33 Right{63+9} 4|107b34 113r32 133r33 110V14*"&"{80R9} 110>18 110>39 4|137b14 164l9 164t11 110*18 Left{63+9} 4|137b18 143r32 162r28 110r39 Right{80R9} 112r24 4|137b40 138r52 159r44 160r56 114V14*"&"{80R9} 114>18 114>24 4|166b14 177l9 177t11 114*18 Left{63+9} 4|166b18 175r22 114*24 Right{63+9} 4|166b24 175r28 118V13*Capacity{2|20I9} 118>23 4|264b13 267l8 267t16 118r23 Container{80R9} 4|264b23 266r14 121U14*Reserve_Capacity 122=7 123>7 4|1388b14 1396l8 1396t24 122r7 Container{80R9} 126r28 4|1389b7 1393r21 123i7 Capacity{2|20I9} 126r16 4|1390b7 1393r10 128V13*Length{2|20I9} 104s38 104s55 108s16 112s16 128>21 136s30 146s16 153s16 . 198s16 208s27 216s16 227s16 240s27 249s16 261s16 270s16 278s16 285s16 293s16 . 4|50s35 51s35 60s47 63s21 69s47 72s21 99s47 99s63 108s44 130s44 138s44 . 160s48 189s10 189s27 193s38 243s35 298s35 401s40 439s19 653s40 696s18 697s37 . 699s18 701s31 702s35 703s26 706s43 713s23 718s33 745s41 853s40 870s34 919s24 . 925s57 1155s40 1195s38 1211b13 1218l8 1218t14 1228s34 1404s10 1414s15 1502s38 128r21 Container{80R9} 4|1211b21 1212r44 131U14*Set_Length 132=7 133>7 4|697s13 1497b14 1516l8 1516t18 132r7 Container{80R9} 136r38 4|1498b7 1502r46 1506r23 1514m10 133i7 New_Length{2|20I9} 136r16 4|1499b7 1502r10 1506r10 1512r42 138V13*Is_Empty{boolean} 138>23 346s20 356s20 4|208s10 578s10 591s10 700s23 . 949s10 979s10 1167b13 1170l8 1170t16 1178s10 1191s10 138r23 Container{80R9} 4|1167b23 1169r26 141U14*Clear 141=21 4|254s7 273b14 276l8 276t13 328s10 440s10 141r21 Container{80R9} 4|273b21 275m7 144U14*Assign 144=22 144>46 4|242b14 258l8 258t14 144r22 Target{80R9} 146r35 4|242b22 246m10 246r10 250r10 254m14 256m7 257m7 144r46 Source{80R9} 146r24 4|242b46 243r43 246r27 256r36 257r22 148V13*Copy{80R9} 149>7 150>7 4|294b13 314l8 314t12 324s42 616s42 149r7 Source{80R9} 153r24 4|295b7 298r43 311r39 312r25 150i7 Capacity{2|20I9} 153r35 153r53 4|296b7 302r10 304r13 304r37 305r15 155V13*To_Cursor{86R9} 156>7 157>7 4|1581b13 1591l8 1591t17 156r7 Container{80R9} 4|1582b7 1586r55 157*7 Index{71I12} 4|1583b7 1586r10 1590r28 161V13*To_Index{71I12} 161>23 4|1597b13 1604l8 1604t16 161r23 Position{86R9} 4|1597b23 1599r14 1603r14 164V13*Element{63+9} 165>7 166>7 4|475b13 490l8 490t15 165r7 Container{80R9} 169r29 170r48 4|476b7 480r18 488r30 166*7 Index{62I9} 169r43 170r27 4|477b7 480r10 485r41 172V13*Element{63+9} 173>7 174>7 4|492b13 513l8 513t15 173r7 Container{80R9} 177r29 4|493b7 496r48 511r30 174r7 Position{86R9} 177r40 4|494b7 499r14 503r10 508r41 179U14*Replace_Element 180=7 181>7 182>7 4|1343b14 1360l8 1360t23 180r7 Container{80R9} 185r29 186r48 4|1344b7 1349r18 1358m10 181*7 Index{62I9} 185r43 186r27 4|1345b7 1349r10 1354r41 182*7 New_Item{63+9} 4|1346b7 1358r36 188U14*Replace_Element 189=7 190>7 191>7 4|1362b14 1382l8 1382t23 189r7 Container{80R9} 194r29 4|1363b7 1372r27 1380m10 190r7 Position{86R9} 194r40 4|1364b7 1368r14 1372r10 1377r41 191*7 New_Item{63+9} 4|1365b7 1380r36 196U14*Move 196=20 196=44 4|1224b14 1248l8 1248t12 196r20 Target{80R9} 198r35 4|1225b7 1231m10 1231r10 1235r14 1243m7 1244m7 . 1246m7 196r44 Source{80R9} 198r24 4|1226b7 1228r42 1231m27 1231r27 1244r35 1246r22 . 1247m7 200U14*Insert 201=7 202>7 203>7 4|216s7 865b14 939l8 939t14 967s7 1005s7 . 1290s7 201r7 Container{80R9} 206r29 207r49 208r35 208r48 4|866b7 878r19 879r27 889m21 . 901m13 901r13 902m13 907r42 913m42 913r42 919r32 925r21 925r65 933m21 933r21 202*7 Before{71I12} 206r43 207r27 4|867b7 873r10 878r10 879r18 889r32 893r17 . 897r41 203r7 New_Item{80R9} 4|868b7 870r42 901r34 902r51 210U14*Insert 211=7 212>7 213>7 4|941b14 968l8 968t14 211r7 Container{80R9} 216r24 216r37 217r41 4|942b7 954r32 956r13 961r19 967m15 212r7 Before{86R9} 217r52 218r37 4|943b7 953r14 954r17 964r19 213r7 New_Item{80R9} 4|944b7 949r20 967r33 220U14*Insert 221=7 222>7 223>7 224<7 4|970b14 1008l8 1008t14 221r7 Container{80R9} 227r24 227r37 228r41 4|971b7 981r35 992r32 994r13 999r19 . 1005m15 222r7 Before{86R9} 228r52 229r37 4|972b7 980r17 981r20 985r32 991r14 992r17 . 1002r19 223r7 New_Item{80R9} 4|973b7 979r20 1005r33 224r7 Position{86R9} 4|974b7 983m13 985m13 1007m7 231U14*Insert 232=7 233>7 234>7 235>7 4|235s7 782b14 863l8 863t14 1037s7 . 1076s7 1299s7 232r7 Container{80R9} 238r29 239r49 240r35 240r57 4|783b7 794r48 802r19 803r27 . 814r49 839m38 839r38 848r23 853r48 862m7 233*7 Before{71I12} 238r43 239r27 4|784b7 797r10 802r10 803r18 841r41 848r13 234*7 New_Item{63+9} 4|785b7 854r46 858r39 235i7 Count{2|20I9} 240r48 4|786b7 788r43 809r10 242U14*Insert 243=7 244>7 245>7 246>7 4|1010b14 1038l8 1038t14 243r7 Container{80R9} 249r24 249r46 250r41 4|1011b7 1024r32 1026r13 1031r19 . 1037m15 244r7 Before{86R9} 250r52 251r37 4|1012b7 1023r14 1024r17 1034r19 245*7 New_Item{63+9} 4|1013b7 1037r33 246i7 Count{2|20I9} 249r37 4|1014b7 1019r10 1037r43 253U14*Insert 254=7 255>7 256>7 257<7 258>7 4|1040b14 1079l8 1079t14 254r7 Container{80R9} 261r24 261r46 262r41 4|1041b7 1052r35 1063r32 1065r13 . 1070r19 1076m15 255r7 Before{86R9} 262r52 263r37 4|1042b7 1051r17 1052r20 1056r32 1062r14 . 1063r17 1073r19 256*7 New_Item{63+9} 4|1043b7 1076r33 257r7 Position{86R9} 4|1044b7 1054m13 1056m13 1078m7 258i7 Count{2|20I9} 261r37 4|1045b7 1050r10 1076r43 265U14*Prepend 266=7 267>7 4|1288b14 1291l8 1291t15 266r7 Container{80R9} 270r24 270r37 4|1288b23 1290m15 267r7 New_Item{80R9} 4|1288b50 1290r44 272U14*Prepend 273=7 274>7 275>7 4|1293b14 1303l8 1303t15 273r7 Container{80R9} 278r24 278r46 4|1294b7 1299m15 274*7 New_Item{63+9} 4|1295b7 1301r15 275i7 Count{2|20I9} 278r37 4|1296b7 1302r15 280U14*Append 281=7 282>7 4|206b14 217l8 217t14 281r7 Container{80R9} 285r24 285r37 4|206b22 212r10 216m15 216r26 282r7 New_Item{80R9} 4|206b49 208r20 216r46 287U14*Append 288=7 289>7 290>7 4|219b14 236l8 236t14 288r7 Container{80R9} 293r24 293r46 4|220b7 229r10 235m15 235r26 289*7 New_Item{63+9} 4|221b7 235r46 290i7 Count{2|20I9} 293r37 4|222b7 225r10 235r56 295U14*Delete 296=7 297>7 298>7 4|347b14 406l8 406t14 422s7 444s7 296r7 Container{80R9} 301r29 302r48 4|348b7 357r18 358r21 371r60 381m13 385m44 . 385r44 401r48 402m16 297*7 Index{71I12} 301r43 302r27 4|349b7 353r10 357r10 358r13 370r49 381r31 298i7 Count{2|20I9} 4|350b7 365r10 373r56 304U14*Delete 305=7 306=7 307>7 4|408b14 424l8 424t14 305r7 Container{80R9} 310r29 4|409b7 418r27 422m15 306r7 Position{86R9} 310r40 4|410b7 414r14 418r10 422r26 423m7 307i7 Count{2|20I9} 4|411b7 422r42 312U14*Delete_First 313=7 314>7 4|336s13 430b14 445l8 445t20 313r7 Container{80R9} 4|431b7 439r27 440m17 444m15 314i7 Count{2|20I9} 4|432b7 435r10 439r10 444r44 318U14*Delete_Last 319=7 320>7 4|451b14 469l8 469t19 627s13 319r7 Container{80R9} 4|452b7 462r26 465m10 467m10 320i7 Count{2|20I9} 4|453b7 458r10 462r54 324U14*Reverse_Elements 324=32 4|1402b14 1427l8 1427t24 324r32 Container{80R9} 4|1402b32 1404r18 1410m40 1410r40 1414r23 327U14*Swap 327=20 327>47 327>50 4|1535b14 1562l8 1562t12 1574s7 327r20 Container{80R9} 329r29 330r44 331r40 332r44 4|1535b20 1537r14 1541r14 . 1553m36 1553r36 1554m36 1554r36 327*47 I{62I9} 329r43 330r27 4|1535b47 1537r10 1545r10 1550r41 327*50 J{62I9} 331r54 332r27 4|1535b50 1541r10 1545r14 1551r41 334U14*Swap 334=20 334>47 334>50 4|1564b14 1575l8 1575t12 334r20 Container{80R9} 336r29 336r65 4|1564b20 1574m13 334r47 I{86R9} 336r40 4|1564b47 1566r14 1574r24 334r50 J{86R9} 336r76 4|1564b50 1570r14 1574r33 338V13*First_Index{62I9} 169s16 185s16 206s16 238s16 301s16 329s16 331s27 . 338>26 457r19 4|602b13 606l8 606t19 338r26 Container{80R9} 4|602b26 603r28 341V13*First{86R9} 81r34 341>20 4|576b13 583l8 583t13 341r20 Container{80R9} 4|576b20 578r20 344V13*First_Element{63+9} 344>28 460r19 4|589b13 596l8 596t21 344r28 Container{80R9} 346r30 4|589b28 591r20 595r27 348V13*Last_Index{71I12} 170s36 186s36 207s37 239s37 302s36 330s32 332s32 . 348>25 458r19 4|496s36 525s37 529s30 557s37 645s40 774s35 1169s14 1182s21 . 1202b13 1205l8 1205t18 1212s32 1260s27 1277s27 1316s36 1331s36 1443s34 . 1445s18 1475s18 1476s18 1586s43 348r25 Container{80R9} 4|1202b25 1204r14 351V13*Last{86R9} 351>19 4|1176b13 1183l8 1183t12 351r19 Container{80R9} 4|1176b19 1178r20 1182r33 354V13*Last_Element{63+9} 354>27 461r19 4|1189b13 1196l8 1196t20 354r27 Container{80R9} 356r30 4|1189b27 1191r20 1195r27 1195r46 358V13*Next{86R9} 358>19 358>39 4|1254b13 1265l8 1265t12 358r19 Container{80R9} 360r29 4|1254b19 1260r39 358r39 Position{86R9} 360r40 360r58 4|1254b39 1256r14 1260r10 1261r24 362U14*Next 362>20 362=40 4|1271b14 1282l8 1282t12 362r20 Container{80R9} 364r29 4|1271b20 1277r39 362r40 Position{86R9} 364r40 364r58 4|1271b40 1273r14 1277r10 1278m10 1278r28 . 1280m10 366V13*Previous{86R9} 366>23 366>43 4|1324b13 1337l8 1337t16 366r23 Container{80R9} 368r29 4|1324b23 1331r48 366r43 Position{86R9} 368r40 368r58 4|1324b43 1326r14 1330r10 1331r18 1333r24 370U14*Previous 370>24 370=44 4|1309b14 1322l8 1322t16 370r24 Container{80R9} 372r29 4|1309b24 1316r48 370r44 Position{86R9} 372r40 372r58 4|1309b44 1311r14 1315r10 1316r18 1318m10 . 1318r28 1320m10 374V13*Find_Index{71I12} 375>7 376>7 377>7 4|287s14 551b13 570l8 570t18 375r7 Container{80R9} 4|552b7 557r49 562r26 376*7 Item{63+9} 4|553b7 562r42 377*7 Index{62I9} 4|554b7 560r29 561r19 381V13*Find{86R9} 382>7 383>7 384>7 4|519b13 545l8 545t12 382r7 Container{80R9} 387r29 4|520b7 525r49 529r42 537r26 383*7 Item{63+9} 4|521b7 537r42 384r7 Position{86R9} 387r40 387r58 4|522b7 528r10 529r13 534r29 536r16 389V13*Reverse_Find_Index{71I12} 390>7 391>7 392>7 4|1466b13 1491l8 1491t26 390r7 Container{80R9} 4|1467b7 1475r30 1476r30 1483r26 391*7 Item{63+9} 4|1468b7 1483r42 392*7 Index{62I9} 4|1469b7 1475r10 1478r18 396V13*Reverse_Find{86R9} 397>7 398>7 399>7 4|1433b13 1460l8 1460t20 397r7 Container{80R9} 402r29 4|1434b7 1443r46 1445r30 1452r26 398*7 Item{63+9} 4|1435b7 1452r42 399r7 Position{86R9} 402r40 402r58 4|1436b7 1442r14 1443r17 1447r18 404V13*Contains{boolean} 405>7 406>7 463r19 4|282b13 288l8 288t16 405r7 Container{80R9} 4|283b7 287r26 406*7 Item{63+9} 4|284b7 287r37 410V13*Has_Element{boolean} 83r34 177s16 194s16 217s28 228s28 250s28 262s28 . 310s16 336s16 336s52 360s16 364s16 368s16 372s16 387s16 402s16 410>26 410>46 . 440s16 446s16 4|331s17 622s17 766b13 776l8 776t19 410r26 Container{80R9} 4|767b7 774r47 410r46 Position{86R9} 4|768b7 771r14 774r17 415V22 "<"{boolean} 415>26 415>32 4|656s50 702s52 711s58 713s40 738r32 415*26 Left{63+9} 415*32 Right{63+9} 416k12 Generic_Sorting 415z22 427l8 427e23 4|638b17 748l8 748t23 418V16*Is_Sorted{boolean} 418>27 4|644b16 665l11 665t20 418r27 Container{80R9} 4|644b27 645r52 648r13 653r48 656r32 657r32 421U17*Sort 421=23 4|731b17 746l11 746t15 421r23 Container{80R9} 4|731b23 741r13 745m16 745r16 745r49 424U17*Merge 424=24 424=48 4|671b17 725l11 725t16 424r24 Target{80R9} 4|671b24 674m41 674r41 686m16 686r16 696r26 697m25 699r26 424r48 Source{80R9} 4|671b32 675r41 686m33 686r33 690r16 697r45 700r33 701r39 . 702r43 703r34 706r51 707m19 713r31 718r41 719m19 719r34 429V13*Strict_Equal{boolean} 429>27 429>33 4|1522b13 1529l8 1529t20 429r27 Left{80R9} 4|1522b27 1528r14 429r33 Right{80R9} 4|1522b33 1528r21 435V13*First_To_Previous{80R9} 436>7 437>7 4|612b13 632l8 632t25 436r7 Container{80R9} 440r29 4|613b7 616r19 616r48 616r59 622r30 437r7 Current{86R9} 440r40 440r57 4|614b7 619r10 622r41 626r26 441V13*Current_To_Last{80R9} 442>7 443>7 4|320b13 341l8 341t23 442r7 Container{80R9} 446r29 4|321b7 324r19 324r48 324r59 331r30 335r26 443r7 Current{86R9} 446r40 446r57 4|322b7 327r10 331r41 335r43 467A9 Elements_Array(63+9)<2|20I9> 468r25 471r18 4|60r26 69r26 96r27 97r18 . 128r26 159r21 385r21 674r18 675r18 737r31 839r15 907r19 913r19 924r19 932r19 . 1141r15 1410r17 468y14 "="{boolean} 468>18 468>21 468a18 L{467A9} 468a21 R{467A9} 471a7 Elements{467A9} 4|61r21 70r20 96r60 97m47 128r59 159m50 256m14 256r43 . 266r24 311m17 311r46 385m54 674m48 675m48 745m26 759r24 839m48 902m23 902r60 . 907m52 913m52 925m31 933m31 1141m48 1244m14 1244r42 1358m20 1380m20 1410m50 . 1553m46 1554m46 472*7 Last{71I12} 4|63m40 63r54 72m39 72r52 102m40 133m40 162m39 175m36 212r20 . 216r36 229r20 235r36 257m14 257r29 275m17 312m17 312r32 335r18 335r36 357r28 . 358r31 371r70 381m23 402m26 418r37 462r36 465m20 467m20 480r28 626r18 648r23 . 690r23 707m26 719m26 719r41 741r23 802r29 803r37 814r59 848r33 862m17 878r29 . 879r37 954r42 956r23 961r29 981r45 992r42 994r23 999r29 1024r42 1026r23 . 1031r29 1052r45 1063r42 1065r23 1070r29 1104r29 1105r37 1116r59 1150r33 . 1160m17 1204r24 1243m14 1246m14 1246r29 1247m14 1349r28 1372r37 1514m20 . 1537r24 1541r24 1631m48 476b7 Valid{boolean} 482m37 4|414r23 499r23 528r19 771r23 953r21 980r24 991r21 . 1023r21 1051r24 1062r21 1256r23 1273r23 1311r23 1326r23 1368r23 1442r23 . 1566r16 1570r16 1599r23 477*7 Index{62I9} 482m53 4|335r51 418r19 422r35 503r19 508r50 529r22 534r38 . 536r25 538m28 626r34 774r26 954r24 964r26 981r27 985r39 992r24 1002r26 . 1024r24 1034r26 1052r27 1056r39 1063r24 1073r26 1260r19 1261r33 1277r19 . 1278m19 1278r37 1315r19 1316r27 1318m19 1318r37 1330r19 1331r27 1333r33 . 1372r19 1377r50 1443r26 1447r27 1574r26 1574r35 1603r23 X 4 a-cofove.adb 33I9 Int 77r33 77r45 77r56 78r24 81r13 81r30 85r25 87r27 . 109r21 116r10 116r35 116r46 120r22 120r47 122r24 139r21 147r10 147r35 147r46 . 151r22 151r47 153r24 370r37 370r44 371r37 373r28 374r28 375r28 375r40 377r30 . 387r30 387r53 390r30 390r53 393r43 397r30 397r55 455r15 462r16 462r44 485r24 . 485r36 485r50 508r24 508r36 508r59 534r24 534r47 560r24 560r38 788r20 790r34 . 790r41 791r25 814r37 814r44 817r31 823r31 827r56 841r24 841r36 841r51 844r24 . 844r54 850r30 892r37 893r12 893r27 893r41 897r24 897r36 897r51 909r37 927r37 . 1090r20 1092r34 1092r41 1093r25 1116r37 1116r44 1119r31 1125r31 1129r56 . 1143r24 1143r36 1143r51 1146r24 1146r54 1152r30 1212r20 1212r27 1213r20 . 1213r27 1214r20 1354r24 1354r36 1354r50 1377r24 1377r36 1377r59 1450r24 . 1450r37 1481r24 1481r37 1511r33 1512r12 1512r37 1550r24 1550r36 1550r46 . 1551r24 1551r36 1551r46 1620r33 1620r40 1621r33 1621r53 34M9 UInt 793r25 794r34 794r42 827r24 1095r25 1096r34 1096r42 1129r24 36V13 Get_Element{3|63+9} 37>7 38>7 194s13 194s38 488s17 511s17 537s13 562s13 . 595s14 656s19 657s19 754b13 760l8 760t19 1195s14 1452s13 1483s13 37r7 Container{3|80R9} 755b7 759r14 38i7 Position{2|20I9} 756b7 759r34 40U14 Insert_Space 41=7 42>7 43>7 889s7 1085b14 1161l8 1161t20 41r7 Container{3|80R9} 1086b7 1104r19 1105r27 1116r49 1141m38 1141r38 1150r23 . 1155r48 1160m7 42*7 Before{3|71I12} 1087b7 1099r10 1104r10 1105r18 1143r41 1150r13 43i7 Count{2|20I9} 889r40 1088b7 1090r43 1111r10 50i7 LN{2|20I9} 54r10 70r35 77r50 96r48 96r75 51i7 RN{2|20I9} 55r13 61r36 67r10 77r61 97r62 60a13 E{3|467A9} 63r37 69a13 E{3|467A9} 72r36 77i10 N 81r41 85r42 78i10 Last_As_Int 85m10 87r13 94r55 94*13 Last{3|62I9} 102r48 96a13 LE{3|467A9} 102r31 97a13 RE{3|467A9} 102r36 99i13 Capacity{2|20I9} 102r21 108i7 LN{2|20I9} 112r10 116r51 120r52 128r47 128r74 109i7 Last_As_Int 120m7 122r10 127r52 127*10 Last{3|62I9} 133r48 128a10 LE{3|467A9} 133r28 130i10 Capacity{2|20I9} 133r18 138i7 RN{2|20I9} 142r10 147r51 151r52 159r65 139i7 Last_As_Int 151m7 153r10 158r56 158*10 Last{3|62I9} 162r47 159a10 RE{3|467A9} 162r35 160i10 Capacity{2|20I9} 162r18 173*10 Last{3|62I9} 175r44 193i11 J 194r32 194r58 243i7 LS{2|20I9} 250r28 256r29 256r58 298i7 LS{2|20I9} 303r15 304r25 311r32 311r61 299i7 C{2|20I9} 303m10 305m10 310r31 310r14 Target{3|80R9} 311m10 312m10 324r7 C{3|80R9} 328m17 328r17 329r17 335r16 336m27 336r27 339r17 370i10 I_As_Int{33I9} 374r58 377r42 387r42 371i10 Old_Last_As_Int{33I9} 374r40 380r24 393r55 373i10 Count1 375r49 374i10 Count2 375r57 375i10 N 377r53 393r73 377i10 J_As_Int 380r13 390r42 385a16 EA{3|467A9} 401r16 401r31 387i16 II 388r56 388i16 I{2|20I9} 401r20 390i16 JJ 391r56 391i16 J{2|20I9} 401r35 393i16 New_Last_As_Int 395r30 397r37 394*16 New_Last{3|62I9} 402r34 397i16 KK{33I9} 398r56 398i16 K{2|20I9} 401r25 455i7 Index 462m7 464r10 467r40 485i10 II 486r50 486i10 I{2|20I9} 488r41 496*7 Lst{3|62I9} 503r27 508i10 II 509r50 509i10 I{2|20I9} 511r41 524i7 K{2|20I9} 534m7 537r37 541m10 541r15 525*7 Last{3|62I9} 536r34 536i11 J 538r37 556i7 K{2|20I9} 560m7 562r37 566m10 566r15 557*7 Last{3|62I9} 561r28 561i11 Indx 563r20 616r7 C{3|80R9} 620r17 626r16 627m26 627r26 630r17 645*10 Last{3|62I9} 648r31 653i13 L{2|20I9} 655r44 655i17 J 656r43 657r43 674a13 TA{3|467A9} 706r19 711r51 711r60 713r42 714r19 714r29 718r19 675a13 SA{3|467A9} 702r31 703r22 706r34 713r19 718r29 677i13 I{2|20I9} 696m13 697r33 705r19 711r31 711r55 711r64 713r46 714r33 . 715m19 715r24 677i16 J{2|20I9} 699m13 706r28 714r23 718r23 722m16 722r21 733U20 Sort[5|24] 745s10 788i7 N{33I9} 817r42 821r47 850r47 790i7 First{33I9} 827r48 791i7 New_Last_As_Int 821m10 823r13 827r30 833r34 844r36 792*7 New_Last{3|62I9} 833m10 862r25 793m7 New_Length{34M9} 827m10 829r13 794m7 Max_Length{34M9} 829r26 814i10 Old_Last_As_Int{33I9} 817r13 821r29 839a10 EA{3|467A9} 853r16 853r31 854r16 858r13 841i10 BB 842r50 850r42 842i10 B{2|20I9} 853r35 854r20 858r17 844i10 LL 845r50 845i10 L{2|20I9} 853r25 858r22 850i16 II 851r56 851i16 I{2|20I9} 853r20 854r25 870i7 N{2|20I9} 885r10 889r49 893r32 902r75 892i10 Dst_Last_As_Int 895r56 928r15 895i10 Dst_Last{2|20I9} 902r38 919r13 925r41 933r50 897i10 BB 898r50 909r49 898i10 B{2|20I9} 902r33 907r67 913r62 907a13 Src{3|467A9} 909r54 916r20 909i13 Index_As_Int 911r56 911i13 Index{2|20I9} 913r67 913a13 Dst{3|467A9} 916r13 924a13 Src{3|467A9} 928r33 936r20 927i13 Index_As_Int 930r56 930i13 Index{2|20I9} 933r41 932a13 Dst{3|467A9} 936r13 946*7 Index 961m10 964m10 967r26 976*7 Index 999m10 1002m10 1005r26 1007r33 1016*7 Index 1031m10 1034m10 1037r26 1047*7 Index 1070m10 1073m10 1076r26 1078r33 1090i7 N{33I9} 1119r42 1123r47 1152r47 1092i7 First{33I9} 1129r48 1093i7 New_Last_As_Int 1123m10 1125r13 1129r30 1135r34 . 1146r36 1094*7 New_Last{3|62I9} 1135m10 1160r25 1095m7 New_Length{34M9} 1129m10 1131r13 1096m7 Max_Length{34M9} 1131r26 1116i10 Old_Last_As_Int{33I9} 1119r13 1123r29 1141a10 EA{3|467A9} 1155r16 1155r31 1143i10 BB 1144r50 1152r42 1144i10 B{2|20I9} 1155r35 1146i10 LL 1147r50 1147i10 L{2|20I9} 1155r25 1152i16 II 1153r56 1153i16 I{2|20I9} 1155r20 1212i7 L{33I9} 1214r32 1213i7 F{33I9} 1214r36 1214i7 N 1217r26 1228i7 N{2|20I9} 1235r10 1244r29 1244r57 1354i10 II 1355r50 1355i10 I{2|20I9} 1358r30 1377i10 II 1378r50 1378i10 I{2|20I9} 1380r30 1409i10 I{2|20I9} 1413m10 1415r16 1417r49 1419r19 1423m13 1423r18 1409i13 J{2|20I9} 1414m10 1415r20 1419r28 1420r19 1424m13 1424r18 1410a10 E{3|467A9} 1417r46 1419r16 1419r25 1420r16 1417*16 EI{3|63+9} 1420r25 1438*7 Last 1445m10 1447m10 1450r29 1451r47 1439i7 K{2|20I9} 1450m7 1452r37 1456m10 1456r15 1451i11 Indx 1453r27 1471*7 Last 1476m10 1478m10 1481r29 1482r47 1472i7 K{2|20I9} 1481m7 1483r37 1487m10 1487r15 1482i11 Indx 1484r20 1511i10 Last_As_Int 1514r45 1550i10 II 1553r68 1551i10 JJ 1554r68 1553*10 EI{3|63+9} 1556r45 1559r10 1554*10 EJ{3|63+9} 1559r16 1560r10 1556*10 EI_Copy{3|63+9} 1560r16 1620i10 First{33I9} 1621r45 1621i10 Last_As_Int 1625r13 1629r30 1622*10 Last{3|62I9} 1629m10 1631r56 X 5 a-cgarso.ads 17E9 Index_Type 4|735r15 18+9 Element_Type 4|736r15 19A9 Array_Type(18+9)<17E9> 4|737r15 21V19 "<"{boolean} 4|738r16 24u26*Generic_Array_Sort 2|16k13 4|28w21 734r16 X 9 system.ads 42K9*System 4|29w6 29r23 33r22 33r40 34r21 9|160e11 53N4*Min_Int 4|33r29 54N4*Max_Int 4|33r47 56N4*Max_Binary_Modulus 4|34r28 69M9*Address 4|29r30 86V14*"="{boolean} 4|185r23 246r25 686r31 901r31 1231r25