V "GNAT Lib v4.9" 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_ALLOCATORS RV NO_DISPATCH RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTION_PROPAGATION RV NO_EXCEPTIONS RV NO_LOCAL_ALLOCATORS RV NO_STANDARD_STORAGE_POOLS RV NO_STREAMS RV NO_UNCHECKED_ACCESS RV NO_UNCHECKED_DEALLOCATION RV NO_DEFAULT_INITIALIZATION RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV NO_IMPLICIT_ALIASING RV SPARK_05 U ada.containers.hash_tables.generic_operations%b a-chtgop.adb cfd2aa70 NE OL PK GE W ada%s ada.ads ada.ali W ada.containers%s a-contai.ads a-contai.ali W ada.containers.hash_tables%s a-cohata.ads a-cohata.ali W ada.containers.prime_numbers%s a-coprnu.adb a-coprnu.ali W ada.streams%s a-stream.adb a-stream.ali W ada.unchecked_deallocation%s W system%s system.ads system.ali U ada.containers.hash_tables.generic_operations%s a-chtgop.ads aa4d2b62 BN NE OL PR PK GE W ada%s ada.ads ada.ali W ada.containers.hash_tables%s a-cohata.ads a-cohata.ali W ada.streams%s a-stream.adb a-stream.ali D ada.ads 20070406121342 3ffc8e18 D a-contai.ads 20101025165030 61e5e089 D a-cohata.ads 20110804181834 04abccc5 D a-chtgop.ads 20140219165932 b47ea0e7 D a-chtgop.adb 20140220154616 c00683b2 D a-coprnu.ads 20090409180020 0cdf1864 D a-except.ads 20140129181954 f86a4103 D a-stream.ads 20140122184720 1a984740 D a-tags.ads 20111212135430 6c0509d0 D a-unccon.ads 20070406121342 f9eb8f06 D a-uncdea.ads 20070406121342 f15a5ed1 D system.ads 20160804194326 462fcf90 D s-exctab.ads 20140225171140 54135002 D s-parame.ads 20140225171140 ab8cb46a D s-soflin.ads 20140225171140 aa763b52 D s-stache.ads 20140225171140 a37c21ec D s-stalib.ads 20140225171140 a891183f D s-stoele.ads 20140225171140 2dc34a04 D s-stoele.adb 20140225171140 ed88f8fb D s-traent.ads 20140225171140 b5116092 X 1 ada.ads 16K9*Ada 19e8 4|33r6 54r9 154r11 165r11 186r5 5|30r6 31r6 35r14 293r13 787r5 X 2 a-contai.ads 16K13*Containers 1|16k9 2|24e19 4|54r13 186r9 5|30r10 35r18 787r9 19M9*Hash_Type 4|42r56 63r37 69r40 77r40 83r40 175r35 5|131r40 133r16 159r40 . 170r15 208r14 270r14 340r17 457r12 488r29 535r37 542r40 579r35 580r22 598r16 . 627r12 715r22 727r43 20I9*Count_Type 4|119r52 124r12 5|47r30 115r52 343r11 456r12 462r7 . 525r7 625r12 695r40 712r14 713r24 X 3 a-cohata.ads 33K24*Hash_Tables 2|16k13 3|76e31 4|54r24 186r20 5|35r29 787r20 38+12 Node_Type 40P12 Node_Access(38+12[4|37]) 4|42r36[37] 44r31[37] 44r51[37] 47r14[37] . 48r14[37] 50r39[37] 50r59[37] 52r36[37] 63r17[37] 69r20[37] 77r20[37] 83r20[37] . 99r16[37] 133r12[37] 136r49[37] 142r14[37] 142r34[37] 149r38[37] 157r19[37] . 167r17[37] 5|48r21[4|37] 49r21[4|37] 74r36[4|37] 90r39[4|37] 131r20[4|37] . 159r20[4|37] 171r15[4|37] 185r22[4|37] 204r12[4|37] 209r14[4|37] 210r14[4|37] . 269r49[4|37] 307r14[4|37] 341r17[4|37] 432r14[4|37] 487r29[4|37] 489r20[4|37] . 507r31[4|37] 516r31[4|37] 535r17[4|37] 542r20[4|37] 595r14[4|37] 595r34[4|37] . 597r16[4|37] 720r29[4|37] 725r42[4|37] 730r35[4|37] 761r29[4|37] 762r29[4|37] 42k12*Generic_Hash_Table_Types 55e32 4|38r10 43A12 Buckets_Type(40P12[4|37])<2|19M9> 4|62r17[37] 76r20[37] 5|37r42[4|37] . 130r20[4|37] 293r41[4|37] 534r17[4|37] 586r54[4|37] 45P12 Buckets_Access(43A12[4|37]) 4|57r48[37] 175r53[37] 179r45[37] 5|46r30[4|37] . 291r45[4|37] 306r48[4|37] 565r29[4|37] 579r53[4|37] 586r14[4|37] 663r17[4|37] . 708r24[4|37] 709r24[4|37] 49R12 Hash_Table_Type 4|68r20[37] 75r35[37] 82r35[37] 86r34[37] 92r36[37] . 98r16[37] 101r14[37] 108r33[37] 113r44[37] 119r28[37] 123r19[37] 132r19[37] . 136r25[37] 141r29[37] 150r38[37] 160r16[37] 170r20[37] 5|45r34[4|37] 115r28[4|37] . 129r35[4|37] 158r35[4|37] 169r33[4|37] 203r19[4|37] 259r36[4|37] 269r25[4|37] . 330r14[4|37] 431r38[4|37] 454r20[4|37] 505r16[4|37] 541r20[4|37] 551r44[4|37] . 594r29[4|37] 624r19[4|37] 50p10 Buckets{45P12[4|37]} 5|46r51[4|37] 52m10[4|37] 67m10[4|37] 81r18[4|37] . 81r19[4|37] 117r13[4|37] 121r17[4|37] 162r52[4|37] 180r18[4|37] 180r19[4|37] . 185r44[4|37] 185r45[4|37] 219r17[4|37] 219r18[4|37] 227r12[4|37] 227r13[4|37] . 262m24[4|37] 277r18[4|37] 279r15[4|37] 279r16[4|37] 280r22[4|37] 280r23[4|37] . 362r21[4|37] 362r22[4|37] 402r27[4|37] 402r28[4|37] 439r22[4|37] 440r20[4|37] . 440r21[4|37] 477r13[4|37] 478r20[4|37] 480m27[4|37] 482m13[4|37] 489r42[4|37] . 489r43[4|37] 544r32[4|37] 565r54[4|37] 567m17[4|37] 567r35[4|37] 568m17[4|37] . 608r31[4|37] 609r22[4|37] 609r23[4|37] 630r13[4|37] 633m16[4|37] 648m30[4|37] . 652r20[4|37] 658r21[4|37] 663r38[4|37] 666m16[4|37] 673r17[4|37] 677r17[4|37] . 684r29[4|37] 690r22[4|37] 697r21[4|37] 709r45[4|37] 780m13[4|37] 51i10 Length{2|20I9} 5|47r47[4|37] 53m10[4|37] 82m19[4|37] 82r32[4|37] 98m22[4|37] . 98r35[4|37] 108r25[4|37] 179r16[4|37] 190m19[4|37] 190r32[4|37] 213r13[4|37] . 228m13[4|37] 228r26[4|37] 232r13[4|37] 247m16[4|37] 247r29[4|37] 273r13[4|37] . 350r12[4|37] 350r24[4|37] 354r12[4|37] 379r14[4|37] 435r13[4|37] 495m13[4|37] . 495r26[4|37] 525r41[4|37] 571m14[4|37] 571r31[4|37] 572m14[4|37] 639r13[4|37] . 684r16[4|37] 688r43[4|37] 695r62[4|37] 712m36[4|37] 781m13[4|37] 52i10 Busy{natural} 5|135m38[4|37] 174r13[4|37] 332m50[4|37] 335m50[4|37] . 557r17[4|37] 702r13[4|37] 53i10 Lock{natural} 5|136m38[4|37] 333m50[4|37] 336m50[4|37] X 4 a-chtgop.ads 37K17 HT_Types[3|42] 40r8 42V18 Hash_Node{2|19M9} 42>29 5|537s14 42*29 Node{3|40P12[37]} 44V18 Next{3|40P12[37]} 44>24 5|87s25 103s28 189s26 227s31 238s18 246s45 . 317s28 388s20 443s21 601s17 733s36 766s33 44*24 Node{3|40P12[37]} 46U19 Set_Next 47>7 48>7 5|97s19 246s13 491s13 735s22 47*7 Node{3|40P12[37]} 5|97r29 246r23 491r23 48*7 Next{3|40P12[37]} 5|97r47 246r37 491r37 50V19 Copy_Node{3|40P12[37]} 50>30 5|74s51 90s54 50*30 Source{3|40P12[37]} 52U19 Free 52=25 5|191s16 318s13 767s28 52*25 X{3|40P12[37]} 54k36*Generic_Operations 3|33k24 4|37z17 42z18 44z18 46z19 50z19 52z19 186l32 . 186e50 5|35b41 787l32 787t50 57U14*Free_Hash_Table 57=31 5|306b14 323l8 323t23 57p31 Buckets{3|45P12[37]} 5|306b31 310r10 314r16 315r16 316r21 317r13 322m21 61V13*Index{2|19M9} 62>7 63>7 64r19 5|142s17 533b13 538l8 538t13 544s14 62a7 Buckets{3|43A12[37]} 5|534b7 537r35 63*7 Node{3|40P12[37]} 5|535b7 537r25 67V13*Index{2|19M9} 68>7 69>7 5|540b13 545l8 545t13 68r7 Hash_Table{3|49R12[37]} 5|541b7 544r21 69*7 Node{3|40P12[37]} 5|542b7 544r45 74V13*Checked_Index{2|19M9} 75=7 76>7 77>7 5|128b13 155l8 155t21 162s14 728s24 75r7 Hash_Table{3|49R12[37]} 5|129b7 135m27 135r27 136m27 136r27 76a7 Buckets{3|43A12[37]} 5|130b7 142r24 77*7 Node{3|40P12[37]} 5|131b7 142r33 81V13*Checked_Index{2|19M9} 82=7 83>7 5|78s31 94s34 157b13 163l8 163t21 218s15 . 488s42 607s16 82r7 Hash_Table{3|49R12[37]} 5|158b7 162m29 162r29 162r41 83*7 Node{3|40P12[37]} 5|159b7 162r65 86U14*Adjust 86=22 5|45b14 109l8 109t14 86r22 HT{3|49R12[37]} 5|45b22 46r48 47r44 52m7 53m7 67m7 78m46 78r46 81r16 . 82m16 82r29 94m49 94r49 98m19 98r32 108r22 92U14*Finalize 92=24 5|259b14 263l8 263t16 92r24 HT{3|49R12[37]} 5|259b24 261m14 262m21 262r21 97V21 Find{boolean} 98>10 99>10 5|381s17 98r10 HT{3|49R12[37]} 5|381r23 99*10 Key{3|40P12[37]} 5|381r32 100v13*Generic_Equal 101>7 101>10 5|329b13 425l8 425t21 101r7 L{3|49R12[37]} 5|330b7 332r28 333r28 346r10 350r10 354r10 362r20 379r12 . 402r26 101r10 R{3|49R12[37]} 5|330b10 335r28 336r28 346r22 350r22 381r29 108U14*Clear 108=21 5|169b14 196l8 196t13 261s7 460s7 562s7 108r21 HT{3|49R12[37]} 5|169b21 174r10 179r13 180r16 185r42 190m16 190r29 113U14*Move 113=20 113=28 5|551b14 573l8 573t12 113r20 Target{3|49R12[37]} 5|551b20 553m10 553r10 562m14 565r47 567m10 571m7 113r28 Source{3|49R12[37]} 5|551b28 553m27 553r27 557r10 567r28 568m10 571r24 . 572m7 119V13*Capacity{2|20I9} 119>23 5|115b13 122l8 122t16 119r23 HT{3|49R12[37]} 5|115b23 117r10 121r14 122U14*Reserve_Capacity 123=7 124>7 5|623b14 785l8 785t24 123r7 HT{3|49R12[37]} 5|624b7 630r10 633m13 639r10 648m27 648r27 652r17 658r18 . 663r35 666m13 673r14 677r14 684r13 684r26 688r40 690r19 695r59 697r18 702r10 . 709r42 712m33 712r33 728m39 728r39 780m10 781m10 124i7 N{2|20I9} 5|625b7 631r13 632r43 647r13 652r13 656r40 673r10 677r10 . 695r56 131U14*Delete_Node_Sans_Free 132=7 133>7 5|202b14 253l8 253t29 132r7 HT{3|49R12[37]} 5|203b7 213r10 218m30 218r30 219r15 227r10 228m10 228r23 . 232r10 247m13 247r26 133*7 X{3|40P12[37]} 5|204b7 206r22 218r34 226r17 245r20 136V13*First{3|40P12[37]} 136>20 5|269b13 285l8 285t13 136r20 HT{3|49R12[37]} 5|269b20 273r10 277r15 279r13 280r20 140V13*Next{3|40P12[37]} 141=7 142>7 5|593b13 617l8 617t12 141r7 HT{3|49R12[37]} 5|594b7 607m31 607r31 608r28 609r20 142*7 Node{3|40P12[37]} 5|595b7 601r23 607r35 149U22 Process 149>31 5|442s13 149*31 Node{3|40P12[37]} 150u14*Generic_Iteration 150>33 5|431b14 446l8 446t25 510r30 150r33 HT{3|49R12[37]} 5|431b33 435r10 439r19 440r18 155U22 Write 156^10 157>10 5|518s10 156p10 Stream(8|39R9) 157*10 Node{3|40P12[37]} 158u14*Generic_Write 159^7 160>7 5|503b14 527l8 527t21 159p7 Stream(8|39R9) 5|504b7 518r17 525r30 160r7 HT{3|49R12[37]} 5|505b7 525r38 526r14 166V21 New_Node{3|40P12[37]} 166^31 5|487s44 166p31 Stream(8|39R9) 168u14*Generic_Read 169^7 170<7 5|452b14 497l8 497t20 169p7 Stream(8|39R9) 5|453b7 462r29 487r54 170r7 HT{3|49R12[37]} 5|454b7 460m14 477r10 478r17 480m24 480r24 482m10 488m57 . 488r57 489r40 495m10 495r23 175V13*New_Buckets{3|45P12[37]} 175>26 176r19 5|67s21 482s24 579b13 587l8 . 587t19 633s27 666s27 708s42 175m26 Length{2|19M9} 5|67r34 482r37 579b26 580r43 633r40 666r40 708r55 179U14*Free_Buckets 179=28 180r19 5|262s7 291b14 300l8 300t20 322s7 480s10 . 648s13 667s13 772s19 783s10 179p28 Buckets{3|45P12[37]} 5|291b28 299m33 299r33 X 5 a-chtgop.adb 37P9 Buckets_Allocation(3|43A12[4|37]) 293r55 299r13 586r30 46p7 Src_Buckets{3|45P12[4|37]} 67r44 69r24 70r22 47i7 N{2|20I9} 55r10 108r34 48*7 Src_Node{3|40P12[4|37]} 70m10 72r13 74r62 87m13 87r31 88r19 90r65 103m16 . 103r34 49*7 Dst_Prev{3|40P12[4|37]} 84m16 97r37 100m19 69m11 Src_Index{2|19M9} 70r35 78r62 81r28 94r65 74*16 Dst_Node{3|40P12[4|37]} 78r50 81r42 84r28 90*19 Dst_Node{3|40P12[4|37]} 94r53 97r55 100r31 133m7 Result{2|19M9} 142m7 147r14 135i7 B{natural} 139r7 139r12 144r7 144r12 151r10 151r15 136i7 L{natural} 140r7 140r12 145r7 145r12 152r10 152r15 170m7 Index{2|19M9} 180r28 181m13 181r22 185r54 171*7 Node{3|40P12[4|37]} 188m16 191m22 191r22 185*13 Bucket{3|40P12[4|37]} 188r24 189r16 189r32 192r26 208m7 Indx{2|19M9} 218m7 219r27 227r22 209*7 Prev{3|40P12[4|37]} 219m7 221r10 226r10 227r37 238r24 246r31 251m10 210*7 Curr{3|40P12[4|37]} 238m10 240r13 245r13 246r51 251r18 270m7 Indx{2|19M9} 277m7 279r25 280r32 283m10 283r18 292U17 Free[11|20] 299s7 307*7 Node{3|40P12[4|37]} 316m13 317r34 318m19 318r19 314m11 J{2|19M9} 315r25 316r30 317r22 332i7 BL{natural} 370r7 370r13 408r7 408r13 418r10 418r16 333i7 LL{natural} 371r7 371r13 409r7 409r13 419r10 419r16 335i7 BR{natural} 373r7 373r13 411r7 411r13 421r10 421r16 336i7 LR{natural} 374r7 374r13 412r7 412r13 422r10 422r16 338b7 Result{boolean} 382m13 394m16 414r14 340m7 L_Index{2|19M9} 360m7 362r31 364m10 364r21 401m16 401r27 402r37 341*7 L_Node{3|40P12[4|37]} 362m10 363r20 381r39 388m10 388r26 390r13 402m16 . 403r26 343i7 N{2|20I9} 379m7 386m10 386r15 393r16 432*7 Node{3|40P12[4|37]} 440m10 441r16 442r22 443m13 443r27 439m11 Indx{2|19M9} 440r30 456i7 N 462m37 462r37 464r10 468r10 478r37 481r40 485r21 457m7 NN{2|19M9} 481m10 482r47 485i11 J 487*13 Node{3|40P12[4|37]} 488r61 491r31 492r18 488m13 Indx{2|19M9} 489r52 489*13 B{3|40P12[4|37]} 491r45 492r13 507U17 Write 507>24 510r49 516b17 519l11 519t16 507*24 Node{3|40P12[4|37]} 516b24 518r25 510U17 Write[4|150] 526s7 565p10 Buckets{3|45P12[4|37]} 568r28 580M15 Rng{2|19M9} 586r68 597*7 Result{3|40P12[4|37]} 601m7 603r10 604r17 609m10 611r13 612r20 598m7 First{2|19M9} 607m7 608r19 608m11 Indx{2|19M9} 609r32 627m7 NN{2|19M9} 632m13 633r50 656m10 658r13 666r50 688m10 690r13 695m10 . 697r13 708r65 663p13 X{3|45P12[4|37]} 664r35 667m27 667r27 707q7 Rehash 784l11 784e17 708p10 Dst_Buckets{3|45P12[4|37]} 728r43 730r55 759r36 761r49 772m33 772r33 . 780r24 709p10 Src_Buckets{3|45P12[4|37]} 710r32 715r35 720r49 783m24 783r24 712i10 L{2|20I9} 713r38 718r16 740r34 741r19 741r24 713i10 LL{2|20I9} 781r23 715m10 Src_Index{2|19M9} 720r62 777m13 777r26 720*16 Src_Bucket=720:49{3|40P12[4|37]} 723r22 725r57 733r22 725*22 Src_Node{3|40P12[4|37]} 728r60 733r42 735r32 737r36 727m22 Dst_Index{2|19M9} 730r68 730*22 Dst_Bucket=730:55{3|40P12[4|37]} 735r42 737r22 759m23 Dst_Index{2|19M9} 761r62 761*25 B=761:49{3|40P12[4|37]} 764r31 765r33 766r28 762*25 X{3|40P12[4|37]} 765m28 766r39 767m34 767r34 X 6 a-coprnu.ads 35K24*Prime_Numbers 5|30w21 481r16 632r19 656r16 688r16 695r16 6|51e33 48V13*To_Prime{2|19M9} 5|481s30 632s33 656s30 688s30 695s30 X 8 a-stream.ads 36K13*Streams 4|33w10 154r15 165r15 8|84e16 39H9*Root_Stream_Type 4|156r35 159r32 166r56 169r32 5|453r32 504r32 8|67e64 X 11 a-uncdea.ads 20u15*Unchecked_Deallocation 5|31w10 293r17 X 12 system.ads 42K9*System 5|33w6 33r24 12|160e11 69M9*Address 5|33r31 86V14*"="{boolean} 5|346r20 553r25