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