V "GNAT Lib v5"
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_IMPLEMENTATION_PRAGMAS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U ada.strings.bounded%b	a-strbou.adb		fe1ffede NE OL PK
W ada.strings%s		a-string.ads		a-string.ali

U ada.strings.bounded%s	a-strbou.ads		89c18940 BN 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
W ada.strings.superbounded%s  a-strsup.adb	a-strsup.ali

D ada.ads		20070406121342 3ffc8e18 ada%s
D a-charac.ads		20070912145822 2d3ec45b ada.characters%s
D a-chlat1.ads		20140225171544 66457d31 ada.characters.latin_1%s
D a-string.ads		20070406121342 90ac6797 ada.strings%s
D a-strbou.ads		20140731154036 53ab54ae ada.strings.bounded%s
D a-strbou.adb		20090409180020 adb4aa70 ada.strings.bounded%b
D a-strmap.ads		20140611153156 e8bb714a ada.strings.maps%s
D a-strsup.ads		20120309165048 a27dcb33 ada.strings.superbounded%s
D a-unccon.ads		20070406121342 f9eb8f06 ada.unchecked_conversion%s
D system.ads		20171010194648 462fcf90 system%s
D s-exctab.ads		20140225171140 54135002 system.exception_table%s
D s-stalib.ads		20150220114550 fa0a3617 system.standard_library%s
D s-unstyp.ads		20140731160224 9d58a4c0 system.unsigned_types%s
X 1 ada.ads
16K9*Ada 19e8 5|36r6 37r6 39r9 914r5 6|32r14 106r5
X 4 a-string.ads
16K13*Strings 1|16k9 4|35e16 5|36r10 37r10 39r13 914r9 6|32r18 77r18 77r40
. 86r18 86r40 98r19 98r41 106r9
19e4*Space{character} 5|405r32 411r33 417r33 423r33 876r32 883r33 890r33
. 897r33
30E9*Truncation 30e43 5|65r19 72r19 78r18 83r18 88r18 93r18 98r18 103r21
. 108r21 113r21 337r19 344r21 350r21 356r21 362r21 368r22 406r19 412r19 418r19
. 424r19 445r18 450r18 455r18 496r19 510r18 516r18 522r18 528r18 534r18 540r21
. 546r21 552r21 800r19 808r21 815r21 822r21 829r21 836r22 877r19 884r19 891r19
. 898r19 909r18 6|77r26 86r26 98r27
30n37*Error{30E9} 5|65r33 72r33 78r33 83r32 88r32 93r32 98r32 103r36 108r36
. 113r36 337r33 344r35 350r35 356r35 362r35 368r36 406r33 412r33 418r33 424r33
. 445r32 450r32 455r32 496r33 510r33 516r32 522r32 528r32 534r32 540r36 546r36
. 552r36 800r33 808r35 815r35 822r35 829r35 836r36 877r33 884r33 891r33 898r33
. 909r32 6|67r54 77r48 86r48 98r49
31E9*Membership 31e40 5|241r19 264r20 296r19 304r19 702r19 726r20 762r19
. 770r19
31n24*Inside{31E9} 5|241r33 264r34 702r33 726r34
32E9*Direction 32e42 5|229r20 235r20 242r19 248r20 256r20 265r20 270r19 275r19
. 688r20 695r20 703r19 710r20 718r20 727r20 732r19 738r19
32n24*Forward{32E9} 5|229r33 235r33 242r33 248r33 256r33 265r33 270r32 275r32
. 688r33 695r33 703r33 710r33 718r33 727r33 732r32 738r32
33E9*Trim_End 33e42 5|386r19 390r19 853r19 858r19
X 5 a-strbou.ads
39K21*Bounded 4|16k13 5|914l17 914e24 6|32b26 106l17 106t24
43i7 Max{positive} 48r41
46k12*Generic_Bounded_Length 43z7 473E12 912l8 912e30 6|34b17 104l8 104t30
48i7*Max_Length{positive} 55r50 473r61 486r50 489r40 6|50r37 58r37 67r42
. 80r53 89r53 101r42
50R12*Bounded_String<8|47R9> 51r44 53r38 57r33 65r47 67r36 70r23 76r18 77r18
. 78r47 81r18 83r46 87r18 88r46 91r18 93r46 97r18 98r46 101r28 102r21 106r28
. 111r28 116r18 117r18 117r41 120r18 121r33 125r18 125r41 128r18 129r36 133r18
. 133r41 136r19 140r26 145r19 150r19 152r35 156r19 157r23 163r18 164r18 167r18
. 172r18 175r18 176r18 179r18 184r18 187r18 188r18 191r18 196r18 199r18 200r18
. 203r18 208r18 211r18 212r18 215r18 220r18 227r20 233r20 239r19 245r20 253r20
. 261r20 269r19 273r19 279r20 284r20 289r19 293r19 302r19 313r20 314r51 317r28
. 321r20 322r60 325r27 333r19 337r47 340r28 347r21 350r49 353r28 359r21 362r49
. 365r29 371r20 373r36 376r27 385r19 386r36 389r26 393r19 395r46 398r26 403r19
. 406r47 409r26 415r19 418r47 421r26 432r36 436r33 440r18 440r41 445r46 450r46
. 454r18 455r46 473c12 479r53 482r30 485r38 494r23 500r19 504r19 508r18 509r18
. 510r47 514r18 516r46 521r18 522r46 526r18 528r46 533r18 534r46 538r28 539r21
. 544r28 550r28 556r18 557r18 557r41 561r18 562r33 567r18 567r41 571r18 572r36
. 577r18 577r41 581r19 586r26 592r19 598r19 600r35 604r19 605r23 611r18 612r18
. 616r18 622r18 626r18 627r18 631r18 637r18 641r18 642r18 646r18 652r18 656r18
. 657r18 661r18 667r18 671r18 672r18 676r18 682r18 686r20 693r20 700r19 707r20
. 715r20 723r20 731r19 736r19 742r20 748r20 754r19 759r19 768r19 776r20 777r51
. 781r28 786r20 787r60 791r27 796r19 800r47 804r28 812r21 815r49 819r28 826r21
. 829r49 833r29 840r20 842r36 846r27 852r19 853r36 857r26 862r19 864r46 868r26
. 874r19 877r47 881r26 888r19 891r47 895r26 903r18 903r41 908r18 909r46 6|47r36
. 55r33 65r53 77r62 86r62 98r63
53r7*Null_Bounded_String{50R12} 485c7
55I15*Length_Range{natural} 57r56 500r42
57V16*Length{55I15} 57>24 499b16
57r24 Source{50R12} 500b10
63V16*To_Bounded_String{50R12} 64>10 65>10 491r22 6|96b16 102l11 102t28
64a10 Source{string} 6|97b10 101r34
65e10 Drop{4|30E9} 6|98b10 101r54
67V16*To_String{string} 67>27 482r59 503b16
67r27 Source{50R12} 504b10
69U17*Set_Bounded_String 70<10 71>10 72>10 73r22 493b17
70r10 Target{50R12} 494b10
71a10 Source{string} 495b10
72e10 Drop{4|30E9} 496b10
75V16*Append{50R12} 76>10 77>10 78>10 507b16
76r10 Left{50R12} 508b10
77r10 Right{50R12} 509b10
78e10 Drop{4|30E9} 510b10
80V16*Append{50R12} 81>10 82>10 83>10 513b16
81r10 Left{50R12} 514b10
82a10 Right{string} 515b10
83e10 Drop{4|30E9} 516b10
85V16*Append{50R12} 86>10 87>10 88>10 519b16
86a10 Left{string} 520b10
87r10 Right{50R12} 521b10
88e10 Drop{4|30E9} 522b10
90V16*Append{50R12} 91>10 92>10 93>10 525b16
91r10 Left{50R12} 526b10
92e10 Right{character} 527b10
93e10 Drop{4|30E9} 528b10
95V16*Append{50R12} 96>10 97>10 98>10 531b16
96e10 Left{character} 532b10
97r10 Right{50R12} 533b10
98e10 Drop{4|30E9} 534b10
100U17*Append 101=10 102>10 103>10 537b17
101r10 Source{50R12} 538b10
102r10 New_Item{50R12} 539b10
103e10 Drop{4|30E9} 540b10
105U17*Append 106=10 107>10 108>10 543b17
106r10 Source{50R12} 544b10
107a10 New_Item{string} 545b10
108e10 Drop{4|30E9} 546b10
110U17*Append 111=10 112>10 113>10 549b17
111r10 Source{50R12} 550b10
112e10 New_Item{character} 551b10
113e10 Drop{4|30E9} 552b10
115V17*"&"{50R12} 116>10 117>10 555b17
116r10 Left{50R12} 556b10
117r10 Right{50R12} 557b10
119V17*"&"{50R12} 120>10 121>10 560b17
120r10 Left{50R12} 561b10
121a10 Right{string} 562b10
123V17*"&"{50R12} 124>10 125>10 565b17
124a10 Left{string} 566b10
125r10 Right{50R12} 567b10
127V17*"&"{50R12} 128>10 129>10 570b17
128r10 Left{50R12} 571b10
129e10 Right{character} 572b10
131V17*"&"{50R12} 132>10 133>10 575b17
132e10 Left{character} 576b10
133r10 Right{50R12} 577b10
135V16*Element{character} 136>10 137>10 580b16
136r10 Source{50R12} 581b10
137i10 Index{positive} 582b10
139U17*Replace_Element 140=10 141>10 142>10 585b17
140r10 Source{50R12} 586b10
141i10 Index{positive} 587b10
142e10 By{character} 588b10
144V16*Slice{string} 145>10 146>10 147>10 591b16
145r10 Source{50R12} 592b10
146i10 Low{positive} 593b10
147i10 High{natural} 594b10
149V16*Bounded_Slice{50R12} 150>10 151>10 152>10 153r22 597b16
150r10 Source{50R12} 598b10
151i10 Low{positive} 599b10
152i10 High{natural} 600b10
155U17*Bounded_Slice 156>10 157<10 158>10 159>10 603b17
156r10 Source{50R12} 604b10
157r10 Target{50R12} 605b10
158i10 Low{positive} 606b10
159i10 High{natural} 607b10
162V17*"="{boolean}<8|168p13> 163>10 164>10 610b28
163r10 Left{50R12} 611b10
164r10 Right{50R12} 612b10
166V17*"="{boolean} 167>10 168>10 615b17
167r10 Left{50R12} 616b10
168a10 Right{string} 617b10
170V17*"="{boolean} 171>10 172>10 620b17
171a10 Left{string} 621b10
172r10 Right{50R12} 622b10
174V17*"<"{boolean} 175>10 176>10 625b17
175r10 Left{50R12} 626b10
176r10 Right{50R12} 627b10
178V17*"<"{boolean} 179>10 180>10 630b17
179r10 Left{50R12} 631b10
180a10 Right{string} 632b10
182V17*"<"{boolean} 183>10 184>10 635b17
183a10 Left{string} 636b10
184r10 Right{50R12} 637b10
186V17*"<="{boolean} 187>10 188>10 640b17
187r10 Left{50R12} 641b10
188r10 Right{50R12} 642b10
190V17*"<="{boolean} 191>10 192>10 645b17
191r10 Left{50R12} 646b10
192a10 Right{string} 647b10
194V17*"<="{boolean} 195>10 196>10 650b17
195a10 Left{string} 651b10
196r10 Right{50R12} 652b10
198V17*">"{boolean} 199>10 200>10 655b17
199r10 Left{50R12} 656b10
200r10 Right{50R12} 657b10
202V17*">"{boolean} 203>10 204>10 660b17
203r10 Left{50R12} 661b10
204a10 Right{string} 662b10
206V17*">"{boolean} 207>10 208>10 665b17
207a10 Left{string} 666b10
208r10 Right{50R12} 667b10
210V17*">="{boolean} 211>10 212>10 670b17
211r10 Left{50R12} 671b10
212r10 Right{50R12} 672b10
214V17*">="{boolean} 215>10 216>10 675b17
215r10 Left{50R12} 676b10
216a10 Right{string} 677b10
218V17*">="{boolean} 219>10 220>10 680b17
219a10 Left{string} 681b10
220r10 Right{50R12} 682b10
226V16*Index{natural} 227>10 228>10 229>10 230>10 685b16
227r10 Source{50R12} 686b10
228a10 Pattern{string} 687b10
229e10 Going{4|32E9} 688b10
230a10 Mapping{7|107A9} 689b10
232V16*Index{natural} 233>10 234>10 235>10 236>10 692b16
233r10 Source{50R12} 693b10
234a10 Pattern{string} 694b10
235e10 Going{4|32E9} 695b10
236p10 Mapping{7|130P9} 696b10
238V16*Index{natural} 239>10 240>10 241>10 242>10 699b16
239r10 Source{50R12} 700b10
240a10 Set{7|46A9} 701b10
241e10 Test{4|31E9} 702b10
242e10 Going{4|32E9} 703b10
244V16*Index{natural} 245>10 246>10 247>10 248>10 249>10 706b16
245r10 Source{50R12} 707b10
246a10 Pattern{string} 708b10
247i10 From{positive} 709b10
248e10 Going{4|32E9} 710b10
249a10 Mapping{7|107A9} 711b10
252V16*Index{natural} 253>10 254>10 255>10 256>10 257>10 714b16
253r10 Source{50R12} 715b10
254a10 Pattern{string} 716b10
255i10 From{positive} 717b10
256e10 Going{4|32E9} 718b10
257p10 Mapping{7|130P9} 719b10
260V16*Index{natural} 261>10 262>10 263>10 264>10 265>10 722b16
261r10 Source{50R12} 723b10
262a10 Set{7|46A9} 724b10
263i10 From{positive} 725b10
264e10 Test{4|31E9} 726b10
265e10 Going{4|32E9} 727b10
268V16*Index_Non_Blank{natural} 269>10 270>10 730b16
269r10 Source{50R12} 731b10
270e10 Going{4|32E9} 732b10
272V16*Index_Non_Blank{natural} 273>10 274>10 275>10 735b16
273r10 Source{50R12} 736b10
274i10 From{positive} 737b10
275e10 Going{4|32E9} 738b10
278V16*Count{natural} 279>10 280>10 281>10 741b16
279r10 Source{50R12} 742b10
280a10 Pattern{string} 743b10
281a10 Mapping{7|107A9} 744b10
283V16*Count{natural} 284>10 285>10 286>10 747b16
284r10 Source{50R12} 748b10
285a10 Pattern{string} 749b10
286p10 Mapping{7|130P9} 750b10
288V16*Count{natural} 289>10 290>10 753b16
289r10 Source{50R12} 754b10
290a10 Set{7|46A9} 755b10
292U17*Find_Token 293>10 294>10 295>10 296>10 297<10 298<10 299r24 758b17
293r10 Source{50R12} 759b10
294a10 Set{7|46A9} 760b10
295i10 From{positive} 761b10
296e10 Test{4|31E9} 762b10
297i10 First{positive} 763b10
298i10 Last{natural} 764b10
301U17*Find_Token 302>10 303>10 304>10 305<10 306<10 767b17
302r10 Source{50R12} 768b10
303a10 Set{7|46A9} 769b10
304e10 Test{4|31E9} 770b10
305i10 First{positive} 771b10
306i10 Last{natural} 772b10
312V16*Translate{50R12} 313>10 314>10 775b16
313r10 Source{50R12} 776b10
314a10 Mapping{7|107A9} 777b10
316U17*Translate 317=10 318>10 780b17
317r10 Source{50R12} 781b10
318a10 Mapping{7|107A9} 782b10
320V16*Translate{50R12} 321>10 322>10 785b16
321r10 Source{50R12} 786b10
322p10 Mapping{7|130P9} 787b10
324U17*Translate 325=10 326>10 790b17
325r10 Source{50R12} 791b10
326p10 Mapping{7|130P9} 792b10
332V16*Replace_Slice{50R12} 333>10 334>10 335>10 336>10 337>10 795b16
333r10 Source{50R12} 796b10
334i10 Low{positive} 797b10
335i10 High{natural} 798b10
336a10 By{string} 799b10
337e10 Drop{4|30E9} 800b10
339U17*Replace_Slice 340=10 341>10 342>10 343>10 344>10 803b17
340r10 Source{50R12} 804b10
341i10 Low{positive} 805b10
342i10 High{natural} 806b10
343a10 By{string} 807b10
344e10 Drop{4|30E9} 808b10
346V16*Insert{50R12} 347>10 348>10 349>10 350>10 811b16
347r10 Source{50R12} 812b10
348i10 Before{positive} 813b10
349a10 New_Item{string} 814b10
350e10 Drop{4|30E9} 815b10
352U17*Insert 353=10 354>10 355>10 356>10 818b17
353r10 Source{50R12} 819b10
354i10 Before{positive} 820b10
355a10 New_Item{string} 821b10
356e10 Drop{4|30E9} 822b10
358V16*Overwrite{50R12} 359>10 360>10 361>10 362>10 825b16
359r10 Source{50R12} 826b10
360i10 Position{positive} 827b10
361a10 New_Item{string} 828b10
362e10 Drop{4|30E9} 829b10
364U17*Overwrite 365=10 366>10 367>10 368>10 832b17
365r10 Source{50R12} 833b10
366i10 Position{positive} 834b10
367a10 New_Item{string} 835b10
368e10 Drop{4|30E9} 836b10
370V16*Delete{50R12} 371>10 372>10 373>10 839b16
371r10 Source{50R12} 840b10
372i10 From{positive} 841b10
373i10 Through{natural} 842b10
375U17*Delete 376=10 377>10 378>10 845b17
376r10 Source{50R12} 846b10
377i10 From{positive} 847b10
378i10 Through{natural} 848b10
384V16*Trim{50R12} 385>10 386>10 851b16
385r10 Source{50R12} 852b10
386e10 Side{4|33E9} 853b10
388U17*Trim 389=10 390>10 856b17
389r10 Source{50R12} 857b10
390e10 Side{4|33E9} 858b10
392V16*Trim{50R12} 393>10 394>11 395>11 861b16
393r10 Source{50R12} 862b10
394a11 Left{7|46A9} 863b10
395a11 Right{7|46A9} 864b10
397U17*Trim 398=10 399>10 400>10 867b17
398r10 Source{50R12} 868b10
399a10 Left{7|46A9} 869b10
400a10 Right{7|46A9} 870b10
402V16*Head{50R12} 403>10 404>10 405>10 406>10 873b16
403r10 Source{50R12} 874b10
404i10 Count{natural} 875b10
405e10 Pad{character} 876b10
406e10 Drop{4|30E9} 877b10
408U17*Head 409=10 410>10 411>10 412>10 880b17
409r10 Source{50R12} 881b10
410i10 Count{natural} 882b10
411e10 Pad{character} 883b10
412e10 Drop{4|30E9} 884b10
414V16*Tail{50R12} 415>10 416>10 417>10 418>10 887b16
415r10 Source{50R12} 888b10
416i10 Count{natural} 889b10
417e10 Pad{character} 890b10
418e10 Drop{4|30E9} 891b10
420U17*Tail 421=10 422>10 423>10 424>10 894b17
421r10 Source{50R12} 895b10
422i10 Count{natural} 896b10
423e10 Pad{character} 897b10
424e10 Drop{4|30E9} 898b10
430V17*"*"{50R12} 431>10 432>10 6|45b17 51l12 51t14
431i10 Left{natural} 6|46b10 50r24
432e10 Right{character} 6|47b10 50r30
434V17*"*"{50R12} 435>10 436>10 6|53b17 59l12 59t14
435i10 Left{natural} 6|54b10 58r24
436a10 Right{string} 6|55b10 58r30
438V17*"*"{50R12} 439>10 440>10 901b17
439i10 Left{natural} 902b10
440r10 Right{50R12} 903b10
442V16*Replicate{50R12} 443>10 444>10 445>10 6|74b16 81l11 81t20
443i10 Count{natural} 6|75b10 80r34
444e10 Item{character} 6|76b10 80r41
445e10 Drop{4|30E9} 6|77b10 80r47
447V16*Replicate{50R12} 448>10 449>10 450>10 6|83b16 90l11 90t20
448i10 Count{natural} 6|84b10 89r34
449a10 Item{string} 6|85b10 89r41
450e10 Drop{4|30E9} 6|86b10 89r47
452V16*Replicate{50R12} 453>10 454>10 455>10 906b16
453i10 Count{natural} 907b10
454r10 Item{50R12} 908b10
455e10 Drop{4|30E9} 909b10
479V16 From_String{50R12} 479>29 482r46 6|65b16 68l11 68t22
479a29 Source{string} 6|65b29 67r34
X 7 a-strmap.ads
38K21*Maps 5|36w18 230r20 230r46 236r20 240r19 249r20 249r46 257r20 262r20
. 281r20 281r46 286r20 290r19 294r19 303r19 314r20 318r21 322r20 326r20 394r19
. 395r19 399r19 400r19 689r20 689r46 696r20 701r19 711r20 711r46 719r20 724r20
. 744r20 744r46 750r20 755r19 760r19 769r19 777r20 782r21 787r20 792r20 863r19
. 864r19 869r19 870r19 7|411e21
46A9*Character_Set<137A9> 5|240r24 262r25 290r24 294r24 303r24 394r24 395r24
. 399r24 400r24 701r24 724r25 755r24 760r24 769r24 863r24 864r24 869r24 870r24
107A9*Character_Mapping(character) 5|230r25 249r25 281r25 314r25 318r26 689r25
. 711r25 744r25 777r25 782r26
115a4*Identity{107A9} 5|230r51 249r51 281r51 689r51 711r51 744r51
130P9*Character_Mapping_Function(character) 5|236r25 257r25 286r25 322r25
. 326r25 696r25 719r25 750r25 787r25 792r25
137A9 Character_Set_Internal(boolean)<character>
X 8 a-strsup.ads
41K21*Superbounded 5|37w18 473r34 8|493e29
47R9*Super_String 5|473r47 8|54e14
48i7*Current_Length{natural} 5|487m32
49a7*Data{string} 5|488m32
60V13*Super_Length{natural} 5|501r18
66V13*To_Super_String{47R9} 6|67s17 101s17
76V13*Super_To_String{string} 5|505r18
78U14*Set_Super_String 5|497r18
83V13*Super_Append{47R9} 5|511r18
88V13*Super_Append{47R9} 5|517r18
93V13*Super_Append{47R9} 5|523r18
98V13*Super_Append{47R9} 5|529r18
103V13*Super_Append{47R9} 5|535r18
108U14*Super_Append 5|541r18
113U14*Super_Append 5|547r18
118U14*Super_Append 5|553r18
123V13*Concat{47R9} 5|558r18
127V13*Concat{47R9} 5|563r18
131V13*Concat{47R9} 5|568r18
135V13*Concat{47R9} 5|573r18
139V13*Concat{47R9} 5|578r18
143V13*Super_Element{character} 5|583r18
147U14*Super_Replace_Element 5|589r18
152V13*Super_Slice{string} 5|595r18
157V13*Super_Slice{47R9} 5|601r18
162U14*Super_Slice 5|608r18
172V13*Equal=174:52{boolean} 5|613r18
176V13*Equal{boolean} 5|618r18
180V13*Equal{boolean} 5|623r18
184V13*Less{boolean} 5|628r18
188V13*Less{boolean} 5|633r18
192V13*Less{boolean} 5|638r18
196V13*Less_Or_Equal{boolean} 5|643r18
200V13*Less_Or_Equal{boolean} 5|648r18
204V13*Less_Or_Equal{boolean} 5|653r18
208V13*Greater{boolean} 5|658r18
212V13*Greater{boolean} 5|663r18
216V13*Greater{boolean} 5|668r18
220V13*Greater_Or_Equal{boolean} 5|673r18
224V13*Greater_Or_Equal{boolean} 5|678r18
228V13*Greater_Or_Equal{boolean} 5|683r18
236V13*Super_Index{natural} 5|690r18
242V13*Super_Index{natural} 5|697r18
248V13*Super_Index{natural} 5|704r18
254V13*Super_Index{natural} 5|712r18
261V13*Super_Index{natural} 5|720r15
268V13*Super_Index{natural} 5|728r15
275V13*Super_Index_Non_Blank{natural} 5|733r18
279V13*Super_Index_Non_Blank{natural} 5|739r18
284V13*Super_Count{natural} 5|745r18
289V13*Super_Count{natural} 5|751r18
294V13*Super_Count{natural} 5|756r18
298U14*Super_Find_Token 5|765r18
306U14*Super_Find_Token 5|773r18
317V13*Super_Translate{47R9} 5|778r18
321U14*Super_Translate 5|783r18
325V13*Super_Translate{47R9} 5|788r18
329U14*Super_Translate 5|793r18
337V13*Super_Replace_Slice{47R9} 5|801r18
344U14*Super_Replace_Slice 5|809r18
351V13*Super_Insert{47R9} 5|816r18
357U14*Super_Insert 5|823r18
363V13*Super_Overwrite{47R9} 5|830r18
369U14*Super_Overwrite 5|837r18
375V13*Super_Delete{47R9} 5|843r18
380U14*Super_Delete 5|849r18
389V13*Super_Trim{47R9} 5|854r18
393U14*Super_Trim 5|859r18
397V13*Super_Trim{47R9} 5|865r18
402U14*Super_Trim 5|871r18
407V13*Super_Head{47R9} 5|878r18
413U14*Super_Head 5|885r18
419V13*Super_Tail{47R9} 5|892r18
425U14*Super_Tail 5|899r18
439V13*Times{47R9} 6|50s17
445V13*Times{47R9} 6|58s17
451V13*Times{47R9} 5|904r18
455V13*Super_Replicate{47R9} 6|80s17
462V13*Super_Replicate{47R9} 6|89s17
469V13*Super_Replicate{47R9} 5|910r18