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

1 line
37 KiB
JSON

{"selects":[22413313],"serves":[6291457,7864321,11141121,13434881,15007745,15400961,16842753,21430273,22282241,23199745,31588353,34603009,35127297,40042497],"stored":[4128769,6619137,8323073,14024705,16908289,20250626,21692417,21823489,29360129,32833537,33030146,35323906,38338561],"signed":[917505,2949121,4653057,5963780,6750209,8847361,9371649,9437185,9633793,10944513,14680065,15335428,16711681,17104897,22216705,23920641,25624577,27656194,32178180,33357826,35323905,35979265,36896769,37486593,38535169,41222146],"start":[2555905,10223617,12058625,22478849,29556737],"skipped":[21823489],"sqrt":[196610,4718594,11665410,25886722,37617666,38141954],"starting":[10223619,12058627,23658497,26279937],"swap":[3407875,5963779,15335427,23265283,25690115],"strictly":[19529729],"str":[1441793,5046290,5963782,6160390,7667720,13303814,15335430,15794184,15925257,16318472,17235974,21757960,24444934,27066389,27328522,29360136,30867461,35520518,36306953,38338568],"smaller":[1835010,5963777,15073281,15335425,19988481],"search":[65537],"sequence":[2555905,29556737,29884417,39845889],"sbyte":[720898,2752513,4063235,5308420,6750214,8847364,9371652,9437190,9633798,10944518,13631491,16711686,23068676,23789571,23920646,24248322,24772611,27787268,29491203,31326209,31653892,32309252,34013187,34537476,34734083,37486596,38535174],"s3limb":[5963778,15335426,28573702,40501254],"swaps":[5963777,15335425,34996225],"size":[1114128,1245186,1507330,2162700,2883586,3276811,3670022,4325378,5046274,5111810,5898252,5963781,6815746,6881285,7012355,7405570,7667722,8454145,8585217,9043970,9306116,9699330,9961476,12451842,13238274,13434882,13500417,14286850,14417922,15073286,15269893,15335429,16056322,16121860,16187394,16318474,16777218,16908291,17956866,18350082,18743310,19529744,19791875,20316162,20905986,21233666,21823494,22478852,22740996,23527425,24576001,25034754,25362434,25559051,26411010,26476546,25231372,28573698,28966914,29032450,29294594,29360129,29884417,30015490,30998530,31195139,32374786,27066370,33619974,33751042,34209794,34275342,34865160,34996226,35454978,35717122,36044803,37552129,37945355,38141958,38338561,38469634,38666242,38993922,39059460,39256065,39714818,39780356,39845889,40173578,40501250,40697858,41156610],"sort":[65537],"stdin":[5963778,15335426,21692417,32833537],"stdio":[1245185,5963781,11337729,15335429,18874369,22806529,34078721],"seed":[524290,5963778,12648450,15335426,19988482,20774914,24117250,29884434,30736386,39845916],"s2p":[2883597,4325389,5963794,6815757,7012364,9043982,13238287,15335442,16121871,16777229,22741007,28573713,28966926,30998541,31195148,32374797,33751053,38469645,38666253,38993933,39780367,40501265],"storage":[15925249,36306945],"shifted":[35454977,41156609],"significant":[2097153,2424833,5046273,5570561,5636097,5832705,5898241,5963787,9043969,9895937,10223618,10289153,12058626,12124161,12910593,14286849,15204353,15335435,16121858,16384001,18022401,18743298,19464193,19529729,19988482,20316162,22347777,22478849,22740993,23396353,21823499,25034754,25362433,26869761,25231361,27328513,30015490,32178177,33030150,27066371,35454977,38141953,38469633,38666241,38797313,39583745,39714817,39780353,40173579,40697857,41091073,41156609,41418753],"selected":[5963777,9961473,15335425,34865153],"signs":[38076417,40960001],"swapped":[3407874,23265282,25690113],"style":[7667714,16318466],"stops":[8978433],"sealedattribute":[1441793,4063233,4456449,13631489,15335425,31653889,34013185,34537473,35782657],"sequences":[2555905,17825793,25821185,29556737,29884418,39845890],"system":[393217,524289,655361,786433,851969,983042,1179649,1245190,1310721,1376257,1572865,1638401,1966081,2293761,2555905,3342337,3604481,3997697,4128771,4784129,5046273,5177345,5570561,5767169,6160385,6225921,6488065,6619139,7077889,7208961,7602177,7667714,7864321,7929857,8126465,8323078,8388609,8781831,8847361,8978439,9175041,9371649,9633793,9764865,10616834,11206657,11272194,11337732,11534337,11665409,11862017,11927554,12582913,12713985,13107201,13172737,13303809,13434881,13565953,13762561,14024710,14155777,14352385,14614529,14811137,15007745,15204353,15335425,15728642,15794178,15925249,15990785,16318466,16449538,16646145,16711681,16842753,16973825,17039366,17170433,17235969,17301505,17367041,17760257,17825793,17891329,18415617,18546689,18612225,18808833,18874375,19005441,19136513,19333121,19398657,19857409,20185089,20250625,20381697,20447233,20512770,20643841,20774913,20840449,20971521,21037057,21102593,21430273,21495809,21561345,21626881,21692418,21757954,22020097,22085633,22151169,22282241,22478849,22544385,22675457,22806535,23003137,23461889,23592961,23855105,21823490,24313857,24444929,24969217,25100289,25427969,25821185,25165825,25886721,26017793,26083330,26542081,26869761,27328513,27459585,27590657,27721729,27852801,28377089,28704769,29163521,29229057,29360130,29425665,29556737,29622274,29687809,29884420,30212097,30343169,30539777,30867457,31457281,32243713,32440321,32636929,32833538,32964609,27066369,33161222,33226753,33488897,33554434,33882113,34078727,34340865,34603009,34930689,35192833,35454977,35520513,35651585,36306945,36372481,36634625,37027841,37421057,37486593,37552129,37879809,38338562,38862849,38928385,39059457,39124993,39518209,39845891,39976964,40108033,40173570,40239105,40304641,40566785,40894466,40960001,41025537,41156609,41418753],"strings":[2097153,4128770,5963779,6619138,7667714,8323074,12648449,14024706,15007745,15335427,15728642,15794178,16318466,17039362,18022401,20512770,21692418,21757954,29360130,30146561,32833538,33161218,36503553,38338562],"symbols":[851969,1966081,15597569,28377089,32440321],"sought":[10223617,12058625],"select":[5963777,9961474,15335425,39976961],"safe":[15073281],"seeding":[29884417,39845889],"subtract":[5963780,15335428,22740993,25034753,38469633,39714817],"sum":[5963777,15335425,38010882,40828934],"straightforward":[2555905,17825793,25821185,29556737],"stream":[1245199,4456449,5963793,8323084,8781839,8978447,11337750,14024716,15335441,17039372,18874384,21692418,22806544,32833538,33161228,34078736,34406401,39976971],"spite":[11337729],"subsequent":[16908289,24182785,27066369],"sizes":[1114113,34275329],"small":[18415618,20971521,21299201,35192834],"strsize":[5963777,15335425,27066377],"setting":[21626881],"structure":[131073,262145,327681,655361,720897,786433,917505,1048577,1441794,1572865,1703937,1769473,1900545,2228225,2359297,2752513,2949121,3473409,3604481,4063234,4194305,4456450,4653057,4849665,4915201,4980737,5308417,5767169,6094849,6160385,6225921,6684673,6750209,6946817,7208961,7798785,8519681,8716289,8847361,9175041,9371649,9437185,9633793,9764865,10485761,10551297,10747905,10878977,10944513,11010049,11075585,11534337,11796481,11993089,12582913,12779521,13565953,13631490,13697025,13762561,14221313,14614529,14680065,14942209,15007745,15663105,15990785,16252929,16515073,16580609,16646145,16711681,16973825,17104897,17170433,17367041,17498113,17563649,17760257,17891329,18153473,18219009,18481153,18546689,18677761,18939905,19136513,19202049,19267585,19398657,19595265,19857409,20054017,20119553,20185089,20643841,20840449,21364737,21495809,21889025,22151169,22216705,22544385,22609921,22937601,23003137,23068673,23330817,23461889,23789569,23855105,23920641,24248321,24772609,24641537,25100289,25296897,26214401,25624577,26542081,26804225,27131905,27262977,27459585,27787265,27983873,28049409,28180481,28442625,28508161,28639233,28835841,28901377,29491201,29818881,29949953,30081025,30212097,30343169,30670849,30801921,31129601,31326209,31457281,31653890,31719425,31784961,31981569,32309249,32571393,32636929,32768001,33226753,33488897,33685505,33816577,34013186,34144257,34406401,34537474,34734081,34799617,35258369,35586049,35651585,35782658,35848193,36175873,36372481,36765697,36896769,37027841,37224449,37486593,37683201,38273025,38535169,38731777,38862849,39190529,39321601,39452673,39911425,40239105,40304641],"significance":[1245185,15925249,18874369,27328513,39976961],"set":[196615,393218,589825,851970,983042,1114115,1245186,1310723,1376263,1507330,1638401,1966082,2162691,2293767,2424841,2490370,2555908,2818050,2883586,3014658,3080193,3145732,3276803,3342341,3407876,3538951,3735560,3801089,3866631,3997699,4259842,4325378,4718599,4784131,5111810,5177347,5242881,5439490,5505031,5636098,5701635,5898243,5963937,6356994,6488071,6815746,7012354,7077890,7143426,7274501,7340041,7536642,7602178,7733254,7929863,7995401,8060937,8126468,8192010,8257541,8388615,8650756,8912898,8978434,9043970,9240577,9306114,9502725,9568258,9699330,9830407,9895938,9961474,10027015,10223618,10289161,10354692,10616834,10682372,11206663,11272196,11337730,11403265,11665413,11730947,11862024,11927554,12058626,12124162,12189700,12320772,12386313,12451844,12648450,12713991,12845065,12910596,12976133,13041673,13107207,13172740,13303814,13369346,13500418,13828103,13893636,14155778,14286850,14483460,14549001,14745602,14811143,15007745,15073282,15138818,15335585,15466505,15532034,15597572,15859719,15925250,16121858,16384007,16449541,16777218,16908289,17235971,17301506,17629186,17694729,17825796,18087945,18284545,18350082,18415620,18612228,18743299,18808835,18874370,19005447,19070983,19333128,19529730,19660807,19791874,19988482,20250626,20316162,20381704,20447235,20578308,20709386,20905986,20971522,21037059,21102594,21168130,21233668,21299207,21561350,21626887,21823491,21954569,22020099,22085634,22347778,22413313,22478850,22675463,22740994,23265284,23396354,23592961,23658499,23986180,24051719,24117252,24182787,24313861,24576011,24444931,24510468,24379401,24707074,24903683,24969223,25034754,25165827,25427975,25559043,25821188,25886727,26017800,26083331,26411010,26607627,26673154,26738695,25690116,26935303,27000836,25231362,27197447,27328516,27394053,27525121,27590663,27656194,27721735,27852802,28114948,28246021,28311553,28377090,28573698,28704775,28770313,29097985,29163525,29229063,29294594,29425670,29556740,29622275,29687813,29753348,29884417,30015490,30146562,30277637,30408706,30539782,30605314,30736386,30867459,30998530,31064066,31195138,31260680,31522825,31850500,32112641,32178178,32374786,32440322,32899081,32964616,33095681,33357826,33423362,33751042,33882119,33947658,34078722,34275331,34340865,34471937,34930692,35061768,35192834,35323908,35454978,35520514,35979266,36044802,36241415,36306946,36438025,36503554,36569089,36634626,37289996,37355524,37421058,37617672,37748744,37814279,37879815,37945347,38010889,38076425,38141954,38207497,38404097,38469634,38600706,38666242,38797321,38928390,38993922,39124994,39256067,39387137,39518211,39583750,39649287,39714818,39780354,39845889,39976961,40108035,40173571,40501250,40566791,40632330,40697858,40763397,40828929,40894469,40960001,41025543,41156610,41222146,41287683,41353223],"strlen":[15925249,27328513,36306945],"shallow":[6291457,7864321,11141121,13434881,15007745,15400961,16842753,21430273,22282241,23199745,31588353,34603009,35127297,40042497],"slash":[36306945],"satisfying":[5963777,7733249,10616833,12320769,13369345,13893633,15335425,17301505,37289985],"size_t":[1245189,1703942,1835020,3604489,3670025,5046280,5308440,5963777,6094852,6225929,6881285,7471112,7667718,8781830,8978437,9306120,9764867,10551305,10878985,10944521,11337733,11796489,12451845,13762567,14221326,15335425,16318470,16711689,17104898,17760265,18415617,18874373,19202057,19726337,21757953,21823506,22478853,22806533,23003145,26345473,27066373,27328517,27787299,28442638,28508170,30081033,31391745,31653931,31850497,31981577,32047105,32702469,32768012,33226761,34078725,34144260,34406401,35323905,35651593,36831233,37093386,37158913,38338561,39059462,39190537,39976970,40173588,40239113],"streama":[1245185],"split":[37552129],"square":[196609,4718594,5963786,6356998,11665409,15335434,25362436,37617667,38141954,40697857],"sub":[196609,589825,1114113,1310721,1507329,2097153,2162689,2424833,2490369,2555905,2686977,2883585,3342337,3407873,3538945,3670017,3735553,3866625,3932161,3997697,4325377,4718593,4784129,5111809,5177345,5242881,5373953,5505025,5570561,5701633,6029313,6160385,6553601,6815745,6881281,7274497,7340033,7536641,7929857,7995393,8060929,8126465,8192001,8257537,8388609,8454145,8912897,9240577,9306113,9502721,9830401,9961473,10027009,10092545,10158081,10289153,11206657,11272193,11403265,11665409,11730945,12124161,12255233,12386305,12648449,12713985,12845057,12976129,13041665,13107201,13762561,13828097,13959169,14548993,14811137,15204353,15466497,15859713,16384001,16449537,16777217,16908289,17694721,17825793,17891329,18022401,18087937,18284545,18350081,18808833,19070977,19660801,19726337,19988481,20447233,20709377,20905985,21037057,21299201,21561345,21954561,22020097,22151169,22347777,22675457,22872065,23265281,23592961,23986177,24051713,24117249,21823489,24182785,24313857,24576001,24510465,24379393,24903681,25165825,25231361,25427969,25493505,25690113,25821185,25886721,26017793,26083329,26607617,26738689,26869761,26935297,27197441,27394049,27459585,27525121,27590657,27721729,27918337,28246017,28311553,28770305,29097985,29229057,29294593,29425665,29556737,29622273,29687809,29884417,30146561,30212097,30277633,30474241,30539777,30736385,30998529,31391745,31522817,32047105,32112641,32374785,32505857,32899073,33095681,33554433,33619969,33751041,33882113,33947649,34275329,34340865,34996225,35389441,36241409,36438017,36503553,36569089,36962305,37158913,37289985,37552129,37617665,37748737,37814273,37879809,37945345,38010881,38076417,38207489,38404097,38666241,38797313,38928385,38993921,39256065,39387137,39518209,39583745,39649281,39845889,40108033,40370177,40566785,40632321,40697857,40763393,40828929,40894465,40960001,41025537,41287681,41353217,41418753],"seeds":[29884417,39845889],"sure":[8912897,16908289,32505857],"sgn":[37289987],"special":[5832705,5963777,8454145,13500417,15335425,16187394,21168129,21233665,26476545,25493505,29884417,39256065,39845889],"source":[5177345,5898241,7274497,9502721,12255233,16121857,17235969,19529729,19791873,20447233,21037057,22020097,25165825,24903681,28573697,29884417,30867457,35520513,36044801,38666241,39845889,40108033,40501249,40697857,41287681],"satisfy":[7536641,19791873,35061761,36044801],"sizeof":[21823492],"space":[1114116,1179649,2031618,2162692,3276804,3670017,4521986,4587522,5046273,5701634,5963804,6881281,7274497,7471106,8912897,8978435,13959169,15073282,15335452,15794178,16121857,16908290,17235969,18743300,19529729,19726337,21037057,21757954,22478849,22806529,23134210,23724033,24444931,25165825,25559044,25755650,25952258,26148866,26345477,27328513,30474241,31391745,32047105,32505857,32702466,27066369,34275332,34406402,35389441,35520513,36700162,36962305,37158913,37945348,38141953,38666241,39256065,40108033,40173571,40697857],"standard":[5963780,15335428,15728643,20250625,20512771,21692419,22413316,32833539,35323905],"successful":[34865153],"string":[1179656,1245186,1441797,1703937,1900545,2359304,4063233,4128785,4390914,4915201,4980746,5046277,5701634,5963797,6160392,6291457,6422530,6619153,7667727,7864323,8323086,8781829,8978437,9109506,10420231,11075586,11141121,11337730,13303811,13434881,13631489,14024718,14352391,15007745,15335445,15400961,15728649,15794190,15925256,16318481,16842755,17039369,17235973,17432584,18874373,18939907,19922952,20054024,20250626,20512775,21430275,21692426,21757970,21889025,22282241,22478849,22806531,23199745,24444935,24641537,27328519,28901384,29360142,30867459,31588353,31653889,32243719,32833546,27066369,33161227,34013185,34078725,34144264,34406401,34537473,34603009,35127297,35520518,35913736,36306954,37683208,38338577,38404098,39256066,39387138,39976963,40042497],"separated":[39976961],"storing":[4259841,5963777,10158081,15335425],"shift":[3538945,5963778,15335426,35454977,41156610],"skip":[21823489,40173569],"symbol":[851974,1966086,5963783,8650756,15335431,15597574,28377094,29753349,32440326],"safely":[16187393],"sets":[2555905,4063233,5963780,12189697,12517377,13434881,13631489,13762561,15335429,17825793,17891329,22151169,23527425,25821185,27459585,29163521,29556737,30212097,31653889,34013185,34537473],"squares":[6356993],"second":[393217,851969,983042,1114113,1638401,1966081,2162689,2424833,2883585,3276801,3407873,3538945,4325377,4587521,5111809,5505025,5570561,5898241,6488065,6815745,7012353,7602177,7929857,7995393,8060929,8126465,8388609,8650753,9043969,10289153,10354689,10682369,11272193,11403265,11927554,12713985,12845057,12910593,13041665,13107201,13172737,13238273,14286849,14483457,14548993,14811137,15073281,15597569,16777217,17694721,17956865,18087937,18284545,18612225,18743297,18808833,19529731,20316161,20578305,20971521,22675457,22740993,23265281,23592961,25034753,25559041,25755649,25427969,25886721,25952257,26017793,26083329,26148865,25690113,27000833,27852801,28114945,28377089,28966913,29229057,29425665,29622273,29753345,30015489,30998529,31195137,31522817,32374785,32440321,32899073,33751041,33882113,34209793,34275329,34340865,34930689,34996225,35061761,36569089,37289986,37355521,37421057,37748737,37879809,38010881,38076417,38141953,38469633,38666241,38797313,38993921,39714817,39780353,40566785,40828929,40894465,40960001,41025537],"simply":[17235969,19791873,21823489,24444929,28573697,35520513,36044801,40501249],"support":[262145,786433,1179649,1572865,2228225,3604481,4194305,4849665,5767169,6225921,6684673,6750209,7208961,8716289,8847361,9371649,9437185,9633793,10551297,10878977,10944513,11534337,11796481,12582913,13565953,14352385,14614529,14942209,15663105,15990785,16515073,16580609,16646145,16711681,16973825,17170433,17367041,17498113,17563649,17760257,18153473,18219009,19202049,19398657,20643841,20840449,21364737,21495809,22544385,22937601,23003137,23461889,23855105,23920641,25100289,25296897,26214401,26542081,26804225,28180481,30081025,31129601,31457281,31981569,32243713,33226753,33488897,34799617,35258369,35651585,36175873,36372481,36765697,37027841,37224449,37486593,38273025,38535169,38731777,38862849,39190529,40239105,40304641],"sealed":[15335425,36110337],"s1n":[5046281,5963784,15335432,16121865,22740999,34209799,39780360],"sequenceequal":[1114114,1507330,2883586,3276802,4325378,5046274,5111810,5898242,6815746,7012354,9043970,9961474,14286850,16121858,16777218,18350082,19529732,19791874,20316162,20905986,22740994,25034754,25559042,26411010,25231364,28573698,29294594,30015490,30998530,31195138,32374786,27066370,33751042,34275330,34996228,35454978,36044802,37945346,38141956,38469634,38666242,38993922,39714818,39780354,40501250,40697858,41156610],"specified":[131074,655361,1048578,1441794,1703938,1769474,1900546,4063234,4456450,4915202,6094850,6291457,6946818,7798785,7864321,8781826,9175041,9764865,11141121,12779522,13434881,13631490,15007745,15400961,16842753,18677762,18939906,19136513,19857409,20185089,21430273,21889026,22282241,22413313,23199745,24444930,24641538,28049409,28508161,28639233,30343169,30670849,31588353,31653890,31719426,32571394,32636929,33816577,34013186,34537474,34603009,35127297,35586050,35782658,35848193,39321601,40042497],"short":[2228227,3014658,3604481,4194305,7208963,8716291,10878979,13565953,14614529,14942211,15204353,19202049,20840449,21495811,22544387,22937601,23003139,23461889,21823489,31129603,31457283,33357826,34799617,38731777],"snprintf":[7667713,16318465],"supported":[196610,393218,524290,589826,851970,983042,1114114,1245186,1310722,1376258,1507330,1638402,1966082,2097154,2162690,2293762,2424834,2490370,2555906,2818050,2883586,3014658,3145730,3276802,3342338,3407874,3538946,3735554,3866626,3932162,3997698,4128770,4259842,4325378,4718594,4784130,5046274,5111810,5177346,5242882,5439490,5505026,5570562,5636098,5701634,5832706,5898242,6356994,6488066,6619138,6815746,7012354,7077890,7143426,7274498,7340034,7405570,7536642,7602178,7667714,7733250,7929858,7995394,8060930,8126466,8192002,8257538,8323074,8388610,8650754,8781826,8912898,8978434,9043970,9240578,9306114,9502722,9568258,9699330,9830402,9895938,9961474,10027010,10158082,10223618,10289154,10354690,10420226,10616834,10682370,11206658,11272194,11337730,11403266,11665410,11730946,11862018,11927554,12058626,12124162,12255234,12320770,12386306,12451842,12648450,12713986,12845058,12910594,12976130,13041666,13107202,13172738,13238274,13303810,13369346,13500418,13828098,13893634,13959170,14024706,14155778,14286850,14417922,14483458,14548994,14745602,14811138,15073282,15138818,15466498,15532034,15597570,15728642,15794178,15859714,15925250,16056322,16121858,16187394,16318466,16384002,16449538,16777218,16908290,17039362,17235970,17301506,17629186,17694722,17825794,17956866,18022402,18087938,18284546,18350082,18415618,18612226,18743298,18808834,18874370,19005442,19070978,19333122,19529730,19660802,19791874,19988482,20250626,20316162,20381698,20447234,20512770,20578306,20709378,20774914,20905986,20971522,21037058,21102594,21168130,21233666,21299202,21561346,21626882,21692418,21757954,21954562,22020098,22085634,22347778,22478850,22675458,22740994,22806530,23265282,23396354,23592962,23658498,23986178,24051714,24117250,21823490,24182786,24313858,24510466,24576002,24707074,24444930,24838146,24969218,25034754,25362434,25559042,25427970,24379394,25821186,25165826,25886722,26017794,26083330,24903682,26279938,26411010,26476546,26607619,26673154,26738690,25690114,25493506,26935298,27000834,25231362,27197442,27328514,27394050,27590658,27656194,27721731,27852802,28114946,28246018,28311554,28377090,28573698,28704770,28770306,28966914,29032450,29097986,29229058,29294594,29360130,29425667,29556738,29622274,29687810,29753346,29884418,30015490,30146562,30277634,30408706,30474242,30539778,30605314,30736386,30867458,30998530,31064066,31195138,31260674,31522818,31850498,32112642,32178178,32374786,32440322,32505858,32833538,32899074,32964610,33095682,27066370,33161218,33357826,33423362,33751042,33882114,33947650,34078722,34209794,34275330,34340866,34865154,34930690,34996226,35061762,35192834,35323906,35389442,35454978,35520514,35717122,35979266,36044802,36241410,36306946,36438018,36503554,36569090,36634626,36831234,36962306,37289986,37355522,37421058,37617666,37748738,37814274,37879810,37945346,38010882,38076418,38141954,38207490,38338562,38404098,38469634,38600706,38666242,38797314,38928386,38993922,39059458,39124994,39256066,39387138,39518210,39583746,39649282,39714818,39780354,39845890,39976962,40108034,40173570,40370178,40501250,40566786,40632322,40697858,40763394,40828930,40894466,40960002,41025538,41156610,41222146,41287682,41353218],"systems":[4063233,7864321,8781825,13631490,21823489,24444929,29884417,34013185,39845889,39976961],"speed":[9043969,25493505,30015489],"seminumerical":[5963777,15335425,39124993],"starting_bit":[10223624,12058632],"static":[196611,262146,393219,524291,589827,786434,851971,983043,1114115,1179650,1245187,1310723,1376259,1507331,1572866,1638403,1835011,1966083,2031619,2097155,2162691,2228226,2293763,2424835,2490371,2555907,2818051,2883587,3014659,3145731,3276803,3342339,3407875,3538947,3604482,3670019,3735555,3866627,3932163,3997699,4128771,4194306,4259843,4325379,4521987,4587523,4718595,4784131,4849666,5046275,5111811,5177347,5242883,5439491,5505027,5570563,5636099,5701635,5767170,5832707,5898243,6225922,6356995,6488067,6619139,6684674,6750210,6815747,7012355,7077891,7143427,7208962,7274499,7340035,7405571,7471107,7536643,7602179,7667715,7733251,7929859,7995395,8060931,8126467,8192003,8257539,8323075,8388611,8454147,8519683,8650755,8716290,8781827,8847362,8912899,8978435,9043971,9240579,9306115,9371650,9437186,9502723,9568259,9633794,9699331,9830403,9895939,9961475,10027011,10158083,10223619,10289155,10354691,10420227,10551298,10616835,10682371,10747907,10878978,10944514,11010051,11206659,11272195,11337731,11403267,11534338,11665411,11730947,11796482,11862019,11927555,11993091,12058627,12124163,12189699,12255235,12320771,12386307,12451843,12582914,12648451,12713987,12845059,12910595,12976131,13041667,13107203,13172739,13238275,13303811,13369347,13500419,13565954,13828099,13893635,13959171,14024707,14155779,14221315,14286851,14352386,14417923,14483459,14548995,14614530,14745603,14811139,14942210,15073283,15138819,15335425,15466499,15532035,15597571,15663106,15728643,15794179,15859715,15925251,15990786,16056323,16121859,16187396,16318467,16384003,16449539,16515074,16580610,16646146,16711682,16777219,16908291,16973826,17039363,17170434,17235971,17301507,17367042,17498114,17563650,17629187,17694723,17760258,17825795,17956867,18022403,18087939,18153474,18219010,18284547,18350083,18415619,18612227,18743299,18808835,18874371,19005443,19070979,19202050,19333123,19398658,19529731,19595267,19660803,19726339,19791875,19988483,20119555,20250627,20316163,20381699,20447235,20512771,20578307,20643842,20709379,20774915,20840450,20905987,20971523,21037059,21102595,21168131,21233667,21299203,21364738,21495810,21561347,21626883,21692419,21757955,21823491,21954563,22020099,22085635,22347779,22413313,22478851,22544386,22675459,22740995,22806531,22872067,22937602,23003138,23134211,23265283,23330819,23396355,23461890,23592963,23658499,23855106,23920642,23986179,24051715,24117251,24182787,24313859,24444931,24576003,24510467,24707075,24379395,24838147,24903683,24969219,25034755,25100290,25165827,25231363,25296898,25362435,25427971,25493507,25559043,25690115,25755651,25821187,25886723,25952259,26017795,26083331,26148867,26214402,26279939,26411011,26476547,26542082,26607619,26673155,26738691,26804226,26935299,27000835,27066371,27131907,27197443,27262979,27328515,27394051,27590659,27656195,27721731,27852803,27983875,28114947,28180482,28246019,28311555,28377091,28442627,28573699,28704771,28770307,28835843,28966915,29032451,29097987,29229059,29294595,29360131,29425667,29556739,29622275,29687811,29753347,29818883,29884419,29949955,30015491,30081026,30146563,30277635,30408707,30474243,30539779,30605315,30736387,30801923,30867459,30998531,31064067,31129602,31195139,31260675,31391747,31457282,31522819,31784963,31850499,31981570,32047107,32112643,32178179,32243714,32374787,32440323,32505859,32833539,32899075,32964611,33095683,33161219,33226754,33357827,33423363,33488898,33554435,33685507,33751043,33882115,33947651,34078723,34209795,34275331,34340867,34799618,34865155,34930691,34996227,35061763,35192835,35258370,35323907,35389443,35454979,35520515,35651586,35717123,35979267,36044803,36175874,36241411,36306947,36372482,36438019,36503555,36569091,36634627,36700163,36765698,36831235,36962307,37027842,37158915,37224450,37289987,37355523,37421059,37486594,37617667,37748739,37814275,37879811,37945347,38010883,38076419,38141955,38207491,38273026,38338563,38404099,38469635,38535170,38600707,38666243,38731778,38797315,38862850,38928387,38993923,39059459,39124995,39190530,39256067,39387139,39518211,39583747,39649283,39714819,39780355,39845891,39976963,40108035,40173571,40239106,40304642,40370179,40501251,40566787,40632323,40697859,40763395,40828931,40894467,40960003,41025539,41156611,41222147,41287683,41353219],"section":[29425665],"subtraction":[22740994,25034753],"structures":[34406401],"single":[3276801,5963778,15335426,22413313,25559041,34537473,40763393],"scan":[5963780,10223618,12058626,15335428,23658497,26279937],"sign":[2424833,5636097,5832705,8454147,9895937,10223617,10289153,12058625,12124161,12910593,15925249,16187395,16384001,21626881,22347777,22478850,23396353,21823490,24444929,24707074,24379393,27328513,31064066,32178177,36306945,38797313,39583745,40173570],"specify":[1179649,8781825,21823489,24444929,40173569],"separately":[5963778,8978433,14352385,15335426,20250625,35323905,35520513],"summary":[15335425,34406401],"state":[524307,5373954,5570580,5963784,7536644,12255244,12648470,15335432,19988500,20774931,22872072,24117270,24576001,25493524,29884438,30146562,30736406,34406401,34603010,34865172,39845910,40370196],"subtrahend":[5963777,15335425,26411009,36569094],"s1p":[1507335,2883599,4325391,5046293,5963808,6815759,7012366,9043982,9699344,13238289,14286863,15335456,16056330,16121871,16777231,20316177,20905991,22741007,23658509,25034769,25362451,26279949,28966928,30015505,30998543,31195150,32374799,27066370,33751055,34209809,38469645,38666255,38993935,39714831,39780367,40697871],"somewhat":[35061761],"shared":[196609,262145,393217,524289,589825,786433,851969,983041,1114113,1179649,1245185,1310721,1376257,1507329,1572865,1638401,1835009,1966081,2031617,2097153,2162689,2228225,2293761,2424833,2490369,2555905,2818049,2883585,3014657,3145729,3276801,3342337,3407873,3538945,3604481,3670017,3735553,3866625,3932161,3997697,4128769,4194305,4259841,4325377,4521985,4587521,4718593,4784129,4849665,5046273,5111809,5177345,5242881,5439489,5505025,5570561,5636097,5701633,5767169,5832705,5898241,6225921,6356993,6488065,6619137,6684673,6750209,6815745,7012353,7077889,7143425,7208961,7274497,7340033,7405569,7471105,7536641,7602177,7667713,7733249,7929857,7995393,8060929,8126465,8192001,8257537,8323073,8388609,8454145,8519681,8650753,8716289,8781825,8847361,8912897,8978433,9043969,9240577,9306113,9371649,9437185,9502721,9568257,9633793,9699329,9830401,9895937,9961473,10027009,10158081,10223617,10289153,10354689,10420225,10551297,10616833,10682369,10747905,10878977,10944513,11010049,11206657,11272193,11337729,11403265,11534337,11665409,11730945,11796481,11862017,11927553,11993089,12058625,12124161,12189697,12255233,12320769,12386305,12451841,12582913,12648449,12713985,12845057,12910593,12976129,13041665,13107201,13172737,13238273,13303809,13369345,13500417,13565953,13828097,13893633,13959169,14024705,14155777,14221313,14286849,14352385,14417921,14483457,14548993,14614529,14745601,14811137,14942209,15073281,15138817,15466497,15532033,15597569,15663105,15728641,15794177,15859713,15925249,15990785,16056321,16121857,16187393,16318465,16384001,16449537,16515073,16580609,16646145,16711681,16777217,16908289,16973825,17039361,17170433,17235969,17301505,17367041,17498113,17563649,17629185,17694721,17760257,17825793,17956865,18022401,18087937,18153473,18219009,18284545,18350081,18415617,18612225,18743297,18808833,18874369,19005441,19070977,19202049,19333121,19398657,19529729,19595265,19660801,19726337,19791873,19988481,20119553,20250625,20316161,20381697,20447233,20512769,20578305,20643841,20709377,20774913,20840449,20905985,20971521,21037057,21102593,21168129,21233665,21299201,21364737,21495809,21561345,21626881,21692417,21757953,21954561,22020097,22085633,22347777,22478849,22544385,22675457,22740993,22806529,22872065,22937601,23003137,23134209,23265281,23330817,23396353,23461889,23592961,23658497,23855105,23920641,23986177,24051713,24117249,21823489,24182785,24313857,24576001,24510465,24444929,24707073,24379393,24838145,24903681,24969217,25034753,25100289,25165825,25231361,25296897,25362433,25427969,25493505,25559041,25690113,25755649,25821185,25886721,25952257,26017793,26083329,26148865,26214401,26279937,26411009,26476545,26542081,26607617,26673153,26738689,26804225,26935297,27000833,27066369,27131905,27197441,27262977,27328513,27394049,27590657,27656193,27721729,27852801,27983873,28114945,28180481,28246017,28311553,28377089,28442625,28573697,28704769,28770305,28835841,28966913,29032449,29097985,29229057,29294593,29360129,29425665,29556737,29622273,29687809,29753345,29818881,29884417,29949953,30015489,30081025,30146561,30277633,30408705,30474241,30539777,30605313,30736385,30801921,30867457,30998529,31064065,31129601,31195137,31260673,31391745,31457281,31522817,31784961,31850497,31981569,32047105,32112641,32178177,32243713,32374785,32440321,32505857,32833537,32899073,32964609,33095681,33161217,33226753,33357825,33423361,33488897,33554433,33685505,33751041,33882113,33947649,34078721,34209793,34275329,34340865,34799617,34865153,34930689,34996225,35061761,35192833,35258369,35323905,35389441,35454977,35520513,35651585,35717121,35979265,36044801,36175873,36241409,36306945,36372481,36438017,36503553,36569089,36634625,36700161,36765697,36831233,36962305,37027841,37158913,37224449,37289985,37355521,37421057,37486593,37617665,37748737,37814273,37879809,37945345,38010881,38076417,38141953,38207489,38273025,38338561,38404097,38469633,38535169,38600705,38666241,38731777,38797313,38862849,38928385,38993921,39059457,39124993,39190529,39256065,39387137,39518209,39583745,39649281,39714817,39780353,39845889,39976961,40108033,40173569,40239105,40304641,40370177,40501249,40566785,40632321,40697857,40763393,40828929,40894465,40960001,41025537,41156609,41222145,41287681,41353217],"slow":[19791873,36044801],"s2limb":[5963782,14286854,15335430,20316166,25034758,30015496,34209798,39714822],"similar":[2555905,20250625,29556737,35323905],"stdout":[5963778,15335426,15728641,20512769],"successfully":[4128769,6619137,8323073,14024705,21692417,32833537],"struct":[1441794,4063234,4456450,13631490,15007746,31653890,34013186,34537474,35782658],"scratch":[1114117,2031618,2162692,3276805,4521986,4587522,5963784,15073283,15335432,18743300,23134210,25559045,25755650,25952258,26148866,34275333,36700162,37945349],"store":[2097153,5963784,9961473,11272193,15335432,18022401,19529730,20971521,29425665,31260673,37748737],"suited":[29884417,39845889],"separate":[5111809,28573697,29884417,38141954,39845889,40501249],"studio":[22413313],"sense":[24444929],"shows":[41091073],"suppressed":[4128769,6619137,8323073,14024705,21692417,32833537],"s2n":[5963782,15335430,16121865,22740998,28573704,39780359,40501256],"syntax":[196609,262145,393217,458753,524289,589825,655361,786433,851969,917505,983041,1114113,1179649,1245185,1310721,1376257,1441793,1507329,1572865,1638401,1835009,1966081,2031617,2097153,2162689,2228225,2293761,2359297,2424833,2490369,2555905,2686977,2818049,2883585,2949121,3014657,3080193,3145729,3211265,3276801,3342337,3407873,3538945,3604481,3670017,3735553,3866625,3932161,3997697,4063233,4128769,4194305,4259841,4325377,4456449,4521985,4587521,4653057,4718593,4784129,4849665,4980737,5046273,5111809,5177345,5242881,5373953,5439489,5505025,5570561,5636097,5701633,5767169,5832705,5898241,6029313,6160385,6225921,6356993,6488065,6553601,6619137,6684673,6750209,6815745,6881281,7012353,7077889,7143425,7208961,7274497,7340033,7405569,7471105,7536641,7602177,7667713,7733249,7798785,7864321,7929857,7995393,8060929,8126465,8192001,8257537,8323073,8388609,8454145,8519681,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,10354689,10420225,10485761,10551297,10616833,10682369,10747905,10813441,10878977,10944513,11010049,11075585,11206657,11272193,11337729,11403265,11468801,11534337,11665409,11730945,11796481,11862017,11927553,11993089,12058625,12124161,12189697,12255233,12320769,12386305,12451841,12582913,12648449,12713985,12845057,12910593,12976129,13041665,13107201,13172737,13238273,13303809,13369345,13434881,13500417,13565953,13631489,13762561,13828097,13893633,13959169,14024705,14155777,14221313,14286849,14352385,14417921,14483457,14548993,14614529,14680065,14745601,14811137,14942209,15007745,15073281,15138817,15204353,15269889,15335425,15466497,15532033,15597569,15663105,15728641,15794177,15859713,15925249,15990785,16056321,16121857,16187393,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,18284545,18350081,18415617,18546689,18612225,18743297,18808833,18874369,19005441,19070977,19136513,19202049,19333121,19398657,19464193,19529729,19595265,19660801,19726337,19791873,19857409,19922945,19988481,20054017,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,21757953,21823489,21954561,22020097,22085633,22151169,22216705,22282241,22347777,22478849,22544385,22675457,22740993,22806529,22872065,22937601,23003137,23134209,23265281,23330817,23396353,23461889,23592961,23658497,23724033,23855105,23920641,23986177,24051713,24117249,24182785,24313857,24444929,24510465,24576001,24707073,24379393,24838145,24903681,24969217,25034753,25100289,25165825,25231361,25296897,25362433,25427969,25493505,25559041,25624577,25690113,25755649,25821185,25886721,25952257,26017793,26083329,26148865,26214401,26279937,26411009,26476545,26542081,26607617,26673153,26738689,26804225,26869761,26935297,27000833,27066369,27131905,27197441,27262977,27328513,27394049,27459585,27525121,27590657,27656193,27721729,27852801,27918337,27983873,28049409,28114945,28180481,28246017,28311553,28377089,28442625,28508161,28573697,28639233,28704769,28770305,28835841,28901377,28966913,29032449,29097985,29163521,29229057,29294593,29360129,29425665,29556737,29622273,29687809,29753345,29818881,29884417,29949953,30015489,30081025,30146561,30212097,30277633,30343169,30408705,30474241,30539777,30605313,30670849,30736385,30801921,30867457,30998529,31064065,31129601,31195137,31260673,31391745,31457281,31522817,31653889,31784961,31850497,31916033,31981569,32047105,32112641,32178177,32243713,32374785,32440321,32505857,32636929,32702465,32833537,32899073,32964609,33030145,33095681,33161217,33226753,33292289,33357825,33423361,33488897,33554433,33619969,33685505,33751041,33816577,33882113,33947649,34013185,34078721,34144257,34209793,34275329,34340865,34471937,34537473,34603009,34668545,34799617,34865153,34930689,34996225,35061761,35192833,35258369,35323905,35389441,35454977,35520513,35651585,35717121,35782657,35848193,35913729,35979265,36044801,36110337,36175873,36241409,36306945,36372481,36438017,36503553,36569089,36634625,36700161,36765697,36831233,36896769,36962305,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,39518209,39583745,39649281,39714817,39780353,39845889,39976961,40108033,40173569,40239105,40304641,40370177,40501249,40566785,40632321,40697857,40763393,40828929,40894465,40960001,41025537,41091073,41156609,41222145,41287681,41353217,41418753]}