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_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
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.formal_vectors%b  a-cofove.adb	20769a3a 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.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.formal_vectors%s  a-cofove.ads	637dfa5d BN NE OL PU PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.streams%s		a-stream.ads		a-stream.ali

D ada.ads		20121213103024 3ffc8e18
D a-contai.ads		20121213103024 61e5e089
D a-cofove.ads		20121213103029 4fd9146a
D a-cofove.adb		20121213103029 6ea2a0e9
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-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-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|58r14 59r6 60r5 68r9 377r8 412r5 4|28r6 31r14 1991r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|59w10 60r9 68r13 412r9 4|28r10 31r18 1991r9
20I9*Count_Type<integer> 3|84r32 202r19 208r19 215r19 220r19 226r19 235r19
. 244r19 249r19 255r19 260r19 265r19 269r19 273r19 367r34 4|38r19 45r21 46r21
. 94r33 103r30 125r30 133r30 155r30 188r16 217r19 238r21 298r21 323r19 351r40
. 366r30 366r44 369r30 369r44 376r30 376r44 389r19 410r19 431r19 469r24 469r38
. 492r24 492r38 507r14 517r12 539r14 543r12 612r22 634r20 702r31 728r19 758r19
. 760r27 819r24 819r38 822r24 822r38 828r30 828r44 847r20 872r30 872r44 875r24
. 875r38 888r30 888r44 907r30 907r44 991r19 1022r19 1061r19 1074r19 1089r19
. 1091r27 1097r48 1150r24 1150r38 1153r24 1153r38 1159r30 1159r44 1173r19
. 1324r20 1402r19 1466r24 1466r38 1502r16 1508r7 1518r16 1554r24 1554r38
. 1582r24 1582r38 1618r17 1648r14 1659r12 1681r14 1690r12 1811r56 1812r56
. 1939r24 1939r38 1976r7
X 3 a-cofove.ads
63I9 Index_Type 71r30 72r10 73r6 73r22 73r48 144r19 152r19 162r19 172r19
. 277r54 281r53 304r19 304r33 314r19 314r33 393r15 393r29 410r62 4|82r32
. 89r29 89r43 108r40 111r15 115r27 117r29 122r26 122r40 139r18 142r15 146r27
. 148r29 153r30 153r44 163r10 163r30 168r26 168r40 207r27 224r27 326r18 349r44
. 372r43 373r18 422r26 447r18 447r34 450r28 460r19 479r22 508r23 537r19 537r33
. 540r23 565r21 585r53 588r14 602r26 647r30 708r31 762r46 764r25 769r19 795r36
. 805r22 850r19 923r15 933r30 953r15 971r30 993r15 1003r30 1024r15 1042r30
. 1093r46 1095r25 1100r19 1126r36 1136r22 1175r15 1193r30 1215r39 1234r22
. 1287r32 1396r26 1406r15 1421r27 1435r27 1449r19 1503r16 1539r19 1647r14
. 1660r27 1678r19 1678r33 1680r14 1691r27 1718r30 1778r17 1780r28 1788r54
. 1844r23 1875r45 1877r24 1880r27 1880r43 1884r18 1901r45 1903r24 1906r27
. 1906r43 1910r18 1923r19
64+9 Element_Type 66r37 103r18 108r41 110r25 112r32 144r38 148r34 153r19
. 158r19 163r56 168r56 173r63 178r63 201r19 207r19 213r19 234r19 243r19 285r55
. 291r54 303r19 308r19 313r19 318r19 323r19 338r40 367r58 4|38r38 102r42
. 132r26 161r32 216r19 284r19 460r38 477r34 504r19 536r19 572r55 703r31 728r38
. 757r19 990r19 1020r19 1063r18 1076r18 1263r54 1401r19 1450r56 1484r56 1520r10
. 1540r19 1564r19 1626r30 1644r19 1677r19 1811r15 1812r15 1814r29 1892r18
. 1924r63 1957r63 1979r10
66V19 "="{boolean} 66>23 66>29 4|189r35 520s40 545s40 1661s40 1692s40
66*23 Left{64+9}
66*29 Right{64+9}
68k24*Formal_Vectors 2|16k13 3|63z9 64z9 66z19 412l20 412e34 4|31b29 1763r19
. 1991l20 1991t34
71I12*Extended_Index 86r24 86r42 138r19 140r49 184r19 200r19 219r19 248r19
. 259r19 287r52 304r58 314r57 372r18 4|322r19 537r58 756r19 844r19 1060r19
. 1088r19 1276r52 1678r57 1841r19 1855r49
84I12*Capacity_Subtype{2|20I9} 88r28 100r33 104r18 114r50 118r19 120r48 124r19
. 134r18 370r28 4|259r50 296r18 299r12 610r26 1285r48 1291r14 1594r19 1760r19
. 1868r33 1893r18
86*4*No_Index{71I12} 372r36 4|76r18 80r30 275r25 287r46 365r58 368r58 375r60
. 448r28 468r55 491r64 517r52 543r43 552r14 674r34 818r56 821r59 870r46 874r56
. 1149r56 1152r59 1349r22 1353r22 1465r55 1503r35 1553r55 1581r64 1659r42
. 1690r42 1699r14 1808r51 1809r51 1858r17 1938r55
88R9*Vector 88d17 94r28 98p14 98r32 100p13 100r58 102p13 104r43 106p14 106r32
. 106r47 108p14 108r25 108r62 110p14 110r47 110r62 112p14 112r53 114p13 114r35
. 116p14 117r26 120p13 120r33 122p14 123r26 126p13 126r35 128p14 128r40 130p14
. 130r38 130r55 132p13 133r18 134r48 136p13 137r19 142p13 143r19 146p13 147r19
. 150p14 151r26 155p14 156r26 160p14 161r19 165p14 166r19 170p14 171r26 175p14
. 176r26 180p14 180r36 180r60 182p14 183r26 185r19 187p14 188r26 190r19 192p14
. 193r26 195r19 198p14 199r26 204p14 205r26 210p14 211r26 217p14 218r26 222p14
. 223r26 228p14 229r26 230r19 232p14 233r26 237p14 238r26 239r19 241p14 242r26
. 246p14 247r26 251p14 252r26 257p14 258r26 262p14 263r26 267p14 268r26 271p14
. 272r26 275p14 275r51 277p14 277r39 279p14 279r39 281p13 281r38 283p13 283r32
. 285p13 285r40 287p13 287r37 289p13 289r31 291p13 291r39 293p13 293r31 295p14
. 295r32 297p13 297r35 299p14 299r36 301p13 302r19 306p13 307r19 311p13 312r19
. 316p13 317r19 321p13 322r19 325p13 325r38 327p14 328r19 330r44 332p14 333r19
. 335r44 341r39 343r42 345r40 345r64 349p13 349r31 349r65 351p13 351r32 351r66
. 370c9 375e14 379p14 381r19 383r8 385p14 387r23 389r8 408r28 4|37r19 44r32
. 44r47 102r26 102r63 132r48 132r63 161r53 178r32 201r41 201r60 215r26 237r38
. 237r55 259r35 268r40 283r19 295r18 296r48 310r23 321r26 387r26 409r26 430r26
. 459r19 476r19 503r19 535r19 559r32 572r40 585r38 601r39 628r48 698r42 727r19
. 739r19 755r26 843r26 845r19 919r26 921r19 948r26 950r19 988r26 1018r26
. 1059r26 1071r26 1087r26 1170r26 1213r35 1223r19 1225r48 1227r11 1250r31
. 1263r39 1276r37 1285r33 1298r31 1298r65 1299r11 1321r23 1322r23 1360r31
. 1377r32 1394r42 1394r61 1400r26 1415r36 1429r35 1448r19 1452r11 1482r19
. 1500r23 1538r26 1562r26 1593r26 1606r51 1643r19 1676r19 1707r19 1708r58
. 1711r11 1734r32 1734r66 1735r11 1759r26 1788r39 1822r39 1840r19 1868r58
. 1893r43 1922r26 1955r26 1973r19
88i17 Capacity{84I12} 370r17 371r39 408m39 4|245r17 766r58 1299r29 1299r69
. 1341r21 1514r29 1597r31 1735r29 1735r69 1772r29
91R9*Cursor 92r41 96r26 138r42 140r34 148r19 157r19 167r19 177r19 189r19
. 194r19 196r23 206r19 212r19 214r23 224r19 225r23 253r19 254r23 264r26 279r54
. 283r47 289r46 293r50 293r65 295r58 297r54 297r69 299r62 309r19 309r48 319r19
. 319r48 325r57 330r63 335r63 349r50 351r51 391c9 394e14 398r18 400r8 404r22
. 406r8 410r26 4|388r26 477r19 505r19 505r48 521r20 559r47 740r19 920r19
. 949r19 951r23 984r19 989r19 1019r19 1021r23 1055r19 1072r19 1073r23 1171r19
. 1172r23 1206r19 1225r67 1235r33 1250r46 1298r50 1360r50 1360r65 1377r58
. 1415r62 1429r54 1429r69 1483r19 1527r22 1563r19 1645r19 1645r48 1709r57
. 1719r33 1734r51 1822r54 1841r42 1848r14 1855r34 1956r19 1985r18
94r4*Empty_Vector{88R9} 408c4 4|51r20 1871r17 1897r17
96r4*No_Element{91R9} 309r29 319r29 410c4 4|401r19 505r29 527r14 562r17 960r25
. 1031r25 1182r25 1253r17 1302r21 1363r17 1370r14 1386r22 1425r22 1432r17
. 1440r14 1645r29 1668r14 1738r21 1845r17
98V14*"="{boolean} 98>18 98>24 4|178b14 195l9 195t11
98r18 Left{88R9} 4|178b18 180r10 184r18 188r46 189r26
98r24 Right{88R9} 4|178b24 180r25 184r35 189r51
100V13*To_Vector{88R9} 100>24 4|1868b13 1889l8 1889t17
100i24 Length{84I12} 4|1868b24 1870r10 1876r58 1886r18
102V13*To_Vector{88R9} 103>7 104>7 4|1891b13 1915l8 1915t17
103*7 New_Item{64+9} 4|1892b7 1912r37
104i7 Length{84I12} 4|1893b7 1896r10 1902r58 1912r18
106V14*"&"{88R9} 106>18 106>24 4|44b14 100l9 100t11
106r18 Left{88R9} 4|44b18 45r43 64r55 65r15 67r29 67r47 91r55 94r55
106r24 Right{88R9} 4|44b24 46r43 55r55 56r15 58r29 58r48 92r41 94r71
108V14*"&"{88R9} 108>18 108>33 4|102b14 130l9 130t11
108r18 Left{88R9} 4|102b18 103r52 123r54 125r52
108*33 Right{64+9} 4|102b34 108r32 128r33
110V14*"&"{88R9} 110>18 110>39 4|132b14 159l9 159t11
110*18 Left{64+9} 4|132b18 138r32 157r28
110r39 Right{88R9} 4|132b40 133r52 154r44 155r56
112V14*"&"{88R9} 112>18 112>24 4|161b14 172l9 172t11
112*18 Left{64+9} 4|161b18 170r22
112*24 Right{64+9} 4|161b24 170r28
114V13*Capacity{84I12} 114>23 4|259b13 262l8 262t16
114r23 Container{88R9} 4|259b23 261r14
116U14*Reserve_Capacity 117=7 118>7 4|1592b14 1600l8 1600t24
117r7 Container{88R9} 4|1593b7 1597r21
118i7 Capacity{84I12} 4|1594b7 1597r10
120V13*Length{84I12} 120>21 4|45s35 46s35 55s47 58s21 64s47 67s21 94s47 94s63
. 103s44 125s44 133s44 155s48 184s10 184s27 188s38 238s35 298s35 379s40 417s19
. 610s46 663s18 664s36 666s18 668s31 669s35 670s26 673s43 680s23 685s33 717s41
. 830s40 847s34 896s24 902s57 1161s40 1269s38 1285b13 1292l8 1292t14 1324s34
. 1608s10 1623s15 1763s34 1976s38 1978s21
120r21 Container{88R9} 4|1285b21 1286r44
122U14*Set_Length 123=7 124>7 4|664s20 1758b14 1782l8 1782t18
123r7 Container{88R9} 4|1759b7 1763r42 1767r10 1772r19 1780m10
124i7 Length{84I12} 4|1760b7 1763r10 1772r10 1778r42
126V13*Is_Empty{boolean} 126>23 4|203s10 561s10 574s10 667s30 926s10 956s10
. 1213b13 1216l8 1216t16 1252s10 1265s10
126r23 Container{88R9} 4|1213b23 1215r26
128U14*Clear 128=21 4|249s14 268b14 276l8 276t13 418s10 1506s7 1739s10
128r21 Container{88R9} 4|268b21 270r10 275m7
130U14*Assign 130=22 130>46 4|237b14 253l8 253t14
130r22 Target{88R9} 4|237b22 241m10 241r10 245r10 249m7 249r7 251m7 252m7
130r46 Source{88R9} 4|237b46 238r43 241r27 251r36 252r22
132V13*Copy{88R9} 133>7 134>7 4|294b13 314l8 314t12 1299s42 1735s42
133r7 Source{88R9} 4|295b7 298r43 311r39 312r25
134i7 Capacity{84I12} 4|296b7 302r10 304r13 305r15
136V13*To_Cursor{91R9} 137>7 138>7 4|1839b13 1849l8 1849t17
137r7 Container{88R9} 4|1840b7 1844r55
138*7 Index{71I12} 4|1841b7 1844r10 1848r28
140V13*To_Index{71I12} 140>23 4|1855b13 1862l8 1862t16
140r23 Position{91R9} 4|1855b23 1857r14 1861r14
142V13*Element{64+9} 143>7 144>7 4|458b13 473l8 473t15
143r7 Container{88R9} 4|459b7 463r18 471r30
144*7 Index{63I9} 4|460b7 463r10 468r41
146V13*Element{64+9} 147>7 148>7 4|475b13 496l8 496t15
147r7 Container{88R9} 4|476b7 479r48 494r30
148r7 Position{91R9} 4|477b7 482r14 486r10 491r41
150U14*Replace_Element 151=7 152>7 153>7 4|1537b14 1559l8 1559t23
151r7 Container{88R9} 4|1538b7 1543r18 1547r10 1557m10
152*7 Index{63I9} 4|1539b7 1543r10 1553r41
153*7 New_Item{64+9} 4|1540b7 1557r36
155U14*Replace_Element 156=7 157>7 158>7 4|1561b14 1586l8 1586t23
156r7 Container{88R9} 4|1562b7 1571r27 1575r10 1584m10
157r7 Position{91R9} 4|1563b7 1567r14 1571r10 1581r41
158*7 New_Item{64+9} 4|1564b7 1584r36
160U14*Query_Element 161>7 162>7 163^7 4|1447b14 1479l8 1479t21 1491s7
161r7 Container{88R9} 4|1448b7 1452r26 1457r30
162*7 Index{63I9} 4|1449b7 1457r10 1465r41
163p7 Process 4|1450b7 1469r10
163*46 Element{64+9}
165U14*Query_Element 166>7 167>7 168^7 4|1481b14 1492l8 1492t21
166r7 Container{88R9} 4|1482b7 1491r22
167r7 Position{91R9} 4|1483b7 1487r14 1491r33
168p7 Process 4|1484b7 1491r49
168*46 Element{64+9}
170U14*Update_Element 171=7 172>7 173^7 4|1921b14 1952l8 1952t22 1964s7
171r7 Container{88R9} 4|1922b7 1926m27 1926r27 1927m27 1927r27 1930r18 1942m19
. 1942r19
172*7 Index{63I9} 4|1923b7 1930r10 1938r41
173p7 Process 4|1924b7 1942r10
173*46 Element{64+9}
175U14*Update_Element 176=7 177>7 178^7 4|1954b14 1965l8 1965t22
176r7 Container{88R9} 4|1955b7 1964m23
177r7 Position{91R9} 4|1956b7 1960r14 1964r34
178p7 Process 4|1957b7 1964r50
178*46 Element{64+9}
180U14*Move 180=20 180=44 4|1320b14 1354l8 1354t12
180r20 Target{88R9} 4|1321b7 1327m10 1327r10 1331r10 1341r14 1349m7 1350m7
. 1352m7
180r44 Source{88R9} 4|1322b7 1324r42 1327m27 1327r27 1336r10 1350r35 1352r22
. 1353m7
182U14*Insert 183=7 184>7 185>7 4|211s7 842b14 916l8 916t14 944s7 982s7 1396s7
183r7 Container{88R9} 4|843b7 855r19 856r27 866m21 878m13 878r13 879m13 884r42
. 890m42 890r42 896r32 902r21 902r65 910m21 910r21
184*7 Before{71I12} 4|844b7 850r10 855r10 856r18 866r32 870r17 874r41
185r7 New_Item{88R9} 4|845b7 847r42 878r34 879r51
187U14*Insert 188=7 189>7 190>7 4|918b14 945l8 945t14
188r7 Container{88R9} 4|919b7 931r32 933r13 938r19 944m15
189r7 Before{91R9} 4|920b7 930r14 931r17 941r19
190r7 New_Item{88R9} 4|921b7 926r20 944r33
192U14*Insert 193=7 194>7 195>7 196<7 4|947b14 985l8 985t14
193r7 Container{88R9} 4|948b7 958r35 969r32 971r13 976r19 982m15
194r7 Before{91R9} 4|949b7 957r17 958r20 962r32 968r14 969r17 979r19
195r7 New_Item{88R9} 4|950b7 956r20 982r33
196r7 Position{91R9} 4|951b7 960m13 962m13 984m7
198U14*Insert 199=7 200>7 201>7 202>7 4|230s7 754b14 840l8 840t14 1014s7
. 1053s7 1067s7 1405s7
199r7 Container{88R9} 4|755b7 766r48 774r19 775r27 786r49 810r10 816m38 816r38
. 825r23 830r48 839m7
200*7 Before{71I12} 4|756b7 769r10 774r10 775r18 818r41 825r13
201*7 New_Item{64+9} 4|757b7 831r46 835r39
202i7 Count{2|20I9} 4|758b7 760r43 781r10
204U14*Insert 205=7 206>7 207>7 208>7 4|987b14 1015l8 1015t14
205r7 Container{88R9} 4|988b7 1001r32 1003r13 1008r19 1014m15
206r7 Before{91R9} 4|989b7 1000r14 1001r17 1011r19
207*7 New_Item{64+9} 4|990b7 1014r33
208i7 Count{2|20I9} 4|991b7 996r10 1014r43
210U14*Insert 211=7 212>7 213>7 214<7 215>7 4|1017b14 1056l8 1056t14 1079s7
211r7 Container{88R9} 4|1018b7 1029r35 1040r32 1042r13 1047r19 1053m15
212r7 Before{91R9} 4|1019b7 1028r17 1029r20 1033r32 1039r14 1040r17 1050r19
213*7 New_Item{64+9} 4|1020b7 1053r33
214r7 Position{91R9} 4|1021b7 1031m13 1033m13 1055m7
215i7 Count{2|20I9} 4|1022b7 1027r10 1053r43
217U14*Insert 218=7 219>7 220>7 4|1058b14 1068l8 1068t14
218r7 Container{88R9} 4|1059b7 1067m15
219*7 Before{71I12} 4|1060b7 1067r26
220i7 Count{2|20I9} 4|1061b7 1067r44
222U14*Insert 223=7 224>7 225<7 226>7 4|1070b14 1080l8 1080t14
223r7 Container{88R9} 4|1071b7 1079m15
224r7 Before{91R9} 4|1072b7 1079r26
225r7 Position{91R9} 4|1073b7 1079m44
226i7 Count{2|20I9} 4|1074b7 1079r54
228U14*Prepend 229=7 230>7 4|1394b14 1397l8 1397t15
229r7 Container{88R9} 4|1394b23 1396m15
230r7 New_Item{88R9} 4|1394b50 1396r44
232U14*Prepend 233=7 234>7 235>7 4|1399b14 1409l8 1409t15
233r7 Container{88R9} 4|1400b7 1405m15
234*7 New_Item{64+9} 4|1401b7 1407r15
235i7 Count{2|20I9} 4|1402b7 1408r15
237U14*Append 238=7 239>7 4|201b14 212l8 212t14
238r7 Container{88R9} 4|201b22 207r10 211m15 211r26
239r7 New_Item{88R9} 4|201b49 203r20 211r46
241U14*Append 242=7 243>7 244>7 4|214b14 231l8 231t14
242r7 Container{88R9} 4|215b7 224r10 230m15 230r26
243*7 New_Item{64+9} 4|216b7 230r46
244i7 Count{2|20I9} 4|217b7 220r10 230r56
246U14*Insert_Space 247=7 248>7 249>7 4|866s7 1086b14 1167l8 1167t20 1204s7
247r7 Container{88R9} 4|1087b7 1105r19 1106r27 1117r49 1141r10 1147m38 1147r38
. 1156r23 1161r48 1166m7
248*7 Before{71I12} 4|1088b7 1100r10 1105r10 1106r18 1149r41 1156r13
249i7 Count{2|20I9} 4|866r40 1089b7 1091r43 1112r10 1204r39
251U14*Insert_Space 252=7 253>7 254<7 255>7 4|1169b14 1207l8 1207t20
252r7 Container{88R9} 4|1170b7 1180r35 1191r32 1193r13 1198r19 1204m21
253r7 Before{91R9} 4|1171b7 1179r17 1180r20 1184r32 1190r14 1191r17 1201r19
254r7 Position{91R9} 4|1172b7 1182m13 1184m13 1206m7
255i7 Count{2|20I9} 4|1173b7 1178r10 1204r48
257U14*Delete 258=7 259>7 260>7 4|320b14 384l8 384t14 400s7 422s7
258r7 Container{88R9} 4|321b7 330r18 331r21 342r10 349r60 359m13 363m44 363r44
. 379r48 380m16
259*7 Index{71I12} 4|322b7 326r10 330r10 331r13 348r49 359r31
260i7 Count{2|20I9} 4|323b7 338r10 351r56
262U14*Delete 263=7 264=7 265>7 4|386b14 402l8 402t14
263r7 Container{88R9} 4|387b7 396r27 400m15
264r7 Position{91R9} 4|388b7 392r14 396r10 400r26 401m7
265i7 Count{2|20I9} 4|389b7 400r42
267U14*Delete_First 268=7 269>7 4|408b14 423l8 423t20 1748s10
268r7 Container{88R9} 4|409b7 417r27 418m17 422m15
269i7 Count{2|20I9} 4|410b7 413r10 417r10 422r44
271U14*Delete_Last 272=7 273>7 4|429b14 452l8 452t19 1311s10
272r7 Container{88R9} 4|430b7 440r10 445r26 448m10 450m10
273i7 Count{2|20I9} 4|431b7 436r10 445r54
275U14*Reverse_Elements 275=32 4|1606b14 1636l8 1636t24
275r32 Container{88R9} 4|1606b32 1608r18 1612r10 1619m40 1619r40 1623r23
277U14*Swap 277=20 277>47 277>50 4|1788b14 1820l8 1820t12 1832s7
277r20 Container{88R9} 4|1788b20 1790r14 1794r14 1802r10 1811m36 1811r36
. 1812m36 1812r36
277*47 I{63I9} 4|1788b47 1790r10 1798r10 1808r41
277*50 J{63I9} 4|1788b50 1794r10 1798r14 1809r41
279U14*Swap 279=20 279>47 279>50 4|1822b14 1833l8 1833t12
279r20 Container{88R9} 4|1822b20 1832m13
279r47 I{91R9} 4|1822b47 1824r14 1832r24
279r50 J{91R9} 4|1822b50 1828r14 1832r33
281V13*First_Index{63I9} 281>26 355r19 4|585b13 589l8 589t19
281r26 Container{88R9} 4|585b26 586r28
283V13*First{91R9} 283>20 4|559b13 566l8 566t13
283r20 Container{88R9} 4|559b20 561r20
285V13*First_Element{64+9} 285>28 358r19 4|572b13 579l8 579t21
285r28 Container{88R9} 4|572b28 574r20 578r27
287V13*Last_Index{71I12} 287>25 356r19 4|479s36 508s37 512s30 540s37 602s40
. 746s35 1215s14 1234s42 1256s21 1276b13 1279l8 1279t18 1286s32 1366s27 1383s27
. 1422s27 1436s27 1457s18 1652s34 1654s18 1684s18 1685s18 1718s50 1844s43
287r25 Container{88R9} 4|1276b25 1278r14
289V13*Last{91R9} 289>19 4|1250b13 1257l8 1257t12
289r19 Container{88R9} 4|1250b19 1252r20 1256r33
291V13*Last_Element{64+9} 291>27 359r19 4|1263b13 1270l8 1270t20
291r27 Container{88R9} 4|1263b27 1265r20 1269r27 1269r46
293V13*Next{91R9} 293>19 293>39 4|1360b13 1371l8 1371t12
293r19 Container{88R9} 4|1360b19 1366r39
293r39 Position{91R9} 4|1360b39 1362r14 1366r10 1367r24
295U14*Next 295>20 295=40 4|1377b14 1388l8 1388t12
295r20 Container{88R9} 4|1377b20 1383r39
295r40 Position{91R9} 4|1377b40 1379r14 1383r10 1384m10 1384r28 1386m10
297V13*Previous{91R9} 297>23 297>43 4|1429b13 1441l8 1441t16
297r23 Container{88R9} 4|1429b23 1436r39
297r43 Position{91R9} 4|1429b43 1431r14 1435r10 1436r9 1437r24
299U14*Previous 299>24 299=44 4|1415b14 1427l8 1427t16
299r24 Container{88R9} 4|1415b24 1422r39
299r44 Position{91R9} 4|1415b44 1417r14 1421r10 1422r9 1423m10 1423r28 1425m10
301V13*Find_Index{71I12} 302>7 303>7 304>7 4|287s14 534b13 553l8 553t18
302r7 Container{88R9} 4|535b7 540r49 545r26
303*7 Item{64+9} 4|536b7 545r42
304*7 Index{63I9} 4|537b7 543r29 544r19
306V13*Find{91R9} 307>7 308>7 309>7 4|502b13 528l8 528t12
307r7 Container{88R9} 4|503b7 508r49 512r42 520r26
308*7 Item{64+9} 4|504b7 520r42
309r7 Position{91R9} 4|505b7 511r10 512r13 517r29 519r16
311V13*Reverse_Find_Index{71I12} 312>7 313>7 314>7 4|1675b13 1700l8 1700t26
312r7 Container{88R9} 4|1676b7 1684r30 1685r30 1692r26
313*7 Item{64+9} 4|1677b7 1692r42
314*7 Index{63I9} 4|1678b7 1684r10 1687r18
316V13*Reverse_Find{91R9} 317>7 318>7 319>7 4|1642b13 1669l8 1669t20
317r7 Container{88R9} 4|1643b7 1652r46 1654r30 1661r26
318*7 Item{64+9} 4|1644b7 1661r42
319r7 Position{91R9} 4|1645b7 1651r14 1652r17 1656r18
321V13*Contains{boolean} 322>7 323>7 363r19 4|282b13 288l8 288t16
322r7 Container{88R9} 4|283b7 287r26
323*7 Item{64+9} 4|284b7 287r37
325V13*Has_Element{boolean} 325>26 325>46 4|738b13 748l8 748t19 1306s14 1743s14
325r26 Container{88R9} 4|739b7 746r47
325r46 Position{91R9} 4|740b7 743r14 746r17
327U14*Iterate 328>7 329^7 4|1222b14 1244l8 1244t15
328r7 Container{88R9} 4|1223b7 1227r26 1234r54 1235r22
329p7 Process 4|1224b7 1235r13
330r32 Container{88R9}
330r52 Position{91R9}
332U14*Reverse_Iterate 333>7 334^7 4|1706b14 1728l8 1728t23
333r7 Container{88R9} 4|1707b7 1711r26 1718r62 1719r22
334p7 Process 4|1708b7 1719r13
335r32 Container{88R9}
335r52 Position{91R9}
338V22 "<"{boolean} 338>26 338>32 4|613s50 669s52 678s58 680s40 705r32
338*26 Left{64+9}
338*32 Right{64+9}
339k12 Generic_Sorting 338z22 347l8 347e23 4|595b17 720l8 720t23
341V16*Is_Sorted{boolean} 341>27 4|601b16 622l11 622t20
341r27 Container{88R9} 4|601b27 602r52 605r13 610r54 613r32 614r32
343U17*Sort 343=23 4|698b17 718l11 718t15
343r23 Container{88R9} 4|698b23 708r13 712r13 717m16 717r16 717r49
345U17*Merge 345=24 345=48 4|628b17 692l11 692t16
345r24 Target{88R9} 4|628b24 631m41 631r41 643m16 643r16 653r16 663r26 664m13
. 664r13 666r26
345r48 Source{88R9} 4|628b32 632r41 643m33 643r33 647r16 658r16 664r44 667r23
. 668r39 669r43 670r34 673r51 674m19 680r31 685r41 686m19 686r34
349V13*Left{88R9} 349>19 349>39 4|1298b13 1314l8 1314t12
349r19 Container{88R9} 4|1298b19 1299r19 1299r48 1299r59 1306r27
349r39 Position{91R9} 4|1298b39 1302r10 1306r38 1310r23
351V13*Right{88R9} 351>20 351>40 4|1734b13 1752l8 1752t13
351r20 Container{88R9} 4|1734b20 1735r19 1735r48 1735r59 1743r27 1747r23
351r40 Position{91R9} 4|1734b40 1738r10 1743r38 1747r40
367A9 Elements_Array(64+9)<2|20I9> 368r25 371r18 4|55r26 64r26 91r27 92r18
. 123r26 154r21 363r21 631r18 632r18 704r31 816r15 884r19 890r19 901r19 909r19
. 1147r15 1619r17
368y14 "="{boolean} 368>18 368>21
368a18 L{367A9}
368a21 R{367A9}
371a7 Elements{367A9} 4|56r21 65r20 91r60 92m47 123r59 154m50 251m14 251r43
. 261r24 311m17 311r46 363m54 631m48 632m48 717m26 731r24 816m48 879m23 879r60
. 884m52 890m52 902m31 910m31 1147m48 1350m14 1350r42 1520r47 1557m20 1584m20
. 1619m50 1811m46 1812m46 1942m29 1979r48
372*7 Last{71I12} 4|58m40 58r54 67m39 67r52 97m40 128m40 157m39 170m36 207r20
. 211r36 224r20 230r36 252m14 252r29 275m17 312m17 312r32 330r28 331r31 349r70
. 359m23 380m26 396r37 445r36 448m20 450m20 463r28 605r23 647r23 674m26 686m26
. 686r41 708r23 774r29 775r37 786r59 825r33 839m17 855r29 856r37 931r42 933r23
. 938r29 958r45 969r42 971r23 976r29 1001r42 1003r23 1008r29 1029r45 1040r42
. 1042r23 1047r29 1105r29 1106r37 1117r59 1156r33 1166m17 1180r45 1191r42
. 1193r23 1198r29 1278r24 1310r15 1349m14 1352m14 1352r29 1353m14 1521m20
. 1543r28 1571r37 1747r15 1747r33 1780m20 1790r24 1794r24 1886m42 1912m48
. 1930r28
373i7 Busy{natural} 4|270r20 342r20 440r20 653r23 658r23 810r20 1141r20 1228m29
. 1331r17 1336r17 1453m29 1712m29 1767r20 1926m37
374i7 Lock{natural} 4|712r23 1454m29 1547r20 1575r20 1612r20 1802r20 1927m37
379U14 Write 380^7 381>7 4|1971b14 1981l8 1981t13
380p7 Stream(9|39R9) 4|1972b7 1976r30 1979r30
381r7 Container{88R9} 4|1973b7 1976r46 1978r29 1979r38
385U14 Read 386^7 387<7 4|1498b14 1523l8 1523t12
386p7 Stream(9|39R9) 4|1499b7 1508r29 1520r29
387r7 Container{88R9} 4|1500b7 1506m14 1514r19 1520m37 1520r37 1521m10
392b7 Valid{boolean} 410m37 4|392r23 482r23 511r19 743r23 930r21 957r24 968r21
. 1000r21 1028r24 1039r21 1179r24 1190r21 1362r23 1379r23 1417r23 1431r23
. 1487r23 1567r23 1651r23 1824r16 1828r16 1857r23 1960r23
393*7 Index{63I9} 410m53 4|396r19 400r35 486r19 491r50 512r22 517r38 519r25
. 521m28 746r26 931r24 941r26 958r27 962r39 969r24 979r26 1001r24 1011r26
. 1029r27 1033r39 1040r24 1050r26 1180r27 1184r39 1191r24 1201r26 1310r32
. 1366r19 1367r33 1383r19 1384m19 1384r37 1421r19 1422r18 1423m19 1423r37
. 1435r19 1436r18 1437r33 1491r42 1571r19 1581r50 1652r26 1656r27 1747r49
. 1832r26 1832r35 1861r23 1964r43
396U14 Write 397^7 398>7 4|1983b14 1989l8 1989t13
397p7 Stream(9|39R9) 4|1984b7
398r7 Position{91R9} 4|1985b7
402U14 Read 403^7 404<7 4|1525b14 1531l8 1531t12
403p7 Stream(9|39R9) 4|1526b7
404r7 Position{91R9} 4|1527b7
X 4 a-cofove.adb
33I9 Int<long_integer> 72r33 72r45 72r56 73r24 76r13 76r30 80r25 82r27 104r21
. 111r10 111r35 111r46 115r22 115r47 117r24 134r21 142r10 142r35 142r46 146r22
. 146r47 148r24 348r37 348r44 349r37 351r28 352r28 353r28 353r40 355r30 365r30
. 365r53 368r30 368r53 371r43 375r30 375r55 433r15 445r16 445r44 468r24 468r36
. 468r50 491r24 491r36 491r59 517r24 517r47 543r24 543r38 760r20 762r34 762r41
. 763r25 786r37 786r44 789r31 795r31 799r56 818r24 818r36 818r51 821r24 821r54
. 827r30 869r37 870r12 870r27 870r41 874r24 874r36 874r51 886r37 904r37 1091r20
. 1093r34 1093r41 1094r25 1117r37 1117r44 1120r31 1126r31 1130r56 1149r24
. 1149r36 1149r51 1152r24 1152r54 1158r30 1286r20 1286r27 1287r20 1287r27
. 1288r20 1465r24 1465r36 1465r50 1553r24 1553r36 1553r50 1581r24 1581r36
. 1581r59 1659r24 1659r37 1690r24 1690r37 1777r33 1778r12 1778r37 1808r24
. 1808r36 1808r46 1809r24 1809r36 1809r46 1875r33 1875r40 1876r33 1876r53
. 1901r33 1901r40 1902r33 1902r53 1938r24 1938r36 1938r50
34M9 UInt 765r25 766r34 766r42 799r24 1096r25 1097r34 1097r42 1130r24
36V13 Get_Element{3|64+9} 37>7 38>7 189s13 189s38 471s17 494s17 520s13 545s13
. 578s14 613s19 614s19 726b13 732l8 732t19 1269s14 1469s19 1661s13 1692s13
37r7 Container{3|88R9} 727b7 731r14
38i7 Position{2|20I9} 728b7 731r34
45i7 LN{2|20I9} 49r10 65r35 72r50 91r48 91r75
46i7 RN{2|20I9} 50r13 56r36 62r10 72r61 92r62
55a13 E{3|367A9} 58r37
64a13 E{3|367A9} 67r36
72i10 N<long_integer> 76r41 80r42
73i10 Last_As_Int<long_integer> 80m10 82r13 89r55
89*13 Last{3|63I9} 97r48
91a13 LE{3|367A9} 97r31
92a13 RE{3|367A9} 97r36
94i13 Capacity{2|20I9} 97r21
103i7 LN{2|20I9} 107r10 111r51 115r52 123r47 123r74
104i7 Last_As_Int<long_integer> 115m7 117r10 122r52
122*10 Last{3|63I9} 128r48
123a10 LE{3|367A9} 128r28
125i10 Capacity{2|20I9} 128r18
133i7 RN{2|20I9} 137r10 142r51 146r52 154r65
134i7 Last_As_Int<long_integer> 146m7 148r10 153r56
153*10 Last{3|63I9} 157r47
154a10 RE{3|367A9} 157r35
155i10 Capacity{2|20I9} 157r18
168*10 Last{3|63I9} 170r44
188i11 J<integer> 189r32 189r58
238i7 LS{2|20I9} 245r28 251r29 251r58
298i7 LS{2|20I9} 303r15 304r25 311r32 311r61
299i7 C{3|84I12} 303m10 305m10 310r31
310r14 Target{3|88R9} 311m10 312m10
348i10 I_As_Int{33I9} 352r58 355r42 365r42
349i10 Old_Last_As_Int{33I9} 352r40 358r24 371r55
351i10 Count1<long_integer> 353r49
352i10 Count2<long_integer> 353r57
353i10 N<long_integer> 355r53 371r73
355i10 J_As_Int<long_integer> 358r13 368r42
363a16 EA{3|367A9} 379r16 379r31
365i16 II<long_integer> 366r56
366i16 I{2|20I9} 379r20
368i16 JJ<long_integer> 369r56
369i16 J{2|20I9} 379r35
371i16 New_Last_As_Int<long_integer> 373r30 375r37
372*16 New_Last{3|63I9} 380r34
375i16 KK{33I9} 376r56
376i16 K{2|20I9} 379r25
433i7 Index<long_integer> 445m7 447r10 450r40
468i10 II<long_integer> 469r50
469i10 I{2|20I9} 471r41
479*7 Lst{3|63I9} 486r27
491i10 II<long_integer> 492r50
492i10 I{2|20I9} 494r41
507i7 K{2|20I9} 517m7 520r37 524m10 524r15
508*7 Last{3|63I9} 519r34
519i11 J 521r37
539i7 K{2|20I9} 543m7 545r37 549m10 549r15
540*7 Last{3|63I9} 544r28
544i11 Indx 546r20
602*10 Last{3|63I9} 605r31
610i13 L{3|84I12} 612r44
612i17 J<integer> 613r43 614r43
631a13 TA{3|367A9} 673r19 678r51 678r60 680r42 681r19 681r29 685r19
632a13 SA{3|367A9} 669r31 670r22 673r34 680r19 685r29
634i13 I{2|20I9} 663m13 664r32 672r19 678r31 678r55 678r64 680r46 681r33
. 682m19 682r24
634i16 J{2|20I9} 666m13 673r28 681r23 685r23 689m16 689r21
700U20 Sort[5|24] 717s10
760i7 N{33I9} 789r42 793r47 827r47
762i7 First{33I9} 799r48
763i7 New_Last_As_Int<long_integer> 793m10 795r13 799r30 805r34 821r36
764*7 New_Last{3|63I9} 805m10 839r25
765m7 New_Length{34M9} 799m10 801r13
766m7 Max_Length{34M9} 801r26
786i10 Old_Last_As_Int{33I9} 789r13 793r29
816a10 EA{3|367A9} 830r16 830r31 831r16 835r13
818i10 BB<long_integer> 819r50 827r42
819i10 B{2|20I9} 830r35 831r20 835r17
821i10 LL<long_integer> 822r50
822i10 L{2|20I9} 830r25 835r22
827i16 II<long_integer> 828r56
828i16 I{2|20I9} 830r20 831r25
847i7 N{2|20I9} 862r10 866r49 870r32 879r75
869i10 Dst_Last_As_Int<long_integer> 872r56 905r15
872i10 Dst_Last{2|20I9} 879r38 896r13 902r41 910r50
874i10 BB<long_integer> 875r50 886r49
875i10 B{2|20I9} 879r33 884r67 890r62
884a13 Src{3|367A9} 886r54 893r20
886i13 Index_As_Int<long_integer> 888r56
888i13 Index{2|20I9} 890r67
890a13 Dst{3|367A9} 893r13
901a13 Src{3|367A9} 905r33 913r20
904i13 Index_As_Int<long_integer> 907r56
907i13 Index{2|20I9} 910r41
909a13 Dst{3|367A9} 913r13
923*7 Index 938m10 941m10 944r26
953*7 Index 976m10 979m10 982r26 984r33
993*7 Index 1008m10 1011m10 1014r26
1024*7 Index 1047m10 1050m10 1053r26 1055r33
1063*7 New_Item{3|64+9} 1064r29 1067r34
1076*7 New_Item{3|64+9} 1077r29 1079r34
1091i7 N{33I9} 1120r42 1124r47 1158r47
1093i7 First{33I9} 1130r48
1094i7 New_Last_As_Int<long_integer> 1124m10 1126r13 1130r30 1136r34 1152r36
1095*7 New_Last{3|63I9} 1136m10 1166r25
1096m7 New_Length{34M9} 1130m10 1132r13
1097m7 Max_Length{34M9} 1132r26
1117i10 Old_Last_As_Int{33I9} 1120r13 1124r29
1147a10 EA{3|367A9} 1161r16 1161r31
1149i10 BB<long_integer> 1150r50 1158r42
1150i10 B{2|20I9} 1161r35
1152i10 LL<long_integer> 1153r50
1153i10 L{2|20I9} 1161r25
1158i16 II<long_integer> 1159r56
1159i16 I{2|20I9} 1161r20
1175*7 Index 1198m10 1201m10 1204r32 1206r33
1225r36 Container{3|88R9}
1225r56 Position{3|91R9}
1227r7 V{3|88R9} 1228r27
1228i7 B{natural} 1231r7 1231r12 1239r13 1239r18 1243r7 1243r12
1234i14 Indx 1235r47
1286i7 L{33I9} 1288r32
1287i7 F{33I9} 1288r36
1288i7 N<long_integer> 1291r32
1299r7 C{3|88R9} 1303r17 1310r13 1311m23 1311r23 1313r14
1324i7 N{2|20I9} 1341r10 1350r29 1350r57
1450*46 Element{3|64+9}
1452r7 V{3|88R9} 1453r27 1454r27 1469r32
1453i7 B{natural} 1461r7 1461r12 1473r13 1473r18 1478r7 1478r12
1454i7 L{natural} 1462r7 1462r12 1472r13 1472r18 1477r7 1477r12
1465i10 II<long_integer> 1466r50
1466i10 I{2|20I9} 1469r35
1484*46 Element{3|64+9}
1502i7 Length<integer> 1508m37 1508r37 1510r10 1514r10 1518r38
1503*7 Last 1519m10 1519r18 1521r28
1518i11 J<integer> 1520r57
1553i10 II<long_integer> 1554r50
1554i10 I{2|20I9} 1557r30
1581i10 II<long_integer> 1582r50
1582i10 I{2|20I9} 1584r30
1618i10 I{2|20I9} 1622m10 1624r16 1626r49 1628r19 1632m13 1632r18
1618i13 J{2|20I9} 1623m10 1624r20 1628r28 1629r19 1633m13 1633r18
1619a10 E{3|367A9} 1626r46 1628r16 1628r25 1629r16
1626*16 EI{3|64+9} 1629r25
1647*7 Last 1654m10 1656m10 1659r29 1660r47
1648i7 K{2|20I9} 1659m7 1661r37 1665m10 1665r15
1660i11 Indx 1662r27
1680*7 Last 1685m10 1687m10 1690r29 1691r47
1681i7 K{2|20I9} 1690m7 1692r37 1696m10 1696r15
1691i11 Indx 1693r20
1708r46 Container{3|88R9}
1709r46 Position{3|91R9}
1711r7 V{3|88R9} 1712r27
1712i7 B{natural} 1715r7 1715r12 1723r13 1723r18 1727r7 1727r12
1718i14 Indx 1719r47
1735r7 C{3|88R9} 1739m17 1739r17 1740r17 1747r13 1748m24 1748r24 1751r14
1777i10 Last_As_Int<long_integer> 1780r45
1808i10 II<long_integer> 1811r68
1809i10 JJ<long_integer> 1812r68
1811*10 EI{3|64+9} 1814r45 1817r10
1812*10 EJ{3|64+9} 1817r16 1818r10
1814*10 EI_Copy{3|64+9} 1818r16
1875i10 First{33I9} 1876r45
1876i10 Last_As_Int<long_integer> 1880r13 1884r30
1877*10 Last{3|63I9} 1884m10 1886r50
1901i10 First{33I9} 1902r45
1902i10 Last_As_Int<long_integer> 1906r13 1910r30
1903*10 Last{3|63I9} 1910m10 1912r56
1924*46 Element{3|64+9}
1926i7 B{natural} 1934r7 1934r12 1946r13 1946r18 1951r7 1951r12
1927i7 L{natural} 1935r7 1935r12 1945r13 1945r18 1950r7 1950r12
1938i10 II<long_integer> 1939r50
1939i10 I{2|20I9} 1942r39
1957*46 Element{3|64+9}
1978i11 J<integer> 1979r58
X 5 a-cgarso.ads
17E9 Index_Type 4|702r15
18+9 Element_Type 4|703r15
19A9 Array_Type(18+9)<17E9> 4|704r15
21V19 "<"{boolean} 4|705r16
24u26*Generic_Array_Sort 2|16k13 4|28w21 701r16
X 9 a-stream.ads
36K13*Streams 3|58w18 377r12 9|69e16
39H9*Root_Stream_Type 3|380r35 386r35 397r34 403r34 4|1499r35 1526r34 1972r35
. 1984r34 9|67e64
X 12 system.ads
37K9*System 4|29w6 29r23 33r22 33r40 34r21 12|152e11
48N4*Min_Int 4|33r29
49N4*Max_Int 4|33r47
51N4*Max_Binary_Modulus 4|34r28
64M9*Address 4|29r30
78V14*"="{boolean} 4|180r23 241r25 643r31 878r31 1327r25