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