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