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