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