V "GNAT Lib v6" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=generic A -march=i586 P ZX RN RV NO_ALLOCATORS RV NO_DIRECT_BOOLEAN_OPERATORS RV NO_EXCEPTIONS RV NO_LOCAL_ALLOCATORS RV NO_LONG_LONG_INTEGERS RV NO_RECURSION RV NO_STANDARD_STORAGE_POOLS RV NO_DEFAULT_INITIALIZATION RV NO_DYNAMIC_SIZED_OBJECTS RV SPARK_05 U system.bignums%b s-bignum.adb 3c1ae863 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 78240157 NE OL PK W interfaces%s interfac.ads interfac.ali W system%s system.ads system.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-except.ads 20151016123252 291912d5 ada.exceptions%s D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D interfac.ads 20151118101227 4be8ce1b interfaces%s D system.ads 20151123113124 2da59038 system%s D s-bignum.ads 20121003080427 1e695f74 system.bignums%s D s-bignum.adb 20150527132616 a4b7e846 system.bignums%b D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s D s-secsta.ads 20140225151139 86a2856d system.secondary_stack%s D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s X 4 interfac.ads 38K9*Interfaces 183e15 6|36w6 51r18 7|42r8 73M9*Unsigned_32 6|51r29 120V13*Shift_Left{73M9} 7|426s25 X 5 system.ads 37K9*System 200e11 6|38r9 116r5 7|36w6 36r35 37r6 37r35 38r6 38r35 40r14 . 1105r5 67M9*Address 7|212r14 81V14*"="{boolean} 7|262r41 X 6 s-bignum.ads 38K16*Bignums 5|37k9 6|116l12 116e19 7|40b21 1105l12 1105t19 45I12*Length{natural} 54r32 57r28 7|77r36 211r36 249r22 549r11 773r23 774r23 . 787r17 1055r11 48N4*Base 7|45r19 48r48 49r50 52r52 155r30 197r37 561r22 569r25 739r22 775r33 . 834r34 845r35 950r38 979r28 1097r37 1098r35 51M12*SD{4|73M9} 54r52 7|48r33 48r40 49r33 49r40 52r25 158r27 326r38 333r38 . 426r37 740r30 745r26 782r15 783r15 784r15 837r22 908r25 953r36 980r28 1084r21 . 1097r21 1098r21 54A9*Digit_Vector(51M12) 61r11 7|57r24 60r25 68r15 86r22 111r13 . 122r15 142r22 184r26 425r26 546r16 655r22 733r22 734r22 777r14 778r14 779r14 . 780r14 1051r13 57R9*Bignum_Data 57d22 65e14 67r8 72r30 7|223r22 240r18 57i22*Len{45I12} 61r30 68r7 7|78r37 316r18 369r27 399r15 404r15 410r15 412r49 . 418r15 423r15 524r15 546r37 546r45 556r23 557r26 558r35 558r49 628r18 640r12 . 696r12 713r16 713r36 715r16 715r36 728r15 733r43 738r29 773r35 773r43 774r35 . 998r12 1001r15 1004r15 1027r12 1032r15 1064r18 58b7*Neg{boolean} 69r7 7|286r31 286r38 316m9 316r38 316r48 394r12 412r27 . 428r36 444r35 444r42 453r35 453r42 462r35 462r42 471r35 471r42 480r35 480r42 . 512r12 512r20 533m19 533r28 580r35 580r45 589r35 589r42 598r36 628m9 628r37 . 641r35 646r34 646r45 1002r23 1008r18 1041r45 1064m9 1101m9 61a7*D{54A9} 7|277r27 286r21 286r26 345r36 410r34 412r15 412r44 423r34 423r55 . 426r56 434r24 444r25 444r30 453r25 453r30 462r25 462r30 471r25 471r30 480r25 . 480r30 559r24 559r39 589r25 589r30 598r27 641r30 646r24 646r29 704r21 704r26 . 705r36 713r55 715r55 731r40 739r40 796r24 800r24 1002r40 1002r59 1006r36 . 1006r46 1039r36 1039r46 1065m9 1084m12 1090m12 1091m12 1097m12 1098m12 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|70r31 77r51 94r27 95r31 96r31 104r31 . 112r38 124r31 211r51 221r17 236r17 275r26 275r41 284r30 284r45 312r30 312r45 . 313r14 324r30 324r45 326r26 326r49 333r26 333r49 359r35 360r35 361r26 442r28 . 451r28 460r28 469r28 478r28 506r29 506r44 507r14 531r30 545r29 545r44 587r28 . 596r26 596r41 624r29 624r44 625r14 636r29 636r44 687r27 688r31 689r31 996r30 . 1023r38 1052r38 1054r11 1073r54 1074r11 82V13*Big_Add{72P9} 82>22 82>25 7|284b13 287l8 287t15 82p22 X{72P9} 7|284b23 286r19 286r29 82p25 Y{72P9} 7|284b26 286r24 286r36 83V13*Big_Sub{72P9} 83>22 83>25 7|531s40 636b13 648l8 648t15 83p22 X{72P9} 7|636b22 641r28 641r33 646r22 646r32 83p25 Y{72P9} 7|636b25 640r10 646r27 646r43 84V13*Big_Mul{72P9} 84>22 84>25 7|350s23 360s45 381s29 545b13 581l8 581t15 84p22 X{72P9} 7|545b22 546r35 556r21 558r33 559r22 580r33 84p25 Y{72P9} 7|545b25 546r43 557r24 558r47 559r37 580r43 85V13*Big_Div{72P9} 85>22 85>25 7|312b13 318l8 318t15 85p22 X{72P9} 7|312b23 315r16 316r36 85p25 Y{72P9} 7|312b26 315r19 316r46 86V13*Big_Exp{72P9} 86>22 86>25 7|324b13 436l8 436t15 86p22 X{72P9} 7|324b23 404r13 410r13 410r32 412r13 412r25 423r13 423r32 428r34 . 434r17 86p25 Y{72P9} 7|324b26 394r10 399r13 412r42 412r47 418r13 423r53 426r54 434r22 87V13*Big_Mod{72P9} 87>22 87>25 7|506b13 539l8 539t15 87p22 X{72P9} 7|506b22 512r10 513r26 520r19 87p25 Y{72P9} 7|506b25 512r18 513r29 520r22 531r49 533r26 88V13*Big_Rem{72P9} 88>22 88>25 7|513s17 624b13 630l8 630t15 88p22 X{72P9} 7|624b22 627r16 628r35 88p25 Y{72P9} 7|624b25 627r19 89V13*Big_Neg{72P9} 89>22 7|596b13 599l8 599t15 89p22 X{72P9} 7|596b22 598r25 598r34 90V13*Big_Abs{72P9} 90>22 7|275b13 278l8 278t15 90p22 X{72P9} 7|275b22 277r25 95V13*Big_EQ{boolean} 95>22 95>25 7|442b13 445l8 445t14 95p22 X{72P9} 7|442b21 444r23 444r33 95p25 Y{72P9} 7|442b24 444r28 444r40 96V13*Big_NE{boolean} 96>22 96>25 7|587b13 590l8 590t14 96p22 X{72P9} 7|587b21 589r23 589r33 96p25 Y{72P9} 7|587b24 589r28 589r40 97V13*Big_GE{boolean} 97>22 97>25 7|451b13 454l8 454t14 97p22 X{72P9} 7|451b21 453r23 453r33 97p25 Y{72P9} 7|451b24 453r28 453r40 98V13*Big_LE{boolean} 98>22 98>25 7|469b13 472l8 472t14 98p22 X{72P9} 7|469b21 471r23 471r33 98p25 Y{72P9} 7|469b24 471r28 471r40 99V13*Big_GT{boolean} 99>22 99>25 7|460b13 463l8 463t14 99p22 X{72P9} 7|460b21 462r23 462r33 99p25 Y{72P9} 7|460b24 462r28 462r40 100V13*Big_LT{boolean} 100>22 100>25 7|478b13 481l8 481t14 100p22 X{72P9} 7|478b21 480r23 480r33 100p25 Y{72P9} 7|478b24 480r28 480r40 104V13*Bignum_In_LLI_Range{boolean} 104>34 7|1023b13 1044l8 1044t27 104p34 X{72P9} 7|1023b34 1027r10 1032r13 1039r34 1039r44 1041r43 108V13*To_Bignum{72P9} 108>24 7|721s26 722s26 1073b13 1103l8 1103t17 108i24 X{long_long_integer} 7|1073b24 1077r10 1082r13 1084r30 1088r13 1097r30 . 1098r30 1101r16 112V13*From_Bignum{long_long_integer} 112>26 7|718s38 719s38 996b13 1017l8 . 1017t19 112p26 X{72P9} 7|996b26 998r10 1001r13 1002r21 1002r38 1002r57 1004r13 1006r34 . 1006r44 1008r16 X 7 s-bignum.adb 45M9 DD 48r22 49r22 52r36 52r43 52r59 143r22 148r30 151r33 185r26 190r33 . 193r36 552r11 559r18 559r33 559r48 567r25 730r19 731r28 731r34 739r34 775r23 . 786r17 788r17 789r17 790r17 817r20 824r24 825r24 832r28 843r29 879r28 880r30 . 889r23 892r31 909r25 910r25 919r34 919r47 948r30 948r43 974r24 979r43 1006r28 . 1039r28 48V13 MSD{6|51M12} 48>18 920s29 48m18 X{45M9} 48r44 49V13 LSD{6|51M12} 49>18 154s30 196s34 560s27 568s30 833s28 844s29 889s40 . 922s22 926s44 935s25 949s35 49m18 X{45M9} 49r44 52V14 "&"{45M9} 52>18 52>21 878s27 889s51 1006s42 1039s42 52m18 X{6|51M12} 52r47 52m21 Y{6|51M12} 52r63 55I12 LLI{long_long_integer} 718r26 719r26 1002r33 1002r52 1009r24 1011r23 57a4 One_Data{6|54A9} 340r34 400r28 60a4 Zero_Data{6|54A9} 173r34 405r28 706r34 67V13 Add{6|72P9} 68>7 68>10 69>7 70>7 121b13 132s20 176s23 205l8 205t11 . 286s14 646s17 68a7 X{6|54A9} 72r13 122b7 131r13 132r25 132r38 137r51 142r41 147r38 148r34 . 150r32 151r45 169r54 176r28 176r41 184r45 189r41 190r37 192r35 193r48 68a10 Y{6|54A9} 72r34 122b10 131r22 132r30 132r33 137r61 150r41 151r37 151r54 . 169r57 176r33 176r36 192r44 193r40 193r57 69b7 X_Neg{boolean} 123b7 130r10 132r41 132r66 137r28 159r39 176r44 176r69 . 179r31 200r43 70b7 Y_Neg{boolean} 124b7 130r18 132r50 132r57 137r36 176r53 176r60 179r40 77V13 Allocate_Bignum{6|72P9} 77>30 78r14 211b13 269l8 269t23 1063s12 1078s15 . 1083s15 1089s15 1096s15 77i30 Len{6|45I12} 78r43 211b30 223r35 233r53 240r31 265r24 82E9 Compare_Result 82e39 87r38 169r27 656r38 82n28 LT{82E9} 175r24 453r50 480r49 662r32 667r62 674r66 704r45 82n32 EQ{82E9} 172r21 444r49 589r50 678r17 82n36 GT{82E9} 179r60 462r49 471r50 662r40 667r54 674r58 85V13 Compare{82E9} 86>7 86>10 87>7 87>14 169s45 444s14 453s14 462s14 471s14 . 480s14 589s14 654b13 680l8 680t15 704s10 86a7 X{6|54A9} 89r13 655b7 666r13 667r22 672r19 673r16 674r28 86a10 Y{6|54A9} 89r34 655b10 666r23 667r31 673r25 674r36 87b7 X_Neg{boolean} 656b7 661r10 662r21 667r43 674r47 87b14 Y_Neg{boolean} 656b14 661r19 93U14 Div_Rem 94>7 94>10 95<7 96<7 97>7 98>7 315s7 520s10 627s7 686b14 990l8 . 990t15 94p7 X{6|72P9} 687b7 704r19 705r34 713r14 713r34 713r53 718r51 733r41 738r27 . 739r38 773r33 796r22 94p10 Y{6|72P9} 687b10 696r10 704r24 715r14 715r34 715r53 719r51 728r13 731r38 . 773r41 774r33 800r22 95p7 Quotient{6|72P9} 688b7 706m10 721m13 744m13 969m13 96p7 Remainder{6|72P9} 689b7 705m10 722m13 746m13 987m13 97b7 Discard_Quotient{boolean} 520r31 627r28 690b7 968r17 98b7 Discard_Remainder{boolean} 315r28 691b7 972r17 104U14 Free_Bignum 104>27 364s19 370s22 382s22 534s16 104p27 X{6|72P9} 110V13 Normalize{6|72P9} 111>7 112>7 159s23 173s23 200s26 277s14 340s23 345s23 . 400s17 405s17 411s17 428s20 580s14 598s14 641s17 705s23 706s23 744s26 746s26 . 969s25 987s26 1050b13 1067l8 1067t17 111a7 X{6|54A9} 1051b7 1058r12 1059r18 1059r34 1063r29 1065r14 1065r22 112b7 Neg{boolean} 412r18 1052b7 1064r35 142a16 Sum{6|54A9} 154m19 158m16 159r34 143m16 RD{45M9} 146m16 148m19 148r25 151m22 151r28 154r35 155m19 155r25 158r31 147i20 J{integer} 148r37 150r22 151r40 154r24 169e13 CR{82E9} 172r16 175r19 179r55 184a19 Diff{6|54A9} 196m22 200r37 185m19 RD{45M9} 188m19 190m22 190r28 193m25 193r31 196r39 197m22 197r32 189i23 J{integer} 190r40 192r25 193r43 196r28 212m7 Addr{5|67M9} 233m23 237m31 237r31 241r32 221p13 B{6|72P9} 223m13 224r20 236p13 B{6|72P9} 237m17 237r17 238m33 238r33 266r20 240r13 BD{6|57R9} 241m17 241r17 242m33 242r33 259m33 259r33 262r43 248R18 Bignum_Data_Header 251e23 253r17 258r19 249i16 Len{6|45I12} 254r16 262r32 265m17 250b16 Neg{boolean} 255r16 258r13 BDH{248R18} 259m17 259r17 260m33 260r33 262r28 265m13 313p7 Q{6|72P9} 315m22 315r22 316r7 316r16 317r14 313p10 R{6|72P9} 315m25 315r25 326V17 "**"{6|72P9} 326>22 326>34 333b17 359s47 387l12 387t15 434s19 326p22 X{6|72P9} 333b22 345r34 350r32 350r35 359r45 381r44 326m34 Y{6|51M12} 333b34 335r15 359r51 377r23 359p19 XY2{6|72P9} 360r54 360r59 364r32 360p19 XY2S{6|72P9} 369r22 370r35 378r29 381r38 382r35 361p19 Res{6|72P9} 381m22 383r29 425a13 D{6|54A9} 428r31 507p7 Q{6|72P9} 520m25 520r25 507p10 R{6|72P9} 520m28 520r28 524r13 525r20 531r52 534r29 531p16 T1{6|72P9} 533r16 535r23 546a7 Result{6|54A9} 558r18 559r52 560m13 567r29 568m16 580r25 549i7 L{6|45I12} 558m13 559r60 560r21 565r35 566m16 566r21 567r37 568r24 552m7 D{45M9} 559m13 560r32 561m13 561r18 565r19 567m16 567r21 568r35 569m16 . 569r21 574r28 556i11 J{integer} 558r41 559r27 557i14 K{integer} 558r55 559r42 625p7 Q{6|72P9} 627m22 627r22 625p10 R{6|72P9} 627m25 627r25 628r7 628r16 629r14 672i14 J{integer} 673r19 673r28 674r31 674r39 718i13 A{55I12} 721r37 722r37 719i13 B{55I12} 721r41 722r43 730m13 ND{45M9} 737m13 739m16 739r29 740r34 741m16 741r22 745r30 731m13 Div{45M9} 740r39 741r29 733a13 Result{6|54A9} 740m16 744r37 734a13 Remdr{6|54A9} 745m13 746r37 738i17 J{integer} 739r43 740r24 768q7 Algorithm_D 989l11 989e22 773i10 m{6|45I12} 777r33 779r33 795r24 831r38 961r33 979r50 774i10 n{6|45I12} 777r37 778r33 780r33 795r28 799r24 809r25 831r42 842r38 . 918r38 947r41 978r30 775m10 b{45M9} 817r15 888r27 893r34 777a10 u{6|54A9} 782m26 782r26 796m13 832r32 833m19 878r21 878r29 889r53 . 922r35 926m19 926r32 929r28 930m16 930r25 948r47 949m22 953m19 953r28 979r47 778a10 v{6|54A9} 783r26 784r26 800m13 843r33 844m19 919r38 948r34 779a10 q{6|54A9} 935m16 944m19 944r28 969r36 780a10 r{6|54A9} 980m19 987r37 782m10 u0=782:26{6|51M12} 820r13 837r16 783m10 v1=783:26{6|51M12} 808r25 817r24 879r32 880r34 892r35 784m10 v2=784:26{6|51M12} 889r27 786m10 d{45M9} 817m10 819r13 832r41 843r42 980r40 981r38 787i10 j{6|45I12} 856m10 878r24 878r32 889r56 922r38 926r22 926r35 929r31 . 930r19 930r28 935r19 944r22 944r31 948r50 949r25 953r22 953r31 960m13 960r18 . 961r28 788m10 qhat{45M9} 879m13 888r19 889r33 891m16 891r24 919r27 935r30 789m10 rhat{45M9} 880m13 889r45 892m16 892r24 893r26 790m10 temp{45M9} 878m13 879r21 880r21 795i14 J{integer} 796r16 796r27 799i14 J{integer} 800r16 800r27 824m16 Carry{45M9} 830m16 832r45 834m19 837r26 841m16 843r46 845m19 848r31 825m16 Tmp{45M9} 832m19 833r33 834r28 843m19 844r34 845r29 831i20 J{integer} 832r35 833r22 842i20 J{integer} 843r36 844r22 908m16 Borrow{6|51M12} 917m16 919r51 920m19 923m22 923r32 929r36 930r33 909m16 Carry{45M9} 946m19 948r60 950m22 953r40 910m16 Temp{45M9} 919m19 920r34 922r27 926r49 948m22 949r40 950r31 912b16 Negative{boolean} 929m16 937r19 918i20 K{integer} 919r41 922r42 926r26 926r39 947i23 K{integer} 948r37 948r54 949r29 974m16 Remdr{45M9} 977m16 979m19 979r35 980r32 981m19 981r28 984r31 978i20 K{integer} 979r54 980r22 1006m13 Mag{45M9} 1008r31 1009r29 1010r19 1011r28 1039m13 Mag{45M9} 1041r20 1041r58 1054p7 B{6|72P9} 1063m7 1064r7 1064r16 1065r7 1066r14 1055i7 J{6|45I12} 1058m7 1059r13 1059r37 1060m10 1060r15 1063r38 1065r17 1074p7 R{6|72P9} 1078m10 1083m10 1084r10 1089m10 1090r10 1091r10 1096m10 . 1097r10 1098r10 1101r7 1102r14 X 9 s-secsta.ads 36K16*Secondary_Stack 7|37w13 37r42 9|119e27 66U14*SS_Allocate 7|233s10 X 11 s-stoele.ads 42K16*Storage_Elements 7|38w13 38r42 11|117e28 54I9*Storage_Offset 7|233r29