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