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