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_EXCEPTIONS
RV NO_STANDARD_STORAGE_POOLS
RV SPARK

U ada.strings.search%b	a-strsea.adb		7b7cedaa NE OL PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.maps%s	a-strmap.adb		a-strmap.ali
W system%s		system.ads		system.ali

U ada.strings.search%s	a-strsea.ads		b5a8c1d6 NE OL PR PK
W ada%s			ada.ads			ada.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.maps%s	a-strmap.adb		a-strmap.ali

D ada.ads		20121213103024 3ffc8e18
D a-charac.ads		20121213103029 2d3ec45b
D a-chlat1.ads		20121213103024 2825df20
D a-except.ads		20121213103024 10fcae55
D a-string.ads		20121213103024 90ac6797
D a-strmap.ads		20121213103029 9cb836fb
D a-strsea.ads		20121213103029 b9bc90ba
D a-strsea.adb		20121213103029 ce5cdafa
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-stalib.ads		20130106093355 f78bcf95
D s-traent.ads		20121213103024 5221ee41
D s-unstyp.ads		20121213103024 6ae15c76
X 1 ada.ads
16K9*Ada 19e8 7|39r6 41r17 121r5 8|38r6 38r28 41r14 607r5
X 5 a-string.ads
16K13*Strings 1|16k9 5|35e16 7|39r10 41r21 121r9 8|38r10 38r32 41r18 607r9
27X18*Pattern_Error 8|88r16 145r16 285r16 381r16
27X33*Index_Error 8|486r19 494r19 512r19 520r19 538r19 546r19 591r19 599r19
31E9*Membership 31e40 7|59r16 80r17 110r16 117r16 8|50r17 62r17 201r16 234r16
. 448r16 532r17
31n24*Inside{31E9} 7|59r30 80r31 8|65r17 448r30 532r31
32E9*Direction 32e42 7|47r17 53r17 60r16 66r17 73r17 81r17 85r16 90r16 8|271r17
. 372r17 449r16 480r17 506r17 533r17 560r16 586r16
32n24*Forward{32E9} 7|47r30 53r30 60r30 66r30 73r30 81r30 85r29 90r29 8|271r30
. 290r18 372r30 398r18 449r30 454r18 480r30 484r18 490r58 506r30 510r18 516r52
. 533r30 536r18 542r60 560r29 563r18 586r29 589r18 595r59
32n33*Backward{32E9} 8|498r59 524r53 550r61 603r60
X 6 a-strmap.ads
38K21*Maps 412e21 7|39w18 48r17 48r43 54r17 58r16 67r17 67r43 74r17 78r17
. 95r17 95r43 100r17 104r16 108r16 116r16 8|38w18 38r40 49r17 61r17 79r17
. 79r43 96r28 136r17 179r16 199r16 233r16 272r17 272r43 295r31 332r31 373r17
. 447r16 481r17 481r43 507r17 530r17
47A9*Character_Set(boolean) 7|58r21 78r22 104r21 108r21 116r21 8|49r22 61r22
. 179r21 199r21 233r21 447r21 530r22
83V13*Is_In{boolean} 8|66s17 68s21 185s13
108A9*Character_Mapping(character) 7|48r22 67r22 95r22 8|79r22 272r22 481r22
112V13*Value{character} 8|112s34 311s37 348s37
116a4*Identity{108A9} 7|48r48 67r48 95r48 8|79r48 96r33 272r48 295r36 332r36
. 481r48
131P9*Character_Mapping_Function(character) 7|54r22 74r22 100r22 8|136r22
. 373r22 507r22
X 7 a-strsea.ads
41K29*Search 5|16k13 7|121l17 121e23 8|41b26 607l17 607t23
44V13*Index{natural} 45>7 46>7 47>7 48>7 8|268b13 367l8 367t13 490s12 498s12
45s7 Source{string} 8|269b7 291r17 296r27 297r29 307r27 311r53 330r17 333r35
. 334r29 344r35 348r53
46s7 Pattern{string} 8|270b7 274r33 284r10 297r19 310r25 311r22 334r19 347r25
. 348r22
47e7 Going{5|32E9} 8|271b7 290r10
48a7 Mapping{6|108A9} 8|272b7 295r13 311r44 332r13 348r44
50V13*Index{natural} 51>7 52>7 53>7 54>7 8|369b13 443l8 443t13 515s17 523s17
51s7 Source{string} 8|370b7 392r27 399r17 400r24 404r47 420r17 421r32 425r47
52s7 Pattern{string} 8|371b7 375r33 380r10 392r10 403r22 404r19 424r22 425r19
53e7 Going{5|32E9} 8|372b7 398r10
54p7 Mapping{6|131P9} 8|373b7 386r10 404r34 425r34
56V13*Index{natural} 57>7 58>7 59>7 60>7 8|445b13 474l8 474t13 542s12 550s12
57s7 Source{string} 8|446b7 455r19 456r25 464r27 465r25
58a7 Set{6|47A9} 8|447b7 456r37 465r37
59e7 Test{5|31E9} 8|448b7 456r42 465r42
60e7 Going{5|32E9} 8|449b7 454r10
62V13*Index{natural} 63>7 64>7 65>7 66>7 67>7 8|476b13 500l8 500t13
63s7 Source{string} 8|477b7 485r20 490r19 490r35 493r20 498r19 498r27
64s7 Pattern{string} 8|478b7 490r49 498r50
65i7 From{positive} 8|479b7 485r13 490r27 493r13 498r43
66e7 Going{5|32E9} 8|480b7 484r10
67a7 Mapping{6|108A9} 8|481b7 490r67 498r69
69V13*Index{natural} 70>7 71>7 72>7 73>7 74>7 8|502b13 526l8 526t13
70s7 Source{string} 8|503b7 511r20 516r13 516r29 519r20 524r13 524r21
71s7 Pattern{string} 8|504b7 516r43 524r44
72i7 From{positive} 8|505b7 511r13 516r21 519r13 524r37
73e7 Going{5|32E9} 8|506b7 510r10
74p7 Mapping{6|131P9} 8|507b7 516r61 524r63
76V13*Index{natural} 77>7 78>7 79>7 80>7 81>7 8|528b13 552l8 552t13
77s7 Source{string} 8|529b7 537r20 542r19 542r35 545r20 550r19 550r27
78a7 Set{6|47A9} 8|530b7 542r49 550r50
79i7 From{positive} 8|531b7 537r13 542r27 545r13 550r43
80e7 Test{5|31E9} 8|532b7 542r54 550r55
81e7 Going{5|32E9} 8|533b7 536r10
83V13*Index_Non_Blank{natural} 84>7 85>7 8|558b13 581l8 581t23 595s12 603s12
84s7 Source{string} 8|559b7 564r19 565r16 571r27 572r16
85e7 Going{5|32E9} 8|560b7 563r10
87V13*Index_Non_Blank{natural} 88>7 89>7 90>7 8|583b13 605l8 605t23
88s7 Source{string} 8|584b7 590r20 595r29 595r45 598r20 603r29 603r37
89i7 From{positive} 8|585b7 590r13 595r37 598r13 603r53
90e7 Going{5|32E9} 8|586b7 589r10
92V13*Count{natural} 93>7 94>7 95>7 8|76b13 131l8 131t13
93s7 Source{string} 8|77b7 92r14 97r23 98r26 109r23 112r50
94s7 Pattern{string} 8|78b7 81r33 87r10 98r16 100r29 111r22 112r19 121r26
95a7 Mapping{6|108A9} 8|79b7 96r10 112r41
97V13*Count{natural} 98>7 99>7 100>7 8|133b13 175l8 175t13
98s7 Source{string} 8|134b7 155r14 156r20 159r40
99s7 Pattern{string} 8|135b7 138r33 144r10 158r19 159r16 168r23
100p7 Mapping{6|131P9} 8|136b7 150r10 159r31
102V13*Count{natural} 103>7 104>7 8|177b13 191l8 191t13
103s7 Source{string} 8|178b7 184r16 185r20
104a7 Set{6|47A9} 8|179b7 185r32
106U14*Find_Token 107>7 108>7 109>7 110>7 111<7 112<7 8|197b14 229l8 229t18
107s7 Source{string} 8|198b7 206r24 207r22 210r31 211r32 220r21
108a7 Set{6|47A9} 8|199b7 207r34 211r44
109i7 From{positive} 8|200b7 206r16 227r16
110e7 Test{5|31E9} 8|201b7 207r39 211r49
111i7 First{positive} 8|202b7 208m13 227m7
112i7 Last{natural} 8|203b7 212m19 220m13 228m7
114U14*Find_Token 115>7 116>7 117>7 118<7 119<7 8|231b14 262l8 262t18
115s7 Source{string} 8|232b7 239r16 240r22 243r31 244r32 253r21 260r16
116a7 Set{6|47A9} 8|233b7 240r34 244r44
117e7 Test{5|31E9} 8|234b7 240r39 244r49
118i7 First{positive} 8|235b7 241m13 260m7
119i7 Last{natural} 8|236b7 245m19 253m13 261m7
X 8 a-strsea.adb
47V13 Belongs{boolean} 48>7 49>7 50>7 51r19 59b13 70l8 70t15 207s13 211s23
. 240s13 244s23 456s16 465s16
48e7 Element{character} 60b7 66r24 68r28
49a7 Set{6|47A9} 61b7 66r33 68r37
50e7 Test{5|31E9} 62b7 65r10
81i7 PL1{integer} 97r37 98r47 109r37
82i7 Num{natural} 91m7 99m16 99r23 120m13 120r20 130r14
83i7 Ind{natural} 92m7 97r16 98r34 98r41 100m16 100r23 102m16 102r23 109r16
. 110r20 113m19 113r26 121m13 121r20
84i7 Cur{natural} 110m13 112r58 116m19 116r26
111i17 K{integer} 112r28
123L12 Cont 114r24
138i7 PL1{integer} 156r34
139i7 Num{natural} 154m7 167m10 167r17 174r14
140i7 Ind{natural} 155m7 156r13 157r17 160m16 160r23 168m10 168r17
141i7 Cur{natural} 157m10 159r48 163m16 163r23
158i14 K{integer} 159r25
170L9 Cont 161r21
181i7 N{natural} 186m13 186r18 190r14
184i11 J{integer} 185r28
206i11 J{integer} 207r30 208r22 210r22
210i17 K{integer} 211r40 212r27
239i11 J{integer} 240r30 241r22 243r22
243i17 K{integer} 244r40 245r27
274i7 PL1{integer} 296r43 297r50 307r43 330r31 333r51 334r50 344r51
275i7 Cur{natural} 308m16 311r61 314m22 314r29 345m16 348r61 351m22 351r29
277i7 Ind{integer} 291m10 297r37 297r44 298r26 300m19 300r26 308r23 318r23
. 321m16 321r23 330m10 334r37 334r44 335r26 337m19 337r26 345r23 355r23 358m16
. 358r23
296i17 J{integer}
307i17 J{integer}
310i20 K{integer} 311r31
320L15 Cont1 312r27
333i17 J{integer}
344i17 J{integer}
347i20 K{integer} 348r31
357L15 Cont2 349r27
375i7 PL1{integer} 400r40 420r31 421r48
376i7 Ind{natural} 399m10 401r20 411r20 414m13 414r20 420m10 422r20 432r20
. 435m13 435r20
377i7 Cur{natural} 401m13 404r55 407m19 407r26 422m13 425r55 428m19 428r26
400i14 J{integer}
403i17 K{integer} 404r28
413L12 Cont1 405r24
421i14 J{integer}
424i17 K{integer} 425r28
434L12 Cont2 426r24
455i14 J{integer} 456r33 457r23
464i14 J{integer} 465r33 466r23
564i14 J{integer} 565r24 566r23
571i14 J{integer} 572r24 573r23
X 10 system.ads
37K9*System 8|39w6 39r28 10|152e11
78V14*"="{boolean} 8|96r26 295r29 332r29