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