1V "GNAT Lib v5" 2A -gnatwa 3A -nostdinc 4A -O2 5A -Wextra 6A -Wall 7A -g 8A -gnatp 9A -gnatg 10A -mtune=generic 11A -march=x86-64 12P ZX 13 14RN 15RV NO_ALLOCATORS 16RV NO_EXCEPTIONS 17RV NO_FINALIZATION 18RV NO_LOCAL_ALLOCATORS 19RV NO_NESTED_FINALIZATION 20RV NO_STANDARD_STORAGE_POOLS 21RV NO_UNCHECKED_DEALLOCATION 22RV NO_DEFAULT_INITIALIZATION 23RV SPARK_05 24 25U gnat.array_split%b g-arrspl.adb eab9ea3c NE OL PK GE 26W ada%s ada.ads ada.ali 27W ada.tags%s a-tags.adb a-tags.ali 28W ada.unchecked_deallocation%s 29W gnat%s gnat.ads gnat.ali 30 31U gnat.array_split%s g-arrspl.ads 5af2fa38 BN EE NE OL PK GE 32W ada%s ada.ads ada.ali 33W ada.finalization%s a-finali.adb a-finali.ali 34W gnat%s gnat.ads gnat.ali 35 36D ada.ads 20070406091342 3ffc8e18 ada%s 37D a-except.ads 20140730140058 5250cb69 ada.exceptions%s 38D a-finali.ads 20140611123707 69f99942 ada.finalization%s 39D a-stream.ads 20141120112812 119b8fb3 ada.streams%s 40D a-tags.ads 20140730140058 dc4d0634 ada.tags%s 41D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s 42D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s 43D gnat.ads 20140801083227 fd2ad2f1 gnat%s 44D g-arrspl.ads 20140120135443 ce21b18b gnat.array_split%s 45D g-arrspl.adb 20140120135730 d5c20566 gnat.array_split%b 46D system.ads 20150428105438 bf8979bc system%s 47D s-exctab.ads 20140225151139 54135002 system.exception_table%s 48D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s 49D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s 50D s-soflin.ads 20140801100131 aa763b52 system.soft_links%s 51D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s 52D s-stalib.ads 20150220094550 fa0a3617 system.standard_library%s 53D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s 54D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s 55X 1 ada.ads 5616K9*Ada 19e8 9|36r6 182r26 10|32r6 37r11 40r11 114r14 117r14 57X 3 a-finali.ads 5840K13*Finalization 68e21 9|36w10 182r30 5943H9*Controlled<13|40R9> 59e72 9|182r43 60X 7 a-uncdea.ads 6120u15*Unchecked_Deallocation 10|32w10 37r15 40r15 114r18 117r18 62X 8 gnat.ads 6334K9*GNAT 37e9 9|58r9 190r5 10|34r14 354r5 64X 9 g-arrspl.ads 6539E9 Element 42r58 55r32 134r49 137r25 156r25 156r36 6642A9 Element_Sequence(39E9)<integer> 51r37 84r20 85r20 98r20 105r20 125r36 67. 158r34 10|43r17 63r20 64r20 77r20 83r30 93r17 114r42 196r20 233r34 330r36 6845+9 Element_Set 51r62 55r47 99r20 112r20 10|44r17 78r20 94r17 209r20 6951V18 To_Set{45+9} 51>26 10|68s24 200s15 7051*26 Sequence{42A9} 7155V18 Is_In{boolean} 55>25 55>41 10|99s13 259s13 7255*25 Item{39E9} 7355*41 Set{45+9} 7458k14*Array_Split 8|34k9 9|39z9 42z9 45z9 51z18 55z18 156E4 190l10 190e21 75. 10|34b19 354l10 354t21 7660X4*Index_Error 10|157r16 337r16 7763E9*Separator_Mode 72e7 86r20 100r20 106r20 113r20 10|65r20 79r20 197r20 78. 210r20 7964n7*Single{63E9} 86r38 100r38 106r38 113r38 10|65r38 79r38 197r38 210r38 80. 298r21 8169n7*Multiple{63E9} 10|306r21 8274R9*Slice_Set<3|43R9> 83r24 97r24 104r27 111r27 119r30 124r15 141r15 151r29 83. 182c9 184e14 186r37 187r37 188r37 10|52r33 62r24 76r24 81r16 111r35 142r37 84. 152r15 185r29 195r27 208r27 213r43 220r43 329r15 349r30 8582U14*Create 83<7 84>7 85>7 86>7 10|61b14 69l8 69t14 8683r7 S{74R9} 10|62b7 68m15 8784*7 From{42A9} 10|63b7 68r18 8885*7 Separators{42A9} 10|64b7 68r32 8986e7 Mode{63E9} 10|65b7 68r45 9096U14*Create 97<7 98>7 99>7 100>7 10|68s7 75b14 86l8 86t14 9197r7 S{74R9} 10|76b7 85m7 9298*7 From{42A9} 10|77b7 83r48 9399*7 Separators{45+9} 10|78b7 84r20 94100e7 Mode{63E9} 10|79b7 84r32 95103U14*Set 104=7 105>7 106>7 10|194b14 201l8 201t11 96104r7 S{74R9} 10|195b7 200m12 97105*7 Separators{42A9} 10|196b7 200r23 98106e7 Mode{63E9} 10|197b7 200r36 99110U14*Set 111=7 112>7 113>7 10|84s7 200s7 207b14 322l8 322t11 100111r7 S{74R9} 10|208b7 247r46 251m22 255r7 256r12 258r16 259r20 260r13 273r10 101. 275r19 283r24 286r24 291r13 291r28 292r21 303r28 311r31 314r32 314r50 320r10 102. 320r57 103112*7 Separators{45+9} 10|209b7 247r62 259r36 104113e7 Mode{63E9} 10|210b7 296r18 105116I9*Slice_Number<integer> 119r48 125r15 142r15 168r34 176r21 10|153r15 106. 268r45 330r15 349r48 107119V13*Slice_Count{116I9} 119>26 120r19 10|349b13 352l8 352t19 108119r26 S{74R9} 10|349b26 351r14 109123V13*Slice{42A9} 124>7 125>7 126r19 10|328b13 343l8 343t13 110124r7 S{74R9} 10|329b7 334r17 336r21 341r12 341r24 341r52 111125i7 Index{116I9} 10|330b7 333r10 336r13 341r36 341r64 112131E9*Position 131e36 134r36 113131n22*Before{131E9} 10|164r18 168r18 172r18 176r18 114131n30*After{131E9} 10|165r18 169r18 173r18 177r18 115134A9*Slice_Separators(39E9)<131E9> 142r36 10|153r36 116137*4*Array_End{39E9} 156c4 10|164r28 165r28 168r28 173r28 117140V13*Separators{134A9} 141>7 142>7 10|151b13 179l8 179t18 118141r7 S{74R9} 10|152b7 156r18 160r37 169r28 169r40 171r21 172r28 172r40 176r28 119. 176r40 177r28 177r40 120142i7 Index{116I9} 10|153b7 156r10 159r13 160r18 167r13 169r52 171r13 172r52 121. 176r52 177r52 122149A9*Separators_Indexes(positive)<integer> 151r47 160r34 10|40r39 185r47 123. 255r26 124151V13*Separators{149A9} 151>25 10|185b13 188l8 188t18 125151r25 S{74R9} 10|185b25 187r14 126158P9 Element_Access(42A9) 175r21 10|114r60 127160P9 Indexes_Access(149A9) 177r21 10|40r59 128162R9 Slice_Info 165e14 168r60 129163i7 Start{positive} 10|172r59 176r59 341r43 130164i7 Stop{natural} 10|169r59 177r59 341r71 131168A9 Slices_Indexes(162R9)<116I9> 169r33 10|37r39 268r24 320r28 132169P9 Slices_Access(168A9) 178r21 10|37r55 133173R9 Data 179e14 180r35 10|117r42 144r18 229r24 134174i7 Ref_Counter{natural} 10|54m11 54r30 127m12 127r29 129r15 222r17 225m17 135. 225r36 230m17 136175p7 Source{158P9} 10|83m16 130m21 169r31 169r32 172r31 172r32 176r31 176r32 137. 177r31 177r32 232r20 233m20 233r56 247r50 258r20 259r23 259r24 275r23 283r28 138. 334r21 341r16 139176i7 N_Slice{116I9} 10|156r22 160r41 171r25 273m14 291m17 291r32 292r25 140. 320r61 336r25 351r18 141177p7 Indexes{160P9} 10|131m21 187r18 234m20 242m23 255m11 256r16 260r16 142. 260r17 286r27 286r28 303r31 303r32 311r34 311r35 314r35 314r36 314r53 314r54 143178p7 Slices{169P9} 10|132m21 169r43 169r44 172r43 172r44 176r43 176r44 177r43 144. 177r44 235m20 243m23 320m14 341r27 341r28 341r55 341r56 145180P9 Data_Access(173R9) 183r11 10|117r48 119r11 146183p7 D{180P9} 10|54r8 54r9 54r27 54r28 83r13 83r14 119r28 124m9 144m9 156r19 147. 156r20 160r38 160r39 169r29 169r30 169r41 169r42 171r22 171r23 172r29 172r30 148. 172r41 172r42 176r29 176r30 176r41 176r42 177r29 177r30 177r41 177r42 187r15 149. 187r16 222r14 222r15 225r14 225r15 225r33 225r34 229m15 229r32 230r14 230r15 150. 232r17 232r18 233r17 233r18 233r53 233r54 234r17 234r18 235r17 235r18 242r20 151. 242r21 243r20 243r21 247r47 247r48 255r8 255r9 256r13 256r14 258r17 258r18 152. 259r21 259r22 260r14 260r15 273r11 273r12 275r20 275r21 283r25 283r26 286r25 153. 286r26 291r14 291r15 291r29 291r30 292r22 292r23 303r29 303r30 311r32 311r33 154. 314r33 314r34 314r51 314r52 320r11 320r12 320r58 320r59 334r18 334r19 336r22 155. 336r23 341r13 341r14 341r25 341r26 341r53 341r54 351r15 351r16 156186U14 Initialize<3|46p14> 186=26 10|142b14 145l8 145t18 157186r26 S{74R9} 10|142b26 144m7 158187U14 Adjust<3|47p14> 187=26 10|52b14 55l8 55t14 159187r26 S{74R9} 10|52b22 54r7 54r26 160188U14 Finalize<3|48p14> 188=26 10|111b14 136l8 136t16 161188r26 S{74R9} 10|111b24 119r26 124m7 162X 10 g-arrspl.adb 16336U14 Free[7|20] 132s13 243s13 16439U14 Free[7|20] 131s13 242s13 16542V13 Count{natural} 43>7 44>7 92b13 105l8 105t13 247s39 16643*7 Source{9|42A9} 93b7 98r16 99r20 16744*7 Pattern{9|45+9} 94b7 99r32 16881r7 Result{9|74R9} 83r7 84m12 84r12 85r12 16996i7 C{natural} 100m13 100r18 104r14 17098i11 K{integer} 99r28 171113U17 Free[7|20] 130s13 172116U17 Free[7|20] 133s13 173119p7 D{9|180P9} 126r10 127r10 127r27 129r13 130r19 131r19 132r19 133m19 174. 133r19 175213U17 Copy_On_Write 213=32 220b17 245l11 245t24 251s7 176213r32 S{9|74R9} 220b32 222r13 225r13 225r32 229m13 229r30 230r13 232r16 177. 233r16 233r52 234r16 235r16 242r19 243r19 178247i7 Count_Sep{natural} 255r51 268r59 279r20 294r27 313r36 179248i7 J{positive} 256m7 260r26 261m13 261r18 180258i11 K{integer} 259r32 260r32 181268a10 S_Info{9|168A9} 292m13 320r44 182269i10 K{natural} 279r16 286r37 294r23 303r41 304m19 304r24 311r44 312m22 183. 312r27 313r32 314r45 314r63 184270i10 Start{natural} 275m10 292r38 303m19 311m22 185270i17 Stop{natural} 276m10 283m16 286m16 292r45 186 187