Math.Gmp.Native/docs/fti/FTI_112.json
2017-11-04 13:58:39 -04:00

1 line
17 KiB
JSON

{"parameters":[196609,262145,393217,458753,524289,589825,786433,851969,1048577,1114113,1179649,1245185,1310721,1376257,1572865,1638401,1703937,1769473,1835009,1900545,1966081,2162689,2228225,2424833,2621441,2686977,2752513,2883585,3014657,3080193,3211265,3276801,3407873,3473409,3538945,3604481,3670017,3735553,3801089,3866625,3997697,4063233,4259841,4390913,4587521,4653057,4718593,4784129,4849665,4980737,5046273,5177345,5242881,5308417,5439489,5570561,5767169,5832705,5898241,5963777,6094849,6225921,6291457,6356993,6422529,6488065,6553601,6684673,6750209,6815745,6946817,7012353,7077889,7143425,7208961,7274497,7340033,7405569,7471105,7536641,7602177,7667713,7733249,7798785,7864321,7929857,8126465,8192001,8257537,8323073,8388609,8454145,8519681,8585217,8650753,8716289,8781825,8847361,8912897,8978433,9043969,9109505,9175041,9240577,9306113,9371649,9437185,9568257,9633793,9699329,9764865,9895937,9961473,10027009,10092545,10158081,10223617,10420225,10485761,10682369,10747905,10813441,10878977,11075585,11206657,11272193,11337729,11403265,11599873,11665409,11730945,11862017,11927553,11993089,12058625,12124161,12320769,12386305,12451841,12517377,12648449,12713985,12779521,12910593,13041665,13107201,13238273,13303809,13369345,13434881,13500417,13631489,13697025,13762561,13828097,13893633,13959169,14024705,14090241,14155777,14221313,14286849,14352385,14417921,14548993,14614529,14680065,14745601,14811137,14942209,15073281,15138817,15204353,15269889,15335425,15400961,15466497,15532033,15597569,15728641,15794177,15925249,15990785,16056321,16121857,16187393,16252929,16318465,16384001,16515073,16580609,16646145,16711681,16777217,16842753,16908289,16973825,17039361,17104897,17170433,17235969,17301505,17367041,17432577,17563649,17629185,17694721,17760257,17825793,17891329,17956865,18022401,18153473,18219009,18350081,18415617,18481153,18546689,18677761,18939905,19005441,19136513,19202049,19267585,19333121,19398657,19464193,19529729,19660801,19726337,19857409,19922945,19988481,20054017,20185089,20250625,20316161,20447233,20578305,20643841,20709377,20774913,20840449,20905985,20971521,21037057,21102593,21168129,21233665,21299201,21364737,21495809,21561345,21626881,21692417,21757953,21823489,21889025,21954561,22020097,22085633,22151169,22216705,22282241,22347777,22413313,22478849,22544385,22609921,22675457,22740993,22872065,23068673,23134209,23199745,23330817,23396353,23527426,23592961,23724033,23789569,23855105,23920641,23986177,24051713,24182785,24248321,24313857,24379393,24444929,24510465,24576001,24707073,24772609,24838145,24903681,24969217,25100289,25165825,25231361,25296897,25362433,25427969,25559041,25624577,25690113,25755649,25821185,25886721,26017793,26083329,26148865,26214401,26279937,26345473,26411009,26476545,26542081,26607617,26673153,26804225,26869761,26935297,27000833,27066369,27131905,27197441,27262977,27328513,27394049,27459585,27525121,27656193,27721729,27787265,27852801,27918337,27983873,28049409,28180481,28246017,28311553,28377089,28442625,28508161,28639233,28704769,28835841,28901377,29032449,29097985,29163521,29229057,29294593,29491201,29556737,29687809,29818881,29884417,29949953,30015489,30081025,30146561,30212097,30277633,30343169,30408705,30474241,30539777,30605313,30670849,30736385,30801921,30867457,30932993,30998529,31064065,31129601,31195137,31260673,31326209,31391745,31457281,31522817,31588353,31653889,31784961,31850497,31916033,31981569,32047105,32112641,32178177,32309249,32374785,32440321,32505857,32636929,32702465,32768001,32833537,32899073,32964609,33030145,33226753,33292289,33357825,33423361,33554433,33619969,33685505,33751041,33816577,33882113,33947649,34078721,34209793,34275329,34340865,34406401,34537473,34603009,34668545,34734081,34799617,34865153,34996225,35061761,35127297,35192833,35258369,35323905,35389442,35454977,35586049,35651585,35717121,35782657,35848193,35979265,36110337,36175873,36306945,36372481,36438017,36503553,36634625,36700161,36765697,36831233,36896769,37027841,37093377,37158913,37289985,37355521,37421057,37486593,37617665,37748737,37814273,37879809,37945345,38010881,38076417,38141953,38207489,38338561,38404097,38469633,38535169,38666241,38731777,38862849,38993921,39059457,39124993,39190529,39256065,39321601,39387137,39452673,39649281,39714817,39780353,39845889,39911425,39976961,40108033,40173569,40239105,40304641,40370177,40435713,40501249,40632321,40828929,40894465,40960001,41025537,41091073,41156609,41222145,41287681,41353217,41418753],"population":[5505025,12976129,20905986],"params":[524289,3866625,6356993,7733249,7929857,14745601,14942209,15925249,16384001,16646145,20054017,20578305,22347777,22609921,24051713,27787265,31457281,31653889,35717121,36503553,37421057,37814273,41025537],"positiveinfinity":[589825,30408705],"protection":[14942209,22609921],"preceded":[5505025,12976129,22544385],"preserved":[4849665,34668545],"ptr":[1310732,1638409,3604486,3866634,3932164,5505030,6094849,6357002,6684678,7733266,8585225,8978440,9043977,11468802,11665421,12976134,14024713,14745618,14876675,15925249,16384001,16646153,17432577,17956866,19333131,21168136,22347786,22544395,22609922,23265286,24117252,27197447,28311554,29622275,29884422,30998537,31653904,33423366,34603014,35586050,36241411,36503561,36634633,37027849,37421066,38862854,41025546,41156616],"paramarray":[524289,3866625,6356993,7733249,7929857,14745601,14942209,15925249,16384001,16646145,20054017,20578305,22347777,22609921,24051713,27787265,31457281,31653889,35717121,36503553,37421057,37814273,41025537],"probably":[13828098,36700161,38731777],"pathname":[1310728,7733254,8585224,9043976,11665416,14745606,16646152,19333128,22544392,36503560,36634632,41156612],"pointed":[3604481,5505029,6684673,11468801,12976133,14024705,14876673,20054017,21168129,24117253,33423361,34603009,36241409,38862849],"power":[5242881,5505026,6291457,12976130,13369345,13762561,16318468,20643841,20709377,21692417,27459585,30015489,30539777,33554433,35979268,38993921,40435713],"preferred":[8257537,21561345,34668545],"performed":[25690113,30474241],"parameter":[1179649,1638401,1769473,3276801,3604481,5963779,6553601,13238273,17104897,18939905,21889026,25165825,26017793,26345473,32309249,32964609,33226754,34537473],"produces":[5505026,7012354,12976130,31064066],"passes":[38731779],"providing":[9043969,20381697,21102593,41156609],"property":[3145732,3342340,10354691,12255236,15663108,19070980,24641540,25952260,27262979,36962308,39583748,40697859],"passed":[1179649,1638401,1769473,3276801,3604481,15794177,17104897,18939905,25165825,25690113,26345473,30474241,32309249],"printable":[5242881],"particular":[6029313,6553601,9502721,11141121,12845057,14024705,16449537,18284545,22937601,23658497,25034753,29622273,29949953,35913729,36962305,38273025,40763393],"primality":[5505025,12976129,13828098,38731777],"possibly":[5505025,12976129,22544385],"ptrs":[5505025,12976129,20054022,24117249],"previously":[1638406,3604482,5505025,6684674,12976129,20054017,27197445,27918337,33423361,34603009,36241409,38862849],"partially":[4653057,24248321,39911425],"produce":[19070977,35389441],"preparation":[16121857],"precisely":[21168129],"primes":[23068673],"piece":[21889026,33226754],"projects":[20381697],"prec":[5505028,11272198,12976132,25624582,27918342,29949962],"patterns":[7012353,24969217,31064065],"proven":[13238273,34537473,35848193],"precision":[196610,262146,524290,655362,851969,1179650,1769474,1900546,1966081,2359297,2555905,2686978,2752514,3276802,3407874,3735556,4128769,4259842,4325380,4390916,4653058,5177346,5242882,5505031,6029313,6094850,6619137,6750210,7012354,7602178,8192002,8257538,8388610,8650754,8716290,8781825,9306114,9371650,9502724,9633794,9895938,11141121,11272199,11534337,11599874,12189697,12451842,12517378,12976135,13500420,13631490,13893634,14286850,14352385,14811138,15204354,15269890,15990787,16318466,16449537,16842754,17104897,17432578,17760258,17956866,18022402,18284547,18350082,18481154,18939906,19070977,19857410,20185090,20381697,21168130,21561346,21889026,22478852,22937603,24248322,24313858,24772610,24903686,25100290,25165826,25231362,25624582,25755650,25886722,26345474,26411010,26476546,26673154,26869762,27328514,27721729,27918341,28246018,28508164,28639234,29163522,29229058,29753346,29949967,30539778,30605314,30736386,30932994,30998530,31064066,31129602,31522818,32309250,32899074,33161218,33226754,33292290,33751042,34275330,34471938,35061761,35586050,35651588,36241412,36438018,36962305,37027842,37289986,38404098,38666242,39124994,39256066,39911426,40108034,40435714,40501250,41353218],"position":[5505026,10420225,12124161,12976130,24772610,24969217,28639234],"provides":[23658497,29097985,32636929,36241409,37945345],"preliminary":[5505025,12976129,17104897],"performance":[1179649,17104897,20381697],"pointer":[655362,1310721,1441794,1638402,3604481,3932162,4521985,5505029,6029313,6684673,7077890,7733250,8585217,9043969,9109506,9502722,10616834,10944514,11141121,11534337,11665409,12779524,12845057,12976133,14024708,14548993,14745602,15794177,16449537,16646146,18087937,18219011,18284545,18743297,19333121,19595265,21168129,21954564,22020100,22544385,22937602,23265281,23658497,27197441,29753346,29884417,30998530,31653892,33095681,33423361,34471938,34603009,36241413,36503554,36634625,36765698,36962307,37027841,37224451,37683202,38207490,38862849,39190529,40566785,41025541,41156609],"parsed":[3866625,6356993,7733249,14745601,22347777,37421057,38469633],"past":[10420226,12124162,21168129],"powers":[35979266],"purpose":[4325377,19988481],"produced":[5242882,5505025,6094849,7929857,12976129,16384001,30998529,31653889,35389444,38666241,41025537],"problems":[35389441],"primorial":[5505025,12976129,25427969],"perfect":[5505029,6422533,12976133,16318468,26869764,35979270,38666241,40173569],"public":[196611,262147,393218,458755,524291,589827,655363,786435,851971,917507,1048579,1114114,1179651,1245186,1310723,1376259,1441795,1572867,1638403,1703938,1769475,1835011,1900547,1966083,2162691,2228226,2293763,2359299,2424835,2555907,2621443,2686979,2752515,2883587,3014659,3080195,3145731,3211267,3276803,3342339,3407875,3473410,3538947,3604483,3670019,3735555,3801091,3866627,3997698,4063235,4128771,4194307,4259843,4325379,4390915,4521987,4587523,4653059,4718595,4784130,4849667,4980739,5046275,5177347,5242883,5308419,5373955,5439491,5570563,5701635,5767171,5832707,5898242,5963779,6094851,6225922,6291459,6356995,6422531,6488066,6553603,6619139,6684675,6750211,6815747,6946819,7012355,7077891,7143426,7208963,7274498,7340034,7405571,7471107,7536643,7602179,7667714,7733251,7798787,7864323,7929859,8060931,8126466,8192003,8257539,8323075,8388611,8454147,8519683,8585219,8650755,8716291,8781827,8847363,8912899,8978435,9043971,9109507,9175043,9240579,9306115,9371651,9437187,9502724,9568258,9633795,9699331,9764867,9895939,9961474,10027011,10092547,10158083,10223619,10289155,10354691,10420227,10485763,10551299,10616835,10682370,10747907,10813443,10878978,10944515,11010051,11075587,11206659,11272195,11337731,11403266,11468803,11599875,11665411,11730947,11796483,11862018,11927555,11993090,12058627,12124163,12189699,12255235,12320771,12386307,12451843,12517379,12648450,12713987,12779523,12845059,12910594,12976131,13041667,13107203,13238275,13303811,13369347,13434883,13500419,13565955,13631491,13697027,13762563,13828099,13893635,13959171,14024707,14090243,14155779,14221315,14286851,14352387,14417923,14548995,14614530,14680066,14745603,14811139,14942211,15073283,15138818,15204355,15269891,15335427,15400963,15466498,15532034,15597571,15663107,15728643,15794179,15925251,15990787,16056323,16121859,16187395,16252930,16318467,16384003,16515074,16580610,16646147,16711683,16777219,16842755,16908290,16973827,17039363,17104899,17170434,17235970,17301506,17367042,17432579,17563650,17629187,17694723,17760259,17825795,17891330,17956867,18022403,18153475,18219011,18284547,18350083,18415618,18481155,18546691,18612227,18677762,18808835,18874371,18939907,19005443,19070979,19136515,19202051,19267587,19333123,19398659,19464195,19529731,19660803,19726338,19791875,19857411,19922946,19988483,20054019,20119555,20185091,20250627,20316162,20447234,20578307,20643843,20709379,20774915,20840450,20905987,20971523,21037059,21102595,21168131,21233666,21299203,21364739,21430275,21495811,21561347,21626883,21692419,21757955,21823491,21889027,21954563,22020099,22085635,22151171,22216706,22282243,22347779,22413315,22478851,22544387,22609923,22675459,22740995,22872067,22937604,23068675,23134211,23199747,23265283,23330818,23396354,23527427,23592962,23658499,23724035,23789571,23855106,23920643,23986179,24051715,24182787,24248323,24313859,24379394,24444930,24510467,24576002,24641539,24707075,24772611,24838147,24903683,24969219,25100291,25165827,25231363,25296899,25362434,25427971,25559043,25624579,25690115,25755651,25821187,25886723,25952259,26017795,26083331,26148867,26214402,26279939,26345475,26411011,26476547,26542083,26607618,26673155,26804227,26869763,26935299,27000835,27066371,27131907,27197443,27262979,27328515,27394050,27459587,27525123,27590659,27656194,27721731,27787267,27852803,27918339,27983875,28049411,28180483,28246019,28311555,28377091,28442627,28508163,28639235,28704771,28770307,28835843,28901379,29032451,29097987,29163523,29229059,29294595,29491203,29556738,29687811,29753347,29818883,29884419,29949955,30015491,30081027,30146563,30212099,30277635,30343170,30408707,30474243,30539779,30605315,30670850,30736387,30801923,30867459,30932995,30998531,31064067,31129603,31195138,31260675,31326211,31391747,31457283,31522819,31588354,31653891,31719427,31784963,31850499,31916035,31981571,32047107,32112643,32178179,32309251,32374786,32440323,32505859,32571395,32636931,32702467,32768002,32833538,32899075,32964611,33030147,33161219,33226755,33292291,33357827,33423363,33554435,33619971,33685507,33751043,33816578,33882115,33947651,34078723,34209795,34275331,34340867,34406403,34471939,34537475,34603011,34668547,34734083,34799619,34865155,34996227,35061763,35127298,35192835,35258371,35323907,35389443,35454979,35520515,35586051,35651587,35717123,35782659,35848195,35979267,36044803,36110339,36175875,36306947,36372483,36438019,36503555,36569091,36634627,36700163,36765699,36831235,36896771,36962307,37027843,37093379,37158914,37224451,37289987,37355523,37421059,37486595,37617667,37748738,37814275,37879811,37945347,38010883,38076418,38141954,38207491,38338563,38404099,38469635,38535171,38600707,38666243,38731779,38862851,38928387,38993923,39059458,39124995,39190531,39256067,39321602,39387138,39452674,39518211,39583747,39649283,39714819,39780355,39845890,39911427,39976963,40042499,40108035,40173571,40239107,40304643,40370179,40435715,40501251,40566787,40632323,40697859,40763395,40828931,40894467,40960002,41025539,41091074,41156611,41222147,41287682,41353219,41418755],"path":[1310722,7733250,8585218,9043970,11665410,14745602,16646146,19333122,22544386,36503554,36634626,41156609],"pass":[14024705],"perform":[2752513,4259841,5505034,6029313,6750209,9502721,11141121,12845057,12976138,13828097,14024705,16121857,16449537,18022401,18284545,18350081,22937601,23658497,25034753,27328513,29229057,29622273,30736385,32899073,35913729,38273025,40108033,40763393],"permitted":[6094849,7929857,8585217,14942209,16384001,16842753,22609921,26411009,26673153,39124993,41353217],"passing":[8192001,8781825,13893633,23068673,23527425,29229057],"purposes":[23068673,24969217,29949953],"positions":[5505025,12976129,13107201,34275329],"portability":[35389441],"probability":[13828097,38731777],"practical":[23068673],"padded":[1769473,14090241,18939905,31981569,33357825],"period":[5963777],"product":[5505029,8454146,12976133,15597574,16842753,19005442,20185090,25231362,25427969,30539778,39124993,41418754],"probabilistic":[5505025,12976129,13828098,23068673,38731779],"portable":[1310721],"placed":[24969217],"print":[5505029,7929859,12976133,14942211,15925251,16384003,16646147,20578307,22609923,31653890,36503555,41025538,41156609],"places":[21102593],"part":[5046273,5505030,6291457,12976134,27852801,28311553,33161218,35323905,35586049,36241409,36700161,40173569],"pointers":[5505025,9437185,12976129,20054017],"provided":[20185089,25231361,30539777,30605313,31129601],"positive":[589825,1048577,1835009,3538945,5505026,7536641,10158081,11206657,11337729,12976130,13434881,13631489,14286849,15204353,15269889,23527425,25427969,30408705,30801921,31391745,31522817,31784961,36438017,37355521,38731777,39583745,40239105,40370177,40632321],"performs":[13828097],"prepare":[15794178],"prime":[5505027,12976131,13828103,23068674,25427969,31391745,38731778],"printed":[41156611],"point":[196612,524291,1114113,1376258,2359297,2686978,3407876,3735556,4390914,4718594,5177348,6029313,8192004,8388612,8650754,8716292,8781826,9043969,9175044,9306118,9502725,9895940,11272194,11534337,11599874,12451844,12517378,13500418,13631490,13893638,14548993,15204356,15269890,15794177,17956866,18481158,21102595,22478850,24903682,25100292,25624578,25886724,26476548,28508162,29753346,29949954,30081028,30998532,31326210,31457286,31522820,33292292,33751046,34996226,35586050,35651586,35848194,36241410,36438018,37027842,37289988,37617666,38928386,39190529,39256070,39583748,40501252,41156609],"possible":[5242881,10420225,12124161,13107201,14548993,16121857,20905985,26411009,29097985,30998529,32636929,36306945,39190530],"plus":[5242881,20185089,21168129,25231361,26411009],"prefixed":[41156609],"previous":[21889025,29097985,32636929,33226753],"precisions":[29949954,30081025],"properties":[2490370,9502721,11534338,12582914,12845057,12976129,18284545,18743298,22937601,23658497,25493506,29294593,33095682]}