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