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

1 line
14 KiB
JSON

{"useful":[10027009,12255233,19398657,34799617,35586049,36306945,39780353,40894465],"unspecified":[25624577],"unlike":[3997697,6553601,8323073,9764865,11927553,16908289,19595265,22609921,23134209,34209793,36569089],"uint64":[196612,589828,3866628,6750210,7667713,8781828,10158084,11468804,11796484,13565954,13631489,16252932,16449540,16646146,20119554,21299204,21561348,21626884,22675458,23330820,23461890,25362434,27262980,28246020,28770308,29032452,30801922,31129604,31260676,31588356,32768004,33685508,38535172,39059459,39321604],"upper":[655361,13893634,18022402,18284546,22609922,24248322,30212098,37027842],"unsigned":[655362,917506,1114114,1376257,1441793,1835009,2031617,3080193,3342337,3866627,4128769,4718593,4915201,5373954,6750210,7536641,7864321,8454145,8585217,8781825,9502721,9699329,9764866,9895938,10158081,10354690,10878977,11075585,11403266,11534340,11599873,11796481,12320769,12648457,12779521,13238273,13565953,14745601,15007745,15204353,15269890,15663105,15859713,15925250,16187393,16252929,16449537,16515073,16908289,17104897,17301505,17825793,17956874,18481153,18612225,18808833,19136513,19267585,19464194,20119554,20185089,21037057,21168129,21233665,21364737,21495812,21561345,21692417,21889027,22085633,22216705,22675457,22740993,22937601,23199745,23461898,23724033,23986178,24182785,24969217,25231361,25362434,25427969,25493505,25690115,25952258,26214401,26279937,26345474,26738690,26869761,27197441,27262977,27787265,28180482,28704769,29032449,29163521,29294593,29425665,29491201,29884417,30277633,30408706,30670849,31129601,31260673,31522817,31653889,32440321,32636929,33095681,34078721,34144257,34406402,34537473,35192833,35258369,35651585,35979265,36372482,37093377,37683201,37879809,38207490,38862849,39059457,39124993,39321601,39387137,40108033,41091073,41418753],"unaffected":[24641537],"usages":[39845889],"using":[1638401,2293761,5832705,12648449,13893633,14548993,17956865,23461891,23920641,30212097,30932993,34144257,36962305,38993921,40173569],"undefined":[262145,524289,2293761,4849665,7864321,9502721,12517377,13172737,16842754,28180481,28639233,31064065,36110338,38600705],"uint":[655363,917506,983043,1114114,1245187,1376257,1441793,1703937,1835009,2031617,2424836,2555906,3080193,3211265,3997698,4259844,4849667,4915201,5242883,5373955,6488065,6619140,6750209,7143428,7536641,7864321,7995394,8060932,8454145,8585217,8716289,9502721,9699329,9764866,9895938,10354691,10878977,11075585,11403266,11534337,11599873,12779521,12910594,13238273,14155777,14548993,14614531,15007745,15204353,15269890,15532033,15663105,15859713,15925249,16777219,16842756,16908289,16973828,17170433,17432580,17563649,17694724,17760257,17825793,18481153,18808833,19136513,19202051,19398659,19464194,20119553,20185089,20316163,20381702,21037057,21168129,21364737,21495811,21757955,21889026,22020098,22085633,22216705,22740993,22937601,23134210,23199745,23724033,23920641,23986178,24969217,25362433,25493505,25559043,25755649,25821185,25952258,26214401,26279937,26345474,26476547,26542084,26673158,26738690,26869764,26935300,27000833,27525122,27721732,28180481,28442625,29163521,29294593,29425665,29491201,29884417,29949954,30277633,30408705,30474243,30670849,30867459,31195137,31457284,31522817,31653892,31981572,32178180,32505860,32636929,32702465,33095681,33488900,33882114,34078721,34144257,34406401,34799619,35192833,35258369,36175877,36372482,36962308,37093377,37289988,37683201,37879809,38076419,38207490,38862849,39124993,39387137,39452676,39845891,40108033,40960001,41222145,41418753],"user":[7864321,9502721,12517377],"updates":[10092545,12648449,17956865,23461890],"used":[720897,1310721,1835009,2883585,3735553,4456451,5046273,5439490,5963777,6946817,8323073,8454146,9306113,10092545,11534337,11862017,12124161,12582913,12648449,13041665,13828097,13893635,17039361,17367041,17956865,18022403,18284545,19529729,19595267,19791873,20905985,22609921,23461890,24117249,24248321,24510465,25690113,29229057,29884419,30212099,30932993,33030145,33554435,36044801,36438017,37027843,37617665,38273025,38338561,39124993],"usr":[23461890],"ushort":[3342338,4128770,12320770,14745602,15925250,16515074,18612226,21692418,24182786,25231362,28704770,30408706,32440322],"uncompressed":[23461889],"unzip":[23461889],"unpredictable":[36438017],"unmanaged":[262146,327682,458754,524289,720898,917506,983042,1114114,1179650,1245186,1376257,1441794,1507332,1703938,1835010,2031618,2293762,2424834,2490370,2555906,2686978,2818050,3080194,3145730,3211266,3276802,3538946,3670018,3735554,3932162,3997698,4259842,4587521,4653058,4784130,4849666,4915202,5046274,5111810,5242882,5373954,5439490,5505026,5570561,5636098,5701634,5963778,6291457,6356994,6488066,6553602,6619138,6750210,6815746,6946818,7077892,7143426,7274498,7536642,7667717,7733250,7864322,7929858,7995394,8060930,8126466,8257537,8323074,8388610,8519682,8585218,8650754,8716290,8978434,9043970,9175042,9306114,9371650,9502721,9568258,9699330,9764866,9895938,10354690,10420226,10485762,10682370,10747905,10878978,10944514,11075586,11141122,11272194,11337730,11403266,11534338,11599874,11665410,11730946,11862018,11927554,12058626,12124162,12189698,12517378,12582914,12779522,12910594,13041666,13172738,13238274,13369346,13631494,13697026,13762562,13828098,13893634,13959170,14024706,14090242,14155778,14286850,14417922,14548994,14614530,14876674,14942210,15007746,15073282,15138820,15269890,15335426,15532034,15597569,15663106,15794180,15925250,15990786,16056322,16318466,16515074,16711682,16777218,16842753,16908290,16973826,17039362,17170434,17235969,17367042,17432578,17563650,17629186,17694722,17760258,17825794,18022402,18284546,18743298,18874370,19136514,19202050,19333122,19398658,19464194,19595266,19726338,19791874,19922947,19988481,20119554,20185090,20250626,20316162,20381698,20512770,20578306,20709378,20905986,20971522,21037058,21168130,21364738,21757954,21823490,21889026,21954562,22020098,22085634,22151170,22216706,22282244,22347778,22413314,22609922,22806530,22937602,23003138,23134210,23199746,23396354,23527426,23724034,23789570,23855106,23920642,23986178,24117250,24248322,24313858,24510466,24707074,24772610,24838145,24903682,24969218,25165826,25296898,25362434,25493506,25559042,25624578,25690114,25755650,25821186,25952258,26148866,26214402,26279938,26345474,26476546,26542082,26673154,26738690,26869762,26935298,27000834,27066370,27394050,27459586,27525122,27590658,27721730,27918338,28377090,28442626,28835842,28966914,29097986,29229058,29294594,29425666,29491202,29687810,29949954,30015490,30081026,30212098,30277634,30408706,30474242,30736386,30867458,30932994,30998530,31064066,31195138,31326210,31391746,31457282,31522818,31653890,31784962,31916034,31981570,32047106,32112642,32178178,32505858,32702466,32899074,32964610,33095682,33488898,33816578,33882114,34144258,34209798,34275330,34406402,34537474,34603011,34734082,34799618,34865154,35127298,35192834,35258370,35323906,35454978,35520514,35913730,36044802,36110338,36175874,36372482,36438018,36503554,36569094,36831234,36896770,36962306,37027841,37093378,37158914,37224450,37289986,37421058,37486594,37617666,37814274,37945346,38010882,38076418,38207490,38273025,38600706,38731778,38797314,38993922,39059458,39124994,39256066,39518210,39452674,39583747,39649282,39714818,39780354,39845890,39976962,40042498,40173570,40304642,40370178,40435714,40501250,40697858,40828930,40960002,41156610,41222146,41287681,41418754],"unless":[524289,1310721,2293761,23461889],"ultimately":[19333121],"uniformly":[655361,1703937,12648452,17563649,17891329,17956868,21495809,23461892,30343169],"uniquely":[41156609],"unmodified":[12648449,17956865,23461889,36962305],"unchanged":[4915201,36438017],"ulong":[6750210,8781826,10158082,11796482,13565954,14548994,16252930,16449538,17432578,20119554,21561346,22675458,25362434,27262978,29032450,31129602,31260674,39059458,41418754],"uint16":[196610,589826,2752514,3342340,3866628,4128772,4980738,7667713,11468804,12320772,13631489,14745604,16515075,16646146,18612228,21299204,21626884,21692420,23330818,24182788,25231364,28246020,28704772,28770308,30801922,31588354,31850498,32440324,32768004,33685508,35061762,38535172,39321604],"uniform":[12648449,17956865,23461889,24576001],"uses":[22151169],"uintsperlimb":[27197444],"unique":[8519682,13369346,16318466,36503554],"unused":[3014657,28639233,30932993],"underflow":[19726337,40828929],"unpredictability":[29884417,33554433],"uint32":[196610,262146,327682,589828,655365,720899,917509,1114119,1376259,1441794,1835012,2031621,2490371,2818051,3080197,3145729,3276801,3538945,3866628,4653057,4980738,5111809,5177346,5636098,5701634,6094851,6553602,6750213,6815746,7274498,7536643,7667713,7733249,7864325,7929858,8060929,8126465,8454146,8388612,8585221,8716290,9043969,9371651,9502725,9568257,9699334,9764868,9830402,9895941,10682369,10878978,11075587,11141122,11272193,11403271,11468804,11534338,11599875,11665410,11927553,12058625,12189697,12517380,12648449,12779522,13172737,13238276,13303809,13631489,13697025,13762561,14876674,15007746,15073281,15204354,15269894,15335428,15400962,15663106,15859716,15990787,16646148,16908290,17367043,17825794,17956865,18284545,18350082,18481156,18808836,18874372,19136514,19464199,19791875,20054017,20119557,20185093,20250628,20512772,20578308,20971521,21037061,21168133,21299204,21364738,21495813,21626884,21823489,21889028,22085634,22216707,22413313,22609921,22740995,22937602,23068673,23199749,23330820,23461891,23527427,23724037,23789569,23855108,23986181,24313860,24707076,24772612,24903683,24969218,25165827,25296898,25362437,25493507,25755650,25952263,26214405,26279939,26345478,26738695,26869763,27918340,28180482,28246020,28377091,28573698,28770308,28835841,29163524,29229059,29294594,29425668,29491202,29687809,29884418,30081025,30277638,30474241,30670852,30736388,30998530,31064066,31195138,31326209,31391748,31522820,31588354,31653891,31916035,32047105,32112641,32309250,32636932,32768004,32964612,33095683,33554433,33685508,33882114,34078724,34144261,34471938,34734083,34865153,35061762,35127298,35192836,35258373,35454977,35520513,35848193,35913729,36372487,36831233,37093379,37224452,37486593,37683204,37879811,37945346,38207495,38273027,38338562,38535172,38731777,38797314,38862852,39124996,39256065,39321604,39387140,39518212,39649284,39714817,39911425,40042497,40108034,40173571,40304641,40370177,41156609],"unit":[327681,458753,524289,786434,983041,1245185,1441793,1703937,2162690,2293761,2359297,2424833,2555905,2818049,2883585,3080193,3145729,3276801,3538945,3670017,3735553,3801090,4063234,4259841,4456449,4653057,4784130,4849665,5046273,5111809,5177345,5636097,5701633,5832705,6029313,6094849,6291457,6619137,7012353,7208961,7733249,7864321,7929857,7995393,8126465,8388609,8454145,8585217,8978433,9043969,9109505,9306113,9502721,9568257,9699329,9830401,9895937,10092545,10420225,10682369,10878977,11075585,11272193,11337729,11599873,11730945,12058625,12124161,12255233,12517377,12779521,12845057,13107202,13303809,13828097,13959169,14090241,14286849,14876673,15007745,15073281,15269889,15335425,15400961,15990785,16056321,16777217,16711681,17039361,17563649,17694721,17825793,17891329,18087938,18219010,18350081,18546690,18874369,19005441,19070978,19136513,19333121,20054017,20250625,20316161,20512769,20578305,20840449,20905985,20971521,21037057,21364737,21430274,21823489,22020097,22085633,22151169,22216705,22413313,22740993,22937601,23003137,23068673,23199745,23396353,23527425,23724033,23789569,23855105,23920641,23986177,24313857,24576001,24641537,24707073,24772609,24903681,24969217,25165825,25493505,25690113,26214401,26279937,26345473,26411009,26673153,26935297,27459585,27918337,27983874,28377089,28573697,28835841,28966913,29097985,29425665,29491201,29687809,29753346,29884417,29949953,30015489,30081025,30277633,30343169,30539777,30736385,30998529,31326209,31391745,31522817,31784961,31981569,32047105,32112641,32309249,32505857,32964609,33226754,33488897,33554433,34144257,34471937,34734081,34996225,35127297,35192833,35258369,35520513,35586049,35782658,35848193,36044801,36306945,36438017,36765697,36831233,36896769,36962305,37093377,37224449,37289985,37355522,37486593,37617665,37879809,38076417,38404098,38731777,39190529,39256065,39452673,39518209,39649281,39976961,40042497,40108033,40173569,40304641,40370177,40435713,40501249,40697857,41025538,41156609],"unconditionally":[39911425],"uinteger":[655363,917506,983043,1114114,1245187,1376257,1441793,1703937,1835009,2031617,2424836,2555906,3080193,3211265,3997698,4259844,4849667,4915201,5242883,5373953,6488065,6619140,6750209,7143428,7536641,7864321,7995394,8060932,8454145,8585217,8716289,9502721,9699329,9764866,9895938,10354689,10878977,11075585,11403266,11534337,11599873,12779521,12910594,13238273,14155777,14548993,14614531,15007745,15204353,15269890,15532033,15663105,15859713,15925249,16777219,16908289,16973828,17170433,17432580,17563649,17694724,17760257,17825793,18481153,18808833,19136513,19202051,19398659,19464194,20119553,20185089,20316163,20381702,21037057,21168129,21364737,21495811,21757955,21889026,22020098,22085633,22216705,22740993,22937601,23134210,23199745,23724033,23920641,23986178,24969217,25362433,25493505,25559043,25755649,25821185,25952258,26214401,26279937,26345474,26476547,26542084,26673158,26738690,26869764,26935300,27000833,27525122,27721732,28180481,28442625,29163521,29294593,29425665,29491201,29884417,29949954,30277633,30408705,30474243,30670849,30867459,31195137,31457284,31522817,31653892,31981572,32178180,32505860,32636929,32702465,33095681,33488900,33882114,34078721,34144257,34406401,34799619,35192833,35258369,36175877,36372482,36962308,37093377,37289988,37683201,37879809,38076419,38207490,38862849,39124993,39387137,39452676,39845891,40108033,40960001,41222145,41418753],"usually":[8257537,25690113,38535169],"upward":[21757953,39845889],"usual":[18284545,22609921,24248321]}