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 ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_EXCEPTIONS
RV NO_LONG_LONG_INTEGERS
RV NO_RECURSION
RV NO_UNCHECKED_ACCESS
RV NO_DYNAMIC_SIZED_OBJECTS

U system.generic_bignums%b  s-genbig.adb	a532de6d NE OL PK GE
W system%s		system.ads		system.ali

U system.generic_bignums%s  s-genbig.ads	6de8bf04 BN NE OL PR PK GE
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W system.shared_bignums%s  s-shabig.ads		s-shabig.ali

D ada.ads		20250808065140 76789da1 ada%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-genbig.ads		20250808065140 78505182 system.generic_bignums%s
D s-genbig.adb		20250808065140 dd628fef system.generic_bignums%b
D s-shabig.ads		20250808065140 5417e075 system.shared_bignums%s
G a e
G c Z s b [generic_bignums system 53 16 none]
X 3 interfac.ads
47K9*Interfaces 247e15 5|36w6 108r28 112r28 124r45 128r45 6|36r8
92M9*Unsigned_32
95M9*Unsigned_64 5|108r39 124r56 6|1130r45 1132r14 1205r28 1206r12 1207r28
. 1208r12 1282r31 1282r46 1283r31 1284r15 1296r28
99M9*Unsigned_128 5|112r39 128r56 6|1071r28 1072r33 1072r58 1081r28 1082r33
. 1082r58 1102r45 1111r17 1114r17 1118r24 1119r14 1123r24 1124r14 1132r27
. 1206r38 1208r25 1262r28 1298r25
154V13*Shift_Left{92M9} 6|339s20 432s27 462s22
159V13*Shift_Right{92M9} 6|433s22 461s27 466s12
204V13*Shift_Left{99M9} 6|1072s21 1082s21 1118s12 1123s12
209V13*Shift_Right{99M9} 6|1206s25 1274s13 1282s59
X 4 system.ads
37K9*System 156e11 5|37r6 53r9 141r5 6|34r14 1410r5
81V14*"="{boolean} 6|54r66
X 5 s-genbig.ads
40+9 Big_Integer 43r67 46r48 50r31 64r44 65r44 66r44 67r44 68r44 69r44 70r44
. 71r44 72r44 77r44 78r44 82r67 83r67 100r54 104r59 108r59 112r60 6|70r31
. 90r31 91r31 101r38 107r46 117r31 204r41 213r45 241r45 242r22 253r46 279r31
. 280r31 289r41 303r45 355r44 379r44 413r66 446r44 540r44 541r22 565r29 579r44
. 630r41 658r44 659r22 670r44 722r31 723r31 1170r38 1191r59 1194r60 1202r60
. 1257r54 1262r49 1296r48 1357r33 1358r33
42V18 Allocate_Big_Integer{40+9} 43>12 43>45 6|418s17 451s17 1184s14 1220s17
. 1225s17 1230s17 1233s17 1241s20 1251s20 1265s17 1270s17 1275s17
43a12 D{7|55A9}
43b45 Neg{boolean}
46U19 Free_Big_Integer 46=37 6|284s16 292s22 568s16 1364s16 1369s19
46*37 X{40+9}
49V18 To_Bignum{7|73P9} 50=12 6|245s7 245s28 281s27 281s44 290s30 558s13
. 565s56 567s16 662s7 662s28 1363s48 1367s25
50*12 X{40+9}
53k16*Generic_Bignums 4|37k9 5|40z9 42z18 46z19 49z18 141l12 141e27 6|34b21
. 1410l12 1410t27
56P12*Bignum{7|73P9} 64r29 65r29 66r29 67r29 68r29 69r29 70r29 71r29 72r29
. 77r29 78r29 82r34 83r34 87r29 88r29 89r29 90r29 91r29 92r29 96r38 116r30
. 120r30 124r30 128r30 133r11 138r26 6|89r27 107r23 204r26 213r30 241r30
. 253r23 303r30 355r29 379r29 413r33 446r11 476r28 485r28 494r28 503r28 512r28
. 540r29 579r29 621r28 630r26 658r29 670r29 721r27 1048r30 1097r30 1102r30
. 1130r30 1139r38 1308r11 1322r29 1351r29 1407r26
64V13*Big_Add{40+9} 64>22 64>25 6|213b13 216l8 216t15
64p22 X{56P12} 6|213b23 215r19 215r29
64p25 Y{56P12} 6|213b26 215r24 215r36
65V13*Big_Sub{40+9} 65>22 65>25 6|565s44 670b13 682l8 682t15
65p22 X{56P12} 6|670b22 675r28 675r33 680r22 680r32
65p25 Y{56P12} 6|670b25 674r10 680r27 680r43
66V13*Big_Mul{40+9} 66>22 66>25 6|270s20 281s18 290s21 579b13 615l8 615t15
66p22 X{56P12} 6|579b22 580r35 590r21 592r33 593r22 614r33
66p25 Y{56P12} 6|579b25 580r43 591r24 592r47 593r37 614r43
67V13*Big_Div{40+9} 67>22 67>25 6|241b13 247l8 247t15
67p22 X{56P12} 6|241b23 244r16 245r60
67p25 Y{56P12} 6|241b26 244r19 245r70
68V13*Big_Exp{40+9} 68>22 68>25 6|303b13 349l8 349t15
68p22 X{56P12} 6|303b23 317r13 323r13 323r32 325r13 325r25 336r13 336r32
. 341r34 347r17
68p25 Y{56P12} 6|303b26 307r10 312r13 325r41 325r46 331r13 336r53 339r49
. 347r22
69V13*Big_Mod{40+9} 69>22 69>25 6|540b13 573l8 573t15
69p22 X{56P12} 6|540b22 546r10 547r26 554r19
69p25 Y{56P12} 6|540b25 546r18 547r29 554r22 565r53 567r38
70V13*Big_Rem{40+9} 70>22 70>25 6|547s17 658b13 664l8 664t15
70p22 X{56P12} 6|658b22 661r16 662r59
70p25 Y{56P12} 6|658b25 661r19
71V13*Big_Neg{40+9} 71>22 6|630b13 633l8 633t15
71p22 X{56P12} 6|630b22 632r25 632r34
72V13*Big_Abs{40+9} 72>22 6|204b13 207l8 207t15
72p22 X{56P12} 6|204b22 206r25
77V13*Big_And{40+9} 77>22 77>25 6|355b13 358s17 373l8 373t15
77p22 X{56P12} 6|355b22 357r10 358r26 358r39 364r38 365r46 367r24 368r27
. 371r36
77p25 Y{56P12} 6|355b25 357r18 358r31 358r34 365r38 368r39 371r46
78V13*Big_Or{40+9} 78>22 78>25 6|379b13 382s17 407l8 407t14
78p22 X{56P12} 6|379b22 381r10 382r25 382r38 388r38 390r38 396r31 401r31
. 405r36
78p25 Y{56P12} 6|379b25 381r18 382r30 382r33 390r46 400r24 401r46 405r45
82V13*Big_Shift_Left{40+9} 82>30 82>42 6|413b13 439l8 439t22
82p30 X{56P12} 6|413b29 415r10 418r39 423r38 427r19 431r32 432r39 433r35
82i42 Amount{natural} 6|413b41 417r13 422r39 423r46
83V13*Big_Shift_Right{40+9} 83>30 83>42 6|445b13 470l8 470t23
83p30 X{56P12} 6|446b7 448r10 451r39 456r38 461r40 462r34 466r25
83i42 Amount{natural} 6|446b19 450r13 455r39 456r46
87V13*Big_EQ{boolean} 87>22 87>25 6|476b13 479l8 479t14
87p22 X{56P12} 6|476b21 478r23 478r33
87p25 Y{56P12} 6|476b24 478r28 478r40
88V13*Big_NE{boolean} 88>22 88>25 6|621b13 624l8 624t14
88p22 X{56P12} 6|621b21 623r23 623r33
88p25 Y{56P12} 6|621b24 623r28 623r40
89V13*Big_GE{boolean} 89>22 89>25 6|485b13 488l8 488t14
89p22 X{56P12} 6|485b21 487r23 487r33
89p25 Y{56P12} 6|485b24 487r28 487r40
90V13*Big_LE{boolean} 90>22 90>25 6|503b13 506l8 506t14
90p22 X{56P12} 6|503b21 505r23 505r33
90p25 Y{56P12} 6|503b24 505r28 505r40
91V13*Big_GT{boolean} 91>22 91>25 6|494b13 497l8 497t14
91p22 X{56P12} 6|494b21 496r23 496r33
91p25 Y{56P12} 6|494b24 496r28 496r40
92V13*Big_LT{boolean} 92>22 92>25 6|512b13 515l8 515t14 1353s13 1391s10
92p22 X{56P12} 6|512b21 514r23 514r33
92p25 Y{56P12} 6|512b24 514r28 514r40
96V13*Bignum_In_LLI_Range{boolean} 96>34 6|1139b13 1160l8 1160t27
96p34 X{56P12} 6|1139b34 1143r10 1148r13 1155r34 1155r44 1157r43
100V13*To_Bignum{40+9} 100>24 6|761s28 765s29 1257b13 1260l8 1260t17
100i24 X{long_long_integer} 6|1257b24 1259r49
104V13*To_Bignum{40+9} 104>24 6|1191b13 1255l8 1255t17 1259s14
104i24 X{long_long_long_integer} 6|1191b24 1219r10 1224r13 1225r48 1225r53
. 1229r13 1232r34 1237r13 1239r34 1242r30 1242r48 1249r33 1252r28 1252r43
108V13*To_Bignum{40+9} 108>24 6|1296b13 1299l8 1299t17
108m24 X{3|95M9} 6|1296b24 1298r39
112V13*To_Bignum{40+9} 112>24 6|1262b13 1294l8 1294t17 1298s14
112m24 X{3|99M9} 6|1262b24 1264r10 1269r13 1270r44 1274r26 1275r44 1275r59
. 1282r72 1284r28
116V13*From_Bignum{long_long_integer} 116>26 6|757s37 758s37 1097b13 1100l8
. 1100t19 1354s46 1363s35
116p26 X{56P12} 6|1097b26 1099r70
120V13*From_Bignum{long_long_long_integer} 120>26 6|1048b13 1095l8 1095t19
. 1099s57
120p26 X{56P12} 6|1048b26 1050r10 1053r13 1054r21 1054r39 1054r59 1056r13
. 1058r34 1058r44 1060r16 1067r13 1069r34 1070r34 1070r44 1074r24 1077r13
. 1079r34 1079r44 1080r34 1080r44 1084r16
124V13*From_Bignum{3|95M9} 124>26 6|1130b13 1133l8 1133t19
124p26 X{56P12} 6|1130b26 1132r54
128V13*From_Bignum{3|99M9} 128>26 6|1102b13 1128l8 1128t19 1132s41
128p26 X{56P12} 6|1102b26 1104r10 1107r13 1110r13 1111r31 1113r13 1114r35
. 1114r45 1116r13 1118r38 1119r32 1119r42 1121r13 1123r42 1123r52 1124r32
. 1124r42
132V13*To_String{string} 133>7 133>19 133>41 6|1307b13 1401l8 1401t17
133p7 X{56P12} 6|1308b7 1391r18 1393r45 1393r56 1393r63 1399r57
133i19 Width{natural} 6|1308b19 1396r72 1399r62
133i41 Base{positive} 6|1308b41 1310r57 1334r13 1337r27
138V13*Is_Zero{boolean} 138>22 6|1407b13
138p22 X{56P12} 6|1408r7 1408r26
X 6 s-genbig.adb
41M9 DD 44r22 45r22 48r36 48r43 48r59 136r22 141r30 144r33 178r26 183r33
. 186r36 586r11 593r18 593r33 593r48 601r25 775r19 776r28 776r34 784r34 827r23
. 838r17 840r17 841r17 842r17 869r20 876r24 877r24 884r28 895r28 931r28 932r30
. 941r23 944r31 961r25 962r25 971r34 971r47 1000r30 1000r43 1026r24 1031r43
. 1058r28 1070r28 1079r28 1080r28 1114r31 1119r28 1123r38 1124r28 1155r28
44V13 MSD{7|52M12} 44b13 44>18 972s29
44m18 X{41M9} 44r44
45V13 LSD{7|52M12} 45b13 45>18 147s30 189s34 594s27 602s30 885s28 896s28
. 941s40 974s22 978s44 987s25 1001s35
45m18 X{41M9} 45r44
48V14 "&"{41M9} 48b14 48>18 48>21 930s27 941s51 1058s42 1070s42 1079s42 1080s42
. 1114s43 1119s40 1123s50 1124s40 1155s42
48m18 X{7|52M12} 48r47
48m21 Y{7|52M12} 48r63
51I12 LLI{long_long_integer} 757r26 758r26 1354r41 1363r30
52I12 LLLI{long_long_long_integer} 1054r33 1054r53 1061r24 1063r23 1074r36
. 1074r52 1087r24 1089r23
54b4 LLLI_Is_128{boolean} 1060r55 1062r41 1067r32 1077r32 1116r32 1121r32
. 1232r13 1238r13 1248r13
57a4 One_Data{7|55A9} 260r31 313r28
60a4 Zero_Data{7|55A9} 166r34 318r28 739r36 1388r53 1408r32
67V13 Add{5|40+9} 68>7 68>10 69>7 70>7 114b13 125s20 169s23 198l8 198t11
. 215s14 680s17
68a7 X{7|55A9} 72r13 115b7 124r13 125r25 125r38 130r51 135r41 140r38 141r34
. 143r32 144r45 162r54 169r28 169r41 177r45 182r41 183r37 185r35 186r48
68a10 Y{7|55A9} 72r34 115b10 124r22 125r30 125r33 130r61 143r41 144r37 144r54
. 162r57 169r33 169r36 185r44 186r40 186r57
69b7 X_Neg{boolean} 116b7 123r10 125r41 125r66 130r28 152r39 169r44 169r69
. 172r31 193r43
70b7 Y_Neg{boolean} 117b7 123r18 125r50 125r57 130r36 169r53 169r60 172r40
77E9 Compare_Result 77e39 82r38 162r27 690r38
77n28 LT{77E9} 168r24 487r50 514r49 696r32 701r60 708r64 737r45
77n32 EQ{77E9} 165r21 478r49 623r50 712r17
77n36 GT{77E9} 172r60 496r49 505r50 696r40 701r52 708r56
80V13 Compare{77E9} 81>7 81>10 82>7 82>14 162s45 478s14 487s14 496s14 505s14
. 514s14 623s14 688b13 714l8 714t15 737s10
81a7 X{7|55A9} 84r13 689b7 700r13 701r21 706r19 707r16 708r27
81a10 Y{7|55A9} 84r34 689b10 700r23 701r30 707r25 708r35
82b7 X_Neg{boolean} 690b7 695r10 696r21 701r41 708r45
82b14 Y_Neg{boolean} 690b14 695r19
88U14 Div_Rem 89>7 89>10 90<7 91<7 92>7 93>7 244s7 554s10 661s7 720b14 1042l8
. 1042t15 1362s16
89p7 X{5|56P12} 721b7 737r19 743r37 752r14 752r34 752r53 757r50 778r41 783r27
. 784r38 825r33 848r22
89p10 Y{5|56P12} 721b10 729r10 737r24 754r14 754r34 754r53 758r50 773r13
. 776r38 825r41 826r33 852r22
90*7 Quotient{5|40+9} 722b7 739m13 761m16 791m16 1021m13
91*7 Remainder{5|40+9} 723b7 743m13 765m16 796m16 1039m13
92b7 Discard_Quotient{boolean} 554r31 661r28 724b7 738r17 760r20 790r20 1020r17
93b7 Discard_Remainder{boolean} 244r28 725b7 742r17 764r20 794r20 1024r17
99V13 Normalize{5|40+9} 100>7 101>7 152s23 166s23 193s26 206s14 260s20 265s20
. 313s17 318s17 324s17 341s20 371s17 405s17 437s17 468s17 614s14 632s14 675s17
. 739s25 743s26 791s29 796s29 1021s25 1039s26 1168b13 1185l8 1185t17 1215s17
. 1291s20
100a7 X{7|55A9} 1169b7 1175r12 1176r18 1176r34 1180r10 1184r36 1184r44 1184r58
101b7 Neg{boolean} 325r18 1170b7 1184r74
107V14 "**"{5|40+9} 107>19 107>31 253b14 279s48 297l9 297t12 347s19
107p19 X{5|56P12} 253b19 265r31 270r29 270r32 279r46 290r48
107m31 Y{7|52M12} 253b31 255r12 279r52 286r20
135a16 Sum{7|55A9} 147m19 151m16 152r34
136m16 RD{41M9} 139m16 141m19 141r25 144m22 144r28 147r35 148m19 148r25 151r31
140i20 J{integer} 141r37 143r22 144r40 147r24
162e13 CR{77E9} 165r16 168r19 172r55
177a19 Diff{7|55A9} 189m22 193r37
178m19 RD{41M9} 181m19 183m22 183r28 186m25 186r31 189r39 190m22 190r32
182i23 J{integer} 183r40 185r25 186r43 189r28
242*7 Q{5|40+9} 244m22 245m18 245r18 245m39 245r39 246r14
242*10 R{5|40+9} 244m25
279*16 XY2{5|40+9} 281m38 281r38 281m55 281r55 284m34 284r34
280*16 XY2S{5|40+9} 287r26 290m41 290r41 292m40 292r40
289*26 Res{5|40+9}
338a13 D{7|55A9} 341r31
364a10 Result{7|55A9} 368m13 371r28
365i10 Diff{7|46I12} 368r48
367i14 J{integer} 368r21 368r32 368r44
388a10 Result{7|55A9} 396m13 401m13 405r28
389i10 Index{7|46I12} 393m10 395r16 396r21 396r36 397m13 397r22 401r21 401r36
. 402m13 402r22
390i10 Diff{7|46I12} 395r25
400i14 J{integer} 401r51
422i10 Shift{natural} 432r48 433r54
423a10 Result{7|55A9} 427r32 428m13 432m13 436m10 437r28
424m10 Carry{7|52M12} 432r58 433m13 436r24
427i14 J{integer} 428r21
431i14 J{integer} 432r21 432r44 433r40
455i10 Shift{natural} 461r49 462r53 466r44
456a10 Result{7|55A9} 460r24 461m13 465m10 465r18 466r30 468r28
457m10 Carry{7|52M12} 461r59 462m13 466r54
460i14 J{integer} 461r21 461r45 462r39
541*7 Q{5|40+9} 554m25
541*10 R{5|40+9} 554m28 558m24 558r24 559r20 565m67 565r67 568m34 568r34
565*16 T1{5|40+9} 567m27 567r27 569r23
580a7 Result{7|55A9} 592r18 593r52 594m13 601r29 602m16 614r25
583i7 L{7|46I12} 592m13 593r60 594r21 599r35 600m16 600r21 601r37 602r24
586m7 D{41M9} 593m13 594r32 595m13 595r18 599r19 601m16 601r21 602r35 603m16
. 603r21 608r28
590i11 J{integer} 592r41 593r27
591i14 K{integer} 592r55 593r42
659*7 Q{5|40+9} 661m22
659*10 R{5|40+9} 661m25 662m18 662r18 662m39 662r39 663r14
706i14 J{integer} 707r19 707r28 708r30 708r38
757i13 A{51I12} 761r39 765r40
758i13 B{51I12} 761r43 765r46
775m13 ND{41M9} 782m13 784m16 784r29 786r34 787m16 787r22 795r33
776m13 Div{41M9} 785r31 786r39 787r29
778a13 Result{7|55A9} 786m16 791r40
779a13 Remdr{7|55A9} 795m16 796r40
783i17 J{integer} 784r43 786r24
820q7 Algorithm_D 1041l11 1041e22
825i10 m{7|46I12} 829r33 831r33 847r24 883r38 1013r33 1031r50
826i10 n{7|46I12} 829r37 830r33 832r33 847r28 851r24 861r25 883r42 894r38
. 970r38 999r41 1030r30
827m10 b{41M9} 869r15 940r27 945r34
829a10 u{7|55A9} 834m26 834r26 848m13 884r32 885m19 930r21 930r29 941r53
. 974r35 978m19 978r32 981r28 982m16 982r25 1000r47 1001m22 1005m19 1005r28
. 1031r47
830a10 v{7|55A9} 835r26 836r26 852m13 895r32 896m19 971r38 1000r34
831a10 q{7|55A9} 987m16 996m19 996r28 1021r36
832a10 r{7|55A9} 1032m19 1039r37
834m10 u0=834:26{7|52M12} 872r13 889r16
835m10 v1=835:26{7|52M12} 860r25 869r24 931r32 932r34 944r35
836m10 v2=836:26{7|52M12} 941r27
838m10 d{41M9} 869m10 871r13 884r41 895r41 1032r40 1033r38
839i10 j{7|46I12} 908m10 930r24 930r32 941r56 974r38 978r22 978r35 981r31
. 982r19 982r28 987r19 996r22 996r31 1000r50 1001r25 1005r22 1005r31 1012m13
. 1012r18 1013r28
840m10 qhat{41M9} 931m13 940r19 941r33 943m16 943r24 971r27 987r30
841m10 rhat{41M9} 932m13 941r45 944m16 944r24 945r26
842m10 temp{41M9} 930m13 931r21 932r21
847i14 J{integer} 848r16 848r27
851i14 J{integer} 852r16 852r27
876m16 Carry{41M9} 882m16 884r45 886m19 889r26 893m16 895r45 897m19 900r31
877m16 Tmp{41M9} 884m19 885r33 886r28 895m19 896r33 897r28
883i20 J{integer} 884r35 885r22
894i20 J{integer} 895r35 896r22
960m16 Borrow{7|52M12} 969m16 971r51 972m19 975m22 975r32 981r36 982r33
961m16 Carry{41M9} 998m19 1000r60 1002m22 1005r40
962m16 Temp{41M9} 971m19 972r34 974r27 978r49 1000m22 1001r40 1002r31
964b16 Negative{boolean} 981m16 989r19
970i20 K{integer} 971r41 974r42 978r26 978r39
999i23 K{integer} 1000r37 1000r54 1001r29
1026m16 Remdr{41M9} 1028m16 1031m19 1031r35 1032r32 1033m19 1033r28 1036r31
1030i20 K{integer} 1031r54 1032r22
1058m13 Mag{41M9} 1060r32 1061r30 1062r19 1063r29
1069m13 Hi{7|52M12} 1072r47
1070m13 Lo{41M9} 1072r72
1071m13 Mag{3|99M9} 1074r42 1074r58
1079m13 Hi{41M9} 1082r47 1085r25 1085r47 1088r19
1080m13 Lo{41M9} 1082r72 1085r69
1081m13 Mag{3|99M9} 1087r30 1089r29
1155m13 Mag{41M9} 1157r20 1157r58
1166N4 Bignum_Limit 1180r23
1172i7 J{7|46I12} 1175m7 1176r13 1176r37 1177m10 1177r15 1180r19 1184r39
. 1184r53
1193V16 Convert_128{5|40+9} 1194>10 1194>38 1201b16 1216l11 1216t22 1239s20
. 1249s20
1194i10 X{long_long_long_integer} 1202b10 1206r52 1208r39
1194b38 Neg{boolean} 1202b38 1215r36
1204a10 Vector{7|55A9} 1211m10 1212m10 1213m10 1214m10 1215r28
1205m10 High{3|95M9} 1211r28 1212r28
1207m10 Low{3|95M9} 1213r28 1214r28
1281a13 Vector{7|55A9} 1287m13 1288m13 1289m13 1290m13 1291r31
1282m13 High{3|95M9} 1287r31 1288r31
1283m13 Low{3|95M9} 1289r31 1290r31
1305a4 Hex_Chars(character) 1354r21 1367r44
1310r7 Big_Base{7|58R9} 1353m26 1353r26 1362m30 1362r30
1312V16 Add_Base{string} 1312>26 1332b16 1339l11 1339t19 1396s29 1399s40
1312a26 S{string} 1332b26 1335r20 1337r41
1315V16 Leading_Padding{string} 1316>10 1317>10 1318>10 1379b16 1386l11 1386t26
. 1395s20 1399s17
1316a10 Str{string} 1380b10 1384r59 1385r36
1317i10 Min_Length{natural} 1381b10 1384r45
1318e10 Char{character} 1382b10 1385r28
1322V16 Image{string} 1322>23 1351b16 1367s18 1373l11 1373t16 1396s39 1399s50
1322p23 Arg{5|56P12} 1351b23 1353r21 1354r59 1362r25
1325V16 Image{string} 1325>23 1337s20 1345b16 1349l11 1349t16
1325i23 N{natural} 1345b23 1346r48
1346a10 S{string} 1348r17 1348r25
1357*16 Div{5|40+9} 1362m57 1367m36 1367r36 1369m37 1369r37
1358*16 Remain{5|40+9} 1362m62 1363m59 1363r59 1364m34 1364r34
1359i16 R{natural} 1363m16 1367r55
1366a23 S{string}
1388r7 Zero{7|58R9} 1391m21 1391r21
1393r13 X_Pos{7|58R9} 1396m46 1396r46
X 7 s-shabig.ads
38K16*Shared_Bignums 5|37w13 43r16 50r51 56r22 6|39r8 7|80e26
46I12*Length{natural} 6|365r28 389r19 390r28 583r11 825r23 826r23 839r17
. 1172r11
49N4*Base 6|41r19 44r48 45r50 48r52 148r30 190r37 595r22 603r25 784r22 827r33
. 886r34 897r34 1002r38 1031r28 1211r35 1212r37 1213r34 1214r36 1242r35 1242r55
. 1252r32 1252r49 1275r48 1275r65 1287r38 1288r40 1289r37 1290r39
52M12*SD{3|92M9} 6|44r33 44r40 45r33 45r40 48r25 107r35 151r27 253r35 339r32
. 422r50 423r55 424r19 433r44 455r50 456r55 457r19 462r43 786r30 795r29 834r15
. 835r15 836r15 889r22 960r25 1005r36 1032r28 1069r28 1211r24 1212r24 1213r24
. 1214r24 1225r40 1242r24 1242r42 1252r24 1252r39 1270r40 1275r40 1275r55
. 1287r27 1288r27 1289r27 1290r27 1310r53
55A9*Digit_Vector(52M12)<integer> 5|43r31 6|57r24 60r25 68r15 81r22 100r13
. 115r15 135r22 177r26 338r26 364r19 388r19 423r19 456r19 580r16 689r22 778r22
. 779r22 829r14 830r14 831r14 832r14 1169r13 1204r19 1281r22
58R9*Bignum_Data 6|1310r26 1388r22 1393r29 7|66e14
58i22*Len{46I12} 6|245r42 312r15 317r15 323r15 325r48 331r15 336r15 357r12
. 357r20 364r40 365r40 365r48 367r26 381r12 381r20 388r40 390r40 390r48 400r26
. 423r40 427r21 431r34 456r40 558r27 580r37 580r45 590r23 591r26 592r35 592r49
. 662r42 674r12 729r12 752r16 752r36 754r16 754r36 773r15 778r43 783r29 825r35
. 825r43 826r35 1050r12 1053r15 1056r15 1067r15 1077r15 1107r15 1110r15 1113r15
. 1116r15 1121r15 1143r12 1148r15 1393r47
59b7*Neg{boolean} 6|215r31 215r38 245m21 245r62 245r72 307r12 325r27 341r36
. 371r38 371r48 405r38 405r47 415r12 448r12 478r35 478r42 487r35 487r42 496r35
. 496r42 505r35 505r42 514r35 514r42 546r12 546r20 567m31 567r40 614r35 614r45
. 623r35 623r42 632r36 662m21 662r61 675r35 680r34 680r45 1054r23 1060r18
. 1074r26 1084r18 1104r12 1157r45 1393r58
62a7*D{55A9} 6|206r27 215r21 215r26 265r33 323r34 325r15 325r43 336r34 336r55
. 339r51 347r24 368r29 368r41 396r33 401r33 401r48 418r41 432r41 433r37 451r41
. 461r42 462r36 466r27 478r25 478r30 487r25 487r30 496r25 496r30 505r25 505r30
. 514r25 514r30 593r24 593r39 623r25 623r30 632r27 675r30 680r24 680r29 737r21
. 737r26 743r39 752r55 754r55 776r40 784r40 848r24 852r24 1054r41 1054r61
. 1058r36 1058r46 1069r36 1070r36 1070r46 1079r36 1079r46 1080r36 1080r46
. 1111r33 1114r37 1114r47 1118r40 1119r34 1119r44 1123r44 1123r54 1124r34
. 1124r44 1155r36 1155r46 1388m48 1393r65 1408r28
73P9*Bignum(58R9) 5|50r66 56r37