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