[[0,1,2,3,4,5,7,8,10,11,12,14,15,16,17,19,20,21,22,23,24,25,27,28,30,32,34,36,37,39,40,41,42,43,44,45,46,47,48,49,50,53,54,56,57,58,59,61,62,63,64,65,66,68,69,70,71,72,73,74,75,76,77,78,80,81,82,83,84,85,86,87,88,89,90,91,92,93,95,96,97,98,99,100,101,102,103,105,106,108,109,113,114,115,116,117,118,119,120,121,122,123,124,125,128,129,131,132,133,134,136,137,141,143,144,145,146,147,149,150,151,153,154,155,156,157,158,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,184,185,186,187,188,189,191,194,195,196,197,198,199,200,201,203,205,206,207,209,210,212,213,214,215,216,217,218,219,220,221,223,224,225,226,227,229,230,232,234,235,236,237,239,240,241,242,243,244,245,246,249,250,252,253,254,255,256,257,259,260,261,262,263,264,265,266,267,268,269,270,271,272,274,275,276,277,279,280,281,282,283,284,285,286,287,288,289,290,292,293,295,296,297,298,300,302,303,304,305,306,307,308,311,312,313,314,315,316,317,321,322,323,324,325,326,327,329,330,331,332,334,335,336,338,339,341,342,343,344,345,346,348,349,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,368,369,370,371,373,375,377,379,380,381,382,383,384,385,386,389,390,392,393,394,395,399,400,401,403,405,406,407,408,409,410,411,412,414,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,437,439,440,441,443,444,446,447,448,449,450,451,452,453,454,455,456,458,461,462,463,464,465,466,467,468,469,470,471,472,475,476,477,478,479,480,481,482,484,485,486,487,488,489,490,491,492,493,494,497,498,500,501,502,503,505,506,508,509,510,513,514,515,516,517,519,520,521,522,523,524,525,526,527,528,530,531,532,533,534,535,536,537,538,539,540,541,543,544,545,546,547,548,549,550,551,552,556,557,558,559,560,562,563,565,566,567,568,569,570,571,572,573,574,575,584,586,595,597,598,599,600,602,603,609,610,613,615,616,618,621,623,626,627,630,637,639,642,644,648,654,657,659,661,663,668,669,670,671,679,686,689,690,691,693,697,699,700,701,704,706,708,709,711,713,715,716,717,719,720,721,725,726,728,729,730,732,734,735,737,739,740,746,748,749,750,751,756,757,759,760,764,765,767,768,769,771,772,774,776,783,786,787,788,790,792,794,798,799,801,804,805,807,809,814,815,818,820,822,823,824,825,828,829,833,836,838,839,840,843,849,850,852,855,856,857,859,860,863,866,867,870,871,879,880,884,893,903,904,905,907,912,920,921,922,926,927,928,929,930,931,933,937,938,939,940,945,946,948,951,957,959,963,973,976,978,982,985,992,993,995,996,997,998,999,1002,1004,1008,1009,1010,1011,1013,1015,1016,1019,1023,1026,1028,1029,1033,1036,1037,1039,1043,1044,1046,1047,1048,1049,1055,1062,1063,1066,1068,1070,1072,1073,1075,1078,1080,1081,1082,1083,1084,1086,1088,1090,1092,1093,1097,1098,1100,1103,1104,1108,1113,1114,1116,1117,1123,1129,1130,1134,1138,1140,1142,1144,1145,1146,1149,1151],[6,9,13,18,26,29,31,33,35,38,51,55,60,67,79,94,104,110,112,126,127,130,135,138,139,140,142,148,152,159,160,183,190,192,193,202,204,208,211,228,231,233,238,247,251,258,273,294,299,301,309,310,318,319,320,333,337,347,350,351,367,372,374,376,378,387,388,391,396,397,398,402,404,413,436,438,445,457,459,473,474,483,495,496,504,507,511,512,518,542,553,554,555,561,564,577,581,583,585,588,589,592,594,604,606,607,611,612,622,624,625,628,631,632,635,636,638,643,645,647,649,650,651,652,653,656,658,660,666,672,674,675,676,678,680,681,683,684,685,694,702,703,705,707,710,712,714,718,722,723,724,727,731,736,738,741,742,745,747,754,755,758,761,766,778,779,780,781,782,784,785,789,793,795,797,800,806,810,811,813,819,826,830,832,834,835,841,842,844,845,846,848,851,853,854,861,864,865,868,869,873,875,876,877,881,883,886,887,888,890,891,892,894,896,897,899,900,901,902,911,913,914,916,918,924,932,934,935,943,944,947,949,950,953,954,956,962,965,966,968,971,972,974,975,977,981,983,984,986,988,989,990,991,994,1001,1003,1005,1006,1012,1017,1018,1020,1021,1025,1031,1034,1040,1041,1042,1045,1050,1051,1056,1057,1058,1059,1060,1061,1064,1065,1067,1069,1071,1074,1076,1079,1085,1087,1091,1094,1096,1101,1102,1106,1109,1110,1111,1112,1119,1120,1121,1124,1125,1127,1131,1132,1133,1137,1139,1148,1150],[52,107,111,222,248,278,291,415,442,499,576,578,579,580,582,587,590,593,601,608,614,617,619,620,629,633,640,641,646,655,662,664,665,667,673,677,682,692,695,696,733,744,752,753,763,770,773,777,791,796,803,808,812,816,817,821,827,831,837,847,858,862,872,874,878,882,889,906,908,909,910,917,919,923,942,952,955,958,960,961,964,967,969,970,980,987,1000,1007,1014,1022,1024,1027,1032,1035,1052,1053,1054,1077,1089,1095,1099,1105,1107,1122,1126,1128,1135,1136,1143,1147],[328,340,460,529,591,596,605,634,687,688,698,743,762,775,802,885,895,915,925,936,941,979,1030,1118,1141],[898,1038,1115]]