Math.Gmp.Native/docs/fti/FTI_112.json

1 line
18 KiB
JSON

{"parameters":[196609,262145,327681,458753,589825,720897,851969,917505,1048577,1245185,1310721,1376257,1441793,1507329,1572865,1638401,1703937,1835009,1900545,2031617,2097153,2359297,2424833,2490369,2621441,2752513,2818049,2949121,3014657,3080193,3145729,3473409,3538945,3670017,3735553,3801089,3997697,4063233,4128769,4194305,4259841,4390913,4521985,4718593,4784129,4849665,5111809,5177345,5242881,5308417,5439489,5505025,5570561,5701633,5767169,5832705,5898241,6029313,6094849,6160385,6488065,6553601,6619137,6684673,6750209,6881281,6946817,7012353,7077889,7208961,7274497,7340033,7405569,7471105,7602177,7667713,7733249,7798785,7864321,7929857,8126465,8257537,8323073,8388609,8454145,8519681,8650753,8781825,8847361,8912897,8978433,9043969,9109505,9175041,9240577,9306113,9371649,9437185,9502721,9568257,9764865,9830401,9895937,9961473,10092545,10354689,10420225,10485761,10551297,10616833,10747905,10878977,11010049,11075585,11141121,11272193,11337729,11403265,11599873,11665409,11730945,11796481,11862017,11927553,12058625,12124161,12189697,12255233,12320769,12386305,12451841,12517377,12582913,12648449,12779521,12845057,12976129,13041665,13107201,13238273,13369345,13434881,13565953,13631489,13697025,13762561,13828097,13959169,14024705,14090241,14155777,14221313,14352385,14417921,14483457,14548993,14614529,14745601,14811137,14876673,14942209,15073281,15138817,15269889,15335425,15400961,15532033,15597569,15663105,15728641,15859713,15925249,15990785,16121857,16187393,16252929,16318465,16384001,16449537,16515073,16580609,16711681,16842753,16908289,16973825,17039361,17104897,17235969,17301505,17367041,17432577,17563649,17629185,17694721,17760257,17956865,18022401,18153473,18219009,18284545,18350081,18546689,18612225,18677761,18743297,18874369,18939905,19070977,19136513,19202049,19267585,19333121,19398657,19464193,19529729,19595265,19660801,19791873,19857409,19922945,20054017,20119553,20185089,20250625,20316161,20447233,20512769,20578305,20643841,20709377,20774913,20840449,20905985,20971521,21037057,21102593,21168129,21233665,21299201,21495809,21561345,21626881,21692417,21823489,21889025,21954561,22020097,22151169,22282241,22347777,22544385,22609921,22806529,22872065,22937601,23003137,23068674,23134209,23199745,23265281,23330817,23396353,23724033,23789569,23920641,23986177,24051713,24117249,24182785,24248321,24313857,24444929,24510465,24576001,24707073,24772609,24838145,24903681,24969217,25034753,25100290,25165825,25231361,25296897,25427969,25493505,25559041,25755649,25821185,26017793,26083329,26148865,26279937,26345473,26411009,26476545,26542081,26607617,26673153,26738689,26804225,26869761,27131905,27262977,27328513,27459585,27525121,27590657,27656193,27721729,27787265,27852801,27918337,27983873,28049409,28114945,28180481,28246017,28311553,28377089,28442625,28573697,28639233,28770305,28835841,28901377,28966913,29032449,29163521,29294593,29360129,29491201,29556737,29622273,29687809,29818881,29884417,30015489,30081025,30146561,30212097,30277633,30343169,30408705,30474241,30539777,30605313,30670849,30736385,30801921,30867457,30932993,31064065,31129601,31195137,31326209,31457281,31522817,31588353,31653889,31719425,31784961,31850497,31981569,32112641,32178177,32243713,32309249,32374785,32440321,32505857,32571393,32636929,32702465,32768001,32833537,32899073,32964609,33030145,33095681,33161217,33226753,33292289,33357825,33423361,33488897,33554433,33685505,33751041,33816577,33882113,34013185,34078721,34144257,34209793,34275329,34340865,34406401,34471937,34537473,34603009,34734081,34799617,34865153,34930689,34996225,35061761,35127297,35192833,35258369,35323905,35586049,35651585,35848193,35913729,35979265,36044801,36110337,36175873,36241409,36372481,36438017,36503553,36569089,36634625,36700161,36765697,36831233,36896769,36962305,37093377,37158913,37289985,37355521,37421057,37552129,37683201,37814273,37879809,37945345,38010881,38076417,38141953,38207489,38273025,38338561,38404097,38469633,38535169,38600705,38666241,38731777,38797313,38862849,38928385,38993921,39124993,39190529,39256065,39387137,39452673,39518209,39583745,39649281,39714817,39845889,39911425,39976961,40042497,40108033,40173569,40239105,40304641,40370177,40435713,40501249,40632321,40697857,40763393,40828929,40894465,41025537,41091073,41156609,41222145,41287681,41353218,41484289,41615361,41680897,41811969,41877505,41943041,42008577,42074113,42139649,42205185,42270721,42336257,42467329,42598401,42663937,42729473,42795009,42860545,42926081,43122689,43188225,43253761,43319297,43384833,43450369,43712513,43778049],"project":[25624581],"population":[8585217,15794177,25624577,26083330],"params":[720897,4718593,7077889,8454145,10878977,14745601,15138817,15663105,15925249,17563649,18939905,20643841,21561345,23330817,30343169,31522817,32636929,33226753,34340865,36503553,39714817,41484289,42598401,43122689],"positiveinfinity":[458753,41025537],"protection":[14745601,23330817],"preceded":[8585217,15794177,22151169,25624577],"preserved":[7405569,40894465],"ptr":[1376268,1900553,3997704,4325380,4718602,4849670,6422529,7077906,7798790,8519689,8585226,10878986,12058633,12910594,13631497,14155789,15007745,15138834,15204355,15663113,15794186,15925249,17432577,17563649,19595275,21823497,22085638,22151179,23199750,23330818,23461889,25100297,25362437,25624581,28114945,29753347,31129601,31195143,31850502,33161222,33226762,34340873,36110342,36503562,37683206,40239114,40304641,41484298,41549827,42074120,42598416,43384841,43450376],"paramarray":[720897,4718593,7077889,8454145,10878977,14745601,15138817,15663105,15925249,17563649,18939905,20643841,21561345,23330817,30343169,31522817,32636929,33226753,34340865,36503553,39714817,41484289,42598401,43122689],"probably":[12845058,38535169,42008577],"pathname":[1376264,7077894,8519688,12058632,14155784,15138822,15663112,19595272,22151176,34340872,42074116,43384840],"pointed":[4849665,7798785,8585221,12910593,13631489,15204353,15794181,18939905,21823489,25362437,25624581,33161217,36110337,37683201,39583745,41549825],"power":[5242881,8585218,10420225,12189697,13959169,15532036,15794178,19398657,22020097,24051713,25624578,27459585,33030145,34078721,35979265,38666241,39911428,40370177],"preferred":[8257537,28770305,40894465],"performed":[25231361,40108033],"parameter":[1507329,1900545,2359297,3670017,4849665,6553603,7208961,15990785,16515073,19333121,23986178,24969217,29294593,30212097,31784962,32374785,34144257,36962305],"produces":[8585218,9764866,15794178,25624578,33685506],"passes":[38535171],"providing":[8519681,21299201,25624577,42074113],"property":[655364,3407876,3932164,7995396,10027011,14286852,17170436,18808836,25624577,25886724,25952260,27852803,37617668,39321603,41746436,42401796],"passed":[1507329,1900545,2359297,3670017,4849665,15859713,15990785,19333121,24969217,25231361,25624577,29294593,32374785,40108033],"pacman":[25624579],"printable":[5242881],"particular":[2228225,6225921,7208961,8060929,10944513,12713985,13631489,16777217,17825793,18481153,22216705,22413313,23592961,25624577,29032449,29753345,35389441,42401793,42532865,42991617],"primality":[8585217,12845058,15794177,25624577,38535169],"possibly":[8585217,15794177,22151169,25624577],"ptrs":[8585217,15794177,18939910,25362433,25624577],"previously":[1900550,4849666,7798786,8585217,15794177,18939905,25624577,28377089,31195141,33161217,36110337,37683201,41549825],"partially":[5701633,24117249,41091073],"produce":[18808833,25100289,41353217],"preparation":[18153473],"precisely":[21823489,39583745],"primes":[23134209],"piece":[23986178,31784962],"projects":[25624579],"prec":[8585220,12976134,15794180,25624580,28377094,29032458,29556742],"patterns":[9764865,26542081,33685505],"proven":[16515073,33816577,34144257],"precision":[196610,327682,524290,720898,917505,1507330,1835009,2031618,2359298,2818052,3014658,3145730,3670018,3735554,4456452,4521988,4980737,5242882,5505026,5570562,5701634,6094850,6225921,7471106,7536641,7602178,8060931,8126465,8257538,8388610,8585223,8650754,8716289,9043970,9240578,9568258,9764866,10944513,11075586,11403266,11993089,12255234,12320772,12451842,12517378,12976135,13172737,13697026,14483457,15335426,15532034,15597570,15794183,15990785,16449539,16777217,17039362,17104898,17432578,17694722,18481155,18546690,18808833,19202050,19267586,19333122,19857410,19922946,20447234,20774914,21823490,21954564,22413315,22544386,23789570,23986178,24117250,24444930,24510466,24969218,25034754,25165826,25427970,25493506,25624584,25821186,26607618,27262978,27918342,27983873,28114946,28180482,28311554,28377093,28770306,28835844,29032463,29294594,29360130,29556742,30670850,31260674,31391746,31457282,31784962,32374786,32571394,32833538,33030146,33357826,33488898,33685506,34668546,34930690,35061762,36044802,36241410,36438018,36765698,37552130,38273026,38404098,38469634,38666242,39387138,39583746,40173570,40239106,40304642,40501249,41091074,41549828,41811970,41877506,42205186,42401793,42860548,43450370],"position":[8585218,10092545,12124161,15794178,25427970,25624578,26542081,32833538],"provides":[22216705,28049409,33751041,35258369,41549825],"preliminary":[8585217,15794177,15990785,25624577],"performance":[1507329,15990785,25624578],"pointer":[524290,655361,1114114,1376257,1900546,2162692,2228225,3342338,3866625,4325378,4587522,4849665,6225921,7077890,7143425,7733250,7798785,7995393,8060933,8323074,8519681,8585221,10223618,10682370,10944513,11468802,12058625,12386305,12713985,13172738,13631492,14090244,14155777,14614529,14680066,15138818,15663106,15794181,15859713,16777217,17760259,17825795,17891330,18481153,19595265,21823489,22085633,22151169,22216708,22413317,22478854,23199745,23592961,23658497,24641537,25624581,27000834,27525124,28114946,29229058,31195137,31391746,31850497,32702468,33161217,34340866,34537474,34668546,35389441,35454982,35913729,36110337,37027842,37617665,37683201,38928391,39059457,39583745,40239106,41484293,41549829,42074113,42270726,42401795,42532865,42598404,43188226,43384833,43450369,43515908,43646978],"parsed":[4718593,7077889,10878977,15138817,33226753,36503553,40828929],"past":[10092546,12124162,21823489,39583745],"powers":[39911426],"purpose":[4456449,22937601],"produced":[5242882,6094849,8454145,8585217,15794177,15925249,25100292,25624577,28114945,36044801,40239105,41353220,41484289,42598401],"problems":[25100289,41353217],"primorial":[8585217,15794177,24313857,25624577],"perfect":[8585221,8978437,15532036,15794181,25624581,33488900,36044801,38797313,39911430],"public":[196611,262146,327683,458755,524291,589827,655363,720899,851971,917507,1048578,1179651,1245186,1310723,1376259,1441795,1507331,1572867,1638402,1703939,1835011,1900547,2031619,2097155,2162691,2359299,2424834,2490371,2555907,2621443,2686979,2752515,2818051,2949123,3014659,3080195,3145731,3342339,3407875,3473411,3538947,3604483,3670019,3735555,3801091,3866627,3932163,3997699,4063234,4128771,4194306,4259843,4390914,4456451,4521987,4718595,4784131,4849667,4980739,5111811,5177347,5242883,5308419,5373955,5439491,5505027,5570563,5636099,5701635,5767171,5832707,5898243,6029315,6094851,6160387,6488066,6553603,6619139,6684674,6750210,6291459,6881282,6946819,7012354,7077891,7208963,7274498,7340035,7405571,7471107,7536643,7602179,7667715,7733251,7798787,7864323,7929858,7995395,8060932,8126467,8257539,8323075,8388611,8454147,8519683,8650755,8716291,8781826,8847363,8912898,8978435,9043971,9109507,9175043,9240579,9306115,9371651,9437187,9502723,9568259,9699331,9764867,9830403,9895939,9961475,10027011,10092547,10158083,10223619,10289155,10354691,10420227,10485763,10551299,10616835,10682371,10747906,10813443,10878979,11010051,11075587,11141122,11206659,11272194,11337731,11403267,11599875,11665411,11730947,11796482,11862018,11927555,11993091,12058627,12124163,12189699,12255235,12320771,12386307,12451843,12517379,12582914,12648451,12713987,12779523,12845059,12910595,12976131,13041667,13107203,13238275,13369347,13434883,13500419,13565954,13631491,13697027,13762563,13828099,13959171,14024707,14090243,14155779,14221314,14286851,14352387,14417923,14483459,14548995,14614531,14745603,14811139,14876675,14942210,15073283,15138819,15269890,15335427,15400963,15532035,15597571,15663107,15728643,15794179,15859715,15925251,15990787,16121858,16187394,16252930,16318467,16384003,16449539,16515075,16580611,16646147,16711683,16842755,16908290,16973827,17039363,17104899,17170435,17235971,17301506,17367043,17432579,17563651,17629186,17694723,17760259,17825795,17891331,17956867,18022402,18087939,18153475,18219011,18284547,18350082,18481155,18546691,18612227,18677762,18743298,18808835,18874371,18939907,19005443,19070978,19136515,19202051,19267587,19333123,19398659,19464194,19529730,19595267,19660803,19726339,19791875,19857411,19922947,19988483,20054018,20119554,20185091,20250627,20316162,20447235,20512771,20578306,20643843,20709379,20774915,20840450,20905986,20971523,21037059,21102595,21168131,21233667,21299203,21364739,21430275,21495811,21561347,21626883,21692418,21823491,21889027,21954563,22020099,22085635,22151171,22216707,22282243,22347778,22413316,22478851,22544387,22609923,22806531,22872067,22937603,23003139,23068675,23134211,23199747,23265282,23330819,23396355,23724035,23789571,23855107,23920642,23986179,24051715,24117251,24182786,24248323,24313859,24379395,24444931,24510467,24576003,24707075,24772611,24838147,24903683,24969219,25034755,25100291,25165827,25231363,25296899,25427971,25493507,25559042,25755651,25821187,25886723,25952259,26017794,26083331,26148867,26279938,26345475,26411010,26476547,26542083,26607619,26673155,26738691,26804227,26869763,27000835,27066371,27131906,27262979,27328515,27459587,27525123,27590659,27656195,27721731,27787267,27852803,27918339,27983875,28049411,28114947,28180483,28246019,28311555,28377091,28442627,28573699,28639235,28770307,28835843,28901379,28966914,29032451,29163523,29294595,29360131,29491203,29556739,29622275,29687811,29818883,29884418,29949955,30015491,30081027,30146563,30212099,30277635,30343171,30408706,30474243,30539779,30605315,30670851,30736387,30801923,30867459,30932994,31064066,31129603,31195139,31260675,31326211,31391747,31457283,31522819,31588355,31653891,31719426,31784963,31850499,31916035,31981571,32047107,32112643,32178179,32243715,32309250,32374787,32440323,32505859,32571395,32636931,32702467,32768002,32833539,32899074,32964611,33030147,33095683,33161219,33226755,33292291,33357827,33423363,33488899,33554435,33685507,33751043,33816579,33882115,33947651,34013187,34078723,34144259,34209795,34275331,34340867,34406403,34471938,34537475,34603011,34668547,34734083,34799619,34865154,34930691,34996226,35061763,35127299,35192835,35258371,35323907,35454979,35586051,35651587,35717123,35848194,35913731,35979267,36044803,36110339,36175874,36241411,36372482,36438019,36503555,36569090,36634627,36700163,36765699,36831235,36896771,36962307,37093379,37158915,37224451,37289987,37355522,37421058,37486595,37552131,37617667,37683203,37748739,37814275,37879811,37945347,38010883,38076418,38141955,38207490,38273027,38338563,38404099,38469635,38535171,38600707,38666243,38731779,38797315,38862851,38928387,38993922,39059459,39124995,39190531,39256067,39321603,39387139,39452675,39518211,39583747,39649283,39714819,39845891,39911427,39976962,40042499,40108035,40173571,40239107,40304643,40370179,40435715,40501251,40566787,40632322,40697859,40763394,40828931,40894467,40960003,41025539,41091075,41156611,41222147,41287682,41353219,41418755,41484291,41615363,41680898,41746435,41811971,41877507,41943043,42008579,42074115,42139651,42205187,42270723,42336259,42401795,42467331,42532867,42598403,42663939,42729475,42795011,42860547,42926083,43057155,43122691,43188227,43253763,43319299,43384835,43450371,43515907,43712514,43778051],"path":[1376258,7077890,8519682,12058626,14155778,15138818,15663106,19595266,22151170,34340866,42074113,43384834],"pass":[13631489],"perform":[2228225,3014657,5570561,6225921,7471105,8060929,8585226,10944513,12713985,12845057,13631489,15794186,16777217,17825793,18153473,18481153,18546689,20447233,22216705,22413313,23592961,25034753,25624586,28180481,29753345,35389441,36765697,38404097,40173569,42532865,42991617],"permitted":[6094849,8454145,12058625,14745601,15925249,19267585,23330817,25165825,26607617,36241409,38469633],"passing":[8126465,8650753,19202049,23068673,23134209,25034753],"purposes":[23134209,26542081,29032449],"positions":[8585217,13107201,15794177,25624577,35061761],"portability":[25100289,41353217],"probability":[12845057,38535169],"practical":[23134209],"padded":[2359297,13828097,19333121,30146561,34799617],"period":[6553601],"platform":[25624578],"product":[8585221,9175042,14876674,15073286,15794181,19267585,22544386,24313857,25624581,25821186,33030146,36241409,38862850],"puts":[25624577],"probabilistic":[8585217,12845058,15794177,23134209,25624577,38535171],"portable":[1376257],"placed":[26542081],"print":[8454147,8585221,14745603,15663107,15794181,15925251,17563651,20643843,23330819,25624581,34340867,41484290,42074113,42598402],"prefix":[25624578],"places":[21299201],"part":[5832705,8585222,10420225,15794182,25624582,31129601,31260674,35192833,38797313,39256065,40304641,41549825,42008577],"pointers":[8585217,15794177,18939905,24903681,25624577],"provided":[22544385,25821185,29360129,33030145,41811969],"positive":[458753,1310721,1441793,5177345,8585218,9895937,9961473,10551297,12451841,12517377,13434881,13697025,14024705,15335425,15794178,23068673,24313857,25624578,29622273,30670849,32112641,36896769,38338561,38535169,41025537,41615361,41746433,41877505,42139649,42663937],"packages":[25624578],"performs":[12845057],"page":[25624577],"prepare":[15859714],"prime":[8585219,12845063,15794179,23134210,24313857,25624579,29622273,38535170],"printed":[42074115],"point":[327684,720899,1245185,1572866,2818050,3145730,3735556,4521988,5505028,5767170,6225921,7602182,7995393,8060933,8126466,8388612,8519681,8650756,8847364,9043970,9568260,11075588,12320770,12451842,12517378,12976130,13172738,14614529,15335426,15597570,15859713,17039364,17432578,17694722,19202054,20774918,21299203,21954562,24510468,25624577,27262980,27918338,28114949,28311556,28835842,29032450,29556738,30670852,31391746,31457284,31522822,31653892,33357830,33816578,35913729,36438022,37224450,37552132,37814274,39190530,40239109,40304642,41549826,41746436,41877506,42074113,42205188,42467330,42860546,43450370],"possible":[5242881,10092545,12124161,13107201,14614529,18153473,25165825,26083329,28049409,28114945,33751041,35913730,40239105,43778049],"plus":[5242881,21823489,22544385,25165825,25821185,39583745],"prefixed":[42074113],"previous":[23986177,25624577,28049409,31784961,33751041],"precisions":[29032450,31653889],"properties":[2883586,8060929,13172738,14680066,15794177,17825793,18415618,18481153,22216705,22413313,26214402,28573697,37027842]}