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

1 line
23 KiB
JSON

{"raised":[25559041,27656193],"rem":[4915201,17170433,24444952,39583762],"root":[4915210,5439490,6488066,7471106,9764865,11403265,17170442,24444957,36765697,39583766],"room":[20578307,21037057,23068673],"reps":[13631497,37814279],"remove":[3604481,4915202,17170434,35651585],"ring":[33882113],"readallbytes":[1376258],"returned":[4915201,6750210,6881281,8781825,9633793,10485762,12058626,14614529,17170433,17235970,20316161,21102593,22347777,24576001,25427970,25493505,27721730,28180481,31064065,31719428,32899073,34930690,36110338,38207489,39911426,40108033,40566785],"really":[20250626,21889025,37945345],"releases":[20578306],"repeated":[8847361,28442625,31588353],"rabin":[13631490],"r2p":[4915201,17170433,36765716],"redirected":[1],"rationals":[983041,2883585,3342337,3604481,9240577,10092546,11599873,20774913,21299207,21430273,26673153,26804225,29491201,31129601,31457282,34340865,35520513,37683201,38469639],"retval":[4915202,5963777,8388609,16842753,17170434,36765697],"retain":[29097985],"remaining":[4915201,17170433,19136513],"resilience":[27983873],"required":[1114113,1703938,1966081,3801090,4915208,5963777,7536642,16318465,17170440,19136513,20578306,22609922,24576001,24641537,26738690,27525121,27983873,28442625,28573698,29032449,30801922,31588353,31719425,34144257,34930689,36175874,38731778],"resources":[5701633,8650753,11337729,12124161,14090241,16646145,17104897,20185089,21626881,23134209,28311553,28966913,35389441,39649281,39714817],"remains":[8781825],"reallocations":[8847361,16252929,33292289],"resized":[1769473],"routines":[1900545,18087937,21889025,37945345],"recommended":[13107201,14221313,14548993,17563649,20709377,28049409,30605313],"reflects":[29097985],"reclaimed":[5701633,8650753,11337729,12124161,14090241,16646145,17104897,21626881,23134209,28311553,28966913,35389441,39649281,39714817],"released":[5505025,6160385],"regular":[4915202,7012354,17170434,36044802],"radix":[8650753,11141121,31719425,38076420],"returns":[131076,393217,917506,1048577,1310723,1572867,1835011,2097154,2752513,3080193,4259843,4390913,4587524,4653059,4784129,4915202,6291458,6684674,7012354,7995393,8519681,9502721,12124162,12648450,13238275,13369346,13697025,14090241,14286849,15007746,15663105,16908290,17170434,18874371,19726337,20119553,20250626,20971521,21626881,23068673,25624577,25755649,25952257,27852801,28246019,28311553,28901377,28966913,29360129,29425665,30736387,30867457,31195139,31260673,31784962,32440321,33095684,34078721,34209794,34930689,35389441,35717123,36044802,37158913,37355521,37814274,38141955,38600708,39649281,39714818,39845890,40435713],"results":[458753,5636097,13303809,29097985,30212097],"removed":[35651585],"rof":[16187393,18219009,20840449,27197441,29818881,30277633],"rational":[983041,2359298,2883587,3342342,3604481,3735556,4915205,5046275,6881281,7864321,9240582,10092546,10158082,11534340,11599873,13107209,14548999,14811140,16646150,17104898,17170437,17432579,17563655,20774914,21299201,21430275,25493505,26542084,26673157,26804230,28049417,29097986,29491203,29753347,31129605,31391746,31457282,31981570,34340867,35520515,35782658,36503556,37683201,38469633,38535170,38862852,38993924,39059457,39190530,39911426,40108034,41353220],"routine":[4915201,10878977,17170433,17432577,27459585,33161217],"readable":[14286849],"replace":[4915201,8126465,8847362,14286850,16908290,17170433,21037058,23068674,34013186,34209794,35520513],"readalltext":[16121858,19529730,34865154,37683202,40828929],"random":[720904,1900547,4915211,5636103,6160386,6553609,12255237,12713997,15073287,17170443,18087939,20709381,20840456,23658507,24903681,28114949,28442632,31522825,31588360,32047115,39059457,39256070,39452677,39649282],"rand":[720898,20840450],"reverse":[2293761,18546689,25165825,32505857],"readonly":[3145729,3538945,10158081,10289154,10354690,11796482,14286849,15532033,19333121,19988482,22675457,27459585,27918338,33292289,38076417,39190529,40239106],"reasonable":[13631489,37814273],"ref":[8126470,8585222,8650753,12124161,14090241,16646145,17170433,21102594,21626881,23134209,34930690,39649281],"representable":[40828929],"rounded":[4915203,11993089,17170435,24248321,28704769,39321601],"rounding":[3735553,4915207,17170439,17235969,20316162,21102594,38207489,39911425,41353217],"reallocation":[8126465,8585217,8847361,16252930],"resolution":[28442625,31588353],"result":[327691,1114123,1441793,1900545,1966085,2293762,2424833,2555905,2621452,2686977,3080205,3211265,3473409,3670017,3735553,3866625,4325388,4521985,4718604,4915238,5046273,5177345,5439489,5767169,5963790,6094860,6553601,6946817,7012367,7471105,7667713,7733249,7929868,8192001,8257537,8454157,8716289,8912898,9240577,9306113,9371650,9437185,9764865,9830401,10616834,10747905,10878978,10944513,11272193,11403265,11534337,11730946,11927553,11993089,12451841,12713985,12845057,13107201,13369345,13434882,13828098,13893633,14548993,14614531,14680065,14811137,15073281,15138828,15269889,15400961,15728641,15990785,16318470,16449537,16515073,16711681,17039362,17170470,17235969,17432577,17563649,17891329,18087937,18219020,18350093,18546689,18677772,18743297,18808833,19070977,19136518,19267585,19333121,19529732,19791874,20250625,20316161,20512770,20578316,20643852,21364747,21430273,21561346,21823489,21889039,21954561,22020097,22085633,22151169,22282252,22478849,22740993,22937606,23265281,23658497,23724042,23986177,24051723,24248321,24313858,24444930,24576002,24641547,24772609,24838145,24969228,25165825,25559041,25690113,25952269,26214401,26279937,26345484,26542081,26673153,26804225,26869761,27000833,27197452,27394060,27525122,27656193,27721734,27983873,28049409,28180492,28704774,28835841,29032450,29097985,29294593,29556737,29687809,29753345,29949953,30015489,30081026,30277644,30539788,30670860,30998539,31064076,31129601,31391745,31522817,31653900,31719426,32047105,32112641,32505858,32702465,32899073,33357825,33488897,33619969,33816577,33882114,34144267,34603010,34668545,34930720,35061761,35520513,35651586,35913729,36044815,36503553,36765709,36896769,36962305,37224452,37486604,37683204,37879809,37945359,38010882,38273025,38338562,38404097,38731780,38797314,38862849,38993921,39124993,39256065,39321601,39583746,39911425,39976961,40042497,40108036,40632322,40828930,40894476,41025537,41156621,41222154,41287681,41353217,41418753],"retrieve":[8126468,8585218,9633794,14614530,32899074,40108034],"represent":[16908290,20250626,22740994],"recent":[29097985],"return":[262145,393217,458754,524289,720897,786433,851969,983042,1048577,1179649,1245186,1376259,1507329,1638401,1703938,1769474,2031617,2162689,2555909,2686981,2752513,2883587,3014659,3080193,3276803,3801090,3932161,3997697,4063235,4390913,4456449,4784130,4849665,4915276,5111810,5177346,5373955,5701633,5832705,5898241,5963778,6029315,6225923,6356994,6422529,6488066,6750210,6815745,6881283,7012355,7143425,7208961,7274498,7340033,7405571,7471106,7536642,7602178,7798785,7929858,7995393,8060929,8126468,8388611,8519681,8650754,9043969,9109507,9240578,9306115,9371649,9502721,9633794,9699329,9895937,9961477,10027010,10092546,10158081,10223617,10420225,10485763,10551297,10813441,10878979,11010049,11206657,11337729,11468802,11599874,11665409,11730949,11862017,12058627,12320769,12386306,12517380,12582914,12976129,13041666,13303810,13369345,13434882,13500418,13631492,13697025,13762563,14024705,14155777,14221314,14286849,14352385,14483457,14614529,14876674,14942210,15138818,15204353,15335426,15466497,15597569,15663105,15794178,15859715,15925249,16121858,16187394,16318469,16384001,16646145,16711685,16777217,16842755,16908289,16973826,17039362,17104897,17170508,17235969,17301505,17367041,17498113,17629189,17694722,17760257,17825793,17956866,18022401,18153473,18284545,18350082,18415617,18481153,18939907,19005441,19136514,19202049,19267590,19464193,19529731,19660801,19726337,19922946,20054018,20119553,20250625,20316161,20381699,20512773,20578306,20643842,20774915,20840449,20905988,20971521,21037059,21102595,21233665,21495809,21561348,21692417,21889030,22216705,22282242,22347778,22413314,22544385,22609922,22740995,22872065,22937602,23068674,23134209,23199745,23330817,23461889,23724034,23789569,23855105,23920643,24117249,24182785,24379393,24576003,24707073,25034753,25427970,25493507,25624577,25755649,25821185,25886721,25952257,26017795,26083329,26214402,26345474,26411009,26476545,26607617,26738690,27066369,27131905,27197442,27262977,27394050,27525122,27721731,27787266,27852801,28180483,28508161,28573698,28770305,28835845,28901377,29032450,29163521,29229061,29294597,29360129,29425665,29622273,29818882,29884417,30212098,30277634,30408705,30474241,30539778,30605314,30801922,30867457,30998530,31064067,31260673,31326209,31457282,31719425,31850497,31916033,31981569,32178177,32309251,32374786,32440321,32636931,32768001,32899076,33226753,33554434,33751041,33882117,34078721,34209793,34406403,34471937,34537474,34603013,34734083,34799618,34865154,34930690,34996225,35127297,35258373,35520514,35586049,35651588,35717121,35782658,35848193,35979265,36044803,36110338,36175874,36241410,36306946,36372481,36438017,36569089,36634625,36700162,36765700,36831237,36962306,37158913,37289985,37355521,37552129,37617665,37683203,37748737,37814273,37945350,38207491,38666241,38731778,39059457,39190529,39452675,39518209,39780357,39911425,40108033,40173569,40370177,40435713,40501249,40566787,40697857,40763393,40828931,41091073,41222146],"runtime":[20185089],"reallocate":[1769478,4128769,4915201,6356993,8126470,8585224,17170433,33292289],"r1n":[1900550,4915202,17170434,18087942],"reading":[9240577],"restrictions":[23986177,33292289,34930689],"read":[1376258,4063234,4915210,6225922,6553601,9109510,9240584,9306119,10878982,12582913,12713985,13762566,17170442,22740998,23658497,23920646,23986178,31522817,32047105,34406406],"represents":[1310721,4259841,4587521,8650753,12124162,13238273,14090242,16646145,21626881,23134209,28311553,28966913,31195137,35389441,35717121,38141953,38600705,39059470,39649282,39714817],"ranges":[9306113,20250625],"returning":[4915201,17170433,21102593,21561345],"rely":[6553601,12713985,23658497,31522817,32047105],"rop":[1441798,2424856,3211270,3473432,3670023,3735558,3866630,4521990,4915313,5046278,5242886,5439512,5767174,6029326,6553617,7471129,7667718,7733254,8192006,8257542,8323078,8716294,9175046,9240582,9306118,9437190,9764870,9830406,10616856,10878982,10944519,11272216,11403270,11927558,11993094,12255246,12451863,12714001,13369352,13828120,13893638,14680070,15073300,15269895,15400966,15728646,15990808,16449543,16515096,16908294,17170545,18743302,18808838,19398662,19595270,20250630,21430278,21757958,21823512,21954584,22020102,22085638,22478854,22740998,23265287,23658513,23986201,24248326,24838151,25100294,25296902,25559064,25690118,26542086,26673160,26804230,26869784,27000838,27656216,27721734,27983896,29097995,29687832,30015512,31129608,31391750,31522833,32047121,32702471,33357830,33488920,33619974,33816602,33882140,34209799,34668551,34930703,35061766,35520518,35651608,35913734,37879814,38010904,38273048,38404102,38535174,38862854,39124999,39256081,39321606,39976984,40632326,40960006,41287686,41353222,41418760],"release":[327682,458754,589825,851970,983042,1114114,1245185,1376258,1441794,1638402,1900546,1966082,2293762,2424834,2490370,2555906,2621442,2686978,2883586,3014658,3080194,3211266,3276802,3342338,3473410,3670018,3735554,3866626,4063234,4325378,4521986,4718594,4784130,5177346,5242882,5373954,5439490,5767170,5963778,6029314,6094850,6225922,6488066,6750210,6881282,6946818,7012354,7274498,7405570,7471106,7602178,7667714,7733250,7929858,8192002,8257538,8323074,8388610,8454146,8716290,8847362,8912898,8978434,9043970,9109506,9175042,9240578,9306114,9371650,9437185,9633794,9764866,9830402,9961474,10027010,10092546,10289153,10485762,10616834,10747906,10878978,10944514,11272194,11403266,11468802,11599874,11730946,11927554,11993090,12058626,12386306,12451842,12517378,12582914,12845058,13041666,13107202,13303810,13369346,13434882,13500418,13631490,13762562,13828098,13893634,13959169,14221314,14286850,14352386,14548994,14614530,14680066,14745602,14876674,14942210,15138818,15269890,15335426,15400962,15728642,15794178,15859714,15990786,16121858,16187394,16252930,16318465,16449538,16515074,16711682,16842754,16908290,16973826,17039362,17170433,17235970,17563650,17629186,17694722,17891330,18087938,18219010,18350082,18546690,18677762,18743298,18808834,18939906,19070978,19136514,19267586,19398658,19529730,19595266,19791874,20054018,20250626,20316162,20381698,20512770,20578306,20643842,20774914,20905986,21037058,21102594,21299202,21364738,21430274,21561346,21757954,21823490,21889026,21954562,22020098,22085634,22151170,22282242,22347778,22413314,22478850,22544386,22740994,22937602,23003138,23068674,23265282,23724034,23920642,23986178,24051714,24248322,24313858,24444930,24576002,24641538,24772610,24838146,24969218,25100290,25165826,25231362,25296898,25362434,25427970,25493506,25559042,25690114,25952258,26017794,26279938,26345474,26673154,26804226,26869762,27000834,27197442,27394050,27525122,27656194,27721730,27787266,27983874,28049410,28180482,28377089,28704770,28770306,28835842,29032450,29097986,29229058,29294594,29491202,29556738,29687810,29818882,29949954,30015490,30081026,30212098,30277634,30539778,30605314,30670850,30998530,31064066,31129602,31391746,31457282,31653890,31719426,32112642,32309250,32374786,32505858,32636930,32702466,32899074,32964610,33357826,33488898,33554434,33619970,33816578,33882114,34013186,34144258,34209794,34275330,34340866,34406402,34603010,34668546,34734082,34799618,34865154,34930690,35061762,35192834,35258370,35323905,35520513,35651586,35913730,36044802,36110338,36241410,36306946,36700162,36765698,36831234,36896770,36962306,37027841,37093377,37224450,37289986,37421057,37486594,37552130,37683202,37814274,37879810,37945346,38010882,38273026,38207490,38338562,38404098,38535170,38469634,38731778,38797314,39124994,39321602,39583746,39780354,39911426,39976962,40042498,40108034,40566786,40632322,40828929,40894466,40960002,41025538,41156610,41222146,41287682,41353218],"rop2":[3342342,4915204,17170436,25231366,30081030,39583750],"reallocates":[8781825,27459585],"regions":[28180481,31064065],"relies":[20185089],"reallocate_function":[8126476,8585224,25821189,39059457],"raw":[1376257,4915202,5177345,17170434],"randomness":[6553601,20709377,28114945,28442626,31588354],"requires":[1114113,1966081,3080193,10944513,16318465,18350081,19136513,21037057,23068673,24641537,25952257,30539777,34144257,38731777],"representation":[1572865,1835009,1900545,2162690,4259841,4653057,4915203,5177346,5701633,8650753,11337729,12713985,13238273,16646145,17104897,17170435,17956866,18087937,19922946,20905985,22937602,23134209,23789570,26476546,28246017,30736385,31195137,31522817,33751042,35717121,35782658,38141953,39256065,39518210],"relations":[38338561],"represented":[3145729,4259841,5177345,13238273,22675457,31719425],"respectively":[2293764,32505860,38338562],"relative":[4915201,17170433,40632321],"reduce":[13631489],"right":[4915201,17170433,24576001,31064066],"resize":[1769473,4915201,8847364,17170433,21037058,23068674,25821185,34013189,39059457],"reason":[5636097],"r1p":[1900557,4915205,17170437,18087949,23724050,36765715,41222163],"requirements":[1114113,3080193,6553601,20709377,24641537,25952257,34144257],"rule":[7602177,10027009,15335425,17694721],"remainder":[2555906,2686978,4915226,6750210,7602177,8912898,10027009,11730946,14876673,16711682,17170458,17891330,19136519,19267586,19791874,20512770,21561347,21889029,22413314,23724037,24313857,24444930,24772610,25427970,28704776,28835842,29294594,29949954,32112642,34603010,36110338,36765703,36896770,37945349,38797314,39583746,40042498,41222149],"realloc_func_ptr":[8126469,8585221],"representing":[3145730,4915201,8650753,8781825,11141121,12582914,16056321,17170433,22675458,23134209],"rop1":[3342342,4915206,17170438,25231366,30081030,39583752],"regiom":[8388609,16842753],"roots":[5439489,6488065,7471105,24444929,36306945,39583745],"realloc":[10944513],"reads":[8454145],"restore":[8126466,29097987],"related":[2293761,18546689,25165825,32505857],"refer":[20185089],"range":[720900,4784129,4915204,5177345,12713987,14614529,15073282,17170436,19529729,20840451,21102593,22937601,23658499,28180481,31064065,31719425,32047107,38207489,39256065,40828929],"reference":[131073,196609,262145,327681,393217,458753,524289,589825,655361,720897,786433,851969,917505,983041,1048577,1114113,1179649,1245185,1310721,1376257,1441793,1507329,1572865,1638401,1703937,1835009,1769473,1900545,1966081,2031617,2097153,2162689,2228225,2293761,2359297,2424833,2490369,2555905,2621441,2686977,2752513,2818049,2883585,2949121,3014657,3080193,3145729,3211265,3276801,3342337,3407873,3473409,3538945,3604481,3670017,3735553,3801089,3866625,3932161,3997697,4063233,4128769,4194305,4259841,4325377,4390913,4456449,4521985,4587521,4653057,4718593,4784129,4849665,4980737,4915203,5046273,5111809,5177345,5242881,5308417,5373953,5439489,5505025,5570561,5636097,5701633,5767169,5832705,5898241,6029313,5963777,6094849,6160385,6225921,6291457,6356993,6422529,6488065,6553601,6619137,6684673,6750209,6815745,6881286,6946817,7012353,7077889,7143425,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,9043969,9109505,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,11141121,11206657,11272193,11337729,11403265,11468801,11534337,11599873,11665409,11730945,11796481,11862017,11927553,11993089,12058625,12124161,12189697,12255233,12320769,12386305,12451841,12517377,12582913,12648449,12713985,12779521,12845057,12910593,12976129,13041665,13107201,13172737,13238273,13303809,13369345,13434881,13500417,13565953,13631489,13697025,13762561,13828097,13893633,13959169,14024705,14090241,14155777,14221313,14286849,14352385,14417921,14483457,14548993,14614529,14680065,14745601,14811137,14876673,14942209,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,16842753,16908289,16973825,17039361,17104897,17170435,17235969,17301505,17367041,17432577,17498113,17563649,17629185,17694721,17760257,17825793,17891329,17956865,18022401,18087937,18153473,18219009,18284545,18350081,18415617,18481153,18546689,18612225,18677761,18743297,18808833,18874369,18939905,19005441,19070977,19136513,19202049,19267585,19333121,19398657,19464193,19529729,19595265,19660801,19726337,19791873,19857409,19922945,19988481,20054017,20119553,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,21889025,21954561,22020097,22085633,22151169,22216705,22282241,22347777,22413313,22478849,22544385,22609921,22675457,22740993,22806529,22872065,22937601,23003137,23068673,23134209,23199745,23265281,23330817,23396353,23461889,23527425,23592961,23658497,23724033,23789569,23855105,23920641,23986177,24051713,24117249,24182785,24248321,24313857,24379393,24444929,24510465,24576001,24641537,24707073,24772609,24838145,24903681,24969217,25034753,25100289,25165825,25231361,25296897,25362433,25427969,25493510,25559041,25624577,25690113,25755649,25821185,25886721,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,28049409,28114945,28180481,28246017,28311553,28377089,28442625,28508161,28573697,28639233,28704769,28770305,28835841,28901377,28966913,29032449,29097985,29163521,29229057,29294593,29360129,29425665,29491201,29556737,29622273,29687809,29753345,29818881,29884417,29949953,30015489,30081025,30146561,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,32440321,32505857,32571393,32636929,32702465,32768001,32833537,32899073,32964609,33030145,33095681,33161217,33226753,33292289,33357825,33423361,33488897,33554433,33619969,33685505,33751041,33816577,33882113,33947649,34013185,34078721,34144257,34209793,34275329,34340865,34406401,34471937,34537473,34603009,34668545,34734081,34799617,34865153,34930689,34996225,35061761,35127297,35192833,35258369,35323905,35389441,35454977,35520513,35586049,35651585,35717121,35782657,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,38273025,38207490,38338561,38404097,38469633,38535169,38600705,38666241,38731777,38797313,38862849,38928385,38993921,39124993,39190529,39256065,39321601,39387137,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],"recurrence":[5636097],"rest":[28180481,31064065],"r2n":[36765700],"reallocated":[21037057,23068673],"remarks":[458753,589825,851969,983041,1114113,1179649,1310721,1376257,1638401,1769473,1900545,1966081,2293761,2424833,2490369,3080193,3145729,3538945,3670017,3866625,4128769,4259841,4587521,4718593,4784129,5111809,5177345,5505025,5636097,5963777,6029313,6160385,6356993,6488065,6553601,6881281,7012353,7602177,7667713,7929857,8126465,8388609,8454145,8650753,8781825,8847361,8978433,9043969,9240577,9306113,9437185,9633793,10027009,10092545,10485761,10878977,10944513,11272193,11599873,12058625,12124161,12451841,12517377,12582913,12713985,13041665,13107201,13238273,13303809,13369345,13631489,13828097,13959169,14090241,14221313,14286849,14352385,14548993,14614529,14680065,14745601,14876673,15073281,15335425,15532033,16252929,16318465,16515073,16646145,16842753,16908289,17039361,17170433,17235969,17432577,17498113,17563649,17694721,18087937,18350081,18546689,19136513,19333121,19529729,20250625,20316161,20578305,20643841,20709377,20774913,20840449,20905985,21037057,21102593,21561345,21757953,21889025,22282241,22347777,22413313,22544385,22675457,22740993,22937601,23003137,23068673,23134209,23265281,23527425,23658497,23724033,23986177,24313857,24576001,24641537,24838145,25165825,25296897,25493505,25559041,25952257,26148865,26214401,26345473,26673153,26869761,27394049,27459585,27525121,27656193,27721729,27983873,28049409,28114945,28180481,28442625,28704769,28770305,29032449,29097985,29491201,29818881,30015489,30081025,30212097,30539777,30605313,30998529,31064065,31129601,31195137,31457281,31522817,31588353,31719425,32047105,32178177,32505857,32833537,32899073,33030145,33292289,33816577,33882113,34013185,34144257,34209793,34340865,34668545,34734081,34930689,35323905,35520513,35717121,36044801,36306945,36765697,36962305,37027841,37093377,37224449,37289985,37421057,37486593,37683201,37814273,37945345,38010881,38076417,38141953,38273025,38207489,38338561,38535169,38600705,38731777,39256065,39452673,39649281,39911425,39976961,40108033,40304641,40566785,40828929,40960001,41156609,41222145,41418753]}