libgmpada4-dev 0.0.20131223-1 / usr / lib / x86_64-linux-gnu / ada / adalib / gmpada / gnu_multiple_precision-big_integers.ali

This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/gmpada/gnu_multiple_precision-big_integers.ali is in libgmpada4-dev 0.0.20131223-1.

This file is owned by root:root, with mode 0o444.

The actual contents of the file can be viewed below. 

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
V "GNAT Lib v4.6"
A -O2
A -fPIC
A -fstack-protector
A -g
A -gnatn
A -gnatA
P SS ZX
R nnvvnnnnnnvnnnnnnnvvnvvnvnvvnnnvnnvnnnnnnvnnvnnnnnnnnnvnnnvnnvnnvnnnnnnnnnnnnnnn

U gnu_multiple_precision.big_integers%b  gnu_multiple_precision-big_integers.adb  1c3c4616 NE OO PK
W ada%s			ada.ads			ada.ali
W ada.characters%s	a-charac.ads		a-charac.ali
W ada.characters.conversions%s  a-chacon.adb	a-chacon.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.unchecked_conversion%s
W gmp%s			gmp.ads			gmp.ali
W gmp.binding%s		gmp-binding.adb		gmp-binding.ali
W gnu_multiple_precision%s  gnu_multiple_precision.adb  gnu_multiple_precision.ali
W gnu_multiple_precision.aux%s  gnu_multiple_precision-aux.adb  gnu_multiple_precision-aux.ali
W interfaces%s		interfac.ads		interfac.ali
W interfaces.c%s	i-c.adb			i-c.ali
W system.finalization_implementation%s  s-finimp.adb  s-finimp.ali
W system.finalization_root%s  s-finroo.adb	s-finroo.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali

U gnu_multiple_precision.big_integers%s  gnu_multiple_precision-big_integers.ads  a2d65bbf BN NE OO PR PK
W ada.tags%s		a-tags.adb		a-tags.ali
W gnu_multiple_precision%s  gnu_multiple_precision.adb  gnu_multiple_precision.ali

D ada.ads		20070406091342 3ffc8e18
D a-charac.ads		20070912115821 2d3ec45b
D a-chacon.ads		20090409150019 5b23f5eb
D a-except.ads		20090727140100 0c711ac9
D a-finali.ads		20090409150019 e5e85fa4
D a-ioexce.ads		20091130110856 8b9de6cd
D a-stream.ads		20090409150019 2ca4ee37
D a-tags.ads		20101021101406 c7695348
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D gmp.ads		20131223043056 9e1751f9
D gmp-binding.ads	20131223043056 78f71442
D gmp-constants.ads	20131223110916 214d2fe3
D gnu_multiple_precision.ads  20131223043056 09d46018
D gnu_multiple_precision.adb  20131223043056 0ce7f015
D gnu_multiple_precision-aux.ads  20131223043056 1ca7a2c4
D gnu_multiple_precision-aux.adb  20131223043056 d88b554f
D gnu_multiple_precision-big_integers.ads  20131223043056 ab023ba7
D gnu_multiple_precision-big_integers.adb  20131223043056 f13a891e
D interfac.ads		20090409150019 f77d8799
D i-c.ads		20101007125900 809c38c4
D i-cpoint.ads		20090409150019 3d5a7107
D i-cpoint.adb		20090409150019 10618733
D i-cstrin.ads		20090417131547 f3023ec4
D i-cstrea.ads		20100622165701 1bd72c32
D system.ads		20130419124036 23e1f70b
D s-crtl.ads		20100617122610 ac77b159
D s-exctab.ads		20090417131547 66e51330
D s-finimp.ads		20090409150019 46853fe8
D s-finroo.ads		20090409150019 dbb860c9
D s-imglli.ads		20090409150019 114f55d1
D s-parame.ads		20091130110856 9c5d83fa
D s-secsta.ads		20090707124243 eea35a36
D s-soflin.ads		20090729085153 9414c974
D s-stache.ads		20090417130712 596fc1b4
D s-stalib.ads		20101021102512 c4241c00
D s-stoele.ads		20090417130712 facd7d98
D s-stoele.adb		20100617152355 afc5dc80
D s-stratt.ads		20100909123135 aedef97e
D s-traent.ads		20090417130712 5221ee41
D s-unstyp.ads		20090409150019 6ae15c76
X 1 ada.ads
16K9*Ada 19e8 19|17r6 18r6 188r14 194r14 234r21 241r21 649r14
X 2 a-charac.ads
16K13*Characters 18e19 19|18r10 188r18 194r18 234r25 241r25
X 3 a-chacon.ads
36K24*Conversions 86e31 19|18w21 188r29 194r29 234r36 241r36
48V13*To_Wide_String{wide_string} 19|188s41
53V13*To_Wide_Wide_String{wide_wide_string} 19|194s41
66V13*To_String{string} 19|234s48
74V13*To_String{string} 19|241s48
X 9 a-unccon.ads
20v14*Unchecked_Conversion 19|17w10 649r18
X 11 gmp.ads
17K9*GMP 21e8 19|20r6 20r23
X 12 gmp-binding.ads
23K13*Binding 1989e16 19|20w10 20r27
74U14*Mpz_Realloc2 19|273s7
85U14*Mpz_Set 19|281s7
89U14*Mpz_Set_Ui 19|325s10 332s13
93U14*Mpz_Set_Si 19|290s10 297s13
97U14*Mpz_Set_D 19|360s10 367s13
121U14*Mpz_Swap 19|405s7
165V13*Mpz_Get_Ui{21|45M9} 19|349s22
173V13*Mpz_Get_Si{21|37I9} 19|314s22
182V13*Mpz_Get_D{21|65F9} 19|384s22
190U14*Mpz_Get_D_2exp 19|395s10
226U14*Mpz_Add 19|412s7
230U14*Mpz_Add_Ui 19|163s10
236U14*Mpz_Sub 19|419s7
240U14*Mpz_Sub_Ui 19|155s10
251U14*Mpz_Mul 19|426s7
266U14*Mpz_Addmul 19|433s7
278U14*Mpz_Submul 19|440s7
289U14*Mpz_Mul_2exp 19|462s7
296U14*Mpz_Neg 19|447s7
300U14*Mpz_Abs 19|454s7
306U14*Mpz_Cdiv_Q 19|475s27
311U14*Mpz_Cdiv_R 19|490s27
316U14*Mpz_Cdiv_QR 19|505s27
350U14*Mpz_Cdiv_Q_2exp 19|519s27
355U14*Mpz_Cdiv_R_2exp 19|533s27
360U14*Mpz_Fdiv_Q 19|474s27
365U14*Mpz_Fdiv_R 19|489s27
371U14*Mpz_Fdiv_QR 19|504s27
405U14*Mpz_Fdiv_Q_2exp 19|518s27
410U14*Mpz_Fdiv_R_2exp 19|532s27
415U14*Mpz_Tdiv_Q 19|476s27
420U14*Mpz_Tdiv_R 19|491s27
425U14*Mpz_Tdiv_QR 19|506s27
459U14*Mpz_Tdiv_Q_2exp 19|520s27
464U14*Mpz_Tdiv_R_2exp 19|534s27
493U14*Mpz_Mod 19|546s7
509U14*Mpz_Divexact 19|553s7
523V13*Mpz_Divisible_P{21|35I9} 19|559s14
534V13*Mpz_Divisible_2exp_P{21|35I9} 19|566s14
545V13*Mpz_Congruent_P{21|35I9} 19|572s14
558V13*Mpz_Congruent_2exp_P{21|35I9} 19|579s14
572U14*Mpz_Powm 19|586s7
588U14*Mpz_Pow_Ui 19|594s7
601U14*Mpz_Root 19|604s7
611U14*Mpz_Rootrem 19|613s7
619U14*Mpz_Sqrt 19|621s7
624U14*Mpz_Sqrtrem 19|629s7
634V13*Mpz_Perfect_Power_P{21|35I9} 19|635s14
644V13*Mpz_Perfect_Square_P{21|35I9} 19|641s14
653V13*Mpz_Probab_Prime_P{21|35I9} 19|652s17
669U14*Mpz_Nextprime 19|664s7
676U14*Mpz_Gcd 19|671s7
697U14*Mpz_Gcdext 19|685s7
702U14*Mpz_Gcdext 19|678s7
715U14*Mpz_Lcm 19|692s7
728U14*Mpz_Invert 19|701s7
739V13*Mpz_Jacobi{21|35I9} 19|708s23
746V13*Mpz_Legendre{21|35I9} 19|714s23
754V13*Mpz_Kronecker{21|35I9} 19|720s23
790U14*Mpz_Remove 19|730s7
800U14*Mpz_Fac_Ui 19|739s7
805U14*Mpz_Bin_Ui 19|748s7
817U14*Mpz_Fib_Ui 19|756s7
821U14*Mpz_Fib2_Ui 19|765s7
832U14*Mpz_Lucnum_Ui 19|773s7
836U14*Mpz_Lucnum2_Ui 19|782s7
854V13*Mpz_Cmp{21|35I9} 19|28s14 34s14 40s14 46s14 134s10 144s10
859V13*Mpz_Cmp_D{21|35I9} 19|374s17 375s16
864V13*Mpz_Cmp_Si{21|35I9} 19|304s17 305s16
869V13*Mpz_Cmp_Ui{21|35I9} 19|339s17 340s16 470s10 485s10 500s10 543s10
895V13*Mpz_Sgn{21|35I9} 19|178s10 788s22
900U14*Mpz_And 19|795s7
905U14*Mpz_Ior 19|802s7
910U14*Mpz_Xor 19|809s7
916U14*Mpz_Com 19|817s7
920V13*Mpz_Popcount{21|45M9} 19|823s14
924V13*Mpz_Hamdist{21|45M9} 19|829s14
929V13*Mpz_Scan0{21|45M9} 19|835s14
934V13*Mpz_Scan1{21|45M9} 19|841s14
939U14*Mpz_Setbit 19|849s7
943U14*Mpz_Clrbit 19|857s7
947U14*Mpz_Combit 19|865s7
951V13*Mpz_Tstbit{21|35I9} 19|871s14
1025V13*Mpz_Fits_Ulong_P{21|35I9} 19|346s13 381s13
1030V13*Mpz_Fits_Slong_P{21|35I9} 19|311s13
1056V13*Mpz_Odd_P{21|35I9} 19|884s14
1060V13*Mpz_Even_P{21|35I9} 19|890s14
1066V13*Mpz_Sizeinbase{21|60M9} 19|169s38 878s24
X 14 gnu_multiple_precision.ads
22K9*GNU_Multiple_Precision 125e27 18|17r9 492r5 19|21r6 23r14 181r7 201r11
. 893r5
26M12*Bit_Count{21|45M9} 18|58r45 105r43 136r22 142r22 158r37 162r40 293r56
. 294r62 296r53 297r26 298r53 299r26 303r26 306r26 309r26 310r55 19|270r26
. 459r43 513r22 527r22 563r37 576r40 820r56 826r62 832r53 832r71 838r53 838r71
. 846r26 854r26 862r26 868r55
27I12*A_Sign{integer} 18|273r49 19|785r49 788r14
29R9*Big_Integer 56e14 18|21r33 22r33 23r33 24r33 25r28 25r48 26r28 26r48
. 27r28 27r48 28r34 28r54 29r34 29r54 30r34 30r54 31r34 31r54 32r34 32r54
. 33r34 33r54 34r28 34r65 35r33 35r53 36r33 36r53 37r33 37r53 39r27 40r32
. 41r37 42r42 43r52 44r62 45r32 45r52 46r32 46r52 47r25 47r45 48r25 48r45
. 57r45 69r32 70r32 71r40 84r33 85r33 88r36 89r36 92r41 93r41 96r25 97r25
. 100r25 101r25 103r43 104r43 108r32 109r32 112r20 113r20 121r37 122r37 125r40
. 126r40 129r37 130r37 134r22 135r22 140r22 141r22 145r36 146r36 148r44 149r44
. 156r34 157r37 160r42 161r40 168r60 169r60 171r46 172r46 180r31 182r31 186r32
. 187r32 191r21 192r21 195r32 196r32 198r37 199r37 207r42 212r20 213r20 219r21
. 220r21 222r21 223r21 225r24 226r24 230r25 231r25 234r27 235r27 237r31 238r31
. 239r31 242r27 243r27 247r20 250r20 251r20 255r19 258r24 259r24 262r19 265r24
. 266r24 273r29 280r25 281r25 283r25 284r25 286r25 287r25 290r20 291r20 293r36
. 294r42 296r25 298r25 302r26 305r26 308r26 310r30 334r26 335r27 337r34 348r35
. 350r51 351r36 352r31 364r35 366r51 367r36 368r31 380r35 382r51 383r36 384r31
. 389r28 19|25r33 31r33 37r33 43r33 49r29 49r49 52r23 57r29 57r49 60r23 65r31
. 65r51 68r23 73r35 73r55 76r23 81r35 81r55 84r23 89r35 89r55 92r23 97r35
. 97r55 100r23 105r31 107r26 110r23 115r37 115r57 118r23 123r37 123r57 126r23
. 131r32 131r52 141r32 141r52 151r25 151r45 154r23 159r25 159r45 162r23 167r27
. 185r32 191r37 197r42 218r23 230r52 237r62 244r35 244r55 247r23 252r34 252r54
. 255r23 260r35 260r55 263r23 269r26 277r20 278r20 286r35 293r51 296r26 301r36
. 308r31 321r35 328r51 331r26 336r36 343r31 356r35 363r51 366r26 371r36 378r31
. 390r28 402r40 408r45 409r45 415r53 416r53 422r58 423r58 429r47 430r47 436r52
. 437r52 443r47 444r47 450r43 451r43 457r43 458r43 465r37 466r37 480r40 481r40
. 495r37 496r37 511r22 512r22 525r22 526r22 539r21 540r21 549r44 550r44 556r37
. 562r37 569r45 575r40 582r60 583r60 589r46 590r46 597r44 599r44 608r55 609r55
. 617r21 618r21 625r32 626r32 632r36 638r37 644r45 660r20 661r20 667r53 668r53
. 674r53 675r53 681r56 682r56 688r55 689r55 696r42 697r42 705r31 711r31 717r31
. 724r27 725r27 735r20 743r20 744r20 752r19 760r24 761r24 769r19 777r24 778r24
. 785r29 791r45 792r45 798r44 799r44 805r45 806r45 813r20 814r20 820r36 826r42
. 832r25 838r25 845r26 853r26 861r26 868r30 874r34 881r26 887r27
55r7*Value{12|45R9} 19|28r28 28r41 34r28 34r41 40r28 40r41 46r28 46r41 134r24
. 134r37 144r24 144r37 155m29 155r40 163m29 163r40 169r59 178r24 181r66 219m33
. 273m28 281m20 281r30 290m26 297m32 304r34 305r33 311r36 314r39 325m26 332m32
. 339r34 340r33 346r36 349r39 360m25 367m31 374r33 375r32 381r36 384r38 395r45
. 405m22 405m34 412m20 412r35 412r50 419m27 419r42 419r60 426m24 426r42 426r62
. 433m23 433r34 433r45 440m23 440r34 440r45 447m32 447r47 454m20 454r30 462m25
. 462r36 470r24 474m41 474r50 474r59 475m41 475r50 475r59 476m41 476r50 476r59
. 485r24 489m41 489r50 489r59 490m41 490r50 490r59 491m41 491r50 491r59 500r24
. 504m42 504m51 504r60 504r69 505m42 505m51 505r60 505r69 506m42 506m51 506r60
. 506r69 518m46 518r55 519m46 519r55 520m46 520r55 532m46 532r55 533m46 533r55
. 534m46 534r55 543r24 546m18 546r27 546r36 553m23 553r32 553r41 559r33 559r42
. 566r38 572r33 572r42 572r56 579r38 579r47 586m21 586r33 586r49 586r63 594m23
. 594r35 604m35 604r45 613m25 613m42 613r51 621m22 621r31 629m25 629m42 629r51
. 635r38 641r39 652r39 664m26 664r36 671m18 671r27 671r36 678m21 678m30 678r45
. 678r54 685m21 685m30 685m39 685r48 685r57 692m20 692r31 692r42 701m31 701r41
. 701r55 708r37 708r46 714r39 714r48 720r40 720r49 730m28 730r38 730r52 739m23
. 748m23 748r32 756m22 765m23 765m38 773m25 782m26 782m41 788r36 795m20 795r31
. 795r42 802m20 802r31 802r42 809m20 809r31 809r42 817m20 817r30 823r31 829r31
. 829r42 835r28 841r28 849m23 857m23 865m23 871r29 878r43 884r28 890r29
X 16 gnu_multiple_precision-aux.ads
20K40*Aux 71e31 19|21w29 181r30 201r34
28e4*Unused_Character{character} 19|211r21
34U14*Put 19|181s34
61k12*Generic_Scan 66e20 19|215r27
62U17 Get_Mpz_T 19|219s15[215]
X 18 gnu_multiple_precision-big_integers.ads
17K32*Big_Integers 14|22k9 18|492l28 492e40 19|23b37 893l28 893t40
21V13*"<"{boolean} 21>19 21>25 19|25b13 29l8 29t11
21r19 Left{14|29R9} 19|25b19 28r23
21r25 Right{14|29R9} 19|25b25 28r35
22V13*"<="{boolean} 22>19 22>25 19|31b13 35l8 35t12
22r19 Left{14|29R9} 19|31b19 34r23
22r25 Right{14|29R9} 19|31b25 34r35
23V13*">"{boolean} 23>19 23>25 19|37b13 41l8 41t11
23r19 Left{14|29R9} 19|37b19 40r23
23r25 Right{14|29R9} 19|37b25 40r35
24V13*">="{boolean} 24>19 24>25 19|43b13 47l8 47t12
24r19 Left{14|29R9} 19|43b19 46r23
24r25 Right{14|29R9} 19|43b25 46r35
25V13*"+"{14|29R9} 25>20 19|49b13 55l8 55t11
25r20 Right{14|29R9} 19|49b18 53r23
26V13*"-"{14|29R9} 26>20 19|57b13 63l8 63t11
26r20 Right{14|29R9} 19|57b18 61r26
27V13*"abs"{14|29R9} 27>20 19|65b13 71l8 71t13
27r20 Right{14|29R9} 19|65b20 69r34
28V13*"+"{14|29R9} 28>20 28>26 19|73b13 79l8 79t11
28r20 Left{14|29R9} 19|73b18 77r23
28r26 Right{14|29R9} 19|73b24 77r29
29V13*"-"{14|29R9} 29>20 29>26 19|81b13 87l8 87t11
29r20 Left{14|29R9} 19|81b18 85r28
29r26 Right{14|29R9} 19|81b24 85r34
30V13*"*"{14|29R9} 30>20 30>26 19|89b13 95l8 95t11
30r20 Left{14|29R9} 19|89b18 93r28
30r26 Right{14|29R9} 19|89b24 93r34
31V13*"/"{14|29R9} 31>20 31>26 19|97b13 103l8 103t11
31r20 Left{14|29R9} 19|97b18 101r26
31r26 Right{14|29R9} 19|97b24 101r32
32V13*"rem"{14|29R9} 32>20 32>26 19|115b13 121l8 121t13
32r20 Left{14|29R9} 19|115b20 119r29
32r26 Right{14|29R9} 19|115b26 119r35
33V13*"mod"{14|29R9} 33>20 33>26 19|123b13 129l8 129t13
33r20 Left{14|29R9} 19|123b20 127r29
33r26 Right{14|29R9} 19|123b26 127r35
34V13*"**"{14|29R9} 34>20 34>41 19|105b13 113l8 113t12
34r20 Left{14|29R9} 19|105b20 111r32
34i41 Right{natural} 19|106b20 111r38
35V13*"and"{14|29R9} 35>19 35>25 19|244b13 250l8 250t13
35r19 Left{14|29R9} 19|244b21 248r31
35r25 Right{14|29R9} 19|244b27 248r37
36V13*"or"{14|29R9} 36>19 36>25 19|252b13 258l8 258t12
36r19 Left{14|29R9} 19|252b20 256r30
36r25 Right{14|29R9} 19|252b26 256r36
37V13*"xor"{14|29R9} 37>19 37>25 19|260b13 266l8 266t13
37r19 Left{14|29R9} 19|260b21 264r31
37r25 Right{14|29R9} 19|260b27 264r37
39V13*Image{string} 39>20 19|167b13 183l8 183t13 188s57 194s62
39r20 Item{14|29R9} 19|167b20 169r54 178r19 181r61
40V13*Wide_Image{wide_string} 40>25 486r19 19|185b13 189l8 189t18
40r25 Item{14|29R9} 19|185b25 188r64
41V13*Wide_Wide_Image{wide_wide_string} 41>30 488r19 19|191b13 195l8 195t23
41r30 Item{14|29R9} 19|191b30 194r69
42V13*Value{14|29R9} 42>20 19|197b13 228l8 228t13 234s14 241s14
42s20 Item{string} 19|197b20 202r25 207r21 208r21 210r35 219r40 220r31 221r16
. 221r36
43V13*Wide_Value{14|29R9} 43>25 487r19 19|230b13 235l8 235t18
43s25 Item{wide_string} 19|230b25 234r59
44V13*Wide_Wide_Value{14|29R9} 44>30 489r19 19|237b13 242l8 242t23
44s30 Item{wide_wide_string} 19|237b30 241r59
45V13*Max{14|29R9} 45>18 45>24 454r19 19|131b13 139l8 139t11
45r18 Left{14|29R9} 19|131b18 134r19 137r17
45r24 Right{14|29R9} 19|131b24 134r31 135r17
46V13*Min{14|29R9} 46>18 46>24 455r19 19|141b13 149l8 149t11
46r18 Left{14|29R9} 19|141b18 144r19 147r17
46r24 Right{14|29R9} 19|141b24 144r31 145r17
47V13*Pred{14|29R9} 47>19 465r19 19|151b13 157l8 157t12
47r19 Arg{14|29R9} 19|151b19 155r36
48V13*Succ{14|29R9} 48>19 484r19 19|159b13 165l8 165t12
48r19 Arg{14|29R9} 19|159b19 163r36
57U14*Reallocate 57=26 58>26 467r19 19|268b14 274l8 274t18
57r26 Object{14|29R9} 19|269b7 273m21
58m26 New_Space{14|26M12} 19|270b7 273r35
69U14*Set 69=19 70>19 476r19 19|53s10 276b14 282l8 282t11
69r19 Rop{14|29R9} 19|277b7 281m16
70r19 Op{14|29R9} 19|278b7 281r27
71U14*Swap 71=20 71=26 485r19 19|402b14 406l8 406t12
71r20 Rop1{14|29R9} 19|402b20 405m17
71r26 Rop2{14|29R9} 19|402b26 405m29
83U14*Add 84=7 85>7 85>16 420r19 19|77s10 408b14 413l8 413t11
84r7 Sum{14|29R9} 19|408b19 412m16
85r7 Addend1{14|29R9} 19|409b19 412r27
85r16 Addend2{14|29R9} 19|409b28 412r42
87U14*Subtract 88=7 89>7 89>16 482r19 19|85s10 415b14 420l8 420t16
88r7 Difference{14|29R9} 19|415b24 419m16
89r7 Minuend{14|29R9} 19|416b24 419r34
89r16 Subtrahend{14|29R9} 19|416b33 419r49
91U14*Multiply 92=7 93>7 93>19 458r19 19|93s10 422b14 427l8 427t16
92r7 Product{14|29R9} 19|422b24 426m16
93r7 Multiplier{14|29R9} 19|423b24 426r31
93r19 Multiplicand{14|29R9} 19|423b36 426r49
95U14*Add_A_Product 96=7 97>7 97>12 421r19 19|429b14 434l8 434t21
96r7 Rop{14|29R9} 19|429b29 433m19
97r7 Op1{14|29R9} 19|430b29 433r30
97r12 Op2{14|29R9} 19|430b34 433r41
99U14*Subtract_A_Product 100=7 101>7 101>12 483r19 19|436b14 441l8 441t26
100r7 Rop{14|29R9} 19|436b34 440m19
101r7 Op1{14|29R9} 19|437b34 440r30
101r12 Op2{14|29R9} 19|437b39 440r41
103U14*Multiply_2_Exp 103=30 104>30 105>30 459r19 19|457b14 463l8 463t22
103r30 Rop{14|29R9} 19|457b30 462m21
104r30 Op1{14|29R9} 19|458b30 462r32
105m30 Op2{14|26M12} 19|459b30 462r43
107U14*Negate 108=7 109>7 460r19 19|61s10 443b14 448l8 448t14
108r7 Negated_Operand{14|29R9} 19|443b22 447m16
109r7 Operand{14|29R9} 19|444b22 447r39
111U14*Absolute_Value 112=7 113>7 419r19 19|69s10 450b14 455l8 455t22
112r7 Rop{14|29R9} 19|450b30 454m16
113r7 Op{14|29R9} 19|451b30 454r27
119E9*Division_Style 119e50 123r37 127r40 131r37 137r22 143r22 19|467r37
. 482r40 497r37 514r22 528r22
119n28*Ceil{119E9} 19|475r15 490r15 505r15 519r15 533r15
119n34*Floor{119E9} 19|127r42 474r15 489r15 504r15 518r15 532r15
119n41*Truncate{119E9} 123r55 127r58 131r55 137r40 143r40 19|101r39 119r42
. 467r55 476r15 482r58 491r15 497r55 506r15 514r40 520r15 528r40 534r15
121U14*Divide 121=22 122>22 122>25 123>22 19|101s10 465b14 478l8 478t14
121r22 Q{14|29R9} 19|465b22 474m39 475m39 476m39
122r22 N{14|29R9} 19|466b22 474r48 475r48 476r48
122r25 D{14|29R9} 19|466b25 470r22 474r57 475r57 476r57
123e22 Style{119E9} 19|467b22 473r12
125U14*Remainder 125=25 126>25 126>28 127>25 469r19 19|119s10 127s10 480b14
. 493l8 493t17
125r25 R{14|29R9} 19|480b25 489m39 490m39 491m39
126r25 N{14|29R9} 19|481b25 489r48 490r48 491r48
126r28 D{14|29R9} 19|481b28 485r22 489r57 490r57 491r57
127e25 Style{119E9} 19|482b25 488r12
129U14*Divide 129=22 129=25 130>22 130>25 131>22 19|495b14 508l8 508t14
129r22 Q{14|29R9} 19|495b22 504m40 505m40 506m40
129r25 R{14|29R9} 19|495b25 504m49 505m49 506m49
130r22 N{14|29R9} 19|496b22 504r58 505r58 506r58
130r25 D{14|29R9} 19|496b25 500r22 504r67 505r67 506r67
131e22 Style{119E9} 19|497b22 503r12
133U14*Divide_2_Exp 134=7 135>7 136>7 137>7 428r19 19|510b14 522l8 522t20
134r7 Q{14|29R9} 19|511b7 518m44 519m44 520m44
135r7 N{14|29R9} 19|512b7 518r53 519r53 520r53
136m7 B{14|26M12} 19|513b7 518r62 519r62 520r62
137e7 Style{119E9} 19|514b7 517r12
139U14*Remainder_2_Exp 140=7 141>7 142>7 143>7 470r19 19|524b14 536l8 536t23
140r7 R{14|29R9} 19|525b7 532m44 533m44 534m44
141r7 N{14|29R9} 19|526b7 532r53 533r53 534r53
142m7 B{14|26M12} 19|527b7 532r62 533r62 534r62
143e7 Style{119E9} 19|528b7 531r12
145U14*Modulo 145=22 146>22 146>25 457r19 19|538b14 547l8 547t14
145r22 R{14|29R9} 19|539b7 546m16
146r22 N{14|29R9} 19|540b7 546r25
146r25 D{14|29R9} 19|540b10 543r22 546r34
148U14*Divide_Exactly 148=30 149>30 149>33 429r19 19|549b14 554l8 554t22
148r30 Q{14|29R9} 19|549b30 553m21
149r30 N{14|29R9} 19|550b30 553r30
149r33 D{14|29R9} 19|550b33 553r39
156V13*Is_Divisible{boolean} 156>27 156>30 439r19 19|556b13 560l8 560t20
156r27 N{14|29R9} 19|556b27 559r31
156r30 D{14|29R9} 19|556b30 559r40
157V13*Is_Divisible_2_Exp{boolean} 157>33 158>33 440r19 19|562b13 567l8 567t26
157r33 N{14|29R9} 19|562b33 566r36
158m33 B{14|26M12} 19|563b33 566r45
160V13*Is_Congruent{boolean} 160>27 160>30 160>33 437r19 19|569b13 573l8
. 573t20
160r27 N{14|29R9} 19|569b27 572r31
160r30 C{14|29R9} 19|569b30 572r40
160r33 Modulo{14|29R9} 19|569b33 572r49
161V13*Is_Congruent_2_Exp{boolean} 161>33 161>36 162>33 438r19 19|575b13
. 580l8 580t26
161r33 N{14|29R9} 19|575b33 579r36
161r36 C{14|29R9} 19|575b36 579r45
162m33 B{14|26M12} 19|576b33 579r54
168U14*Exponentiate 168=28 169>28 169>34 169>44 19|582b14 587l8 587t20
168r28 Rop{14|29R9} 19|582b28 586m17
169r28 Base{14|29R9} 19|583b28 586r28
169r34 Exponent{14|29R9} 19|583b34 586r40
169r44 Modulo{14|29R9} 19|583b44 586r56
171U14*Exponentiate 171=28 172>28 173>28 19|111s10 589b14 595l8 595t20
171r28 Rop{14|29R9} 19|589b28 594m19
172r28 Base{14|29R9} 19|590b28 594r30
173i28 Exponent{natural} 19|591b28 594r57
179U14*Root 180=7 181<7 182>7 183>7 472r19 19|597b14 606l8 606t12
180r7 Rop{14|29R9} 19|597b20 604m31
181b7 Is_Exact_Power{boolean} 19|598b20 605m7
182r7 Op{14|29R9} 19|599b20 604r42
183i7 N{natural} 19|600b20 604r67
185U14*Root_Remainder 186=7 186=13 187>7 188>7 473r19 19|608b14 614l8 614t22
186r7 Root{14|29R9} 19|608b30 613m20
186r13 Remainder{14|29R9} 19|608b36 613m32
187r7 U{14|29R9} 19|609b30 613r49
188i7 N{natural} 19|610b30 613r73
190U14*Square_Root 191=7 192>7 480r19 19|616b14 622l8 622t19
191r7 Root{14|29R9} 19|617b7 621m17
192r7 U{14|29R9} 19|618b7 621r29
194U14*Square_Root_Remainder 195=7 195=13 196>7 481r19 19|624b14 630l8 630t29
195r7 Root{14|29R9} 19|625b7 629m20
195r13 Remainder{14|29R9} 19|625b13 629m32
196r7 U{14|29R9} 19|626b7 629r49
198V13*Is_Perfect_Power{boolean} 198>32 443r19 19|632b13 636l8 636t24
198r32 Op{14|29R9} 19|632b31 635r35
199V13*Is_Perfect_Square{boolean} 199>32 444r19 19|638b13 642l8 642t25
199r32 Op{14|29R9} 19|638b32 641r36
205E9*Prime_Status 205e59 209r35 403r26 404r8 407r8 19|646r35 649r45 651r32
205n26*Composite{205E9} 404r26
205n37*Probably_Prime{205E9} 405r26
205n53*Prime{205E9} 406r26
207V13*Probably_Prime{205E9} 207>29 208>29 19|644b13 657l8 657t22
207r29 N{14|29R9} 19|644b29 652r37
208i29 Test_Count{positive} 19|645b29 652r51
211U14*Next_Prime 212=7 213>7 461r19 19|659b14 665l8 665t18
212r7 Rop{14|29R9} 19|660b7 664m22
213r7 Op{14|29R9} 19|661b7 664r33
218U14*Greatest_Common_Divisor 219=7 220>7 220>10 19|667b14 672l8 672t31
219r7 G{14|29R9} 19|667b39 671m16
220r7 A{14|29R9} 19|668b39 671r25
220r10 B{14|29R9} 19|668b42 671r34
221U14*Greatest_Common_Divisor 222=7 222=10 223>7 223>10 19|674b14 679l8
. 679t31
222r7 G{14|29R9} 19|674b39 678m19
222r10 S{14|29R9} 19|674b42 678m28
223r7 A{14|29R9} 19|675b39 678r43
223r10 B{14|29R9} 19|675b42 678r52
224U14*Greatest_Common_Divisor 225=7 225=10 225=13 226>7 226>10 19|681b14
. 686l8 686t31
225r7 G{14|29R9} 19|681b39 685m19
225r10 S{14|29R9} 19|681b42 685m28
225r13 T{14|29R9} 19|681b45 685m37
226r7 A{14|29R9} 19|682b39 685r46
226r10 B{14|29R9} 19|682b42 685r55
229U14*Least_Common_Multiple 230=7 231>7 231>12 447r19 19|688b14 693l8 693t29
230r7 Rop{14|29R9} 19|688b37 692m16
231r7 Op1{14|29R9} 19|689b37 692r27
231r12 Op2{14|29R9} 19|689b42 692r38
232U14*Invert 233<7 234=7 235>7 235>11 436r19 19|695b14 703l8 703t14
233b7 Exists{boolean} 19|695b22 702m7
234r7 Rop{14|29R9} 19|696b22 701m27
235r7 Op{14|29R9} 19|697b22 701r38
235r11 Modulo{14|29R9} 19|697b26 701r48
237V13*Jacobi{integer} 237>24 237>27 445r19 19|705b13 709l8 709t14
237r24 A{14|29R9} 19|705b24 708r35
237r27 B{14|29R9} 19|705b27 708r44
238V13*Legendre{integer} 238>24 238>27 448r19 19|711b13 715l8 715t16
238r24 A{14|29R9} 19|711b24 714r37
238r27 P{14|29R9} 19|711b27 714r46
239V13*Kronecker{integer} 239>24 239>27 446r19 19|717b13 721l8 721t17
239r24 A{14|29R9} 19|717b24 720r38
239r27 B{14|29R9} 19|717b27 720r47
241U14*Remove 242=7 243>7 243>11 244<7 471r19 19|723b14 732l8 732t14
242r7 Rop{14|29R9} 19|724b7 730m24
243r7 Op{14|29R9} 19|725b7 730r35
243r11 Factor{14|29R9} 19|725b11 730r45
244i7 Count{natural} 19|726b7 731m7
246U14*Factorial 247=7 248>7 431r19 19|734b14 740l8 740t17
247r7 Rop{14|29R9} 19|735b7 739m19
248i7 Op{natural} 19|736b7 739r45
249U14*Binomial 250=7 251>7 252>7 423r19 19|742b14 749l8 749t16
250r7 Rop{14|29R9} 19|743b7 748m19
251r7 N{14|29R9} 19|744b7 748r30
252i7 K{natural} 19|745b7 748r54
254U14*Fibonacci_Number 255=7 256>7 433r19 19|751b14 757l8 757t24
255r7 Fn{14|29R9} 19|752b7 756m19
256i7 N{natural} 19|753b7 756r44
257U14*Fibonacci_2_Numbers 258=7 259=7 260>7 432r19 19|759b14 766l8 766t27
258r7 Fn{14|29R9} 19|760b7 765m20
259r7 Fn_Sub1{14|29R9} 19|761b7 765m30
260i7 N{natural} 19|762b7 765r60
261U14*Lucas_Number 262=7 263>7 453r19 19|768b14 774l8 774t20
262r7 Ln{14|29R9} 19|769b7 773m22
263i7 N{natural} 19|770b7 773r47
264U14*Lucas_2_Numbers 265=7 266=7 267>7 452r19 19|776b14 783l8 783t23
265r7 Ln{14|29R9} 19|777b7 782m23
266r7 Ln_Sub1{14|29R9} 19|778b7 782m33
267i7 N{natural} 19|779b7 782r63
273V13*Sign{14|27I12} 273>19 478r19 19|785b13 789l8 789t12
273r19 Item{14|29R9} 19|785b19 788r31
279U14*Logical_And 280=7 281>7 281>12 449r19 19|248s10 791b14 796l8 796t19
280r7 Rop{14|29R9} 19|791b27 795m16
281r7 Op1{14|29R9} 19|792b27 795r27
281r12 Op2{14|29R9} 19|792b32 795r38
282U14*Logical_Or 283=7 284>7 284>12 450r19 19|256s10 798b14 803l8 803t18
283r7 Rop{14|29R9} 19|798b26 802m16
284r7 Op1{14|29R9} 19|799b26 802r27
284r12 Op2{14|29R9} 19|799b31 802r38
285U14*Logical_Xor 286=7 287>7 287>12 451r19 19|264s10 805b14 810l8 810t19
286r7 Rop{14|29R9} 19|805b27 809m16
287r7 Op1{14|29R9} 19|806b27 809r27
287r12 Op2{14|29R9} 19|806b32 809r38
289U14*One_S_Complement 290=7 291>7 462r19 19|812b14 818l8 818t24
290r7 Rop{14|29R9} 19|813b7 817m16
291r7 Op{14|29R9} 19|814b7 817r27
293V13*Population_Count{14|26M12} 293>31 464r19 19|820b13 824l8 824t24
293r31 Op{14|29R9} 19|820b31 823r28
294V13*Hamming_Distance{14|26M12} 294>31 294>36 435r19 19|826b13 830l8 830t24
294r31 Op1{14|29R9} 19|826b31 829r27
294r36 Op2{14|29R9} 19|826b36 829r38
296V13*Scan0{14|26M12} 296>20 296>38 474r19 19|832b13 836l8 836t13
296r20 Op{14|29R9} 19|832b20 835r25
296m38 Starting_Bit{14|26M12} 19|832b38 835r35
298V13*Scan1{14|26M12} 298>20 298>38 475r19 19|838b13 842l8 842t13
298r20 Op{14|29R9} 19|838b20 841r25
298m38 Starting_Bit{14|26M12} 19|838b38 841r35
301U14*Set_Bit 302=7 303>7 477r19 19|844b14 850l8 850t15
302r7 Rop{14|29R9} 19|845b7 849m19
303m7 Bit_Index{14|26M12} 19|846b7 849r30
304U14*Clear_Bit 305=7 306>7 425r19 19|852b14 858l8 858t17
305r7 Rop{14|29R9} 19|853b7 857m19
306m7 Bit_Index{14|26M12} 19|854b7 857r30
307U14*Complement_Bit 308=7 309>7 426r19 19|860b14 866l8 866t22
308r7 Rop{14|29R9} 19|861b7 865m19
309m7 Bit_Index{14|26M12} 19|862b7 865r30
310V13*Bit_Is_Set{boolean} 310>25 310>43 424r19 19|868b13 872l8 872t18
310r25 Op{14|29R9} 19|868b25 871r26
310m43 Bit_Index{14|26M12} 19|868b43 871r36
334V13*Is_Odd{boolean} 334>21 442r19 19|881b13 885l8 885t14
334r21 Op{14|29R9} 19|881b21 884r25
335V13*Is_Even{boolean} 335>22 441r19 19|887b13 891l8 891t15
335r22 Op{14|29R9} 19|887b22 890r26
337V13*Size_In_Base{positive} 337>27 338>27 479r19 19|874b13 879l8 879t20
337r27 Op{14|29R9} 19|874b27 878r40
338i27 Base{positive} 19|875b27 878r55
346I12 Num 349r35 350r39 352r51 19|287r35 293r39 304r47 305r46 308r51 314r17
347k12*Integer_Conversions 346z12 359l8 359e27 19|284b17 317l8 317t27
348U17*Set 348=22 349>22 19|286b17 291l11 291t14
348r22 Rop{14|29R9} 19|286b22 290m22
349*22 Op{346I12} 19|287b22 290r39
350V16*To_Big_Integer{14|29R9} 350>32 356r22 19|293b16 299l11 299t25
350*32 Item{346I12} 19|293b32 297r45
351V16*Fits_In_Num{boolean} 351>29 357r22 19|301b16 306l11 306t22
351r29 Item{14|29R9} 19|301b29 304r29 305r28
352V16*To_Num{346I12} 352>24 358r22 19|308b16 315l11 315t17
352r24 Item{14|29R9} 19|308b24 311r31 314r34
362M12 Num 365r35 366r39 368r51 19|322r35 328r39 339r56 340r55 343r51 349r17
363k12*Modular_Conversions 362z12 375l8 375e27 19|319b17 352l8 352t27
364U17*Set 364=22 365>22 19|321b17 326l11 326t14
364r22 Rop{14|29R9} 19|321b22 325m22
365*22 Op{362M12} 19|322b22 325r48
366V16*To_Big_Integer{14|29R9} 366>32 372r22 19|328b16 334l11 334t25
366*32 Item{362M12} 19|328b32 332r54
367V16*Fits_In_Num{boolean} 367>29 373r22 19|336b16 341l11 341t22
367r29 Item{14|29R9} 19|336b29 339r29 340r28
368V16*To_Num{362M12} 368>24 374r22 19|343b16 350l11 350t17
368r24 Item{14|29R9} 19|343b24 346r31 349r34
378F12 Num 381r35 382r39 384r51 387r28 19|357r35 363r39 374r48 375r47 378r51
. 384r17 388r28 396r22
379k12*Float_Conversions 378z12 399l8 399e25 19|354b17 400l8 400t25
380U17*Set 380=22 381>22 19|356b17 361l11 361t14
380r22 Rop{14|29R9} 19|356b22 360m21
381*22 Op{378F12} 19|357b22 360r40
382V16*To_Big_Integer{14|29R9} 382>32 395r22 19|363b16 369l11 369t25
382*32 Item{378F12} 19|363b32 367r46
383V16*Fits_In_Num{boolean} 383>29 396r22 19|371b16 376l11 376t22
383r29 Item{14|29R9} 19|371b29 374r28 375r27
384V16*To_Num{378F12} 384>24 397r22 19|378b16 385l11 385t17
384r24 Item{14|29R9} 19|378b24 381r31 384r33
386U17*Split_Mantissa_Exponent 387<10 388<10 389>10 398r22 19|387b17 398l11
. 398t34
387*10 Mantissa{378F12} 19|388b10 396m10
388i10 Exponent{integer} 19|389b10 397m10
389r10 Op{14|29R9} 19|390b10 395r42
X 19 gnu_multiple_precision-big_integers.adb
52r14 Result{14|29R9} 53m15
60r14 Result{14|29R9} 61m18
68r14 Result{14|29R9} 69m26
76r14 Result{14|29R9} 77m15
84r14 Result{14|29R9} 85m20
92r14 Result{14|29R9} 93m20
100r14 Result{14|29R9} 101m18
110r14 Result{14|29R9} 111m24
118r14 Result{14|29R9} 119m21
126r14 Result{14|29R9} 127m21
154r14 Result{14|29R9} 155m22
162r14 Result{14|29R9} 163m22
169a7 Result{string} 170r27 175m10 182r14 182r22
170i7 Last{natural} 174m10 174r18 175r18 182r38
171U17 Put_Character 171>32 172b17 176l11 176t24 179s10 181r39
171e32 C{character} 172b32 175r27
202i7 Last{natural} 207r13 208r27 210r28 213m10 213r18 220r19
203e7 Next{character} 208m13 211m13 215r41
204U17 Consume 205b17 214l11 214t18 215r47 217s7
215K15 Scan[16|61] 219r10
218r14 Result{14|29R9} 219m26
220i14 I{integer} 221r22 221r42
247r14 Result{14|29R9} 248m23
255r14 Result{14|29R9} 256m22
263r14 Result{14|29R9} 264m23
296r17 Result{14|29R9} 297m25
331r17 Result{14|29R9} 332m25
366r17 Result{14|29R9} 367m24
392f10 Temp_M{21|65F9} 395m26 396r27
393i10 Temp_E{21|37I9} 395m34 397r31
602i7 Return_Value{21|35I9} 604m17 605r25
648V16 I2p[9|20]{18|205E9} 652s12
651e14 Result{18|205E9} 654r25
699i7 Result{21|35I9} 701m19 702r17
728m7 Ret{21|45M9} 730m19 731r25
X 20 interfac.ads
36K9*Interfaces 18|407r30 19|19r6 19r24 20|171e15
X 21 i-c.ads
18K20*C 18|407r41 19|19w17 19r35 21|230e17
35I9*int<integer> 18|407r43 19|602r22 649r40 652r46 699r16 878r50
37I9*long<long_integer> 19|290r33 297r39 304r41 305r40 393r19
45M9*unsigned_long 19|325r33 332r39 339r41 340r40 594r42 604r52 613r58 728r13
. 739r30 748r39 756r29 765r45 773r32 782r48
60M9*size_t
65F9*double<long_float> 19|360r32 367r38 374r40 375r39 392r19

APT Browse - Built by Thomas Orozco.