V "GNAT Lib v15"
A -nostdinc
A -O2
A -Wextra
A -Wall
A -gnatwa
A -g
A -gnatp
A -gnatg
A -march=armv8-a
A -mlittle-endian
A -mabi=lp64
P SS ZX

RN
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_OBSOLESCENT_FEATURES

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

U ada.strings.bounded%s	a-strbou.ads		7c1fc0ad 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.search%s	a-strsea.adb		a-strsea.ali
W ada.strings.superbounded%s  a-strsup.adb	a-strsup.ali
N A1349:7 gnatprove false_positive "call via access-to-subprogram" "function Mapping must always terminate"
N A1363:7 gnatprove false_positive "call via access-to-subprogram" "function Mapping must always terminate"

D ada.ads		20250808065140 76789da1 ada%s
D a-charac.ads		20250808065140 2d3ec45b ada.characters%s
D a-chlat1.ads		20250808065140 e0d72e76 ada.characters.latin_1%s
D a-except.ads		20250808065140 e7970cd9 ada.exceptions%s
D a-string.ads		20250808065140 90ac6797 ada.strings%s
D a-strbou.ads		20250808065140 6d86a9a3 ada.strings.bounded%s
D a-strbou.adb		20250808065140 4a759692 ada.strings.bounded%b
D a-strmap.ads		20250808065140 1f91ebb6 ada.strings.maps%s
D a-strsea.ads		20250808065140 18c3c634 ada.strings.search%s
D a-strsup.ads		20250808065140 8667231b ada.strings.superbounded%s
D a-sttebu.ads		20250808065140 f1ad67a2 ada.strings.text_buffers%s
D a-stuten.ads		20250808065140 c6ced0ae ada.strings.utf_encoding%s
D a-tags.ads		20250808065140 fbca0ad5 ada.tags%s
D a-unccon.ads		20250808065140 0e9b276f ada.unchecked_conversion%s
D interfac.ads		20250808065140 9111f9c1 interfaces%s
D system.ads		20250808065140 d0bef732 system%s
D s-exctab.ads		20250808065140 91bef6ef system.exception_table%s
D s-parame.ads		20250808065140 3597fc11 system.parameters%s
D s-secsta.ads		20250808065140 578279f5 system.secondary_stack%s
D s-soflin.ads		20250808065140 5d88fdea system.soft_links%s
D s-stache.ads		20250808065140 0b81c1fe system.stack_checking%s
D s-stalib.ads		20250808065140 1c9580f6 system.standard_library%s
D s-stoele.ads		20250808065140 ccded4e8 system.storage_elements%s
D s-traent.ads		20250808065140 c81cbf8c system.traceback_entries%s
D s-unstyp.ads		20250808065140 fa2a7f59 system.unsigned_types%s
G a e
X 1 ada.ads
18K9*Ada 22e8 6|46r6 46r33 47r6 48r6 50r9 1325r18 1336r18 3006r5 7|32r14
. 106r5
X 5 a-string.ads
16K13*Strings 1|18k9 5|35e16 6|46r10 46r37 47r10 48r10 50r13 189r30 234r30
. 286r30 331r55 359r56 1325r22 1336r22 3006r9 7|32r18 77r18 77r40 86r18 86r40
. 98r19 98r41 106r9
19e4*Space{character} 6|2198r32 2253r33 2311r33 2372r33 2968r32 2975r33 2982r33
. 2989r33
30E9*Truncation 30e43 6|99r19 141r19 171r18 216r18 269r18 320r18 347r18 379r21
. 425r21 482r21 1389r19 1521r21 1644r21 1758r21 1871r21 1957r22 2199r19 2254r19
. 2312r19 2373r19 2472r18 2482r18 2516r18 2588r19 2602r18 2608r18 2614r18
. 2620r18 2626r18 2632r21 2638r21 2644r21 2892r19 2900r21 2907r21 2914r21
. 2921r21 2928r22 2969r19 2976r19 2983r19 2990r19 3001r18 7|77r26 86r26 98r27
30n24*Left{30E9} 6|107r55 149r55 189r38 234r38 286r38 359r64 397r30 443r30
. 1427r30 1556r30 1668r75 1781r75 1903r72 1989r72 2231r65 2288r65 2337r48
. 2351r67 2399r48 2413r67
30n30*Right{30E9} 6|331r63 494r57 2220r47 2276r47 2498r30 2532r30
30n37*Error{30E9} 6|99r33 101r71 141r33 143r71 171r33 175r25 216r32 220r25
. 269r32 273r25 320r32 322r71 347r32 349r72 379r36 383r25 425r36 429r25 482r36
. 484r73 1389r33 1394r26 1521r35 1526r26 1644r35 1649r36 1758r35 1763r36
. 1871r35 1876r36 1957r36 1962r36 2199r33 2201r63 2254r33 2256r63 2312r33
. 2314r63 2373r33 2375r63 2472r32 2474r53 2482r32 2486r25 2516r32 2520r25
. 2588r33 2602r33 2608r32 2614r32 2620r32 2626r32 2632r36 2638r36 2644r36
. 2892r33 2900r35 2907r35 2914r35 2921r35 2928r36 2969r33 2976r33 2983r33
. 2990r33 3001r32 7|67r54 77r48 86r48 98r49
31E9*Membership 31e40 6|853r19 1025r20 1197r19 1253r19 2794r19 2818r20 2854r19
. 2862r19
31n24*Inside{31E9} 6|853r33 863r23 879r26 890r35 1025r34 1041r30 1061r26
. 1074r35 1212r27 1230r29 1237r29 1245r29 1266r27 1284r29 1291r29 1299r29
. 2794r33 2818r34
31n32*Outside{31E9} 6|2160r40 2162r41 2188r44 2190r45
32E9*Direction 32e42 6|747r20 800r20 854r19 898r20 961r20 1026r20 1081r19
. 1120r19 2780r20 2787r20 2795r19 2802r20 2810r20 2819r20 2824r19 2830r19
32n24*Forward{32E9} 6|747r33 783r37 800r33 836r37 854r33 889r66 898r33 919r30
. 920r34 927r28 928r31 942r37 961r33 983r30 984r34 991r28 992r31 1006r37
. 1026r33 1040r62 1055r62 1071r63 1073r66 1081r32 1113r69 1120r32 1134r62
. 1150r66 1164r66 1166r66 2104r50 2131r54 2160r49 2188r53 2780r33 2787r33
. 2795r33 2802r33 2810r33 2819r33 2824r32 2830r32
32n33*Backward{32E9} 6|2107r50 2134r54 2162r50 2190r54
33E9*Trim_End 33e42 6|2087r19 2114r19 2945r19 2950r19
33n24*Left{33E9} 6|2106r30 2133r30
33n30*Right{33E9} 6|2103r30 2130r30
X 6 a-strbou.ads
50K21*Bounded 5|16k13 6|3006l17 3006e24 7|32b26 106l17 106t24
57i7 Max{positive} 76r41
60k12*Generic_Bounded_Length 57z7 2564E12 3004l8 3004e30 7|34b17 104l8 104t30
76i7*Max_Length{positive} 86r50 101r47 103r29 107r28 110r38 115r59 143r47
. 145r29 149r28 152r38 157r59 174r31 177r29 188r28 191r39 193r39 194r46 196r41
. 200r20 200r53 205r39 209r38 210r62 211r40 219r30 222r29 233r28 236r39 238r37
. 242r46 244r41 248r27 248r58 254r43 258r39 262r38 263r62 265r28 272r29 275r27
. 285r26 288r39 290r39 291r46 292r41 296r20 296r53 301r39 303r36 309r64 310r44
. 315r43 322r47 324r28 331r28 333r39 338r39 340r43 341r36 342r49 349r48 351r29
. 359r29 361r39 366r39 368r43 369r37 382r33 385r31 396r30 399r32 401r42 402r39
. 404r47 408r33 408r69 413r32 418r44 419r61 420r43 428r33 431r31 442r30 445r32
. 447r40 451r39 453r47 457r25 457r59 464r40 468r32 473r44 474r61 476r28 484r49
. 486r30 494r30 496r32 501r32 503r36 504r42 505r42 514r34 526r33 538r32 550r33
. 559r34 1397r31 1399r50 1401r23 1425r22 1439r49 1443r26 1443r56 1453r24
. 1458r41 1460r31 1461r44 1467r25 1468r25 1475r27 1477r37 1485r46 1496r33
. 1500r55 1501r39 1511r42 1514r32 1529r31 1531r50 1533r23 1554r22 1568r35
. 1572r26 1572r56 1582r25 1586r42 1587r45 1588r43 1594r26 1595r26 1601r28
. 1603r38 1611r32 1621r33 1625r41 1626r39 1635r64 1638r30 1648r44 1651r31
. 1668r30 1673r39 1677r23 1677r62 1686r22 1691r56 1693r29 1695r47 1702r23
. 1703r23 1709r28 1712r49 1721r39 1732r36 1736r51 1738r28 1750r51 1752r37
. 1762r44 1765r31 1781r30 1786r32 1790r23 1790r66 1799r22 1804r60 1806r29
. 1808r47 1815r23 1817r23 1823r25 1827r35 1835r32 1846r36 1850r44 1852r28
. 1863r66 1865r37 1875r44 1878r28 1903r27 1905r42 1914r41 1920r42 1925r23
. 1925r57 1932r30 1934r42 1942r42 1949r60 1951r39 1961r44 1964r28 1989r27
. 1991r32 2000r41 2006r42 2011r23 2011r57 2017r43 2019r40 2027r32 2034r50
. 2036r39 2201r39 2209r54 2220r20 2224r37 2228r59 2229r26 2231r38 2235r46
. 2241r37 2243r41 2244r43 2247r20 2247r62 2256r39 2264r54 2276r20 2280r32
. 2285r58 2286r26 2288r38 2292r41 2298r32 2300r36 2302r30 2305r20 2305r66
. 2314r39 2325r54 2337r21 2341r37 2343r41 2344r26 2348r23 2348r57 2351r39
. 2355r46 2361r37 2366r67 2367r38 2375r39 2387r54 2399r21 2403r32 2405r36
. 2406r26 2410r23 2410r61 2413r39 2417r41 2423r32 2428r66 2430r25 2440r25
. 2447r52 2460r54 2474r29 2477r32 2485r49 2488r45 2497r37 2500r42 2502r37
. 2507r42 2509r37 2511r42 2519r51 2522r49 2531r39 2534r42 2536r37 2541r42
. 2543r37 2546r42 2564r61 2571r36 2578r50 2581r40 7|50r37 58r37 67r42 80r53
. 89r53 101r42
78R12*Bounded_String<10|65R9> 79r44 81r38 88r33 99r47 129r36 139r23 169r18
. 170r18 171r47 214r18 216r46 268r18 269r46 318r18 320r46 346r18 347r46 377r28
. 378r21 423r28 480r28 511r18 512r18 512r41 523r18 524r33 536r18 536r41 547r18
. 548r36 557r18 557r41 566r19 575r26 590r19 602r19 604r35 615r19 616r23 631r18
. 632r18 638r18 646r18 652r18 653r18 659r18 667r18 673r18 674r18 680r18 688r18
. 694r18 695r18 701r18 709r18 715r18 716r18 722r18 730r18 745r20 798r20 851r19
. 895r20 958r20 1022r20 1080r19 1118r19 1172r20 1180r20 1188r19 1194r19 1251r19
. 1318r20 1319r51 1329r28 1340r20 1341r60 1354r27 1385r19 1389r47 1517r28
. 1641r21 1644r49 1755r28 1868r21 1871r49 1954r29 2039r20 2041r36 2061r27
. 2086r19 2087r36 2113r26 2140r19 2142r46 2168r26 2196r19 2199r47 2251r26
. 2309r19 2312r47 2370r26 2438r36 2445r33 2458r18 2458r41 2472r46 2482r46
. 2515r18 2516r46 2564c12 2570r53 2574r30 2577r38 2586r23 2592r19 2596r19
. 2600r18 2601r18 2602r47 2606r18 2608r46 2613r18 2614r46 2618r18 2620r46
. 2625r18 2626r46 2630r28 2631r21 2636r28 2642r28 2648r18 2649r18 2649r41
. 2653r18 2654r33 2659r18 2659r41 2663r18 2664r36 2669r18 2669r41 2673r19
. 2678r26 2684r19 2690r19 2692r35 2696r19 2697r23 2703r18 2704r18 2708r18
. 2714r18 2718r18 2719r18 2723r18 2729r18 2733r18 2734r18 2738r18 2744r18
. 2748r18 2749r18 2753r18 2759r18 2763r18 2764r18 2768r18 2774r18 2778r20
. 2785r20 2792r19 2799r20 2807r20 2815r20 2823r19 2828r19 2834r20 2840r20
. 2846r19 2851r19 2860r19 2868r20 2869r51 2873r28 2878r20 2879r60 2883r27
. 2888r19 2892r47 2896r28 2904r21 2907r49 2911r28 2918r21 2921r49 2925r29
. 2932r20 2934r36 2938r27 2944r19 2945r36 2949r26 2954r19 2956r46 2960r26
. 2966r19 2969r47 2973r26 2980r19 2983r47 2987r26 2995r18 2995r41 3000r18
. 3001r46 7|47r36 55r33 65r53 77r62 86r62 98r63
81r7*Null_Bounded_String{78R12} 61r35 2577c7
86I15*Length_Range{natural} 88r56 2592r42
88V16*Length{86I15} 61s27 88>24 132s48 174s15 174s44 177s12 177s42 179s14
. 179s39 179s55 181s43 183s22 185s23 185s42 188s12 188s41 191s14 193s22 194s59
. 196s25 196s54 197s25 200s33 205s14 207s43 209s22 210s43 211s53 219s43 222s12
. 224s14 224s39 226s43 230s23 230s42 233s12 236s14 244s25 245s25 258s14 260s43
. 262s22 263s43 265s41 272s42 275s40 277s14 277s53 280s22 282s40 285s39 288s14
. 290s22 291s59 292s54 296s33 301s14 322s31 324s12 326s14 326s39 328s43 329s49
. 331s12 333s14 338s14 349s31 351s12 353s14 353s39 355s43 359s12 361s14 366s14
. 382s15 382s46 385s12 385s44 387s14 387s32 387s54 389s36 392s22 393s36 393s61
. 396s12 396s43 399s14 401s22 402s52 404s25 404s60 406s25 408s46 413s14 415s36
. 418s22 419s36 420s56 428s46 431s12 433s14 433s32 435s36 439s36 439s61 442s12
. 445s14 453s25 454s25 468s14 470s36 473s22 474s36 476s41 484s31 486s12 488s14
. 488s32 490s36 492s42 494s12 496s14 501s14 514s17 514s47 515s17 515s39 515s55
. 516s42 518s17 519s35 519s54 526s46 527s17 527s39 528s42 531s35 531s54 538s45
. 539s17 539s53 542s17 543s52 550s17 551s17 551s39 552s42 553s41 559s17 560s17
. 560s43 563s35 569s28 579s28 580s19 580s37 581s39 594s30 594s63 606s30 606s63
. 620s30 620s63 751s43 756s12 763s12 765s36 770s35 782s37 786s43 804s43 809s12
. 816s12 818s36 823s35 835s37 839s43 856s43 873s35 887s37 902s15 902s49 904s43
. 909s12 916s12 920s47 928s44 941s37 965s15 965s49 968s43 973s12 980s12 984s47
. 992s44 1005s37 1029s15 1029s49 1030s43 1037s12 1039s35 1052s35 1069s37
. 1083s53 1099s45 1110s37 1123s15 1123s49 1124s53 1131s12 1133s35 1146s45
. 1161s37 1202s15 1202s49 1209s12 1211s38 1222s31 1223s42 1243s29 1263s12
. 1265s35 1276s28 1277s42 1297s29 1321s19 1321s47 1323s32 1332s19 1332s37
. 1334s32 1344s19 1344s47 1346s32 1358s19 1358s37 1360s32 1392s22 1398s44
. 1399s31 1402s29 1411s14 1412s31 1419s52 1421s40 1423s56 1426s29 1434s22
. 1439s17 1445s59 1485s14 1524s22 1530s44 1531s31 1534s29 1543s14 1544s17
. 1549s52 1550s53 1552s54 1555s29 1563s21 1568s17 1574s59 1611s14 1647s25
. 1648s57 1651s12 1655s14 1655s39 1663s32 1665s49 1666s48 1668s12 1673s14
. 1675s32 1677s36 1678s48 1686s35 1691s25 1693s42 1695s60 1702s36 1703s36
. 1709s41 1712s31 1721s14 1761s25 1762s57 1765s12 1769s14 1769s32 1777s32
. 1778s62 1779s50 1781s12 1786s14 1788s32 1790s36 1791s52 1799s35 1804s25
. 1806s42 1808s60 1815s36 1817s36 1823s38 1826s31 1835s14 1874s27 1884s14
. 1885s29 1893s55 1899s51 1901s55 1905s14 1942s14 1960s27 1970s14 1971s17
. 1979s55 1985s51 1987s55 1991s14 2027s14 2044s48 2047s14 2048s40 2053s32
. 2054s49 2055s51 2066s48 2069s14 2070s40 2074s32 2075s42 2076s55 2095s14
. 2106s40 2122s14 2133s40 2152s14 2180s14 2203s21 2209s20 2213s14 2215s41
. 2217s38 2218s34 2224s14 2226s41 2228s38 2229s39 2231s20 2241s14 2243s62
. 2244s59 2247s41 2248s36 2258s21 2264s20 2268s14 2270s36 2273s33 2274s34
. 2280s14 2282s36 2285s33 2286s39 2288s20 2298s14 2300s57 2302s46 2305s41
. 2306s36 2316s20 2322s34 2322s63 2323s20 2325s21 2329s14 2331s49 2332s34
. 2334s46 2341s14 2343s54 2344s39 2346s22 2348s36 2351s20 2361s14 2363s49
. 2364s34 2366s46 2367s59 2377s20 2384s21 2384s54 2385s20 2387s21 2391s14
. 2393s44 2394s34 2396s41 2403s14 2405s49 2406s39 2408s22 2410s36 2413s20
. 2423s14 2425s44 2426s34 2428s41 2430s46 2449s11 2460s36 2462s11 2462s40
. 2464s19 2465s44 2467s55 2490s14 2500s14 2507s14 2519s35 2522s32 2524s14
. 2524s50 2526s22 2527s48 2529s57 2531s23 2534s14 2538s54 2541s14 2546s25
. 2546s62 2591b16
88r24 Source{78R12} 2592b10
97V16*To_Bounded_String{78R12} 98>10 99>10 105r25 109r25 114r25 2583r22 7|96b16
. 102l11 102t28
98a10 Source{string} 101r31 103r12 105r53 107r12 110r16 110r24 110r56 115r16
. 115r24 115r40 7|97b10 101r34
99e10 Drop{5|30E9} 101r63 107r48 7|98b10 101r54
129V16*To_String{string} 105s14 109s14 114s14 129>27 131r11 132r22 147s14
. 151s14 156s14 181s60 186s25 201s22 207s60 226s60 253s21 260s60 283s25 297s22
. 314s21 328s60 334s25 334s53 356s20 362s25 362s53 390s20 394s23 409s22 416s20
. 436s20 463s21 471s20 491s20 497s25 497s46 516s59 520s18 528s59 544s18 552s59
. 563s58 607s19 621s19 634s33 634s52 641s33 648s40 655s33 655s52 662s33 669s40
. 676s34 676s54 683s34 690s42 697s33 697s52 704s33 711s40 718s34 718s54 725s34
. 732s42 766s33 775s19 788s25 819s33 828s19 841s25 862s26 922s32 934s19 947s25
. 986s32 998s19 1011s25 1089s26 1918s21 2004s21 2093s26 2109s17 2120s26 2136s17
. 2148s26 2150s30 2164s17 2176s26 2178s30 2192s17 2207s14 2215s60 2226s60
. 2235s14 2262s14 2271s20 2283s20 2292s14 2321s17 2335s20 2349s25 2355s14
. 2382s17 2397s20 2411s25 2417s14 2441s17 2476s11 2574r59 2595b16
129r27 Source{78R12} 132r56 2596b10
138U17*Set_Bounded_String 139<10 140>10 141>10 158r22 2585b17
139r10 Target{78R12} 147r25 151r25 156r25 2586b10
140a10 Source{string} 143r31 145r12 147r35 149r12 152r16 152r24 152r56 157r16
. 157r24 157r40 2587b10
141e10 Drop{5|30E9} 143r63 149r48 2588b10
168V16*Append{78R12} 169>10 170>10 171>10 2599b16
169r10 Left{78R12} 174r23 177r20 179r47 181r51 181r71 185r31 188r20 195r30
. 196r33 197r33 207r51 207r71 209r30 210r51 211r61 2600b10
170r10 Right{78R12} 174r52 177r50 179r63 183r30 186r36 188r49 193r30 194r67
. 196r62 200r41 201r33 211r30 2601b10
171e10 Drop{5|30E9} 175r17 189r23 2602b10
213V16*Append{78R12} 214>10 215>10 216>10 2605b16
214r10 Left{78R12} 219r51 222r20 224r47 226r51 226r71 230r31 233r20 243r30
. 244r33 245r33 260r51 260r71 262r30 263r51 265r49 2606b10
215a10 Right{string} 219r15 222r42 224r55 228r22 231r25 233r41 238r22 242r59
. 244r54 248r40 249r29 254r23 254r30 254r61 264r23 264r30 265r61 2607b10
216e10 Drop{5|30E9} 220r17 234r23 2608b10
266V16*Append{78R12} 267>10 268>10 269>10 2611b16
267a10 Left{string} 272r15 275r12 277r39 278r50 278r65 282r23 285r12 292r23
. 292r29 293r32 303r22 307r46 307r61 309r47 310r57 315r23 315r29 315r60 2612b10
268r10 Right{78R12} 272r50 275r48 277r61 280r30 283r36 285r47 290r30 291r67
. 292r62 296r41 297r33 310r34 2613b10
269e10 Drop{5|30E9} 273r17 286r23 2614b10
317V16*Append{78R12} 318>10 319>10 320>10 2617b16
318r10 Left{78R12} 322r39 324r20 326r47 328r51 328r71 329r57 331r20 334r64
. 341r27 2618b10
319e10 Right{character} 329r70 342r63 2619b10
320e10 Drop{5|30E9} 322r63 331r48 2620b10
344V16*Append{78R12} 345>10 346>10 347>10 2623b16
345e10 Left{character} 357r54 370r54 2624b10
346r10 Right{78R12} 349r39 351r20 353r47 355r51 356r31 359r20 362r64 369r27
. 2625b10
347e10 Drop{5|30E9} 349r64 359r49 2626b10
376U17*Append 377=10 378>10 379>10 2629b17
377r10 Source{78R12} 382r23 385r20 387r22 387r40 389r25 389r44 390r31 393r28
. 393r44 393r69 396r20 399r22 402r28 403r30 404r33 406r33 408r25 413r22 415r25
. 415r44 416r31 418r30 419r28 419r44 420r64 2630b10
378r10 New_Item{78R12} 382r54 385r52 387r62 392r30 394r34 396r51 401r30 402r60
. 404r68 408r54 409r33 420r30 2631b10
379e10 Drop{5|30E9} 383r17 397r23 2632b10
422U17*Append 423=10 424>10 425>10 2635b17
423r10 Source{78R12} 428r54 431r20 433r22 433r40 435r25 435r44 436r31 439r28
. 439r44 439r69 442r20 445r22 451r28 452r30 453r33 454r33 456r30 463r32 468r22
. 470r25 470r44 471r31 473r30 474r28 474r44 476r49 2636b10
424a10 New_Item{string} 428r15 431r44 433r54 438r22 440r23 442r43 447r22
. 451r52 453r60 457r38 458r27 463r42 464r24 464r58 475r23 475r33 477r29 2637b10
425e10 Drop{5|30E9} 429r17 443r23 2638b10
479U17*Append 480=10 481>10 482>10 2641b17
480r10 Source{78R12} 484r39 486r20 488r22 488r40 490r25 490r44 491r31 492r34
. 492r50 494r20 496r22 497r36 497r57 501r22 503r25 504r27 505r34 2642b10
481e10 New_Item{character} 492r69 505r56 2643b10
482e10 Drop{5|30E9} 484r65 494r50 2644b10
510V17*"&"{78R12} 511>10 512>10 2647b17
511r10 Left{78R12} 514r25 515r47 516r50 516r70 519r43 2648b10
512r10 Right{78R12} 514r55 515r63 518r25 520r29 2649b10
522V17*"&"{78R12} 523>10 524>10 2652b17
523r10 Left{78R12} 526r54 527r47 528r50 528r70 531r43 2653b10
524a10 Right{string} 526r17 527r55 530r17 532r18 2654b10
534V17*"&"{78R12} 535>10 536>10 2657b17
535a10 Left{string} 538r17 539r39 540r42 540r57 543r35 2658b10
536r10 Right{78R12} 538r53 539r61 542r25 544r29 2659b10
546V17*"&"{78R12} 547>10 548>10 2662b17
547r10 Left{78R12} 550r25 551r47 552r50 552r70 553r49 2663b10
548e10 Right{character} 553r62 2664b10
555V17*"&"{78R12} 556>10 557>10 2667b17
556e10 Left{character} 561r46 2668b10
557r10 Right{78R12} 559r25 560r51 563r69 2669b10
565V16*Element{character} 329s25 342s25 357s25 370s25 492s25 505s25 553s20
. 561s20 566>10 567>10 582s23 583s52 880s32 891s42 1041s53 1062s32 1075s42
. 1103s25 1114s27 1135s22 1154s25 1167s27 1212s50 1230s52 1237s51 1246s36
. 1266s50 1284s52 1291s51 1300s36 1324s16 1325s51 1335s16 1336s51 1347s16
. 1347s57 1361s16 1361s47 2453s21 2466s21 2467s23 2494s24 2503s21 2510s21
. 2528s24 2529s26 2537s21 2538s23 2544s21 2545s23 2672b16
566r10 Source{78R12} 569r36 2673b10
567i10 Index{positive} 569r19 2674b10
574U17*Replace_Element 575=10 576>10 577>10 2677b17
575r10 Source{78R12} 579r36 580r27 580r45 581r47 582r32 583r61 2678b10
576i10 Index{positive} 579r19 583r33 2679b10
577e10 By{character} 583r44 2680b10
581i29 K{integer} 582r40 583r29 583r73
589V16*Slice{string} 181s18 184s21 194s21 195s23 199s18 207s18 210s21 211s23
. 226s18 229s21 242s21 243s23 247s25 260s18 263s21 278s25 281s21 291s21 295s18
. 307s21 309s25 310s27 328s18 340s18 341s20 355s18 368s18 369s20 389s18 393s21
. 402s21 403s23 408s18 415s18 419s21 420s23 435s18 439s21 451s21 452s23 456s23
. 470s18 474s21 490s18 503s18 504s20 516s20 519s16 528s20 531s16 540s20 543s16
. 552s20 563s13 590>10 591>10 592>10 607s54 621s40 1414s18 1415s20 1417s18
. 1420s21 1422s25 1442s24 1444s28 1459s26 1466s23 1474s34 1476s29 1487s18
. 1488s20 1500s21 1505s21 1510s32 1512s27 1546s18 1546s47 1547s25 1550s21
. 1551s23 1571s24 1573s28 1587s27 1593s24 1600s35 1602s30 1613s18 1613s47
. 1625s21 1630s21 1635s32 1636s25 1657s18 1658s20 1660s18 1664s21 1666s25
. 1676s21 1678s25 1692s24 1701s21 1708s32 1711s29 1723s18 1724s20 1736s21
. 1742s21 1749s32 1751s27 1771s18 1772s20 1774s18 1778s21 1779s23 1789s21
. 1791s25 1805s24 1814s21 1822s32 1825s29 1837s18 1838s20 1850s21 1856s21
. 1863s25 1864s27 1887s18 1888s20 1889s25 1898s21 1900s25 1924s21 1931s25
. 1933s29 1944s18 1945s20 1949s25 1973s18 1974s20 1975s25 1984s21 1986s25
. 2010s21 2017s25 2018s27 2029s18 2030s20 2034s25 2050s18 2051s20 2054s21
. 2055s23 2072s18 2072s48 2075s21 2076s23 2109s43 2136s38 2164s43 2192s38
. 2207s40 2215s18 2217s18 2226s18 2228s18 2243s18 2244s20 2246s18 2262s35
. 2270s18 2273s18 2282s18 2285s18 2300s18 2301s20 2304s18 2322s19 2331s18
. 2334s18 2343s18 2347s21 2363s18 2366s18 2367s20 2383s19 2393s18 2396s18
. 2405s18 2409s21 2425s18 2428s18 2429s20 2683b16
590r10 Source{78R12} 594r38 594r71 2684b10
591i10 Low{positive} 594r19 2685b10
592i10 High{natural} 594r55 2686b10
601V16*Bounded_Slice{78R12} 602>10 603>10 604>10 609r22 2689b16
602r10 Source{78R12} 606r38 606r71 607r61 2690b10
603i10 Low{positive} 606r19 607r69 2691b10
604i10 High{natural} 606r55 607r74 2692b10
614U17*Bounded_Slice 615>10 616<10 617>10 618>10 2695b17
615r10 Source{78R12} 620r38 620r71 621r47 2696b10
616r10 Target{78R12} 621r30 2697b10
617i10 Low{positive} 620r19 621r55 2698b10
618i10 High{natural} 620r55 621r60 2699b10
630V17*"="{boolean}<10|688p13> 631>10 632>10 2057s28 2078s21 2702b28
631r10 Left{78R12} 634r44 2703b10
632r10 Right{78R12} 634r63 2704b10
637V17*"="{boolean} 638>10 639>10 2707b17
638r10 Left{78R12} 641r44 2708b10
639a10 Right{string} 641r52 2709b10
644V17*"="{boolean} 645>10 646>10 2712b17
645a10 Left{string} 648r33 2713b10
646r10 Right{78R12} 648r51 2714b10
651V17*"<"{boolean} 652>10 653>10 2717b17
652r10 Left{78R12} 655r44 2718b10
653r10 Right{78R12} 655r63 2719b10
658V17*"<"{boolean} 659>10 660>10 2722b17
659r10 Left{78R12} 662r44 2723b10
660a10 Right{string} 662r52 2724b10
665V17*"<"{boolean} 666>10 667>10 2727b17
666a10 Left{string} 669r33 2728b10
667r10 Right{78R12} 669r51 2729b10
672V17*"<="{boolean} 673>10 674>10 2732b17
673r10 Left{78R12} 676r45 2733b10
674r10 Right{78R12} 676r65 2734b10
679V17*"<="{boolean} 680>10 681>10 2737b17
680r10 Left{78R12} 683r45 2738b10
681a10 Right{string} 683r54 2739b10
686V17*"<="{boolean} 687>10 688>10 2742b17
687a10 Left{string} 690r34 2743b10
688r10 Right{78R12} 690r53 2744b10
693V17*">"{boolean} 694>10 695>10 2747b17
694r10 Left{78R12} 697r44 2748b10
695r10 Right{78R12} 697r63 2749b10
700V17*">"{boolean} 701>10 702>10 2752b17
701r10 Left{78R12} 704r44 2753b10
702a10 Right{string} 704r52 2754b10
707V17*">"{boolean} 708>10 709>10 2757b17
708a10 Left{string} 711r33 2758b10
709r10 Right{78R12} 711r51 2759b10
714V17*">="{boolean} 715>10 716>10 2762b17
715r10 Left{78R12} 718r45 2763b10
716r10 Right{78R12} 718r65 2764b10
721V17*">="{boolean} 722>10 723>10 2767b17
722r10 Left{78R12} 725r45 2768b10
723a10 Right{string} 725r54 2769b10
728V17*">="{boolean} 729>10 730>10 2772b17
729a10 Left{string} 732r34 2773b10
730r10 Right{78R12} 732r53 2774b10
744V16*Index{natural} 745>10 746>10 747>10 748>10 2777b16
745r10 Source{78R12} 751r51 756r20 763r20 765r44 766r44 770r43 775r30 782r45
. 786r51 788r36 2778b10
746a10 Pattern{string} 750r27 765r55 766r53 770r54 775r39 786r61 788r45 2779b10
747e10 Going{5|32E9} 783r29 2780b10
748a10 Mapping{8|259A9} 766r62 775r48 788r54 2781b10
765i26 J{integer} 766r71
782i27 J{integer} 784r31 785r31 788r63
797V16*Index{natural} 798>10 799>10 800>10 801>10 2784b16
798r10 Source{78R12} 804r51 809r20 816r20 818r44 819r44 823r43 828r30 835r45
. 839r51 841r36 2785b10
799a10 Pattern{string} 803r27 818r55 819r53 823r54 828r39 839r61 841r45 2786b10
800e10 Going{5|32E9} 836r29 2787b10
801p10 Mapping{8|360P9} 803r56 819r62 828r48 841r54 2788b10
818i26 J{integer} 819r71
835i27 J{integer} 837r31 838r31 841r63
850V16*Index{natural} 851>10 852>10 853>10 854>10 2160s19 2162s19 2188s19
. 2190s19 2791b16
851r10 Source{78R12} 856r51 862r37 873r43 880r41 887r45 891r51 2792b10
852a10 Set{8|62A9} 863r49 880r64 891r63 2793b10
853e10 Test{5|31E9} 863r16 879r19 890r28 2794b10
854e10 Going{5|32E9} 889r58 2795b10
862e21 C{character} 863r46
887i27 J{integer} 888r25 889r37 891r59
894V16*Index{natural} 895>10 896>10 897>10 898>10 899>10 2798b16
895r10 Source{78R12} 902r23 902r57 904r51 909r20 916r20 920r55 922r43 928r52
. 934r30 941r45 947r36 2799b10
896a10 Pattern{string} 903r22 921r23 922r52 929r20 934r39 945r50 947r45 2800b10
897i10 From{positive} 902r41 919r43 920r68 927r41 928r65 943r36 945r43 2801b10
898e10 Going{5|32E9} 919r22 920r26 927r20 928r23 942r29 2802b10
899a10 Mapping{8|259A9} 922r61 934r48 947r54 2803b10
918i26 J{integer} 922r70
941i27 J{integer} 943r31 944r31 947r63
957V16*Index{natural} 958>10 959>10 960>10 961>10 962>10 2806b16
958r10 Source{78R12} 965r23 965r57 968r51 973r20 980r20 984r55 986r43 992r52
. 998r30 1005r45 1011r36 2807b10
959a10 Pattern{string} 966r22 985r23 986r52 993r20 998r39 1009r50 1011r45
. 2808b10
960i10 From{positive} 965r41 983r43 984r68 991r41 992r65 1007r36 1009r43
. 2809b10
961e10 Going{5|32E9} 983r22 984r26 991r20 992r23 1006r29 2810b10
962p10 Mapping{8|360P9} 967r22 986r61 998r48 1011r54 2811b10
982i26 J{integer} 986r70
1005i27 J{integer} 1007r31 1008r31 1011r63
1021V16*Index{natural} 1022>10 1023>10 1024>10 1025>10 1026>10 2814b16
1022r10 Source{78R12} 1029r23 1029r57 1030r51 1037r20 1039r43 1041r62 1052r43
. 1062r41 1069r45 1075r51 2815b10
1023a10 Set{8|62A9} 1041r74 1062r64 1075r63 2816b10
1024i10 From{positive} 1029r41 1040r27 1040r45 1054r34 1055r45 1072r38 1073r49
. 2817b10
1025e10 Test{5|31E9} 1041r23 1061r19 1074r28 2818b10
1026e10 Going{5|32E9} 1040r54 1055r54 1071r55 1073r58 2819b10
1039i25 J{integer} 1040r23 1040r41 1041r70
1069i27 J{integer} 1070r25 1071r34 1072r34 1073r45 1075r59
1079V16*Index_Non_Blank{natural} 1080>10 1081>10 2104s25 2107s25 2131s25
. 2134s25 2822b16
1080r10 Source{78R12} 1083r61 1089r37 1099r53 1103r34 1110r45 1114r36 2823b10
1081e10 Going{5|32E9} 1113r61 2824b10
1089e21 C{character} 1089r48
1110i27 J{integer} 1111r25 1113r30 1114r44
1117V16*Index_Non_Blank{natural} 1118>10 1119>10 1120>10 2827b16
1118r10 Source{78R12} 1123r23 1123r57 1124r61 1131r20 1133r43 1135r31 1146r53
. 1154r34 1161r45 1167r36 2828b10
1119i10 From{positive} 1123r41 1134r27 1134r45 1148r44 1150r49 1165r38 1166r49
. 2829b10
1120e10 Going{5|32E9} 1134r54 1150r58 1164r58 1166r58 2830b10
1133i25 J{integer} 1134r23 1134r41 1135r39
1161i27 J{integer} 1162r25 1164r27 1165r34 1166r45 1167r44
1171V16*Count{natural} 1172>10 1173>10 1174>10 2833b16
1172r10 Source{78R12} 2834b10
1173a10 Pattern{string} 1176r19 2835b10
1174a10 Mapping{8|259A9} 2836b10
1179V16*Count{natural} 1180>10 1181>10 1182>10 2839b16
1180r10 Source{78R12} 2840b10
1181a10 Pattern{string} 1184r19 2841b10
1182p10 Mapping{8|360P9} 1184r48 2842b10
1187V16*Count{natural} 1188>10 1189>10 2845b16
1188r10 Source{78R12} 2846b10
1189a10 Set{8|62A9} 2847b10
1193U17*Find_Token 1194>10 1195>10 1196>10 1197>10 1198<10 1199<10 1248r24
. 2850b17
1194r10 Source{78R12} 1202r23 1202r57 1209r20 1211r46 1212r59 1222r39 1223r50
. 1230r61 1237r60 1243r37 1246r45 2851b10
1195a10 Set{8|62A9} 1212r71 1230r73 1237r72 1246r64 2852b10
1196i10 From{positive} 1202r41 1211r30 1214r22 1222r23 1229r32 2853b10
1197e10 Test{5|31E9} 1212r20 1230r22 1237r22 1245r22 2854b10
1198i10 First{positive} 1214r14 1222r14 1223r33 1229r40 1236r32 2855b10
1199i10 Last{natural} 1214r36 1223r25 1236r41 1243r22 1246r53 2856b10
1211i25 J{integer} 1212r67
1229i27 J{integer} 1230r69
1236i27 J{integer} 1237r68
1250U17*Find_Token 1251>10 1252>10 1253>10 1254<10 1255<10 2859b17
1251r10 Source{78R12} 1263r20 1265r43 1266r59 1276r36 1277r50 1284r61 1291r60
. 1297r37 1300r45 2860b10
1252a10 Set{8|62A9} 1266r71 1284r73 1291r72 1300r64 2861b10
1253e10 Test{5|31E9} 1266r20 1284r22 1291r22 1299r22 2862b10
1254i10 First{positive} 1268r14 1276r14 1277r33 1283r37 1290r32 2863b10
1255i10 Last{natural} 1268r33 1277r25 1290r41 1297r22 1300r53 2864b10
1265i25 J{integer} 1266r67
1283i27 J{integer} 1284r69
1290i27 J{integer} 1291r68
1317V16*Translate{78R12} 1318>10 1319>10 2867b16
1318r10 Source{78R12} 1321r55 1323r40 1325r60 2868b10
1319a10 Mapping{8|259A9} 1325r42 2869b10
1323i22 K{integer} 1324r43 1325r68
1328U17*Translate 1329=10 1330>10 2872b17
1329r10 Source{78R12} 1332r27 1332r45 1334r40 1335r25 1336r60 2873b10
1330a10 Mapping{8|259A9} 1336r42 2874b10
1334i22 K{integer} 1335r33 1336r72
1339V16*Translate{78R12} 1340>10 1341>10 2877b16
1340r10 Source{78R12} 1344r55 1346r40 1347r66 2878b10
1341p10 Mapping{8|360P9} 1343r19 1347r48 2879b10
1346i22 K{integer} 1347r43 1347r74
1353U17*Translate 1354=10 1355>10 2882b17
1354r10 Source{78R12} 1358r27 1358r45 1360r40 1361r25 1361r56 2883b10
1355p10 Mapping{8|360P9} 1357r19 1361r38 2884b10
1360i22 K{integer} 1361r33 1361r68
1384V16*Replace_Slice{78R12} 1385>10 1386>10 1387>10 1388>10 1389>10 2887b16
1385r10 Source{78R12} 1392r30 1398r52 1399r39 1402r37 1412r39 1415r27 1419r60
. 1422r32 1423r64 1426r37 1434r30 1444r35 1445r67 1476r36 1488r27 1512r34
. 2888b10
1386i10 Low{positive} 1392r11 1395r35 1396r31 1401r12 1402r66 1411r46 1412r68
. 1414r50 1415r38 1417r47 1417r52 1419r41 1421r23 1423r50 1425r12 1426r66
. 1434r59 1445r53 1477r31 1478r31 1487r50 1488r38 1496r22 1500r50 1501r52
. 1505r50 1505r55 1511r25 1512r65 1513r52 1514r45 2889b10
1387i10 High{natural} 1395r27 1398r62 1402r60 1412r62 1419r35 1423r40 1426r60
. 1434r53 1445r43 1512r55 1513r42 2890b10
1388a10 By{string} 1397r44 1399r63 1401r36 1411r56 1417r62 1417r75 1421r29
. 1425r35 1453r51 1461r30 1461r34 1462r37 1467r52 1469r27 1475r54 1477r64
. 1496r46 1501r23 1501r27 1501r58 1505r61 1505r78 1511r31 1514r51 2891b10
1389e10 Drop{5|30E9} 1394r19 1427r23 2892b10
1432i17 Final_Slice{natural} 1441r25 1443r39 1453r37 1458r27 1460r44 1461r57
. 1467r38 1468r38 1475r40 1477r50
1516U17*Replace_Slice 1517=10 1518>10 1519>10 1520>10 1521>10 2895b17
1517r10 Source{78R12} 1524r30 1530r52 1531r39 1534r37 1543r22 1544r25 1546r25
. 1546r54 1547r32 1549r60 1550r28 1550r61 1551r30 1552r62 1555r37 1563r29
. 1568r25 1571r31 1573r35 1574r67 1587r34 1593r31 1600r42 1602r37 1611r22
. 1613r25 1613r54 1625r28 1630r28 1635r39 1636r32 2896b10
1518i10 Low{positive} 1524r11 1527r35 1528r31 1533r12 1534r66 1543r32 1544r58
. 1546r36 1546r69 1547r40 1547r45 1549r41 1550r36 1552r48 1554r12 1555r66
. 1563r62 1574r53 1603r32 1604r32 1613r36 1613r69 1621r22 1625r36 1626r52
. 1630r36 1630r41 1635r47 1636r67 1637r50 1638r43 2897b10
1519i10 High{natural} 1527r27 1530r62 1534r60 1544r52 1549r35 1552r38 1555r60
. 1563r56 1574r43 1636r57 1637r40 2898b10
1520a10 By{string} 1529r44 1531r63 1533r36 1543r42 1547r55 1547r68 1550r42
. 1554r35 1582r52 1588r29 1588r33 1589r36 1594r53 1595r54 1601r55 1603r65
. 1621r46 1626r23 1626r27 1626r58 1630r47 1630r64 1635r53 1638r49 2899b10
1521e10 Drop{5|30E9} 1526r19 1556r23 2900b10
1561i17 Final_Slice{integer} 1570r25 1572r39 1582r38 1586r28 1587r58 1588r56
. 1594r39 1595r39 1601r41 1603r51
1640V16*Insert{78R12} 1641>10 1642>10 1643>10 1644>10 2903b16
1641r10 Source{78R12} 1647r33 1648r65 1651r20 1655r47 1658r27 1663r40 1666r32
. 1666r56 1668r20 1675r40 1677r44 1678r32 1678r56 1686r43 1691r33 1693r50
. 1695r68 1702r44 1703r44 1709r49 1711r36 1712r39 1724r27 1751r34 2904b10
1642i10 Before{positive} 1647r11 1657r43 1658r38 1660r40 1660r48 1663r22
. 1665r23 1666r40 1675r22 1677r54 1678r40 1686r57 1691r43 1693r64 1696r34
. 1702r72 1703r58 1710r33 1714r31 1723r43 1724r38 1732r22 1736r43 1738r41
. 1743r23 1743r31 1750r25 1752r29 2905b10
1643a10 New_Item{string} 1648r26 1651r44 1655r57 1660r61 1661r20 1665r32
. 1668r43 1687r22 1694r28 1695r31 1697r34 1702r54 1703r68 1709r59 1712r62
. 1732r49 1737r23 1737r33 1738r50 1743r40 1744r25 1750r34 1752r50 2906b10
1644e10 Drop{5|30E9} 1649r28 1668r68 2907b10
1754U17*Insert 1755=10 1756>10 1757>10 1758>10 2910b17
1755r10 Source{78R12} 1761r33 1762r65 1765r20 1769r22 1769r40 1771r25 1772r27
. 1774r25 1777r40 1778r28 1778r70 1779r30 1779r58 1781r20 1786r22 1788r40
. 1789r28 1790r44 1791r32 1791r60 1799r43 1804r33 1805r31 1806r50 1808r68
. 1814r28 1815r44 1817r44 1822r39 1823r46 1825r36 1826r39 1835r22 1837r25
. 1838r27 1850r28 1856r28 1863r32 1864r34 2911b10
1756i10 Before{positive} 1761r11 1771r36 1772r42 1774r33 1774r41 1777r22
. 1778r36 1779r42 1788r22 1790r58 1791r44 1799r61 1804r47 1806r68 1809r34
. 1816r27 1817r62 1824r33 1828r31 1837r36 1838r42 1846r22 1850r36 1852r41
. 1856r36 1856r44 1863r40 1865r29 2912b10
1757a10 New_Item{string} 1762r26 1765r44 1769r54 1774r54 1775r20 1778r45
. 1781r43 1800r22 1807r28 1808r31 1810r34 1815r58 1817r72 1823r60 1827r48
. 1846r49 1851r23 1851r33 1852r50 1856r53 1857r23 1863r49 1865r50 2913b10
1758e10 Drop{5|30E9} 1763r28 1781r68 2914b10
1867V16*Overwrite{78R12} 1868>10 1869>10 1870>10 1871>10 2917b16
1868r10 Source{78R12} 1874r35 1885r37 1888r27 1893r63 1899r59 1900r32 1901r63
. 1933r36 1945r27 2918b10
1869i10 Position{positive} 1874r11 1875r58 1878r12 1885r46 1887r46 1888r38
. 1890r18 1890r28 1893r22 1899r23 1901r27 1903r12 1934r31 1935r31 1944r46
. 1945r38 1949r50 1951r52 2919b10
1870a10 New_Item{string} 1875r26 1878r41 1885r61 1890r43 1891r20 1893r37
. 1899r34 1901r38 1903r40 1914r22 1919r23 1920r26 1920r60 1925r36 1926r25
. 1932r43 1934r55 1950r18 1951r21 1951r63 2920b10
1871e10 Drop{5|30E9} 1876r28 1903r65 2921b10
1953U17*Overwrite 1954=10 1955>10 1956>10 1957>10 2924b17
1954r10 Source{78R12} 1960r35 1970r22 1971r25 1973r25 1974r27 1975r32 1979r63
. 1984r28 1985r59 1986r32 1987r63 1991r22 2004r32 2010r28 2017r32 2018r34
. 2027r22 2029r25 2030r27 2034r32 2925b10
1955i10 Position{positive} 1960r11 1961r58 1964r12 1971r38 1973r36 1974r42
. 1976r18 1976r28 1979r22 1985r23 1987r27 1989r12 2019r29 2020r29 2029r36
. 2030r42 2034r40 2036r52 2926b10
1956a10 New_Item{string} 1961r26 1964r41 1971r53 1976r43 1977r20 1979r37
. 1985r34 1987r38 1989r40 2000r22 2005r23 2006r26 2006r60 2011r36 2012r25
. 2017r56 2019r53 2035r18 2036r21 2036r63 2927b10
1957e10 Drop{5|30E9} 1962r28 1989r65 2928b10
2038V16*Delete{78R12} 2039>10 2040>10 2041>10 2931b16
2039r10 Source{78R12} 2044r56 2048r48 2051r27 2053r40 2055r30 2055r59 2057r30
. 2932b10
2040i10 From{positive} 2044r26 2044r36 2046r23 2048r16 2050r43 2051r38 2054r43
. 2933b10
2041i10 Through{natural} 2044r15 2046r12 2048r58 2053r22 2055r38 2934b10
2060U17*Delete 2061=10 2062>10 2063>10 2937b17
2061r10 Source{78R12} 2066r56 2069r22 2070r48 2072r25 2072r55 2074r40 2075r28
. 2075r50 2076r30 2076r63 2078r14 2078r23 2938b10
2062i10 From{positive} 2066r26 2066r36 2068r23 2070r16 2072r36 2072r70 2075r36
. 2939b10
2063i10 Through{natural} 2066r15 2068r12 2070r62 2074r22 2076r42 2940b10
2085V16*Trim{78R12} 2086>10 2087>10 2943b16
2086r10 Source{78R12} 2093r37 2104r42 2106r48 2107r42 2109r50 2944b10
2087e10 Side{5|33E9} 2103r23 2106r23 2945b10
2093e21 C{character} 2093r48
2102i17 Low{positive} 2109r58
2105i17 High{positive} 2109r63
2112U17*Trim 2113=10 2114>10 2948b17
2113r10 Source{78R12} 2120r37 2122r22 2131r42 2133r48 2134r42 2136r28 2136r45
. 2949b10
2114e10 Side{5|33E9} 2130r23 2133r23 2950b10
2120e21 C{character} 2120r48
2129i17 Low{positive} 2136r57
2132i17 High{positive} 2136r62
2139V16*Trim{78R12} 2140>10 2141>10 2142>10 2953b16
2140r10 Source{78R12} 2148r37 2150r41 2160r26 2162r26 2164r50 2954b10
2141a10 Left{8|62A9} 2148r63 2160r34 2955b10
2142a10 Right{8|62A9} 2150r67 2162r34 2956b10
2148e21 C{character} 2148r60
2150e25 C{character} 2150r64
2159i17 Low{positive} 2164r58
2161i17 High{positive} 2164r63
2167U17*Trim 2168=10 2169>10 2170>10 2959b17
2168r10 Source{78R12} 2176r37 2178r41 2180r22 2188r26 2190r26 2192r28 2192r45
. 2960b10
2169a10 Left{8|62A9} 2176r63 2188r38 2961b10
2170a10 Right{8|62A9} 2178r67 2190r38 2962b10
2176e21 C{character} 2176r60
2178e25 C{character} 2178r64
2187i17 Low{positive} 2192r57
2189i17 High{positive} 2192r62
2195V16*Head{78R12} 2196>10 2197>10 2198>10 2199>10 2965b16
2196r10 Source{78R12} 2203r29 2207r47 2209r28 2215r49 2215r71 2217r46 2218r42
. 2226r49 2226r71 2228r46 2229r47 2231r28 2243r70 2244r27 2244r67 2247r49
. 2248r44 2966b10
2197i10 Count{natural} 2201r31 2203r12 2207r58 2209r12 2209r45 2213r37 2217r59
. 2218r26 2220r12 2231r12 2243r54 2244r35 2247r33 2248r28 2967b10
2198e10 Pad{character} 2218r53 2229r58 2235r60 2248r55 2968b10
2199e10 Drop{5|30E9} 2201r55 2220r40 2231r58 2969b10
2250U17*Head 2251=10 2252>10 2253>10 2254>10 2972b17
2251r10 Source{78R12} 2258r29 2262r25 2262r42 2264r28 2268r22 2270r25 2270r44
. 2271r31 2273r25 2273r41 2274r42 2280r22 2282r25 2282r44 2283r31 2285r25
. 2285r41 2286r47 2288r28 2292r25 2298r22 2300r25 2300r65 2301r27 2302r54
. 2304r25 2305r49 2306r44 2973b10
2252i10 Count{natural} 2256r31 2258r12 2262r57 2264r12 2264r45 2268r32 2273r58
. 2274r26 2276r12 2288r12 2300r49 2302r22 2305r33 2306r28 2974b10
2253e10 Pad{character} 2274r57 2286r62 2292r55 2306r59 2975b10
2254e10 Drop{5|30E9} 2256r55 2276r40 2288r58 2976b10
2308V16*Tail{78R12} 2309>10 2310>10 2311>10 2312>10 2979b16
2309r10 Source{78R12} 2316r28 2322r26 2322r42 2322r71 2325r29 2331r57 2332r42
. 2334r54 2335r31 2343r62 2344r47 2346r30 2348r44 2349r36 2351r28 2363r57
. 2364r42 2366r54 2367r27 2367r67 2980b10
2310i10 Count{natural} 2314r31 2316r12 2320r18 2322r52 2325r12 2325r46 2329r37
. 2331r41 2332r26 2334r38 2334r67 2337r12 2351r12 2363r41 2364r26 2366r38
. 2367r51 2981b10
2311e10 Pad{character} 2332r53 2344r58 2355r60 2364r53 2982b10
2312e10 Drop{5|30E9} 2314r55 2337r41 2351r59 2983b10
2369U17*Tail 2370=10 2371>10 2372>10 2373>10 2986b17
2370r10 Source{78R12} 2377r28 2382r28 2383r26 2384r29 2384r62 2385r28 2387r29
. 2391r22 2393r25 2393r52 2394r42 2396r25 2396r49 2397r31 2403r22 2405r25
. 2405r57 2406r47 2408r30 2409r28 2410r44 2411r36 2413r28 2417r25 2423r22
. 2425r25 2425r52 2426r42 2428r25 2428r49 2429r27 2430r54 2987b10
2371i10 Count{natural} 2375r31 2377r12 2381r18 2384r43 2387r12 2387r46 2391r32
. 2393r36 2394r26 2396r33 2396r66 2399r12 2413r12 2425r36 2426r26 2428r33
. 2430r38 2988b10
2372e10 Pad{character} 2394r57 2406r62 2417r55 2426r57 2989b10
2373e10 Drop{5|30E9} 2375r55 2399r41 2413r59 2990b10
2436V17*"*"{78R12} 2437>10 2438>10 7|45b17 51l12 51t14
2437i10 Left{natural} 2440r17 2441r48 7|46b10 50r24
2438e10 Right{character} 2441r56 7|47b10 50r30
2443V17*"*"{78R12} 2444>10 2445>10 7|53b17 59l12 59t14
2444i10 Left{natural} 2447r21 2447r65 2449r33 2452r37 7|54b10 58r24
2445a10 Right{string} 2447r36 2449r40 2451r19 2452r44 2454r23 2454r30 2454r56
. 7|55b10 58r30
2452i27 K{integer} 2453r42 2454r45
2456V17*"*"{78R12} 2457>10 2458>10 2993b17
2457i10 Left{natural} 2460r21 2460r67 2462r33 2465r37 2994b10
2458r10 Right{78R12} 2460r44 2462r48 2464r27 2465r52 2467r32 2467r63 2995b10
2465i27 K{integer} 2466r42 2467r44
2469V16*Replicate{78R12} 2470>10 2471>10 2472>10 7|74b16 81l11 81t20
2470i10 Count{natural} 2474r21 2477r44 7|75b10 80r34
2471e10 Item{character} 2477r54 7|76b10 80r41
2472e10 Drop{5|30E9} 2474r45 7|77b10 80r47
2479V16*Replicate{78R12} 2480>10 2481>10 2482>10 7|83b16 90l11 90t20
2480i10 Count{natural} 2485r15 2485r62 2488r12 2488r58 2490r42 2493r40 2496r12
. 2497r50 7|84b10 89r34
2481a10 Item{string} 2485r35 2488r30 2490r50 2492r22 2493r48 2495r26 2495r32
. 2495r57 2497r23 2504r23 2504r29 2504r54 2511r23 2511r29 2511r62 7|85b10
. 89r41
2482e10 Drop{5|30E9} 2486r17 2498r23 7|86b10 89r47
2493i30 K{integer} 2494r51 2495r46
2502i27 K{integer} 2503r48 2504r43
2509i27 K{integer} 2510r48 2511r55
2513V16*Replicate{78R12} 2514>10 2515>10 2516>10 2998b16
2514i10 Count{natural} 2519r15 2519r64 2522r16 2522r62 2524r42 2527r40 2530r12
. 2531r52 2999b10
2515r10 Item{78R12} 2519r43 2522r40 2524r58 2526r30 2527r56 2529r35 2529r65
. 2531r31 2538r32 2538r62 2545r32 2546r33 2546r70 3000b10
2516e10 Drop{5|30E9} 2520r17 2532r23 3001b10
2527i30 K{integer} 2528r51 2529r46
2536i27 K{integer} 2537r48 2538r43
2543i27 K{integer} 2544r48 2546r55
2570V16 From_String{78R12} 2570>29 2574r46 7|65b16 68l11 68t22
2570a29 Source{string} 2571r19 7|65b29 67r34
X 8 a-strmap.ads
51K21*Maps 6|46w18 46r45 748r20 748r46 801r20 852r19 863r34 880r20 891r30
. 899r20 899r46 962r20 1023r20 1041r41 1062r20 1075r30 1174r20 1174r46 1182r20
. 1189r19 1195r19 1212r38 1230r40 1237r39 1246r24 1252r19 1266r38 1284r40
. 1291r39 1300r24 1319r20 1325r30 1330r21 1336r30 1341r20 1355r20 2141r19
. 2142r19 2148r48 2150r52 2169r19 2170r19 2176r48 2178r52 2781r20 2781r46
. 2788r20 2793r19 2803r20 2803r46 2811r20 2816r20 2836r20 2836r46 2842r20
. 2847r19 2852r19 2861r19 2869r20 2874r21 2879r20 2884r20 2955r19 2956r19
. 2961r19 2962r19 8|650e21
62A9*Character_Set<370A9> 6|852r24 1023r25 1189r24 1195r24 1252r24 2141r24
. 2142r24 2169r24 2170r24 2793r24 2816r25 2847r24 2852r24 2861r24 2955r24
. 2956r24 2961r24 2962r24
181V13*Is_In{boolean} 6|863s39 880s25 891s35 1041s46 1062s25 1075s35 1212s43
. 1230s45 1237s44 1246s29 1266s43 1284s45 1291s44 1300s29 2148s53 2150s57
. 2176s53 2178s57
259A9*Character_Mapping(character) 6|748r25 899r25 1174r25 1319r25 1330r26
. 2781r25 2803r25 2836r25 2869r25 2874r26
275V13*Value{character} 6|1325s35 1336s35
292a4*Identity{259A9} 6|748r51 899r51 1174r51 2781r51 2803r51 2836r51
360P9*Character_Mapping_Function(character) 6|46r50 801r25 962r25 1182r25
. 1341r25 1355r25 2788r25 2811r25 2842r25 2879r25 2884r25
370A9 Character_Set_Internal(boolean)<character>
X 9 a-strsea.ads
53K21*Search 6|48w18 766r19 774r25 787r31 819r19 827r25 840r31 922r18 933r25
. 946r31 986r18 997r25 1010r31 9|631e23
X 10 a-strsup.ads
54K21*Superbounded 6|47w18 2564r34 10|2731e29
63A9*Super_String_Data<string>(character)<integer>
65R9*Super_String 6|2564r47 10|73e4
66i7*Current_Length{natural} 6|2579m32
67a7*Data{63A9} 6|2580m32
83V13*Super_Length{natural} 6|2593r18
91V13*To_Super_String{65R9} 7|67s17 101s17
119V13*Super_To_String{string} 6|2597r18
122U14*Set_Super_String 6|2589r18
145V13*Super_Append{65R9} 6|2603r18
202V13*Super_Append{65R9} 6|2609r18
266V13*Super_Append{65R9} 6|2615r18
324V13*Super_Append{65R9} 6|2621r18
360V13*Super_Append{65R9} 6|2627r18
392U14*Super_Append 6|2633r18
449U14*Super_Append 6|2639r18
512U14*Super_Append 6|2645r18
543V13*Concat{65R9} 6|2650r18
563V13*Concat{65R9} 6|2655r18
581V13*Concat{65R9} 6|2660r18
597V13*Concat{65R9} 6|2665r18
610V13*Concat{65R9} 6|2670r18
623V13*Super_Element{character} 6|2675r18
632U14*Super_Replace_Element 6|2681r18
645V13*Super_Slice{string} 6|2687r18
663V13*Super_Slice{65R9} 6|2693r18
676U14*Super_Slice 6|2700r18
695V13*Equal=697:52{boolean} 6|2705r18
699V13*Equal{boolean} 6|2710r18
706V13*Equal{boolean} 6|2715r18
713V13*Less{boolean} 6|2720r18
722V13*Less{boolean} 6|2725r18
729V13*Less{boolean} 6|2730r18
736V13*Less_Or_Equal{boolean} 6|2735r18
746V13*Less_Or_Equal{boolean} 6|2740r18
753V13*Less_Or_Equal{boolean} 6|2745r18
760V13*Greater{boolean} 6|2750r18
769V13*Greater{boolean} 6|2755r18
776V13*Greater{boolean} 6|2760r18
783V13*Greater_Or_Equal{boolean} 6|2765r18
793V13*Greater_Or_Equal{boolean} 6|2770r18
800V13*Greater_Or_Equal{boolean} 6|2775r18
811V13*Super_Index{natural} 6|2782r18
865V13*Super_Index{natural} 6|2789r18
919V13*Super_Index{natural} 6|2796r18
963V13*Super_Index{natural} 6|2804r18
1025V13*Super_Index{natural} 6|2812r15
1088V13*Super_Index{natural} 6|2820r15
1145V13*Super_Index_Non_Blank{natural} 6|2825r18
1184V13*Super_Index_Non_Blank{natural} 6|2831r18
1237V13*Super_Count{natural} 6|2837r18
1245V13*Super_Count{natural} 6|2843r18
1253V13*Super_Count{natural} 6|2848r18
1259U14*Super_Find_Token 6|2857r18
1317U14*Super_Find_Token 6|2865r18
1376V13*Super_Translate{65R9} 6|2870r18
1388U14*Super_Translate 6|2875r18
1399V13*Super_Translate{65R9} 6|2880r18
1415U14*Super_Translate 6|2885r18
1434V13*Super_Replace_Slice{65R9} 6|2893r18
1577U14*Super_Replace_Slice 6|2901r18
1713V13*Super_Insert{65R9} 6|2908r18
1840U14*Super_Insert 6|2915r18
1965V13*Super_Overwrite{65R9} 6|2922r18
2055U14*Super_Overwrite 6|2929r18
2143V13*Super_Delete{65R9} 6|2935r18
2167U14*Super_Delete 6|2941r18
2194V13*Super_Trim{65R9} 6|2946r18
2223U14*Super_Trim 6|2951r18
2250V13*Super_Trim{65R9} 6|2957r18
2281U14*Super_Trim 6|2963r18
2310V13*Super_Head{65R9} 6|2970r18
2371U14*Super_Head 6|2977r18
2430V13*Super_Tail{65R9} 6|2984r18
2499U14*Super_Tail 6|2991r18
2575V13*Times{65R9} 7|50s17
2586V13*Times{65R9} 7|58s17
2602V13*Times{65R9} 6|2996r18
2617V13*Super_Replicate{65R9} 7|80s17
2630V13*Super_Replicate{65R9} 7|89s17
2668V13*Super_Replicate{65R9} 6|3002r18