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

1 line
19 KiB
JSON

{"allows":[7012353,8323073,11403265,11927553,14483457,16842753,18284545,22806529,23724033,24510465,28835841,35586049,39387137,40566785],"alignment":[22740993,34930689],"applications":[22151169,28573697,32899073],"avoids":[34930689],"accepted":[7733249,10223617,12713985,17956865,36110337],"applicable":[30867457],"assumed":[1769473],"array":[655361,4849666,6946822,7864321,8192001,8323073,8388610,8650753,8781825,9043973,11272198,11665409,11927559,12648451,13893633,14548995,15007745,15269891,15663105,16252929,16318465,16515073,20185089,20905985,21495812,21823492,22282241,22347777,22740994,22806529,23724033,23789569,24641542,27131905,31653889,31784963,32243713,33226753,33619969,34930689,35323907,35782659,35848193,36372482,36896769,37879809,38338561,39190531,39387137,40108034,40763393],"algorithm":[2424833,6029319,6946821,11272197,12320771,18808833,22151171,23592961,24641541,28573698,29032452,31457281,32833537,32899074,39124994,39256067],"according":[24641537,38469633],"abstract":[524289,983041,2293761,3014657,3211265,3801089,3932161,5046273,9568257,10027009,11272193,14286849,15925249,18612225,18677761,19398657,19791873,19857409,20709377,21626881,25690113,26935297,29425665,30474241,32636929,33292289,34406401,35323905,37093377,37683201,40108033],"attacks":[24313857],"automatic":[4456449],"alloc_size":[3670020,6422535,6946817,11272193,24641537,36044807,37879809],"alternatively":[9240577,21102593],"alloc_func_ptr":[3670021,26476549],"affects":[28573697,32899073],"assumes":[22740993],"access":[6684673,6946818,11272194,12648449,21495810,21823490,24313857,24641538,30408705],"ascii":[4849668,27066371],"accordingly":[5505026,6946817,11272193,24641537],"abstractclassattribute":[11272193],"accurate":[30867457,41091073],"allowing":[24641537],"areequal":[10092546,12124162,28966914,40632322],"able":[30867457],"applying":[6619137,13565953,14090241,17301505,24641537,26017793,27721729],"args":[16252933,16318469,23789573,36896773,40763397],"accurately":[30867457,41091073],"active":[3473409,14221313,22872065,30277633,35913729],"accesses":[38797313],"assign":[6946818,8847362,9633794,11272194,15269890,24641540,25034755,27983875,39518210],"architecture":[12648450,21495810,21823490,24641537],"allocation":[1572865,3538945,3670028,6422529,6946820,11272196,14876673,20971521,24641541,26476550,30867458,31653890,34799617,34930690,38993922,40763394],"andalso":[1441798,26476546],"addend1":[6946817,11272193,24641537,35258374],"arrays":[14483457],"actually":[4194306,6029313,6946817,11272193,24641537,34930689],"allowed":[851969,2031617,2228225,11468801,17432577,18350081,20054017,21102593,22740993,24969217,30670849,30998529,32571393,34930689,39321601],"actual":[5505025,6684673,6750209,7864321,8912897,9961473,10747905,12386305,12517377,13631489,16318465,16580609,22413313,24838145,30408705,38207489,41025537],"additional":[19595265,24641537],"apply":[22740993],"addition":[6684673,6946817,9502723,11272193,20054017,24641537,30408705,39845889,40828929],"advance":[6488065,6946818,10878977,11272194,16384001,24641538],"area":[4849665,6684674,6946818,11272194,19595266,24641538,24903681,27066369,27394049,30408706],"aim":[19529729],"avoid":[4456449,8519681,16384001],"allocate_function":[3670028,26476552,36044805,37879809],"accomplish":[34799617],"adequate":[23592961],"areas":[4521985,6684673,6946818,11272194,19595267,24379393,24641538,30408705,38469634,38797314,39845889],"assert":[262148,327684,393220,655364,851972,917508,1179650,1245188,1310726,1441800,1638404,2031620,2228228,2359300,2424838,2490372,2686980,2818054,2883588,3080196,3145732,3276806,3342340,3407876,3473412,3670024,3866628,3997700,4194308,4456456,4521988,4653060,4784140,4849668,4915204,4980740,5111812,5177350,5373956,5505028,5767172,5898244,5963780,6488068,6553604,6619140,6684678,6750214,7340036,7405572,7602180,7667716,7733252,7798788,7864324,7929860,8060932,8192014,8257540,8454146,8519684,8585220,8650766,8781840,8847364,8912900,8978438,9175044,9240584,9306116,9371652,9437192,9502726,9633796,9895940,9961476,10092546,10223620,10354692,10420228,10616836,10747908,10878980,10944516,11206662,11468804,11599882,11796484,11862024,11993092,12124162,12386308,12517380,12648454,12713988,12910596,12976132,13041668,13172740,13303812,13369346,13434884,13565958,13631492,13697028,13893648,13959172,14090244,14155780,14221316,14352388,14417924,14745604,14876676,14942212,15007748,15204358,15269892,15532036,15728644,15859716,15990788,16121860,16187396,16252930,16318468,16384004,16515076,16580612,16646146,16908292,16973828,17039364,17104900,17301508,17367044,17432580,17694724,17891334,17956868,18022404,18087942,18153480,18219012,18350088,18415620,18808836,18874372,19070980,19333124,19464198,19595274,19726342,19922950,19988484,20054022,20250628,20381704,20447236,20643844,20905986,20971530,21102596,21168134,21233668,21299204,21430278,21495812,21561348,21757958,21823492,22085636,22282256,22347784,22413316,22478852,22544392,22609924,22740996,22872068,22937604,23068676,23330818,23461892,23592964,23789572,23855110,23920644,23986182,24248324,24313860,24379398,24576004,24838148,24903684,24969222,25034756,25165830,25231364,25296900,25362436,25559044,25624582,26017796,26083332,26148868,26214404,26279942,26476546,26542084,26673156,26869766,27066374,27131912,27197444,27394052,27525124,27590660,27656196,27721734,27787270,27918340,27983876,28114950,28180486,28311556,28442628,28704772,28901382,28966914,29097990,29163526,29229060,29491204,29556740,29622278,29753348,29884420,30015492,30212104,30277636,30408710,30539780,30670854,30736388,30867462,30998532,31064070,31129604,31457284,31588358,31653892,31719428,31850500,31916036,32047108,32112644,32243720,32440324,32571396,32833542,33030150,33095684,33554436,33619976,33685508,33882116,34078724,34275332,34340868,34603012,34668550,34734084,34799624,34930714,34996232,35127300,35192836,35389444,35454980,35520516,35651588,35717124,35848200,35913732,35979268,36110340,36175876,36503556,36700164,36765700,36896772,36962312,37158918,37224452,37289990,37552134,37814276,38010884,38076420,38207492,38338576,38469640,38600710,38731780,38797318,38862852,38928388,38993924,39124996,39321602,39518212,39583748,39649284,39845894,39911428,40042500,40304644,40370180,40435716,40632322,40697860,40763396,40828936,40960004,41025540,41091076,41222148,41353220,41418756],"a1p":[38797318],"addend2":[6946817,11272193,24641537,35258374],"absolute":[393217,1179649,4784129,5242881,6946822,8388609,8585217,10944513,11272198,12648450,20971521,21823489,24641542,25231361,34930689,35323905,37289986],"appended":[7864321,16318465],"argument":[1507330,3670017,4259842,5570562,7536641,9240577,10551297,12058625,12189697,13107202,13828098,14876673,15138818,18153473,19660801,21102593,22216705,22675458,23003138,23330817,24117249,24707074,26345473,27000833,27262977,30867457,31391745,31522817,31981570,32309250,32374786,32505857,34144258,34865153,36241409,36306946,37027842,37486594,38404097],"abs":[24444929,35323906],"analogous":[32309249],"allocating":[34930689],"accept":[7274497,8323073,12582913,21102593,25493505,33161217,33751041,37486593],"automatically":[1,4456449,16384002,24641538],"address":[14483458,22740993,31653889,34930689,40763393],"account":[22740993,24641537],"assigning":[1245185,4915201,5111809,8847361,9633793,17432577,20643841,21102593,22937601,23855105,24248321,24641538,30212097,31916033,34603009,38076417,39321601,40304641],"average":[3276801,23986177],"assignment":[3473409,6553601,14221314,20447233,22872065,26148865,30277633,34734081,35913729,41222145],"allocated":[262146,393218,655361,851970,917506,1179649,1245186,1310722,1441794,1572870,1638402,2359298,2424834,2490370,2686978,2818050,3080194,3145730,3342338,3407874,3473410,3538946,3866626,4456451,4653058,4784130,4915202,4980738,5111810,5177346,5373954,5505026,5767170,5963778,6291458,6422530,6488066,6553602,6619138,6946820,7405570,7602178,7667714,7733250,7798786,7929858,8060930,8257538,8454145,8585218,8847362,8912898,8978434,9175042,9240578,9306114,9371650,9437186,9633794,9961474,10223618,10354690,10420226,10616834,10747906,10878978,10944514,11206658,11272196,11468802,11599874,11796482,11862018,11993090,12386306,12517378,12648450,12713986,12910594,12976130,13041666,13172738,13303810,13369346,13434882,13565954,13631490,13959170,14090242,14155778,14221314,14352386,14417922,14745602,14876676,14942210,15269890,15532034,15663105,15728642,15859714,15990786,16187394,16384002,16580610,16908290,16973826,17104898,17301506,17432578,17694722,17891330,17956866,18087938,18153474,18219010,18808834,18874370,19070978,19333122,19464194,19726338,19988482,20185089,20381698,20447234,20643842,20971522,21102594,21168130,21233666,21299202,21430274,21495810,21561346,21823490,22085634,22347778,22413314,22478850,22544386,22609922,22740994,22806529,22872066,22937602,23068674,23330818,23461890,23592962,23855106,23920642,24248322,24313858,24444930,24641540,24838146,25034754,25165826,25231362,25296898,25362434,25559042,25624578,26017794,26083330,26148866,26214402,26279938,26804229,26869762,27131906,27197442,27525122,27721730,27787266,27918338,27983874,28311554,28442626,28704770,28901378,29229062,29491202,29556738,29753346,29884418,30015490,30212098,30277634,30736386,30867460,31129602,31457282,31653890,31719426,31850498,31916034,32047106,32112642,32243714,32440322,32833538,32964609,33095682,33554434,33619970,33685506,34078722,34209793,34275330,34340866,34603010,34668546,34734082,34799618,34930694,34996226,35127298,35192834,35323906,35389442,35454978,35520514,35651586,35717122,35848194,35913730,36044802,36110338,36175874,36503554,36700162,36765698,36962306,37158914,37224450,37289986,37552130,37879810,38010882,38076418,38207490,38600706,38731778,38862850,38928386,38993924,39124994,39321601,39518210,39583746,39780353,39911426,40042498,40304642,40370178,40435714,40697858,40763395,40828930,41025538,41091073,41222146,41418754],"algorithms":[6946817,11272193,12582913,24641537,33751041,33947649,39124993],"allocates":[16384001],"abcd":[4784130,26279938],"arguments":[3670017,6946818,7864321,8192001,8650753,8781825,11272194,13893633,15007745,16252929,16318465,16515073,20905985,22282241,23789569,24313858,24641538,26476545,29097985,31653889,36896769,38338561,40763393],"asprintf":[40763393],"assembly":[262145,327681,393217,458753,524289,589825,655361,786433,851969,917505,983041,1114113,1179649,1245185,1310721,1376257,1441793,1507329,1572865,1638401,1769473,1900545,1966081,2031617,2162689,2228225,2293761,2359297,2424833,2490369,2555905,2686977,2818049,2883585,3014657,3080193,3145729,3211265,3276801,3342337,3407873,3473409,3538945,3604481,3670017,3801089,3866625,3932161,3997697,4063233,4128769,4194305,4259841,4390913,4456449,4521985,4653057,4784129,4849665,4915201,4980737,5046273,5111809,5177345,5242881,5308417,5373953,5439489,5505025,5570561,5636097,5701633,5767169,5832705,5898241,5963777,6029313,6094849,6160385,6291457,6356993,6422529,6488065,6553601,6619137,6684673,6750209,6881281,7077889,7208961,7274497,7340033,7405569,7471105,7536641,7602177,7667713,7733249,7798785,7864321,7929857,7995393,8060929,8126465,8192001,8257537,8323073,8388609,8454145,8519681,8585217,8650753,8716289,8781825,8847361,8912897,8978433,9109505,9175041,9240577,9306113,9371649,9437185,9502722,9568257,9633793,9699329,9764865,9830401,9895937,9961473,10027009,10092545,10223617,10289153,10354689,10420225,10485761,10551297,10616833,10682369,10747905,10813441,10878977,10944513,11010049,11075585,11141121,11206657,11272193,11337729,11468801,11534337,11599873,11730945,11796481,11862017,11927553,11993089,12058625,12124161,12189697,12255233,12320769,12386305,12451841,12517377,12582913,12648449,12713985,12779521,12845057,12910593,12976129,13041665,13107201,13172737,13303809,13369345,13434881,13500417,13565953,13631489,13697025,13893633,13959169,14090241,14155777,14221313,14286849,14352385,14417921,14483457,14548993,14614529,14680065,14745601,14811137,14876673,14942209,15007745,15073281,15204353,15269889,15335425,15400961,15466497,15532033,15728641,15794177,15859713,15925249,15990785,16056321,16121857,16187393,16252929,16318465,16384001,16449537,16515073,16580609,16646145,16711681,16777217,16842753,16908289,16973825,17039361,17104897,17170433,17235969,17301505,17367041,17432577,17498113,17563649,17629185,17694721,17760257,17825793,17891329,17956865,18022401,18087937,18153473,18219009,18350081,18415617,18481153,18546689,18612225,18677761,18743297,18808833,18874369,19070977,19136513,19267585,19333121,19398657,19464193,19529729,19595265,19660801,19726337,19791873,19857409,19922945,19988481,20054018,20119553,20185089,20250625,20316161,20381697,20447233,20512769,20578305,20643841,20709377,20774913,20840449,20905985,20971521,21037057,21102593,21168129,21233665,21299201,21364737,21430273,21495809,21561345,21626881,21692417,21757954,21823489,21889025,22020097,22085633,22151169,22216705,22282241,22347777,22413313,22478849,22544385,22609921,22740993,22806529,22872065,22937601,23068673,23134209,23199745,23265281,23330817,23396353,23461889,23527425,23592961,23658497,23724033,23789569,23855105,23920641,23986177,24117249,24182785,24248321,24313857,24379393,24444929,24576001,24641537,24772609,24838145,24903681,24969218,25034753,25100289,25165825,25231361,25296897,25362433,25427969,25493505,25559041,25624577,25690113,25821185,25952257,26017793,26083329,26148865,26214401,26279937,26345473,26411009,26476545,26542081,26607617,26673153,26738689,26804225,26869761,26935297,27000833,27066369,27131905,27197441,27262977,27328513,27394049,27459585,27525121,27590657,27656193,27721729,27787265,27852801,27918337,27983873,28114945,28180481,28246017,28311553,28377089,28442625,28508161,28573697,28704769,28901377,28966913,29032449,29097985,29163521,29229057,29294593,29360129,29425665,29491201,29556737,29622274,29687809,29753345,29818881,29884417,29949953,30015489,30146561,30212097,30277633,30408705,30474241,30539777,30605313,30670850,30736385,30801921,30867457,30932993,30998529,31064065,31129601,31195137,31260673,31326209,31391745,31457281,31522817,31588354,31653889,31719425,31784961,31850497,31916033,32047105,32112641,32178177,32243713,32309249,32440321,32505857,32571393,32636929,32702465,32768001,32833537,32899073,32964609,33030145,33095681,33161217,33292289,33357825,33554433,33619969,33685505,33751041,33816577,33882113,33947649,34013185,34078721,34209793,34275329,34340865,34406401,34471937,34537473,34603009,34668545,34734081,34799617,34865153,34930689,34996225,35061761,35127297,35192833,35258369,35323905,35389441,35454977,35520513,35651585,35717121,35782657,35848193,35913729,35979265,36044801,36110337,36175873,36241409,36306945,36372481,36503553,36634625,36700161,36765697,36831233,36896769,36962305,37027841,37093377,37158913,37224449,37289985,37355521,37421057,37486593,37552129,37617665,37683201,37748737,37814273,37945345,38010881,38076417,38141953,38207489,38273025,38338561,38404097,38469633,38535169,38600705,38731777,38797313,38862849,38928385,38993921,39059457,39124993,39190529,39321601,39256065,39452673,39518209,39583745,39649281,39714817,39780353,39845889,39911425,39976961,40042497,40108033,40173569,40239105,40304641,40370177,40435713,40501249,40566785,40632321,40697857,40763393,40828929,40894465,40960001,41025537,41091073,41156609,41222145,41287681,41353217,41418753],"application":[22740993,24641538,28573697,30867457,32899073,34930690],"arithmetic":[262145,3342337,3407873,5242881,5373953,5505025,7602179,7667713,7929857,8060929,8257537,8454147,8716289,8912897,9961473,10747905,11337729,11796481,11993089,12386305,12517377,12910593,12976131,13041665,13631489,14352385,15466497,15532033,15728641,15859713,16580609,18874369,19070977,22413313,23068673,23134209,24641539,24838145,25231361,25362433,25559041,27918337,29949953,32440321,33095681,33685505,35192833,35258369,37224449,38207489,38273025,38535169,39911425,41025537,41418753],"allocate":[1572865,3538946,3670022,6291457,6422534,6946822,7864322,11272198,15007746,16318466,20185089,22740994,23789570,24051717,24641542,26476556,32964609,34209793,34930690,36044801,37879809,39780353],"add":[4849665,6946820,9502721,11272196,15204353,16384001,20054017,24641541,31064065],"assuming":[24313857],"available":[262146,327682,393218,655362,786434,851970,917506,1179650,1245186,1310722,1441794,1638402,1900546,2031618,2228226,2359298,2424834,2490370,2686978,2818050,2883586,3080194,3145730,3276802,3342338,3407874,3473410,3604482,3670018,3866626,3997698,4194306,4456450,4521986,4653058,4784130,4849666,4915202,4980738,5111810,5177346,5242882,5373954,5505026,5767170,5898242,5963778,6029314,6488066,6553602,6619138,6684674,6750210,7274498,7340034,7405570,7602178,7667714,7733250,7798786,7864322,7929858,8060930,8192002,8257538,8454146,8519682,8585218,8650754,8716290,8781826,8847362,8912898,8978434,9175042,9240578,9306114,9371650,9437186,9502722,9633794,9895938,9961474,10092546,10223618,10354690,10420226,10616834,10747906,10878978,10944514,11206658,11337730,11468802,11599874,11796482,11862018,11993090,12124162,12320770,12386306,12517378,12582914,12648450,12713986,12910594,12976130,13041666,13172738,13303810,13369346,13434882,13565954,13631490,13697026,13893634,13959170,14090242,14155778,14221314,14352386,14417922,14745602,14876674,14942210,15007747,15204354,15269890,15466498,15532034,15728642,15794178,15859714,15990786,16121858,16187394,16252930,16318466,16384002,16515074,16580610,16646146,16908290,16973827,17039362,17104898,17301506,17367042,17432578,17694722,17891330,17956866,18022402,18087938,18153474,18219010,18350082,18415618,18481154,18808834,18874370,19070978,19333122,19464194,19595266,19726338,19922946,19988482,20054018,20250626,20381698,20447234,20512770,20643842,20905986,20971522,21102594,21168130,21233666,21299202,21430274,21495810,21561346,21757954,21823490,22085635,22151170,22282242,22347778,22413314,22478850,22544386,22609922,22740994,22872066,22937602,23068674,23134210,23330818,23461890,23592962,23789571,23855106,23920642,23986178,24248322,24313858,24379394,24576002,24641537,24838146,24903682,24969218,25034754,25165826,25231362,25296898,25362434,25493506,25559042,25624578,26017794,26083330,26148866,26214402,26279938,26476546,26542082,26673154,26738690,26869762,27066370,27131906,27197442,27394050,27525122,27590658,27656194,27721730,27787266,27918338,27983874,28114946,28180482,28311554,28442626,28573698,28704770,28901378,28966914,29032450,29097986,29163522,29229058,29491202,29556738,29622274,29753346,29884418,29949954,30015490,30212098,30277634,30408706,30539778,30670850,30736386,30867458,30998530,31064066,31129602,31457282,31588354,31653891,31719426,31850498,31916034,32047106,32112642,32243714,32440322,32571394,32833538,32899074,33030146,33095682,33161218,33554434,33619970,33685506,33751042,33882114,33947650,34078722,34275330,34340866,34603010,34668546,34734082,34799618,34930690,34996226,35127298,35192834,35258370,35389442,35454978,35520514,35651586,35717122,35848194,35913730,35979266,36110338,36175874,36503554,36700162,36765698,36896770,36962306,37158914,37224450,37289986,37552130,37814274,38010882,38076418,38207490,38273026,38338562,38469634,38535170,38600706,38731778,38797314,38862850,38928386,38993922,39124994,39256066,39321602,39518210,39583746,39649282,39714818,39845890,39911426,40042498,40304642,40370178,40435715,40632322,40697858,40763395,40828930,40960002,41025538,41091074,41222146,41353218,41418754]}