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