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