V "GNAT Lib v6" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=generic A -march=i586 P ZX RN RV NO_DYNAMIC_SIZED_OBJECTS 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 20070406091342 3ffc8e18 ada%s D a-charac.ads 20070912115821 2d3ec45b ada.characters%s D a-chlat1.ads 20140225151544 66457d31 ada.characters.latin_1%s D a-string.ads 20070406091342 90ac6797 ada.strings%s D a-strbou.ads 20140731124036 53ab54ae ada.strings.bounded%s D a-strbou.adb 20090409150019 adb4aa70 ada.strings.bounded%b D a-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s D a-strsup.ads 20120309145048 a27dcb33 ada.strings.superbounded%s D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D system.ads 20151123113124 2da59038 system%s D s-exctab.ads 20140225151139 54135002 system.exception_table%s D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s D s-unstyp.ads 20140731130224 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) 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