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

1 line
19 KiB
JSON

{"allows":[5177345,8781825,9109505,12451841,13697025,15597569,17104897,23199745,23986177,25493505,29032449,35979265,38731777,39518209],"alignment":[23330817,33882113],"applications":[23068673,29163521,32833537],"avoids":[33882113],"accepted":[6946817,10158081,12189697,18153473,34275329],"applicable":[31326209],"assumed":[786433],"array":[393217,4390914,5701633,7405569,7667713,7864325,8781825,10485766,11206659,11534337,12451847,13565953,13631490,13959171,14483457,15007745,15204353,15335430,15663105,15794177,16121859,16187393,20185089,20578305,21299204,21561348,22151174,22478849,22544385,23134209,23199745,23330818,23986177,27590657,31588353,31719427,31981569,33357825,33619971,33882113,34471937,35061763,35848193,36044801,36306946,37289985,37486593,39321602,39518209,40239107,40304641],"algorithm":[2031617,10485765,12976135,14221315,15335429,18350081,22151173,22216705,23068675,28180481,29163522,29294596,32112641,32833538,38666242,39387139],"according":[22151169,38469633],"abstract":[196609,655361,1966081,2490369,2555905,2818049,3473409,7143425,10485761,11272193,13369345,14024705,17629185,18022401,18808833,19333121,19857409,19988481,20381697,21954561,26083329,28246017,29687809,30408705,32571393,34078721,34930689,35061761,37355521,37945345,39321601],"attacks":[25427969],"automatic":[4259841],"alloc_size":[3211268,6029319,10485761,15335425,22151169,35848193,36175879],"alternatively":[7733249,20774913],"alloc_func_ptr":[3211269,25821189],"affects":[29163521,32833537],"assumes":[23330817],"access":[6225921,10485762,11206657,15335426,21299202,21561346,22151170,25427969,30670849],"ascii":[4390916,25886723],"accordingly":[5439490,10485761,15335425,22151169],"abstractclassattribute":[10485761],"accurate":[31326209,40894465],"allowing":[22151169],"areequal":[12517378,12845058,29818882,39256066],"able":[31326209],"applying":[6553601,12582913,13893633,17367041,22151169,27197441,28835841],"args":[15007749,15794181,22544389,37289989,40304645],"accurately":[31326209,40894465],"active":[2883585,11337729,23855105,27066369,35717121],"accesses":[39452673],"assign":[7536642,8388610,10485762,15335426,16121858,21168131,22151172,26542083,41222146],"architecture":[11206658,21299202,21561346,22151169],"allocation":[1048577,3211276,3276801,6029313,10485764,13762561,15335428,20643841,22151173,25821190,31326210,31588354,33882114,34603009,40304642,40435714],"andalso":[1245190,25821186],"addend1":[10485761,15335425,22151169,33423366],"arrays":[13697025],"actually":[3735554,10485761,12976129,15335425,22151169,33882113],"allowed":[1441793,8716289,12320769,16842753,17760257,19202049,20316161,20774913,23330817,25165825,28049409,30736385,32374785,33882113,38076417],"actual":[3145729,4980737,5439489,6225921,7405569,8585217,9306113,10616833,11010049,14090241,15794177,16515073,21102593,22282241,30670849,38862849,40173569],"additional":[19136513,22151169],"apply":[23330817],"addition":[6225921,7208963,10485761,15335425,19202049,22151169,30670849,39780353,41156609],"advance":[6356993,8257537,10485762,15138817,15335426,22151170],"area":[4390913,6225922,10485762,15335426,19136514,22151170,24707073,25886721,28573697,30670850],"aim":[19529729],"avoid":[4259841,8454145,15138817],"allocate_function":[3211276,25821192,35848193,36175877],"accomplish":[34603009],"adequate":[22216705],"areas":[4784129,6225921,10485762,15335426,19136515,22151170,24117249,30670849,38469634,39452674,41156609],"assert":[327684,393220,589828,917508,983042,1245192,1441796,1703940,1835014,2031622,2097156,2162692,2228230,2424836,2621444,2686980,2752518,2883588,2949124,3145732,3211272,3342340,3604484,3670020,3735556,3866628,4259848,4390916,4456452,4587532,4653060,4718596,4784132,4849668,4980742,5111812,5308420,5439492,5505028,5701646,5832708,5898244,6094852,6225926,6291460,6356996,6422532,6553604,6946820,7208966,7274500,7340036,7405572,7471108,7536644,7602180,7667728,7733256,7798788,7929860,7995396,8126468,8192004,8257540,8388612,8454148,8519684,8585220,8716292,9043972,9306116,9568262,9764874,9830404,9961478,10027012,10158084,10289160,10420228,10616836,10813444,10878980,11010052,11075588,11141124,11206662,11337732,11730948,11796484,11927556,11993092,12058628,12189700,12255234,12320772,12386312,12517378,12582918,12713988,12845058,12910594,13107204,13434884,13500420,13565968,13762564,13828102,13893636,14090244,14155780,14286852,14417924,14483470,14680068,15007746,15073284,15138820,15269892,15466500,15532036,15663108,15794180,15859716,16121860,16187396,16252932,16384004,16515076,16646150,16711684,16777220,16842756,16973826,17039364,17170438,17301510,17367044,17432580,17498116,17760260,17825796,18087940,18153476,18350084,18415620,18743300,18939908,19005446,19136522,19202054,19267588,19398662,19595268,19791876,19922950,20316168,20578306,20643850,20709382,20774916,20905988,20971524,21037060,21102596,21168132,21299204,21364742,21495816,21561348,21626888,21692422,21757956,22020100,22216708,22282244,22413314,22478864,22544388,22872068,22937604,23003144,23134216,23265284,23330820,23396356,23461892,23789572,23855108,24051716,24117254,24248324,24313862,24379398,24576004,24707076,24838150,25034756,25100292,25165830,25231364,25427972,25559046,25624580,25690116,25821186,25886726,25952262,26017796,26345476,26411012,26476548,26542084,26607620,26673158,26738692,26804230,27000836,27066372,27197444,27262980,27459590,27525126,27590664,27721732,28049412,28180484,28377092,28442628,28573700,28704774,28770308,28835846,28901382,29229062,29425668,29491206,29556740,29622276,29818882,29949956,30343176,30605316,30670854,30736390,30801924,30998534,31064068,31129604,31260676,31326214,31391750,31457284,31522820,31588356,31850500,31981576,32047108,32112646,32309252,32374788,32899076,32964612,33030150,33226756,33488900,33685508,33751044,33882138,33947652,34013188,34144260,34275332,34340868,34406408,34471944,34603016,34668550,34734084,34799620,34996228,35192836,35258372,35454980,35520516,35651590,35717124,35782660,35913732,36044808,36372484,36503560,36569094,36896772,37027844,37224452,37289988,37421060,37486608,37683206,37814276,38076418,38273028,38338566,38404100,38469640,38535172,38666244,38797316,38862852,38928388,39059460,39256066,39452678,39780360,39845892,39911428,40173572,40304644,40370180,40435716,40566788,40697860,40828932,40894468,40960004,41025540,41091076,41156614,41222148,41418756],"a1p":[39452678],"addend2":[10485761,15335425,22151169,33423366],"absolute":[327681,983041,4587521,8192001,8519681,10485766,11206658,13631489,14352385,15335430,20643841,21561345,22151174,25034753,33882113,35061761,36569090],"appended":[7405569,15794177],"argument":[1114114,3211265,4194306,4325378,6619137,7733249,8060929,9895937,12124162,12648449,13172738,13762561,16318466,19660801,20774913,20840450,21495809,22347778,22413313,22675457,22740994,24903681,27328513,27656193,27918337,31326209,31653889,31916034,32243714,32505857,32702466,33161217,34537473,35127298,35389441,36634626,36700162,38600705,38993922],"abs":[24969217,35061762],"analogous":[32243713],"allocating":[33882113],"accept":[6684673,8781825,13303809,20774913,25296897,33292289,35323905,38993921],"automatically":[1,4259841,15138818,22151170],"address":[13697026,23330817,31588353,33882113,40304641],"account":[22151169,23330817],"assigning":[917505,3866625,4456449,7536641,8388609,17760257,20774913,22020097,22151170,23396353,24051713,24379393,30343169,31457281,34340865,38076417,38535169,41418753],"average":[2752513,24313857],"assignment":[2883585,6094849,11337730,21037057,23855105,26345473,27066369,34996225,35717121,40566785],"allocated":[327682,393217,589826,917506,983041,1048582,1245186,1703938,1835010,2031618,2097154,2228226,2424834,2621442,2686978,2883586,2949122,3145730,3276802,3342338,3670018,3866626,4259843,4456450,4587522,4653058,4718594,4849666,5111810,5308418,5439490,5832706,5898242,6029314,6094850,6160386,6291458,6356994,6422530,6553602,6946818,7274498,7340034,7471106,7536642,7602178,7733250,7798786,7929858,7995394,8126466,8192002,8257538,8388610,8519682,8585218,8716290,9043970,9306114,9568258,9764866,9830402,9961474,10158082,10289154,10420226,10485764,10616834,10813442,10878978,11010050,11141122,11206658,11337730,11730946,11796482,11927554,11993090,12189698,12255234,12386306,12582914,12713986,12910593,13434882,13500418,13762564,13893634,14090242,14155778,14286850,14417922,14680066,15073282,15138818,15204353,15269890,15335428,15466498,15532034,16121858,16252930,16515074,16646146,16711682,16777218,16842754,17039362,17170434,17301506,17367042,17760258,17825794,18087938,18153474,18350082,18415618,18743298,19267586,19398658,19595266,19922946,20185089,20643842,20709378,20774914,20905986,20971522,21037058,21102594,21168130,21299202,21364738,21495810,21561346,21626882,21757954,22020098,22151172,22216706,22282242,22413314,22872066,22937602,23003138,23134210,23199745,23265282,23330818,23396354,23461890,23789570,23855106,24051714,24379394,24576002,24838146,24969218,25034754,25100290,25231362,25427970,25559042,25624578,25690114,25952258,26345474,26476546,26542082,26607618,26738690,27000834,27066370,27197442,27262978,27459586,27525122,27590658,27852805,28180482,28377090,28442626,28835842,29229058,29425666,29556742,29622274,29949954,30343170,30801922,31064066,31129602,31260674,31326212,31457282,31522818,31588354,31850498,31981570,32047106,32112642,32178177,32309250,32899074,32964610,33226754,33488898,33685506,33882118,34013186,34144258,34275330,34340866,34406402,34471938,34603010,34668546,34734082,34799618,34996226,35061762,35192834,35258370,35454978,35520514,35651586,35717122,35782658,35848194,35913730,36044802,36175874,36372482,36503554,36569090,36896770,37027842,37093377,37224450,37421058,37683202,37814274,38076417,38273026,38338562,38404098,38535170,38666242,38797314,38862850,39059458,39780354,39911426,40173570,40304643,40370178,40435716,40501249,40566786,40697858,40894465,41025538,41091074,41222146,41418754],"algorithms":[10485761,13303809,15335425,22151169,34865153,35323905,38666241],"allocates":[15138817],"abcd":[4587522,25559042],"arguments":[3211265,5701633,7405569,7667713,10485762,13565953,14483457,15007745,15335426,15663105,15794177,16187393,20578305,22151170,22478849,22544385,25427970,25821185,26804225,31588353,37289985,37486593,40304641],"asprintf":[40304641],"assembly":[65537,196609,262145,327681,393217,524289,589825,655361,786433,851969,917505,983041,1048577,1114113,1179649,1245185,1376257,1441793,1507329,1638401,1703937,1835009,1900545,1966081,2031617,2097153,2162689,2228225,2424833,2490369,2555905,2621441,2686977,2752513,2818049,2883585,2949121,3080193,3145729,3211265,3276801,3342337,3473409,3538945,3604481,3670017,3735553,3801089,3866625,3997697,4063233,4128769,4194305,4259841,4325377,4390913,4456449,4521985,4587521,4653057,4718593,4784129,4849665,4980737,5111809,5242881,5308417,5373953,5439489,5505025,5570561,5636097,5701633,5832705,5898241,6029313,6094849,6160385,6225921,6291457,6356993,6422529,6488065,6553601,6619137,6684673,6750209,6815745,6881281,6946817,7012353,7077889,7143425,7208962,7274497,7340033,7405569,7471105,7536641,7602177,7667713,7733249,7798785,7929857,7995393,8060929,8126465,8192001,8257537,8323073,8388609,8454145,8519681,8585217,8650753,8716289,8781825,8847361,8912897,8978433,9043969,9175041,9240577,9306113,9371649,9437185,9502721,9568257,9633793,9699329,9764865,9830401,9895937,9961473,10027009,10092545,10158081,10223617,10289153,10420225,10485761,10616833,10682369,10747905,10813441,10878977,10944513,11010049,11075585,11141121,11206657,11272193,11337729,11403265,11599873,11665409,11730945,11796481,11927553,11993089,12058625,12124161,12189697,12255233,12320769,12386305,12451841,12517377,12582913,12648449,12713985,12845057,12910593,12976129,13041665,13107201,13303809,13369345,13434881,13500417,13565953,13631489,13697025,13762561,13828097,13893633,13959169,14024705,14090241,14155777,14221313,14286849,14352385,14417921,14483457,14614529,14680065,14745601,14811137,14876673,14942209,15007745,15073281,15138817,15269889,15400961,15466497,15532033,15597569,15663105,15728641,15794177,15859713,15925249,15990785,16056321,16121857,16187393,16252929,16384001,16515073,16580609,16646145,16711681,16842753,16777217,16908289,16973825,17039361,17170433,17235969,17301505,17367041,17432577,17498113,17563649,17629185,17694721,17760257,17825793,17891329,17956865,18022401,18087937,18153473,18219009,18284545,18350081,18415617,18612225,18677761,18743297,18808833,18939905,19005441,19070977,19136513,19202050,19267585,19333121,19398657,19464193,19529729,19595265,19660801,19726337,19791873,19857409,19922945,19988481,20054017,20119553,20185089,20250625,20316161,20381697,20447233,20512769,20578305,20643841,20709377,20774913,20905985,20971521,21037057,21102593,21168129,21233665,21299201,21364737,21430273,21495809,21561345,21626881,21692418,21757953,21823489,21889025,21954561,22020097,22085633,22151169,22216705,22282241,22413313,22478849,22544385,22675457,22806529,22872065,22937601,23003137,23068673,23134209,23199745,23265281,23330817,23396353,23461889,23527425,23592961,23658497,23724033,23789569,23855105,23920641,23986177,24051713,24117249,24182785,24248321,24313857,24379393,24444929,24510465,24576001,24707073,24772609,24838145,24903681,24969217,25034753,25100289,25165826,25231361,25296897,25362433,25427969,25559041,25624577,25690113,25821185,25886721,25952257,26017793,26083329,26148865,26279937,26345473,26411009,26476545,26542081,26607617,26673153,26738689,26804225,26935297,27000833,27066369,27197441,27262977,27328513,27394049,27459585,27525121,27590657,27656193,27721729,27787265,27852801,27918337,27983873,28049409,28114945,28180481,28246017,28311553,28377089,28442625,28508161,28573697,28639233,28704769,28770305,28835841,28901377,29163521,29229057,29294593,29360129,29425665,29491202,29556737,29622273,29687809,29753345,29818881,29949953,30015489,30081025,30146561,30212097,30277633,30343169,30408705,30474241,30539777,30605313,30670849,30736386,30801921,30867457,30932993,30998529,31064065,31129601,31195137,31260673,31326209,31391746,31457281,31522817,31588353,31653889,31719425,31784961,31850497,31981569,32047105,32112641,32178177,32243713,32309249,32374785,32440321,32505857,32571393,32636929,32768001,32833537,32899073,32964609,33030145,33095681,33161217,33226753,33292289,33423361,33488897,33619969,33685505,33751041,33816577,33882113,33947649,34013185,34078721,34144257,34209793,34275329,34340865,34406401,34471937,34537473,34603009,34668545,34734081,34799617,34865153,34930689,34996225,35061761,35127297,35192833,35258369,35323905,35389441,35454977,35520513,35586049,35651585,35717121,35782657,35913729,36044801,36175873,36241409,36306945,36372481,36438017,36503553,36569089,36634625,36765697,36896769,37027841,37093377,37158913,37224449,37289985,37355521,37421057,37486593,37552129,37617665,37683201,37748737,37814273,37879809,37945345,38010881,38076417,38141953,38207489,38273025,38338561,38404097,38469633,38535169,38600705,38666241,38731777,38797313,38862849,38928385,38993921,39059457,39124993,39190529,39256065,39321601,39387137,39452673,39583745,39649281,39714817,39780353,39845889,39911425,40042497,40108033,40173569,40239105,40304641,40370177,40435713,40501249,40566785,40632321,40697857,40763393,40828929,40894465,40960001,41025537,41091073,41156609,41222145,41287681,41353217,41418753],"application":[22151170,23330817,29163521,31326209,32833537,33882114],"arithmetic":[3145729,3342337,4718593,5111809,5308417,5439489,7274497,7340035,7471105,7798785,7995393,8585217,9306113,9371649,10420225,10616833,10747905,11010049,11141121,11796481,11927553,12910595,14090241,14352385,14417921,14680067,15269889,15532033,16056321,16515073,17039361,18087937,18743297,21102593,22151171,22282241,23461889,23592961,25034753,25100289,25624577,28442625,30277633,32899073,32964609,33226753,33423361,35913729,37421057,37748737,38862849,39190529,40173569,40370177,41025537],"allocate":[1048577,3211270,3276802,6029318,6160385,7405570,10485766,15335430,15663106,15794178,20185089,22151174,22544386,23330818,24641541,25821196,32178177,33882114,35848193,36175873,37093377,40501249],"add":[4390913,7208961,10485764,13828097,15138817,15335428,19202049,22151173,30998529],"assuming":[25427969],"available":[327682,393218,524290,589826,917506,983042,1179650,1245186,1441794,1703938,1835010,2031618,2097154,2162690,2228226,2424834,2621442,2686978,2752514,2883586,2949122,3145730,3211266,3342338,3538946,3604482,3670018,3735554,3866626,4259842,4390914,4456450,4587522,4653058,4718594,4784130,4849666,4980738,5111810,5308418,5439490,5505026,5701634,5832706,5898242,6094850,6225922,6291458,6356994,6422530,6553602,6684674,6946818,7208962,7274498,7340034,7405570,7471106,7536642,7602178,7667714,7733250,7798786,7929858,7995394,8126466,8192002,8257538,8388610,8454146,8519682,8585218,8716290,9043970,9306114,9371650,9568258,9764866,9830402,9961474,10027010,10158082,10289154,10420226,10616834,10747906,10813442,10878978,11010050,11075586,11141122,11206658,11337730,11730946,11796482,11927554,11993090,12058626,12189698,12255234,12320770,12386306,12517378,12582914,12713986,12845058,12910594,12976130,13107202,13303810,13434882,13500418,13565954,13762562,13828098,13893634,14090242,14155778,14221314,14286850,14352386,14417922,14483458,14680066,15073282,15138818,15269890,15466498,15532034,15663107,15794178,15859714,15007746,16056322,16121858,16187394,16252930,16384002,16515074,16646146,16711683,16777218,16842754,16973826,17039362,17170434,17301506,17367042,17432578,17498114,17563650,17760258,17825794,18087938,18153474,18350082,18415618,18743298,18939906,19005442,19070978,19136514,19202050,19267586,19398658,19595266,19791874,19922946,20316162,20578306,20643842,20709378,20774914,20905986,20971522,21037058,21102594,21168130,21299202,21364738,21495810,21561346,21626882,21692418,21757954,21889026,22020098,22151169,22216706,22282242,22413314,22478850,22544387,22872066,22937603,23003138,23068674,23134210,23265282,23330818,23396354,23461890,23592962,23789570,23855106,24051714,24117250,24248322,24313858,24379394,24576002,24707074,24838146,25034754,25100290,25165826,25231362,25296898,25427970,25559042,25624578,25690114,25821186,25886722,25952258,26017794,26345474,26411010,26476546,26542082,26607618,26673154,26738690,26804226,27000834,27066370,27197442,27262978,27459586,27525122,27590658,27721730,27983874,28049410,28180482,28377090,28442626,28573698,28704770,28770306,28835842,28901378,29163522,29229058,29294594,29425666,29491202,29556738,29622274,29818882,29949954,30277634,30343170,30605314,30670850,30736386,30801922,30998530,31064066,31129602,31260674,31326210,31391746,31457282,31522818,31588355,31850498,31981570,32047106,32112642,32309250,32374786,32833538,32899074,32964610,33030146,33226754,33292290,33423362,33488898,33685506,33751042,33882114,33947650,34013186,34144258,34275330,34340866,34406402,34471938,34603010,34668546,34734082,34799618,34865154,34996226,35192834,35258370,35323906,35454978,35520514,35651586,35717122,35782658,35913730,36044802,36372482,36503554,36569090,36896770,37027842,37224450,37289986,37421058,37486594,37683202,37748738,37814274,38076418,38273026,38338562,38404098,38469634,38535170,38666242,38797314,38862850,38928386,39059459,39190530,39256066,39387138,39452674,39780354,39845890,39911426,40173570,40304643,40370178,40435714,40566786,40697858,40828930,40894466,40960002,41025538,41091074,41156610,41222146,41287682,41418754]}