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

1 line
18 KiB
JSON

{"parameters":[131073,262145,393217,458753,524289,589825,655361,720897,786433,851969,917505,983041,1048577,1310721,1638401,1900545,1966081,2031617,2097153,2162689,2293761,2490369,2555905,2621441,2686977,2752513,2818049,2949121,3080193,3145729,3211265,3276801,3473409,3670017,3735553,3801089,3866625,4128769,4194305,4259841,4390913,4521985,4587521,4653057,4718593,4784129,4849665,5111809,5177345,5242881,5505025,5701633,5767169,5898241,6029313,6094849,6160385,6225921,6356993,6422529,6488065,6553601,6619137,6684673,6750209,6815745,6881281,7012353,7143425,7274497,7340033,7405569,7471105,7536641,7733249,7864321,7929857,7995393,8060929,8126465,8192001,8257537,8323073,8388609,8454145,8519681,8585217,8716289,8781825,8847361,8912897,8978433,9043969,9109505,9175041,9371649,9437185,9502721,9568257,9633793,9699329,9764865,9830401,9895937,9961473,10092545,10289153,10223617,10354689,10420225,10485761,10551297,10813441,10878977,10944513,11206657,11337729,11468801,11534337,11599873,11665409,11730945,11796481,11862017,11927553,11993089,12189697,12255233,12320769,12386305,12451841,12517377,12582913,12648449,12713985,12779521,12845057,12910593,12976129,13041665,13107201,13172737,13238273,13303809,13631489,13697025,13828097,13893633,13959169,14090241,14155777,14221313,14286849,14417921,14548993,14614529,14680065,14745601,14811137,14876673,14942209,15138817,15335425,15400961,15466497,15532033,15597569,15663105,15728641,15794177,15990785,16056321,16121857,16187393,16252929,16318465,16384001,16449537,16515073,16580609,16777217,16842753,16973825,17039361,17170433,17235969,17432577,17563649,17629185,17694721,17760257,17825793,17891329,17956865,18022401,18087937,18153473,18219009,18284545,18350081,18415617,18481153,18612225,18677761,18743297,18808833,18874369,18939905,19005441,19136513,19070977,19202049,19333121,19398657,19529729,19595265,19660801,19726337,19791873,19857409,19922945,19988481,20054017,20119553,20185089,20316161,20512769,20578305,20643841,20709377,20774913,20840449,20971521,21037057,21102593,21168129,21233665,21299201,21364737,21430273,21561345,21626881,21823489,21889025,22020097,22085633,22216705,22282241,22347777,22413313,22544385,22675457,22740993,22806529,22937601,23003137,23068673,23134209,23199745,23330817,23396353,23461889,23527425,23592961,23658497,23724033,23789569,23855105,23920641,23986177,24051713,24117249,24248321,24313857,24379393,24510465,24576001,24641537,24707073,24838145,24903681,24969217,25034753,25100289,25231361,25362433,25427969,25559041,25624577,25755649,25886721,25952257,26017793,26083329,26148865,26214401,26279937,26345473,26411009,26476545,26542081,26607617,26673153,26738689,26804225,26869761,26935297,27066369,27262977,27328513,27394049,27459585,27590657,27721729,27787265,27852801,27918337,27983874,28049409,28114945,28180481,28311553,28508161,28573697,28639233,28704769,28770305,28835841,28901377,28966913,29032449,29097985,29163521,29229057,29294593,29360129,29425665,29491201,29556737,29622273,29687809,29753345,29949953,30081025,30146561,30212097,30277633,30408705,30474241,30605313,30670849,30736385,30801922,30867457,30932993,30998529,31064065,31129601,31195137,31260673,31326209,31391745,31457281,31522817,31588353,31653889,31784961,31916033,31981569,32047105,32112641,32178177,32243713,32309249,32374785,32440321,32505857,32571393,32636929,32702465,32768002,32833537,32899073,33030145,33161217,33292289,33357825,33488897,33554433,33619969,33685505,33751041,33816577,33882113,33947649,34013185,34078721,34144257,34209793,34275329,34340865,34406401,34537473,34603009,34668545,34734081,34865153,34930689,34996225,35127297,35192833,35258369,35323905,35389441,35454977,35520513,35651585,35717121,35782657,35848193,35913729,35979265,36044801,36110337,36175873,36241409,36306945,36372481,36438017,36503553,36569089,36634625,36700161,36765697,36896769,36962305,37027841,37093377,37158913,37355521,37421057,37552129,37617665,37879809,37945345,38141953,38207489,38273025,38338561,38404097,38469633,38600705,38731777,38797313,38928385,38993921,39059457,39124993,39321601,39387137,39452673,39518209,39583745,39649281,39714817,39780353,39845889,39911425,39976961,40042497,40108033,40173569,40370177,40632321,40697857,40763393,40828929,40894465,40960001,41025537,41091073,41156609,41222145,41418753,41484289,41549825,41680897,41746433,41811969,41877505,42008577,42074113,42205185,42336257,42401793,42467329,42532865,42598401,42663937,42729473,42795009,42860545,42926081,42991617,43057153,43122689,43188225,43253761,43319297,43450369,43515905,43581441,43712513,43778049],"project":[21495814],"population":[7208961,22282242,23265282],"params":[458753,3670017,7405569,8388609,10092545,14680065,14745601,15728641,18939905,21102593,22020097,22216705,23330817,24641537,25427969,29097985,29229057,33554433,35520513,37945345,39780353,39911425,41222145,43253761],"positiveinfinity":[262145,32440321],"protection":[14745601,23330817],"preceded":[7208961,23265282,26935297],"preserved":[7536641,38141953],"ptr":[1048584,2031625,2752518,3538948,3670025,3997697,4521992,7208969,7405577,9633800,9699336,9830406,10092561,11534344,12058626,14680081,15269891,15794185,18612233,18874374,19267585,20447233,21102600,22085640,23265290,24641545,25821190,26083335,26935304,27983881,28442627,29753350,30277638,30343173,30998537,34930696,35520521,36503560,37486595,37945358,41222152,42401799,43057158,43122694,43253768],"paramarray":[458753,3670017,7405569,8388609,10092545,14680065,14745601,15728641,18939905,21102593,22020097,22216705,23330817,24641537,25427969,29097985,29229057,33554433,35520513,37945345,39780353,39911425,41222145,43253761],"probably":[17694722,37158913,39059457],"pathname":[1048584,9633800,9699336,10092550,11534344,14680070,21102600,22085640,26935304,34930696,42401796,43253768],"pointed":[2752513,7208965,9830401,12058625,15269889,15794177,18612225,22020097,23265286,30277633,30343173,31916033,37486593,43057153,43122689],"power":[4653057,7208962,7340033,11665409,14548993,17563652,17825793,19922945,21430273,23265284,27852801,29294593,32112641,35389441,37355524,41811969,42729473],"preferred":[9371649,22413313,38141953],"performed":[28966913,29360129],"parameter":[2031617,2555905,2752513,3080193,3801089,7274497,7471107,13303809,17629185,21037058,21299201,24117249,27787265,32047105,34406402,39714817,42336257,43188225],"produces":[6356994,7208962,23265284,33488898],"passes":[37158915],"providing":[9633793,20185089,21495809,42401793],"property":[1114116,3014660,5373956,10027012,11141123,13565956,14352388,21495809,21757956,29818884,30670851,37683204,38535172,40435716,41353220,42139651],"passed":[2031617,2555905,2752513,3080193,3801089,16056321,17629185,21299201,21495809,27787265,28966913,29360129,32047105,39714817],"pacman":[21495811],"printable":[4653057],"particular":[3604481,7077889,7274497,8650753,11075585,13762561,15794177,16646145,18546689,19464193,21495809,25165825,27525121,28377089,28442625,32702465,37224449,40304641,40435713,43384833],"primality":[7208961,17694722,23265282,37158913],"possibly":[7208961,23265282,26935297],"ptrs":[7208961,22020102,23265282,30343169],"previously":[2031622,2752514,7208961,9830402,22020097,23265282,24051713,26083333,30277633,37486593,43057153,43122689],"partially":[5242881,28770305,38207489],"produce":[21757953,27983873,32768001],"preparation":[17039361],"precisely":[18612225,31916033],"primes":[22937601],"piece":[21037058,34406402],"projects":[21495811],"prec":[7208964,13238278,23265288,24051718,29491206,32702474],"patterns":[6356993,24313857,33488897],"proven":[13303809,40960001,43188225],"precision":[458754,524289,983042,1310722,1441794,1966082,2490370,2555906,2621441,2686980,3080194,3211266,3735556,3801090,4653058,4784130,4980740,5111810,5242882,5570561,5701634,5898242,6291457,6356994,6422530,7077889,7208967,7667713,8454146,8585218,8650755,8912898,9175042,9371650,9502722,9568258,9895938,10485761,10551298,10813442,11075585,11796482,12124161,12517378,12648450,13238279,13500417,13697025,13828098,14221314,14614531,16187394,16252930,16449538,16515074,16646145,16973826,17235970,17563650,17629185,18612226,18677762,19005442,19136514,19398660,19464195,20119554,20578306,20840450,21037058,21299202,21495809,21757953,22413314,23134210,23265294,24051717,24379394,24707074,25100290,25362434,26214404,26411010,26542082,26804226,26869762,27394050,27721734,27787266,28311554,28377091,28508161,28639234,28770306,29491206,29622276,29687810,30146562,30867458,31064066,30998530,31326210,31522818,31653890,31916034,32047106,32112642,32702479,33030146,33161218,33488898,33947650,34275330,34406402,34996226,35323908,35454978,36503554,36569090,36700162,37289986,37486596,37879810,38207490,38404098,38797314,38993922,39124994,39714818,40108033,40173570,40435713,40501250,41156610,41811970,42795010,42860546,43646978],"position":[7208962,11468801,12845057,23265284,24313857,24379394,30867458],"provides":[27525121,37486593,38469633,39321601,41418753],"preliminary":[7208961,17629185,23265282],"performance":[2555905,17629185,21495810],"pointer":[1048577,1114113,1245186,1441794,1703940,2031618,2752513,2883586,3538946,3604481,4325377,4915202,7077889,7208965,8650757,8978434,9240578,9633793,9699329,9830401,10027009,10092546,10747906,11075585,11403265,11534337,11599876,11993090,12124162,13041665,13762561,14680066,14942209,15794180,15859714,15925250,16056321,16646145,17104897,17760259,18546691,18612225,18874369,19464193,20381697,21102594,22085633,23265290,23396356,24772610,25165825,25821185,25886724,26083329,26935297,27197442,27394050,27525124,27656198,28377093,29753345,29884418,30277633,30998530,31916033,33095686,33882114,34930689,36241415,36503553,37289986,37486597,37748740,37945348,38535169,38666242,39387142,40239106,40304641,40435715,40828930,41222149,41943041,42401793,42663937,43057153,43122689,43253762,43384833,43646978],"parsed":[3670017,7405569,10092545,14680065,24641537,35520513,41091073],"past":[11468802,12845058,18612225,31916033],"powers":[37355522],"purpose":[4980737,18415617],"produced":[4653058,6422529,7208961,8388609,18939905,23265282,27394049,27983876,30998529,32768004,35454977,37945345,41222145],"problems":[27983873,32768001],"primorial":[7208961,23265282,25624577],"package":[21495810],"perfect":[6488069,7208965,17563652,23265290,26411012,35454977,35717121,37355526],"public":[131074,262147,393219,458755,524291,589826,655363,720899,786434,851970,917507,983043,1048579,1114115,1310723,1441795,1507331,1638403,1703939,1769475,1835011,1900546,1966083,2031619,2097155,2162691,2293763,2359299,2490371,2555907,2621443,2686979,2752515,2818051,2949122,3014659,3080195,3145730,3211267,3276803,3407875,3473411,3670019,3735555,3801091,3866627,4128771,4194307,4259843,4325379,4390914,4521987,4587522,4653059,4718595,4784131,4849667,4915203,4980739,5111811,5177347,5242883,5308419,5373955,5439491,5505027,5570563,5701635,5767170,5898243,6029315,6094851,6160387,6225922,6291459,6356995,6422531,6488067,6553603,6619139,6684675,6750211,6815747,6881283,7012355,7143426,7274499,7340035,7405571,7471107,7536643,7667715,7733250,7864323,7929859,7995394,8060930,8126467,8192003,8257539,8323075,8388611,8454147,8519683,8585219,8650756,8716291,8781826,8847363,8912899,8978435,9043971,9109507,9175043,9306115,9371651,9437187,9502723,9568259,9633795,9699331,9764867,9830403,9895939,9961475,10027011,10092547,10289154,10223618,10354691,10420227,10485763,10551299,10616835,10682371,10747907,10813443,10878979,10944515,11010051,11141123,11206659,11272195,11337731,11468803,11534339,11599875,11665411,11730947,11796483,11862018,11927554,11993091,12058627,12189699,12255235,12320771,12386307,12451843,12517379,12582914,12648451,12713987,12779523,12845059,12910594,12976131,13041667,13107203,13172739,13238275,13303811,13500419,13565955,13631490,13697027,13762563,13828099,13893634,13959171,14090243,14155779,14221315,14286850,14352387,14417923,14548995,14614531,14680067,14745603,14811138,14876675,14942211,15007747,15138819,15204355,15335426,15400963,15466498,15532035,15597571,15663107,15728643,15794179,15925251,15990787,16056323,16121859,16187395,16252931,16318467,16384003,16449539,16515075,16580610,16711683,16777219,16842754,16908291,16973827,17039363,17170435,17235971,17367043,17432578,17563651,17629187,17694723,17760259,17825795,17891330,17956867,18022403,18087939,18153474,18219011,18284547,18350083,18415619,18481155,18546691,18612227,18677763,18743299,18808835,18874371,18939907,19005443,19070978,19136515,19202050,19333122,19398659,19464195,19529731,19595266,19660803,19726339,19791875,19857411,19922947,19988483,20054018,20119555,20185091,20316163,20512770,20578307,20643843,20709378,20774914,20840451,20905987,20971523,21037059,21102595,21168131,21233667,21299203,21364738,21430275,21561347,21626882,21692419,21757955,21823491,21889026,22020099,22085635,22151171,22216707,22282243,22347778,22413315,22478851,22544387,22609923,22675459,22740995,22806531,22937603,23003139,23068675,23134211,23199747,23265283,23330819,23396355,23461891,23527426,23592963,23658499,23724034,23789571,23855106,23920642,23986179,24051715,24117251,24248323,24313859,24379395,24510467,24576003,24641539,24707075,24772611,24838146,24903683,24969219,25034755,25100291,25231363,25362435,25427971,25559043,25624579,25690115,25755651,25821187,25886723,25952258,26017795,26083331,26148866,26214403,26279939,26345475,26411011,26476547,26542083,26607619,26673154,26738691,26804227,26869763,26935299,27066371,27197443,27262979,27328515,27394051,27459587,27525123,27590658,27656195,27721731,27787267,27852803,27918339,27983875,28049411,28114947,28180482,28311555,28377092,28508163,28573699,28639235,28704770,28770307,28835842,28901379,28966915,29032451,29097987,29163523,29229059,29294595,29360131,29425667,29491203,29556739,29622275,29687811,29753347,29818883,29949955,30015491,30081026,30146563,30212099,30277635,30408706,30474243,30605315,30670851,30736387,30801923,30867459,30932995,30998531,31064067,31129603,31195138,31260675,31326211,31391747,31457283,31522819,31588355,31653891,31784963,31916035,31981571,32047107,32112643,32178179,32243715,32309251,32374787,32440323,32505859,32571394,32636931,32702467,32768003,32833538,32899074,33030147,33095683,33161219,33226755,33292291,33357827,33488899,33554435,33619971,33685506,33751043,33816578,33882115,33947651,34013186,34078723,34144259,34209795,34275331,34340867,34406403,34471939,34537475,34603010,34668546,34734083,34799619,34865155,34930691,34996227,35127298,35192835,35258371,35323907,35389443,35454979,35520515,35586051,35651586,35717123,35782658,35848194,35913731,35979267,36044803,36110339,36175875,36241411,36306947,36372483,36438019,36503555,36569091,36634627,36700163,36765699,36896771,36962307,37027842,37093379,37158915,37289987,37355523,37421059,37552131,37617667,37683203,37748739,37879811,37945347,38010883,38076419,38141955,38207491,38273027,38338563,38404099,38469635,38535171,38600707,38731779,38797315,38862851,38928387,38993923,39059459,39124995,39190531,39321603,39387139,39452674,39518211,39583747,39649283,39714819,39780355,39845890,39911427,39976962,40042498,40108035,40173571,40370178,40435715,40501251,40632323,40697859,40763395,40828931,40894466,40960003,41025539,41091075,41156611,41222147,41287683,41353219,41418755,41484291,41549826,41615363,41680898,41746435,41811971,41877506,41943043,42008579,42074115,42139651,42205187,42270723,42336259,42401795,42467331,42532867,42598403,42663939,42729475,42795011,42860547,42926083,42991619,43057155,43122691,43188227,43253763,43319298,43384835,43450371,43515907,43581443,43646979,43712515,43778051],"path":[1048578,9633794,9699330,10092546,11534338,14680066,21102594,22085634,26935298,34930690,42401793,43253762],"pass":[15794177],"perform":[3211265,3604481,5701633,5898241,7077889,7208970,8650753,11075585,13762561,15794177,16646145,17039361,17694721,18546689,19464193,20119553,20578305,23265300,25165825,26542081,27525121,28377089,28442625,31653889,34275329,36569089,37224449,40304641,41156609,43384833],"permitted":[6422529,8388609,9699329,14745601,18677761,18939905,23330817,25100289,29687809,38993921,40173569],"passing":[8454145,10485761,12517377,22937601,26542081,30801921],"purposes":[22937601,24313857,32702465],"positions":[7208961,14090241,23265282,34996225],"portability":[27983873,32768001],"probability":[17694721,37158913],"practical":[22937601],"padded":[3080193,16318465,21299201,31260673,34734081],"period":[7471105],"platform":[21495810],"product":[7208965,8257538,15400966,18677761,18743298,23134210,23265290,25362434,25624577,32112642,40173569,40632322],"puts":[21495809],"probabilistic":[7208961,17694722,22937601,23265282,37158915],"portable":[1048577],"placed":[24313857],"print":[7208965,8388611,14745603,15728643,18939907,21102595,22216707,23265290,23330819,37945346,41222146,42401793,43253763],"prefix":[21495810],"places":[20185089],"part":[6619137,7208966,7340033,23265292,25231361,27328513,35717121,37486593,37617665,38797313,39059457,40501250],"pointers":[7208961,22020097,23265282,23986177],"provided":[23134209,25362433,31064065,32112641,33947649],"positive":[262145,655361,2818049,4194305,7208962,9437185,10878977,10944513,11206657,13828097,16187393,16449537,16777217,16973825,23265284,25624577,30212097,30801921,31784961,32440321,33161217,34537473,36306945,37158913,38404097,40763393,41025537,41353217,41484289],"packages":[21495810],"performs":[17694721],"page":[21495809],"prepare":[16056322],"prime":[7208963,17694727,22937602,23265286,25624577,31784961,37158914],"printed":[42401795],"point":[458755,589825,720898,983044,1966082,2686978,3735556,4259842,4784132,5111812,7077889,8454148,8650757,9043972,9175046,9502724,9568260,9633793,9895940,10027009,10485762,10813442,11796482,12124162,12517382,12648450,13238274,13828098,14221316,14942209,16056321,16187394,16449538,17235970,19005446,19398658,20185091,23265281,26214402,26804228,27394053,27721730,28639236,28901380,29229062,29491202,29622274,30998533,31326214,32702466,33030148,33161220,35258370,35323906,36438018,36503554,36700164,37289986,37486594,37879812,38404098,38797314,38862850,39124998,39518210,40960002,41353220,42401793,42663937,42795012],"possible":[4653057,11468801,12845057,14090241,14942209,17039361,22282241,25100289,27394049,30998529,38469633,41418753,42532865,42663938],"plus":[4653057,18612225,23134209,25100289,25362433,31916033],"prefixed":[42401793],"previous":[21037057,21495809,34406401,38469633,41418753],"precisions":[28901377,32702466],"properties":[4063234,8650753,12124162,14024706,15859714,18546689,19464193,23265281,27525121,28377089,29884418,30474241,30539778]}