Math.Gmp.Native/docs/fti/FTI_112.json
2017-11-05 10:17:46 -05:00

1 line
17 KiB
JSON

{"parameters":[196609,327681,393217,458753,524289,655361,786433,917505,1048577,1114113,1179649,1245185,1310721,1376257,1441793,1638401,1703937,1769473,1900545,1966081,2097153,2359297,2424833,2490369,2621441,2686977,2752513,2818049,2883585,2949121,3145729,3276801,3342337,3538945,3670017,3735553,3801089,3866625,3932161,4063233,4194305,4325377,4521985,4587521,4653057,4718593,4784129,4980737,5046273,5111809,5242881,5308417,5373953,5505025,5636097,5701633,5832705,5898241,5963777,6029313,6094849,6160385,6225921,6291457,6422529,6619137,6750209,6815745,6881281,6946817,7012353,7077889,7143425,7208961,7274497,7340033,7405569,7471105,7536641,7602177,7667713,7733249,7798785,7864321,7929857,7995393,8060929,8126465,8192001,8257537,8323073,8388609,8454145,8585217,8650753,8716289,8781825,8847361,8912897,8978433,9043969,9175041,9240577,9306113,9371649,9764865,9830401,9895937,9961473,10027009,10092545,10223617,10354689,10420225,10485761,10551297,10616833,10682369,10747905,10813441,10878977,10944513,11010049,11075585,11141121,11206657,11272193,11337729,11403265,11665409,11730945,11796481,11927553,11993089,12124161,12189697,12255233,12320769,12386305,12517377,12582913,12779521,12845057,12910593,12976129,13041665,13107201,13303809,13369345,13434881,13500417,13565953,13631489,13697025,13762561,13828097,13893633,13959169,14090241,14155777,14221313,14352385,14417921,14548993,14614529,14680065,14745601,14811137,14876673,15007745,15073281,15138817,15204353,15269889,15335425,15400961,15466497,15597569,15663105,15728641,15794177,15859713,15925249,15990785,16056321,16121857,16187393,16252929,16318465,16384001,16449537,16515073,16580609,16646145,16777217,16842753,16908289,16973825,17104897,17170433,17235969,17301505,17367041,17432577,17629185,17694721,17760257,17825793,17891329,17956865,18022401,18087937,18153473,18219009,18350081,18415617,18546689,18677761,18743297,18808833,18874369,18939905,19005441,19070977,19136513,19267585,19398657,19464193,19529729,19595265,19660801,19726337,19791873,19857409,19922945,20054017,20119553,20316161,20578305,20643841,20709377,20774913,20840449,20905985,20971521,21102593,21168129,21233665,21299201,21364737,21430273,21495809,21626881,21692417,21757953,21889025,21954561,22020097,22085633,22151169,22216705,22282241,22347777,22413313,22478849,22675457,22740993,22806529,22937601,23003137,23134209,23199745,23330817,23396353,23461889,23527425,23592961,23658497,23724033,23789569,23855105,23920641,23986177,24051713,24117249,24182785,24313857,24379393,24444929,24510465,24576001,24641537,24707073,24772609,24838145,24903681,24969217,25034753,25100289,25165825,25231361,25296897,25427969,25493505,25559041,25624577,25690113,25755649,25821185,25886721,25952257,26017793,26083329,26148865,26279937,26345473,26411009,26476545,26738689,26804225,26869761,26935297,27000833,27066370,27197441,27262977,27328513,27394049,27459585,27525121,27590657,27656193,27721729,27787265,27852801,27983873,28114945,28180481,28246017,28311553,28377089,28442625,28573697,28639233,28704769,28770305,28835841,28901377,28966913,29032449,29097985,29163521,29229057,29360129,29425665,29491201,29556737,29687809,29753345,29818881,29884417,29949953,30015489,30081025,30146561,30277633,30343169,30408705,30474241,30539777,30605313,30670849,30736385,30801921,30867457,30932993,30998529,31064065,31195137,31260673,31326209,31391745,31457281,31522817,31653889,31719425,31784961,31916033,31981569,32047105,32112641,32243713,32309249,32374785,32440321,32636930,32702465,32768001,32833537,32899073,32964609,33095681,33161217,33226753,33292289,33423361,33488897,33554433,33619969,33685505,33816577,33947649,34013185,34078721,34209793,34275329,34340865,34406401,34471937,34537473,34603009,34668545,34799617,34865153,34930689,34996225,35061761,35127297,35323905,35389441,35454977,35520513,35586049,35651585,35717121,35782657,35848193,35913729,35979265,36110337,36175873,36306945,36372481,36503553,36569089,36634625,36700161,36765697,36831233,36896769,36962305,37027841,37093377,37158913,37224449,37289985,37421057,37486593,37552129,37617665,37683201,37748737,37814273,37879809,37945345,38010881,38076417,38141953,38207489,38273025,38338561,38404097,38469633,38535169,38600705,38666241,38797313,38862849,38928385,39059457,39190529,39256065,39321601,39387137,39452673,39518209,39583745,39649281,39780353,39976961,40042497,40108033,40173569,40239105,40304641,40370177,40435713,40566785,40697857,40763393,40828929,40960001,41025537,41222145,41287681,41353217],"project":[20381701],"population":[6488065,14483457,20840450],"params":[3932161,7405569,7733249,8454145,9371649,13697025,14614529,15073281,15859713,16121857,18874369,21430273,23527425,23658497,25427969,30408705,31391745,34668545,35323905,37552129,38928385,40304641,40763393],"positiveinfinity":[524289,32702465],"protection":[15859713,21430273],"preceded":[6488065,14483457,26148865],"preserved":[4980737,31522817],"ptr":[1245196,1638409,3604484,3866630,3932170,5505025,6488070,7733258,7995398,8192008,8454162,10354697,10420233,11403277,11534338,11862019,13631497,13697042,14483462,14614529,15073289,15466497,15728642,16121857,18350091,18939912,21430274,21823492,23068678,23658506,24838146,25034759,26148875,26935302,28049411,30408720,30932998,32047113,33947650,34537478,36044803,37552138,37814280,39387142,39452681,39649289,40304649,40763402],"paramarray":[3932161,7405569,7733249,8454145,9371649,13697025,14614529,15073281,15859713,16121857,18874369,21430273,23527425,23658497,25427969,30408705,31391745,34668545,35323905,37552129,38928385,40304641,40763393],"probably":[13565954,36962305,38207489],"pathname":[1245192,8454150,10354696,10420232,11403272,13697030,15073288,18350088,26148872,37814276,39452680,40304648],"pointed":[3866625,6488069,7995393,11534337,11862017,13631489,14483461,18874369,18939905,21823493,30932993,34537473,36044801,39387137],"power":[5046273,6488066,7208961,12517377,12779521,14483458,18153476,18219009,21233665,24576001,26279937,27394049,30867457,33161220,35389441,39976961,41353217],"preferred":[9043969,22478849,31522817],"performed":[21626881,29753345],"parameter":[1638401,1900545,2883585,3276801,3866625,6619137,6750211,13369345,15663105,18022401,22347778,24707073,26017793,32964610,33685505,34013185,35717121,36569089],"produces":[6029314,6488066,14483458,27852802],"passes":[38207491],"providing":[10354689,20381697,24117249,37814273],"property":[3014660,3473412,9437187,11468804,15532036,18284548,20381697,22544388,26214404,27983875,36241411,37355524,40501252],"passed":[1638401,1900545,2883585,3276801,3866625,15663105,17235969,18022401,20381697,21626881,26017793,29753345,34013185,36569089],"pacman":[20381699],"printable":[5046273],"particular":[5767169,6619137,9502721,9699329,12648449,13631489,14942209,17039361,20381697,23265281,24248321,26673153,28049409,28901377,37355521,38731777,38993921,40894465],"primality":[6488065,13565954,14483457,38207489],"possibly":[6488065,14483457,26148865],"ptrs":[6488065,14483457,18874374,21823489],"previously":[1638406,3866626,6488065,7995394,14483457,18874369,25034757,28442625,30932993,34537473,36044801,39387137],"partially":[4718593,24510465,40173569],"produce":[18284545,32636929],"preparation":[14876673],"precisely":[18939905],"primes":[20971521],"piece":[22347778,32964610],"projects":[20381699],"prec":[6488068,10551302,14483460,25755654,28442630,28901386],"patterns":[6029313,23855105,27852801],"proven":[13369345,34996225,35717121],"precision":[196610,393218,589826,1048577,1703937,1900546,2097154,2162689,2490372,2555905,2621442,2818050,2883586,3276802,3342340,3997697,4194306,4456452,4653058,4718594,5046274,5505026,5767169,5832706,6029314,6094850,6488071,6684673,7864322,7929858,8060930,8257538,8323074,8388609,8978434,9043970,9371650,9502724,9699329,10551303,10682370,11337730,11599873,11665410,11730946,11796482,12189698,12255234,12386306,12451841,13107202,13434884,14090241,14221314,14483463,14942211,15007746,15204355,15466498,15663105,15728642,16842754,17039361,17170434,17367042,17825794,18022402,18153474,18284545,18415618,18939906,19595266,19857410,20381697,21102594,21692420,22347778,22478850,23396354,23789570,24510466,24641542,24772610,24969218,25231362,25296898,25755654,25821186,26017794,26083330,26542082,26673155,27000834,27197442,27394050,27459586,27721730,27852802,28442629,28573698,28901391,29163522,29229058,29360130,29491202,30146562,30998530,31260674,31457282,31719425,32047106,32178178,32243716,32964610,33095682,33947650,34013186,34078722,34144258,34275330,34471937,36044804,36569090,36831234,37224450,37355521,37421058,37879810,37945346,38404100,38600706,39518210,39649282,39780354,40173570,40828930,41353218],"position":[6488066,10092545,14155777,14483458,23396354,23855105,27721730],"provides":[23265281,27787265,33488897,36044801,38862849],"preliminary":[6488065,15663105,14483457],"performance":[2883585,15663105,20381698],"pointer":[589826,1245185,1507330,1638402,3604482,3866625,4128769,5767169,6488069,7798786,7995393,8454146,8650754,9502722,9568258,9699329,10158082,10354689,10420225,11010052,11403265,11599873,12648449,13631492,13697026,14417921,14483461,14942209,15073282,15990787,16711681,17039361,17235969,18350081,18939905,21037057,21889028,22872065,23068673,23134212,23265281,25034753,26148865,26542082,26673154,26935297,30408708,30932993,32047106,32178178,33751041,34537473,36044805,37355523,37552133,37814273,39059458,39321601,39387137,39452673,39649281,39714819,39911426,40304642,40370178,41418753],"parsed":[3932161,7733249,8454145,13697025,23658497,36372481,40763393],"past":[10092546,14155778,18939905],"powers":[33161218],"purpose":[4456449,20578305],"produced":[5046274,5505025,6488065,7405569,14483457,14614529,30408705,32047105,32636932,37421057,37552129],"problems":[32636929],"primorial":[6488065,14483457,24903681],"perfect":[5963781,6488069,14483461,18153476,24969220,33161222,35454977,37421057],"public":[196611,327682,393219,458755,524291,589827,655363,786434,917507,983043,1048579,1114115,1179651,1245187,1310723,1376258,1441794,1507331,1638403,1703939,1769475,1900547,1966082,2097155,2162691,2228227,2359299,2424835,2490371,2555907,2621443,2686979,2752515,2818051,2883587,2949123,3014659,3080195,3145731,3276803,3342339,3473411,3538947,3670018,3735555,3801091,3866627,3932163,3997699,4063234,4128771,4194307,4259843,4325379,4456451,4521987,4587523,4653059,4718595,4784130,4980739,5046275,5111811,5177347,5242883,5308419,5373955,5505027,5636098,5701635,5832707,5898243,5963779,6029315,6094851,6160387,6225923,6291458,6356995,6422531,6619139,6684675,6750211,6815747,6881282,6946819,7012354,7077890,7143427,7208963,7274498,7340035,7405571,7471107,7536643,7602179,7667715,7733251,7798787,7864323,7929859,7995395,8060931,8126467,8192003,8257539,8323075,8388611,8454147,8585218,8650755,8716290,8781827,8847363,8912899,8978435,9043971,9109507,9175043,9240579,9306115,9371651,9437187,9502724,9568259,9633795,9764867,9830403,9895938,9961474,10027011,10092547,10158083,10223618,10289155,10354691,10420227,10485763,10551299,10616835,10682371,10747907,10813443,10878979,10944515,11010051,11075586,11141123,11206659,11272195,11337731,11403267,11468803,11534339,11665411,11730947,11796483,11927555,11993091,12124163,12189699,12255235,12320770,12386307,12451843,12517379,12582915,12648451,12779523,12845059,12910595,12976131,13041667,13107203,13238275,13303811,13369347,13434883,13500418,13565955,13631491,13697027,13762562,13828099,13893635,13959171,14024707,14090243,14155779,14221315,14352387,14417923,14548995,14483459,14614531,14680067,14745603,14811138,14876675,14942211,15007747,15073283,15138818,15204355,15269890,15335426,15400962,15466499,15532035,15597571,15663107,15728643,15794178,15859715,15925250,15990787,16056322,16121859,16187395,16252930,16318467,16384003,16449538,16515074,16580611,16646147,16777219,16842755,16908290,16973826,17104899,17170435,17235971,17301507,17367043,17432579,17629186,17760258,17694723,17825795,17891331,17956867,18022403,18087938,18153475,18219011,18284547,18350083,18415619,18481155,18546690,18612227,18677763,18743298,18808835,18874371,18939907,19005442,19070979,19136515,19202051,19267587,19333123,19398659,19464194,19529731,19595267,19660803,19726339,19791875,19857411,19922947,19988483,20054018,20119554,20316163,20578307,20643843,20709378,20774915,20840451,20905987,20971523,21102595,21168131,21233667,21299202,21364739,21430275,21495811,21626883,21692419,21757955,21889027,21954563,22020098,22085635,22151171,22216706,22282243,22347779,22413315,22478851,22544387,22609923,22675458,22740995,22806531,22937603,23003139,23068675,23134211,23199747,23265283,23330818,23396355,23461891,23527427,23592962,23658499,23724035,23789571,23855107,23920643,23986179,24051715,24117251,24182786,24313858,24379394,24444930,24510467,24576003,24641539,24707075,24772611,24838147,24903683,24969219,25034755,25100291,25165826,25231363,25296899,25362435,25427971,25493507,25559043,25624579,25690115,25755651,25821187,25886723,25952259,26017795,26083331,26148867,26214403,26279939,26345475,26411011,26476546,26542083,26673156,26738690,26804226,26869763,26935299,27000835,27066371,27197443,27262979,27328514,27394051,27459587,27525123,27590659,27656195,27721731,27787267,27852803,27983875,28114946,28180483,28246019,28311555,28377091,28442627,28573699,28639234,28704771,28770307,28835843,28901379,28966914,29032451,29097987,29163523,29229059,29294595,29360131,29425667,29491203,29556739,29687811,29753347,29818883,29884419,29949954,30015491,30081027,30146563,30212099,30277635,30343171,30408707,30474243,30539779,30605315,30670851,30736387,30801923,30867459,30932995,30998531,31064067,31129603,31195138,31260675,31326211,31391747,31457283,31522819,31653891,31719427,31784963,31916035,31981571,32047107,32112643,32178179,32243715,32309251,32374786,32440323,32636931,32702467,32768002,32833538,32899074,32964611,33095683,33161219,33226755,33292291,33423363,33488899,33554435,33619971,33685507,33816579,33947651,34013187,34078723,34144259,34209795,34275331,34340867,34406403,34471939,34537475,34603011,34668547,34734083,34799618,34865155,34930690,34996227,35061763,35127299,35192835,35258371,35323907,35389443,35454979,35520515,35586051,35651587,35717123,35782659,35848195,35913731,35979266,36110339,36175874,36241411,36306947,36372483,36438019,36503555,36569091,36634627,36700163,36765699,36831235,36896770,36962307,37027843,37093378,37158914,37224451,37289987,37355523,37421059,37486595,37552131,37617667,37683202,37748739,37814275,37879811,37945347,38010882,38076419,38141955,38207491,38273026,38338563,38404099,38469635,38535171,38600707,38666243,38797315,38862851,38928387,39059459,39190531,39256067,39321603,39387139,39452675,39518211,39583746,39649283,39714819,39780355,39976963,40042498,40108035,40173571,40239107,40304643,40370179,40435715,40501251,40566787,40632323,40697859,40763395,40828931,40894467,40960003,41025539,41091075,41156611,41222146,41287683,41353219,41418755],"path":[1245186,8454146,10354690,10420226,11403266,13697026,15073282,18350082,26148866,37814273,39452674,40304642],"pass":[13631489],"perform":[2621441,4194305,5767169,5832705,6488074,9502721,9699329,12648449,13565953,13631489,14483466,14876673,14942209,17039361,17367041,18415617,23265281,24248321,26673153,28049409,28573697,29163521,30998529,34275329,38731777,38993921,39780353,40894465],"permitted":[5505025,7405569,10420225,14614529,15859713,17825793,21430273,25821185,30146561,37945345,38600705],"passing":[7864321,8388609,11665409,20971521,27066369,29163521],"purposes":[20971521,23855105,28901377],"positions":[6488065,12582913,14483457,34078721],"portability":[32636929],"probability":[13565953,38207489],"practical":[20971521],"padded":[1900545,13828097,18022401,30670849,33619969],"period":[6750209],"platform":[20381698],"product":[6488069,8126466,13959174,14483461,17104898,17825793,19857410,23789570,24903681,27394050,37945345,38797314],"puts":[20381697],"probabilistic":[6488065,13565954,14483457,20971521,38207491],"portable":[1245185],"placed":[23855105],"print":[6488069,7405571,14483461,14614531,15073283,15859715,16121859,21430275,23527427,30408706,37552130,37814273,40304643],"prefix":[20381698],"places":[24117249],"part":[5373953,6488070,7208961,14483462,24838145,25624577,33947649,34144258,34406401,35454977,36044801,36962305],"pointers":[6488065,9175041,14483457,18874369],"provided":[19857409,23789569,27394049,29360129,29491201],"positive":[524289,917505,1114113,5242881,6488066,6815745,9240577,9306113,10878977,12189697,12255233,13041665,13107201,14221313,14483458,24903681,27066369,29687809,29818881,31457281,32702465,35782657,36306945,36831233,37748737,38207489,40435713,40501249,41287681],"packages":[20381698],"performs":[13565953],"page":[20381697],"prepare":[17235970],"prime":[6488067,13565959,14483459,20971522,24903681,29687809,38207490],"printed":[37814275],"point":[196612,1310722,1441793,2162689,2490370,2818050,3342340,4587522,4653060,5767169,6094852,7864324,7929862,8257540,8323076,8388610,8847364,9371651,9502725,10354689,10551298,10682370,11337732,11599873,11665414,11730946,11796482,12189700,12255234,12386308,13434882,14221314,14417921,15728642,17235969,19595270,21692418,24117251,24641538,25231364,25296900,25755650,26542082,26869764,27000836,28901378,30015490,31260678,31457284,32047108,32243714,33095684,33947650,34734082,34996226,35323910,36044802,36634626,36831234,37224452,37486594,37814273,38404098,39321601,39518214,39649282,40501252,40828932],"possible":[5046273,10092545,12582913,14155777,14417921,14876673,20840449,25821185,27787265,32047105,33488897,39321602,40108033],"plus":[5046273,18939905,19857409,23789569,25821185],"prefixed":[37814273],"previous":[20381697,22347777,27787265,32964609,33488897],"precisions":[26869761,28901378],"properties":[2293762,9502721,11599874,12058626,12648449,14483457,14942209,16711682,23265281,26607618,26673153,28377089,33751042]}