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