OnePointNineNine

{0,0,10,10}
{0,10,0,10}
47
Returns: 5

At most one of these four points can be red.

{0,0,10,10}
{0,10,0,10}
4
Returns: 16

Any subset of these four points can be red.

{0,4,8}
{0,3,6}
5
Returns: 5

In one of the valid solutions the points (0,0) and (8,6) are both red.

{594216696, 590929835, 596680909, 596436847, 596325397, 592561573, 590978648, 589695963, 596392180, 596060106, 589677872, 595974605, 590905637, 589450883, 592124164, 589672511, 596678842, 595005100, 593227814, 595375260, 590775917, 591153710, 591630552, 596622311, 590140438, 596585862, 592811957, 593598190, 596163196, 590096484, 589784989, 593509937, 589411194, 595606507, 589847302, 593154620, 596655948, 592782300, 593611842, 590432538, 589612271, 596682137, 590402232, 589450860, 589389527, 590186898, 596447451, 592604779, 596553244, 594383923, 595115452, 596147811, 595749782, 592545826, 595224712, 589628292, 591617807, 596017404, 590002072, 595678504, 590370850, 592901009, 596668267, 592297865, 590243427, 589713692, 594941280, 592620571, 591937491, 590010948, 594508200, 592887198, 591414271, 589399811, 595769539, 592414663, 595410074, 592990142, 596043403, 595520849, 590252291, 595827716, 590550387, 589389190, 595477024, 595318606, 594800960, 589922103, 593006066, 589978111, 594061910, 589505754, 596654017, 593976056, 589513354, 596140585, 596630271, 590942837, 596589458, 596000170, 595271956, 589550762, 596251087, 594748718, 591867852, 596067817, 590422883, 591016482, 591128325, 589430836, 591645237, 593918493, 591563229, 591728076, 589818857, 591103042, 595375267, 594601810, 592181850, 596420904, 595432550, 589477701, 589597486, 589422259, 590649145, 596528666, 594075165, 592224243, 592443970, 596670724, 590572224, 595892833, 596100445, 592946607, 590740303, 590282041, 595965166, 589412764, 592051423, 590683855, 589930432, 593568807, 592166401, 589861843, 595295356, 593095198, 595090972, 594371072, 592414634, 592930714, 596067805, 596265000, 596515296, 589495050, 596641864, 595689433, 589855071, 595982766, 590195503, 589751498, 596540898, 589758461, 589465091, 589424164, 596611115, 594231721, 589388334, 590252318, 596403683, 594929468, 594966555, 594147151, 589906726, 590350645, 593079300, 596666838, 596502005, 590195529, 589437721, 596614205, 595041603, 592210773, 593435171, 593184320, 595982750, 589592215, 593539389, 596540918, 595982761, 596575667, 593960687, 595929387, 595030047, 596483129, 594734667, 591041301, 591440948, 589818833, 596646153, 595616290, 593728921, 589607538, 595454867, 592650112, 590114190, 590122457, 596665544, 589684143, 596571819, 589649952, 596362873, 594315587, 589573051, 591256530, 596278732, 591348974, 590799342, 593553078, 590150156, 593346392, 594669490, 591204877, 590301623, 593405588, 594941306, 594046645, 596520018, 595956935, 595573955, 589587687, 589994438, 596679490, 592457613, 590638709, 596116421, 591909186, 594466332, 592738882, 593065479, 594954790, 594131998, 595542515, 595499018, 593198129, 593035759, 594466353, 592356174, 589804954, 595836563, 589633215, 596132219, 590291106, 594890352, 591066252, 596000184, 589521188, 596646162, 593758056, 595066377, 593316785, 589491234, 593332620, 592340559, 593332634, 589509799, 596568403, 595152759, 594033372, 589953478, 596442548, 596483114, 590978610, 594787032, 589587694, 589420108, 593376009, 595974604, 589937688, 591700374, 589726075, 595798156, 593889640, 596582681, 595341704, 592709266, 589617802, 592124188, 594018037, 589388618, 589392965, 596116434, 589407987, 592399002, 593989403, 595005073, 592841629, 596084188, 594090394, 596251109, 590432546, 595530945, 591218637, 596368505, 596666820, 594954817, 593553074, 591077874, 589985671, 589459141, 593138729, 590195515, 590271594, 589393808, 596467978, 594655278, 594669507, 594426202, 591839707, 589388641, 590321387, 592693437, 596672971, 595836590, 594760907, 591244477, 590224397, 593845224, 596497058, 590495775, 591575884, 592369758, 596215910, 593391835, 596222649, 596051196, 596244567, 591755865, 589391577, 592152983, 590150168, 596076608, 594438969, 592871299, 592369758, 592428283, 590069680, 592108789, 589771617, 590391233, 596611091, 590150139, 593109017, 596668272, 596171341, 591880955, 591852801, 589738677, 590018689, 591322677, 596230345, 594175419, 590453452, 589529255, 596596000, 589471278, 589537556, 596034386, 595920956, 595066355, 594103617, 596178373, 592575281, 596186407, 593303003, 590271619, 589818830, 590310770, 596380454, 591672760, 593168433, 593523638, 595585345, 589962027, 591052888, 589602129, 595808508, 593435142, 592326996, 595509191, 596502026, 596674963, 590616386, 596453031, 590582435, 596540917, 593728902, 591603171, 592137565, 591179232, 592827828, 592532120, 592124175, 596677445, 594118809, 595235749, 595865576, 595817464, 589812381, 596278715, 591796730, 594915879, 595104085, 591003260, 593715327, 589563848, 589477715, 590132080, 592080074, 593641169, 596331336, 590918565, 592486977, 591590450, 589517524, 594371059, 591375382, 589411213, 589418331, 591270427, 596553218, 591192935, 590168432, 596564451, 596208101, 590391233, 591218644, 595758992, 589468364, 589559646, 593903071, 589777794, 595248407, 589732803, 590061653, 589869712, 593019861, 596652268, 596477900, 596605140, 592195294, 591387701, 594033380, 595005045, 593154592, 596666825, 594774876, 595627500, 590122433, 592916899, 596386754, 589406367, 595698893, 596571823, 590158611, 594589333, 590176975, 595648317, 592545813, 589701531, 596506292, 591296495, 596578958, 595397985, 596564445, 595352394, 590706623, 596666831, 594259762, 592095427, 592253248, 592038121, 589644058, 594852733, 596116412, 593816220, 592709270, 595956915, 595139794, 595176886, 591428528, 596487594, 589602149, 590330618, 589899662, 591796722, 594838932, 596511137, 596524068, 589840648, 596350601, 592516378, 595902684, 590846596, 589840628, 591103034, 589388269, 590717281, 590810277, 589502307, 596616836, 594642883, 592591075, 593049581, 590195509, 590775937, 589389982, 593287144, 589447955, 591783739, 596639788, 594774865, 595627495, 596193342, 591924319, 592634299, 590061676, 589420124, 589453454, 595016718, 589474692, 590018664, 594216685, 595306187, 589649961, 593332652, 592473317, 596678827, 589481242, 594774897, 590833900, 596236985, 591308657, 589488028, 590706618, 589633235, 593494169, 590967249, 593627535, 594033358, 596140602, 593243689, 596409745, 595282857, 594520834, 596650201, 590453448, 595627498, 593976065, 595487273, 592137565, 590018675, 592022837, 590538773, 595865578, 595200871, 596473315, 589442719, 591658026, 591028007, 593831742, 591521607, 590474528, 590517191, 589395568, 593831745, 591981080, 589832973, 596641889, 596571818, 589456462, 596009385, 591455262, 594188539, 593831724, 592428287, 589554853, 594562379, 594696021, 590528716, 596675807, 594589318, 594272772, 590096511, 596285954, 591824725, 596548994, 589388446, 589407982, 596338109, 590978635, 589409445, 593464670, 595789115, 591590470, 593947311, 596492685, 590214272, 591740989, 593976064, 590572224, 589392291, 592385397, 594480963, 589484361, 596092908, 596374925, 591575867, 596670736, 594160306, 590381755, 589550734, 591536086, 589435484, 596568390, 589491257, 596619799, 596483116, 591811696, 592311406, 596679484, 596457828, 592066742, 590104670, 596682193, 595128491, 591414289, 591467731, 595778665, 589396466, 596632569, 593931908, 589407979, 594328520, 590282017, 596622319, 590485873, 595846740, 594929483, 593802713, 594356265, 592502701, 589422262, 594616153, 595271931, 590626748, 596679996, 589798577, 591270422, 589573074, 589398579, 596678223, 593989400, 591768817, 590560522, 596109005, 592752660, 589639010, 590671700, 596537083, 594696009, 589394594, 596156067, 589521166, 594411509, 589462294, 590052480, 592253233, 596116446, 593918505, 596556836, 596431839, 593450942, 596230323, 594574895, 596648348, 594147156, 595564014, 596084214, 591685591, 595163997, 590233202, 590918564, 589426428, 596477901, 591482101, 596669442, 595079541, 593773633, 589416324, 589684126, 593874175, 590729578, 593273354, 590894432, 594547927, 596564441, 594991701, 589400934, 589388352, 594708315, 593787163, 593346408, 589812365, 593405586, 589661120, 589533676, 589666377, 596637336, 594203612, 592591057, 595387440, 591334892, 594046654, 590291103, 589639018, 596564461, 593989431, 590122438, 596605157, 594929478, 595836586, 590205553, 594398683, 589582530, 595637202, 589720303, 595719105, 596592530, 592679679, 594826906, 593362242, 592038095, 589542101, 590411814, 596680514, 592976344, 591896048, 589745523, 594535340, 596681297, 595920953, 596545267, 596671805, 594929485, 593670456, 590507211, 590991797, 592723038, 595329367, 595798174, 589677852, 594722426, 594904023, 590262642, 591952663, 591924342, 594244774, 594628597, 594018057, 590786803, 591401901, 589390431, 591230644, 593362246, 592798163, 596659388, 593421401, 594813041, 593480454, 590132072, 596668283, 592857507, 595364649, 590857668, 595128463, 596497070, 589969473, 596682007, 596511177, 591128313, 595657940, 596343945, 591509043, 589402295, 593860719, 595911204, 590870443, 596356324, 595552534, 596644188, 590661191, 595595208, 590706627, 593214011, 596017377, 595947372, 595259377, 595054861, 595188058, 596312466, 590694413, 596654009, 592976322, 590341331, 589597502, 594272768, 596532609, 589397569, 594941284, 593582476, 592038144, 594287716, 592930702, 592268783, 589876594, 595884225, 589525484, 596663992, 594878439, 595709727, 593450925, 589388866, 596511155, 589546088, 596681838, 590044567, 594493642, 591218646, 595668963, 594343373, 596602306, 595442949, 590132069, 590822896, 594681851, 595211976, 592152959, 591494618, 589884589, 590717303, 589432963, 596258577, 596625154, 590604511, 589414642, 590114181, 595929384, 589720300, 596362873, 590594224, 594864703, 590763477, 592124158, 591713246, 592414609, 595855523, 596193328, 596598962, 591167347, 592768513, 594004739, 591077900, 589689590, 590214267, 596009399, 589791266, 589655105, 591282535, 592871314, 595465191, 596285926, 593006040, 596201263, 591153691, 591548697, 589468378, 596299318, 595939030, 589869725, 589394611, 589403530, 589440371, 596414962, 596568419, 592960435, 591141883, 591091334, 590752681, 589405021, 595992100, 589521160, 589428443, 589633236, 589708023, 596305460, 594681865, 596318507, 596124898, 589587714, 596676714, 594411492, 589891556, 596668261, 593124912, 596356336, 589498388, 589914943, 591361241, 596608374, 590087048, 590361454, 589978131, 592239752, 595929407, 594300688, 594046657, 596673927, 590443708, 596662586, 593257487, 592282301, 596265020, 589946127, 590954172, 592960425, 589826398, 591965870, 596100419, 589456490, 596657578, 596635149, 590087077, 596627563, 596398361, 591414287, 589453429, 591994319, 590464705, 595739138, 593699701, 590122421, 596560935, 594574920, 594453630, 594231726, 590881581, 589542091, 596292196, 596026501, 590683831, 590078981, 596564464, 591839735, 596463286, 590027658, 589568765, 590967260, 589391015, 589468383, 593744504, 596681579, 589622640, 589462301, 596680000, 593656841, 591937491, 592663859, 593686106, 590035478, 594980023, 592253246, 589550758, 591575885, 589764537, 595729844, 596426017, 590706615, 596272373, 592009566, 594929477, 589394598, 591116545, 589445496, 589578115, 590846572, 595420546, 595874272, 590857690, 596660905, 592634306}
{115228118, 114755690, 111874923, 113092890, 110204547, 108161744, 114789609, 110311648, 113203056, 109740541, 113202085, 109619012, 114738434, 111105030, 108246459, 110366267, 111934328, 108708622, 115419705, 114575063, 108914951, 114901965, 115143423, 112435977, 113996056, 112610538, 115417952, 108174567, 113652985, 109618161, 110123646, 108161881, 111369489, 109191528, 113549120, 108132809, 111341017, 115416012, 115378922, 114332494, 113036285, 111756054, 109254395, 111105022, 111873868, 109500242, 113065126, 115399301, 110816501, 115166248, 114773332, 113678413, 109342335, 115391818, 108861223, 110476614, 108417572, 113877167, 113802751, 114290491, 114268096, 115422323, 111459235, 108206175, 109431293, 113283732, 114887063, 108154505, 115255661, 109739666, 108441546, 108133860, 115044760, 111487819, 109364538, 108184041, 109010061, 115424515, 109715958, 109109099, 114134912, 109432101, 109108380, 111695564, 109068943, 108934131, 108586807, 113677512, 108130954, 109789230, 108278350, 112696066, 112230410, 108254298, 112724798, 109865452, 111164570, 108790807, 110960597, 113901389, 108897294, 110701358, 113497887, 108558453, 108322739, 113803630, 109233022, 108740550, 114886512, 111222200, 108406133, 108239439, 108441120, 108373161, 113496928, 114870885, 114575076, 115071184, 108232105, 110422240, 109029506, 112580546, 110560269, 111281019, 114535898, 110730779, 115273382, 115333479, 108179103, 111488861, 109088198, 114043768, 113753919, 108131932, 114612200, 109386104, 113949430, 112199858, 115289591, 108990138, 109864554, 108170098, 115319789, 113575041, 108915618, 108131348, 114790185, 108384313, 108184028, 115423295, 113803628, 113471612, 112868485, 110901754, 112318740, 109276704, 109992618, 113925481, 114066187, 113364480, 112783086, 110176838, 112522458, 112288286, 112494374, 108332692, 111754998, 114134893, 113175652, 108661409, 114871427, 108304494, 113652079, 114246301, 115424527, 112112229, 110645715, 114066158, 112376408, 111076870, 114823289, 108225268, 115402802, 108133903, 113925498, 112980331, 108165870, 112783086, 113925512, 110902778, 115305418, 113996909, 108724777, 110589326, 115004634, 108724199, 115057861, 113496904, 112289331, 114354357, 115358201, 110532313, 109049134, 108151246, 109594282, 113972392, 111429658, 110338929, 112668296, 110421260, 110285447, 108362992, 112924044, 114961628, 113445245, 108544108, 108896647, 115387819, 109546967, 115411465, 108517544, 114932215, 109363747, 115405940, 114887031, 115281740, 110702345, 109595138, 114396081, 110588315, 109764379, 111637206, 115378760, 109028813, 113728890, 115246600, 115132248, 108142915, 108130980, 108676927, 115255969, 109129444, 109088932, 115421154, 108130855, 115132266, 108194632, 113470660, 114112953, 113091902, 113703715, 114179914, 114917715, 108708052, 113901391, 112753467, 112289351, 115352444, 114806815, 115413909, 112638399, 108142975, 115358022, 108143001, 110844172, 110873968, 108808571, 108270101, 113727998, 110477600, 110589341, 114789609, 114976508, 110588343, 112258820, 115408837, 109619029, 113702819, 108383927, 113310750, 114158293, 108232352, 110931660, 108952833, 108145453, 110504421, 108246485, 115289866, 111725302, 111962961, 113728874, 111399036, 115368868, 115297759, 108708649, 115419651, 113778844, 108286833, 113497859, 114332508, 114437110, 108615488, 113257579, 112112243, 108676924, 115387841, 114855055, 113777965, 112493339, 115423325, 114066197, 114157473, 111576777, 113009342, 115045214, 108517528, 108406535, 108332391, 111725279, 109341550, 115408742, 111518508, 114112956, 114990678, 108600784, 109454122, 115333706, 112925058, 114395369, 115120071, 115363569, 109993538, 108148331, 113550043, 113828275, 110045614, 108362622, 111933273, 108239177, 109546950, 109765259, 115143817, 115421082, 115363564, 115373930, 113900531, 115305159, 110150188, 114289726, 112494354, 109546974, 115424047, 111459230, 109916318, 115237308, 115227787, 113337667, 113827369, 108557957, 110019518, 108313671, 114353634, 112782072, 110989588, 112551528, 112810610, 113852784, 109547795, 114806838, 115264791, 113627432, 115395673, 109941936, 108140698, 114157494, 113496900, 114202219, 113230366, 108394917, 115422360, 115391942, 109170659, 109814206, 114838983, 113008349, 109409422, 115402801, 108200285, 114457360, 110645692, 111548162, 109048434, 110505410, 114476744, 112783092, 115358216, 115131864, 115312591, 114917195, 108136757, 108165724, 108246484, 111964015, 108295548, 114686107, 109477925, 114135698, 110070893, 113445218, 115208057, 114902492, 108774454, 114806268, 108194829, 112895804, 112580544, 109570564, 115297492, 115374104, 113338621, 108807982, 115383348, 108429252, 110815473, 108384289, 108530474, 111369486, 111310478, 108586296, 110816491, 108630392, 109523530, 112697065, 113575959, 114289732, 108615480, 114203007, 111017579, 110672976, 115320033, 113417787, 108879162, 110230456, 109666341, 109966756, 115424761, 111311525, 112981327, 112523465, 115326752, 115031442, 108270093, 108708674, 108132820, 112112240, 108572497, 109212558, 113972392, 108132775, 110339880, 112140763, 114268867, 112668317, 114019573, 108478550, 114042941, 109233778, 115391805, 113256614, 112896809, 108572020, 112639446, 114555914, 112697087, 114594053, 108971031, 112112224, 108342578, 108254026, 115339946, 108269811, 113119586, 108616009, 113728876, 115340189, 108145451, 109595130, 114756280, 108825926, 108503853, 112953232, 113008374, 114224341, 109915410, 115208058, 114947532, 110673982, 112840089, 110018588, 110258379, 115387696, 109524359, 108860589, 110018593, 114870884, 111784718, 114593404, 114667454, 110872933, 112465210, 108504318, 108158030, 115424765, 114066147, 108914964, 111665854, 115416083, 112434961, 108352309, 111223243, 108572468, 109212556, 113601756, 108304172, 115402674, 109666344, 112258841, 112464160, 114839539, 110988558, 113827374, 115228120, 114631444, 110421276, 108142990, 108174404, 111934330, 110959568, 108572524, 114685490, 113524009, 114990194, 110930633, 108971038, 113091920, 115395802, 108773855, 108179274, 108270100, 109865471, 108136817, 110394694, 114649856, 115108496, 112259887, 114353650, 109212568, 108254272, 114477432, 115312597, 113827402, 115281457, 114436410, 109477905, 108843477, 110561282, 112405706, 115154759, 114822727, 108218898, 115095854, 114374588, 114415977, 111547108, 108218909, 108286528, 113523082, 112318734, 112668281, 111075834, 109667208, 108490868, 115237631, 108218931, 115373934, 112867478, 108465996, 108530954, 109128718, 111993691, 108478551, 115208404, 109618162, 110124586, 115218036, 112754484, 111814438, 111399026, 110231411, 114789602, 112170323, 115399422, 109386901, 108429235, 108246748, 110617478, 114089224, 115187416, 108254295, 109088219, 111606458, 108189217, 108429653, 112609510, 109790111, 110312615, 115120071, 111488872, 115246915, 109275936, 110701329, 108453227, 111192845, 110873981, 112638420, 111106059, 110589317, 108342224, 115352242, 111637187, 113037276, 108261802, 113948582, 111785773, 108791413, 115044756, 115070744, 114180730, 112022299, 112377449, 115312843, 111399042, 115187779, 109386096, 112435999, 109169921, 109454936, 108661384, 108212525, 115177126, 108169944, 111281023, 108491325, 108897311, 114516362, 111904630, 110097213, 108586273, 112924056, 112051944, 111607513, 115297786, 115197850, 114456666, 109815095, 115413830, 110448893, 114555252, 110759283, 108530959, 111992637, 109890822, 112753480, 115155118, 111046665, 113876293, 115339940, 113728891, 108239432, 112725817, 110449876, 108154625, 110019510, 115083832, 111282064, 108304476, 109149964, 113778848, 115165870, 114739031, 114112136, 108807958, 111251592, 112981336, 108478101, 112082623, 108757694, 108206389, 112229364, 110338910, 115326987, 108952166, 108138637, 108825306, 115096278, 112697077, 114855585, 112081571, 111755014, 115018376, 115346435, 115411494, 110070892, 115405962, 110393717, 110758269, 113174677, 112348114, 108323077, 108158004, 108990800, 115004158, 115281732, 114179936, 110448900, 112697087, 115297779, 113972380, 112523491, 108661390, 114112947, 109477106, 108395312, 112952233, 114333238, 110257419, 114247077, 112581575, 108148228, 108601303, 108145541, 108269795, 110729768, 114311213, 111666909, 108131305, 108313341, 110203595, 108453661, 111696619, 109547802, 110787854, 112052996, 108661408, 115369046, 109149233, 108757102, 115411406, 114612843, 114158296, 113202080, 108544596, 108646051, 109408620, 108295234, 108304168, 115218375, 115058308, 115289866, 114649226, 108517055, 111903575, 114947027, 108145545, 108138568, 111370538, 108151357, 114962126, 108158133, 109570552, 111459228, 108135188, 108971723, 114703333, 108791399, 112925069, 113753047, 111815493, 110673947, 114886528, 114311949, 113311708, 108465554, 111458203, 108225507, 114020405, 108842850, 113284673, 114416683, 111252636, 109009374, 114375305, 108971049, 108135239, 113877157, 113973235, 114668077, 108741134, 114721584, 110177786, 114574420, 112230412, 108131330, 109319515, 110560288, 115208405, 112811622, 111517455, 114887041, 115383501, 108269796, 108352672, 115423315, 108212303, 113600842, 109501066, 110786839, 112141813, 108630925, 109298417, 108154636, 111844155, 110673972, 112839079, 111726335, 109690647, 115120492, 108615483, 109255157, 108373540, 111018632, 114517037, 109570548, 108878522, 115031903, 114703943, 108239202, 115083409, 109941025, 114593430, 112347071, 110071825, 111135293, 114496643, 111339969, 109594284, 113996894, 110257395, 110285475, 109068236, 114932728, 114630808, 108246488, 115176756, 108184017, 114090040, 113601740, 112552559, 108645510, 108140621, 108262082, 114855036, 113229398, 114089235, 109667205, 113444279, 113147177, 114976017, 115421108, 114497324, 110124597, 108130971, 109967677, 114901954, 115108079, 111017600, 110151132, 109571393, 109966761, 111992620, 112111178, 111163529, 113148155, 110873955, 115424049, 108660836, 108692108, 108933470, 111428608, 109643037, 112753470, 112317696, 113091906, 110284484, 113392134, 115031888, 113365430, 109840209, 110588328, 111577830, 115155145, 113626522, 111459254, 108131957, 113284693, 112667272, 109889919, 115017907, 111047727, 113924627, 109297643, 109789226, 108218667, 113996911, 115198205, 115281739, 112023352, 109211817, 111400085, 115418015, 115346224, 113471594, 109839315, 114772749, 115424026, 110044685, 115264491, 113753934, 111075832, 112200906, 111193887, 113924628, 112406745, 110367240, 115044775, 112464173, 115273090, 109190784, 114225124, 115363750, 113972397, 110845192, 115083841, 108417983, 108332713, 114720981, 110729784, 113418730, 109691512, 108990119, 109642182, 112697076, 108332367, 110533305, 109715088, 110644689, 108773832, 111636151, 111017572, 108200490, 111845210, 113064138, 111046693, 111904654, 108184220, 115255679, 115405836, 108189405, 113851916, 108692670, 115339970, 110701336, 115120083, 113391187, 109320294, 113120567, 108971039, 110098150, 108278053, 108661380, 111992619, 108676369, 111134254, 110616478, 108860609, 114536567, 114066980, 114703320, 112171373, 115402689}
29798
Returns: 239959711

{273779557, 276360058, 274901416, 271155226, 275697438, 339163251, 271314459, 273453010, 271617563, 276023341, 338888803, 338308501, 276342083, 274415580, 269456295, 339148755, 276172620, 276329083, 338858182, 274672466, 271921715, 275350333, 276201087, 271395780, 274249785, 270398326, 275784098, 276182361, 269700083, 273849213, 269742405, 273041995, 269542797, 338394168, 276172624, 339364984, 275916809, 274442817, 269487642, 270038960, 339416215, 274593606, 270411306, 272799300, 276327517, 275940604, 339025637, 269514049, 276090170, 275916821, 276279331, 275254623, 271720140, 272890313, 275931569, 272969833, 338583839, 276348749, 273907450, 339457788, 272049765, 271961895, 269852553, 269493680, 272395208, 276227258, 276222037, 276141887, 269572163, 272587337, 338446112, 275488079, 270257234, 273542721, 339195147, 339331214, 275715206, 270101568, 275807045, 273102612, 274984253, 274926111, 269754660, 276272669, 273661605, 339483834, 274221777, 269711449, 275240791, 276235471, 269465612, 274910844, 274698477, 273602270, 270699548, 274277689, 276324881, 276354979, 339413717, 270607615, 270083990, 269469929, 270249873, 269866816, 275070940, 270066630, 272939493, 275363592, 273994244, 338535180, 271171485, 273613536, 272305372, 273907460, 269784793, 270803334, 270377576, 276358815, 339484285, 275141123, 272245711, 275865206, 338968448, 339432001, 274734143, 271026224, 272079190, 272257007, 273242400, 270032598, 271412740, 270661965, 269471039, 271606913, 270548909, 276340103, 271450574, 339268147, 276285733, 338742142, 339389154, 274108753, 269455412, 273691186, 269723061, 276357810, 273643211, 272376586, 274126373, 270032570, 273163163, 272526964, 270526838, 275855455, 275447363, 274333178, 276113193, 271950834, 270475067, 270518547, 275535490, 338264455, 338636499, 275467820, 338165364, 273060816, 275307070, 338552554, 276331556, 276281794, 270440406, 275983041, 276185996, 269989283, 269493672, 273761317, 339483704, 269476216, 269734920, 271495311, 273453014, 269567334, 276294139, 271691693, 272557137, 273163168, 339414727, 271093405, 275668196, 274620038, 272020423, 272757480, 339436584, 272920655, 271691667, 339480485, 270073187, 273151693, 272127019, 276360274, 338656312, 274910818, 272666598, 271181440, 273965378, 276335330, 272335248, 269477527, 275800769, 272515531, 269575162, 273102640, 269491967, 270349279, 276135254, 338795259, 274935453, 274513611, 274523828, 338844596, 273482975, 269455716, 276347775, 339063245, 276310692, 269464711, 339479694, 275103414, 273896432, 273790685, 269456699, 269503339, 339451317, 274294937, 270181078, 272768976, 270174032, 270842543, 274432481, 275023292, 338618307, 275880747, 274523808, 271561495, 339461535, 338986847, 269890434, 271440151, 338949488, 274901416, 270722971, 272227232, 272020405, 275988264, 269517587, 338727684, 273983294, 274750081, 275023312, 270925611, 276345062, 270126166, 275342171, 338568653, 273691196, 276358826, 270708414, 271385444, 276156304, 272186253, 271533604, 275612599, 276166454, 276113207, 271863692, 276066149, 273613510, 276299919, 338383436, 269454447, 269838522, 269501426, 271331208, 339485166, 274810747, 270794223, 339411159, 271523056, 269580150, 339418900, 276318649, 339290424, 276015188, 338868670, 272981336, 270526821, 276145904, 270289030, 269911012, 274182961, 275574443, 271314461, 276350223, 276360301, 273212187, 274577182, 274682366, 276108906, 273453034, 274469935, 271691685, 269663514, 276353165, 275298767, 275527997, 275117899, 270562704, 269457950, 269674040, 270941082, 269462484, 276324852, 339456960, 269618144, 269596894, 271523029, 272878807, 276001846, 274051675, 276308726, 272485399, 338370670, 270653237, 273731884, 273393029, 270237884, 339312842, 274567081, 339373118, 271051742, 276358471, 272038625, 269460541, 269957290, 275475541, 338202268, 275094504, 339441475, 275679454, 269464703, 271748679, 275079913, 272009291, 274950649, 339483814, 273091123, 276195388, 272545693, 271635082, 273030520, 274656270, 274682348, 338172239, 275886592, 339341243, 275263066, 271806024, 274759821, 271129147, 269572190, 269734908, 273423052, 269474151, 339440960, 276291874, 274211108, 275384824, 273272587, 269481169, 270585070, 274080259, 273102611, 276120148, 274861084, 273907452, 339479650, 269583246, 269771961, 338157465, 274267081, 272127008, 275567105, 276265724, 338673469, 276041153, 270925654, 276078282, 269600184, 274388226, 269973173, 275871138, 275320562, 270308913, 269643215, 269759370, 270015872, 339132486, 272696877, 276333021, 276353151, 339346359, 272108680, 269457444, 275833439, 274377802, 269657106, 269487633, 269806104, 271234267, 272068025, 269941635, 338868648, 270049490, 273223646, 269926208, 275455160, 339259176, 275276786, 276073700, 272678077, 274801116, 338252122, 272848466, 338879572, 271663339, 271932748, 269501421, 275974445, 270022178, 339355856, 275721901, 272108656, 272727171, 273253849, 273332874, 273878369, 271341453, 271016586, 339290422, 274322669, 274630040, 276246383, 275426711, 275925988, 273000169, 275508138, 276010147, 273808901, 270066632, 273720722, 276355971, 272617562, 270230601, 339320226, 269951327, 339237279, 276261325, 339479669, 275911139, 275896059, 269718629, 269881315, 338899726, 276297753, 276230409, 339474072, 270144257, 272197509, 269483563, 274012085, 273631966, 273790681, 275586352, 338358519, 269811181, 275392841, 272829632, 338157469, 269730394, 270891501, 276313819, 269454796, 270685104, 273362969, 272425235, 276303371, 270155596, 269605650, 274305487, 276251125, 276101799, 339457788, 269920419, 272346624, 276348737, 273720724, 273030497, 339415129, 272286832, 275833459, 269506551, 270377582, 276085681, 272818130, 270779341, 274486718, 272406589, 276028291, 269493667, 270925625, 271304271, 271287610, 276305437, 271467675, 274097936, 275715236, 270607594, 269485080, 338830343, 273434425, 275612572, 270616211, 275555068, 275164176, 272108653, 270827475, 339275513, 275032411, 271103205, 276355953, 274165459, 276201083, 271606922, 269643216, 270630338, 274154715, 338192729, 271277458, 275823408, 274305475, 270336664, 269454999, 275413811, 339336824, 271077403, 339210681, 269911019, 270483247, 272436630, 272950997, 270518517, 274469965, 274523784, 272606099, 276049006, 276323215, 339301523, 269496565, 338418124, 269511938, 274775671, 273554012, 276359575, 269455435, 269875790, 338931483, 338322469, 271119294, 276261313, 276345065, 274360758, 274051688, 275750091, 276053772, 338986849, 276191849, 275624224, 275631324, 271589491, 275817217, 274851566, 269983148, 272787800, 274267098, 273151689, 269498377, 270593598, 275773651, 339445062, 273838139, 339500714, 274785351, 274603676, 270755542, 272156607, 269824734, 275008413, 271000852, 276357354, 276315685, 339045344, 275739370, 338756720, 271119305, 339479157, 276258566, 338552558, 274886027, 271368544, 339265823, 275732758, 272890340, 339248413, 270162561, 276343246, 270055986, 339396544, 272335251, 269523498, 275661256, 269463298, 269819567, 339478477, 269479757, 275649866, 338394140, 269695839, 270900853, 275187053, 276176351, 275849436, 276101812, 274023003, 269496539, 270192679, 270390435, 271207788, 275756620, 275901816, 274593624, 269667505, 338461561, 276268408, 338157468, 275969131, 274523855, 271578863, 270950550, 274540409, 270475083, 276162627, 275056245, 271042049, 339413397, 338727660, 269653240, 270461732, 275405864, 269797867, 274975031, 338264450, 269967124, 273284025, 269707110, 271505818, 275126744, 271863708, 272138231, 276218789, 272496820, 273464392, 269519798, 269838525, 271645785, 270316505, 273193418, 339096805, 339006374, 275047208, 270357021, 273672828, 275732745, 275515708, 275547653, 273132899, 274724349, 271674079, 269459466, 270496699, 273720707, 339114627, 339268451, 271224211, 269779899, 271250771, 273572521, 339412943, 269688965, 275371682, 270571163, 276336694, 276275231, 273453057, 270661945, 339271870, 270419270, 276354321, 271702450, 273583807, 338147821, 273121416, 275413808, 339341253, 272859970, 273936454, 273072310, 269485075, 269549750, 338478823, 269552454, 271845767, 274999252, 275954985, 275285160, 273750165, 275767205, 271617588, 270866943, 271759524, 274350291, 270699555, 269525808, 276243427, 339351264, 269999398, 272275517, 270746555, 339382154, 270731894, 339401308, 276131142, 276141904, 272636338, 338774808, 274405199, 270328997, 339223997, 271980027, 269838543, 338335078, 271314470, 274959933, 274550559, 339328489, 269684815, 270966101, 270032541, 273554026, 270005618, 276210038, 271874681, 272436630, 275218335, 339413706, 269458860, 270276788, 338407173, 274069408, 271903676, 270676310, 338229160, 276359906, 270639000, 269532079, 270090629, 274835990, 276342075, 338516831, 269468193, 339341232, 273494316, 339454724, 338291175, 271550907, 270218740, 275232279, 271788186, 339323327, 272335274, 339407249, 276346124, 338241661, 270119362, 270991270, 269767158, 339467280, 276204526, 339223968, 269588394, 272647810, 274513598, 273302745, 276265747, 274785357, 269678096, 269646987, 273808875, 270369759, 269477507, 339361063, 271358266, 276097417, 338600809, 339481738, 338813909, 269792881, 275149903, 271368557, 338693178, 269609037, 275686313, 274137154, 276360223, 272097491, 273819984, 269896047, 274040790, 274486689, 270779356, 270199804, 269637120, 271423120, 339179559, 272878816, 275328795, 338693163, 339440601, 269508563, 275172889, 269536103, 339490067, 276338839, 270770307, 269489245, 269468164, 276036294, 272167841, 273344289, 272708362, 274377825, 275946096, 276213409, 276351084, 269514051, 269472940, 269462489, 270876236, 271067656, 269667476, 270296546, 338213888, 273867322, 271260875, 269623926, 271478141, 276061475, 275839545, 275642846, 270851776, 339281257, 276238525, 272466708, 269467183, 269591587, 269833267, 273011670, 338496828, 270818302, 274708324, 271816934, 271892673, 274646319, 271197782, 270453623, 269461249, 274239155, 339495007, 273374345, 339456946, 269847206, 269556963, 270432369, 270055963, 270461750, 275996713, 271777308, 275704215, 338710918, 339080337, 269905310, 271145321, 275960388, 275126727, 275495724, 276320415, 272365220, 269973197, 276152382, 338913765, 270108290, 274459645, 270137372, 270916214, 275195700, 269559765, 339425887, 272346595, 338346545, 275849441, 272738662, 269627506, 276288097, 274876567, 271606899, 269633445, 339418882, 272316705, 338183330, 273925465, 269861380, 272696856, 275790459, 271730951, 275434581, 273702387, 269529670, 270975626, 269545403, 274193668, 273374371, 275593611, 272575883, 339479302, 338278404, 269564434, 271991115, 339332490, 274826415, 274496933, 271834825, 272485372, 276333022, 272485409, 270269350, 271702468, 273181950, 269538611, 338431751, 276359322, 276124355, 272455299, 269454548, 269454364, 272215955, 339484458, 271304241, 276356528, 269747023, 275605392, 270211536, 273512871, 276210064, 273404417, 275209755, 272436656, 273954420, 269678067, 272969821, 273524195, 272909149, 276352405, 276253983, 273808883, 271287626, 273314173, 270540519, 269614661, 339483685, 270504950, 269935758}
{828310708, 824929977, 827788703, 821994308, 827003986, 350825237, 821906079, 828379279, 821766669, 826457473, 351223900, 352212118, 825323817, 821863584, 825085325, 350851873, 826092576, 824506568, 351309706, 827937423, 828279036, 822529509, 826006137, 821865182, 821788413, 822597409, 826879469, 826063839, 823690441, 821647709, 826350396, 821519390, 825746205, 352017988, 826092590, 350010479, 823276814, 821876958, 825447905, 823047371, 349742785, 827982935, 827355696, 821518453, 825444307, 826619624, 351024761, 824330470, 823630904, 823276838, 825713042, 827502143, 828212187, 821516804, 823303326, 828422124, 351708881, 824687539, 821664775, 349290618, 821624946, 821648714, 823359964, 824450116, 828384502, 825918930, 824002448, 826178259, 825863967, 821531621, 351908500, 827263774, 822756136, 828363725, 350773656, 350250811, 826979389, 826982359, 823095009, 821522289, 822211227, 827771056, 826378155, 825742645, 828339298, 348807444, 821776739, 823662307, 822424557, 825889719, 824691185, 822157448, 827921797, 828352034, 827624647, 821800333, 824476517, 824778357, 349682045, 827545440, 826957626, 825297258, 827174474, 823333182, 827660770, 826932739, 828422540, 827396596, 821692294, 351786001, 827954658, 821589753, 828369816, 821664749, 823495696, 822231810, 822619548, 824869282, 348989152, 827602802, 828358712, 826751266, 351095541, 349531801, 822039592, 822074139, 821617540, 821578554, 828406393, 826882491, 828082470, 822346498, 824630742, 828168460, 822447655, 824596926, 821839097, 350546157, 825683381, 351486592, 349922641, 821732517, 825054995, 828332540, 823634273, 824838977, 821596089, 821557795, 828200341, 826882512, 821526271, 821537776, 822468477, 823172097, 827308775, 821824906, 823687043, 828287569, 827420662, 827463053, 822730151, 352291593, 351634365, 827286364, 352545682, 828419276, 822486952, 351761057, 825414234, 824237674, 822553681, 826539094, 823886555, 823123649, 824450126, 821624035, 348837803, 825357618, 823606343, 828120786, 828379296, 824093694, 824297092, 828201629, 821534566, 821526254, 349712388, 827907865, 822895953, 827967986, 821632581, 828419437, 349501912, 821516788, 828201608, 348959072, 822997259, 828414031, 828333367, 824960320, 351611279, 822157438, 828414288, 821979026, 821682862, 825384126, 828374965, 824570404, 826854116, 828400390, 824064377, 821522316, 825477959, 827289072, 823743588, 351413167, 822175152, 828026325, 821918525, 351336897, 828374367, 824872956, 825263398, 350977248, 824386602, 825236801, 348867971, 822305117, 828277991, 821631668, 824842629, 824390203, 349350930, 828131606, 822850636, 821519535, 827079720, 827737331, 828067604, 827698371, 351658708, 826725205, 821918508, 821789836, 349199776, 351071317, 826649409, 828095484, 351119351, 827788688, 827643966, 821584400, 821632611, 823410638, 825627485, 351513252, 828250769, 827889863, 827698379, 822142059, 825293620, 822923236, 827418087, 351735238, 828332521, 824869304, 822307442, 828069216, 823800506, 828346561, 821801785, 822823874, 823829102, 823687048, 828261214, 823575175, 821589771, 824326879, 352046378, 824994316, 823386879, 825537903, 828041992, 348777166, 822088765, 827700617, 349803233, 828133072, 825893240, 349591181, 825504342, 350427185, 823465024, 351281197, 821517556, 822468494, 823772001, 827220836, 823253604, 828178418, 822776685, 821906111, 825233154, 824960329, 828409205, 821947388, 822007940, 826263102, 828379294, 821890570, 828201627, 826153222, 824748068, 827460500, 827218064, 827622330, 827504626, 824812311, 826181681, 827808185, 825206535, 824476499, 349229810, 823918889, 825951571, 828133071, 828422572, 823437772, 821711902, 825564212, 828396815, 352073851, 827585458, 821616659, 828388358, 822779509, 350370781, 827997623, 349981203, 822057721, 825081673, 828311630, 825176254, 823175217, 822661651, 352429897, 827641653, 349410939, 827028426, 825236797, 828222494, 822285921, 828303867, 827753208, 349049886, 828417794, 823915409, 828403700, 828179766, 828420511, 821992456, 822007951, 352516025, 823224186, 350160368, 822445161, 828242354, 822055759, 822009820, 825863969, 823606338, 828383958, 824600559, 349471807, 825653666, 828167084, 827374918, 828403316, 824540280, 827525131, 821722084, 821522315, 826234918, 822122662, 821664751, 348867958, 824035131, 823523192, 352574850, 828143647, 828333362, 827171660, 825772193, 351586342, 823519875, 822142065, 823602987, 823976856, 821850450, 823149363, 823198073, 827439389, 827243758, 826096046, 823550800, 826857176, 350877558, 828416271, 824536655, 824748061, 350130390, 821610392, 825115647, 826802974, 828093930, 823803945, 825447926, 826488080, 821949157, 828319134, 823201210, 351281196, 826907701, 821531282, 823227340, 822639172, 350636390, 827481418, 826347046, 821524381, 827857026, 352319388, 828422188, 351252869, 828190822, 821657150, 825537890, 823383624, 823072652, 350070416, 822969450, 821610396, 828417987, 821534195, 828396366, 821656114, 821892226, 827859029, 350427190, 828119290, 821977202, 824090160, 827331005, 826646215, 828421441, 827241007, 826484797, 828302924, 826932715, 828325537, 825142308, 821528942, 827151036, 350341246, 826754395, 350692978, 824148978, 348867969, 826672677, 826699008, 826294561, 823306527, 351195534, 825623897, 824031614, 349140292, 822898876, 821590507, 825417857, 828241187, 828345796, 821631677, 827148202, 352101747, 823441047, 822572821, 821517637, 352574880, 826322531, 827773191, 825534299, 825024657, 822326868, 828392494, 828388870, 825594079, 827055620, 825980623, 821812497, 825831086, 823658915, 349290610, 826702170, 821562590, 824687544, 828325551, 828420492, 349621290, 821572971, 826802999, 825567811, 822619536, 826319168, 828421537, 822250432, 828040335, 821553263, 823492393, 824450136, 822142036, 828028023, 821920220, 824356717, 828108256, 828210929, 826979372, 827545437, 824510160, 351363720, 821557231, 822823897, 822386364, 822753333, 827583071, 821610367, 822213426, 350485999, 822248154, 822025560, 825142288, 821754131, 826006113, 828168462, 826096031, 827565549, 828189504, 352458797, 828013818, 823120562, 821812480, 822664370, 824903291, 822594765, 350190412, 822041527, 350747590, 823253595, 822510699, 821548980, 821517039, 827463029, 821890584, 821918490, 828409526, 826402481, 825474344, 350398883, 825507952, 351962291, 825597672, 827873557, 821577856, 824899638, 825054984, 826622833, 351143898, 352185161, 827923691, 824148992, 825293608, 821837557, 821711892, 826929732, 823547470, 351071328, 826035017, 827100784, 822847753, 821778132, 826828617, 827823298, 826806069, 828420620, 828143677, 828414007, 824420138, 822406597, 823044337, 349380703, 828294863, 348687478, 822072128, 821962179, 822269209, 828340094, 823413899, 822229585, 822090781, 825111996, 824416531, 351001837, 822994261, 351459959, 827923690, 348928751, 825801669, 351761035, 822139941, 821878556, 350606715, 826954637, 821516833, 350664771, 822874675, 824627106, 823022250, 349893180, 828374969, 825657247, 827052706, 824721440, 826515273, 348898362, 825387754, 822871772, 352017959, 826238317, 822159560, 827563138, 823857786, 826777190, 823658926, 821701972, 825507950, 827103657, 827333670, 821963976, 823019224, 823250434, 827982921, 823775425, 351882302, 824178483, 352574899, 826566061, 821918546, 828156911, 822124731, 828012091, 827420677, 826121227, 822266933, 827875532, 349651659, 351513272, 826124671, 822532096, 827353054, 823468314, 827735145, 352291588, 826780302, 821537372, 826266489, 821813979, 822324518, 828261204, 821603504, 825948067, 821541251, 821561995, 824300676, 823386870, 821755465, 822687049, 821528635, 350926741, 351048279, 827679679, 822641869, 821602686, 826954613, 822707142, 827194948, 821524139, 827905943, 821744503, 824782005, 827441941, 828325521, 350902200, 350576496, 827984704, 826433343, 827999378, 828358010, 349773043, 823718674, 822551072, 822427028, 824566775, 824208049, 828379289, 822346515, 350515996, 822575452, 825172606, 821733786, 821583677, 352603685, 828416046, 822594755, 350160351, 821517087, 821673691, 821520706, 824510189, 825775741, 351857466, 824152527, 821683991, 827716868, 826592905, 822465960, 828318244, 826904675, 821766674, 827755369, 821713115, 828106731, 827624668, 824270934, 825860437, 350100498, 826831695, 828364395, 827663058, 349952198, 822288222, 349863183, 826206636, 826178269, 828412040, 351435518, 828080887, 827266504, 350720234, 828295847, 823386860, 352157659, 821906105, 822193082, 821932831, 350281114, 826210047, 827825354, 826882529, 821577864, 823098078, 825977119, 821674789, 821548994, 822404150, 349682040, 825145957, 822732933, 351990524, 828221266, 821665842, 827605165, 352375536, 825021004, 822366330, 824241245, 822972430, 822105603, 825323793, 351810272, 824660952, 350160346, 821567022, 349320873, 352237142, 828145114, 822803051, 827522672, 821703155, 350311074, 828374974, 349833390, 824657313, 352347941, 827006937, 827842302, 826405804, 349169906, 823944343, 350720262, 825922442, 821526528, 828026327, 828399973, 825772188, 822072150, 823747004, 823832551, 828302934, 827311462, 824570411, 350040658, 828055723, 826291186, 351683618, 349080107, 351389224, 826460769, 822344123, 821878584, 351563161, 823947833, 822920294, 821743200, 824990662, 828326380, 821639560, 823280000, 828231353, 828040322, 822250404, 822826761, 823861245, 821852019, 350799588, 828422576, 822508135, 351563147, 349441363, 824360313, 822363932, 825716610, 348747141, 825353986, 827681942, 824480134, 824660948, 826430033, 821596875, 821544523, 821522499, 828093929, 823329966, 823973357, 824717796, 824330487, 825327452, 825206535, 822177300, 827891811, 823775428, 822709904, 352401845, 828286555, 821934571, 826038492, 821826416, 826374818, 823146259, 827076826, 822195256, 350456115, 824060852, 821544990, 825267039, 824005956, 826542347, 821518340, 351832995, 827719080, 822023652, 821693446, 828270247, 827952820, 827969797, 827399194, 824751715, 828155504, 348717111, 821548484, 349260234, 826569300, 825805215, 827377538, 823022240, 822532124, 826512005, 828232550, 822944794, 351538597, 350952205, 826675855, 827939289, 823356733, 822324535, 822684308, 824446504, 828379870, 823149389, 826149788, 351168550, 822947755, 828054082, 827031358, 827790797, 822383941, 824123078, 349561610, 821562584, 352129474, 826777161, 821520884, 823890025, 824267356, 827806103, 828168467, 826067304, 349591151, 821567649, 352487710, 828269172, 826596129, 828416242, 823069600, 821723327, 822616872, 821609543, 825686956, 822107646, 824182040, 821765311, 821548495, 822800207, 828406746, 349110381, 352264777, 825834624, 821640534, 350220469, 827840273, 821904421, 828251906, 828396793, 824536672, 828396804, 827197741, 821733790, 828411751, 824211614, 351935061, 825051342, 823715269, 828392975, 824933631, 824963974, 828352767, 349019572, 828028011, 824808661, 823578518, 827124576, 827127430, 828369177, 825977129, 821552731, 827543005, 821548954, 828260097, 823746998, 828422095, 821572312, 828422689, 825202889, 824119536, 828302915, 821920222, 821540815, 827483924, 826009598, 348837808, 822489493, 826728350}
30450
Returns: 790266326