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