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

1 line
39 KiB
JSON

{"selects":[22675457],"serves":[2228225,7012353,9371649,11796481,12517377,14286849,15269889,17563649,18153473,23855105,25165825,28770305,32702465,38797313,41811969,42270721],"stored":[4325377,7471105,8650753,14680065,16515073,21299202,25362433,27197441,36044802,36438018,37683201,39387137,43319297],"signed":[1245185,3080193,4784129,6881284,7798785,7864321,8323073,10289153,10682369,12058625,14745601,16384001,20643848,21233665,22151169,24248321,27131906,29491201,32964609,33292289,36306946,36438017,36569090,37027844,42926081,43450369],"start":[2686977,10944513,13107201,22675460,22806529,39583745],"sample":[22675457],"skipped":[25362433],"sqrt":[196610,6094850,12320770,25100290,37814274,40239106],"starting":[10944515,13107203,28704769,30277633],"swap":[2949123,6881283,20643846,26279939,33095683],"strictly":[20709377,33685505],"str":[1638401,5570578,6815750,6881286,8388616,13959174,15138825,15925256,16908296,19988486,20643853,22347782,23330824,23461889,25559061,27983882,34996234,39190533,39387144,41156614,42663945,43319304],"smaller":[1900546,6881281,18284545,18874369,20643842],"search":[65537],"sequence":[2686977,32178177,34013185,39583745],"sbyte":[786434,3276801,5046275,5636100,7798790,7864324,8323078,10289156,10682374,12058630,13828099,16384006,23199748,24248326,24838146,27459587,27721731,29491204,33423363,33882113,34078724,37093379,37355524,38666243,39321604,40370180,43450374],"s3limb":[6881282,20643844,25296902,43581446],"swaps":[6881281,20643842,40828929],"size":[1048592,1114114,1572866,2097164,3473410,3604484,3866635,4194310,5111810,5242882,5570562,6225922,6553612,6684675,6881285,7536645,8257538,8388618,8716289,8781826,9830401,10420228,10616834,12517378,12779522,13238273,13762562,15597570,15663106,16318469,16515075,16580610,16646146,16908298,18219010,18677762,18874374,18939908,19464194,19529742,19791874,19922946,20709392,20643850,21889027,22675458,22806532,24444930,24969217,25296898,25362438,25559042,26017796,26083330,26411010,26607617,26738690,27000843,27525134,27787266,28311562,28639234,28901388,29556738,29818882,31195138,31326210,31653890,31719426,31981571,32178177,32243714,33161219,33488900,33685520,33816577,33947650,34013185,34406402,34668554,35651595,36765702,36962306,37224450,39387137,40239110,40763394,40828930,40960002,41746434,42008577,42139656,42467332,43253762,43319297,43581442],"sort":[65537],"stdin":[6881282,20643844,27197441,37683201],"stdio":[1572865,6881285,12255233,20643849,22478849,23396353,37748737],"seed":[655362,6881282,14614530,18284546,20643844,21561346,26673154,32178204,34013202,34340866],"s2p":[3473421,5242893,6225933,6684684,6881298,8781838,15597583,18939919,19464205,20643876,25296913,26017807,31195149,31981580,32243725,33488911,33947661,34406413,37224462,40763405,43253773,43581457],"shell":[22675457],"storage":[15138817,42663937],"shifted":[31719425,36962305],"significant":[1703937,3538945,5570561,5767169,6160385,6553601,6619137,6881291,8781825,10158081,10944514,11206657,13041665,13107202,13893633,15400961,15663105,17104897,17891329,18284546,18939906,19529730,19595265,19922946,20709377,20643862,22806529,23003137,25362443,25559043,26017793,27983873,28246017,28311563,28901377,29556738,29818881,31129601,31195137,31326210,31653889,31719425,33488897,33685505,34668555,34996225,36044806,36700161,36962305,37027841,40239105,40566785,40763393,41680897,41746433,43057153],"selected":[6881281,10420225,20643842,42139649],"signs":[37421057,43778049],"swapped":[2949122,26279938,33095681],"style":[8388610,16908290],"stops":[9437185],"sealedattribute":[1638401,4653057,5046273,13828097,20643841,34078721,36896769,38666241,39321601],"sequences":[2686977,19136513,29032449,32178178,34013186,39583745],"system":[393217,458753,655361,720897,851970,917505,1310721,1376257,1441793,1507329,1572870,1966081,2555905,2686977,3342337,3407873,3997697,4063233,4325379,4587521,5570561,5832705,6029313,6160385,6356993,6815745,6946817,7274497,7471107,7733249,7864321,8323073,8388610,8519681,8650758,9043969,9240577,9306113,9371649,9437191,9895943,9961473,10289153,10354689,10813441,11141122,11534338,12189697,12255236,12320769,12517377,12648449,12713986,12845057,12910593,13369345,13434881,13959169,14024705,14286849,14352385,14680070,14811137,15138817,15269889,15400961,15794177,15859713,15925250,15990786,16121857,16187394,16384001,16449537,16711681,16908290,16973825,17039361,17235969,17432577,17498113,17563649,18350081,18415617,18546694,18808833,19136513,19267585,19988481,20054017,20316161,20643843,20774913,21037057,21102593,21299201,21364737,21430273,21561345,21692417,21757953,21823489,21954562,22020097,22216705,22282241,22347777,22413313,22478855,22609921,22806529,22937601,23330818,23396359,23527425,23658497,23789569,23855105,23920641,24117250,24313857,25100289,25231361,25362434,25427969,25559041,25624577,25886721,25952257,26214401,26804225,26869761,27066369,27197442,27262977,27328513,27852801,27983873,28180481,28311554,28508161,28770305,28966913,29032449,29229057,29491201,29949953,30736385,30867457,30932994,31129601,31260673,31391745,31719425,31850497,32178179,32571393,32636929,33554433,33619969,34013188,34144258,34668546,34734081,34865153,34996225,35061761,35258369,35323905,36241409,36503553,36700161,36831233,36962305,37289985,37683202,37748743,37879809,38076417,38338561,38469633,38535169,38731777,38928385,38993926,39190529,39256066,39387138,39583745,39780353,40042497,40632321,40697857,41091073,41156609,41287681,41549825,41615361,41811969,41943041,42008577,42074113,42336257,42467329,42598401,42663937,43319298,43515908,43646977,43778049],"strings":[1703937,4325378,6881283,7471106,8388610,8650754,14614529,14680066,15269889,15925250,15990786,16908290,17891329,18546690,20643846,21954562,23330818,27197442,34209793,37683202,38993922,39387138,40108033,43319298],"symbols":[720897,1966081,15532033,27328513,38469633],"sought":[10944513,13107201],"select":[6881281,10420226,20643842,43515905],"safe":[18874369],"seeding":[20643841,32178178,34013186],"subtract":[6881284,20643848,26017793,29556737,29818881,31195137],"sum":[6881281,20643842,28835842,35717126],"straightforward":[2686977,19136513,29032449,39583745],"samller":[22675457],"step":[22675457],"stream":[1572879,4653057,6881297,8650764,9437199,9895951,12255254,14680076,18546700,20643872,22478864,23396368,27197442,35979265,37683202,37748752,38993932,43515915],"spite":[12255233],"subsequent":[16515073,25559041,28573697],"sizes":[1048577,27525121],"small":[18350082,28180481,30343169,40697858],"strsize":[6881281,20643842,25559049],"setting":[25624577],"structure":[131073,262145,327681,393217,786433,917505,983041,1245185,1441793,1638402,1835009,2031617,2162689,2293761,2424833,3080193,3145729,3276801,4063233,4521985,4653058,4718593,4784129,5046274,5373953,5439489,5636097,6029313,6356993,6488065,6750209,6815745,7143425,7667713,7733249,7798785,7864321,7929857,8323073,8454145,8585217,8978433,9043969,9502721,10289153,10354689,10682369,10747905,11272193,11403265,11665409,11730945,11862017,12058625,12124161,12189697,12582913,12845057,12976129,13369345,13434881,13697025,13828098,14090241,14417921,14745601,15269889,15728641,15794177,15859713,16056321,16121857,16384001,16449537,16842753,16973825,17039361,17367041,17498113,17825793,18022401,18087937,18481153,18808833,19005441,19070977,19202049,19660801,19726337,19857409,20054017,20119553,20185089,20316161,20447233,20840449,21102593,21168129,21233665,21364737,21692417,21823489,22085633,22151169,22282241,22413313,22609921,22740993,23199745,23461889,23527425,23592961,23658497,23789569,23986177,24182785,24248321,24576001,24772609,24838145,25427969,26542081,26869761,26935297,27459585,27656193,27721729,27918337,28049409,28114945,28966913,29229057,29425665,29491201,29753345,29884417,30408705,30801921,31064065,31260673,31391745,31522817,31588353,31784961,31850497,31916033,32309249,32374785,32440321,32571393,32833537,32899073,32964609,33030145,33226753,33292289,33357825,33423361,33882113,34078722,34537473,34603009,34865153,35389441,35586049,35848193,35913729,35979265,36175873,36372481,36896770,37093377,37158913,37289985,37355521,37617665,37879809,38076417,38666242,38731777,38928385,39124993,39321602,39452673,39780353,39845889,40304641,40370177,40501249,40632321,41025537,41091073,41615361,42401793,42532865,42795009,43122689,43188225,43450369],"significance":[1572865,15138817,22478849,27983873,34996225,43515905],"set":[196615,458754,524293,589825,720898,851970,1048579,1114114,1376257,1507335,1572866,1966082,2097155,2555907,2621444,2686980,2818050,2883586,2949124,3014658,3211265,3342343,3407877,3473410,3538953,3604482,3801095,3866627,3932167,3997699,4128776,4259841,4587523,4915203,4980738,5111810,5242882,5505025,5701634,5832707,6094855,6225922,6291463,6422530,6553603,6619138,6684674,6881441,6946823,7274498,7340034,7995394,8060933,8126473,8192006,8519682,8781826,8847369,9109509,9175044,9240580,9306119,9437186,9568261,9633793,9699337,9764874,9961479,10027010,10092551,10158082,10223621,10420226,10551303,10616834,10813447,10878978,10944514,11010052,11141122,11206665,11468804,11534340,11927553,12255234,12320773,12451843,12648456,12713986,12910599,13041666,13107202,13238274,13565961,13631497,13762564,13893636,13959174,14024711,14155785,14221316,14352388,14483460,14548994,14614530,14811138,14876679,15007748,15073285,15138818,15204361,15269889,15335428,15532036,15663106,16187397,16252937,16515073,16777217,17104903,17235972,17301513,17432583,17629186,17694722,17760263,18284546,18350084,18415623,18677762,18743303,18874370,18939906,19136516,19267592,19333127,19398665,19464194,19529731,19791874,19922946,19988483,20381700,20578306,20709378,20644162,20774915,21037064,21299202,21626890,21757954,21889026,22020099,22216707,22347779,22478850,22544391,22675457,22806530,22872068,22937602,23003138,23068674,23134210,23724033,23920641,24117251,24313858,24641543,24707081,24969227,25034754,25100295,25231363,25296898,25362435,25493511,25624583,25690121,25755659,25821185,25886726,25952263,26017794,26214403,26279940,26345473,26411010,26673156,26738692,26804231,27000835,27066373,27131906,27262983,27328514,27394052,27525123,27787266,27852806,27983876,28180482,28246018,28311555,28508167,28573699,28704771,28835849,28901378,29032452,29097986,29294595,29360130,29556738,29818882,30081033,30212103,30343175,30474245,30539783,30605322,30670849,30736391,30867463,30932997,31195138,31326210,31457281,31719426,31981570,32047108,32112644,32178177,32243714,32636936,32768009,33095684,33161218,33488898,33554437,33619975,33685506,33816579,33947650,34013185,34144259,34209794,34340866,34406402,34668547,34734086,34930695,34996228,35061762,35127301,35192841,35258375,35323906,35454984,35651587,35717121,35782658,36306946,36438020,36503556,36569090,36634628,36831239,36962306,37027842,37421065,37486596,37552130,37748738,37814280,37945345,38010882,38141954,38338566,38404104,38469634,38535173,38600705,38862853,39190531,39518209,39583748,39714817,39976970,40042504,40108034,40173577,40239106,40435721,40697858,40763394,40894467,41156610,41222149,41287682,41418759,41549826,41680902,41746434,41877508,41943041,42074119,42205196,42336263,42598403,42663938,42926082,42991624,43057161,43253762,43384839,43515905,43581442,43646979,43712517,43778049],"strlen":[15138817,27983873,34996225,42663937],"shallow":[2228225,7012353,9371649,11796481,12517377,14286849,15269889,17563649,18153473,23855105,25165825,28770305,32702465,38797313,41811969,42270721],"slash":[42663937],"satisfying":[6881281,8192001,11141121,14221313,14483457,14548993,20643842,21757953,42205185],"size_t":[1572869,1900554,2424838,3604488,4063241,4194310,5570567,5636120,6029321,6488068,6750212,6881289,7405573,7536645,8388613,9437189,9895941,10354691,11665417,12058633,12124169,12255237,12582926,12845063,12976137,13762565,16384009,16908293,17498121,18612230,20119561,20512769,20643849,20971522,21233666,22478853,22675458,22806533,23396357,23527433,24379393,25362447,25559045,27983878,28114956,28311573,29163530,29753354,30801923,32374793,32899086,34668564,34865161,34996230,35848201,35979265,36110341,37158916,37748741,38207489,38928393,39321644,39911425,40370211,40632329,42467333,42860545,43188233,43515914],"streama":[1572865],"split":[42008577],"square":[196609,6094850,6422534,6881290,12320769,20643860,31653892,37814275,40239106,41746433],"sub":[196609,589825,1048577,1114113,1703937,2097153,2359297,2555905,2686977,2818049,2949121,3407873,3473409,3538945,3604481,3801089,3932161,3997697,4128769,4194305,4390913,4587521,4915201,5111809,5242881,5505025,5832705,5898241,6094849,6160385,6225921,6291457,6815745,7077889,7340033,7536641,7602177,8060929,8126465,8847361,9240577,9306113,9568257,9633793,9699329,9764865,9830401,9961473,10027009,10092545,10223617,10420225,10551297,10813441,11075585,11206657,11534337,11927553,12320769,12451841,12845057,12910593,13041665,13172737,13500417,13565953,13631489,14024705,14155777,14614529,14876673,15073281,15204353,15400961,15466497,16187393,16252929,16449537,16515073,16777217,17104897,17301505,17760257,17891329,18284545,18415617,18677761,18743297,19136513,19333121,19398657,19464193,19791873,20512769,20774913,20905985,21430273,21626881,22020097,22216705,22544385,22872065,23265281,23724033,23789569,23920641,24117249,24641537,24707073,24903681,24969217,25100289,25231361,25362433,25493505,25690113,25755649,25821185,25886721,25952257,26214401,26279937,26411009,26673153,26804225,27066369,27262977,27394049,27525121,27852801,28246017,28442625,28508161,28573697,28835841,28901377,29032449,29294593,29949953,30015489,30081025,30212097,30343169,30474241,30539777,30605313,30670849,30932993,30998529,31129601,31391745,31457281,32178177,32243713,32636929,32768001,33095681,33619969,33816577,33947649,34013185,34144257,34209793,34275329,34340865,34406401,34471937,34734081,34930689,35127297,35192833,35258369,35651585,35717121,36700161,36765697,36831233,37289985,37421057,37814273,37945345,38076417,38207489,38338561,38535169,38600705,38731777,38862849,39059457,39256065,39518209,39583745,39649281,39714817,39911425,39976961,40108033,40173569,40435713,40763393,40828929,40894465,41418753,41680897,41746433,41943041,42008577,42074113,42205185,42336257,42598401,42860545,42991617,43057153,43253761,43384833,43646977,43712513,43778049],"seeds":[32178177,34013185],"sure":[10027009,16515073,30998529],"sgn":[42205187],"special":[5767170,6881281,9830402,13238274,16646147,20643843,23265281,24444930,25034754,26738690,32178177,33816578,34013185],"source":[5832705,6553601,8060929,10223617,13500417,18939905,19988481,20709377,21889025,22020097,22216705,22675460,25231361,25296897,26214401,29294593,32178177,33161217,33685505,34013185,39190529,40763393,40894465,41156609,41746433,43581441,43646977],"satisfy":[7340033,21889025,33161217,38404097],"sizeof":[25362436],"space":[1048580,1310721,1769474,2097156,3866628,4194305,4849666,4915202,5308418,5570561,6881308,7405570,7536641,8060929,9437187,10027009,15466497,15925250,16515074,18874370,18939905,19529732,19988481,20512769,20643892,20709377,22020097,22347779,22806529,23330818,23396353,24051713,24379397,25231361,25559041,26148866,27000836,27525124,27983873,28311555,29622274,29687810,30998529,33685505,33751042,33816577,34275329,34471937,34668547,34996225,35651588,35979266,36110338,38207489,38273026,39649281,39911425,40239105,40763393,41156609,41746433,42860545,43646977],"standard":[6881284,15990787,20643848,21299201,21954563,27197443,36438017,37683203],"successful":[42139649],"string":[1310728,1572866,1638409,1835009,2228225,2293768,2424833,4325389,4456450,4915202,5046273,5373953,5439498,5570565,5963778,6815753,6881302,7012353,7471117,8388622,8650762,9371651,9437189,9895941,10485762,11337735,11730946,11796481,12255234,12517377,13828097,13959171,14286849,14680074,15138824,15269889,15925261,15990790,16711687,16908302,17563651,18153473,18546696,19988485,20250632,20447240,20643884,20971522,21168131,21299202,21495816,21954566,22347783,22478853,22806529,23330829,23396355,23461892,23592961,23855107,25165825,25559041,27197446,27983880,28770305,29425665,29884424,32440321,32702465,33816578,34078721,34996232,35389441,35979265,36241415,37158920,37289987,37683206,37748741,37945346,38600706,38666241,38797313,38993928,39190531,39321601,39387148,40304648,41156614,41353224,41811969,42270721,42663946,43319309,43515907],"separated":[43515905],"storing":[4980737,6881281,20643842,24903681],"shift":[3932161,6881282,20643844,31719426,36962305],"skip":[25362433,28311553,34668545],"symbol":[720902,1966086,6881287,9175044,15532038,20643854,27328518,32047109,38469638],"safely":[16646145],"sets":[524289,2686977,5046273,6881284,9109505,9371649,11993089,12517377,12845057,13303809,13828097,15007745,16449537,17956865,19136513,20643850,23789569,23855105,26607617,28770305,29032449,31391745,33554433,34078721,35520513,38666241,38731777,39321601,39583745,41222145],"squares":[6422529],"struc":[22675457],"second":[458753,720897,851970,1048577,1376257,1966081,2097153,2949121,3473409,3538945,3866625,3932161,4849665,5111809,5242881,6160385,6225921,6291457,6553601,6684673,6946817,8519681,8781825,8847361,9175041,9240577,9306113,9699329,9961473,11010049,11206657,11468801,11534337,11927553,12713986,12910593,13565953,13631489,13893633,14024705,14352385,15204353,15335425,15532033,15597569,15663105,16252929,16777217,17235969,18219009,18415617,18874369,19398657,19464193,19529729,19922945,20381697,20709379,20774913,23920641,24117249,25100289,26017793,26083329,26279937,26804225,27000833,27262977,27328513,27525121,28180481,28835841,29556737,29622273,29687809,29818881,30932993,31195137,31326209,31981569,32047105,32112641,32243713,32636929,33095681,33488897,33619969,33685507,33751041,33947649,34144257,34406401,34734081,35061761,35192833,35258369,35323905,35717121,36503553,36831233,37224449,37421057,37486593,38404097,38469633,39518209,40173569,40239105,40763393,40828929,41877505,41943041,42074113,42205186,42336257,42991617,43057153,43253761,43778049],"simply":[19988481,21889025,22347777,25296897,25362433,33161217,41156609,43581441],"support":[327681,917505,1310721,1441793,2031617,4063233,4521985,4718593,6029313,6356993,7143425,7733249,7798785,7864321,8323073,8454145,10289153,10682369,11665409,12058625,12124161,12189697,12976129,13369345,13434881,15728641,15859713,16056321,16121857,16384001,16711681,17039361,17498113,17825793,18087937,18808833,19202049,19660801,20119553,20185089,20316161,20840449,21102593,21364737,21692417,21823489,22413313,22609921,23527425,23658497,24182785,24248321,24576001,25427969,26542081,26869761,26935297,28966913,29229057,29491201,31064065,31522817,31850497,32309249,32374785,33030145,33226753,34865153,35848193,36241409,36372481,37879809,38928385,39124993,39452673,39780353,40632321,41025537,41091073,41615361,43122689,43188225,43450369],"similarly":[22675457],"sealed":[20643841,41484289],"s1n":[5570569,6881288,18939913,20643856,26017799,26083335,33488904],"specifies":[22675457],"sequenceequal":[1048578,1114114,3473410,3866626,5111810,5242882,5570562,6225922,6553602,6684674,8781826,10420226,15663106,18677762,18939906,19464194,19791874,19922946,20709380,21889026,25296898,25559042,26017794,26411010,27000834,27525122,27787266,28901380,29556738,29818882,31195138,31326210,31719426,31981570,32243714,33161218,33488898,33685508,33947650,34406402,35651586,36962306,40239108,40763394,40828932,41746434,43253762,43581442],"specified":[131074,393217,983042,1638402,1835010,2162690,2228225,2424834,4653058,5046274,5373954,6750210,7012353,7667714,8585217,9043969,9371649,9895938,10354689,11796481,12517377,13828098,14090242,14286849,15269889,15794177,17367042,17563649,18153473,20054017,21168130,22282241,22347778,22675457,23592962,23855105,25165825,27918337,28770305,29425666,29753345,31260673,31588353,31916033,32571393,32702465,32833537,34078722,34537473,35586050,36896770,37617666,38666242,38797313,39321602,40501249,41811969,42270721,42401794],"short":[2031619,3014658,4063233,4521985,7733251,8454147,12124163,13369345,15400961,15859713,16056323,20119553,21692417,22609923,22675459,23527427,24576001,25362433,25427969,26542081,28966915,31522817,31850499,32309251,36569090],"snprintf":[8388609,16908289],"supported":[196610,458754,589826,655362,720898,851970,1048578,1114114,1376258,1507330,1572866,1703938,1966082,2097154,2555906,2621442,2686978,2818050,2883586,2949122,3014658,3342338,3407874,3473410,3538946,3604482,3801090,3866626,3932162,3997698,4128770,4325378,4390914,4587522,4915202,4980738,5111810,5242882,5505026,5570562,5701634,5767170,5832706,6094850,6160386,6225922,6291458,6422530,6553602,6619138,6684674,6946818,7274498,7340034,7471106,7995394,8060930,8126466,8192002,8257538,8388610,8519682,8650754,8781826,8847362,9175042,9240578,9306114,9437186,9568258,9633794,9699330,9764866,9895938,9961474,10027010,10092546,10158082,10223618,10420226,10551298,10616834,10813442,10878978,10944514,11010050,11141122,11206658,11337730,11468802,11534338,11927554,12255234,12320770,12451842,12648450,12713986,12779522,12910594,13041666,13107202,13238274,13500418,13565954,13631490,13762562,13893634,13959170,14024706,14155778,14221314,14352386,14483458,14548994,14614530,14680066,14811138,14876674,15073282,15138818,15204354,15335426,15466498,15532034,15597570,15663106,15925250,15990786,16187394,16252930,16515074,16580610,16646146,16777218,16908290,17104898,17235970,17301506,17432578,17629186,17694722,17760258,17891330,18219010,18284546,18350082,18415618,18546690,18677762,18743298,18874370,18939906,19136514,19267586,19333122,19398658,19464194,19529730,19791874,19922946,19988482,20381698,20578306,20709378,20774914,21037058,21299202,21561346,21626882,21757954,21889026,21954562,22020098,22216706,22347778,22478850,22544386,22675457,22806530,22872066,22937602,23003138,23068674,23134210,23265282,23330818,23396354,23724034,23920642,24117250,24313858,24444930,24510466,24641538,24707074,24903682,24969218,25034754,25100290,25231362,25296898,25362434,25493506,25559042,25624578,25690114,25755651,25821186,25886722,25952258,26017794,26083330,26214402,26279938,26411010,26673154,26738690,26804226,27000834,27066370,27131906,27197442,27262978,27328514,27394050,27525122,27590658,27787266,27852802,27983874,28180482,28246018,28311554,28508163,28573698,28639234,28704770,28835842,28901378,29032450,29097986,29294594,29360130,29556738,29818882,30015490,30081026,30212098,30277634,30343170,30474242,30539778,30605314,30736386,30867458,30932994,30998530,31195138,31326210,31457282,31653890,31719426,31981570,32047106,32112642,32178178,32243714,32636930,32768002,33095682,33161218,33488898,33619970,33685506,33816578,33947650,34013186,34144258,34209794,34275330,34340866,34406402,34471938,34668546,34734083,34930690,34996226,35061762,35127298,35192834,35258370,35323906,35454978,35651586,35717122,35782658,36306946,36438018,36503554,36569090,36634626,36831234,36962306,37027842,37224450,37421058,37486594,37552130,37683202,37748738,37814274,37945346,38010882,38141954,38338562,38404098,38469634,38535170,38600706,38862850,38993922,39190530,39387138,39518210,39583746,39649282,39714818,39976962,40042498,40108034,40173570,40239106,40435714,40697858,40763394,40828930,40894466,40960002,41156610,41287682,41418754,41549826,41680898,41746434,41877506,41943042,42074114,42139650,42205186,42336258,42467330,42598402,42663938,42926082,42991618,43057154,43253762,43319298,43384834,43515906,43581442,43646978,43712514,43778050],"systems":[5046273,9371649,9895937,13828098,22347777,25362433,32178177,34013185,38666241,43515905],"speed":[8781825,23265281,31326209],"seminumerical":[6881281,20643842,41287681],"starting_bit":[10944520,13107208],"static":[196611,327682,458755,589827,655363,720899,851971,917506,1048579,1114115,1310722,1376259,1441794,1507331,1572867,1703939,1769475,1900547,1966083,2031618,2097155,2555907,2621443,2686979,2818051,2883587,2949123,3014659,3342339,3407875,3473411,3538947,3604483,3801091,3866627,3932163,3997699,4063234,4128771,4194307,4325379,4390915,4521986,4587523,4718594,4849667,4915203,4980739,5111811,5242883,5308419,5505027,5570563,5701635,5767171,5832707,6029314,6094851,6160387,6225923,6291459,6356994,6422531,6553603,6619139,6684675,6946819,7143426,7274499,7340035,7405571,7471107,7733250,7798786,7864322,7929859,7995395,8060931,8126467,8192003,8257539,8323074,8388611,8454146,8519683,8650755,8781827,8847363,9175043,9240579,9306115,9437187,9568259,9633795,9699331,9764867,9830403,9895939,9961475,10027011,10092547,10158083,10223619,10289154,10420227,10551299,10616835,10682370,10747907,10813443,10878979,10944515,11010051,11141123,11206659,11337731,11403267,11468803,11534339,11665410,11927555,12058626,12124162,12189698,12255235,12320771,12451843,12582915,12648451,12713987,12779523,12910595,12976130,13041667,13107203,13238275,13369346,13434882,13500419,13565955,13631491,13697027,13762563,13893635,13959171,14024707,14155779,14221315,14352387,14483459,14548995,14614531,14680067,14811139,14876675,15007747,15073283,15138819,15204355,15335427,15466499,15532035,15597571,15663107,15728642,15859714,15925251,15990787,16056322,16121858,16187395,16252931,16384002,16515075,16580611,16646148,16711682,16777219,16908291,17039362,17104899,17235971,17301507,17432579,17498114,17629187,17694723,17760259,17825794,17891331,18087938,18219011,18284547,18350083,18415619,18546691,18677763,18743299,18808834,18874371,18939907,19136515,19202050,19267587,19333123,19398659,19464195,19529731,19660802,19726339,19791875,19922947,19988483,20119554,20185090,20316162,20381699,20512771,20578307,20643841,20709379,20774915,20840450,20905987,21037059,21102594,21299203,21364738,21430275,21561347,21626883,21692418,21757955,21823490,21889027,21954563,22020099,22085635,22216707,22347779,22413314,22478851,22544387,22609922,22675458,22806531,22872067,22937603,23003139,23068675,23134211,23265283,23330819,23396355,23527426,23658498,23724035,23920643,23986179,24117251,24182786,24248322,24313859,24444931,24510467,24576002,24641539,24707075,24772611,24903683,24969219,25034755,25100291,25231363,25296899,25362435,25427970,25493507,25559043,25624579,25690115,25755651,25821187,25886723,25952259,26017795,26083331,26148867,26214403,26279939,26411011,26542082,26673155,26738691,26804227,26869762,26935298,27000835,27066371,27131907,27197443,27262979,27328515,27394051,27525123,27590659,27787267,27852803,27983875,28180483,28246019,28311555,28508163,28573699,28639235,28704771,28835843,28901379,28966914,29032451,29097987,29229058,29294595,29360131,29491202,29556739,29622275,29687811,29818883,30015491,30081027,30212099,30277635,30343171,30408707,30474243,30539779,30605315,30736387,30867459,30932995,30998531,31064066,31195139,31326211,31457283,31522818,31653891,31719427,31784963,31850498,31981571,32047107,32112643,32178179,32243715,32309250,32374786,32636931,32768003,32899075,33030146,33095683,33161219,33226754,33357827,33488899,33619971,33685507,33751043,33816579,33947651,34013187,34144259,34209795,34275331,34340867,34406403,34471939,34603011,34668547,34734083,34865154,34930691,34996227,35061763,35127299,35192835,35258371,35323907,35454979,35651587,35717123,35782659,35848194,35913731,36175875,36241410,36306947,36372482,36438019,36503555,36569091,36634627,36831235,36962307,37027843,37224451,37421059,37486595,37552131,37683203,37748739,37814275,37879810,37945347,38010883,38141955,38207491,38273027,38338563,38404099,38469635,38535171,38600707,38862851,38928386,38993923,39124994,39190531,39256067,39387139,39452674,39518211,39583747,39649283,39714819,39780354,39845891,39911427,39976963,40042499,40108035,40173571,40239107,40435715,40632322,40697859,40763395,40828931,40894467,40960003,41025538,41091074,41156611,41287683,41418755,41549827,41615362,41680899,41746435,41877507,41943043,42074115,42139651,42205187,42336259,42467331,42598403,42663939,42795011,42860547,42926083,42991619,43057155,43122690,43188226,43253763,43319299,43384835,43450370,43515907,43581443,43646979,43712515,43778051],"section":[34734081],"subtraction":[26017794,29556737],"subversion":[22675457],"structures":[35979265],"single":[3866625,6881282,20643844,27000833,34078721],"scan":[6881284,10944514,13107202,20643848,28704769,30277633],"sign":[3538945,5767169,6619137,9830403,10158081,10944513,11206657,13041665,13107201,13893633,15138817,16646147,17104897,22347777,22806530,23003137,23068674,25362434,25624577,25690113,27983873,28246017,28311554,34668546,34996225,37027841,38010882,41680897,42663937,43057153],"specify":[1310721,9895937,22347777,25362433,28311553,34668545],"separately":[6881282,9437185,16711681,20643844,21299201,36438017,41156609],"state":[655380,5898242,6160405,6881288,7340036,13500429,14614550,18284565,20643859,20905993,21561364,23265301,24969217,25165825,26673174,28377090,30015509,32178199,34013207,34209794,34340886,35979265,41811971,42139669],"subtrahend":[6881281,20643842,27787265,39518214],"s1p":[1114119,3473423,5242895,5570581,6225935,6684686,6881312,8781838,10616848,15597585,15663119,16580618,18939919,19464207,19791879,19922961,20643904,25559042,26017807,26083345,28704781,29556753,29818895,30277645,31195149,31326225,31653907,31981582,32243727,33488911,33947663,34406415,37224464,40763407,41746447,43253775],"subroutines":[22675457],"somewhat":[38404097],"shared":[196609,327681,458753,589825,655361,720897,851969,917505,1048577,1114113,1310721,1376257,1441793,1507329,1572865,1703937,1769473,1900545,1966081,2031617,2097153,2555905,2621441,2686977,2818049,2883585,2949121,3014657,3342337,3407873,3473409,3538945,3604481,3801089,3866625,3932161,3997697,4063233,4128769,4194305,4325377,4390913,4521985,4587521,4718593,4849665,4915201,4980737,5111809,5242881,5308417,5505025,5570561,5701633,5767169,5832705,6029313,6094849,6160385,6225921,6291457,6356993,6422529,6553601,6619137,6684673,6946817,7143425,7274497,7340033,7405569,7471105,7733249,7798785,7864321,7929857,7995393,8060929,8126465,8192001,8257537,8323073,8388609,8454145,8519681,8650753,8781825,8847361,9175041,9240577,9306113,9437185,9568257,9633793,9699329,9764865,9830401,9895937,9961473,10027009,10092545,10158081,10223617,10289153,10420225,10551297,10616833,10682369,10747905,10813441,10878977,10944513,11010049,11141121,11206657,11337729,11403265,11468801,11534337,11665409,11927553,12058625,12124161,12189697,12255233,12320769,12451841,12582913,12648449,12713985,12779521,12910593,12976129,13041665,13107201,13238273,13369345,13434881,13500417,13565953,13631489,13697025,13762561,13893633,13959169,14024705,14155777,14221313,14352385,14483457,14548993,14614529,14680065,14811137,14876673,15007745,15073281,15138817,15204353,15335425,15466497,15532033,15597569,15663105,15728641,15859713,15925249,15990785,16056321,16121857,16187393,16252929,16384001,16515073,16580609,16646145,16711681,16777217,16908289,17039361,17104897,17235969,17301505,17432577,17498113,17629185,17694721,17760257,17825793,17891329,18087937,18219009,18284545,18350081,18415617,18546689,18677761,18743297,18808833,18874369,18939905,19136513,19202049,19267585,19333121,19398657,19464193,19529729,19660801,19726337,19791873,19922945,19988481,20119553,20185089,20316161,20381697,20512769,20578305,20709377,20774913,20840449,20905985,21037057,21102593,21299201,21364737,21430273,21561345,21626881,21692417,21757953,21823489,21889025,21954561,22020097,22085633,22216705,22347777,22413313,22478849,22544385,22609921,22675457,22806529,22872065,22937601,23003137,23068673,23134209,23265281,23330817,23396353,23527425,23658497,23724033,23920641,23986177,24117249,24182785,24248321,24313857,24444929,24510465,24576001,24641537,24707073,24772609,24903681,24969217,25034753,25100289,25231361,25296897,25362433,25427969,25493505,25559041,25624577,25690113,25755649,25821185,25886721,25952257,26017793,26083329,26148865,26214401,26279937,26411009,26542081,26673153,26738689,26804225,26869761,26935297,27000833,27066369,27131905,27197441,27262977,27328513,27394049,27525121,27590657,27787265,27852801,27983873,28180481,28246017,28311553,28508161,28573697,28639233,28704769,28835841,28901377,28966913,29032449,29097985,29229057,29360129,29294593,29491201,29556737,29622273,29687809,29818881,30015489,30081025,30212097,30277633,30343169,30408705,30474241,30539777,30605313,30736385,30867457,30932993,30998529,31064065,31195137,31326209,31457281,31522817,31653889,31719425,31784961,31850497,31981569,32047105,32112641,32178177,32243713,32309249,32374785,32636929,32768001,32899073,33030145,33095681,33161217,33226753,33357825,33488897,33619969,33685505,33751041,33816577,33947649,34013185,34144257,34209793,34275329,34340865,34406401,34471937,34603009,34668545,34734081,34865153,34930689,34996225,35061761,35127297,35192833,35258369,35323905,35454977,35651585,35717121,35782657,35848193,35913729,36175873,36241409,36306945,36372481,36438017,36503553,36569089,36634625,36831233,36962305,37027841,37224449,37421057,37486593,37552129,37683201,37748737,37814273,37879809,37945345,38010881,38141953,38207489,38273025,38338561,38404097,38469633,38535169,38600705,38862849,38928385,38993921,39124993,39190529,39256065,39387137,39452673,39518209,39583745,39649281,39714817,39780353,39845889,39911425,39976961,40042497,40108033,40173569,40239105,40435713,40632321,40697857,40763393,40828929,40894465,40960001,41025537,41091073,41156609,41287681,41418753,41549825,41615361,41680897,41746433,41877505,41943041,42074113,42139649,42205185,42336257,42467329,42598401,42663937,42795009,42860545,42926081,42991617,43057153,43122689,43188225,43253761,43319297,43384833,43450369,43515905,43581441,43646977,43712513,43778049],"slow":[21889025,33161217],"software":[22675459],"syuu":[22675458],"s2limb":[6881286,15663110,19922950,20643852,26083334,29556742,29818886,31326216],"similar":[2686977,21299201,36438017,39583745],"simultaneous":[4128769,8060929,13959169,20643842,22020097,25231361,25886721,27852801,38338561,39190529,43646977],"stdout":[6881282,15990785,20643844,21954561],"significand":[9109505,9371649,11993089],"successfully":[4325377,7471105,8650753,14680065,22675457,27197441,37683201],"struct":[1638402,4653058,5046274,13828098,15269890,34078722,36896770,38666242,39321602],"scratch":[1048581,1769474,2097156,3866629,4849666,5308418,6881288,18874371,19529732,20643856,26148866,27000837,27525125,29622274,29687810,33751042,35651589,38273026],"store":[1703937,6881288,10420225,11534337,17891329,20709378,20643856,28180481,33685506,34734081,35454977,42991617],"subfolder":[22675457],"suited":[32178177,34013185],"specific":[22675458],"separate":[5111809,25296897,32178177,34013185,40239106,43581441],"studio":[22675463],"sense":[22347777],"shows":[22675458,40566785],"suppressed":[4325377,7471105,8650753,14680065,27197441,37683201],"s2n":[6881286,18939913,20643852,25296904,26017798,33488903,43581448],"syntax":[196609,327681,393217,458753,524289,589825,655361,720897,851969,917505,1048577,1114113,1245185,1310721,1376257,1441793,1507329,1572865,1638401,1703937,1769473,1900545,1966081,2031617,2097153,2293761,2359297,2555905,2621441,2686977,2752513,2818049,2883585,2949121,3014657,3080193,3211265,3342337,3407873,3473409,3538945,3604481,3735553,3801089,3866625,3932161,3997697,4063233,4128769,4194305,4325377,4390913,4521985,4587521,4653057,4718593,4784129,4849665,4915201,4980737,5046273,5111809,5242881,5308417,5439489,5505025,5570561,5701633,5767169,5832705,5898241,6029313,6094849,6160385,6225921,6291457,6356993,6422529,6553601,6619137,6684673,6815745,6946817,7077889,7143425,7208961,7274497,7340033,7405569,7471105,7536641,7602177,7733249,7798785,7864321,7929857,7995393,8060929,8126465,8192001,8257537,8323073,8388609,8454145,8519681,8585217,8650753,8781825,8847361,9043969,9109505,9175041,9240577,9306113,9371649,9437185,9502721,9568257,9633793,9699329,9764865,9830401,9895937,9961473,10027009,10092545,10158081,10223617,10289153,10354689,10420225,10551297,10616833,10682369,10747905,10813441,10878977,10944513,11010049,11075585,11141121,11206657,11272193,11337729,11403265,11468801,11534337,11599873,11665409,11730945,11862017,11927553,12058625,12124161,12189697,12255233,12320769,12386305,12451841,12517377,12582913,12648449,12713985,12779521,12845057,12910593,12976129,13041665,13107201,13172737,13238273,13369345,13434881,13500417,13565953,13631489,13697025,13762561,13828097,13893633,13959169,14024705,14155777,14221313,14286849,14352385,14483457,14548993,14614529,14680065,14745601,14811137,14876673,15007745,15073281,15138817,15204353,15269889,15335425,15400961,15466497,15532033,15597569,15663105,15728641,15794177,15859713,15925249,15990785,16056321,16121857,16187393,16252929,16318465,16384001,16449537,16515073,16580609,16646145,16711681,16777217,16908289,16973825,17039361,17104897,17170433,17235969,17301505,17432577,17498113,17563649,17629185,17694721,17760257,17825793,17891329,18022401,18087937,18219009,18284545,18350081,18415617,18546689,18677761,18743297,18808833,18874369,18939905,19070977,19136513,19202049,19267585,19333121,19398657,19464193,19529729,19595265,19660801,19726337,19791873,19922945,19988481,20054017,20119553,20185089,20250625,20316161,20381697,20447233,20512769,20578305,20643841,20709377,20774913,20840449,20905985,21037057,21102593,21233665,21299201,21364737,21430273,21495809,21561345,21626881,21692417,21757953,21823489,21889025,21954561,22020097,22085633,22151169,22216705,22282241,22347777,22413313,22478849,22544385,22609921,22806529,22872065,22937601,23003137,23068673,23134209,23265281,23330817,23396353,23527425,23658497,23724033,23789569,23855105,23920641,23986177,24051713,24117249,24182785,24248321,24313857,24444929,24510465,24576001,24641537,24707073,24772609,24903681,24969217,25034753,25100289,25231361,25296897,25362433,25427969,25493505,25559041,25624577,25690113,25755649,25821185,25886721,25952257,26017793,26083329,26148865,26214401,26279937,26345473,26411009,26476545,26542081,26673153,26738689,26804225,26869761,26935297,27000833,27066369,27131905,27197441,27262977,27328513,27394049,27525121,27590657,27787265,27852801,27918337,27983873,28180481,28246017,28311553,28377089,28442625,28508161,28573697,28639233,28704769,28770305,28835841,28901377,28966913,29032449,29097985,29163521,29229057,29294593,29360129,29491201,29556737,29622273,29687809,29753345,29818881,29884417,29949953,30015489,30081025,30212097,30277633,30343169,30408705,30474241,30539777,30605313,30670849,30736385,30801921,30867457,30932993,30998529,31064065,31129601,31195137,31260673,31326209,31391745,31457281,31522817,31588353,31653889,31719425,31784961,31850497,31916033,31981569,32047105,32112641,32178177,32243713,32309249,32374785,32505857,32571393,32636929,32768001,32833537,32899073,32964609,33030145,33095681,33161217,33226753,33292289,33357825,33488897,33554433,33619969,33685505,33751041,33816577,33947649,34013185,34078721,34144257,34209793,34275329,34340865,34406401,34471937,34537473,34603009,34668545,34734081,34799617,34865153,34930689,34996225,35061761,35127297,35192833,35258369,35323905,35389441,35454977,35651585,35717121,35782657,35848193,35913729,36044801,36110337,36175873,36241409,36306945,36372481,36438017,36503553,36569089,36634625,36700161,36765697,36831233,36896769,36962305,37027841,37158913,37224449,37289985,37421057,37486593,37552129,37683201,37748737,37814273,37879809,37945345,38010881,38076417,38141953,38207489,38273025,38338561,38404097,38469633,38535169,38600705,38666241,38731777,38862849,38928385,38993921,39059457,39124993,39190529,39256065,39321601,39387137,39452673,39518209,39583745,39649281,39714817,39780353,39845889,39911425,39976961,40042497,40108033,40173569,40239105,40304641,40435713,40501249,40566785,40632321,40697857,40763393,40828929,40894465,40960001,41025537,41091073,41156609,41222145,41287681,41353217,41418753,41484289,41549825,41615361,41680897,41746433,41811969,41877505,41943041,42008577,42074113,42139649,42205185,42336257,42467329,42532865,42598401,42663937,42729473,42795009,42860545,42926081,42991617,43057153,43122689,43188225,43253761,43319297,43384833,43450369,43515905,43581441,43646977,43712513,43778049]}