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

1 line
18 KiB
JSON

{"parameters":[65537,131073,327681,393217,524289,786433,851969,1048577,1114113,1179649,1245185,1310721,1376257,1441793,1572865,1703937,1835009,1900545,1966081,2359297,2424833,2490369,2555905,2621441,2818049,2949121,3014657,3211265,3276801,3407873,3473409,3538945,3604481,3670017,3735553,3801089,3866625,3997697,4128769,4194305,4259841,4390913,4587521,4653057,4718593,4980737,5046273,5111809,5177345,5439489,5505025,5570561,5636097,5767169,5832705,5898241,5963777,6160385,6225921,6356993,6422529,6488065,6553601,6619137,6750209,6815745,6881281,7012353,7077889,7208961,7274497,7340033,7405569,7471105,7667713,7798785,7864321,7929857,7995393,8060929,8126465,8192001,8323073,8454145,8519681,8585217,8650753,8716289,8781825,8912897,9109505,9175041,9240577,9306113,9371649,9437185,9502721,9568257,9633793,9764865,9830401,9895937,9961473,10027009,10092545,10223617,10354689,10420225,10551297,10616833,10747905,10944513,11010049,11075585,11141121,11272193,11337729,11403265,11468801,11534337,11599873,11665409,11730945,11862017,12058625,12124161,12255233,12386305,12451841,12517377,12582913,12648449,12713985,12779521,12845057,12910593,12976129,13041665,13107201,13172737,13369345,13434881,13565953,13631489,13762561,13828097,13893633,13959169,14024705,14155777,14221313,14286849,14352385,14483457,14548993,14614529,14680065,14811137,14942209,15073281,15204353,15269889,15335425,15400961,15466497,15532033,15663105,15728641,15794177,15859713,15925249,15990785,16121857,16187393,16252929,16318465,16384001,16449537,16515073,16580609,16646145,16777217,16842753,16908289,16973825,17039361,17367041,17432577,17498113,17563649,17629185,17694721,17760257,17825793,17891329,17956865,18087937,18153473,18219009,18284545,18350081,18481153,18546689,18677761,18743297,18808833,18874369,18939905,19005441,19070977,19136513,19202049,19267585,19333121,19398657,19464193,19529729,19595265,19791873,19988481,20119553,20185089,20250625,20316161,20381697,20512769,20578305,20643841,20709377,20774913,20840449,20971521,21037057,21102593,21168129,21233665,21364737,21626881,21692417,21757953,21823489,21889025,21954561,22020097,22085633,22151169,22216705,22282241,22347777,22609921,22675457,22806529,22872065,22937601,23003137,23068673,23134209,23199745,23265281,23330817,23396353,23461889,23527425,23592961,23724033,23789569,23855105,23920641,23986177,24117249,24182785,24248321,24313857,24379393,24510465,24576001,24641537,24772609,24838145,24969217,25034753,25100289,25231361,25296897,25362433,25427969,25624577,25690113,25755650,25821185,25886721,25952257,26083329,26148865,26214401,26279937,26345473,26411010,26476545,26542081,26607617,26673153,26738689,26804225,26869761,26935297,27000833,27066369,27131905,27197441,27262977,27328513,27394049,27459585,27525121,27787265,27852801,27918337,27983873,28049409,28180481,28246017,28311553,28377089,28442625,28508161,28573697,28704769,28770305,28835841,28901377,28966913,29097985,29229057,29294593,29360129,29425665,29491201,29556737,29622273,29687809,29818881,29884417,29949953,30081025,30146561,30277633,30343169,30408705,30539777,30605313,30670849,30736385,30801921,30932993,30998529,31064065,31129601,31195137,31260673,31326209,31391745,31522817,31588353,31653889,31719425,31784961,31850497,31916033,31981569,32047105,32112641,32243713,32374785,32440321,32571393,32636929,32702465,32833537,32899073,32964609,33030145,33161217,33226753,33357825,33423361,33488897,33554433,33619969,33685505,33751041,33816577,33882113,33947649,34078721,34340865,34471937,34537473,34603009,34668545,34734081,34799617,34865153,34930689,34996225,35127297,35192833,35258369,35389441,35454977,35520513,35586049,35717121,35848194,35913729,35979265,36044801,36110337,36175873,36306945,36438017,36569089,36634625,36765697,36831233,36896769,36962305,37093377,37158913,37224449,37289985,37355521,37421057,37486593,37552129,37617665,37683201,37748737,37879809,37945345,38010881,38076417,38141953,38207489,38273025,38338561,38404097,38469633,38535169,38600705,38666241,38731777,39059457,39124993,39190529,39256065,39321601,39387137,39452673,39518209,39649281,39714817,39780353,39845889,39911425,40042497,40108033,40173569,40239105,40304641,40370177,40501249,40566785,40632321,40763393,40828929,40960001,41091073,41156609,41222145,41287681,41353217,41418753,41484289,41549825,41615361,41680897,41746433,41811969,41877505,41943041,42008577,42074113,42139649,42270721,42336257,42467329,42598401,42663937,42729473,42795009,42860545,42926081,42991617,43188225,43253761,43319297,43384833,43450369,43515905,43581441,43646977,43712513,43778049],"project":[22413318],"population":[7602177,18022402,22806530],"params":[524289,6422529,8585217,10354689,13172737,14811137,15794177,15990785,16580609,17563649,21037057,22675457,23330817,23461889,23920641,29229057,31260673,34340865,35979265,36175873,37224449,37486593,37945345,43384833],"positiveinfinity":[1179649,32112641],"protection":[15990785,23330817],"preceded":[7602177,18022402,25690113],"preserved":[5046273,34996225],"ptr":[1376264,1572873,3407880,3866630,4063236,5373953,6422537,7405574,7602185,9895944,10354705,11534344,11730952,11993090,13172745,14811153,15007747,16646153,17235969,17563656,18022410,19529736,19660801,20316166,20381705,23461897,25559046,25690120,25755657,27590661,29622279,31195142,31719433,32309251,33423366,35979278,37486601,37945352,39714822,39976963,41418758,42336264,42795016,43384840,43515911],"paramarray":[524289,6422529,8585217,10354689,13172737,14811137,15794177,15990785,16580609,17563649,21037057,22675457,23330817,23461889,23920641,29229057,31260673,34340865,35979265,36175873,37224449,37486593,37945345,43384833],"probably":[15073282,35913729,40239105],"pathname":[1376264,9895944,10354694,11534344,11730952,14811142,17563656,19529736,25690120,37945352,42336264,43515908],"pointed":[3866625,7405569,7602181,11993089,15007745,16646145,18022406,20381697,21037057,27590661,33423361,33882113,39714817,39976961,41418753],"power":[5570561,7602178,9568257,12713985,15335425,17891332,18022404,20578305,21757953,23396353,28573697,31129601,31391745,34078721,36765700,42598401,43188225],"preferred":[8323073,24969217,34996225],"performed":[27394049,30998529],"parameter":[1441793,1572865,3211265,3604481,3866625,6488067,7274497,14024705,17956865,19136513,21168130,26279937,26935297,29687809,33357826,33816577,35192833,38273025],"produces":[6881282,7602178,18022404,31850498],"passes":[40239107],"providing":[9895937,22413313,22937601,43515905],"property":[458756,3145732,4325380,8847364,10289155,14090244,14745604,21495812,22413313,24903684,27656196,28442627,36503556,40894468,42532867,43122692],"passed":[1441793,1572865,3211265,3604481,3866625,14942209,17956865,19136513,22413313,26935297,27394049,29687809,30998529,35192833],"pacman":[22413315],"printable":[5570561],"particular":[1769473,6946817,7274497,8978433,11206657,11927553,14876673,16646145,17104897,18612225,22413313,24707073,25493505,26017793,32309249,33554433,35323905,36503553,40435713,42401793],"primality":[7602177,15073282,18022402,40239105],"possibly":[7602177,18022402,25690113],"ptrs":[7602177,18022402,21037062,27590657],"previously":[1572870,3866626,7405570,7602177,18022402,21037057,27197441,29622277,33423361,39714817,39976961,41418753],"partially":[5111809,25034753,42139649],"produce":[21495809,25755649,35848193],"preparation":[16187393],"precisely":[20381697,33882113],"primes":[23527425],"piece":[21168130,33357826],"projects":[22413315],"prec":[7602180,11272198,18022408,25952262,27197446,33554442],"patterns":[6881281,25296897,31850497],"proven":[14024705,37617665,38273025],"precision":[65538,131074,524290,589826,1048577,1441794,1703938,1900545,2490372,2621442,3211266,3473410,3604482,3670020,4194306,4456449,4718594,4784132,5111810,5570562,5636098,6815746,6881282,6946817,7536641,7602183,7667714,7733249,8323074,8519682,8650754,8781826,8978435,9109506,9175042,9306113,9371650,9502722,11206657,11272199,11468802,12189697,12386306,12582914,12910594,13238273,13631490,13959172,14155778,14286850,14548994,15400962,15925251,16449538,16515074,17104899,17498113,17825794,17891330,17956865,18022414,18481154,18546690,18612225,19070978,19136514,19333122,19464194,19988482,20381698,21168130,21364738,21495809,22085634,22413313,24969218,25034754,25952262,26017795,26083330,26148870,26345474,26476546,26804226,26869762,26935298,27066370,27131908,27197445,27459586,27918338,28246018,28311553,28835842,28901378,28966916,29097986,29687810,29818882,30474242,31064066,31391746,31588354,31653890,31719426,31850498,32440322,33161218,33357826,33554447,33685506,33882114,34013186,34603010,34799618,35192834,35520514,36503553,36569090,37552130,37748738,38010881,38141954,38731778,38797314,39649284,39976964,40304642,40501250,41156610,41615362,41680898,41811970,42139650,42598402,42795010,42860546,43712514],"position":[7602178,10027009,12517377,18022404,25296897,26083330,31588354],"provides":[24707073,32374785,33488897,39976961,41943041],"preliminary":[7602177,17956865,18022402],"performance":[1441793,17956865,22413314],"pointer":[458753,589826,983042,1376257,1507332,1572866,1769473,2752514,3866625,3932162,4063234,4849665,6946817,7208962,7405569,7602181,8257538,8847361,8978437,9699330,9895937,10223618,10354690,10813441,10878978,11206657,11534337,11730945,11927555,12189698,12648452,12779521,14811138,14942209,14876673,15204353,16646148,16908291,17104897,17170434,17301506,17563650,18022410,18612225,19529729,19857409,20316161,20381697,20905985,22872068,23986180,24051718,24707076,25493505,25559041,25690113,26017797,27721730,27918338,29622273,30474242,31195137,31719426,32178178,33292290,33423361,33882113,35782660,35979268,36044806,36438018,36503555,36700162,37945346,38207490,38797314,39583750,39714817,39976965,40435713,41091073,41418753,42205185,42336257,42401793,42467335,42795009,43122689,43384837,43515905],"parsed":[6422529,10354689,13172737,14811137,23461889,37486593,38469633],"past":[10027010,12517378,20381697,33882113],"powers":[36765698],"purpose":[4784129,21626881],"produced":[5570562,6815745,7602177,8585217,16580609,18022402,25755652,27918337,31719425,35848196,35979265,40501249,43384833],"problems":[25755649,35848193],"primorial":[7602177,18022402,26542081],"package":[22413314],"perfect":[6553605,7602181,17891332,18022410,29818884,36765702,40501249,42008577],"public":[65539,131075,327682,393219,458755,524291,589827,786435,851970,917507,1048579,1114115,1179651,1245186,1310722,1376259,1441795,1507331,1572867,1703939,1835010,1900547,1966083,2097155,2359299,2424835,2490371,2555907,2621443,2752515,2818051,2883587,2949123,3014659,3145731,3211267,3276803,3407875,3473411,3538947,3604483,3670019,3735555,3801091,3866627,3997699,4128770,4194307,4259843,2162691,4325379,4390914,4456451,4521987,4587523,4653058,4718595,4784131,4849667,4980739,5046275,5111811,5177347,5308419,5439491,5505027,5570563,5636099,5767171,5832707,5898243,5963779,6094851,6160386,6225923,6356994,6422531,6488067,6553603,6619138,6750211,6815747,6881283,7012354,7077891,7208963,7274499,7340035,7405571,7471107,7536643,7667715,7733251,7798786,7864323,7929859,7995394,8060931,8126467,8192002,8323075,8454147,8519683,8585219,8650755,8716291,8781827,8847363,8912899,8978436,9043971,9109507,9175043,9240579,9306115,9371651,9437187,9502723,9568259,9633795,9699331,9764866,9830403,9895939,9961475,10027011,10092547,10158083,10223619,10289155,10354691,10420226,10485763,10551298,10616835,10682371,10747907,10878979,10944514,11010051,11075587,11141123,11272195,11337731,11403267,11468803,11534339,11599875,11665411,11730947,11796483,11862019,11927555,11993091,12058626,12124162,12255235,12386307,12451843,12517379,12582915,12648451,12713987,12779523,12845059,12910595,12976131,13041666,13107203,13172739,13238275,13369346,13434883,13565955,13631491,13697027,13762563,13828098,13893635,13959171,14024707,14090243,14155779,14221315,14286851,14352387,14483458,14548995,14614531,14680067,14745603,14811139,14876675,14942211,15073283,15204355,15269890,15335427,15400963,15466499,15532035,15663107,15728643,15794179,15859715,15925251,15990787,16056323,16121858,16187395,16252931,16318466,16384003,16449539,16515075,16580611,16646147,16777218,16842754,16908291,16973827,17039363,17104899,17170435,17367042,17432579,17498115,17563651,17629187,17694722,17760259,17825795,17891331,17956867,18022403,18087939,18153475,18219011,18284546,18350083,18415619,18481155,18546691,18677762,18743298,18808834,18874371,18939906,19005443,19070979,19136515,19202050,19267586,19333123,19398659,19464195,19529731,19595266,19726339,19791875,19922947,19988483,20054019,20119555,20185090,20250626,20316163,20381699,20512771,20578307,20643843,20709379,20774914,20840451,20971523,21037059,21102595,21168131,21233667,21299203,21364739,21430275,21495811,21561347,21626883,21692419,21757955,21823491,21889027,21954563,22020098,22085635,22151170,22216707,22282243,22347779,22609922,22675459,22806531,22872067,22937603,23003138,23068674,23134211,23199747,23265283,23330819,23396355,23461891,23527427,23592963,23724035,23789571,23855106,23920643,23986179,24051715,24117251,24182787,24248323,24313859,24379394,24444931,24510467,24576003,24641539,24707075,24772610,24838146,24903683,24969219,25034755,25100291,25231363,25296899,25362435,25427970,25559043,25624578,25690115,25755651,25821186,25886723,25952259,26017796,26083331,26148867,26214403,26279939,26345475,26411011,26476547,26542083,26607619,26673155,26738691,26804227,26869763,26935299,27000835,27066371,27131907,27197443,27262979,27328515,27394051,27459587,27525123,27656195,27721731,27787267,27852802,27918339,27983874,28049411,28180483,28246019,28311555,28377091,28442627,28508162,28573699,28704771,28770307,28835843,28901379,28966915,29097987,29229059,29294595,29360131,29425666,29491203,29556739,29622275,29687811,29818883,29884419,29949955,30081026,30146563,30212099,30277635,30343171,30408706,30474243,30539779,30605315,30670851,30736386,30801923,30867459,30932995,30998531,31064067,31129603,31195139,31260675,31326211,31391747,31457283,31522819,31588355,31653891,31719427,31784963,31850499,31916034,31981570,32047107,32112643,32243715,32374787,32440323,32505859,32571395,32636930,32702467,32833539,32899075,32964610,33030147,33161219,33226755,33357827,33423363,33488899,33554435,33619971,33685507,33751043,33816579,33882115,33947651,34013187,34078723,34275331,34340867,34471939,34537474,34603011,34668547,34734083,34799619,34865155,34930691,34996227,35127299,35192835,35258370,35389443,35454979,35520515,35586051,35651587,35717122,35782659,35848195,35913731,35979267,36044803,36110338,36175875,36306947,36438019,36503555,36569091,36634627,36765699,36831235,36896770,36962307,37027843,37093379,37158914,37224451,37289987,37355523,37421059,37486595,37552131,37617667,37683203,37748739,37814275,37879811,37945347,38010883,38076418,38141955,38207491,38273027,38338563,38404098,38469635,38535171,38600707,38666243,38731779,38797315,38862851,38928387,38993923,39059459,39124995,39190531,39256067,39321603,39387139,39452674,39518211,39583747,39649283,39714819,39780355,39845890,39911426,40042498,40108035,40173571,40239107,40304643,40370179,40501251,40566787,40632323,40763395,40828931,40894467,40960003,41025539,41091075,41156611,41222147,41287682,41353219,41418755,41484291,41549827,41615363,41680899,41746435,41811971,41877507,41943043,42008579,42074115,42139651,42205187,42270722,42336259,42401795,42467331,42532867,42598403,42663939,42729475,42795011,42860547,42926083,42991619,43057155,43122691,43188227,43253763,43319298,43384835,43450370,43515907,43581443,43646978,43712515,43778051],"path":[1376258,9895938,10354690,11534338,11730946,14811138,17563650,19529730,25690114,37945346,42336258,43515905],"pass":[16646145],"perform":[1769473,2621441,4718593,6946817,7602186,8978433,9502721,11206657,11927553,14876673,15073281,16187393,16646145,17104897,18022420,18612225,19333121,19464193,24707073,25493505,26017793,28246017,28901377,32309249,32440321,35323905,38731777,40435713,42401793,42860545],"permitted":[6815745,8585217,11534337,15990785,16580609,18481153,23330817,27066369,29097985,41156609,43712513],"passing":[8781825,9306113,13631489,23527425,26411009,28246017],"purposes":[23527425,25296897,33554433],"positions":[7602177,13107201,18022402,38141953],"portability":[25755649,35848193],"probability":[15073281,40239105],"practical":[23527425],"padded":[3211265,16973825,19136513,36634625,37683201],"period":[6488065],"platform":[22413314],"product":[7602181,8454146,15859718,17039362,18022410,18481153,21364738,26542081,26869762,31391746,41156609,43778050],"puts":[22413313],"probabilistic":[7602177,15073282,18022402,23527425,40239107],"portable":[1376257],"placed":[25296897],"print":[7602181,8585219,15794179,15990787,16580611,17563651,18022410,22675459,23330819,35979266,37945347,43384834,43515905],"prefix":[22413314],"places":[22937601],"part":[7602182,9568257,18022412,18874369,29360129,30605313,34013186,35913729,37552129,38600705,39976961,42008577],"pointers":[7602177,18022402,21037057,26214401],"provided":[21364737,26869761,31391745,34603009,34799617],"positive":[1114113,1179649,2424833,4259841,7602178,8060929,9961473,10616833,11665409,13762561,14155777,14286849,14548993,15400961,18022404,26411009,26542081,32112641,33161217,34734081,34930689,35127297,35520513,38666241,39321601,40239105,40632321,40894465,41877505],"packages":[22413314],"performs":[15073281],"page":[22413313],"prepare":[14942210],"prime":[7602179,15073287,18022406,23527426,26542081,34930689,40239106],"printed":[43515907],"point":[65540,524291,1245185,2490370,2949122,3473412,3670020,4194306,5636100,5898242,6946817,8519686,8650756,8781828,8847361,8912900,8978437,9109508,9175042,9306114,9895937,11272194,11468804,12189698,12386308,12582914,12910594,13631494,13959170,14155778,14548994,14942209,15204353,15400962,16515074,18022401,19988486,22937603,25952258,26148866,26345476,26804228,27131906,27918341,28835844,28966914,30474242,30932996,31719429,33161220,33554434,33685510,34340870,35520514,35586050,36569092,37552130,37617666,38993922,39649282,39976962,40304644,40894468,40960002,41091073,41615364,41746434,41811974,42795010,43515905],"possible":[5570561,10027009,12517377,13107201,15204353,16187393,22806529,27066369,27918337,31719425,32374785,33488897,37421057,41091074],"plus":[5570561,20381697,21364737,26869761,27066369,33882113],"prefixed":[43515905],"previous":[21168129,22413313,32374785,33357825,33488897],"precisions":[30932993,33554434],"properties":[2293762,8978433,11927553,12189698,13500418,17104897,17301506,18022401,24707073,26017793,28114946,32899073,33292290]}