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