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