#283596 (C++14) No.732 3PrimeCounting

提出ソース
結果

問題	No.732 3PrimeCounting
ユーザー	FF256grhy
提出日時	2018-09-07 22:57:24
言語	C++14 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	2,009 ms / 3,000 ms
コード長	61,764 bytes
コンパイル時間	1,809 ms
コンパイル使用メモリ	171,232 KB
実行使用メモリ	276,992 KB
最終ジャッジ日時	2024-05-07 05:03:15
合計ジャッジ時間	23,840 ms
ジャッジサーバーID （参考情報）	judge3 / judge2
このコードへのチャレンジ
（要ログイン）
テストケース

テストケース表示
入力	結果	実行時間実行使用メモリ
testcase_00	AC	12 ms 11,232 KB
testcase_01	AC	13 ms 11,324 KB
testcase_02	AC	13 ms 11,320 KB
testcase_03	AC	14 ms 11,336 KB
testcase_04	AC	12 ms 11,348 KB
testcase_05	AC	13 ms 11,320 KB
testcase_06	AC	12 ms 11,132 KB
testcase_07	AC	12 ms 11,264 KB
testcase_08	AC	12 ms 11,312 KB
testcase_09	AC	13 ms 11,164 KB
testcase_10	AC	12 ms 11,236 KB
testcase_11	AC	12 ms 11,368 KB
testcase_12	AC	12 ms 11,332 KB
testcase_13	AC	12 ms 11,268 KB
testcase_14	AC	12 ms 11,236 KB
testcase_15	AC	12 ms 11,392 KB
testcase_16	AC	11 ms 11,224 KB
testcase_17	AC	12 ms 11,268 KB
testcase_18	AC	12 ms 11,164 KB
testcase_19	AC	12 ms 11,328 KB
testcase_20	AC	12 ms 11,272 KB
testcase_21	AC	14 ms 11,736 KB
testcase_22	AC	14 ms 11,784 KB
testcase_23	AC	12 ms 11,232 KB
testcase_24	AC	12 ms 11,248 KB
testcase_25	AC	18 ms 12,508 KB
testcase_26	AC	16 ms 11,920 KB
testcase_27	AC	12 ms 11,340 KB
testcase_28	AC	12 ms 11,216 KB
testcase_29	AC	13 ms 11,504 KB
testcase_30	AC	13 ms 11,552 KB
testcase_31	AC	14 ms 11,592 KB
testcase_32	AC	16 ms 12,204 KB
testcase_33	AC	16 ms 12,092 KB
testcase_34	AC	16 ms 12,060 KB
testcase_35	AC	14 ms 11,824 KB
testcase_36	AC	14 ms 11,864 KB
testcase_37	AC	13 ms 11,344 KB
testcase_38	AC	12 ms 11,292 KB
testcase_39	AC	15 ms 11,896 KB
testcase_40	AC	15 ms 11,860 KB
testcase_41	AC	14 ms 11,836 KB
testcase_42	AC	14 ms 11,776 KB
testcase_43	AC	15 ms 11,492 KB
testcase_44	AC	14 ms 11,608 KB
testcase_45	AC	12 ms 11,468 KB
testcase_46	AC	15 ms 11,460 KB
testcase_47	AC	14 ms 11,524 KB
testcase_48	AC	19 ms 12,728 KB
testcase_49	AC	19 ms 12,552 KB
testcase_50	AC	14 ms 11,660 KB
testcase_51	AC	15 ms 11,588 KB
testcase_52	AC	14 ms 11,404 KB
testcase_53	AC	34 ms 15,784 KB
testcase_54	AC	597 ms 99,576 KB
testcase_55	AC	578 ms 99,704 KB
testcase_56	AC	577 ms 99,564 KB
testcase_57	AC	92 ms 26,728 KB
testcase_58	AC	91 ms 26,860 KB
testcase_59	AC	37 ms 16,124 KB
testcase_60	AC	144 ms 35,148 KB
testcase_61	AC	144 ms 35,116 KB
testcase_62	AC	804 ms 127,500 KB
testcase_63	AC	287 ms 59,452 KB
testcase_64	AC	191 ms 42,496 KB
testcase_65	AC	184 ms 42,472 KB
testcase_66	AC	12 ms 11,236 KB
testcase_67	AC	12 ms 11,316 KB
testcase_68	AC	676 ms 112,180 KB
testcase_69	AC	708 ms 112,088 KB
testcase_70	AC	600 ms 101,280 KB
testcase_71	AC	609 ms 101,368 KB
testcase_72	AC	267 ms 55,696 KB
testcase_73	AC	1,378 ms 200,880 KB
testcase_74	AC	1,383 ms 200,920 KB
testcase_75	AC	18 ms 12,384 KB
testcase_76	AC	678 ms 109,520 KB
testcase_77	AC	97 ms 28,276 KB
testcase_78	AC	1,043 ms 156,428 KB
testcase_79	AC	681 ms 113,696 KB
testcase_80	AC	909 ms 140,800 KB
testcase_81	AC	590 ms 102,352 KB
testcase_82	AC	12 ms 11,412 KB
testcase_83	AC	92 ms 27,588 KB
testcase_84	AC	103 ms 29,740 KB
testcase_85	AC	491 ms 87,548 KB
testcase_86	AC	954 ms 143,992 KB
testcase_87	AC	2,009 ms 276,992 KB
testcase_88	AC	1,980 ms 276,992 KB
権限があれば一括ダウンロードができます
ソースコード

raw source code
#include <bits/stdc++.h>
using namespace std;

typedef long long   signed int LL;
typedef long long unsigned int LU;

#define incID(i, l, r) for(int i = (l)    ; i <  (r); i++)
#define incII(i, l, r) for(int i = (l)    ; i <= (r); i++)
#define decID(i, l, r) for(int i = (r) - 1; i >= (l); i--)
#define decII(i, l, r) for(int i = (r)    ; i >= (l); i--)
#define  inc(i, n) incID(i, 0, n)
#define inc1(i, n) incII(i, 1, n)
#define  dec(i, n) decID(i, 0, n)
#define dec1(i, n) decII(i, 1, n)

#define inII(v, l, r) ((l) <= (v) && (v) <= (r))
#define inID(v, l, r) ((l) <= (v) && (v) <  (r))

#define PB push_back
#define EB emplace_back
#define MP make_pair
#define FI first
#define SE second
#define PQ priority_queue

#define  ALL(v)  v.begin(),  v.end()
#define RALL(v) v.rbegin(), v.rend()
#define  FOR(it, v) for(auto it =  v.begin(); it !=  v.end(); ++it)
#define RFOR(it, v) for(auto it = v.rbegin(); it != v.rend(); ++it)

template<typename T> bool   setmin(T & a, T b) { if(b <  a) { a = b; return true; } else { return false; } }
template<typename T> bool   setmax(T & a, T b) { if(b >  a) { a = b; return true; } else { return false; } }
template<typename T> bool setmineq(T & a, T b) { if(b <= a) { a = b; return true; } else { return false; } }
template<typename T> bool setmaxeq(T & a, T b) { if(b >= a) { a = b; return true; } else { return false; } }
template<typename T> T gcd(T a, T b) { return (b == 0 ? a : gcd(b, a % b)); }
template<typename T> T lcm(T a, T b) { return a / gcd(a, b) * b; }

// ---- ----

LL memo[] = {
0, 17, 86, 266, 602, 891, 1561, 2283, 2940, 3978, 5605, 5968, 8053, 9465, 11635, 13426, 16154, 17666, 20852, 23550, 26405, 29400, 33844, 37410, 42480, 46662, 49484, 52522, 57374, 64120, 69399, 79178, 81203, 91704, 98510, 103218, 110392, 118216, 126216, 134549, 140317, 146232, 161660, 171434, 178197, 188442, 199152, 206425, 217639, 229246, 241580, 254143, 271756, 280739, 294679, 313868, 328822, 339122, 349469, 360147, 376379, 393343, 416487, 428359, 440465, 465520, 491073, 504535, 504535, 524669, 538803, 545820, 581779, 611857, 619558, 666282, 674127, 690340, 723582, 749385, 766912, 811124, 839184, 848722, 877532, 906785, 916431, 946307, 987992, 998577, 1030459, 1051998, 1073794, 1084685, 1152464, 1163809, 1198787, 1222543, 1246331, 1270138, 1320155, 1358399, 1397068, 1410348, 1436318, 1503243, 1530745, 1572715, 1615102, 1643939, 1643939, 1687928, 1732472, 1762475, 1808029, 1870681, 1901997, 1933821, 1998981, 2032204, 2116086, 2150221, 2185136, 2237167, 2291311, 2291311, 2309677, 2364051, 2438072, 2456518, 2494383, 2532477, 2570531, 2629342, 2689080, 2790025, 2873054, 2914537, 2977911, 3021055, 3086180, 3151944, 3196659, 3264387, 3309432, 3355683, 3425158, 3471121, 3518786, 3590295, 3613638, 3686772, 3736211, 3785521, 3861921, 3912101, 3962974, 4014641, 4014641, 4093176, 4172487, 4252467, 4306351, 4415716, 4443622, 4470969, 4584317, 4669632, 4755801, 4843578, 4902385, 4961217, 4991351, 5051419, 5172626, 5233821, 5296189, 5420570, 5548284, 5580494, 5677354, 5775987, 5875313, 5941916, 6042863, 6110983, 6213266, 6317680, 6317680, 6457779, 6528735, 6564373, 6672153, 6781470, 6854975, 6928795, 7078081, 7190791, 7267290, 7305714, 7343500, 7536472, 7615390, 7734120, 7813520, 7934265, 7975131, 8137846, 8262080, 8304109, 8304109, 8471810, 8556507, 8726579, 8856837, 8987313, 8987313, 9120328, 9209198, 9299018, 9388213, 9432876, 9523958, 9707184, 9753232, 9892389, 10082081, 10129421, 10224872, 10321827, 10467271, 10516482, 10663383, 10861594, 11011724, 11061536, 11111644, 11315292, 11417254, 11417254, 11676149, 11834077, 11886942, 11886942, 12044914, 12097726, 12258702, 12419940, 12584192, 12748852, 12916414, 13083806, 13251904, 13364891, 13422280, 13592300, 13824968, 13824968, 13941489, 14117583, 14235571, 14295248, 14534265, 14534265, 14714164, 14835446, 14956419, 15079244, 15202108, 15202108, 15447773, 15700575, 15828173, 16019803, 16211884, 16276068, 16534028, 16731228, 16797889, 16997868, 17130522, 17130522, 17264611, 17671518, 17738979, 17945529, 18151942, 18222120, 18431507, 18502371, 18643166, 18854929, 19070156, 19357971, 19648493, 19794972, 19868495, 20089823, 20164565, 20164565, 20312885, 20462563, 20613088, 20840841, 21072047, 21224825, 21378199, 21610562, 21766951, 21924282, 22082729, 22321121, 22480590, 22641537, 22964216, 23125855, 23370112, 23617409, 23865797, 24203510, 24371852, 24371852, 24541555, 24711099, 24881522, 25051758, 25051758, 25223594, 25483135, 25832235, 26005876, 26183679, 26272784, 26449500, 26718141, 26897146, 27257904, 27439862, 27439862, 27712837, 27988109, 28080343, 28452345, 28639778, 28921004, 29109650, 29394221, 29394221, 29680499, 30065225, 30356827, 30647013, 30845123, 31042519, 31240205, 31240205, 31437404, 31735883, 31936499, 32038096, 32238919, 32646893, 32850902, 33159276, 33159276, 33366493, 33574282, 33887562, 34096502, 34202431, 34308338, 34521421, 34627254, 34946308, 35054115, 35481768, 35698172, 36023186, 36457706, 36788780, 37119630, 37342441, 37567523, 37789706, 38015084, 38469335, 38697530, 38926605, 39388757, 39388757, 39620482, 39735807, 39966076, 40197635, 40670295, 40787646, 41138924, 41498448, 41736920, 41858594, 41980431, 42342677, 42461994, 42706538, 42825929, 43313078, 43681649, 43804308, 43927029, 44427144, 44553175, 44803124, 45307110, 45433429, 45816162, 46327900, 46586950, 46716577, 46847156, 47235305, 47495276, 47626393, 48017125, 48280920, 48547134, 48547134, 48809789, 49344612, 49477795, 49746952, 50151725, 50284861, 50693380, 50967402, 51377325, 51925306, 52344058, 52623787, 53041493, 53323223, 53463420, 53885627, 54453160, 54594314, 55023253, 55313522, 55313522, 55747979, 56037447, 56472851, 56617867, 57207318, 57353042, 57944931, 58094803, 58244197, 58543408, 58994350, 59295887, 59596504, 60051993, 60355454, 60811974, 61118686, 61273377, 61735447, 62044823, 62356423, 62824627, 63137066, 63453105, 63926228, 64720660, 64720660, 65519314, 65839740, 66001584, 66483577, 66808445, 66808445, 66971232, 67464671, 67956579, 68288522, 68786157, 69118549, 69284108, 69787538, 70121766, 70459314, 70967543, 71478034, 71989639, 72503699, 72675809, 73021429, 73368814, 73888548, 74237197, 74588542, 74588542, 74940511, 75292231, 75292231, 75998048, 76532478, 76890034, 77247138, 77786428, 78328452, 78689043, 78869755, 79050686, 79779287, 80332008, 80514328, 81067550, 81809846, 82183876, 82371868, 82746006, 82746006, 83309575, 83876619, 84255774, 84632960, 85016779, 85398633, 85588637, 85782428, 86167266, 86743272, 87326235, 87718309, 88109278, 88501311, 88892744, 89682027, 89880486, 90079685, 90674612, 90674612, 91075573, 91673488, 92077797, 92682576, 93088690, 93494761, 93902040, 94308330, 94719783, 94924115, 95129072, 95749110, 96162371, 96784698, 97410145, 97619675, 98037705, 98878673, 99090585, 99301229, 99512873, 100149730, 100786394, 101214941, 101645285, 102075007, 102507008, 102721872, 103370000, 103586180, 104022603, 104459943, 104897237, 105775548, 106216996, 106439134, 106881553, 107101536, 107771141, 107995541, 108441695, 108665576, 108890803, 109563637, 110242051, 110469638, 110696949, 111150940, 111604837, 112289051, 113440896, 113440896, 113903337, 114366761, 114829150, 115760304, 116465174, 116934530, 117404074, 117876671, 118114399, 118825514, 119301777, 119540702, 120734496, 120734496, 121455962, 121938504, 122179016, 122664653, 123146669, 123878115, 124610742, 125100490, 125348026, 125837715, 126332417, 127076401, 127325730, 128070847, 128822196, 129327161, 129827411, 130583994, 131344732, 131850079, 132620096, 133131409, 133645482, 134675423, 134934504, 135965316, 136222391, 136743251, 137264552, 137789329, 138314536, 138578997, 139368104, 139629830, 140423836, 140956186, 140956186, 141753782, 142823353, 143090345, 143892970, 144704371, 144974545, 146058507, 146603410, 147146225, 147420818, 147969877, 148516073, 149064825, 149893936, 150727070, 151284243, 151840649, 152117241, 152953668, 153236380, 153801877, 154364795, 155496246, 155496246, 155780008, 156633241, 157206950, 157491450, 158348940, 159210943, 159784840, 160074943, 160654407, 160943068, 161524888, 162109636, 162690804, 163279187, 163568679, 164152003, 165625557, 166215813, 167106010, 167996388, 168293576, 169186810, 169488091, 170088182, 170685717, 171593482, 171894991, 173105754, 174020413, 174020413, 174632270, 175244216, 175857970, 176472183, 177085473, 177395787, 178323659, 178636618, 178636618, 179880012, 180505434, 180819637, 181132188, 181447141, 182387250, 182387250, 183021156, 183335431, 184282135, 184920703, 185235270, 185871393, 187150300, 188114125, 188756408, 189401882, 189722382, 190368857, 191017131, 192317506, 192968656, 193622597, 193622597, 195256905, 195916422, 196244233, 196904553, 197567619, 198568225, 199892899, 200897623, 201570537, 201905427, 202917385, 203593432, 204605900, 205622737, 205622737, 206646988, 207669526, 208008588, 208354951, 209044056, 209390391, 209733057, 210773179, 211465845, 212153934, 213543965, 213889237, 214582348, 215643826, 215998174, 216698227, 217407542, 218823336, 219884722, 220960777, 221674071, 222388544, 223470120, 224190906, 224906511, 225633304, 226358171, 227440557, 228170499, 228536515, 228899054, 229996902, 230360572, 231095967, 232206055, 232571327, 234049826, 235538356, 235909584, 235909584, 237779132, 238151463, 239272068, 240398630, 241530664, 241912818, 242293348, 242675542, 243812055, 245347281, 246114207, 246494149, 247262791, 247648188, 248412180, 248801570, 249189315, 251125168, 252288487, 253068152, 253844431, 254236797, 254236797, 255807992, 256198710, 257377482, 258169042, 258967218, 258967218, 259752469, 260554787, 260950027, 262148005, 262549326, 263354653, 264551485, 265762223, 266167580, 267372669, 267779129, 268181795, 268988551, 270216129, 270216129, 271439053, 272257726, 273488076, 274304957, 275542808, 275955120, 276369996, 277618143, 278031846, 278444820, 278857161, 280103217, 280526235, 281360970, 282191610, 283029056, 284710777, 285130674, 285976925, 287254590, 287680187, 289374545, 290664992, 291096207, 291948303, 292808673, 293669601, 294097278, 294531171, 295821269, 297124155, 297989919, 298428633, 298428633, 299737504, 300176543, 301481108, 302792860, 303235351, 304999386, 306324482, 306767572, 307658584, 308987208, 310768725, 311661180, 312109010, 312557443, 313900924, 315250178, 315698271, 316601665, 317505282, 317955674, 318862413, 319776436, 320684704, 321595582, 322053057, 323423473, 323879013, 325256197, 325715781, 326178968, 327097389, 328481430, 330334193, 331262513, 332197262, 333594494, 334065887, 334065887, 336407327, 337346737, 338290435, 338760267, 340655339, 341601489, 342077380, 343502992, 344457342, 345896152, 347333506, 347810837, 348772623, 350703296, 351185182, 352151901, 353607381, 354094568, 355065268, 356534612, 358000977, 358489661, 359472728, 360458243, 361934573, 362921856, 362921856, 364408956, 364904308, 365401438, 365401438, 366888360, 367385829, 368879921, 369377906, 370880783, 371382580, 372890847, 373393392, 373895042, 374400413, 374903074, 375404986, 377428745, 377428745, 378437373, 379458396, 379458396, 380984036, 381998961, 382510608, 384044868, 385074101, 385074101, 386098311, 387125586, 387640172, 388671118, 390744086, 391785180, 392824797, 393870380, 394390025, 395953380, 396478585, 396478585, 397523695, 399098865, 400152211, 402790970, 404381259, 406505274, 407575453, 408643331, 409177012, 411317438, 412385981, 413463585, 414544674, 414544674, 414544674, 415080812, 417243323, 418326646, 419408865, 421041131, 422132875, 422679447, 424322439, 424322439, 425965567, 427063917, 428163164, 429264626, 430368647, 430919386, 433134067, 434797044, 435352964, 437027983, 438143549, 439262754, 439825248, 442071917, 443194699, 444888711, 446585674, 447151856, 448280639, 449414970, 449981597, 451119884, 452262170, 452262170, 453975877, 456848019, 457421208, 459148403, 460301983, 460879541, 462035352, 463194594, 463774885, 464939089, 466104824, 467850992, 468436765, 469608287, 470193373, 471363281, 471948760, 472535506, 473709862, 475482762, 476072543, 479033557, 480219611, 480811793, 482000940, 482000940, 483191834, 484381570, 486178507, 486777769, 488573011, 489779259, 490378884, 491583123, 494605724, 495817950, 496422569, 497639505, 498244844, 499459963, 500681857, 502513826, 504352778, 506196913, 506812861, 508042377, 508660832, 509896213, 510515265, 512373524, 512992975, 514231185, 515473299, 517343043, 519210410, 519838330, 519838330, 520461398, 523600924, 524859781, 526750152, 528012918, 529909920, 531808949, 534353214, 534353214, 535627359, 536906032, 537544504, 538820760, 540747349, 542033569, 543319796, 544611683, 545901049, 547186982, 549129615, 550427157, 551723436, 552371534, 553672139, 554326393, 555631169, 556942703, 558252134, 560877120, 561534425, 564167911, 565486940, 566806309, 568796933, 571458296, 572123142, 573455995, 573455995, 574121971, 575454567, 578130502, 579472113, 580816833, 580816833, 582156513, 583505359, 585527800, 586201083, 586875112, 588912933, 589587262, 590944209, 592303055, 592983325, 595032224, 597083921, 597083921, 598451199, 600509508, 601881902, 603256760, 605323879, 606709529, 608777906, 610163134, 611550856, 612944564, 615031940, 615031940, 616421351, 618518185, 618518185, 619913955, 621315095, 622015349, 624123106, 624832325, 626955459, 629779301, 632625646, 634045115, 636174467, 636884163, 637601000, 639032028, 640473118, 641906930, 644063715, 644788149, 645509528, 646952467, 649116455, 649841552, 652728194, 653449300, 654902493, 655624235, 656349966, 657081744, 658534191, 659270664, 660004173, 660739393, 662931586, 664401212, 666601452, 668822637, 670289277, 673250200, 673250200, 676214588, 677700832, 678449185, 678449185, 681424625, 683678930, 684423057, 686656180, 688913721, 689670137, 691927629, 694203827, 696474072, 697235136, 697991678, 699516363, 701030515, 703324291, 704842400, 706376623, 708669117, 710971871, 714046864, 716363012, 717135463, 718680242, 720225970, 720998600, 723326856, 724879950, 724879950, 725651606, 726426601, 727985134, 728761568, 731106899, 731891611, 734231613, 735806865, 736588406, 738163258, 739743429, 741321952, 742893069, 744475355, 745269403, 746059743, 746847633, 748434045, 749223540, 750807440, 753202376, 754004203, 754807775, 755602530, 757203570, 759614589, 760414708, 761212610, 764435926, 765244554, 766053239, 768477240, 769282158, 770901018, 774145684, 774953825, 775766032, 778202346, 779020386, 779831509, 781466502, 783108132, 784737663, 786386408, 788843007, 790495518, 791321338, 792972055, 795446286, 796273876, 796273876, 799588379, 801250862, 803745560, 805404404, 806236465, 807902128, 809575043, 812090327, 814601032, 814601032, 814601032, 816283662, 817119073, 819646146, 821324788, 823861280, 826408137, 828110408, 830649742, 831503643, 833204838, 834055440, 836623832, 838331094, 840035716, 841752273, 841752273, 844322483, 846050146, 846906558, 849488269, 852078516, 853811843, 854680310, 857282324, 859018060, 860757323, 862501606, 862501606, 864245848, 867745445, 867745445, 869496765, 872124143, 873877418, 875643049, 877409130, 879170454, 881817331, 883589078, 885361764, 887131686, 888912875, 889804630, 892468713, 894254910, 896934753, 898721887, 899619560, 901416654, 903205565, 904108339, 905012119, 906806346, 908601024, 908601024, 910397472, 912211161, 913111371, 917631354, 921266175, 924908621, 925814935, 926727588, 927639632, 929456612, 932219520, 933131534, 935880581, 938644079, 939562080, 941396662, 945108947, 945108947, 947874919, 949717406, 950649481, 952510231, 956250777, 957188393, 959996668, 960940157, 961870541, 962801300, 964668601, 965611591, 966547004, 969383501, 971273817, 974096894, 974096894, 975992386, 975992386, 977890874, 978843226, 980739007, 983579472, 985481725, 986426750, 988338479, 989286594, 992148654, 994057007, 994057007, 995970955, 997878884, 998842892, 1000755005, 1001723764, 1004611874, 1005571057, 1008468636, 1011368610, 1015234867, 1018156606, 1021068343, 1023019680, 1024965581, 1024965581, 1026921238, 1029864345, 1029864345, 1033776712, 1035753359, 1037721451, 1039676585, 1041646005, 1043630036, 1044622227, 1048588835, 1050566355, 1051565454, 1052550826, 1053542133, 1055529325, 1058517691, 1059510469, 1059510469, 1061507834, 1064504946, 1067505195, 1067505195, 1069510283, 1069510283, 1071533381, 1074545156, 1077565447, 1078579019, 1080601152, 1082614989, 1084643450, 1085661429, 1089713247, 1092766772, 1094816160, 1097872101, 1100942685, 1104009048, 1107088546, 1109144266, 1111201552, 1113272407, 1116371272, 1117404906, 1119474866, 1122588528, 1123628515, 1125704224, 1128821740, 1128821740, 1130898282, 1134036612, 1135075888, 1137157918, 1137157918, 1139252414, 1143434567, 1144488254, 1146588190, 1146588190, 1147641958, 1151853848, 1153955230, 1157133924, 1158192418, 1161361339, 1163477254, 1165599730, 1166667520, 1168794903, 1170927549, 1174117492, 1175189696, 1176255480, 1180534393, 1182671911, 1185892869, 1188044908, 1189125317, 1190198478, 1191268886, 1194497185, 1194497185, 1197735444, 1200991403, 1202075478, 1204245663, 1205335396, 1208587769, 1209679418, 1210766281, 1211854116, 1215108696, 1216201728, 1217287854, 1219472517, 1221662749, 1222761394, 1227140074, 1228241263, 1229344970, 1231534967, 1233745283, 1233745283, 1235959739, 1238167010, 1239266635, 1241470184, 1242568169, 1245893602, 1250335832, 1253678951, 1253678951, 1255901668, 1259254757, 1261486597, 1262608475, 1265974347, 1268216767, 1269335894, 1272717932, 1273839117, 1276083828, 1277215635, 1279471070, 1280604463, 1282862788, 1283988240, 1286251516, 1289648132, 1291917946, 1294190615, 1297606908, 1298748385, 1299885060, 1299885060, 1302168579, 1304458624, 1307884821, 1310178317, 1313616513, 1314768752, 1315918260, 1318221878, 1319374824, 1322830178, 1325133083, 1329754730, 1332067421, 1334380512, 1335534154, 1337860303, 1340182684, 1342505159, 1343668934, 1345995860, 1348334706, 1349501990, 1353010572, 1355348231, 1355348231, 1358857001, 1363560377, 1364738336, 1369448101, 1370628369, 1374174365, 1378900286, 1382455979, 1382455979, 1384829716, 1389594665, 1390790545, 1391978027, 1396750166, 1396750166, 1396750166, 1396750166, 1399138324, 1401531555, 1405122485, 1406324649, 1409920473, 1412333361, 1413535031, 1415939087, 1417147551, 1420769470, 1423191414, 1425618314, 1425618314, 1430462162, 1432886808, 1435314232, 1437742986, 1438961399, 1438961399, 1442614747, 1443839532, 1446279492, 1447502396, 1447502396, 1448729575, 1451180753, 1453628852, 1456074814, 1458535270, 1462217339, 1465911878, 1469618856, 1472091789, 1472091789, 1475797339, 1477040598, 1480756474, 1483240634, 1485732268, 1488228956, 1489467314, 1491962731, 1494450185, 1498199091, 1501961027, 1506982253, 1508230022, 1512004456, 1514511446, 1517030468, 1519561259, 1522095657, 1524628422, 1528427859, 1528427859, 1534768673, 1536045519, 1539858886, 1542396826, 1544957187, 1544957187, 1547508453, 1552637701, 1552637701, 1553921910, 1556482483, 1560334174, 1562900421, 1566764567, 1568048862, 1569340950, 1570634958, 1574514016, 1577093080, 1579685414, 1582270785, 1587457743, 1588761421, 1592663539, 1595269623, 1597877128, 1600490476, 1604402340, 1604402340, 1607014108, 1609621374, 1613558046, 1616186569, 1617507959, 1618832232, 1618832232, 1621469818, 1625419582, 1628058440, 1634667553, 1635993438, 1637323144, 1641307729, 1642641749, 1643978232, 1647961813, 1650636200, 1651966403, 1655963109, 1657306092, 1661315170, 1666670340, 1672052774, 1676087143, 1678772747, 1680126275, 1680126275, 1682829978, 1685538055, 1689600593, 1693663757, 1696370546, 1699082109, 1701803516, 1704514207, 1707240970, 1709968175, 1711325385, 1715432086, 1716791302, 1719541394, 1720919414, 1722282861, 1726399163, 1727780169, 1729146277, 1729146277, 1729146277, 1733281971, 1738805407, 1740188725, 1741574081, 1745719916, 1747106924, 1749868604, 1754042188, 1756820559, 1762372641, 1765162143, 1766557115, 1770738425, 1772136430, 1773530099, 1777719247, 1779117811, 1781919899, 1786128181, 1791758962, 1793170872, 1795997923, 1795997923, 1800225419, 1804461624, 1805869468, 1808698238, 1812937317, 1815786629, 1817202149, 1821456821, 1825737392, 1827159391, 1828576858, 1831443335, 1831443335, 1837159989, 1840010964, 1842878286, 1845734235, 1847176895, 1848604209, 1851480888, 1852923245, 1852923245, 1855806297, 1860136175, 1861571301, 1867345813, 1871687882, 1873129057, 1878913875, 1880356288, 1880356288, 1881801431, 1884726479, 1887651760, 1890552776, 1893465713, 1896399036, 1900778373, 1902250134, 1903706815, 1906621401, 1911043374, 1913982043, 1916926910, 1918402877, 1919880339, 1922832746, 1930221514, 1931692585, 1934651965, 1939090618, 1942060056, 1942060056, 1942060056, 1945040581, 1945040581, 1945040581, 1948011943, 1952460892, 1953941130, 1955439775, 1959920215, 1964395781, 1965895940, 1970392277, 1973394931, 1974899225, 1977900691, 1979393659, 1983898891, 1988408217, 1994446502, 1995965776, 1995965776, 2000521914, 2003553711, 2006590379, 2009610466, 2011132973, 2012641491, 2015681071, 2018723472, 2020253463, 2023295779, 2027863169, 2030904879, 2035519334, 2035519334, 2040108345, 2041646911, 2044704145, 2044704145, 2046248921, 2049334124, 2055480247, 2058565688, 2058565688, 2063208405, 2067845304, 2070939326, 2075583452, 2077142959, 2080246139, 2083354832, 2086452306, 2091130054, 2094246754, 2097375015, 2098927040, 2103596240, 2109866128, 2111425517, 2114546063, 2117690819, 2120845808, 2123981776, 2128727736, 2133449461, 2136614692, 2139788017, 2141379201, 2146125349, 2149306643, 2152480433, 2154056777, 2157239996, 2158838900, 2162022099, 2163621849, 2165216427, 2169992184, 2173190285, 2174784520, 2177985212, 2181193562, 2181193562, 2186000304, 2190824719, 2192440842, 2198871154, 2200478239, 2202081463, 2203700780, 2206941239, 2208552396, 2213406494, 2219881076, 2223123796, 2226370986, 2234509587, 2237759604, 2241009510, 2242644747, 2247537472, 2249178406, 2254088834, 2255730237, 2255730237, 2257375321, 2257375321, 2262285737, 2265566340, 2267211459, 2270495092, 2275432276, 2278724480, 2280371994, 2280371994, 2283683385, 2286991540, 2293612587, 2295269252, 2296919398, 2300244058, 2301897599, 2303563738, 2306894567, 2306894567, 2310221952, 2313555546, 2318550021, 2321870902, 2326880817, 2326880817, 2330217034, 2335249703, 2338604095, 2345311180, 2346982197, 2350356197, 2352037692, 2352037692, 2353721134, 2360455553, 2362148102, 2362148102, 2363826415, 2363826415, 2367205865, 2372272190, 2373971194, 2379045350, 2382435241, 2385828973, 2390930828, 2394324817, 2399441980, 2404552947, 2407974617, 2409689898, 2413116257, 2414832934, 2419987106, 2421705763, 2426847809, 2428555963, 2432003546, 2437162500, 2440618931, 2444075462, 2445801320, 2447531172, 2449255006, 2454440027, 2456175167, 2459638534, 2466572969, 2470055466, 2471797579, 2475274424, 2480489917, 2483976220, 2490949904, 2494441493, 2494441493, 2496188787, 2501449670, 2503202021, 2508454254, 2513722689, 2517243860, 2520758291, 2522522197, 2526043619, 2527797818, 2529564230, 2534853098, 2536612949, 2540144829, 2543671717, 2545433531, 2548993461, 2552545098, 2554314554, 2559652337, 2559652337, 2564993223, 2568566241, 2570341209, 2575680999, 2579253642, 2579253642, 2586396496, 2591787638, 2597166031, 2600766306, 2602566977, 2606163909, 2607963535, 2611561115, 2615151520, 2618761693, 2624177176, 2624177176, 2625989793, 2631441108, 2633255005, 2638700479, 2642327099, 2647779724, 2651417136, 2653241542, 2656895661, 2660531842, 2662356937, 2665993520, 2665993520, 2665993520, 2671490576, 2673310346, 2675149789, 2675149789, 2682485349, 2684323174, 2686164512, 2693503085, 2697193975, 2700871555, 2704549710, 2706394626, 2711945470, 2713797002, 2719358982, 2719358982, 2719358982, 2724920685, 2726766010, 2728608639, 2732316580, 2736034665, 2737891317, 2743483732, 2747192273, 2754643717, 2758387445, 2762131416, 2764005596, 2769633813, 2771495929, 2775236005, 2777115622, 2780883685, 2784635579, 2790279620, 2792169115, 2794044702, 2797818228, 2799704502, 2805369281, 2811045964, 2814818171, 2820497733, 2828096759, 2831900641, 2835708612, 2839515170, 2839515170, 2841417782, 2847132987, 2847132987, 2854759751, 2858578176, 2858578176, 2862404802, 2866242162, 2868158252, 2873903710, 2877747582, 2881577472, 2883489153, 2887339073, 2895043462, 2898896578, 2906631141, 2908554217, 2912420654, 2914358163, 2918231545, 2920163214, 2925981638, 2925981638, 2931803242, 2931803242, 2937630669, 2941516295, 2947375745, 2951281356, 2953235739, 2963037267, 2964984490, 2970852465, 2976744035, 2978705137, 2980671690, 2986574078, 2990493737, 2992458350, 2996393558, 2998376554, 3002317215, 3010238566, 3012204433, 3020114116, 3022095806, 3022095806, 3030017416, 3032010997, 3037986762, 3041958317, 3045950811, 3049951800, 3055951595, 3059949648, 3065958573, 3073969213, 3079995182, 3081992531, 3083998638, 3086012741, 3092052017, 3094065339, 3096071803, 3096071803, 3102118226, 3106161402, 3112219603, 3120299907, 3124358856, 3128418803, 3132476783, 3138584860, 3138584860, 3144672031, 3150792119, 3152826419, 3154851341, 3156896791, 3163011345, 3167101514, 3173252251, 3175287654, 3181427159, 3183482456, 3187582102, 3191696013, 3193754989, 3197878571, 3199931924, 3204046786, 3206117132, 3208179013, 3212325212, 3216460734, 3216460734, 3220594385, 3224733849, 3228862290, 3233006053, 3233006053, 3233006053, 3239225658, 3243382797, 3245460239, 3251693552, 3251693552, 3257924161, 3260007540, 3260007540, 3264182621, 3270452724, 3274648254, 3280923303, 3285126270, 3289312412, 3293504716, 3295595088, 3299810955, 3301902823, 3306115774, 3308226316, 3318760275, 3320874352, 3320874352, 3322980568, 3325100391, 3329315542, 3331424802, 3333543712, 3337778228, 3346250843, 3352616082, 3354747306, 3361117773, 3367511105, 3369641587, 3373911258, 3380313948, 3386712115, 3388839141, 3393113846, 3395244268, 3401669260, 3403816426, 3408103580, 3418837062, 3423146303, 3423146303, 3423146303, 3427447269, 3429606248, 3436075043, 3438232360, 3438232360, 3442549134, 3442549134, 3449038805, 3455517647, 3462020065, 3466339395, 3470673939, 3472857612, 3475037958, 3481560406, 3490282882, 3490282882, 3496822045, 3501179928, 3503352676, 3507715558, 3514273434, 3518655078, 3523031803, 3525232606, 3529625878, 3534005769, 3538419616, 3542823922, 3547215264, 3551632518, 3556046569, 3560468775, 3564907670, 3564907670, 3567115588, 3571547240, 3573756894, 3575957159, 3587062487, 3587062487, 3591484009, 3598151029, 3598151029, 3600368185, 3604839965, 3607063515, 3613741614, 3620451504, 3624920556, 3629387421, 3633866154, 3636094086, 3640581795, 3647338543, 3647338543, 3647338543, 3654071774, 3656313026, 3660812357, 3667578435, 3669813880, 3676573688, 3678836422, 3681101037, 3685592757, 3692392260, 3696937394, 3699203044, 3701466419, 3706015531, 3712816282, 3712816282, 3715097665, 3724182573, 3728753841, 3733289071, 3737842462, 3737842462, 3737842462, 3746961785, 3751525776, 3753794581, 3753794581, 3758390950, 3762964632, 3767531754, 3774419254, 3776710246, 3778999580, 3785923996, 3788231296, 3797423567, 3799734130, 3804345808, 3804345808, 3813596488, 3813596488, 3820524694, 3825166460, 3829793486, 3829793486, 3834445494, 3836768226, 3839076412, 3848378171, 3853046411, 3857691187, 3862349044, 3864676455, 3869328884, 3874012261, 3878678159, 3883329614, 3888020344, 3892687826, 3897368009, 3904413691, 3906755697, 3911458506, 3918510263, 3923210468, 3923210468, 3932645927, 3937358172, 3939711006, 3946813550, 3949162037, 3953869601, 3956244146, 3958620961, 3958620961, 3963365862, 3965750126, 3965750126, 3975246126, 3975246126, 3979991229, 3984741029, 3991870032, 3999028760, 4001422113, 4003791947, 4006174961, 4010957587, 4013354389, 4018128110, 4025326692, 4032505136, 4034890105, 4039685861, 4042080838, 4049279985, 4056507547, 4058921705, 4063712907, 4063712907, 4068556285, 4075775475, 4083053000, 4085466288, 4090320863, 4097584624, 4099994305, 4107271934, 4114570283, 4114570283, 4119410615, 4129143056, 4131583613, 4136458758, 4141340017, 4146235747, 4153554985, 4155997525, 4160896695, 4163349750, 4165806930, 4173171911, 4178061670, 4182970667, 4190334024, 4192782066, 4195239585, 4200141226, 4202609950, 4207552933, 4210026887, 4214957459, 4219891449, 4222369655, 4227309205, 4234741510, 4234741510, 4239669553, 4244635992, 4247123819, 4252061637, 4257026158, 4259518954, 4264474913, 4266954318, 4271932384, 4279399701, 4281889351, 4284368387, 4291842556, 4301844002, 4301844002, 4311834649, 4314353034, 4319373941, 4324390307, 4329400806, 4331910254, 4336938200, 4347022187, 4347022187, 4347022187, 4352056428, 4357118109, 4364656217, 4372258422, 4377309056, 4382373636, 4389981951, 4395043195, 4400131322, 4402680738, 4402680738, 4407751363, 4410302579, 4415378819, 4423017750, 4430658125, 4435766886, 4438322402, 4440882988, 4448538632, 4456189929, 4458744819, 4466431515, 4471538349, 4479251948, 4481814599, 4484380661, 4492101535, 4494683962, 4497254215, 4504981172, 4504981172, 4512725944, 4517888546, 4525644415, 4530813789, 4535984003, 4541171622, 4546331739, 4546331739, 4556712126, 4564497512, 4564497512, 4567105291, 4572316639, 4580144917, 4580144917, 4587972883, 4593200363, 4595817526, 4601022332, 4608878849, 4608878849, 4616743005, 4624610343, 4629865211, 4635120232, 4640363698, 4642997506, 4645617082, 4656158961, 4661435696, 4661435696, 4669349592, 4669349592, 4677269258, 4685205403, 4690492049, 4695780320, 4703729155, 4711678780, 4719632131, 4722286955, 4722286955, 4724943350, 4732934521, 4732934521, 4740925660, 4746249353, 4748921079, 4756919021, 4762279370, 4767636837, 4772994242, 4778336849, 4781010750, 4786343777, 4789035041, 4791725417, 4797105037, 4802495487, 4810550972, 4810550972, 4824033929, 4824033929, 4826726885, 4832117338, 4834824374, 4837532323, 4840238790, 4842943759, 4848338260, 4856466597, 4859160877, 4859160877, 4867308645, 4872731708, 4878160101, 4883593448, 4886300606, 4891753228, 4897186099, 4902623900, 4908078674, 4910808532, 4913544160, 4921725793, 4927184667, 4927184667, 4929923870, 4938128225, 4943617428, 4946359752, 4954589932, 4960088863, 4965575796, 4971076694, 4973829095, 4979341251, 4982098956, 4984843852, 4995867315, 4998629590, 5001386427, 5009654385, 5023487837, 5026242712, 5034533942, 5040097415, 5048439583, 5053979745, 5056750379, 5062322930, 5070649314, 5076240203, 5081832183, 5087393308, 5092990718, 5098583515, 5104160167, 5106967035, 5109755025, 5115356668, 5120967966, 5126580634, 5134984882, 5140619320, 5146232499, 5151845464, 5157496688, 5160298618, 5165929446, 5174387931, 5177220130, 5180049298, 5185715827, 5191386873, 5197048560, 5199885547, 5202716105, 5208371611, 5214059845, 5219739119, 5228259508, 5231106840, 5236801361, 5245335514, 5248193294, 5253883292, 5259579902, 5262440887, 5262440887, 5273857903, 5279568876, 5279568876, 5282426457, 5288153213, 5288153213, 5291020714, 5299613947, 5302472777, 5311080501, 5322588660, 5325460776, 5328340478, 5336984076, 5336984076, 5342740290, 5348495045, 5354258638, 5362904952, 5368693815, 5371572853, 5374476260, 5383173140, 5386081837, 5388968852, 5394781033, 5400574429, 5409275304, 5412174630, 5418008927, 5426745084, 5432588147, 5438422531, 5438422531, 5444256143, 5450092972, 5458860121, 5467649084, 5470557816, 5476415478, 5485208448, 5491072835, 5494000868, 5502816519, 5502816519, 5511627248, 5517526853, 5520463430, 5526358228, 5532267510, 5535227805, 5538165405, 5549991997, 5552950653, 5558860825, 5561823734, 5561823734, 5567744050, 5570715373, 5576640020, 5579608417, 5588509465, 5597419846, 5609313626, 5615275345, 5615275345, 5624196337, 5630159873, 5633148214, 5636118520, 5642089200, 5648074004, 5654041294, 5657026478, 5663003862, 5665989737, 5680991739, 5683999334, 5693004432, 5699009763, 5699009763, 5705013806, 5714054714, 5717075584, 5723096863, 5723096863, 5729139177, 5732150542, 5741237364, 5744264707, 5750316943, 5756381495, 5759415971, 5759415971, 5762440946, 5768495055, 5774561040, 5780623882, 5786702994, 5789732247, 5801891331, 5801891331, 5817113424, 5823213793, 5829300246, 5832358460, 5841531467, 5847659667, 5853762248, 5862971193, 5869111881, 5875244145, 5881383137, 5890596371, 5893663879, 5902911610, 5902911610, 5909077999, 5915251442, 5918338241, 5927575803, 5933761818, 5933761818, 5939949103, 5943031832, 5949208207, 5952297143, 5961587143, 5961587143, 5970873397, 5977092193, 5980201202, 5986409922, 5989523042, 5998854371, 6008167163, 6008167163, 6017503654, 6020612351, 6023737325, 6029981600, 6029981600, 6045618260, 6048734065, 6058128550, 6058128550, 6061270605, 6064403798, 6076935442, 6083225047, 6086361429, 6092655809, 6095800403, 6098931833, 6105224195, 6108363146, 6111504715, 6117806461, 6120954055, 6127242870, 6130402064, 6133547199, 6143027975, 6155685383, 6155685383, 6168339173, 6177840676, 6184199121, 6190538540, 6190538540, 6193717211, 6203227194, 6215970045, 6225524460, 6231910123, 6235094082, 6241476566, 6247861433, 6260665106, 6263855995, 6267050740, 6273457290, 6279852874, 6283049540, 6289482915, 6289482915, 6302292067, 6308741114, 6315184767, 6318410731, 6328074209, 6331303382, 6337748020, 6344196400, 6347411183, 6357106783, 6360348175, 6363593093, 6366826827, 6370063739, 6376531508, 6383023265, 6389507092, 6396005571, 6402503353, 6415507318, 6418747178, 6431761214, 6441541270, 6444801041, 6448065656, 6457847860, 6461119030, 6467652493, 6470923309, 6477467303, 6484003382, 6493831637, 6500394592, 6503669764, 6513524198, 6516810593, 6526666271, 6533254421, 6539838985, 6543132898, 6553009724, 6559600384, 6569504605, 6579405829, 6582711915, 6595942041, 6595942041, 6599260712, 6609184623, 6615812967, 6622445030, 6629068999, 6635709650, 6642347696, 6652323817, 6658989462, 6662317280, 6668986381, 6679002404, 6685675466, 6692352819, 6695702791, 6702391438, 6709082986, 6715797440, 6725838051, 6729189620, 6732549470, 6735915111, 6739267043, 6745997250, 6749357360, 6756082469, 6762810937, 6766183343, 6772912772, 6776290092, 6779666058, 6789778367, 6796540729, 6803291757, 6813426959, 6823575169, 6826971957, 6830358273, 6843934051, 6850708133, 6857494035, 6867698524, 6867698524, 6874484261, 6881290790, 6884694924, 6891512071, 6898327036, 6901743082, 6905153546, 6911976205, 6922215191, 6932458483, 6935884300, 6942723609, 6946153954, 6956446589, 6963306383, 6973594316, 6983895883, 6994210325, 6997657353, 7001088907, 7001088907, 7007980172, 7014865818, 7014865818, 7028657210, 7035566060, 7045948416, 7052841424, 7063235735, 7066706271, 7070161185, 7073618879, 7077089689, 7084040011, 7094469820, 7094469820, 7104889848, 7108359101, 7111842802, 7118787578, 7129248843, 7132737920, 7139705624, 7146679726, 7153668813, 7160651534, 7160651534, 7164148890, 7164148890, 7164148890, 7171131482, 7185123884, 7192129427, 7195632188, 7206141255, 7213146540, 7220170598, 7230718608, 7237755777, 7248306401, 7255359384, 7265955628, 7269488652, 7280068221, 7283608536, 7290686576, 7301283412, 7311927798, 7315472998, 7322575060, 7326128053, 7326128053, 7329676025, 7343872418, 7350975359, 7361623012, 7372308863, 7372308863, 7386553318, 7397270962, 7400846273, 7407991037, 7411566574, 7415149318, 7422290127, 7425874758, 7433049580, 7443786896, 7450955672, 7461717222, 7468889687, 7472485913, 7479657676, 7490456153, 7497650121, 7504869991, 7508482323, 7512094870, 7512094870, 7519306435, 7522922233, 7522922233, 7530146100, 7537361373, 7540983142, 7548196799, 7555435088, 7562674138, 7566290901, 7569906014, 7580778225, 7591662676, 7602585041, 7606210236, 7617105410, 7617105410, 7624380113, 7628031398, 7638955873, 7642612207, 7649920524, 7653562684, 7660882212, 7668194582, 7671861811, 7679189269, 7682850986, 7686518861, 7697507638, 7697507638, 7704842120, 7708499378, 7719471178, 7719471178, 7719471178, 7723146833, 7737852654, 7748901409, 7759929807, 7767310783, 7770982933, 7778358312, 7789441607, 7793143111, 7807917112, 7811628290, 7815337388, 7819028742, 7822742234, 7826432552, 7837536467, 7852395133, 7859833470, 7867280788, 7871008841, 7871008841, 7878431883, 7885875663, 7897065071, 7897065071, 7904513663, 7904513663, 7911976479, 7923183016, 7926905151, 7926905151, 7930629993, 7938117529, 7941852607, 7945601072, 7956844085, 7956844085, 7968089314, 7975597302, 7983095459, 7986858551, 7998121990, 7998121990, 8001887951, 8013166865, 8024457108, 8035762355, 8035762355, 8050837977, 8054620682, 8058398398, 8069740410, 8081078313, 8092450220, 8100020878, 8107621085, 8115218741, 8122818627, 8130395069, 8130395069, 8134183171, 8141796854, 8145604977, 8149422286, 8160843446, 8160843446, 8164656682, 8172292616, 8176090316, 8187512851, 8198963357, 8210444648, 8214258067, 8225741970, 8229576702, 8237218600, 8241054555, 8252562536, 8260236547, 8264065404, 8271742098, 8287093104, 8290946297, 8290946297, 8294795828, 8302491786, 8310200543, 8317907990, 8325622669, 8325622669, 8329485071, 8337200671, 8341067403, 8344919927, 8356530291, 8364283988, 8372007053, 8379772573, 8383640369, 8387525113, 8399150474, 8406929242, 8418561736, 8426356072, 8426356072, 8434142598, 8438045151, 8445837042, 8453637025, 8461445136, 8465348949, 8473134722, 8477048193, 8480958918, 8492672641, 8496576104, 8500488161, 8516118687, 8516118687, 8523943296, 8539623806, 8539623806, 8547468333, 8551379697, 8563190198, 8567130531, 8575008865, 8582873258, 8586802114, 8590728805, 8598608172, 8602555648, 8602555648, 8610462170, 8614413948, 8622291469, 8634124698, 8642045086, 8649950900, 8661832487, 8673722315, 8681648688, 8689595725, 8693563675, 8705481840, 8717425708, 8717425708, 8729347824, 8737320525, 8741309427, 8753254100, 8769210979, 8773191262, 8785169059, 8793162809, 8805170637, 8817189107, 8825199214, 8829213782, 8837225104, 8849291243, 8857322085, 8865357453, 8877426338, 8881450471, 8881450471, 8893556070, 8897578509, 8901613419, 8905643202, 8909681474, 8921774316, 8929854447, 8929854447, 8937937724, 8946012790, 8950046533, 8954104455, 8966242941, 8970299578, 8978403943, 8982449340, 8994633699, 8994633699, 9002751190, 9006815458, 9018989193, 9027144401, 9027144401, 9031218683, 9039368796, 9043444493, 9051587505, 9059738356, 9059738356, 9071984567, 9076076602, 9076076602, 9080158004, 9092419339, 9096515984, 9108773714, 9121080981, 9121080981, 9137450713, 9141560522, 9149771554, 9149771554, 9153888186, 9157992701, 9170326115, 9178536614, 9178536614, 9186768912, 9199109058, 9203237827, 9211464398, 9223856397, 9227988193, 9232124219, 9236250449, 9244522865, 9256922281, 9261070222, 9269353097, 9277627217, 9290063989, 9298349072, 9306624989, 9323255587, 9327407541, 9335736709, 9339900987, 9344075541, 9352396158, 9360748631, 9364902047, 9373241673, 9381594893, 9385776480, 9394112884, 9406679134, 9415056116, 9423424086, 9427611145, 9431808577, 9435982662, 9448557457, 9461157880, 9469546448, 9482160960, 9490569726, 9498983388, 9511605922, 9515823929, 9524234137, 9545337350, 9553774136, 9553774136, 9562220240, 9566436808, 9570666312, 9587581588, 9596058093, 9600291543, 9608774492, 9608774492, 9621485810, 9629966888, 9634215807, 9646964261, 9646964261, 9655465999, 9663950451, 9672462230, 9680969278, 9693767258, 9698027276, 9698027276, 9715086683, 9719342075, 9719342075, 9727864221, 9727864221, 9732146951, 9736418148, 9740699491, 9744990194, 9757822561, 9770683858, 9774970293, 9783559654, 9787835898, 9796418057, 9805014679, 9813599760, 9817884620, 9830815484, 9839443840, 9848051406, 9856652685, 9865278626, 9869577043, 9878221582, 9878221582, 9886875303, 9895491862, 9908487148, 9917137358, 9921483919, 9930118604, 9934437580, 9938751917, 9951772179, 9960458101, 9969160150, 9973512030, 9982199686, 9999600498, 10008312620, 10008312620, 10012679279, 10021412691, 10034492683, 10047553760, 10047553760, 10051919010, 10064998702, 10078126070, 10082482192, 10095595015, 10113116808, 10117509822, 10121886894, 10135055182, 10139429407, 10143812725, 10148213112, 10156980891, 10161387312, 10170177795, 10178978290, 10196575379, 10205427484, 10209853055, 10227478221, 10231878623, 10245161960, 10253981114, 10267269399, 10271685795, 10284928379, 10289344536, 10293794490, 10298206767, 10302657164, 10307078042, 10315972404, 10333740157, 10342635549, 10351563347, 10364967193, 10369408250, 10378330367, 10382805680, 10391734494, 10396186886, 10414081907, 10423035845, 10436410910, 10445394309, 10445394309, 10449886381, 10463367679, 10467858098, 10476802797, 10485780240, 10485780240, 10494732140, 10503714156, 10503714156, 10521680094, 10530708243, 10530708243, 10539685071, 10544198957, 10548722097, 10553238370, 10557727300, 10562247968, 10571271057, 10571271057, 10575799464, 10589365420, 10598410270, 10611971381, 10620996616, 10634599799, 10639121386, 10643646921, 10652721373, 10657271934, 10666324988, 10670876405, 10675398875, 10689018998, 10698114470, 10707216284, 10716345257, 10729996876, 10734567445, 10743659972, 10748234774, 10748234774, 10757359931, 10775633230, 10789336421, 10793901366, 10798494244, 10803059555, 10807631107, 10821387825, 10830556458, 10830556458, 10844367257, 10844367257, 10853545496, 10858153482, 10871927974, 10876536552, 10890323755, 10894915714, 10908681961, 10922522758, 10927126029, 10927126029, 10936351284, 10940987342, 10945581268, 10954816260, 10964033762, 10973278536, 10987166034, 10991809975, 11005693193, 11028889861, 11028889861, 11033514075, 11038140650, 11038140650, 11042770259, 11042770259, 11047405414, 11052034862, 11061328116, 11070663967, 11075325317, 11084631439, 11084631439, 11103217638, 11103217638, 11107858592, 11126478010, 11140506910, 11145200728, 11149856296, 11154507182, 11163855003, 11173168482, 11173168482, 11182573156, 11201300300, 11206007564, 11210713737, 11224736972, 11229449624, 11238884749, 11252963755, 11262369273, 11271788876, 11285895788, 11295361045, 11309484164, 11318917038, 11323613915, 11333054813, 11342507042, 11352003088, 11356751125, 11366181992, 11375683744, 11375683744, 11389916085, 11404115211, 11404115211, 11418332324, 11427862601, 11437370633, 11442135407, 11451642335, 11461126994, 11470598690, 11484944896, 11489730173, 11499273495, 11504059858, 11513600314, 11518386572, 11523183753, 11527937281, 11537503071, 11537503071, 11542271732, 11561406662, 11575780141, 11580590408, 11594917763, 11604511937, 11618927823, 11628524614, 11647756298, 11652580398, 11662201131, 11667026900, 11671822412, 11681449951, 11686283629, 11691086565, 11705531937, 11720039031, 11724888138, 11729737827, 11739406789, 11749066611, 11758743747, 11768453266, 11773309954, 11792661508, 11812128918, 11816969734, 11831513409, 11846115979, 11855843711, 11865584173, 11880211236, 11885071177, 11889962760, 11899714828, 11909475152, 11919259308, 11929029070, 11929029070, 11933908119, 11938808747, 11948602417, 11958356080, 11977963674, 11977963674, 11982844717, 11992644833, 11997530195, 12007335017, 12017148498, 12026939164, 12041626392, 12056428725, 12066263210, 12071176848, 12081058786, 12090912245, 12110611462, 12115554971, 12120507011, 12135309532, 12145198191, 12155082226, 12169936619, 12174902765, 12174902765, 12194683955, 12194683955, 12199658164, 12219500036, 12229430356, 12244344210, 12249299369, 12259272025, 12264260685, 12274188580, 12284167486, 12289136767, 12289136767, 12299102944, 12299102944, 12314052786, 12329036074, 12334024815, 12339003191, 12353993587, 12359004032, 12359004032, 12369005838, 12373999004, 12389029807, 12409098960, 12414100105, 12429093806, 12444194704, 12444194704, 12454254793, 12459272029, 12464307867, 12469354479, 12474387115, 12484448735, 12499568874, 12514694808, 12529850123, 12544976295, 12555086629, 12560153559, 12575298272, 12585412700, 12590463740, 12605636988, 12610695116, 12610695116, 12625871032, 12630962099, 12630962099, 12641101718, 12641101718, 12646188951, 12656346584, 12661412442, 12666510338, 12676703508, 12686874232, 12691974606, 12712334181, 12717438037, 12722543512, 12732708931, 12742932626, 12753161717, 12758280219, 12763375558, 12773570221, 12783779329, 12794009126, 12809347436, 12824699898, 12829813765, 12840067124, 12850296047, 12865730157, 12870844094, 12881091098, 12891341191, 12896501219, 12901657037, 12906813931, 12911948179, 12927373889, 12937673303, 12947983987, 12953130539, 12958300578, 12968621880, 12978920749, 12984096245, 12989279336, 12999582169, 13009915790, 13020292448, 13030614935, 13035807488, 13041001709, 13056557751, 13072137132, 13082507266, 13103272314, 13108447952, 13113654758, 13118836304, 13134457836, 13144901288, 13150131178, 13160551500, 13170983552, 13181418325, 13197079780, 13197079780, 13212736609, 13217948737, 13223160604, 13233611460, 13249321435, 13254571050, 13270248427, 13280727344, 13291207326, 13296464855, 13301733599, 13301733599, 13312210333, 13333246271, 13343756530, 13354242327, 13370056855, 13375336222, 13375336222, 13391156285, 13401702144, 13417508849, 13433329547, 13438597892, 13454473348, 13465067390, 13465067390, 13465067390, 13480928635, 13491513352, 13496797113, 13502111196, 13507408071, 13512722563, 13518045397, 13523334504, 13539228871, 13549881835, 13565833894, 13581766172, 13587104110, 13597736504, 13603071659, 13608409193, 13624372750, 13635013595, 13645685063, 13656349959, 13672358552, 13683015183, 13683015183, 13688337955, 13688337955, 13699043634, 13720389391, 13736484611, 13747244259, 13752630339, 13768701702, 13774056925, 13790122637, 13795514513, 13806229798, 13822395405, 13833165120, 13838534496, 13849277011, 13870888290, 13870888290, 13881650993, 13887071531, 13892439262, 13897864573, 13903291405, 13914133735, 13919519197, 13930361530, 13952009810, 13962850903, 13973689627, 13973689627, 13979084859, 13995377114, 14000791103, 14011684970, 14027993885, 14033412204, 14033412204, 14044325583, 14049778825, 14071555689, 14077013086, 14087877791, 14093342252, 14098813588, 14104262907, 14120611886, 14126081084, 14131530713, 14142458152, 14147932053, 14158866025, 14175233889, 14191674167, 14197166066, 14208118993, 14219106145, 14224598940, 14235573396, 14241046798, 14252011511, 14268450036, 14273932920, 14279447598, 14284934775, 14295946200, 14306988831, 14312474556, 14323511672, 14340057911, 14345563023, 14356597506, 14362107232, 14378630418, 14378630418, 14389645651, 14400694837, 14406196158, 14417252844, 14428359816, 14439461714, 14444974683, 14456025819, 14461577469, 14467145413, 14478206577, 14489291902, 14494859668, 14505924726, 14517032990, 14528113098, 14555909661, 14561455561, 14567050725, 14578193217, 14594937604, 14606080964, 14611686289, 14622855315, 14628456062, 14634022173, 14650767015, 14661945293, 14673138170, 14684369526, 14706782423, 14723624526, 14734836798, 14746096749, 14751689529, 14768583338, 14768583338, 14791032964, 14807933860, 14819203274, 14830474216, 14841779575, 14853059663, 14864312719, 14869970448, 14875598537, 14886905144, 14898238989, 14898238989, 14909557034, 14915188995, 14926505761, 14937821732, 14949152571, 14954833104, 14971815444, 14977501989, 14977501989, 14983161360, 15000202630, 15005902168, 15028605978, 15039973950, 15045652787, 15057048492, 15068464418, 15074170869, 15079888561, 15102695300, 15102695300, 15114075743, 15119800233, 15119800233, 15125489664, 15142639252, 15142639252, 15154040632, 15165469761, 15182646417, 15188345255, 15199831657, 15217028956, 15228507617, 15234265496, 15239990937, 15257241228, 15257241228, 15268750607, 15280219051, 15291710776, 15291710776, 15297441861, 15320438447, 15331925477, 15343440626, 15354980367, 15360763202, 15378057252, 15389631136, 15395389227, 15401147979, 15412700104, 15418462103, 15418462103, 15430021287, 15435791737, 15441598555, 15447401895, 15458983684, 15470539618, 15493762625, 15493762625, 15511124487, 15516940029, 15528540697, 15540121471, 15551782777, 15557589446, 15575009613, 15586655726, 15598298546, 15609910337, 15627418335, 15633264764, 15650770018, 15656591371, 15656591371, 15668229757, 15668229757, 15679956323, 15691650558, 15703368488, 15709193735, 15726742037, 15750212010, 15756095687, 15761978916, 15791329325, 15791329325, 15791329325, 15797187144, 15808939994, 15808939994, 15832461062, 15844201925, 15861841021, 15879576739, 15885444837, 15903115695, 15909031988, 15914917620, 15932581297, 15950321197, 15950321197, 15962105990, 15967994037, 15979861556, 15979861556, 15991687446, 15991687446, 16015334669, 16033145813, 16039093230, 16050956084, 16074745696, 16080698718, 16098523983, 16104493511, 16116374276, 16122348508, 16134288497, 16146169457, 16152107951, 16158084960, 16164020673, 16175937206, 16187866522, 16199791733, 16205750725, 16217696424, 16223692737, 16229655568, 16235650244, 16247605871, 16265532098, 16277463357, 16295444439, 16313409546, 16325444456, 16331458022, 16343472761, 16361511292, 16373500602, 16391568042, 16403618288, 16409609569, 16415654126, 16421658264, 16439749060, 16457863376, 16463926455, 16469960417, 16476007021, 16500203401, 16512292479, 16536497263, 16548565096, 16560687833, 16572752773, 16578797971, 16584872349, 16597021905, 16615250652, 16621309987, 16639532807, 16639532807, 16639532807, 16663833620, 16669934729, 16676032439, 16700388057, 16712566888, 16712566888, 16724746651, 16736979851, 16743097148, 16749230631, 16749230631, 16761433921, 16773621906, 16798100303, 16810298336, 16810298336, 16822520033, 16834755961, 16847004115, 16865376270, 16871478093, 16889863715, 16902138242, 16908244129, 16926655641, 16932820928, 16938981601, 16945100946, 16957445340, 16963577892, 16975887882, 16988238481, 17006735597, 17019091423, 17037620799, 17037620799, 17062345437, 17087062051, 17093264645, 17105606468, 17105606468, 17105606468, 17117976478, 17130403392, 17142804948, 17161422113, 17180050962, 17198700952, 17204891188, 17223570138, 17223570138, 17235977961, 17242208864, 17254640480, 17267070020, 17279561850, 17279561850, 17285769158, 17291994652, 17310682024, 17335616683, 17341878033, 17354360680, 17366851074, 17385614966, 17391885992, 17416876083, 17423162150, 17435722749, 17435722749, 17442007260, 17442007260, 17467101807, 17479643278, 17485914678, 17510969042, 17523540312, 17529842276, 17536118072, 17536118072, 17554975066, 17567583152, 17573885940, 17573885940, 17580208872, 17592810897, 17605382189, 17611706539, 17624358831, 17643319482, 17655941078, 17668588480, 17674928030, 17674928030, 17681230708, 17681230708, 17700191106, 17725557581, 17738228680, 17757250134, 17763606939, 17769968167, 17776298771, 17788993804, 17788993804, 17808060720, 17827139871, 17846251730, 17865351263, 17878056254, 17884439983, 17884439983, 17890798608, 17897189493, 17916321576, 17929051239, 17941814421, 17954535855, 17967350308, 17973734033, 17980144309, 17999344628, 18005750405, 18005750405, 18024992447, 18031413147, 18037825549, 18044258607, 18057101992, 18069928452, 18076327727, 18089172205, 18108389371, 18108389371, 18114796816, 18127667482, 18140489074, 18140489074, 18159748243, 18172656738, 18179071541, 18179071541, 18204842051, 18211279466, 18224187698, 18243555159, 18250023074, 18275873940, 18282356434, 18288817059, 18295259398, 18321187315, 18321187315, 18334132703, 18340591006, 18353543427, 18366475149, 18385919006, 18405381157, 18418389354, 18431415051, 18444377152, 18463888346, 18476896475, 18476896475, 18483420959, 18483420959, 18496433833, 18515971005, 18522514405, 18535601359, 18555120075, 18568138307, 18574689085, 18581194499, 18594312044, 18607386513, 18613913594, 18626988237, 18640075269, 18640075269, 18653210638, 18653210638, 18659748499, 18686004976, 18692584677, 18699161167, 18718869353, 18725411481, 18731962190, 18758284727, 18771407433, 18784541498, 18797743207, 18797743207, 18810884885, 18824109501, 18843873818, 18863658197, 18863658197, 18870272846, 18883504150, 18896717998, 18896717998, 18916569446, 18923198305, 18929834239, 18949663979, 18969553070, 18976149101, 18982752445, 18996018825, 19009280388, 19015931338, 19029167299, 19035816311, 19055682521, 19075669176, 19082308628, 19102241439, 19108883771, 19128881293, 19135529091, 19142168471, 19142168471, 19155469838, 19168807213, 19188841452, 19208868099, 19208868099, 19215523059, 19228933627, 19242307230, 19242307230, 19242307230, 19255677481, 19269095788, 19282487934, 19282487934, 19295878571, 19302615136, 19322710573, 19336158593, 19342901754, 19363052101, 19376488490, 19389924847, 19396654029, 19416809823, 19430311124, 19457262900, 19464011363, 19470773320, 19497742010, 19511221331, 19531453216, 19538232933, 19544985039, 19558462051, 19578751692, 19585529690, 19599059932, 19619393698, 19619393698, 19639668004, 19653260391, 19653260391, 19666831185, 19666831185, 19673628328, 19687206495, 19700781374, 19707552899, 19721154437, 19734739960, 19741535537, 19748330253, 19755120835, 19775559351, 19789176490, 19789176490, 19789176490, 19816439477, 19830080146, 19836884639, 19850503623, 19864170916, 19871017935, 19884674354, 19891480971, 19898299437, 19918795466, 19932526655, 19946205774, 19953034867, 19966768382, 19973631084, 19987347156, 20007906186, 20014784566, 20035314975, 20049048482, 20062799055, 20069647882, 20069647882, 20076511914, 20090278813, 20110988976, 20117858133, 20124739953, 20138502032, 20159197405, 20173004289, 20207578002, 20207578002, 20228335254, 20235276301, 20256005126, 20276783367, 20290626184, 20311430163, 20325253811, 20339155133, 20353025783, 20359949607, 20373836842, 20387727921, 20394668273, 20401638868, 20415536747, 20429408059, 20443288520, 20450265480, 20464193110, 20485118006, 20492102566, 20519970215, 20526931255, 20526931255, 20540883938, 20547891177, 20554893308, 20561897581, 20561897581, 20575869693, 20575869693, 20582836908, 20596825956, 20610758981, 20617766116, 20624745422, 20631720097, 20659783620, 20659783620, 20666774506, 20673769659, 20680795702, 20694825891, 20694825891, 20715854033, 20729862992, 20736914250, 20743924441, 20750936877, 20750936877, 20764993717, 20779066817, 20779066817, 20800201139, 20821301370, 20828357126, 20828357126, 20842438582, 20856570557, 20863642236, 20884796419, 20927211339, 20927211339, 20941360290, 20962630611, 20976800684, 20990959913, 20998027160, 21005123005, 21012224858, 21026405727, 21047668567, 21054740743, 21076008814, 21090214742, 21104435107, 21132943321, 21147174464, 21154283765, 21154283765, 21161391534, 21182782523, 21204138138, 21204138138, 21225515105, 21232672325, 21246956106, 21254115584, 21254115584, 21268397552, 21296912880, 21311219867, 21318384000, 21339881076, 21347024771, 21354196003, 21375624837, 21397191754, 21397191754, 21418709198, 21440220464, 21454586905, 21468922010, 21490523497, 21504896553, 21519285705, 21519285705, 21519285705, 21533638043, 21548093360, 21562516650, 21576936270, 21598633718, 21605835525, 21613042039, 21634682994, 21649128655, 21663591722, 21670842200, 21685302513, 21699815966, 21736037455, 21750531167, 21764999347, 21786791435, 21794020475, 21801260460, 21815818147, 21823058944, 21837601037, 21866679225, 21881236477, 21895770217, 21903072035, 21917635395, 21932207285, 21939524544, 21939524544, 21954067282, 21975973217, 21983288671, 22005174026, 22019791084, 22019791084, 22034410083, 22049063818, 22056392151, 22085674799, 22093018208, 22093018208, 22107677643, 22122340283, 22129686627, 22151635499, 22166309556, 22173671885, 22188408070, 22195733411, 22203058354, 22203058354, 22217803698, 22225137691, 22247192765, 22261937561, 22269282500, 22276631556, 22306097840, 22313481236, 22320831936, 22335535613, 22350297562, 22365048835, 22372460941, 22372460941, 22379820392, 22402006994, 22402006994, 22431547066, 22461193803, 22468587056, 22490805569, 22490805569, 22505619971, 22527909127, 22527909127, 22550196812, 22565081561, 22572489741, 22572489741, 22594761312, 22624542829, 22631998602, 22646896997, 22669276225, 22676718630, 22691588298, 22699069763, 22706506117, 22713942386, 22736314894, 22751243702, 22751243702, 22773662312, 22773662312, 22781118889, 22788569432, 22803518099, 22810977536, 22825964677, 22833459864, 22840923751, 22870912745, 22885916064, 22893392881, 22908442532, 22908442532, 22915963459, 22931001888, 22953551110, 22976073351, 22983574307, 22998583954, 23006089284, 23021126135, 23028673483, 23036226718, 23058829919, 23058829919, 23073911015, 23096567010, 23104081017, 23119177297, 23149420501, 23164523038, 23172094601, 23179649851, 23194797060, 23202339485, 23225077912, 23247775811, 23278052030, 23300852283, 23308443001, 23316004964, 23338820575, 23346395299, 23361612580, 23361612580, 23376837692, 23392041053, 23407288072, 23407288072, 23430122977, 23452980340, 23468207147, 23498676437, 23513944386, 23529223788, 23536844825, 23559791075, 23575069353, 23590353376, 23605639687, 23620941879, 23643899895, 23659247604, 23659247604, 23674543027, 23705205321, 23705205321, 23720529708, 23728212103, 23728212103, 23751207566, 23758882190, 23781933713, 23797317255, 23820420804, 23828126257, 23843514227, 23858943223, 23858943223, 23874342378, 23905182949, 23912889925, 23936032626, 23951513418, 23974682911, 23974682911, 23990115414, 23997830857, 24013275404, 24021035944, 24021035944, 24036531487, 24075282377, 24083024963, 24098566615, 24121881531, 24129636514, 24137374048, 24152938138, 24168476626, 24168476626, 24168476626, 24176236281, 24199532563, 24207324077, 24207324077, 24222876140, 24230676964, 24246240234, 24254020104, 24261785781, 24269581732, 24292949518, 24316349121, 24331977915, 24347579496, 24371020889, 24386651634, 24402297924, 24410141749, 24425790495, 24441453030, 24449289860, 24472792320, 24480600253, 24496283367, 24504099928, 24504099928, 24527654839, 24535486350, 24543323048, 24559062835, 24566917584, 24582625793, 24606201416, 24629777938, 24637621033, 24653378565, 24653378565, 24684823727, 24700615104, 24716393479, 24724310326, 24732216063, 24747988309, 24779540661, 24795364724, 24811177924, 24827006367, 24834918394, 24850747040, 24850747040, 24866619343, 24874508473, 24890364720, 24898302416, 24914172636, 24937943658, 24953793630, 24969669770, 24993475362, 25001439776, 25009380057, 25025291658, 25033261433, 25049154600, 25057083771, 25073025463, 25088916951, 25104822479, 25104822479, 25120761163, 25152665473, 25176607217, 25184590511, 25200576364, 25208563612, 25224526693, 25248494044, 25272498901, 25280523236, 25312507086, 25320534403, 25336582004, 25352598295, 25352598295, 25360595655, 25376656785, 25400760959, 25408773912, 25424835704, 25456979535, 25465008023, 25473047587, 25497189343, 25505216605, 25521311812, 25537425095, 25553564646, 25577723242, 25585758452, 25585758452, 25585758452, 25618088642, 25642321695, 25650404962, 25658508295, 25682745804, 25715070804, 25715070804, 25723187184, 25739397587, 25755573264, 25771805413, 25788042888, 25812399070, 25820514879, 25836749524, 25861125491, 25861125491, 25885491142, 25893637065, 25901780528, 25901780528, 25909914681, 25926189496, 25942451828, 25958741596, 25966885406, 25991325984, 25999483340, 26015764961, 26040216622, 26040216622, 26072865614, 26081019508, 26089191798, 26089191798, 26105507798, 26113658927, 26138213613, 26162726984, 26187328670, 26195536511, 26203737229, 26220141360, 26220141360, 26244730931, 26252934145, 26252934145, 26261161124, 26285785333, 26294009757, 26302243146, 26326883459, 26343327291, 26368023789, 26392735644, 26392735644, 26417439937, 26442149495, 26442149495, 26450382885, 26466864318, 26475109142, 26491585892, 26508129161, 26524641169, 26549439513, 26565980467, 26565980467, 26574251032, 26582518516, 26599070824, 26607354011, 26632173211, 26657040760, 26665326098, 26673646497, 26681936029, 26698490328, 26698490328, 26706773244, 26723368140, 26731678788, 26731678788, 26764890000, 26789840163, 26789840163, 26806507769, 26831479060, 26839806043, 26848113058, 26864749920, 26873075195, 26898083512, 26931430148, 26939761322, 26964780482, 26964780482, 26981467104, 26989814011, 26998188688, 27006544804, 27014910989, 27014910989, 27031650043, 27048384004, 27056773671, 27065134457, 27107010678, 27132138249, 27140525418, 27148893024, 27165674569, 27174049713, 27199198405, 27207610156, 27232819242, 27232819242, 27258055452, 27258055452, 27266447979, 27274852719, 27291659176, 27300096331, 27308528621, 27308528621, 27325357648, 27342234056, 27359092745, 27367529858, 27384392302, 27392837846, 27418144006, 27426608134, 27443496200, 27460401229, 27485742134, 27494191320, 27519572749, 27545005550, 27553468540, 27570391518, 27578882184, 27587359472, 27612790664, 27621270209, 27621270209, 27646696609, 27655191624, 27672149725, 27680649303, 27706136370, 27731646561, 27731646561, 27748680282, 27748680282, 27774200597, 27782717008, 27791224132, 27816765569, 27850912447, 27867952103, 27893535250, 27910651298, 27919193289, 27944772954, 27961895859, 27970440621, 27987509265, 27996076492, 28013167357, 28038869755, 28073151428, 28081707880, 28090280426, 28107417069, 28107417069, 28124593249, 28158921811, 28167531967, 28176126458, 28184715492, 28184715492, 28201899993, 28227684659, 28244923371, 28262129366, 28279338520, 28279338520, 28287960485, 28305197240, 28305197240, 28331092094, 28348330159, 28374229082, 28382836321, 28400112710, 28408741914, 28417405161, 28443358953, 28451992396, 28486567751, 28503919496, 28503919496, 28521214756, 28538576752, 28555909460, 28590597363, 28599289103, 28616658613, 28625323450, 28642709233, 28660063486, 28660063486, 28677428803, 28694800655, 
};

const int M = 300000, N = 100000, B = 20;
LL d[M + 1];
int idx[2 * N];
vector<int> x[2 * N];

LL f(LL i) {
	if(d[i] != 2) { return 0; }
	
	inc(j, i) { if(d[j] != 2) { continue; }
		x[j + i].PB(i);
	}
	
	LL v = 0;
	inc(s, 2 * i) { if(d[s + i] != 2) { continue; }
		while(idx[s] < x[s].size() && x[s][idx[s]] < i) { idx[s]++; }
		v += idx[s];
	}
	
	return v;
}

int main(int argc, char * argv[]) {
	inc1(i, M) { for(int j = i; j <= M; j += i) { d[j]++; } }
	
	if(argc == 2) {
		cout << "0, ";
		LL sum = 0;
		inc1(i, N) {
			sum += f(i);
			if(i % B == 0) { cout << sum << ", "; }
		}
		cout << endl;
	} else {
		int n;
		cin >> n;
		
		LL b = n / B * B;
		inc1(i, b) { if(d[i] != 2) { continue; }
		inc(j, i)  { if(d[j] != 2) { continue; }
			x[j + i].PB(i);
		}
		}
		
		LL sum = memo[n / B];
		incII(i, b + 1, n) {
			sum += f(i);
		}
		cout << sum << endl;
	}
	
	return 0;
}
yukicoder

結果

テストケース

ソースコード
