MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_ALLOCATORS
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_LOOPS
RV NO_LOCAL_ALLOCATORS
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV SPARK

U system.bignums%b	s-bignum.adb		2dc4b2ee NE OL PK
W ada.exceptions%s	a-except.adb		a-except.ali
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali

U system.bignums%s	s-bignum.ads		9cd4ed8f NE OL PK
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
D a-unccon.ads		20121213103024 f9eb8f06
D interfac.ads		20121213103024 129923ea
D system.ads		20121213103024 90249111
D s-bignum.ads		20121213103024 1e695f74
D s-bignum.adb		20121213103024 b7e75b25
D s-parame.ads		20121213103024 b6e20cc0
D s-secsta.ads		20121213103024 eea35a36
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-traent.ads		20121213103024 5221ee41
X 4 interfac.ads
36K9*Interfaces 175e15 6|36w6 51r18 7|42r8
61M9*Unsigned_32 6|51r29
107V13*Shift_Left{61M9} 7|417s25
X 5 system.ads
37K9*System 152e11 6|38r9 116r5 7|36w6 36r35 37r6 37r35 38r6 38r35 40r14
. 1096r5
64M9*Address 7|203r14
78V14*"="{boolean} 7|253r41
X 6 s-bignum.ads
38K16*Bignums 5|37k9 6|116l12 116e19 7|40b21 1096l12 1096t19
45I12*Length{natural} 54r32 57r28 7|73r36 202r36 240r22 540r11 764r23 765r23
. 778r17 1046r11
48N4*Base 7|45r19 48r48 49r50 52r52 146r30 188r37 552r22 560r25 730r22 766r33
. 825r34 836r35 941r38 970r28 1088r37 1089r35
51M12*SD{4|61M9} 54r52 7|48r33 48r40 49r33 49r40 52r25 149r27 317r38 324r38
. 417r37 731r30 736r26 773r15 774r15 775r15 828r22 899r25 944r36 971r28 1075r21
. 1088r21 1089r21
54A9*Digit_Vector(51M12)<integer> 61r11 7|57r24 60r25 67r25 82r22 106r13
. 116r25 133r22 175r26 416r26 537r16 646r22 724r22 725r22 768r14 769r14 770r14
. 771r14 1042r13
57R9*Bignum_Data 57d22 65e14 67r8 72r30 7|214r22 231r18
57i22*Len{45I12} 61r30 68r7 7|74r40 307r18 360r27 390r15 395r15 401r15 403r49
. 409r15 414r15 515r15 537r37 537r45 547r23 548r26 549r35 549r49 619r18 631r12
. 687r12 704r16 704r36 706r16 706r36 719r15 724r43 729r29 764r35 764r43 765r35
. 989r12 992r15 995r15 1018r12 1023r15 1055r18
58b7*Neg{boolean} 69r7 7|277r31 277r38 307m9 307r38 307r48 385r12 403r27
. 419r36 435r35 435r42 444r35 444r42 453r35 453r42 462r35 462r42 471r35 471r42
. 503r12 503r20 524m19 524r28 571r35 571r45 580r35 580r42 589r36 619m9 619r37
. 632r35 637r34 637r45 993r23 999r18 1032r45 1055m9 1092m9
61a7*D{54A9} 7|268r27 277r21 277r26 336r36 401r34 403r15 403r44 414r34 414r55
. 417r56 425r24 435r25 435r30 444r25 444r30 453r25 453r30 462r25 462r30 471r25
. 471r30 550r24 550r39 580r25 580r30 589r27 632r30 637r24 637r29 695r21 695r26
. 696r36 704r55 706r55 722r40 730r40 787r24 791r24 993r40 993r59 997r36 997r46
. 1030r36 1030r46 1056m9 1075m12 1081m12 1082m12 1088m12 1089m12
72P9*Bignum(57R9) 82r29 82r44 83r29 83r44 84r29 84r44 85r29 85r44 86r29 86r44
. 87r29 87r44 88r29 88r44 89r29 89r44 90r29 90r44 95r29 96r29 97r29 98r29
. 99r29 100r29 104r38 108r54 112r30 7|67r70 73r51 89r27 90r31 91r31 99r31
. 107r38 116r70 202r51 212r17 227r17 266r26 266r41 275r30 275r45 303r30 303r45
. 304r14 315r30 315r45 317r26 317r49 324r26 324r49 350r35 351r35 352r26 433r28
. 442r28 451r28 460r28 469r28 497r29 497r44 498r14 522r30 536r29 536r44 578r28
. 587r26 587r41 615r29 615r44 616r14 627r29 627r44 678r27 679r31 680r31 987r30
. 1014r38 1043r38 1045r11 1064r54 1065r11
82V13*Big_Add{72P9} 82>22 82>25 7|275b13 278l8 278t15
82p22 X{72P9} 7|275b23 277r19 277r29
82p25 Y{72P9} 7|275b26 277r24 277r36
83V13*Big_Sub{72P9} 83>22 83>25 7|522s40 627b13 639l8 639t15
83p22 X{72P9} 7|627b22 632r28 632r33 637r22 637r32
83p25 Y{72P9} 7|627b25 631r10 637r27 637r43
84V13*Big_Mul{72P9} 84>22 84>25 7|341s23 351s45 372s29 536b13 572l8 572t15
84p22 X{72P9} 7|536b22 537r35 547r21 549r33 550r22 571r33
84p25 Y{72P9} 7|536b25 537r43 548r24 549r47 550r37 571r43
85V13*Big_Div{72P9} 85>22 85>25 7|303b13 309l8 309t15
85p22 X{72P9} 7|303b23 306r16 307r36
85p25 Y{72P9} 7|303b26 306r19 307r46
86V13*Big_Exp{72P9} 86>22 86>25 7|315b13 427l8 427t15
86p22 X{72P9} 7|315b23 395r13 401r13 401r32 403r13 403r25 414r13 414r32 419r34
. 425r17
86p25 Y{72P9} 7|315b26 385r10 390r13 403r42 403r47 409r13 414r53 417r54 425r22
87V13*Big_Mod{72P9} 87>22 87>25 7|497b13 530l8 530t15
87p22 X{72P9} 7|497b22 503r10 504r26 511r19
87p25 Y{72P9} 7|497b25 503r18 504r29 511r22 522r49 524r26
88V13*Big_Rem{72P9} 88>22 88>25 7|504s17 615b13 621l8 621t15
88p22 X{72P9} 7|615b22 618r16 619r35
88p25 Y{72P9} 7|615b25 618r19
89V13*Big_Neg{72P9} 89>22 7|587b13 590l8 590t15
89p22 X{72P9} 7|587b22 589r25 589r34
90V13*Big_Abs{72P9} 90>22 7|266b13 269l8 269t15
90p22 X{72P9} 7|266b22 268r25
95V13*Big_EQ{boolean} 95>22 95>25 7|433b13 436l8 436t14
95p22 X{72P9} 7|433b21 435r23 435r33
95p25 Y{72P9} 7|433b24 435r28 435r40
96V13*Big_NE{boolean} 96>22 96>25 7|578b13 581l8 581t14
96p22 X{72P9} 7|578b21 580r23 580r33
96p25 Y{72P9} 7|578b24 580r28 580r40
97V13*Big_GE{boolean} 97>22 97>25 7|442b13 445l8 445t14
97p22 X{72P9} 7|442b21 444r23 444r33
97p25 Y{72P9} 7|442b24 444r28 444r40
98V13*Big_LE{boolean} 98>22 98>25 7|460b13 463l8 463t14
98p22 X{72P9} 7|460b21 462r23 462r33
98p25 Y{72P9} 7|460b24 462r28 462r40
99V13*Big_GT{boolean} 99>22 99>25 7|451b13 454l8 454t14
99p22 X{72P9} 7|451b21 453r23 453r33
99p25 Y{72P9} 7|451b24 453r28 453r40
100V13*Big_LT{boolean} 100>22 100>25 7|469b13 472l8 472t14
100p22 X{72P9} 7|469b21 471r23 471r33
100p25 Y{72P9} 7|469b24 471r28 471r40
104V13*Bignum_In_LLI_Range{boolean} 104>34 7|1014b13 1035l8 1035t27
104p34 X{72P9} 7|1014b34 1018r10 1023r13 1030r34 1030r44 1032r43
108V13*To_Bignum{72P9} 108>24 7|712s26 713s26 1064b13 1094l8 1094t17
108i24 X{long_long_integer} 7|1064b24 1068r10 1073r13 1075r30 1079r13 1088r30
. 1089r30 1092r16
112V13*From_Bignum{long_long_integer} 112>26 7|709s38 710s38 987b13 1008l8
. 1008t19
112p26 X{72P9} 7|987b26 989r10 992r13 993r21 993r38 993r57 995r13 997r34
. 997r44 999r16
X 7 s-bignum.adb
45M9 DD 48r22 49r22 52r36 52r43 52r59 134r22 139r30 142r33 176r26 181r33
. 184r36 543r11 550r18 550r33 550r48 558r25 721r19 722r28 722r34 730r34 766r23
. 777r17 779r17 780r17 781r17 808r20 815r24 816r24 823r28 834r29 870r28 871r30
. 880r23 883r31 900r25 901r25 910r34 910r47 939r30 939r43 965r24 970r43 997r28
. 1030r28
48V13 MSD{6|51M12} 48>18 911s29
48m18 X{45M9} 48r44
49V13 LSD{6|51M12} 49>18 145s30 187s34 551s27 559s30 824s28 835s29 880s40
. 913s22 917s44 926s25 940s35
49m18 X{45M9} 49r44
52V14 "&"{45M9} 52>18 52>21 869s27 880s51 997s42 1030s42
52m18 X{6|51M12} 52r47
52m21 Y{6|51M12} 52r63
55I12 LLI{long_long_integer} 709r26 710r26 993r33 993r52 1000r24 1002r23
57a4 One_Data{6|54A9} 331r34 391r28
60a4 Zero_Data{6|54A9} 164r34 396r28 697r34
67V13 Add{6|72P9} 67>18 67>21 67>39 67>46 116b13 123s20 167s23 196l8 196t11
. 277s14 637s17
67a18 X{6|54A9} 68r16 116b18 122r13 123r25 123r38 128r51 133r41 138r38 139r34
. 141r32 142r45 160r54 167r28 167r41 175r45 180r41 181r37 183r35 184r48
67a21 Y{6|54A9} 68r37 116b21 122r22 123r30 123r33 128r61 141r41 142r37 142r54
. 160r57 167r33 167r36 183r44 184r40 184r57
67b39 X_Neg{boolean} 116b39 121r10 123r41 123r66 128r28 150r39 167r44 167r69
. 170r31 191r43
67b46 Y_Neg{boolean} 116b46 121r18 123r50 123r57 128r36 167r53 167r60 170r40
73V13 Allocate_Bignum{6|72P9} 73>30 74r17 202b13 260l8 260t23 1054s12 1069s15
. 1074s15 1080s15 1087s15
73i30 Len{6|45I12} 74r46 202b30 214r35 224r53 231r31 256r24
78E9 Compare_Result 78e39 83r38 160r27 647r38
78n28 LT{78E9} 166r24 444r50 471r49 653r32 658r62 665r66 695r45
78n32 EQ{78E9} 163r21 435r49 580r50 669r17
78n36 GT{78E9} 170r60 453r49 462r50 653r40 658r54 665r58
81V13 Compare{78E9} 82>7 82>10 83>7 83>14 160s45 435s14 444s14 453s14 462s14
. 471s14 580s14 645b13 671l8 671t15 695s10
82a7 X{6|54A9} 84r16 646b7 657r13 658r22 663r19 664r16 665r28
82a10 Y{6|54A9} 84r37 646b10 657r23 658r31 664r25 665r36
83b7 X_Neg{boolean} 647b7 652r10 653r21 658r43 665r47
83b14 Y_Neg{boolean} 647b14 652r19
88U14 Div_Rem 89>7 89>10 90<7 91<7 92>7 93>7 306s7 511s10 618s7 677b14 981l8
. 981t15
89p7 X{6|72P9} 678b7 695r19 696r34 704r14 704r34 704r53 709r51 724r41 729r27
. 730r38 764r33 787r22
89p10 Y{6|72P9} 678b10 687r10 695r24 706r14 706r34 706r53 710r51 719r13 722r38
. 764r41 765r33 791r22
90p7 Quotient{6|72P9} 679b7 697m10 712m13 735m13 960m13
91p7 Remainder{6|72P9} 680b7 696m10 713m13 737m13 978m13
92b7 Discard_Quotient{boolean} 511r31 618r28 681b7 959r17
93b7 Discard_Remainder{boolean} 306r28 682b7 963r17
99U14 Free_Bignum 99>27 355s19 361s22 373s22 525s16
99p27 X{6|72P9}
105V13 Normalize{6|72P9} 106>7 107>7 150s23 164s23 191s26 268s14 331s23 336s23
. 391s17 396s17 402s17 419s20 571s14 589s14 632s17 696s23 697s23 735s26 737s26
. 960s25 978s26 1041b13 1058l8 1058t17
106a7 X{6|54A9} 1042b7 1049r12 1050r18 1050r34 1054r29 1056r14 1056r22
107b7 Neg{boolean} 403r18 1043b7 1055r35
133a16 Sum{6|54A9} 145m19 149m16 150r34
134m16 RD{45M9} 137m16 139m19 139r25 142m22 142r28 145r35 146m19 146r25 149r31
138i20 J{integer} 139r37 141r22 142r40 145r24
160e13 CR{78E9} 163r16 166r19 170r55
175a19 Diff{6|54A9} 187m22 191r37
176m19 RD{45M9} 179m19 181m22 181r28 184m25 184r31 187r39 188m22 188r32
180i23 J{integer} 181r40 183r25 184r43 187r28
203m7 Addr{5|64M9} 224m23 228m31 228r31 232r32
212p13 B{6|72P9} 214m13 215r20
227p13 B{6|72P9} 228m17 228r17 229m33 229r33 257r20
231r13 BD{6|57R9} 232m17 232r17 233m33 233r33 250m33 250r33 253r43
239R18 Bignum_Data_Header 242e23 244r17 249r19
240i16 Len{6|45I12} 245r16 253r32 256m17
241b16 Neg{boolean} 246r16
249r13 BDH{239R18} 250m17 250r17 251m33 251r33 253r28 256m13
304p7 Q{6|72P9} 306m22 306r22 307m7 307r7 307r16 308r14
304p10 R{6|72P9} 306m25 306r25
317V17 "**"{6|72P9} 317>22 317>34 324b17 350s47 378l12 378t15 425s19
317p22 X{6|72P9} 324b22 336r34 341r32 341r35 350r45 372r44
317m34 Y{6|51M12} 324b34 326r15 350r51 368r23
350p19 XY2{6|72P9} 351r54 351r59 355r32
351p19 XY2S{6|72P9} 360r22 361r35 369r29 372r38 373r35
352p19 Res{6|72P9} 372m22 374r29
416a13 D{6|54A9} 419r31
498p7 Q{6|72P9} 511m25 511r25
498p10 R{6|72P9} 511m28 511r28 515r13 516r20 522r52 525r29
522p16 T1{6|72P9} 524m16 524r16 526r23
537a7 Result{6|54A9} 549r18 550r52 551m13 558r29 559m16 571r25
540i7 L{6|45I12} 549m13 550r60 551r21 556r35 557m16 557r21 558r37 559r24
543m7 D{45M9} 550m13 551r32 552m13 552r18 556r19 558m16 558r21 559r35 560m16
. 560r21 565r28
547i11 J{integer} 549r41 550r27
548i14 K{integer} 549r55 550r42
616p7 Q{6|72P9} 618m22 618r22
616p10 R{6|72P9} 618m25 618r25 619m7 619r7 619r16 620r14
663i14 J{integer} 664r19 664r28 665r31 665r39
709i13 A{55I12} 712r37 713r37
710i13 B{55I12} 712r41 713r43
721m13 ND{45M9} 728m13 730m16 730r29 731r34 732m16 732r22 736r30
722m13 Div{45M9} 731r39 732r29
724a13 Result{6|54A9} 731m16 735r37
725a13 Remdr{6|54A9} 736m13 737r37
729i17 J{integer} 730r43 731r24
759q7 Algorithm_D 980l11 980e22
764i10 m{6|45I12} 768r33 770r33 786r24 822r38 952r33 970r50
765i10 n{6|45I12} 768r37 769r33 771r33 786r28 790r24 800r25 822r42 833r38
. 909r38 938r41 969r30
766m10 b{45M9} 808r15 879r27 884r34
768a10 u{6|54A9} 773m26 773r26 787m13 823r32 824m19 869r21 869r29 880r53
. 913r35 917m19 917r32 920r28 921m16 921r25 939r47 940m22 944m19 944r28 970r47
769a10 v{6|54A9} 774r26 775r26 791m13 834r33 835m19 910r38 939r34
770a10 q{6|54A9} 926m16 935m19 935r28 960r36
771a10 r{6|54A9} 971m19 978r37
773m10 u0=773:26{6|51M12} 811r13 828r16
774m10 v1=774:26{6|51M12} 799r25 808r24 870r32 871r34 883r35
775m10 v2=775:26{6|51M12} 880r27
777m10 d{45M9} 808m10 810r13 823r41 834r42 971r40 972r38
778i10 j{6|45I12} 847m10 869r24 869r32 880r56 913r38 917r22 917r35 920r31
. 921r19 921r28 926r19 935r22 935r31 939r50 940r25 944r22 944r31 951m13 951r18
. 952r28
779m10 qhat{45M9} 870m13 879r19 880r33 882m16 882r24 910r27 926r30
780m10 rhat{45M9} 871m13 880r45 883m16 883r24 884r26
781m10 temp{45M9} 869m13 870r21 871r21
786i14 J{integer} 787r16 787r27
790i14 J{integer} 791r16 791r27
815m16 Carry{45M9} 821m16 823r45 825m19 828r26 832m16 834r46 836m19 839r31
816m16 Tmp{45M9} 823m19 824r33 825r28 834m19 835r34 836r29
822i20 J{integer} 823r35 824r22
833i20 J{integer} 834r36 835r22
899m16 Borrow{6|51M12} 908m16 910r51 911m19 914m22 914r32 920r36 921r33
900m16 Carry{45M9} 937m19 939r60 941m22 944r40
901m16 Temp{45M9} 910m19 911r34 913r27 917r49 939m22 940r40 941r31
903b16 Negative{boolean} 920m16 928r19
909i20 K{integer} 910r41 913r42 917r26 917r39
938i23 K{integer} 939r37 939r54 940r29
965m16 Remdr{45M9} 968m16 970m19 970r35 971r32 972m19 972r28 975r31
969i20 K{integer} 970r54 971r22
997m13 Mag{45M9} 999r31 1000r29 1001r19 1002r28
1030m13 Mag{45M9} 1032r20 1032r58
1045p7 B{6|72P9} 1054m7 1055m7 1055r7 1055r16 1056m7 1056r7 1057r14
1046i7 J{6|45I12} 1049m7 1050r13 1050r37 1051m10 1051r15 1054r38 1056r17
1065p7 R{6|72P9} 1069m10 1074m10 1075m10 1075r10 1080m10 1081m10 1081r10
. 1082m10 1082r10 1087m10 1088m10 1088r10 1089m10 1089r10 1092m7 1092r7 1093r14
X 9 s-secsta.ads
36K16*Secondary_Stack 7|37w13 37r42 9|119e27
66U14*SS_Allocate 7|224s10
X 11 s-stoele.ads
42K16*Storage_Elements 7|38w13 38r42 11|117e28
54I9*Storage_Offset<long_integer> 7|224r29