MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_NESTED_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_STREAMS
RV NO_UNCHECKED_ACCESS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_ALIASING
RV SPARK

U ada.containers.bounded_vectors%b  a-cobove.adb  64d3188e 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 ada.finalization%s	a-finali.adb		a-finali.ali
W ada.streams%s		a-stream.ads		a-stream.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W system%s		system.ads		system.ali

U ada.containers.bounded_vectors%s  a-cobove.ads  e6ae4641 BN NE OL PU RT PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.iterator_interfaces%s
W ada.streams%s		a-stream.ads		a-stream.ali

D ada.ads		20121213103024 3ffc8e18
D a-contai.ads		20121213103024 61e5e089
D a-cobove.ads		20121213103024 d79c4d16
D a-cobove.adb		20121213103024 e0aea73a
D a-cgarso.ads		20121213103024 9129bfa8
D a-cgarso.adb		20121213103024 59f5315a
D a-cgcaso.ads		20121213103024 9f1e835c
D a-except.ads		20121213103024 10fcae55
D a-finali.ads		20121213103024 52ecdc1b
D a-iteint.ads		20121213103024 7c7305e9
D a-stream.ads		20121213103024 2ca4ee37
D a-tags.ads		20121213103024 6c0509d0
D a-unccon.ads		20121213103024 f9eb8f06
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-finroo.ads		20121213103024 4ff27390
D s-parame.ads		20121213103024 b6e20cc0
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-traent.ads		20121213103024 5221ee41
X 1 ada.ads
16K9*Ada 19e8 3|34r6 36r14 44r9 72r7 366r8 444r5 4|30r6 31r6 31r28 35r14
. 2779r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|44r13 444r9 4|30r10 35r18 2779r9
20I9*Count_Type<integer> 3|54r28 76r33 80r18 90r50 94r19 96r48 100r19 175r47
. 199r19 205r19 212r19 217r19 223r19 232r19 241r19 246r19 252r19 257r19 262r19
. 266r19 270r19 368r34 371r28 4|61r61 68r23 69r23 70r14 71r14 111r15 124r34
. 124r50 157r15 159r17 174r15 176r17 184r35 200r21 213r15 228r21 241r15 292r16
. 344r19 362r50 404r23 421r23 445r18 447r11 476r19 479r27 481r18 482r18 544r10
. 545r20 545r49 548r20 567r34 567r50 568r17 572r17 572r43 573r39 581r25 592r19
. 619r19 640r19 677r37 677r53 682r29 862r17 937r31 989r19 992r29 994r20 995r20
. 998r15 1043r23 1058r34 1058r50 1067r50 1074r30 1081r30 1090r27 1098r15
. 1098r44 1100r18 1105r27 1113r15 1113r51 1123r12 1123r48 1168r34 1168r50
. 1173r29 1182r20 1183r11 1220r39 1233r39 1330r19 1367r19 1412r19 1425r19
. 1441r19 1444r29 1446r20 1447r20 1450r15 1495r23 1510r34 1510r50 1519r50
. 1526r30 1533r30 1542r27 1550r15 1550r44 1552r18 1557r27 1565r15 1565r51
. 1575r12 1575r48 1622r34 1622r50 1627r29 1635r19 1853r48 1876r10 1877r17
. 1877r39 1879r17 1978r19 2085r16 2091r7 2095r18 2149r23 2166r23 2226r19
. 2240r13 2241r13 2365r62 2366r24 2445r61 2446r16 2460r34 2460r50 2461r20
. 2464r20 2465r22 2511r33 2512r15 2527r34 2527r50 2561r19 2563r21 2578r19
. 2580r21 2588r35 2598r18 2600r15 2615r34 2615r50 2650r19 2652r21 2667r19
. 2669r21 2677r35 2744r11 2748r7
22X4*Capacity_Error 4|312r16 457r16 1148r16 1603r16 1897r16
X 3 a-cobove.ads
39I9 Index_Type 48r30 49r12 50r12 50r28 50r54 114r19 120r19 130r19 139r19
. 167r19 171r19 274r54 278r53 301r19 301r33 311r19 311r33 395r19 395r33 442r50
. 4|41r19 61r37 72r14 124r10 136r13 136r36 143r29 148r20 152r13 159r34 167r18
. 174r32 184r18 217r23 245r24 268r10 268r30 274r34 334r28 351r28 412r19 478r27
. 480r18 502r18 544r34 544r50 567r10 568r42 569r33 572r60 573r22 631r26 677r13
. 678r45 682r12 692r19 757r19 757r33 778r49 814r53 822r53 825r14 840r31 943r31
. 997r15 1011r19 1058r10 1062r13 1067r33 1069r25 1081r47 1090r44 1093r13
. 1100r35 1113r32 1123r29 1168r10 1169r39 1173r12 1250r15 1266r30 1286r15
. 1310r30 1332r15 1348r30 1369r15 1393r30 1449r15 1463r19 1510r10 1514r13
. 1519r33 1521r25 1533r47 1542r44 1545r13 1552r35 1565r32 1575r29 1622r10
. 1623r39 1627r12 1637r15 1661r30 1683r31 1700r22 1854r20 1855r20 1855r34
. 1876r34 1876r50 1972r26 1982r15 1997r27 2010r27 2037r19 2086r16 2157r19
. 2178r19 2289r14 2303r27 2319r19 2319r33 2321r23 2322r9 2325r27 2349r30
. 2379r31 2391r54 2445r37 2460r10 2461r45 2465r39 2483r23 2513r15 2527r10
. 2539r13 2539r36 2546r29 2551r20 2555r13 2563r38 2571r18 2578r36 2588r18
. 2601r15 2615r10 2628r13 2628r36 2635r29 2640r20 2644r13 2652r38 2660r18
. 2667r36 2677r18 2692r19
40+9 Element_Type 42r37 58r28 79r18 84r41 86r25 88r32 114r38 116r48 121r19
. 126r19 131r56 135r55 140r63 145r63 148r43 153r51 198r19 204r19 210r19 231r19
. 240r19 282r55 288r54 300r19 305r19 310r19 315r19 320r19 340r40 368r66 411r43
. 426r34 4|199r42 227r25 255r32 343r19 433r19 692r38 702r48 727r19 756r19
. 809r55 938r31 988r19 1329r19 1365r19 1414r18 1427r18 1831r54 1977r19 2038r56
. 2067r55 2097r10 2179r19 2197r19 2268r27 2286r19 2318r19 2413r29 2597r18
. 2693r63 2722r63 2751r10
42V19 "="{boolean} 42>23 42>29 4|293r31 742s53 761s56 2304s56 2326s56
42*23 Left{40+9}
42*29 Right{40+9}
44k24*Bounded_Vectors 2|16k13 3|39z9 40z9 42z19 444l20 444e35 4|35b29 2779l20
. 2779t35
48I12*Extended_Index 52r24 52r42 108r19 110r49 181r19 197r19 216r19 245r19
. 256r19 284r52 301r58 311r57 373r18 4|475r19 757r58 987r19 1179r19 1411r19
. 1440r19 1844r52 2319r57 2480r19 2494r49
52*4*No_Index{48I12} 373r36 4|136r58 143r18 157r32 176r34 184r52 378r25 436r46
. 675r28 766r14 798r25 811r27 909r34 1067r22 1081r65 1090r62 1098r32 1113r68
. 1123r65 1169r28 1173r46 1519r22 1533r65 1542r62 1550r32 1565r68 1575r65
. 1623r28 1627r46 1733r25 1820r25 1833r27 1913r22 1919r22 2086r35 2331r14
. 2497r17 2504r14 2539r63 2546r18 2561r36 2580r38 2588r52 2628r63 2635r18
. 2650r36 2669r38 2677r52
54R9*Vector 54d17 60r41 65r28 74p25 74r43 76p13 76r52 78p13 80r37 82p14 82r32
. 82r47 84p14 84r25 84r62 86p14 86r47 86r62 88p14 88r53 90p13 90r35 92p14
. 93r26 96p13 96r33 98p14 99r26 102p13 102r35 104p14 104r40 106p13 107r19
. 112p13 113r19 118p14 119r26 123p14 124r26 128p14 129r19 137p14 138r26 142p14
. 143r26 157p13 158r27 161p13 162r34 165p13 166r27 169p13 170r34 173p14 173r38
. 173r55 175p13 175r28 175r71 177p14 177r36 177r60 179p14 180r26 182r19 184p14
. 185r26 187r19 189p14 190r26 192r19 195p14 196r26 201p14 202r26 207p14 208r26
. 214p14 215r26 219p14 220r26 225p14 226r26 227r19 229p14 230r26 234p14 235r26
. 236r19 238p14 239r26 243p14 244r26 248p14 249r26 254p14 255r26 259p14 260r26
. 264p14 265r26 268p14 269r26 272p14 272r51 274p14 274r39 276p14 276r39 278p13
. 278r38 280p13 280r32 282p13 282r40 284p13 284r37 286p13 286r31 288p13 288r39
. 298p13 299r19 303p13 304r19 308p13 309r19 313p13 314r19 318p13 319r19 322p14
. 323r19 326p14 327r19 330p13 331r19 334p13 335r19 343r39 345r42 347r40 347r64
. 371c9 376e14 378p14 380r19 382r8 384p14 386r23 388r8 390r37 440r28 4|67r32
. 67r47 89r17 96r17 192r17 199r26 199r63 221r14 227r47 227r62 249r14 255r53
. 272r14 282r43 305r38 305r55 328r41 328r60 342r26 362r35 371r40 386r27 411r27
. 432r19 444r18 445r42 461r23 474r26 590r26 618r26 639r26 691r19 726r19 755r19
. 773r32 809r40 822r38 838r39 861r48 934r42 986r26 1178r26 1180r19 1246r26
. 1248r19 1281r26 1283r19 1327r26 1363r26 1410r26 1422r26 1439r26 1632r26
. 1681r35 1691r19 1713r19 1740r19 1796r31 1831r39 1844r37 1853r33 1888r23
. 1889r23 1970r42 1970r61 1976r26 2036r19 2040r11 2083r23 2131r34 2156r34
. 2177r26 2195r26 2225r26 2238r51 2285r19 2317r19 2339r19 2342r11 2365r45
. 2391r39 2420r39 2479r19 2511r52 2591r18 2598r37 2680r18 2691r26 2720r26
. 2742r19
54i17 Capacity{2|20I9} 371r17 372r39 440m39 4|89m25 96m25 192m25 221m22 249m22
. 272m22 311r17 1147r33 1602r33 1896r17 2229r31
62R9*Cursor 63r41 67r26 69r37 72r32 108r42 110r34 116r33 125r19 134r18 144r19
. 159r19 163r19 186r19 191r19 193r23 203r19 209r19 211r23 221r19 222r23 250r19
. 251r23 261r26 276r54 280r47 286r46 290r30 290r45 292r38 294r34 294r49 296r42
. 306r19 306r48 316r19 316r48 324r57 328r57 336r19 393c9 396e14 400r18 402r8
. 406r22 408r8 442r26 442r36 4|46r57 47r57 51r18 51r33 55r18 55r33 387r19
. 591r26 702r33 728r19 728r48 773r47 782r46 801r17 972r37 1247r19 1282r19
. 1284r23 1323r19 1328r19 1364r19 1366r23 1406r19 1423r19 1424r23 1633r19
. 1634r23 1674r19 1692r57 1701r22 1741r19 1796r46 1805r45 1823r17 1926r30
. 1926r45 1939r49 1939r64 1953r38 1991r42 2004r34 2004r49 2017r53 2017r68
. 2066r18 2104r22 2132r19 2196r19 2287r19 2287r48 2340r57 2350r22 2420r54
. 2480r42 2487r14 2494r34 2721r19 2757r18
65r4*Empty_Vector{54R9} 440c4 4|86r20 2517r17 2605r17
67r4*No_Element{62R9} 306r29 316r29 442c4 4|610r19 728r29 747r14 776r17 1299r25
. 1382r25 1650r25 1799r17 1929r17 1936r14 1942r17 1962r22 2000r22 2007r17
. 2014r14 2020r17 2287r29 2309r14 2484r17
69V13*Has_Element{boolean} 69>26 72r40 4|972b13 979l8 979t19
69r26 Position{62R9} 4|972b26 974r10 978r14 978r32
71K12*Vector_Iterator_Interfaces[10|21] 332r14 337r14 4|38r6 1714r14 1742r14
74V25*"="{boolean} 74>29 74>35 4|282b25 299l9 299t11
74r29 Left{54R9} 4|282b29 284r10 288r10 292r38 293r13
74r35 Right{54R9} 4|282b35 284r25 288r23 293r34
76V13*To_Vector{54R9} 76>24 4|2511b13 2594l8 2594t17
76i24 Length{2|20I9} 4|2511b24 2516r10 2539r53 2546r46 2561r48 2578r55 2588r64
. 2591r38
78V13*To_Vector{54R9} 79>7 80>7 4|2596b13 2684l8 2684t17
79*7 New_Item{40+9} 4|2597b7 2681r35
80i7 Length{2|20I9} 4|2598b7 2604r10 2628r53 2635r46 2650r48 2667r55 2677r64
. 2680r38
82V14*"&"{54R9} 82>18 82>24 4|67b14 197l9 197t11
82r18 Left{54R9} 4|67b18 68r45 97r37 98r37 188r38
82r24 Right{54R9} 4|67b24 69r45 90r37 91r37 189r38
84V14*"&"{54R9} 84>18 84>33 4|199b14 225l9 225t11
84r18 Left{54R9} 4|199b18 200r43 217r10 222r34 223r34
84*33 Right{40+9} 4|199b34 222r60
86V14*"&"{54R9} 86>18 86>39 4|227b14 253l9 253t11
86*18 Left{40+9} 4|227b18 250r34
86r39 Right{54R9} 4|227b39 228r43 245r10 250r41 251r34
88V14*"&"{54R9} 88>18 88>24 4|255b14 276l9 276t11
88*18 Left{40+9} 4|255b18 273r35
88*24 Right{40+9} 4|255b24 273r41
90V13*Capacity{2|20I9} 90>23 4|362b13 365l8 365t16
90r23 Container{54R9} 4|362b23 364r14
92U14*Reserve_Capacity 93=7 94>7 4|2093s7 2224b14 2232l8 2232t24
93r7 Container{54R9} 4|2225b7 2229r21
94i7 Capacity{2|20I9} 4|2093r36 2226b7 2229r10
96V13*Length{2|20I9} 96>21 4|68s37 69s37 200s35 228s35 292s43 311s35 318s36
. 319s38 451s22 453s32 462s39 463s42 479s51 626s19 674s29 847s37 893s22 894s40
. 901s25 903s38 904s57 905s57 908s50 916s30 921s40 963s51 992s53 1182s34
. 1234s31 1444s53 1836s47 1853b13 1881l8 1881t14 1896s35 1915s36 1916s38
. 2244s20 2265s24 2366s53 2747s22
96r21 Container{54R9} 4|1853b21 1854r39
98U14*Set_Length 99=7 100>7 4|894s17 2365b14 2385l8 2385t18
99r7 Container{54R9} 4|2365b26 2366r43 2377m10 2377r10 2379r13 2383m10 2383r10
. 2383r34
100i7 Length{2|20I9} 4|2365b53 2366r62
102V13*Is_Empty{boolean} 102>23 361r19 4|330s19 775s10 874s20 883s20 902s30
. 1259s10 1295s10 1681b13 1684l8 1684t16 1798s10
102r23 Container{54R9} 4|1681b23 1683r14
104U14*Clear 104=21 4|316s14 371b14 379l8 379t13 627s10 2089s7
104r21 Container{54R9} 4|371b21 373r10 378m7
106V13*To_Cursor{62R9} 107>7 108>7 4|2478b13 2488l8 2488t17
107r7 Container{54R9} 4|2479b7 2483r43 2487r22
108*7 Index{48I12} 4|2480b7 2483r10 2487r53
110V13*To_Index{48I12} 110>23 4|2494b13 2505l8 2505t16
110r23 Position{62R9} 4|2494b23 2496r10 2500r10 2500r28 2501r17
112V13*Element{40+9} 113>7 114>7 4|690b13 700l8 700t15 707s36
113r7 Container{54R9} 4|691b7 695r18 698r17
114*7 Index{39I9} 4|692b7 695r10 698r53
116V13*Element{40+9} 116>22 4|702b13 709l8 709t15
116r22 Position{62R9} 4|702b22 704r10 707r17 707r45
118U14*Replace_Element 119=7 120>7 121>7 4|2176b14 2192l8 2192t23
119r7 Container{54R9} 4|2177b7 2182r18 2186r10 2191m7
120*7 Index{39I9} 4|2178b7 2182r10 2191r43
121*7 New_Item{40+9} 4|2179b7 2191r54
123U14*Replace_Element 124=7 125>7 126>7 4|2194b14 2218l8 2218t23
124r7 Container{54R9} 4|2195b7 2204m32 2204r32 2208r27 2212r10 2217m7
125r7 Position{62R9} 4|2196b7 2200r10 2204r10 2208r10 2217r43
126*7 New_Item{40+9} 4|2197b7 2217r63
128U14*Query_Element 129>7 130>7 131^7 4|2035b14 2063l8 2063t21 2074s7
129r7 Container{54R9} 4|2036b7 2040r26 2045r18
130*7 Index{39I9} 4|2037b7 2045r10 2053r47
131p7 Process 4|2038b7 2053r10
131*46 Element{40+9}
133U14*Query_Element 134>7 135^7 4|2065b14 2075l8 2075t21
134r7 Position{62R9} 4|2066b7 2070r10 2074r22 2074r46
135p7 Process 4|2067b7 2074r62
135*45 Element{40+9}
137U14*Update_Element 138=7 139>7 140^7 4|2690b14 2717l8 2717t22 2733s7
138r7 Container{54R9} 4|2691b7 2695m27 2695r27 2696m27 2696r27 2699r18 2707m19
. 2707r19
139*7 Index{39I9} 4|2692b7 2699r10 2707r55
140p7 Process 4|2693b7 2707r10
140*46 Element{40+9}
142U14*Update_Element 143=7 144>7 145^7 4|2719b14 2734l8 2734t22
143r7 Container{54R9} 4|2720b7 2729m32 2729r32 2733m23
144r7 Position{62R9} 4|2721b7 2725r10 2729r10 2733r34
145p7 Process 4|2722b7 2733r50
145*46 Element{40+9}
147R9*Constant_Reference_Type 148d8 159r34 167r38 410c9 415r20 417r8 421r16
. 423r8 4|387r34 412r38 2120r20 2773r16
153R9*Reference_Type 153d25 163r34 171r38 425c9 430r20 432r8 436r16 438r8
. 4|2112r20 2132r34 2157r38 2765r16
157V13*Constant_Reference{147R9} 158>7 159>7 4|385b13 408l8 408t26
158r7 Container{54R9} 4|386b7 394r32 403r37
159r7 Position{62R9} 4|387b7 390r10 394r10 398r10 398r27 404r53
161V13*Reference{153R9} 162=7 163>7 4|2130b13 2153l8 2153t17
162r7 Container{54R9} 4|2131b7 2139m32 2139r32 2148m37 2148r37
163r7 Position{62R9} 4|2132b7 2135r10 2139r10 2143r10 2143r27 2149r53
165V13*Constant_Reference{147R9} 166>7 167>7 4|410b13 425l8 425t26
166r7 Container{54R9} 4|411b7 415r18 420r37
167*7 Index{39I9} 4|412b7 415r10 421r53
169V13*Reference{153R9} 170=7 171>7 4|2155b13 2170l8 2170t17
170r7 Container{54R9} 4|2156b7 2160r18 2165m37 2165r37
171*7 Index{39I9} 4|2157b7 2160r10 2166r53
173U14*Assign 173=22 173>46 4|305b14 322l8 322t14
173r22 Target{54R9} 4|305b22 307m10 307r10 311r10 316m7 316r7 318m7 321m7
173r46 Source{54R9} 4|305b46 307r27 311r28 318r29 319r9 319r31 321r22
175V13*Copy{54R9} 175>19 175>36 4|443b13 467l8 467t12
175r19 Source{54R9} 4|444b7 451r15 453r25 462r32 463r13 463r35 465r25
175i36 Capacity{2|20I9} 4|445b7 450r10 453r13 454r15
177U14*Move 177=20 177=44 4|884s13 1887b14 1920l8 1920t12
177r20 Target{54R9} 4|884r19 1888b7 1892m10 1892r10 1896r10 1901r10 1913m7
. 1915m7 1918m7
177r44 Source{54R9} 4|884r37 1889b7 1892m27 1892r27 1896r28 1906r10 1915r29
. 1916r9 1916r31 1918r22 1919m7
179U14*Insert 180=7 181>7 182>7 4|338s17 1177b14 1243l8 1243t14 1277s7 1321s7
. 1972s7
180r7 Container{54R9} 4|1178b7 1189m21 1200m10 1200r10 1206m10 1222r39 1229m10
. 1234r21 1236r39 1241m10
181*7 Before{48I12} 4|1179b7 1189r32 1198r28
182r7 New_Item{54R9} 4|1180b7 1182r42 1200r31 1206r49
184U14*Insert 185=7 186>7 187>7 4|1245b14 1278l8 1278t14
185r7 Container{54R9} 4|1246b7 1254m38 1254r38 1264r32 1266r13 1271r19 1277m15
186r7 Before{62R9} 4|1247b7 1253r10 1254r18 1263r10 1264r17 1274r19
187r7 New_Item{54R9} 4|1248b7 1259r20 1277r33
189U14*Insert 190=7 191>7 192>7 193<7 4|1280b14 1324l8 1324t14
190r7 Container{54R9} 4|1281b7 1290m38 1290r38 1297r35 1301m26 1301r26 1308r32
. 1310r13 1315r19 1321m15 1323m27 1323r27
191r7 Before{62R9} 4|1282b7 1289r10 1290r18 1296r13 1297r20 1301r54 1307r10
. 1308r17 1318r19
192r7 New_Item{54R9} 4|1283b7 1295r20 1321r33
193r7 Position{62R9} 4|1284b7 1299m13 1301m13 1323m7
195U14*Insert 196=7 197>7 198>7 199>7 4|355s17 985b14 1175l8 1175t14 1359s7
. 1404s7 1418s7 1981s7
196r7 Container{54R9} 4|986b7 991m43 991r43 992r43 1023r19 1024r27 1142r10
. 1147r23 1153r19 1169m10 1172m10
197*7 Before{48I12} 4|987b7 1011r10 1023r10 1024r18 1151r28 1153r10
198*7 New_Item{40+9} 4|988b7 1157r45 1165r48
199i7 Count{2|20I9} 4|989b7 1033r10 1043r41 1050r34 1164r18 1165r23
201U14*Insert 202=7 203>7 204>7 205>7 4|1326b14 1360l8 1360t14
202r7 Container{54R9} 4|1327b7 1336m38 1336r38 1346r32 1348r13 1353r19 1359m15
203r7 Before{62R9} 4|1328b7 1335r10 1336r18 1345r10 1346r17 1356r19
204*7 New_Item{40+9} 4|1329b7 1359r33
205i7 Count{2|20I9} 4|1330b7 1341r10 1359r43
207U14*Insert 208=7 209>7 210>7 211<7 212>7 4|1362b14 1407l8 1407t14 1431s7
208r7 Container{54R9} 4|1363b7 1373m38 1373r38 1380r35 1384m26 1384r26 1391r32
. 1393r13 1398r19 1404m15 1406m27 1406r27
209r7 Before{62R9} 4|1364b7 1372r10 1373r18 1379r13 1380r20 1384r54 1390r10
. 1391r17 1401r19
210*7 New_Item{40+9} 4|1365b7 1404r33
211r7 Position{62R9} 4|1366b7 1382m13 1384m13 1406m7
212i7 Count{2|20I9} 4|1367b7 1378r10 1404r43
214U14*Insert 215=7 216>7 217>7 4|1409b14 1419l8 1419t14
215r7 Container{54R9} 4|1410b7 1418m15
216*7 Before{48I12} 4|1411b7 1418r26
217i7 Count{2|20I9} 4|1412b7 1418r44
219U14*Insert 220=7 221>7 222<7 223>7 4|1421b14 1432l8 1432t14
220r7 Container{54R9} 4|1422b7 1431m15
221r7 Before{62R9} 4|1423b7 1431r26
222r7 Position{62R9} 4|1424b7 1431m44
223i7 Count{2|20I9} 4|1425b7 1431r54
225U14*Prepend 226=7 227>7 4|1970b14 1973l8 1973t15
226r7 Container{54R9} 4|1970b23 1972m15
227r7 New_Item{54R9} 4|1970b50 1972r44
229U14*Prepend 230=7 231>7 232>7 4|1975b14 1985l8 1985t15
230r7 Container{54R9} 4|1976b7 1981m15
231*7 New_Item{40+9} 4|1977b7 1983r15
232i7 Count{2|20I9} 4|1978b7 1984r15
234U14*Append 235=7 236>7 4|328b14 339l8 339t14
235r7 Container{54R9} 4|328b22 334r10 338m7 338r7 338r25
236r7 New_Item{54R9} 4|328b49 330r10 338r45
238U14*Append 239=7 240>7 241>7 4|341b14 356l8 356t14
239r7 Container{54R9} 4|342b7 351r10 355m7 355r7 355r25
240*7 New_Item{40+9} 4|343b7 355r45
241i7 Count{2|20I9} 4|344b7 347r10 355r55
243U14*Insert_Space 244=7 245>7 246>7 4|1189s7 1438b14 1629l8 1629t20 1672s7
. 2383s20
244r7 Container{54R9} 4|1439b7 1443m43 1443r43 1444r43 1475r19 1476r27 1594r10
. 1602r23 1610r20 1623m10 1626m10
245*7 Before{48I12} 4|1440b7 1463r10 1475r10 1476r18 1610r10 1614r31
246i7 Count{2|20I9} 4|1189r40 1441b7 1485r10 1495r41 1502r34 1615r18 1672r39
248U14*Insert_Space 249=7 250>7 251<7 252>7 4|1631b14 1675l8 1675t20
249r7 Container{54R9} 4|1632b7 1641m38 1641r38 1648r35 1652m26 1652r26 1659r32
. 1661r13 1666r19 1672m21 1674m27 1674r27
250r7 Before{62R9} 4|1633b7 1640r10 1641r18 1647r13 1648r20 1652r54 1658r10
. 1659r17 1669r19
251r7 Position{62R9} 4|1634b7 1650m13 1652m13 1674m7
252i7 Count{2|20I9} 4|1635b7 1646r10 1672r48
254U14*Delete 255=7 256>7 257>7 4|473b14 587l8 587t14 609s7 631s7
255r7 Container{54R9} 4|474b7 478r46 479r41 534r10 557m10 580m39 580r39 585m10
256*7 Index{48I12} 4|475b7 502r10 513r10 514r13 545r66 548r48 557r28 568r34
. 572r34
257i7 Count{2|20I9} 4|476b7 524r10 556r10 569r50 573r68 584r31 584r51
259U14*Delete 260=7 261=7 262>7 4|589b14 611l8 611t14
260r7 Container{54R9} 4|590b7 601m32 601r32 605r27 609m15
261r7 Position{62R9} 4|591b7 594r29 597r10 601r10 605r10 609r26 610m7
262i7 Count{2|20I9} 4|592b7 609r42
264U14*Delete_First 265=7 266>7 4|617b14 632l8 632t20
265r7 Container{54R9} 4|618b7 626r27 627m17 631m15
266i7 Count{2|20I9} 4|619b7 622r10 626r10 631r44
268U14*Delete_Last 269=7 270>7 4|638b14 684l8 684t19 2377s20
269r7 Container{54R9} 4|639b7 659r10 674r19 675m10 678m10 678r28 681m10 682r46
270i7 Count{2|20I9} 4|640b7 648r10 674r10 678r62 682r64
272U14*Reverse_Elements 272=32 4|2238b14 2278l8 2278t24
272r32 Container{54R9} 4|2238b32 2239m36 2239r36 2244r10 2259r10 2265r14
274U14*Swap 274=20 274>47 274>50 4|2391b14 2418l8 2418t12 2438s7
274r20 Container{54R9} 4|2391b20 2392m34 2392r34 2395r14 2399r14 2407r10
274*47 I{39I9} 4|2391b47 2395r10 2403r10 2413r64 2415r29
274*50 J{39I9} 4|2391b50 2399r10 2403r14 2415r55 2416r29
276U14*Swap 276=20 276>47 276>50 4|2420b14 2439l8 2439t12
276r20 Container{54R9} 4|2420b20 2430m25 2430r25 2434m25 2434r25 2438m13
276r47 I{62R9} 4|2420b47 2422r10 2430r10 2438r24
276r50 J{62R9} 4|2420b50 2426r10 2434r10 2438r33
278V13*First_Index{39I9} 278>26 353r19 4|822b13 826l8 826t19
278r26 Container{54R9} 4|822b26 823r28
280V13*First{62R9} 280>20 4|773b13 780l8 780t13 799s17
280r20 Container{54R9} 4|773b20 775r20 778r18
282V13*First_Element{40+9} 282>28 356r19 4|809b13 816l8 816t21
282r28 Container{54R9} 4|809b28 811r10 814r17
284V13*Last_Index{48I12} 284>25 354r19 4|1844b13 1847l8 1847t18
284r25 Container{54R9} 4|1844b25 1846r14
286V13*Last{62R9} 286>19 4|1796b13 1803l8 1803t12 1821s17
286r19 Container{54R9} 4|1796b19 1798r20 1801r18 1801r49
288V13*Last_Element{40+9} 288>27 357r19 4|1831b13 1838l8 1838t20
288r27 Container{54R9} 4|1831b27 1833r10 1836r17 1836r37
290V13*Next{62R9} 290>19 4|1926b13 1937l8 1937t12 1950s14
290r19 Position{62R9} 4|1926b19 1928r10 1932r10 1932r27 1933r18 1933r38
292U14*Next 292=20 4|1953b14 1964l8 1964t12
292r20 Position{62R9} 4|1953b20 1955r10 1959r10 1959r27 1960m10 1960r28 1962m10
294V13*Previous{62R9} 294>23 4|2004b13 2015l8 2015t16 2028s14
294r23 Position{62R9} 4|2004b23 2006r10 2010r10 2011r18 2011r38
296U14*Previous 296=24 4|1991b14 2002l8 2002t16
296r24 Position{62R9} 4|1991b24 1993r10 1997r10 1998m10 1998r28 2000m10
298V13*Find_Index{48I12} 299>7 300>7 301>7 4|436s14 754b13 767l8 767t18
299r7 Container{54R9} 4|755b7 760r28 761r13
300*7 Item{40+9} 4|756b7 761r58
301*7 Index{39I9} 4|757b7 760r19
303V13*Find{62R9} 304>7 305>7 306>7 4|725b13 748l8 748t12
304r7 Container{54R9} 4|726b7 732r35 736r30 741r34 742r13 743r21
305*7 Item{40+9} 4|727b7 742r55
306r7 Position{62R9} 4|728b7 731r10 732r13 736r13 741r16
308V13*Reverse_Find_Index{48I12} 309>7 310>7 311>7 4|2316b13 2332l8 2332t26
309r7 Container{54R9} 4|2317b7 2322r25 2326r13
310*7 Item{40+9} 4|2318b7 2326r58
311*7 Index{39I9} 4|2319b7 2322r41
313V13*Reverse_Find{62R9} 314>7 315>7 316>7 4|2284b13 2310l8 2310t20
314r7 Container{54R9} 4|2285b7 2293r40 2299r64 2300r15 2304r13 2305r21
315*7 Item{40+9} 4|2286b7 2304r58
316r7 Position{62R9} 4|2287b7 2292r10 2293r18 2299r13 2299r47 2301r15
318V13*Contains{boolean} 319>7 320>7 362r19 4|431b13 437l8 437t16
319r7 Container{54R9} 4|432b7 436r26
320*7 Item{40+9} 4|433b7 436r37
322U14*Iterate 323>7 324^7 4|1690b14 1710l8 1710t15
323r7 Container{54R9} 4|1691b7 1694r27 1700r42 1701r30
324p7 Process 4|1692b7 1701r13
324r46 Position{62R9}
326U14*Reverse_Iterate 327>7 328^7 4|2338b14 2359l8 2359t23
327r7 Container{54R9} 4|2339b7 2342r26 2349r50 2350r30
328p7 Process 4|2340b7 2350r13
328r46 Position{62R9}
330V13*Iterate<10|32R9[71]> 331>7 4|1712b13 1737l8 1737t15
331r7 Container{54R9} 4|1713b7 1716r37
334V13*Iterate<10|32R9[71]> 335>7 336>7 4|1739b13 1790l8 1790t15
335r7 Container{54R9} 4|1740b7 1744r37
336r7 Start{62R9} 4|1741b7 1759r10 1764r10 1769r10 1786r25
340V22 "<"{boolean} 340>26 340>32 4|848s30 904s65 914s53 916s38 940r32
340*26 Left{40+9}
340*32 Right{40+9}
341k12 Generic_Sorting 340z22 349l8 349e23 4|832b17 966l8 966t23
343V16*Is_Sorted{boolean} 343>27 4|838b16 855l11 855t20
343r27 Container{54R9} 4|838b27 840r13 845r41 847r27
345U17*Sort 345=23 4|934b17 964l11 964t15
345r23 Container{54R9} 4|934b23 943r13 958r13 963m16 963r16 963r41
347U17*Merge 347=24 347=48 4|861b17 928l11 928t16
347r24 Target{54R9} 4|861b24 878m13 878r13 883r13 884m29 893r15 894m10 894r10
. 897m41 897r41 901r18
347r48 Source{54R9} 4|861b32 874r13 878m30 878r30 884m47 888r13 894r33 898r41
. 902r23 903r31 904r50 905r50 908r43 909m19 916r23 921r33 922m19 922r34
368A9 Elements_Array(40+9)<2|20I9> 369r25 372r18 4|188r15 189r15 403r14 420r14
. 580r16 845r18 897r18 898r18 939r31 991r20 1222r16 1236r16 1443r20 2148r14
. 2165r14 2239r13 2392r11
369y14 "="{boolean} 369>18 369>21
369a18 L{368A9}
369a21 R{368A9}
372a7 Elements{368A9} 4|90m25 90r43 97m25 97r42 188m43 189m44 193m25 222m22
. 222r39 250m22 250r47 273m22 293r18 293r40 318m14 319r16 364r24 403m47 420m47
. 462m17 463r20 580m49 698r27 742r23 761r23 814r27 845m51 897m48 898m48 963m26
. 991m53 1206m20 1206r58 1222m49 1229m20 1236m49 1241m20 1443m53 1836r27
. 1915m14 1916r16 2053m21 2097r47 2148m47 2165m47 2191m17 2217m17 2239m46
. 2304r23 2326r23 2392m44 2681m12 2707m29 2751r48
373*7 Last{48I12} 4|91m25 91r43 98m25 98r42 194m25 217r15 223m22 223r39 245r16
. 251m22 251r40 274m22 288r15 288r29 321m14 321r29 334r20 338r35 351r20 355r35
. 378m17 398r46 415r28 465m17 465r32 478r56 557m20 585m20 605r37 675m20 678m20
. 678r38 681m20 682r56 695r28 736r40 741r44 760r38 811r20 840r23 909m26 922m26
. 922r41 943r23 978r51 1023r29 1024r37 1153r29 1169m20 1172m20 1264r42 1266r23
. 1271r29 1297r45 1308r42 1310r23 1315r29 1346r42 1348r23 1353r29 1380r45
. 1391r42 1393r23 1398r29 1475r29 1476r37 1610r30 1623m20 1626m20 1648r45
. 1659r42 1661r23 1666r29 1683r24 1700r52 1769r26 1801r59 1833r20 1846r24
. 1854r49 1913m14 1918m14 1918r29 1919m14 1932r46 1959r46 2045r28 2098m20
. 2143r46 2160r28 2182r28 2208r37 2299r74 2300r25 2322r35 2349r60 2379r23
. 2383r44 2395r24 2399r24 2483r53 2500r47 2592m12 2682m12 2699r28
374i7 Busy{natural} 4|373r20 534r20 659r20 716m44 888r20 958r23 1142r20 1594r20
. 1694m61 1717m29 1745m29 1901r17 1906r17 2041m29 2259r20 2343m29 2695m37
375i7 Lock{natural} 4|2042m29 2186r20 2212r20 2407r20 2696m37
378U14 Write 379^7 380>7 4|2740b14 2753l8 2753t13
379p7 Stream(11|39R9) 4|2741b7 2748r30 2751r30
380r7 Container{54R9} 4|2742b7 2747r12 2751r38
384U14 Read 385^7 386<7 4|2081b14 2100l8 2100t12
385p7 Stream(11|39R9) 4|2082b7 2091r29 2097r29
386r7 Container{54R9} 4|2083b7 2089m14 2093m25 2097m37 2097r37 2098m10
390P9 Vector_Access(54R9) 391r8 394r19 4|40r19 1716r20 1744r20
394p7 Container{390P9} 4|390r19 394r19 398r35 398r36 597r19 601r19 704r19
. 707r25 707r26 731r19 732r22 974r19 978r40 978r41 1253r17 1254r25 1263r17
. 1289r17 1290r25 1296r20 1307r17 1335r17 1336r25 1345r17 1372r17 1373r25
. 1379r20 1390r17 1640r17 1641r25 1647r20 1658r17 1759r16 1764r16 1928r19
. 1932r35 1932r36 1933r27 1941r19 1945r19 1955r19 1959r35 1959r36 1993r19
. 2006r19 2011r27 2019r19 2023r19 2070r19 2074r31 2135r19 2139r19 2143r35
. 2143r36 2200r19 2204r19 2292r19 2293r27 2299r22 2422r12 2426r12 2430r12
. 2434r12 2496r19 2500r36 2500r37 2725r19 2729r19
395*7 Index{39I9} 4|398r19 404r62 605r19 609r35 707r54 736r22 741r25 978r23
. 1264r24 1274r26 1297r27 1301r61 1308r24 1318r26 1346r24 1356r26 1380r27
. 1384r61 1391r24 1401r26 1648r27 1652r61 1659r24 1669r26 1769r16 1786r31
. 1932r19 1933r47 1959r19 1960m19 1960r37 1997r19 1998m19 1998r37 2010r19
. 2011r47 2074r55 2143r19 2149r62 2208r19 2217r52 2299r56 2301r24 2438r26
. 2438r35 2500r19 2501r26 2733r43
398U14 Write 399^7 400>7 4|2755b14 2761l8 2761t13
399p7 Stream(11|39R9) 4|2756b7
400r7 Position{62R9} 4|2757b7
404U14 Read 405^7 406<7 4|2102b14 2108l8 2108t12
405p7 Stream(11|39R9) 4|2103b7
406r7 Position{62R9} 4|2104b7
413U14 Read 414^7 415<7 4|2118b14 2124l8 2124t12
414p7 Stream(11|39R9) 4|2119b7
415r7 Item{147R9} 4|2120b7
419U14 Write 420^7 421>7 4|2771b14 2777l8 2777t13
420p7 Stream(11|39R9) 4|2772b7
421r7 Item{147R9} 4|2773b7
428U14 Read 429^7 430<7 4|2110b14 2116l8 2116t12
429p7 Stream(11|39R9) 4|2111b7
430r7 Item{153R9} 4|2112b7
434U14 Write 435^7 436>7 4|2763b14 2769l8 2769t13
435p7 Stream(11|39R9) 4|2764b7
436r7 Item{153R9} 4|2765b7
X 4 a-cobove.adb
37R9 Iterator<9|55R9><10|32R9[3|71]> 42e14 44P25 44r51 46P24 46r40 47P24
. 47r40 49P24 50r18 53P24 54r18 715r40 782r29 1730r28 1783r28 1805r28 1939r28
. 2017r32 9|58P14 16|42p14
40p7 Container{3|390P9} 716r33 716r34 799r31 801r32 1732m12 1785m12 1821r30
. 1823r32 1945r39 2023r39
41*7 Index 798r17 801r50 1733m12 1786m12 1820r17 1823r50
44U25 Finalize<9|59p14> 44=35 715b14 719l8 719t16
44r35 Object{37R9} 715b24 716m27 716r27
46V24 First{3|62R9}<10|26p13> 46>31 782b13 803l8 803t13
46r31 Object{37R9} 782b20 798r10 799r24 801r25 801r43
47V24 Last{3|62R9}<10|34p13> 47>31 1805b13 1825l8 1825t12
47r31 Object{37R9} 1805b19 1820r10 1821r23 1823r25 1823r43
49V24 Next{3|62R9}<10|28p13> 50>7 51>7 1939b13 1951l8 1951t12
50r7 Object{37R9} 1939b19 1945r32
51r7 Position{3|62R9} 1939b38 1941r10 1945r10 1950r20
53V24 Previous{3|62R9}<10|36p13> 54>7 55>7 2017b13 2029l8 2029t16
54r7 Object{37R9} 2017b23 2023r32
55r7 Position{3|62R9} 2017b42 2019r10 2023r10 2028r24
61V13 To_Array_Index<integer> 61>29 404s37 421s37 698s37 742s33 761s33 814s37
. 1151s12 1198s12 1614s15 2053s31 2149s37 2166s37 2191s27 2217s27 2304s33
. 2326s33 2413s48 2415s13 2415s39 2416s13 2445b13 2472l8 2472t22 2707s39
61*29 Index 2445b29 2461r37 2464r37
68i7 LN{2|20I9} 84r10 96r37 97r57 111r10 118r12 188r58
69i7 RN{2|20I9} 85r13 89r37 90r58 95r10 111r33 118r17 189r59
70i7 N<integer> 118m7 136r53 143r46 157r44 174r51 184r64 192r37
71i7 J<integer> 157m10 159r13 167r35 174m10 176r13
72*7 Last 143m10 148r13 167m10 184m10 194r37
188a10 LE{3|368A9} 193r37
189a10 RE{3|368A9} 193r42
200i7 LN{2|20I9} 213r10 221r34 222r54
228i7 RN{2|20I9} 241r10 249r38 250r62
292i11 J<integer> 293r28 293r50
403a10 A{3|368A9} 406r29
404i10 I{2|20I9} 406r32
420a10 A{3|368A9} 423r29
421i10 I{2|20I9} 423r32
447i7 C{2|20I9} 451m10 454m10 461r31
461r14 Target{3|54R9} 462m10 465m10
478*7 Old_Last 513r18 514r21 545r37 548r37 569r22 573r56
479i7 Old_Len{2|20I9} 584r21 584r60
480*7 New_Last 569m10 573m10 585r28
481i7 Count2<integer> 545m10 548m10 556r19
482i7 Off<integer> 568m10 572m10 581r50
580a10 EA{3|368A9} 581r39 584r10 584r41
581i10 Idx{2|20I9} 584r14 584r45
716i7 B{natural} 718r7 718r12
741i11 J 742r49 743r52
760i11 Indx 761r49 762r20
845a13 EA{3|368A9} 848r19 848r32
847i17 J<integer> 848r23 848r36
862i10 I{2|20I9} 893m10 894r29 907r19 913r31 914r50 914r59 916r44 917r33
. 918m19 918r24
862i13 J{2|20I9} 901m13 908r28 917r23 921r23 925m16 925r21
897a13 TA{3|368A9} 908r19 914r46 914r55 916r40 917r19 917r29 921r19
898a13 SA{3|368A9} 904r46 905r46 908r34 916r19 921r29
935U20 Sort[5|24] 963s10
991a7 EA{3|368A9} 1157r10 1164r10 1164r42 1165r10
992i7 Old_Length{2|20I9} 1043r10 1050r21 1164r51
994i7 Max_Length<integer> 1074m16 1081m16 1090m13 1105m13 1112m13 1122m10
. 1132r23
995i7 New_Length<integer> 1050m7 1132r10 1147r10 1157r19 1164r27 1169r56
. 1173r58
997*7 Index 1067m13 1069r16
998i7 J<integer> 1098m10 1100r13 1151m7 1157r14 1164r14 1164r46 1165r14 1165r19
1182i7 N{2|20I9} 1189r49 1191r10 1206r39 1206r73 1234r16 1241r34 1241r56
1183i7 B{2|20I9} 1198m7 1206r30 1206r35 1220r66 1229r30 1229r35 1234r12 1241r30
. 1241r52
1220I18 Src_Index_Subtype<integer> 1222r59
1222a10 Src{3|368A9} 1229r39 1229r58
1233I18 Src_Index_Subtype<integer> 1236r59
1236a10 Src{3|368A9} 1241r38 1241r66
1250*7 Index 1271m10 1274m10 1277r26
1286*7 Index 1315m10 1318m10 1321r26 1323r55
1332*7 Index 1353m10 1356m10 1359r26
1369*7 Index 1398m10 1401m10 1404r26 1406r55
1414*7 New_Item{3|40+9} 1415r29 1418r34
1427*7 New_Item{3|40+9} 1428r29 1431r34
1443a7 EA{3|368A9} 1615r10 1615r42
1444i7 Old_Length{2|20I9} 1495r10 1502r21 1615r51
1446i7 Max_Length<integer> 1526m16 1533m16 1542m13 1557m13 1564m13 1574m10
. 1584r23
1447i7 New_Length<integer> 1502m7 1584r10 1602r10 1615r27 1623r56 1627r58
1449*7 Index 1519m13 1521r16
1450i7 J<integer> 1550m10 1552r13 1614m10 1615r14 1615r46
1637*7 Index 1666m10 1669m10 1672r32 1674r55
1692r46 Position{3|62R9}
1694i7 B{natural} 1697r7 1697r12 1705r13 1705r18 1709r7 1709r12
1700i14 Indx 1701r61
1716p7 V{3|390P9} 1717m27 1717r27 1732r25
1717i7 B{natural} 1735r10 1735r15
1730r14 It{37R9}
1744p7 V{3|390P9} 1745m27 1745r27 1764r29 1769r24 1785r25
1745i7 B{natural} 1788r10 1788r15
1783r14 It{37R9}
1854*7 L 1877r34 1879r29
1855*7 F{3|39I9} 1877r56 1879r33
2038*46 Element{3|40+9}
2040r7 V{3|54R9} 2041r27 2042r27 2053r19
2041i7 B{natural} 2049r7 2049r12 2057r13 2057r18 2062r7 2062r12
2042i7 L{natural} 2050r7 2050r12 2056r13 2056r18 2061r7 2061r12
2067*45 Element{3|40+9}
2085i7 Length<integer> 2091m37 2091r37 2093r48 2095r40
2086*7 Last 2096m10 2096r18 2098r28
2095i11 Idx<integer> 2097r57
2148a10 A{3|368A9} 2151r29
2149i10 I{2|20I9} 2151r32
2165a10 A{3|368A9} 2168r29
2166i10 I{2|20I9} 2168r32
2239a7 E{3|368A9} 2268r43 2271r13 2271r24 2272r13
2240i7 Idx{2|20I9} 2264m7 2266r13 2268r46 2271r16 2275m10 2275r17
2241i7 Jdx{2|20I9} 2265m7 2266r19 2271r27 2272r16 2276m10 2276r17
2268*13 EI{3|40+9} 2272r24
2289*7 Last 2298m7 2303r47
2303i11 Indx 2304r49 2305r52
2321*7 Last 2325r47
2325i11 Indx 2326r49 2327r20
2340r46 Position{3|62R9}
2342r7 V{3|54R9} 2343r27
2343i7 B{natural} 2346r7 2346r12 2354r13 2354r18 2358r7 2358r12
2349i14 Indx 2350r61
2366i7 Count<integer> 2376r10 2377r33 2383r55
2392a7 E{3|368A9} 2413r45 2415r10 2415r36 2416r10
2413*10 EI_Copy{3|40+9} 2416r36
2446i7 Offset<integer> 2461m10 2464m10 2471r18
2512i7 Index<integer> 2561m10 2563r13 2571r35 2578m10 2580r13
2513*7 Last 2546m10 2551r13 2571m10 2588m10 2592r20
2591r14 V{3|54R9} 2592m10
2600i7 Index<integer> 2650m10 2652r13 2660r35 2667m10 2669r13
2601*7 Last 2635m10 2640r13 2660m10 2677m10 2682r20
2680r14 V{3|54R9} 2681m10 2682m10
2693*46 Element{3|40+9}
2695i7 B{natural} 2703r7 2703r12 2711r13 2711r18 2716r7 2716r12
2696i7 L{natural} 2704r7 2704r12 2710r13 2710r18 2715r7 2715r12
2722*46 Element{3|40+9}
2744i7 N{2|20I9} 2747m7 2748r38 2750r21
2750i11 J<integer> 2751r58
X 5 a-cgarso.ads
17E9 Index_Type 4|937r15
18+9 Element_Type 4|938r15
19A9 Array_Type(18+9)<17E9> 4|939r15
21V19 "<"{boolean} 4|940r16
24u26*Generic_Array_Sort 2|16k13 4|30w21 936r17
X 9 a-finali.ads
40K13*Finalization 4|31w10 31r32 9|73e21
55H9*Limited_Controlled 4|37r25 1731r10 1784r10 9|71e55
58U14*Initialize<16|44p14>
X 10 a-iteint.ads
21k13*Iterator_Interfaces 3|34w10 72r11 10|39e28
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[3|71]> 3|332r41[71] 337r41[71] 4|38r33[3|71]
. 1714r41[3|71] 1742r41[3|71]
X 11 a-stream.ads
36K13*Streams 3|36w18 366r12 11|69e16
39H9*Root_Stream_Type 3|379r35 385r35 399r34 405r34 414r32 420r32 429r32
. 435r32 4|2082r35 2103r34 2111r32 2119r32 2741r35 2756r34 2764r32 2772r32
. 11|67e64
X 14 system.ads
37K9*System 4|33w6 33r23 14|152e11
64M9*Address 4|33r30
78V14*"="{boolean} 4|284r23 307r25 878r28 1200r28 1892r25
X 16 s-finroo.ads
42U14*Adjust