This file is indexed.

/usr/lib/ada/adalib/gnatvsn/urealp.ali is in libgnatvsn4.8-dev 4.8.2-8ubuntu3.

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
V "GNAT Lib v4.8"
A -nostdinc
A -O2
A -fPIC
A -g
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK

U urealp%b		urealp.adb		9b89bb8d OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W alloc%s		alloc.ads		alloc.ali
W output%s		output.adb		output.ali  AD
W system%s		system.ads		system.ali
W table%s		table.adb		table.ali  AD
W tree_io%s		tree_io.adb		tree_io.ali

U urealp%s		urealp.ads		615ddc46 BN EE NE OO PK
W types%s		types.adb		types.ali
W uintp%s		uintp.adb		uintp.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20120716125141 10fcae55
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D alloc.ads		20120330092659 daf1344a
D debug.ads		20090420131856 3ea59655
D hostparm.ads		20120315091549 c164ed60
D opt.ads		20130206104433 983485a0
D output.ads		20100622132632 de75f4b4
D system.ads		20140416144310 90249111
D s-exctab.ads		20090417131547 66e51330
D s-memory.ads		20090417131547 ca8bbc15
D s-os_lib.ads		20120709131452 cf6cfdbf
D s-parame.ads		20110830140625 b6e20cc0
D s-stalib.ads		20130104124955 f78bcf95
D s-string.ads		20130104124955 46b01415
D s-traent.ads		20090417130712 5221ee41
D s-unstyp.ads		20090409150019 6ae15c76
D s-wchcon.ads		20090417130712 bfeb2e3d
D table.ads		20090506081141 e3a9ec16
D table.adb		20130104091825 d2a5ae47
D tree_io.ads		20130102100426 30335df9
D types.ads		20130104092849 a33fd65d
D uintp.ads		20121106101120 2762e44a
D unchconv.ads		20070406091342 ca2f9e18
D unchdeal.ads		20070406091342 214516a4
D urealp.ads		20121205110635 e500ee51
D urealp.adb		20110804130556 a99724cd
X 5 alloc.ads
42K9*Alloc 163e10 28|32w6 76r30 77r30
145N4*Ureals_Initial 28|76r36
146N4*Ureals_Increment 28|77r36
X 9 output.ads
44K9*Output 222e11 28|33w6 33r19
106U14*Write_Char 28|1335s10 1359s13 1365s13 1375s13 1429s13 1434s13 1439s13
. 1450s13 1451s13 1454s16 1459s13 1482s13 1489s13 1498s16 1503s13 1518s13
. 1527s13
113U14*Write_Eol 28|433s7
123U14*Write_Int 28|1467s10 1490s13
130U14*Write_Str 28|1341s10 1348s10 1388s13 1410s13 1421s13 1422s13 1456s16
. 1468s10 1486s10 1491s13 1496s16 1512s10 1522s10 1524s10
X 10 system.ads
64M9*Address
X 12 s-memory.ads
53V13*Alloc{10|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{10|64M9} 105i<c,__gnat_realloc>22
X 20 table.ads
43K9*Table 238e10 28|34w6 72r26
47+12 Table_Component_Type 28|73r6
48I12 Table_Index_Type 28|74r6
50*7 Table_Low_Bound{48I12} 28|75r6
51i7 Table_Initial{23|65I12} 28|76r6
52i7 Table_Increment{23|62I12} 28|77r6
53s7 Table_Name{string} 28|78r6
55k12*Table 237e13 28|72r32
106A12*Table_Type(28|43R9)<27|78I9>
109A15*Big_Table_Type{106A12[28|72]}<27|78I9>
117P12*Table_Ptr(109A15[28|72])
121p7*Table{117P12[28|72]} 28|159r44[72] 198r44[72] 238r21[72] 344r48[72]
. 358r48[72] 423r21[72] 442r21[72] 474m17[72] 474r17[72] 475m17[72] 475r17[72]
. 541r44[72] 566r36[72] 567r36[72] 659r55[72] 683r45[72] 684r45[72] 832r21[72]
. 894r55[72] 956r21[72] 965r25[72] 966r25[72] 975r21[72] 1004r24[72] 1008r20[72]
. 1009r29[72] 1013r24[72] 1014r25[72] 1040r28[72] 1041r28[72] 1113r45[72]
. 1114r45[72] 1233r64[72] 1234r64[72] 1266r37[72] 1267r37[72] 1268r37[72]
. 1269r41[72] 1296r55[72] 1314r55[72] 1328r44[72]
138U17*Init 28|301s14[72]
145V16*Last{27|78I9} 28|333s32[72] 474s31[72] 475s31[72] 478s21[72]
165U17*Set_Last 28|451s14[72]
182U17*Append 28|469s14[72]
213U17*Tree_Write 28|523s14[72]
216U17*Tree_Read 28|498s14[72]
X 22 tree_io.ads
45K9*Tree_IO 120e12 28|35w6 35r19
83U14*Tree_Read_Int 28|499s7 500s7 501s7 502s7 503s7 504s7 505s7 506s7 507s7
. 508s7
110U14*Tree_Write_Int 28|524s7 525s7 526s7 527s7 528s7 529s7 530s7 531s7
. 532s7 533s7
X 23 types.ads
52K9*Types 877e10 27|34w6 34r17
59I9*Int<integer> 27|346r22 351r26 28|115r52 121r52 127r66 158r52 197r52
. 245r66 276r27 276r50 283r27 283r50 287r17 460r14 460r25 499r22 500r22 501r22
. 502r22 503r22 504r22 505r22 506r22 507r22 508r22 524r23 525r23 526r23 527r23
. 528r23 529r23 530r23 531r23 532r23 533r23 1430r23 1460r23
62I12*Nat{59I9} 27|149r41 198r18 28|50r15 248r16 249r16 258r30 440r41 910r18
65I12*Pos{59I9}
323N4*Ureal_Low_Bound 27|346r32
326N4*Ureal_High_Bound 27|346r51
X 24 uintp.ads
42K9*Uintp 537e10 27|35w6 35r17 28|374r22 374r41 407r7 1033r31 1231r31
48I9*Uint 27|152r47 155r45 158r44 161r44 164r32 167r46 172r44 175r46 178r44
. 196r18 197r18 206r43 207r28 211r28 212r43 216r28 217r43 221r28 222r43 225r49
. 290r25 291r40 294r25 295r40 298r25 299r40 302r25 303r40 305r39 28|44r14
. 47r13 133r36 236r47 322r36 340r44 354r44 369r13 370r13 371r13 372r13 373r13
. 421r45 555r28 560r43 568r14 578r34 658r46 672r28 677r43 739r27 769r24 813r48
. 814r23 818r14 893r44 908r18 909r18 926r32 1102r28 1107r43 1115r14 1116r14
. 1276r28 1281r43 1295r46 1297r13 1313r44 1329r13
54i4*Uint_0{48I9} 28|302r41 303r41 606r39 638r39 688r34 1049r31 1052r31
55i4*Uint_1{48I9} 28|302r49 303r49 304r41 304r49 305r41 305r49 306r41 306r49
. 307r41 308r41 309r41 310r41 311r41 312r41 313r41 314r41 315r41 388r15 607r39
. 639r39 843r33 929r25 1181r17
56i4*Uint_2{48I9} 28|1387r34
75i4*Uint_80{48I9} 28|315r49
76i4*Uint_128{48I9} 28|313r49
78i4*Uint_Minus_1{48I9} 28|307r49 308r49
79i4*Uint_Minus_2{48I9} 28|311r49
88i4*Uint_Minus_36{48I9} 28|309r49 310r49
90i4*Uint_Minus_80{48I9} 28|314r49
91i4*Uint_Minus_128{48I9} 28|312r49
121V13*UI_Decimal_Digits_Hi{23|62I12} 28|177s17 188s17 217s17
128V13*UI_Decimal_Digits_Lo{23|62I12} 28|178s17 216s17 227s17
153V13*UI_GCD{48I9} 28|404s12
210V13*UI_Negate{48I9} 28|662s17 897s17 1303s17
242V13*UI_To_Int{23|59I9} 28|292s21 845s33
250V13*Num_Bits{23|62I12} 28|1400s18
259n23*Hex{259E9} 28|1418r32
259n28*Decimal{259E9} 28|1347r29 1358r31 1360r33 1364r32 1366r39 1369r36
. 1374r33 1376r41 1379r42 1382r39 1387r57 1409r56 1430r56 1433r37 1435r39
. 1438r38 1440r44 1441r39 1449r32 1460r60 1485r29 1494r36 1497r35 1511r39
. 1521r29 1523r29
265a4*UI_Image_Buffer{string} 28|1400r39 1422r24 1450r25 1456r27
266i4*UI_Image_Length{natural} 28|1422r46 1426m13 1426r32 1427m13 1427r32
. 1427r50 1430r28 1453r16 1456r49 1460r28
269U14*UI_Image 28|1418s13 1449s13
279U14*UI_Write 28|1347s10 1358s13 1360s13 1364s13 1366s13 1369s16 1374s13
. 1376s13 1379s16 1382s19 1387s13 1409s13 1430s13 1433s13 1435s13 1438s13
. 1440s13 1441s13 1460s13 1469s10 1485s10 1494s16 1497s16 1511s10 1521s10
. 1523s10
301V14*"+"=301:65{48I9} 28|602s63 634s38 664s26 897s37 1153s42 1300s23
305V14*"/"=305:65{48I9} 28|324s19 405s18 406s18 662s36 664s41 700s45 725s45
. 732s46 743s36 746s35 760s46 897s52 899s25 1130s40 1160s40 1300s40 1317s27
. 1319s25 1511s28
307V14*"/"=307:65{48I9} 28|1300s34 1358s25 1364s25 1366s33 1374s25 1376s34
. 1379s36 1433s31 1438s31 1440s31
309V14*"*"=309:65{48I9} 28|324s26 387s23 602s27 634s28 634s48 646s46 693s45
. 694s45 698s47 700s57 708s62 709s45 716s45 717s45 732s58 743s48 747s51 760s58
. 773s32 777s32 782s30 784s30 788s27 872s44 1060s36 1060s60 1062s36 1062s60
. 1115s47 1124s45 1137s40 1145s45 1167s40 1175s45 1184s24 1186s24 1190s24
. 1192s24 1387s31 1409s31
311V14*"*"=311:65{48I9} 28|1357s26 1363s26 1373s26
313V14*"-"=313:65{48I9} 28|602s52 726s45 1048s40 1051s40
314V14*"-"=314:65{48I9} 28|1430s45 1460s49
315V14*"-"=315:65{48I9} 28|664s36 897s47
317V14*"**"=317:67{48I9} 28|858s41 859s41 871s44 881s44 882s44 1387s41
319V14*"**"=319:67{48I9} 28|387s35 392s25 602s40 708s47 716s58 743s62 744s37
. 747s38 748s38 761s48 773s46 777s46 782s44 784s44 1137s54 1145s59 1167s54
. 1175s59 1184s38 1186s38 1190s38 1192s38 1409s42
322V14*"abs"=322:53{48I9} 28|613s39 645s39 814s31 929s17
324V14*"mod"=324:67{48I9} 28|1510s21
326V14*"mod"=326:67{48I9} 28|825s20 1360s25 1366s25 1368s18 1369s28 1376s25
. 1378s18 1379s28 1381s21 1382s31 1435s31 1440s36 1441s31
332V14*"-"=332:53{48I9} 28|387s39 475s44 582s29 586s29 627s27 631s27 701s37
. 708s51 743s66 744s41 748s42 773s50 782s48 844s33 1137s58 1167s58 1184s42
. 1190s42 1283s35 1317s17 1387s45 1409s45 1469s20 1494s26
334V14*"="=334:70{boolean} 28|324s32 688s31 1249s38 1250s38
336V14*"="=336:70{boolean} 28|604s20 636s20 825s27 854s33 966s42 975s38 1340s18
. 1346s21 1356s21 1362s24 1368s25 1372s24 1378s26 1381s28 1402s33 1407s56
. 1432s24 1437s24 1466s45 1488s21 1510s33
340V14*">="=340:70{boolean} 28|1354s26
342V14*">"=342:70{boolean} 28|398s12 1060s48
344V14*">"=344:70{boolean} 28|1406s67
348V14*"<="=348:70{boolean} 28|839s15 1353s26 1493s24
350V14*"<"=350:70{boolean} 28|589s25 1047s28 1062s48
352V14*"<"=352:70{boolean} 28|386s21 473s18 616s44 648s44 705s25 737s25 742s28
. 772s25 781s28 853s15 929s49 1135s25 1165s25 1183s22 1189s22 1406s46
364R9*Save_Mark 477e14 28|374r28 1033r37 1231r37
366V13*Mark{364R9} 28|374s47 1033s51 1231s51
369U14*Release 28|1065s13 1251s16
377U14*Release_And_Save 28|407s13
X 27 urealp.ads
37K9*Urealp 369l5 369e11 28|37b14 1034r31 1232r31 1658l5 1658t11
78I9*Ureal 81r24 88r28 91r30 94r32 97r31 100r28 103r28 106r29 109r30 112r31
. 115r33 118r32 121r34 124r32 127r34 149r27 152r33 155r31 158r30 161r30 164r45
. 167r32 172r30 175r32 178r30 200r18 205r28 205r43 205r57 206r28 206r57 207r43
. 207r57 210r28 210r43 210r57 211r43 211r57 212r28 212r57 215r28 215r43 215r57
. 216r43 216r57 217r28 217r57 220r28 220r43 220r57 221r43 221r57 222r28 222r57
. 225r38 225r63 229r28 229r42 232r31 232r45 235r34 238r35 238r49 241r35 241r49
. 244r34 247r34 250r34 253r34 256r34 259r32 262r36 265r36 268r31 280r25 289r25
. 289r40 289r54 290r40 290r54 291r25 291r54 293r25 293r40 293r54 294r40 294r54
. 295r25 295r54 297r25 297r40 297r54 298r40 298r54 299r25 299r54 301r25 301r40
. 301r54 302r40 302r54 303r25 303r54 305r28 305r52 308r27 308r41 310r27 310r41
. 312r34 314r34 316r34 318r34 320r34 346c9 347r8 349r24 349r33 28|39r33 39r42
. 74r30 83r17 84r17 85r17 86r17 87r17 88r17 89r17 90r17 91r17 92r17 93r17
. 94r17 95r17 96r17 102r22 115r38 121r38 140r28 146r52 150r63 158r38 197r38
. 236r33 340r30 354r30 421r31 430r25 440r27 451r24 458r28 467r52 485r63 540r28
. 540r42 555r42 555r56 560r28 560r56 565r28 565r43 565r57 658r32 672r42 672r56
. 677r28 677r56 682r35 682r49 804r34 813r37 813r61 815r14 893r30 912r18 926r45
. 936r34 945r34 954r36 963r36 973r32 982r34 991r34 1076r35 1076r49 1089r35
. 1089r49 1102r42 1102r56 1107r28 1107r56 1112r35 1112r49 1207r34 1263r31
. 1263r45 1276r42 1276r56 1281r28 1281r56 1286r35 1286r49 1295r32 1313r30
. 1327r31 1536r28 1545r28 1554r28 1563r29 1572r30 1581r32 1590r31 1599r32
. 1608r33 1617r34 1626r31 1635r30 1644r34 1653r32
81i4*No_Ureal{78I9} 349c4 28|39r54 102r31 512r26 1217r25 1217r56
88V13*Ureal_0{78I9} 360r19 28|1536b13 1539l8 1539t15
91V13*Ureal_M_0{78I9} 361r19 28|1635b13 1638l8 1638t17
94V13*Ureal_Tenth{78I9} 362r19 28|1653b13 1656l8 1656t19
97V13*Ureal_Half{78I9} 363r19 28|1626b13 1629l8 1629t18
100V13*Ureal_1{78I9} 364r19 28|1545b13 1548l8 1548t15
103V13*Ureal_2{78I9} 365r19 28|1554b13 1557l8 1557t15
106V13*Ureal_10{78I9} 366r19 28|1563b13 1566l8 1566t16
109V13*Ureal_100{78I9} 28|1572b13 1575l8 1575t17
112V13*Ureal_2_80{78I9} 28|1590b13 1593l8 1593t18
115V13*Ureal_2_M_80{78I9} 28|1608b13 1611l8 1611t20
118V13*Ureal_2_128{78I9} 28|1599b13 1602l8 1602t19
121V13*Ureal_2_M_128{78I9} 28|1617b13 1620l8 1620t21
124V13*Ureal_10_36{78I9} 28|1581b13 1584l8 1584t19
127V13*Ureal_M_10_36{78I9} 28|1644b13 1647l8 1647t21
134U14*Initialize 28|299b14 316l8 316t18
140U14*Tree_Read 28|494b14 513l8 513t17
145U14*Tree_Write 28|519b14 534l8 534t18
149V13*Rbase{23|62I12} 149>20 358r19 28|440b13 443l8 443t13
149i20 Real{78I9} 28|440b20 442r28
152V13*Denominator{24|48I9} 152>26 353r19 28|236b13 239l8 239t19
152i26 Real{78I9} 28|236b26 238r28
155V13*Numerator{24|48I9} 155>24 357r19 28|421b13 424l8 424t17
155i24 Real{78I9} 28|421b24 423r28
158V13*Norm_Den{24|48I9} 158>23 356r19 28|340b13 348l8 348t16
158i23 Real{78I9} 28|340b23 342r20 343r30 344r55
161V13*Norm_Num{24|48I9} 161>23 355r19 28|354b13 362l8 362t16
161i23 Real{78I9} 28|354b23 356r20 357r30 358r55
164V13*UR_From_Uint{78I9} 164>27 28|557s14 562s21 674s14 679s21 840s18 926b13
. 930l8 930t20 1104s14 1109s21 1278s14 1283s21
164i27 UI{24|48I9} 28|926b27 929r21 929r46
167V13*UR_To_Uint{24|48I9} 167>25 28|1295b13 1307l8 1307t18
167i25 Real{78I9} 28|1295b25 1296r62
172V13*UR_Trunc{24|48I9} 172>23 28|837s15 845s44 1313b13 1321l8 1321t16
172i23 Real{78I9} 28|1313b23 1314r62
175V13*UR_Ceiling{24|48I9} 175>25 28|658b13 666l8 666t18
175i25 Real{78I9} 28|658b25 659r62
178V13*UR_Floor{24|48I9} 178>23 28|893b13 901l8 901t16
178i23 Real{78I9} 28|893b23 894r62
195V13*UR_From_Components{78I9} 196>7 197>7 198>7 199>7 367r19 28|302s21
. 303s21 304s21 305s21 306s21 307s21 308s21 309s21 310s21 311s21 312s21 313s21
. 314s21 315s21 907b13 920l8 920t26 928s14
196i7 Num{24|48I9} 28|908b7 916r30
197i7 Den{24|48I9} 28|909b7 917r30
198i7 Rbase{23|62I12} 28|910b7 918r30
199b7 Negative{boolean} 28|911b7 919r30 929r33
205V13*UR_Add{78I9} 205>21 205>35 289r68 28|565b13 652l8 652t14
205i21 Left{78I9} 28|565b21 566r43
205i35 Right{78I9} 28|565b35 567r43
206V13*UR_Add{78I9} 206>21 206>35 291r68 28|560b13 563l8 563t14
206i21 Left{78I9} 28|560b21 562r14
206i35 Right{24|48I9} 28|560b35 562r35
207V13*UR_Add{78I9} 207>21 207>35 290r68 28|555b13 558l8 558t14
207i21 Left{24|48I9} 28|555b21 557r28
207i35 Right{78I9} 28|555b34 557r36
210V13*UR_Div{78I9} 210>21 210>35 293r68 28|682b13 798l8 798t14
210i21 Left{78I9} 28|682b21 683r52
210i35 Right{78I9} 28|682b27 684r52
211V13*UR_Div{78I9} 211>21 211>35 294r68 28|672b13 675l8 675t14
211i21 Left{24|48I9} 28|672b21 674r28
211i35 Right{78I9} 28|672b34 674r36
212V13*UR_Div{78I9} 212>21 212>35 295r68 28|677b13 680l8 680t14
212i21 Left{78I9} 28|677b21 679r14
212i35 Right{24|48I9} 28|677b35 679r35
215V13*UR_Mul{78I9} 215>21 215>35 297r68 28|1112b13 1201l8 1201t14
215i21 Left{78I9} 28|1112b21 1113r52
215i35 Right{78I9} 28|1112b27 1114r52
216V13*UR_Mul{78I9} 216>21 216>35 298r68 28|1102b13 1105l8 1105t14
216i21 Left{24|48I9} 28|1102b21 1104r28
216i35 Right{78I9} 28|1102b34 1104r36
217V13*UR_Mul{78I9} 217>21 217>35 299r68 28|1107b13 1110l8 1110t14
217i21 Left{78I9} 28|1107b21 1109r14
217i35 Right{24|48I9} 28|1107b35 1109r35
220V13*UR_Sub{78I9} 220>21 220>35 301r68 28|1286b13 1289l8 1289t14
220i21 Left{78I9} 28|1286b21 1288r14
220i35 Right{78I9} 28|1286b27 1288r32
221V13*UR_Sub{78I9} 221>21 221>35 302r68 28|1276b13 1279l8 1279t14
221i21 Left{24|48I9} 28|1276b21 1278r28
221i35 Right{78I9} 28|1276b34 1278r47
222V13*UR_Sub{78I9} 222>21 222>35 303r68 28|1281b13 1284l8 1284t14
222i21 Left{78I9} 28|1281b21 1283r14
222i35 Right{24|48I9} 28|1281b35 1283r36
225V13*UR_Exponentiate{78I9} 225>30 225>45 306r62 28|813b13 887l8 887t23
225i30 Real{78I9} 28|813b30 824r26 826r28 829r17
225i45 N{24|48I9} 28|813b44 814r35 825r18 844r34 853r13
229V13*UR_Abs{78I9} 229>21 308r55 28|540b13 549l8 549t14
229i21 Real{78I9} 28|540b21 541r51
232V13*UR_Negate{78I9} 232>24 310r55 28|826s17 1263b13 1270l8 1270t17 1278s36
. 1288s21
232i24 Real{78I9} 28|1263b24 1266r44 1267r44 1268r44 1269r48
235V13*UR_Eq{boolean} 235>20 235>26 312r64 28|804b13 807l8 807t13
235i20 Left{78I9} 28|804b20 806r25
235i26 Right{78I9} 28|804b26 806r31
238V13*UR_Max{78I9} 238>21 238>27 28|1076b13 1083l8 1083t14
238i21 Left{78I9} 28|1076b21 1078r10 1079r17
238i27 Right{78I9} 28|1076b27 1078r18 1081r17
241V13*UR_Min{78I9} 241>21 241>27 28|1089b13 1096l8 1096t14
241i21 Left{78I9} 28|1089b21 1091r10 1092r17
241i27 Right{78I9} 28|1089b27 1091r18 1094r17
244V13*UR_Ne{boolean} 244>20 244>26 28|806s18 1207b13 1257l8 1257t13
244i20 Left{78I9} 28|1207b20 1212r16 1217r19 1222r34 1223r34 1233r71 1238r28
. 1242r39
244i26 Right{78I9} 28|1207b26 1212r22 1217r49 1222r63 1223r63 1234r71 1239r39
. 1241r31
247V13*UR_Lt{boolean} 247>20 247>26 314r64 28|991b13 1070l8 1070t13
247i20 Left{78I9} 28|991b20 995r16 1000r25 1004r31 1008r27 1013r31 1022r34
. 1023r33 1025r34 1026r33 1040r35
247i26 Right{78I9} 28|991b26 995r22 1001r33 1003r25 1009r36 1014r32 1022r63
. 1025r63 1041r35
250V13*UR_Le{boolean} 250>20 250>26 316r64 28|982b13 985l8 985t13
250i20 Left{78I9} 28|982b20 984r27
250i26 Right{78I9} 28|982b26 984r19
253V13*UR_Gt{boolean} 253>20 253>26 320r64 28|945b13 948l8 948t13
253i20 Left{78I9} 28|945b20 947r23
253i26 Right{78I9} 28|945b26 947r15
256V13*UR_Ge{boolean} 256>20 256>26 318r64 28|936b13 939l8 939t13
256i20 Left{78I9} 28|936b20 938r19
256i26 Right{78I9} 28|936b26 938r26
259V13*UR_Is_Zero{boolean} 259>25 28|164s10 203s10 973b13 976l8 976t18 1000s13
. 1003s13 1238s16 1239s27 1241s19 1242s27
259i25 Real{78I9} 28|973b25 975r28
262V13*UR_Is_Negative{boolean} 262>29 28|824s10 954b13 957l8 957t22 1026s17
262i29 Real{78I9} 28|954b29 956r28
265V13*UR_Is_Positive{boolean} 265>29 28|963b13 967l8 967t22 1001s17 1023s17
265i29 Real{78I9} 28|963b29 965r32 966r32
268U14*UR_Write 268>24 268>38 28|432s7 1327b14 1530l8 1530t16
268i24 Real{78I9} 28|1327b24 1328r51
268b38 Brackets{boolean} 28|1327b38 1481r13 1502r13 1517r13 1526r13
280U14*pr 280>18 281r24 28|430b14 434l8 434t10
280i18 Real{78I9} 28|430b18 432r17
289V14*"+"=289:68{78I9} 28|557s34 562s19 1278s34 1283s19 1288s19
289i18 Left{78I9}
289i32 Right{78I9}
290V14*"+"=290:68{78I9}
290i18 Left{24|48I9}
290i32 Right{78I9}
291V14*"+"=291:68{78I9}
291i18 Left{78I9}
291i32 Right{24|48I9}
293V14*"/"=293:68{78I9} 28|674s34 679s19
293i18 Left{78I9}
293i32 Right{78I9}
294V14*"/"=294:68{78I9}
294i18 Left{24|48I9}
294i32 Right{78I9}
295V14*"/"=295:68{78I9}
295i18 Left{78I9}
295i32 Right{24|48I9}
297V14*"*"=297:68{78I9} 28|69r32 1104s34 1109s19
297i18 Left{78I9}
297i32 Right{78I9}
298V14*"*"=298:68{78I9}
298i18 Left{24|48I9}
298i32 Right{78I9}
299V14*"*"=299:68{78I9}
299i18 Left{78I9}
299i32 Right{24|48I9}
301V14*"-"=301:68{78I9}
301i18 Left{78I9}
301i32 Right{78I9}
302V14*"-"=302:68{78I9} 28|284r49
302i18 Left{24|48I9}
302i32 Right{78I9}
303V14*"-"=303:68{78I9}
303i18 Left{78I9}
303i32 Right{24|48I9}
305V14*"**"=306:62{78I9}
305i20 Real{78I9}
305i35 N{24|48I9}
308V14*"abs"=308:55{78I9}
308i20 Real{78I9}
310V14*"-"=310:55{78I9} 28|284r33
310i20 Real{78I9}
312V14*"="=312:64{boolean} 28|496r42 521r42 840s38
312i20 Left{78I9}
312i26 Right{78I9}
314V14*"<"=314:64{boolean} 28|938s24 947s21 984s25
314i20 Left{78I9}
314i26 Right{78I9}
316V14*"<="=316:64{boolean} 28|1091s15
316i20 Left{78I9}
316i26 Right{78I9}
318V14*">="=318:64{boolean} 28|1078s15
318i20 Left{78I9}
318i26 Right{78I9}
320V14*">"=320:64{boolean}
320i20 Left{78I9}
320i26 Right{78I9}
332I9*Save_Mark 334r25 337r27 351c9 28|331r25 333r14 449r27 1034r38 1232r38
334V13*Mark{332I9} 28|331b13 334l8 334t12 1034s51 1232s51
337U14*Release 337>23 28|449b14 452l8 452t15 1066s13 1252s16
337i23 M{332I9} 28|449b23 451r31
X 28 urealp.adb
39i4 Ureal_First_Entry{27|78I9} 75r30
43R9 Ureal_Entry 56e14 62r8 69r8 73r30 108r23 127r46 136r30 136r50 146r32
. 150r43 159r22 198r22 245r46 368r30 368r50 467r32 485r43 541r22 566r14 567r14
. 577r34 622r18 623r18 659r22 683r23 684r23 816r14 894r22 1035r22 1036r22
. 1113r23 1114r23 1233r31 1234r31 1296r22 1314r22 1328r22
44i7*Num{24|48I9} 63r7 177r43 188r43 216r43 227r43 361r31 383r19 387r19 391r19
. 411m15 423r34 473r14 475m37 475r49 545m18 545r34 582m21 582r35 586m21 586r35
. 602r23 602r73 606m27 613m27 627m19 627r31 631m19 631r31 634r24 634r44 638m27
. 645m27 662r32 664r22 688r27 693m24 693r41 694r52 698r33 698r43 700m24 700r41
. 700r53 707m24 707r41 709r41 716m24 716r41 717r41 722r30 722r40 725m24 725r41
. 725r52 732m24 732r42 732r53 743r32 743r43 746r31 746r42 752m27 760m24 760r42
. 760r53 773r28 774r28 776r28 777r28 792m24 843m21 854r29 858m21 859r37 871m24
. 871r40 881m24 881r40 897r33 899r21 916m18 966r38 975r34 1060r32 1060r56
. 1062r32 1062r56 1115r43 1115r54 1123m24 1130m24 1137m24 1144m24 1152m21
. 1160m24 1167m24 1174m24 1196m21 1249r34 1249r46 1266m18 1266r50 1300r19
. 1317r23 1319r21 1340r14 1347r24 1357r22 1363r22 1373r22 1387r27 1400r32
. 1409r27 1418r27 1433r27 1435r27 1438r27 1440r27 1441r27 1449r27 1466r41
. 1485r24 1510r17 1511r24 1521r24
47i7*Den{24|48I9} 64r7 178r43 217r43 238r34 292r34 347r31 384r19 386r17 387r44
. 392r32 412m15 546m18 546r34 589r21 589r32 590r32 591r32 595r32 596r32 607m27
. 614m27 634r33 634r53 639m27 646m27 646r42 646r51 662r42 664r32 664r47 693r52
. 694m24 694r41 698r54 700r64 701m24 701r43 705r21 708m24 708r57 710r41 716r66
. 717m24 717r52 726m24 726r41 726r52 732r65 733m24 733r41 737r21 742r24 743r72
. 744r47 747r46 748r48 753m27 761r56 762m24 762r41 772r21 773r56 777r54 781r24
. 782r54 784r52 788r34 793m24 844m21 858r37 859m21 872m24 872r40 882m24 882r40
. 897r43 897r58 899r31 917m18 1047r24 1047r35 1048m24 1048r36 1048r47 1049m24
. 1051m24 1051r36 1051r47 1052m24 1060r43 1060r67 1062r43 1062r67 1124m24
. 1124r41 1124r52 1128r38 1130r47 1131m24 1131r41 1135r21 1137r64 1138m24
. 1138r41 1145m24 1145r41 1145r67 1153m21 1153r38 1153r49 1158r35 1160r47
. 1161m24 1161r41 1165r21 1167r64 1168m24 1168r41 1175m24 1175r41 1175r67
. 1183r18 1184r48 1186r46 1189r18 1190r48 1192r46 1197m21 1250r34 1250r46
. 1267m18 1267r50 1300r30 1300r46 1317r33 1319r31 1346r17 1353r22 1354r22
. 1356r17 1362r20 1372r20 1387r50 1402r29 1406r42 1406r63 1407r52 1409r50
. 1430r51 1432r20 1437r20 1460r55 1469r25 1488r17 1493r20 1494r31 1497r30
. 1510r29 1511r34 1523r24
50i7*Rbase{23|62I12} 65r7 176r17 215r17 291r24 292r48 382r14 387r29 392r19
. 413m15 442r34 547m18 547r34 575r15 575r40 575r53 602r34 608m27 615m27 615r44
. 640m27 647m27 690r15 691r18 695m24 702m24 702r41 708r41 711m24 716r52 718m24
. 723r18 723r31 727m24 727r41 730r21 734m24 734r41 743r56 744r31 747r32 748r32
. 754m27 761r42 763m24 763r41 773r40 777r40 780r21 782r38 784r38 794m24 845m21
. 860m21 868r17 873m24 873r40 883m24 918m18 1046r21 1046r34 1046r54 1120r15
. 1121r18 1125m24 1132m24 1132r41 1137r48 1139m24 1145r53 1146m24 1150r18
. 1150r31 1154m21 1154r38 1157r18 1162m24 1162r41 1167r48 1169m24 1175r53
. 1176m24 1184r32 1186r32 1190r32 1192r32 1198m21 1268m18 1268r50 1352r17
. 1399r18 1399r41 1406r18 1407r28 1409r37 1417r20 1419r32 1466r17 1467r25
. 1480r17 1490r28
54b7*Negative{boolean} 66r7 414m15 414r31 474m37 548m18 581r21 585r21 609m27
. 609r44 616m27 626r19 630r19 641m27 641r44 648m27 661r14 685r43 685r61 696m24
. 703m24 712m24 719m24 728m24 735m24 755m27 764m24 795m24 846m21 861m21 874m24
. 884m24 896r14 919m18 956r34 965r38 1004r37 1008r33 1009r43 1013r37 1014r39
. 1059r21 1117r43 1117r61 1126m24 1133m24 1140m24 1147m24 1155m21 1163m24
. 1170m24 1177m24 1199m21 1248r24 1248r41 1269m18 1269r54 1302r14 1316r14
. 1334r14
72K12 Ureals[20|55] 159r37 198r37 238r14 301r7 333r25 344r41 358r41 423r14
. 442r14 451r7 469r7 474r10 474r24 475r10 475r24 478r14 498r7 523r7 541r37
. 566r29 567r29 659r48 683r38 684r38 832r14 894r48 956r14 965r18 966r18 975r14
. 1004r17 1008r13 1009r22 1013r17 1014r18 1040r21 1041r21 1113r38 1114r38
. 1233r57 1234r57 1266r30 1267r30 1268r30 1269r34 1296r48 1314r48 1328r37
83i4 UR_0{27|78I9} 302m7 499m27 499r27 524r28 1538r14
84i4 UR_M_0{27|78I9} 303m7 500m27 500r27 525r28 1637r14
85i4 UR_Tenth{27|78I9} 305m7 501m27 501r27 526r28 1655r14
86i4 UR_Half{27|78I9} 304m7 502m27 502r27 527r28 1628r14
87i4 UR_1{27|78I9} 306m7 503m27 503r27 528r28 1547r14
88i4 UR_2{27|78I9} 307m7 504m27 504r27 529r28 1556r14
89i4 UR_10{27|78I9} 308m7 505m27 505r27 530r28 1565r14
90i4 UR_10_36{27|78I9} 309m7 1583r14
91i4 UR_M_10_36{27|78I9} 310m7 1646r14
92i4 UR_100{27|78I9} 311m7 506m27 506r27 531r28 1574r14
93i4 UR_2_128{27|78I9} 312m7 507m27 507r27 532r28 1601r14
94i4 UR_2_80{27|78I9} 314m7 1592r14
95i4 UR_2_M_128{27|78I9} 313m7 508m27 508r27 533r28 1619r14
96i4 UR_2_M_80{27|78I9} 315m7 1610r14
98N4 Num_Ureal_Constants 496r22 521r22
102i4 Normalized_Real{27|78I9} 342r26 343m10 356r26 357m10 512m7
108r4 Normalized_Entry{43R9} 344m10 347r14 358m10 361r14
115V13 Decimal_Exponent_Hi{23|59I9} 115>34 158b13 191l8 191t27 1022s13 1025s42
. 1222s13 1223s42
115i34 V{27|78I9} 158b34 159r51 164r22
121V13 Decimal_Exponent_Lo{23|59I9} 121>34 197b13 230l8 230t27 1022s42 1025s13
. 1222s42 1223s13
121i34 V{27|78I9} 197b34 198r51 203r22
127V13 Equivalent_Decimal_Exponent{23|59I9} 127>42 189s17 228s17 245b13 293l8
. 293t35
127r42 U{43R9} 245b42 291r22 292r32 292r46
133V13 Is_Integer{boolean} 133>25 133>30 322b13 325l8 325t18 698s16 722s13
. 1128s16 1158s13
133i25 Num{24|48I9} 322b25 324r15 324r34
133i30 Den{24|48I9} 322b30 324r21 324r28
136V13 Normalize{43R9} 136>24 344s30 358s30 368b13 415l8 415t17 487s27 622s33
. 623s33 659s37 855s17 894s37 1056s21 1057s21 1233s46 1234s46 1296s37 1314s37
136r24 Val{43R9} 368b24 382r10 383r15 384r15 386r13 387r15 387r25 387r40
. 391r15 392r15 392r28 414r27
140V13 Same{boolean} 140>19 140>23 141r19 342s14 356s14 458b13 461l8 461t12
. 995s10 1212s10 1217s13 1217s43
140i19 U1{27|78I9} 458b19 460r19
140i23 U2{27|78I9} 458b23 460r30
146V13 Store_Ureal{27|78I9} 146>26 467b13 479l8 479t19 487s14 544s14 605s23
. 612s23 637s23 699s20 724s20 731s20 751s23 759s20 842s17 857s17 870s20 880s20
. 915s14 1129s20 1151s17 1159s20 1265s14
146r26 Val{43R9} 467b26 469r22 473r10 475r45
150V13 Store_Ureal_Normalized{27|78I9} 150>37 151r19 485b13 488l8 488t30
. 644s23 692s20 706s20 715s20 791s20 1122s20 1136s20 1143s20 1166s20 1173s20
. 1195s17
150r37 Val{43R9} 485b37 487r38
159r7 Val{43R9} 176r13 177r39 178r39 188r39 189r46
198r7 Val{43R9} 215r13 216r39 217r39 227r39 228r46
247R12 Ratio 250e17 258r52 276r36 283r36
248i10 Num{23|62I12} 259m16 260m16 261m16 262m16 263m16 264m16 265m16 266m16
. 267m16 268m16 269m16 270m16 271m16 272m16 273m16 274m16 287r49
249i10 Den{23|62I12} 259m36 260m36 261m36 262m36 263m36 264m36 265m36 266m36
. 267m36 268m36 269m36 270m36 271m36 272m36 273m36 274m36 287r68
258a7 Logs(247R12) 292r40
276V16 Scale{23|59I9} 276>23 276>32 283b16 288l11 288t16 292s14
276i23 X{23|59I9} 283b23 287r32
276r32 R{247R12} 283b32 287r47 287r66
284I15 Wide_Int<long_integer> 287r22 287r37 287r56
369i7 J{24|48I9} 383m10 387m10 391m10 395r14 398r14 399r17 400m10 404m7 404r20
. 405r20 406r20
370i7 K{24|48I9} 384m10 388m10 392m10 396r14 398r10 400r15 401m10 404r23
371i7 Tmp{24|48I9} 399m10 401r15
372i7 Num{24|48I9} 395m7 405m7 405r14 407m34 407r34 411r27
373i7 Den{24|48I9} 396m7 406m7 406r14 407m39 407r39 412r27
374r7 M{24|364R9} 407r31
541r7 Val{43R9} 545r30 546r30 547r30
566r7 Lval{43R9} 575r10 575r35 581r16 582m16 582r30 589r16 590r27 592r27
. 596r27 598r27 602r29 609r39 615r39 622r44 641r39
567r7 Rval{43R9} 575r48 585r16 586m16 586r30 589r27 591r27 593r27 595r27
. 597r27 623r44
568i7 Num{24|48I9} 601m13 604r16 613r43 616r40 634m13 636r16 645r43 648r40
577r13 Opd_Min{43R9} 592m16 597m16 602r15
577r22 Opd_Max{43R9} 593m16 598m16 602r65
578i13 Exp_Min{24|48I9} 590m16 595m16 602r54
578i22 Exp_Max{24|48I9} 591m16 596m16 602r44 614r39
622r13 Ln{43R9} 626r16 627m16 627r28 634r21 634r50 646r39
623r13 Rn{43R9} 630r16 631m16 631r28 634r30 634r41 646r48
659r7 Val{43R9} 661r10 662r28 662r38 664r18 664r28 664r43
683r7 Lval{43R9} 685r56 690r10 693r36 694r36 698r28 698r49 700r36 700r59
. 707r36 710r36 716r36 717r47 722r25 723r26 725r36 726r36 727r36 732r37 733r36
. 734r36 742r19 743r27 743r51 743r67 746r26 747r27 747r41 760r37 762r36 763r36
. 772r16 773r23 773r35 773r51 776r23 777r35 777r49
684r7 Rval{43R9} 685r38 688r22 691r13 693r47 694r47 698r38 700r48 701r38
. 702r36 705r16 708r36 708r52 709r36 716r47 716r61 717r36 722r35 723r13 725r47
. 726r47 730r16 732r48 732r60 737r16 743r38 744r26 744r42 746r37 748r27 748r43
. 760r48 761r37 761r51 774r23 777r23 780r16 781r19 782r33 782r49 784r33 784r47
. 788r29
685b7 Rneg{boolean} 696r36 703r36 712r36 719r36 728r36 735r36 755r39 764r36
. 795r36
739i16 Num{24|48I9} 743m19 746m19 752r39
739i21 Den{24|48I9} 744m19 747m19 753r39
769i13 Num{24|48I9} 773m16 776m16 784m19 784r26 788m16 788r23 792r36
769i18 Den{24|48I9} 774m16 777m16 782m19 782r26 793r36
814i7 X{24|48I9} 858r44 859r44 871r47 872r46 881r47 882r47
815i7 Bas{27|78I9} 826m10 829m10 832r28 837r25 840r40 845r54
816r7 Val{43R9} 832m7 854r25 855m10 855r28 858r33 859r33 868r13 871r36 872r36
. 873r36 881r36 882r36
817b7 Neg{boolean} 825m10 828m10 846r33 861r33 874r36 884r36
818i7 IBas{24|48I9} 837m7 839r10 840r32
894r7 Val{43R9} 896r10 897r29 897r39 897r54 899r17 899r27
1033r13 Imrk{24|364R9} 1065r22
1034i13 Rmrk{27|332I9} 1066r22
1035r13 Lval{43R9} 1040m13 1046r16 1046r49 1047r19 1048r42 1049m19 1051m19
. 1051r31 1056m13 1056r32 1059r16 1060r27 1060r62 1062r27 1062r62
1036r13 Rval{43R9} 1041m13 1046r29 1047r30 1048m19 1048r31 1051r42 1052m19
. 1057m13 1057r32 1060r38 1060r51 1062r38 1062r51
1037b13 Result{boolean} 1060m16 1062m16 1067r20
1113r7 Lval{43R9} 1115r38 1117r38 1120r10 1124r36 1128r33 1130r42 1138r36
. 1145r36 1150r13 1153r33 1154r33 1161r36 1162r36 1165r16 1167r43 1167r59
. 1175r48 1175r62 1183r13 1184r27 1184r43 1186r27 1186r41
1114r7 Rval{43R9} 1115r49 1117r56 1121r13 1124r47 1131r36 1132r36 1135r16
. 1137r43 1137r59 1145r48 1145r62 1150r26 1153r44 1157r13 1158r30 1160r42
. 1168r36 1175r36 1189r13 1190r27 1190r43 1192r27 1192r41
1115i7 Num{24|48I9} 1123r36 1128r28 1130r36 1137r36 1144r36 1152r33 1158r25
. 1160r36 1167r36 1174r36 1184m13 1184r20 1190m13 1190r20 1196r33
1116i7 Den{24|48I9} 1181m10 1186m13 1186r20 1192m13 1192r20 1197r33
1117b7 Rneg{boolean} 1126r36 1133r36 1140r36 1147r36 1155r33 1163r36 1170r36
. 1177r36 1199r33
1231r13 Imrk{24|364R9} 1251r25
1232i13 Rmrk{27|332I9} 1252r25
1233r13 Lval{43R9} 1248r36 1249r41 1250r41
1234r13 Rval{43R9} 1248r19 1249r29 1250r29
1235b13 Result{boolean} 1247m16 1253r23
1296r7 Val{43R9} 1300r15 1300r26 1300r42 1302r10
1297i7 Res{24|48I9} 1300m7 1303r28 1305r17
1314r7 Val{43R9} 1316r10 1317r19 1317r29 1319r17 1319r27
1328r7 Val{43R9} 1334r10 1340r10 1346r13 1347r20 1352r13 1353r18 1354r18
. 1356r13 1357r18 1362r16 1363r18 1372r16 1373r18 1387r23 1387r46 1399r14
. 1399r37 1400r28 1402r25 1406r14 1406r38 1406r59 1407r24 1407r48 1409r23
. 1409r33 1409r46 1417r16 1418r23 1419r28 1430r47 1432r16 1433r23 1435r23
. 1437r16 1438r23 1440r23 1441r23 1449r23 1460r51 1466r13 1466r37 1467r21
. 1469r21 1480r13 1485r20 1488r13 1490r24 1493r16 1494r27 1497r26 1510r13
. 1510r25 1511r20 1511r30 1521r20 1523r20
1329i7 T{24|48I9} 1357m13 1358r23 1360r23 1363m13 1364r23 1366r23 1368r16
. 1369r26 1373m13 1374r23 1376r23 1378r16 1379r26 1381r19 1382r29